- 18 = -2*c, -5*q + r*c = 3*c - 19 for q.
4
Suppose -2*s + 4 = -4. Let b be (-170)/(-7) + (-14)/49. Let c = 5 - 1. Solve s*g + 4 = -c*u - 16, 0 = -4*g - 5*u - b for g.
-1
Let j = -8 - -4. Let f be 3 + -2 - (0 + j). Suppose -2*a - 2*a + 2*s = -10, 29 = 5*a + 3*s. Solve 4*n + a + 0 = -3*u, 40 = f*u - 5*n for u.
4
Suppose 0 = -2*l - 0 + 8. Solve 2 = p - 0*p - w, 0 = -l*w + 12 for p.
5
Let r = 2 + 1. Let v(p) = p**2 - 15*p + 53. Let x be v(10). Solve -r*n = i + 1 - 10, 4*i - 9 = -x*n for i.
0
Let j(m) be the first derivative of m**3/3 - m**2 - 5*m - 6. Let p be j(4). Solve 11 = -5*o - g, 5*o = p*g - 0*g - 27 for o.
-3
Suppose -5*d - 3 + 13 = 0. Solve 0 = -n + 2*p + 10, 3*n - d*p = -0*n + 18 for n.
4
Suppose 2*o - 10 = -5*j, -2*j + 4 = 3*o + o. Solve w - 19 = 2*r + 2*r, -j*w - 4*r = 10 for w.
3
Let z = -10 + 1. Let d be (-69)/z - 2/(-6). Let w(x) = -x**2 - x + 5. Let a be w(0). Solve a*v + d = 4*c, 3 - 22 = c + 4*v for c.
-3
Suppose 0 = h - 2 - 1. Solve -u = 5*v - 28, -h*v + 37 = 2*v + 4*u for v.
5
Suppose 0*o = -4*o. Suppose 4*f - 4*v - 28 = -o*v, 2*f + v = 8. Solve 3*u - 14 = -t, -4*t = f*u - 7*t for u.
3
Let n = 38 - 38. Solve -2*o + 3*f + 10 = -o, n = 4*o - 5*f - 5 for o.
-5
Let t(j) = 7*j - 2. Let u be t(1). Solve u*r - 7*w + 15 = -2*w, 4*r - 12 = -4*w for r.
0
Let a = -36 - -52. Solve 0 = 5*d + 2*x - a - 12, 4*d + 2*x = 24 for d.
4
Suppose v + 5*a = -17, -6*a = -3*v - a + 29. Solve -3*j = j - 4*d, v*d - 4 = 2*j for j.
4
Suppose -3*w + 9 + 3 = 0. Solve -5*g - w + 19 = 4*r, g = r - 6 for g.
-1
Let d be (-1120)/(-144) + 4/18. Let k be d*3/18*6. Solve -3*q = 3, 4*i - 2*q + k = -10 for i.
-5
Let z(h) = 3*h - 26. Let n be z(9). Solve 2 = -m + 3*r, r - n = 2*m - 2*r for m.
1
Let v = -95 + 95. Let z = 0 + -2. Let a be v - ((z - -2) + -2). Solve w - 2*o + 12 = -5*o, -a*w + 1 = o for w.
3
Let n be (-3)/1 + 5 + 10. Solve 0*r + 2*r + 9 = -m, 4*m - 4*r = -n for m.
-5
Let p be -1*8/(-2) - 3. Let v(i) = i**2 + 3*i + 2. Suppose w + 2 = -0*w, 0 = -4*a + 3*w - 2. Let h be v(a). Solve y + 5*z = -3 - p, h = z for y.
-4
Let k = -44 - -63. Let h = k + -8. Solve n = -2*w + 3*w + 1, -3*n - w + h = 0 for n.
3
Suppose 6 = 2*f + f. Suppose 4*u - f = 6. Solve 3*s - 3*c - 2 = 4, u*s - 5*c - 10 = 0 for s.
0
Let j be (3 - (-15)/(-3)) + -1. Let q = j + 10. Solve 4 = -5*w + 4*t, t + q = -2*w - 5 for w.
-4
Let i(k) = -k**2 + 5*k + 6. Let f be i(6). Solve -4*d = 2*h - 6, -5*d + 9 = 2*h - f for d.
3
Let o(z) = z + 3*z - 5*z + 3*z**3 + 2*z**2. Let u be o(1). Suppose u*r = -0*r + 124. Solve -y + q + 1 = 0, 2*y = -2*y - 5*q + r for y.
4
Let d = 2 + -4. Let q be 2 - (-2 - d - 3). Solve -2*m + m = -4*h + q, -m + 3*h = 4 for m.
-1
Suppose 2*q + f + 0*f = 12, -5*q = 4*f - 33. Solve -q*z - 5*i = -10, 5*z - i = -4*i for z.
-3
Let w = -40 - -29. Let q = 15 + w. Solve 5*j + 12 = -3*i, -i - q*j = 3*i + 16 for i.
-4
Suppose 1 - 6 = -5*m. Let g(h) = h**2 - 4*h - 1. Let a(j) = -3*j - 1. Let k(l) = -6*a(l) + 5*g(l). Let f be k(m). Solve c - f = r, -4*c = -4*r + 2*r - 14 for r.
-1
Suppose 0 = -4*v + 11 + 1. Suppose -g = -v*g + 4. Let z be (-1)/(-2 + 9/5). Solve j = -z*u - 3*j - 41, 10 = g*u - 5*j for u.
-5
Let c = 2 - 7. Let p be (-4 - c)/((-2)/16). Let i = p - -8. Solve -2*v + 7*v = -2*n + 5, i = -n for v.
1
Let w = -4 - -6. Let d(a) = a**3 + a**2 - a. Let z be d(w). Let r be (0 - 0)/((-6)/3). Solve -5*y + z = r, 0 = -t - y + 2 - 1 for t.
-1
Suppose 2*j - 4*o = 2 + 2, o = j - 1. Suppose -8 = -2*a - 0*a. Solve j*i + i + 12 = 4*f, 6 = a*i + 2*f for i.
0
Let b = 5 - 7. Let j be (-3 + 2)*b - 0. Solve 0 = 5*y - 2*n + 21, -3*y - 3*n = j*n - 6 for y.
-3
Suppose 4*h - 24 = -3*d, -18 - 14 = -5*d - 4*h. Solve -5*p = 4*k + 9, -5*p = k - d*k + 37 for k.
4
Suppose r - 4 - 7 = -3*k, 5*k = 2*r. Solve -5*u - 11 = 3*g, -3*u - 11 = -k*g + 6*g for u.
-1
Let m = -61 - -61. Solve 5*a - 5*l - 5 = m, 0 = -3*a + a - 3*l - 13 for a.
-2
Suppose 4*a - 9 = -1. Suppose -a*j = -4*j + 8. Suppose 35 = 3*f + 4*p + j, -2*f + 21 = 3*p. Solve -2*l = 3*o - 3*l - f, -2*o - l + 1 = 0 for o.
2
Suppose p = -p + 8. Solve -3*z + 22 = -p*a + 2, 0 = -z - 2*a - 10 for z.
0
Let i = 10 + -7. Suppose 2*z - 7 + i = 0. Let q be (-2)/(-5) + (-76)/(-10). Solve o + z = 3*j - o, 3*o - q = -j for j.
2
Suppose j = 2*j + 5, -3*l + 62 = -4*j. Solve 4*z + 4 = -3*x, 0 = z + 5*x - l + 32 for z.
2
Suppose 2*d - 8 = -0. Let v(x) = -x**2 - 4*x + 2. Let y be v(-3). Suppose 3*q + q - y*s = 25, 20 = -q - 4*s. Solve q*o + 3*o = -5*u - 17, d*u + 5*o = -11 for u.
-4
Let j(s) = s - 4. Let c(a) = a**3 - a + 5. Let v(q) = 3*c(q) + 4*j(q). Suppose -2*g - 3 = -5. Let h be v(g). Solve -3*i - 4 = h*y + 2, -2*y + 4*i = 16 for y.
-4
Let a = 25 - 15. Let d be 1*(3 + -5 + 2). Suppose -5*k + 4 = 3*v + 10, -4*v = -k - 15. Solve -x = -v*f + a, d*x = 2*f + x - 5 for f.
3
Suppose -99*l - 12 = -105*l. Solve l*o = 7*r - 3*r - 10, -4*r - o = -1 for r.
1
Let u(o) = o**2 - 21*o - 127. Let h be u(-5). Let v(q) = q**3 + q**2 + q + 1. Let r be v(-1). Suppose -y = -r*y - 4. Solve a = y*a - h, a - 4 = 3*k for k.
-1
Let c = 30 + -21. Let y be -1 + 1 - (-11 - 1). Let f be y/c*(-6)/(-4). Solve -f*o + v = -2, 0 = 5*o + 2*v + 13 for o.
-1
Let d be 12*((-10)/(-4))/5. Suppose t - k - 4 = 0, 0 = 3*k - 6*k + d. Solve -2*h - 4*x = -16, -2*h + h - x = -t for h.
4
Let r = -2 + 1. Let o be r/(-4) - (-22)/8. Let v(u) = u**3 + 10*u**2 + 9*u + 4. Let q be v(-9). Solve -q*n + o*x - 3 = -n, -n + 3*x = 7 for n.
2
Let k(o) = 8 - 2*o**3 + 9*o**2 + o**3 - 5. Let s be k(9). Suppose 0 + s = m. Solve z + 17 + 1 = 5*j, -5*j - m*z + 26 = 0 for j.
4
Let c be 2/7 - 133/(-49). Solve 0 = -2*v - 2*n + 20, c*v = n + 7 + 3 for v.
5
Let o be 1/(-3) - 7/(-3). Suppose 4 = -o*m - 2*m. Let i(q) = q**2 + q. Let n be i(m). Solve 0 = -2*j - 8, 0 = -n*v - 3*v + 3*j for v.
-4
Let d(n) = -n**3 - 8*n**2 + n + 10. Let z = 21 + -29. Let s be d(z). Solve -5*a - x + 20 = 0, -2*a + s*x + 6 = -2 for a.
4
Suppose 0 = -4*t - t. Let y be (1 - t)/(1/2). Solve 0 = 2*v + y, 0 = -4*b - 4*v + 2*v + 18 for b.
5
Suppose -3*f = 5*q - 4, 4*f + 2*q + 5 = 5*f. Suppose -f - 1 = -j. Let o(z) = z**3 - 12*z**2 + 2*z - 15. Let d be o(12). Solve j*a = 4, 4*h - 5*a = -0 - d for h.
-1
Let j(r) = r**3 - 6*r**2 + 5*r + 5. Let l be j(5). Let f = 14 + -10. Solve 3*a = 5*q - 10, f*q - 8 = -l*a + a for q.
2
Suppose 4*a + 0*a = 12. Let p = 13 + -1. Let s = p + -7. Solve -2*w - a*u = w, -u - s = -4*w for w.
1
Suppose w - 3*w = -5*w. Solve c = 4*y - 0*c - 24, w = y - 4*c - 21 for y.
5
Let a = -15 + 33. Let r(o) = 4*o**3 - 2*o**2 + o - 2. Let h be r(2). Suppose -3*t + h = -t. Solve 2*z + 2*q = t, z = -4*z + q + a for z.
4
Let d(p) = -p**3 - 4*p**2 - 3*p. Let j(n) = -3*n**2 - 2*n. Let x(l) = -3*d(l) + 4*j(l). Let w be x(1). Solve -2*s - 4*u = 8, 2*u = w*s - u - 17 for s.
2
Let h(n) = -2*n. Let y(p) = 7*p + 2. Let i be y(-1). Let z be h(i). Solve 3*w - 2*d = -2*w - 6, 0 = 2*w + 3*d + z for w.
-2
Let b = -22 + 23. Solve -2*p + b = -3*p - d, 17 = -5*p + d for p.
-3
Let t(z) = 2*z + 11. Suppose 0 = -5*n - 5 - 20. Let s be t(n). Solve -3*j + j = 4*y + 2, -5*y - 4*j - s = 0 for y.
-1
Let r(a) = -a**2 + 4*a + 8. Let d be r(5). Solve 2*y + 1 = 5*o, 5*o - d + 0 = y for y.
2
Let i be 2/7 - 4/14. Let c be 9/(-2)*(-8)/(-3). Let k be c*(0 - 3/9). Solve -5*l - 3 = k*d + 9, i = 4*d + 12 for l.
0
Let k(s) = 7*s**2 + 3. Let r(l) = l**2 + 1. Let t(x) = k(x) - 2*r(x). Let v be t(1). Solve -3 = y + 5*m, -3*y + 3*m - v = 3 for y.
-3
Let r = -35 + 37. Solve -3*i - 19 = d, r*i - 2*d = 3*d + 10 for i.
-5
Let k = -45 + 49. Solve 0 = -z - s + 2, 14 = k*z + s - 3*s for z.
3
Let x(f) = -f - 5. Let n be x(-5). Suppose 3*d = -n*d. Let w be 0 + d - 2 - -9. Solve 4*h - 2*b = -20, 5*h + 2*b - w*b = -35 for h.
-3
Let a = 13 - 11. Let w = 1 - -1. Let d = a + w. Solve 3*s = 0, -d*o + 10 = -2*o + s for o.
5
Let x = 19 + -14. Let g(j) = j**3 + j**2 - 4*j - 3. Let u be g(-2). Suppose 0 = 2*l - 7 + u. Solve 4*c + 3 = 5*y + 8, l*c + x*y + 40 = 0 for c.
-5
Let h be 1/(-4) - 78/(-24). Suppose -a + 0 - h = 5*z, 0 = -5*a + 5*z + 45. Let r = 3 - 0. Solve 3*w + 2*b + 5 = 6, 5*b - a = -r*w for w.
-1
Suppose 3*b = 2*b + 9. Suppose 4*t - 19 = b. Let l(a) = a**2 - 8*a + 9. Let y be l(t). Solve -4*v + 2*c = 5*c - 29, 0 = y*v + 3*c - 19 for v.
5
Let y(c) be the first derivative of c**2/2 + 7*c + 4. Let d be y(-5). Solv