*2/2 + 11*c + 3. Let t be p(-10). Suppose -t = -m + 3. Solve m = -2*k - 4 for k.
-4
Let u be (-5 - (-2 - -3))*-1. Suppose 0 = b + 3 - u. Solve -2*j - 1 = b for j.
-2
Let l be (-8)/10*5/(-1). Solve 2*h = l - 2 for h.
1
Suppose 0 = -3*l - 5*q - 16, 6*l - 3*l + 1 = -2*q. Suppose -l = 2*v - 5. Solve 2*x = 5 - v for x.
2
Let s = -125 + 134. Solve 4*w = -s + 29 for w.
5
Let u be (2/(-2))/(2/(-118)). Suppose -u + 15 = -4*n. Let m = n + -8. Solve 5*b - 6 = m*b for b.
3
Let o be 1/(-2*(-3)/(-6)). Let m = o - 1. Let i = m + 2. Solve 3*d + i = -9 for d.
-3
Let v(x) = -x**3 - 19*x**2 + 3. Let g be v(-19). Solve 0 = -2*k - g*k + 25 for k.
5
Suppose 4*x = x + 9. Suppose 4*u = x*p - 26 + 10, -2*u = 3*p - 28. Solve -5*t - p = -23 for t.
3
Suppose 2*l - 19 = -l - 4*g, 2*l = 2*g - 6. Solve -3*c - l - 5 = 0 for c.
-2
Let n(g) = 2*g**2 + 4*g - g**2 + 2*g**2 - g**3 + 0*g. Let z be n(4). Solve z = 2*v + v + 12 for v.
-4
Let k be (-2)/(-12) - 455/(-42). Suppose -2*w + 0*w + 5*j - k = 0, w + 5*j - 17 = 0. Solve w*b = -0 + 2 for b.
1
Suppose 4*i + 4 = 4*d - 0, 0 = 5*i - 4*d + 2. Solve i*t - 2 = 4 for t.
3
Let y(t) = -t**3 + 5*t**2 + 5. Let n = 15 + -10. Let u be y(n). Solve 0 + u = 5*l for l.
1
Let g be ((-1)/(-2))/((-1)/(-6)). Let n(s) be the first derivative of s**3/3 - 3*s**2/2 + s - 5. Let d be n(g). Solve 0 = 2*r - 3 + d for r.
1
Let k(t) = t + 5. Let m be k(-2). Solve 7*v = m*v - 8 for v.
-2
Let h = 0 - 0. Let i = h - 0. Suppose 0 = v - i*v. Solve v = n + n for n.
0
Suppose 38 = 5*l - g, 4*l - 14 = 3*g + 23. Solve 2*i - 5 = l*i for i.
-1
Suppose 0*c + 5*c = 0. Solve c = 3*d - 8*d - 10 for d.
-2
Let a be (33/66)/((-1)/(-8)*2). Solve -a*q = -q + 2 for q.
-2
Let o(u) = -3*u + 2*u + 5*u**2 + 2*u. Let q be o(-1). Let z = -4 + 8. Solve -3*k + q = -z*k for k.
-4
Let b(j) = -j**2 + 2*j + 1. Let g be b(3). Let k be 14 - (4 - (-6)/g). Suppose -5*d + 12 = -d. Solve 0 = -5*o + d - k for o.
-2
Suppose 6*y - 4*y = 20. Suppose 6*l - 4*l - 4 = 0. Let o be 10/l - (-1 - -3). Solve o*q = 4 - y for q.
-2
Let b = 12 - 10. Suppose 5*p - 1 = -b*q + 1, 0 = -5*p - 4*q + 4. Solve p*m + m + 5 = 0 for m.
-5
Suppose -3*k = 4*c - 26, 0 = -4*k + 4*c + 19 - 3. Let q = -5 + k. Suppose 5*b - 3*m = m + 9, m - 4 = 0. Solve -b = y - q for y.
-4
Let x be ((-12)/(-18))/((-6)/(-27)). Suppose u - x = -2. Solve z = -0 + u for z.
1
Let y(p) = -2*p - 9. Let s be y(-6). Suppose -n - 6 = -s*x, -3*x - x = -5*n + 3. Let q be 1/2*(1 + x). Solve q*m + m = -9 for m.
-3
Let i(t) = -t**3 - 5*t**2 + t + 5. Let c be i(-5). Let a = 1 - c. Let m = a - -1. Solve -r + m*r = 3 for r.
3
Let h be (1 + 0)/(-2)*-2. Let q(f) = f - 1. Let w be q(h). Solve -3*i - i + 16 = w for i.
4
Suppose 2*t - 31 = -2*f - 13, -9 = t - 5*f. Solve 5*q + t = 3*q for q.
-3
Suppose -x - 12 = 4*j, -7 = 5*j + 2*x + 5. Let a be (-4)/(-7)*(-14)/j. Solve a*z - 1 = -3 for z.
-1
Let s(t) = -t + 13. Let n = -1 - -12. Let r be s(n). Solve h + 3 = r for h.
-1
Suppose 2*v = -8, 4*v = -5*u + 2*u + 44. Let o(z) be the third derivative of -z**6/20 - z**5/30 + z**3/6 - 2*z**2. Let j be o(-1). Solve j*m = m - u for m.
-5
Let k = 520 + -500. Suppose 5*r = 3*r. Suppose 0 = 4*u + u - 20. Solve u*l - k = -r*l for l.
5
Suppose -3*d + 19 + 8 = 0. Let a(p) = p - 7. Let y be a(d). Solve y*z = 15 - 5 for z.
5
Let r(w) = -w - 2. Let f be r(-3). Let s be (-1)/((2/(-4))/f). Let o = -18 - -22. Solve 0 = s*n - 14 + o for n.
5
Let j(t) = t**2 + 13*t + 3. Let z be j(-13). Suppose -2*r = z*r - 25. Solve 0*g = -r*g + 10 for g.
2
Let r(x) = -x**2 + 10*x - 12. Let s be 1*(-1 + 0) - -9. Let g be r(s). Solve 0 = 4*c + g - 0 for c.
-1
Suppose -5*x - 2*y + 20 = 3*y, -x + y - 4 = 0. Solve 5 = -x*t + t for t.
5
Suppose d + 5*f = 14, -4 = 5*d - 5*f - 14. Suppose n + 8 = -5*q, 22 = 3*n + 3*q - 2. Suppose -d*s = -s - n. Solve -s*p = -2 - 10 for p.
3
Suppose -7*b + 3*b = 0. Let z be 2/6*0 + b. Solve 3*q + z*q = 0 for q.
0
Suppose t = -3*k + 13, -2 = 2*t - t - 2*k. Suppose t*m + 12 = -d, -2*d + 6 = 3*d - 2*m. Suppose 2*o = h - d + 2, -o - 5 = -2*h. Solve 0*a = h*a + 4 for a.
-1
Let z be 2*2/(-4) - -4. Let w = -2 + z. Let c = w + -1. Solve c = -2*s - 3 - 3 for s.
-3
Let k be 0/7 + 2 + 1. Let g be 3 + k + -6 + 3. Solve -l = g*l for l.
0
Let h = -3 - -6. Let b(a) = -a**3 - a**2. Let o be b(0). Solve o = 3*f + 12 + h for f.
-5
Suppose -2*t - 3*t = -25. Suppose 2*h = -g + 8, 22 = t*h + 4*g + 2. Suppose 5*n = -h + 19. Solve n*v - 2*v + 5 = 0 for v.
-5
Let g = 7 + -1. Solve g*w = 5*w for w.
0
Let k be (-6)/(-24) - 14/(-8). Suppose -2*o - 18 = -k*p, 2*p - 4*o - 27 + 3 = 0. Solve p*b = 3*b - 3 for b.
-1
Suppose 21*o = 27*o - 12. Suppose -12 = -2*b - 3*x, b - 4*b - 2*x = -18. Solve b = o*s - 0*s for s.
3
Let z be 3 - 0 - (-1 + 2). Let i = 25 + -22. Suppose 0 = -2*f + 9 - i. Solve 0 = z*m - f*m - 4 for m.
-4
Suppose -20*k + 20 = -15*k. Solve -2*v = -k*v + 4 for v.
2
Suppose -72*t - 10 = -74*t. Solve 6 = -t*g + 3*g for g.
-3
Suppose a - 22 = -5*i, 2*i + 2*a = -3*a + 18. Solve 0 - i = -4*l for l.
1
Suppose 0 = 3*p + 2*p + 4*z - 77, -33 = -3*p + 2*z. Suppose 4*t + 20 = 0, -20 = -4*q + t + p. Suppose q*m - 2*m - 40 = 0. Solve 0 = 4*o - 0*o - m for o.
2
Suppose 3*g + l - 7 = 0, -3*g = -0*g + 2*l - 8. Let m(s) = -4 - s + g*s + 9. Let y be m(-5). Solve -5*o + 15 + 0 = y for o.
3
Suppose 0 = 2*n - 2 - 4. Solve 0*a = n*a - 12 for a.
4
Suppose 3*c - 3*q = 10 - 1, -5*c = 4*q - 33. Solve c*v = 7 + 13 for v.
4
Let c(j) = 6*j. Let y be c(-1). Let p = 2 + y. Let k(o) = -5*o - 5. Let n be k(p). Solve 7*b - 4*b + n = 0 for b.
-5
Let n be 30/9*(-24)/(-20). Solve 3*y - n = -1 for y.
1
Let h(u) = -11*u**3 + u**2 - u - 1. Let t be h(-1). Suppose -b + 3*v + t = b, 5*b - 9 = -3*v. Solve 2*w + b*w = -20 for w.
-4
Let b be 1/5 + (-18)/90. Solve b*y + 8 = 4*y for y.
2
Suppose 3 = n + 1. Suppose 0 = -n*v - 4*h + 12, -3*v = -5*v - h + 9. Let q(y) = y**3 - 6*y**2 + y - 1. Let i be q(6). Solve 7 = -v*f - i for f.
-3
Let j = -9 - -18. Suppose 2*d + 3 = j. Suppose 6*i - d*i - 12 = 0. Solve -u = i*u + 25 for u.
-5
Let g be (-26)/5 + (-2)/(-10). Let c be (3/2)/(g/20). Let d = -4 - c. Solve 3 - 1 = -d*j for j.
-1
Suppose -4*c - 21 = -2*m + c, -2*m - c = -15. Solve -2*s - m = -4 for s.
-2
Let m(b) = -2*b - 11. Let z = 6 - 12. Let k be m(z). Solve 0 = 2*u + 7 - k for u.
-3
Suppose b - i = 4*i - 22, 5*b - 5 = 2*i. Let s(d) = -d**3 - d**2 + d - 2. Let t be s(-2). Solve t*o = -o - b for o.
-3
Let k be (2/3)/(2/21). Let o(s) = 2*s - 6. Let p be o(4). Suppose -2*h - h - 10 = j, -p*h = 8. Solve -v - j = -k for v.
5
Let c(v) = -3*v**3 + 4*v**2 + 5*v + 8. Let h(f) = -2*f**3 + 2*f**2 + 3*f + 4. Let o(a) = -3*c(a) + 5*h(a). Let u be o(-3). Solve u*i = -9 - 1 for i.
-2
Suppose 7 = -2*c - 1. Let m be c/(-6) - (-4)/(-6). Solve j + 5 - 10 = m for j.
5
Let n = 3 - -5. Solve -2*d + n = -4*d for d.
-4
Suppose -4*k + 3 + 45 = 0. Let q = 15 + -10. Suppose 2*p + 16 = -3*m + q*m, -4*m = p - k. Solve -m*h + 1 + 3 = 0 for h.
1
Let l = 96 - 96. Solve 6 = 3*h - l for h.
2
Let l(w) = 5*w**3 + 8*w**2 + 8*w + 2. Let c(m) = -11*m**3 - 17*m**2 - 17*m - 4. Let z(q) = -4*c(q) - 9*l(q). Let u be z(-3). Solve -3 + u = i for i.
-2
Let i be (27/(-12))/(18/48). Suppose 0 = a - 6 - 8. Let l = i + a. Solve 0 = -l*b + 3*b + 25 for b.
5
Let i be 0 - (-2)/2 - 0. Let t(o) = o + 8. Let a be t(-6). Solve -i = h + a for h.
-3
Let d be (-21)/(-6) + 2/(-4). Let k be 6*(-4)/(-8) - (4 + -1). Solve 4*p - p - d = k for p.
1
Suppose -15 = n - 4*n. Solve w = -n + 4 for w.
-1
Let u(g) = -4*g + 54. Let i be u(12). Solve 0 = r - 7 + i for r.
1
Let k be (0 - (8 - 0))/(-1). Let y be (-16)/(-6) - 2/3. Suppose 5*g = y*w - 20, 3*w - 5*w + 16 = -4*g. Solve w = -l + 3*l + k for l.
-4
Let v be (3/4)/((-1)/(-64)). Let o be ((-1)/2)/((-8)/v). Solve o*y + 3 + 6 = 0 for y.
-3
Let c(b) = b**2 + b - 2. Let d be c(4). Let z = d - 11. Suppose -z*h + 3*h = 0. Solve h*y = -4*y for y.
0
Let o(b) = -4*b**3 + 2*b + 1. Let i be o(-1). Let s = i + -3. Solve s = -n - 4 - 1 for n.
-5
Let g be (1 + (-6)/3)*0. Solve g*a = -a for a.
0
Let s = -4 + 2. Let i be 1 + 6/(-4)*s. Suppose 4*k + 0*o - 2*o = 20, -2*k + i*o + 22 = 0. Solve -k = -2*m + 1 for m.
2
Let l = 16 + -8. Suppose l = -t + 5*t. Let a = -15 - -25. Solve a = t*x - 0*x for x.
5
Suppose 15*w = 13*w. Solve w*v = -3*v for v.
0
Suppose -8*x + 30 = 2*x. Solve -m =