) + 34/9. Suppose -f = f - c. Let q = -280 - -283. Solve -k - q = -f*k for k.
3
Let i(x) = -x**3 + x**2. Let o be i(1). Let b(s) = s. Let q(p) = p**2 - 8*p - 4. Let a(l) = -4*b(l) - q(l). Let j be a(4). Solve j + o = -4*y for y.
-1
Let d(h) = h**3 - 6*h**2 + 4. Let u(a) = 7*a**2 + a. Let r be u(-1). Let x be d(r). Solve 0 = -0*y + 4*y + x for y.
-1
Suppose -8*m = -146 - 14. Suppose 5*j - 2*n + 30 = 0, 9*j - 4*j = n - 25. Let r = j - -7. Solve t = -r*t - m for t.
-5
Suppose 3*t - 4*t + 2 = 0, 0 = k - 2*t + 54. Let x be (-140)/k - (-1)/5. Solve -w = -x + 2 for w.
1
Suppose -3*y = 338 + 640. Let i = -232 - y. Suppose 160 = 4*c + 3*t, -6*c + 2*t + i = -4*c. Solve 0 = -5*u + c - 18 for u.
5
Let s = 17 + -12. Let k(p) = -8*p. Let z be k(-2). Solve b + z = s*b for b.
4
Suppose j = 3 - 0, -5*j + 21 = 3*k. Suppose 2*c - 4 = p, -3*p - k*p + 19 = 3*c. Solve 0 = -0*u + p*u - 4 for u.
2
Let u(x) be the second derivative of x**4/12 + 3*x**3/2 + 5*x**2 + x. Let p be u(-8). Suppose -p*o = -0 - 24. Solve -o = -4*a + 4 for a.
4
Suppose 0*n + n - 25 = 0. Suppose -3*a + 4*a = n. Solve 5*i = -0*i - a for i.
-5
Let r = -66 + 69. Solve -k + 4*k = -r for k.
-1
Let z be (-4 + 0)/(-1) - -2. Solve -2*t = -z*t - 8 for t.
-2
Suppose -2*g - 3*g + 15 = 0. Suppose o + 0*o = g. Solve z = 4*z - o for z.
1
Suppose 0 = t - 4*n - 12, 5*n - 10 = -5*t. Solve 5 = t*y - 3 for y.
2
Suppose 3*g - 6 - 6 = 0. Let b be 2/g - (-12)/(-24). Solve a - 4*a + 6 = b for a.
2
Let x(u) = -u**2 + 7*u - 2. Let t be x(6). Solve -k + t - 3 = 0 for k.
1
Let o(p) = -p**2 - 3*p - 1. Suppose -5*i + 10*i + 5 = 0. Let h be o(i). Suppose 3 + 15 = 3*k. Solve -5*z - h = -k for z.
1
Let w(h) = h + 6. Let u be w(-6). Suppose u = -5*l + l + 20. Let m(n) = -28*n + 142. Let i be m(5). Solve i*o + l = 1 for o.
-2
Let j(b) = b - 2. Let a be j(4). Let r(v) = v - 2. Let y be r(a). Solve y*m = -m + 3 for m.
3
Suppose 0 = d - 6*d - w + 40, 3*w + 51 = 4*d. Solve -6 = 5*s + d for s.
-3
Suppose -3*l = 2*u - 14, 2*u + 4*l + 2 = 9*l. Suppose -7*v + 3*v = 2*n - 8, 0 = u*n. Solve v*k = -0*k - 6 for k.
-3
Let k be 0/(-2*(1 + 0)). Let b(c) = c**2 + 6*c - 7. Let g be b(-6). Let y be (-33)/g - (-2)/7. Solve k = -0*x + y*x - 15 for x.
3
Suppose u = -8 + 25. Suppose -15 = -2*x + u. Suppose -4*t + 11 = h, -x = t + 3*h + h. Solve -v + 25 = t*v for v.
5
Suppose -25 = -5*u, 4*t + 5*u - 13 = 60. Solve 0*s = 3*s - t for s.
4
Let c(x) = -3*x + 3 - x**3 - 1 + 2*x. Let o be c(0). Let z be 1/(o - (-10)/(-6)). Solve -n = z*n - 12 for n.
3
Let x(d) = -d**3 - 8*d**2 + 2. Let j be x(-8). Let i = -15 + 16. Solve 0 = j*m - 3*m - i for m.
-1
Let b = 44 - 41. Solve 0 = 2*k + b*k for k.
0
Suppose -12 - 3 = -5*z. Suppose 2*o + z = -o. Let f = o - -3. Solve 2 = f*k - 4 for k.
3
Suppose 5*v = -3*f + 55, 0 = 5*f + 2*v - 3*v - 129. Suppose 0 = 2*r - 7*r + f. Solve r*n = -4 - 11 for n.
-3
Let z be 3/((-1 + -1)/(-10)). Let o be -10 + 8 + 3*(-8)/(-6). Solve -o*k = k + z for k.
-5
Suppose -2*l - 5*r + 27 = 0, 5*l - 3*r = r - 15. Let i be (-1 + (2 - l))/1. Solve -c - c - 10 = i for c.
-5
Suppose 2*h - 8 = -2*k, 8*k - 3*k - 2 = 4*h. Suppose 3 = -h*i - 4*u - 1, 12 = -4*u. Solve 2*n = -2 - i for n.
-3
Let p be 36/(-2)*6/(-12). Let s = -17 - -12. Let c = p + s. Solve 2*z = c*z for z.
0
Suppose -f = 4*f - 10. Suppose 0*w = -4*w + 4, 22 = 4*k - f*w. Solve -2 = k*t - 4*t for t.
-1
Let j(q) = -2*q + 7. Let z be j(2). Solve -w - 2 = -z for w.
1
Let r be 78/36 + 2/(-12). Suppose f = r*f - 5. Solve -c - f = 4*c for c.
-1
Suppose -80 = i - 3*i. Let s be i/16*8/10. Solve -s*t - 12 = 2*t for t.
-3
Suppose 2*s = -2*v + 2, 3*s - 2*s - 1 = v. Solve 0 = -x - 0 - s for x.
-1
Suppose -3*f - 16 = -3*l - 1, 0 = 4*f + 20. Let j(s) = 1 + s**2 + l - 4 + 6*s. Let r be j(-7). Solve -r*p = -9 + 1 for p.
2
Let c(i) = i**2 + i - 1. Let v be c(-3). Suppose 29 = v*k + 4. Solve -k*n = -5 - 0 for n.
1
Let p = 3 - 2. Let z = p - -1. Suppose -5*l = -13 - z. Solve 0 = 3*s + l - 0 for s.
-1
Suppose b - 3*b + 16 = 0. Let d = b - 4. Let v(q) = -q**3 - 10*q**2 + 11*q + 1. Let h be v(-11). Solve d*t + h = -15 for t.
-4
Let g(y) = -y**3 - 8*y**2 + 8*y - 9. Let o be 6/(-27) - 112/(-18). Let m be o/(-4)*(8 + -2). Let c be g(m). Solve c = k - 4*k for k.
0
Suppose 0 = 2*u - 5 - 5. Suppose -14 = -c - 12. Solve 0 = u*q - 3*q + c for q.
-1
Suppose -4*r - 3*g + 1 = 0, 2*r + 0*r - 13 = g. Solve -p - 5 = -r for p.
-1
Let q = -1 + 1. Suppose 22 = 4*h - w, -8 = -h - w - q. Solve -14 = 5*v + h for v.
-4
Suppose 2*v + 9 = p, 2*v + 3 = v. Solve p*s - 8 = s for s.
4
Let c = -123 - -128. Solve c*l + 14 = 4 for l.
-2
Let t be 6 + (-2 + 5 - 1). Let u = t - 4. Solve -2*v = -u - 0 for v.
2
Let q be 83/(-3) + 3/(-9). Let l be q/(-3) - (-4)/6. Suppose x + x = l. Solve -5 - 15 = x*u for u.
-4
Let a(s) = s**3 - 3*s**2 - 4*s + 2. Let d be a(4). Solve d*n + 3 = 3*n for n.
3
Let p = -3 + 5. Suppose p*w + 5 = 1. Let i = -2 - w. Solve -t + 0*t + 2 = i for t.
2
Suppose 6*k + t = 2*k + 26, 4*t = -k + 14. Solve q + q = -k for q.
-3
Let h(i) = i**2 - 3 + 5*i + 2*i**3 - 4*i - i**3. Let b be h(0). Let d be b/9 + 14/6. Solve -d - 18 = -5*a for a.
4
Let x = -63 + 67. Solve -x*h = -h + 3 for h.
-1
Suppose -1 - 7 = 4*m. Let u(z) = -z**3 + 2*z + 1. Let h be u(m). Suppose 17 = 5*p - 3. Solve p*g = h + 3 for g.
2
Suppose 15 = u - 0*k - 2*k, -4*u = -3*k - 35. Solve -23 = u*q - 3 for q.
-4
Suppose -n + 3*t = 4 - 6, 0 = n + 3*t + 22. Let b = -5 - n. Solve 0 = 4*m - b*m + 4 for m.
4
Let c(r) = -r + 6. Let d(a) = -a. Let v(m) = c(m) - 3*d(m). Let q be v(-4). Let l be (2/q + -5)/(-2). Solve 4 = h + l for h.
1
Let j(m) = m - 1. Let d be j(2). Solve d = -g - 0 for g.
-1
Suppose -3*b + 2*b - 1 = 0. Let t be 4 + -1 - -1 - b. Solve -a - 4 = -t for a.
1
Let y(t) = -3*t**2 + 8*t. Let w be y(2). Solve 24 - w = -5*i for i.
-4
Let k be 1 + -3 + (-16)/(-4). Solve -k*t = -0*t - 6 for t.
3
Suppose 3*f - 3*l - 6 = f, f + 5*l = 3. Suppose -f*o - 10 = 4*z, 3*o + z = 3*z + 14. Solve -4*k = -14 - o for k.
4
Let g(z) = 2*z - 10. Let m be g(7). Suppose -5*b + m*i = 3, -i + 10 = 4*b + 2*i. Let p = b - -2. Solve 6 + 6 = p*f for f.
4
Let p be (30/25)/(6/20). Suppose -5*z + 12 = c, p - 12 = -z - 3*c. Solve -z*t = 1 + 1 for t.
-1
Suppose i + 7 = c - 2*i, 3*c - 2*i - 7 = 0. Let w be (c - 1)*(-14 - -15). Solve w = y - 4*y - 12 for y.
-4
Let r(w) = w + 4. Let k be r(-2). Suppose 29 = k*v - 1. Solve 2*y + y + v = 0 for y.
-5
Let i = 2 - 2. Let z = 3 + i. Solve -z*g = g - 20 for g.
5
Suppose 0 = -0*u - u + 1. Let g be u + 1 - 2/(-2). Solve 0 = 2*y - g*y for y.
0
Let w be (5/(-2))/((-2)/(-4)). Let j(t) = -t**3 - 6*t**2 - 5*t - 4. Let a be j(w). Let p = a + 10. Solve -4*z + 10 = -p for z.
4
Suppose -2*u + 12 = r, -r = u + 3*r - 6. Let v = u + -2. Solve 3*b + b + v = 0 for b.
-1
Let j(v) = -v**3 + 2*v + 2. Let o be j(-2). Solve 2*u + 2 = -o for u.
-4
Suppose 14 = 4*o + 2. Suppose -5 + 2 = -o*j. Solve -p = -j - 0 for p.
1
Suppose -2*z + z + 4 = 0. Suppose -z + 0 = -2*m. Suppose m - 14 = -3*o. Solve -x + o*x = 0 for x.
0
Let g = 11 - 12. Let t = 3 - g. Solve -o - t = 3*o for o.
-1
Let j(v) = -2*v - 5. Let n = 7 - 11. Let w be j(n). Solve 3*g = -w + 6 for g.
1
Let j(z) = -4*z**3 - 5*z**2 - 3*z. Let s(n) = -11*n**3 - 15*n**2 - 8*n + 1. Let a(o) = -8*j(o) + 3*s(o). Let q be a(-5). Solve 2*k = q*k - 4 for k.
4
Let r = 7 + 0. Let z = 9 - r. Solve -z = -m - 0 for m.
2
Let b(q) = -4*q + 26. Let d be b(6). Solve 6*l + 16 = d*l for l.
-4
Suppose 0 = -s - 4*p + 10, -5*s - 1 = p - 13. Let t(c) = -4*c + 9. Let j be t(8). Let y = -22 - j. Solve s*l = 3*l - y for l.
1
Suppose -w = -8 - 6. Let d = w - 8. Solve -d = 3*i - 5*i for i.
3
Let p be -3*(-1)/(12/16). Solve -p*i = -8*i + 20 for i.
5
Suppose -3*y - 15 = 0, 5*h - 4*h - 4*y - 24 = 0. Solve h*v + 0 - 8 = 0 for v.
2
Let k = 38 + -25. Suppose -17*p + 32 = -k*p. Solve -p = 4*a + 8 for a.
-4
Suppose -4*h - 2*w - 38 = -8*h, -45 = -4*h - 5*w. Let r be (-153)/(-45) + (-4)/h. Solve 9 = r*k - 0*k for k.
3
Suppose 2*i = -6 + 18. Solve 6*y = 3*y - i for y.
-2
Let l(t) = 5*t - 56. Let n(y) = 2*y - 19. Let r(v) = 4*l(v) - 11*n(v). Let o be r(-10). Let s be (-1)/(-1) + 0 - -1. Solve o*a = s - 22 for a.
-4
Suppose -b - 69 = 3*z - 6*b, z + 22 = 2*b. Let h be (90/35)/((-6)/z). Solve -3*d - h = -0*d for d.
-4
Let p(l) = l**3 + 3*l**2 - 3*l. Suppose 3*s - 4 - 2