 + 3 + 0. Solve 0 = s + 5 - p for s.
-3
Let r = -59 - -62. Solve -r*m - 11 + 2 = 0 for m.
-3
Let d = 3 + -10. Let u = 7 + 0. Let s = d + u. Solve -3*k + 8*k - 10 = s for k.
2
Suppose -3*l - u - 59 = 0, 24 = -2*l + l + 4*u. Let y = l + 24. Solve 0 = 2*w - w - y for w.
4
Suppose -2*q + 3*q = 0. Suppose 0 = 4*l - q - 8. Solve -v + 2*v = -l for v.
-2
Suppose 0 = -4*i - 5*p + 99, 5*i - 3*p + 4*p - 129 = 0. Let d be i/8 - (-2)/(-8). Suppose -5*y + 6 = -d*y. Solve y = -3*u + 2*u for u.
-3
Let c(r) = r**2 - 9*r + 1. Let b = 12 + -6. Let m be c(b). Let u = m - -25. Solve u = 4*g - 2*g for g.
4
Let b(p) = -p**2 - 12*p + 6. Let v be b(-10). Let m be v/6 - (-4)/6. Solve -f = -m*f for f.
0
Let r be 0*(-1 - -2)*(-7 - -6). Solve 0 = -r*w + 5*w + 25 for w.
-5
Let c be 0/(-2)*(-5 + 6). Suppose c = a - 5*a. Suppose 4*b - 4*d - 32 = a, 3 + 12 = -3*d. Solve 5*i + 8 = b for i.
-1
Let z(o) = 1 - 10 + 2 - o. Let m be ((-3)/(-6) + 0)*-20. Let q be z(m). Solve 0 = -0*p - q*p for p.
0
Let j = 6 - 4. Suppose 3*s = j*u + 13, -3*s + 17 = u + 1. Suppose -v = -6*v - 4*n + 52, -v = -n - s. Solve 0 = -3*y + v*y + 25 for y.
-5
Let o(d) = -d**2 - 8*d. Let r be o(-6). Solve 0*w + 4*w - r = 0 for w.
3
Let j(i) = i**3 - 2*i**2 - i - 2. Let p be j(3). Let d be 1 + (-1 - (1 + -1)). Solve p = n - d for n.
4
Suppose -8*b = -5*b. Let m = -15 - -11. Let k be -2 - m/((-12)/(-15)). Solve b = -k*g - g - 8 for g.
-2
Let c be 2*(45/(-6))/(-5). Solve 0*r - 15 = c*r for r.
-5
Suppose -5 = -2*z + 7. Let h = z - 4. Suppose 5 = -5*j - a + 20, -2*j - 3*a + 19 = 0. Solve j*f - h = -0*f for f.
1
Suppose 2*h - n = 5, -3*n - 2*n = -4*h + 7. Let g be 6*h/9 - 0. Solve 0 = 2*a - g for a.
1
Let z = -32 - -32. Solve 2*g + 8 = -z*g for g.
-4
Let n(x) = -x**2 - 2*x**2 - 4*x + 4*x**2 + 3*x. Let r be n(1). Solve 2*c - 5 - 1 = r for c.
3
Suppose 3*j - 8 = -5*m + 27, 0 = 5*j + 5*m - 45. Suppose 4*k + 40 = 2*s - k, 5*s - 115 = j*k. Solve -3*l + s = 2*l for l.
5
Let c(o) = -o**3 - o + 2. Let b be c(0). Solve 2 = b*d - 3*d for d.
-2
Let o = -4 + 21. Suppose -r + 10 = 3*p, -5*r - 5*p + o = -3. Solve t = r + 4 for t.
5
Suppose -6*t - 4*p = -2*t - 32, -4*p = 3*t - 26. Solve 2*i - t*i = 20 for i.
-5
Let q(v) = v - 12. Let s be q(13). Suppose -n + s = 4*a + 21, 0 = -4*n - 5*a - 25. Solve 0 = 2*x + 4 - n for x.
-2
Let z(w) = -w**2 + 10*w - 2. Let o be z(10). Let d be o*(-4 - (0 + -3)). Let k = 13 - d. Solve 3*h = k - 2 for h.
3
Suppose -4*u + 12 = 3*r - 17, 5*u + r - 39 = 0. Solve -u*y = -12*y for y.
0
Let f = -11 + 13. Solve -f*s - s = -9 for s.
3
Let g = -87 + 103. Solve -5*r - 11 = -g for r.
1
Let r = 0 - -1. Let g = 23 + -20. Solve g*n - 4 = -r for n.
1
Suppose -5*l = -9*l + 28. Suppose -5*i + 5 = -5*w, 3*w - 2*w = -i + l. Let z(o) = -o. Let s be z(-2). Solve m - s*m = -i for m.
4
Let o(w) = -w + 1. Let u(h) = 3*h - 4. Let p(x) = 2*o(x) + u(x). Let y be p(5). Suppose -b = y*b - 8. Solve b*a + 6 = 4 for a.
-1
Suppose 0 = -5*g - 4*w + 228, 2*w - 4*w = 4*g - 186. Suppose -64 = 4*v - 5*o, o = 3*v + 3*o + g. Let b = v + 36. Solve 0 = h + 3*h + b for h.
-5
Let l = -5 + -2. Let w = 0 - -7. Let o be 23/w + 2/l. Solve -o*c = 15 - 6 for c.
-3
Let n be (14*-1)/(2 + -1). Let q be (-66)/n + (-6)/(-21). Suppose 4*s - 55 = 2*s + 5*b, 4*s - q*b - 105 = 0. Solve -5*o + 10 = s for o.
-3
Let l = 26 + -26. Solve -5*m + 3 + 2 = l for m.
1
Let u(m) = -m**3 + m**2 + 2. Suppose 2*i + 6 = -0*i. Let w = 3 + i. Let s be u(w). Solve -4*f + s*f = 0 for f.
0
Let u(w) = w**2 - 4*w + 5. Let n be 3 + (0 + 1 - 1). Let o be 7/2 + n/6. Let v be u(o). Solve -3*h - 2*h + v = 0 for h.
1
Suppose 15*c - 17 = 13. Solve 4*j - 3*j + c = 0 for j.
-2
Let l be ((-3)/(-5))/((-54)/20 - -3). Let y be (-40)/(-6) - (-2)/(-3). Solve -5*a + l*a - y = 0 for a.
-2
Let o = 11 - 3. Suppose 0 = -4*t + o - 0. Suppose -2*c - t + 12 = 0. Solve 2*f = f - c for f.
-5
Let l = 48 - 44. Solve -7 - 1 = -l*c for c.
2
Let y(b) = b**3 + 5*b**2 + 3*b - 7. Let n be y(-5). Let w = n - -37. Let x be (-7*1 - -1)*14/(-21). Solve -w = x*g + g for g.
-3
Let s = -33 - 29. Let m be (-1)/2 + s/(-4). Suppose -3*z + 3*y = -3 + m, -y + 1 = -4*z. Solve -p + z = -2*p for p.
-1
Let j = -19 - -22. Solve p + j*p = 12 for p.
3
Let n = 24 - 22. Solve -n + 0 = m for m.
-2
Let g = 4 + -3. Suppose -2 - g = p + 3*r, -3*p - 4 = 4*r. Solve p = 3*x - 1 + 13 for x.
-4
Let v be (14/(-4) + 4)*8. Solve -v*m = -5*m for m.
0
Suppose -2*r = -4*o - 4, 5*r + 6*o - 3*o = 10. Suppose 14*n + 8*n - 44 = 0. Solve -n*k - r = -k for k.
-2
Suppose 0 = 4*z + 4*o + 240, -z - 2*o - 60 = 3*o. Let v be (1 - -2)/((-9)/z). Solve -2*t = 3*t + v for t.
-4
Let p = 20 - 33. Let f = p + 13. Solve -2*j + f*j = -4 for j.
2
Let n(a) be the third derivative of 2*a**2 + 0*a + 0 + 1/6*a**3 + 1/24*a**4. Let d be n(-1). Solve d - 1 = -f for f.
1
Suppose -w = w + 4*y + 4, 2*w = 5*y + 14. Solve -4*c = -2 - w for c.
1
Let f be 28/(-126) - (-70)/(-9). Let z(q) = q + 11. Let s be z(f). Solve 0*a + s*a = 12 for a.
4
Let a be (-8)/(1 - (-9)/(-11)). Let m be a/12 - 4/(-6). Let s = 9 + m. Solve 0 = 5*l - 1 + s for l.
-1
Suppose 0 = 4*g + 13 - 73. Let a(m) = m**2 + m + 4. Let y be a(0). Suppose -y*n = -n. Solve -g + n = 5*z for z.
-3
Let s(z) = z**2 + 5*z + 6. Let n = -5 + 1. Let y be s(n). Suppose -2*b + 0*w + 3 = -w, 9 = 3*w. Solve -b = r - y for r.
-1
Suppose v + 6 = -3*k + k, -10 = 4*k + v. Let d = k + 4. Suppose 7 = -3*o + 4*o - 2*c, -3*c = -2*o + 11. Solve -o = -t + d for t.
3
Suppose -4*c = d - 3, 5*c + 0*d - 15 = d. Solve 0 = -c*s - 10 for s.
-5
Let o be ((-2)/(-4))/(15/120). Suppose 8 + 0 = o*f. Solve 0 = -f*u + 4*u - 2 for u.
1
Let r(p) = -p**2 - 24*p + 30. Let c be r(-25). Solve -c*j - 1 - 19 = 0 for j.
-4
Suppose -2*n = -3*n + 20. Let j be (n/35)/(2/7). Solve -5*x = -j*x - 15 for x.
5
Let i(x) = -x**3 + 5*x**2 + 6*x + 3. Let q be (-3 + 0)/(1/(-2)). Let k be i(q). Let w = -1 + k. Solve -b - 1 = -w*b for b.
1
Let q(r) = r**3 + 18*r**2 - r - 12. Let w be q(-18). Let b(g) = -g**2 + 5*g - 2. Let x be b(3). Solve -w + 2 = -x*k for k.
1
Let i be 9/(2 + (1 - 2)). Suppose -3*l - 2*v = -16, -3*l + 9 + i = 3*v. Suppose 6*j + l*g - 12 = 2*j, 3*j - 17 = g. Solve j = -0*k - k for k.
-5
Let d(j) = -j**3 + j**2 + j - 1. Let m be d(0). Let t be 4/(-12)*(-1 - m). Solve 2*n = -t*n for n.
0
Let k be 2*(-2)/((-8)/(-18)). Let o = -6 - k. Suppose 3*h - 3 = -5*v - 0, -4*h + o*v = -4. Solve 4*a = 7 + h for a.
2
Suppose 5*z + 3*g = 8, -4*g + 1 = -6*z + 3*z. Solve -2*j + z = -1 for j.
1
Let a = -29 + 29. Solve -q = -a*q for q.
0
Suppose -4*d = 11 + 21. Let t = d - -12. Solve -t*w + w = -15 for w.
5
Suppose 5*g - 7 = 43. Solve 6*f - g*f = -12 for f.
3
Suppose -4*o + 7*o = 0. Let w = -2 - -3. Let q(j) = 11*j + 1. Let z be q(w). Solve 4*t + z + 0 = o for t.
-3
Let p be (-2)/(-10) + (-755)/25. Let z be (2/(-3))/(4/p). Suppose 0 = 2*q - 8 + 4, -z*h = 4*q - 13. Solve h = -f + 2 for f.
1
Suppose -4*v - 5*x - 12 = -3, -2*v + 2*x = 0. Let f = v - -6. Solve -i + 0*i = -f for i.
5
Let c = 11 + -8. Let z be (1 - 5)*(-30)/40. Solve -z*f + c = -0 for f.
1
Let z = 108 - 63. Let m be (-1)/(1 - 48/z). Let r = -11 + m. Solve i + 0 = r for i.
4
Let b be (2 - 6/3)/2. Solve b = -g - g for g.
0
Let h be 0/(3/3 - 0). Let b(m) = -4*m + 3*m**2 - 2*m**2 + 3*m. Let f be b(h). Solve 1 = -f*d - d for d.
-1
Suppose -2*h = 5*b - 22, 0 = b + 4*b + 5*h - 25. Suppose b*s = 4*q, 5*s + 0*s - 27 = -4*q. Suppose 0 = 5*x - s - 7. Solve -2 = -4*o + x*o for o.
1
Let t(h) = -3*h - 6. Let b be t(-7). Let g = b + -9. Let c be ((-20)/12)/((-2)/g). Solve 0 = -c*z + 2*z + 6 for z.
2
Let g = 4 + -2. Suppose 10 = -i + g*i. Let x be (1 - 1) + -1 + 6. Solve i = -3*r - x for r.
-5
Let s = -56 + 56. Solve s*u = 3*u - 12 for u.
4
Suppose 0 = -4*o - 2*d + 6*d + 28, -d - 2 = 0. Suppose 2*l + 3*s - 12 - 8 = 0, o*s - 4 = 4*l. Solve 0*u - l*u = -8 for u.
2
Let h = -68 - -70. Solve -a = -h*a for a.
0
Let y = 8 + -2. Suppose 0 = 5*o + 2*v - y, -5 = 5*o - v - 2. Solve o = 2*t - t for t.
0
Let o be 2/(-1 + 0) + 11. Solve 0 = 5*y - 24 + o for y.
3
Let u(i) = i + 8. Let r be u(-6). Suppose 0 = -4*t + 2*t. Suppose t = -2*s + s. Solve -r*a + 4*a + 8 = s for a.
-4
Suppose 6*c - 10*c = -16. Solve -c*s = -s - 3 for s.
1
Let y(v) = -v**3 - 4*v**2 + 1. Let f be y(-4). Solve -3 - f = -4*t for t.
1
Suppose 7*l - 90 = -11*l. Solve 5*p = l + 10