 = -3*c + o + a for c.
3
Suppose 12*v = 20*v - 16. Solve -5*k = -3*h + 4*h + 13, v = 5*k - 4*h for k.
-2
Let c be 20*2/(-6)*15/(-10). Suppose 5 = 5*s - c. Solve -6 = -3*i - 5*p, -p = s*i - 0*i + 6 for i.
-3
Let z(u) = -u**3 - 4*u**2 - 5*u + 7. Suppose 0 = 2*t + 5*b + 5, 3*t - b = 2*t - 6. Let p be z(t). Let o = p - 30. Solve -5*y - 9 = -i, 5*i - o + 5 = 2*y for y.
-1
Let w be (0 - 30/(-18))/((-10)/(-12)). Solve -w*b - 3*p = 22, -3*b - 5 + 6 = -4*p for b.
-5
Let g(k) = -k**3 - k**2 - k + 4. Let n be g(0). Suppose 3*r - 6 = -18, n*r = -i. Let p = -6 + i. Solve 4*d - 2*h - 3 + 7 = 0, 5*h = p for d.
0
Let v(y) = y**3 - 14*y**2 - 12*y - 21. Let n be v(15). Suppose 0 = n*r - 31*r + 28. Solve 0*c + 5*a - 7 = 3*c, r*c - a + 15 = 0 for c.
-4
Suppose 14 = 118*a - 78 - 144. Let i(g) = 11*g + 1. Let f be i(2). Solve 0 = 2*k + 2*k + a*t + 12, 3*k = 2*t - f for k.
-5
Suppose 0*t + 11*t = 0. Solve 4*o - l + 1 + 17 = t, -3*l - 31 = 5*o for o.
-5
Suppose 0 = c + 4*c - 15. Solve -3*w - 1 - c = -l, 3*w - 2 = 4*l for w.
-2
Let z(k) = k**3 - 20*k**2 - 37*k - 140. Let t be z(22). Solve -3*g + 19 + 3 = -5*f, f = -4*g + t for f.
-2
Suppose 15 = 4*r + 3*f, -4*f + 2*f + 11 = 3*r. Solve 4*k - 3 = -5*n - 12, r*k - 1 = 4*n for k.
-1
Suppose 2*b - 64 = -4*u, -2*u + b - 12 + 52 = 0. Solve -5 = 5*x, 5*g - 2*x - x - u = 0 for g.
3
Suppose 23 = 3*n - n + 5*f, -5*n + 3*f = -11. Suppose 0*d = 3*d - 21. Let t be (110/50)/(3/15) + -7. Solve n*r = -t*v, d - 1 = 2*v - r for v.
2
Let m(n) = -n**3 + 10*n**2 + 11*n + 2. Let y be m(11). Suppose s = -3*l + 31, -4*l = -y*l - 3*s - 28. Solve -2*j = 3*k + l, 5*j + 13 = -k - 8 for k.
-1
Suppose 130*v = 139*v - 45. Solve 3*q = -v*a + 8, 2*q = a + 3*q - 2 for a.
1
Let g be 4/18 + 2 + (-40)/18. Solve -5*j = t - 5 - g, -4*j = -t - 4 for t.
0
Suppose 0 = t + 70 + 50. Let o = t - -124. Solve 5*h + 23 = 2*j - 0*j, 0 = -o*h - 3*j - 23 for h.
-5
Suppose 2*q + 4 = 2*s, -5*s + 28 = -2*q + 3*q. Solve -2*g + 6 = -2*j, 0 = 3*j + q*g + 2*g + 9 for j.
-3
Suppose -d - 75 = -6*d. Solve 2 + 15 = -4*f + 5*u, 5*f + u - d = 0 for f.
2
Let s = -28 - -33. Suppose -4*r + s*y = -21 + 1, 2*r = -5*y + 10. Solve 0 = 5*j - r*w - 37 + 7, -3*j - 4*w - 3 = 0 for j.
3
Suppose 8 - 23 = -5*j + 5*m, 4*m = -5*j + 51. Solve 16 + 10 = 5*a - 2*g, a = g + j for a.
4
Let i = -2221 + 2226. Solve -m + 11 + 1 = -4*l, i*l + m + 15 = 0 for l.
-3
Let s = 58 + -54. Let p be -3*(-1)/3 - 10. Let b = p + 37. Solve -2*q + 4*l = -q - 12, 3*q + s*l = -b for q.
-4
Let p(f) = -6*f - 2*f + 3*f - f**2 + 2. Let u be p(-5). Let q = u + 1. Solve -3*s + 9 = 4*z - 2, -q*z + 3*s = -3 for z.
2
Suppose -i + 2 + 2 = 0. Let l(k) = k**3 - 2*k**2 - 7*k - 2. Let p be l(i). Solve t - p*s = 14, 2*s + 7 + 3 = 0 for t.
4
Let m be 42/(-6) - (-6 - (1 - -3)). Solve 4*o = 4*c + 2*o + 10, -6 = m*c - 3*o for c.
-3
Suppose 0 = -317*r + 295*r + 110. Solve 2*g = -5*n - 23, 0*g = -r*g - 3*n - 10 for g.
1
Let x(j) = j - 6. Let z be x(8). Suppose v + 16 = 3*y, v + z = 2*y - 8. Let f be y - 7 - (1 + -2). Solve 2*q + f*q = 2*t, -3*t + q - 4 = 0 for t.
-2
Let o = -325 - -349. Solve 4*c = -5*r + 20, -9 = 3*c - o for r.
0
Suppose -6*o = -37 + 7. Solve -o*u - 3 = -i - 2, -2*i - 7 = -u for u.
-1
Suppose 5*n - 342 = -4*j - 127, -5*n = 5*j - 220. Let o = n + -28. Solve -3*h + 4 = -4*q + o, -3*h = -q - 5 for h.
3
Suppose 2*m + 54 = 4*x, -2*m - 156 = -166. Solve 0 = 4*z - 9*z - 4*k + 36, x = 2*z + 2*k for z.
4
Suppose 4*g + 5*h = 25, 0 = -2*g - 2*h + 12. Suppose -g*n - 4 = -7*n. Solve -4*t = n*k - 20, 0*k - k + 5 = t for k.
0
Let q = -169 - -201. Solve -25 = -2*a - 5*i, -4*a - 4*i + q = 12 for a.
0
Suppose 5*v - 68 = 67. Let q be -8 - -7 - v/(-3)*1. Solve -w - 9 = a + a, -a - q = -3*w for a.
-5
Suppose -468 = -6*y + 30. Let g = y + -59. Solve -3*u + o - 4 = 10, 5*u - o = -g for u.
-5
Let k(i) = i**3 + 4*i**2 + i + 28. Let f be k(0). Solve -6*z + 2*z - f = 3*u, 3*z = -2*u - 20 for z.
-4
Suppose -2*u = 5*t - 7, 2*t - 16 = -2*u - 12. Solve -3*w = x - 16 + 2, 2*w = x + t for x.
5
Suppose 16*d = 5*l + 14*d - 42, -12 = -l + 4*d. Solve a = 5*j - 2 + 18, -j = -5*a + l for j.
-3
Let t = -37 + 41. Suppose -5*i + 3 = -t*x, 2*x + 4*i - 14 = 4. Solve 3*r = -5*c + 25, r + 4*r + 15 = x*c for r.
0
Let g be (2/3)/((-6)/(-63)). Let i = 9 - g. Suppose -2*q + 6 = -a + 3*a, 4*q + i*a - 14 = 0. Solve 2*v - 4 = 2*u, q*v + 32 = -u - 3*u for v.
-3
Let t be (2/(-5))/(9/(900/(-8))). Solve -3*u = -3*a - t - 10, u = 2 for a.
-3
Suppose -95 = -5*v - 5*j, v - 2*j - 3 = j. Suppose -19*t + 51 + 44 = 0. Solve -16 = -4*m, -t*m + v + 10 = 5*w for w.
1
Suppose 0 = -w + 3*w - 8. Solve w*f + 3*z - 3 = f, z - 4 = 0 for f.
-3
Suppose 16*m - 20*m + 16 = 0. Suppose 0 = 5*d + 3*y + 3, -d = d - 2*y - 2. Solve -m*r + 8*r + 3*p + 12 = 0, d = 3*p for r.
-3
Let i = 67 + -64. Solve 24 = 3*b - 5*a, -i*b - a = -3*a - 15 for b.
3
Suppose b - 1 = 4*y + 4, -2*b - 2*y = 0. Solve 0 = v - 1, 3*k = -v + 9 + b for k.
3
Let b be 4/4*5*1. Suppose b*j + 75 = 375. Let f be (-1 + 2)/(6/j). Solve -y - r - 5 = 0, 0 = -3*r + 1 - f for y.
-2
Let z be -2 - ((-3 - 2) + -22). Solve 5*d + z = 5*b, 13 = -5*d - 7 for b.
1
Suppose 2*t - 1 = 3. Let o be -3 + 0*(-2)/(-6). Let g = o + 3. Solve 11 = d - t*v - 2*v, 4*d + 5*v + 19 = g for d.
-1
Let k(q) = 2*q**2 - 7*q + 6. Let s be k(4). Let n = 5 - s. Let t be (-1 - n)/(-3 + 4). Solve -t*p - 13 = 5*x + 6, -3*p + 3 = -2*x for p.
-1
Let a be (95 - 2)*1/3. Let u = a + -6. Let d = 30 - u. Solve 2*c - d*c + 5*f = -12, 0 = -5*f for c.
4
Suppose 4*h = s + 15, 0*s + 20 = s + 3*h. Suppose v = 7 - s. Suppose 3*y = -4*k + y + 58, -4*y = 4. Solve 5*a = 4*a - v*g + k, 3*g = -2*a + 25 for a.
5
Let u(g) = g**3 + 9*g**2 + 6*g - 4. Let j be u(-8). Suppose 0 = 8*c - 6*c - j. Solve 15 = 5*v + 3*m, 2*v + 2*m = m + c for v.
3
Suppose -105 = -6*o - 147. Let k(u) = -7 - 1 - u + 1. Let g be k(o). Solve g = f - z + 4, -f + 3*z - 3 = 7 for f.
-1
Suppose -2*k + 20 = 3*k. Suppose -2*f = -k*q - f - 12, q = f. Let d be 10*2/q*-1. Solve 4*g = -4*a + 12, -d*g - a + 4 = -15 for g.
4
Let u be -19 + 1 - (-2 + -1). Let r = -10 - u. Solve -2*i = -r*n - 13, 2*n = 2*i - 6 + 2 for i.
-1
Let x(p) = -2*p - 9. Let i(y) = 3*y + 1. Let t be i(2). Let k be x(t). Let n = 25 + k. Solve -5*s + 6*s + 20 = -5*z, 8 = -n*z + 2*s for z.
-4
Suppose -2*l + 2*r = 3*l + 6, 0 = 2*l - 2*r + 6. Let p be 1/(-2) + (-26)/(-4). Solve -4*t = 4*z + 24, l = 4*t + p + 2 for z.
-4
Let w = 38 - 32. Suppose v - w = 4. Solve 4*f + v = 3*z - 0, -f + 3 = 2*z for f.
-1
Suppose -y - 2 = 3*b, -2*b - 13 - 15 = -2*y. Solve -y*r = -5*r + 5*x - 10, 5*x = -r + 22 for r.
-3
Let w be 16/(-10)*60/(-24). Solve 0 = -0*g + w*g - 3*f - 13, -16 = -3*g - 4*f for g.
4
Let d(t) = -16*t - 1. Let j = 0 + -2. Let u be d(j). Let m(w) = -2*w**3 - 9*w**2 - 4*w. Let o be m(-4). Solve o = -i - 5*q, 9 = -5*i - 3*q + u for i.
5
Suppose 4*o = 5*k - 5 - 5, 3*k = -2*o + 6. Solve k = -3*h - 3*f + 8*f, 4 = 4*f for h.
1
Let o(j) = j**3 + 4*j**2 - 3*j + 11. Suppose 5*n = -15, -4*n - 37 = a + 4*a. Let q be o(a). Solve -3*y - 4 = v + q, v + 2*y = -2 for v.
4
Let l be (-8)/(-1)*5/4. Let h be (-16)/(3 + -7) - 0. Suppose l - h = 2*w. Solve -3*j - w*s - 6 = -0, 3*j - s - 2 = 0 for j.
0
Suppose 27*r = 32*r - 10. Solve -3*g - r*i + 8 = -3*i, 3*g - 5*i - 28 = 0 for g.
1
Suppose -4*a + 2*m + 12 = 0, -6 = -3*a - a + 5*m. Suppose 9 = 2*x - a*d - 11, 4*x + 5*d = 27. Solve x = 2*g, -2*q + q + 5*g - 17 = 0 for q.
3
Let p = 142 - 139. Solve -2*f - 2 = 0, p*h - 2 = 2*f - 9 for h.
-3
Suppose 0 = -185*r + 186*r - 2. Solve -3*k - r*j - 8 = 2, 0 = -3*k - j - 5 for k.
0
Suppose 5*h + 4*m + m = 25, 5*h - 7 = m. Solve 2*o + 4 = h*f, -5*o - 15 = 3*f - 37 for f.
4
Suppose -5*u - 10 = -10. Suppose 3*f - 22 + 10 = u. Solve 0*k - f = -2*m + k, 5*m = k + 16 for m.
4
Let v(z) = 2*z - 12. Let k be v(7). Let f be 100/30*3/k. Suppose 5*i = -f*p + 10, 0 = 3*p + 2*i - 6 + 1. Solve 2*d = 4*w + 3 - p, -d = -w for d.
-1
Suppose 5 = -2*b + 29. Suppose -3*h + 6 = 2*h + 2*c, -b = -4*h - 4*c. Solve 5*a - 9 = 16, h = -3*k + a - 11 for k.
-2
Suppose 617*k - 626*k = 0. Solve k = -3*a + x - 11, -a - 2*x + 1 = -7*x for a.
-4
Let p = 41 + -29. Suppose 2*c = 3*n - p, 2*n - c + 0*c = 8. Solve 0 = -g - 0*g + 4*m + 24, -n*g + 1 = 3*m for g.
4
Suppose 0 = 2*a - x - 26, 5*a + 0*x = -4*x + 52. Let k = -1 - -5. Suppose -w + 5*t 