= 0, -23 = 4*f - 7 for c.
2
Let u be (0 - (1 + -2)) + -6 + 6. Let n be (0 - (0 - u)) + (-1)/(-1). Solve -5*j = n - 27, 3*w + 2 = j for w.
1
Let y = -19 + 33. Suppose 54 - y = 8*n. Solve 14 = -v - 4*w - 3, 0 = n*v - 5*w - 40 for v.
3
Let l = 16 + -10. Solve -5*g = -3*q - 4, 4*g = -q + l*q + 11 for q.
-3
Let f(z) = -z**3 - 10*z**2 - 10*z - 7. Let x be f(-9). Suppose 2*h + x*h - 12 = -5*w, 5*h + 5*w = 15. Solve -2*j + 12 = -h*p, -4*j + 0*j + p = -4 for j.
0
Suppose -9*m = -2 - 16. Solve -3*v - 8 = -7*v, 4*y + m*v + 4 = 0 for y.
-2
Let p = 309 + -307. Solve 0 = -p*j + 4*t + 18, 3*j - 4*t - 21 = -t for j.
5
Suppose 0 = 5*x - 25, 0*x + 3*x - 15 = -f. Solve 13 = -r + 4*k, f*r + 4*r = -4*k + 28 for r.
3
Let h(c) = -2*c**3 + 8*c**2 + 3*c - 9. Let l be h(4). Solve 4*w + 4*p + 8 = 0, -14 + 0 = -l*w + p for w.
3
Suppose -18 - 33 = -4*c - 3*s, -3*s = 3*c - 42. Suppose 6 = 2*i - 4*n, -3*i + 0*i + c = 4*n. Solve 0*w + i*w - 4*y - 13 = 0, 0 = -2*y - 2 for w.
3
Let h be (1/8)/(35/840). Solve 14 = h*n - k, -3*n + 0*n + 5*k + 10 = 0 for n.
5
Suppose n + 2*k = 0, -3*n + 5*k - 2*k + 18 = 0. Solve 0 = -3*a + 3*y, -5*y + y + n = 0 for a.
1
Suppose -6*u + 37 = 7. Suppose -u*t - 3*n = -29, -3*n - 14 = -5*t - n. Solve -5*f + 12 = -t*w, w - f = -2*f - 3 for w.
-3
Let g be (10/8)/((-31)/(-124)). Solve -3*v = g*r - 6*r - 1, r - 11 = -3*v for r.
5
Suppose -7*m - 330 - 34 = 0. Let h = 58 + m. Suppose -2*v = -2 - 4. Solve -v*w + 5*j = -24, 0 = -3*w - 0*j - j + h for w.
3
Suppose o + 4*o = 10. Suppose 9*c + 2 = -r + 8*c, -5*r = c + 10. Let s = o + r. Solve 3*y - 12 = s, -5*j - y + 2 = 23 for j.
-5
Let h be 423/36 - (-1)/4. Suppose 0 = 2*i - h + 2. Suppose -i*q - t = t - 18, 2*q - 13 = 5*t. Solve -20 = -q*v, 4*x + 0*v + 1 = v for x.
1
Let l(d) be the first derivative of -d**3/3 - 3*d**2/2 + 2*d + 4. Let r be l(0). Solve 3*p - 28 = -4*u - p, 0 = r*u - 3*p - 4 for u.
5
Suppose 4*r = -5*l + 47, 513*l - 514*l - 13 = -2*r. Let m(a) = -a**3 - 5*a**2 + a + 5. Let b be m(-5). Solve 6 = 3*j - b*u + 2*u, 4*u - 6 = -l*j for j.
2
Let p = 130 - 130. Solve 2*k - f + 7 = p, 5*k - 3*f + 15 = -f for k.
-1
Let n = -25 - -25. Solve n = w - 2*h - 8, 0 = -2*w + 3*h + 14 for w.
4
Suppose 115 = -2*f + 37. Let w = f + 43. Solve s = w*i - 12 + 3, -3*i + 21 = 4*s for s.
3
Let i = -492 + 494. Solve i*v + 5*y = 7, -3*y - 3 = v + 2*v for v.
-4
Let g be (-5 - (-36)/(-6))*(3 - 5). Solve 0*x - 2*x + g = -4*n, -4*x + 32 = -5*n for x.
3
Let a(r) be the second derivative of -r**4/12 - r**3 + 2*r. Let s be a(-6). Let w = -7 - -12. Solve -24 = 4*t + 4*g - s*g, -2*t = -w*g + 5 for t.
-5
Let u = 1 - -1. Suppose -5*o - 4*c = 0, u*o + 3*c = c. Suppose -5*l + 20 = -0*l. Solve 4*r - 28 = -o*r - l*k, -4*k + 20 = 0 for r.
2
Suppose 3*w - 2 = -i, 0 = -2*i - 3*w - 2 + 6. Suppose 3*d = -4*g + 9, -d + 0*g = -i*g - 3. Solve 0 = -d*o - 4*t + 5, -2*t + 10 = 3*t for o.
-1
Suppose -27*n + 28*n - 1 = 0. Let v(s) = 8*s - 5. Let q be v(n). Let c(g) = 6*g - 1. Let r be c(1). Solve -r*p = -25, -q*p + 15 = d - 4*d for d.
0
Let q = -10 + 30. Suppose 5*x - q = -0*x. Suppose 3*u = 4*g - x, g = 2*u - 3*u + 8. Solve 3*t + 14 = -5*f, u*t + 8*f - 5*f + 15 = 0 for t.
-3
Suppose 0 = -3*u - 2*g + 12, 15 = 5*u + 3*g - 5. Let t = 6 - 2. Let v be 3/4 + (-35)/(-28). Solve 2*h = -3*h + u*b - 10, v = -h - t*b for h.
-2
Suppose -17 = -4*c + 7. Let a be 23 - (0 - (0 + 2)). Suppose -5*u + t + 5 = 0, u + 5*t + a = -0*t. Solve 5*g - c*g - 2*i = u, -3*g = -4*i + 20 for g.
-4
Let z = 3 - 0. Let t(o) = -2*o + 22. Let j = -20 + 20. Let g be t(j). Solve -k + 3*l + 3 + 4 = 0, 2*k + g = -z*l for k.
-5
Let b be ((-8)/(-5))/((-150)/(-375)). Solve -3*t - v + 17 = 0, 2*v - b*v + 14 = t for t.
4
Let c(k) = k. Let g(d) = d**2 + d + 8. Let a(b) = 4*c(b) + g(b). Let x be a(-3). Solve -31 + 6 = -5*r, -x*y = 3*r - 15 for y.
0
Let g = 16 + -21. Let u(n) = n**3 + 7*n**2 + 11*n + 9. Let r be u(g). Solve 5*p + 3*d + 0*d = 3, -4 = -r*d for p.
0
Let j = 112 - 108. Solve q = -4*p, 0 = 4*p + j*q - 0*q + 12 for p.
1
Let s = -26 - -14. Let j = -2 - s. Suppose 2*m = -j, 5*z - 3*m - 50 = 2*m. Solve -4*d + 9 = b, 3*b - z*d = -7 - 0 for b.
1
Let x be 334/22 + 166/(-913). Solve 4*l + 8 = 3*b, -3*l + x = -b + 4*b for b.
4
Suppose -13*r + 17*r - 16 = -4*n, r + 5*n - 8 = 0. Solve -r*u - 6 = 0, 6*u + 8 = j + 2*u for j.
0
Let d(t) = 7*t - 9. Let r be d(-4). Let k = r - -42. Solve -3 = h + k*p + 8, 2*p + 8 = -4*h for h.
-1
Suppose 35 + 97 = 4*y. Suppose 21 = -4*j + y. Solve -3*q + 21 = -j*c, -4*c + 7*c = 5*q - 31 for c.
-2
Let f = 0 - -4. Let z be (84/3 - 0) + f. Suppose -12 = 5*i - z. Solve -4*q + i*t - 28 = 0, -4*q - 16 = -3*t + 2*t for q.
-3
Let n be 3 + (-3 + 3)/(-2). Suppose 9 = r + n*c, -4*c + 1 + 22 = 5*r. Solve 5*i = -2*d - 10, 5*i + 4 + 1 = -r*d for d.
5
Suppose 4*l + 1 = 17. Let c be 24/(-20)*(-450)/12. Suppose 0 = -44*n + c*n. Solve -2*s - u = -3, n*u = -5*s - l*u for s.
4
Let c(n) = 4*n**2 + 12*n + 10. Let x be c(-2). Solve -4*q + 3 = 3*z, -x*q + z - 3*z = -2 for q.
0
Suppose 5*n + 760 = 45*n. Solve -b = -5*j - 0*b + 23, 5*b + n = j for j.
4
Let a(i) = i**2 + 20*i - 20. Let d be a(-16). Let o be 48/d - (-64)/14. Solve 13 = -5*g - o*s, 2*s - 6*s = 3*g + 3 for g.
-5
Let w be 7 + (-416)/65 - 6/10. Solve -4*g + 12 = a, -6 = -w*a - a - 2*g for a.
0
Let t = -4 + 8. Suppose -7 = t*v + 3*h, 3*v - 3*h - 25 = -2*v. Solve -2*s - v*u = -4, -s - 1 = -u - u for s.
1
Let l = 69 - 49. Let t = l - 6. Solve -4*s - t = 5*x, -4 = -6*s + 2*s + 4*x for s.
-1
Suppose -10*c + 9*c = -3*h - 13, 0 = 5*c - 3*h - 53. Solve -9 = 2*b + 5*p, c*b - p = 6*b - 7 for b.
-2
Let i be -5*(0 - 1) - 3. Solve i*h = 6*h - 20, 2*m + 21 = 3*h for m.
-3
Let p(b) = -b**3 + 4*b**2 + 7*b + 1. Let k be p(5). Suppose 0 = -16*g + k*g + 125. Solve 0 = -4*j - 4*o + 3*o + g, 5*j = 3*o + 10 for j.
5
Let t = -15 - -20. Solve -t*g = -3*v + 9 - 2, 0 = -5*g - 2*v - 12 for g.
-2
Let l = -1352 + 1354. Suppose 3*p + 2*u - 13 = 4, -18 = -2*p - 3*u. Solve l*h = -2*i + p*i + 8, -h - 3 = 3*i for h.
3
Let u be -1 + -4 + 12 - (-1 + 2). Solve 16 = 4*r + 4*b, u = 3*r - 6*r + 3*b for r.
1
Let w be -28*8/(-28)*1. Let m(l) be the third derivative of l**4/24 - 5*l**3/6 - 2*l**2. Let z be m(w). Solve -4*y = -z*a + 11, 2*y + 2*y = 4*a - 16 for y.
1
Suppose 71 - 9 = 3*t + 4*x, -2*t + 2*x + 60 = 0. Solve -12 = 2*o + 4*c, -3*o = 2*o - 4*c - t for o.
2
Let m(w) = -w**3 - 6*w**2 - w - 5. Let y be m(-6). Suppose -1 = n - q, 2*q = -3*n + y + 1. Solve n = -r - l, 5*l - 15 + 1 = 2*r for r.
-2
Suppose -76 = -6*m + 8. Suppose 16*l = m*l. Suppose -5*h = 2*u - 33, 4*u - 4*h + 0 = -4. Solve -u*d - 5*b - 2 = -l, -14 = -5*d + 2*b for d.
2
Suppose 4*a - 31 = 3*n, -6*n + n = 5*a - 30. Suppose -a*u = -5*u - 2. Suppose -h - 5 = 0, 2*h + u = -2*g - 7. Solve 1 = 2*q + f - g, -3*f = q - 6 for q.
0
Suppose -1 - 22 = -5*c - f, 2*f = -c + 1. Solve -5*k + 12 = 4*t, -c*k - 11 + 26 = 5*t for k.
0
Let n(g) = 5*g**2 + 51*g + 13. Let b be n(-10). Solve o - 1 = -2*z, b*o + 5*z + 0*z = 0 for o.
-5
Let k(c) = -c**3 - 6*c**2 + 11*c + 30. Let i be k(-7). Solve -2*v = 2*r - i, -3*r + 4*r - 7 = v for v.
-3
Let j = -72 + 75. Solve -j*l = y + 10, -3*l + 4*y + 0*y = 35 for l.
-5
Let n = 10 + -2. Let w be (-96)/n*(0 - 1). Solve 0*q = -3*s + 3*q + 18, 4*s - w = q for s.
2
Let r(i) = i**3 + 2*i**2 - i + 16. Let h be r(0). Suppose -3*b + 31 = h. Solve 5*z - 4*v - 6 = 0, -4*z - z + b = -5*v for z.
2
Let h(k) = k**3 + 4*k**2 + k + 9. Let f be h(-4). Suppose y - 15 = -4*y. Solve 3 = -x - f*t, -t = y*t + 4 for x.
2
Suppose -n = 4*r - 14, -n = -3*r - 2*r + 13. Let s be 2/(3 + 7/(-3)). Solve -p - n*d = d + 9, s*p - 3*d - 21 = 0 for p.
3
Let i be (1 - -55 - 2)/2. Suppose -w = -5*m + 41, 2*w + 3*w - i = -4*m. Solve 2*z + 2*z = 5*l + 29, -2*z - 2*l - m = 0 for z.
1
Let m = -4 - -17. Solve -m = -3*x + 4*w, -4*x + 0*w + 16 = -4*w for x.
3
Suppose 0 = -g + 3*a, 5*a - 11 - 17 = -3*g. Suppose -g = 3*i - 6*i. Suppose 0 = 8*b - 9*b + 7. Solve 0 - i = -2*t - f, f = t - b for t.
3
Let i = 13 - -39. Let f = -51 + i. Solve y = -w + 1, 2*y + 4*w - f + 5 = 0 for y.
4
Suppose 6*k = -0*k + 2*k. Solve -6*s + 19 = -s + u, 4*s + u - 16 = k for s.
3
Let u be -5*(8/(-6) + 14/(-21)). Suppose 2*m + 5*j = 25, -4*j - 3 = -5*m + u. Solve -3*s = 5*p - 6, 0 = m*s + 4*p - 0*p - 10 for s.
2
Let f be 2 - 3 - -2 - 1. Suppose 3*n + 4*r +