= -4*i + c + 6 - 2, -c = 4*i - 12 for i.
2
Let x be 2/(-9) + 377/117. Solve -b = x*c + 9, -3*c - 24 = -2*b - 2*b for b.
3
Let z = -9 - -13. Let h = -50 + 10. Let x be ((-24)/(-10))/((-12)/h). Solve 3*j + 2 = -s, -z*s - x = 3*j - 9*s for j.
-1
Suppose -3*y + m + 2 = 0, 6 = 3*y - 4*m - 11. Let n be y*(0 + -1) - -7. Suppose -n*d + 5*d + 6 = 0. Solve 0 = x - q + 3, 0 = 2*x - 2*q - d*q + 14 for x.
1
Let k = -9 - -3. Let c = k - -23. Solve -3*x = 5*u - 31, 4*u = -x + u + c for x.
2
Let f(r) be the third derivative of 0 + 5/24*r**4 + 1/2*r**3 - 1/60*r**5 + 0*r - 2*r**2. Let c be f(5). Solve 2*m - q = 2 - 3, -c*m = -3*q + 3 for m.
0
Let l = 11 + -8. Suppose 17 - 69 = -4*q. Suppose -l - q = -4*v, 0 = -f - v + 4. Solve 5*j + f*j = c, -j = 0 for c.
0
Let t be 2*1*(-12)/(-8). Solve -4*q - 32 = -t*i, 2 = 5*i - 2*i + 2*q for i.
4
Let o(g) = -5*g**3 + g. Suppose 2*k = -3*t + 4, 2*k - 3*t = -0 + 4. Suppose 0 = -2*n - 0 - k. Let j be o(n). Solve j*i = -3*r + 4, i - r - 2 = -1 for i.
1
Suppose 3*z - 7 = -2*s, 0 = -0*s + 2*s + 5*z - 9. Solve 3*c - 6 = 2*w + w, -3*c - 4 = s*w for w.
-2
Suppose -5*r + r - 4*g = 8, -4*r + 2*g + 22 = 0. Solve y - 3*a + r = 0, a - 15 = y + 4*y for y.
-3
Let t(m) = 2*m**3 + 13*m**2 + 5*m + 5. Let l be t(-6). Solve -a + 4*k = -l, 4*k = 4*a + 2*k - 2 for a.
-1
Let y(b) = -b**3 + 4*b**2 + 11*b + 11. Let f be y(6). Solve 5*n = -f*k + 25, -n = -5*k + k + 5 for n.
3
Let f(o) = o**2 - 5*o + 4. Let k be f(4). Solve -4*q - 3*j - 28 = k, 0 = -2*q - j + 3*j for q.
-4
Let o = -54 + 104. Suppose 4*c - 5*u = -c + o, -u = 4. Suppose s = c*s. Solve 3*j - 3*w = s, w + w = 3*j - 3 for j.
3
Let c = 0 - 3. Let h = 12 - c. Solve 3*v = -3*u - 3, -4*v + h = -9*v for u.
2
Let m = -5 - -45. Solve 2*j + 4*k - m = -2*j, 4*j - 3*k - 5 = 0 for j.
5
Suppose -u + n = -n - 11, -3*u = -3*n - 30. Solve -3*s + s + u = d, 3*d - 25 = -5*s for d.
5
Suppose 0 = q + 1, -3*q - 2*q = -4*o - 43. Let w = 15 + o. Solve 0 = -c - 2*p - w, -5*p + 12 = -2*c - 2*c for c.
-3
Let f = 124 - 121. Solve f = 4*u + x, -4*x + 2 = 5*u - x for u.
1
Suppose -5*d + 15 = 4*p, -p - 3*d = -2*p - 9. Solve -5*s + s + 5*j - 7 = p, 3*s = 2*j - 7 for s.
-3
Let z = 137 + -112. Solve 2*d - 10 = -p, -5*d - p + z = -6*p for d.
5
Let m be 1/3 - (-14)/3. Solve -2 = -3*x + 5*u, x = -x + m*u - 2 for x.
4
Let q be (-12)/(-2) - (1 + 1). Let c(i) = -i - 8. Let g be c(9). Let r = -9 - g. Solve -q*x - 3*v = v + r, 5*v = 10 for x.
-4
Suppose -5*l - 5 = 5*t, 3*t = 4*l - 5 - 19. Suppose l*k = -2*k - 10. Let j be 6 + k + -1 + 2. Solve 10 = -5*h - 5*n, -6*n + 22 = -j*h - 5*n for h.
-4
Let n be 0 - -3*(0 - (-3 - -2)). Solve 3*l = -n*b - 9, -l + 3 - 16 = 3*b for l.
2
Suppose -16*c = -14*c - 4. Suppose 0 = c*i - 49 - 15. Solve -33 + 10 = -4*a - j, -4*a - 4*j = -i for a.
5
Suppose 3*r = w - 5, -15 = -3*w + 4*r - 3*r. Suppose 0 = -3*k - 2*k + w. Let l = 1 + k. Solve 0 = l*f - 3*u - 1, -5*f + 4 + 7 = u for f.
2
Let n(x) = x - 3. Suppose 5*v + b + 2*b = 20, -4*v + b = -16. Let a be v*((-45)/(-12))/3. Let u be n(a). Solve -u*p - 3*p + 5 = 5*l, l = -3*p + 7 for l.
-2
Let u = 6 + 0. Let f be (-8)/u*(-6)/(-4). Let y be f/9 - (-58)/18. Solve 3*c - 8*c = -3*z - 4, 0 = -y*c - 3 for z.
-3
Let r(p) = p. Suppose j + 0*j = 3. Let w be r(j). Suppose w*o - 4 - 23 = 0. Solve -4*b + l - 6 = -l, 4*b - l + o = 0 for b.
-3
Suppose 0*m + 5 = 5*o + 5*m, 4*o = 4*m - 36. Let r = o + 9. Let y = -4 + 6. Solve 5 = y*t - 4*b + b, -3*t + r*b + 10 = 0 for t.
-5
Let o be 32/5 + 4/(-10). Let s(l) = l - 2. Let c be s(o). Solve 5*m - c*y - 5 = 0, -3*y - 33 = 3*m - 9 for m.
-3
Suppose 28 = 12*s + 2*s. Let x(w) = -2*w - 4. Let n be x(-3). Solve s*j - 4*j = 3*p - 4, n*p - 12 = j for p.
4
Suppose 0 = -2*d - 4 + 10. Let m(n) = 4*n**2 - 2*n + 3. Let f be m(d). Let y = 48 - f. Solve 2*z + y = u, -5*u - 3*z + 10 = -0*z for u.
5
Suppose -14*w = -7*w - 28. Solve -2*a + 12 = -d + 1, 4*a = -w*d - 8 for a.
3
Let x = 5 + -8. Let c = x + 23. Solve -r = b - 0*b + 3, 4*b + c = 4*r for r.
1
Let n(l) be the second derivative of -l**5/20 + 4*l**4/3 + 17*l**3/6 + 3*l**2 - 4*l. Let t be n(17). Solve 4*b = x + 3*b - t, -17 = -4*x - 3*b for x.
5
Let t = 10 - 25. Let r = -8 - t. Solve -4*q = -4, -v + q = r - 2 for v.
-4
Let c(l) = -l + 13. Let g be c(9). Suppose 3*o - 2*o - g*r - 1 = 0, 0 = -o + 5*r. Solve -40 = -3*f + 5*b, 4*f + 3*b + 2*b = -o for f.
5
Let r be 6 - 7 - 14*-1. Solve -7 = 5*j + 2*s - s, j + 5*s - r = 0 for j.
-2
Let q = -6 + 10. Let r be 2/q*14 + -2. Suppose -36 = -15*y + 13*y. Solve -2 + y = -4*h - r*w, 8 = -2*h - 5*w for h.
-4
Suppose 4*s + 0*g + 20 = -5*g, 3*g + 12 = 5*s. Solve p + 4*r + 10 = s, -4 = 4*p + r + 3*r for p.
2
Let r(d) = 3*d**2 - 12*d + 14. Let k(z) = -2*z**2 + 6*z - 7. Let s(i) = -5*k(i) - 3*r(i). Let o be s(-7). Solve 5*l = -3*p + p + 7, o = p + 5*l - 6 for p.
1
Let l be 16/72 + 104/18. Solve -4*a - l = u + 14, 0 = u - 2*a - 4 for u.
-4
Let a be (0 - -1)*(-14 + 15). Solve -3*z = -4*k + a, 4*z + 12 = -4*k - 8 for k.
-2
Let j(t) = 27*t**2 - t - 1. Let y be 2/4 - 1/(-2). Let k be (4 + -3)/y + -2. Let c be j(k). Solve f + 3*m + 35 = -4*f, -3*m - c = 3*f for f.
-4
Let s(j) = -j**2 + 2*j + 11. Let o be s(5). Let r be 6/8*(-16)/o. Solve f - 4*x = -3, -4*f - 12 = -r*x - x for f.
-3
Suppose 3 + 21 = 3*a. Solve 2*f + a = 0, 2*f + 12 = -2*d - f for d.
0
Let b = 10 + -5. Suppose 5*o + 55 = b*s + 15, 20 = 4*s. Let g = o + 7. Solve 0 = g*p - 3*x + 14, -2*x - 4 = 5*p - p for p.
-2
Let j = 1 - -5. Let l = 9 - 3. Let h = l + j. Solve 2*y + 3 = 3*a, -y = -3*y - 2*a + h for y.
3
Suppose 0*i + 12 = -2*i + 4*j, 0 = 3*i + 3*j - 9. Solve -3*t - 6 = -2*q, -2 + i = -2*q + 2*t for q.
-3
Let q = 0 + 5. Solve -2*k - 2 = -2*d, -23 = -q*k - d - d for k.
3
Let a(r) = r**3 + 3*r**2 + 3*r. Let d be a(-2). Let b be (-12)/(-42) - (-132)/28. Let y = b - d. Solve x = -4*u + 21, -x - u = x - y for x.
1
Let x be 4 + 3 + -2 + -1. Solve -2*z + 4*d - 14 = 0, 0 = 3*z - 3*d + x + 11 for z.
-3
Let h be 27 - (-1 + 0) - -1. Let x = h - 12. Suppose 3*u - x = 5*p - 3*p, 3*u = 3*p + 18. Solve -1 = -3*j + f, u*f - 25 = -0*f for j.
2
Let s = -53 + 56. Solve 0 = s*b + 3*y - 2*y - 15, -b + 2*y + 5 = 0 for b.
5
Suppose -4*b = 5*q - 3*q, -5*q + b = -11. Suppose 0 = 3*u - 4*u + q. Solve -g + 1 = -p - 5, 0 = -u*g - 3*p - 8 for g.
2
Let d(n) = -3*n + 2. Let h(t) = t**3 + 7*t**2 + 8*t + 7. Let z be h(-6). Let c be d(z). Solve -12 = m + 3*y, -5*m - 2*y - 4 = c for m.
-3
Let z = 10 + -5. Let a be (2/z)/(3/15). Solve -3*x + 16 = 4*q, -a*x - q + 2 = -2 for x.
0
Suppose 70 = -2*c + 76. Solve -n + 2*x + 1 = -5, 5*n + c*x = -22 for n.
-2
Suppose 0 = -q + 4, 7 = 3*j + q - 9. Suppose -4*p = j*i + i - 21, -3*i = 2*p - 11. Solve 3*n + 5*z = p*n - 22, 20 = -5*z for n.
2
Suppose 3*w + w - 2*t = -14, 0 = -4*w + 5*t + 1. Let n(z) = -z**2 - 5*z + 8. Let f be n(w). Solve h + 9 = -0*h + f*d, -4*d = -5*h - 15 for h.
1
Suppose 0*j + 4*o - 24 = -2*j, 4*o - 16 = 0. Suppose 3*h - 6 = 9. Solve -2*z + h = -a - 0*a, 0 = -2*a + 2*z - j for a.
1
Let x(w) be the third derivative of -w**6/30 - w**5/60 - w**4/12 - w**3/6 - 3*w**2. Let y be x(-1). Solve -2*f - 9 = 2*f - k, y*k + 6 = 2*f for f.
-3
Let j(q) = -q. Let r be j(-4). Solve 3*b + r = 5*t - 3, -2*t - 1 = -5*b for t.
2
Let z be -3 + 2 - 0/1. Let c be z + 1 - 5/(-1). Let d = 19 + -18. Solve -c*j - 4*r - d = -19, -5*j - r = -12 for j.
2
Let a = -5 - -9. Let q = -2 + a. Solve l + q*o + 2 = -1, -3*o + 15 = -5*l for l.
-3
Suppose 3*j - 25 - 50 = 0. Suppose -2*l + 2*v + 20 = 0, -l - l + j = -3*v. Solve -2*t - 5*o - 7 - 28 = 0, 3*o + l = 2*t for t.
-5
Let b be 0/(1 + 3/3). Suppose b = u - 1 - 2. Solve -2*k - 8 = 2*r + 2, r + u = 0 for k.
-2
Let i(x) be the third derivative of x**4/24 + x**3/6 - 3*x**2. Let z be i(4). Solve q + 5 = -2*l, z*l - 4*q - 8 = l for l.
-1
Let o = -9 - -5. Let v(g) = g**3 + 4*g**2 - g - 4. Let n be v(o). Solve 3*m = d - 3, m - 3*d + 2*d + 3 = n for m.
0
Let z = -14 - -40. Suppose 0 = -5*f - 6 + z. Suppose f*j - 18 = j. Solve 0 = -c - 3, j*c + 9 = -3*h + c for h.
2
Let y = 2 + 0. Let o be (-11)/(-4)*(-8 + 4). Let g be (-31)/o - 2/(-11). Solve -5*j = n - 4 + 1, -j - y*n = g for j.
1
Suppose -19 + 0 = -f. Suppose -f = -x - 7. Let g = 4 + -3. Solve l = -4*i + g, -3*i - 5*l + 2*l = -x for i.
-1
Let l = 64 + -60. Solve 4*x = 5*x + v + 3, 0 = -l*v - 4 for x.
-2
Suppos