u - w + 3, 10 = o*u - 5*b for u.
0
Let f(w) = 3*w - w + 0 + 3 - 7. Let j be f(2). Suppose 2*x = -j*x. Solve m = 5*d - 3, x = -3*m - m + 4*d - 12 for m.
-3
Suppose -31*w - i = -36*w + 21, 5*i - 11 = -4*w. Solve -4*o = -0*a + 2*a - 20, -2*o = w*a - 22 for a.
4
Let n(b) = -b**2 - 10*b - 9. Let r be n(-9). Suppose 0 = -3*m - y + 5, -5*m - 4*y + 0 = -6. Solve -m*q = 2*o - 4, q + r*q = 5 for o.
-3
Let u = -238 - -243. Solve -5*m = -u*o + 30, 2*m = -3*o + 4 + 9 for o.
5
Let q = -52 + 55. Suppose 21 = 3*u - 5*w, -5*u + 19 = -q*u - 5*w. Solve j + 25 = -0*i + 5*i, 0 = u*i + j - 3 for i.
4
Suppose 3*g - 18 = -0*g. Suppose 4 + g = 5*m. Let v be (-1 + 1)/(3 + -1). Solve 4*j - m*s - 4 = 0, 2*j - 4*s - 8 = -v*j for j.
0
Let w be (-4)/4*5 + 8. Solve 0 = -7*h + 2*h - 15, w*y = -4*h - 18 for y.
-2
Suppose 3*z = -3*z + 36. Suppose -z*g = -9*g + 9. Solve 14 = -4*l - 0*t + t, -3 = -l - g*t for l.
-3
Let g(h) be the third derivative of h**5/60 + 7*h**4/24 - 2*h**3/3 + h**2. Suppose 33*s - 16 = 35*s. Let r be g(s). Solve -r*f - z = 15, 1 = -5*z - 14 for f.
-3
Suppose 0 = 7*m + 134 - 155. Solve 0 = -3*x + c - 3, -m*x = -4*c + 1 - 7 for x.
-2
Let k = -7 + 9. Let i(z) = z**2 - z + 1. Let b be i(k). Let s be 1/(15/(-6))*-5. Solve b*d = s*q + 2*d, -2*d = 0 for q.
0
Let o be ((-49)/(-7) + -6)/((-1)/(-109)). Let d = 113 - o. Solve -d*n - 5 = b, -3*b + 13 = -0*n - 2*n for b.
3
Suppose -4*i + 8 = 4*o, 3*o + 4*i = -i + 10. Suppose -10*m = -o*m - 20. Solve -10 = 2*b, m*b + 28 = -2*l - 2*b for l.
-4
Let j(g) = 9*g - 10. Let h(l) = 7*l - 9. Let n(s) = 6*h(s) - 5*j(s). Let x be n(-2). Solve -2*z + x*m = -2, 4*z + 0*m = -2*m - 8 for z.
-1
Let w = 34 + -36. Let g be w*((-55)/10 + 3). Solve -t - 12 = -o - 4*o, 5*t + g*o - 30 = 0 for t.
3
Let j be 1 + 0 + (-2 - 4) + 9. Suppose 9*n = 7*n + j. Solve -4*i = n*k + 12, 5*k - 21 = k + i for k.
4
Let z(d) = 7*d + 10. Let j be z(-8). Let s be (j/6)/((-2)/6). Suppose 4*g + 0*g = 3*h, 2*g = -3*h. Solve -5*y + g = 4*a - 7, -5*y + s = -4*a for y.
3
Suppose 5*x = 8 + 2. Suppose -14 = -5*j + 16. Suppose 0 = 4*n - 2*c - 72, n - j*n + 120 = 5*c. Solve -x*k = 2*q - k - 4, 4*q + 5*k = n for q.
0
Let n = 0 + 0. Let x(a) = -a**2 + a - 4. Let q be x(n). Let o be q*(2 + (-13)/4). Solve -4*u + 2*d - 22 = 0, 5*u + 35 = -0*u + o*d for u.
-4
Let a be (4/(-6))/(4/(-30)). Let p = 4713 + -4711. Solve 5*z - z + 16 = -n, a*z + p*n + 20 = 0 for z.
-4
Suppose 0*c - c = 2*n - 13, 0 = 5*c + 3*n - 93. Let j = c + -16. Solve 4*m - 23 = -5*g, 0 = m - j*g + 11 + 2 for m.
2
Suppose 3*t - 7 - 2 = 0. Suppose 2*k + 19 = 3*q, 4 - t = -3*q - 2*k. Suppose 0 = m - d, -5*m + d = -2*d. Solve 3*f + 0*s - q*s = m, -2*s + 7 = 5*f for f.
1
Let l = 193 - 191. Solve -5*o - 5*v + 30 = 0, -5*o + 29 = l*v + 2*v for o.
5
Let f(c) = 2*c**3 - 3*c - 33*c**2 - c**3 + 31*c**2. Let z be f(3). Suppose z*d = d - 5. Solve j - p = -4, p + 13 = -d*j - p for j.
-3
Let l(n) = -n. Suppose 4*w = 3*k + 9 + 7, w = 2*k + 9. Let j be 5/(-3) - k/(-12). Let s be l(j). Solve 3*b + 5*d = 19, s*b - 2*d - 5 = -3 for b.
3
Let n(w) be the first derivative of w**2/2 + 27*w + 1. Let y be n(-23). Solve 4*g + 6 + y = -k, -2*k - 11 = 5*g for k.
2
Let k be (-22)/(-4) + (-1)/2 + -3. Solve 3*h = 2*l + 11, -h = k*h - l - 10 for h.
3
Suppose -4*z = -0*z - 12. Suppose 0 = -v - 5, z*m + 0*v - 2*v = 64. Solve -y - m - 1 = -5*w, -w + 3*y + 15 = 0 for w.
3
Let m(v) = 2*v + 21. Let p be m(7). Solve 5*x - p = 2*o - 7*o, o + 5 = 3*x for o.
4
Suppose 18*n = -14*n + 64. Solve n*k + 2*i = -2, -5*k + 2*i - 4 = 6*i for k.
0
Let q be (-8)/28 - 5*54/(-63). Solve 4*c + q = -2*u + u, 3*u + c = -12 for u.
-4
Let k be ((-45)/(-12))/((-9)/(-12)). Suppose -17 = -3*v - 4*d, -3*v = 2*v + k*d - 35. Solve -4*t + 6 = -2*t - 2*m, 5*m = 3*t - v for t.
2
Suppose -49 = -9*l - 13. Solve -r - 10 = 4*r, 0 = -j + l*r + 11 for j.
3
Suppose -5*q - 2*d + 313 = -3*d, 2*d - 4 = 0. Suppose q = -2*o - 1. Let h = o - -48. Solve 3*s = -0*i - 3*i + 12, 0 = 5*s - 4*i + h for s.
0
Suppose 3 = 3*t - 2*t + 3*m, -3*m = 0. Suppose -2*z - 13 = -3*o, 0*z - 21 = -5*o + 3*z. Solve y = x - 4*y - 4, t*x = o*y + 12 for x.
4
Suppose 2*b + 8 = -0*b, -t - 3*b - 10 = 0. Solve 0 = 4*p + 5*c + 30, p - 4*p + t*c - 11 = 0 for p.
-5
Let v(c) = -5*c - 40. Let q be v(-9). Suppose -12 = -2*k - 2*f, 9 = 5*k + f - q. Solve -k*j + 10 = 2*u, j + 20 = 4*u - j for u.
5
Let v(l) = -l**3 - 3*l**2 + 3. Let t be v(-3). Let s = 84 + -42. Let f = -37 + s. Solve -k = 2*w - 0*k - f, -4*k = t*w - 10 for w.
2
Suppose 0 = -18*j - 5*j + 230. Solve 5*d - j = -5*g, 15*g = 16*g - 3*d - 6 for g.
3
Suppose 31 = -4*l + 175. Let b = -33 + l. Solve a = -b*z + 12, -2*z + 9 = -1 for a.
-3
Suppose 2*s - 4 = -22*v + 24*v, 2*v = 4. Solve 3*l = -x - 2 - 6, s = -4*l + 2*x for l.
-2
Let u be (1*6)/(30/20). Let i be -1*u/(-2)*1 + 2. Solve -i = g + 3*h, 5*g - 2*g = h - 12 for g.
-4
Let b = -228 - -231. Solve 3*w = w + 4*q, -b*q = -5*w for w.
0
Suppose -3*j + 9 = -0. Suppose -3*d - j + 12 = 0. Solve -d*p + 6*p - 28 = 4*q, 2*p + 4 = -3*q for p.
4
Let f = 86 + -43. Let p = f + -43. Solve -3*d = -z + 4*z, p = 3*z + 4*d + 4 for z.
4
Let q = -15 - -16. Let k(x) = 3*x + q - 5 - 3. Let m be k(3). Solve -i + 13 = -m*u, 2*u + 22 - 3 = 3*i for u.
-5
Let s(o) = -o**2 + 11*o - 19. Let l = -10 + 19. Let c be s(l). Let k be -8*(c + (-12)/(-16)). Solve 5*t = -5*z - 35, z - t + k = 1 for z.
-4
Let x be (8/10)/((-6)/(-15)). Let m be ((-16)/(-10))/((-32)/(-80)). Solve 0 = -3*u - 3, m + 5 = x*r - 3*u for r.
3
Let u = -501 - -505. Solve u*q - 2 + 8 = -2*g, 0 = 5*g - 4*q - 13 for g.
1
Let k be 1/(-3*8/(-144)). Let g = 17 + -35. Let w be (-32)/g - 2/(-9). Solve -d + 16 = -4*r, -d - w*r - 26 = -k*d for d.
4
Suppose -4*p + 1 = -31. Suppose -5*w - 18 = -p*w. Suppose 4*a - w*a = 0. Solve -4*c - n - 4*n = a, -3*c + 19 = -n for c.
5
Let h(a) be the second derivative of -a**4/12 + 14*a**3/3 - 12*a**2 - 24*a. Let p be h(27). Solve 2*z = 4*f + 22, -z - p*z = -2*f - 20 for f.
-4
Let b be (-4)/(-6) - (160/24 + -6). Solve -5*d - 12 = -3*q, -2*d = -b*d + q - 4 for d.
0
Let g be (-8)/(0 + 2*-1). Let r = -42 - -44. Suppose 2*l = r*q + 24, -l = -0*q + q - 12. Solve 4*y - l = c + 5, y = g*c + 8 for y.
4
Let i be 5*6/15 + -4. Let m be (-2 - i)/(-4 - (0 + -3)). Solve -5*u = -4*c - 35, 0 = 2*u + c - m - 1 for u.
3
Let j be (-2 - -11)*(-8)/3. Let o = j - -28. Solve d - m + 3 = 2, -8 = o*m for d.
-3
Let f(g) = 2*g**2 + 3*g + 1. Let d be f(-2). Let l(x) = -x + 16. Let i be l(16). Solve -3*m = 4*c - 2*m - 1, i = 3*m - d for c.
0
Let f = 1494 + -1486. Solve -2*y = -2*d - f, -2*d + y + 2*y = 12 for d.
0
Suppose 0 = 4*y - 3*y - 5. Solve 0 = -4*i + y*f + 21, -4*i - 9 = -5*i + 5*f for i.
4
Let c(h) = 2*h - 8. Let w be c(6). Let x be 23/w - (-1)/4. Let u be (-4)/x + (-101)/(-3). Solve -5*g + 15 = -m - 4*m, -5*g = 4*m - u for m.
2
Let s(y) = -y**2 - 17*y + 18. Let k be s(-19). Let g = k + 20. Solve -2*r = -q + 3, g = -3*r + 2*r + 2*q + 6 for r.
-4
Suppose 4*f - 19 = -z, 7*z - 25 = -4*f + 4*z. Suppose -6*v - 5*x + 66 = -3*v, -f*x - 12 = 0. Solve -5*t + v = 4*h, t - h = -2*h + 6 for t.
3
Let s be (-11 - -1)/((-22)/33). Suppose -4*z - 3 = -m - 13, -3*z = 3*m - s. Solve -9 = h - 2*d, -3*h + 0*d = 2*d + z for h.
-3
Suppose 0 = -3*l - 6 + 30. Let a be (18/(-12))/((-6)/l). Solve -2 = 4*c + 2*d, -3*c - 10 = a*c + d for c.
-3
Let v = -6 - -7. Let t be 4 + (0/(-5))/v. Solve -q = t*j - 3*j + 5, -3*q + 2*j = -10 for q.
0
Suppose 14*w - 9*w - 20 = 3*f, 4 = w. Solve 16 = 4*q, f*k - 3*k + 2*q - 17 = 0 for k.
-3
Let x be 2/(4 + -2) - 64. Let n be (-4 + -3*78/x)*-35. Solve -c + 5*o + 28 = 0, c = -3*o - 2 - n for c.
3
Let g(n) = n**3 + n**2 - 9*n + 7. Let y(r) = r**3 - 10*r + 8. Let l(a) = 6*g(a) - 5*y(a). Let i be l(2). Solve 0 = -2*s + 4*m + i, -4*s + 5*s = -5*m - 15 for s.
5
Suppose 0 = 3*z + 1 - 10, z = 5*y - 17. Solve 2*a - y*f = -2, -a - 2 - 1 = -f for a.
-5
Let q = -11 + 14. Solve 2*x - 3 = -f - x, 1 = -q*f + x for f.
0
Suppose 0 = -2*j + 2, 3*k + 4*j = 33 + 10. Suppose -2*h = 5*t - 3, -5*t = -3*h + h + k. Solve 0 = 3*c - h*p, 0*p - p = c + 7 for c.
-4
Suppose -6*r - 10 = -5*w - r, -2*r = -w. Solve n - 4*u + 7 = 0, 2*u - w*u = n + 1 for n.
-3
Let b be 0*(-4)/16*2. Suppose i + 6 - 21 = b. Solve -6 = -2*c + 2*z, 4*c = 3*z - 4 + i for c.
2
Let h = 448 - 446. Solve -4*q - g = -16, 10*q - 14*q 