*v - 10 for v.
5
Let d(o) = 2*o + 13. Let a be d(-3). Suppose -a*q + 6*q + 1 = 0. Solve j = 6 - q for j.
5
Let b(u) = u**2 + 10*u + 12. Let r be b(-8). Let i = -6 - r. Let h be i/6 + (-5)/(-15). Solve h = -3*z + 2*z + 4 for z.
4
Let h(n) = -5*n**3 - 11*n + 5. Let z(p) = -9*p**3 - 21*p + 10. Let u(a) = 11*h(a) - 6*z(a). Let w be u(-3). Solve -4*l - 3 + w = 0 for l.
1
Let a = -9 + 16. Let g be (-99)/(-21) - (-6)/21. Suppose 0 = g*y + 2*l - 33, -3*l - 31 = -3*y - 7*l. Solve y*j = a*j for j.
0
Suppose 0 = 12*r - 135 + 3. Solve -28 = r*m + 5 for m.
-3
Let q(v) = v**3 - 4*v**2 - 5*v. Let s be q(5). Let f be 4/1 - (-1 + 1). Solve f*y + y = s for y.
0
Suppose 0 = 19*c - 23*c + 4. Solve y = 2*y - c for y.
1
Let a(u) = u**2 - u + 1. Let t be a(2). Suppose 0 = 4*r - o - 13, 5*r = -3*o - 1 + 30. Solve w - t*w = -r for w.
2
Suppose -2*c - 3*q - 8 = 0, -2*q + 3*q = -4. Suppose -c = -5*u + 3. Solve -5*w - 9 = u for w.
-2
Let p(h) = -h**3 - 10*h**2 - 12*h - 12. Let v be (-2 - 20)/(-2 - 0). Suppose -9*d + v*d = -18. Let w be p(d). Solve -k + w = 4*k for k.
3
Let z(l) = l**3 + 3*l**2 - l - 1. Let s be z(-4). Suppose -5*i + 19 = 109. Let c = s - i. Solve c*f = 4*f for f.
0
Let c = 397 + -389. Solve -2*z = 2 - c for z.
3
Let x(v) = 24*v - 72. Let l be x(3). Solve -9*h - 44 + 8 = l for h.
-4
Let z be (-9)/(-12) + 249/4. Let w = z - 63. Solve -2*v = -w*v for v.
0
Let a = 11 + -6. Suppose -v + 8 = f, -3*f + 4*v = 1 + 3. Solve 11 = f*g - a for g.
4
Suppose -9 = -3*k - 3. Suppose -3*h = k*h - 10. Let f = -15 + 19. Solve 0 = h*r - 3*r - f for r.
-4
Let w(g) = -2*g**3 - 2*g**2 + g + 1. Let o be w(-2). Let f(r) = r**3 + 3*r**2 - 7*r - 6. Let q = 25 - 29. Let j be f(q). Solve -4*n = -o*n + j for n.
2
Suppose -b - 50 = 5*w, 0 = 2*w - 3*b + 3 - 0. Let l be 3 + w/(-2)*(-14)/21. Solve -2*y - 3 - 3 = l for y.
-3
Let h(j) = j**3 + 11*j**2 + 7*j - 24. Let k be h(-10). Let t be (-20)/(-30) - (-20)/k. Suppose -61 = -t*f + 3. Solve -5*d = 1 - f for d.
3
Let b(n) = n**2 - 10*n - 19. Let r be b(11). Let i be ((-20)/r)/((-2)/(-4)). Solve i*k + 3 = 2*k for k.
-1
Let j(c) = -9*c + 6. Let o(v) = 13*v - 9. Let z(n) = -8*j(n) - 5*o(n). Let i be z(-3). Let l be 108/i*(-2 - 0). Solve l = -a - 2*a for a.
-3
Let c = -11 - -19. Let v = 9 - c. Suppose -7 + v = -u. Solve -w - w + u = 0 for w.
3
Suppose k = -3*s - 3*k, -2*s = -2*k. Let f = 19 - 14. Suppose -29 + 5 = -4*h - 5*y, -25 = -f*h - 5*y. Solve s = -g - 3 + h for g.
-2
Suppose 0 = 6*f - f. Solve -2*h - 40 + 32 = f for h.
-4
Let y(x) = -23*x + 2. Let r be y(3). Let l = r - -47. Let u be 4/(-5)*l/4. Solve -u*b + 7 = -5 for b.
3
Suppose -78*f = -91*f. Solve 5*a + 20 = -f*a for a.
-4
Let l be -5 + -1 - (-17 + 8). Solve -25 = -l*h - 16 for h.
3
Suppose i - 7 = 2*m + 3*m, 0 = -3*i + 4*m + 10. Let c be i/6*(-36)/(-6). Suppose 0 = -c*f + 3*f, q = -5*f + 6. Solve 0 = -q*k + k + 10 for k.
2
Let w = -1167 - -1179. Solve 0*m + w*m = -0*m for m.
0
Let v = 44 + -52. Let y be v/10*5/(-2). Solve -o + y = o for o.
1
Let c(x) = -4*x**2 - x**3 + 6*x + 16 - 4*x - 3*x**2. Suppose -5*h - 5*l = 40, -5*l - 1 = 4. Let v be c(h). Solve 0*r + 2 = -v*r for r.
-1
Suppose 4*o - 7 - 41 = 0. Let r = o + 0. Suppose -z - 3*a + 3 + 5 = 0, 4*z + 2*a = 22. Solve -r = -t + z*t for t.
-3
Suppose -1 = 2*v + 5*q - 38, 10 = 2*v - 4*q. Solve 9*n = -v + 56 for n.
5
Let d be 12/72 - 22/(-12). Suppose 3*l + d*l + 145 = 3*m, -5*l = 25. Let z = -20 + m. Solve 0 = 6*j - 2*j + z for j.
-5
Suppose 0 = -210*j + 218*j - 24. Solve 2*i - 5 = j for i.
4
Let v(c) = -c - 10. Let i(p) = -1. Let m(o) = 4*i(o) - v(o). Let d be m(-3). Solve d*h - h = -8 for h.
-4
Suppose 0 = 2*n + t + 15, -2*n + 3*t - 1 = 18. Let c be -1 - n - (-1 + 0). Suppose 2 = -2*v + 6. Solve c = -3*p + v for p.
-2
Suppose -o = -3*i - 19, -2*o - 10 = 2*i - 8. Suppose -j + 2 = -4. Let h = j - 4. Solve -h*s = -s + o for s.
-4
Let t = 50 + -82. Let x = -21 - t. Solve 2*j - x = -1 for j.
5
Let l(a) = 8 - 7 + 10 - a + 2*a. Let x be 5*2*1/(-2). Let m be l(x). Solve -2*g + m = -0*g for g.
3
Suppose 17*d = -3*t + 21*d + 35, -t - 4*d - 15 = 0. Suppose 1 = -3*b + 5*i, -2*b + 0*i + 2*i + 2 = 0. Solve b + 2 = -t*c for c.
-1
Suppose 12*j = 9*j. Let u be 4/(-10)*(-5 + j). Solve 2 = -4*b - u for b.
-1
Let i(y) = y**2 + 9*y - 23. Let l be i(-11). Let a be 14 - ((-5)/(-5) + l). Let q be (7/a)/((-2)/(-8)). Solve u - 15 = -q*u for u.
5
Let k = 3 - -7. Suppose 16 = 3*l - 5*z - 17, -3*z = 3*l - 9. Suppose 0 = -11*a - l*a. Solve -3*w - k - 2 = a for w.
-4
Suppose 0 = 5*m - 2*s - 14, -3*m - 2*s + 21 = s. Suppose 0 = -3*v + 3*q + 39, -2*q = m*v + 8 - 42. Let d be (32/v)/(14/35). Solve k - d = 3*k for k.
-4
Suppose -7*t + 2*t = r - 28, -3*r - 4*t + 29 = 0. Solve -7*d - 50 = r*d for d.
-5
Suppose -2*b - 2*j = 0, 3*b + 2*j + 5 = -2*j. Let t(n) = 2*n**3 - 4*n**3 - n**2 - n + 1 + b*n**3. Let p be t(1). Solve p*y + 9 = -y for y.
-3
Suppose 4*m = -4*f + 24, 2*f + m = -3*m + 22. Suppose 0 = x + 3*g - 8, -4*x + 3*g = -0*x - 2. Suppose x = -15*u + 16*u. Solve -u*o + 1 = -f for o.
1
Suppose 61 = 5*a + 3*x, 2*x - 4 = 2*a - 22. Solve 0 = -o - a*o + 48 for o.
4
Let b be ((-5)/20 + (-38)/8)*-1. Suppose f + 2 = 2*l + 3*f, -b*l + 10 = 4*f. Solve 0 = -3*j + 5*j - l for j.
3
Let u = -1 + 1. Let q(x) = 4*x + 18. Let k be q(-3). Let z(s) = s**3 - 7*s**2 + 4*s + 14. Let w be z(k). Solve u*c - w*c = 2 for c.
-1
Suppose -42*w + 41*w + 5 = 0. Suppose 4 = -w*t + 19. Solve t*q = q - 2 for q.
-1
Let z be 1 + -11 + -11 + 12. Let i(f) = 2*f**2 + 17*f - 7. Let x be i(z). Solve 2*t = x - 4 for t.
-1
Let v(t) = 13*t - 8. Let j be v(1). Let y be (-1)/(-3) + ((-120)/(-9))/j. Solve 0 = -y*f - 1 - 11 for f.
-4
Suppose -r + 31 = 2*y, 0 = -r - 5*y + 9*y + 13. Solve -10*z = -5*z + r for z.
-5
Suppose 0 = -8*o + 10*o + 42. Let g = 33 + o. Suppose -3*t + g = -t. Solve -4*v + 2*v + t = 0 for v.
3
Let b(t) = -t**3 + 9*t**2 - 4*t - 21. Let d be b(8). Let y be 18 - d - (0 + 2 + 1). Solve y*h + h = 25 for h.
5
Suppose 6*v + 0*v = 30. Let c = -2 - 2. Let h be 0 + (v + c)*1. Solve h + 5 = -2*j for j.
-3
Suppose -2*z = 2*z - 128. Let g(p) = p**2 + p + 3. Let k be g(0). Suppose 44 = 4*o + k*j, -5*o + 4*j = 2*j - z. Solve -o = -3*b + 4 for b.
4
Let x = 5 + -55. Let i = 74 + x. Suppose y = 4*q - 0*q - 21, 0 = 5*q + y - i. Solve -d + q = -0 for d.
5
Let v be -3 - (5 - 42 - -4). Suppose -v - 22 = -13*x. Solve -7 = k - x for k.
-3
Let g(k) = 5*k**2 + 24*k - 31. Let b be g(-6). Solve 19 = 14*d + b for d.
1
Suppose -548 = 8*k + 356. Let y = 118 + k. Solve -y*i - 5 = -0 for i.
-1
Let q be (-10 - -5)*-1 - 12/4. Solve i = q - 1 for i.
1
Let m(o) = o**2 - 20*o + 14. Let g(r) = r**2 - 19*r + 15. Let h(n) = 5*g(n) - 4*m(n). Let a be h(14). Suppose -5*k + 45 = -a. Solve 0 = -3*b + b - k for b.
-5
Let w = -70 + 46. Let n = w - -33. Suppose -q = -m, 5*m = -4*q + n + 18. Solve m*p + 2*p = 0 for p.
0
Let t be ((-2 - -1) + 0)*-2. Suppose t*w - 33 = -25. Solve 4*v = 5*v - w for v.
4
Let t be 1*(-36)/(-3) - (-12)/(-6). Solve -t = 3*z - 1 for z.
-3
Let y(k) = k**3 - 6*k**2 + 3. Let v be y(6). Solve v*u = -4*u - 14 for u.
-2
Let d(r) = 5*r**2 - r. Let n(k) = -k**3 + 5*k**2 - 3*k - 5. Let o be n(4). Let m be d(o). Let q = -1 + m. Solve 1 = -4*y + q for y.
1
Let w = 67 + -70. Let m be (-2 - -5) + (-3 - w). Solve -s = -m*s + 10 for s.
5
Suppose -4*l - 3*o = -4*o - 5, 0 = -2*l - 5*o - 25. Let v = 1400 - 1400. Solve -5*u + l - 5 = v for u.
-1
Let h = -5 - -8. Suppose 2*p = 5*b - 15, 4*p + h = 23. Solve -1 + 16 = b*y for y.
3
Suppose 4*m = 3*u, -3*m - m = 2*u. Suppose 43 - 13 = 6*f. Solve -l = -m*l - f for l.
5
Let h(s) = s**2 + 23*s - 497. Let z be h(-37). Solve -z*t = -18*t + 15 for t.
-5
Let u be 50/40 - (726/24)/(-11). Solve -17*n + 18*n = -u for n.
-4
Let k = 86 - 83. Suppose 4*x - 8 = -2*l + l, -k*x + 5*l + 29 = 0. Solve x*m - 7 = 2 for m.
3
Let k be (-1 + -17)*6/12. Let p = k + 32. Suppose 13 = -a + p. Solve -g = g + a for g.
-5
Suppose m + 4*x + 6 = 6*m, 0 = -3*m - 5*x - 26. Let l(h) = -2*h - 27*h**2 + 80*h**2 - 25*h**2 - 29*h**2. Let v be l(m). Solve v = -0*u - u for u.
0
Let y(t) = 5*t + 18. Let m be y(-3). Solve 3 - 15 = m*j for j.
-4
Let j(g) = -7*g - 207. Let z be j(-30). Solve t - 20 = -z*t for t.
5
Let p be 15/(-6)*16/(-20). Suppose -2*q = -2 - p. Solve -q*k = -2 - 0 for k.
1
Let g(t) = t**3 + 10*t**2 + 13*t + 1