- 3, 3*j - 5 = 2*c - l*c for c.
-1
Suppose j + 0 = 4. Suppose 4*q - 192 = -4*h, 0 = -2*h + 3*q - 4*q + 96. Let z = 51 - h. Solve -j*b + 2*g + 12 = z*g, 0 = -g for b.
3
Let j(i) = 10*i + 8 - 4*i**2 + 2*i**3 - i**2 - 3*i - 3*i**3. Let f be j(-6). Solve 3*y + 5 = -5*q + f, -5*y + 20 = 0 for q.
-3
Suppose 0 = 33*x + 141 - 1197. Let g = 0 + 3. Solve 0 = c + g*c - 5*i - 4, -x = 4*c + 4*i for c.
-4
Suppose 2*f - 468 = -3*u, u + 4*f = -0*u + 156. Let r = u + -51. Let k be 14/4*120/r. Solve 12 = -k*t - 4*o, 4*t + 3*o = 3*t - 3 for t.
-3
Let h be (-4)/22 + (-114)/(-22). Let r = -6 - -4. Let y = -2 - r. Solve -c + h*v - 12 = 0, y = 3*v - 0*v - 9 for c.
3
Let l be (-4158)/(-945)*(-1 + 7/2). Solve -2*q - l = -5*f, -4*q + 5*f - 12 = 5 for q.
-3
Let q(y) = -10*y**3 + y**2 - y. Let w be q(1). Let s = w - -14. Solve -7 = -s*n + o, -3 = -5*o + 2 for n.
2
Suppose -143 + 176 = 11*w. Solve z - w*r = 2*z - 11, 11 = -4*z - r for z.
-4
Suppose 0 = 5*k + 5*p, -k = -6*k + 4*p. Solve 0 = -4*f + 2*d - 26, k*d - 4*d = -20 for f.
-4
Suppose 4*s + 3*i + 151 = 0, 0*i = -3*s - 4*i - 122. Let g = s - -49. Solve 3*z + 3*h = -15, -3*z + 2*h + 2*h - g = 0 for z.
-5
Let i(l) = 3*l - 14. Suppose 0*o = -4*a + 4*o + 12, -3*o = -12. Let x be i(a). Suppose 2*t + 25 = x*t. Solve 3*d + 2*j = -23, t*d = d - 2*j - 28 for d.
-5
Let t(o) = 5*o**2 - 51*o + 15. Let r be t(10). Solve -i - 3*g - 2*g = -8, g = r*i + 12 for i.
-2
Let b(i) = i**2 - 4*i - 5. Let v be b(5). Let t be 1/4 + (-21)/(-12). Let a be t + 9 + (3 - v). Solve 0 = m + 3*m + 2*z - a, -5*m - 5*z = -30 for m.
1
Let k(x) = 5*x**2 - x + 6. Let l be k(2). Suppose b + l = 3*b. Solve 0 = 4*q + p + 5, 13 = -5*q + 5*p - b for q.
-2
Let j = -2401 - -2404. Solve 5*s + 3*l + 8 = 0, -3*l - 3 = 3*s + j for s.
-1
Suppose 2*s - 188 = -2*s. Let u = s - 83. Let y = u + 36. Solve m + 2 = -2*a, -3*m + 2*a + 1 + 1 = y for m.
0
Let d(x) be the third derivative of x**4/24 + 5*x**3/6 - 8*x**2. Let j be d(-5). Suppose r + r - 6 = j. Solve 0 = 5*g + 10, -3 = -3*b + r*g + 15 for b.
4
Suppose p + 26 = 5*z, 4*p = 4*z + 7 - 31. Solve -4*d + 3*i - 17 = 0, 29 = -5*d + z*i + 4 for d.
-2
Suppose -14*z = -12*z + 34. Suppose 3*f = 3*o + 5 + 43, 2*f = -5*o - 80. Let r = o - z. Solve 3*t + 3*h - 3 = 0, -r = -t + 3*h - h for t.
1
Let z = -99 - -101. Suppose -z = 7*m - 9. Solve -3*j - m = -2*j, -2*h = 4*j for h.
2
Let z(v) = -3*v**3 - 19*v**2 + 14*v + 2. Let h be z(-7). Solve -t + 3 = -0*u + 2*u, -h*t = 2*u - 6 for t.
3
Let y(a) = -a**3 - 7*a**2 - 7*a - 6. Let p be y(-6). Let g = 6 - -1. Let r = 9 - g. Solve 2*t + 10 = p, -r*t = -3*n - 3*t - 17 for n.
-4
Let n = -240 + 242. Solve 3*s + 2*o = 0, 0 = s - 3*s - n*o for s.
0
Let b = 181 + -178. Solve 3*h + 3 = 3*j, b*j - 10 = -h + 9 for j.
5
Let y be 296/185 - (-2)/5. Solve -3*j - 2 = 2*c, -4*c - 6 = 7*j - y*j for j.
2
Suppose 2*u - 40 + 46 = -2*z, 0 = u + 5. Solve -z*p = -4*q + 4, -q + 4 = p - 0 for p.
2
Let k = 1 - -1. Suppose 3*f = 2*b + b + 27, 0 = 4*b. Let d = f - 7. Solve 0 = d*c + 2*q - 2, c + 6 = -c + k*q for c.
-1
Let z be (0 + (-6)/(-42))*0. Solve -3*b = 3*s, -b + z*b = 5*s - 20 for s.
5
Suppose 0 = -2*l - 2*g - 9 - 33, 84 = -4*l - 2*g. Let q = l + 23. Solve -5*y + 4*y - 2*c - 7 = 0, 0 = q*y - 4*c - 26 for y.
3
Let n = 3 - -7. Solve -2*q - 3*p - 8 = 0, p + 2 = -3*q - n for q.
-4
Suppose 3*o + 28 = 5*j - o, -5*o = 10. Solve 4 = x + j*q - 9, -4*q - 2 = -2*x for x.
5
Suppose 20 = 5*q - 0*q. Let v be ((-6)/q)/((-21)/70). Suppose v*h = -4 + 19. Solve -x = -o, -3*o + 4*x + 2 = -h for o.
-5
Suppose -8 = -4*d + 4*n, -4*d = -d + 4*n - 6. Let m be (d/(-6))/(15/(-135)). Suppose 2*r = -m*r + 20. Solve j + r*j + 4*o = 20, 0 = 5*j + o - 20 for j.
4
Let k = -326 + 328. Let a(d) = d**3 + 5*d**2 + 5*d + 6. Let r be a(-4). Suppose -r*w = 3*w. Solve -5*g = -k*g - 5*f - 18, -3*g - f = w for g.
1
Suppose -13 = -4*o + h, 1 = -3*o + o - h. Let g(d) = o + 6*d + 3 - 5 - 2. Let z be g(1). Solve 2*u - s - s = -z, 0 = -5*u - 5*s for u.
-1
Suppose -49 = 8*g - 81. Solve 4*l = 4*t + g, -t - 2*t - 3*l = -21 for t.
3
Let q(d) = -d**2 + 16*d - 9. Let n be q(15). Let x = n - 3. Let z(o) = -2*o**2 + 7*o + 1. Let u be z(x). Solve -5*y + f - 5 = -3*f, 4 = -4*y - u*f for y.
-1
Let v(n) = n**2 - 9*n + 10. Let s be v(8). Suppose 0 = 2*w, -a - s*w + w + 9 = 0. Let f = a - 5. Solve -3*q + 6 = 0, -6 = f*m - 3*m - 3*q for m.
0
Let y(f) = -10*f + 10. Let o be y(5). Let i = -37 - o. Suppose -2*s = 2, i*s + 19 = 3*v - 8. Solve 21 = -5*j + 4*x, 4*j - v*x + 4*x = -16 for j.
-5
Let k(h) = h**2 + 20*h. Let v be k(-20). Suppose -7*a + 5*a - 4*o = 4, v = a + o. Solve a*w - 6 = -0*w, 4*t - 10 = 2*w for t.
4
Suppose -10 = -2*w, 3*j - 22 = -2*w + 3*w. Suppose -6*x = -j*x + 63. Solve 4*f = -a + x, -2*f - 18 = -5*f - 3*a for f.
5
Suppose -n - 1 = -4*k, 5*k + 2*n + 0 = -2. Suppose -3*x + 3 = -4*c - 0*c, k = 5*c + 4*x - 35. Solve -4 = 4*h - 4*b, 5*b - 12 = -c*h + h for h.
1
Suppose 8*t = 5*t, 4*u - 4*t = -4. Let h be u - ((0 - -4) + -14 - -4). Solve 4*s - 2*a = -0*a, h*a + 14 = 3*s for s.
-2
Let s = 44 + -25. Let t(a) = -s + 2 + 4*a - 2*a. Let w be t(16). Solve 10 = 3*z - 3*x + 1, 0 = -3*x - w for z.
-2
Let t(o) = -3*o**3 - 51*o**2 + 54*o. Let f be t(-18). Solve -v + 2 = -r, 2*r - 3*v + f = -2 for r.
-4
Let n = 19 + -14. Suppose n*b = -15, 3*q + 3*b = 7*b + 12. Suppose 0 = 5*m + 5, q = -0*f + f - 3*m - 7. Solve k - 3*v = -3*k - 7, 3*k = f*v for k.
-4
Let a = -45 - -58. Let r = -7 + a. Solve 3*b + 7 = 2*o - 2, r = -2*o for b.
-5
Suppose -6*h + 2*h - 40 = 0. Let r = -5 - h. Solve -o = -5*y - r, 25 = -2*y + 4*o + 5 for y.
0
Suppose 20 = 2*w + 2*w. Suppose -5*f + 3 = s - 26, -w*s = -20. Solve f*c = 4*i - 27, i = 3*i + 4*c + 6 for i.
3
Let o(k) = -5 + k + 13 + 0*k - 3. Let c be o(-2). Solve 0*l = c*l - 12, -5*l = -4*g for g.
5
Suppose 2*m = -4*f + 24, 0 = -f + 4*m - 2 - 1. Suppose f*c + 33 - 43 = 0. Solve 0 = -4*d + c*v + 18, d - v = 6*d - 5 for d.
2
Let t be (-166)/4 + 36/24. Let h = 44 + t. Solve 5*s - 4 = h*f, 0 = s + 3*f - 6*f - 3 for s.
0
Let g = 311 + -306. Solve 2*u + 9 = -1, -g*o - 3*u = 0 for o.
3
Let c(u) = -u**3 - 6*u**2 + 8*u + 10. Let g be c(-7). Let m(o) = -11*o**2 + 1. Let j be m(1). Let a = j + 15. Solve 12 = -a*b - s, 5*b + 8 = -g*s - 8 for b.
-2
Let t be -20 + 30 - (2 + -3 - -3). Solve 4*d = -4*c - t, -3*d = -4*c + d - 8 for c.
-2
Let d = -21 - -30. Let i = d - 7. Suppose 0*h + i*h = 8. Solve 4 = c + 2*c - a, 0 = h*a - 8 for c.
2
Let m(k) = k**3 + 5*k**2 - 3*k + 2. Let s be m(-6). Let f = 26 - 52. Let o = s - f. Solve -20 = 2*u + 8*w - 4*w, -4*u = -2*w + o for u.
-4
Suppose -4*a = 12 - 0. Let r(s) = -s**3 - 3*s**2 - 2*s - 2. Let f be r(a). Solve -v + f*v + 3*o = 0, 16 = -4*o for v.
4
Let u be (-120)/5*((-33)/(-9) + -5). Let j be (-1)/(3/(-2) + 1). Solve j*v - 4*o + 28 = -0*v, -3*v = -4*o + u for v.
-4
Let n(s) = s**2 + 33*s + 65. Let t be n(-31). Solve -5*r - 1 = 2*u - 4*u, -t = -3*r for u.
3
Suppose -8 = 2*y - 2*b, 9 + 3 = -y + 3*b. Solve 25 = -3*p + 2*k, -5*p + p + 2*k - 30 = y for p.
-5
Let a = 12 + -9. Let i(m) = 2*m + m**a + 0*m**2 + 0*m**2 + 1 + 2. Let q be i(0). Solve -4*c + 4*u = -2*c, 5*c = q*u for c.
0
Let k = -9 - -14. Suppose 3*g - f = 4, -f = k*g - 2*g - 8. Solve 20 = 6*l - 2*l, 2*l = -g*z + 10 for z.
0
Suppose -2 = 3*p + 2*g, 0 = 4*p - 0*g - 4*g - 24. Suppose a + 4*a - 37 = p*f, -f + 4 = 0. Solve 25 = -5*d, r + 2 - a = d for r.
2
Let a(r) = 4*r - 12. Let p be a(6). Let l = 25 - p. Let n = l + -11. Solve -t + 1 = -4, j = t - n for j.
3
Let k = 8 - 7. Solve 4*o - 2*b = -b - 17, 2*o + k = 3*b for o.
-5
Let d(n) = -n**2 - 21*n + 27. Let k be d(-22). Suppose -8 = -5*u - o, u + k*o = -4*u. Solve -2*z - 4*v = -3*z - 10, -4*z - 5*v = -u for z.
-2
Suppose -8 + 4 = r. Let a be 0/(-1*(-4)/r). Solve 3*u + 3*c - 12 = a, 4*c = 5*u + c + 12 for u.
0
Let q(l) = 2*l**3 - 14*l**2 + l + 8. Let k be q(7). Solve 3*x + 7 = -h, 0 = h - 2*x + 2 - k for h.
5
Let q(p) = -p - 8. Let d(s) = -11*s**2 - 5*s - 3. Let z be d(-1). Let w be q(z). Solve -w = f, 0 = 4*u - 2*f - 2*f for u.
-1
Let m(l) = l**3 - 12*l**2 + 10*l + 11. Let j be m(11). Solve j = 5*v + 5*y - 15, 2*y = -5*v - 0*v for v.
-2
Let s = -2042 + 2042. Solve w - l = -9, s*w - 5*l + 37 = -3*w for w.
-4
Let i(w) = 18*w**2 + 5*w + 4. Let o be i(-1). Suppose -13*l = -o*l + 72. Solve -5*q + 9 = 3*f - 2*q, 5*q - l 