-3 = f*s - 2*l + 4, 8 = 2*s + 5*l for s.
-1
Suppose i - 5*i = 2*a + 8, -2*a = -4. Let b be (-3*1 - -2)*i. Let m be (-4)/(1*-2) - 2. Solve -b*k - 15 = -v, m = 4*k + 2*v + v + 20 for k.
-5
Let u = 23 + -21. Solve 1 = -c + m + m, u*c + 5*m = 25 for c.
5
Let s(a) = a**2 - 2*a - 4. Let h = 14 - 10. Let r be s(h). Solve -p - 3 = r*g - 6, p = 3 for g.
0
Suppose p + 0 - 3 = 0. Solve -5*v = 5*o - 10, -p*v - o + 6 = -6 for v.
5
Let b(j) = 3*j**2 + 2*j - 3. Let y be b(-2). Solve 2*v + a = -7, -a = 2*v - v + y for v.
-2
Suppose 2*b = 3*o - 1, -5*b - 8 + 43 = 5*o. Suppose b*l + 0*l = 16. Suppose 0 = l*k - 3 - 17. Solve 0*z = -4*u - z - 18, -k*u - 23 = z for u.
-5
Suppose -5 = -7*x + 2*x. Suppose 19 = -f - 4*k, 0 = 3*f - 3*k - 18. Let v be x*(f + (-1 - -1)). Solve -5*p = -a - v, -p + a + 4 = -3*a for p.
0
Let k be 63/(-105) + (-46)/(-10). Solve 4 = k*y + 2*j + 18, 0 = 3*j + 3 for y.
-3
Let c be 2 + (0 - (2 + -5)). Solve 0*b - 5*b - 35 = 5*f, -2*f = -c*b for f.
-5
Let m(v) = -2*v - 19. Let z be m(-15). Solve 0 = -4*h - o - z, h + o - 6 = -o for h.
-4
Let t(c) = 4 - 2*c**2 - 25*c**3 - c - 2*c + 0 + 26*c**3. Let u be t(3). Solve 5*p - 31 = -m - 8, -3*m = -u*p + 7 for p.
4
Let k(f) = -f**2 - 9*f + 2. Let d(w) = 2*w - 13. Let i be d(9). Let s = i - 9. Let z be k(s). Solve 5*c + b = -b + z, -2*c - 3*b = -11 for c.
4
Let h be 2/(-15) + 423/135. Solve 2*q = -u + 12, -3*u + 7*q - h*q - 4 = 0 for u.
4
Let p be 4/3*3/2. Let r(m) = m**3 + 4. Let c be r(0). Solve -u - p*v = 3 - 4, -c*v = 0 for u.
1
Let t be 3/(-3) - (-3 + -1). Let b(a) = 2*a**2 - 6*a + 2. Let m be b(t). Solve 5*p + 30 = 5*c, 4*p + 3*c = m*p - 2 for p.
-4
Suppose 2*s + 2*l = 6*l + 12, 4*s = 4*l + 24. Solve -3*y - 4*n = -6*y - s, -n - 7 = -5*y for y.
2
Let t(o) = -o**2 - 8*o + 3. Let p be t(-8). Solve -5*r = 4*v - 25, -p*r + 4*v - 11 - 6 = 0 for r.
1
Let m(n) = -n**2 - 5*n + 7. Let y be m(-6). Solve -14 = 2*a - 4*f, y = -0*f + f for a.
-5
Let q = 56 - 36. Suppose -2*t + 10 = 3*i, 2*t + 2*t - q = 5*i. Solve -2*l - 2*o - 6 = i, -2*o + 24 = -5*l + 2*o for l.
-4
Let k = 82 + -79. Solve -3 = 3*l - k*b, 4*l + b + 7 = -2 for l.
-2
Suppose 0 = -5*y + y. Suppose -5*q + 5 = -y. Let g be 0/(q + 0/(-2)). Solve -4*r + 4*s - 3 = -19, g = -2*s - 4 for r.
2
Suppose -5 - 10 = -5*v. Let o = -35 - -19. Let m be (9 - 10)*(1 + o). Solve -3*z - h = -m, -4*h = -3*z + h - v for z.
4
Suppose -8*y + 25 = -7. Solve -20 = -y*t, t + t - 18 = -2*o for o.
4
Let u = 91 - 84. Solve r = -2*a - u, 0*a + r - 5 = 2*a for a.
-3
Let h be 2/(-3) - (-11)/3. Let j(p) = -1 + 4*p + 2*p - 5*p + p**2. Let z be j(-3). Solve -l - 6 = 2*n, 0 = n + z*l - 12 - h for n.
-5
Let d(l) = l**3 + 12*l**2 + 12*l + 15. Let h be d(-11). Solve -4*m + 2 = 2*n, -n - 2*n = -h*m - 23 for m.
-2
Let u(o) = -2*o**2 + 1 + 1 - 4*o**3 - 1 + 0. Let f be u(-1). Solve -3*t - t + 8 = -2*i, -f*i = -5*t + 12 for t.
0
Let t(h) = -h**2 + 27*h - 16. Let m be t(26). Solve -m = 2*r + 3*r, -17 = -5*s + r for s.
3
Let l(t) = -t**3 - 7*t**2 + 3. Suppose -x + 4*x = -5*u - 26, 2*x = -4*u - 22. Let h be l(u). Solve -o - 5*a - 5 = 0, -h*o - o + 4 = -4*a for o.
0
Let x be (-16)/(-9) - 4/72*-4. Solve 7*l = x*l + 4*w + 19, -4*w + 11 = 5*l for l.
3
Let r be 32/14 + (-2)/7. Let o = -2 + 4. Suppose 0 = 2*u - 12 + o. Solve -4*h = -5*i + 54 - 9, -u*h - 15 = r*i for i.
5
Suppose -p + 15 = 2*c + 3*c, -10 = -5*c. Let u = -38 - -53. Solve o + 4*o + 13 = -2*l, -u = p*o for l.
1
Suppose -z + 25 = j, -5*z = j + 2*j - 85. Suppose -2*c - 2*f - f = -28, 0 = c + 3*f - j. Solve 2*t + 5 = 5*n - 2, -t = -4*n + c for n.
3
Let q(w) = -w**2 + 9*w - 4. Let t(m) = m + 2. Let u be t(6). Let j be q(u). Let g = -3 + 5. Solve 2*r - s + j = 0, -4*s - 7 = -g*r + 1 for r.
-4
Let v(h) = h**3 - 6 - 3*h**2 + 7 + 6 - 8*h. Let y be v(5). Suppose 4*s - 3 = -f, 0 = -0*f + 2*f - 5*s - 6. Solve 9*o + 17 = 3*z + 4*o, y = 5*z + f*o for z.
4
Let f(r) = -r**3 + 7*r**2 - 6*r + 4. Let d be f(6). Suppose 5*j - 20 - 80 = 0. Solve -4*c + j = -i, 0 = -2*c - d*i + 5*i + 10 for c.
5
Let c(l) = l**2 - 3*l + 4. Let o be c(0). Solve 2*p - 2*k = -8, 2*p - o = 4*k - 10 for p.
-5
Let i(r) = -16*r**3 - r**2 + r + 2. Let k be i(-1). Solve 0 = -c + 3, 4*c = -m + k for m.
4
Let d = -18 + 22. Let x be -1*3 - (-3 - d). Solve -x*s = -0*h + 2*h, -3*s = 2*h for h.
0
Let h = 18 - 16. Solve 16 = -q - q - h*x, -4 = -q + 3*x for q.
-5
Suppose 3*k - 26 - 13 = 0. Solve 4*h + 4*s = -15 - k, 0 = 4*h - 3*s for h.
-3
Suppose 2 = -0*b + b. Let k = 7 - 11. Let h be (-13)/(-4) + (-3)/k. Solve 0 = z + b*f, h*f = -3*z - z for z.
0
Let g(c) = -2*c**2 + 2*c + 1. Let u be g(-1). Let p be (-2 + 2 - u) + -1. Solve -1 = f + a, 8 = -3*f - 0*a + p*a for f.
-2
Suppose 2*f - 3*o + 21 = 6*f, 15 = 4*f + o. Let s be -1 + 4 + (-4 - -1). Suppose 4*y - 48 = -s*y. Solve -2*k = -3*k + 5*v + f, 4*v - y = -4*k for k.
3
Suppose 7*j - 15 = 2*j. Let k(b) = b - 4. Let s be k(6). Let i be -1*j/((-2)/s). Solve l + 8 = 4*l + n, -i*n = -4*l + 2 for l.
2
Let u(p) be the first derivative of -5*p**2 - 2*p + 4. Let r be u(-1). Solve y + 2*m = 0, -5*y - r - 20 = -4*m for y.
-4
Let j(o) = -2*o - 11. Let s be j(-8). Suppose 1 = -v + s. Let a = v - 1. Solve g - a = 5*y, 5*y - 3 = 3*g + g for y.
-1
Suppose 3*s = 2*v - 20, -2*s + 12 = -2*v - 7*s. Suppose -4*p = -37 - 3. Suppose h = -v + p. Solve 3*l - 12 = 0, -2*o + 2*l - h = -4 for o.
3
Suppose -3*p - 4 = 5. Let a = 1 - p. Solve -d = -0*s - 5*s + a, 0 = -5*s for d.
-4
Suppose 23 = -q + 5*k, -3*k + 7 = -2*q - 2*q. Suppose 3 = -3*w, 27 = -4*j + 4*w + 67. Suppose -2*o + 6*o = 104. Solve o = 4*f - 3*l + 5, l = q*f - j for f.
3
Suppose 18 = 3*z + 6. Suppose z*d - 7 = -3. Solve 2*s = -w - 2 - 3, -d = w for s.
-2
Let n = 121 + -118. Solve -2*r + 29 = 5*f, -16 = 3*r - 5*f + n for r.
2
Let q = 25 - 19. Solve 2*h - 2*k - q = 0, -5*k + 1 = 2*h + 9 for h.
1
Suppose -5*r - 4*c + 8 = 0, -2 = r - 0*c + 2*c. Let g(a) = -a + 21 - 2 + r + a**2. Let h be g(0). Solve 9 = 5*o - 1, 5*f + o + h = 0 for f.
-5
Suppose 4*r + 3*j - 11 = 0, -5*j = -0*j - 5. Suppose 5*n + t - 15 = 0, -4 + 37 = r*n - 5*t. Solve n*g + 0*g + 2*i - 18 = 0, 3*i = 9 for g.
3
Let a be ((-3)/(-2))/((-24)/(-64)). Solve -2*h - 5*y - a = 0, 6*h = 4*h - 3*y for h.
3
Let z(x) = -x**3 + x**2 + x - 1. Let h be z(1). Suppose h = p + p - 4. Suppose -26 + 6 = -p*m. Solve 0 = -3*w + 4*l - 9, 0 = 2*w - 3*w - 3*l + m for w.
1
Suppose -3*r = 5*w - 3, -2*r + 3*w + 15 = 2*w. Solve d + 5 = -4*a, -2*a - 4 = -4*d + r*d for a.
-1
Suppose 3*w - 51 - 3 = 0. Solve u = -y + 2*y - 2, -5*y = 2*u + w for y.
-2
Let f be 33/(-55) - 4/10. Let a be 2 - (1 - f) - -3. Solve -3*p + 13 = -2*u, -3*u - 19 = -a*p + 2*u for p.
3
Let f be 0 - 1 - (-11 + 10). Solve -3*v - 4*x = v, f = -2*v - 5*x - 15 for v.
5
Suppose -z = z - 8. Suppose -d + 15 = z*d. Solve 0 = -d*m - 2*k, -4*m = -3*m - 4*k - 14 for m.
2
Let g be ((-3)/9)/(1/(-9)). Let y(x) = -x**3 - 7*x**2 - x - 5. Let t be y(-7). Solve g*s + t*n + 12 - 2 = 0, -3*s + 2*n = -10 for s.
0
Let m(l) = -2*l + 4. Let f be m(-10). Suppose 3*j = -3 + f. Solve -3*o + 4*g = 25, 2*o - g + j = -3 for o.
-3
Suppose -20*k + 24*k = 32. Solve h - 3*h = -2*b - 12, 0 = -h + 2*b + k for h.
4
Suppose 4*r + 32 = -3*v, -2*v + 7 = -3*r - 0*r. Let f be (12/10)/(v/(-10)). Suppose f*y - 10 = 26. Solve -4*w + y = -4*n, 4*n + 13 = -3*w - 6 for n.
-4
Let s be (7/(-4) - -1)/(8/(-64)). Solve -5*v + 3*f = 37, -v - v = 4*f - s for v.
-5
Let m(z) = z**3 + z**2 + 4*z. Let q be m(-3). Let h = q - -46. Solve t + h = 4*a + 5*t, 0 = -2*a + t - 1 for a.
1
Let x(v) = v**2 + 10*v + 2. Let r be x(-10). Solve 5*n + 4*a - 10 = -r, -4*a + 8 = -2*n for n.
0
Let r = 7 - 4. Solve 4*u - r*d - 11 = 4, 5*d - 1 = -2*u for u.
3
Suppose 3*z - 7 = n + 23, -z + n + 10 = 0. Solve -5*p + 2*s + z = 0, -p + 12 = -5*s - 13 for p.
0
Let i = 29 - 21. Solve i = s - 2*s - 3*j, 4*s = -4*j - 24 for s.
-5
Suppose -3*w + 10*w = 35. Solve -4*y - 11 = w*q, q = -y - y - 7 for y.
-4
Suppose -b + 3*b - 8 = 0. Suppose -b = -v - 2. Solve v*a - 10 = -4*f, -4*a + a - 9 = -2*f for f.
3
Let x be (6/4)/(3/2). Let i = 2 + x. Solve 0 = o - 3, 2 = 5*z + i*o - 2 for z.
-1
Let r(u) = 6 + 1 - 6*u + 15*u + 4*u. Let s be r(5). Let b be 4/(-10) - s/(-30). Solve -4*w + b = -o, w + 2 = 3*o - 3 for w.
1
Let b be (-4)/((-24)/15)*-2. Let p be (-5)/(b/(-4))*-1. Let k(o) = o + 2. Let t be k(6). So