/(-20). Solve 3*l - 1 = 4*z, -l - x = 3*z - z for l.
-1
Suppose 7 = 3*v - d, -4*v = -5*v - d + 9. Solve i + 5*r + 18 = -i, -4*r - v = -i for i.
-4
Suppose -9 = m - 14. Solve 0 = -3*u + m*f - 2, -5*u + f = -5 + 1 for u.
1
Let i = 15 + -11. Let a be (2 - 0) + 54/54. Solve 0 = 4*z + 2*l + 4, a*l + i = -4*z - l for z.
-1
Let z = -260 + 262. Solve z*u + 3 = -1, -2*u + 16 = 5*n for n.
4
Let c(f) = f**2 + 3*f - 4. Let i be c(-4). Let d = -34 - -36. Solve -5*r - z + 8 = 0, -d*r - 4*z + 3*z + 2 = i for r.
2
Suppose -15 = -5*l + 25. Let h be ((-4)/12)/(-3 + 46/15). Let b = h + l. Solve 0 = -b*d + 2*s + 3, 0*s = -5*d - 2*s + 21 for d.
3
Suppose 77*z - 89*z + 60 = 0. Solve 4*l + 31 = 3*x + 3, -z*l = x + 16 for x.
4
Let y(g) = g**2 - g + 1. Let w be y(-2). Let n(c) = -c**2 + 6*c + 0*c + c + 4. Let u be n(w). Solve 5*d - 37 = -u*p, 4*d - 8 = 5*p - 3 for d.
5
Let f = 46 + -37. Suppose 8*s - 25 + f = 0. Solve 0 = m + 3, -s*r + 5*m = m - 14 for r.
1
Suppose 2*v - 10 = 3*t - 19, 0 = -3*v. Solve 4*b - q + t*q - 6 = 0, -2*b - 3 = -5*q for b.
1
Let g(o) = 6*o + 17. Let p be g(-2). Solve 3*c - c = -p*s + 9, -2*c - 15 = -3*s for c.
-3
Suppose r + 0*p - p - 2 = 0, 2*r + p = 7. Suppose 4*k = -r*w + 87, w - 4*k = -k + 16. Solve 0 = -n - 1 + 2, 5*n = 4*b + w for b.
-5
Suppose -104 = 7*x - 132. Solve -2*u + 0*u - 2 = x*l, -1 = u + 3*l for u.
-1
Let g(s) = s**3 - 14*s**2 - 14*s - 13. Let b be g(15). Solve -3*f + 3*i = -9, -2*f - b*i + 8 = 3*f for f.
2
Let y = 226 + -217. Let o(w) = -w**2 + 4*w - 2. Let s be (0 - (-3)/3)*2. Let x be o(s). Solve 0 = -3*c + y, 0*c + 9 = -u + x*c for u.
-3
Let a = -53 - -55. Solve 2*s = 5*i + 13, s = a*s - 4*i - 8 for s.
4
Let y = 1317 + -1302. Solve 6*o = m + 2*o + 19, 5*m - y = -2*o for m.
1
Let c = 37 + -27. Let j = c + -13. Let i = j + 5. Solve 0*a - 2*a = -3*g + i, -5 = -a for g.
4
Let g be (-14)/(-5) - -1*(-2)/(-10). Let c be ((-42)/(-28))/(3/6). Solve c*o + 3 = -0*u + g*u, 2*u = -2*o + 2 for u.
1
Let u(a) = -a**3 - a + 7 - 3*a**2 - 5 + 0*a. Let s be u(-3). Solve -4*c + 5*i + 4 = 1, s*c - 4*i + 3 = 0 for c.
-3
Let u = 692 - 675. Solve -4*v + 7 = -f, -6*f + f - u = -2*v for f.
-3
Let x(y) = -8*y + 116. Let f be x(12). Solve -5*l + 0*t = -5*t - f, -t = -4*l + 4 for l.
0
Let r(b) = -2*b**2 + 21*b - 1. Let f be r(10). Suppose 0 = 4*y - f - 11. Solve 0 = -y*m + 2*g + 14, 0 = 2*m - 3*m - 3*g + 13 for m.
4
Suppose 0 = -4*j + j + 2*o + 50, 5*o - 27 = -2*j. Let z be (162/(-24))/(6/j). Let q = 20 + z. Solve -2*u = v - 1 + 11, 3*u + 17 = -q*v for u.
-3
Let q be -1 + 0 + 0 - 165/(-55). Solve -3*y + 4*n + 0 = 5, -q*y = 5*n + 11 for y.
-3
Let y(b) = -b - 8. Let w be y(-11). Suppose -w*q + 3 = 0, q + 2 = c - q. Let j be (-9)/12 - (-23)/c. Solve 0*o = 5*o - 15, j*r = -2*o - 19 for r.
-5
Let l = -45 - -65. Suppose 13*m - 9*m - l = 0. Solve -5*s + 27 = -4*q - 6, m*q = -2*s for q.
-2
Let n(o) = -10*o + 175. Let k be n(17). Solve -2*u + 6*u = 2*b - 26, k*u - 5*b + 45 = 0 for u.
-4
Let c = -91 - -101. Suppose 0*x = -c*x + 90. Suppose 5*b = 1 + 9. Solve -t - b*p + x = p, 9 = 3*t + 3*p for t.
0
Let g be 1*3*-2*-2. Let l = g - -19. Suppose 6*t - l = 23. Solve 0 = -2*j - u + 1 + 2, 3*u + t = 0 for j.
3
Let h be ((-438)/292)/(6/(-16)). Solve 3*x = -7*k + 8*k + h, 5*x + 5*k - 40 = 0 for x.
3
Let n = 1215 + -1215. Solve -10*f + 14*f - 2*l + 12 = n, 5*f = -3*l - 37 for f.
-5
Let o(w) = -w + 3*w + 22 - 8 - w. Let l be o(-9). Solve 0 = x + s + 4, -l*x - 10 = 4*s - s for x.
1
Let w = 1680 - 1680. Solve 4*a - 1 = 2*d + 9, a + d + 2 = w for a.
1
Let v(n) = -n**3 + 7*n**2 + 7*n + 9. Let x be v(8). Let t be (x - 0) + 5 + 10. Suppose 0 = 3*u + c - 8, -2*c = 2*c + t. Solve -2*p = -8, 4 = u*d + d + p for d.
0
Suppose 15 = 5*g, 4*h - 8*h = -5*g - 85. Let c = -64 - -42. Let w = c + h. Solve 5*z = -2*p - 2, -w*z = z + 5*p + 5 for z.
0
Suppose -3*r = r - 24. Solve 0 = -4*z - h + 15, -z - 3*z + r = -2*h for z.
3
Let d be (-4)/(-14) - (-416)/14. Let w be (4/(-10))/((-6)/d). Suppose -r + 8 + 4 = 5*t, -r = -2*t + w. Solve 1 = i + 2*h, -t*i - 5*h + 0 = -2 for i.
1
Let q = -2081 + 2081. Solve p = 0, q = -v - 2*v - 3*p + 15 for v.
5
Let o be ((0 - 4) + 10)*1 + -2. Solve 3*y = 4*x + 7, o*x = x - 3*y for x.
-1
Suppose 4*p - 6*p = 0. Suppose p = q - 0*q - 2*m - 10, q - 12 = 4*m. Solve 0 = r - 4*i + q, 2*i - 18 = 3*r + r for r.
-4
Suppose 2 = 3*s - 10. Let l be 1/(6/9) + (-1)/(-2). Let f be (21/6 + -3)*0 + l. Solve 28 = -2*h - s*p + f, -3*h - 4*p = 29 for h.
-3
Let n(v) = v**3 - 9*v**2 + v - 7. Suppose 5*w - 34 - 11 = 0. Let i be n(w). Solve 3*t = -4*r - 16, -i + 10 = -3*t + 4*r for t.
-4
Let f = 592 + -588. Solve -27 = p - f*j - 11, -j = 5*p + 17 for p.
-4
Let s(l) = 19*l - 73. Let i be s(4). Solve -1 = 3*v + u, 13 = -3*v - i*u + 4 for v.
1
Let u = 35 + -31. Let a(w) = -w + 13. Let k be a(4). Suppose -2*q - 3*h = -k, 3*h - 4 = -3*q + 8. Solve -j = u*t + 13, -t + q*j + 4 = -9 for t.
-2
Suppose -5*u + 480 = 6*x - x, -3*u - 5*x + 292 = 0. Let i = -90 + u. Solve -4*k - 16 = -5*h + h, 2*k + 18 = i*h for k.
1
Let f = 568 - 562. Solve 4*s = -x - 10, 4*s - f*s - 10 = -2*x for s.
-3
Suppose -4*j + 26 = b, j = b + 4*j - 21. Let y(d) = 1 + 5*d**3 + b*d - 3*d**3 - 5*d. Let x be y(2). Solve 5*i = n - 23, -3*n - 4*i = -4*n + x for n.
3
Let y = -18 - -27. Let c = 9 - y. Let q = 3 + c. Solve 4*b - 3*k + 11 = 2, q*b = -k + 3 for b.
0
Let r = -67 - -67. Solve r = -3*c - 3*x - 21, -3*c + c - 10 = x for c.
-3
Let z be 2/(-10)*3*(-160)/24. Let d = 6 + -4. Solve -z*k - k = d*l + 16, -l = -k + 1 for k.
-2
Let o be (-7 + 8)/((-1)/(-3)). Let y be o/(-4) - (-114)/24. Solve y*s + 4 = 4*u, -3*s + 2*u + 2*u = 1 for s.
-3
Let b be (20/16)/5 + 297/12. Let d be ((-16)/10)/((-10)/b). Solve -2*i - d = -2*z + 2*i, 4*z - 4*i = 4 for z.
0
Let g be 1 + (-12)/4*5/(-3). Suppose -5*t = -g*t + 1. Solve 0 = 3*y - 5*b - t, 5*b - 5 - 10 = -5*y for y.
2
Suppose n + 5*s + 0 = -3, 0 = -5*n - 3*s + 7. Solve -5*p - 4*q = 14, n*p - q - 9 = 6*p for p.
-2
Suppose -4*c + 18 = i, -5*c + 15 = -i - 12. Solve -3*q = -q + 5*b - 26, -c*q = -4*b + 1 for q.
3
Let k(i) = -32*i + 64. Let j be k(2). Solve -2*a - 4*f - 14 = j, 4 + 11 = -3*a - 3*f for a.
-3
Let g(a) = -a**3 + 3*a**2 + 4*a + 2. Let d be g(4). Suppose 2*h - d = -m, -2*h = -8*m + 3*m - 14. Let f = 2 + 2. Solve -4*i + f = 4*t, t + 25 = h*t - 5*i for t.
5
Suppose 17*u = 11*u + 18. Solve 3*l + 14 = 4*y, 0 = u*l + 2*l - y + 12 for l.
-2
Suppose -2*m - 3*v + 0*v + 33 = 0, 2*v = 3*m - 69. Suppose 3*y - 1 = -4*i, -y = -7*i + 3*i + m. Solve -3*t = i*b + 19, -5*t + 5*b + 4 = -11 for t.
-1
Let l = -1519 - -1520. Solve -4 = 4*g, -2*n = -3*g + l + 6 for n.
-5
Suppose -2*x = 4*o - 34, -4*x - 2*o + 26 = -2*x. Let v = x + -11. Let q be -1 - (v + 0) - 1. Solve -3*j - 5*r = -3, 0 = -2*j + r - q*r + 2 for j.
1
Let k = 34 + 86. Suppose -3*i = -8*i + k. Suppose 4*u + 8 = -0, -4*u = -4*y + i. Solve 28 = -y*q + 2*s, 3*q + 4*s + 7 = 2*s for q.
-5
Let g be (1 + 0)/(4 + 594/(-150)). Solve -f + 5*n + 6 = g, -4*n = -16 for f.
1
Suppose -3*l = -2*t + 3 - 1, -18 = -2*t - 5*l. Suppose -4*m + 16 = -0. Solve -q - t*h = 3*q - m, h = 0 for q.
1
Let z be (-3)/(9/30 + 0). Let h = z + 10. Solve 5*w + 2*i - 16 = h, 0 = -2*w + 2*i - 3*i + 7 for w.
2
Let f be 0/4 - 0/1. Suppose -4*n = -f*n - 96. Let d = 69 + -60. Solve 0*m - d = s + 4*m, 4*s + n = -4*m for s.
-5
Let j be ((-135)/(-12))/((-9)/(-24)). Let w be ((-6)/5)/((-9)/j). Suppose 10 = w*n + n. Solve 5*a = 3*o + 17, 0 = -o - 5*a + 19 + n for o.
1
Let r(u) = -u**3 + u**2 + 5*u - 4. Let n be r(2). Solve -14 = -n*p + 2*a, 0 = a + 2 + 3 for p.
2
Let f(h) = h**3 + 13*h**2 - 89*h + 21. Let z be f(-18). Solve 1 = -n, -n + 0*n = z*t + 4 for t.
-1
Let k be 195/40 + 3/24. Suppose 0 = -5*o + 55 + 20. Suppose 3*h - 9 = u, -2*u - o = -4*h - 3. Solve 5*m - k = u, 4*m - m = -5*p + 3 for p.
0
Suppose 3*x = -4*l + 33, 5*l + x + 23 = 56. Suppose -5*a = -4*m, -m - l = -3*m + a. Suppose 0 = m*k + 7 - 37. Solve 4*h - i = -10, -3*h + 1 = -k*h + 4*i for h.
-3
Let h = -2 - -8. Let z = 10 - h. Let g be ((-12)/(-24))/(2/z). Solve -g = -4*a + 5*y - 9, 5*y = 0 for a.
-2
Let j(t) = t. Let n(m) = -7*m + 12. Let r(x) = 6*j(x) + n(x). Let h be r(7). Solve -2*q = -2*d + 14, -q + 3*d + h = 22 for q.
-2
Suppose -4*j - 12*n + 7*n = 0, -n = -4*j + 24. Solve 4*v - j*y + 2 = 0, -3*v - v = -3*y - 2 for v.
2
Le