 5*i + 4 = a for o.
-5
Let d(i) = 3*i - 17. Let q be d(5). Let c(n) = -n**3 - 3*n**2 - 4*n - 1. Let a be c(q). Solve 3*j - a = -5*w + 1, 4 = -4*j - 2*w for j.
-2
Suppose -2*q - 2*q = 4, 3*q - 60 = 3*j. Suppose -5*t - 89 = 31. Let a = j - t. Solve 8*c - a*c + 5*i = -10, 0 = -4*i + 8 for c.
-4
Let z(n) = n**3 + 25*n**2 + 2*n + 50. Let u be z(-25). Solve -h - 7 = 2*h + 5*p, u = -h + 4*p - 8 for h.
-4
Let m = -197 - -202. Let p(f) be the third derivative of f**5/60 - f**4/8 - f**3 + 3*f**2. Let h be p(6). Solve -5*g + j - 14 = 0, -m*g + 4*j - h + 1 = 0 for g.
-3
Let y be 372/(-11) - (-12)/(-66). Let w = 35 + y. Solve -4*i + 4*s = 0, -8 = 5*i - 2*s + w for i.
-3
Let k(i) = i**3 + 4*i**2 - 2*i - 6. Let m(f) = 2*f - 14. Let z be m(5). Let u be k(z). Solve 2*c - u*j + 2 - 4 = 0, 4*c = -4*j + 12 for c.
2
Let g(b) = 5*b - b + 4*b - 9 - b**3 - 2 + 4*b**2. Let f be g(5). Solve -4*j = 3*d + f, 3*j + 5*d = -3 - 11 for j.
2
Suppose 3*k - 5 - 4 = 2*m, 16 = 2*k + 2*m. Let c be ((-2)/(-6))/((-1)/(-9)). Let x be 4/56*4 - (-360)/63. Solve -p - c*t - k = 0, 1 - x = p - 4*t for p.
-5
Let h be 0*((-1 - -1) + 1). Let g(c) = c**3 + 8*c**2 + 6*c + 9. Let q be g(-7). Let d be -4*6/q*-2. Solve 2*o + 2*b = b + 3, h = d*o - 3*b - 18 for o.
3
Let u(d) = -3*d**2 - 15*d - 7. Let l be u(-4). Suppose 0*j - 6 = 2*j, h + 3*j = -14. Let v = h - -8. Solve -r - l = -v*m, -4*m + 2*r + 5 = r for m.
0
Let i(y) = -y**3 - 2*y**2 + 3*y + 24. Let o be i(0). Solve 3*j = 3*z + o, j + z - 3*z = 12 for j.
4
Let l(b) = 3*b**2 - 10*b - 9. Let a be l(-1). Solve a*n + 9 = 5*z, 5*n + 2*z - 24 - 6 = 0 for n.
4
Let s = 662 + -659. Solve -5*t - s*g + 4 = 0, -2*t + 0*g + 5*g - 17 = 0 for t.
-1
Let f(r) = -12*r**2 + r + 7*r**2 + 4 + 6*r**2. Let g be f(0). Solve -t + 11 = 4*z, -g*z = 4*t - 8 - 0 for z.
3
Let g be ((-12)/(-10))/((-14)/35). Let n be 6/(4/((-40)/g)). Suppose 0 = z + 4*z - n. Solve z*f = -3*j - 39 + 4, 0 = 3*j + 3*f + 30 for j.
-5
Let m = 175 - 165. Suppose 0 = 2*n + 3 - 19. Let d = m - n. Solve q - d*q - k - 3 = 0, 3*q + 7 = -2*k for q.
-1
Suppose -5*q + 6*q = 12. Suppose -q*t + 9*t = -15. Solve -t*c = 2*k - 31, -2*k = -3*k + 4*c - 17 for k.
3
Let d = -11 - -15. Let i be (3 - 4) + 2 + d. Suppose -2*a + 6 = -0*a - y, a + 4 = 4*y. Solve p + i = -0*p, -a*f + 4*p = -36 for f.
4
Let w be 1/2 + 51/34. Suppose 4*f = 2*f + 8. Suppose -4*b = 12, -g + 0*g - w*b - f = 0. Solve -7*t + g*y = -2*t + 23, 4 = -t + y for t.
-5
Let y(d) = -d - 20. Let z(f) = -1. Let i(g) = -y(g) + 6*z(g). Let w be i(-9). Solve 2*q = 6, -q = -4*o + w*o - 2 for o.
-1
Let p = -5 - -30. Let j = p - 4. Solve -5*a - u - 6 - 20 = 0, 4*u = 5*a + j for a.
-5
Suppose -r + 35 = 5. Solve -r = -5*j + 5*n, -5*j + 3*n = -30 + 6 for j.
3
Let b(m) = -2*m**2 - 16*m + 210. Let v be b(-15). Let a be 8 + -1*(0 - 0). Solve -3*t + a*t = -5*l - 5, v = t - 2*l + 10 for t.
-4
Suppose -80 = -4*m - 0*m. Suppose 9*q - m = 5*q. Suppose 6*z - 31 = q. Solve 4*x = 2*i - z*i + 16, -5*x - 10 = -i for i.
5
Let l(w) = 8*w + 13. Let x(t) = 17*t + 26. Let k = -24 - -11. Let c(a) = k*l(a) + 6*x(a). Let v be c(-10). Solve -2*u + o = -1, v + 8 = 3*u + 3*o for u.
2
Suppose 5*w + 0*r - 26 = r, -4*w - 3*r + 36 = 0. Let i = w + 1. Solve 3*o = -u + 1, -2*u + 3*o - 5 = -i*u for u.
1
Let z(t) = 7*t + 53. Let j be z(-4). Solve y + 35 = 6*y + 5*h, 0 = -3*y - 5*h + j for y.
5
Let k be 14 + 1*24/(-3). Solve -2*m + k*m - 28 = 5*y, -2 = -m for y.
-4
Let m = 9 - 4. Suppose 3*y + 35 = m*k + 8*y, 5*k - 5 = 5*y. Solve k*r + 28 = 5*a, 2 = -0*r - r for a.
4
Let p(n) = n**2 - 35*n + 40. Let w be p(34). Solve w*g - 7*g = -z + 4, -2*g + 4 = z for z.
4
Let l(y) = y - 9. Let f be l(13). Let h = 3 + -3. Let g = f + h. Solve -4*d - 16 = -a - 9*d, 5*a - 3*d = -g for a.
1
Suppose 17 = -4*q - 27. Let r = q - -11. Let b be ((-10)/4)/(4/(-8)). Solve -5*z = -f - 6, -b*z + 2*z - f + 10 = r for z.
2
Let n = 130 - 125. Suppose n*p - 35 = 8*o - 13*o, 5*p - 5 = 5*o. Solve -p*v = -5*f + f - 12, f = 3*v - 1 for v.
-1
Let a be -7*(40/7 - 6). Solve -d - 2*i = 4*d - 17, d + a*i = -3 for d.
5
Suppose -5*z + 24 = 26*l - 23*l, 2*z - 3*l = -3. Solve 0 = -2*k + k, z*k = 5*p for p.
0
Suppose -2*o + 69 = o. Suppose -2*j + j + o = -5*a, 3*j + a - 5 = 0. Solve 2*b = j*d - 10, 0 = d - 2*d - b - 5 for d.
0
Suppose 4*c - 3*c - 25 = 0. Suppose 0*j = 5*l + 3*j - c, 5*l - 25 = 2*j. Solve -4*q = -8, 12 = d - l*d - 2*q for d.
-4
Suppose -w + 464 - 8 = 0. Let s be w/33 - (-8)/44. Suppose -5*x - 2*k = -15, 5*k = 5*x + s + 6. Solve 4*b - 8 = -4*y, 2*b - x = 3*y - 22 for b.
-3
Let c = 23 - 21. Suppose s = 0, -16*i - 4*s = -12*i - 68. Solve -i = -5*j + c*b + b, 3*j + 5*b = 17 for j.
4
Let b(q) = -55*q + 1. Let n be b(-1). Suppose -3*h - 2*t + 64 = -3*t, -2*t = 2*h - n. Solve 7 = g - x, -h + 8 = 5*g + 5*x for g.
2
Let h be 0 + (4 - (2 + -3)). Let n(b) = -b**2 + 6*b - 1. Let v be n(h). Suppose 0 = -7*s + v*s. Solve -4*g = -3*a + 5, 2*g - g - 2*a + 5 = s for g.
1
Suppose 0 = 3*t - f - 35, -59*t + f = -63*t + 35. Solve -4*l = -k - l - t, k + 12 = 4*l for k.
-4
Let x = -2703 - -2707. Solve s - h - 4 = -1, 0 = x*s + 5*h - 21 for s.
4
Let f be ((-3)/(-7))/(5*11/385). Let a(q) = -q**3 - 5*q**2 + 5*q - 4. Let r be a(-6). Suppose -6 = -r*g - g. Solve -4*s + 24 = -f*d - 0*s, g*d = -s - 5 for d.
-4
Let n be (-1)/(((-24)/(-140))/6). Let j = -35 - n. Solve -5*g - c - 1 = -j, 5*g + 4*c = 11 for g.
-1
Let y = 9 + -9. Suppose y = -3*h + 4*l + 1 - 4, 0 = 2*l - 6. Suppose f + 2*a = h*a, -2*f = 4*a - 18. Solve -2*p - 4*z = -3*z + f, -3*p + 5*z = 37 for p.
-4
Suppose -n = -7 + 2. Suppose 23 = 9*p + n. Solve -r - 17 = -6*r + 2*g, 0 = p*r + g - 14 for r.
5
Let i = -13 - -16. Suppose -4*p = 5*d - 27, i*d + 9 - 30 = -4*p. Suppose -s + 1 = -p. Solve 0 = -s*b + 5*m, 0*m + 3*m = 0 for b.
0
Let c = 1806 + -1801. Solve -c*v = -h, 0 = 4*v + v - 5 for h.
5
Let u = 8 + -7. Suppose -2*r - 5 + 11 = 0. Solve 5*x - n - r*n + 23 = 0, -x = 2*n - u for x.
-3
Let o = 30 + -16. Let j(w) = -8*w - 30. Let t be j(-4). Suppose -4*n - 4*q = -16, -5*n = -t*q + q - o. Solve 0 = -4*p - 5*i + n, -4*p + 3 = i + 12 for p.
-3
Let h be (21/2 - -3)*2. Suppose 13*n = 10*n + h. Suppose 0 = -5*z + n*z - 12. Solve z*f - 3*c - 10 = -4*c, -2*c - 25 = -3*f for f.
5
Let a = -135 + 135. Solve -c - 1 = -a*c + 3*b, 0 = 3*c - 4*b + 16 for c.
-4
Let a = 300 - 297. Solve 0 = g + u + 2, a*g + 0*u - 2*u = 4 for g.
0
Let q(m) = -m**3 - 2*m**2 + 3. Let h be q(0). Solve -2*x = -3*f - x - 1, -h = -3*f - 3*x for f.
0
Let i(o) = -5*o**2 - 17*o - 4. Let n be i(-3). Solve 0 = w - b - 2, -3*w = b - n*b - 8 for w.
3
Let x(c) = c**3 - 2*c**2 - 13*c - 6. Let a be x(5). Solve -5*d + 4*d - 5*o - 16 = 0, -a = -5*d - 4*o for d.
4
Let w(i) = 3*i**3 - 2*i**2 + 1. Suppose 6*x = 5*x + 6. Suppose -x = -3*k + j + 1, 2*k - j = 6. Let b be w(k). Solve -g = g - b, -3*g + 11 = 2*u for u.
4
Let f be (-42)/(-18) - 7/21. Solve 2*r = 3*w - 5, -f*w + 8 = -0*r + r for r.
2
Let c = 1390 + -1382. Solve -2*y + c = -n, 4*y - 16 = -4*n - 0 for n.
0
Suppose 210 = 14*g + 168. Solve 4*q - i - 13 = -4, 0 = 3*q + g*i + 12 for q.
1
Let t(y) = y. Let b(x) = -3*x - 3. Let z(s) = -b(s) - 2*t(s). Let j be z(4). Suppose -j*n + 9*n = 0. Solve 0 = 4*u + 2*m - 1 + 7, n = -4*u + m + 3 for u.
0
Suppose -28*m + 25*m - 60 = 0. Let a = m + 22. Solve 3*p = -7*n + a*n - 37, 2*p + 2*n + 18 = 0 for p.
-4
Suppose 2*a = 2*f - 14, -a - 9 = -2*f + 1. Solve -3*y + 5*z + 6 = 0, 2 = y - f*z - 0 for y.
2
Let a(m) = -m**2 + 2*m + 2. Let k be a(2). Suppose 5*p + 62 = 4*c - k*c, -2*c = -2. Let r be p/(-16) - 50/(-8). Solve h - r = -3*n + n, -5*h + 19 = 2*n for h.
3
Let g(v) = v**3 - 12*v**2 - 14*v + 29. Let w be g(13). Solve 13 = 3*n + 4*r, -5*r + w = -r for n.
-1
Let c = -51 - -54. Solve 6 = -y + 2*m - 0*m, -4 = -c*y - 5*m for y.
-2
Suppose k = 10 - 47. Let o = 44 + k. Solve -10 = 3*m - 5*u, 2*u = -m + o*u for m.
-5
Suppose -44 = -4*m - 7*m. Suppose m*r - 12 = -4*n, -5*r - 5 = -n - 2. Let g = 10 + -1. Solve 4*x - 9*x + g = -n*t, -4*t - 7 = -5*x for t.
2
Let l be -6 + 3 + 1 + 7. Solve 3*h = -l*b - 37, 3*h + 4*b + 36 = -h for h.
-4
Suppose 26 = 169*f - 156*f. Solve 4 - 2 = -f*m + z, 0 = -m + 3*z - 6 for m.
0
Suppose f = -4*r - 2*f + 27, 0 = -r + 5*f - 22. Suppose 0*p + 51 = -r*n - 3*p, 3*p - 69 = 5*n. Let l = n - -18. Solve 4*g + g = -k + 23, k - 15 = -l*g for k.
3