 0 = -3*p + a*p for p.
0
Let n = -8 + 14. Solve x = n - 3 for x.
3
Let q = 19 + -13. Let w(b) = b**2 - 7*b + 9. Let m be w(6). Let z be 1/(1 - 2/m). Solve z*h = -0*h + q for h.
2
Suppose 2*b = -0*b. Let s be (b - -12)*(0 - -1). Solve 0*c - s = 4*c for c.
-3
Let g(y) = -y - 6. Let o be g(-6). Suppose -l + o = -4. Solve l = 2*r - 2 for r.
3
Let o = 9 + 3. Let f = 0 + 5. Solve 3 + o = -f*d for d.
-3
Suppose 0 = -u + 4*u. Solve u*s = s - 3 for s.
3
Let f(m) be the first derivative of m**3/3 - m**2 - 3*m + 1. Let a(p) be the first derivative of f(p). Let n be a(2). Solve y + 6 = n for y.
-4
Let s = 14 - 8. Let k be (-2)/(-3) + (-4)/s. Suppose q + 3*q - 8 = 0, k = -3*z - q + 20. Solve u + 2*u = z for u.
2
Suppose -5*m - 182 = 2*g, 0*g + 3*g + 3 = 0. Let r be (m/(-15))/((-8)/(-20)). Solve -d + r = 2 for d.
4
Let r = 14 - 14. Solve r = 4*s - 7*s for s.
0
Let q(b) = b + 9. Let y be q(6). Solve -y = 3*v - 6*v for v.
5
Suppose 8*s - 3*s = 10. Solve -s*x + 4*x = -4 for x.
-2
Let k = 32 + -13. Suppose -t + a + 0*a - 2 = 0, 3*t - k = -2*a. Solve 2*h - 3*h = -t for h.
3
Let j = -1 - -8. Solve -3*a - 12 = -j*a for a.
3
Suppose 2*v - 3*r + 4 = 0, 0 = 2*r - 6*r + 8. Let b be 1*(-2 - (1 - 7)). Let s(o) = 6*o + 1. Let k be s(1). Solve -b*j + k = -v for j.
2
Let c be 6/(-15) - 52/20. Let m be -4 - c - (-3 - 1). Solve 0*v + v = -m for v.
-3
Let l(b) = b**3 - 5*b**2 + 6*b - 5. Let i be l(4). Suppose r = 2*r - i. Suppose -4*u + 5*h + 31 = 0, -2*u + 2*h = r*h - 5. Solve 2*t + u = t for t.
-4
Let m(r) = -r**3 - 7*r**2 + 7*r - 5. Let z be m(-8). Let h be (36/30)/(z/10). Solve 3 - 19 = -h*s for s.
4
Suppose 9*q = 5*q + 12. Let m = 6 - q. Solve 3 = 2*v - m*v for v.
-3
Suppose 3*m + 35 = 8*m. Solve 2*s - 5 = m*s for s.
-1
Let l be (2 - 1)/(1/6). Let n be 2/l + (-20)/(-12). Suppose -3*w - 10 + 3 = -2*j, -n*j = -5*w - 9. Solve j*s - 5 = s for s.
5
Let b(k) = 2*k**2 - 6*k - 5. Let c be b(4). Solve -8 - 7 = -c*z for z.
5
Let i = 12 + -13. Let d(s) = s**2 + 5*s + 3. Let f be d(-5). Let b = i + f. Solve 2*u + b*u = -12 for u.
-3
Suppose -3*o + 4*g - 2 = -0*o, 0 = -o + 5*g - 19. Let l be (0 - o)*(-60)/18. Suppose -2*u - p + 10 = 0, -2 = u - 3*p - 7. Solve u*n + l = n for n.
-5
Let c = 135 + -127. Solve m = c - 10 for m.
-2
Suppose 0 = 3*n - n + 4. Let z = -3 - -2. Let y = z - n. Solve -y - 3 = j for j.
-4
Let m be 2/4*(11 - 1). Let j be 1/2 - 2/4. Suppose 4 = -j*v + v. Solve m*l = -v + 19 for l.
3
Suppose -5 = -3*b + 1. Let z be 6/(-4)*12/(-9). Suppose -z*p = 2*p - 20. Solve 3 = p*k - b for k.
1
Suppose -3 = g + y, 4*y + 24 = g + g. Solve -g*p + p - 5 = 0 for p.
-5
Let u be -5*6/(-8)*(-16)/(-30). Suppose 0 = 2*v - s - 18, v - 5*s - 18 = 0. Solve 3*f = -v + u for f.
-2
Suppose -3*n + 11 = -t - 2, 0 = -t + 5. Let x = n + -3. Solve 0 = -x*g - 2*g + 25 for g.
5
Suppose 0 = 4*d - 57 + 17. Let z be 10/(-4)*(-16)/d. Let c = z - -1. Solve -c*x = -0*x + 10 for x.
-2
Let j = 5 + -2. Suppose j*g + 2*g = 55. Suppose -5*w + 2*h + 2 = -7, 5*w - g = 3*h. Solve -w - 2 = -c for c.
3
Suppose -8*m + 9 = -5*m. Suppose -m*w + 20 = w. Solve -12 = w*c - c for c.
-3
Let q(c) = 2*c - 10. Let s be q(5). Solve 5*m + 4 + 11 = s for m.
-3
Suppose 3*r = -4*y + 1, 2*r - y = 4*r - 9. Suppose 4*k + 3 = r. Solve -m + 0 - k = 0 for m.
-1
Let b(y) = y**3 + 3*y**2 + 4*y + 2. Let r be b(-2). Let d be 0 + 4 + 6/r. Solve k + 6 = d for k.
-5
Let f = 8 + -2. Suppose 8 = f*g - 2*g + 4*a, 0 = 3*g - 2*a - 6. Solve -8 = -g*q - 2*q for q.
2
Let y(d) = -d**2 - 12*d + 2. Let j be y(-12). Solve 7 = -j*s - 1 for s.
-4
Let p be -21*1/3*-3. Let n be 0*(-3 + p/6). Solve -2*o - 2*o = n for o.
0
Let x = 1 - -3. Suppose 0 = b + 1, 4*k - 28 = -0*b - x*b. Solve 0*z + 2*z = -k for z.
-4
Let m(g) = -g**2 - 12*g - 8. Let d = 14 - 25. Let r be m(d). Solve 5*f - r - 17 = 0 for f.
4
Let w(n) = n**2 + 7*n. Let s be w(-7). Suppose s = 3*o + 3 - 0, -5*o + 1 = 3*z. Suppose -2*a = 4*x, -z*a = -3*x + x. Solve 5*r - r - 4 = a for r.
1
Let c = -71 - -71. Solve 0 = -5*b - 5 - c for b.
-1
Let q = -22 + 24. Solve -q*z = -z + 1 for z.
-1
Let v(f) = f**2 + 12*f - 11. Let m be v(-13). Let b be (24/(-60))/(m/(-20)). Solve 1 = b*o + 17 for o.
-4
Let o(z) = -33*z - 1. Let m be o(-1). Let x = -22 + m. Let f be 24/5 + 2/x. Solve 16 + 9 = f*h for h.
5
Suppose -8 = -2*q - 2*y, 5*q + 0*q = 5*y + 30. Let a(g) = -5*g - 25*g**3 + 5 + 26*g**3 + 2*g**2 + 2*g**2. Let v be a(-5). Solve -q = -v*j - 0 for j.
1
Suppose -2*c - 2*p = -6, -3*c - 5*p + 17 = -6*p. Suppose -c*l = -2*l. Solve l = 7*s - 3*s + 16 for s.
-4
Let q(f) = 5*f**2 - 1. Let c be q(-1). Suppose 0 = -c*d - 0 + 8. Solve -h = -d - 0 for h.
2
Suppose -4*x + 2*x = 0. Let b = 4 + x. Solve -h + 1 = -b for h.
5
Suppose 2*m + 2*c = 4, -4*c + 7 = 5*m - 7. Let k be (2/(-1))/(-2) - 1. Suppose 0 = -4*v - 4*i + 20, i - 9 - 2 = -4*v. Solve v*x + x + m = k for x.
-2
Let j be 2 - (-2 - 0) - -4. Suppose 2 = -2*p - 3*r, 3*r + j = 5*p + 4*r. Solve 3*m - p = m for m.
1
Let w(n) be the second derivative of n**3/6 + 2*n. Let b be w(5). Solve b = -a - 4*a for a.
-1
Let g(p) = p**2 + 8*p + 9. Let v be g(-7). Let y be v + (-1)/(-3)*0. Let q(w) = -w - 1. Let n be q(-2). Solve n - y = d for d.
-1
Suppose 3*c - o = -4, 0 = 4*c - 5*o + 9 - 0. Let n(j) = -3*j**3 - j**2 - j. Let m be n(c). Solve v + 8 = -m*v for v.
-2
Let l(d) = 5*d**2 - 3*d + 2. Let i be l(1). Solve -2*v - i = -2 for v.
-1
Suppose 0 = n - 3*c + 2, 5*c = -2*n + 18 - 0. Solve 2*l + 2 = -n for l.
-3
Suppose v - n - 2 = 0, -4*n - 4 = -4*v - 2*n. Suppose v = 4*u + 8 - 24. Solve u*h = 27 - 7 for h.
5
Suppose -4*l = 5*o - 30, 5*o = l - 2*l + 30. Suppose 3*f + o = 4*f. Solve -q = -f*q + 15 for q.
3
Let x(z) = 2*z + 37. Let m be x(-17). Solve -m = 2*d + d for d.
-1
Suppose 2*o = -o + 12. Suppose 4*n = 3*n + o. Let s = 9 - n. Solve 3*j - s*j = 0 for j.
0
Let w be 32/(-128) - 2*(-2)/16. Solve w*l + 2 = -2*l for l.
-1
Suppose 5*k + 4*a - 35 = -a, -3*k + 28 = -4*a. Suppose 12 = 4*j - k. Solve 3 = j*w + 8 for w.
-1
Let s = 16 + -8. Suppose -i = 3*i - s. Let h = 0 - 0. Solve h = -4*p + i*p + 4 for p.
2
Suppose 0 = j - 35 + 15. Let f = 59 + -34. Suppose -6*u + 29 = 3*o - 2*u, 2*u = -5*o + f. Solve j = g + o*g for g.
5
Let g = -28 - -33. Solve 0*o + 15 = g*o for o.
3
Let s be 16/3 + 4/(-12). Suppose -s*h + 28 = -h. Solve 0 = -3*c - 2 - h for c.
-3
Let v(p) = 4*p + 4. Let d be v(5). Let i be ((-3)/(-6))/(2/d). Solve 2*y - 4 + i = 0 for y.
-1
Let b(r) = r + 0*r - 5 + 0*r. Let w be b(9). Let t be 4/w + 1 + 0. Solve -t*o = o + 3 for o.
-1
Let j(z) = -z**2 - 8*z + 23. Let x be j(-10). Solve x - 1 = -g for g.
-2
Let q(m) = -4*m**2 - 2. Let l be q(-2). Let t be (-86)/l + (-4)/(-18). Suppose -t*u + 3*u = -4. Solve u*p = p for p.
0
Let k(t) = t**3 - 4*t**2 - t - 6. Let o(w) = -w**3 - 7*w**2 + 5. Let g be o(-7). Let y be k(g). Solve -3*b = 5 - y for b.
3
Let n(l) = 7*l**2 - 14*l - 3. Let g(m) = 13*m**2 - 27*m - 6. Let i(u) = -6*g(u) + 11*n(u). Let h be i(8). Solve -2*v + 7 = -h for v.
5
Let r(c) be the third derivative of -c**5/30 + 5*c**4/24 + c**3/2 + c**2. Let q be r(3). Solve q = u - 0*u + 5 for u.
-5
Let o(d) = -d**2 - 6*d - 5. Suppose 0 = -3*g - 14 - 1. Let r be o(g). Solve 3*u + 5 - 2 = r for u.
-1
Let g be -1*6*(-3)/6. Solve -g*v = 2*v + 10 for v.
-2
Let s(a) = -a - 3. Let t be s(-6). Let y(n) = 2*n**3 - n**2 - n + 1. Let r be y(2). Suppose 0 = -o + r + 1. Solve 0*k = -t*k - o for k.
-4
Let g be -3*((-19)/(-3) + -7). Let r be (1 + 2/(-3))*3. Suppose -a + 27 - r = 4*d, 2*a = 2*d - 18. Solve -d = -g*q + 3 for q.
5
Let f = 5 + -11. Let a = f + 6. Solve a = p + 3*p for p.
0
Let q(o) = o**2 + o + 4. Let l be q(0). Suppose 0*g = l*g. Solve -3*d = -g*d + 15 for d.
-5
Let g be (4 + -1 - 5) + 11. Suppose g*l = 4*l. Solve 3*b + b = l for b.
0
Let s = -3 - -8. Solve 6*x = x + s for x.
1
Let d(y) = -y**2 - 6*y + 2. Let a be d(-6). Solve 0 = -a*m - 8 for m.
-4
Let m be -3 - (16/1)/(-2). Suppose -3*o = -50 + m. Solve -3*c + o = -0 for c.
5
Let u(a) = a**3 - 6*a**2 + 5*a + 3. Let r be u(5). Suppose -5*w = 6 - 31, r*w = -4*o + 23. Let p be -1 + o/(-2)*-6. Solve 2 + 18 = p*d for d.
4
Let y = 0 - -3. Suppose 5*o = 2*o - y. Let f = o + 3. Solve f*a + 5 = 3*a for a.
5
Let w(j) be the third derivative of -j**6/360 + j**5/30 + j**3/3 - 5*j**2. Let v(p) be the first derivative of w(p). Let y be v(3). Solve -y