j - 1, o*j + 24 = -0*d - 4*d for d.
-1
Let c(q) = -24*q**3 + q**2 - 2*q - 3. Let h be c(-1). Solve -2*f = -3*p + 2*f - h, -p + 5*f = 19 for p.
-4
Suppose 0 = -0*k + 3*k - 12. Let z = -2318 + 2333. Solve -2*w = k*y - 6, 4*y - z = -5*w - 0*y for w.
3
Suppose -2*d + 0*d = 0. Let g(b) = 1 - 2*b + d*b - b - 5 + 2*b**2. Let f be g(4). Solve 2*w = 3*w - 3*l + 4, -4*w - f = 4*l for w.
-4
Suppose -l = -3*f - 11, -5*f - 5 = -6*l + 11*l. Solve -2*w - l*k = k + 4, 3*w - 2*k = 7 for w.
1
Suppose 4*f - 2*z = -20, -3*f - z = -8*f - 31. Let u = 9 + f. Solve -u*m - 2*r = 4, 0 = -5*m + r + 3*r + 17 for m.
1
Let b be 5 + (-2)/(-4)*0. Suppose 134 = -2*o - 3*x, 4*o + x - 44 = -292. Let u = -59 - o. Solve -b*j + 0*j + 5 = 4*z, -u*j = -10 for z.
-5
Suppose 0*c - 3 = -c, -n + 21 = 5*c. Let a(m) = n*m**2 + 4 + 0 - 5. Let i be a(1). Solve -3*x = -i*v, -3*x + v = -0*v for x.
0
Suppose -4*f + 26 = 5*g, -g + 2*f = 3*f - 6. Let p = 0 - g. Let m be 6/p*(-2 + 1). Solve -3*q = -4*k + 25, 0 = -m*q + 2*k - 0*k - 17 for q.
-3
Let y(k) = k**3 + 7*k**2 - 10*k - 1. Let x = -1 + -7. Let q be y(x). Let i(b) = -b + 22. Let t be i(q). Solve 0 = 4*c - g - t, -2*g + 0*g + 10 = 0 for c.
3
Let m be (6/10)/(2 + (-36)/20). Solve -4*u = m*y + 5 - 16, 5*y - 2*u = 1 for y.
1
Let d = 837 + -833. Solve d*i + 0*c - c - 14 = 0, -c = -3*i + 10 for i.
4
Let g = -78 - -124. Suppose -3*f + 5*f + g = 2*s, -5*s + 109 = -2*f. Let x = s - 21. Solve -2*q + 2*k + 4 = x, -2*q + k - 3 = -2 for q.
-3
Let m be 46 - ((-1)/4 + 9/(-12)). Let n = m + -44. Solve n*s = -4*j - s, 0 = j - 4*s - 5 for j.
1
Suppose s - 17 = -21. Let q(y) = -14*y - 9. Let w be q(s). Suppose -w = -4*l - 5*c, c = -0*c + 3. Solve 4*j + 2*a = l + 6, 0 = -3*j + 4*a + 16 for j.
4
Let a = 241 + -218. Solve -4*p - a = 2*h + p, 13 = -h - 3*p for h.
-4
Let b(u) = 18*u - 105. Let z be b(6). Solve x + p = -p + 1, 0 = -3*x - z*p - 3 for x.
-3
Let g = -25 - -40. Suppose 7*x = g*x - 48. Solve -2*b + 15 - 4 = -5*h, -3*b + x = -4*h for h.
-3
Let h(l) = -l**3 - 4*l**2 - 4*l + 4. Let g be h(-4). Suppose 0 = 4*a + a + k - 4, -a = 5*k - g. Solve 3*j - 4*q + 0*q = a, 0 = 5*j + 4*q - 32 for j.
4
Let o = -512 + 514. Solve -3*l - o*r = 0, 5*l - 2*r + 6 - 22 = 0 for l.
2
Let b be 2 + -2*(-21)/6. Let c(l) = -12*l + 5*l + 8*l + b. Let u be c(-4). Solve 3 = -u*g - 4*f + f, 4*g - 1 = f for g.
0
Let i(q) = 2*q - 4. Let m be i(3). Suppose 0 = 3*h - m*c + 6, 3*c - 3 = 5*h + 2*c. Solve -5*r - 20 = h, -g = -5*r - 41 + 16 for g.
5
Let o(u) be the second derivative of u**4/12 - 7*u**3/6 + u**2 - 36*u. Let v be o(7). Solve 0 = -i - v*c - 12, -5*i - 45 = 3*c - 20 for i.
-2
Let f = 1742 + -1732. Solve 4*b + 3*i + 4 = -11, -f = b + 2*i for b.
0
Let r be -4 - 2/(2/(-15)). Let p = r - 7. Solve 3*o = 2*w + 5 + 1, p*w - 8 = o for o.
4
Let t be ((-10)/(-4)*(-24)/15)/(-2). Solve 3*j - w = -t*w + 17, -5*j = -4*w for j.
4
Let k = -10 - -13. Solve 3*b - 9 = 3*x, x + k*b = -b + 22 for x.
2
Let m(i) = -i**2 + 11*i - 7. Let b be m(8). Let w be b/3 - (-38)/(-57). Solve 0 = -w*x + 24 - 4, 5*x - 10 = -2*z for z.
-5
Let t(s) = s**3 - 53*s**2 + 197*s - 44. Let u be t(49). Solve 25 = -u*p, -p = 2*r - 2*p - 13 for r.
4
Suppose -5*k = 5*f - 90, 6*f - 2*k - 104 = f. Suppose 4*w - f = -w. Solve v - 2 = -c, -4*c + c = 5*v - w for c.
3
Suppose 5*y + 6 - 36 = 0. Let v be (20 + -4)*3/y. Solve -v = 3*w - n, -n - 5 = 2*w - 2*n for w.
-3
Let f = 447 - 442. Solve -f*r - 16 = -a, -r - a = 2*a for r.
-3
Let r(c) = c**3 + 7*c**2 - c - 1. Suppose 0 = -3*m + 2*i + i - 15, i = 3*m + 19. Let b be r(m). Solve 5*l = 4*u - 30, -4*l - b = -3*u + 17 for l.
-2
Let z(q) = -1. Let o(d) = d**2 + 5*d - 2. Let u(h) = -o(h) + 2*z(h). Let l be u(-4). Let m = -248 - -256. Solve -a + 12 = -4*k, 0 = -2*k + l*k + m for a.
-4
Suppose 2*m = -r + 3*r - 10, -3*r - 3*m = -9. Suppose 4*p - r*w - 96 = 0, p + w = 3*w + 23. Let y = -23 + p. Solve 1 = -q + 3*u, 0 = y*q - q - 4*u + 1 for q.
-1
Let f be 18/4 + 135/54. Solve -4*a + 11 = 5*d, 4*d = f*a - 6*a + 13 for d.
3
Let o = -58 - -94. Let s be (-3)/99*-6 - o/(-44). Solve 5*p = -3*l + s, 3*l + l - 4 = -4*p for p.
-1
Let q(w) = 3085*w + 10 - 3098*w - 2*w**2 + 3*w**2. Let c be q(13). Solve -18 = -z + 5*f - 8, z = -5*f - c for z.
0
Suppose -2*g = -4*z + 12, -9*z + 8*z = 5*g - 14. Solve z*w = -12*j + 10*j + 6, w = 3*j - 2 for w.
1
Let s(z) = 2*z - 7. Let i(j) = 4*j + 0 + 4*j**3 - 3*j - 5*j**2 - 3*j**3 - 1. Let l be i(5). Let a be s(l). Solve -q + 2*u = 3, -3*q + u - a = -u for q.
1
Suppose 4*f - 96 = -3*z, -3*f + 2*f = -3*z - 24. Suppose 0 = w - 5*p - f, -w - 2*w = 3*p. Solve 0 = -4*h + 6*o - o + 2, -o - 10 = -w*h for h.
3
Let j(l) = 33*l**2 - 1. Let t be j(1). Let w(a) = a**3 - 9*a**2 - 5*a + 15. Let p be w(9). Let i = t + p. Solve 7*y - 4*y + 12 = 0, i*q = -5*y - 28 for q.
-4
Suppose -4*s - 15 + 35 = 4*r, 3*s + r - 9 = 0. Solve 3*d + 12 = -v, 8 = -d - s*v + 3*v for d.
-5
Suppose 0 = -665*g + 662*g + 6. Solve 0 = -n - 3*m + 11, -m = g*n + 2*m - 16 for n.
5
Suppose 0 = -5*l - i + 29, -2*i - 8 = -4*i. Suppose 0 = a + 4*j - 20, -9*a = -11*a - 4*j + 20. Solve a*h = 5*h + 2*v - 14, -l*h = 3*v - 11 for h.
4
Let o be (-7 + -6 - -23) + -7. Solve -4*q + o*i + 8 = 7*i, 0 = i + 3 for q.
5
Let q be ((-2)/(-1) + -3)*-5. Suppose 3*b - q*l = 6*b - 83, 0 = -l + 4. Solve 4*v + z = 19, -2*v - 4*z = 3*v - b for v.
5
Suppose -6*s = -3*s - 60. Let j be 4/18 + s/(-90). Suppose -2*h - 8 = -3*f, j - 1 = h. Solve -3*t - 2*t = f*v - 14, -3*t = 4*v for t.
4
Let q be (3 + 18/(-4))/(75/(-1450)). Solve q = -4*y - 3*j, -2*j = 3*y + 2*j + 27 for y.
-5
Let g be 3/9 + (-44)/(-3). Suppose -r = 2*r - g. Suppose -r*h + 26 - 1 = 0. Solve 5*u = 3*m - 8*m, 0 = m + h for u.
5
Let l = -16 - -25. Let g be 2*-2*(-140)/(-8). Let x = -39 - g. Solve 3*s = 5*b - x, -3*b + l = 2*s + s for s.
-2
Let g = 132 - 132. Let v(p) = 3*p**2 - 2*p + 2. Let s be v(g). Solve -s*q - 3*z - 2 = 0, -5*q - z + 5 = -16 for q.
5
Suppose 3*d - 8 + 5 = 0. Suppose 0 = -2*j + 2, 2*j + 42 + 6 = 5*s. Suppose 30 - s = 5*q. Solve -q*o + w = 9, 2 = -w - d for o.
-3
Let r = -3 - -15. Let u be (44/r - 4)*-3. Suppose 1 = t - u. Solve -t*i - x = 6, 0*i - x = 3*i + 9 for i.
-3
Let g be 6/(-10) - 1344/10. Let w = g - -138. Solve -8 = 4*f + 8, 0 = -w*z + 5*f + 29 for z.
3
Let r(s) = -5*s + s + 5*s - 3. Let j be r(7). Let f(x) = -28*x + 160. Let c be f(5). Solve -2*z + 0 = v + 5, -j*v - c = 0 for z.
0
Let u = 4 - 2. Let p be 4 + (-50)/15 + (-26)/(-6). Solve -p*o - 4*g - u = -5, 3 = -5*o - g for o.
-1
Let w be 344/10 + 39/65. Let a = -16 - -22. Suppose 5*u + 4*k = 10, -3*k - 6 = -4*u + 2. Solve a*i = u*i + 3*r - w, -2*r = -10 for i.
-5
Let u(m) = -m**3 + 3. Let d be u(0). Let n = -1018 - -1024. Solve -d*k = -4*o + n, -5*o + 4*o = 4*k + 8 for k.
-2
Let l(b) = 2*b + 8. Let d = 28 + -25. Let w be l(d). Solve 3*x - 3*p = 15, x - 4*p - 3 = w for x.
1
Let j be 4/8*4 + 338. Suppose 0 = -6*k + 2*k + j. Suppose -5*s = -k + 5. Solve t + 4*n + 16 = 0, t - s = 3*t + 4*n for t.
0
Let u be ((-7)/(-7))/(2/(-2)). Let w be (10/(-15))/(u/(-15)). Let x(a) = a**2 + 6*a - 17. Let f be x(w). Solve -v + 5*v - 2*i - 22 = 0, -f = -4*v + 3*i for v.
5
Let y(s) = -4*s - 3. Let h be y(-6). Suppose -4*g = 2*r - 30 - 56, 32 = 3*g - 5*r. Let f = h - g. Solve -o + f*q - 7 = -0*o, -2*o = 5*q - 31 for o.
3
Suppose -8 = -17*m + 15*m. Let z be 0*(3 - m)/(-2). Solve 3*s = -z*v + 4*v - 10, 0 = 3*s + 3*v - 18 for s.
2
Suppose -3*o + 34 = 4*s, 0 = 4*o + o + 5*s - 65. Suppose -l = 5*j - 84, 4*j - o = 4*l + 30. Solve 4*a + 4 = -j, -15 = -2*r + 5*a for r.
-5
Let s = 44 - 30. Suppose 0 = -17*h + s*h + 9. Let g be 6 + -2 - h - -3. Solve 3*k + 3*m = 0, 2*k + k - g*m = -28 for k.
-4
Suppose 3*x = 2941 - 2929. Solve -v - i = -4, -4*i - 1 = -x*v - 9 for v.
1
Let g(x) = -18*x**2 + 4*x - 1. Let j be g(-1). Let l = 25 + j. Solve -2*r - 2*t = -18, l*r = t - 6*t + 33 for r.
4
Let c = -1357 + 1369. Solve p + 3 = a - p, c = -3*p for a.
-5
Let b(j) = -j**2 - 3*j + 42. Let y be b(-8). Solve 2*n - 5 = -5*k - 1, -4*k = n - y for n.
2
Let m(r) be the first derivative of r**4/4 - 2*r**3/3 - r**2 - 11. Let n be m(3). Solve 36 = -5*a - 4*c, n*a = -4*c - 9 - 19 for a.
-4
Let f be (3 - 2)*(-6 - -6). Solve 2*q + f = 4, 16 = -5*h + 3*q for h.
-2
Let l = 114 - 112. Solve l*i - 2*z = 5*i - 8, 5*i + 4*z = 14 for i.
2
Suppose -m - 28 = -5*o + 3*m