b + 5, b - v = -1 for b.
-2
Let s = -96 + 100. Solve 9 = w + s*u, 8 = w + 2*u + 3 for w.
1
Let k(v) = -v**2 + 4*v + 4. Let i be k(4). Suppose i*o + 4 = 8. Solve 4*x + 3*l + 2 + o = 0, x - l = -6 for x.
-3
Suppose 2*f - 10 = -2. Suppose 16 + 4 = f*k. Solve l + 0*l - 3*y = -k, 10 = -2*l - 2*y for l.
-5
Let j(y) = -4 - 4*y**2 - 2*y**2 + 5*y**2 - 13*y. Let q be j(-12). Solve u + q = 5*u + 2*r, 0 = 4*u - 2*r - 24 for u.
4
Suppose -3*v + 6 = -3*n, 0*n = v - 2*n - 1. Suppose v*q + 6 = 21. Solve q*s = -3*l - 15, 3*l + 3*s + 5 + 10 = 0 for l.
-5
Suppose 2*g = 8 + 18. Let s = g - 11. Solve 0 = -3*n - i + 1, -4*n + 3*i + s = -8 for n.
1
Let u(i) = i + 2. Let n be u(0). Suppose -n*x + 4 = -6. Solve 1 - 31 = x*z - 5*o, -4*z - o - 9 = 0 for z.
-3
Let m = -5 - -10. Let c be 3 + -1 + -2 + 2. Suppose 0 = -s - c*s. Solve 0 = -l - m, -a = -l - s*l for a.
-5
Let t = -6 + 11. Let l = 10 - 7. Solve -3*v + l*s + t = v, -3*v = -s for v.
-1
Let o be (-3 + 2)*(2 + -7). Suppose -3 + 1 = -2*c, -o*c = i - 15. Suppose 3*w - 3*f = 6, 4*w - 3*f = 2 + 6. Solve q + i = -q, q = -w*p - 3 for p.
1
Suppose -4 = -4*v + 4. Suppose 0 = -j + 4. Solve -j*a + 4*x = v*x + 22, 3*x = 5*a + 30 for a.
-3
Suppose -5*l + 4*b + 58 = -2*l, b = 3*l - 46. Solve 3*n = 2*w - l, -4*w + w - 5 = 2*n for n.
-4
Let k be (-9 - -8)*(-4)/2. Suppose 4*c = 5*y - 78, -3*c + k = y - 25. Solve 4*x = -3*i + y, i = 2*x + x - 7 for i.
2
Let x = -2 - 8. Let u = -7 - x. Suppose 4*r = 3*w + 2, 6*r - 5*w + 4 = 3*r. Solve 4*g - 15 = u*j, -r*j + g + 4 = 14 for j.
-5
Suppose 2*q + 2 = m, 6*m + 2*q = 4*m + 4. Solve 2*r - 2*t = 0, -m*t - 24 + 4 = 2*r for r.
-5
Let u = 52 + -49. Solve -3*l + 6*l = 4*y + 10, -u*y - 22 = 5*l for y.
-4
Let g(l) = -l**3 - 5*l**2 + 15*l + 7. Let d be g(-7). Solve d = 4*h - t - 0 - 15, 4*h - 4*t - 24 = 0 for h.
3
Let u = 31 + -21. Let p = u - 2. Let y(s) = -s + 5. Let t be y(5). Solve t = -g - 4*g + w + 8, w = -3*g + p for g.
2
Let u be (-2 - (0 + -1))*6. Let i be (-10)/(-4) - (-3)/u. Suppose 5*q - 3 = -i*z - 14, -2*z + 3*q + 13 = 0. Solve j - 2*j - z*y = 1, -4*y - 5 = j for j.
3
Let q = 5 + -3. Let u be 0 - (1 - 0) - -3. Suppose k = -4*o - 2 + 18, -7 = -5*o + u*k. Solve 18 = 3*f - o*d, 2*f - 20 = -q*f + 3*d for f.
2
Let c(b) = -b**2 - 2*b - 1. Let x be c(-2). Let u = 3 + x. Solve m + 5 = 5*p + 5*m, -4*p + u*m + 30 = 0 for p.
5
Suppose -3*w + 12 = 3*w. Solve 3*j = 5*n + 11, -w*j + 23 = -5*n + 9 for j.
-3
Suppose 6*j - 2*j + 15 = 5*k, 9 = 3*k + j. Suppose -7*d + 18 = -2*d - 4*n, k*d = n + 8. Suppose h - 2 = d. Solve -4*c - 2 = h*g + 2, 5*g + 1 = -4*c for g.
3
Let s = -4 - -7. Let p be ((-12)/10)/((-1)/5). Suppose -5 = -p*b + 5*b. Solve s*f - n + 6*n = -4, 20 = -b*f + 5*n for f.
-3
Let h be 2/(-5) - 9/15. Let d = -2 - h. Let s be (2 - (d - -4))*-5. Solve -y + 6*y - s = 5*k, k - 5*y + 9 = 0 for k.
1
Let z(m) = m**3 + 4*m**2 + m + 2. Let f be z(-2). Suppose 2*k + 2 - f = 0. Solve -2*s = 5*o - k*s, 3*o + s + 8 = 0 for o.
-1
Let w be (-7 + (-136)/(-24))*(-4 + 1). Solve 11 - 29 = d - 5*n, -w*n = -5*d - 6 for d.
2
Let k = -5 + 9. Suppose -k*a = a. Suppose -x = -a*x. Solve -3*t + 9 = g, t - 6*t + 2*g + 15 = x for t.
3
Let v be 2/(14/(-3)) - (-51)/21. Solve 0 = v*w - y + 6 - 1, 5*w = 4*y - 5 for w.
-5
Suppose 2*k = 6*k - 8. Let r(o) = k + 0*o - 3 - o. Let f be r(-5). Solve 2*l - 6 = f*i - 0*l, i - 5*l = -6 for i.
-1
Let f(i) = 4*i - 1. Let v be f(2). Let t = 21 - v. Suppose -4*w = -a - 5, 3*a - 4*w + t = 5*a. Solve -4*s = a*g + 14, -3*g + 16 = -2*s - 0*g for s.
-5
Suppose 3*p = -q + 2*q - 16, 11 = q + 2*p. Solve w = -0*w - 3*z + q, 4*w - 24 = -5*z for w.
1
Suppose v - 6 + 1 = 0. Solve v = -3*o + 2*o - 2*h, 2*h = -2*o - 8 for o.
-3
Suppose 4*q = -4, -5*q = w + w - 3. Suppose -3*l - 18 = -4*k + 2*l, 4*k - w = -2*l. Solve 0 = 2*n + 4*j - 24, -3*n + j = -k*n + 3 for n.
2
Suppose 0 = -4*g - 4*b + 16, 4*g - 16 = -4*b - b. Solve -2*j - j + 2*d + 10 = 0, 20 = 4*j - g*d for j.
0
Suppose 3*t + 3*v + 9 = 0, -3*v - 26 = -5*t - 9. Let j = t - -2. Solve 7 = -2*a + j*l - 5, -4 = -3*a - l for a.
0
Let w(s) = -2*s**2 - s**2 + s**3 + 8 + 8*s**2 - 5*s. Let c be w(-6). Solve o = -o + 3*r + 1, c*o + r + 3 = 0 for o.
-1
Suppose 4*u - 91 = -31. Solve 0 = 2*g + h - 8, -5*g - 4*h - h + u = 0 for g.
5
Let y(k) = -3*k + 2*k - 3 + 2*k. Let s be y(0). Let d be 0/((-6)/s) - 0. Solve -2*f + 2*u + 8 = d, 2*f + u = -0*f - 1 for f.
1
Let j(k) = k**3 + 8*k**2 - k - 10. Let s be j(-8). Let b be (-42)/4*(s + 0). Let t be 0 - ((-1)/1 + 1). Solve i + l + 3*l + b = t, 5*l + 25 = 0 for i.
-1
Let p = 11 - 9. Let q be p/6 - (-3)/(-9). Solve -5*v = 2*z - 11, q = 5*v - 2*v - 3*z - 15 for v.
3
Let m(s) = -s**3 - 14*s**2 - 14*s - 11. Let o be m(-13). Solve 7 = 5*g - o*z, g - 5*z = 5*g - 32 for g.
3
Suppose o = 8 + 1. Let i(g) = g**3 + 3*g**2 - 3*g + 2. Let w be i(-4). Let x be (30/9)/(w/(-3)). Solve -j - 5*h + 18 = 0, -x*j + 2*h = -0*h - o for j.
3
Suppose -k + 5 = -0. Let c = -46 + 66. Suppose -c + 71 = 3*q. Solve -4*u - k*r - q = 0, 0 = -4*u + u - r - 10 for u.
-3
Suppose -7 - 1 = -2*r. Suppose -5*k - 5*y - 5 = 0, 4*k + y = -r*y - 9. Let f be (0 - 0) + 4 + -2. Solve 0 = 2*s - 5*g + k*g + 2, 1 = -s - f*g for s.
-1
Let l(b) = b**2 + 4*b - 8. Let w be l(-6). Suppose o + w = 6. Solve -3*p + 0*p = o*r + 3, -4*r = 3*p + 3 for r.
0
Suppose 0 = -8*f + 17*f - 27. Solve -3*g - 5*k + 1 = 11, f*g + 3*k = 0 for g.
5
Suppose -5*v - 48 = -3*j, 0 = -3*j + v + v + 48. Solve 3*w - s = 1, -5*s = -3*w - w + j for w.
-1
Let u = 9 + -12. Let h be u*(-3 - 10/(-6)). Solve 3*l - 4*m - 4 = -0, h*l - m = -12 for l.
-4
Let l = -2 + 2. Suppose 0 = 5*c - l - 10. Solve -3*o - 4 + 19 = 4*k, -2*o = c*k - 10 for k.
0
Suppose -4*x + 2 = -14. Suppose x*v - 6 = 3*k, -v + 2*k + 7 = 3. Solve v = 4*w + 12, n - 5*n - w + 5 = 0 for n.
2
Let j = -1 + 3. Suppose -j*p = 3*p - 20. Solve 5*m = -p*b + 7, 19 = 6*m - m - 2*b for m.
3
Let o(m) = -3*m**2 + 2*m + 6. Let a be o(4). Let k = a + 37. Suppose -3*g + 14 = 4*y - 0*g, 2*g = 2*y. Solve 0 = -5*n + 2*l - 15, k*n - n + 12 = y*l for n.
-1
Suppose -8 = -4*t - 4*s, 0*t = 2*t + s - 4. Solve m = -d + 2, -4*m + 17 = t*d - d for m.
5
Let y(m) = m**3 + 7*m**2 + 5*m - 2. Let l be y(-6). Solve 9 + 0 = -3*s + t, 4*s - l*t = -20 for s.
-2
Let k(l) = 1 + 0*l**2 + 1 - 6*l**2 + 5*l**2 - 8*l. Let h be k(-8). Solve -19 = -5*v - g, -h*v - 2*v = -g - 8 for v.
3
Let t(d) = d**2 - 4*d - 1. Let q(k) = -k**2 + 4*k + 1. Let i(x) = 7*q(x) + 6*t(x). Let j be i(2). Solve 2*b - 3*a - 12 = 0, -2*b - 8 = -3*a + j*a for b.
0
Let f be 15/2*2/3. Solve 0*u - u = 5*v - 1, 0 = -5*u - 2*v + f for u.
1
Suppose -5*y + 10*y + 15 = 0. Let h be ((-16)/(-12))/(y/(-9)). Solve -3*k - 4*l + 12 + 10 = 0, 2*l = 2*k + h for k.
2
Let n(x) = -x**3 - 23*x**2 + 2. Let l be n(-23). Solve 0*f = f - l*z + 10, 25 = 5*z for f.
0
Let c(x) = -x**2 + 6*x - 1. Let k be c(5). Let z = -5 - -8. Suppose -5 - 1 = -z*g. Solve g*v - 12 = n, 0 = v - k*v + n + 17 for v.
5
Let l = 17 - 7. Suppose l = 4*j - 22. Let d = j + -4. Solve -5*x = 2*f + 1, d*f + 7 = x + 2*f for x.
1
Let s be (-9)/(-5) - 2 - 2/(-10). Solve s = -p + 1, 0*p - 3*p + 3 = -2*o for o.
0
Let l = 4 + -7. Let t be (-1)/1 + (-3)/l. Suppose t*o - 2*o = -12. Solve -2*f + o = d, -6*f + f = -4*d - 28 for d.
-2
Suppose -19 = -b + 3*z, -29 = -b + 8*z - 3*z. Suppose 0 = b*s + s. Suppose s = -q + 5*q. Solve -5*k + q*k - 19 = 3*i, 2*k + 7 = -i for i.
-3
Suppose -5*z = k - 6, -4 = -4*z + z - k. Let i be z/(-2) + 10/4. Solve -5*r - 3*x + 20 = 0, r - 6 = x - i for r.
4
Let w be 5/35 - (-100)/35. Solve -25 = 5*i, 5*f - 6 = w*i - 1 for f.
-2
Let l(u) = -u + 1. Let p = 15 + -19. Let x be l(p). Suppose 4*f - 5 = 3*j, 0*j - 4*j = -20. Solve k = -4*y - 11, 2*y = -f*k + 4 - x for k.
1
Let u = -9 + 14. Solve 5*p = 3*j + 18, j = -u*p + 4*p + 2 for p.
3
Let c be (-6)/15 + (174/10 - 1). Solve 0 = 5*u + 3*s - 34, -c = -2*u - 3*s + s for u.
5
Let i(k) = -k**3 + 2*k**2 + 8*k - 4. Let l be i(4). Let q be (-2 + 1 + l)*-1. Solve 20 = -5*d, q*d - 3 = -2*u - 21 for u.
1
Let v(m) = m**3 - 1. Let k be v(2). Let y = -7 + k. Solve y = 4*s - p - 9, -12 = -5*s + p + p for s.
2
Let d be (1*-1)/((-3)/30). Let o = -8 + d. Suppose -5*i = 2*k + 16, 3*i + 3 + 15 = 3*k. Solve -5*b + 25 = -k*q, o*q + 2*b - 5 = 5 for q.
0
Suppose -4 = -2*o - 0. Solve -l = 5*u - 3*l + 20, o*u + 8 = 3*l for u.
-4
