= 8 + 4 for n.
4
Let o = -6 + 8. Solve 0 = d - 0 - o for d.
2
Suppose 0 = k - 3*k - 12. Let t be -32 - -3 - (-4 + 2). Let z be k/t + (-25)/(-9). Solve -z = -3*p + 6 for p.
3
Let m = -4 + 7. Suppose m + 5 = 4*d. Solve 3*s - 5 = -d*s for s.
1
Let p(n) = n**3 + n**2 - 4*n - 3. Let k be p(-2). Solve -k = -d + 4 for d.
5
Suppose m + m = 3*g - 8, -12 = 2*g + 3*m. Suppose 0 = -g*u - 4*u + 12. Solve -q - u = -4 for q.
1
Let j = 24 + -20. Suppose -1 = v, v = j*y + y - 11. Solve 0 = y*f + f + 3 for f.
-1
Let p(q) = -q**2 - 3*q + 4. Suppose 0*s - 2*s + 4 = 0. Suppose 0 = w + 4*i - 1, -4*i + s + 5 = -w. Let n be p(w). Solve 1 = -c - n for c.
-5
Let j = -1 - -6. Let i be 416/65 - 2/j. Solve -i = 2*c - 5*c for c.
2
Suppose 10 + 14 = 3*i. Solve -3*t - 7 - i = 0 for t.
-5
Suppose 5*n - 1 = -11. Let k = n + 4. Solve 3*z = z + k for z.
1
Let s(c) = c**3 - 3*c**2 - 5*c + 9. Let v be s(4). Solve v*m + 6 + 4 = 0 for m.
-2
Suppose 0*n - 2*n = -248. Let x be (-2)/10 - n/(-20). Solve -x*h + h - 25 = 0 for h.
-5
Suppose -26 = -3*o - m, -3*m = -5*o - 4*m + 44. Solve 7 = -4*v - o for v.
-4
Let g = 3 + 7. Let z = -5 + g. Suppose -3*c - w - 7 = -7*c, 4*c - 3*w - z = 0. Solve 5*k = c*k - 15 for k.
-5
Let h(k) = -k**3 - 5*k**2 + 4*k - 8. Let d be h(-6). Suppose 7*o = d*o. Solve 0 = -o*r - r for r.
0
Suppose 4*i + 3*z = 21, -3*z + 14 - 2 = i. Let w be (-1)/6*22*i. Let b = w - -15. Solve 0 = -a + 5*a + b for a.
-1
Suppose 5*s + 3*j = 21, 0 = -s - 2*j + 3 + 4. Let z = 13 - 10. Let v(n) = -n**2 + 6*n - 2. Let c be v(z). Solve -2 - c = s*i for i.
-3
Let h(j) = -j**3 + 6*j**2 - 4*j - 4. Let p be h(5). Solve 0 = -0*u + u + p for u.
-1
Suppose -4*x = 12 - 36. Let l = 10 - x. Let j = -2 + l. Solve 0 = -j*m - 10 for m.
-5
Let m(d) = d**3 + 6*d**2 + 5*d + 6. Let p be -2 + (3 - 6) + 0. Let x be m(p). Solve -2*k + 20 = -x*k for k.
-5
Let h = -4 + 6. Suppose 3*y = h*y. Solve 3*f + f + 16 = y for f.
-4
Let c be (-4)/(4/(-3)) - 2. Solve -n - 2 = -c for n.
-1
Suppose -7*b + 74 = 25. Solve 0 = -4*j + 9 + b for j.
4
Let q = 7 - -1. Let m = q + -4. Solve -5*z = -z - m for z.
1
Let d = -2 - -2. Suppose -3*o + 4*g + 2 - 4 = 0, d = -4*o + 2*g + 4. Solve v = -o*v + 15 for v.
5
Suppose 2*y + 2*y + 4*a = 4, 0 = -4*y + 2*a + 28. Solve -4*h + 4 = -y*h for h.
-4
Let g be 6*5/10 + -3. Solve 0*y + 3*y - 3 = g for y.
1
Suppose -2*c = 5*q - 16, q - 5 = -3. Suppose -2*d + 2*u = -18, -4*d + 37 = -0*u - c*u. Solve j = -j + d for j.
5
Let i be 7/(63/6) + 26/6. Solve 6*l = i*l for l.
0
Suppose -3*v - 4 = -3*p - 2*v, -4*p = v - 17. Solve -2*t + p = -3*t for t.
-3
Let n = 33 + -33. Solve -h + 5 = -n for h.
5
Let r be -2 + 3/3 + 4. Solve r*b = b for b.
0
Let r = -72 + 73. Let i be 5*-2*(-2)/(-10). Let h = r - i. Solve m + 0*m = -h for m.
-3
Let l = -36 + 52. Let x = 414 - 409. Solve 1 = -x*i + l for i.
3
Let n = -6 + 6. Suppose -4 + 2 = -3*y + 5*z, y - 2*z = n. Solve -y = -c - 0 for c.
4
Suppose -7 = -w + 5*r - 1, 4*r = 2*w - 6. Let i = w + 3. Suppose 4*y + 0*y = 8. Solve v = -i + y for v.
-2
Suppose 0 = -0*n - n - u, 5*n - 21 = 2*u. Solve n*t + 8 = t for t.
-4
Suppose -4*o = 7 - 19. Solve n = o - 0 for n.
3
Suppose 3*r + 0*r = 9. Suppose 0 = 4*m - x - 31, -45 = -5*m - r*x - 2*x. Solve 0*f = 2*f + m for f.
-4
Suppose 70 = -8*f + 3*f. Let y = -4 - f. Solve -t + 3*t = -y for t.
-5
Suppose -2*k = -2*r - 34, 5*r - 2*r + 45 = 5*k. Let m = r - -35. Solve -m - 1 = -4*l for l.
4
Let l(b) = b**2 + 4*b**3 - 5*b**3 - 3*b**2 - b. Let m be l(-2). Suppose c + 5*n = -5, 3*c - 3*n + n - m = 0. Solve c*u - u + 3 = 0 for u.
3
Suppose 0 = -d + 1. Let v(w) = 2*w**3 + w**2 + w - 1. Let a be v(d). Solve -a*y + 1 = 7 for y.
-2
Suppose 4*z + 18 = 7*z. Let k = -3 + z. Suppose -k*c - c = -12. Solve -c*m = -2*m for m.
0
Let y be (-15)/6*(-24)/20. Solve 7 = 5*s - y for s.
2
Let s be 1/5 + (-11)/55. Solve -u - 2 + 7 = s for u.
5
Let q be (4 + 1 - 0) + 0. Let n = -2 + q. Solve 0 = n*z - 6*z for z.
0
Suppose 4*v + 12 = 3*h, -2*h + 2*v + 8 = 5*v. Solve 0 + h = -n for n.
-4
Let c be (85/(-51))/((-1)/3). Solve -c*u = -7*u - 2 for u.
-1
Let o be (62 + -34)/(3 + -1). Solve 1 + o = -5*p for p.
-3
Suppose -224 = -3*x - 8. Let j = 48 - x. Let i = -14 - j. Solve 6 = -4*z - i for z.
-4
Suppose 0 = -3*r + 12, b - 29 = 4*r - 8*r. Solve 0 = 5*j + 38 - b for j.
-5
Let c = -5 + 37. Suppose 4*x - 5*x = -5*s + c, 3*s = 5*x + 28. Suppose z - 3*k = -s*k - 9, 3 = -k. Solve -u + 5 = -z for u.
5
Suppose -5*d + 6 = -4. Suppose -d*i - 4*a + 45 = a, -3*a = 3*i - 63. Solve -u - i = -5*u for u.
5
Suppose 2*c - 16 = 2*r, -3*r = -4*c - 2 + 26. Let v be r/32 - (-1)/4. Solve v = 4*d - 2 - 2 for d.
1
Suppose 0*f + 4*s - 16 = -3*f, 4 = 2*f - 4*s. Solve f*b = 2 + 2 for b.
1
Suppose 0 = -l + 5*l. Let n(c) = c**2 - 7*c + 12. Let r(g) = 2*g**2 - 14*g + 23. Let y(f) = -5*n(f) + 3*r(f). Let x be y(6). Solve l = x*d + 4 - 10 for d.
2
Let s(b) = -b + 11. Let x be s(9). Suppose 121 = x*q - 39. Suppose 4*m = -m + q. Solve 5*w = w - m for w.
-4
Let p = -58 - -61. Solve -7 = 4*d - p for d.
-1
Suppose -3*l + 2 = -2*b, -3*l - 5*b = -0*b - 16. Solve 2*c = -l*c - 16 for c.
-4
Let i = -61 - -63. Solve -l = -i*l for l.
0
Suppose 2*c + 5*c = 0. Solve -5*l + 0*l = c for l.
0
Let y(b) = 4*b**2 + b. Let p be y(-1). Solve -3*f = 6 - p for f.
-1
Suppose 10 = 2*n, x + n = -n + 32. Let f = x - 43. Let y be (f/(-6) + -2)*2. Solve 2 = y*m - m for m.
1
Let r be (-2)/8 - (-72)/32. Suppose 5*o - 5*s = 5, 5*s + 12 = -2*o - 14. Let y(q) = q**3 + 2*q**2 - 4*q - 2. Let m be y(o). Solve -i + r*i + m = 0 for i.
-1
Let h(o) = 11*o**3 - 9*o**2 - 7*o - 4. Let f(p) = -5*p**3 + 4*p**2 + 3*p + 2. Let g(q) = -5*f(q) - 2*h(q). Let a be g(2). Solve 0*t + 4*t = -a for t.
-3
Let o be 6 - (2 + -2)/3. Suppose y - 5*y = n - 9, 0 = 2*n - 4*y + o. Suppose -18 - 14 = -2*q + 4*b, -b = q - n. Solve -q = -3*f - 0 for f.
2
Let y = -9 + 11. Solve 0*w + 2 = -y*w for w.
-1
Let o(c) = 2*c - 11. Let d be o(9). Suppose -4*a + 6 = -l - 1, -3*a + d = l. Solve -q - 7 + a = 0 for q.
-5
Let m(b) = 3*b - 8. Let z be m(6). Let f = -1 - -7. Let x = z - f. Solve -x*p = p - 25 for p.
5
Let i be (-6 - -4)/(0 + -1). Solve -i*a + 0*a = 6 for a.
-3
Suppose j - 5*d + 14 = -d, 0 = -5*j + 3*d - 2. Solve y + j*y = -12 for y.
-4
Suppose 4*f = 0, -3*f - 2*f = -4*r + 84. Let l be 30/4 + r/(-14). Solve -2*q + l*q = -20 for q.
-5
Let s(p) = -p**3 + 5*p**2 + 5*p + 6. Let x be s(6). Let h(n) = -4*n - 1. Suppose 5*i + 0*i = -5. Let j be h(i). Solve j*u + x = 3 for u.
1
Let z = -4 + 7. Let f be 5 - (-4 + z)*-1. Solve -2 = 2*q + f for q.
-3
Let n(q) = -2*q - 4. Let z be n(-3). Let a be 9/6 + 1/z. Solve 12 = -6*h + a*h for h.
-3
Let k be -1 - (-22 - (-3 - 0)). Let v be k/2 - (-2 - 1). Solve 3*i = -i + v for i.
3
Let d = 2 + -2. Suppose 0 + 4 = 2*n. Solve n*l = -d*l + 2 for l.
1
Let z be (1 - 2) + 0 + 1. Let m = 204 + -204. Solve m = -d - z + 1 for d.
1
Suppose 4 = -5*a - 1. Let s be a/(-1) + (-4 - -6). Solve 0 = d - s - 1 for d.
4
Let c(n) = -n**3 + 5*n**2 + 5*n - 3. Let g be c(5). Suppose -g = -2*p - 4*q, 2*q + 4 = 5*p - 3. Suppose -o + 20 = p*o. Solve 4*s + o = -7 for s.
-3
Suppose -5*u - 8 + 33 = -r, 3*u - 3*r = 27. Suppose -5*o + u*o + 3 = 0. Solve o*b = -b for b.
0
Suppose -4*z + 46 = 2*c, -5*z + 35 = -4*c + 179. Let q = -26 + c. Solve 0 = -o - q for o.
-5
Suppose -c + 0*c = 0. Suppose 0 = 4*f - c*f - 8. Suppose -4*y + 3*v - 4*v = 0, 10 = -f*y - 3*v. Solve -4 = -q - y for q.
3
Let v(s) = -2*s**3 - 2*s**2 + 2*s. Let j be v(-2). Suppose -p + 31 = -0*p + 5*f, -3*p + 2*f + 8 = 0. Solve j*r = p - 2 for r.
1
Let g be 4/(-2)*(-15)/6. Let h = g - 1. Suppose -h*p + 7 + 9 = 0. Solve p*l - 10 = 10 for l.
5
Let o = 12 + -25. Let t be o/(-1) + -3 + 1. Suppose -u + t = -0. Solve 5*m + u = 1 for m.
-2
Let q = 9 - 9. Suppose 0*s + 2*s = q. Solve s*y = -3*y for y.
0
Let j be 13 + (19 + -18 - (-4)/(-2)). Solve -3*y + j = -6*y for y.
-4
Let y be 0*(-2)/(-4) + -6. Let x be 26/6 - y/(-18). Suppose -x*z = -0*z. Solve z*w - 3*w = -15 for w.
5
Let f = -5 - -9. Solve 3*q = f*q - 2 for q.
2
Suppose -4*l + 144 - 24 = 0. Let r = 25 - 43. Let k be 12/5 - r/l. Solve 1 = -4*s - k for s.
-1
Suppose -c + g + 1 = 0, -2*c + c + 4*g + 4 = 0. Let u(s) = -s + 9. Let q be u(c). Let n = q - 4. Solve n*d = 2*d for d.
0
Suppose -2*i = -14 + 10. Let s = 10 + -6. Solve s*c = 5*c - i for c.
2
Let q = -