*m - 5*u + a, 0*m - 5*u - 34 = -3*m. Let y = -3 - -3. Solve -5*z + z - m = y for z.
-2
Suppose 0 = 4*w - 4 - 12. Let j(y) = -y**2 + 3*y + 2. Let d be j(3). Solve -z = -d*z - w for z.
-4
Suppose -441 = -25*c + 59. Solve -20 = 16*m - c*m for m.
5
Suppose 3*p - 4*y = 49, -3*p + y + 42 = 4*y. Solve -10 = -m - p for m.
-5
Let u = 1211 - 1207. Solve 0 = u*n + 6*n - n for n.
0
Suppose -7*p - 1 = -64. Solve -4*q - p - 3 = 0 for q.
-3
Suppose -4 - 4 = -2*f. Let z be (-9)/36 + 17/f. Suppose 2*w = 2 + z. Solve k - 16 = -w*k for k.
4
Let f = 914 + -890. Solve -8*v + f = -0*v for v.
3
Let h = -156 + 85. Let f = 73 + h. Solve -f*d = 2*d for d.
0
Suppose 2*m = 3*m - 6*m. Let d = 5 + 0. Let h(k) = -2*k**3 - k**2 + 4*k + 3. Let o be h(-2). Solve m = -d*u - 3 - o for u.
-2
Let m(a) = -a**2 - 3*a + 7. Let r be m(0). Suppose -r*j + 56 = -0. Solve j = x + 3*x for x.
2
Let l be (-2)/(-4)*2*20. Suppose -5*n = -4*n + 14. Let r = n + 14. Solve r = -0*z - 5*z + l for z.
4
Let j = 436 - 409. Solve -32 = -j*h + 11*h for h.
2
Suppose 0 = 2*f - 3*f + 3, -f + 11 = h. Let o be 237/4 - (-6)/h. Suppose 0 = j + 2*j - o. Solve -j = -5*u + u for u.
5
Let i be 8/3 - (-2)/(-3). Suppose 5*t + 2*q = 5, -2*t + 0*t + i = 5*q. Solve -s + t = -4 for s.
5
Suppose -9 = -3*w, 2*u - 7*u = w - 83. Solve -u*q = -12*q for q.
0
Let a(v) = -v**2 + 5*v - 2. Let d be a(4). Suppose 5*s = d + 8. Suppose -2*m + 9 = -f + 2*f, -4*f + s*m = -36. Solve 0*w = -3*w - f for w.
-3
Let o be (-8 - (-20 - -6)) + -5 + 4. Let r(t) = 4*t**3 - 3*t**2. Let p be r(2). Solve p = o*l - l for l.
5
Let b be (-3)/(-8) - 2004/(-32). Let q = b - 61. Solve 3 = v + q for v.
1
Let a = -2 + 4. Let d = 2014 + -1999. Solve -f - a*f - d = 0 for f.
-5
Let t = -43 - -23. Let k = t + 20. Solve -j - 3 + 4 = k for j.
1
Let s(y) = -y**3 - 5*y**2 - 4*y. Let x be s(-3). Let n be (-5)/2*x/5. Suppose -n*j + 7 = -5. Solve j*l = -0*l for l.
0
Let x = -3 - -15. Let v = -20 - -52. Let t = v + -29. Solve -t*g = -0*g - x for g.
4
Let j be 168/3 - ((-20)/2 - -7). Solve -5*r - 79 = -j for r.
-4
Let j be (414/12)/(-23)*(-462)/9. Solve -17*k = -j - 8 for k.
5
Let q(w) = 3*w - 1. Let z be q(1). Suppose 2*h - u = 6 - 1, -h - u - 5 = 0. Suppose -z = -r - h. Solve -r*k + 3*k = -5 for k.
-5
Let b be 0*(-7 + (-48)/(-6)). Solve b + 4 = 2*q for q.
2
Suppose -8*j = -4*j - 24. Let h be 3/(-18) + 7/j. Suppose 3*n - 24 = 9. Solve 4*s + n = -h for s.
-3
Suppose p + 38 = 3*p. Suppose 5*z = 3*a - 37, 4*z + p = a - z. Let h = a + -1. Solve -2*j = 2*j + h for j.
-2
Let t(r) = -2*r + 21. Let q be t(19). Let z = -15 - q. Solve -z*d = 2*d for d.
0
Suppose 5*a - 3*w - 35 = 32, -2*a = 2*w - 14. Suppose -j + 4 = 1. Solve a = -j*s + 2 for s.
-3
Let k(f) = -3*f. Let w(p) = p. Let u(q) = k(q) + 2*w(q). Let d be u(-3). Solve -g = -d*g + 4 for g.
2
Let d(i) = -3*i + i**2 + 13 - i**3 + 4*i**2 + i - 4*i**2. Let w be d(0). Suppose 0 = 2*r - 1 - 3. Solve -5 = r*l - w for l.
4
Let l be (-25)/(-15)*5/((-20)/(-12)). Solve l*k = 8*k + 9 for k.
-3
Let w = 467 + -463. Solve 2*b - 14 = -w for b.
5
Suppose -16 = -2*j + 6*j. Let g be 0/(-1)*j/4. Let r be 16/(-3)*(-48)/32. Solve 3*m - r - 1 = g for m.
3
Suppose -5*b + 3*b = -10. Suppose -2*m = b*z + m - 89, -z + m + 13 = 0. Let a = z + -12. Solve -q + 20 = a*q for q.
4
Suppose -3*k + k + t + 26 = 0, -k + 5*t + 4 = 0. Let s(p) = -p**2 + 14*p. Let i be s(k). Solve -2*j = -i + 4 for j.
-2
Suppose 4*v = -12, t = -0*t - 2*v - 1. Suppose t*n = -4*i + 70, -2*n - n = i - 35. Suppose 2*s + 5*h + n = -7, -2*h = 2*s + 2. Solve 0 + 12 = -s*q for q.
-3
Let o be -6*2/(-32) - (-84)/32. Solve 0 = -b - 1 - o for b.
-4
Let z = 199 + -199. Solve l - 1 + 0 = z for l.
1
Suppose -9 = -0*k - 3*k. Solve -13*v = -16*v + k for v.
1
Let k(b) = -5*b + 2. Let i be (1015/(-45))/7 - 6/(-27). Let x be k(i). Solve -3 - x = -4*o for o.
5
Let k(g) = -g**3 - 2*g**2 - 6*g - 8. Let f be -4*(-3)/(-9)*(-18)/(-12). Let q be k(f). Solve q*t + t = -15 for t.
-3
Suppose -3*t - 3*s = -2*t + 9, 0 = -2*s - 8. Suppose -31*n + 28*n = -12. Solve -t*i - 13 = -n for i.
-3
Let g = 1157 + -1152. Let v(a) = -6*a**2 + 1. Let o be v(1). Let i be o*7/(105/(-18)). Solve 9 = -g*c - i for c.
-3
Let l(d) = 3*d**2 - d + 8. Let k be l(0). Solve 8 + 8 = k*y for y.
2
Let h(m) = -3*m**2 + 5*m + 4. Let o(n) = -2*n**2 + 6*n + 4. Let u(c) = 3*h(c) - 4*o(c). Let y be u(-4). Let z = -1455 + 1455. Solve z - y = 4*s for s.
-4
Let j = -266 - -268. Solve -5*v = -j*v - 3 for v.
1
Let h(z) = -z**3 - 9*z**2 - 19*z - 24. Let f be h(-7). Solve 5*a + 11 = f for a.
0
Suppose 2*x + 0 = -3*d - 9, d = -4*x - 3. Let f(v) = v**3 + 12*v**2 - 13*v - 1. Let h be f(-13). Let b = h - -3. Solve b = -g - x for g.
-2
Let v(n) = 2*n - 6. Suppose -4*s - a = -14, -4*s + 3 = 5*a - 3. Let r be v(s). Suppose 4*o = r*o - 3*w - 3, -5*w - 24 = -3*o. Solve 0 = o*i + i for i.
0
Suppose -k = k. Let y be 9*(-5)/75 - (-56)/10. Solve q + k = y for q.
5
Let f be 2/3 - 21/(-9). Suppose 3*b - 2*b = f*b. Solve 3*h - 6 = -b*h for h.
2
Suppose 0 = -3*p + 6*p - 336. Let t = 114 - p. Solve -3*a - 1 = -t*a for a.
-1
Suppose -5*c - 65 = -2*z - 0*c, -z = 4*c. Let v(s) = -s**2 + 9*s - 10. Let u be v(7). Solve z = u*l - 0*l for l.
5
Let x be 1*10*(3 - 2). Suppose 118 - 304 = -62*r. Solve -x = -5*j + r*j for j.
5
Let r = -28 - -27. Let c be (-22 - -1)/(r/(-1)). Let y be 7/c - 13/(-3). Solve -y*m = -m - 15 for m.
5
Suppose -3*g = -16 + 16. Suppose 3*b + 12*b = g. Solve 14*h - 10*h = b for h.
0
Let n = 60 - 55. Solve -2*t - 6 = -n*t for t.
2
Suppose 0 = -4*x - x. Let j be (0 - 0)/(1/1). Let u be (x - -1)/(-4)*j. Solve u = 7*m - 2*m for m.
0
Let d(c) = c**3 + 5*c**2 - 14*c + 3. Let n be d(-7). Suppose -n*i - 2 = 4, 4 = -j - 4*i. Solve 6*x - 8*x = j for x.
-2
Let x(l) = -6*l + 71. Let z be x(11). Solve z = 14*y - 9 for y.
1
Let n be (-151)/(-9) + (-6)/(-27). Let f = -21 + 24. Suppose -2*y - 2*y + 5*s = -25, 5*y + f*s - 22 = 0. Solve y*h + n = 2 for h.
-3
Suppose -3*c = 3*s - 21, 3*s - 2*c - 2 = 9. Suppose 5*u + 5 = -s*x - 5, -4 = -3*u + 2*x. Suppose 2*h + 0*h = u. Solve h = 2*f + 3*f for f.
0
Let b(s) = -s**3 + s**2 + s + 2. Let x be b(0). Let l be (0 - -3) + 1 + x. Solve l*q = 2*q for q.
0
Let g(q) = q**3 - 35*q**2 - 37*q + 44. Let o be g(36). Solve 0 = -4*a + o*a - 8 for a.
2
Let o(t) = 6*t + 118. Let u be o(-18). Solve u + 6 = 4*d for d.
4
Let i(z) = 18*z - 70. Let r be i(4). Solve 4*d = r*d - 10 for d.
-5
Let p = 8 - 0. Suppose 20 = 2*h - 3*g, 5*h + 2*g - p = 23. Solve 0 = -h*y + 4*y for y.
0
Suppose 2*d = 2, 2*i + 19 = 2*d + 25. Let h be (-2 + 1 - -5) + -1. Solve -i*m + h - 19 = 0 for m.
-4
Let c(q) = q**3 - 7*q**2 + 2. Let r be c(7). Suppose g - 9 = -2*h, -3*g = 3*h + g - 26. Solve 0 = -h*y + r + 2 for y.
2
Suppose 5*f + i = 73 + 94, 5*i = 3*f - 117. Suppose 0 = 4*c - 50 + f. Solve c*r = -0*r - 20 for r.
-5
Let d = -16 + 139. Let s = d + -120. Solve 2 = i + s for i.
-1
Let b(x) = 124*x + 18. Let w be b(0). Solve -w*h - 10 + 82 = 0 for h.
4
Let o be 3 - 2 - (-6)/2. Suppose o*v + 0*f = -3*f + 5, -15 = 2*v + 5*f. Solve 0*p = -v*p + 25 for p.
5
Let s(t) = t - 10. Let n be s(12). Suppose 6 = 2*j + n*l, -5*l + 14 = 4*j - 2*l. Solve -j*q = -4 - 1 for q.
1
Let t be (-2)/(-8) - (-455)/20. Suppose a - 3*q = t, 5*a = a + 4*q + 84. Let l(z) = -8*z + 10. Let s be l(1). Solve 2*n + s*n - a = 0 for n.
5
Let h be (-15)/(-75) - (-156)/(-5). Let s = -28 - h. Solve s - 23 = -4*d for d.
5
Let i = 57 + -55. Let g = 9 - i. Solve 3 = -2*u - g for u.
-5
Suppose -15 = -3*c - 3*j, j = 2*c + 6 - 1. Solve -17*v + 15*v + 6 = c for v.
3
Let f be (41 - 42)/(3/(-132)). Solve 9*r + 17 = f for r.
3
Suppose -4*x = -x - 15. Let d = 12 - 9. Suppose -2*b - 2*g + 6 = 0, 4*b - g - 1 = d*b. Solve -x*c + 13 = -b for c.
3
Suppose -5*c - 17 - 3 = -2*l, -17 = 2*c + l. Let j = 26 + -20. Let d = c + j. Solve d = -3*y + y for y.
0
Suppose 0*h = 7*h - 21. Suppose -7 = -8*o + 9. Solve 0 = i - o*i - h for i.
-3
Suppose -32*p - 4*k = -35*p - 16, -5*p - k + 4 = 0. Let q(j) = j**2 + 7*j + 6. Let m be q(-6). Solve m = -p*t + 5*t for t.
0
Let p(k) = -27*k + 69. Let t be p(0). Solve 6 = 21*g + t for g.
-3
Let y(h) = -3*h**2 + h**3 + 8 - 1 - 3 - 2*h. Let u be y(4). Solve 2*j = -2*j + u for j.
3
Let x = -826 + 886. Solve 15*a + x = 30*a for a.
4
Let t be (-3)/(-9) + 8/3. Suppose 5*m + 0*l = 2*l + 2, 2*m = -3*l - 3. 