x + 89, 3*o - 5*x - 140 = 0. Suppose 0 = 5*w + o. Let l be (w/6)/(3/(-20)). Solve -l = -5*p - 0 for p.
2
Let b = 0 - -3. Let v = 5 - b. Let u = v + -2. Solve u = 5*y - 2*y for y.
0
Let v be ((0/(-4))/2)/1. Suppose -i = -3 - v. Solve i*x + x = -20 for x.
-5
Let b(m) = -m + 9. Let l be b(7). Suppose l*v - v = 3. Solve -v*w = 11 + 1 for w.
-4
Let k be (-94)/(-8) + 2/8. Let c = -6 + k. Solve 0*v - c = -3*v for v.
2
Let m(q) = -q + 15. Let u be m(14). Let v be (6 - 2)/(0 + u). Solve v = 2*y + 2 for y.
1
Suppose 4 = 2*w - 3*w. Let m = 5 + w. Solve 2*h + 7 = -m for h.
-4
Suppose s + 0 = -2*t - 8, -s + t = -4. Let f = 7 - 4. Solve f*a - 2*a = s for a.
0
Suppose -3*t - h + 7 = h, -t + 2*h + 5 = 0. Solve -5*v + 7 = -t for v.
2
Let i be (4/(-3))/((-2)/(-15)). Let m be (-74)/i - 4/10. Let h(q) = -q**2 + 6*q + 7. Let u be h(m). Solve u = 4*y + y + 20 for y.
-4
Let o be (-16)/(-24) + (-35)/3. Let x = -9 - o. Solve 2*m - 8 = -x*m for m.
2
Suppose 0 = -4*u + 19 + 13. Suppose 4*p + 0 = u. Let q = 3 + 0. Solve p*g - q + 1 = 0 for g.
1
Let d(o) = -o**2 + o + 3. Let v be d(0). Solve -1 = 4*z - v*z for z.
-1
Let f be (-4)/(-3)*21/2. Suppose 4*k - 62 = -0*i + 5*i, -23 = 2*i - k. Let x = f + i. Solve -2*m = -x*m - 6 for m.
-3
Suppose 0 = -2*p - 4, 0 = 3*x - 8*x - 5*p - 5. Solve 2*k + x = -5 for k.
-3
Suppose 2 - 7 = -w. Let q = w - 3. Suppose 0*d + 13 = 2*d - 5*z, q*z + 10 = 2*d. Solve -3*n + d = n for n.
1
Let p = 14 + -9. Solve 20 = -p*n + 5 for n.
-3
Let y = 1 - -2. Suppose 0*c + y*c = 0. Solve k + 0 + 4 = c for k.
-4
Let k(z) = -16*z - 4. Let y be k(-3). Suppose -d + 3*v + 6 = 6*v, 3*d - 4*v = y. Solve 0 = -2*m - 2 + d for m.
5
Let u be 3/18*28 - 4/6. Solve u*d = -0*d + 20 for d.
5
Let b(g) = -2*g**2 - 4*g + 10 + 0*g - 4*g + 3*g**2. Let h be b(7). Solve i - h = -4 for i.
-1
Suppose -3*l = -7*l + 16. Let y = 39 - -35. Let q = y - 49. Solve -i - l*i = q for i.
-5
Let p be 39*1/(-3)*-1. Solve 3*n - p - 2 = 0 for n.
5
Suppose 3*l + r = -2*l + 7, -4*l = 5*r + 7. Suppose 0 = -3*g - l*p, -13 = 6*g - 5*g + 5*p. Solve 0 = -n + g - 5 for n.
-3
Suppose -5*f = 5*p - 15, -7*f - 2*p = -3*f - 10. Suppose 6 = f*h - 18. Solve 7*g - 4*g = -h for g.
-4
Suppose 3*c + 3 = 9. Suppose 0 = 3*o - c*o. Solve -i = -o*i + 5 for i.
-5
Let w = -23 + 29. Solve n = -n - w for n.
-3
Let x(r) = -r**3 - 9*r**2 + 12*r + 24. Let u be x(-10). Solve 0 = 2*y - 2 + u for y.
-1
Let n(q) = -6*q - 32. Let a be n(-6). Solve 0 = a*d - d for d.
0
Let l(h) = h**2 + 12*h + 13. Let c be l(-11). Solve -c*o + o - 1 = 0 for o.
-1
Let l be 1/3 - 4/12. Suppose -r - 6 = -21. Suppose 4*z = -z + r. Solve l = -z*x - 3 for x.
-1
Let b be ((-132)/8)/(6/(-16)). Let o be (-15 + 0)*b/(-55). Solve o = -y - 3*y for y.
-3
Let v be (-12)/60 - 42/(-10). Suppose -3*m = -2*i - 5*m + 10, m - 5 = -v*i. Solve 5*w - 10 = -i*w for w.
2
Let n = -13 + 23. Let j(a) = -5*a**2 - 20*a - 20. Let m(g) = -3*g**2 - 10*g - 10. Let x(c) = -4*j(c) + 7*m(c). Let h be x(n). Solve 0 = 5*w - h for w.
2
Suppose -150 = -6*j - 0*j. Solve j = -8*f + 3*f for f.
-5
Let y(j) = -j**3 - 4*j**2 + 3*j + 5. Let w be y(-5). Let b = 15 - w. Solve b = -4*q - 0*q + 4 for q.
1
Suppose 0*o - 5*o = 2*p + 17, -6 = p + 2*o. Suppose -2*t - 3 = -9. Solve -t*i = -i + p for i.
-2
Let t be (-16 - -1)*(2 + -3). Let i be (-100)/(-26) + (-1 - (-15)/13). Solve -i*a + t = a for a.
3
Suppose 2*s + 1 = 9. Suppose q - 8 = s*l - 3*q, 20 = 4*q. Solve -g - l = -4*g for g.
1
Let f = -4 + 6. Let k be (-10)/(-6 + 3 + 1). Suppose -6*d + 5*r - k = -2*d, f*d - 5 = -5*r. Solve d*j + 12 = -3*j for j.
-4
Let d = -28 - -33. Suppose 3 - 6 = -f. Solve d*n - f + 13 = 0 for n.
-2
Suppose 2*m + 6 = -4. Let j be 9/(-15) + (-63)/m. Suppose -d + j - 4 = 0. Solve d = 2*n - 0 for n.
4
Let w(j) = -j**3 + 18*j**2 + 2*j - 31. Let l be w(18). Solve l*c + 0*c = 10 for c.
2
Suppose -3 + 23 = -3*k + 2*x, -5*x + 4 = 4*k. Let m be 1*k*(-2)/4. Suppose -m*b + 12 = r, 0 = -2*b + 7*b + r - 24. Solve b*t - 2*t + 8 = 0 for t.
-4
Let o(b) = -b**3 - 6*b**2 + b + 8. Let c be o(-6). Let d = 3 + -2. Solve -c*j + 3 = d for j.
1
Suppose 5 - 13 = -r. Let q be (r/(-20))/((-1)/5). Solve -q*f = -4*f + 4 for f.
2
Suppose 2*n = -2*n - 4. Let f = n - -6. Solve f = -3*g - 4 for g.
-3
Let f = 4 + -1. Suppose -f*p = p. Suppose -3*n = t - 0*t - 24, 5*t = 0. Solve -n*u + 3*u = p for u.
0
Let h(v) be the second derivative of v**3/6 - 3*v**2 + 4*v. Let z be h(8). Solve -z*x = -4*x - 4 for x.
-2
Let w = 12 - 29. Let f = -9 - w. Solve 5*k + f = k for k.
-2
Suppose -y + d = -0*d + 3, 5*y + 2*d = 20. Suppose y*x - 19 = -5*n, -2*n + 0*n = x - 8. Solve -x*v = 3*v - 20 for v.
4
Suppose -2*p + 5*i + 23 = 2, i + 3 = 0. Suppose -2*c + 15 = f - c, 65 = 4*f + 5*c. Solve v - f = p*v for v.
-5
Let s = 29 - 28. Solve -4*v = -3*v - s for v.
1
Let y be 22/8 - 7/(-28). Solve y*w - 12 = -w for w.
3
Let j = 13 + -5. Suppose -8*l + j = -4*l. Let u = -34 + 48. Solve -4*g + u + l = 0 for g.
4
Let y be 2/(-4) + 21/6. Suppose 0*z - y*z = -6. Solve -g - z = -4 for g.
2
Suppose -35 = 6*j - 13*j. Solve j*z = z for z.
0
Let k be 1 - (-1 - -3 - 3). Let a(g) = g**2 + 9*g. Let y be a(-9). Let z = y - -6. Solve k*b - z = -b for b.
2
Let v(r) = -28*r**3 - 21*r**2 - 21*r - 21. Let d(s) = s**3 + s**2 + s + 1. Let l(u) = 21*d(u) + v(u). Let p be l(-1). Let t = -7 + p. Solve -g + 2 = -t for g.
2
Suppose 15 + 0 = 5*s. Let r(h) = 7*h**2 + 3*h**3 - 4 + 0*h**3 - 4*h - 4*h**3. Let f be r(6). Solve 0 = -5*x + s*x - f for x.
-4
Suppose -6*z + 8 = -22. Solve 0 = -4*s - 3 - z for s.
-2
Let o(d) = -d**3 + 12*d**2 - 12*d - 4. Let t be o(11). Let q = 20 + t. Solve 0*v - 5 = q*v for v.
-1
Let g(v) = -2 - 3 + 4 - 3 - v. Let p be g(-7). Solve p = -2*i + i for i.
-3
Let y(n) = -2*n - 6. Let k be y(-7). Let s(o) = o**3 - 9*o**2 + 8*o + 4. Let c be s(k). Solve 2*x + 2 - c = 0 for x.
1
Let l(b) = -b**3 - 9*b**2 - 2*b - 14. Let w be l(-9). Solve -w*q + 2 = -2 for q.
1
Suppose -5*x - 2 = 2*r, 0 = -3*x + 5*r + 5. Suppose 4*s - s - 15 = x. Solve -c = -0*c + s for c.
-5
Let y(k) = k**3 - k**2 + k - 1. Let j be 1*6/3 + 0. Let c be y(j). Solve -c = 2*q - q for q.
-5
Let i(q) = 7*q**2 + 3*q - 10. Let o(l) = -13*l**2 - 6*l + 19. Let j(v) = -11*i(v) - 6*o(v). Let t be j(-4). Suppose t*b - 11 = -b. Solve -4*p + 5 + b = 0 for p.
4
Let v(a) = a. Let l be v(5). Suppose -3*d + l + 58 = 0. Suppose 4*w - d + 1 = 0. Solve -x - w = -0*x for x.
-5
Let l be ((-24)/(-16))/(3/(-4)). Let g(q) = 1 - 2 - 4*q**3 - 4*q**2 - 3*q + 2*q**3. Let s be g(l). Solve -16 = -k + s*k for k.
-4
Let w = 53 - 53. Solve 3*s = -w*s + 15 for s.
5
Let i(g) = -g**3 + g**2 + 5*g + 3. Let f be i(-2). Solve 2*s = f*s for s.
0
Let p(c) = c + 1. Let d be p(0). Let r(j) = j**2 + 4*j - 5. Let a be r(-5). Let g = a + 4. Solve 0 = -5*q - g - d for q.
-1
Let y be 10*10/75*(-1 + 4). Suppose -4*x - w + 12 = -0*x, 0 = 4*x + 4*w - 12. Let f(g) = 3*g - 1. Let l be f(x). Solve -y*q - 8 = l for q.
-4
Let y = 19 + -1. Let r = y + -13. Suppose z + 2*z = -4*t - 11, -3*z + r*t = -34. Solve z*o + 6 = -0 for o.
-2
Let k(n) = -3*n**2 - 17*n + 14. Let p be k(-5). Solve -2*r = 4*r + p for r.
-4
Let o be ((-18)/(-15) - 2)/((-14)/35). Solve o*g - 6*g + 20 = 0 for g.
5
Suppose -3 - 17 = -5*h - 2*x, 0 = -5*h + 3*x + 20. Solve -3*w = -4*w - h for w.
-4
Suppose 0 = 4*n - 5*s - 28, 4*s + 5 = 2*n - 15. Let y be (-1)/2 + n/4. Solve y = -7*q + 3*q for q.
0
Let z be (-2 - (-15)/10)*0. Solve 4*t + z*t = -20 for t.
-5
Let f(w) = w**2 + 2*w - 3. Let o be f(2). Let c(l) = l**3 + 2*l**2 - l. Suppose 0*h = 5*h - 5. Let b be c(h). Solve p - o = b*p for p.
-5
Suppose 4*g - 2*l - 22 = g, 45 = 5*g - 5*l. Solve 0 = -7*x + 3*x + g for x.
1
Let d = -5 + -5. Let k = d + 15. Solve k*q + 20 + 0 = 0 for q.
-4
Let c = 2 + 0. Suppose 0 = -c*h + 5 + 3. Solve h*r - 3 = r for r.
1
Let c(k) = -k**2 - 7*k - 18 + 0*k + 16. Let h be c(-6). Let n(d) = -d**2 + 6*d - 4. Let u be n(h). Solve 3*j = j + u for j.
2
Let f = 23 - 17. Let d = 4 + f. Solve 5*s - d = 10 for s.
4
Let p = 89 - 87. Let v(g) = -g + 3. Let x be v(0). Solve -p*w = -x - 5 for w.
4
Suppose 0*u = 2*u - 6. Let c = 0 + u. Solve -c = -2*y - y for y.
1
Let p(m) = -2*m - 6. Let s be p(-4). Suppose -x = s*x. Solve x*i = 4*i - 12 for i.
3
Let s = 5 + -3. Suppose s*k - 8 = -2. Suppose -11 = -4*x + 3*j, -4*j - k = x - 1. Solve o = x*o for o.
0
Suppo