*c - 31 = 0 for l.
-1
Suppose 0 = -3*w + 23 + 55. Let k = -6 - w. Let v = -30 - k. Solve -v*a - 6 = -2*y, 4*y - 4*a - 8 = y for y.
4
Suppose -3*i + 9 = -l, -3*i + i = 4*l - 20. Suppose 0 = -5*j + 15, i*j - 6 = 12*b - 9*b. Solve v = -u - 7, 2*u - 4*v = -0*u - b for u.
-5
Suppose 34 = 3*j - 5*l - 4, 17 = 2*j + 5*l. Solve -4*w = -5*c, 2*w + 3*c + j = -11 for w.
-5
Let f(v) be the third derivative of -v**4/24 - 15*v**3/2 + 9*v**2. Let z be f(-21). Let r be -14*15/z + 15/(-20). Solve 1 = x - 5*u, 4*x + 4*u + 12 = -r for x.
-4
Let i be (-15 - -13)/((-4)/114). Suppose -2*o + 53 = -i. Let v = o + -50. Solve 0 = a + v*k + 3, 4*a + a + 15 = -2*k for a.
-3
Let y = 213 + -143. Let t = -70 + y. Solve 3*s - 2*n + 5 = 0, 4*s - n = -t*n - 15 for s.
-5
Let y(k) = -k**2 - 7*k - 7. Let h be (-19 + 16)*10/6. Let v be y(h). Solve 4*q - 32 = 5*u, -2*u - 3*u - 29 = -v*q for q.
3
Let p = -60 + 63. Let s be 1*(p + (-1 - -2)). Let a be (-4)/(-14) + (-38)/(-14). Solve 0 = -3*y - 5*f + 7, -s*y - 1 = -a*f + 9 for y.
-1
Suppose 0 = -41*j + 45*j + 4. Let z(x) = -10*x - 3. Let m be z(j). Solve -2*k = -0*y - 4*y - 10, 0 = k - 3*y - m for k.
1
Let g = -170 - -233. Let a be 21*2*-7*(-3)/g. Solve 5*p + 0*p - 20 = 0, -a = 3*b - 5*p for b.
2
Let r(v) = v**3 + 35*v**2 - 24*v - 72. Let w be r(-36). Let c = w - -508. Solve s = 3*s + 3*d - 8, -s + 3*d = -c for s.
4
Let w be 1/1 + (-450)/(-10). Suppose 6*i = 2 + w. Solve 0 = -2*b + 3*k + 4, 2*b = -2*b + 5*k + i for b.
2
Let w(o) = -o**3 - 5*o**2 + 2*o + 18. Let x be w(-3). Let m = x - -10. Solve -2*d = m*z + 16, 0 = -5*d - 4*z + z - 19 for d.
-2
Let z be 426/12*(3 + (2 - 3)). Suppose 77*s - z*s = 24. Solve i - x = 8, x + s*x = -3*i for i.
5
Suppose 1144 = 391*s - 29. Solve 2 = -5*t + 6*t, -8 = -s*b + 2*t for b.
4
Let x be (2/(-4))/(-1) - 22/(-4). Let k = x - 1. Solve k*y - 2*l - 3 = -l, -10 = -4*y - 3*l for y.
1
Let z be (-71 - -66)/((-4 - -1)/3). Solve -4*c + 4*t - 20 = 0, -2*c - 7*t = -8*t + z for c.
0
Suppose -5*l - 4*b + 33 = 0, 5*l - 4*b - 47 = 10. Suppose -l*a + 12*a = 12. Solve -2 = 4*u - 3*o, 0 = 4*u - 3*o - o + a for u.
1
Let s be -6 - 1 - 60/(-3). Solve n - 1 = 0, -m + 3*n - s = m for m.
-5
Suppose -2*y + 0*l = -4*l - 18, 3*l = -4*y + 3. Let b be (-88)/(-132) + 4/y. Solve q + 5 = 0, 4*q + 20 = -3*d - b*d for d.
0
Suppose 3*v - 432 = f - 434, 5*v - 25 = -4*f. Solve 0 = -4*m + f*t, 0 = -2*m - 0*t + t for m.
0
Let o = -776 - -403. Let g = o + 374. Solve 0 = -5*z - 3*s + 13, -3*s - 4 = -4*z + g for z.
2
Let o = -3533 - -3545. Solve -7 = -4*v + u, 11 = o*v - 7*v + u for v.
2
Let c(o) = 7*o - 4. Let d be c(7). Let q be 738/d + (-4)/10. Suppose -17*f + 19*f = q. Solve -8 = -5*x - 2*h, 2*x = 5*x - 2*h + f for x.
0
Suppose 5*j - 2*n - 2*n - 1705 = 0, 0 = 3*j - n - 1030. Suppose -6*o = -3*o - j. Let u be (-2)/5 + 966/o. Solve 3*s - u*s - d + 4 = 0, -d + 4 = 4*s for s.
0
Let g be 6/4*(-176)/(-66). Suppose -g*u + 100 - 4 = 0. Solve 0 = -m - 5*b - 1 + u, -5*b + 31 = -3*m for m.
-2
Let v(u) = -144*u + 434. Let o be v(3). Solve 0 = 5*w - o*i - 5 + 4, -3*w - 2*i + 7 = 0 for w.
1
Let f = 143 + -131. Solve -2*h = -3*t - 12, 5*t = 3*h + 2*t - f for h.
0
Let w(u) = -813*u - 5683. Let a be w(-7). Solve -6 = 4*v + 2*t, 5*t - a*t = -4*v - 11 for v.
-2
Suppose 2*m + 28 = -2*s, 6 - 33 = 2*s + m. Let f = 16 + s. Solve 3 = -i - f*u, 0*u - u = -5*i + 1 for i.
0
Suppose 2*i - 5*a = -405, -i + 2*a + 998 = -6*i. Let m be ((-3)/(-2))/((-25)/i). Solve -5*c = -3*l - 0*l - 27, 4*c = m for l.
-4
Let w = -9214 - -9220. Solve 4*n + 3*t = 3, -7*n = -3*n + 6*t - w for n.
0
Suppose 0 = -3*v + 14*v - 66. Suppose -3*c - 3 + v = 0. Let x be c/((-153)/39 - -4). Solve w = -2*t + 3, 3*w - x + 4 = -2*t for t.
0
Suppose -12*v - 14 = -19*v. Suppose 3*l = v*t - 279, 3*t - 3*l - 484 = -70. Suppose -6*s - 21 + t = 0. Solve 5*i - y + s = 0, -3*i - 4*y + 4 = i for i.
-3
Suppose 5*f + 7 = 4*m, -15*f = -17*f + 2. Solve m*a = -4*j - 12, -15*j - 3*a - 12 = -13*j for j.
0
Suppose -22*q = -4*q + 20*q - 76. Solve 0 = -0*h + 4*h + 2*j + 4, -q = 2*h + 2*j for h.
-1
Suppose 0 = 3*y + 50 - 53. Let x be y/2*(-5 - -2)*-2. Solve -4*l - 2 = -l - f, x*l + 2*f + 14 = 0 for l.
-2
Suppose 45*i - 291*i = 154*i - 25600. Solve -3*m - d + 9 = 0, -i*d + 67*d + 25 = 4*m for m.
4
Let a(q) = 3*q + 40. Let z be a(-9). Suppose 0 = -z*k - 7 + 46. Let v be -5*(-3)/((-30)/(-8)). Solve -16 = 5*j - k*u, 5*j = v*u + u - 10 for j.
-5
Let a(t) = -t**3 + 10*t**2 + 25*t + 3. Let u be a(12). Let f = u - 13. Solve -o = 4*b + 6, 4*b - o = -f - 0 for b.
-1
Let n(q) = -2*q**2 + 48*q + 1396. Let c be n(-17). Solve c*r - 4*v = -16, -7*r + 2*v = -3*r + 2 for r.
2
Let k(f) = 30*f**2 + 182*f + 14. Let w be k(-6). Solve -w*r - 2*q = 6, 11*q = 14*q - 9 for r.
-6
Let r = -267 + 267. Suppose -3*o = x - 17, o + r*x = -x + 3. Solve 2*h - 4*m - 8 = -o*m, m + 8 = 2*h for h.
4
Let j = 222 - 635. Let d = j - -417. Solve 3*o + 8 = -4*z, 13 = 2*o - d*z + 5 for o.
0
Suppose 1790 = 42*v + 1748. Solve 2*p - 3*s = 23, 3*p + v = 7*p + 3*s for p.
4
Let m(p) = p**3 + 14*p**2 - 33*p - 246. Let k be m(-15). Let q be 114/22 - 8/44. Solve q*d - o = -k, -6 = d - o + 2 for d.
-4
Let d be (1 + -10)*32/(-48). Suppose -2 = n - d. Suppose 3*m - n*b - 14 = -2*b, -5*m + 18 = -2*b. Solve -4*v = m*i - 28, 0 = -8*v + 3*v + 25 for i.
4
Let a = 25639 - 25635. Solve a*y = -5*r + 33, -19 = -2*y - 37*r + 34*r for y.
2
Suppose 55 = 32*j - 9. Solve -3*z + 9 = 3*m, -3*m + 6 = -j*z - 2*m for z.
-1
Suppose -2*p - 5 - 19 = 0. Let i be (-2)/(-8)*-2*12*4. Let o = p - i. Solve -4*m = 5*k - o, -4*k + 2*k + 14 = -3*m for k.
4
Let t(x) = 81*x - 6555. Let w be t(81). Suppose 2*j = 2*q - 11 - 1, 0 = -5*q + j + 14. Solve a - q*v + 13 = -w*v, 3*a + 5*v = -25 for a.
-5
Let c(o) = -16*o - 27. Let g be c(-2). Suppose g*x - 33 = -8. Solve x*d + 1 = 5*s - 8*s, -3*s = 4*d - 1 for d.
-2
Let h(g) = 177*g + 2127. Let n be h(-12). Let m = 16 - 10. Suppose -s - 95 = -m*s. Solve 0 = -n*c - 2*c - 4*w + s, 0 = c + 3*w - 6 for c.
3
Let b = 81 + -54. Suppose -208 = -5*h + b. Suppose 7*t - h = 9. Solve -2*x = 3*p - 2*p + t, p = 3*x + 7 for x.
-3
Let x be -2 + 394/6 - 1/(-3). Suppose -30*z + x = -14*z. Solve -5*i + 3*a + 37 = 0, a = -z - 0 for i.
5
Suppose -i - 5*h - 42 + 27 = 0, 5*i + 2*h - 17 = 0. Solve i*w - 3 = -2*x + 2, -4*x + 24 = -4*w for x.
5
Let k(z) = -131*z + 395. Let y be k(3). Solve 3*a = -2*o - 1, 5*a - 14 = o + y*a for o.
-5
Let j(x) = -x**3 + 7*x**2 - 5*x - 5. Let c be j(6). Let m be (9 - 5) + -4 + -4. Let p be -2*(1 + (-2)/m - 3). Solve -v - 2*r = -2*v - p, -3*r + c = -5*v for v.
1
Suppose -150 = -p - 9*p. Suppose f + 2*f - p = 0. Let y be ((-16)/(-24))/(2/f)*3. Solve -2*z - 5 + 3 = -2*t, z = y*t - 17 for z.
3
Suppose -144*k + 339 = -31*k. Solve k*j - 12 = -r, -4*j - 13 = 5*r - 29 for r.
0
Let c = -377 + 377. Solve -2*l = 4*o + 6, c*o - 5*o - 15 = 4*l for l.
-5
Let t(a) = a**3 + 2*a**2 - 19*a - 20. Suppose l - 5 = -q - 2*l, -2*q - 4*l = -4. Let m be t(q). Solve 4*s + 4*p = m, -4*p + 0 = 5*s - 27 for s.
3
Suppose -35*n = -n - 884. Suppose 0 = 334*r - 347*r + n. Solve -17 = -5*d - r*k, -d + 5*k = 4*k - 9 for d.
5
Let u = 396 + -361. Suppose 0 = -5*k + 4*x + 60, -2*k - x + u + 2 = 0. Solve r = -3*a - 13, -7 = r + 5*a + k for r.
2
Let z be (-280)/(-2100) + (-2)/(-2 + (-536)/(-283)). Solve -3*u = 5*g - 28, -3*g - 7*u + z = -3*u for g.
5
Let h = -260 - -269. Suppose h*b = -7*b + 4*b. Solve -d - 3*d = 2*z - 8, b = -2*d + 4*z + 24 for d.
4
Let l(z) = 209*z + 21158. Let r be l(-101). Solve -2*h - 2*s + r - 41 = 0, 15 = 3*s for h.
-1
Let m = -3 - 1. Let x be (m + 369/18)/(3/4). Suppose 20 - x = -2*t. Solve y + 3*g + 14 = 0, 3*y - 1 = 2*g + t for y.
-2
Let o(g) = -g**3 + 5*g**2 + 7*g - 3. Suppose 11*q + 8*q + 1672 = 0. Let d = q + 94. Let y be o(d). Solve 2*w + y*x = 6, -4*w + 3*x - 24 = -0*w for w.
-3
Let w(z) = 23*z**3 - z**2 + z - 1. Let j be w(1). Suppose 4*m - o = 21, -3*m - 3*o = -5*o - j. Solve -2*r + 5*n = -0*n - 25, 20 = -m*n for r.
0
Suppose -4*a - 15 = -3*i, i + 901*a = 898*a + 5. Let m(o) = 6*o**2 - 1. Let w be m(-1). Solve w*n + i*c = 20, -2*c = -4*n + 5*n - 7 for n.
1
Let u(p) = 2*p**2 - 515*p - 5348. Let s be u(-10). Solve 4*o = -s*g - 8, -3*o - 6 = -11*g + 8*g for o.
-2
Suppose 5*r + 0*r = -3*d + 7, -4*d + 6 = 5*r. Suppose 9 = 64*q - 61*q. Suppose q*o - 10 = r. Solve -o = 