 -2*t - 0, -t = -i - w for t.
2
Let p(n) = n**2 - n. Let o be p(0). Suppose -2*h + 22 = -o*h. Suppose 7*u + 16 = h*u. Solve u*z = t + 25, -5*z + z = 4*t for t.
-5
Suppose -84*d + 89*d = 15. Let c be 1*((5 - d) + -1)*3. Suppose 0 = -0*n + n - 9. Solve 2*v - w + 1 = 0, -c*w + 4*w = -2*v + n for v.
2
Let o(k) = k**3 + 2*k**2 - k - 5. Let r be o(-4). Let g be r/(-6) + (-2)/4. Solve g*y + 18 = 5*v - 12, 2*y + 4*v = 0 for y.
-4
Suppose 0 = -2*g - g + 63. Let a(k) = k**2 - k - 19. Let v be a(0). Let z = v + g. Solve -12 = -u + 5*i, 9 = -3*u - z*i - 6 for u.
-3
Suppose -t = -5*t + 16. Suppose 2 = -3*u + 4*g - 9, 4*u + t*g - 4 = 0. Let n be ((-2)/2 - -3) + u. Solve 16 = 5*r + n, m = 5*r - 19 for m.
-4
Suppose 2*o = f + 8 - 3, -5*o - 2*f = -8. Suppose -2*s = o*k - 4, -s - 5*k = 3*s - 5. Let g be 2/(1 - 2 - -3). Solve b = -d - s, b - d = g + 2 for b.
-1
Let z be (20/18)/(4/18). Solve -5*i - 2*m + 3 = 0, z*m - 26 = 5*i - 1 for i.
-1
Let m(d) = -d**3 + 3*d**2 - d + 3. Let k be m(2). Suppose -3*q - k*q = 0. Solve -5*p + y = -2*y, 3*p - y + 4 = q for p.
-3
Let y be 540/28 + (-2)/7. Suppose -90 = 4*b - 10*b. Let z = y - b. Solve -3*r - 4 = -r - w, -4 = -z*r - 4*w for r.
-1
Suppose -5 = -5*w - 5*x, 4*w + 0*w - 2 = -2*x. Solve 2*r - 10 = w, -q - 2*r = -6*q + 5 for q.
3
Let w(m) = -m + 1. Let y(t) = -t**2 + 13*t - 8. Let n(g) = -6*w(g) - y(g). Let k be n(7). Solve 0 = -3*i - 6, -6*i - 4 = -4*h - k*i for h.
-1
Let o(z) = -3*z - 42. Let k be o(-17). Let p be 1 + 27 - (-5 + k). Solve -3*q = -r - 5 + 15, p = -2*r - 5*q for r.
-2
Suppose -4 = -8*o + 5*o - 2*p, 0 = 5*o + 3*p - 8. Solve -5*n - w - 22 = 0, -3*n + o*w - 8 = 2*w for n.
-4
Let k be (-2)/((-4)/(-8)*(-2 + 0)). Solve -2*d - 2*d + 2*w - 8 = 0, d = k*w - 5 for d.
-1
Let r be (6/(-6) - 7) + 13. Solve 2*o + 0 = -r*u + 8, -5*o = -4*u - 20 for o.
4
Let y(r) = r**2 + 7*r + 4. Let l be y(-6). Let v be (-2)/12*l - 3/9. Let g(u) = u**2 - 4*u - 1. Let t be g(5). Solve -t = -x - v, -a - x = -6 for a.
2
Let p(s) = 4*s - 5. Let o be p(-1). Let x be (-10)/(-4) + o/(-18). Solve -3*v + 10 = -5*r - 5*v, -2*r + 7 = x*v for r.
-4
Let d = 63 + -36. Solve -3*l = 3*m + d, -8*m + 4*m = 2*l + 26 for m.
-4
Let j be -23 + 44 + 1 + 2. Suppose -5*s - 4 = -j. Solve -6*i = o - 3*i + 17, o - 18 = s*i for o.
-2
Let y = 37 + -29. Let d(j) = j**3 - 9*j**2 + 10*j - 11. Let l be d(y). Solve -5*q - l*i = -25, -8 - 2 = -4*q + i for q.
3
Let d(n) = 9*n - 3. Let v be d(7). Suppose 12*i = 12 + v. Solve -i*k + k = 5*u + 10, 6 = -5*k - 3*u for k.
0
Let a(u) = -u. Let c(y) = y**2 - y - 4. Let h(t) = 5*a(t) - c(t). Let q be h(-4). Solve o + 2*o = 0, x + 1 = -q*o for x.
-1
Suppose 42*x + 33 - 159 = 0. Solve -x*b = 2*t - 1, -6*t + 7 = -3*t - b for t.
2
Let h = 1 - -2. Suppose -4*y = h*b - 8, 2 - 6 = 4*y. Solve b*q = 5*l - 9, -2 = -4*l - 4*q + 34 for l.
5
Suppose -11*j - y - 24 = -16*j, y = 3*j - 16. Solve 3*d = -j*b + 6*d - 23, b + 9 = 4*d for b.
-5
Suppose 4*y + 4*s - 9*s = 12, -4*y + 12 = 3*s. Solve -h + 0*g = y*g + 4, -5*h - 3 = -2*g for h.
-1
Suppose -2*i - 6 = -10. Suppose -i*j + 66 = 16. Let c be -3*(3 + j/(-3)). Solve -4*r - c = -4*w - w, 0 = 3*r - w + 12 for r.
-4
Suppose -d - n = 2*d - 2, 6 = 5*d + n. Let l(g) be the second derivative of -g**3/6 + 2*g**2 + g. Let p be l(d). Solve w + 0 - 2 = -3*u, 3*w + 16 = p*u for w.
-4
Let h(b) = -b**3 - 3. Let x be h(0). Let q be 2/6 + (-32)/x. Let o(u) = u - 9. Let c be o(q). Solve 3*m = 2*m - 3*r + 8, -4*m - c*r = -22 for m.
5
Let y = 31 + -29. Let w(q) = -q**2 - q + 14. Let u be w(0). Let s = -10 + u. Solve -s*v - 12 = -y*l - 0*v, 1 = -v for l.
4
Let l = -130 + 153. Solve -2*a = 5*c - 0*a - l, -3*a - 3 = 0 for c.
5
Suppose -5*o - 16 = 3*n, 5*o - 4*o = -4*n - 10. Let p be (-3)/n*(-4 + 2). Let g = 6 + p. Solve b - g*s - 5 = 0, 6*b + 4*s = 2*b - 28 for b.
-4
Let x(b) = -b**3 + 7*b**2 - b - 5. Let k be x(5). Let y be (k/(-70))/((-4)/238). Solve 0 = 2*o + u + 1, -2*o + 5*u + 3 = y for o.
-3
Suppose 8*a + 54 = -154. Let y = -23 - a. Solve -4 = -0*w - 4*w - y*l, -3*w = -2*l - 3 for w.
1
Suppose 5*w - 5 = -5*r, -19*w + 21*w - 2*r = 18. Solve -3*g - 11 = -2*u - 1, -g + w = u for u.
5
Suppose -3*m + 44 = 5*w, 10*w - 4*m - 38 = 7*w. Solve 0 = -2*g - 4*t + t + w, 2*t = g + 9 for g.
-1
Suppose 293 - 9 = 71*l. Solve l*z + 8 = 0, -3*g - g - 3*z - 6 = 0 for g.
0
Let r(u) = -u**2 - 22*u - 35. Let k be r(-20). Solve -3*s = -1 - 2, x + 6 = k*s for x.
-1
Let d(p) be the first derivative of p**4/4 + 5*p**3/3 + 3*p + 1. Suppose 0 = -16*x - 31 - 49. Let h be d(x). Solve 2*c + h*v = -0*c - 2, 4 = -4*c - 2*v for c.
-1
Let k be (-1)/2 - 124/(-8). Suppose m + 10 - k = 0. Solve -1 - 5 = j - p, 5*p = m for j.
-5
Suppose -4*t = -37 + 9. Let x be ((-5)/3)/(4/(-24)). Solve 4*s - 2*s + x = 0, 3*s = -2*p - t for p.
4
Let z be (-15)/6*(-16)/8. Suppose 3 = -z*f - 2, -2 = -2*h - 2*f. Solve 2 = -d, -5*x = d - 2*d - h for x.
0
Let z = -373 + 376. Solve -4*q = z*t, -2*t + 8 = -t + 4*q for t.
-4
Suppose 5*p - 7 = 13. Suppose 0 = -p*r - r + 15. Solve 3*u = r*j - 12, -3*u + 3 = 4*j + 8 for j.
1
Let h(v) be the second derivative of v**3/3 - 14*v**2 - 4*v. Let r be h(15). Solve k - 2 = 4*c, r*k - 1 = 3 for c.
0
Let b = 167 - 167. Solve 4*t = 2*d + 20, b*d = 3*t + d - 15 for t.
5
Let r = -501 - -521. Solve -4*g - 5*j + 28 = 0, -g + 3*j = -5*g + r for g.
2
Suppose -76 = -3*y + 47. Let u(p) = -p**3 - 9*p**2 + 7*p - 3. Let c be u(-10). Suppose -c = -4*s + y. Solve -2*g - 4*x - 5 = 9, -5*g - x - s = 0 for g.
-3
Suppose -14*c = -19*c - 105. Let n = 46 + c. Solve -2*s = l + 5, -3*s + n = -6*s + 2*l for s.
-5
Let y = -103 - -107. Suppose 16*a = 18*a - y. Solve a*p + w = 3, -p - 4*p + 5*w = -30 for p.
3
Let c be -1 - -6 - 9/9. Suppose 4 = -h, 5*s = c*h + 29 + 2. Let v be (s - (-2)/2) + -2. Solve -q = -2*w - 6, w + v*q + q + 10 = 0 for w.
-4
Let t = 78 + -58. Suppose t*v - 21*v + 1 = 0. Solve -s + 5 = -4*o, 2*s - 5*s = 2*o - v for s.
1
Suppose -5*w - 10 = -0*h + 2*h, -3*w - 6 = -2*h. Suppose h = 2*a - 5 + 1. Let j be (a + -4)*-1 + 0. Solve -j*s = 4*y + 18, 0 = 3*s - 4*y - 3 for s.
-3
Let d be (-1 - -1)/(1 + 2 - 2). Suppose d = 245*c - 242*c - 9. Solve 3*h - 16 = -5*t, 4*h + 4 = 3*h + c*t for h.
2
Suppose -3*a + 4*l + 14 - 59 = 0, 0 = -2*a + 3*l - 30. Let c = -25 - a. Let d be ((-8)/c)/((-2)/(-10)). Solve d*w - 2*h - 23 = -w, h - 11 = -2*w for w.
5
Let u = -394 + 396. Solve 0*r - 10 = 2*r - u*l, -5*l - 25 = 5*r for r.
-5
Suppose 70*z = 68*z + 220. Suppose -z*l = -111*l. Solve 3*w - 3*d - 9 = 0, l*d + 3*d + 15 = 0 for w.
-2
Suppose 6 = -2*d + 2*o, -5 = 5*d + o - 4*o. Solve 3*y + 18 = -2*m, m + 15 = -d*y - y for m.
-3
Let j be 32/40*-10 + 15. Solve q - j = 4*c - 5*c, -3*c + 2*q = -1 for c.
3
Let h = -1 - -4. Suppose -135 = -5*x + 4*b, -2*x + h*b + 38 = -x. Let o = 28 - x. Solve -k - o*t - 7 = 2*k, -4*k = 2*t + 14 for k.
-4
Let u(d) = -d**2 + 7*d - 4. Let l be 10/(-3)*(-3)/2. Let t be u(l). Solve 0 = -3*q + 3*j - t, j = -q - 2*j + 14 for q.
2
Let l(q) = q**2 - 10*q - 15. Let g = 27 + -15. Let t be l(g). Suppose 15 = 3*n + 3. Solve -4 = -n*i + 16, 3*i - t = 2*z for z.
3
Let y be (-3)/(-12) + (-3 - 492/(-16)). Suppose -2*p + 12 = r, 5*r - y = -3*p + p. Solve 5*b + 5*n = 0, -4*b + r*n = -3*b for b.
0
Let b(n) = n**3 - 9*n**2 - 11*n + 12. Suppose 2*x = 0, q - 3*x + 50 = 6*q. Let s be b(q). Let p be (-11 - -8) + 3*s. Solve 3*f = -j - 3*j - 5, -15 = -p*f for j.
-5
Let j(x) be the first derivative of x**2 + 19*x + 9. Let f be j(-6). Solve -3*o - g - f = 0, -2*o = -0*g + 5*g + 9 for o.
-2
Suppose 5*t = -2*u + 10*t - 15, -5*t + 15 = 4*u. Solve -4*r + 16 = -2*w, u = -3*r - 1 + 10 for w.
-2
Let s = 242 + -57. Suppose 0 = s*g - 182*g - 18. Solve g*z - 4*z + 5 = -3*x, 4*x = 5*z - 22 for z.
2
Suppose -3 = -h - a, 12*h + 3*a = 13*h + 9. Solve h = -4*w + 3*r + 17, 0 = w + 5*r + 6 + 7 for w.
2
Let j be 3*(56/12 - 4). Suppose -3*y + 9 = 0, -3*y - j = 2*d - 17. Solve -6 = -3*f - 3*z, 6*z - d*z = 0 for f.
2
Let k(a) = 8*a**2 + 2*a + 1. Let v be k(-1). Suppose -5*m - 17 = p, -5*p + 4 = m - v. Solve 7 + 7 = -c + 5*o, 18 = p*c + 5*o for c.
1
Let z(d) = 2*d**2 + 16*d + 14. Let u be z(-7). Let x(w) = -w**3 - w**2 + 3*w - 1. Let o be x(-4). Solve 5*q + 3*i + o = u, 0 = 4*q - i - 0*i + 11 for q.
-4
Let q = -713 + 741. Solve -4*r = -20, 5*h - 2*h + 5*r = q for h.
1
Let u(g) = -g**2 - 3*g