ve 3*j - g*y = -9, 3*y = 4 + 2 for j.
-1
Let z(k) = 2*k - 8. Let c be z(6). Solve 3*p - 4*d + 5 - 11 = 0, 2 = p - c*d for p.
2
Suppose 0 = -2*h + 7*h - 15. Suppose -2 = -j + 14. Suppose q - j = -3*q. Solve -10 = -q*x - z, 0 = 5*x - 2*z - h - 3 for x.
2
Suppose 0 = -2*q + 16 + 8. Solve 4*r = u + q, 0*r = -r + 4 for u.
4
Let d be (-35 + 3)*2/(-4). Solve -4*w = -4*i + d, 5*i - 30 = 2*w - 7 for w.
1
Let f be ((-12)/10)/(4/(-10)). Solve 0 = r + r + 2*w, 0 = -4*r + f*w + 21 for r.
3
Suppose 69 + 31 = 5*h. Solve -2*m - 3*m + 2*r = h, 0 = 5*m + 2*r for m.
-2
Let o be (2 - -1) + (-1 - -2). Suppose 3*w = w + o. Suppose 0 = w*a - 6 + 2. Solve 4*r = -3*q + 6, -a*r - 3*q = q + 2 for r.
3
Let d(b) = 2*b - 1. Suppose v - 8 = 4*q, 4*q + 5 = 4*v - 27. Let y be ((-6)/4)/((-6)/v). Let z be d(y). Solve -g + 0 = 5*p - 4, -z*p + 20 = 5*g for g.
4
Let d = -39 - -41. Solve d*u - 3*u + j = 0, -16 = -3*u - 5*j for u.
2
Let l be 20/8 - (-2)/4. Suppose f = l*f - 4. Solve -5 = 3*r - f, -r = 2*z + 5 for z.
-2
Let a(v) = v**2 - 6*v + 6. Suppose -5*c = f + 11 - 0, -c = 3. Let o be a(f). Let p be (-2 - -3)*(o - -6). Solve -m + 2 = -3*w - 6, -3*w + p*m - 23 = 0 for w.
-1
Let i be (1 - 4) + 6 + 2. Solve -3*z = 3*c - 15, -3*c - 1 + 22 = i*z for c.
2
Let u = 3 + -5. Let x be (0 - u/(-6))*-18. Let j = x + -3. Solve j*w = 2*h, -h = 5*w - 2*h for w.
0
Let l(h) = h**2 - 2*h - 4. Let j be l(4). Solve 0 = c + x + 2, -x + 29 = -j*c + 2*x for c.
-5
Suppose 2*y = -2*y - 28. Let s(h) = -11*h - 36. Let z(f) = 4*f + 12. Let k(d) = -3*s(d) - 8*z(d). Let q be k(y). Solve 0 = -q*t - 20, t - 6*t = -4*b + 32 for b.
3
Let s = -2 + 3. Let j be 2 + (s - -1 - 4). Let b be (j - 0) + 6 - -2. Solve 0 = 2*u - 4*l, -3*l = -7*l + b for u.
4
Let m = -3 + 3. Suppose p - 5 + 0 = m. Let y = 20 - -10. Solve o + p*a - 30 = 0, -a + 0*a + y = 5*o for o.
5
Suppose 0 = 54*r - 55*r. Solve 4*z - 4*f - 24 = r, -5*z + 16 = 2*f - 0 for z.
4
Let z = -77 + 79. Solve -2*o = -z*j - 7*o - 13, -4*j + 4*o = 12 for j.
-4
Suppose -4*i + 3*i = -12. Let v = 14 - i. Solve 2*o + z - 3 = 0, -3*z - 11 = -v for o.
3
Let d(k) = -3*k - 38. Let x be d(-14). Solve 2*f - x*b + 14 = -8, 24 = -4*f + 4*b for f.
-1
Suppose -4 - 20 = -4*w. Let n = -11 + w. Let u = n + 7. Solve i = -2*q + 2*i + 2, u = -3*q - i for q.
0
Let t be 4/(-10) + 476/140. Solve -3*g - 4*j - 13 = -5*j, -7 = t*g - 4*j for g.
-5
Let q = 5 - 2. Suppose q*w + 2 = 5*u - 3, -1 = 5*w - u. Suppose 4*c - 40 = -w*b + 3*b, -4*c = -b - 48. Solve 0*s - 2*s = 3*m + c, 3*s + 15 = -3*m for m.
-3
Let y(p) = p**2 - 4*p - 8. Suppose 7*s = 4*s + 18. Let c be y(s). Solve -6 = 4*g - x - 0*x, c*g = -4*x - 16 for g.
-2
Suppose 2*o + 4*i - 6 = -0*o, 4*i = 0. Suppose -o*u = -27 - 30. Solve 3*t = -2*c + 4*t + 7, 3*t + u = 4*c for c.
1
Suppose 24 = 3*a + 4*t - 3, -a + 17 = 4*t. Solve 0 = q + 3*f + 10, -22 = -a*q + 5*f + 8 for q.
2
Suppose 2*h = -2*h + 28. Suppose h*v - 5*v = 4. Solve -x = -0*x + v, 3*x + 16 = 2*n for n.
5
Let k be 3*8/12 + -17. Let p be 2/((-2)/k*3). Solve p*h + 4 = 4*g, 3*h + 0*h = -5*g + 5 for h.
0
Suppose 2*u = u. Suppose 3 = 3*q + 3*p, -3 = -4*p - 7. Solve 4*f - 16 = u, -2*f - 5 + 21 = q*l for l.
4
Suppose -3*z = -6*z + 12. Suppose -z = -3*f + 2. Let p be 0/3 - 2*-1. Solve 22 = -p*a + 5*a - 2*q, -18 = -f*a + 2*q for a.
4
Let g be (-4)/(-10) - 666/(-185). Let k(i) = i + 12. Let f be k(-6). Solve l + 14 = -4*b - g*l, -l = 4*b + f for b.
-1
Let y(v) be the third derivative of v**5/60 - v**4/6 + v**3/3 - 4*v**2. Let k be y(6). Solve -2*x - 4*c - k = 0, -c + 4*c + 14 = 2*x for x.
1
Let z = 0 + -6. Let s = -6 - z. Solve 4*o + s*o = 4*i + 4, 5*i + 5 = 4*o for o.
0
Let m(q) = q**2 - 4*q + 6. Let y be m(8). Suppose 213 = -5*r + 4*d, 4*d + 5 - y = r. Let o be r/10*(-4)/6. Solve -s = -2*x - 2, -x - o*s - 12 = 2*x for x.
-2
Suppose -t - c + 2 = 3*c, -4*c + 6 = 3*t. Let v = -5 + 8. Solve 0 = 5*r + 3*w, -r + v*w - t*w = -8 for r.
3
Let o = 8 - 14. Let q be 3*o/1*-1. Solve 2*s = w - 2*s, 5*w - q = 2*s for w.
4
Let m(u) = -u**3 - 5*u**2 - 6*u - 3. Let j be (-1)/(-1) - (-10 - 3). Let o = 10 - j. Let f be m(o). Solve -f = -4*r + 5*w - 32, 6 = -r + w for r.
-3
Let j be 3/6 - (-5)/2. Suppose j*p - 40 = -p. Let i = -1 - -5. Solve b + 6 = w, -w + i*w - p = -b for w.
4
Suppose 96 = 5*v - 2*v - 4*k, 5*k + 155 = 5*v. Let x be (0/(-2))/(1 - 2). Let g = 6 - 5. Solve -p - n + 0 = g, x = 4*p - 2*n + v for p.
-5
Let q = 8 + -8. Let o be 2/4*2*q. Suppose -2*w - 10 = o, -5*v - w + 35 = -2*w. Solve 0 = -3*d + 3, -v*b - 4*d = -b - 24 for b.
4
Let b(h) = 0*h - h**2 + 0*h**2 - 12*h. Let s be b(-12). Suppose s = 2*o - 21 - 35. Solve -5*f + 2*m = 20, -4*f - m + 5*m = o for f.
-2
Let l be (12/10)/(6/80). Suppose 0 = 4*o - l - 0. Solve o*p - 2 + 0 = -2*i, 4*p = -5*i + 17 for p.
-2
Let l = 12 + -7. Suppose 1 = w - t, -t + 0*t + 11 = l*w. Solve -4*n - 14 = -w*c, 0 = -3*c - 4*n + n + 3 for c.
3
Suppose 0*t - 24 = -8*t. Solve 3*l = 3*w + 9, -t*w = -4*w - 2*l - 6 for w.
-4
Let c = -9 + 12. Solve -2*a + 28 = -7*h + c*h, 3*a - 5*h = 37 for a.
4
Let l(x) = -5*x**3 + 2*x + 6. Let q(v) = -6*v**3 + v**2 + 3*v + 7. Let o(w) = -5*l(w) + 4*q(w). Let d be o(-2). Solve -s - d*f = 7 - 2, -2*s + 3*f = -18 for s.
3
Let g = 3 - -2. Suppose 0 = -2*x + 2*w - 3*w + 14, g*x - 41 = -4*w. Suppose 0 = -x*r - 0*r + 100. Solve -3*t = -4*o - 19, 3*t = 7*t - r for o.
-1
Let i(q) = -6*q - 20. Let p be i(-6). Solve -4*n + 20 = 3*v, 5*v - n - p = n for v.
4
Let z(p) = -p**2 + 9*p + 3. Let i be z(9). Let a be ((-4)/6)/((-4)/(-6)). Let c be 6*(a/i + 1). Solve 0 = c*y + 3*v + 16, -4*v - 17 = 5*y + 4 for y.
-1
Suppose 5*t = 13 - 58. Let b = -7 - t. Solve -4*w - b*q - 22 = 0, 3*w + w = 5*q - 15 for w.
-5
Suppose 5 = w, 2*g - 4*w = -0*g - 8. Suppose -g*y = -y - 20. Solve q + j = -2*j - 4, y*q - j = -3 for q.
-1
Suppose -13 - 14 = -s. Let p(l) = l + 1. Let m be p(1). Suppose m*n + 4*j = 16, -n = -2*j + 6 - 34. Solve -3*h + 4*h - 5*y = s, 0 = h + 4*y + n for h.
2
Let o = -72 + 76. Suppose 0 = 4*m + 5*z + 25, 2*m - 3*z - 15 = -2*m. Solve x + 4*x + 3*k = m, 0 = o*x + 4*k for x.
0
Let l = 60 - 57. Solve t = 4*h - 4, -5*h - l*t = 5 - 27 for h.
2
Let p(u) = -3*u - 3. Let b be p(-6). Suppose 4*y - b = 2*y - 5*r, r = 4*y - 19. Solve -k = -2*x + 8 + 7, y*x = 3*k + 40 for k.
-5
Let g = 10 + 9. Suppose -5*n = -25, -v + g = 5*n - 8. Suppose 3*d + 2 = m, v*d = 4*m - 2*d - 16. Solve -m*f + 23 = -2*i, 0 + 10 = 2*f - i for f.
3
Let h = 6 - -2. Suppose 6 = 5*g + o - h, g - 2 = -o. Solve -2*c - g*c - 4*v = 2, 3*v + 19 = 5*c for c.
2
Suppose -10 = -l - 4*l. Suppose 16 = 6*a - l*a. Solve -y + 8 = 2*y + p, y - p = -a for y.
1
Let r(m) = -m**2 + 4*m + 2. Let t be r(5). Let v = 2 - t. Suppose n - 2*a = 3*a + 40, 0 = 5*n + a - 96. Solve 5*d + 0 = -w - n, -4*d - 5*w = -v for d.
-5
Suppose -5*y + 8*b - 10 = 4*b, -21 = -3*y - 3*b. Solve -2*t - a + y = -4*a, 3*t - 5*a = 3 for t.
1
Let h(s) = 12 - 9 - 2*s - 2. Let t be h(-1). Suppose -t*p + 10 = -p. Solve 5*m + 5 = 2*o, 0 = m + m + p*o - 27 for m.
1
Let o = -8 - -24. Let a = o + -16. Solve 0 = 3*i - 5*u - 28, 4*i + a*u + 11 = -3*u for i.
1
Suppose -2*b - 18 = 46. Let c(i) = 11*i**2 + 2*i - 1. Let k be c(2). Let u = b + k. Solve -l + u = m - 3*l, -m = l for m.
5
Suppose 4*j = 5*n - 10 - 6, -4*j - 4 = -2*n. Suppose 5*f + 6*r - 22 = 2*r, -3*r = -f - 7. Let d = j + f. Solve -5*w + 5*y = 5, d*w + 2*y = 7*w + 8 for w.
-3
Let j be (-30)/(-2)*4/12. Solve -4*o = -j*w + 18, 0*o - 2*o = -2*w + 8 for o.
-2
Suppose -2*x + x = 3. Let u be 3*((-4)/x + 0). Solve 2*p - 6 = 2*r, -6 = 3*p + u*r - 29 for p.
5
Let q(b) = b - 1. Let z be q(4). Let a be ((-1)/3)/((-3)/27). Suppose -4*d + 2 = -6. Solve r = 6*m - a*m - 11, z*m - 13 = d*r for m.
3
Let s(l) = 2*l**3 + 33*l**2 - 15*l + 38. Let t be s(-17). Let d = -6 - -11. Solve -15 = k - t*m, -2*m + 1 = -d*k - 2 for k.
1
Let a = 4 - -1. Suppose -5*u = 3*g - 30, -3*g - 1 = -2*u - 2*g. Let r = a - u. Solve 0 = -3*x - 2*i, -2*x - 4*i - r = -2*i for x.
2
Suppose m - 12 = -3*m. Suppose 37 - 7 = m*x - j, 30 = 3*x - 4*j. Suppose 0 = -2*b - 0*i + 4*i - x, 3*i = 4*b. Solve 5 = -2*t + b*g, g = 2*t + 5*g - 30 for t.
5
Suppose 3*l = -3*o - 9, 2*o - l = -3 + 6. Solve -2*s = -2*h, s - 2*h - 5 + 0 = o for s.
-5
Let g be (-1)/(2*(-1)/(-46)). Let i(c) = 3*c - 5. Let w be i(-3). Let x = w - g. Solve -t - x = -u, -29 = 5*t - 0*