*k - 2 for k.
-1
Suppose 0 = -10*q + 20 + 80. Solve -9*p - 1 = -q for p.
1
Let s(o) = 0*o**3 + o - 4*o - o**3 - 3*o**2. Let a(m) = m**3 - 10*m**2 + 10*m - 11. Let h be a(9). Let t be s(h). Solve t = l - 0 for l.
2
Let x = 29 - 16. Suppose 2*y = 1 - 11, -x = -h + y. Let d be h/6*(-6)/(-4). Solve -3*v = -d*v for v.
0
Let z(l) = l**2 - l - 19. Suppose 0 = 6*k + 2 + 34. Let y be z(k). Solve y = -5*m + 8 for m.
-3
Suppose 0 = -14*t + 12*t + 24. Suppose 0 = -4*d - d. Solve t = -3*g - d for g.
-4
Suppose -9*g + 8*g = 0. Suppose -t = -g*t. Solve r + 4*r = t for r.
0
Let h(m) = -2*m - 38. Let a be h(-19). Solve 3*c + 5 + 1 = a for c.
-2
Suppose 22 = 3*r + 7*j - 3*j, -10 = -r - 2*j. Suppose r*v + 202 = 4*v. Let s = v + -71. Solve -s = -5*m - 5 for m.
5
Let j(i) = -i + 1. Let p be j(0). Let s = 1556 + -1550. Solve 5*f - p = -s for f.
-1
Suppose 4*v - v = 9. Let c(d) = d**2 + 2*d + 4. Let a be c(v). Suppose -4*u = -1 - a. Solve 0*o = -u*o + 5 for o.
1
Suppose -3*t = -15, 5*c + 0 = 4*t - 5. Suppose -6 = -7*r + 4*r, -18 = -4*m - c*r. Solve -5 = 4*y - m*y for y.
-5
Let r be 2 + 6/(-2) + 5. Solve 0 = -r*z + 5*z - 4 for z.
4
Let c be 1/(68/22 - 3). Suppose -4*g = 3 - c. Suppose -3*r + 3*b + 12 = 0, -3*r + 3*b = 2*r - 22. Solve 0 = r*u - 7 + g for u.
1
Let l be 2 + -3 - (-3 + 5). Let r = l - -5. Suppose -3*b + 5*j = 16, 4*b - j - 17 = -2*j. Solve -b*f + r = -f for f.
1
Suppose 4*a + 4 = 3*o, -o = -2*o + 4*a - 4. Let s(y) = y**3 - 6*y**2 + 2*y - 7. Let v = -9 + 15. Let b be s(v). Solve 19 = -b*r + o for r.
-3
Suppose -4*u = -87 + 71. Let a = 15 + u. Solve -3 = 4*s - a for s.
4
Suppose 0 = -2*q - 3*l + 13, 0 = 3*q - l - 14. Solve 19 - 14 = -q*u for u.
-1
Suppose 9 = 2*q + 5*a, -6*q + 4*q + 59 = -5*a. Solve -q*o = -11*o + 12 for o.
-2
Let r(a) = a**3 - 21*a**2 + 83*a + 48. Let u be r(6). Let m(n) = -2*n. Let h be m(-6). Solve -h = -9*b + u*b for b.
4
Let a = 1 - 1. Suppose -x = -d - 3, a = -2*x - 2*x + 2*d + 6. Suppose 4*i + i - 60 = -5*z, x = i + 4*z - 3. Solve 0*s + i = 5*s for s.
3
Suppose -4*q - 17*q + 105 = 0. Solve 7*s = -19 + q for s.
-2
Suppose -2*w + 24 = 2*x - 5*w, 0 = 4*x + 4*w - 8. Suppose 3*q + 0*q - x = 3*v, 0 = 2*v - 4*q + 8. Solve v = 2*z + 1 + 9 for z.
-5
Let p be ((-8)/(-2) - 2) + 7. Let m = -10905 + 10905. Solve m = p*u - 4*u + 15 for u.
-3
Suppose 0 = k + k - 4. Suppose k*l = 1 + 3. Let t be (l + 0)*(-12)/(-24). Solve -5*y + 6 = t for y.
1
Suppose -7*p - 3*p = -290. Solve 3*f + p = 23 for f.
-2
Suppose -4*s + 0*s + 20 = 0. Let y = 0 - -28. Let x = -28 + y. Solve s*d - d - 20 = x for d.
5
Let b = -1742 - -1744. Solve 3 - 13 = -b*l for l.
5
Let o be (-8)/24*0/(-1). Let r be (-3)/2 - (-133)/38. Solve -2*n = r - o for n.
-1
Suppose -4*p - 18 = -5*g - 2*p, -5*g = -5*p - 30. Let j = 24 - 24. Suppose 4 = u - j. Solve 6 = g*y - u for y.
5
Suppose 8*h - 3*h = -4*j - 8, -2*j - 4 = -h. Let n(b) = 0*b**3 + 0*b**3 - 4*b**3 + 3*b**3 + 2*b. Let q be n(j). Solve -q = -f - 2 for f.
2
Let c be 128/(-10)*(-60)/24. Suppose -c = 2*d - 6*d. Solve 3*p = -p - d for p.
-2
Let y be (-2 - (-24)/18)/((-2)/45). Suppose 0 = -4*c - 3*q - 9 + 1, -4 = 4*c + 2*q. Let u = 3 - c. Solve -u*m = 3*m - y for m.
3
Suppose -q + 6 = 9. Let g = q + 5. Suppose d = -g*d. Solve 1 = -h - d for h.
-1
Let g(q) = -3*q**2 - 35*q + 15. Let o be g(-12). Suppose 4*i = -3*m + 4*m - 6, 0 = -3*i - o. Solve -1 = m*j - 5 for j.
2
Let z(q) = -q**3 - 3*q**2 + 2*q. Let i be z(-3). Let v(p) = -14*p - 33. Let h be v(-3). Let y = h + i. Solve -u = -y*u + 8 for u.
4
Let y(u) = -u**3 + u**2 + u. Let t be y(-1). Suppose t = -5*q + 11. Suppose 5*f - 24 = -q*k + f, 4*k + 17 = 5*f. Solve -v = k*v - 9 for v.
3
Let v(a) = a**2 + 3*a - 6. Let q be v(-5). Let x(l) = -l**3 - 5*l**2 + l + 5. Let d be x(0). Solve -o = -d*o - q for o.
-1
Suppose -4*b - 21 = -5*c, -1 = 29*c - 30*c + 4*b. Let o(i) = i**2 + 117. Let n be o(0). Let j be 4/(-2)*n/(-6). Solve -c*u + j = 14 for u.
5
Suppose 0*a + 2*a = -6. Let s = -9 - a. Let t(f) = f**2 + 7*f + 11. Let h be t(s). Solve 2*l - 9 = h*l for l.
-3
Suppose 3*v + 5*s = 25, 4*v + 0*v - 3*s + 15 = 0. Let h be (-1)/(((-14)/(280/30))/(0 + 6)). Let o be 18 + 0 - (1 - 2). Solve v = h*l + o - 3 for l.
-4
Let z be (18 - (-3 + 6)) + -3. Let w = -12 + z. Solve -2*k + w*k = 8 for k.
-4
Let s(i) = i**2 - 48*i - 229. Let h be s(53). Solve h = -4*a + 44 for a.
2
Suppose 0 = 3*c - 7*c + 12. Suppose 8 = -2*t + 3*k, -3 = c*t - k - 5. Solve 4 = -t*x - 0 for x.
-2
Let b = 16 - 14. Suppose 14 = b*v - 0*v. Solve -2*a - v = -1 for a.
-3
Let z = -46 + 10. Let s = 46 + z. Solve 2*y = -0*y + s for y.
5
Suppose 4*r = -3*s + 15, r + 15 = 4*r + s. Solve -9 = -d - r for d.
3
Let z = 49 + -46. Solve -15 = -3*k - z for k.
4
Let u(i) = 7*i**2 - 27*i - 13. Let x be u(5). Solve x*y = 23*y - 8 for y.
-2
Let f(w) = 2*w**2 + 17*w - 8. Let u be f(-9). Let i(o) = -o**2 + o + 2. Let z be i(u). Solve 6 = 5*n - z*n for n.
2
Let q(v) = 2*v**2 + 27*v + 50. Let t be q(-13). Solve t*j - 25 = 42*j for j.
-5
Suppose -56*z = 22*z - 780. Solve -9 = -z*f + f for f.
1
Suppose -2*v + 17 - 29 = 0. Let z(g) = g**3 + 7*g**2 + 5*g - 5. Let h be z(v). Solve -h = 2*t - 3 for t.
1
Let l be 2/(-4)*(-6)/1. Suppose 25 = 5*h, l*a - 2*h = 2*h - 8. Solve -6 - 2 = a*o for o.
-2
Suppose -4*t + 23 = -2*i - 19, -5*i = 3*t + 53. Let j = i + 5. Let w = j - -9. Solve h - w - 1 = 0 for h.
2
Let r(w) be the second derivative of w**4/12 - 17*w**3/6 + 16*w**2 + w - 1. Let k be r(15). Solve -n + k*n - 3 = 0 for n.
3
Let v(i) = -6*i - 10. Let r(t) = 11*t + 20. Let z(a) = 2*r(a) + 5*v(a). Let p be z(-4). Suppose p = 5*d + 2. Solve 1 = d*x - 3 for x.
1
Let x = 17 - 17. Let f(j) = j**3 + 11*j**2 - j - 8. Let k be f(-11). Let p be (-56)/(-12) + 1/k. Solve x*q = q + p for q.
-5
Let i = 7 + -5. Suppose i*a - a = 0. Let r be (2 + -1)*-1*-1. Solve 0 = j - a*j + r for j.
-1
Suppose 0*t - 4*t = 0. Suppose -2*d + 19 - 13 = t. Solve -d*y = -1 - 11 for y.
4
Let l(b) = b**2 - 6*b - 32. Let g be l(-6). Let k be (-39)/(-9) + (-6)/(-9). Suppose -k*h = -5*p + g, h = -3*p - h + 14. Solve r = p*r + 25 for r.
-5
Let g be (-2 - 18/(-8)) + 261/12. Suppose g*d = 26*d - 100. Solve 3*c - d = -2*c for c.
5
Suppose 78 = 10*x - 82. Solve 11*y = x*y for y.
0
Let d be 238/(-8) + 3/(-12). Let q = -24 - d. Solve -h = -q + 3 for h.
3
Let a be (-2 - 4*-2)/(14/21). Solve -7*g + a*g - 6 = 0 for g.
3
Let c(o) = o**2 - 5*o + 6. Suppose -60 = -6*h - 9*h. Let p be c(h). Solve p = 3*g - 7 for g.
3
Let n be (-14)/(1*(0 + 2)). Let x(f) = f + 13. Let r be x(n). Solve l = r*l for l.
0
Let s = -7 - -17. Let b = -2 - 2. Let r be (8/10)/(b/(-50)). Solve -r = 4*w + s for w.
-5
Suppose -1 = 4*o + 11. Let a be (2 - (o + 2)) + -24. Let h = 37 + a. Solve b + 3*b = -h for b.
-4
Let o(y) = 59*y - 147. Let i be o(3). Solve -i = 12*x - 18*x for x.
5
Let m be 45/12 - 2/(-8). Let c = 772 + -771. Solve -7 - c = -m*w for w.
2
Let k(r) = 46*r + 26. Let w be k(0). Solve 0 = 9*n + 17 - w for n.
1
Let o be (9*13/104)/(1/8). Solve -6 = o*l - 42 for l.
4
Suppose -3*j - m = -3*m + 8, -3*j + 3*m - 12 = 0. Solve j = 6*b - 4 - 8 for b.
2
Suppose 9*x - 3*x - 120 = 0. Solve 0 = -5*o - 0*o + x for o.
4
Let s(v) = v**3 - 20*v**2 - v + 26. Let x be s(20). Suppose -3*o = x*o. Suppose -35 = -5*a + 15. Solve -m - m + a = o for m.
5
Let n(s) = 5*s - 1. Let r be n(1). Let l(o) = 2*o - 33. Let d be l(19). Suppose 0 = -4*g - 2*p + 8, p - 2*p + 4 = d*g. Solve 4*x - 8 - r = g for x.
3
Let w be (-3)/15 + 4/20. Let r be w/(-2 - -6)*-1. Solve 2*n = -r - 2 for n.
-1
Let w = 2 - 0. Let r = -6 - w. Let c = 1 - r. Solve -2*n + c + 1 = 0 for n.
5
Suppose -94 - 14 = -12*c. Solve 0 = -7*y + c*y - 6 for y.
3
Suppose 40 = -5*t + 10*t - 2*j, 0 = 5*t - 4*j - 50. Solve -v = -t*v for v.
0
Let k(p) = 7*p + 1. Let u(l) = 6*l + 2. Let q(c) = 4*k(c) - 5*u(c). Suppose 5*z = -2*b - 30, 2*b = -z + 6*z + 30. Let n be q(z). Solve -4*d + n = -14 for d.
5
Let y(v) = v**2 - 7*v + 1. Let a be y(7). Let h be a/5 - (0 + 2/10). Solve h = -0*c - 4*c - 4 for c.
-1
Let o(a) = a**3 + a**2 - 18*a + 52. Let k be o(3). Solve k*y = 49*y for y.
0
Suppose 14 = 2*a - 2*f, a = 6*a + f - 11. Suppose a*l + 108 = -l. Let n = l - -38. Solve 0 = -5*g - n - 4 for g.
-3
Let o = 21 - 12. Suppose 2*t + 5*l = -19, l = 4*t - 3*l - 4. Let x be (-8)/(-16) - t/(-4). Solve x = -4*u + u + o for u.
3
L