d - 4 = 0 for d.
-1
Suppose y = -0*q - 2*q - 1, y - 4*q - 17 = 0. Suppose 0*w = -y*w + 5. Let g be (0*(-1)/(-2))/2. Solve g = -a + w + 3 for a.
4
Suppose 3*p - 4*s + 0*s = -113, 23 = -p + 5*s. Let c = p + 79. Let d be 8/c - (-32)/18. Solve -d*z = z for z.
0
Suppose 4*s = -s. Suppose 5*o = -4*w + 5, -w - o + 1 = -s*o. Let q = 37 + -22. Solve w = -0*c - 3*c + q for c.
5
Suppose -3*k + 61 = -2. Suppose -k = -x + 45. Suppose x = 5*r + 26. Solve -r - 7 = 5*b for b.
-3
Let m(x) = x**2 + x - 2. Let s be m(-3). Solve -y = s - 0 for y.
-4
Suppose -u - 4*u + 5 = 0. Solve -u = -2*g - 11 for g.
-5
Let m(s) = -2*s + 8. Let v(o) = -4*o + 16. Let j(a) = 7*m(a) - 4*v(a). Let y be j(6). Let u be 1/(-5) + y/20. Solve k - 4 + u = 0 for k.
4
Let i be (-1)/(((-6)/(-4))/(-3)). Suppose -i*s + 2*w + 3 = -27, -3*s - 3*w = -51. Let m be s/7 + 14/(-49). Solve 4*d + m = -2 for d.
-1
Let c(q) = q - 3. Let j be c(3). Let l = -12 - -11. Let h be (l - 1) + (-8)/(-4). Solve -4*w + h*w - 20 = j for w.
-5
Let w = 26 - 15. Solve 4 + w = -3*l for l.
-5
Let a = 8 - -1. Suppose a*b = 14*b. Solve o - 2*o + 4 = b for o.
4
Let l(b) = b**2 - 10*b. Let x be l(10). Solve -5*u + 6 + 9 = x for u.
3
Suppose 0 = -5*l - 3*y + 14, 5 = 2*y - 1. Let r = 2 - 1. Let v be (-1)/((-1)/r)*l. Solve 0 = -5*c + v - 11 for c.
-2
Let p(s) = -s**2 - 6*s - 2. Let d be p(-5). Suppose 0 = 2*i + n + 31 - 110, -5*i - n = -199. Let v = -30 + i. Solve -d*h - v = 2 for h.
-4
Let q = -67 - -71. Solve -7*w - q = -3*w for w.
-1
Suppose 0 = 4*v - 16, -14 + 4 = 5*u - 5*v. Suppose 2*z - 64 = -u*z. Suppose -5*a = -z - 9. Solve -2*p + a*p + 15 = 0 for p.
-5
Let p be 0*5*2/20. Solve 0 = 5*v - p*v for v.
0
Let c(b) = 3*b**3 + 1. Let y be c(1). Suppose i - 2*f = y*i - 4, 3*i - 16 = f. Solve 0 = i*j - 8 - 12 for j.
5
Let w(v) = -v**2 - v + 4. Let p be w(0). Suppose -25*l + 20*l = -15. Suppose l - 6 = -3*k. Solve -5*h = -p*h + k for h.
-1
Let s(k) = -4*k. Let i be s(-1). Suppose i = -0*w - 2*w. Let p = 2 + w. Solve p = 2*j + 1 + 9 for j.
-5
Let l(j) = 7*j + 2. Let b be l(2). Solve -5*o - b - 9 = 0 for o.
-5
Suppose -2*o + 2*j + 9 = o, -o - 3*j + 3 = 0. Let f(p) = p - 4. Let c be f(0). Let s(d) = -d**2 - 5*d - 2. Let q be s(c). Solve o*k = q*k - 4 for k.
-4
Suppose 39*v = 34*v + 30. Solve v*f - 20 = 10*f for f.
-5
Let l = 16 + -30. Let j be (l - 4)*(-2)/6. Solve -20 = s - j*s for s.
4
Suppose -5*w = -0*w - 30. Suppose k = -s + 2, 10 = w*k - 3*k - s. Solve k*h - 4 = 4*h for h.
-4
Suppose -1 = t + 7. Let b be (-150)/(-22) + t/(-44). Let o(k) = -k + 7. Let y be o(b). Solve 4*z + 4 = -y for z.
-1
Let v be (-6)/(3/1 - 5). Suppose -2*y = -n - 3*y, y = 2*n - v. Solve n - 21 = -5*k for k.
4
Suppose -2*t = -4*s - 16, 0 = 3*s + 8 + 1. Solve -t = -3*q - 8 for q.
-2
Let n(z) = -z**2 + 14*z + 18. Let u be n(15). Solve 0 = 4*m - u - 5 for m.
2
Suppose -1 = -t, -t + 6 + 15 = 2*p. Suppose o = -o + p. Suppose w + 2 - 8 = 0. Solve -w*r + r - o = 0 for r.
-1
Suppose 4*y = -2*t + 2 + 10, t - 14 = -4*y. Let f be -6*t/3 - 3. Solve -f + 16 = -5*r for r.
-3
Let n(p) = -p**2 + 7*p + 11. Let r = -7 + 15. Let m be n(r). Suppose m*l + 20 = -k + 8*l, l = -k + 4. Solve 4*y + k*y = -4 for y.
-1
Let o(n) = -2*n**2 + 4*n - 2. Let r(c) = -c + 4. Let l be r(2). Let a be o(l). Let v = 14 + a. Solve 4*x - v = -0*x for x.
3
Let n be (-18)/(-4) + 5/(-10). Let a = -3 + 3. Solve a*y + 8 = -n*y for y.
-2
Let r(v) = v**2 - 6*v - 7. Let f be r(7). Let x = f - -10. Let t = x - 8. Solve t*g + 15 = -g for g.
-5
Suppose -20 = -2*d + 2*f - 8, 0 = 3*d - 5*f - 22. Suppose -2*c - 5*m + 24 = 0, -5*c - d*m = 10 - 36. Solve c*v = 2 + 4 for v.
3
Suppose 0 = 5*g - 1 - 39. Suppose 5*r = g*r - 6. Suppose o - r*o = 0. Solve o*d - d = -1 for d.
1
Let n = 25 + -25. Suppose 2*i + 17 = 3*i + 4*k, 2*i + 4*k - 22 = n. Solve i*o - 3 - 12 = 0 for o.
3
Let z be (-2)/(-3)*(-3)/(-2). Suppose 0 = v - 2*v - z. Let h = v + 6. Solve 12 = 8*l - h*l for l.
4
Suppose 0 = 6*k - k. Let j be 45/30*(5 + 1). Solve k*z = 3*z - j for z.
3
Let w be (0 + 1 + -1)/1. Let p be (1 + -3)*(1 + w). Let q(s) = -4*s - 3. Let x be q(p). Solve x = -3*c + 2*c for c.
-5
Suppose -5*c + 8 = -3*c. Let d be c/((-4)/(-3)) + 2. Suppose 10*a - d*a = 0. Solve a*y = 3*y for y.
0
Let f = -5 - -6. Let t be 5 + f*-2 + 0. Solve 0 = 6*s - t*s - 9 for s.
3
Suppose 4*f + v = -5, f - 5 = -f + v. Suppose f*r + 8 = 2*r. Suppose 8 = 4*j - 2*j. Solve 3*i = j*i + r for i.
-4
Suppose 5*b - 7 = 8. Let d be (6/4)/(15/40). Solve -d*l = -5*l + b for l.
3
Suppose 3*o = 4*o. Suppose o*m = m. Let n = 3 - 1. Solve n*s + 0 + 6 = m for s.
-3
Let u(j) = j**3 - 4*j**2 + 2*j + 3. Let f be u(3). Solve 3*c - c = f for c.
0
Let t be (-12)/(-4) - (1 + -2). Let a be (-95)/35 - 4/14. Let p = a - -5. Solve -t*i + p = 18 for i.
-4
Suppose 0*x - 5*x + 20 = 0. Suppose z - x*z = -15. Solve 11 = -z*s - 9 for s.
-4
Suppose 4*x = 9 + 7. Suppose -5*w + x*i + 101 = -107, -2*w - 4*i + 72 = 0. Suppose -4*l = -5*s + w, -l = -5*s + 2*l + 35. Solve -3 = -s*u + 9 for u.
3
Let w = 140 + -136. Solve w*z = 10 - 30 for z.
-5
Let j = -101 + 104. Solve 0*k + k = -j for k.
-3
Suppose 3*p + 16 = 7*p. Let o(z) = 5*z**3 - z**2 + z - 1. Let j be o(1). Let l be (-1)/j - (-17)/4. Solve 24 = -l*v + p for v.
-5
Suppose 3*i + 5 = 14. Let v = 2 - -1. Suppose x = 1 + v. Solve -i*q - x = q for q.
-1
Suppose k + 2 = -p - 1, 0 = 3*p - 3*k - 21. Solve -8 + p = -3*u for u.
2
Let k = 9 + -4. Let r = 9 + -4. Solve -k = r*u - 0 for u.
-1
Let f = -8 + 8. Solve -2*z + 3*z - 5 = f for z.
5
Let f = -4 + -1. Let v = -4 - f. Solve 0 = -5*m + 6 - v for m.
1
Let q = 5 + -5. Suppose q = 3*p - 6*p - 3*b + 30, -10 = -2*b. Solve p*x - 19 = 1 for x.
4
Let o(n) be the first derivative of n**4/4 - 8*n**3/3 + 4*n + 1. Let k be o(8). Suppose b - 2 - k = 0. Solve 4 = -5*m - b for m.
-2
Let o be -8*((-33)/(-12) + -2). Let z(w) = 7*w - 1 + w**2 + 1 + 9. Let c be z(o). Solve 0*u + c*u = 0 for u.
0
Let z(n) = 3*n**2 + 2*n - 1. Let x(r) = -r**3 - 5*r**2 + r + 6. Let u be x(-5). Let i be z(u). Solve 0*f + 12 = -i*f for f.
-3
Let k = -8 + 2. Let x = 1 - k. Suppose 3*j - 7*j = -q - x, -4*q + 2*j = -14. Solve -5*z - q = -0*z for z.
-1
Let f = 83 + -44. Let s be 6/f - (-48)/26. Solve 5*g - 9 = s*g for g.
3
Let u(f) = f**3. Let j = 4 + -7. Let s(p) = -p**2 - 3*p + 1. Let g be s(j). Let v be u(g). Solve 4*q + 9 = v for q.
-2
Let v(q) = -3*q + 41. Let j be v(12). Solve -w = -j*w + 20 for w.
5
Suppose f + 2 = u, 3*u - 15 - 1 = 5*f. Let p = 12 + f. Let s = 61 + -53. Solve -5*g = -p*g - s for g.
-4
Let t = -38 - -44. Let c(h) = -2*h + 2. Let o be c(-2). Suppose -3*w - 2*x = -13, -4*w + 4*x = x - o. Solve 0*y + t = w*y for y.
2
Let x(w) = -w**3 - 8*w**2 + 3. Let a be x(-8). Solve 0 = -a*d - 2*d + 15 for d.
3
Let k = 46 - 26. Solve 3*q + q = -k for q.
-5
Let q be (0 - (-1 + 1))/2. Solve q = a + 2 - 6 for a.
4
Let u(o) = o**3 - 8*o**2 + 7*o + 5. Let y = 19 + -12. Let d be u(y). Solve 0*l = l + d for l.
-5
Let f(u) = u**2 + u. Let x be f(0). Let v be 20 + 2/(-4)*x. Let s = 9 + -5. Solve y = -s*y + v for y.
4
Let g(s) = 2*s - 1. Let n be g(3). Let d = n - 5. Suppose 0 = -2*r + 6, 6 = -b - d*b + 2*r. Solve -3*t - t - 8 = b for t.
-2
Suppose 0 = m - 4*m - 18. Let v = 6 + m. Solve -15 = 3*t - v*t for t.
-5
Suppose 0*m + 9*m = 0. Solve m = 2*n - n + 1 for n.
-1
Let n be (-6 + 3)*-1 + (-18)/6. Solve -z + n*z = 0 for z.
0
Let m = 9 + -5. Solve 3 = v + m for v.
-1
Let x be (-2)/10 - (-16)/5. Suppose -1 = -x*j + 2*j. Suppose 4*s - b = -1, -5*b + 2*b + 17 = 2*s. Solve 2*u + j = -s for u.
-1
Suppose -n = 4*b - 2*b, 3*b + 5*n + 7 = 0. Let m be b/(-2) - (-2)/(-4). Let p = m - -8. Solve 4*i - p - 1 = 0 for i.
2
Let c(s) = s**2 - 12*s + 9. Let h(n) = 3*n - 4. Let u be h(5). Let r be c(u). Let o = r + 7. Solve 0*k + 25 = o*k for k.
5
Let x = 0 - 0. Suppose 0 = -8*i - i + 18. Suppose -q + 8 = 2*q + 2*t, -5*q - 5*t + 15 = 0. Solve -q*y + i = -x*y for y.
1
Suppose -10 = z - 3*b, -3*b + 15 = 2*b. Let q be (0*z/3)/(-2). Solve 3*d - 1 - 5 = q for d.
2
Suppose 0 = -0*d - d + 3*x - 3, -x = 2*d - 15. Suppose -17 = -2*q + 27. Suppose -q = -5*n + b, 10*n + 4*b = 5*n + 12. Solve -n*u - 14 = d for u.
-5
Let g = 24 + -21. Solve g*s - 5*s = 0 for s.
0
Suppose -2*g = -3*d + g - 12, 3*d - g = -4. Let l = 0 - d. Solve 3*m = -l - 3 for m.
-1
Suppose -4*k - 8 = -20. Solve -4 =