m*l + 1 = 4*a - 8 for l.
-1
Suppose -22*v + 597 = -481. Suppose 2*q - v = -41. Solve l = q*g + 16, -3*g = -2*l + 2 + 5 for l.
-4
Let g be -2*20*(-20)/40. Solve 5*a + k = -10, -a - g*k - 2 = -24*k for a.
-2
Let i(a) = 97*a**3 + 2133*a**2 - 20*a + 50. Let z be i(-22). Solve -z = -2*s - 2*x, 3*x + 2*x = -10 for s.
5
Suppose 0 = -4*m - 4*y + 12, -118*m + 114*m + 60 = -4*y. Solve -5*o - m = -5*u + 31, 0 = 3*o - 5*u + 32 for o.
-4
Suppose 10 = 3*o - 5*g, -2*g = -14*o + 5*o + 43. Let l = -4 - -24. Solve -8 = -5*t + 3*d + 4, 4*t + o*d = -l for t.
0
Let l(q) = -2*q**3 + 31*q + 5. Let a be l(0). Solve -3*d + 6 = y, a*d - 5*y - 9 = 21 for d.
3
Let j be 3/(135/325) - -7*(-8)/252. Solve s - 10*k + 8*k = j, 5*s = 4*k - 1 for s.
-5
Let h = -4 - -7. Suppose 1 = -4*j + 21, 3*b - 1 = j. Suppose 2*t - 4*d = 26, 2*t = -3*t - d + 76. Solve t = -3*y + b*o, -h*y - 18 = -o - 2*o for y.
-3
Suppose -5*k = 2*h - 19, 2*k + 2 = -h + 9. Suppose -k*o + 4*z = -80, o = -3*o - z + 85. Solve -2*a = -4*s - o, s - 20 = -5*a - 3 for a.
4
Suppose 7 = -q + 3*r, -13*r = 4*q - 16*r - 17. Solve 2*n - q = 3*p - 5*p, 5*n = -4*p + 18 for p.
2
Let w = 334 + -244. Let d = -86 + w. Let x(f) = f**2 - 1. Let q be x(-1). Solve 2*k = -2*v + 4, d*v - 11 = -q*k - 3*k for v.
5
Let o = -887 - -872. Suppose 3*h - 87 = 2*s, -4*s + 0*s - 147 = -5*h. Let b = h + o. Solve 0 = -y - 4*d + 15, 2*y + d = -y + b for y.
3
Let x = -12433 - -12437. Solve -x*g = 8, -4*f = -2*f - 5*g - 10 for f.
0
Suppose 0 = 3*a - 0*a + 2*r - 2, 19 = a - 3*r. Suppose -p + 5 = 0, -14 = -a*f - p + 3. Solve 4*q - b - 20 = 0, -q + f = 2*b - 2 for q.
5
Suppose 4*f - 6*f + 40 = -3*k, 46 = f + 5*k. Solve 4*c = -2*r - f, r - 27 = c - 25 for c.
-5
Suppose 51*j = -129 + 384. Solve -3*s + 20 = -5*z + 5, 3*z + 9 = -j*s for z.
-3
Suppose -3*s + 5 = 2*h, 375 - 320 = 4*h + s. Let n = -12 + 12. Let a be 8 + 1/((-1)/2). Solve 2*r = -r + a, -2*o + 5*r - h = n for o.
-3
Suppose -5*i + 5*y = -465, -i + y + 273 = 2*i. Let k be (-10)/(-3)*324/i. Solve -4 + k = -2*c - 2*t, -c - 2*t = 7 for c.
-1
Let r = -12042 + 12044. Solve -2*h = -r*p + 10, -5*p - 225*h = -227*h - 13 for p.
1
Let p = 1829 + -1822. Solve h - 4 = -2*i, -p*i + 4*h - 16 = -4*i for i.
0
Suppose 10*z - 5*z = 4*d - 16, 16 = 4*z. Suppose p - 4*t = -15, t - d = -p + 1. Solve 0*x - 12 = -2*x + p*s, -s - 8 = x for x.
-4
Suppose -33622*y + 4 = -33621*y. Solve 4*r - 19 = 1, -3*t - y*r = -5 for t.
-5
Let u(x) = 13*x - 274. Let r be u(22). Suppose 0 = -2*c + 4. Suppose 2 = v - c. Solve n + 3*d = -8, r = -v*d - 4 for n.
4
Let v(c) = -3*c**3 - c**2 + 7*c + 7. Let d = -59 + 58. Let f be v(d). Suppose -b + 7 = p, 3*p = b + 3*b + 7. Solve 3 = -5*r + f*r - 3*a, r + 4 = b*a for r.
-2
Let p be 18 + 14 - 15 - 15. Solve 3*z = -3*i + 15, -4*z + 3*i + 20 = p*i for z.
5
Suppose 6*u + 2010 - 390 = 0. Let f = u - -270. Solve 5*h - 8*h - 19 = 4*b, f = -3*b - 3*h - 15 for b.
-4
Suppose -2*x + 78 = x. Suppose x + 0 = 2*b. Solve 0 = 4*k - n + b, 3*k - 5*n + n = -26 for k.
-2
Let a = -12172 - -12183. Solve -a*q + 7*q = n - 20, -q + 5 = 4*n for q.
5
Let c = -2679 + 2683. Solve c*u = 2*x - 14, 3*u - 4 = -5*x + 5 for u.
-2
Suppose -7*f - 4*c = -6*c + 4775, -2*c + 1370 = -2*f. Let k = f + 685. Solve 4*j + 11 = -9, k*y + 5*j = -45 for y.
-5
Suppose -o - o = -n - 14, 5*n = o - 16. Suppose -68 = -4*w - k + 15, -k = 2*w - 41. Suppose 3*m = -o + w. Solve a - 10 = -3*s, -2*s + 4*s - m = -a for a.
-5
Suppose 16*v - 12*v - 3*r - 20 = 0, 0 = -3*r. Suppose 0 = -5*o - v*z - 5, 10*z = 4*o + 5*z - 32. Solve 0*k + 17 = -3*s + 2*k, -4*k + 19 = -o*s for s.
-5
Let o(g) = -4*g - 7. Let m be o(-5). Let s = -62 + m. Let a be 2/(-7) + (-112)/s. Solve -4*c - 6 = -a*c + 4*f, 0 = -5*c - 2*f + 17 for c.
5
Let y(j) = -j**3 + 4*j**2 + 32*j - 101. Let b be y(3). Solve 0 = -b*r - 3*n + 9, -5*r + 5*n = -4 - 16 for r.
3
Suppose 104*i = 114*i + 140. Let k = i + 19. Solve -l = -k*o, 2*o + 4*l = 7*o + 15 for o.
1
Suppose 5*j + 15 = -3*m, j = 8*m - 6*m - 3. Solve 2*p + f = 13, m = -62*f + 64*f - 10 for p.
4
Let t(w) = 56*w + 172. Let a be t(-3). Let h(g) = -2*g - 30. Let y be h(0). Let p = 34 + y. Solve 0 = a*d + 12, -p*n - 4*d = d - 5 for n.
5
Let l(a) = -a**3 - 9*a**2 + 8. Let q be l(-9). Let s = -1241 + 1241. Solve -2*b - q = s, -k + 7 = -4*k - 4*b for k.
3
Let f(z) = 2*z**2 + 22 + 18 - 42 + 2*z - 6*z**3. Let v be f(2). Let j = v - -40. Solve 0 = -y + k - 4, -4*y + j*k - 7 = 9 for y.
-4
Let t(o) = -o**3 + 65*o - 108. Let v be t(7). Solve 21 = -g + 24, -4*n + v*g = 0 for n.
3
Suppose -27*k = -59*k + 35*k - 24. Solve -5*n = -5*u, -3*n + 4*u + k = 3 for n.
-5
Let b be (34/180 - (-2)/18) + 119/70. Let h(n) = 2*n**2 - 2*n - 1. Let k be h(2). Solve 5*q = j - b + 3, 0 = k*j - 4*q - 8 for j.
4
Suppose 0 = p + 2, 12 = 2*o - 2*p + 4. Let d be (-10)/(-1) + 10/((-10)/o). Suppose 0 = 5*w - d - 17. Solve 0*m + m = 2*u - w, 5*u - 3*m = 15 for u.
0
Suppose 12*l + 41 = 69 + 68. Solve 18 = -5*d - 2*c, 18 = -11*d + l*d - 3*c for d.
-2
Suppose 5*w - 4*j = j + 3995, -807 = -w - j. Let p = -798 + w. Suppose c - 2 = -0*c. Solve p = -d, c*y + 2*d + 25 = -y for y.
-5
Let k = 14374 - 14356. Solve -3*o - k = m - 19, o = 0 for m.
1
Let z = -80 - 1. Let h = -81 - z. Suppose h = 3*q - 4*m - 22, 3*q + 3*m = -0*q - 6. Solve i - q*p - 6 = 0, 5*i - 10 = 2*i + 2*p for i.
2
Suppose -52 = -4*t - 2*d - 26, -t + 14 = 2*d. Solve -f - 3 = t*m - 14, -m + 2*f + 14 = 0 for m.
4
Let n(t) = -t**3 + 8*t**2 + 20*t + 2. Let r be n(10). Suppose s = z - 1, -3*s + r*z = 6*z - 11. Solve -c = 4*m + 10, 3*c - m + s = -3 for c.
-2
Let o(j) = 221*j + 2226. Let n be o(-10). Solve 4*v + v = g - 14, 4*g = 2*v - n for g.
-6
Suppose -13*l + 10*l = -2*y + 13, 3*l + 3 = -3*y. Suppose 5*u = y*m - 10, 5*u = 5*m + 6*u + 2. Solve -16 = -2*g - 4*z, 2*z - 14 = 2*g - m for g.
-2
Let d be (-2 + 5/2)*(124 - 118). Solve 4*t = -d*j - 6, -8*t + 2*j + 4 = -6*t for t.
0
Let w = 10 + -5. Let t(h) be the first derivative of 4*h**2 - 32*h - 24. Let m be t(4). Solve m = w*c - 5*s, -c + 0*s = 4*s - 5 for c.
1
Suppose 0 = -25*s - 224 + 999. Suppose 15 = 34*y - s*y. Solve -4*m = 2*v + 3*v + 27, y*m + 15 = 0 for v.
-3
Suppose -4*v - 497 - 55 = 0. Let l = v + 165. Solve 4*k + 27 = -5*c, 0*c + 5*k = -4*c - l for c.
-3
Let r(y) = 21 - 3*y - 31 - 5*y. Let z be r(-3). Let d be ((-2)/(-7))/((-2 + 3)/z). Solve 2*c + 2*u = 5*c - 6, 5*c - 32 = -d*u for c.
4
Suppose 0 = -6*g - 20*g + 202 - 72. Solve -4*z - 16 = b - 33, g*b + 3 = 2*z for b.
1
Let c = 3074 + -3066. Solve 2*b + 4 = 2*m, 17*m - c = 15*m for b.
2
Let u = -11 + 12. Suppose 0 = 11*f - u - 10. Let g(t) = 9*t - 7. Let p be g(f). Solve -7*i - 2*l - 22 = -p*i, i + 9 = -5*l for i.
-4
Let a be (-3 - -4) + 3 + 11 + 1. Let s = -12 + a. Solve 0 = -s*w + i - 4, 3*i - 12 = 2*w + 2*w for w.
0
Let q = -104 + 116. Suppose -c + 4*v + q = 0, -9*c + 5*c + 2*v = -6. Solve -b + 3*b + 4*p + 12 = c, -4 = -3*b + 5*p for b.
-2
Suppose 16 = 3*j + v, 2*j + 4 = -2*v + 8. Solve 8*f = 5*f + i + 12, j = -f + 4*i for f.
5
Let c(r) = -r**3 - 4*r**2 + 7*r - 25. Let f be c(-6). Suppose -f*n - 2*k - 3 - 2 = 0, -4*n - 6 = 2*k. Solve o - 1 = v, -4*v - o + n = -3*v for v.
0
Suppose -13*u + 26684 = 26684. Solve -4*s + 8 = 10*o - 6*o, 5*o + 3*s - 4 = u for o.
-1
Let d = 824 - 818. Solve -d*z + 2*z - 4 = -2*u, -3*z + 23 = 5*u for z.
1
Let v(p) = -4*p + 6*p - 4 - 15*p. Let w be v(4). Let u = 56 + w. Solve 13 = 4*y - k, -2*y + 5*k - 4*k + 7 = u for y.
3
Let g(j) = -2*j**2 - 35*j + 23. Let i be g(-18). Suppose 0 = -4*h + 3*q + 24, -5*h + 9 + 26 = -i*q. Solve -4*d - 10 = -2*n, -2*n + h*n - 9 = 4*d for d.
-2
Let k = 18 + 26. Suppose -7*n + 11*n = k. Solve x - n = 2*z - 0*x, -20 = -4*x for z.
-3
Suppose 0 = -55*l + 52*l - 12. Let o(q) = 5*q + 48. Let m be o(l). Solve 3*x - m = 2*r + 2*r, -r = 3*x - 8 for r.
-4
Let u be (-3)/((-27)/(-6))*3 - 16. Let m be u/27*(-3 + 0). Solve 3*j + m*j = -5*s + 5, 4*s = -2*j - 6 for s.
-4
Let m = -10 + 14. Let c = 194 - 247. Let w = 57 + c. Solve 5*z + 3*n = 10, m = -2*z - w*n + 8 for z.
2
Let n be 3*-1 - (-3 - 0). Let i be -1 - -20 - (n - -5). Solve 5*h - t + 17 = 0, -t + i = -5*h + t for h.
-4
Let x be -9 - 14/((-196)/126). Solve -5*y - 3 + 13 = x, 0 = -5*c + 2*y - 29 for c.
-5
Let i(c) = -3*c - 1. Suppose 5*q - 4*u = -6, -4*u + 3 = 7. Let p be i(q). Solve f - 5*b + 14 = 4*f, 4*f + p*b = 12 for