- x for m.
3
Let d(u) = -u + 24. Let v be d(11). Suppose 5*h - 48 = -v. Let n = -2 - -4. Solve 3 + h = -n*r for r.
-5
Let t(n) = n**2 - 8*n - 7. Let g be t(9). Let x be (g/(-1))/((-6)/(-27)). Let p = x - -12. Solve 0 = -4*q + p*q for q.
0
Let u = 73 + -6. Let o = u - 66. Solve 13 = -3*y + o for y.
-4
Let j = 30 + -8. Let b = -22 + j. Solve b = 3*f - 1 + 7 for f.
-2
Suppose -47 = -8*c + 4*c + q, -3*c - 2*q = -38. Solve -5*m = -17 + c for m.
1
Suppose 5*f - 26 = 3*z, -3*f + 6 = -0*f + 3*z. Let p = 5 + 2. Let c(d) = -73*d + 877. Let i be c(12). Solve f*b + p = -i for b.
-2
Suppose -6*j = -5*j. Suppose 1 = -5*i + n - 3, 2*i - 2*n = j. Let r(l) = l**3 + l**2. Let u be r(i). Solve u = -2*o + 4*o - 4 for o.
2
Suppose 8*u - 42 = -10. Solve 0 = -3*h - u*h - 21 for h.
-3
Suppose -2*g = 2*g. Let l(o) = 15*o**3 + 45*o**2 + 4. Let z be l(-3). Solve -s - z = -g*s for s.
-4
Suppose 3*z - 2*z = t - 2, -3*t + 5*z = 0. Suppose -4*y - 4*o = -0*o, 0 = -y - 3*o - 6. Let q = y + t. Solve -h - q = 3*h for h.
-2
Suppose -h - 17 = 4*u + 12, 0 = 3*h + 3*u + 78. Suppose 5*w - 90 - 75 = 0. Let m = h + w. Solve 3*z - m*z + 20 = 0 for z.
4
Suppose 2*h - p = 7, h + 4*p = 4*h - 18. Suppose -5*l + t + h*t + 5 = 0, 0 = -3*l - 5*t + 37. Solve 3*z = z + l for z.
2
Let g(i) = -3*i - 26. Let k be g(-10). Let p = 34 - 19. Suppose -s - p = -k*s. Solve 0*z = z + s for z.
-5
Suppose -113*g + 114*g - 17 = 0. Solve 5*t + g = -8 for t.
-5
Suppose -19 = -5*r + 3*l + 4, -5 = -r + l. Solve -n = -2*n - r for n.
-4
Let m(o) = 13*o**2 + 4*o + 1. Let d be m(-1). Solve d*p = 3*p + 14 for p.
2
Let h be 114/(-4)*11/132*-8. Solve 36 = h*n - n for n.
2
Suppose 3*n = -3*n + 510. Let w = 85 - n. Solve w*y = -y + 3 for y.
3
Let x be 10/(-35) - 204/(-28). Suppose 0 = 4*i - x*i. Solve i = -v - 3 + 1 for v.
-2
Let h = -6 - -14. Suppose -2*o + 22 = -h. Suppose -4*l = -9*l + o. Solve 4*v - v - l = 0 for v.
1
Let x be 210/45 - 2/6*-1. Suppose 0 = -2*g - t + 4, -x = -g + 3*t - 2*t. Solve -2*u = -g*u for u.
0
Let c = 10 + -5. Suppose 4*p = 3*q + p - 18, p = c*q - 14. Suppose q = -a + 7. Solve -1 = 2*w - a for w.
2
Suppose -3*s + 2*i + 8 = 0, -2 = s + i - 3. Let r = 20 + -12. Let x be 24/15 + 26/65. Solve 0 = x*v - s + r for v.
-3
Let m = 16 + -11. Suppose -5*g + 3*u - 4*u - 72 = 0, -m*g = -3*u + 64. Let z = -11 - g. Solve 3*q + 0 = z for q.
1
Let x(s) = s**3 + 5*s**2 - 15*s - 4. Let t be x(-7). Suppose -5*c = -c + t*b - 19, 3*c = 2*b + 27. Solve 13 + c = -5*p for p.
-4
Suppose -n + 19 = -10. Suppose 21*t - 13 = n. Solve w + t - 1 = 0 for w.
-1
Suppose -5*o + 7*o = 12. Suppose -2*n + o*n - 36 = 0. Suppose n*p - 4 = 8*p. Solve 0 + p = -r for r.
-4
Let f(n) = -2*n - 2. Let b be f(-5). Solve b*r + 8 = 4*r for r.
-2
Suppose -4 = 3*o + 4*v, 4*o - 6*v + 2*v = 4. Solve o = 5*l + 11 - 1 for l.
-2
Let i = -9 + 12. Suppose 2*v = -0*m - 3*m + 16, 3*v = -i. Let b(y) = 3*y - 13. Let n be b(m). Solve -4 = n*j + 1 for j.
-1
Let k be -1 - (-48)/(-3 + 7). Suppose -4*j + k*j - 84 = 0. Solve 0 = 5*h - 8 - j for h.
4
Let p(u) = 2*u**2 + u + 2. Let c(l) = -2*l + 12. Let z be c(6). Let n be p(z). Solve n - 4 = 2*d for d.
-1
Suppose 3 = 4*k - k. Let x(g) = 5*g**3 + 25*g**2 + g + 7. Let d be x(-5). Solve -k - d = -l for l.
3
Let t = -19 + 44. Suppose -11 = -4*c + 17. Let q = c + -1. Solve k - q*k + t = 0 for k.
5
Let a = -1 + 4. Let o = -598 - -598. Solve o = a*m + m for m.
0
Let n = 22 - 5. Let s = n + -14. Solve 7*p - 20 = s*p for p.
5
Let g = 14 - 15. Let j = g - -3. Solve 0*k = j*k - 8 for k.
4
Let d(l) = -l**3 - 10*l**2 - 18*l - 8. Suppose -4*f - w - 28 = 0, f + w = -6 + 2. Let b be d(f). Solve 8*p = 4*p - b for p.
-2
Let z = -13 + 16. Suppose -z = -14*c + 13*c. Suppose -8*s + 3*s + 30 = c*y, -5*s + 10 = -y. Solve -s = -a - 1 for a.
2
Suppose -2*b = 3*b + 85. Let v be b/(-2) - (-2)/4. Let n(o) = o - 8. Let j be n(v). Solve i - j = 1 for i.
2
Suppose -a = -2*j + 1, a + 2*j - 10 = -a. Solve a*m + 12 = 15 for m.
1
Let p be (2 + -3 - 6)*1. Let r = 6 - p. Let u = 18 - r. Solve 3*l + u = -10 for l.
-5
Let v be 4*(5 - 45/10). Suppose -9*z = -11*z - v*s - 6, 2*s + 6 = 0. Solve z = o + o - 6 for o.
3
Suppose 1 = -3*f + 22. Suppose 0 = -f*j + 3*j + 20. Solve 2*g = g - j for g.
-5
Let t(q) = -q + 7. Let v be t(5). Let a(f) = 12*f - 4. Let y be a(v). Let z = y - 20. Solve -2*l - l = z for l.
0
Let o = 2232 + -2229. Let k(i) = i**3 - 4*i**2 + 3. Let z be k(4). Suppose 3*h + 2*m - 3 = -0*m, z*h + 5*m - 3 = 0. Solve w + o - h = 0 for w.
-2
Let b be (-1)/1*(-25)/5. Suppose b*j - 23 = -3. Suppose j + 8 = 2*m. Solve -c = -m*c + 20 for c.
4
Let p be ((-6)/(-9))/1*(40 + -4). Solve 12*g - 6*g + p = 0 for g.
-4
Let g be 2/(-3) + 128/12. Solve -g*d + 12*d = -6 for d.
-3
Let k(b) = 16*b**2 - 15*b - 11. Suppose 31 = 5*j - 24. Let o(l) = 3*l**2 - 3*l - 2. Let d(u) = j*o(u) - 2*k(u). Let q be d(4). Solve 0*r - 20 = -q*r for r.
5
Suppose -28*y = -25*y - 12. Let k = 14 + -10. Suppose 0 + y = k*w. Solve -4 + w = -a for a.
3
Suppose 4*h - 5*h - 21 = -2*m, 4*h + 36 = 2*m. Solve 22*s - m*s + 70 = 0 for s.
-5
Let b(m) = -m**3 + 8*m**2 + 22*m - 18. Let d be b(10). Suppose d*x - 18 = -x. Solve x*t = t + 20 for t.
4
Let l = -17 - -25. Let b be l/2 - 1 - -3. Suppose -w - 3 = 4*x + 4*w, -4*x = 4*w. Solve x*i = b*i for i.
0
Suppose -6*h + 2*h + 3 = r, 2*h = 5*r - 15. Solve -r = -a - 2*a for a.
1
Let x = 18 + -16. Suppose 4*t + 16 = -x*c, c - 5*t = -c - 7. Let q(k) = -3*k - 8. Let g be q(c). Solve -4*r - g = -2*r for r.
-5
Let s be -2*(-3 + (-2)/(-2)). Suppose 2*l + 0*b - 2 = -b, -s*b = l + 13. Solve -l*k + 5 = -8*k for k.
-1
Let z(b) = -b**3 - 4*b**2 - 4*b - 6. Let t be z(-4). Suppose -22*s = s - 138. Solve -s*c + c = -t for c.
2
Let d be 2/(-6) + 4/60*5. Solve 2*p + 8 = -d*p for p.
-4
Let a = -5 + 5. Let z = -2 - -4. Suppose -4*k - 7 = -p, 5*p - 6*p - z*k + 1 = 0. Solve -p*d + 3 = -a for d.
1
Suppose -p + 21 = -5*k, 3*p = 5*k - p + 24. Let s be 2 + 0 + (-1 - k). Suppose -8*q + 16 + 8 = 0. Solve q*y - s = 2*y for y.
5
Suppose 0 = -3*s + 4*s - 3. Let q(x) = x**2 + 7*x - 18. Let v be q(-9). Suppose -c = 5*c - v*c. Solve -3*z = -c*z - s for z.
1
Let t(u) = 104*u**2 + u. Let m be t(1). Let n = m - 103. Solve n*k + 4 = 6*k for k.
1
Let p = 62 - 64. Let w be 111/39 - p/13. Solve -w*y - 16 = y for y.
-4
Suppose 10*d = -2*x + 5*d + 30, 0 = -2*x + 2*d + 16. Suppose 21*f = 26*f - x. Solve 4*w - 6 = -f for w.
1
Suppose 7 = -5*g + 22, -3*g = b - 32. Solve 18*c - b*c = 5 for c.
-1
Let g(x) be the first derivative of x**3/3 + 9*x**2/2 + 9*x - 3. Let c be g(-8). Let b = 19 - 8. Solve -c = -5*m - b for m.
-2
Let h = 1023 - 1016. Solve -h*q - 38 = -26*q for q.
2
Let z(x) be the first derivative of x**4/4 - 2*x**3 - 9*x**2/2 + 14*x - 3. Let y be z(7). Solve -6*g + g + 15 = y for g.
3
Suppose 7*o = 5*o + 8. Let m be (-18)/(-72) + 11/o. Suppose 0 = m*t + 6 - 18. Solve g = t*g + 15 for g.
-5
Let h(k) = -k**3 + 2*k**2. Let n be 2/(0*4/(-16) - -1). Let o be h(n). Let a(d) = 2*d**2 + 1. Let l be a(-1). Solve o = l*c - 5*c + 4 for c.
2
Suppose 0 = 4*f - 66 - 10. Suppose 2*n + 2*n - f = -5*i, -10 = -3*i - n. Let v be 3 - (1 + 2)/i. Solve -5*m - 12 = -v*m for m.
-4
Let w = 564 - 550. Solve -5*m + 12*m = w for m.
2
Suppose -31 = 4*p + 5*f, 0 = 2*p - 2*f + 4 - 2. Let y be (-59)/p + (-15)/20. Let n be (-56)/16*(-24)/y. Solve -2 = -4*q - n for q.
-1
Let p be ((-2)/2)/(1/(-3)). Suppose -p*r + 0 = 4*b + 1, -2*b = 4*r + 8. Solve b*u - u - 5 = 0 for u.
5
Let d = 33 + -30. Suppose -4*f - 4*a + 19 = 7, -d = -f - 4*a. Solve 0 = f*i - 3 - 9 for i.
4
Suppose -2*n + 20 = -3*m, n - 3*m = -0*n + 16. Solve -7*q + n*q + 6 = 0 for q.
2
Let k = -38 - -36. Let t be (-24)/(-21)*(-7)/k. Solve -5 = -3*z + t*z for z.
-5
Let r(d) = -d**2 + 16*d - 19. Let z be 1/2 + 105/(-10). Let u = z - -23. Let g be r(u). Solve 4*k + g = -k for k.
-4
Suppose -9*n + 3*n + 804 = 0. Suppose 136*i = n*i + 8. Solve 4*r + i = 2*r for r.
-2
Let u = -1653 - -1657. Let m(k) = k - 5. Let c be m(5). Solve c*a = u*a for a.
0
Let t(o) = -o + 9. Let d be t(11). Let u be d*4/16*-2. Solve -2*c + u + 1 = 0 for c.
1
Let h(q) = 96*q + 384. Let s be h(-4). Solve -8*u - 13 + 5 = s for u.
-1
Let c = -3 + 10. Let l = -3 + 5. Suppose -4*n - 12 = 0, -12*n - 24 = -5*p - 9*n. Solve -p = -l*g + c for g.
5
Let q = -313 + 473. Let c be ((-8)/10)/((-64)/q). Sol