olve -4 = -f + a for f.
5
Let o = -14 + 16. Solve 0 = o*p - 0*p + 6 for p.
-3
Let q = -2 + 8. Solve -h - q + 2 = 0 for h.
-4
Suppose 0 = 4*y + 5 - 1. Let l be ((-4 - -3)*5)/y. Suppose -40 = s - l*s. Solve 0*v - 2*v = -s for v.
5
Let d(c) = -c**2 - 6*c - 5. Let y be d(-4). Suppose -y*b = 2 - 11. Solve 3*l + 0 - b = 0 for l.
1
Suppose 4*r = -2*b + 36, -r + 2 = b - 3*r. Suppose 0 = 9*c - b*c. Solve 2*q + 0*q - 2 = c for q.
1
Let w(a) = -a**2 - a + 2. Let o be w(-2). Let l(k) = 4 - k**2 + o*k**2 - 2*k + k. Let n be l(0). Solve -3*p + n = -p for p.
2
Suppose -3*i + 12 = -2*i + 5*p, -i + p = 0. Let j be (2 - 3) + 26/i. Suppose 5*m + 4*b = -0*m + 24, 3*b = -j. Solve -2*q + m = 2*q for q.
2
Let l(k) = k**3 - 6*k**2 + 4*k - 7. Let s(r) = r**2 + 5*r - 1. Let n be s(-6). Let j be l(n). Let z = -6 - j. Solve -4*f + z = -14 for f.
5
Let o = 21 - 19. Solve o*v = 5*v - 15 for v.
5
Let s = 46 - 46. Solve s = -0*i + i for i.
0
Suppose 5*f + 33 = 173. Let r = f + -28. Solve -16 = 4*n - r for n.
-4
Suppose 18 = 5*c - 7. Solve c - 13 = -2*n for n.
4
Suppose 3*i = 3*v + 6, 0*v - 4*i = -v - 8. Suppose -2*g - 3*d = -7*d - 18, v = 2*d + 4. Solve -7 = -g*n + 3 for n.
2
Let i(u) = -u**3 + 5*u**2 - 3*u + 1. Let t be i(4). Suppose -2*n + t*r = -3*n, 0 = 2*r + 4. Suppose 2 + n = 4*k. Solve 3 = -k*q + 6 for q.
1
Let g = -3 - -5. Let h = -4 - -9. Suppose 0 = -3*z + 3*v + 6, 14 = h*z - v + 4. Solve g*q = -z*q for q.
0
Let t be 3*1 - 2/2. Let c be -34*2/(-3 + -1). Suppose -3*x + 4*d + c = 0, -4*x + 5*d = 6 - 28. Solve -x*p - 1 = t for p.
-1
Suppose 0*l - 4*l + 4 = 0. Let o(h) = h - 1. Let y be o(l). Solve -3*u + 1 + 2 = y for u.
1
Let a(y) = y**3 - 5*y**2 - 3. Let p be a(5). Let q(b) = -b**3 - 3*b**2 - 3*b - 4. Let z be q(p). Solve -z*s = -3 - 12 for s.
3
Let r(f) = f**2 + 6*f. Let w be r(-6). Let s(l) = -l**3 + 6*l**2 + 4. Let h be s(6). Let o = -5 - -10. Solve -h*a + o*a - 5 = w for a.
5
Let f = -40 + 42. Solve -u + f = -3*u for u.
-1
Let g be 2 + 42/14 + (-2)/1. Solve g*s + 8 = -s for s.
-2
Let h = -12 + 5. Let g = 10 + h. Solve i = g*i - 8 for i.
4
Suppose 4*q + g = 6*g + 21, -5*q + 3*g + 23 = 0. Let l be (-20)/(-15) + 2/3. Solve -l*o + q = -o for o.
4
Let i(j) = -2*j**2 + 5*j + 4. Let f be i(4). Let y = f - -13. Solve 2*h - 9 = y*h for h.
-3
Let i(w) = -4*w**3 - 1 + 0 + 2*w**2 + 5*w**3. Let d be i(1). Let p be d + -1 + -1 + 0. Solve p*b + 3 = -b for b.
-3
Suppose -5*c - 28 + 13 = 0. Let p be 2/c*(-150)/5. Solve -3*f - f = -p for f.
5
Let d be 1/(2/(-3) + 1). Solve -1 = d*j - 4 for j.
1
Let f(y) be the second derivative of y**6/240 - y**5/40 - y**4/6 + 2*y. Let n(h) be the third derivative of f(h). Let o be n(2). Solve o*v + 6 = -0 for v.
-2
Let h(l) = -l. Let g be h(-10). Solve -7*o + 2*o = g for o.
-2
Let q(o) = 2*o - 14. Let y be q(7). Solve y = -2*r + 3*r - 3 for r.
3
Suppose -2*c = -5*c. Suppose -4*n = -4*g - 3*n + 14, 22 = 4*g + 3*n. Suppose 2*o + c*v = -3*v + 29, 4*o = g*v + 68. Solve -o = 4*h - 0*h for h.
-4
Let j(u) = 2*u - 7. Let z(i) = i - 6. Let h(p) = 6*j(p) - 7*z(p). Let b be h(1). Let w(k) = k + 8. Let d be w(-4). Solve -d*n + 3*n = b for n.
-5
Let k be (-8)/12*(-6 - 0). Let x = k + 0. Solve 0*i = x*i for i.
0
Let b be (1*-2 + 2)*1. Suppose -2 = -k - 0. Suppose 3*p - 21 + 7 = -t, 3*t - 21 = -k*p. Solve b = -p*a - 14 - 1 for a.
-5
Suppose -24 = -4*t - 3*b, -5*t + 18 = -2*t - 4*b. Let q be t/(-27) + 101/9. Solve -q = 3*g - 2 for g.
-3
Let t(l) = -7*l**2 + 6*l + 6. Let o(u) = 15*u**2 - 13*u - 13. Let c(b) = -6*o(b) - 13*t(b). Let w be c(-3). Solve 5*n - w - 1 = 0 for n.
2
Let y(q) = -q**3 + 7*q**2 + 6*q + 17. Let k be y(8). Let z be k/2 + (-9)/(-18). Solve 3*b + 2 + z = 0 for b.
-1
Suppose 3*w - 44 = w. Suppose -w*x = -26*x + 32. Solve -2 = -5*g + x for g.
2
Let f = -44 - -44. Solve 3*g - 2*g = f for g.
0
Suppose -5*v = -5*g - 0 - 20, 0 = 5*g - 4*v + 16. Suppose -5*c = -t - 17, g*t = -3*t - 2*c + 17. Let o be 0 - t/(2 - 3). Solve -o*a + 22 - 10 = 0 for a.
4
Suppose -2*t + 0*t = -10. Suppose 4 = -t*y + 2*h + 14, -5*y - 2*h = -30. Let c(u) = u**2 - 2*u - 5. Let j be c(y). Solve -20 = -f - j*f for f.
5
Suppose 3*x + 4*m = 26, -3*x + m + 1 = -0. Solve -x*t + 15 = -5*t for t.
-5
Let c = 11 - 10. Solve -3 = -4*g + c for g.
1
Let o = -19 - -21. Solve o*p + 9 = -p for p.
-3
Suppose 6*n - n = 25. Let g = 7 - n. Solve g*z + 0*z = 0 for z.
0
Suppose -4 = -5*t + 4*g, -2 = 3*t - 2*t + 2*g. Let d be (-90)/(-9) + t + -1. Solve -5*q + d = -11 for q.
4
Let q(y) be the first derivative of -y**3/3 + y**2 + 4*y + 2. Suppose 5*b - 2*d - 7 = 0, -4*d + 28 = -2*b + 6*b. Let u be q(b). Solve 0 = -o - 0*o - u for o.
-1
Let q = -5 + 5. Solve 2*k - 3*k + 4 = q for k.
4
Let j = -11 + 13. Let l be (-80)/(-50)*5/j. Solve -l = 2*t + 2 for t.
-3
Let t = 4 - 1. Suppose r - 6 = -4*u + t*r, u + 4*r = 15. Solve 6 = u*l - l for l.
3
Let y = -18 - -21. Let c(k) = k**2 + 7*k + 11. Let h be c(-6). Let u be 4*(17/4 + 0). Solve u - h = -y*j for j.
-4
Let v = -16 + 18. Solve 0 = f - v*f - 5 for f.
-5
Suppose 2*n = -4*u - 0*n + 14, -4*u + 3*n + 9 = 0. Suppose 0 = c - u*c - 10. Let i = -4 - c. Solve q - 3 = i for q.
4
Suppose 4 - 2 = 3*c + p, -3*p + 6 = 5*c. Solve c*v = 4*v + 4 for v.
-1
Let w = 160 + -160. Solve -2*m + 0 - 6 = w for m.
-3
Let o = -7 - -10. Solve -o*y = 2*y for y.
0
Let y(o) = 5*o - 12. Let n(z) = 9*z - 23. Let f(d) = 3*n(d) - 5*y(d). Let t be f(6). Solve t = b + 8 for b.
-5
Let i(l) = -2*l**3 + 12*l**2 - 7*l + 5. Let b be i(5). Solve -3*h = -8*h - b for h.
-4
Suppose 0 = -10*h + 7 + 13. Solve h*u = -0*u for u.
0
Suppose -3*a + 0 = -3. Let s = a - 1. Solve s*q + 5 = 5*q for q.
1
Let z(g) = g**2 - 11*g + 6. Let a be z(10). Let f be (a - -3)/(1/(-6)). Solve q = -q - f for q.
-3
Suppose 3*t - 30 = -0. Solve -4*l + 10 = -t for l.
5
Let m be (2 - 0)/((-2)/(-22)). Suppose -4*p = -2*a + 28, 0 = 2*a - 2*p + p - 13. Let u = -25 + 27. Solve -u + m = -a*v for v.
-5
Suppose d - 2*f - 9 = 1, -3*f - 45 = -3*d. Solve -2*o - d = 2*o for o.
-5
Suppose -4*p + 20 = 4*x, 4*x - 5*p + 6*p = 11. Let w = x - -3. Suppose -2*i + 36 = 3*a, -w*i - 5*a + 39 + 46 = 0. Solve -m = 2*m + i for m.
-5
Let l = -5 + -1. Let f = -2 - l. Let s be (1 - (-1 - 0)) + 2. Solve 4 + s = -f*r for r.
-2
Let z be (1 - 1 - 0) + -1. Let t be 2 + 0 + -1 + z. Solve -2*s = -t*s - 4 for s.
2
Let c(b) = 4*b - 4. Let t be c(1). Solve t = 4*f + 10 + 2 for f.
-3
Suppose -4*h + 15 = 11. Suppose 0 = 4*a - 3*a. Let v = 3 - a. Solve 14 = -v*o - h for o.
-5
Let p(d) = d**2 + 4*d - 7. Let s be p(-6). Suppose -2*n + 5*n = y, -4*n = -3*y + s. Solve 0*f - 15 = -y*f for f.
5
Let f = 5 - 3. Let m be 2/(4/f) - -1. Solve -m*c + 6*c = 16 for c.
4
Let w be (-3)/(27/60)*-3. Suppose -3*t - 2*q = -95 + w, 2*t - q - 43 = 0. Solve 4*d = -3 + t for d.
5
Suppose -16 = -2*q + q - 4*w, -13 = -4*q + w. Solve -q*i = -2*i - 4 for i.
2
Let r(g) = -2*g + 7. Let q be r(5). Suppose 0 = 2*h - 6*h - 16, 2*a - 3*h = 8. Let c be q/a - (-6)/(-4). Solve f + c = -1 for f.
-1
Let p be (-1 - (-6 + 3))/1. Suppose -2*s = -o, 0 = -3*s - p*o + 7*o. Solve s = -3*z - 3 - 3 for z.
-2
Let s be 2/(-3)*15/(-2). Suppose 4*w - 3*o - 15 = 0, s*w - 5*o = -8 + 33. Suppose -3*q + 0*q = w. Solve -v + 2*v = q for v.
0
Suppose 7 = 4*v - 17. Suppose 4 = v*g - 4*g. Let t(i) = i - 3. Let d be t(3). Solve -3*k - 8 + g = d for k.
-2
Let q(c) = -c**3 - 6*c**2 - 6*c. Let i be q(-5). Suppose 4*b = -4*w + 4, 2*w + 7 + 3 = -i*b. Solve -2*h + 5 = -w for h.
5
Let p(c) = -2*c + 5. Let s be p(-5). Let u be (0 + 5)*32/40. Suppose 0 = 3*v - 4*b + 3 - 14, -u*v + 3*b = -17. Solve s = v*x - 0 for x.
3
Let a(d) = d**2 + 3*d - 6. Let r = 8 + -13. Let u be a(r). Solve 4*k - u = -0 for k.
1
Let i be ((-8)/(-3))/(6/9). Solve -i*c + 5 - 1 = 0 for c.
1
Let c = -26 - -26. Solve 4 = -n - c for n.
-4
Let k(i) = i**3 + 15*i**2 + 2*i + 34. Let h be k(-15). Solve -6*q = -h*q - 8 for q.
4
Let d be 1/((-3)/6*-1). Let q = d - 2. Suppose -2*l - 4*u - 6 = q, -2*l - 4*u = 2*l. Solve -l*w - 1 = -13 for w.
4
Suppose 2*a = -z + 2, -z + 0*a + 3*a - 3 = 0. Suppose -o = -3*o + 6. Let k = z + o. Solve k = -0*n - n for n.
-3
Suppose 0 = 3*o + 3*a, o + 3*o + 3*a - 2 = 0. Solve o*l = 6*l - 8 for l.
2
Let c = -3 - -7. Suppose 0 = -c*o - 0*o + 24. Suppose -2*h + a = -o, -2*h = 2*h - 3*a - 12. Solve -h*i + 3 = 12 for i.
-3
Let v be 3 + -2*18/12. Sol