s + n)*1 - -2. Solve -5*l = -g - 2*l + 6, 0 = z*g - l + 3 for g.
-3
Let f(w) = -2*w**2 - 22*w - 15. Let n be f(-10). Solve -n*t + 7 = 5*a - 8, 4*a = -8 for t.
5
Let g(q) = 2*q + 4. Let n be g(-2). Suppose -m - 2 + 4 = n. Solve 5*v - v = 0, -4*v + m = z for z.
2
Let i = -10 + 13. Solve i = 5*q + 3*v - 0, 0 = 4*q + v - 1 for q.
0
Suppose 3*v + 16 = v. Let d = -1 - v. Solve -2*c + 7 = x, 3*c + c - 5*x = -d for c.
2
Suppose 2*y + 5*p = 3*y - 3, 4*y = p + 12. Let a(b) = b**3 + 8*b**2 + 5*b - 6. Let q be a(-7). Solve -4*i = -4*m - q, -4 = y*i - 13 for m.
1
Let r(u) = -u**2 - 4*u + 2. Let q be r(-4). Let c(m) = 5 - 5 + m**2. Let j be c(q). Solve 4*h + j*p = 12, 2*p - 1 = 2*h + h for h.
1
Let a(s) = -s - 5. Let w be a(-20). Suppose -5*t = -10, 3*t + 4 = 3*d + 10. Let r be (d + (-11)/2)*-2. Solve -4*p = -x + r + 2, -3*x = -w for p.
-2
Let p = 11 - 10. Suppose m + p = 4. Let b = -5 + 8. Solve k - m*o + b = -2*k, -k - 25 = 5*o for k.
-5
Let s be (-4)/(-3) + 4/6. Suppose s*w - 24 = p - 3*p, -5*p + 2*w = -25. Suppose 5*h + p = 32. Solve -h*d - 18 = t, -3*d + 22 = -7*d + 3*t for d.
-4
Let i(j) = -j**3 - 4*j**2 - j - 5. Let l be 5*((-2)/(-10) + -1). Let o be i(l). Let c = o + 3. Solve 1 + 5 = 4*h + 3*z, c*h + 6 = 3*z for h.
0
Suppose 3*y + 0*y = 0. Let s be 1 - (y + 8/(-4)). Solve s*g + 17 = -4*w, -3*g - 23 = 3*w - 8 for w.
-2
Let r(w) = 8*w + 1. Let t be r(4). Let h(i) = -4*i**2 + 59*i + 19. Let c be h(15). Suppose 0*v + 4 = 2*v. Solve s - 29 = 5*o - v, c*s - t = 5*o for o.
-5
Let q be 1 - -8*(-9)/(-6). Solve 0*x + 2*x = -3*m, 2*m = 3*x + q for m.
2
Let m = 51 + -50. Solve 22 = 5*x - 4*y, 5*x + y - 6 = m for x.
2
Let q = 13 - 8. Suppose p + 4*p - q*i = 25, 4*p - 2*i = 20. Solve -4*c = 2*r - 10, -5*c + r = -11 - p for c.
3
Let w(y) = 6*y**3 - 9*y**3 + 2*y**3 + 4. Let h(s) = -s - 5. Let m be h(-5). Let q be w(m). Solve 2*b = q*v - 18, -b + 3*v - 2*v - 4 = 0 for b.
1
Let h be 1/(-3) + 4/3. Let u = h + -1. Suppose 2*z + u*z = 4. Solve -z = v - 5*s - 0, 0 = -v - s + 4 for v.
3
Suppose -3*r + 3*t = r - 26, 0 = r + 2*t - 1. Suppose -r*f + 15 = -5. Let k be (-18)/(-4) - (-1)/2. Solve 2*m - k = 5*n, f*n + 10 = -2 for m.
-5
Let u(s) = -s**2 - 3*s + 4. Let j be u(-4). Let z = 3 + j. Solve 12 = 4*t - z*q + q, 0 = -4*t - 5*q - 16 for t.
1
Let l(n) = n**3 - 7*n**2 - 9*n + 13. Let v be l(8). Solve 5*p + 20 = v*w, 5*w - 1 = 2*p + 7 for p.
-4
Let h(w) = -w + 1. Let l be h(-4). Suppose x - o = -4, -4*x - 3*o + 17 = -2*x. Solve -l*f - x = 4, -3*n = -2*f + 10 for n.
-4
Let d = 5 - 0. Suppose 4*j + k = 8 + 9, d*k = 5. Solve 10 = -5*p - 0*p - j*r, -2*p + 3*r - 4 = 0 for p.
-2
Suppose -2*d + 50 = 5*j, 3*d = -0*d - 3*j + 75. Let w = d - 15. Let r be 16/10*75/w. Solve -q = 3*g + q - 3, r = 4*q for g.
-1
Let k be ((-14)/8)/(4/(-16)). Let u be (3/(-2))/((-1)/(-2)). Let a be (-12)/45*u*30. Solve 2*l = -3*t + k*l + 34, 3*t - 3*l = a for t.
3
Let d(f) = -f**2 + 3*f - 2. Let v be d(2). Suppose v = -0*r - r. Solve -2*u - 2*u + 5*b = -11, -3*u + 4*b + 9 = r for u.
-1
Let t(s) = -s + 2. Let j = -2 - 1. Let o be t(j). Suppose 5*y = -4*k, -4*k + k + y = 0. Solve k*l - o = 2*l - p, -3*l - 3*p = 30 for l.
-5
Let x be 3/1*((-160)/15)/(-8). Solve x*m - 5*j = -1 - 7, -12 = -3*j for m.
3
Let p = 15 - 11. Solve -4*z - 2*u = -5*u - 1, -5*u - 23 = p*z for z.
-2
Suppose 3 - 7 = s. Let t(o) be the first derivative of o**4/4 + o**3 - 3*o**2 - 3*o - 19. Let a be t(s). Solve 2*h - 9 = d, -a*d + h + 3 = 12 for d.
-1
Suppose v + 0 - 4 = 0. Suppose 4*u - 8 = 0, -2*t - u + 5 = -t. Solve 0 = -3*p + 15, t*l + 7 + 1 = v*p for l.
4
Let n(v) = -v**2 + 7*v + 4. Let r be 5/20 - (-23)/4. Let d be n(r). Solve 4*l + d = 5*g - 0*l, 4*g - 4*l = 12 for g.
-2
Let b = -2 - -2. Suppose -3*t = 2*u - 22, 4*u - 2 = -t - 8. Suppose -4*y + 2*y - 5 = -n, 4*n = 20. Solve y*z - t = -3*v + 4*z, v - z - 2 = b for v.
-2
Let d = 60 + -29. Let m = d + -100. Let q = -33 - m. Solve -31 = g - 5*x - 2, -q = 4*g - 4*x for g.
-4
Let f(q) = -q**3 - 2*q**2 - 2*q - 2. Let x be f(-2). Suppose y - x*u - 3*u + 2 = 0, -2*u = -2*y + 4. Solve -y*w - 3 - 15 = 3*k, -w = -4*k - 19 for w.
-1
Suppose -m - 1 + 5 = 0. Suppose m*v = 10 + 2. Solve 0 = -v*o - 4*y + 1, -4*o + 5*y - 30 = -2*o for o.
-5
Suppose 7 = 3*x - 5. Solve 0 = 2*q + 5*c - 33, x*q + c - 10 = 11 for q.
4
Suppose a - 4 + 16 = 2*n, 64 = -4*a + 4*n. Let b = 22 + a. Let u(q) = q + 2. Let z be u(5). Solve 4*w = 4*i - 20, b*w - 4*i + 20 = z*w for w.
0
Let j be (-3 + (-14)/2)*-1. Let b be 60/(-25) + 4/j. Let p be ((-4)/5)/(b/5). Solve -2 = u, 2*u + 13 = -5*m - p*u for m.
-1
Let w(g) = 3*g - 5. Let a be w(3). Solve 0 = -5*z - 3*p + 32, -z + a*z + 3*p - 24 = 0 for z.
4
Let c = -29 + 33. Solve -2*k = -c*k - 2*d + 4, k - 2*d = -4 for k.
0
Suppose 0 = -5*y - m - 0*m + 20, 3*m - 3 = 4*y. Solve -u + 6*u + 11 = y*l, 5*l - 10 = 0 for u.
-1
Let x = -10 + 17. Let g = x + -7. Solve -3*s - 3*m - 6 = 3, s + 3*m - 1 = g for s.
-5
Let k = 24 - 15. Let h(m) = 2*m + 5. Let n be h(5). Solve 5*p - 4*r + n = 0, -3*p + 0*r + 2*r = k for p.
-3
Let v be (-4)/(-4) + 0/(-1). Let y be ((-8)/(-2))/v*1. Solve -4 = -y*u + q + 2, 2*q - 14 = -5*u for u.
2
Suppose 0 = 9*r - 8*r - 4. Solve 3*w + w - 21 = -y, r*y + 3*w = 32 for y.
5
Let n be 2/(-4)*0/(-4). Solve -w - 3 = f, 4*w - 3*f = -n*f + 9 for w.
0
Let r = 15 - 1. Let d = 20 - r. Solve 0 = p + 3*a - d - 5, -7 = -p - a for p.
5
Let x(b) = -b - 6. Let d be x(-6). Suppose -m - m + 4 = d. Suppose 2 + m = 2*a. Solve -7 = -a*l - 3*y, 15 = -5*l - 2*y + 5 for l.
-4
Let r = 10 - 13. Let x be ((-1 - r) + -2)*1. Solve -z - h + 5 = x, z - 3*h = 2*z - 15 for z.
0
Let z = -5 - -8. Suppose 0*c = -c + z. Suppose 0 = 3*a - 2*a. Solve 0*b = 2*b - 3*d - 3, a = 4*b - c*d - 3 for b.
0
Let v = -25 + 27. Solve 3*a + 0 = -v*m + 7, 3*a = m + 10 for a.
3
Let i(f) = f**2 - 8*f - 12. Let g be i(9). Let m be g/3 - 2 - -19. Solve 2*x + m = -2*x + 4*d, -2*d = -4*x - 8 for x.
0
Suppose 4*m + 4*c - 92 = 0, -m + 0*m = 2*c - 28. Solve -t = 5*h + m, -3*h - 2*h - 26 = -3*t for t.
2
Let x(u) = -4*u**2 - 7*u - 4. Let g(b) = -b**2. Let t(l) = 3*g(l) - x(l). Let i be t(-7). Solve -2*r = -5*p + 21, -i*p + 9 = -3*r - p for r.
2
Let a be (-44)/3 + (-1)/3. Suppose -4*q = -q - 9. Let j be (-50)/a - (-2)/q. Solve c - j*c + 20 = -2*s, -4 = -2*c - s for c.
4
Let l(b) = 3*b**3 + b**2 - 3*b + 1. Let d be l(1). Solve -5*o = 4*z + 12, -3*o - d*z - 16 = 2*o for o.
-4
Let x(c) = 2*c**2 - 9*c + 10. Let t be x(1). Solve 0 = -3*i - 2*r + 1, -2*i - t*r = 2*i - 2 for i.
-1
Let w be -2 - (1 + 2 - 3). Let h = 5 + w. Solve -2 - 2 = 4*z + s, h*s = 0 for z.
-1
Suppose 25 - 60 = -7*z. Solve -7*h + 3*h + f - 5 = 0, -3*h + z = f for h.
0
Let y(i) = -2*i**3 + i**2 - 2*i + 1. Let d be y(-3). Let h be ((-1)/2)/((-5)/d). Solve -o - 2*o + 18 = -5*r, -5*o - h = 4*r for r.
-3
Suppose 3 = 3*m - 3. Solve -3*b + 2 = -m*o, -3*b = 2*o - 24 + 2 for o.
5
Let o(d) = d**3 - 3*d**2 + 5*d - 4. Let q be o(3). Suppose -q = 5*l + 4. Let c(k) = -k + 2. Let i be c(l). Solve m - 5 - i = -z, 0 = 5*m + z - 30 for m.
5
Let l(q) = -q**3 + q + 2. Let z be l(2). Let r be 2 + (-4)/1 - z. Suppose r*b = 6*b - 20. Solve -b*n = -5*g - 20, -3 - 7 = -n + 3*g for n.
1
Let y = -58 + 61. Solve -f - 9 = -y*x - 0, -2 = 2*x + 2*f for x.
2
Let p(t) = -5*t**3 - 2*t**2 - 2*t - 1. Let i be p(-2). Suppose -6*z + z + i = 0. Solve 27 = -m + 5*h, -3*m + z*h - 3*h - 26 = 0 for m.
-2
Let t(g) = -g**3 + 7*g**2 - 3*g. Let s be t(6). Let y = -13 - -24. Suppose -4*r - y - 1 = -f, -r = 5*f - s. Solve f*q + 2 + 2 = w, -3*q = -w + 4 for q.
0
Let a(l) = -l**2 - 5*l - 4. Let m be a(-5). Let y = -7 - m. Let s = 7 + y. Solve 4*x - s = 0, g + 4 = 2*x + 2*x for g.
0
Let u(q) = q**2 - q. Let p be u(2). Solve -4*v + 0 - p = 5*i, 4*v = 8 for i.
-2
Let z(y) = y**2 - y - 3. Let u be z(6). Let j be 32/18 + 2/9. Suppose 0 = -5*w - 1 + 26. Solve -j*v + v + u = -w*r, -v + 2 = 0 for r.
-5
Let r = -16 + 21. Solve -2*m = 5*a - 3*a - 2, 19 = -r*m + 3*a for m.
-2
Suppose 4*h = 5*h - 4. Suppose -5*b - k + 19 = 0, 6 = h*b + 4*k - 6. Solve 2*p + 0*p - b*m = 0, m = 1 for p.
2
Let y(o) = 0*o + 7 + o**2 - 2*o - 5. Let n be y(2). Let i(r) = -r**3 + 6*r**2 + 3. Let p be i(6). Solve -4*w + 9 = -p*z, n*z - z - 16 = -5*w for z.
1
Let c be 3/(-1 + 2 + 0). Suppose -3*r + 1 = -2*r. Suppose -n - r = -c. Solve 5*l = 5*z - 5, -3*l + n*z 