 Solve z = -3 + o for z.
-2
Let y = -24 + 17. Let r(q) = -2*q - 9. Let v be r(y). Solve 0*s - v*s = 0 for s.
0
Let t(x) = 5*x**2 - 49*x + 48. Let c(q) = -q**2 + 12*q - 12. Let o(k) = -9*c(k) - 2*t(k). Let w be o(-11). Solve -3*b - w + 13 = 0 for b.
4
Suppose 3*t + 8 = 3*n - 7, 4*n = 3*t + 17. Suppose -3*l + 2 = -n*l. Solve 0 - l = -f for f.
2
Let r be 3 + 1 + 5/5. Solve 0 = -0*b + r*b + 20 for b.
-4
Suppose 0 = -u + 4, -16 = -4*w + 2*w - 4*u. Solve 2*h + 6 = -w*h for h.
-3
Let z(h) = 3*h - 27. Let w be z(14). Solve -j + 6*j = -w for j.
-3
Let v be 12/20 - (-2)/5. Let b be 3 - 1/v - -2. Solve b*y - 2 - 2 = 0 for y.
1
Let n(p) = 6*p**3 - 13*p**2 - 14*p - 4. Let b(c) = -c**3 + c**2 + c + 1. Let y(g) = 5*b(g) + n(g). Let v be y(9). Solve 0 = -x + v - 2 for x.
-1
Let z(k) = -2*k**2. Let j be z(1). Let a be 2/3 + j/3. Solve a = 3*n - 5*n + 10 for n.
5
Suppose -s - j = -3, -s + 1 = 3*j - 4. Let q be 2 - 4*(-1)/(-2). Let d = s + q. Solve -m = d - 1 for m.
-1
Let x = 5 + -13. Let n be (-3 - x)*(-8)/(-10). Suppose 0 = 5*t - 0*t. Solve -3*f - f + n = t for f.
1
Let d = -27 - -14. Let h = d + 15. Solve 0 = -2*i - h - 2 for i.
-2
Suppose -14*d = -36 - 34. Suppose 10 = -5*z - 5*l, -5*z + 5*l + 1 = 11. Let m be ((-3)/((-6)/(-4)))/z. Solve v + m = d for v.
4
Suppose -5 + 17 = 2*n. Let w be (-3)/(-12) + 1/(-4). Suppose v + w*d + 2*d - 3 = 0, -3*d = -2*v + n. Solve v*x + 1 = 4 for x.
1
Let a = 6 - 4. Suppose 4 = 4*w, a*s - 5 = -0*w + w. Let q = -3 + 10. Solve -s*y - 2 = q for y.
-3
Let m be (-8)/(-20) - (-46)/10. Suppose -21 = h + m*x, -h - 2*x - 18 = -3*h. Solve -l = -h + 8 for l.
-4
Let m = 24 - 20. Solve -15 = -9*p + m*p for p.
3
Suppose -6 = -3*g + 15. Solve -g*t - 6 = -5*t for t.
-3
Suppose -y + 3*t + 12 = 4*y, 3*y = -t + 10. Let s(c) = c + 10. Let x be s(-6). Suppose 0 = -x*d + 8 + 4. Solve -3*h = d + y for h.
-2
Let v = 56 - 44. Solve 0 = -4*o + v for o.
3
Suppose 2 = u + 4*q, 2*u + 2*u = -q + 38. Suppose 0 = s - 6*s + 70. Suppose 5*w - 3*z - s = 0, -3*z - 4 + 10 = 0. Solve -w*b + u = -2*b for b.
5
Let i(x) = -x + 5. Let w be i(6). Let s be w/(0 + -1) - -11. Solve 2*q - s = -q for q.
4
Let r = 64 - 62. Solve 5*s = r*s - 6 for s.
-2
Suppose 0 = -5*d + 2 + 33. Let r be (-6)/(-10) + 6/(-10). Suppose r = 3*j - 5*j + 4. Solve j*b - 20 = d*b for b.
-4
Let l be (-2)/6 - (-7)/3. Suppose -l*p + 5 = 3*p. Solve 0 = 2*t - 5 - p for t.
3
Let t(r) = -11*r**2 - 4*r + 1. Let u(x) = 32*x**2 + 11*x - 3. Let d(l) = 11*t(l) + 4*u(l). Let m be d(-1). Let c = 10 - m. Solve -c = 4*z + 8 for z.
-3
Let v = -25 + 25. Solve v = -4*u + 8*u for u.
0
Suppose 3*r = -t + 2, -2*r - 3*t - 8 = -0. Suppose -5*q + r*q = -6. Solve 1 = q*u + 7 for u.
-3
Let g(c) = -c + 9. Let i be g(5). Let f = -4 + i. Let k be (-4)/(-1 - (f + 0)). Solve -11 = -k*s + 9 for s.
5
Let r be 1/2 - (-126)/28. Solve -r*l = 8 + 17 for l.
-5
Let i(t) = -t**2 - 6. Let k(y) = 2*y**2 + y + 5. Let u(f) = 2*i(f) + 3*k(f). Let n be u(-2). Solve -n = -3*p - 4 for p.
3
Let x(n) = -n**3 - 3*n**2 + 3*n + 1. Let b(r) = -r**2 - 10*r + 7. Let q be b(-11). Let p be x(q). Solve 0*s = s - p for s.
5
Suppose -6 = 2*u + 2*t, -5*u + 4*t + 30 = -0. Suppose u*w + 0 = 10. Suppose -w*y - 75 = -5*g - 30, 5*y - 18 = -2*g. Solve 0*a = 3*a - g for a.
3
Suppose 0 = -35*k + 41*k - 12. Solve 5*a - k*a - 3 = 0 for a.
1
Let d = -83 + 83. Suppose 0*u + u - s + 1 = 0, 0 = 3*u + 2*s - 17. Suppose -u*q = -q. Solve d = 4*o - q*o for o.
0
Let o be 8*(2/4 + 0). Suppose -n + 6 = o*z, -3*n + 2*z + 8 = 4*z. Solve -x - 4 = -n*x for x.
4
Let o = 3 + 0. Suppose f - 4 = o*f. Let c be -3*(f + (-1 - -2)). Solve -c*h = -14 + 2 for h.
4
Let p be (-11)/(-55) + 82/(-10). Let d = p - -29. Solve -5*b - d = -6 for b.
-3
Suppose 6*u - 6 = 3*u. Suppose 3*f + q + 0*q = 8, -u*f + 9 = -3*q. Solve y + f = 2*y for y.
3
Let k be 6/(-4) + 1/(-2). Let v = -1 - -1. Let t be k + -2 + 6 - v. Solve 0 = -2*u - t + 12 for u.
5
Suppose t - 7 = 4*t + n, 2*t - 7 = -3*n. Let p be 15/12 - (-1)/t. Solve 3*x - 2 = p for x.
1
Suppose 3*l - 4*v = -0*v + 76, 2*l = 3*v + 52. Suppose -4*j + 44*h = 39*h - 18, 6 = 4*j + h. Solve j*t + l = -3*t for t.
-4
Let m = -25 - -41. Suppose -12 = 13*a - m*a. Solve 0 = -r + a*r + 3 for r.
-1
Let z be 39/(-3) - (-6)/2. Let i = 13 + z. Solve -i + 1 = -2*a for a.
1
Suppose 3*t + 6 = 4*t. Suppose -r + t = -1. Suppose 2*k = r + 5. Solve 0 = -4*d + 2*d + k for d.
3
Suppose 0 = -3*h + 6*h - 18. Let u be (-3 - h/(-3)) + 0. Let p = u - -3. Solve 0 = 3*k + p*k - 10 for k.
2
Let t be ((-1)/(-2))/((-7)/168). Let g be ((-8)/12)/(1/t). Solve 0 = 4*x + g + 8 for x.
-4
Let c(k) = -k**3 - 10*k**2 - 10*k - 7. Let l be -1*(5 + 2) + -2. Let v be c(l). Suppose -2*i + 6 = 5*d, 0*i - 5*d - 6 = -v*i. Solve 9 - i = -2*z for z.
-3
Suppose -17 = -2*h - 5. Suppose -h = 2*v - 3*n, v = -v + 2*n - 4. Solve v = -0*t - 5*t - 15 for t.
-3
Let m = 20 - 16. Solve -16 - m = 5*o for o.
-4
Let u be (2/4)/(2/24). Solve -a - u = -3*a for a.
3
Let d(r) = -r**3 + 6*r**2 + 7*r + 8. Let b be d(7). Solve b = 3*h - h for h.
4
Suppose -2*h + 11 = -9. Solve 10*q - 5*q = -h for q.
-2
Suppose 0*p - 12 = -4*p. Solve -3 = -p*n - 0*n for n.
1
Let z(f) = -2*f - 3 + f - 3. Let w = -7 - -1. Let a be z(w). Solve 0 = n - a*n for n.
0
Let j be 130/(-15) + (-2)/6. Let i be (4/(-6)*j)/(-1). Let l be (i/(-5))/(6/20). Solve -n = l - 2 for n.
-2
Suppose l + 13 = 15. Solve 0 = l*f - 7*f - 10 for f.
-2
Let w(m) = m**2 + 3*m + 2. Let x be w(-4). Let u be x/3 + (12 - -1). Let t be 39/u - 2/(-5). Solve 0*z = -z - t for z.
-3
Let d = 0 - -4. Let g = -8 - -13. Solve -g = d*p + 3 for p.
-2
Suppose 4 = 3*m - 8. Let k(d) = d**2 - 5*d + 6. Let q be k(m). Solve q*g - 15 = 5*g for g.
-5
Let f(w) = w - 8. Let h be f(10). Suppose -h*x - 62 = -4*v, 5*v - 84 = -x - 3*x. Solve 0 = 5*q + v + 9 for q.
-5
Suppose -2*h = z - 25, -4*h + 4*z + 4 + 16 = 0. Let a = h + -5. Suppose 0 = -a*t + b + 5, -5*t + 3*b = -0*b - 15. Solve -15 = -3*u - t*u for u.
5
Suppose j - 1 = -3. Let g be j/5 + (-66)/(-15). Let m = 4 + g. Solve -5*t = -7 - m for t.
3
Let f(u) be the first derivative of -u**2/2 + 5*u - 1. Let h be f(4). Suppose 0 = 5*c - 4*r, 0 = -4*c - 4*r - r. Solve j + h = -c*j for j.
-1
Suppose 0 = -4*f - 8, -2*f + 0 + 8 = 4*k. Let s = 17 - 0. Suppose 5*v + 0*a - 8 = -3*a, -4*v = 4*a. Solve -s = -v*q + k for q.
5
Let m(l) = 4*l + 15. Let k be m(0). Solve -5*r + k = -2*r for r.
5
Let w be (2/(-6))/((-3)/18). Suppose 3*p - 6 = w*p. Solve -3*d + d = p for d.
-3
Suppose 3*u = -4 + 1. Let h = 1 + u. Solve -k + 0*k - 5 = h for k.
-5
Let y = 4 + -4. Solve y = -10*t + 6*t + 8 for t.
2
Suppose 7*o - 8 = 3*o. Suppose 0 = p + 2*p - 6. Solve p*z = -o*z for z.
0
Let f(d) = -d**3 - 10*d**2 + 11*d + 2. Let g be f(-11). Solve 5*j + 13 = -g for j.
-3
Let v(j) = -4*j. Let p be v(1). Let i = p - -7. Let a be (-6)/2*(2 - i). Solve 0 = -a*m - 1 + 7 for m.
2
Suppose 5*b - 2*i = -i + 11, 0 = 5*i - 20. Suppose -3*d - b = 4*c, -3*c + 3*d + 1 + 2 = 0. Suppose j - 7 - 8 = c. Solve q - j = -2*q for q.
5
Suppose 20 = 5*d - 0. Solve -d = -v + 2*v for v.
-4
Suppose 2 + 2 = -4*d. Let z be 1/(-1) + (d - -2). Solve v + 4*v - 25 = z for v.
5
Suppose -3*x = -2*a - 3, 0*x = -a - x + 1. Solve a*s - 15 = 3*s for s.
-5
Suppose 36 = 2*j + 2*j. Let f(w) be the third derivative of -w**4/24 + w**2. Let v be f(-5). Solve v*z - j = 2*z for z.
3
Let j = -134 - -134. Let y be 2/7 + (-12)/(-7). Solve -y*k + 0 + 10 = j for k.
5
Suppose -4 = -2*s, -2*p - s + 20 = s. Suppose -3*r = -3*a, 0*r - 4*a = r - 10. Let w be 12 - (r/(-2) + -2). Solve 0 = 5*k - p*k - w for k.
-5
Let v(j) be the first derivative of -j**4/4 - 3*j**3 + 11*j**2/2 + 14*j - 3. Let o be v(-10). Solve -o*w + 6 = -10 for w.
4
Let n(x) = -x - 9. Let k be n(-9). Solve -f - 2*f = k for f.
0
Let f be (-8 - (-1 + 1))/(-2). Solve f = d + 1 for d.
3
Let p(b) = -2*b - 4. Let r be p(-7). Let x = -5 + r. Solve 0 = -x*z + z + 20 for z.
5
Let f = 5 + -5. Suppose 0 = -3*a - f*a + 15. Solve a = -0*c - c for c.
-5
Let t = 14 + -10. Suppose w + 3*q - q - 3 = 0, -5*w + 29 = 3*q. Suppose 18 = w*u - t*u. Solve -y = 2*y + u for y.
-2
Suppose 0*v - 15 = -5*v. Suppose 22 = -j + 5*j + 2*s, -j - 12 = -v*s. Solve 0 = j*g - 0 - 6 for g.
2
Let o(q) = -3*q**3 + 8*q**2 + 20*q + 8. Let r(k) = -2*k**3 + 5*k**2 + 13*k + 5. Let f(t) = -5*o(t) + 8*r(t). Let p be f(-3). S