12, l*c - 22 = -0*d - 3*d for c.
2
Let w(l) = l**3 - 9*l**2 + 7*l - 10. Let b be w(8). Let j = b - -29. Solve -4*x = 0, 0 = -5*u - 2*x - j - 4 for u.
-3
Suppose -12*r - 8*r = -80. Solve -4*h + 4 = -2*t - 2, r*h = 4*t for h.
3
Let n be 8/2*(-13)/(-4). Suppose -3*q + n + 14 = 0. Solve -11 = -3*t + 4*l, 26 = 4*t - 3*l + q for t.
5
Let p(r) = -r + 2. Let k(o) = -o + 1. Let l(s) = -2*k(s) + p(s). Let q be l(5). Solve x + q = -5*i, i - x = -2*x - 1 for i.
-1
Let t be (-3)/(-3) - (-1 + 2). Solve 5*f - 20 = t, -2*j + f = -0*f - 2 for j.
3
Let m = 8 - 6. Suppose m*h = 4 + 2. Solve -3*i + 2*i = 2, -3*l - h*i = 15 for l.
-3
Let p be (-1253)/(-49) - (-6)/14. Solve -15 = 5*f + 10, -p = 2*n + 4*f for n.
-3
Suppose 0 = 2*n + 2*a, -2*n = -4*n - 4*a. Solve -p + 5*g = -n*p + 16, 0 = 4*p + 2*g - 24 for p.
4
Suppose 40 - 5 = 7*s. Solve -3*g + 2*b + 15 = -2, -5*g - 5*b - s = 0 for g.
3
Let g(f) = -1 + 1 - f + 4 + 0. Let p be g(-2). Solve -t + p = -2*c, -2*c - 9 = c for t.
0
Let h be -1*-4*1 - 3. Suppose -z = -1 - h. Suppose -1 = -5*i + 3*t, -2*t + 6*t = -2*i + 16. Solve -z*l - 2 = -v - 12, -2*l + i = v for l.
3
Suppose a - 7 = -d, 5*a - 23 = -2*d - 0*d. Solve -a*g - 2*c + 10 = 0, 0 = -4*g + 3*c + 23 - 4 for g.
4
Suppose -5*v = 2*i + 2*i, i + 3*v = -7. Solve 0 = -y - z + 6, 0*z = -i*y + 3*z - 2 for y.
2
Let a(p) = -p**2 + 5*p - 4. Let h(f) = 2*f - 6. Let d be h(5). Let t be a(d). Solve t*l - 5*l = 5*w - 25, 0 = -5*w - 4*l + 24 for w.
4
Suppose 0 = -3*a + 2*i + 4, 0*i + 4 = 5*a - 2*i. Let r be (a + -1)*(0 - 1). Let t be (r - 4)*(-1)/3. Solve t = 3*h + z + 14, 23 = -5*h - 2*z for h.
-3
Suppose 4*b + 4 = -a + 1, 3*b = -9. Solve 9*c + 31 = -3*k + 4*c, -2*k - a = c for k.
-2
Suppose -2*j - 5*o = -11, 22 - 5 = 5*j + 2*o. Solve 4*k + 0 = 3*t - j, k - 3*t + 3 = 0 for k.
0
Suppose 5 = 5*q - 15. Solve -u + 2*c = 9, -7*c + 27 = -q*u - 2*c for u.
-3
Let i be (12/16)/(1/4). Let k(l) = -l + 3*l + 4*l**2 - 2 + l**i + 0*l**2. Let z be k(-3). Solve -5*s + 4*x + 10 = 0, -x + 2*x = 2*s - z for s.
-2
Suppose 0 = 11*w - 7*w - 44. Suppose 2*f + 7 = o, -2*o - 4 = -4*o - f. Solve o*l + 4*n = w, -3*n - 2*n + 16 = 3*l for l.
-3
Let s be (-1)/(-1) - -1 - -2. Solve 4*y + q - 12 = 0, s*y + 2*q = -2*q + 24 for y.
2
Let s(p) = 2*p - 1. Let m(v) = v. Let t(f) = -4*m(f) + 3*s(f). Let y be t(3). Solve 10 = y*r - 5*c, -c - c = r + 4 for r.
0
Suppose 4*o - 4 = -4*h, 0 = o - 3*h + h - 10. Solve m + d = -4, o = -5*m - 0*d - d for m.
0
Let u(w) = w + 9. Let m be u(-7). Solve -5*g = -2*n - 15, -4*n + m*g = g - 15 for n.
5
Let d be 26 + (-4 + 2)*2. Solve 4*f + d = 5*g - 4*g, 2*f = -5*g for g.
2
Let h = -23 - -26. Solve -4*k = i + 5, -8 = 5*k + h*i - 0*i for k.
-1
Let x = 33 - 17. Solve 3*o + k - 2 = -14, -4*o + 4*k - x = 0 for o.
-4
Let n be (-2)/((3/(-9))/1). Suppose 21 = 3*d - 0*d + 4*h, -4*h + n = -2*d. Solve 7 = -d*k + b, -2*k + 0*k - 2 = 2*b for k.
-2
Suppose -24*g + 5 = -19*g. Solve k - 17 = -3*f, 4*k + g = -3*f + 33 for k.
5
Let z be (-16)/(-10) + (-4)/(-10). Let b be ((-21)/(-2))/((-3)/(-6)). Let p = -21 + b. Solve -3*f = 5*y - 40, -f - f + z*y = p for f.
5
Let h(k) = -k + 14. Let w be h(12). Solve g + 4*q + 3 = 0, -4*g - 1 = -w*q - 7 for g.
1
Suppose 3 = f - 5*p, -5*f + 45 = -2*f + 3*p. Solve -f = t - 3*r + 3, -r = 5*t for t.
-1
Let g be 2 + -1 + (-2 - -4). Solve 0*i = -5*p + 5*i, 0 = 5*p + g*i + 32 for p.
-4
Let z = -17 + 20. Solve -2*g + 6 = -o, 3*g = 2*g - z*o + 3 for g.
3
Let k(g) = 3*g**2 - 2*g + 1. Let z be 2/(2 + -5 - -5). Let i be k(z). Solve -4*p + 4 = i*q + 14, -2*p = 4*q + 20 for p.
0
Let c(n) = -n**3 - 7*n**2 + 9*n + 5. Let h be c(-8). Let u be 2 - (-1 + (-10 - h)). Solve 2*v - g = -u, 0*v + 10 = -4*v - 3*g for v.
-4
Suppose -a + 2*f = -1 - 10, 0 = -3*a + 2*f + 25. Suppose -p = -3*p - 2*l + 10, 2*l - a = -p. Let h = 11 - 7. Solve -7 = -p*s - 0*r - 4*r, 2*s - h = -3*r for s.
5
Let z = 3 - 3. Suppose 3*y = -z*y + 6. Solve -2*i + 4*j = -12, -i - j + y = -1 for i.
4
Suppose 5*a - 2*l = 148, 3*a = -4*l + 108 - 14. Suppose 0 + 2 = d. Let f(m) = 3*m - 1. Let q be f(d). Solve q*v = 2*k - 4*k - a, 5*k + 2*v + 33 = 0 for k.
-5
Let c = 57 + -57. Solve w + a + 8 = c, -3*w = 8*a - 4*a + 28 for w.
-4
Suppose 0 = 5*w - 22 + 7. Solve 0 = p + 2*p + 3*f, -5*f = -w*p - 8 for p.
-1
Let i(z) = z**3 - 2*z**2 - 3*z + 4. Let a be i(3). Let n be (9/a)/((-2)/(-8)). Suppose 5*l - n - 26 = 0. Solve -2*x + 5*o - l = 0, -x + 23 = x + 5*o for x.
4
Let i = -30 - -35. Solve -i*q - 9 - 5 = -3*j, -4*j - 3*q = -9 for j.
3
Suppose 4*n + 4*s + 8 = -16, -3*s = 2*n + 17. Let m = 14 + n. Let q = 8 + -4. Solve -4*z = -f + m, 0 = -q*f - 2*z - 2 for f.
1
Let s(r) = 6*r**2 + 8*r - 2*r - 7*r**2 + 8. Let n be s(7). Let t be (-2)/(-5)*(n + 4). Solve -2*a + 16 = -4*f, a + a + t = -5*f for a.
4
Let c(f) = f**3 - 8. Suppose 5*l + 2 + 8 = 0, 3*l + 6 = 4*y. Let a be c(y). Let p be a + 5 - 1*-6. Solve p*z + 15 = -3*t, 0*t + 5*z - 15 = 3*t for t.
-5
Let z = -3 - -7. Suppose -4*g = 1 + 3, z*n = -g + 47. Solve h + n = -4*j, -4*j = -3*j + 4 for h.
4
Let i(f) = -f**3 + 8*f**2 + 11*f - 9. Let b be i(9). Suppose 0 = -2*x + 3 + b. Suppose 3*n = 2*n + x. Solve -2 = 3*t + o, 0 = -5*t - o - 3*o + n for t.
-2
Let i be (-6)/(6/(-5))*1. Solve 0 = -i*y + 3*c + 2*c, 0 = -3*y - 2*c + 5 for y.
1
Let l(k) = -k**2 + 9*k + 5. Let o be l(9). Suppose -5 = o*m - 20. Solve -s = -3*g - 4*s + m, 0 = 5*g + 4*s for g.
-4
Suppose 2 = 2*j - 8. Solve 3*y - j*r = -5, 5*y + 0 + 5 = 5*r for y.
0
Suppose -1 = 7*n - 29. Solve -n*x = r - 13, r - 5*x + 5 = -0 for r.
5
Let n(j) = -j - 4. Let l be n(-6). Let f = 3 + l. Solve g - 3*v = 4*g - 9, f*g = 2*v - 13 for g.
-1
Let l be (0 - -1 - 1) + 13. Let p(u) = u**3 + 5*u**2 + u + 45. Let z be p(-6). Solve z*q + 6 = -3*i + i, -l = i + 4*q for i.
3
Let g(j) = -3*j + 9. Let k be g(3). Suppose 5*m - 2*l = 20, -3*m - 11 = -m + 3*l. Solve 3*b - m*i = 22, -i + 0*i - 5 = k for b.
4
Let k be -6 + 1 - -3 - -6. Solve c = -4*w + 3 - 2, 5*w + k*c = 4 for w.
0
Let o be 0 - (-3 - -3) - 0. Suppose o*a = -3*a + 6. Solve 6 = -a*p - 3*b, 0*b - b = 4 for p.
3
Suppose 8*c = 7*c + 28. Let r(x) = 4*x**2 - 1. Let b be r(-1). Suppose -6*z + b*z + 16 = -f, 0 = -2*z - 2*f. Solve -k + 2*a + 6 = 3*k, 2*k - c = -z*a for k.
4
Let m be (0 + 0)/3 + 3. Solve 24 = -t + m*t + 4*l, 8 = 4*t - 2*l for t.
4
Let y = -7 + 9. Let p(k) = k. Let b be p(5). Suppose y*t = s + 6, -2*t + 3*s + b = 7. Solve 2*m - 3 = -5*x - 6, -x = -t*m + 6 for m.
1
Let o be 29/87*(-30)/(-2). Solve -2*z + 0 = y - 6, -3*y + o*z = 37 for y.
-4
Let c be (-7 - 2)*((-33)/(-9) + -4). Solve -4*r - 27 = -5*p, r + c*r + 21 = 3*p for p.
3
Let x be ((-9)/6)/(3/(-8)). Suppose 0 = 3*n - d - 45, -x*n + 4*d = -49 - 11. Suppose -c - n = -6*c. Solve 5*m + 32 = -4*h, -2*m = c*h - m + 13 for h.
-3
Suppose 3*p - 21 = 3*a, 0 = p - 5*p - 5*a + 1. Solve -p*l + 5*l = 4*s + 12, 3*s = -l - 2 for l.
4
Let p = 7 + 23. Suppose g - 3*y - 4 = 0, -p = -4*g - y - y. Let s = g + -3. Solve -3*r - 3*m - 3 = 0, -2*m + m + 2 = s*r for r.
1
Let p be (-48)/(-20) - (-2)/(-5). Let b be 18/5 + p/5. Solve -b*s + 30 = 2*j, -4*s - j + 22 = -3 for s.
5
Suppose -55 - 15 = -2*a + 4*r, 0 = -2*a + 2*r + 66. Let l be (-10)/3*18/(-15). Solve c + 2*m = 5, 3*c = -2*c + l*m - a for c.
-3
Let q = -17 - -21. Solve -2*c = -r - q*c + 6, -3*r = -5*c + 15 for r.
0
Let k be (0/((-4)/2) + -1)*-40. Solve k = -4*z + 5*j, -4*z + 3*z - j - 1 = 0 for z.
-5
Suppose 0 = -5*z + 3*z + 14. Let m(s) = -s**2 + 7*s + 2. Let u be m(z). Solve -2*q + 4*h - 4 = 0, u*q + 4*h - 16 = -2*q for q.
2
Let p = 2 + -3. Let f be 1 + p + 4 + -2. Let z be 34/8 + f/(-8). Solve 4 = -2*d, 0 = z*b - d + 2*d - 18 for b.
5
Suppose -4*c + 77 = 5*s, 3*s + 4*c = 8*s - 93. Solve 6 + s = -3*k + 2*x, -x - 11 = 3*k for k.
-5
Let v be 3 + -6 + 2 + 5. Solve v*s + 5*h + 5 = 0, 0*s = s + h + 1 for s.
0
Let l be (-3)/(-1) + -10 + 11. Solve s - 4*y - 6 = l, 5*y = 2*s - 11 for s.
-2
Suppose -z = 4*z - 20. Suppose z = 4*i - 0*i. Suppose p = 4*p - 4*m + i, -3*m = -p - 7. Solve -4*c = -p*f - 2, 0*f - 6 = -3*f for c.
3
Let l(u) = -u + 11. Let p be l(7). Solve p*x - 28 = 5*c - 3, -5*c = -3*x + 20 for c.
-1
Let l(o) = -o**2 + o. Let s(q) = q**2 + q. Let w be s(-1). Let z be l(w). Solve -h = 4*h - 4*i + 23, z = 4*i - 8 for h.
-3
Let t be (-195)/20 + (-3)/(-4). Let m = 12 + t. Solve -m = -3*q - 15, 4*h - 4*q - 