 10 = 0, 0 = 4*s - 4*t - 11 + 31. Let g = 0 - s. Solve -g*o + 6*o = 0 for o.
0
Suppose -24*l + 23*l = -2. Solve 2 = l*y + 6 for y.
-2
Let d be (-1)/(-2) - (-11)/(-22). Solve -4*z - 25 + 5 = d for z.
-5
Let f = 34 - 25. Solve 0 = 3*y - f + 3 for y.
2
Let c(b) = -b**3 - 12*b**2 - 12*b - 5. Let z be c(-11). Solve z = 4*k - k for k.
2
Let w(t) = t**3 - t**2 - 2*t - 1. Let i be w(-1). Let q be 0 + (3 + i - -3). Suppose 3*k - 5*u - 15 = k, -5*k - 3*u - 9 = 0. Solve q*x = -k*x + 25 for x.
5
Suppose 4 = m - 3. Let l = -5 + m. Suppose -2*c + 8 = l*c. Solve i - c + 6 = 0 for i.
-4
Suppose 6*l = 4*l + c + 16, 4*c + 10 = -l. Solve 3*x = l + 3 for x.
3
Suppose -4 = 2*c - 0. Let q be 3/c*2 - -3. Solve q = -n + 3 - 4 for n.
-1
Let y be 4 - (-5 + 4 - 3). Solve -y = 2*c - 0*c for c.
-4
Let u(t) = t**2 + 3. Let n be u(-3). Let x(g) = -g**2 + 3*g + 1. Let d be x(3). Let r be 0 + d - (4 + -3). Solve r*p + 4*p = n for p.
3
Let m = 6 - 2. Suppose m*a - 92 = 4*k, 2*a + 4*k - 2*k = 66. Solve 5*o = a - 3 for o.
5
Let q be 1/(3 - 2) + -1. Let o = -54 - -57. Solve o*x + 9 = -q for x.
-3
Let a = 4 + -3. Let w(n) = -n**3 + 7*n**2 - 6*n + 3. Let y be (1/(1/6))/1. Let q be w(y). Solve 0 = -g + q + a for g.
4
Let x(q) = -2*q**2 + 4*q + 5. Let g be x(4). Let y(l) = l**3 - 5*l**2 - 7*l - 1. Let s be y(6). Let c = s - g. Solve c*h + 1 = 3*h for h.
-1
Let u(f) = f**3 - 3*f**2 + 3*f - 4. Let x be u(3). Suppose -15*l = -12*l - 9. Solve -x*a = 13 - l for a.
-2
Suppose -b + 6 = b. Solve 4 = 4*t - b*t for t.
4
Suppose r + 6 = 3*r. Solve r*s + 1 = -5 for s.
-2
Suppose 28 = 4*z + s, 5*z = 6*z - 3*s - 7. Let g(x) = -x**2 + 6*x + 9. Let h be g(z). Solve 3*a - h + 5 = 0 for a.
-1
Suppose 4 = 3*n - 5. Let j = 6 - 5. Suppose 0 = s + j - n. Solve s*q - 6 = -q for q.
2
Suppose -4*b + 23 = -17. Suppose -b = -0*y - 5*y. Solve -y = t + 2 for t.
-4
Let r(x) be the second derivative of -x**4/12 + 4*x**3/3 - 4*x**2 - 4*x. Let d be r(6). Solve 0 = -m - 5 + d for m.
-1
Let w be (-8)/2 - -13*2. Solve 5*a - w = -7 for a.
3
Let r(m) = -2*m. Let t be r(-2). Suppose 0 = 6*k - 2*k - 3*i - 14, -5*k + 5*i + 20 = 0. Let v be (-10)/(-1 - (k + -1)). Solve t = -v*p + p for p.
-1
Suppose x = 5*u - 11, 5*u + 4*x + 0*x = 31. Solve 8 = u*b - 5*b for b.
-4
Suppose b + 16 = 5*b. Suppose -1 = g, 2*z + z = -b*g + 5. Solve z - 2 = -h for h.
-1
Let c(p) = 2*p + 8. Let y be c(-7). Let z be -1 + (-3)/(y/10). Solve m = z*m + 6 for m.
-2
Suppose 0 = -8*g + 3*g + 20. Suppose -w = g*w. Solve w = o - 3*o + 8 for o.
4
Let p(l) = 2*l + 2. Let s be p(-3). Let f be (-49)/s + (-21)/(-28). Solve -f = -3*x - 1 for x.
4
Suppose -26 = 7*q - 10*q + 5*l, 3*q = 3*l + 18. Solve 0 = -2*g - q*g + 16 for g.
4
Let o be 195/455 - 6/28*2. Solve o = -5*p - 25 for p.
-5
Suppose 6 + 9 = 3*z. Suppose 0 = z*h - h. Suppose -2*n = w + 2, 5*w + 10 = n - 0*n. Solve h = -2*a - n*a - 2 for a.
-1
Let a = -37 + 41. Suppose -5*v + 32 + 38 = 0. Solve -a*z - v = 2 for z.
-4
Let s be 0/((0 - -4) + 0). Solve s = -l - 2*l - 6 for l.
-2
Let j = 207 + -202. Solve 0 = j*o - 2*o - 3 for o.
1
Let c = -39 - -30. Suppose k = 6*k + 110. Let w be (-6)/c + k/(-3). Solve 3*h - w*h = 0 for h.
0
Suppose -5*v = 5*j - 77 + 2, -3*j + 41 = -v. Suppose j - 39 = -5*d. Solve 0 = 6*h - d*h - 1 for h.
1
Let a(u) = 2*u**2 + 4*u + 3. Let c be a(-3). Suppose 0 - 3 = -3*d. Suppose 0 = -h - d, 2*h = r - 6*r + 53. Solve -4*x - r = c for x.
-5
Let z(x) = -7. Let v(k) = 8. Let h(m) = -6*v(m) - 7*z(m). Let p(w) = w**2 + 5*w - 9. Let i(d) = 5*h(d) + p(d). Let j be i(3). Solve 3*a - j + 8 = 0 for a.
4
Let t(h) = -h + 1. Let j be t(2). Let a be 5 + j + 0 - -3. Let q = -1 + 1. Solve q = a*l - 2*l for l.
0
Let c(t) = t + 9. Let h be c(-9). Solve -y - 1 - 4 = h for y.
-5
Let m(g) be the third derivative of -g**4/24 - g**3/2 - 4*g**2. Let q be m(-8). Solve 0*a + 15 = -q*a for a.
-3
Let l = 13 + -8. Suppose -3*q - 58 = -4*p - 4*q, 0 = 4*p + l*q - 50. Let y = -7 + p. Solve 5*s - s = -y for s.
-2
Let a be 16/10 + -1 - (-51)/(-85). Solve -2 + a = -l for l.
2
Suppose 3*w - 27 = 3*m, 0*w + 3*w - 37 = 5*m. Solve 2*a = 2 + w for a.
3
Let o = -4 - -17. Let c(y) = y**3 - 12*y**2 - 12*y - 7. Let x be c(o). Solve 4*s = 2*s - x for s.
-3
Suppose m + 8 = -m + 2*j, -5*j = -20. Solve m = -s - 0*s - 2 for s.
-2
Let v = -30 + 32. Solve 5*m + v = 7 for m.
1
Let g(l) = -3*l + 2. Let y be g(-2). Suppose -3*z + 6 = -0. Suppose 2 = z*k - 4. Solve -o + y = -k*o for o.
-4
Let v be 4/22 + (-680)/110. Let k be (-3)/v*0/1. Solve k*l = 4*l + 16 for l.
-4
Let s = 5 + -5. Suppose -2*g + c - 4 = -12, 5*g = -2*c + 2. Solve -g*o + 8 = -s*o for o.
4
Suppose -5*v + v = 0. Let c be 5 - (1 - v) - 1. Solve -2*y - 10 = c*y for y.
-2
Suppose 8*q - 15 = 3*q. Let j be 1/5 + 12/15. Solve w = j - q for w.
-2
Suppose 4*f - 36 = -2*h, -2*f + 14 = -h - 0*h. Solve d = -d + f for d.
4
Suppose 0 = -n + o + 5, 3*o = 2*n - o - 12. Solve n = 2*g - 3*g for g.
-4
Let l be (48/18)/(4/18). Suppose -5*c + l = -c. Solve -4*h + c*h - 1 = 0 for h.
-1
Suppose -4*m - 12 = -60. Let s = -8 + m. Solve 0 = k + s - 2 for k.
-2
Let s = -122 + 123. Solve 0*u + s = -u for u.
-1
Let x(c) = -c**2 + 11*c - 11. Let o be x(5). Suppose 0 = 5*i + 2*a, 3*i + 2*a + 3*a + o = 0. Solve 5 = 3*j - i*j for j.
5
Suppose -3*n - 25 + 63 = 5*a, -3*a + 12 = 0. Let z be 2/(-4) + 3/n. Suppose 7 = -4*l + 3*i, -i = 7*l - 11*l + 3. Solve -c + l = -z*c for c.
2
Suppose 3*l + 4 = 2*w, 2*w = -0*w + 10. Let r = 0 + l. Suppose 4*n - 12 + 2 = b, 5*b = 4*n - r. Solve -10 = n*q - 1 for q.
-3
Suppose 4*k = -s + 18, 6*k - 9 = 3*k. Solve 2*y + s = 4*y for y.
3
Suppose x + 2*x = 5*s, -5*x = s - 28. Suppose 2*q + 16 = 5*i, 4*i - 6*i + x*q = 2. Solve 16 = -i*t - 0 for t.
-4
Suppose -2*v + 8 = -r - r, 0 = 3*v + 5*r - 20. Suppose 2 = -3*a + v*k, 2*a + 1 = 2*k + k. Solve -5*h - a - 4 = 0 for h.
-1
Suppose 33 = 2*h + s, -7 = h + 2*s - 25. Suppose -h*n + 11*n = 0. Solve n = -4*w + 1 - 5 for w.
-1
Let p be ((-49)/(-21))/((-2)/6). Let s = 0 - p. Solve 17 = 5*j + s for j.
2
Suppose 2*t = -3*h + 6, 0 = 3*t + 2*h - h - 9. Suppose 4*p - 44 = -4*d, 0 = -0*d - t*d + 9. Let w = -6 + p. Solve -5*b = -w*b for b.
0
Suppose 3*t = -2*q - 0*q + 12, 0 = 5*t + 4*q - 22. Suppose t*j - 4*j = 0. Solve j*l = 4*l - 8 for l.
2
Suppose -11*m + 7*m = -8. Solve -3 = -5*x + m for x.
1
Let k(w) = -w**3 + 4*w**2 + 4*w - 2. Let o be k(5). Let q = 9 + o. Solve -a = q*a - 15 for a.
5
Let q(g) = g**2 - 3*g + 3. Suppose 0*p - 19 = -3*p + 5*f, -3 = p + 3*f. Let x be q(p). Solve -2*d + x*d + 2 = 0 for d.
-2
Let d be -2 + (20 - (0 - -1)). Suppose -2*h + 7 + 3 = 0. Suppose -z - 8 = -3*r, z - 4*r + 2*r + h = 0. Solve -4*b + z = d for b.
-4
Suppose -26 = -5*n + 5*m - 6*m, n + 2*m = 7. Solve -2*f - 3*f - n = 0 for f.
-1
Let c = 23 - 38. Let d = c - -41. Let i(y) = -y**3 - 2*y**2 - 3*y. Let j be i(-2). Solve 4*f + j = d for f.
5
Suppose -j - 2*j + 75 = 0. Let b = j + -22. Solve -3*p - 6 + b = 0 for p.
-1
Let p = -5 + 7. Suppose p*y = -y. Solve y*v - 6 = -3*v for v.
2
Suppose 5*r - r - 9 = -3*a, 5*r = -4*a + 11. Suppose o + r - 4 = 0. Suppose 4 = w - o. Solve 0*x + x = w for x.
5
Let r(k) = -k**3 - 5*k**2 - k - 5. Let v = -26 + 21. Let a be r(v). Solve 4*c - 12 = -a*c for c.
3
Let f be -3 + (-10)/(-2 - 0). Solve 20 = f*p - 6*p for p.
-5
Suppose 0 = -5*a + 14 + 1. Let x be a/12*(15 + -3). Solve x*j - 4 = -13 for j.
-3
Suppose -4*u + 3*p = -31, 4*p = 5*u + p - 38. Solve -3*n + u*n = 4 for n.
1
Let v be (4 + 2)*64/6. Suppose -g - g = v. Let a be 2/(-6) - g/6. Solve 16 = a*p - p for p.
4
Let j(l) = -4*l - 4. Let s be j(-1). Solve s = -a - a for a.
0
Let n(w) = -w - 6. Let l be n(-10). Solve k = 3*k + l for k.
-2
Let f = -129 - -144. Solve -2*p + f = 3*p for p.
3
Suppose 7 = 2*v - 1. Let f(p) be the first derivative of -p**4/4 + 5*p**3/3 - 3*p**2/2 + 1. Let s be f(v). Solve 6 = s*y - 2 for y.
2
Suppose 3 = -4*d - 5*o - 2, 25 = 2*d - 3*o. Solve d*i + 5 - 20 = 0 for i.
3
Let d(j) = j - 8. Let b be d(9). Suppose 4 + b = r. Suppose 8*h - 3*h = 0. Solve h + r = v for v.
5
Let g be 98/35 + (-4)/5 + 1. Solve g*c = -0 + 3 for c.
1
Suppose 0 = -o - o + 40. Let f be (-4)/(32/o)*-6. Solve w = -4*w + f for w.
3
Let y = 0 + 0. Suppose 2*u - 11 - 3 = y. Solve -u = 4*o + 1 for o.
-2
Let q(u) = 2*u + 4. Let r be q(-3). Let a = r + 9. Solve 3*t - 1 = -a for t.
-2
Suppose -2*