*c = 4, 5*a + 4*c - 8 = c. Let z be ((-8 + 4)*a)/(-1). Solve -3 = -3*p + z*p for p.
-3
Let y be -1 - 20/(25/(-5)). Solve -b + y + 0 = 0 for b.
3
Let m = -1 - -4. Suppose 0 = n - 18 + m. Suppose 0*u + 5*u = n. Solve -8*y = -u*y - 20 for y.
4
Let s(m) = -2*m. Let t be s(-9). Suppose 2*p + 2*c = 14, 4*c - c - t = -2*p. Solve -p*x = -7*x + 8 for x.
2
Suppose -4*p + 2*l = -14, p - l = -2*l - 1. Let k be (4 - 10)*(-6)/(-4). Let j = -6 - k. Solve p + 4 = j*t for t.
2
Suppose -3*t + 24 - 9 = 0, 5*t - 29 = -2*w. Let i = -3 - -5. Solve -w*d = -i - 2 for d.
2
Let c(p) = 3 - 12*p - 5 + 3 - 2*p. Let w be c(-1). Solve -w = 5*a - 0 for a.
-3
Let z = 13 + -12. Solve -3 = -h - z for h.
2
Let n(j) = j**2 - 3. Let q be n(2). Solve 9 + q = 5*x for x.
2
Let p(y) = -y**3 + 14*y**2 + 14*y + 21. Let i be p(15). Suppose -i*x = -3*t - 2*x + 12, x - 16 = -4*t. Solve -t*j = j + 5 for j.
-1
Let i = -50 + 50. Solve i = 3*r + r - 20 for r.
5
Let t(q) = -q - 4. Let n be t(0). Let y = n + 0. Let h be ((-4)/3)/(y/6). Solve k = h*k for k.
0
Let s = 15 + -11. Suppose -3*p + s*p = 15. Let n(f) = -3*f + 14. Let y be n(4). Solve -3*h = y*h - p for h.
3
Suppose -2 + 5 = l. Solve -l*y + 8 = -4 for y.
4
Let g be ((-3)/2)/((-3)/10). Suppose -4 = g*i - 29. Suppose 3*a = -i*p - 0 - 5, 0 = a + 5*p + 5. Solve a = 3*x + 1 + 2 for x.
-1
Suppose 8 = -j + 3*j. Let f(n) = -n**3 + 7*n**2 + 2*n + 6. Let h be f(7). Solve u = -j*u + h for u.
4
Suppose -2*z - 26 + 9 = -5*h, -2*h = z - 5. Let a(n) = 0*n**2 - 3 - 3*n - n - 4 - n**h + 7*n**2. Let c be a(6). Solve -c*d = -10 - 5 for d.
3
Suppose -14 = -3*a - 2*l, -a - 5 - 9 = -4*l. Suppose 0*m - a*m = -2, 2*n = 3*m + 7. Solve -2*q = -n*q + 9 for q.
3
Let i(m) = 7*m - 16. Let x be i(8). Let c be ((-1)/(-2))/(4/x). Solve -c + 2 = -g for g.
3
Let s = -29 + 31. Solve s + 3 = -q for q.
-5
Let h(v) = 9*v. Let s be h(1). Solve -s*i = -12*i + 3 for i.
1
Let w(t) = 4*t - 29. Let r be w(8). Solve 3*m + 6 = -r for m.
-3
Suppose 2*z = a - 19, a + a - 37 = 3*z. Suppose 3 = 4*j - a. Solve j*b - 4 = b for b.
1
Let s(t) = -t**3 - t**2 - 16. Let n be s(0). Let l = -10 - n. Solve -l = h + 2*h for h.
-2
Suppose 0 = w + 3*w - 24. Let z be (-1)/(-1)*(0 - -3). Let r be (-2)/w - (-13)/z. Solve -3*k - r = 5 for k.
-3
Suppose 0 = 5*k - 7 - 3. Solve f = -k*f + 15 for f.
5
Let d be 7/3 - (-2)/3. Let t = 6 + -9. Let z be -2*d/(-3) - t. Solve z*y - 8 = -3 for y.
1
Let q(h) = -4*h + 4. Let u be q(-4). Let m be u/8 + 2/(-4). Suppose 4*t = 8*t - 16. Solve 0*c - t = -m*c for c.
2
Let d(n) = -n**2 + n - 2*n + 0*n**2. Let i be d(0). Let z = i - -2. Solve -z*k - 3*k = 0 for k.
0
Let b(m) = -2*m**2 - 14*m - 8. Let y be b(-6). Suppose -j = -3*j + y. Solve j = -g + 6 for g.
4
Let x(z) = 6*z**2 - 1. Let r be x(-1). Suppose 0*n + 3*w = -3*n + 33, -1 = -n + w. Let h be ((-20)/(-6))/(2/n). Solve 0 = 3*o - r - h for o.
5
Suppose h + 3 = -2*a, -5*h - a = 6 - 27. Solve -4*v - h = -5*v for v.
5
Let n(g) = -3*g - 10. Let f be n(-7). Let k = f - 9. Solve 2*b + k*b - 12 = 0 for b.
3
Suppose a = -3*u - u - 21, -3*u = 3*a + 27. Let t = -2 - u. Solve t*l = -l for l.
0
Let q(t) = -t**3 + 8*t**2 + 8*t + 13. Let s be q(9). Let f be (4/6)/(s/(-6)). Let z be 4 - 2 - (f - -3). Solve w + z = 5 for w.
5
Let g = 1 - -2. Suppose g*a + 16 = 5*o, -o + 2*a = 3*a - 8. Solve -2 = o*y + 3 for y.
-1
Let c(k) = k**2 + 17*k + 22. Let l be c(-16). Solve -15 = -a + l*a for a.
-3
Suppose 8 + 17 = 5*r. Suppose v - 3*v = 0. Let t = v + 0. Solve r*g + t*g - 10 = 0 for g.
2
Let u(w) = w**2 - 4*w - 45. Let z be u(9). Solve z = -5*g + g + 20 for g.
5
Let k be 4/((-1 - (-3)/(-3)) + 4). Solve 0*l = -k*l + 8 for l.
4
Let k(v) = v**3 + 9*v**2 - 13*v - 15. Let x be k(-10). Let y be (-4)/(-6) + 20/x. Suppose 3*z + y*l = 23, 2*z - 2*l = 1 + 11. Solve -23 = 4*b - z for b.
-4
Suppose 0 = 3*j + 2*x + 10, -j = -3*j + 2*x. Let v = 1 - j. Let i = v + 0. Solve -i*n - 2 + 8 = 0 for n.
2
Suppose -14 = 2*l - 4. Let f be l/(-1)*(2 - -2). Suppose -u + 8*z - 3*z = 15, 3*u + z = 3. Solve -4*r + u*r + f = 0 for r.
5
Let t = 0 + 0. Suppose -4*r - 4*v = t, 0 = 2*r - 3*r + 3*v. Solve 4*j + r*j = 0 for j.
0
Suppose -9*s + 13*s - 12 = 0. Suppose 3*j - 17 = 6*j + g, -4*g = j + 24. Let a(r) = -r**3 - 4*r**2 + r + 5. Let z be a(j). Solve 2*p = z - s for p.
-1
Let p be (18/(-8))/((-9)/24). Solve -s - p = -3*s for s.
3
Let s = 15 - 12. Suppose s*t + 3*q - 15 = 0, -5*q = 3 - 28. Let k(f) = -5*f**3 - 2*f - 1. Let a be k(-1). Solve t = -2*o - 0*o - a for o.
-3
Let a(w) = 2 + 6 - 3*w + 0*w + 2*w. Let r be a(5). Solve 20 = -t - r*t for t.
-5
Suppose -l - l = -4. Let u(b) = -b**3 - 5*b**2 - b + 5. Let m be u(-5). Solve 4*p + m = l*p for p.
-5
Let r(o) = -4*o**2 + 9*o - 4. Let j(y) = y**2. Let p(d) = 5*j(d) + r(d). Let x be p(-9). Let h = 4 + x. Solve 2*c - 4*c = h for c.
0
Let v(b) = -b**2 + 4*b + 1. Let k be (-4)/(-1 + 0) + -1. Let i be v(k). Let p = 8 - i. Solve -p*s = -6*s for s.
0
Let x = -1 + 5. Suppose -x*o + 5 = o. Solve -3*g + o + 11 = 0 for g.
4
Let h(i) = -i**3. Let z be h(0). Suppose z = l - 3, -4*l + 13 = 2*v - 7. Suppose -t = 2 - 5. Solve j = t*j - v for j.
2
Suppose k + 70 = 11*k. Solve -k*v - 15 = -4*v for v.
-5
Let o = -14 + 15. Solve -o = 4*k + 15 for k.
-4
Let m be 3*(-1)/(2 + -3). Solve g = m*g + 2 for g.
-1
Let v be (-4)/10*25/5. Let z = 9 + v. Let x = 11 - z. Solve 0 - x = -4*h for h.
1
Let a(b) = 5*b - 7. Let w be a(2). Solve -9 = w*h - 6*h for h.
3
Let q = -13 + 18. Suppose -27 = -q*c - 12. Solve -2 = 2*r - c*r for r.
2
Let m be (3 - 2)/(1/2). Suppose 3*i - 4 = m. Let r be i/7 + (-47)/(-7). Solve 0 = -2*p + r + 3 for p.
5
Let y be (-42)/(-9) + 2/6. Suppose 2*i = -7*i + 36. Solve i*f + y = 1 for f.
-1
Suppose -4*x + 19 = -1. Suppose -x*o + 22 = 3*p, -2*o + 0*o = -3*p + 29. Solve a = -2*a - p for a.
-3
Let g = 23 - 20. Solve 0 = g*x - 3 for x.
1
Suppose 2*t - 9 = 21. Solve -u - 2*u = -t for u.
5
Suppose 4*r = 7*r - 6. Suppose r*n - 4*f - 20 = 0, -2*f - 26 = -3*n + 3*f. Let a be (-1)/1*(1 - 16). Solve -u + a = n*u for u.
5
Let g(h) = -6 - h**3 - h**2 + 8*h + 7*h**2 + 1. Let f be g(7). Suppose f*i = -2*i. Solve 0 = -i*q + 3*q + 3 for q.
-1
Let l = -20 - -23. Solve 3*f - 12 = -l for f.
3
Let h be (-3 - (-7 + -1)) + (-1 - 1). Solve -20 = -x - h*x for x.
5
Let g(q) = q**2 - 4*q + 4. Let m be g(2). Solve 5*p - p = m for p.
0
Suppose -4*a - 13 + 1 = -k, -9 = -k + 3*a. Solve k = -2*v + v + 5 for v.
5
Let c = 2 + 1. Suppose 0 = x - 0 - c. Solve 0 = -5*l + x*l for l.
0
Let q be (-3)/3 - (-4 + 0). Suppose -2*w + 11 = -3*f, 0 = -2*w + 2*f - 5*f - 19. Let l be (w - (0 + -16)) + -2. Solve g = -q*g - l for g.
-3
Let b(n) = n + 1. Let h(g) = 2*g + 1. Let j be h(-1). Let q be b(j). Solve 0 = -q*f + 2*f for f.
0
Let f = -3 - -8. Suppose 3*t - 12 = 3. Let b(p) = p**3 + 26*p**2 - 27*p. Let w be b(-27). Solve w = -t*v - f for v.
-1
Let f(q) = 2*q - 13. Let o be f(9). Solve -o = -2*r + 3*r for r.
-5
Suppose 2*r = -3*r + 15. Let w = 2 + r. Suppose 2*q + 0*q = 38. Solve -6 = -w*h + q for h.
5
Let w = 1 - -2. Suppose 4*u + 27 = -0*z + 5*z, -5*z + 18 = -u. Suppose -w*v - z*t - 1 = -t, -v + t + 3 = 0. Solve v = -k + 5 for k.
4
Let n be ((-2)/(-6))/(2/12). Let d = -18 - -12. Let i = d + 9. Solve i*c - n = c for c.
1
Let c be ((-16)/12)/2 - (-8)/3. Solve -c*n - 2*n + 12 = 0 for n.
3
Suppose 0 = 4*z - 3*u + 6 + 1, -5*u = 5*z. Let m = 3 + z. Let c be (4 - m) + (-1 - -2). Solve -c*h = -h + 10 for h.
-5
Suppose -b - t - 1 = 0, 0 = -5*b - 0*t + 3*t + 19. Solve 5*u - 8 = b for u.
2
Let j(g) be the first derivative of g**4/4 + 4*g**3/3 - g**2/2 + 3. Let p be j(-3). Solve -3*l + p = l for l.
3
Suppose -4 = -q + 3*h - h, 4*h + 14 = -q. Let w be q/(-4) - 2/(-4). Solve -w - 1 = k for k.
-2
Suppose -3 = -2*i + i. Solve -5 = -i*w + 10 for w.
5
Suppose 3*y = -4*t, -5*t - 5*y = -6*y. Solve -p - 4*p - 10 = t for p.
-2
Suppose 0 = 3*w + 3 + 9. Let b = -2 - w. Let a = 0 - -3. Solve -a*k + b = 8 for k.
-2
Let i(d) = -d**3 - 9*d**2 - 8*d + 2. Let l be i(-8). Let s be l/((1 - 3)/(-8)). Solve r + s = -r for r.
-4
Let a(n) = n**3 - 4*n**2 - 10*n - 10. Let l be a(6). Solve l*z = z for z.
0
Let w = -5 + 5. Suppose w = 3*v - 7 - 11. Let y be 0*(-3 - (-21)/v). Solve 5*r - 2*r = y for r.
0
Let i(w) be the third derivative of -w**5/60 - 7*w**4/24 - 2*w**3/3 - w**2. Let l be i(-6). Solve 0 = -5*q + l*q