 + 8*f**2 - 2*f - 12. Let p be j(-8). Let a(h) = -h**3 + 5*h**2 + 4. Let y be a(5). Let n = -18 - -34. Solve -n = -p*m - y for m.
3
Let t be ((-1)/2)/(2/(-8)). Let c(j) = -j**3 - 12*j**2 + 5. Let g be c(-12). Solve t*f = g*f for f.
0
Let m = -18 - -25. Suppose 8*d = m*d + 3. Solve -d*q = -5*q + 2 for q.
1
Suppose -l = -3*l + 20. Let t = l + -6. Let z be (-6)/t*8/(-6). Solve f + z = -f for f.
-1
Let g = 8 - 5. Suppose 0 = 3*t - 6*t + g. Let w be (0/t - 2) + 2. Solve -2*n + w - 2 = 0 for n.
-1
Let a(c) = c + 5. Let j(h) = -h - 6. Suppose m - 10 = 5*z, 0 = m + 2*z - 0 - 3. Let w(t) = m*j(t) + 6*a(t). Let k be w(4). Solve 6 = 5*g - k for g.
2
Let w = -28 - 4. Let u = w - -52. Solve -4*o = -0*o - u for o.
5
Let w(r) = r**3 - 2*r**2 - 4. Suppose 0 = -3*g - g + 12. Let v be w(g). Solve -m = -0 - v for m.
5
Let s = 4 - 2. Let t = 16 - 5. Let k = t - 9. Solve -k*b - 8 = -s for b.
-3
Let m(o) = -2*o**2 + 7*o + 6. Let g be m(4). Solve b = g*b - 5 for b.
5
Let z(m) = 7*m + 1. Let n be z(-1). Let h = n - -21. Suppose -2*j + 4*j + 4*y - 12 = 0, 3*j = -3*y + h. Solve -3*q + j*q = 4 for q.
4
Let k(y) = 4 - 2 - y**2 - 4. Let d be k(0). Let f(a) = -2*a**3 - 2*a**2 + 1. Let q be f(d). Solve -5*z - 6 = q for z.
-3
Let s(o) = o**2 - o + 1. Suppose -c = 4*c. Suppose -5*g = -c*g. Let y be s(g). Solve -2*p + 9 + y = 0 for p.
5
Let z be (-3 - -1)/2 + 8. Let q = z + -7. Solve q = -6*o + 4*o - 8 for o.
-4
Suppose 5*y = 2 + 13. Solve -i = -0*i + y for i.
-3
Let u(r) = -2*r - 10. Let d(h) = h**2 + 6*h - 7. Let b be d(-6). Let l be u(b). Solve -j = l*j + 20 for j.
-4
Suppose -5*p + 24 = -s, -5*s - 16 = -s. Let t = p + 2. Solve -2*k = -t*k + 12 for k.
3
Suppose 0*y = -c - 4*y + 10, 3*c + 2 = 4*y. Let o = -2 + c. Suppose o = k - 4*n - n - 6, -k = 2*n - 6. Solve k = -r - r for r.
-3
Let i(h) = 6*h**2 - 3*h**3 - 7*h - 5*h**3 + 5*h**3 + 4*h**3 + 5. Let d be i(-7). Solve 0*p = d*p - 5 for p.
1
Suppose -2*r + r + 2*q = -4, 3*r - 2*q - 4 = 0. Suppose 0 = -5*f - 25, r*f - 40 = -5*v + 4*f. Solve 3*j = v*j - 5 for j.
5
Suppose 0 = -4*f - 0*f + 12, -2*y + f = -7. Suppose 2*j = -4*c + 7*c - 12, -9 = 3*c + 5*j. Suppose m + 16 = -c*o - 3*m, -20 = y*m. Solve 0 = 5*t - o*t for t.
0
Let i be ((-5)/3)/((-3)/(-9)). Let z = 9 + i. Suppose v + 8 = 4*d, -2*d = d - 5*v + 11. Solve z = d*m - 2 for m.
2
Let l(o) = -o**2 + 4*o - 2. Let y(v) = -3*v**2 + 12*v - 7. Let i(h) = 7*l(h) - 2*y(h). Let u be i(4). Suppose u*a = -a + 4. Solve a*d = -10 - 6 for d.
-4
Suppose -3*r = -5*r + 8. Solve -2*v + r*v = 6 for v.
3
Let d = -5 + 10. Suppose -j + 13 = 2*i, 6*i = i + 25. Suppose -d = -u + j. Solve 5*x + 7 = -u for x.
-3
Let p(x) = 6*x**3 - 2*x + 1. Let u be p(1). Suppose 2*h = u - 1. Solve 0 = -d + h + 2 for d.
4
Suppose -3*z = 2*z. Solve z = r + 2*r for r.
0
Let k be (-1)/(3/(-9)*1). Suppose 0 = k*q - 16 + 1. Solve q = -f + 6*f for f.
1
Suppose 21 = 2*t - 3*p, -3*t - 3*p - 12 = -4*t. Solve t = q - 4*q for q.
-3
Let h be (8/(-28))/(2/(-28)). Solve x + 0 = h for x.
4
Let o(m) = -4*m - 24. Let t be o(-7). Suppose -2*q + 5*q = 4*g - 11, 2*g = -4*q + 22. Solve -t*i = -5*i - g for i.
-5
Suppose -2*n + 21 = 3*j + 3*n, -13 = -5*j - n. Let m(s) = -s**2 + 6*s - 3. Let b be m(5). Suppose -r + 5*u = -7, -j*u - b*u - 4 = 0. Solve r*l + 2 = 3*l for l.
2
Let b be 4 + (6 - -2)/(-4). Suppose 4*f - 5*f = -15. Solve 0 = -b*h - h + f for h.
5
Let w be 1*3*(-80)/24. Let g = -9 - w. Let j be 1 + (2 - 1/(-1)). Solve 0 = 3*f + j - g for f.
-1
Suppose 2*z + 2*z - 12 = 5*d, -5*z - d = -15. Solve -w = z*w for w.
0
Suppose -1 = 2*t - 13. Let u(c) = -c**2 - 8*c - 9. Let a be u(-6). Let d = a + 0. Solve 3*j - d = t for j.
3
Let j be 4/(-8)*(0 + 0). Let h be j + (-2)/(-2) - -4. Solve -l + h = 2 for l.
3
Let k be 4/10 - 66/(-10). Let a = -7 + k. Solve a = 4*d + d + 10 for d.
-2
Suppose 2*k - 14 = 3*q, -2*q + q + 18 = 5*k. Let i(o) = -14 + 0*o + 12 - 3*o. Let p be i(q). Solve 4*l + p + 4 = 0 for l.
-2
Suppose -2*s + 9 = -s. Solve -s + 1 = -4*o for o.
2
Suppose -3 - 2 = -5*u. Suppose -r + 2 = -a - 7, -2*r + 3*a = -18. Solve 2*z = r - u for z.
4
Suppose 2*k + 7 = 3. Let z be 3/(-6)*-6 + k. Solve -z = -4*g + 7 for g.
2
Let l be 46 - 43 - (1 - 2 - -1). Solve v + 1 = l for v.
2
Let f be 21/(-1)*(-9)/(-27). Let a = f + 9. Solve a*w = w for w.
0
Let y(q) = -q**2 + 3*q + 5. Let w be y(4). Solve 0 = -4*v - w + 13 for v.
3
Suppose -3 - 1 = -2*q. Solve 3 = -q*z + z for z.
-3
Suppose l + 4*j + 131 = -4*l, 4*l + 96 = -j. Let h = l - -48. Solve -5 = -5*t - h for t.
-4
Let j be (42*(-8)/(-6))/(4 - 2). Solve -5*p - 8 + j = 0 for p.
4
Suppose -289*x + 288*x = -3. Solve x*k = 7*k - 8 for k.
2
Suppose -4*m + 20 - 8 = 0. Let o(z) = z**3 - 4*z**2 + 3*z + 2. Let x be o(m). Solve -x = 3*k - 2*k for k.
-2
Let y be (-5 + 4)/(2/(-76)). Suppose -y = -6*n + n - 2*g, -34 = -4*n + 2*g. Solve 0 = -3*s + n*s - 15 for s.
3
Suppose -30 = -5*n + 5*w, -3*n + 5*w = -4*n. Suppose 0 = -4*r + n*p - 12, 0 = -5*r + 2*r - p + 10. Let k = 1 + r. Solve 0 = q - k + 2 for q.
1
Suppose 5*f - 20 = 5*b, -4*f + 3*f - 3*b = -8. Solve 0 = f*u + 5 for u.
-1
Let m = 3 - 3. Suppose 2*i - 119 = -5*h - i, 56 = 2*h - 3*i. Suppose h - 150 = -5*q. Solve m = 4*f - 9*f - q for f.
-5
Suppose -20 = 11*x - 16*x. Solve -x*t = t for t.
0
Let a(t) = 5*t**2 - t - 1. Let n be a(-1). Let i = n - 5. Solve i = -4*o + 4 + 4 for o.
2
Let v(c) = -c**2 - 15*c - 20. Let r be v(-13). Solve -16 = -5*g - r for g.
2
Let d be (-1 - -4) + 0 + 2. Suppose 3*t + 2*t = 10. Let u be ((-6)/(-5))/(8/20). Solve t*b = d + u for b.
4
Let h = 3 + -9. Let p = h + 8. Solve -p*o + 10 = 3*o for o.
2
Suppose 0 = 3*g - 4*x - 14, -x = 4*g - 3*g + 7. Let j be ((-15)/5)/(g/2). Suppose 5*t - j = 2. Solve -t = -q - 2 for q.
-1
Suppose -3*c = 5 + 4, -4*i = -c - 43. Solve -3*o - 2*o = -i for o.
2
Suppose n + 2*o = -11 + 3, 5*n + 2*o = 0. Suppose 3*m + 2*m - 20 = 0, n*i - m - 16 = 0. Solve b = -b - i for b.
-5
Suppose -l + 4*l - 9 = 0. Let v be ((-6)/(-2))/(-3) + 4 + -1. Suppose -y + 3*i = 5, 5*y + v*i + l = 6*i. Solve y - 6 = -u for u.
5
Let s be (-2 + -5 + 2)/(-1). Solve 29 - 4 = s*h for h.
5
Suppose -5*d + 0*d = -30. Solve 0 + d = -2*f for f.
-3
Let y(f) = -5*f**3 + f**2 + f - 1. Let j be y(-1). Solve w - j = -2 for w.
2
Suppose 0 = -9*g + 4*g + 15. Solve -g*j - 12 = -0*j for j.
-4
Suppose 5*i - 3*h + 21 - 93 = 0, -2*i - 4*h + 8 = 0. Suppose -4*z + 0*z = 0. Let x be -1 + -1 - (-14 - -4). Solve z = -5*g + i + x for g.
4
Let l(t) be the first derivative of 10*t + 1/3*t**3 + 9/2*t**2 - 1. Let s be l(-8). Solve j = s*j + 3 for j.
-3
Suppose s = -4*s - 35. Let d be 2/s - (-40)/(-7). Let z be (-1)/3 - 20/d. Solve i = -z*i + 4 for i.
1
Let i(s) = -s - 13. Let p(m) = -3*m - 39. Let k(t) = 8*i(t) - 3*p(t). Let q = 42 + -53. Let l be k(q). Solve -4*y = -2 - l for y.
1
Suppose 4*h = 5*h - 5. Let p(l) = -l - 2. Let o be p(-6). Suppose -1 = -2*q + 3*r, -o*r + 1 = -q - 1. Solve -q*v = -h*v - 15 for v.
-5
Let y(j) = j**3 - 2*j**2 + 3*j - 3. Let p be y(2). Suppose t = p*t + 8. Let r be ((-2)/t)/((-5)/(-80)). Solve 3*m + 1 = -r for m.
-3
Suppose 3*h - 12 = -v, 3*v - h + 4*h = 18. Suppose v*u + 7 = -2*l - 2, -5*l - 4*u = 12. Suppose l*r = -r. Solve -5*m - 11 - 14 = r for m.
-5
Let g(p) = -p + 2. Let w be g(-4). Let n be (-40)/(-22) + w/33. Solve -o = -0*o - n for o.
2
Let a(q) = -q**3 + 6*q**2 - 5. Let r be a(5). Suppose -3*x = 2*x - r. Solve -x*i = -2*i - 4 for i.
2
Suppose 4*c + 12 = 10*c. Solve 3*y - 25 = -c*y for y.
5
Let k(a) = a**2 - 4*a - 17. Let x be k(7). Solve -4*d = -x + 12 for d.
-2
Let q be 6 + (-3)/((-6)/(-4)). Solve 2*o - 8 = q*o for o.
-4
Let f(a) = 2*a**3 - 3*a**2 + a. Let w(y) = -y**3 + 2*y**2 - 2*y + 1. Let o(x) = 2*f(x) + 3*w(x). Let g be o(2). Suppose 2 = 5*t - g. Solve 3 = 4*m - t for m.
1
Suppose 4*y + i = -5, 0 = -i + 2*i + 5. Let g = 2 - y. Solve -2*w - 8 = g*w for w.
-2
Let r be -1*(-1)/(-2)*-6. Suppose -4*d + 8*s + 27 = 3*s, -5*s = 4*d + r. Solve 0 = -4*x - d + 7 for x.
1
Suppose i + i + 40 = 0. Let v = -14 - i. Solve -v*x = -2*x for x.
0
Let j(a) be the second derivative of -3*a**5/20 - a**4/6 + a**2/2 + a. Let v(r) = r**2 + 3*r - 5. Let s be v(-4). Let b be j(s). Solve -b*i = -i for i.
0
Let w(i) = -i - 3. Let h be w(-5). Let z(b) = -b + 8. Let k be z(0). Suppose d - h*m + k = 4*d, -d - 14 = 4*m. Solve -5*t + 9 = -d for t.
3
Sup