 - t = -15, -u - 13 = a*k for k.
-3
Suppose -42*p = -998 + 158. Let i be p/8 - (108/(-8) + 4). Solve -4*a - 3*z + 8*z - 12 = 0, -2*a = 2*z - i for a.
2
Let i(m) = 4*m**2 - 31*m + 56. Let y be i(6). Solve 2*w - 2*q = 0, -y*q = -17*q for w.
0
Let t(d) = 74*d - 738. Let v be t(10). Solve 5*u - r + 2 = 0, 3*u + 56 - 59 = v*r for u.
-1
Let r = 27512 - 27509. Solve -2*g - 17 = -r*m, 0 = -23*m + 22*m - 3*g + 2 for m.
5
Let a(c) be the second derivative of -c**5/20 + 5*c**4/12 - c**3/6 + 7*c**2/2 + 33*c - 2. Let x be a(5). Solve -i + x*k - 8 = 0, -5*i - 9 - 5 = 3*k for i.
-4
Suppose 51 = -5*k + 4*p - 41, k + 7 = -3*p. Let c = 9 + k. Let o = 27 - c. Solve -2*t - 4*w = 10, -o = -3*t + 4*w + 1 for t.
5
Let n(g) = -5*g + 18. Let s be n(3). Suppose 3*o = 4*t + 2, -4*t - 9 = -7*t - s*o. Solve -4*v + t = d - 4, 3*v + d - 3 = 0 for v.
2
Suppose -24*m - 9700 = -4*m. Let h = m + 491. Solve -k + 3*u = k - 6, 0 = -2*k + 4*u + h for k.
3
Suppose 5*h + 4*j = 79, -19*h + 5*j = -23*h + 74. Solve 2*z = 2*t - 3 + 13, 3*z - h = 2*t for z.
1
Let x be 248/56 - (-8)/14. Solve 6*h + 8 = x*h - 5*u, 5*u + 10 = 0 for h.
2
Let q(g) = -7*g**2 - 628*g + 184. Let v be q(-90). Solve -40 = -4*t + 4*l, 2*l - 10 = -v*t - 0*l for t.
5
Let i(x) = 2*x**2 - 22*x - 1907. Let v be i(37). Solve -19*u + 2 = -v*u + 2*m, 0 = -4*u - 2*m + 6 for u.
2
Let o(s) = -3*s**3 - 25*s**2 - 31*s + 1. Let t be o(-7). Solve 0 = 2*z + r - 10, 4*z = 21*r - t*r + 20 for z.
5
Let w(o) = o**2 - 325*o + 326. Let h be w(1). Solve 4*i + 8 = 0, -x = -h*i + 9 - 16 for x.
3
Suppose 3*c = 5*x - 9, 2 = c - 0. Suppose -x*l + 94 = -4*w, 3*w + 78 = 2*l + 15. Solve -15 = -3*u, 3*k + 3*u + l = 6*u for k.
-5
Let n be (-288)/(-54) - 2/6. Suppose 11*f - 96 = -n*f. Solve 1 - 2 = 5*l - 4*h, -f = l + 5*h for l.
-1
Let u(y) = -8*y**2 - 14*y**2 + 8*y - y**2 + 5 + 24*y**2 - 2. Let r = 13 + -21. Let c be u(r). Solve 0 = 5*n + f + 2*f + 9, 0 = n + 3*f - c for n.
-3
Suppose 4*v - 304 = 72. Let q be v/30 - (-8)/(-60). Solve 4*y + 5*c = -25, q*y = 8*y - 4*c + 21 for y.
-5
Let q be 0 - -1 - (4 - 0). Let p be (-1 - 3/q)/2. Suppose p = -11*k + 23*k - 12. Solve -2*h + t - 5 = k, 5*t = 3*h + 16 for h.
-2
Let a be -6 - 15/((8 + -4)/(-4)). Solve 0 = -2*y + 2*c + 2, -7*c = 3*y - a*c + 1 for y.
-3
Let g(s) = 2*s**2 + 60*s - 125. Let o be g(-32). Suppose 35 - 56 = -3*y + 4*h, -4*y - o*h + 3 = 0. Solve 6*z - 20 = z - 5*l, -y*z + 4*l = -12 for z.
4
Let a(y) = -358*y + 5733. Let n be a(16). Solve 0 = -18*q + 16*q - 3*r + 9, n*r - 13 = -4*q for q.
-3
Let i(y) = -9*y - 56. Let p be i(-6). Let q be ((-28)/(-56))/(p/(-16)). Solve 0 = -4*k - k - 5*b - 5, -q*k - 11 = -3*b for k.
-2
Let w be (-87 - -88) + -8 + 0. Let v(l) = l**2 + 12*l + 40. Let o be v(w). Solve -o*m + 10 - 25 = -2*h, m = -1 for h.
5
Suppose -319*w = -307*w - 252. Suppose 0 = -4*f - 5*x + w, -3*f - 3*x = x - 16. Solve -3*k - z - 8 = -0*z, -f*z - 8 = 0 for k.
-2
Let q = 8101 - 8099. Solve q*b = s + 4, -3*s + 5 = 3*b - 1 for s.
0
Let c(n) = 89*n + 451. Let m be c(-5). Solve 3*t - 14 = 5*w - 0*w, -t = w + m for w.
-4
Let m(d) = 11*d**2 + 3*d + 6. Let r be m(-6). Let h = 389 - r. Solve 2 - 12 = 5*f + 2*z, -h*f + 4*z = 40 for f.
-4
Suppose 82*u - 86 = 93*u - 54*u. Solve 4*o - 6 = -u*q + 10, -3*o = 2*q - 13 for o.
3
Suppose 4*y - 2*f - 2*f - 832 = 0, -16 = 4*f. Let t = -200 + y. Solve 8 = -4*c + 4, -t*r = 2*c + 2 for r.
0
Let n be (-14)/8 + 30/8. Let i = 181 - 163. Let c(k) = -2*k + 1. Let p be c(-10). Solve p = -g + m + 4*m, -4*m + i = -n*g for g.
-1
Let g = -504 + 204. Let z be (-4)/10 + (-1020)/g. Solve 0 = 3*s - 3, k - z*s + 9 = s for k.
-5
Suppose 11 = 2*m + 1. Let w(r) = 71*r**3 + 21*r + 6*r**2 - 72*r**3 - 25*r + 1. Let i be w(m). Solve i = 3*t - 3*l, -t - 4*t = l + 8 for t.
-1
Let q = -49 - -52. Suppose -q*x = 15, 71 = i + 3*i - 3*x. Suppose -i*s + 6 = -12*s. Solve 3*w + 4*m + 8 = 0, -w - s*m - 8 = 3 for w.
4
Let i be ((-3)/2)/((-30)/700). Let q = i + -35. Solve 3*y + 5*x + 4 + 1 = q, 4 = -4*x for y.
0
Let f(b) = -2*b**2 - 15*b - 14. Let h be f(-6). Suppose g - h = 26. Solve -g = -5*v - 2*u, -5*u + 10 = -4*v + 1 for v.
4
Let w be (3/5)/(4/580). Let f = 87 - w. Solve u + 4*i = -20, -u - 2*i + 3*i = f for u.
-4
Suppose i = 3*i - 2*q + 24, -2*i = 4*q + 6. Let f be 2/i - (-10)/(-135)*-3. Suppose f*a + 3*a = 3. Solve -2*t - a = -3*m, 0 = -5*t - 4*m - 12 - 25 for t.
-5
Suppose -37 = 8*o - 125. Suppose 11*s - 5*z = 13*s - o, -z = 3*s - 10. Solve 6 - 3 = -s*c, 5*c = t for t.
-5
Suppose 0 = -w - 4*w - u - 4, -5*w + 4*u = -16. Suppose -5*x - 2*s + 0*s + 18 = w, 4*x - 3*s + 4 = 0. Solve 3*m - 3 = -n - 2*n, -n = x*m - 6 for m.
5
Suppose 440*w - 428*w = 60. Solve -10 = -2*k - 2*t, -w = -3*k + 5*k - t for k.
0
Let i(d) = -d**2 + 52*d - 190. Let v be i(48). Solve 3*n = -21*w + 23*w + 22, 0 = -v*n + 3*w + 23 for n.
4
Let u(x) = x**2 + 10*x - 37. Suppose 0 = 4*l + 19*l + 299. Let g be u(l). Solve 4*v - 20 = g*n, n + 2*n + 2*v = 2 for n.
-2
Let u = -25131 - -25137. Solve r - y + u = 0, -85 + 61 = 5*r - 2*y for r.
-4
Let r = -246 + 233. Let z be (-5)/(65/(-11)) - 2/r. Solve -5 = -h, -3*h = m - 5*m + z for m.
4
Suppose -5*y - 4 = -4*z - 34, -24 = -4*y + 5*z. Let w = y + 2. Solve 4 = -c - 2*b, -2*c = -0*c + b + w for c.
-4
Let v(w) be the first derivative of 1/2*w**2 - 1/3*w**3 + 0*w + 15/4*w**4 + 19. Let i be v(1). Solve 5*y = k - i, 0*y + 2*y = 3*k - 19 for y.
-2
Let t = 72 + -90. Let s be (-44)/198 - 128*2/t. Solve 2*r + s = 4*w, -w - 14 = -0*r + 3*r for w.
1
Let q(k) = -k**3 + 13*k**2 - 10. Let o be q(13). Let p = -8 - o. Solve -2*a - p*a - 5*t = -9, -3*a + t - 17 = 0 for a.
-4
Let f be 0*2/(-4) - -2. Let p = 47 - 35. Suppose -p*w + 7*w = -15. Solve -w*t = -f*r, -r + 8 = t + r for t.
2
Let a be (216/(-1026))/((-3)/57). Solve 2*m = a, -m - 21 = -4*f - 15 for f.
2
Let t be (35/(-14))/((-37)/74). Solve 4*z - z - 2*l + 24 = 0, 38 = -2*z + t*l for z.
-4
Let r = 7 + 5. Let t(m) = 2*m + 1 + 0 - 2 + m**2 + 5. Let k be t(0). Solve -2*z + 3 = v, -4*z - k*v = -z - r for z.
0
Suppose -8*n + 601 + 79 = 0. Let l = 85 - n. Solve -4*r - 4*u + 0*u = l, 0 = r - 2*u - 3 for r.
1
Let f = 8325 - 8322. Solve 107 = 3*m + q + 111, -m - 8 = -f*q for m.
-2
Suppose 0 = 7*b - 14*b. Suppose b*a - 5 = a. Let n be (a - -2) + 2 + 4. Solve -8 = -s + 2*q, 3*s + n*q = 2*q - 11 for s.
-2
Suppose 27*g = 17*g - 60. Let w be (-2)/(2/(g*4)). Suppose w*l - 11*l = 39. Solve 3*u + 4*n = 11, -5*u - l*n = n - 5 for u.
-3
Suppose -i = t - 5, 10 = -3*t + 40*i - 38*i. Solve 2 = 3*w - x + 1, t = w - 4*x + 7 for w.
1
Let d(h) = -h**2 + 4*h. Let r be d(3). Suppose -18*l + 312 = -15*l. Let f be 1*-3*l/(-24). Solve -5*x - 11 = -r*y, 3 = x + 2*y + f for x.
-4
Let n be (-1)/(-3) - (-1)/(-3). Let s = -168926 + 168930. Solve 3*r + 0*w = w - 7, -2*r - s*w + 14 = n for r.
-1
Let y = 93 + -83. Suppose y*w + 8*w = 54. Suppose 5*s - 18 = d, d + 2 = s - 0*s. Solve -w*t = -0*v + 4*v + 21, t = -s*v - 15 for v.
-3
Let q be (-2)/(-4)*-4 - (-10 - -5). Suppose -i + 2 = v, 4*v - 3*i - 6 = -6*i. Solve -q*r + 5*x - 2 = v, -x - 2*x = -3*r for r.
1
Suppose -9 = -2*v - 3, 4*v - 108 = 4*h. Let y = h - -26. Suppose -y*j = 6*j. Solve j = -5*r - 2*q - 5, -3*r - 3*q - 3 = 9 for r.
1
Let f = -1150 + 767. Let c = f + 388. Solve c*n + 3*u + 13 = 0, 0 = 4*u - 0*u + 4 for n.
-2
Let n(o) = -o**3 - 21*o**2 + 22*o + 34. Let t be n(-22). Let g = t + -17. Solve 4*f = 2*y + 4, 2*f - f + 4*y = -g for f.
-1
Suppose -p - 3*s = 4*p - 438, 0 = -3*p - 2*s + 262. Let h = -88 + p. Solve -5*f + 10 = o, h*f + 0*o = 3*o + 21 for f.
3
Suppose 2*r - 9 = 1. Suppose -l - 59 = -6*l + 2*x, l = -r*x + 1. Let u(v) = -v**2 - 11*v - 19. Let h be u(-7). Solve 5*b - k + 4*k - l = 0, 0 = 3*k + h for b.
4
Let k = -69 + 123. Suppose k = -h - 2*h. Let v = 23 + h. Solve 5*b = w + v + 9, 2*b - 2*w = 12 for b.
2
Let f = 5224 - 5224. Solve -2*c + c - 4*x + 13 = 0, -5*c + 4*x - 7 = f for c.
1
Let b = 4 - 8. Let a be (b - -18) + 2/2. Suppose 4*r - x = 24 - 2, -18 = -4*r - x. Solve 2*z = -r*q + a, -z + 9 = 3*q - 2*z for q.
3
Let y(s) be the first derivative of -s**2/2 + 3*s + 6. Let d be y(1). Suppose -3*f + 4 + 8 = 0. Solve -2*r + d + f = 0, 6 = -3*w + 4*r for w.
2
Suppose -22*j = -35*j + 26. Suppose 16 = -7*h - 12. Let p(k) = k**3 + 3*k**2 - 6*k - 3. Let o be p(h). Solve 0*f + 7 = o*f - j*i, f = -5*i - 4 for f.
1
Let l = 14