t u(n) = n**3 - 14*n**2 + 4*n + 38. Let r be u(13). Let g = 82 + r. Solve -6*t = -3*t + g for t.
-1
Suppose 0*y - 4*y + 2 = -3*b, b = -3*y + 8. Solve -y*g - 2*g = 4 for g.
-1
Let d = 2617 - 2572. Solve d = 8*t + 21 for t.
3
Suppose 0 = -p + 3*u + 15, 3*p + 3*u = -u + 6. Let t(v) = -p*v + 4 + v**2 - 4. Let o be t(6). Solve 4 = k - o for k.
4
Let s(p) = -p. Let y be s(-7). Suppose -2*q + 18 = -3*t, -q - 2 = 3*t + y. Solve 0*v = q*v for v.
0
Let z = -506 + 506. Solve z = v - 8*v - 14 for v.
-2
Let c(v) = v**3 - 19*v**2 + 20*v - 35. Let q be c(18). Let i(o) = -o**3 - 3*o**2 + 4*o + 3. Let n be i(-4). Suppose -n - q = -h. Solve h*r + r + 20 = 0 for r.
-4
Let a be (-2)/(-5) + 18/5. Let d be -6 + (5 - -10) + -3. Solve q = a*q + d for q.
-2
Let n(i) = i**3 + 13*i**2 + 10*i - 15. Let r = 6 + -18. Let j be n(r). Let q be (-14)/63 - (-20)/j. Solve -t - q*t = 12 for t.
-4
Suppose 0 = u - d - 9, -63 = -5*d - 68. Solve 4 = u*q + 36 for q.
-4
Let g(w) = w + 2. Let n be g(0). Suppose 0 = -3*j + n*l + 11 - 4, 4*l = 3*j + 1. Let m be j + 1*(-3 - -2). Solve 8 + m = 4*b for b.
3
Let p be (1/2*0)/(-2). Let a(i) = -i - 1. Let k(d) = -d**2 - 7*d - 9. Let v be k(-7). Let q be a(v). Solve p*f = 2*f - q for f.
4
Suppose 5 = 4*j - 6*j + m, -25 = 4*j - 5*m. Suppose -3*k - 423 = -j*k. Let s be k/(-9) - 2/3. Solve -s = -5*f + 10 for f.
5
Let o = 0 - 0. Let u be ((-2)/3)/(1/((-114)/4)). Let b = u - 19. Solve -5*z + b*z - 25 = o for z.
-5
Let f be 6/(-9)*231/(-14). Suppose -2*w = -k - f, -w - 2*k + 2 = 3*w. Solve 0*q - 15 = w*q for q.
-5
Suppose -4*b = 4*w, -b + 0*b + 4*w + 10 = 0. Let f be b/8 - (-21)/12. Suppose 5*s - 10 = r, -3*s + f*s = 4*r - 2. Solve -s*n - 15 = n for n.
-5
Suppose 93 = -6*y + 153. Solve -11*h = -6*h - y for h.
2
Suppose d + 24 = 3*d. Suppose -d*c + 20 = -7*c. Let w = 8 - c. Solve w*h + 16 = 4 for h.
-3
Suppose 0 = -j + 5*u - 16, 4*j - 2*u + 4 = 3*u. Suppose j = -4*p + 16. Solve -4*n + n + p = 0 for n.
1
Let y be -1 - ((-8 - -5) + (-22 - 1)). Solve y = 2*v + 3*v for v.
5
Let x = 13 - 11. Solve x = -3*o + 11 for o.
3
Let s = -9 - -58. Let w = -40 + s. Solve -3*o - w = -0 for o.
-3
Let w(s) = -15*s - 663. Let h be w(-45). Solve -3*o - 6 = -h for o.
2
Let h(g) = -g - 36. Let y be h(18). Let x = y + 58. Solve -j + 0*j + x = 0 for j.
4
Let u be (-4)/6*72/(-16). Let z = 4 + -1. Suppose q = f - z*q + 14, 5*f - q - 6 = 0. Solve -5 = -u*a - f*a for a.
1
Let o(q) = 5*q**2 + 15*q - 11. Let c(n) = 14*n**2 + 45*n - 34. Let s(m) = -6*c(m) + 17*o(m). Let r be s(14). Solve 4*p = 3*p - r for p.
-3
Let p = 61 - 43. Suppose 0 = p*h - 17*h. Solve 0 = -w + 1 - h for w.
1
Suppose -2*o = 5*o - 21. Let j be 18/(-6)*(-2)/(-6) + o. Solve -j*h = -h - 1 for h.
1
Let x(b) = -b**3 - 4*b**2 + 4*b - 3. Let r be ((1 - -4)*1)/(-1 - 0). Let h be x(r). Solve -3*g + g + h = 0 for g.
1
Suppose -5*v = -0*v + 145. Let c = v + 17. Let x(n) = n**2 + 12*n + 6. Let i be x(c). Solve 0 = -3*f - 3 - i for f.
-3
Suppose 4 + 2 = 3*s. Let t be (-146)/(-37) + 122/2257. Solve n + t = s*n for n.
4
Suppose 0*d = -10*d - 4*d. Suppose -4*b + 78 - 74 = d. Solve 5*p - 9 = b for p.
2
Let o(i) = i + 1. Let t(m) = -m - 4 - 3*m + 0*m + 3*m. Let z(d) = -6*o(d) - t(d). Let b be z(-1). Solve -p + b*p = 4 for p.
2
Suppose h - 5*g + 4*g + 2 = 0, h = 5*g - 10. Let z = 28 - 25. Suppose h = -z*m + 2*m. Solve m*x + 6 = -2*x for x.
-3
Suppose -15*x + 49 = -8*x. Solve -x*c = -c for c.
0
Let o(t) = -t**2 - 13*t - 9. Suppose -3*q = -x + 2*q - 2, 18 = -2*x + 3*q. Let i be o(x). Solve -i*r + 8*r = -10 for r.
-2
Let q(d) = d**3 + 11*d**2 - 13*d - 10. Let b be q(-12). Let n(h) = 2*h**2 - h + 2. Let j be n(b). Solve -j - 2 = 5*z for z.
-2
Suppose -214 + 718 = 18*m. Solve -4*s - m = -11*s for s.
4
Suppose -3*q = 2*o - 183 + 531, -656 = 4*o - 4*q. Let g be 861/o - (-2)/16. Let i be ((-2)/g)/((-3)/(-15)). Solve -i = 2*n - 8 for n.
3
Let y = 3 + 0. Suppose 4*s - 8 = -2*d, -s - 3*d - 6 = -4*s. Let i be (-102)/(-15) + 3 - s/(-10). Solve y*k = -2 - i for k.
-4
Let g(n) = n**2 - n - 4. Let b be g(-2). Suppose -5*q = -b - 8. Let c be -3*(1 - q)*1. Solve 0*w - w + c = 0 for w.
3
Let m(q) = q**2 + 3*q - 12. Let o be m(3). Solve -2*z = -o*z + 12 for z.
3
Suppose -n = 2*z - 6, 5*n + 4*z - 4 = 4*n. Suppose -6*l - 11 = -u - 3*l, u - 2*l = n. Let s = u + -2. Solve s = -f - f - 4 for f.
-2
Let k = 914 + -907. Solve -9*b + k = -2 for b.
1
Suppose -6*b + 2*b = -144. Let k = -31 + b. Solve -k*h = -10 - 5 for h.
3
Suppose 4*b - 5 = y + 2*y, 3*b - 15 = 0. Let a be y + (1 - (-1 - -2) - 1). Solve -r = r - a for r.
2
Let l = 207 - 152. Solve 0 = 4*t - l + 55 for t.
0
Let q be 11/(88/(-16)) + 113. Solve 2*a - 117 + q = 0 for a.
3
Let v = 42 - 40. Let j be (1/v)/((-15)/(-390)). Solve -4*b - 3 = j for b.
-4
Suppose -1970 = -12*z - 1910. Solve 14 - 24 = -z*g for g.
2
Suppose r + 4*r + 35 = -5*d, 5*r + 55 = 5*d. Suppose 73 = -12*f + 205. Let i = r + f. Solve -h = i*h - 3 for h.
1
Let i = 59 - 56. Suppose -j + 3 = 1. Suppose 3*v + v = -2*p + 12, v - j*p = i. Solve v*x = 7 - 1 for x.
2
Let d(y) = -2*y + 9. Let o be d(-8). Let i(w) = w**3 - 9*w**2 + 10*w - 1. Let r be i(8). Suppose r + 1 = 4*q. Solve -z - q*z = -o for z.
5
Let d be -1*(14/21 - 2/3). Suppose -7*l + 19 = -f - 2*l, 3*f = 5*l - 17. Solve a - f + d = 0 for a.
1
Let p be (-9)/15 + 21/(-15). Let m be 5*p/6*3. Let n(k) = k**3 + 5*k**2 + k + 5. Let v be n(m). Solve v*l = l + 2 for l.
-2
Let l(w) = -w + 7. Let k(a) = a - 18. Let x = -8 - -23. Let r be k(x). Let b be l(r). Solve -3*z + 1 - b = 0 for z.
-3
Let m(o) = o**2 + 7*o + 5. Let s be m(-8). Let d = 16 - s. Solve 4*c + 1 = -d for c.
-1
Let w be (15/(-10))/(6/(-24)). Solve w + 6 = -6*s for s.
-2
Suppose 6*m = m + 25, 21 = 2*h + 3*m. Solve h*r = -0 - 3 for r.
-1
Let d = -44 - -48. Let f = -4 + 3. Let r = d + f. Solve -5 = 4*b + r for b.
-2
Suppose 3*v - 3*g + 8*g - 16 = 0, -10 = -3*v - 2*g. Solve -v = -2*d - 6 for d.
-2
Let u(s) = -s**2 + s + 2. Let k be u(3). Let z be (k/6)/(3/(-9)*1). Solve 8 = -0*h - z*h for h.
-4
Let p be ((-20)/(-15))/((-7)/(147/(-4))). Solve -49 + 21 = p*s for s.
-4
Let s(l) = -l**3 + 11*l**2 - 13*l + 34. Let b be s(10). Let q be (112/(-70))/(b/(-30)). Solve 0 = -4*h - 0*h + q for h.
3
Suppose u - 4*w - 1 = 2*u, 5*u - 11 = -4*w. Solve u = l + 5 for l.
-2
Suppose 25 = 12*n - 11. Solve n*k - 8 = k for k.
4
Let n(a) = 25*a**2 - 102*a + 102. Let c be n(1). Solve 29*s - c*s = 12 for s.
3
Let t be (-7)/((-21)/(-6))*(1 - 2). Suppose 0 = q + t, 4*s - 56 = -0*q - 2*q. Solve a + s = 4*a for a.
5
Let d(s) = -2*s**2 - 18*s + 7. Let c be d(-8). Solve 7 = 4*n + c for n.
-4
Let v(q) = 5*q**3 - 5*q**2 + 3*q - 4. Let c(t) = -t**3 + 1. Let b(u) = -4*c(u) - v(u). Let x be b(4). Solve -4 = 4*n + x for n.
-2
Let l(z) = z + 9. Let s = 3 + -8. Let c be l(s). Suppose -c*a + a - 2*y = 2, 2 = -a - y. Solve 0 = -a*h - h + 15 for h.
5
Suppose 2*j = 13 - 5. Suppose 3*v - j*m + m = 42, -4*v - 3*m + 63 = 0. Let h(i) = i**3 - 14*i**2 - 14*i - 11. Let z be h(v). Solve 0 = z*y - 0*y + 20 for y.
-5
Suppose 151 = -3*x - t, t - 117 - 75 = 4*x. Let j = 53 + x. Solve j*h - 5 = 11 for h.
4
Suppose 14*q - 252 = 17*q. Let h = q + 93. Solve -3*f = -0 - h for f.
3
Suppose -5*d + 335 = -3*i, 93 = -2*d - 5*i + 227. Let r = d - 66. Solve r + 4 = -5*h for h.
-1
Suppose 88 = 29*h - 7*h. Solve 0 = -h*d + 8*d + 12 for d.
-3
Let l be (6 + (3 - 0))*-9. Let m = l - -120. Suppose m = 4*y - 5. Solve -5*v + 1 = y for v.
-2
Suppose 3*p = 2*p. Suppose 8*x = 3*x. Suppose x = 5*l - 1 - 9. Solve o + l = -p for o.
-2
Suppose 23*g - 45 = 18*g. Suppose -u + 4*o + 3 = -0*o, -g = -3*u - 3*o. Let q be (30/4)/(u/4). Solve -2*i = -0*i - q for i.
5
Let n(d) = -18*d + 29*d + 0 - 12*d - 2. Let p be (0 - 1)*5 - 1. Let h be n(p). Solve h*m = -m - 20 for m.
-4
Suppose 0*t = 5*t + p - 33, -5*t = 5*p - 25. Solve t*z = 3*z - 16 for z.
-4
Let k(a) = -a**2 - 13*a - 9. Let b be k(-12). Suppose -b*h = -6*h. Solve h = j + 3 + 1 for j.
-4
Let v(u) = -u - 2. Let m be v(-2). Let h be 121/55 + (-3)/15. Suppose -5*j = -0*j. Solve j = -h*i - m*i + 10 for i.
5
Let x = -10 + 7. Let n(k) = -4*k + k**2 + 3 - k**3 - 3 - 5*k**2. Let z be n(x). Solve z*g = g - 8 for g.
-4
Let f(n) = -n**3 - 10*n**2 - 10*n - 5. Let t be f(-9). Suppose -u = t*r - 60, 3*u = 4*r - 25 - 19. Solve r = -5*g - 11 for g.
-5
Suppose -3*v = -v - 4*a