z + a = 0 for z.
-4
Let p = 133 + -131. Suppose 0*h + h + 14 = 2*m, -p*h = -5*m + 34. Solve 4*c + 6 + m = 0 for c.
-3
Let k(j) = j**2 - 11*j + 5. Let z be k(11). Suppose 0*s - 1 = -3*q - s, -q + s + 3 = 0. Solve -z*l - 4 = q for l.
-1
Suppose 63 = 5*h + b, -59*h + b = -55*h - 45. Solve 0 = 8*s - h + 12 for s.
0
Let w be 2 + (-8)/6 - 1196/(-78). Solve -4 = 18*l - w*l for l.
-2
Let x be (-10)/60*0 + 4. Solve -8*n - 12 = -x*n for n.
-3
Let v(p) = 21*p - 15. Let r be v(3). Suppose r = 2*t + 2*t. Solve 5*a = t + 8 for a.
4
Suppose 4*b - 29 = 3*b - 5*t, -5*t + 21 = -b. Solve -b = -0*l - l for l.
4
Let v(c) = 6*c - 153. Let a be v(27). Solve 0 = -a*x - 1 + 46 for x.
5
Let v = 5 - 2. Let s(q) = -3*q**3 + 116*q**2 - 79*q + 114. Let r be s(38). Solve r*t - v*t = 0 for t.
0
Let q = 443 - 443. Solve -5*l + 5 = -q for l.
1
Let t = -11 + 12. Solve 0 = -12*y + 13*y + t for y.
-1
Suppose -51 = -5*q - 3*s, -54 = -12*q + 7*q - 2*s. Solve -7*l - 47 = -q for l.
-5
Let g(f) = -7*f**2 - 2*f - 1. Let l be g(-1). Let q(t) = t**2 + 3*t - 8. Let v be q(l). Solve -5*s + v*s = 20 for s.
4
Suppose -3*w - 2*w - 3*f = -25, 4*w - 3*f = 20. Suppose -2*y + 84 = w*y. Solve 14*t = y*t for t.
0
Let h be (3/(-3) - -2) + 3. Suppose h*i = 20, 2*v - 2*i = -5*i + 21. Solve v*w + 8 = 5*w for w.
4
Let g be (-2 - 0) + 1 - -7. Let k = 4632 - 4627. Solve -g*t = -t + k for t.
-1
Let m(o) = -26*o + 1. Suppose 0 = -5*u + 5*a + 20, 2*a = -3*u - 17 + 4. Let z be m(u). Suppose -z = -5*c - 4*j, -18 = -2*c - c - 3*j. Solve 3*w - c = 3 for w.
2
Let k = -46 - -54. Let d be (k/(-6))/(2/(-3)). Solve 1 = -d*n + 5 for n.
2
Suppose 4*g - 16 = -2*p + 6*g, 5*g = 3*p - 18. Solve -p = y - 7 for y.
-4
Suppose -4*n + 210 = n. Let x = n + -22. Let t(g) = -g + 16. Let k be t(12). Solve -x = k*q - 0*q for q.
-5
Let i(o) = -2*o + 12. Let y be i(-4). Suppose 0*w + y = 3*x - 2*w, -4*w + 14 = 3*x. Solve -5 = -n - x for n.
-1
Let x = -16 - -20. Suppose -4*w + 2 = 3*g - 5, 0 = 3*g - x*w - 23. Solve g = -c - 0*c for c.
-5
Let s(i) = -i**2 + 9*i + 18. Let z be s(11). Let c(l) = 5*l + 20. Let f be c(z). Solve 2*u + 2 = -f*u for u.
-1
Let h be 0 - ((-1)/1 + -199). Suppose 3*s = h + 52. Suppose -q - j = -5*q + s, -q - j + 16 = 0. Solve 4*r + q = -0*r for r.
-5
Suppose 0 = 4*j + 3*l + 7, 2*j - 16 = -j + 2*l. Let t be (-1)/j*16/(-4). Suppose -i - 2 = 4*z + t*i, 0 = -3*z + 5*i + 13. Solve -2*y + z + 3 = 0 for y.
2
Let h be -10 + 38 - (-5)/((-10)/12). Solve -19*x = -h*x for x.
0
Let b(x) = -x**2 - 4*x + 11. Let z be b(-5). Let n = z - 2. Suppose -u + 2 = 4*w - 6, -2*w + n*u + 4 = 0. Solve -w - 2 = k for k.
-4
Let a(v) = -v + 10. Let w be a(5). Let c be w + ((-2)/(-4) - (-7)/(-2)). Solve -c + 12 = 5*g for g.
2
Suppose h = 2*h - 3*t + 14, 46 = -h - 5*t. Let q = -24 - h. Suppose -2*y = -z + 1 - 2, 4*z + 4 = -4*y. Solve y = -c - q - 3 for c.
-5
Let w(y) = -y + 4. Let g(l) = 3*l - 1. Let i be g(-1). Let c be w(i). Suppose -2 = -c*q + 6*q. Solve -q = x - 2*x for x.
1
Suppose -5*j - 16 = -j + 4*z, 2*j = 2*z + 12. Solve 8*h - 9*h = j for h.
-1
Let z = -31 + 31. Suppose 3*k - 5*k + 8 = z. Solve 0*v = -2*v - k for v.
-2
Let l = -251 - -260. Solve -4*f - 7 = l for f.
-4
Suppose -6*z + z - 100 = 0. Let x = -24 - z. Let k(t) = t**3 + 5*t**2 + 4*t + 3. Let o be k(x). Solve -o = -5*q + 2 for q.
1
Let u be (-158)/(-10) + (-2)/(-10). Solve 0 = -6*f + u + 8 for f.
4
Suppose -3*t + 29 = 5*l, 2*t + 2*l = -2*t + 20. Let g(k) = 3*k + 8. Let m be g(-2). Suppose -5*n + 3*v = -69, -v = n - m*v - 15. Solve -t*y + n = -3 for y.
5
Suppose -15*d + 33 = 3. Suppose 0 = 4*t - 5 + 45. Let k(a) = -a**2 - 11*a - 10. Let p be k(t). Solve -x + 3 + d = p for x.
5
Let j = -13 + 18. Suppose -38*o + 18 = -35*o. Suppose -o = g - j*u, 2*g + 0*g - 3 = 5*u. Solve 0 = -5*h - 29 + g for h.
-4
Let u(n) = n**3 + 6*n**2 + 6*n + 4. Let i be u(-4). Let r = 21 + 39. Let m be ((-2)/(-4))/(10/r). Solve -m*t + i = t for t.
3
Suppose 37 + 29 = 2*c. Suppose -5*s + 4*k + 0 = -3, 0 = 2*s + 5*k - 21. Suppose s = -5*p + c. Solve -4*h + 2*h - p = 0 for h.
-3
Suppose 8*g + 853 - 197 = 0. Let r = g + 82. Solve -3*c + c = r for c.
0
Let r = 5 + -13. Let n be (0 - 1) + 26/2. Let z = r + n. Solve -2 = s - z for s.
2
Suppose -3*t + 164 - 80 = 0. Solve 23 + 5 = -t*f for f.
-1
Suppose q = 4*j - 17, -3 = 4*j - 23. Let h be (-1)/(-12)*6 + q/2. Solve 0 = -d + h*d - 4 for d.
4
Let g = 113 - 113. Solve g = -15*k + 14*k + 3 for k.
3
Suppose 2*s - 1862 = -47*s. Solve -s*j - 8 = -46*j for j.
1
Let y be 3 - 1 - (-12)/(-1). Let q = y + 18. Solve -5*c = -c - q for c.
2
Let o = -17 - -97. Let n be o/3 - 24/36. Suppose 3*m - n = 4*c + 11, 2*c = 2*m - 22. Solve m = 3*v + 19 for v.
-4
Suppose 5*v - 10 = -0. Let x(t) = -t - 4. Let a be x(6). Let y = -7 - a. Solve v*b + y*b = 25 for b.
5
Let v(f) = 8*f + 86. Let u be v(-10). Solve 10*z - 16 = u*z for z.
4
Suppose -q + 5 - 1 = 0, -3*q = -4*o. Let a(z) = z**3 - 12*z**2 - 12*z - 11. Let d be a(13). Solve 0 = o*h + d*h + 25 for h.
-5
Let i(d) = -d + 6. Let k be i(5). Let a(y) = -2*y + 3. Let r(v) = 10*v - 14. Let w(b) = 14*a(b) + 3*r(b). Let l be w(2). Solve 3*f - k = -l for f.
-1
Suppose 0 = -5*c + 49 - 64. Let m be (23/c + -1)/(40/(-60)). Solve m = -5*d + 33 for d.
4
Let b be (-1 - 0)*2 - -33. Let y = b + -9. Let t = y + -13. Solve 1 = 5*w - t for w.
2
Let u(z) = 3*z - 2. Let r be u(2). Suppose 3*q - l = -r, -3*l + 6 = -6. Solve 0 = c - q + 3 for c.
-3
Let s(t) = t**2 + 7*t + 3. Suppose 0 = -6*n + n - 35. Let l be s(n). Let p = -32 + 52. Solve 0 = m + l*m + p for m.
-5
Let y(l) = 2*l**2 - 3*l + 3. Let j be y(2). Suppose -4*o + j*o = 18. Let u be (96/o)/((-2)/(-3)). Solve 0 = -s - s - u for s.
-4
Let g = -174 + 214. Let i be 20/g + (-3)/(-2). Suppose -5*u = -8*r + 3*r, 0 = -3*u - 5*r + 40. Solve -u*f + i*f = 3 for f.
-1
Let r be (-2)/(-8)*(27 - 7). Suppose r*g = -19 - 1. Let q be 4 + 4/g + -1. Solve 0*u + q*u = 6 for u.
3
Let q(v) = -2 - 2*v**3 + 3*v**3 + 5 + 3. Let d be q(0). Solve d*a = 2*a for a.
0
Suppose 52*k = 55*k - 102. Let x = 41 - k. Solve -5*n - x = -32 for n.
5
Let i be (-62)/14 + 24/56. Let w be 1 - (i + 0 + 1). Let j be 5 + -6 + 1 - (1 - 3). Solve w = -j*c + c for c.
-4
Suppose 0 = -4*b - 20, -3*b + 181 = -2*i + 6*i. Let w = 109 - i. Suppose -w = -3*n - 15. Solve -x + n = 4*x for x.
3
Let o be 1472/138*(-15)/(-2). Solve -5*f - 11*f + o = 0 for f.
5
Let k be (-1)/(-6 + 3) + 2/3. Let x be 0 + (k - (0 + 0)). Solve -i + x = 2 for i.
-1
Let h be 3*(8/(-6))/(-2). Let o be -6*(-2 - (-5)/h). Let b(j) = j**2 + 2*j + 1. Let m be b(o). Solve 0*v - 20 = -m*v for v.
5
Let p = -22 - -5. Let x = -11 - p. Suppose 5*l - 3*b - 9 = 3, 3*l - 6 = 3*b. Solve x = -l*g + g for g.
-3
Let x be (30/(-25))/((-6)/20). Solve x*m + 7 = -1 for m.
-2
Let l be (-27)/2*6/(-9)*1. Suppose -u - 2*q + l = 3*q, 0 = -q. Solve u = 4*h + 1 for h.
2
Suppose -k - 36 + 43 = 0. Solve -6 = -k*q + 8 for q.
2
Let c be 13/2 + 2/(-1*4). Let a be ((-2)/c)/((-10)/(-30))*-2. Solve 0 = -0*y - a*y for y.
0
Let a(x) = x + 3. Let c be a(2). Suppose -11*o + 6 = -c*o. Solve 5*q - 24 = o for q.
5
Suppose 3*h - 37 = -5*w, -5*w + 0*h = 4*h - 41. Solve -b = -2 + w for b.
-3
Let a(t) = t**3 - t**2 - 3*t + 2. Let k be a(2). Suppose k = -3*p + 6 + 3. Suppose 0*c - 2*c = -5*f - 6, -5*f - c + 3 = 0. Solve -15 = -p*v - f*v for v.
5
Let p(l) = -l**3 + 5*l**2 + 8*l - 9. Let w be p(6). Let s = 3635 + -3631. Solve 23 = -s*v + w for v.
-5
Suppose 2 + 24 = 3*p - 5*t, t + 8 = 2*p. Solve -p - 6 = 2*h for h.
-4
Suppose -11*n = -18*n + 21. Solve 0 = -n*r - 26 + 20 for r.
-2
Suppose 0*i = -i - 8. Let y = 8 + i. Let a be y*(-3)/18*-3. Solve a*n = n + 5 for n.
-5
Let x be ((-315)/25 - -12)*-5. Solve -9 = -6*w - x for w.
1
Let r = 1 - -6. Suppose -5*d = r*z - 3*z - 14, d = 2*z. Suppose n = -d*w + 7, -4*w - 3*n = -7*n + 4. Solve -u = u - w for u.
1
Let w be (72/9)/(2/4). Let h be -2 - (8/w)/(2/(-28)). Solve -4*u = -13 + h for u.
2
Let g(p) = -14*p - 1. Let z be g(-4). Suppose 4*o = 4 + 16, 3*o - z = 2*i. Let u = -20 - i. Solve -2*s = -u*s + 2 for s.
-1
Let k(d) = 2*d - 8. Let c be k(7). Suppose 0 = c*m - 65 - 169. Let o = -24 + m. Solve -3 + o = -3*q for q.
-4
Suppose 5*n + l = 6 + 1, 0 = 3*n - l - 1. Solve -n = 2*z - 5 for z.
2
Suppose -4*s = -4*u + 80, 5*s + 5*u - u = -145. Let l = 30 + s. Solve l*w = w for w.
0
Let y(u) = -u**3 -