 0*x - 4*l - 20, 0 = -4*x - 2*l - 10 for x.
0
Let c be 1/(((-3)/6)/(-1)). Solve c*a + 6 = -3*z - 17, 0 = -5*a + 3*z - 5 for a.
-4
Suppose 0 = -3*s + 6, -3*s = 3*i + 62 - 8. Let t be (-2)/5 + 12/i. Let f be t/((-3)/12 - 0). Solve -2*b = -3*o + 6, -f*b = 4*o - 3*o + 12 for b.
-3
Let n be 18/(-81) + 112/18. Let g be (-561)/68*(-16)/n. Solve m - 10 + 0 = -3*b, 3*b = 5*m + g for m.
-2
Suppose 1 - 6 = -z. Let d = z + -5. Solve 0 = -4*x, -3*j = -d*j - 2*x for j.
0
Let t = -8 + 28. Solve -3*p - 12 = -0*r + 5*r, -3*r - 5*p - t = 0 for r.
0
Let d(p) = p**3 + 7*p**2 - 10*p - 16. Let j be d(-8). Solve -3*b + y + 12 = -j*y, 0 = -3*y - 9 for b.
3
Let s = -18 - -16. Let f be (8/(-4) - s)/1. Solve -5*u + 4*w = -f*u + 11, 0 = 4*w + 4 for u.
-3
Suppose 0 = -0*u - u + 4. Suppose 5*o + 0*o + u*f = 25, 4*o + f - 31 = 0. Suppose o*h = 4*h. Solve h = -b - 5*k - 4, 2*k + 4 = -b + 7*k for b.
-4
Suppose 3*n = 5*s - 9 - 1, 0 = 3*s + n - 6. Suppose -3*v + s = -2*x, x + 4*v = 10 - 0. Solve -x*b - 3 = -h + 2, 3*b = 3*h for b.
-5
Let o(t) = t**2 + 10. Let l be o(-10). Suppose q - 34 = -n, 5*n + l + 10 = 5*q. Suppose 0 = i - 5 - 0. Solve 0 = -k + i*v - 9 + q, 0 = v + 4 for k.
0
Let f = 23 - 21. Solve 5*u + 4*r + 3 = 0, -6*u = -4*u + f*r + 2 for u.
1
Suppose 4*n + 2*u = 4 + 4, 3*n - 5 = -2*u. Let r be (-16)/(-5) - n/15. Let b be 0/(r - (2 - 1)). Solve 5*o + 6 = -4*t, b = -5*t + 8 - 28 for o.
2
Suppose -5*h = 5*h. Solve -3*b - u = -12, h*u - 8 = -2*b - 4*u for b.
4
Let y = -7 + 11. Suppose 2*o = 4*o - 10. Solve -3*r - 13 = -5*a + y, -5*a = o*r + 15 for r.
-4
Let n = 132 - 92. Suppose c - 3*c = -n. Suppose 6*s = s + c. Solve s*y = 20, 0 = -4*t - 2*y - 0*y + 26 for t.
4
Let h(o) = 5*o - 35. Let i be h(8). Solve 15 = i*y + 5, -2*b - 8 = -2*y for b.
-2
Let s(c) = -c - 4. Let q be (-1)/3 - 17/3. Let i be s(q). Let h = 29 + -21. Solve -4*j - 4 = 4*p, h = -i*p - 0*j + j for p.
-3
Suppose 12 - 32 = -4*v, 0 = -5*a - 4*v + 60. Let d be 0 + 0 + 0 + 1. Suppose 5*h - d = 9. Solve c - f = -3*f + a, -h*f = -2*c + 4 for c.
4
Suppose a - 5*a + 12 = 0. Solve a*p - 14 = 2*p - 2*q, 4*p + 2*q - 26 = 0 for p.
4
Let s(l) = -6*l**2 - l + 1. Let y be s(1). Let d = y - -6. Suppose -4*r + 12 = -d*r. Solve r*t + 0*z - 7 = -z, 5*t + 3*z - 17 = 0 for t.
1
Let b(c) = 9*c - 2. Suppose -3*s + 8 = -1. Let a be b(s). Solve 3*n - 13 = u, n - 6*n = -5*u - a for u.
-1
Suppose -6*s = -2*s - 32. Let a = s + -5. Solve -a*m - 4*p + 24 = 0, -p + 4 = -2*m + 9 for m.
4
Let o(s) = s**2 + 2*s - 3. Suppose t + 2*t + 36 = 0. Let k be 1/(-3) - (-68)/t. Let j be o(k). Solve -2*u + j = 3*w - 5*u, -2*u - 20 = -4*w for w.
3
Let d be (2/(-3))/(16/(-360)*3). Solve -w = 4*n + 1, -4*w - w + 20 = -d*n for w.
3
Let w be (-2 + 3)*(-20 + -1). Let i be (-1)/3 - 301/w. Solve -g - x = -5*x + i, 5*g = -5*x + 5 for g.
-2
Suppose -3*k - 12 = o, 0*o = -2*o + 2*k + 8. Let z(t) = t**2 + 2*t - 3. Let d be z(2). Let j = d - o. Solve -j*x + 5*w = 35, 4*x + 3*w - 4 = 3 for x.
-2
Let t(s) = -s**3 + s**2 - s + 1. Let g be t(0). Let u be (2 - 2) + 3 + g. Solve -u*j + 10 = -5*h - 13, 4*h = -2*j - 8 for j.
2
Suppose -2*r = 5*x - 14, 0 = 2*x - 4 - 0. Solve -5*b - 32 = -3*j, j + r = -3*b - 6 for b.
-4
Let d be (-4)/10 + (-36)/10. Let p(a) = -20 - 2*a + 10 + 6. Let z be p(d). Solve -5 = y - 3*c, 4*y + 8 = -z*c + 36 for y.
4
Suppose 0 = 3*m + m - 8. Solve -5*n - 22 = 3*h, -m*h + 3 = h for n.
-5
Let a be 6/8 + 15/(-20). Suppose -5*b - 6 = 5*n + 4, -b + 5*n + 10 = a. Solve b*q - 3*v + 9 = -2*q, 5 = -2*q - v for q.
-3
Let l(g) = g**3 - 7*g**2 - 10*g + 6. Let j be l(8). Let c(a) = -a**3 - 10*a**2 + a + 11. Let w be c(j). Solve 3*i = -5*f + 29, -3*f - 4 = -5*i - w for f.
4
Let y = 8 - 4. Suppose -3*l = -y*l. Solve -15 = -l*c - 5*c, -k - c + 2 = 0 for k.
-1
Suppose 0 = 5*o - 13 - 12. Let b = -20 + 28. Suppose 5*i = i + b. Solve 3*z = 3*m - 6 - 3, 13 = i*m + o*z for m.
4
Let a be (-2 - -1)*0 + (11 - 8). Solve 0 = k - 4*g - a + 4, -k + g = -2 for k.
3
Let u(b) = -b + 9. Let c be u(9). Solve o - 4*n + 1 - 4 = c, 2*o = -3*n - 16 for o.
-5
Let o be (-21)/84 + (-234)/(-8). Let z = o - 29. Solve -3*n = 2*i - z*i + 12, -n - 8 = 2*i for i.
-3
Let v(q) = q**2 - q. Let i be v(2). Suppose 0 = 12*d - 16*d + 20. Solve i*t + 0*r - d*r = -2, 0 = 3*r - 6 for t.
4
Let d = 45 + -24. Solve 0*i + 3*i + 23 = -2*m, -i - 4*m - d = 0 for i.
-5
Let x(f) = -3*f. Let w be x(2). Let o be 2*-1*w/4. Suppose 3 = -a - 4*y, 79 + 6 = 5*a - 5*y. Solve 4*d = -o*h + 2 + 14, -3*h - d + a = 0 for h.
4
Let w(k) = -k - 1. Let l be w(-5). Suppose 0 = l*j - 9*j. Solve 35 = -5*q - 4*a, a + 6 - 1 = j for q.
-3
Suppose 5*t + 9 = 8*t. Solve 5*f = 3*r - 0 + 10, -19 = 4*f + t*r for f.
-1
Let g(z) = 3*z. Let n be g(2). Let u = n - 1. Solve 5*p - 11 = -u*v + 9, 4*v = -3*p + 14 for v.
2
Let m = 141 - 129. Solve -m = -3*c, a - 4*c + 11 + 9 = 0 for a.
-4
Let i = 4 + 1. Let z = -2 + i. Suppose -3*j - j + 14 = 5*m, j - 5 = -2*m. Solve -d = -l + 2 + j, -5*l - 1 = z*d for l.
1
Suppose 24 + 1 = c + 4*a, 2*c - 15 = -a. Suppose b + 1 = -c*y, 2*b - y - 11 = 2*y. Solve s - 3*m = -5, m + 19 - b = -3*s for s.
-5
Let x = 14 - 2. Let q(o) = o**2 - 12*o + 4. Let f be q(x). Solve 5*g + 3*p - 36 = -p, f = -4*g + 5*p for g.
4
Suppose -u = -3 + 4. Let k(d) = 0*d - 4*d**3 - 1 - 4*d + 2*d. Let o be k(u). Solve o*l + 9 = q, -5*q + 2*l + 3 = -2*l for q.
-1
Let n be 2/8 + (-549)/36. Let h be (-14)/21*n/2. Solve 4 = -s + 3*s - 2*y, -4*y = -h*s + 9 for s.
1
Let d(q) = q**2 - 4*q + 9. Let z be d(2). Solve 5*a - 5*f = -5, -5*a + 2*f = -z - 2 for a.
3
Let m(z) = 3*z - 12. Let w be m(9). Let q = 51 - 26. Solve u + 2*i + w + 0 = 0, -5*i - q = 0 for u.
-5
Suppose -5*p = 7*z - 2*z - 50, 3*p = -z + 16. Solve -23 = -4*k + 3*n - 10, -z = 2*k + 3*n for k.
1
Let l = -4 - -9. Let i = -18 - -42. Solve -t - h = 3*h - 20, -l*t + i = h for t.
4
Let t = -4 - -4. Suppose 0*q + 2*q - 18 = -3*i, t = 5*q - i - 79. Solve -2*m = 3*j - 7, -3*m = 5*j + m - q for j.
-1
Let c(g) = -3*g - 13. Let u(n) = 10*n + 40. Let p(i) = -7*c(i) - 2*u(i). Let l be p(-9). Solve 0 = 2*k - 0*k - 2, l*x + 4*k = 0 for x.
-2
Let v be (-4)/4*-2 + 1 + 2. Solve -y = -5*z + 3*z - v, 3*y + 2*z - 7 = 0 for y.
3
Suppose 0 = -5*s + s + 56. Solve -b + 0*l - s = 3*l, 10 = 3*b - 4*l for b.
-2
Let c(b) = -b**2 + 5*b - 2. Let s be c(3). Solve -32 = 4*g - 0*g - 3*t, -4 = 4*g + s*t for g.
-5
Let w(x) = -x**3 - 8*x**2 - 6*x + 4. Let i be w(-7). Let j be (15/(-1))/i + 0. Solve -4*d = 3*o + 7, 3*d + j*o = 2 + 1 for d.
-4
Let q be 22/4*(-4 - -6). Let h = -7 + q. Solve 5*x - 3*n - 12 = 0, 2*x - h*n + 5*n = 7 for x.
3
Let l = -26 + 36. Suppose -6*z + l = -z. Solve 3*v - 7 = r, -z*v - 7 = -3*v - 2*r for v.
3
Let f(d) = -d - 9. Let g be f(-9). Solve -2*v - i - i = 0, 4*v - 3*i = g for v.
0
Let z = -1 - -6. Suppose -z*q - 16 = 2*s + s, -1 = -2*s - q. Solve -s*l - 12 = 0, l - 2*l = 2*m + 4 for m.
0
Suppose -5*b - 5 = 5*r, b - 3*r - 19 = -0*r. Solve 3*t - t - 22 = -b*f, -3*f = -4*t for f.
4
Let u(f) = f**2 + 9*f + 10. Let o be u(-7). Let q(m) = 2*m**2 + 4*m. Let g be q(-3). Let c = g + o. Solve 0*j + c*j + 4*z = 0, 0 = -5*j + 4*z for j.
0
Suppose -5*r = -0*r. Suppose -2*s + 3*o + 39 = 0, 3*s + 3*o = -2*o + 11. Let p = 14 - s. Solve r = 3*g - 5*m - 0 + 7, -g - 3 = -p*m for g.
1
Let g be 3/(1 - 2/(-4)). Suppose -g*f = -5 - 9. Solve 2*z - o = 11, -4*z - o + f = -6 for z.
4
Let i(k) be the first derivative of -k**3/3 + 5*k**2/2 + 5*k + 9. Let r be i(5). Solve -h + r*o - 5 = -5*h, h - 4*o - 17 = 0 for h.
5
Let c be (-10)/(-15)*(9 - 0). Let m be (24/(-9))/((-4)/c). Let q = 0 - -4. Solve -35 = m*h - 5*k, -h = q*h - 2*k + 31 for h.
-5
Let l = 4 - 2. Let d = 0 + l. Solve -d*a + s = 3, -a + 1 - 20 = 3*s for a.
-4
Let q = 3 - -11. Solve -3*t - 2*t - 5 = 3*r, 0 = 2*r - t - q for r.
5
Suppose 11*t = 10*t + 4. Solve 0*x - 3*j - 10 = t*x, 2*x = -j - 4 for x.
-1
Suppose -12 = -2*w - 4*d, -3*d = -4*w + d. Solve 3*s = w*s - 4*p + 17, -s + 2 = -p for s.
5
Let v(q) = 0*q + 3 - q**2 - 1 + 4*q. Let g be v(4). Solve 0 = 4*o + l - 15 + g, -2*o + 5*l + 1 = 0 for o.
3
Let u(k) = 6*k + 5 + 0*k**2 + 0*k**2 - k**2. Let x be u(6). Suppose 4*r = r + 12. Solve w - x = -4*l + 2, -3*w - r*l - 3 = 0 for w.
-5
Let v be (-12)/(-18)*66/4. Solve -4*z - 2*d + 14 = 0, 2*z + 0*d = 3*d + v for z.
4
Let l(y) = -y**3 - 3*y**2 - 4. Let u be l(-3). Let x be