s for s.
3
Let l(r) be the second derivative of r**3/6 + r. Suppose 5*d + 2*p - 48 = 0, -3*d + 12 = -2*p - p. Let x be l(d). Solve -3*f - x = 4 for f.
-4
Let g(q) = 5*q - 6. Let a be g(4). Let w = 23 - a. Let c(s) = 5*s + 1. Let t be c(3). Solve -w = 5*i + t for i.
-5
Suppose 10 = o + o. Suppose 1 = -o*u + 6. Solve z + 2 = -u for z.
-3
Suppose -56 + 11 = -5*y. Solve c = 4*c - y for c.
3
Suppose -4*q = l + 6, 4*l + 2*q - 12 = -2*q. Let z be (-3)/(-1 - 3/l). Suppose s - 6 = -z*s. Solve -s*p + 0 - 8 = 0 for p.
-4
Let a(k) = 5*k**2 - 1. Let r be a(1). Solve 6 - 2 = r*w for w.
1
Suppose -3*l + 3 + 3 = 0. Solve -l*x = -3 + 9 for x.
-3
Suppose -4*q + 2 + 6 = 0. Suppose x + q = 4. Solve -c = -3 + x for c.
1
Suppose 3*j - 5*j = -4*s + 82, 5*s = -4*j + 96. Let u = -20 + s. Solve u*o = o for o.
0
Let z = 12 - 7. Suppose 5*p - 90 = -n, -z*p + 90 = -0*p + 4*n. Solve 5*y - p = 7 for y.
5
Let r be (-10)/10 - (9 + 1). Let a = r + 14. Solve -v = a*v for v.
0
Suppose 0 = -4*c + 86 + 30. Suppose -4*l + 4*t + 82 - 6 = 0, -3*l - 4*t = -c. Solve -2*p - l = p for p.
-5
Suppose 4*f = -0*f + 16. Suppose f*u - 21 = u. Let o be 6/(-9) - 154/(-6). Solve -2*s + u*s = -o for s.
-5
Suppose 5*p - 15 = -4*k - 3, 2*k = -5*p + 6. Suppose -9*r - 1143 = -1152. Solve -k = -a - r for a.
2
Let d(z) = -z**3 + 6*z**2 - 7*z + 16. Let w be d(4). Solve w = -2*g - 2*g for g.
-5
Let k = -28 + 29. Solve 5*x - k - 4 = 0 for x.
1
Let w(z) be the first derivative of -z**3/3 - 4*z**2 - 7*z - 2. Let g be w(-7). Suppose g = 4*i - 5*u - 2, 5*u - 2*u - 6 = 0. Solve -i*v = -6*v + 12 for v.
4
Let r(m) = -m**2 - 5*m. Let p be r(-5). Solve 5*z - 1 - 4 = p for z.
1
Let a be ((-16)/(-20))/((-2)/10). Let x be 0 + a + (-2 - -4). Let q = 1 - x. Solve 0 = q*s + 12 - 3 for s.
-3
Suppose 22 - 233 = -5*p - 3*l, 0 = -p + 3*l + 35. Let y = p + -24. Let s = y + -9. Solve 0 = -0*d + 4*d + s for d.
-2
Suppose 0 = 2*w - w - 8. Suppose -w*j = -5*j - 12. Solve -j - 1 = -5*v for v.
1
Let f = 11 - 6. Suppose 2*q + 12 = f*q. Suppose -q*g = g. Solve 5 = 5*i - g for i.
1
Let v = 59 - 59. Solve -8*j + 3*j + 20 = v for j.
4
Let r(b) = -b**3 - 8*b**2 - 8*b - 6. Let g(m) = -m - 4. Let k be g(3). Let z be r(k). Let l = 2 + z. Solve l*s + 0 = -6 for s.
-2
Let y = 20 - 10. Suppose -5*k + 24 = 2*h, y = h + 4*k - 2*k. Solve 0 = o - h*o + 2 for o.
2
Suppose 3*z - 2*z = 0. Suppose 0*m = -2*m - 8, 5*j - 4*m = 41. Solve z*w = -j*w + 15 for w.
3
Let l = -1 - -4. Suppose 7*x + 5 = 12*x. Suppose -3*q = -3*r, 2*q - 4*r + 0 = -4. Solve 0 = -l*s - q - x for s.
-1
Suppose -2*n - 11 = -d + 5, 25 = -5*n. Solve -c = c - d for c.
3
Let p(d) = d**2 - 6. Let y be p(0). Let m(v) = -v**3 - 6*v**2 - 2*v - 2. Let q be m(-6). Let n = q + y. Solve -3*l = -l - n for l.
2
Let p be (-2)/8 + (-707)/(-28). Suppose 2*a = -2*v + 20, a - 4*v + p = 2*a. Suppose -a*o - 15 = -10*o. Solve 0*g - o*g + 9 = 0 for g.
3
Suppose 0*o = 2*o. Solve o = -f + 2*f - 2 for f.
2
Let q be 1/(2/4) + -2. Suppose 3*o + 0*o = q. Solve 0 = -o*l - l + 5 for l.
5
Let z(u) = -u**2 - 6*u - 3. Let p be z(-2). Let o(d) = -d**3 + 5*d**2 + d - 1. Let y be o(p). Solve 0*v + v = y for v.
4
Let m(c) = 2*c**2 - 2*c - 1. Let n be m(-2). Let t be -10 - (0 + 1)*-2. Let j = n + t. Solve -10 = j*u + 2 for u.
-4
Let i(k) = k. Let s be i(6). Let t(v) = v**3 - v**2 + 3 - 5*v**2 + 0*v**2. Let a be t(s). Solve a = -l + 8 for l.
5
Let y(v) = v**2 - 15*v - 23. Let s be y(16). Let k be 0/(s/((-14)/(-4))). Solve k = -0*h - h for h.
0
Let b = -1 - -5. Suppose b*r = -r. Solve r = t + 1 - 3 for t.
2
Suppose -60 = -4*k + 2*k. Let w = 46 - k. Suppose -5*o = -20, -3*a - 3 + w = o. Solve 13 = a*m + 1 for m.
4
Let j(h) = -29*h + 1. Let s(q) = 2*q + 3. Let l(r) = 1. Let p(g) = 6*l(g) - s(g). Let o be p(2). Let t be j(o). Solve 0 = -4*f + 10 - t for f.
-5
Let p(k) = k**3 + 4*k**2 - 2*k - 1. Let g be p(-5). Let n = 19 - g. Suppose -5*x + 55 = -n. Solve -2 - x = 4*w for w.
-5
Let m(y) = -y. Let g be m(-2). Suppose 0*p = -3*w - g*p + 2, p = w - 4. Suppose w*x - 15 = -3*x. Solve x*d = -10 + 25 for d.
5
Let z(b) = -b**3 + 8*b**2 + 2. Let s be z(8). Suppose d - 18 = -5*h, 0*d + d + 3*h = 12. Solve -s = 5*j + d for j.
-1
Suppose p + 5 = 3*o, -3*o - 3*p - 5 = 10. Solve -4*u - 8 = -o for u.
-2
Let m(g) = -g**2 - 10*g + 13. Let i(t) = -t**3 - 7*t**2 - 4*t + 1. Let u be i(-6). Let h be m(u). Solve 5*c = 3*c + h for c.
1
Let b = -5 + 11. Suppose o = -o + b. Solve 2*w - 1 = -o for w.
-1
Let u(n) = 4*n - 3. Let s be u(2). Suppose s = 2*a + 1. Let l be (2 - 5)/(-1*1). Solve l*j - a = 2*j for j.
2
Let x(u) = u**2 - 13*u + 12. Suppose 0 = -0*m + 3*m - 36. Let r be x(m). Solve r = -4*i + 3*i + 5 for i.
5
Let h be (48/(-18))/(1/3). Let s be (-46)/h - (-7)/28. Solve -c = c - s for c.
3
Suppose 0*z = -5*z - 25, v + 5*z + 22 = 0. Suppose -v = -7*s + 4*s. Suppose -15 = -5*a - 0*a. Solve 0 = -a*b + s - 10 for b.
-3
Suppose -3*b - 2 = -4*b. Suppose -y + 4 = 4*j, j + 2*y - b - 6 = 0. Suppose 4 = -j*u + u. Solve -u*n = -3*n + 3 for n.
-3
Suppose -36 = -o - 2*o. Suppose 4*n = 4*a + o, 6 = -n - 5*a + 3*a. Solve 0 = -n*w - 5*w for w.
0
Suppose -29 + 2 = -2*a - 3*j, 4*a - 39 = -3*j. Suppose a*l = 4*l. Solve 0*v + 4*v = l for v.
0
Let n = -27 + 30. Solve -s = n*s for s.
0
Let o(u) = 2*u - 6. Let a be o(4). Let y be a + (2 - 2)/1. Let c(x) = x**3 - x**2 + 2*x - 3. Let j be c(y). Solve -s = -j*s for s.
0
Suppose -3*f = -0*f - 15. Suppose -4 = -f*g + 16. Solve i - 9 + g = 0 for i.
5
Let t(i) = -i**2 - i + 2. Let p(n) = n + 6. Let l be p(-8). Let u be t(l). Solve 0 = d - u + 3 for d.
-3
Suppose 8*p - 3*p = 0. Suppose p*u + 23 = u. Let v = -16 + u. Solve -1 = 2*o + v for o.
-4
Let y be (-84)/(-9) + (-1)/3. Solve 2*a = -y - 1 for a.
-5
Let j = 44 - 29. Solve 0 = -2*z - 3*z - j for z.
-3
Let j be (-2 + 2)/((-6)/(-6)). Suppose -5*k = 2*o - 2, -5*k + j*o - 10 = 5*o. Solve 5 - 1 = -k*s for s.
-2
Suppose 5*q - 90 = 2*q. Let v = q - 12. Let y be (-16)/(-72) + 50/v. Solve 3 = -y*m - 3 for m.
-2
Suppose -s - 4*q = -4, -4*q + 2 = -3*s - 2. Solve -k = -s*k for k.
0
Let t(g) = g**3 + 16*g**2 - 16*g + 26. Let y be t(-17). Solve -2*b = b + y for b.
-3
Let l(q) = q - 1. Let b be l(1). Suppose -4*x + 4*m + b*m + 8 = 0, x - 3 = 2*m. Let f be ((-4)/(-6))/(x/3). Solve 0 = -f*r - 2*r for r.
0
Let b(s) = -2*s**3 + 5*s**2 + 5*s - 3. Let n be b(3). Solve -n*p = -3 - 0 for p.
1
Let l = 20 - 20. Solve l*h - 4*h = 12 for h.
-3
Let p be 60/25 - 12/(-20). Solve 4*a = 5*a - p for a.
3
Let h = -2 - -2. Suppose 0 = 3*c - c - 50. Suppose 0 = -5*w + c - 0. Solve -u + w*u - 4 = h for u.
1
Let d be -8 + 5 - 24/(-2). Solve -4*l - d = -l for l.
-3
Let q(f) = -f**2 + 5*f + 4. Let g be q(4). Suppose 5 = 5*u - 60. Let v = u - g. Solve 0 = -v*l + 2*l + 12 for l.
4
Let v(j) = -j**3 + 5*j**2 + 5*j. Let d be v(6). Let p be d*(1/2)/(-1). Solve o = -0*o - p for o.
-3
Let d be (-9)/15 + -3 + (-72)/(-20). Solve -i + d*i = -1 for i.
1
Suppose 0 = i - 5*r - 20, 12 + 2 = 4*i + 2*r. Suppose i*h = 11 + 9. Solve 4*w - h = 4 for w.
2
Let d be ((-7)/(-3) - 3)/((-4)/150). Solve -2*x + 7*x - d = 0 for x.
5
Suppose -t = -2*t. Suppose 5*k - 15 = -t*k. Suppose -4*u - 6 = -5*q, -k*u - 2 = -5*u. Solve -q = 2*j - 4*j for j.
1
Let j(a) = a + 11. Let c be j(-7). Let t = 0 + c. Solve t*b + 1 = -3 for b.
-1
Let b(l) be the second derivative of l**4/12 + l**3/3 - 5*l**2/2 - 4*l. Let x be b(-5). Solve -3*p = -5*p - x for p.
-5
Suppose -2*q + 2*j = -1 - 11, -q - j = 2. Solve q*x = -x for x.
0
Suppose 0*u + 9 = 3*w + 4*u, -4*u = 0. Solve -1 = -p - w for p.
-2
Let g(i) = i**3 + 20*i**2 + 35*i - 16. Let f be g(-18). Solve 0 = f*k - 3*k for k.
0
Let t be -9*(34/(-6) + 3). Solve 0 = 5*k + 1 + t for k.
-5
Let z(m) = -m**3 - 5*m**2 + 5*m. Let r(q) = q - 3. Let o be r(7). Suppose -2*k - 3*f + 0 = 3, o*f = k + 18. Let l be z(k). Solve -2 = -2*j + l for j.
4
Suppose -b - 4*b = -5. Let q = 6 - b. Let x be -3*3/(-9) - -3. Solve -1 - x = -q*f for f.
1
Let q(x) be the first derivative of 2*x**3/3 - 3*x**2 - 6*x - 1. Let g be q(5). Suppose -2*w + w - 2*o = -1, -w - 5*o = g. Solve -w = -3*v - 2 for v.
3
Let b(c) = c - 1. Let g be b(4). Suppose 0 = 5*q + 3*t, 3*t = g*q - 0*t. Solve q*v = -v for v.
0
Suppose 9 - 3 = -2*y. Let l be (-2 - y) + 2 + -1. Solve l*q + 0 = -8 for q.
-4
Let z be (8 + -41)/(3/(-2)). Let u be (-7 + z)/((-6)/(-8)). Sol