*p + 9 = -15. Suppose -6*l + p = -4*l. Solve -l*o + 4 = -5*o for o.
-2
Suppose 0 = 5*d - 0*i - 5*i + 50, 2*i = -2*d. Let a be ((-9)/d + -3)*-5. Solve -4*q + 2 = -a for q.
2
Let k(s) = -s**3 + 7*s**2 - 4. Let m be k(7). Let q be m*(-1 + (1 - -1)). Let o(y) = -3*y. Let g be o(q). Solve 2*n + 2 = g for n.
5
Let r(c) = c**3 - 3*c**2 + 2*c - 1. Let f be r(2). Let q = f - -1. Suppose q = 3*o - 2*o. Solve o = -w - 0*w - 5 for w.
-5
Let a(i) = i**2 - 7*i + 8. Let p be a(6). Suppose 0 = 2*h - 2*q - 12 - 6, 0 = -2*h - q + 3. Solve -4*w + p*w = -h for w.
2
Let i(p) = p**3 - 6*p**2 + 5*p. Let z = -3 + 8. Let w be i(z). Solve 7*n - 2*n + 20 = w for n.
-4
Let g be 6*(16/(-40) + 32/30). Solve -g*z + 9*z - 10 = 0 for z.
2
Suppose -3*i = 2*d - 17, 3 = i + 5*d - 7. Solve 2*a - i = 3*a for a.
-5
Suppose 1 = -5*d - 2*k - 7, k + 1 = -d. Let r be -2*1/d + 2. Let h be ((-155)/35 - -3)/(2/(-14)). Solve 0 = -r*f + f - h for f.
-5
Let o be (1/2)/((-8)/(-80)). Solve o*s - 5 = 5 for s.
2
Let h = 14 - 15. Let u be (-1)/h*(2 + -2). Solve -4*d - d - 5 = u for d.
-1
Suppose 0 = -4*y + 9*y - 100. Solve 0*b + y = -4*b for b.
-5
Let l = 5 + -3. Suppose 0 = -3*y - 3*c - 10 - l, 0 = -y - 4*c - 16. Let u be 5/1*(y - -1). Solve 0 = 3*b - 2*b + u for b.
-5
Let h(g) = -3*g - 15. Let t be h(-5). Solve t*f + 1 = f for f.
1
Let l = -24 + 26. Solve p = l*p for p.
0
Let q = 9 - -1. Solve -q - 2 = 3*j for j.
-4
Let r(o) be the first derivative of -o**3/3 - o**2 + 2*o - 3. Suppose -6*s - 35 = -s + 5*g, -3*s + g - 1 = 0. Let x be r(s). Solve 0 = -4*z + x*z - 4 for z.
-2
Let k = -31 + 33. Solve -3*f - 17 = -k for f.
-5
Let q = 76 + -54. Suppose -5*m = 4*w - q, -2 = -0*m - m. Suppose w*c = 6*c - 48. Solve -i = 3*i + c for i.
-4
Suppose 5*q - 6*p - 15 = -p, 15 = -3*q - 5*p. Solve n = -q*n for n.
0
Let p be 2/6 - -2 - 6/(-9). Solve p*u = u - 10 for u.
-5
Suppose 0 = 3*w, -2*w = 4*u + 3*w - 16. Solve 3*s = -u + 13 for s.
3
Let r = -6 - -7. Let d be 0 + 2/2 + r. Suppose d*a - 6*a = -4*o + 4, 3*a = -4*o + 11. Solve o = -s + 3 for s.
1
Suppose 0 = -x - 3*s + 18, 4*x + 0*s = -s + 17. Suppose -2*f = -4*f + u + 1, x*f + 4*u - 29 = 0. Suppose 0*d = -7*d + 14. Solve -f + 13 = -d*o for o.
-5
Suppose 6*g - 8*g = a - 23, -5*g - a + 62 = 0. Solve -12 = 5*l + g for l.
-5
Suppose -2*t = -1 - 5. Suppose 6*g - 2*o = 2*g + 8, -g + 2 = t*o. Solve -g*v + v = 0 for v.
0
Let s be (-10)/15 - (-104)/12. Solve -4*b = -s*b + 8 for b.
2
Let c(i) = 6*i**2 - 10*i - 2. Let m be c(2). Solve m*x + 3*x = 0 for x.
0
Let q be (-12)/(-8)*1*-4. Let c(s) = -1 - 4*s**2 + 5*s + 0*s + 5*s**2. Let k be c(q). Solve -3*r - 6 = -k*r for r.
3
Suppose 2*w = g + 2, -2*w = -0*g + 5*g + 70. Let b(u) = u + 16. Let a be b(g). Solve 2*s + a + 2 = 0 for s.
-3
Let k(v) = -v + 7. Let h be k(4). Let p = -5 - -5. Let f(a) = -a**2 + 20. Let b be f(p). Solve -h*u + 7*u = b for u.
5
Suppose -2 = 4*x - 10. Solve 3*m = -x*m + 25 for m.
5
Suppose 8*z + 11 = 3*u + 7*z, 4*u - 4*z = 12. Let v be (-1)/(-4) + (-39)/(-4). Solve 0 = -w - u*w - v for w.
-2
Let t(o) = o**3 + 10*o**2 + 9*o + 15. Let m be t(-9). Solve 0*s + m = -3*s for s.
-5
Let j(k) = -6 + 6*k + k**2 + 3*k - 4*k. Suppose 6*x = 4*r + 2*x + 20, 3*x = -3. Let w be j(r). Solve w*m - 4*m = 12 for m.
-3
Let r = -7 + 22. Solve -b - 4*b - r = 0 for b.
-3
Let s be ((-21)/(-14))/((-3)/(-8)). Let z be s/14 - (-220)/14. Solve -2*o + z = -6*o for o.
-4
Suppose -4*u - 5*b = -27, u + 2*u - 2*b - 3 = 0. Solve -u - 5 = -2*z for z.
4
Suppose -g + 6 = 2*g. Let j(q) = -q**2 + 4*q - 2. Let t be j(g). Suppose 0*m = t*m. Solve m = -4*b - 0*b + 8 for b.
2
Suppose 0 = -j + 4*a + 4 + 4, 0 = -3*a. Let y = j + -18. Let q = -6 - y. Solve -6*u + q*u + 6 = 0 for u.
3
Let j be ((-9)/(-6))/((-3)/(-10)). Suppose -5*b - 4*m = -j, 5*m = -4*b + 3*m + 10. Solve -a = -b*a + 20 for a.
5
Suppose -k + 3*k + 18 = 4*h, 0 = k + 3. Solve -h*g = 2*g - 10 for g.
2
Let h(b) = 7*b - 4. Let f be h(2). Solve 5*d - f = -0*d for d.
2
Suppose 0 = -0*h - 5*h. Suppose j + 0 - 4 = h. Solve 2*n + 2 - j = 0 for n.
1
Let f(t) = t**2 + 12*t + 7. Let x be f(-11). Let c = x - -6. Suppose 0 = m + 3*a - 6, -a + 4 - c = -m. Solve m = -r - 5 for r.
-5
Let b(t) = -t**3 - 5*t**2 - 6*t - 5. Let d be b(-4). Let p be -2 + d - (-8)/1. Solve 5*g - p = 16 for g.
5
Let r be 4 - ((-4)/(-2) - 2). Suppose 0 = -r*s + 3*s. Suppose -a + 5*p = p + 10, -4*a = -2*p - 2. Solve s*x = -a*x + 2 for x.
1
Suppose 9*o + 24 = 15*o. Solve -w = 5 - o for w.
-1
Let y be (-5 - -8)*(1 - 0). Let z = y + 2. Solve 0*h = -h - z for h.
-5
Let c(k) = 10*k + 1. Suppose -5*x - 4*l = -17, 0 = -4*l - 1 + 13. Let z be c(x). Solve 0 = -4*j + 5 + z for j.
4
Let c = -8 - -9. Let b be (0*c/3)/1. Suppose -5*u + 4*l = -30, 2*l = 2*u - b*l - 12. Solve -u*o + 12 = -3*o for o.
4
Let r(v) = 7*v - 14. Let q(g) = -6*g + 14. Let j(c) = 6*q(c) + 5*r(c). Let u be j(11). Suppose -10 = -u*p - 4. Solve 0 = n - p for n.
2
Suppose -y + 75 = 4*y. Suppose 0 = 5*n - 25, 1 = 3*p - 4*n + y. Let q = -9 - -14. Solve q*u = p*u - 15 for u.
-5
Let o(b) = 2*b - 10. Let a be o(10). Solve -5*m - a - 10 = 0 for m.
-4
Suppose -3*n - 3*q = -2*n + 1, -4*q = -3*n - 55. Let w = n - -14. Solve 2*z + w = -1 for z.
-1
Suppose 0*g + g - 8 = 0. Solve -4*d - 8 = -g*d for d.
2
Let l(b) = -b**2 + 15*b. Let c(g) = g**2 - 14*g - 1. Let r be ((-20)/16)/((-1)/(-4)). Let n(h) = r*c(h) - 4*l(h). Let t be n(10). Solve -t*w + 0*w = 15 for w.
-3
Suppose d - 4*c = -9 - 0, 5*c = 2*d + 3. Suppose 0 = y - 2 - 5. Let s = d - y. Solve -4 = -s*i + 2*i for i.
2
Let r(h) = -h - 5. Suppose -11 - 139 = -5*x. Suppose -3*k - 2*k = x. Let f be r(k). Solve -f = 2*u + 9 for u.
-5
Suppose -t = -3*w - 27 + 9, -3*w = t. Let i be (-41)/(-4) + (-4)/16. Suppose 5*y - 15 = -5*c, -y = 5*c - 9 - i. Solve -7*s = -c*s + t for s.
-3
Let h = 8 - 3. Suppose -h = -3*y + 22. Let c = 1 - -3. Solve -b - y = -c*b for b.
3
Let a = -9 + 16. Suppose a = -u - 0*u. Let i(z) = -2*z - 10. Let s be i(u). Solve 0 = -2*h + h + s for h.
4
Suppose j + 8 - 12 = 0. Suppose 0 = -0*r + 4*r. Solve j*s = -r*s for s.
0
Let f = 16 - 9. Let g = 23 - f. Let c be 0 + g - (-8)/(-4). Solve 2*i - c = -4 for i.
5
Let n(d) be the first derivative of d**3/3 + 2*d**2 + 2*d - 1. Let w be n(-3). Let g be (w/2)/(1/(-46)). Solve g = 5*l + 8 for l.
3
Suppose -4*v + 37 = -39. Let m = v + -9. Suppose 0 = -0*f + 2*f. Solve f = 3*o - o + m for o.
-5
Let u be 2/6 + (-2)/(-3). Let a = 1 + u. Let o be (1 + -1)*a/(-4). Solve o = 2*x + x - 15 for x.
5
Suppose -b - 40 = -3*u, 2*u = u + 5*b + 32. Let c be u + -6 - (0 + -3). Let r be 2/(-4) + c/2. Solve w = -r*w + 5 for w.
1
Let h = 6 + -1. Suppose s + 8 = -h*g, -5*s + 4*g + 5 = -13. Solve 3*f - 5*f + s = 0 for f.
1
Suppose -3*m + 2 = -4. Let b be (-34)/(-6) - m/(-6). Solve -b*d = -d - 5 for d.
1
Let n(j) = -j**3 + 2*j**2 + 3*j + 2. Let i be n(3). Let a = i - -2. Let o = a + -1. Solve 0*z = -o*z for z.
0
Let p(c) = c**2 - 4*c + 3. Suppose g = -y + 6, 4*y - 24 = -y + g. Let j be p(y). Let h = -6 + j. Solve 3*w - h = w for w.
1
Suppose -3*q = -2*q. Let z(f) = -7 - f + q*f - f + 0*f. Let g be z(-5). Solve -2*i = g*i + 15 for i.
-3
Let w(m) = 2*m - 5. Let p = -3 - -7. Let n be w(p). Suppose 0 = n*r - 2*r. Solve l + 3 + 0 = r for l.
-3
Let w(q) = -q - 13. Let f(l) = 2*l + 26. Let d(a) = -6*f(a) - 13*w(a). Let t be d(-10). Solve -t*s + 2*s - 3 = 0 for s.
-3
Let k(c) = -2*c + 1. Let n be k(-1). Let j be n/(-4*3/(-8)). Solve -j*l = -0*l for l.
0
Let q = -5 - -9. Suppose q*u - 32 = 48. Let l = -14 + u. Solve a + l = -a for a.
-3
Let l(h) = -h**3 - 5*h**2 - 2. Let t be l(-5). Let g = t + 2. Suppose 2*s + g = 4. Solve s*f = 4*f for f.
0
Let n = 11 + -8. Suppose c - 4 = n*g, c - 1 = 5*g + 3. Solve -4*d = -g - 4 for d.
1
Suppose -6*x + 5*x = 0. Solve x*h - 10 = 2*h for h.
-5
Let a be 90/25*10/(-4). Let p = a - -14. Solve -h = -p*h + 16 for h.
4
Let j = 29 - 24. Suppose -7 = 4*b + j*d - 22, 3*b = d + 16. Solve b*h - 2 = 3 for h.
1
Let o(s) = s**2 - 7*s - 7. Let u be o(7). Let i be (-798)/(-49) + 2/u. Solve 5*f = i + 9 for f.
5
Suppose -5 = -5*i + 5. Let b be (25/(-20))/(i/(-40)). Solve -b = -3*v - 2*v for v.
5
Suppose 6*b - 3 = 5*b. Solve -6 = b*d - d for d.
-3
Suppose 1 = w - 0. Let t be 14/2*1*w. Solve -5*o - 2 = -t for o.
1
Let z = -12 + 17. Suppose z*s = 10 - 5. Solve -4*y = -5*y + s for y.
1
Let n