e -v = -4*b + 2 for b.
1
Let x = 5 + 1. Let r be (-2)/(-10) - (-256)/(-80). Let t = x + r. Solve -4 = -t*h - 1 for h.
1
Suppose 0 = -5*w - 2*k - 6, -2*w - 5*k = 7 + 8. Suppose -4*b - 2*z + 3*z = -13, w = 4*b - 2*z - 18. Solve -b = 3*j - 5 for j.
1
Let h(t) = t**2 + 26*t - 434. Let x be h(-39). Solve 2*z - x = -81 for z.
-4
Let u be (9 + -2)/((-4)/8). Let z be 200/u - (-6)/21. Let l(a) = 2*a + 30. Let v be l(z). Solve 6*t = v*t for t.
0
Let g = -372 - -376. Solve 34 = -g*i + 18 for i.
-4
Let d be 3 + (-15)/20*4. Solve -2*n + 8 = -d*n for n.
4
Suppose o = -3*o + 8. Let j(q) = q**2 - 1 - 8*q + 10*q**2 - 10*q**o - 5. Let v be j(9). Solve v*f = -f - 16 for f.
-4
Suppose -9 = 6*v - 9. Suppose z - 17 + 10 = v. Solve -3*n + z + 2 = 0 for n.
3
Let f(o) = -o**2 - 10*o - 7. Let x be f(-9). Let k(c) = -3*c + x*c - 1 - 5 + 3. Let m be k(-6). Solve -4*a = -m*a + 1 for a.
-1
Let q(h) = h**3 - 11*h**2 - 13*h + 9. Let x be q(12). Let f be (0/(12/x))/(-2). Solve a = -f*a for a.
0
Suppose 2*d - 60 = 2*n, 3*n + 35 = -d + 61. Solve 27*k - d*k = -10 for k.
5
Let h(r) = r**3 + 9*r**2 - 17*r - 95. Let y be h(-9). Solve -12*k + y = -2 for k.
5
Suppose -3*n = -5 - 1. Let a be (-424)/(-52) - n/13. Suppose 0 = f - 5*f + a. Solve -2*j + f = -6 for j.
4
Let g = 42 - 29. Let i(o) = 2*o**2 - 41*o + 20. Let t(h) = -h**2 + 20*h - 10. Let k(p) = g*t(p) + 6*i(p). Let j be k(13). Solve -j*r + 0*r = 12 for r.
-4
Let i(s) = 2*s + 48. Let w be i(-20). Let t(l) = -l**2 - 5*l - 2. Let m be (3 + 1)*(0 + -1). Let p be t(m). Solve p*j = 6*j - w for j.
2
Let t(w) = -14*w - 108. Let p be t(-8). Solve 6*k - p*k = 0 for k.
0
Suppose -5*c + 16 = -3*n, 3*c - 27 = -2*n - 2*n. Suppose 3*r - 3*j + 9 = -0, 2*j = -c*r - 43. Let f = 8 + r. Solve f = 5*w - 9 for w.
2
Suppose 68*m - 19*m = 20433. Solve -m*u - 4 = -419*u for u.
2
Let q = -14 + 17. Solve -x + 0*x = q for x.
-3
Suppose 7*i + 351 - 386 = 0. Solve -4 = i*s + 6 for s.
-2
Let u(l) = l**2 + 3*l + 8. Let i be u(-4). Let f = -12 + 21. Let c(n) = n**3 - 10*n**2 + 10*n - 4. Let h be c(f). Solve h*k + 8 = -i for k.
-4
Let u(s) = -2*s**2 + 60*s + 4. Let g be u(30). Suppose -11 = -g*t - 3*a, t + t - 7 = -a. Solve 0 = t*m + 3 - 23 for m.
4
Let h = -195 - -203. Solve 5*b = -2 - h for b.
-2
Let m be -3*(-3)/(9/2). Let g(c) = -c**2 + c + 40. Let y be g(0). Let l = y - 37. Solve l*h + m*h = 0 for h.
0
Let v(c) = c**3 + 6*c**2 - 4*c + 19. Let n be v(-7). Let d = n - -5. Solve -r + d = 1 for r.
2
Let q(y) = 2*y**2 + y - 1. Let f be q(1). Suppose -f*n + 4 + 6 = 0, 3*n = 2*a + 7. Solve -1 + 21 = a*z for z.
5
Let v(o) = -4*o - 150. Let p be v(-45). Suppose 0 = -5*c - 12 + 37. Let t be c/p + (-17)/(-6). Solve 4*d + t = -1 for d.
-1
Let r be -3*(-12)/(-9) - -6. Suppose r*i - 4 = -0*i. Solve 3 + 1 = -i*c for c.
-2
Let k be 1/(-3) + 2/6. Suppose 3*z + i - 2*i - 29 = 0, -2*i - 50 = -5*z. Let o = -10 - -14. Solve k = o*y + z for y.
-2
Let w = -14 + 14. Suppose 0 = 4*b - 20, w*g + 5*g + 4*b - 25 = 0. Suppose r = -2*m + 3 - g, -5*r + m = -10. Solve 3*z + 1 = -r for z.
-1
Let q(v) = 2*v**3 - 49*v**2 + 24*v + 3. Let c be q(24). Solve -o = c*o - 12 for o.
3
Let n = 27 - -3. Let y(h) = h**2 + 4*h - 2. Let i be y(-5). Let c be -3 + n/5 - i. Solve -l = -c*l for l.
0
Let d(o) = o**3 - o**2 - o - 1. Suppose -7 = -i + 3*t - 2, -4*i = 4*t - 4. Let x be d(i). Solve 3*g + 13 = x for g.
-4
Suppose 3*b - t = 3*t - 9, b - 2*t + 5 = 0. Solve s = -2 - b for s.
-3
Suppose -2*c = 2*x - 9 - 1, 3*c = 0. Solve -x*g + 3*g = 8 for g.
-4
Let j(w) = -w**2 + 7*w - 12. Let q be j(3). Solve q = -d + 5*d for d.
0
Let b(n) = -n + 4. Let f be b(-4). Suppose -f = 5*g - 18. Suppose -g*q = 2*q - 4. Solve 2 = d + q for d.
1
Suppose 6 = d - 2*w - 6, d + w = -3. Suppose 5*a - 19 + 104 = 0. Let p = 18 + a. Solve d*x - 7 = -p for x.
3
Let j be 0/(-3 - (-1 - 1)). Let w(i) = 3*i - 12. Let k be w(7). Suppose t - 11 + k = j. Solve 0 = c + t*c - 12 for c.
4
Let b be (7 - (5 - -20))*2/(-12). Solve b = -14*l + 13*l for l.
-3
Suppose -4*m - 2*b + 6 + 78 = 0, -27 = -m + b. Suppose -14*i = -m*i + 108. Solve -4 = 4*t + i for t.
-4
Suppose -5*u = -2*p - 859, 0 = 3*u + 5*p - 463 - 71. Solve -175 = r - u for r.
-2
Let a = -81 - -89. Solve 12*r = 8*r - a for r.
-2
Suppose -3*d + 18 = -3*h, 12 = d + h - 2. Let o = 8 + -2. Solve -o = 4*a + d for a.
-4
Let f be ((-15)/(-10))/((-6)/(-76)). Let m = f + -17. Solve m*x = -x for x.
0
Let b(y) = 9*y**2 + 3*y - 4. Let x be b(-2). Let n = x + -14. Solve u = -2*u + n for u.
4
Suppose -3*n - v + 14 = 0, 2*v + 5 = 2*n + 7*v. Solve -n*a = -3 + 3 for a.
0
Suppose -5*w + 66 = -4*y, 0*w + 2 = w. Let z be 6 + (-7)/(y/6). Let r be (-14 + z)/(-1 - 0). Solve -2 = -h - r for h.
-3
Let f(d) = 19*d - 52. Let q be f(3). Solve 0 = q*k + 5 - 0 for k.
-1
Suppose -890 = -4*c + 3*k, -16*k = -19*k - 6. Solve -3*q - 221 = -c for q.
0
Suppose -5*r - 4*i - 16 = -0*i, 8 = 4*r - 2*i. Let d(v) = v**3 - 5*v**2 - 5*v + 9. Let z be d(6). Solve 0 = -3*j - r*j + z for j.
5
Let b be 5/(2/((-7)/(7/(-2)))). Suppose b = -8*u + 13. Solve u = -4*p + 21 for p.
5
Let w(s) = s**2 + 3*s + 4. Suppose 2*h + 23 = 17. Let c be w(h). Solve -3*n + 11 = -c for n.
5
Let k(b) = b - 9. Let r = -60 - -70. Let p be k(r). Solve -p = i - 0 for i.
-1
Let w be -1 - (-1 + -4) - -1. Suppose 0*y = -y + 13. Suppose 4*u - 57 = 2*k + y, -5*k - 95 = -5*u. Solve u = -j + w*j for j.
4
Let s(c) = -c**3 + 9*c**2 - 2*c + 10. Let d be s(9). Let u be (105/(-12))/(1/d). Let i be 28/u + (-26)/(-10). Solve -i*a - 9 + 0 = 0 for a.
-3
Suppose w - 8 = 3*x, 3 + 1 = -2*x. Let n(y) = -y**3 + 3*y**2 - 2*y + 1. Let i be (6/(-3))/(5 - 6). Let s be n(i). Solve -3*r + w*r - s = 0 for r.
-1
Let y be 80/28 - 3/(-21). Suppose i = y*n - 4, -5 = -4*n + 2*i - 1. Suppose -z = -n*z. Solve z = -3*q - q - 4 for q.
-1
Let u(c) = c**2 + 11*c. Let k be u(-11). Suppose -3*q = -3, -3*o - 5*q = -o - 1. Let s be ((-30)/o)/3*1. Solve -5*l - s = -k for l.
-1
Suppose -3*g + 225 = 3*o, -65*g + 60*g - 4*o + 377 = 0. Solve 3*x - 80 + g = 0 for x.
1
Let p = -954 - -958. Let r be 3*(-2)/(-2)*1. Solve -r*x = p + 5 for x.
-3
Suppose -54 = -5*n - 2*s, n + 5*s = -0*s + 20. Solve -n = 5*f - 0*f for f.
-2
Let g = 1729 - 1700. Solve -9*t - g = 7 for t.
-4
Suppose 41 - 29 = 4*r. Solve -4*c = -9 - r for c.
3
Let a(d) = d**3 - 18*d**2 - 21*d + 38. Let z be a(19). Suppose 5*i - 81 + 61 = z. Solve 0 = 2*u + i for u.
-2
Suppose 35 = 5*i - 5. Let h(m) = m**3 + 4*m**2 - 5*m - 1. Let l be h(-5). Let u be -14*l*6/21. Solve u*r + i = -0*r for r.
-2
Let d(t) = -5*t - 6. Let f be d(-2). Suppose 3*y = -f*b + 5*b + 11, -b + 1 = y. Solve -5*k + 18 = y for k.
3
Let i be 1/(3/8)*(-1470)/(-280). Solve -7*u + 0 = -i for u.
2
Suppose -36*l + 38*l - 4 = 0. Let i be 25/l - 3 - (-6)/(-4). Solve -b - i = -5*b for b.
2
Suppose -6*p = -p. Suppose 0 = 4*n - p*n - 36. Suppose -4*m + m + n = 0. Solve 0*q = -m*q + 15 for q.
5
Suppose 2*f - 6*f + 108 = 0. Suppose 3*l = 6*l - 5*k - f, -2*l - 5*k - 7 = 0. Solve -2 - 6 = -l*b for b.
2
Let q(l) = l**2 - 9*l + 15. Let b be q(7). Let n be b/2*(5 - -7). Solve 4*m + n = -6 for m.
-3
Suppose 5*u + 10 = 0, -q + u + 1 = -u. Let n = q - -20. Let g(x) = 2*x**3 + x**2. Let l be g(1). Solve n + l = 5*m for m.
4
Let j(l) = -151*l + 950. Let w be j(6). Solve w = 27*g - 10 for g.
2
Let y(a) = -a + 27. Let h be y(0). Let j = -17 + h. Solve 0 = -5*l + j + 5 for l.
3
Let b = 309 - 294. Solve -20*w - b = -17*w for w.
-5
Let y = 93 + -87. Solve y - 12 = -2*k for k.
3
Let t be (-57)/(-9*(-3)/(-9)). Solve k - t = -16 for k.
3
Let m = 2175 - 2166. Solve 0 = 4*f - f + m for f.
-3
Let k = 1214 + -1201. Solve 25 = 6*m + k for m.
2
Let q(m) = 2*m + 26. Let j be q(-13). Suppose -h - 5*b + 9 = 0, 3*h + j*b - 7 = 5*b. Suppose 3*o = -2*o - h*t + 74, -5*o + 68 = -2*t. Solve 6 - o = 2*l for l.
-4
Let r(q) = 2*q - 20. Let x be r(10). Suppose x = -8*w + 4*w. Solve -2*g - 4 = -w for g.
-2
Let v(m) = -m + 20. Let t be v(15). Suppose t*q = -0 + 40. Suppose 2*u - q = -0. Solve u*k = 3*k + 1 for k.
1
Let x be 2/7 - 636/(-28). Let l = -23 + x. Suppose 4*c - 16 = -l*c. Solve -2*n - 2 - c = 0 for n.
-3
Suppose 0 = i + 2*i. Suppose 27*t = 161 - 53. Solve i = 4*x + t - 12 for x.
2
Let n(d) = d**2 + 36*d + 180. Let m be n(-30). Solve -5*g = -5 - m for g.
1
Let a(c) = -c - 10. Let g be a(-10). Let i = 2 - g. Solve 0*y + y 