*t - z. Let y = -4 - -7. Solve -y*p + s*p = 3 for p.
1
Suppose -2*r = k - 5 - 8, k = 5. Solve -3*o + r*o = 0 for o.
0
Suppose -5*w = 5 - 25. Solve -6*a - w = -2*a for a.
-1
Suppose 3*g = -9, 6 = -5*d - 2*g - 0*g. Solve x = -d*x + 3 for x.
3
Let r = 19 - 16. Let p be 11/r + 4/12. Solve 0 = 3*a - p*a + 3 for a.
3
Let w(c) = -c**2 - c + 4. Let g be w(0). Suppose 0 = -f - 2*j + 4*j + g, 3*j + 9 = 3*f. Solve -f = -0*x - x for x.
2
Let j(y) = 3*y - 2. Let d be j(2). Suppose -5*u = d*p + 8, 2*u + u = -p - 2. Solve u*b = b - 1 for b.
1
Let w = -12 - -20. Let n = w + -4. Solve 0 = n*t - 6*t for t.
0
Suppose 2*v - 3*r = 6 + 11, 3 = 3*r. Suppose -2*c = 3*c - v. Suppose -c*k = -5*k. Solve 4*l - 9 + 1 = k for l.
2
Suppose 5*s = 8 + 7. Solve -s*h = -2*h + 3 for h.
-3
Let l(t) = t**2 - 13*t + 42. Let r be l(8). Solve 3*j - r*j - 4 = 0 for j.
4
Suppose -4*z = -2*c - 10 - 0, 0 = -5*z + 2*c + 12. Solve 6*q = z*q - 4 for q.
-1
Let k = 79 + -78. Solve -2 - k = 3*s for s.
-1
Let m(a) = 2*a**2 + 3*a. Let k = 7 + -11. Let v be m(k). Solve v = 3*z + z for z.
5
Let o be (15/(-2))/5*-2. Solve o*v + 20 = 7*v for v.
5
Let j(p) = -p**2 + 9*p + 1. Let l be j(9). Suppose t - 3 = l. Suppose -3*h = -2*i - 20, h + 13 = t*h + 5*i. Solve -5*u - h = -2*u for u.
-2
Let x be 5*4/10 - 14. Let m = x + 14. Solve -f = m*f - 12 for f.
4
Let p = -9 - -6. Let y be p + 2 - (-3)/1. Solve -5 + 13 = y*t for t.
4
Let c be 57/(-19) - (-1)/(-1). Let s be ((-2)/(-2))/(c - -5). Solve -f + 6 = s for f.
5
Let o = 43 + -38. Solve o*p = 2 + 13 for p.
3
Let w(b) = -3*b - 8. Let f be w(-4). Solve p + f = 5 for p.
1
Let f = -5 - -8. Suppose -5*u + 8 + 2 = 0, 0 = -s - f*u - 5. Let w = s + 19. Solve -w = -k - 3 for k.
5
Let p(w) = w**3 - 14*w**2 + 12*w + 15. Let l be (-1)/(-2) - (-4)/(-8). Suppose l*j + 13 = j. Let r be p(j). Solve 0 = 3*q + r*q for q.
0
Suppose 3*i - 26 = -2*h - i, -4*h = 5*i - 37. Suppose -11 = -h*c + 4. Solve 20 = -0*x + c*x for x.
4
Let q(h) = h - 12. Let o(d) = -11. Let r(z) = 4*o(z) - 3*q(z). Let b be r(-6). Solve -3*j + b = 4 for j.
2
Let s be 0/(-2) + -3 - -3. Let z be 0 + (-2 - -2) - -3. Suppose 4*i - 5*y = s, i = -z*i - 4*y. Solve -6*v + v = i for v.
0
Let o(j) = -5*j + 2. Let x be o(0). Solve -x - 2 = i for i.
-4
Suppose -5*o + 0*o = -10. Solve o*d = 3 + 7 for d.
5
Let x = -1 - -1. Let h(w) be the first derivative of w**2/2 + 4*w - 7. Let r be h(x). Solve r + 4 = 2*s for s.
4
Let p(m) = -m**3 - 7*m**2 + 8*m + 5. Let a(v) = -5*v**2 - 2*v - 6*v + 1 + 3*v**2 + v**2. Let s be a(-9). Let h be p(s). Solve y + 0 = h for y.
5
Suppose 3*w = -6*h + 4*h + 13, -5*h = 5. Let x = 3 - w. Let p be (-2)/(-3)*(-33)/x. Solve 4*b - p = -3 for b.
2
Let a(h) be the first derivative of 2*h**3/3 + h**2 - h + 1. Let b be a(1). Suppose -b*r + 5*g = -24, g = 3*r - 2*g - 18. Solve 2 + r = 5*s for s.
1
Suppose 0*c - 2*x + 3 = -3*c, 3*x - 9 = 0. Solve -5*o - c = 4 for o.
-1
Suppose 5*a - 1 + 13 = 3*p, 3*a - 4*p + 16 = 0. Suppose a*f = -5*f. Solve f*g + 2*g = -8 for g.
-4
Let i = 27 - 17. Suppose -4*z - 2 = i. Let h(a) = a**3 + 4*a**2 + 4*a + 3. Let c be h(z). Solve c = k - 3*k + 4 for k.
2
Suppose 0 = -3*t + 2*c + 16, 10*t - 5*t - c = 36. Solve 0 = -4*z - 12 - t for z.
-5
Let w(l) = -l**3 - 4*l**2 + 5*l + 2. Suppose 2*u = 2 - 12. Let c be w(u). Suppose -5*k + 2*s + 10 = -c*s, 0 = 4*k + 5*s - 8. Solve f = k*f for f.
0
Suppose -15*b = -4*b - 44. Solve 10 = 2*n + b for n.
3
Suppose -3*l + 15 = 2*l. Solve 2*p = -l*p for p.
0
Let r be 14/6 + (-4)/(-6). Suppose -2*b + 25 = -r*m, 5*b - 10 - 30 = 3*m. Suppose -l - l + 10 = 0. Solve b*j + l = -20 for j.
-5
Suppose 2*g - 3*k + 248 = 0, 5*k = 4*g + 3*k + 504. Let v(u) = -u + 1. Let a be v(6). Let j be g/a + (-4)/10. Solve -2*s + 7*s + j = 0 for s.
-5
Suppose -19*k + 14*k + 30 = 0. Solve -j + 3*j = k for j.
3
Suppose -r + 6 - 8 = 0. Let j be 1/1 + r/2. Solve j = 4*a + a for a.
0
Suppose -p - 8 = -4. Let v be (-4)/(-5)*(p + 9). Suppose 0 = -3*n + v*n - 3. Solve -2*f - n*f = 10 for f.
-2
Let t = 20 - 25. Let x be (-60)/(-25) + 2/t. Solve 0 = -0*k - k + x for k.
2
Let b be 6/8 - (-10)/40. Let a be 5 - (0/(-1) - -3). Solve a*z = b - 3 for z.
-1
Let z be 3/(-7) + (-72)/(-21). Solve -z*g = -5*g - 8 for g.
-4
Suppose 0 = v - 2*v + 9. Let s(w) = 3*w**2 - 4*w - 4. Let d be s(-2). Let h = d - v. Solve 2 + h = -3*q for q.
-3
Suppose -22 = -2*l + 4*l. Let i = -3 - l. Solve o - 4 = -i for o.
-4
Let f(q) = -q**2 - 13*q - 3. Let l be f(-10). Solve -2 = 5*x - l for x.
5
Let w = 29 - 18. Let b(u) = u**2 + 7*u + 2. Let q be b(-5). Let a = q + w. Solve 2*s - a*s + 1 = 0 for s.
1
Let d be 1 + 2 + -2 - -1. Suppose 0 = 3*s - 5 + d, -f + s + 14 = 0. Let t = -9 + f. Solve 3*o + t = -3 for o.
-3
Let d = 8 - 5. Suppose d*h - 13 = 5*q, 4*h - 3*q - 10 = 11. Solve -t + h = 1 for t.
5
Let d(h) = -16*h**3 - h - 1. Suppose b + 13 = z + 3*b, 0 = -4*b + 16. Suppose 4*u + a + 6 = -0*a, z*u + 2*a + 9 = 0. Let r be d(u). Solve -v + 5*v = r for v.
4
Suppose -2*i + 8 = 2*i. Solve i*r - 3 - 7 = 0 for r.
5
Let l be ((-75)/2)/(-5)*-2. Let f be (-12)/(-16) + l/4. Let x be 10/6 + (-1)/f. Solve x*m = 4*m for m.
0
Let d be (-12)/(-30)*(3 - -2). Solve 0 = -3*l + d - 17 for l.
-5
Let g = 21 - 16. Let w = -4 - -2. Let r be 42/w*(-1)/3. Solve 3 + r = g*h for h.
2
Suppose 2*w - 4*g = g - 10, -2*g + 4 = w. Solve w = -2*u - 1 + 5 for u.
2
Let m(b) = b**3 + 10*b**2 - b - 9. Let c be m(-10). Solve 3*k + c + 8 = 0 for k.
-3
Suppose 0 = -k + 2 + 3. Let f = k - -1. Solve 3*i - f = 3 for i.
3
Let x = 13 - 10. Solve 0*q = -x*q + 9 for q.
3
Let g = -18 + 22. Solve g*c - c = 9 for c.
3
Suppose -8*c + 10*c - 12 = 0. Solve 3*z = c + 9 for z.
5
Let m = -2 - -14. Let a = -11 + m. Solve n = -0 - a for n.
-1
Let v(r) = 9*r + 8. Let i(y) = -8*y - 8. Let t(q) = 7*i(q) + 6*v(q). Let d be t(-5). Solve -16 = -d*p - 2*p for p.
4
Suppose -3*g + 35 = -5*k, 5*k = -4*g + 2*k + 95. Suppose -2*u - 2*u = 0. Suppose u = h + 3*h - g. Solve -6*b + h = -b for b.
1
Let n = 53 + -51. Solve q = 3*q - n for q.
1
Let k(b) be the third derivative of b**4/24 - 2*b**3/3 + 6*b**2. Let m be k(6). Solve 0 = -4*w + m*w - 8 for w.
-4
Let r(c) = -c**3 - 3*c**2 + 3. Suppose 0*f - 4*f - 12 = 0. Let i be r(f). Suppose -5*m + 6 = -i*d + 31, -20 = -2*d + 4*m. Solve 0 = -b + 4 - d for b.
4
Suppose 0 = -5*b - r + 3*r - 4, -4 = -b - 2*r. Suppose b = -5*q - 6 + 21. Solve q + 3 = 3*s for s.
2
Suppose -53 + 45 = -4*r. Solve 8 = 2*h + r*h for h.
2
Let n be 5 + (0 - 0)/2. Solve 4*l + n = -l for l.
-1
Let u(z) = z**3 + 6*z**2 - 3*z + 7. Let k be u(-6). Let f(r) = r**3 - 10*r**2 + 10*r - 4. Let b be f(9). Suppose -b*l = -l. Solve l*s + k = -5*s for s.
-5
Let n be (-5 - -4)/(1 + -2). Solve 3 = g + n for g.
2
Let p = -10 - -28. Solve -p = 3*a - 3 for a.
-5
Let d(b) = -b + 8. Let r be d(6). Solve c - 5 = -r for c.
3
Suppose 2*m + 5 = 9. Let n(o) = o**3 + 3*o + 0*o**2 - 3*o**2 + 0*o. Let t be n(m). Solve -t*a + 2 = 4 for a.
-1
Let p = 0 - -2. Let s be (3 + -3)/(-1 - p). Suppose -4*t = -s*t. Solve t = -0*k - 2*k + 2 for k.
1
Let q(p) = -p - 7. Let u be q(-7). Let v(o) = 3 - o - 2*o - o. Let i be v(-3). Solve 5*r = -u*r + i for r.
3
Let r = 4 - 1. Let i be 0 + -1 + (-4)/(-1). Suppose 5*q + 4 = -4*y, -q + i = -4*q - r*y. Solve -3*x - 3 = -q*x for x.
-1
Let c be (-12)/30 + 17/5. Suppose -3 = -c*p + 6. Solve -a - 2 = p for a.
-5
Let o = -3 + 9. Solve 9 = 3*z - o for z.
5
Suppose 3*c = -0*h + 2*h + 2, -5*c + 2 = -4*h. Solve 0*i - 2 = -c*i for i.
1
Let b = 22 + -31. Let x = 2 - b. Solve 5*z + 9 = -x for z.
-4
Suppose o + 84 = f + 4*f, 68 = 3*f - 5*o. Let k be (-28)/(-6) - 2/(-6). Let s(b) = b**3 - 4*b**2 - 6*b + 5. Let r be s(k). Solve r = -3*j - j + f for j.
4
Suppose -4*o + 3*t = -o, -2*t + 30 = 4*o. Solve -o*g + 10 = -10 for g.
4
Suppose 0*i + 2*g - 10 = i, 0 = 3*g - 3. Let a be (-15)/20 - 22/i. Solve 0*x - 6 = a*x for x.
-3
Let r(t) = -t**3 + 4*t**2 + 6*t + 3. Let c be r(5). Suppose 3*n = 4 - 1. Let k(p) = p - 1. Let m be k(n). Solve -5*g + c*g - 3 = m for g.
1
Suppose 4*n = n - 3*x - 21, 0 = x + 4. Let p be ((-6)/9)/(n/9). Solve p*u + 3 = -1 for u.
-2
Let l be 4/(-22) - 4/(-22). Suppose l = -p + 2*p. Solve p = 3*o - 9 - 0 for o.
3
Suppose 5*l + 9 = 8*l. Solve -2 = l*o - 4*o for o.
2
Let m = -6 + 19. Suppose 0 = 4*x - j + 1 - m, -4*j = 16. Solve -x*i = -i - 4 for i.
4
Let z = -73 - -