 = -5*m. Solve 0 = -3*y - 2*y - m for y.
-2
Suppose 0 = -5*f - 4*k + 10, -2*k = 2*f - f - 2. Suppose -f*w = y + 1, -y = -w - 0*w - 5. Solve 5*h = y*h - 4 for h.
-2
Let p(a) = 2*a - a**2 - 1 - 2 + 0 + 6*a. Let q be p(4). Let u = 21 - q. Solve 3*h + h = -u for h.
-2
Let l = -11 + 27. Suppose 2*f - 8 = l. Let r = -112 + 112. Solve 3*k = -r*k - f for k.
-4
Suppose -5*h - 20 = 3*a, -5*h - 20 = 18*a - 14*a. Solve -2*f + 0*f + 6 = a for f.
3
Suppose 3*o = 2*r - 3 - 10, 2*r - o - 7 = 0. Let y be 2/(-7) - (-32)/14. Let q = r + y. Solve q = -2*p - 0*p for p.
-2
Let a(h) = -h + 9. Let f be a(9). Suppose f = -2*u + 3 + 5. Solve -u*c + 0*c - 8 = 0 for c.
-2
Suppose 3*u + 2*d + 6 + 7 = 0, 4*u - 2*d = 6. Let z be (2*-1 - 3)/u. Suppose -z*j - 5*k + 80 = 0, 5*j + k + 2*k - 78 = 0. Solve -6*w = -3*w + j for w.
-5
Let i be 7 + -4*(-6)/8. Suppose 0 = -2*g + i - 2. Solve -g*z = -z for z.
0
Let l(v) = -v + 8. Let k be l(8). Suppose -2*b = 3*b. Solve k = 2*j - b - 4 for j.
2
Let m be 4 + 0 - 48/(-4). Solve m + 4 = 5*o for o.
4
Suppose -2*h = 3*h - 25, 3*y = 3*h - 27. Let x be (-1 + 1/2)*y. Solve -2*p + x = -4 for p.
3
Let a(o) be the second derivative of o**5/20 - 3*o. Let t(j) = -j**3 - 3*j**2 - 5*j + 4. Let f(n) = 2*a(n) + t(n). Let u be f(4). Solve r = -1 - u for r.
-1
Suppose -4*u = 3*i + 29, -u - i = -2*u - 9. Let c = u - -12. Solve -c = 4*s - 12 for s.
2
Suppose 0*u + 2 = u. Solve u*b + b = -15 for b.
-5
Let f = -3 + 0. Let o = f - -5. Let z = 79 - 76. Solve -o*y + z = -y for y.
3
Suppose 4*w - 3 = 3*w. Let f be ((-10)/5 + 1)*-5. Suppose 0 = -f*p - 4*i + 44, -3*p - i = i - 26. Solve s = p - w for s.
5
Suppose -2*q + 6*q - 248 = 0. Let g(m) = -6*m**3 - m**2 + 3*m + 4. Let b be g(-2). Let s = q - b. Solve s = -7*x + 2*x for x.
-4
Let d(l) = 2*l**3 - 15*l**2 - 6*l - 14. Let o be d(8). Solve 0 = o*u + 8 - 0 for u.
-4
Let n = -94 - -100. Solve k + n = -2*k for k.
-2
Suppose 1 + 3 = -l. Let g(b) = 11*b**2 + 8*b + 12. Let s(x) = -5*x**2 - 4*x - 6. Let z(w) = -4*g(w) - 9*s(w). Let c be z(l). Solve -20 = -2*y + c*y for y.
-5
Suppose 0*r - 2*d - 22 = -2*r, -4*r + 39 = d. Let a be (12/(-15))/((-2)/r). Solve 25 = i + a*i for i.
5
Let w = -8 - -11. Suppose -n = -4*z + 16, -15 = -3*n - 2*n + z. Solve -w = -n*t - 19 for t.
-4
Suppose 0*t - 3*j = -4*t, 2*t - 3*j + 6 = 0. Suppose 67 = -i + 6*i + k, k + 37 = t*i. Solve i = -4*v + 5 for v.
-2
Suppose -5*x - t + 20 = 2*t, 4*x + 11 = 3*t. Solve -3*b = -4*b - x for b.
-1
Let i(o) = o**3 + 6*o**2 + 2*o + 16. Let x be i(-6). Let h(p) = 3*p**3 - p**2 + p - 1. Let a be h(1). Solve x*l - a = 2 for l.
1
Let n = -67 - -70. Solve n*p - 3 = 12 for p.
5
Let f(i) = -i - 3. Let n be f(8). Let l be (-4)/(-22) - 20/n. Solve -3*v - 11 + l = 0 for v.
-3
Let m(u) = 6*u**3 + 10*u**2 - 13*u - 16. Let w(f) = -f**3. Let b(c) = m(c) + 5*w(c). Let o be 312/(-30) - 3/5. Let r be b(o). Solve -4*j + r*j = -2 for j.
-1
Let l(x) = -x**3 - 5*x**2 + 4*x - 3. Let y be l(-6). Suppose y*a - 3 = 8*a. Solve -p = a*p - 8 for p.
2
Let c(a) = -a**2 - 15*a + 20. Let f be c(-16). Suppose 0 = -5*b - 2*s + 99, 2*b + 3*s = -b + 63. Suppose 3 - 1 = 2*y. Solve y = f*g - b for g.
5
Let t(r) = -r - 2. Let j be t(-3). Let z be (-45)/(-10)*4/6. Solve b - j = z for b.
4
Suppose -3*l + 6 = -5*u, 7*l - 2*u = 2*l + 10. Suppose j - 3 = -2*h + 3, 5*h = l*j - 12. Solve -j*c + c - 25 = 0 for c.
-5
Let z = -3 - -7. Let m be (-2)/(-9) + 48/27. Let n = z - m. Solve 7*x = n*x for x.
0
Let d(s) = -s**3 - 6*s**2 + s - 17. Let c be d(-7). Solve -w = 4*w + c for w.
-5
Let g = 11 - 9. Let o be (2 + -1)*(5 + g). Solve o*y = 4*y for y.
0
Suppose 2 = -x + 10. Suppose -23 = p + 4*v - 7, x = -2*v. Solve 2*u + 3*u - 5 = p for u.
1
Let q(u) = u**2 - 4*u + 4. Let v be q(4). Suppose 5*n - 47 = 5*c - 7, 3*n - 27 = v*c. Let m be 8/c*(-6)/4. Solve -f = -1 + m for f.
-3
Suppose 2*b = 3*b + 5*n - 1, -3 = -3*b + 5*n. Let u(v) = 2*v - 1. Let y be u(3). Let h = y - b. Solve h*o + 1 = 5*o for o.
1
Let d be 3 - (21/3 - 4). Solve -5*m - 20 = -d for m.
-4
Let r be (1/((-3)/(-6)))/(-6)*0. Solve r = 5*f - 3 - 2 for f.
1
Let a = -6 + 16. Let y be (-4)/10 - (-364)/a. Let s be 1/(((-21)/y)/(-7)). Solve v - s = -2*v for v.
4
Let q(i) = -i**2 - 3*i + 1. Let n be q(-2). Solve n*p - 1 = -4 for p.
-1
Let w be 7 - 10 - (0 + 1). Let x be (1 - -2) + 112/w. Let m be (1 - 0)*x/(-5). Solve 3*j + 10 = m*j for j.
5
Suppose 8*g = 7*g + 2. Solve -g*c - 2 = -c for c.
-2
Suppose 4 = 6*v - 14. Solve -7 = -v*y - 1 for y.
2
Suppose 0 = 5*k - 98 + 3. Let q be (k/5)/(8/40). Solve -5*z - q + 4 = 0 for z.
-3
Let b(m) = m - 3. Let x be b(5). Solve 7 - 1 = x*y for y.
3
Let h(r) = -r**3 + 15*r**2 - 13*r - 12. Let d be h(14). Solve b = -d*b for b.
0
Let t = 26 - 24. Solve -t*d = -d + 5 for d.
-5
Suppose 1 = 10*p - 59. Solve -6 - p = 4*x for x.
-3
Let o(d) = -6*d**2 + 5*d + 8. Let f(q) = -7*q**2 + 5*q + 8. Let v(y) = 5*f(y) - 6*o(y). Let n be v(7). Solve -2*m + n + 0 = 0 for m.
3
Let h be (2/6)/(2/66). Let z = h + -6. Solve -32 + 12 = -z*b for b.
4
Suppose -3*g = 2*g + 15. Let w = g - -6. Solve 0*v = w*v for v.
0
Suppose -3*v = -17 + 71. Let x = v + 20. Solve l = -x*l + 3 for l.
1
Suppose -8*o = -6*o. Solve -q + o*q = 2 for q.
-2
Suppose -k + 6*k - 5 = 0. Let o(t) = 2*t**3 + 1. Let d be o(k). Solve -d*j = -j + 4 for j.
-2
Let k = 31 + -31. Solve 0*x - 4*x - 20 = k for x.
-5
Let b(v) = -5*v**2 + 11*v - 12. Let r(n) = 14*n**2 - 32*n + 35. Let o(s) = -11*b(s) - 4*r(s). Let y be o(4). Solve -4*q - 4 = y for q.
-2
Suppose -4*t + 9*t = 0. Solve -2*k - 2*k = t for k.
0
Let c(b) = -2*b**3 - b**2. Suppose -4*r - 2*w + 3*w - 10 = 0, -5*r + 5*w = 20. Let u be c(r). Let i = u - 8. Solve m = -0*m + i for m.
4
Let o = 5 - 2. Suppose 2*a - 30 = -o*a. Solve -2*q - a = -0*q for q.
-3
Let i(y) = -3*y - 12. Let o be i(-5). Suppose -2*w = o*w - 15. Solve -d = w*d for d.
0
Let o(f) = -f**3 - 18*f**2 - 30*f + 37. Let i be o(-16). Solve -8 = i*g + 17 for g.
-5
Suppose -5*s = -2*t - 41, 0 = -s - 0*s - t + 4. Solve -c + 5 - s = 0 for c.
-2
Suppose -p + 1 = -4. Let s = p + 1. Solve 0*u = 3*u - s for u.
2
Suppose -2*r + 3*z + 14 = -11, -z = -r + 15. Let s = r - 20. Solve s*m + 2*m = -2 for m.
-1
Let r = -120 - -124. Solve r*a = 7*a for a.
0
Let t be 1/(-1)*(-3 + 2)*4. Solve 3*v + t = v for v.
-2
Suppose 0 = -4*v + 20, -v + 18 = -o + 3*v. Solve -o*a - 2 - 2 = 0 for a.
-2
Suppose v + v + 2 = 0. Suppose 3*j = 6 - 0. Let g = j - v. Solve -s - g*s = -16 for s.
4
Let w = -4 + 8. Suppose -3*o + w*o + 30 = -l, 5*o - 150 = 5*l. Let z be (-5 + 0)*36/l. Solve 16 = -z*c + 2*c for c.
-4
Let y(z) = 2*z**3 - 3*z**3 + 6 - 7*z**2 + 4*z - 12*z. Let o be y(-6). Suppose o = 2*h + h. Solve 3*x = h*x - 12 for x.
4
Suppose -9 = -3*b - i, -b - 5 = -2*b - i. Solve -o - b - 3 = 0 for o.
-5
Suppose -2*q - 21 + 7 = -4*a, 5*a + 5*q = 25. Solve -3*h + 7*h = -a for h.
-1
Let g be 3/2*(-2 - -14). Let o be 3/g - 58/(-12). Suppose -2*k + 3*l + 15 = 0, -4*l + 100 = o*k + l. Solve -k = -4*s + s for s.
5
Let p(c) = c**3 - 2*c**2 + 4*c - 5. Let g be p(2). Let r(t) = t**3 - 3*t**2 + t - 3. Let u be r(g). Solve u = -3*i + 3 for i.
1
Suppose i + 3*i = 0. Suppose j + 3*j - 5*s - 32 = i, 5*j - 3*s - 53 = 0. Let w(z) = -z**2 + 6*z - 4. Let k be w(5). Solve 3*n - j = -k for n.
4
Let i = -4 - -6. Suppose -6 = -7*d + 2*d - i*j, -2*d - j = -2. Suppose 2*n = u - n, 0 = -d*u - n. Solve u = -0*w + w for w.
0
Let h = 9 + 11. Solve -3*x - h = -8*x for x.
4
Let r = 11 - 11. Suppose 4 + r = j. Solve 2 = j*z - 2 for z.
1
Let s = 9 - 3. Solve s = 2*i - 4 for i.
5
Suppose 4*v - 46 = -v - 3*p, -v + 4 = -2*p. Suppose v = -2*w - 2*x, -x - 8 = w + x. Solve a = -w*a - 4 for a.
-4
Let p be 49/14 - 2/4. Let a be 3/9 - (-8)/p. Let n = 33 - 23. Solve -v + a*v = -n for v.
-5
Let i be -50*((-15)/(-6) - 3). Let p = i + -13. Solve 0*n - p = 4*n for n.
-3
Suppose 0 = -m - 1 + 3. Suppose m + 14 = 2*i. Suppose 0 = 4*k - 2*k - i. Solve -2 = -2*h + k for h.
3
Let b be (-4 + 0)*(-9)/18. Suppose b*f = 3*f. Solve f = 4*v + 4 - 16 for v.
3
Let h = 2 + 1. Suppose 2*a + 15 = -h*a. Let o(k) = -k**3 - 4*k**2 - 2*k + 3. Let i be o(a). Solve 4 = -b - i for b.
-4
Suppose s = 4*t - 4, -4*t = -3*s - 0 + 4. Let c be -5 + 12 + (-1 - 0). Let j = -3 - -8. Solve -s = j*d + c for d.
-2
Let q be ((-6)/(-4))/(1/8). Solve -q = i - 5*i for i.
3
Let n be 4/2 - (15 - 15)