e 5*z = 10, 59 = 4*f - 3*z + x. Solve 2*t + 5*u - 24 = 0, -t - 2*u - u = -f for t.
2
Let c(s) = s**3 + 5*s**2 - 6*s + 6. Let i be c(-6). Suppose 4*w = -i + 18. Solve -2*z + 5*y - 22 = 0, w*y + 3 = 4*z + 19 for z.
-1
Suppose -6 = -6*b - 24. Let y(x) = -4*x - 2. Let i be y(b). Solve -5*r - 7*z + 21 = -4*z, i = 2*r + 2*z for r.
3
Let c = 1 - 0. Let l(t) = -21*t**3 - t**2 - 2*t - 2. Let x be l(-1). Solve 2*n + 4*p - x = 0, -2*n + 2*p + 1 = -c for n.
4
Suppose 4*z + 3*d - 2*d = 3, d = -5. Suppose 5*i = -z*v + 29, -2 + 29 = v + 5*i. Suppose 0 = v*u - 3*u + 2. Solve 4 = -u*s, 4 = -3*x - 4*s + 5*s for x.
-2
Suppose -80 = -4*n - 5*l, -5*n + 48 = -l - 23. Suppose 2*p + 9 + 1 = 0, 0 = 4*r + p - 27. Suppose 0*h = 4*h - r. Solve h*k + 5*v - 1 = -0, 5*k = 5*v - n for k.
-2
Let j = 28 - 28. Solve b - s - 2 = 0, j*s - 5*s - 2 = -b for b.
2
Suppose -5*v + v + 2*c + 66 = 0, v - 9 = 2*c. Suppose -v = -f - 7. Suppose f = a + 2*a. Solve -a*r = -16, -3*j - 25 = -3*r + 2 for j.
-5
Let y(p) = 22*p. Let o be y(1). Suppose -2*f + o = f + 2*w, -2*f - 2*w = -18. Solve 0 = -5*x + f*u - 18, 0 = 4*x + 5*u - 2 for x.
-2
Let b = -11 - -13. Suppose -b = -3*x - 5, 0 = -4*f + 3*x + 19. Let z = -1 + 3. Solve -o + f*y = -4, z*o + 15 - 3 = -2*y for o.
-4
Let c = 21 - 9. Solve n = 5*n + d + c, -3 = n + 3*d for n.
-3
Suppose -7*t + 3*t - 5*l + 45 = 0, -2*t - 3*l = -25. Solve t*z = -3*h - 20, -h = -2*h - z - 6 for h.
-5
Suppose 2*z - 4*p = -z + 17, 0 = 4*z + 4*p - 4. Solve 3*j = 3*m - z, 4*m + 2*j - 3 = 5*m for m.
5
Let u = -11 + 10. Let f be u/(-1)*1 - -2. Suppose 0 = -7*x + 2*x + 80. Solve -5*g + 19 + 10 = f*b, 4*g = x for b.
3
Suppose 0 = 2*l + 8, 2*f = -5*l - 4 - 8. Suppose -2*t + t = 0. Let i = t + f. Solve -i*p - 32 = 3*g, 2*g + 20 - 7 = -p for p.
-5
Let s = 12 - 16. Let h be (-81)/(-15) - s/(-10). Solve -5*l = -3*r - h, l - 9 - 5 = -2*r for r.
5
Let x(q) = q**3 - 7*q**2 + 8*q - 9. Let g be x(6). Solve -4*a + 11 = 3*b, g*a + 23 = 2*b + 2*b for b.
5
Suppose 2*n - 13*n + 22 = 0. Solve 0 = 2*w - 5*i - 2 - 23, n*i = -6 for w.
5
Let h(g) = g**2 - 3*g + 3. Let o be h(3). Suppose t + o = 5. Suppose -5*u + t + 8 = 0. Solve y = -l, 21 = -4*y - y + u*l for y.
-3
Suppose -1 = -4*f - 2*m + 7, -2 = -f - 3*m. Suppose -8 = -f*g + 2. Solve -4*b + 8 = -g*a - 10, 0 = -3*b - 3*a for b.
2
Let p be -1 - 1*4/(-1). Solve -p*t + 4*q - 31 = 0, 3*t + 17 = -2*t - 2*q for t.
-5
Let c be 1*7 + (-4)/(-1 + -1). Solve -4*f - f - 4*b = -c, 2*f - 22 = 3*b for f.
5
Let h = 2 - 3. Suppose 3*w - 3*s - 10 = -w, w + 3*s = 10. Let q = w - h. Solve 0 = 4*p - 5*k + 4, -4*k + 2 = -q*p - 3 for p.
-1
Let v(l) = -2*l - 3. Let j be v(-5). Let m = 0 - -15. Let c be (6/(-4))/(m/(-20)). Solve -25 = 5*s - o, -s = 3*o - c + j for s.
-5
Suppose 0 = t - 3*v + 2, -t - 4*v + 36 = t. Let p be (18/15)/(2/t). Let m(f) = 11*f - 9. Let d be m(1). Solve z - 2*x = 6, p = 4*z - 4*x - d for z.
-2
Suppose 4 = n - 0. Let s = n - 2. Let w = -14 - -21. Solve 5*b = -s*h - w, 7*h - 2*h + 2 = 3*b for b.
-1
Let i(s) = -2*s**3 + s - 1. Let u be (0 - -2)*-1 + 0. Let o be i(u). Solve -2*p = -3*g - 25, 0 = g + 4*p - 2 - o for g.
-5
Suppose 11*p = 6*p + 365. Let t = p - 52. Solve -5*v + 18 = -2*h, -3*h + t = 5*v - 2 for h.
1
Let z(l) = l + 16. Let d be z(-9). Let s = d - 4. Solve s = -4*q - 1, 4*r = 2*q - 2 for r.
-1
Let d(v) = -v - 9. Let z be 2/(-8) + (-68)/(-16). Suppose -27 = z*w + 9. Let p be d(w). Solve 2*h - 3*r - 1 = p, 3*h + 2*r = 5*r + 6 for h.
5
Let a = 1 + 3. Suppose -a*s + 10 = s + 3*r, 0 = s - 3*r - 20. Solve l - 2*g = -s - 3, -4*l + g = -3 for l.
2
Suppose 0 = -c + 3*m + 17, -5*m - 25 = -c - 0*c. Let r = c - 2. Let g be 1 - -1*r/(-3). Solve 4*a - 11 = -g*a + n, 2*a = 3*n - 7 for a.
4
Suppose 2*z - 6 + 2 = 0. Let u(x) = -x + 16. Let o be u(0). Let g = 20 - o. Solve -g = -2*r + 4, -8 = k - z*r for k.
0
Let i = -9 - 4. Let o = 19 + i. Solve x - o = -4*h, x = -h + 3*x - 3 for h.
1
Let z be (-35)/5 + 3 - -1*32. Solve 0 = -4*y - j - 20, 3*j + z = 2*y - 6*y for y.
-4
Let y = 0 - 5. Let l be (0 - -1)/(6 + y). Solve l = z - r - 0*r, -5*r - 10 = 0 for z.
-1
Suppose 5*n = 3*n + 6. Suppose 5 = 2*i - 5*f, 5*i - n = f + 2*f. Solve 3*u - z + 1 = i, 4 = -2*u + 2*z - 2 for u.
1
Suppose 0*o + 2*o = -2*h + 10, 0 = 5*o + h - 17. Solve -q - 4 = 0, -7*q = 4*d - o*q + 16 for d.
0
Suppose 7*q = 2*q + 100. Solve 2*f - d + q = -3*f, 2*f - 4*d = -26 for f.
-3
Let v(l) = -l**2 + 6*l - 3. Let n be 2*(18/(-4))/(-3). Let p be (3/3 - 0) + n. Let z be v(p). Solve -4*x + 20 = -4*j, -5*x + 4*j = -4*x - z for x.
5
Suppose -3*q = -4*q - 16. Let a be (1*-1)/((-4)/q). Let r(y) = y**2 + 4*y + 5. Let s be r(a). Solve -2*i - 15 = 5*j, 0 = i + 4*j - s*j - 3 for i.
0
Let a = -5 - -8. Suppose 0 - 12 = -a*c. Solve 10 = -c*o + 2*n, -3*n - 1 = 2 for o.
-3
Suppose 2 = -3*a + 17. Let d(z) = -2 + 5 - 2 + 5*z + z**2. Let q be d(-7). Solve 2*p - 13 = 4*p + a*y, 4*p - y + q = 0 for p.
-4
Let v = 96 + -91. Solve -25 = 5*j, -v*o - 30 = 3*j - 10 for o.
-1
Let y(n) = n**2 - 6. Let k be y(3). Suppose -7 + 1 = 3*a. Let v(c) = -3*c - 1. Let l be v(a). Solve 5 = -5*t + k*u, 3*u - 25 = -l*t - 0*u for t.
2
Let v(r) = -2*r**2 - 2*r - 1. Let t(n) = 3*n**2 + 2*n + 2. Let f(d) = 3*t(d) + 4*v(d). Let p be f(2). Solve 10 = q - 2*k, 5*k - p*k = -15 for q.
0
Suppose -5*g + 35 = 4*n, 4*n - 2*n = -2*g + 16. Solve -h + 0*h - 5*y + 4 = 0, n*h - 20 = 3*y for h.
4
Let s be 8 - 10 - 1*3. Let m = 10 + s. Solve -3*r + 20 = m*k, -3*k + k + 8 = 3*r for k.
4
Suppose -12 = -7*p + 9. Solve -j + p*s = 4*s - 3, -2*s = -5*j + 15 for j.
3
Let x be 2/(-2) - (0 - 3). Solve 0 = -5*y - v + 30, 2*y - 3*v + x = -3 for y.
5
Let s be (-40)/(-6)*(-6)/(-4). Let l = s - 6. Solve -l*y - j = j - 10, 6 = 3*y + 3*j for y.
3
Let h(g) = 11*g - 1. Suppose -2*p - 2 = -4*p. Let a be h(p). Solve 2*b = -7*f + 3*f + 16, 0 = -f - 2*b + a for f.
2
Let m(r) = -r**3 + 5*r**2 + 2. Suppose 6 + 9 = 3*p. Let b be m(p). Solve -b*x + 2*u - 6 = 0, 7*u = -4*x + 3*u + 12 for x.
0
Suppose -9*t = -37 - 8. Solve -t*c - 20 = 0, -m - 2*c + 2 = -3*m for m.
-5
Suppose 5*t - 15 = -5*g, t - 3*g = -1 - 8. Suppose t = -5*s + 7 + 8. Solve -n + 3*v = s*n - 19, 0 = -n - v + 3 for n.
4
Let d be (-4)/(-14) - 60/14. Let a = 0 - d. Let x(f) = f. Let h be x(a). Solve h*j - 4 = -2*r + 8, 0 = -2*j - 3*r + 6 for j.
3
Let z(r) = -17*r**3 + r**2 - 2. Let t be z(-1). Solve 5*k = -2*u + 33, -k + t = 5*u - 9 for u.
4
Let m = 0 + 2. Suppose -1 - m = -z, -z + 1 = -2*t. Solve 2*n - 2 = -2*u, -5*u = 3*n + n - t for n.
4
Suppose 0 = 9*o - 4*o + 160. Let x = 51 + o. Solve 3*n + 4*b = 2*n - x, -n - 5*b - 23 = 0 for n.
-3
Let c = -5 - -7. Solve -3*o + 0 = -2*b - 2, -c*o - 1 = b for o.
0
Let b(q) = -q - 1. Let t be b(-3). Suppose p - 2*m + 1 = t*m, 0 = -4*m + 4. Solve -21 = -p*r - r + 3*h, 5*h = -15 for r.
3
Let l be 1 - -1 - (-1 + 0). Solve -14 + 5 = 3*v + l*r, -2*r - 7 = v for v.
1
Suppose 3*p - 20 = -2*p. Suppose 0 = y + p*r + 9, -r + 1 = y - 5. Solve 4*x + 12 = -3*j, -y = 3*j - 2*x + 1 for j.
-4
Let n(g) = g**2 + 5*g - 3. Suppose 5*m + 25 = -0*m. Let t be n(m). Let h = t - -6. Solve 7 + 13 = -5*z, -3 = 5*i - h*z for i.
-3
Let n = 8 - 4. Suppose g + g = n. Suppose -3*k - a + 5 + 14 = 0, -9 = -g*k + 3*a. Solve -k = -2*r - 4*w, -3*r + r - 5*w = -7 for r.
1
Suppose -2*f = -14 - 10. Suppose -o + 4*o = f. Solve 2 - 18 = 4*x, -o*q + 3*x = 0 for q.
-3
Let n be 4/(-6)*(52/(-8) + 2). Solve u + n*i = 3 - 1, 4*i = u - 9 for u.
5
Suppose 0 = -6*b + 69 + 81. Solve 2*o = -3*o + 20, 3*f - 4*o + b = 0 for f.
-3
Let z(i) = -i**3 + 4*i**2 - 2. Let k be z(3). Let n = -9 + 23. Solve -2*x + k*x = 2*j + 11, -5*j - n = x for x.
1
Let l be (-1 - 1)/((-2)/3). Suppose 3*i = -6 + l. Let u = i - -3. Solve 2 = -2*c + 12, -u*p - 22 = -4*c for p.
-1
Let r(t) = 3*t**2 - t + 1. Let a be r(1). Solve 4*b = -2*i - 18, -i = -a*b - 2*i - 14 for b.
-5
Suppose -3*z = 4*c - 15, -5*c - 2*z + 7 = -3. Suppose c = -2*g + 4 + 12. Solve y + 14 = 2*n - 3*y, 0 = 4*n - 4*y - g for n.
-3
Let m be 1 + (5 + -2 - 0). Suppose 1 = 2*z - 3*h - 4, m*h = 5*z - 16. Solve -u - z*c + 19 = -2*u, 5*u + 5*c = 30 for u.
1
Let m be (-25)/200 - (-82)/16. Solve -5*p - x - 24 = -3*x, 0 = 2*p + m*x - 2 for p.
-4
Suppose -3*s + 2*s = 2. Let q be (1 - 4/s) + -3. Solve 0 = -4*i - h + 7, q = -2*i + 4*h - 5*h + 1 for i.
3
Let l(o) = 36*o + 1 - 37*o + 1. Let h be l(2