l + 4*q = 2 - 0 for l.
2
Let q = 42 + -21. Suppose 5*m = -2*p - 0*p + 16, -3*m = 5*p - q. Let b(s) = -7*s**3 - s**2 - s. Let o be b(-1). Solve -m*x + 3 = h, -4*h + 0*x + o = 3*x for h.
1
Suppose -8 = -l - 3*l. Let c(r) = 2*r**2 - 4*r + 2. Let i be c(l). Let j be (6/(3 - 1))/3. Solve -i*v = -u - 6, -3*v + 10 - j = u for v.
3
Let m(t) = 5*t - 4. Let r be m(4). Let c be -2 + 2 + 2 + 1. Solve 4*f - r = -5*w, 13 = -5*f - w + c*w for f.
-1
Let q(u) = -6*u + 8. Let n be q(-1). Let i be 76/n - (-9)/(-21). Solve 2*l + 2 = 3*r - 2, 5*l + i*r - 40 = 0 for l.
4
Let t(q) = q + 25. Let p be t(-25). Suppose -u - u + j + 5 = p, 4*j + 5 = 5*u. Solve -v - u*s - 21 = 0, 3*s + 10 = s for v.
4
Suppose 12*s - 5*s = 84. Suppose 20 = s*c - 4. Solve 6 = 4*l - c*l + p, -4*l - 3*p = -12 for l.
3
Let o(x) = 10 + 19*x - 38*x + 22*x. Let g be o(0). Solve -3*u = -g + 4, -u + 10 = 4*f for f.
2
Suppose 2*m - 5*o = 5, 4*m - o = -5*o + 24. Solve 4*v + 11 + m = 3*i, -i + 12 = -3*v for i.
0
Let d be (-8)/(-12) - (-1)/3. Let l be 3/d*(-18)/(-27) + 1. Let r = 11 + 0. Solve -l*b - p = r, b + p = 2*b - 3 for b.
-2
Suppose 4*i + 11 = -21. Let s = -5 - i. Suppose 7*w + 3*x - 17 = 3*w, -s*w = -3*x - 18. Solve -z + 9 = -w*z - g, 5*z + 3*g = -13 for z.
-2
Let u = -7 - -11. Suppose 0 = -2*l - u*p + 18 - 4, -4*l = -p - 10. Solve 3*t - 6 - 14 = 4*i, 0 = -l*t + 2*i + 10 for t.
0
Suppose 0 = -4*g + 7*g - 12. Suppose -6 = -g*h + 2. Let x = -2 - -4. Solve -x*c + 3*z - 5 = 0, 3*c + 15 - h = -z for c.
-4
Suppose 132*b - 27 = 123*b. Solve -o = -3*d + b, d + 12 = 14 for o.
3
Let z(q) = 3*q - 47. Let a be z(16). Suppose 29 = 14*c + a. Solve c*x + f + 3*f + 2 = 0, 0 = 5*x + 5*f for x.
1
Let t be -1*(0 + -1)/((-1)/5). Let c(p) = 2*p + 10. Let q be c(t). Solve 3*w = 3*m + 6, -4*m - m + w + 10 = q for m.
3
Suppose -6*x + 6 = -3*x. Suppose -6*j = 6 + 6. Let p = x + j. Solve -3*y = -2*k + 14, -3*k - 13 = -p*y + 4*y for y.
-4
Let y(v) = -2*v**3 + 14*v**2 - 2*v + 17. Let i be y(7). Solve 3*s + 4*a = -19, 2*a - 11 = i*s + 2 for s.
-5
Let z = -20 + 32. Suppose -3*g + z = g. Solve 3*b = g*l - 9, 0 = -5*b + b + 2*l - 2 for b.
2
Suppose 2*i - 3*d - 1 = 2*d, 5 = 3*i - 4*d. Suppose 8*g - i*g - 15 = 0. Suppose -6 + g = -u. Solve -u*v - 9 = 2*r + 2*r, -3 = v + 2*r for v.
-3
Let m be 9/(1 - 8/12). Let x = 31 - m. Solve -5*n + 3*r = x*r + 18, -6 = -2*n + 4*r for n.
-3
Suppose -17*u + 150 = 13*u. Solve -3*g = 4*o + 15, 3*g + 5 = u*o + 2*g for o.
0
Let k(d) = -d**3 + 13*d**2 + 14*d - 5. Let g be k(14). Let t = 0 - g. Solve -x = -2*f + 2 + 6, 2*x = -t*f + 20 for f.
4
Suppose 0 = -4*o - 4, 17*h - 2*o = 13*h + 2. Solve 3*l - w + 5 = h, 10 = 3*w + 2*w for l.
-1
Suppose 3 + 1 = o. Let q be o/22 + (-120)/(-66). Solve -3 = -4*a + 2*f + 7, -q*f + 2 = 2*a for a.
2
Suppose -2*i + l = -11, -3*i + i = -3*l - 21. Suppose 0*p - i = 5*d - 3*p, -d - 5*p + 5 = 0. Solve -5*h - 10 = d, -2*b + h + 6 - 2 = 0 for b.
1
Suppose -48 = -30*y + 42. Solve 0 = 4*o - o - 3*r + y, 1 = r for o.
0
Suppose 5*f + 5*c = 10, -4*f - 2*c = -9 - 1. Solve 0 = f*g + v + 14, -2*g - 5*v = 31 for g.
-3
Let x = -483 + 483. Solve 5*w + x*g = -3*g + 10, 5*g = 2*w + 27 for w.
-1
Let f(q) = -1 + 5*q + 15 + 7 - 13*q - q**2. Let u be f(-10). Solve -3*g - 2*a - 3 = -0*a, -g - 2*a = u for g.
-1
Let k be 19 + -10 - (-3 + 1)*-2. Solve 15 = 3*y, -6*y = -3*q - 4*y + k for q.
5
Let o = 89 - 54. Let q = 35 - o. Suppose q = 3*l - 0*l. Solve l = x - 5*a - 17, -5*x = 4*a - 1 + 3 for x.
2
Let f = -6 + -14. Let h be (330/f)/((-1)/2). Let n = h - 33. Solve -5*x = -n*x + 5*v - 25, -5*x + 3*v + 9 = 0 for x.
3
Suppose 0 = 2*y + 5*v + 10 - 0, -3*y + 3 = 3*v. Solve 0*i + i + 7 = -3*a, 0 = 2*a - y*i - 1 for a.
-2
Suppose 9*v - 43 = -p + 4*v, -2*v - 26 = -2*p. Suppose p*t - 22*t = -16. Solve 4*d - 2*s = -10, -s + t*s + 18 = -5*d for d.
-3
Let w be (15/45)/((0 + -3)/(-27)). Solve w*r - 4*r = -5*h + 12, 0 = -h - r for h.
2
Suppose 181 = 4*j - 9*i + 4*i, -i + 112 = 3*j. Solve 5*h - 2 = -3*s - j, 15 = -3*h for s.
-4
Let j = -71 - -75. Let d be 5 - ((-1)/(-1) + j). Solve -5*i + 2*g + 4 = d, 5*i + 0*g = 5*g - 5 for i.
2
Let j = -327 + 327. Solve 0*f + 2*f - 4*r = -2, r = j for f.
-1
Let s(r) = -r + 42. Let t be s(19). Let c = 23 - t. Solve 3*v - 3*a - 6 = c, -2*v + a - 8 = 3*a for v.
-1
Let i = 496 - 492. Solve i*r + 3*m + 2*m = 4, -3*r - 5*m + 3 = 0 for r.
1
Let c(a) = -a**2 - 8*a + 2. Let k be c(-8). Suppose 2*f = -5*t + 10, -f + 6 = k*t + t. Solve t*p + 0*y - y - 5 = 0, p = -3*y - 15 for p.
0
Let v be 0 + (-1)/((-3)/(-3))*-2. Suppose w = -0*w + v. Solve 5*o + 26 = 2*x, 4*x + 0 = -w*o + 4 for o.
-4
Suppose 2*u - 66 = -54. Solve u*t + 10 = v + 5*t, 3*v = 4*t + 35 for v.
5
Suppose 0 = -3*p - 4*c + 62, -c - 46 + 9 = -3*p. Solve 0 = -4*i - 5*t + 32, 2*i = -4*t + 2*t + p for i.
3
Suppose -4*y + 5*y - 2*v = 36, -5*v = 0. Let n be (0 - 2/(-3))*y. Let d = n - 20. Solve -2*t = -2*o + 2*t + 6, d*t = 5*o - 21 for o.
5
Suppose -4*c = -5 - 75. Suppose 7*y - c = 3*y, z + 2*y = 10. Suppose 2*g + 20 = 28. Solve 4*f + 15 = -5*r, -3*f - 3*r + g*r - 16 = z for f.
-5
Suppose -u + 9 - 3 = 0. Let i = 6 - u. Suppose i = -0*w + 3*w. Solve w = -n - 0*n + 2*g - 9, -5*n - 13 = -2*g for n.
-1
Let a = 87 + -82. Let j = 0 + 1. Let p be (-5)/2*(-6)/j. Solve 5*s + u + 5 = -0, -5*s = a*u - p for s.
-2
Let r = 18 - 26. Let d be (18/r)/(30/(-80)). Solve -s + 13 = -4*w, s + d*w = 4*w + 1 for s.
5
Let l(d) = 2*d**2 - 10*d - 10. Let k be l(7). Solve 2*c = -3*i + 5, 1 = i + 5*c - k for i.
-1
Let a = -38 + 34. Let n be 3/a*12/(-9). Suppose 0 = 4*z + z - 10. Solve w = z*s - n, -2 = s - w - 0*w for s.
3
Let x be (-8)/10*(-135)/18. Solve -j = 5*y + 2, -x*y - 2*j + 3 = -3*y for y.
-1
Suppose -154 + 58 = -5*s + 3*q, -3*q - 54 = -3*s. Suppose 17*f = s*f - 20. Solve -g + 21 = -f*m, 2*m = g - 0*m - 6 for g.
-4
Let f be -4 - -8 - (-1 + -8). Solve 3*x + f = -0*x + q, x + 2*q = 5 for x.
-3
Let b(m) = -m**3 - 26*m**2 - 48*m + 8. Let a(w) = w**3 + 12*w**2 + 4*w + 24. Let r be a(-12). Let l be b(r). Solve -5*o + 11 = y, -5*o + 3*y - 1 = -l for o.
2
Suppose -5*f - 94 + 119 = 0. Let y be 0 + f/(-10)*-8. Solve 2*c - m = 3 + 2, y*c = 3*m + 7 for c.
4
Suppose -4*n + 14 = 8*v - 3*v, -2*v = -4*n. Solve -4*l + 3*c - n = -3, c + 5 = -3*l for l.
-1
Suppose -a = -f, a + 3*f - 14 = 2. Let p(o) = -o**2 + 12*o - 9. Let j be p(11). Let q = 4 + -1. Solve -q*x + s = -a*x + 3, 5*s - 22 = j*x for x.
-1
Let o = 17 + -13. Suppose 0*w = -o*w. Solve -4*v - 20 = 5*j, 4*j + w*j - 20 = 4*v for j.
0
Suppose -5*b - 8 = -u - 23, -5*u - 2*b + 6 = 0. Suppose -49*k = -45*k. Let l be (16/6 - k) + 1/3. Solve u = -l*v - 3, d + 5*v + 10 = -4*d for d.
-1
Let q(x) = x**3 + 33*x**2 + 92*x + 63. Let n be q(-30). Solve 0 = -5*o - n*i + 37, 3*o - 2*i - 19 = -3*i for o.
5
Suppose 0 = h - 6*h + 5. Let f = -30 - -27. Let v be (h/f)/((-8)/288). Solve -3*w - 6 = 2*k, -k = -4*w - v + 4 for k.
0
Suppose -5*z = 4*d + 25, 25 = -6*d + d - 5*z. Solve -y = 4*n - d*n - 15, 3*y + 30 = 3*n for y.
-5
Let z be (-3 + 5)*1/2. Let k = z - 0. Let h(n) = 6*n**3 - 2*n + 1. Let p be h(k). Solve 0 = -3*d - d - p*m - 16, 0 = 4*m + 16 for d.
1
Let d = -1899 + 1912. Solve 0 = -5*k + 2*w - 11, k + 3*w - 7*w = -d for k.
-1
Let u(t) = -t**3 - 15*t**2 + 16*t + 7. Let b be u(-16). Let c be (3 - 4) + b + -4. Solve -5*l + h + 3 + 7 = 0, -c*h = 0 for l.
2
Suppose 0 = 3*i + a - 20, -3*a - a = i - 25. Let m = 6 - 4. Let r = 6 - -5. Solve -r = -m*f - i*n, 2*n - 14 = 3*f + f for f.
-2
Let d = -310 + 315. Solve -32 = -5*v - 3*x, 0 = -d*v + 2*x + 9 + 3 for v.
4
Let t(g) = -g**2 - 12*g - 16. Let s be t(-10). Suppose -3*o + 16 = 3*z - 8*z, -s*o = -3*z - 36. Solve o = -3*l + 3*d - d, d = 3*l + 12 for l.
-4
Let y be 4/(-14) - 92/(-28). Suppose -15 = 2*l - 7*l. Let o be 2*-1 + 0 + 9. Solve r - o = -y*f, -3*f + l*r = -2*r - 37 for f.
4
Let f be (0 - -3) + 4 + -5. Suppose -4*o = 2*g - 4*g, -5*o + 1 = -f*g. Solve -3*a = -b + 7, 3*b - g*b + 5 = -a for a.
-3
Suppose 4*j - 10 + 2 = 0. Let g(r) = -r + 2. Let d be g(j). Solve -o + 5*t + 21 = -d*t, -5*o + 9 = -t for o.
1
Suppose -4*c - 42 - 82 = -4*k, 4*k - c = 136. Solve 0*h = h - 2*n + 10, 5*n = 5*h + k for h.
-4
Suppose i = -5*q + 3*q, -3*q + 4 = 2*i. Solve -2*o - 4*p = 3*o - 31, -p - i = -4*o for o.
3
Let f = 6 + -2. Let o(x) = x + 6. Let j be o(-3). Solve l + 2*l = f*a + 23, 15 = -j*a 