-a*l + l for s.
0
Let x(q) = -3*q**2 + 30*q. Suppose 60 = 12*v - 6*v. Let t be x(v). Let i be (t + 6/(-27))*-9 + 0. Solve -4*w - 5*n = -i*w - 8, -n = 2*w for w.
-1
Let v be (-31)/186*(-916)/14 - (-4)/42. Let k = -1 + 3. Solve 0 = -3*r - 3*a - 0*a - 12, -k*a - v = 3*r for r.
-3
Suppose r - 4*f = -25, -5*r - 30 = -3*r - 3*f. Let j(h) = 6*h - 42. Let m be j(r). Let o = m + 100. Solve -5*d = -3*a + 1, o*d + 0*a - 12 = -4*a for d.
1
Suppose 5*o = 3885 - 1470. Let n = o - 479. Solve 13 = 5*p - 2*x, -2*x = -2*p + 6 + n for p.
1
Let h(w) = -23*w - 7. Let r be h(4). Suppose -5*o + 293 - 683 = 0. Let p = o - r. Solve -5*m + m - 41 = 5*u, 0 = -m + 5*u + p for m.
-4
Let s(h) = 5145*h - 20576. Let b be s(4). Suppose 4*r - r = 12. Solve -2*z = -b*o - r, 3*o = -0 + 3 for z.
4
Let j(v) = -v**2 + 28*v + 707. Let l be j(-16). Solve 2*w = l*w + 2*n + 4, w = -5*n - 13 for w.
2
Suppose 5*n + 27 = -2*p + 389, 0 = 2*p + 2*n - 368. Let c be 992/p + 1/(-3). Solve 3*y - 4*y + 2*h = c, 2*y - 10 = -h for y.
3
Let t = 55 + 143. Let n = -194 + t. Solve -3*h - n = -2*j, -2*j - h - 18 = -6 for j.
-4
Let g = 43 - 19. Suppose -o + 3*p + g = 2*o, -4*p - 28 = -3*o. Suppose -2*s + 20 = o*w, -w + 4 = -5*w + 4*s. Solve 0 = 4*n + 5*r + 3, 3*n + 1 = n - w*r for n.
-2
Suppose -8 = 4*k, -5*k - 25 = -5*w - 0*k. Let s be ((-27)/(-12))/(w/((-24)/(-2))). Solve 16 = 2*i - 4*i - 3*o, -i = 2*o + s for i.
-5
Let i = 57 - 46. Suppose -13*k + i*k - 206 = 0. Let h = -101 - k. Solve 0 = 5*q - h*w + 31, 2*w = -3*q - 3*w for q.
-5
Let k = -26751 - -26755. Solve 5*p - 25 = 16*u - 11*u, -u = -k*p + 20 for u.
0
Suppose 16*c - 14*c - 8 = 0. Suppose 2*q + 0*s - s - 26 = 0, q - c*s = 27. Suppose 29 = 5*r - q. Solve -6 = 3*k, f - 5*k = -2 + r for f.
-4
Let h(w) = 62*w + 70. Let c be h(16). Let l = c - 1062. Let x be 1/(1/1) - -5. Solve l = -3*q + 12, x*z + 4 = 2*z + 3*q for z.
2
Let d be 6/9*(0 + 6/2). Suppose s = 4*g + 5, 2*g + d*s + 1 = s. Let v be (g/((-2)/(-3)))/(6/(-8)). Solve -4*m = -q - 17, 3*m - 28 = -v*q - 7 for q.
3
Let q(n) = -36*n + 15. Let j be q(-11). Let o = -405 + j. Solve 4 = -5*p - 4*y, -3*p + o*p + 2*y = -2 for p.
0
Suppose 9*o - 33 = 7*o + 5*f, 3*f = -4*o + 1. Solve 3 = -o*v - t, 2*v + 7 = -3*t - 2 for v.
0
Suppose 704 = 4*u + 2*u + 26*u. Solve -3*x + 3 = 0, 5*r + 2*x = 4*x - u for r.
-4
Suppose 4*m + 2*d = 3*m + 1, 4*d + 7 = -m. Let h = -67 + m. Let z = -58 - h. Solve 5*b + 5*g + 15 = z, 2*b + g = 5*g - 12 for b.
-4
Let i = -4118 + 4120. Solve -5*k - 2*h + 17 = 0, -5*k + 39 = -4*h - i for k.
5
Let k(t) = t**3 + 63*t**2 + 60*t - 122. Let o be k(-62). Solve g + o*a = -3, 0 = -3*g + 8*a - 3*a - 9 for g.
-3
Let n be (-5)/1 + (26 - 28). Let o(x) = -x**3 - 6*x**2 + 7*x + 9. Let p be o(n). Solve -2*q = k + p, 0 = -2*q - q - 12 for k.
-1
Let h(g) = g + 1. Let a(c) = -2*c - 35. Let q(j) = a(j) - 3*h(j). Let n be q(-8). Solve n*f + 4*o - 10 = 0, 0 = f + 5*o - 9 - 2 for f.
1
Suppose 8*y = 167 - 127. Solve -3*o - 24 = 4*a, -y*a + 3*o = -a for a.
-3
Let h = -6815 + 6821. Solve -p = 2*z - h, 2*z + 8 - 20 = -4*p for p.
2
Suppose -14*k + 13*k + 9 = 0. Let i be (-1 - k)*(-1)/2. Suppose -i*v + 2*v - l = 2, -5*v - 3*l - 10 = 0. Solve -19 = -5*z + 4*g - v, 2*z = 2*g + 8 for z.
2
Let a(i) = 4*i**2 + 5*i. Let w be a(-2). Suppose -w = 5*u + 4. Let n be (2/4 + u/(-4))*3. Solve c + 5 = -n*m - c, -m + 5*c = -21 for m.
1
Suppose -2*p = 10, -2*h = -0*h + 2*p - 222. Let d = -91 + h. Let w = -8 + 10. Solve 10 = w*j, -1 = x + 5*j - d for x.
-1
Let s(k) = k**3 + 9*k**2 + 138*k + 871. Let d be s(-7). Solve d*a + 27*u = 31*u - 20, -5*a - 4*u + 52 = 0 for a.
4
Suppose -42 = -430*k + 388*k. Solve 13 = -3*d + 2*t, -3*d + k = 4*t + 2 for d.
-3
Suppose 506*o = 89*o + 3336. Solve -2*p + 21*v - 17*v = o, -8 = -p - 4*v for p.
0
Let i = 7150 + -7122. Solve 4*h - 22 = 2*x, -5*h + x = -i + 8 for h.
3
Suppose 699*y + 16 = 701*y - 2*p, 4*p + 34 = 5*y. Solve -z + 2*b + 10 = y*z, 3*b - 4 = -5*z for z.
2
Let f(s) = s**2 + s - 30. Let p be f(5). Suppose 9*d - 36 = -p*d. Solve -3*b - d*i - 6 + 22 = 0, -4*b = -2*i - 14 for b.
4
Let l(t) = 4*t + 104. Let d = 432 + -457. Let o be l(d). Solve s + 1 = 2*p, -o*p + s + 4 + 3 = 0 for p.
3
Let q(u) = u - 1. Let x(d) = -d**2 - d - 7. Let r(s) = -4*q(s) + x(s). Let w be r(-3). Solve -9 = -2*t + a, 3*t = -2*a - w*a + 7 for t.
4
Let a(n) = -n**3 + 17*n**2 - 2*n - 219. Let f be a(16). Solve 0 = -4*v - v - 5*y - f, 0 = 5*v - y + 5 for v.
-1
Suppose -5*j - 24 = -4. Let c be (-1*(-1 - 1))/(j + 5). Suppose 6 + 4 = 2*y + c*t, 4*y - t = 5. Solve 5*x - y = 3*x + r, -5*r = x - 1 for x.
1
Let h = 11 + -11. Suppose 2*v + 3*c + 6 = h, -3*c + 2 = -4*c. Solve v = -3*n + 5*q - 40, 2*n + 6*q - 15 = q for n.
-5
Suppose 3*n = 39 - 24. Let o(t) = -31*t + 34. Let l be o(1). Solve -n*g + 30 = 5*c, -g + 2 = l*c - 2*g for c.
2
Let f = -174 + 174. Suppose f = -3*o - 6, 6*w + 2*o + 4 = 2*w. Solve -5*z = -4*k - 9, 0 = 2*k - z + 3 - w for k.
-1
Let j = -4658 - -4660. Let i be 16 - (-3 - (1 - 2)). Let x = i - 14. Solve -4*f - 3*u - 15 + x = 0, -j*f - u = 3 for f.
1
Let j = -203 + 214. Suppose -4*k - 5*h + 13 = 0, -k - 5*h - j = -18. Solve -m - 9 = 2*c - 0*c, -k*m - 23 = 5*c for c.
-5
Let n(l) = l**3 - 10*l**2 + 12*l - 24. Let t be n(9). Suppose -4*h + 2*x = -h - 11, 0 = h - t*x + 1. Solve -h*d = 4*i - 2, -3 - 7 = 5*d for i.
3
Let v be (-6)/(-45)*5*3 + 31. Let x = 37 - v. Solve 0 = 2*w + 5*p + 23, x*w - w = -p - 2 for w.
1
Let h be -1*17/(85/(-10)). Solve 2*d + 0 = n + h, -20 = 5*n for d.
-1
Suppose 24*j - 1295 - 433 = 0. Suppose 66*l = j*l - 12. Solve -4*w - u - 12 = 0, l*w + 3*u + 1 + 5 = 0 for w.
-3
Let c = 485 + -481. Let x(b) = -b**3 + 9*b**2 - 4*b - 10. Let f be x(9). Let z = -20 - f. Solve -2*a = -c*o - 4*a + z, -17 = 2*o - 5*a for o.
4
Suppose -6*d + 11 = -169. Suppose -218 = -31*g + d. Solve p - 5 = f, 4*f + g*p = 7*p - 20 for f.
-5
Let q(m) = m**2 - 20*m + 7. Let w be q(18). Let k = w - -34. Suppose -2*j + 30 = k*v, -4*v - 5*j + 16 = -25. Solve -l - 20 = -r - 5*l, -r + v*l - 20 = 0 for r.
0
Suppose 21*p + 417 - 269 = 232. Solve 0 = -2*n + t - 5*t + 8, -p*t + 12 = 4*n for n.
2
Suppose -k - 26 = -2*f, -f + 0*f - 5*k = -2. Let n be (f/10)/((-14)/35). Let q = 18 + n. Solve 3*h = y - q, 12 = y - 2*h + 2 for y.
0
Let k be 1*(-7 - -11)*(-5)/(-4). Suppose -z + 6 = 2*y, -y + k*y - 2*z - 12 = 0. Solve 4*x - 24 = -y*s - 9, s - 5 = 5*x for x.
0
Let x = -2 - -2. Let u(b) = -36 + 26*b - 27*b + 39. Let p be u(x). Solve 5*j - p = g - 0*g, 2*j = 3*g + 9 for g.
-3
Let k be (0 + -30*(-12)/(-96))*-4. Let l be 22 - ((1 - 2) + 3). Solve -2*q - l = -6*q, 5*s + k = 4*q for s.
1
Let h(p) = -p**2 - 2*p. Let t be h(-2). Suppose t = -7*q + 7 + 21. Solve -n = q*n + g + 6, 2*n = -g for n.
-2
Let s be 12/9 - 2 - (-24)/36. Solve 0 = 3*k - s*k + 3, -j = 3*k + 3 for j.
0
Suppose 36*z - 144 = 10*z - 10*z. Solve -4*p - 5*q = -19, 0 = -z*p + 12*q - 10*q - 2 for p.
1
Suppose -526 = 10*c + 24. Let k = -69 - c. Let i = k + 15. Solve -4 = -8*f + 4*f, 3*v - i = -f for v.
0
Suppose 0 = -3*v - x + 28, -4*v - 33*x + 29*x + 24 = 0. Solve y - v*u = -14*u + 1, 0 = 5*y - 5*u + 35 for y.
-5
Let j be (315/42)/((-11)/(-44)). Solve 5*o + 0*z + 5 = 3*z, -5*o = 4*z - j for o.
2
Suppose 0 = -a - 2*q + 129, 5*q - 3*q = -6. Let o = -132 + a. Solve -3*k - 2*j = -11, 0 = o*k + 2*k + 4*j - 19 for k.
3
Suppose -687*p + 700*p - 39 = 0. Solve p*z = -3*i - 15, 0 = -i - 10*z + 11*z + 5 for i.
0
Suppose -8 = -4*c + 20. Suppose -x + 0 + c = 0. Suppose -5*p = t - 6, -5*t - 5*p = x - 17. Solve -2*v - 4 = 2*v + r, -r + t = -v for v.
-1
Let k(d) = d**3 - 23*d**2 + 41*d + 39. Let n = -99 - -120. Let o be k(n). Solve 2*s = 3*b + 2*b - 21, -3*s = -3*b + o for b.
3
Let a(k) = -k - 13. Let q be a(-10). Let p be (2 - 0)*((-2 - -6) + q). Solve 3*o - 5*t + p*t = 9, 3*o = 5*t + 15 for o.
0
Let b(p) = 2 - 9 - p**2 - 9*p - 5. Let r be b(-8). Let f be r/(-8) + 45/6. Solve 4*c - f = 2*l, -3*c = 2*c + 3*l - 32 for c.
4
Let j be 20/(4480/1184) - 4/14. Solve 0 = 24*f - 21*f + u + 10, -f + j*u = -18 for f.
-2
Let y(j) be the third derivative of j**6/120 - 13*j**5/60 + 13*j**4/24 + 7*j**3/6 - 46*j**2. Let o be y(12). Solve 8 = 4*a - i + o, -5*i = a + 8 for a.
-3
Let f(m) = 108*m - 13. Let q be f(-2). Let u = -225 - q. Solve -2*j - 4*o = -9 + 5, -3*j - u*o = -8 for j.
4
Let t = 0 + 9. Suppose 4*l + 30 