 = -p for p.
4
Suppose -5*u - 8 = -18. Suppose -4*n + 6 + 5 = v, 3*n = 2*v. Solve u*z = v*z for z.
0
Let m = -12 - -17. Suppose 100 = 3*r - 8*r. Let j = -20 - r. Solve j*b - 10 = m*b for b.
-2
Let w be 0*(14/4)/7. Let s(o) = -2*o - 1. Let q be s(-3). Solve w = q*b - 4 + 24 for b.
-4
Suppose -5*x + 56 = -4. Suppose 0 = 4*b - x + 4. Suppose -2*l + 2 + 2 = 0. Solve b*t + l*t = 12 for t.
3
Suppose 4 + 6 = 5*p. Solve -2*r - 16 = p*r for r.
-4
Let b = 83 - 77. Solve 10 = 4*w - b*w for w.
-5
Let t(v) = v**3 - 6*v**2. Let l be t(6). Suppose -c - 14 = -4*u, -u - u + 4 = -2*c. Solve l = -c*s + 5*s for s.
0
Suppose 3*a = 4 + 5. Let o be (5 - a)/(1/3). Solve 6*s - 3*s = o for s.
2
Suppose -w - 5*p = 0, -2*p = 2*w - w - 12. Solve -3*j + w = j for j.
5
Suppose -l + 3*l = -3*h + 2, 12 = 3*h - 3*l. Suppose -5*k = -2*f + 14, -h*f - f + 12 = -3*k. Solve 0*s = -f*s - 6 for s.
-3
Let o = 45 - 43. Solve -o*g = g - 3 for g.
1
Let v(i) = -2*i**3 + i**2 + i. Let o be v(-1). Let c be 0 - ((1 - o) + -1). Solve -c*t - 8 + 0 = 0 for t.
-4
Let p = -40 + 42. Solve p*k = 5*k for k.
0
Let i(r) = r**3 + 8*r**2 + 7*r + 3. Let y be i(-7). Suppose 4*d - 4 + 1 = y*k, -d = 4*k - 15. Solve -d*n = -n for n.
0
Suppose 4*m + 2 + 2 = 0. Let x = 3 - m. Solve p = x*p + 6 for p.
-2
Let m(r) = -r**2 + 9*r + 2. Let s be m(9). Suppose 3*f - 16 - s = 0. Solve 0 = 3*d - f*d - 9 for d.
-3
Suppose 5*t - 3*y - 72 = 0, t + y - 13 = 3*y. Solve -4*z - 1 = t for z.
-4
Suppose -w - 3 = -9. Suppose 2*x - 6 - w = 0. Solve -x*i + 20 = -i for i.
4
Let o be ((3 - 2)*-1)/(-1). Solve 3*d = 2 + o for d.
1
Suppose 12 = -110*o + 113*o. Solve 12 = -4*r + o for r.
-2
Let k = -3 - -3. Suppose k*h + 4*h = 36. Solve 4*m = -7 - h for m.
-4
Let p(f) = -3*f - 8. Let y be p(-4). Solve -y = -q - 3 for q.
1
Let i(x) = -x**2 - 8*x + 12. Let k be i(-9). Suppose 0*d = -k*t + d + 1, 2*t + 3*d = 19. Solve s = -t - 3 for s.
-5
Suppose -4*a - 3*m + 1 = 2, -5*m = -3*a + 21. Suppose a*g = -2*g + 12. Solve g = 2*o - 3*o for o.
-3
Let g = -17 - -32. Suppose g = l + 4*l. Solve 0 - l = -3*i for i.
1
Suppose 2*q + 2 = -4*z, 3*z + 5*q = -0*q - 19. Let j = -2 + 5. Suppose j*o = -z*o. Solve 4*p - 3*p = o for p.
0
Let v = -17 - -20. Solve -b + 5 = v for b.
2
Let w be (-2)/(-4) + ((-63)/(-6))/7. Solve 4 = -0*s - w*s for s.
-2
Let m(f) be the third derivative of f**4/8 - f**3/2 + 6*f**2. Let b = 6 - 4. Let n be m(b). Solve 4 = n*g + g for g.
1
Suppose -5*n + 3*n = -4. Suppose -n*s = 3*s - 20. Suppose s*y = -3*x + 7, 3*y - 1 = -5*x + 7*y. Solve -l + 3 - x = 0 for l.
2
Let j(s) = -s**3 - 6*s**2 + 9*s + 16. Let u be j(-7). Solve 0*t + u = -2*t for t.
-1
Suppose 5*v + 10 = 40. Solve -v*h = -7*h - 3 for h.
-3
Let q be 1 + 1/(-1 - -2). Suppose 4*r - 40 - 24 = 0. Suppose 4*c - r = -0*c. Solve -c*t + 8 = -q*t for t.
4
Suppose -2*u - 4*x = -0*x - 4, -3*x - 8 = -4*u. Suppose a = -0*a + u. Solve -2*w - a = -0 for w.
-1
Let u(y) = -y**3 + y**2 + y. Let p be ((-7)/14)/(1/2). Let r be u(p). Solve r = 2*n + 3 for n.
-1
Let d(b) = -b**2 - 13*b - 13. Let t(k) = k**2 + 13*k + 14. Let p(m) = 3*d(m) + 2*t(m). Let n be p(-9). Suppose 0*l - 4 = -l. Solve 0 = -l*y - y - n for y.
-5
Let x be (-155)/(-35) - (-6)/(-14). Solve 4 = -x*s + 6*s for s.
2
Let r(m) = -3 + 0 + 7*m + 0 - 5*m. Let n(k) = -2*k + 2. Let c(g) = 3*n(g) + 2*r(g). Let t be c(-11). Solve t = 4*p + 2 for p.
5
Let a be ((-20)/8 - -2) + (-12)/(-24). Let f be (-12)/10*20/(-6). Let u = -2 + f. Solve u*c - c = a for c.
0
Let f(x) = -4*x + 2. Let c be f(2). Let n = c + 18. Solve 0 = y + 3*y + n for y.
-3
Let b(j) = 5*j - 3. Let w be b(3). Suppose -4*d + 2 + 59 = -5*q, d - w = -2*q. Solve 2 + d = -4*a for a.
-4
Suppose -3*u - 5*g + 82 = 0, -19 = -u + g - 5. Solve 0 = -2*d + u - 21 for d.
-1
Let t(p) = p**2 + 7*p + 7. Let o be t(-6). Suppose -g - 2*g + 2*v = o, 0 = -3*g - v + 14. Suppose -30 = -g*j + j. Solve u = -2*u - j for u.
-5
Suppose -3*j - 26 = -5. Let d(s) = -s**2 - 7*s + 3. Let u be d(j). Solve u*n + 14 = 2 for n.
-4
Suppose -6*n + n = 0. Suppose -4*j - 4*j + 24 = 0. Solve n = -0*s + s + j for s.
-3
Let p = 43 + -41. Solve -2 = -x + p for x.
4
Suppose -3*w - 2*p = -0*w - 26, 2*w + p = 16. Solve c - 1 + w = 0 for c.
-5
Suppose 0 = b - 2. Let m be (-1)/2*(-3 - 21). Solve b*f = -2*f - m for f.
-3
Suppose 4*f = 5*k + 79, -f - 4*k + 6 = 2. Solve 0 = -x + 5*x + f for x.
-4
Suppose -4*n + 23 - 7 = 0. Let b(o) = o**3 + 6*o**2 - 6*o + 11. Let y be b(-7). Let d = n - y. Solve d = 2*f - f + 4 for f.
-4
Let p(c) = -2*c**3 + 12*c**2 - c + 6. Let o = 5 + 1. Let q be p(o). Solve -6 = -2*s - q for s.
3
Suppose l - 4 + 2 = 0. Let y be (-144)/(-84) + 4/14. Solve -l = -3*q + y*q for q.
2
Suppose 0 = -5*o - 11 + 51. Solve o = -3*v + 2 for v.
-2
Suppose 0*u = 2*u + 3*x - 14, -u - 4 = -4*x. Let o = 4 - u. Suppose -2*l + 2 + 0 = o. Solve -3*d = 7 - l for d.
-2
Let n(y) = y**2 - 2*y. Let p be n(2). Let c(w) = -w**2 - w - 10. Let m be c(p). Let u = 25 + m. Solve 0 = 3*r - 0*r - u for r.
5
Let q(j) = -14*j**2 + 7*j - 8. Let h be q(4). Let l be 22/143 + h/(-26). Solve -d + 3*d = -l for d.
-4
Let v = -11 + 15. Let t = -3 + v. Let z be 16/6 - 4/6. Solve -3*h + z*h + t = 0 for h.
1
Suppose 3*f = 11*f. Let o be (-1)/(-3) - (-2)/(-6). Solve -w - 3 + o = f for w.
-3
Suppose 0 = 7*r - 9*r + 26. Solve 0 = -5*b + r + 2 for b.
3
Let o be (-48)/27 + 8/(-36). Let j be (4 + -4)*o/(-4). Solve j = -3*b + b for b.
0
Let t be (18/8)/(-3)*4. Let d = t - -7. Suppose -2*y - u = 9 - d, 2*y + 3*u + 15 = 0. Solve y = -2*g + 2 for g.
1
Let q = 5 - 4. Solve x + q = 4 for x.
3
Let p = 68 + -34. Solve -p + 14 = 4*b for b.
-5
Let h be (-1 + 2)/((-1)/4). Let r = 1 - h. Solve -r*f = -7 - 8 for f.
3
Let p = -64 - -66. Solve -p*r + r = -5 for r.
5
Let o(h) be the second derivative of 3*h**5/10 - h**3/6 + h**2/2 + h. Let l be o(1). Solve 4*p + 2 = -l for p.
-2
Let g = -4 - -5. Suppose q - 3 = g. Solve 0*b = q*b for b.
0
Let z(a) = -a**2 + 5*a - 2. Let l be z(5). Let f be (1 + -1)/(0 + l). Solve 4 = -f*v - 2*v for v.
-2
Let c = -12 - -16. Suppose c*v = 5*v. Solve v*o = -2*o + 10 for o.
5
Suppose -5*k = -2*k - 2*n - 16, 5*k - 4*n - 30 = 0. Suppose 2*v + 3*m - 14 = 0, -v + 5*v - m = 14. Solve v*u - k = -10 for u.
-2
Let s(b) = 3*b + 2. Let p be s(2). Let r be (-54)/4*p/(-12). Suppose 2*d - r = -3, 3*z + d = 9. Solve -4*x + z*x + 8 = 0 for x.
4
Let d be 20/8*(-18)/15. Let k be d/6*0/(-2). Suppose 0 = 5*m - 2 - 8. Solve k*p = -m*p + 2 for p.
1
Suppose -2*t - 2*t + 60 = 0. Let k be (-24)/(-10) - (-9)/t. Solve -k*d = -d for d.
0
Let a = 143 + -143. Suppose -3*g = -3*f + 15, f - 4*g - 2 = -0. Solve a = x + x + f for x.
-3
Suppose -3*s = -s - 40. Let o = s + -18. Solve i + o = 6 for i.
4
Let r be 13/5 + 18/45. Suppose 4*j + 2*h - 24 = 0, j - r*j + 20 = 3*h. Solve -j*g + 0 + 20 = 0 for g.
5
Let o be ((-9)/12)/(6/(-16)). Suppose 0 = -y + 2*r - 2, r + r = o*y. Let q be 141/27 + (-2)/9. Solve y*h = -3 - q for h.
-4
Let y(k) = -k**2 - k + 4. Let r be y(0). Let v(h) = -17*h**2 + 2*h - 1. Let g be v(1). Let i = -1 - g. Solve -3 + i = r*n for n.
3
Suppose -2 = -2*o - 3*i, -4*o = o - i - 22. Solve -o*l + 1 = 9 for l.
-2
Let s(g) = 2*g - 25. Let a be s(15). Let f(h) = -3*h**3 - 2*h**2 + 1. Let z be f(-1). Let l(n) = 2*n**3 - 4*n**2 + 2*n. Let b be l(z). Solve b + a = 3*p for p.
3
Suppose 3*t + 12 = 6*t. Suppose -3 = -t*u + 5. Solve -u*h = -0*h for h.
0
Let h = 33 + -21. Solve 0*b - 4*b = -h for b.
3
Suppose -4*c + 18 = 3*n - 5*n, c - 5*n = 0. Let y be -5*2/(-4)*2. Solve -y = c*a + 15 for a.
-4
Suppose -20 = -5*d + 5*q, -4*d - 6*q = -q - 16. Suppose 3*k + 5*n = 25, 0*k - d*k - 4*n = -20. Let x be (-5)/((-45)/12)*6. Solve 4*z - x = -k*z for z.
2
Let o = 3 - 12. Let n be 12*(6/o - -1). Suppose 4*i + 5*f + 5 = -5, 0 = n*i + f + 2. Solve -2*z + 0*z = i for z.
0
Let r(d) = 4*d + 1. Let v be r(0). Solve 3*a + 14 = -v for a.
-5
Let d(a) = -a**3 + 5*a**2 + 7*a + 6. Suppose 1 = p - 5. Let w be d(p). Let v = w + -7. Solve -12 = -v*i - 2 for i.
2
Let h(r) = -r**2 + 9*r + 2. Let q be h(9). Let b = -2 + q. Solve b*l - 3*l + 3 = 0 for l.
1
Let x be (-4)/(-4 - (-6)/3). Solve x*n - 3*n + 1 = 0 for n.
1
Let c(v) = -v**3 + 3*v**2 + 4*v + 2. Let i be c(4). Suppose 8 = 2*q + i*q. Suppose q*y + 20 = 7*y. Solve -24 = 4*g - y for g.
-5
Let d = -19 + 23. Solve x + d = 3*x for x.
2
Let p = -3 + -1.