p - 1 = -3*w, 0 = -t*p + 3*p - 3 for w.
2
Suppose 7*o + 300 = 3*o. Let v = -59 - o. Solve -4*h = y + 2*y - v, -4*y + 3*h = 12 for y.
0
Suppose 2*x + 4 = 2*n, -2*x = 4*n + n - 31. Suppose x*g = -2*g. Suppose 0 = -0*s - 4*s. Solve s*c = -4*m - 3*c - 8, g = 2*m + 4*c - 6 for m.
-5
Suppose 3*a = 6*a. Solve a*b = -4*q + 2*b - 14, 0 = -b + 5 for q.
-1
Let m be 9/(-6) - 98/(-28). Let x be m/(-4)*(-45 - -3). Solve 3*b + 2*f = -x, 5*f + 7 = b - 3 for b.
-5
Suppose -18*n + 188 = 8. Solve 3*t = -2*x + 10, -4*x - 3*t = -2*t - n for x.
2
Let y be (-38)/(-7) + -3*2/14. Solve -3*h + 4*r + 4 = 2*r, y*h - 2*r - 12 = 0 for h.
4
Suppose 0 = -5*q - 3*k, -4*q - 4*k + 5*k = 0. Let x be 4 - (-12 - q/(-3)). Let u = 18 - x. Solve u*j = b + 1 - 6, 5*j = -15 for b.
-1
Let l = 253 + -240. Solve 5*h - 4*z = 10, 4*h + 0*z = -z - l for h.
-2
Let p = 62 - 59. Solve -z + 5*o = 22, 4*z + p*o = 6*z + 9 for z.
3
Suppose -5*g + 201 = -109. Let r = g - 55. Solve 4*i - 22 = 2*q, -2*i + 6 = -3*q - r for i.
5
Suppose 3*l = -2*g + 21, -l + 5*l = 2*g + 14. Solve -g*b + 6 = -5*a + 15, -4*a = -3*b - 6 for a.
3
Let n = 28 - 16. Solve -3*h + n = -l, 0 = -2*l - 4 - 2 for h.
3
Suppose 0*h = -5*h + 160. Suppose 5*j + 2*n = 23, 2*j - 3*n = 6*j - 17. Solve -r = -o, -2*o - j*r - h = o for o.
-4
Let b = 20 + 49. Suppose 57 = -6*c + b. Solve c*t - 5*v = -3*t - 35, 4*v - 16 = 0 for t.
-3
Let r(c) = c + 19. Let a be r(-5). Suppose 10*w + 36 = a*w. Suppose 3*p - 24 = -w. Solve 3*z + 5*k + 0 - 14 = 0, p*k - 24 = 2*z for z.
-2
Let c be (-4 + 21)/(-1) + 2. Let s be c/(-9) - (-14)/(-21). Suppose 2*m + 8 = 6*m. Solve q + 4*k = -m + s, -4*q + 14 = -2*k for q.
3
Suppose -2*s = c - 17, 3*s = 2*c + 21 + 15. Suppose 7*x + s = 31. Solve 0 = x*j - j - 2*b, 0 = -4*b for j.
0
Let v(p) = 3*p + 7. Let j be v(5). Let x = j - 18. Solve -m - a = 2*m - 14, -5*m - x*a + 35 = 0 for m.
3
Let b(k) be the third derivative of -k**4/8 + 2*k**3/3 - 5*k**2. Let i be b(0). Solve -2*d + 4*d + 10 = -2*n, i*d - n = -10 for d.
-3
Suppose -4*l - 4*o + 204 = 0, -4*l - 6*o + 3*o + 208 = 0. Let a = l - 50. Solve -a*s + 5 = -2*w, -3*w = 3*s + w - 29 for s.
3
Let a(u) = -u**2 + 5*u - 2. Let o be a(3). Suppose 3*l + o*l = 14. Let m(b) = b**3 - b**2 - 2*b. Let r be m(l). Solve 4*j = -5*f - 4 - 7, -f - j - 2 = r for f.
-3
Let c(d) = 4*d + 18. Let m be c(-11). Let r = 24 + m. Let o be (r/4)/((-2)/16). Solve 0 = -o*q - 5*w - 0 + 1, -4*w + 8 = 5*q for q.
4
Suppose -9*u + 30 + 15 = 0. Suppose -4*h - o - 2*o + 35 = 0, -o = -2*h + u. Solve 0 = f + 3*f + 12, 4*x - 3 = h*f for x.
-3
Suppose 5*h = 11 - 1. Solve -5*x - h = -8*x - 5*z, 0 = 2*x + z - 6 for x.
4
Let i = -12 + 7. Let z = i + 8. Suppose 5*g + z*h - 52 = 0, -3*g = -0*g - 5*h - 4. Solve -2*r = -3*a + g, 0 = -r - 4*r + 10 for a.
4
Let t = -5307 - -5309. Let z be (5/2)/(-1)*-2. Solve t*k - 6*k - z*a = 0, 0 = 2*k + 4*a - 6 for k.
-5
Let b be 18/63*(17 + -3). Solve -12 = b*z, 3*i - 4*z - 1 = -4 for i.
-5
Let c(j) = 7*j - 7. Let v be c(1). Solve -3*h - 2 = 3*m + 4, -m - 2*h - 1 = v for m.
-3
Let z(t) = t**3 - 6*t**2 - 2*t + 14. Let d = -61 + 67. Let u be z(d). Solve -n + 3*n - 20 = -u*a, -2*n = -10 for a.
5
Let c = 8 - 6. Let a be -1*(1 - (-6)/c). Let d(p) = -p**2 - 7*p - 1. Let y be d(a). Solve 0 = 2*o + o + 2*t + 18, 0 = -2*o - t - y for o.
-4
Let m = 500 + -470. Solve -b - 5*c - m = b, -4*c = 16 for b.
-5
Suppose 23 = -5*f + 73. Suppose 5*m - f = 15. Solve -m*c + 17 = 4*x, -c + 0 = 5*x + 5 for c.
5
Let w(o) = 10 + 25 + 2*o + 24 - 12. Let h be w(-16). Solve 2*k - 2 = 2*a - 8, -h = -5*a - 4*k for a.
3
Suppose 2740*v - 2747*v + 28 = 0. Solve v*g = p, 2*g - 12 - 2 = -3*p for g.
1
Suppose 82*s + 425 = 99*s. Solve 0 = 5*h + 5*w - s, -h + 0*w = 3*w - 9 for h.
3
Let n = 3 - -11. Suppose 5*p = 1 + n. Solve 4*q = p*z - 26, -1 = -4*q - 21 for z.
2
Let r = -155 - -160. Let l(t) = -t**3 - 2*t**2 + 2*t - 1. Let h be l(-3). Suppose u - 1 - 1 = -z, -h*z = 0. Solve r*w + 10 = -5*v, u*w - 22 = 7*w - v for w.
-4
Let q be 291/(-6)*(4 - 2). Let a = 97 + q. Solve -f = -3*z - 3, -2*z + f + f - 2 = a for z.
-1
Let d be -4 + (1 + -15)/(-2). Suppose 0 = d*s + 2*p - 48, -2*p - 3*p = 4*s - 71. Suppose s = 4*v - 3*v. Solve -11 = 2*n + 5*t, 2*t = -3*n - 3*t - v for n.
-3
Let y = 110 - 74. Suppose 9*u + 27 = y. Solve -g = -4*j - 4, g - 2*j = u + 1 for g.
0
Let u be (1/2)/(2/16). Suppose q + u = 3*i, q = -5*i + 4*q + 8. Suppose 0 = 5*j - 4*j - i. Solve -2*l - 2*l = -5*g + 4, 2*g + j = -l for l.
-1
Let k be (-4)/26 - (-552)/39. Let o = k + -14. Solve 0 = -3*s + 3*y, 12 = -o*s + 4*s + 2*y for s.
2
Suppose -m + z + 5 = 3*z, 0 = 4*m + 5*z - 26. Let c(y) = 2*y**2 - 18*y + 8. Let f be c(m). Solve -4*b + 23 = 3*k, -2*k - b - f = -3*b for k.
1
Suppose -113*c + 134*c - 735 = 0. Solve -z = z - 5*x - 17, -3*x - c = 5*z for z.
-4
Let z(f) = f**2 - 5. Let c(a) = 2*a**2 - 11. Let b(g) = 4*c(g) - 9*z(g). Let u be b(2). Let q = 6 + u. Solve -5*s - 2*h + 18 = 0, q*s = 2*s - 5*h - 1 for s.
4
Let q = -434 + 453. Solve -2*n = -j - 3, 5*j + 6 = 3*n + q for j.
5
Let u = 564 + -535. Solve 5*a + 4*w = 3*w + u, 26 = 2*a + 4*w for a.
5
Let j(x) = -1 + 6*x - 3 + 0 + 8*x**2 + x**3. Let z be j(-7). Solve -z*s = -3, s = m + 2 + 3 for m.
-4
Suppose 0 = -j - 7*j + 208. Let m(c) = -3*c - 8. Let p be m(-4). Solve -3*s - 29 = -a - 8*s, p*a + 2*s = j for a.
4
Suppose 329*v = 321*v + 96. Suppose -3*k + 4*l - 12 = -5*k, -5*l = -10. Suppose k*n - 5*y = -21, y = -n + v - 5. Solve 2*a = 10, -n*c + 4*a - 20 - 4 = 0 for c.
-2
Let a = 218 + -214. Solve -4*k - a*c = -k - 13, k - 4 = -c for k.
3
Let w(q) = q**2 - 8*q - 3. Let m be w(6). Let i be (15/25)/((-3)/m). Let a = -4 + 8. Solve -t + a*s - 3 = 0, 4 - 2 = 5*t - i*s for t.
1
Let l = -29 - -20. Let j = l + 22. Let p = -8 + j. Solve 0 = p*q + k - 4, -q - 4*q + 4*k + 9 = 0 for q.
1
Let c = -27 + 32. Suppose 5*d - 5 = -c*f, 2*d - 5 = -f - 1. Solve -d*h + 0*m = 3*m - 21, 4*m = 5*h - 8 for h.
4
Let j be ((-7)/4 + -1)/((-32)/128). Solve -w - w - j = -3*o, -21 = 4*w - 5*o for w.
-4
Let q be 4 + 2/2*-1. Suppose 0 = -q*s - 2*s - 10, 0 = 4*c - 3*s - 90. Solve -5*j = -4*b + c, -5*b + 10 = -4*j - 5 for b.
-1
Suppose v - 1 - 1 = 0. Suppose 4 = -3*o - v. Let h(l) = l + 3. Let z be h(o). Solve -4*p = 4*t, 2*p + 4*t - z = 7 for p.
-4
Let c be (-12 - -12) + (-1)/(-2)*22. Solve -c = -2*s + 2*d - 3, 2*d - 2 = 0 for s.
5
Let i = 36 + -36. Suppose i = -5*s + 14*s. Solve 5*f = -4*h - 1 - 2, s = f + 4*h - 9 for f.
-3
Let r = -97 - -102. Suppose 5*n - 6 - 14 = 0. Solve -n*y + 2 = -18, -r*y = u - 28 for u.
3
Let v(d) = -2*d**2 + 88*d - 69. Let g be v(43). Solve 5*k + w - g = 0, k - 4*k + 2*w + 18 = 0 for k.
4
Let y(q) = -9*q + 66. Let f be y(7). Solve -4*k + 2*g = -2, -4*k + 4*g + f = g for k.
0
Let h(l) = -l**3 - 7*l**2 - l + 14. Let w be h(-5). Let f = w - -31. Solve 0 = 3*z - 2*p - 12, 2*z - 3*z - 4*p - 10 = f for z.
2
Let z be (-5 + 74/14)*7. Suppose c + c = 0. Solve w + z*m - 12 = 5*m, -2*w + 2*m + 8 = c for w.
0
Let r(t) = -2*t - 3. Let q be 2*(0 - (-2 + 4)). Let b be r(q). Solve -3 = -3*k - 2*s, -4*k - s - 16 = -b*s for k.
-1
Let b(h) be the second derivative of -h**3/3 - 3*h**2/2 - 20*h. Let z be b(-4). Solve 19 = -5*m - 2*k, -z*k = m + m - 5 for m.
-5
Suppose -15 = -4*t + 1. Let x(a) = 7*a - 222. Let m be x(32). Solve m*r - d - 16 = -3*d, -2*d - 8 = -t*r for r.
4
Let y = 216 - 211. Solve -2 = z, -y*z + 4*z = a - 2 for a.
4
Let k be (20/15)/(2/24). Suppose t + 7 = -5*x, t - 2*t - 4*x = 5. Solve -t*y = l - 4, -3*y + k + 3 = -2*l for y.
3
Let p(m) = -m**3 - 4*m + 4*m**2 - 6 + 0 + 10. Let d be p(3). Suppose -i + 3 = -d. Solve -4*s + 11 = i*h - s, -3*h + 2*s = -4 for h.
2
Let h(v) = -26*v - 102. Let a be h(-4). Solve -5*j - a*i + 5 = 0, -2*j - 3*i - 3 + 5 = 0 for j.
1
Let f = -1 - -34. Suppose 3*g = -4*v - 1, -g - 4*g + 2*v = -f. Solve -3*n + 17 = -y, -g*y - n = -4*n + 25 for y.
-2
Let n(y) be the third derivative of -y**5/60 + 7*y**4/24 + 4*y**3/3 - 13*y**2. Let c be n(4). Solve -u = 4*l - 0 - c, u + 3*l - 15 = 0 for u.
0
Let v(q) = q - 13. Let z be v(9). Let h be ((-13)/z - 3)*12. Solve h*g + 11 = -c, 4*g + 2*c = 2 - 14 for g.
-5
Let p be (14 - 15)/(15/(-60)). Let r be 5/2 + 1/(-2). Solve -r*t - 7 = 2*u - u, -4 = -p*u for t.
-4
Suppose 4*o - 11*o = -21. Solve 4*n - 3*d - 3 = -2, -n + o*d = 11 for n.
4
Let d be (7/2)/(1/2). Suppose 