4 = -3*g, -2*g = 2*s - 24. Solve 0*d + 2*d = -g for d.
-4
Suppose 4*z + 4*q = 56, 4*z + 0*q - 88 = 4*q. Solve 0 = -5*w + z + 2 for w.
4
Let j = -8 - -8. Let d = 0 + j. Solve 5*q = -d*q for q.
0
Let v(o) = -o. Let a(b) = b**3 - 5*b**2 - b + 2. Let u be a(5). Let w be v(u). Suppose 0 = k - 1 - w. Solve f + k = -f for f.
-2
Let o be 12/(-15) + (-4)/(-5). Solve -2*l - 5 - 5 = o for l.
-5
Let c(d) be the second derivative of d + 5*d**2 + 0 - 1/6*d**3. Let v be c(8). Solve 2*z - v = -0*z for z.
1
Let z = 20 - 20. Solve z = -2*q + 3*q for q.
0
Suppose 5*m = 2*m + 15. Suppose 17 = 3*w + 5*s, m*s = 4*w - 0 - 11. Solve -5*i + 3*i - w = 0 for i.
-2
Suppose 2*y = -9 + 27. Let v be y/3 - (-4 - -2). Solve 2*j = v*j - 6 for j.
2
Let z = 5 - 11. Let n = z + 6. Solve n = 4*u + 3 - 19 for u.
4
Let z = -20 - -30. Solve -x + z = x for x.
5
Let b be (14*(-2)/4)/1. Let f = b + 7. Solve f = -2*o + 3*o - 5 for o.
5
Let x(w) = 2*w - 10. Let n be x(8). Solve -n*f + 8*f = -6 for f.
-3
Let q = -7 + 21. Suppose 5*s = -4*o + 11 + 11, -q = -4*o - s. Solve -7*l + o*l = -12 for l.
3
Let s(g) = g**3 + 3*g**2 - 2*g - 1. Let l(r) = -r**3 + 2*r**2 + 3*r + 4. Let t be l(3). Suppose -2 = 2*f + t. Let m be s(f). Solve -m*v + 13 = -2 for v.
3
Let h(p) = -p + 8. Let d be h(4). Suppose 11 - d = j - u, 5*j = -u + 47. Solve -5*m - 16 = j for m.
-5
Suppose 3*l + 5*d = 30, 18 = 4*l + 3*d - 11. Suppose -l*n + x = -n - 6, -x + 10 = 4*n. Solve -t = 2 + n for t.
-4
Let u = 2 + 2. Suppose 0 = m - 2*z - u - 6, -2*z - 10 = m. Let j be (2 - 1 - m)*1. Solve s - j + 0 = 0 for s.
1
Suppose -237 = 4*k - 3*g + 2*g, 2*g = -3*k - 186. Let b be (-10)/3*k/25. Suppose 2*q + 6 = 5*q. Solve -q*a + b = 2*a for a.
2
Let s(b) = 8*b - 5. Let l be s(1). Suppose -3*v + 3*z + 0*z = 3, -2*v - 2*z + 18 = 0. Suppose -j - 4*j - 14 = -4*w, -22 = -v*w + j. Solve n = l*n - w for n.
3
Let x(g) = -10*g + 1. Let p be x(1). Let j be -4*(-2 + p/(-6)). Solve -j*a - 8 = -6*a for a.
2
Suppose 0 = -j + 17 - 12. Solve 3*k = j*k for k.
0
Let s = 29 - 27. Solve s*m - 2 = 8 for m.
5
Let s be 18/4 - (-2)/(-4). Suppose -8 - 13 = 3*v. Let y be 2/(3 + v)*-4. Solve s*b = -y - 6 for b.
-2
Let q = 4 - 3. Solve s - q = -3 for s.
-2
Let i be 21/(-3)*6/(-21). Solve -4 = q - i*q for q.
4
Let d(r) = -r**2 + 13*r - 32. Let f be d(9). Solve -3*i = -f*i + 3 for i.
3
Let j(b) = 2*b + 5. Let m be j(0). Solve 0 = g + m for g.
-5
Let m = 20 - 14. Suppose 16 = 4*v + 4, o + v = m. Solve -h + 2*h = -o for h.
-3
Suppose -1 + 0 = -v. Solve 19 = -5*t - v for t.
-4
Suppose 5*c - 4*c - 7 = -v, -20 = -4*v. Suppose 0*s = 2*s + c, 3*s = z - 5. Solve z*p = p + 3 for p.
3
Suppose -4*a = d - 3, -3*a - 16 + 7 = 0. Solve 0 = 3*m + 2*m - d for m.
3
Let t = -78 + 78. Solve t*s - 5*s + 5 = 0 for s.
1
Suppose -20 = -7*z + 2*z. Suppose 5*p - z = 11. Suppose -p*w - 3 = 4*d, d - 3 = -2*w - 0*d. Solve w*b - b = -4 for b.
-2
Let d be (-93)/12 + 2/(-8). Let l be 6/d*(-35 + -5). Solve l = 5*a + 5 for a.
5
Let k(a) = -a**3 - 15*a**2 - 17*a - 35. Let x be k(-14). Solve -2*t = -x*t - 10 for t.
-2
Let i(f) = -5*f - 1. Let p be i(-2). Suppose 0 = 3*k + t + t, p = -3*t. Suppose 13 = 3*o + 2*w, -k*o + 4 + 8 = 2*w. Solve -s - o = 4 for s.
-5
Suppose b + 0*b = 15. Let d = b - 11. Solve 0 = -d*c + 2*c for c.
0
Let m be (-36)/(-4)*(-2)/(-9). Solve -m = 5*k + 13 for k.
-3
Suppose 3*j - 3 = 3. Suppose 4*u = 5*p - 18, 2*u + 2*p + 4 = -j*u. Let b(v) = 2*v**2 + 2*v - 1. Let k be b(u). Solve -2 = -s - k for s.
-1
Let x(z) = -z - 1. Suppose -25 = 5*s - a + 3*a, -28 = s + 5*a. Let v be x(s). Let i = -5 + 5. Solve -v*l + 7 + 3 = i for l.
5
Suppose -4*q = -3*q. Suppose q = -w - 4*w + 50. Solve -z + w = z for z.
5
Let b = 27 - 11. Suppose -2*v + 9 = v. Solve v*u = -u + b for u.
4
Let n = 4 - -1. Suppose 0 = -n*t + t. Solve t = -4*g - 7 - 9 for g.
-4
Let f be (2/(-6))/(4/(-48)). Suppose 5*v + 5 = -r, -4*r + 3*r - f*v - 4 = 0. Let m(z) = z + 2. Let y be m(r). Solve -y*c = -3*c - 1 for c.
-1
Suppose -4*m = 5*b - 35, 2*m + 1 = 4*b - 1. Solve -1 + 11 = -m*a for a.
-2
Let s(a) = a**2 - 3*a + 4. Let p = -8 - -12. Let m be s(p). Solve 0 = -n - n - m for n.
-4
Let q be (-22 + 3)/(-2 - -1). Suppose q + 101 = 3*l. Suppose -l - 20 = -4*u. Solve -3*j + 0*j + u = 0 for j.
5
Let f(l) = 11*l**2 - 23*l + 12. Let o(a) = -7*a**2 + 15*a - 8. Let g(m) = 5*f(m) + 8*o(m). Let d be g(4). Solve d*j - 5*j - 10 = 0 for j.
-2
Suppose -4 = l - 1. Let y be (l/2)/((-1)/2). Solve 0 = -y*t - 0*t for t.
0
Let d = 18 - 13. Solve -5*l - 10 - d = 0 for l.
-3
Let f(i) be the second derivative of 0 - 3*i - i**2 + 5/6*i**3 + 1/12*i**4. Let z be f(-6). Solve z*s = -0*s for s.
0
Let r = -33 + 33. Solve -u + 2 = -r*u for u.
2
Suppose 6 = -3*p + 18. Solve 0 = -p*w + w - 9 for w.
-3
Let f = 39 + -36. Solve s + 0 = f for s.
3
Suppose 0*a + 6 = 6*a. Solve b - a = 1 for b.
2
Suppose l + 4 = 5*l, l - 1 = -2*x. Solve 3*b + 6 = -x*b for b.
-2
Let q be (-39)/(-65) - (-7)/5. Solve -s - q*s + 12 = 0 for s.
4
Let l = 42 - 38. Let q = 35 - 23. Suppose 2*s + 19 = 5*k, -s = -l*k + k + q. Solve k*d = 5 - 25 for d.
-4
Suppose -3*v + 2 + 1 = -2*k, -15 = -3*v - 2*k. Let t = 11 - 8. Suppose -t*a + 0 + 6 = 0. Solve -a*o = v*o for o.
0
Let l(t) = -t - 1. Let c be l(-1). Suppose -3*i + 16 - 4 = c. Suppose h - 1 = i. Solve h*d - 11 = 4 for d.
3
Let h(l) = -l**3 - 4*l**2 + 4*l - 2. Let k be h(-5). Suppose -6 = -3*w + d - k, 6 = -2*d. Let i = 0 + w. Solve 4 = 2*p - i for p.
2
Suppose -2*g + 3 = -0*q + 3*q, 4*g + 21 = 3*q. Suppose 2*j = 6 + 10. Suppose 0 = 2*p + 2*i - 20, j*i - 4*i - 8 = 0. Solve u - p = -q for u.
5
Suppose 0 = -4*g + 12 + 4. Solve -g*y + y = -9 for y.
3
Let a = -5 - -11. Suppose 0 = 4*x - 6*x + 28. Solve -x = 4*r + a for r.
-5
Let i(b) = b**2 + 5*b - 7. Let x be i(-6). Let s(l) = 2 - 7 + 5*l**2 - 2 + 8. Let q be s(x). Solve 3*k - 6 = q*k for k.
-2
Let a be -4*(10/4 + -3). Suppose 4*m + 4*p - 16 = 8*p, 5*m = -2*p - 1. Let h be 6/(-3) - (m + -3). Solve -a*g - g = h for g.
0
Suppose -16*i + 22*i = 42. Solve -2*a + i*a - 15 = 0 for a.
3
Suppose 35 = -5*k - 0. Let q(v) = -v**2 - 9*v - 9. Let r be q(k). Solve -6 - 19 = r*j for j.
-5
Let f = 3 - 1. Suppose 2*a - 2 = 2. Let n be (a/6)/(2/30). Solve -n*x + f*x = 6 for x.
-2
Let n(z) = z + 9. Let m be n(-7). Solve 0 = -l - m*l for l.
0
Let n(v) = -2*v**2 - 3*v - 5. Let m(r) = r**2 + 2*r + 4. Let z(u) = -3*m(u) - 2*n(u). Let p be z(2). Solve -p*s + 12 = s for s.
4
Suppose m + 3*m + 5*p = 23, -4*m + p = -5. Suppose -3*f + 2*f = -4. Suppose -23 = -f*j - m*d + 9, 5*d = 0. Solve -6*q = -2*q - j for q.
2
Let j = 42 + -42. Solve -c + 3 - 6 = j for c.
-3
Let s be 4/(-30) - (-224)/105. Solve 0 = -3*u + s*u + 1 for u.
1
Let y(d) = d - 5. Let p(c) = -c**3 - c**2 + c + 1. Let l be p(-1). Let j be y(l). Let b = 0 - j. Solve 0 = b*a - 10*a - 25 for a.
-5
Suppose -5*h + 10 = 0, 2*d = 5*h - 0*h. Suppose -4*r + 5*i + 16 = -r, 2 = -4*r - d*i. Solve -r + 14 = 3*z for z.
4
Let w = 33 - 29. Solve 0 = 5*f - w*f - 5 for f.
5
Suppose 0 = 4*p + 8, n + p = 20 + 36. Suppose -2 - 1 = -3*q, 2*q - 4 = -r. Let i be r/(-9) + n/18. Solve f = 4*f + i for f.
-1
Suppose 0 = 2*a + 3*g - 9, -2*a + 5*g = 2*a + 15. Suppose d + a*j + 8 = 2*j, -2*d - 2*j + 14 = 0. Suppose -2*i = -i - d. Solve 1 + 3 = i*q for q.
2
Suppose 2*a - 5*a - 27 = -3*z, -4*z + 5*a + 40 = 0. Solve -z*w = -w for w.
0
Let o be 5*(2 - 24/10). Let r = 3 + o. Suppose -z + 13 + 8 = 0. Solve 4*w - r + z = 0 for w.
-5
Let w be 0*(2/(-2) + 0). Suppose -4*k + 0*k + 8 = 0. Suppose -2*x = -5*x + k*q + 20, 5*x + 3*q - 8 = 0. Solve w*v = 4*v - x for v.
1
Let h = 19 - 15. Solve -3*b - 11 = h for b.
-5
Let g(r) = 3*r - 1. Let z be g(2). Let x(f) = 2*f - 12. Let k be x(7). Solve 0 = -k*q + z*q + 3 for q.
-1
Let h(n) = 2*n**2 + 3*n + 3. Let q be h(-3). Suppose -2*y - q = -6*y. Let c be (-2)/(-4)*(1 + -1). Solve -y*f = -c*f + 3 for f.
-1
Suppose n + 0*n = 0. Solve -3*q + 12 + 3 = n for q.
5
Let h be 5/15 - 38/(-3). Suppose -4*b - h = -65. Let s = 19 - b. Solve -d = s - 2 for d.
-4
Let k = 11 - 12. Let a be k/((-2)/2) + 2. Solve d + a*d = 16 for d.
4
Suppose m = 5*y + 5*m - 30, 2*y - 2*m = -6. Suppose -y*s + 7*s + t - 9 = 0, 0 = -s - 3*t - 1. Solve -s*q - 13 = -3 for q.
-5
Suppose 1 = -3*f - 4*h, 4*f + 3*h = -1 + 9. Suppose 1 + f = 3*q. Suppose 0 = -q*a + 4*a - 4. Solve a*c + 8 = -2*c for c.
-2
S