 for d.
-2
Suppose 17 = 4*a - 39. Let h = 14 - a. Solve b = -h*b for b.
0
Suppose 0 = -s + 4 + 4. Suppose x - 4 = -0*x. Suppose s*v = x*v. Solve -2*y + y - 2 = v for y.
-2
Let f = 4 - -2. Solve 0 = f*h - 3*h - 3 for h.
1
Let n(z) = -5*z**2 + 1. Let a be n(-1). Let w be a/(-12)*(0 + 12). Suppose -w = -y + 6. Solve y = -10*d + 5*d for d.
-2
Let y(k) = -k. Let t be y(-2). Suppose -t*w - g + 12 = 3*g, w + 4*g = 6. Let n be 4/3*w/4. Solve n + 18 = -5*c for c.
-4
Suppose 0 = -3*f - 2 - 4. Let s = 3 + f. Solve b - s = 4 for b.
5
Let h(x) = x - 7. Let g be h(4). Let f be (-8)/(-2) + g + 1. Solve f*p - 5 = -1 for p.
2
Let v be (-2)/(-7) + 48/28. Suppose 3 = -3*o + 4*o + 5*c, -5*o = c - 39. Suppose 7*w = 2*w. Solve v*n + w*n = -o for n.
-4
Let u = 82 - 77. Solve u - 10 = 5*f for f.
-1
Let t(v) = 7*v - 1. Let g be t(-1). Let n = g + 11. Solve 0 = 2*z - n*z + 5 for z.
5
Let f = -10 - -14. Let r = 4 + -4. Solve k + f*k - 25 = r for k.
5
Let a(j) = 2*j - 6. Suppose u + 3*u - 28 = 0. Let m = u + -3. Let d be a(m). Solve -f = d*f - 12 for f.
4
Let a(g) = 6*g**2 - 2. Suppose 4 = -4*l - 4. Let k be a(l). Suppose 5*c + 2*z - k = 1, 0 = z - 4. Solve -j - c = -2 for j.
-1
Let x = -9 - -9. Suppose x*w + 11 = 3*w - f, -5*w = -f - 15. Solve -w*d + 2 = 4 for d.
-1
Suppose -3*a = a - 8. Let k be (-5 + 4)*0 - 0. Solve -m - a*m - 6 = k for m.
-2
Let h be (60/(-45))/((-4)/6). Solve h*m = -1 - 3 for m.
-2
Let w be (-1 - 3/(-3)) + 5. Let a be w - (5 + (-3 - -1)). Solve 0 = 3*f + a*f + 15 for f.
-3
Suppose -5*u + 5 + 2 = -m, 4*u - 11 = -m. Suppose u*f = 4 + 2. Solve -f*p - 2*p + 15 = 0 for p.
3
Let x be (9/6)/(-3)*0. Let k be -2 - 5/2*-2. Solve x = -a + k*a for a.
0
Let a be 20/16 - (-9)/12. Let u(q) = q - 3. Let h = 9 + -6. Let c be u(h). Solve a*m + 4 = -c*m for m.
-2
Suppose -2 = 5*a - 7. Suppose -5*g + 4*b = -8*g - a, -4*b - 5 = -g. Solve -3*l - g = -13 for l.
4
Suppose -2*d + 34 = 9*x - 5*x, 0 = -5*x + 5*d + 35. Suppose w - 10 = -5*n, -5*n + 8 = 4*w - 2. Solve w = -t - t - x for t.
-4
Let c be (-38)/(-6) - 4/(-6). Let h = c + -3. Let n be h/6 + 10/3. Solve n*s = 2*s - 2 for s.
-1
Suppose -2*j - 6 = -2*n - 3*n, 0 = -2*n + 4*j - 4. Solve n = -0*g - 2*g for g.
-1
Let v(n) = -n**2 - n. Let s(o) = 8*o**2 + 8*o - 3. Let t(k) = s(k) + 5*v(k). Let f be t(2). Solve y = -2*y - f for y.
-5
Let d(o) = 2*o - 6. Let m be d(4). Let g be 12/(-16) - 11/(-4). Suppose -3*k - g*f + 0 = -m, 4*k - 4 = -2*f. Solve -t + k*t = 0 for t.
0
Let z(i) = -i - 7. Suppose -6*b = -5*b + 11. Let l be z(b). Solve -l*q + 2*q = 8 for q.
-4
Let n(f) = -6*f + 2. Let s be n(-1). Solve 3*q = s*q + 20 for q.
-4
Let t be ((-3)/12)/((-3)/60). Solve t = 3*u - 7 for u.
4
Let i = -12 - -15. Solve i*c - 5*c = 0 for c.
0
Let g be (-11)/(-4) + 5/20. Suppose -g*q = -5*b + 7, 4*q + 0 = 5*b - 1. Solve 1 - q = 5*x for x.
-1
Suppose -4*j = -6*j + 20. Suppose t = j + 12. Let d = -4 + 6. Solve d = 5*l + t for l.
-4
Let s be 2/3 - (-1)/3. Solve s = -3*k + 16 for k.
5
Let p = -7 - -2. Let k = -2 - p. Solve -k*u = u for u.
0
Let w be (48/(-84))/((-1)/7). Suppose -5*a - 6 = -3*s, -4*a + s = w*s - 6. Solve 0 = n - a*n - 5 for n.
5
Suppose -4*h = -5*g + 36, -6*h = 3*g - 2*h - 28. Let j(z) = -z**3 + 7*z**2 + 8*z. Let q be j(g). Solve -v - 2*v = q for v.
0
Suppose 6 + 15 = -3*f. Suppose 2*n - n = 12. Let o = f + n. Solve o = 4*w + w for w.
1
Suppose -5*y - 1 = -11. Let d = y - 2. Suppose 3*z + 2 = -b + 4, 0 = z + 5*b + 18. Solve d*m - z*m = -2 for m.
1
Suppose 0 = 2*o - 5*o + 12. Solve v = o*v + 6 for v.
-2
Let k = 11 + -11. Solve -4*u + 2 - 10 = k for u.
-2
Suppose 3*y - 8 = 1. Let n be (-3 - -1) + (y - -2). Let f be (2/(-5))/((-6)/15). Solve n*o + f + 8 = 0 for o.
-3
Suppose -2*w = -0 - 10. Suppose -w*m + 24 = -m. Suppose g = m*g - 20. Solve -3 + g = c for c.
1
Suppose -2 = -2*q + 2. Let w = 2 + 1. Let y be (1 - 2)*(-4 + w). Solve -y + 3 = -q*k for k.
-1
Let g(k) = -9*k + 1. Let c(l) = 4*l - 1. Let p(j) = -7*c(j) - 3*g(j). Let u be p(0). Solve t - u = -0*t for t.
4
Let d = -4 + 4. Solve 2*t + 1 + 1 = d for t.
-1
Let t(q) = -2*q + 3. Let c(n) = n - 1. Let a(d) = -7*c(d) - 4*t(d). Let s be a(5). Solve 2*m - m = s for m.
0
Suppose -n + 6*n - 9 = 3*c, -5*c = -3*n - 1. Solve n*w + 3 = -0*w for w.
-1
Suppose 5*k = -0*k + 150. Suppose -c = -6*c - k. Let w = -2 - c. Solve -m + w = 2 for m.
2
Let y = 57 + -53. Solve y*p = 3 + 1 for p.
1
Suppose -5*p + 5 = -5*x, -5*x + 8 = -7. Solve -r - p = 1 for r.
-5
Let q(y) = 3*y + 1. Suppose -2*o - 5 = -1. Let w = -1 - o. Let c be q(w). Solve -p + 1 + c = 0 for p.
5
Suppose -3*h + 2 = -7. Let g(r) = r**3 - 3*r**2 + 3. Let l be g(h). Suppose -l*y + 18 = -0*y. Solve -y = -4*k + k for k.
2
Let k = -8 - -11. Let n be 1*((-2 - 0) + 5). Let x be 2/n + 14/6. Solve 3*l + x + k = 0 for l.
-2
Let y = -22 - -47. Suppose -15 - y = -2*b. Suppose -4*h + h = 0. Solve h = -7*u + 2*u - b for u.
-4
Suppose 3*s - 4*d + 3*d + 4 = 0, -5*d + 20 = -5*s. Let u(b) = -b**3 + 4*b**2 + 5*b + 6. Let o = 17 - 12. Let n be u(o). Solve -m + 3*m - n = s for m.
3
Suppose 3*y + z - 7 = -2*y, -3*y - 9 = 5*z. Solve -i = -y*i for i.
0
Suppose 6 + 0 = -3*q - 4*h, 0 = -q - 5*h - 13. Solve -5*a - 15 = -q*a for a.
-5
Suppose -5*i = n + 14, i - 16 = 5*n - i. Let r = -1 - n. Solve r*j = 5 + 10 for j.
5
Let t be ((-4)/(-4))/((-3)/(-12)). Solve 0 = -t*f - f - 5 for f.
-1
Let o = -33 - -33. Solve 3*z - 7*z - 12 = o for z.
-3
Suppose 4*g + 0*g = 12. Suppose -2*d = -x + 38, -d + 4*d = g*x - 51. Let k = -15 - d. Solve -l + k = 3 for l.
3
Let u be 1 + -1 - (3 + -3). Let x = 2 - u. Suppose 2*s - l - 3 = 10, 2*s - 18 = x*l. Solve w = -s*w for w.
0
Let i = 12 + -6. Suppose 0 = -11*n + i*n + 20. Solve 0 = -n*c - 3 - 5 for c.
-2
Let p(v) = -v - 16. Let h be p(-16). Solve 2*b + h*b = 4 for b.
2
Let q be 6 + 20/5 + 0. Solve f + q = -f for f.
-5
Let v(i) = 2*i. Let f be v(-1). Let q = f + 0. Let d be q*(6/(-3) + 0). Solve -t + d = 2 for t.
2
Suppose u + 3*u = 4. Let d = u + 3. Suppose -4*z + d*i - 5 = 9*i, 3*z - i - 1 = 0. Solve -4*g = -z*g for g.
0
Let b = -20 - -20. Suppose -4*h + f = -0*f + 2, b = 5*h - f + 2. Suppose 0 = -c - 2*c. Solve p + h*p = c for p.
0
Let s = -18 + 21. Solve -s = -6*p + 3*p for p.
1
Let z = -63 - -63. Solve r + z*r = -3 for r.
-3
Suppose 0 = -2*t + 4, 3*t - 86 = -5*q. Solve q = 2*h + 2*h for h.
4
Suppose -8*n + 14 = -n. Solve -x - x = -n for x.
1
Let v(t) = -t**2 - 9*t - 6. Let z be 2/11 - 395/55. Let w be v(z). Let h be ((-4)/6)/(8/(-36)). Solve -5*q = -h*q - w for q.
4
Suppose -6*d = -5*d. Solve b + b = d for b.
0
Let n(v) = -v**2 - v + 7. Let t be n(0). Solve 0 = -3*j + t - 4 for j.
1
Let z(p) = 2*p - 4. Let q be z(4). Let u(o) = -o**3 + 2*o**2 + 10*o - 5. Let h be u(q). Solve h*i + 12 = -i for i.
-3
Let m = 1 - -3. Let g = -2 + 2. Solve g = 6*o - 2*o + m for o.
-1
Suppose -2 - 4 = d. Let f = -6 - d. Let j be (2 + 1)/(f - -1). Solve -2 = -j*i + i for i.
1
Let k = 3 - -1. Solve -k + 0 = 4*f for f.
-1
Suppose 5*s - 65 = -40. Solve -10 = -10*h + s*h for h.
2
Suppose -3*c - c = -16, -5*z = c + 26. Let j = 12 + z. Solve -3*a - j = 9 for a.
-5
Let m(l) = 2*l + 15. Let c be m(-6). Solve r + c = -0 for r.
-3
Let l = 0 + 1. Let b be ((4 - 2) + -5)/l. Let j = 1 - b. Solve -3 = p - j*p for p.
1
Let n be (-2 - -4)*(7 - 5). Solve 0 = -b + n*b for b.
0
Let k(d) = -d**2 - 3*d + 6. Let u be k(-5). Let g be ((-4)/8)/((-2)/u). Let l = 2 - g. Solve l*n = -0*n - 6 for n.
-2
Suppose 0 = 4*o + 16, -3*u - 18 = -6*u + 3*o. Solve 4 + u = 2*b for b.
3
Suppose 3*r - 325 = 5*y - 137, -4*r - 16 = 0. Let p = -28 - y. Solve -4*d = -0 + p for d.
-3
Suppose 0 = 5*d + 3*k - 60, -7*d + 3*d + 2*k + 26 = 0. Solve 2*a = 5*a + d for a.
-3
Suppose 0 = -2*f + 9 + 3. Solve 0 = 2*q - 0*q - f for q.
3
Let r(t) = 3 + 9 - t + 2 + 7. Let j be r(12). Solve -j = 4*q - 21 for q.
3
Let x(l) = -7*l**2 + 5*l + 3. Let i(b) = 8*b**2 - 6*b - 3. Let h(t) = -6*i(t) - 7*x(t). Let k be h(0). Let v be (-2)/k*9/3. Solve v*w - 3*w + 1 = 0 for w.
1
Let w(r) = -r**2 + 12*r - 8. Let o be w(10). Solve -i + 5*i - o = 0 for i.
3
Suppose 0 = x + 3, -195 = -5*w + x + 73. Suppose 47 = -5*b - w. Let l be (-8)/b - 4/10. Solve l = -j - 2*j - 6 for j.
-2
Let s be (0/(-2))/(0 - -1). Suppose 25 = 5*u, s = f + u - 0 + 1. Let h be ((-2)/f)/((-1)/(-6)). Solve 16 = -h*a - 2*a for a.
-4
Let u(r) = r**3 + 7*r