-3 = n - o*v, 3*v = -4*n + 4*v + 7. Solve 6 = -4*i - n for i.
-2
Suppose 0 = 5*d - d - 24. Let k = -16 + 22. Let h = k + d. Solve -4*p = -0 + h for p.
-3
Let p be 2/(-10) - (-31)/5. Solve 12 = 2*v - p*v for v.
-3
Let c(w) = -w**3 + 5*w**2 - 3*w. Let s be c(4). Solve -8*l = -4*l + s for l.
-1
Let h(w) = w**2 + w + 38. Let g be h(0). Suppose 3*d - 2*y = 2*y + g, -23 = -3*d + y. Let s be (-4)/d*(-3 - 0). Solve s*j - 11 + 3 = 0 for j.
4
Let i(v) = -v**3 - 6*v**2 - v + 3. Let u be i(-6). Suppose 0*a - r = -4*a - 36, -4*a = r + 28. Let m = u + a. Solve 2*w - w = -m for w.
-1
Let b(t) = 3*t**2 - 2*t - 1. Let a be 4/(-2) - (-7 + 6). Let w be b(a). Solve 19 - w = -3*r for r.
-5
Let t(n) = n**2 - 10*n + 11. Let j be t(9). Let c be 12 - -1 - -1 - j. Let s(m) = -m**2 - 5*m - 2. Let u be s(-2). Solve u*l = l - c for l.
-4
Let d be (-68)/(-8) - 1/2. Solve -t + 5 = d for t.
-3
Let f(r) = -r**2 - 7*r + 3. Let h be f(-7). Solve h*z + 11 = -4 for z.
-5
Let f be -1 - -1 - -2 - -2. Suppose -f*s + t = -20, s + 2*t - 3*t - 2 = 0. Let m(l) = -l + 7. Let r be m(s). Solve r - 7 = 3*o for o.
-2
Suppose -3*p - 11 = -44. Let q = p + -7. Solve q*n - 3 = 5 for n.
2
Suppose 3*t = 5*t. Solve 2*g = -t*g for g.
0
Let u(r) = -2*r - 17. Let c be u(-11). Solve 0 = 3*k - 4*k - c for k.
-5
Let a(g) = g + 14. Let f be a(-12). Solve b + 1 = -f for b.
-3
Suppose p = 4*p. Let r = p - -4. Solve 0 = -0*d - 4*d + r for d.
1
Suppose -1 = -y, -1 = -q + 2*q + 5*y. Let a = -2 - q. Let j(l) = l**2 - 5*l + 2. Let c be j(6). Solve a*b + c + 4 = 0 for b.
-3
Let i be (-1 + (-4)/(-8))*(-20)/2. Solve -4*h - i = -9*h for h.
1
Let n(z) = -z**2 - 8*z - 12. Let t be n(-4). Solve 3*v = t*v for v.
0
Suppose -6 = -o + 4*c + 9, -o = -3*c - 15. Solve 10 = 5*n - o for n.
5
Let t = -17 + 19. Suppose -5*i + 2*i = 0. Suppose -4*u + 2*u + 8 = i. Solve -u + t = r for r.
-2
Suppose o + 2*o = 0. Suppose -4*q = -o*q - 12. Suppose -5*l - 2*f + 20 = -0*f, 0 = -3*l + q*f - 9. Solve 0 = -a - 3 + l for a.
-1
Suppose 0*j - 19 = -j - 3*r, 6 = -2*j + 5*r. Solve -2*a - 10 = -j*a for a.
2
Let w be -3 - -5 - 6/(-3). Suppose -c - w*c = -10. Solve -h - c = h for h.
-1
Suppose 19*f - 23*f = 0. Solve f*h - 9 = -3*h for h.
3
Suppose -x - 1 + 1 = 0. Solve 0 = 5*j - x + 10 for j.
-2
Let r(j) = j**3 - 6*j**2 + 6*j - 2. Let f be r(5). Solve -t - f = -0*t for t.
-3
Let a = 10 - 16. Let w be ((-20)/a)/5*6. Suppose 0 = 4*x - x. Solve -4*q + w = -x*q for q.
1
Let y(n) = -n**3 - 4*n**2 + 25*n + 87. Let o be y(-3). Suppose -h + 5 = 0, h - 44 = -3*a - 3*h. Solve -g = o*g + a for g.
-2
Let m(s) = -s**3 + 12*s**2 + 14*s - 11. Let f be m(13). Solve -8 = 2*o + f*o for o.
-2
Suppose -2*s = 3*q - 3, 0 + 3 = -q - 2*s. Solve -5*d + 7 = -q for d.
2
Suppose -4*q + 12 = -4*y, -4*y + 2*q - 4*q + 18 = 0. Solve -y = 4*p + 6 for p.
-2
Suppose -s - 8 = -0*s + h, 2*h = s - 1. Let o(a) = -a - 1. Let l be o(s). Solve 0 = l*t + 6 + 2 for t.
-2
Let d(b) = -b + 7. Let j be d(5). Solve 2*v + j = -2 for v.
-2
Let v = -23 + 41. Let p = v - 15. Solve -p*r - 7 = 5 for r.
-4
Suppose n + 0 = 5*d - 7, -2*d = -5*n + 11. Let p be (-20)/(2*(-1)/d). Solve 0*m = -4*m + p for m.
5
Let g be (-25)/(-7) - (-5)/35*-4. Suppose 0*m = -m + 6. Solve -g*j = -j + m for j.
-3
Let t = -2 - -4. Suppose 0 = r - t*r + 11. Let j = 16 - r. Solve 6*m = m + j for m.
1
Suppose -3*y + 0*p = -p, -12 = 4*p. Let t be (1 + -1)*y/(-2). Solve t*a = 3*a - 12 for a.
4
Suppose -v - 3*a = -4*v, -5*v + 3*a = 0. Let l(y) = y**2 - 3. Let x be l(3). Suppose 0 = c + 4 - x. Solve v = c*u + 3*u for u.
0
Let d = 17 + -12. Let p = -252 - -254. Let o be 4/(-6)*15/(-2). Solve -d = p*h + o for h.
-5
Let r(s) be the first derivative of -s**3/3 + 4*s**2 - 2. Let m be r(8). Solve m = -b - b + 2 for b.
1
Let f = -152 + 217. Suppose -u + f = 4*u. Solve -3*o = 4 - u for o.
3
Suppose 5*v = 6*v. Solve 4*u + v + 4 = 0 for u.
-1
Suppose 31*x = 24*x. Solve x = -0*i + 2*i - 4 for i.
2
Let z = -1 + 5. Suppose 33 - 3 = 3*m. Solve -z + m = 3*a for a.
2
Let r = -1 - -4. Suppose -5 = -d + 5*x, 15 = r*d + 4*x - 2*x. Let j(z) = z**3 - 4*z**2 - 6*z + 7. Let l be j(d). Solve -3 = q + l*q for q.
-1
Let j(a) = -a + 4. Let n be j(1). Solve 5*d + n = -2 for d.
-1
Suppose -2*z = 2*z - 60. Suppose -12 = -4*p - 5*s, -5*p + 0*s + 2*s + z = 0. Solve p + 2 = 5*q for q.
1
Suppose -15*f + 18 = -13*f. Solve -d + f = -4*d for d.
-3
Let i be (6 - 2 - 0) + 0. Let v(n) = -n - 7. Let f be v(-6). Let k = f + 3. Solve 2*d = i*d - k for d.
1
Let k be (-1 + 1)/(-2 + 1). Let z be (-2)/(-2) + k/(-1). Let r be (2 - z)/(1/4). Solve r = a + a for a.
2
Suppose -d = -6*d + 45. Let f = d + -9. Suppose f = -5*v - 2*u - 0*u + 94, 5*v - 85 = -5*u. Solve 0*p - 4*p = -v for p.
5
Let i(n) = 7 - 4*n - 22*n**3 + 4*n**2 + 23*n**3 + 0. Suppose -6*p - 10 = -4*p. Let q be i(p). Solve -q*b + 7*b - 20 = 0 for b.
4
Let d(r) = -r**3 + 2*r**2 + 2*r - 3. Let v be d(2). Let o = 1 - v. Suppose -4*n = 4*t, 2*n - t = n + 6. Solve n = -3*g - o for g.
-1
Let h = 36 - 11. Suppose -4*k = -5*c + h, 3*c + 0 = -4*k + 15. Solve 0 = 5*d - k + 10 for d.
-2
Suppose -x - 3*b = -5*x - 4, 20 = 5*b. Solve 2 = -r - x for r.
-4
Let o be 16/(-2 + (6 - 3)). Solve p = -3*p - o for p.
-4
Suppose 2*s - 24 = -3*c, 5*s + 1 = c + 27. Let v(f) = f**3 - 6*f**2 - f + 6. Let q be v(s). Solve q = -2*l + 2 + 8 for l.
5
Let s be (11/(-33) - (-8)/(-3)) + 3. Solve 10 = -s*q + 5*q for q.
2
Let j(y) = -y**2 - 6*y + 8. Let d(p) = -p - 1. Let g be d(5). Let m be j(g). Suppose 11 = k + 4*v - m, -k + 2*v = 5. Solve -3*s = 3 + k for s.
-2
Suppose 2*r - 38 = -4*u, 4*r - r + 3*u = 57. Suppose 6*m + 12 = -4*x + 2*m, -3*x = 5*m + r. Solve 4*q - 4 = x*q for q.
2
Suppose 3*n - 6 = -3*x, -6*n = -2*n. Solve x*l = -3 + 1 for l.
-1
Let m = 15 + -15. Suppose -o = -5*o + 12. Suppose 4*t - 2 = -l + 1, l - o = -2*t. Solve 2*q + l*q - 25 = m for q.
5
Let s = 11 + -7. Let m(n) = n**2 - 3 + s*n + 0*n**2 + 8. Let f be m(-6). Solve -f + 5 = -3*y for y.
4
Suppose 0 = -4*l + 4. Solve 3 = -4*v - l for v.
-1
Let i(s) = s**3 + 4*s**2 - 4*s + 2. Let t be i(-5). Let z = t - -3. Solve -w - 2*w - 9 = z for w.
-3
Let c(f) = 3*f**2 - 1. Let u be c(-1). Suppose -u*o - 2*k + 7*k = 5, 0 = -k + 1. Solve -3 = t - o for t.
-3
Let t = 21 + -11. Let y(r) = 3*r**2. Let j be y(1). Solve -2*m + t = j*m for m.
2
Suppose 10 = 2*i - 0*i. Suppose 2*v + 1 = -i*n, -n + 0*n + v = -4. Solve n = -2*s - 7 for s.
-4
Suppose 2*i - 37 = 3. Solve 6*l = l - i for l.
-4
Let y(u) = -1 + 0 - 9 + 2*u. Let o be y(7). Solve -o*j - 8 = -0*j for j.
-2
Suppose -2*h + 14 = n + 3, -2 = -2*n. Solve -h*s + 11 = 31 for s.
-4
Let h(q) = q**3 - 5*q**2 - q + 5. Let y be h(5). Let d = -3 + 5. Let c = d + y. Solve -c = n + 2 for n.
-4
Let o(g) = -g**2 - 6*g - 4. Let d be o(-5). Solve 4*i + 7 + d = 0 for i.
-2
Suppose 0 = -4*i + 5*p + 13, -6 = -2*i + 3*p + 1. Suppose -2*g - i*g + 12 = 0. Let n be ((-3)/g*3)/(-1). Solve -6 = n*b - 15 for b.
3
Suppose 0 = -2*a - a - 9, -3*c + 2*a + 21 = 0. Suppose d - 3*l = 8, 5*d - c*l + 3*l = 14. Solve -4*u = -d*u for u.
0
Let c(l) = l**2 - 1. Let t be c(1). Let v(i) = -2 + 3*i**2 + 0*i**2 - 2*i**2 - 3*i. Let b be v(5). Solve 3*a + a - b = t for a.
2
Let j(t) = t - 5. Suppose -5*s - 3*p = -32, 2*p = 6*p + 4. Let g be j(s). Suppose 2*w = -3*w + 35. Solve 1 = g*o - w for o.
4
Let j(a) = 4*a**2 - 4*a - 5. Let b(y) = 5*y**2 - 4*y - 6. Let f(s) = -5*b(s) + 6*j(s). Suppose -m + 2*m = -3. Let w be f(m). Solve 0 = -w*n - 0 + 6 for n.
2
Suppose -2*j + 9 = 3*c, -3*j + 1 + 4 = -4*c. Suppose -9 = -3*m + j. Solve -m*n = -2*n for n.
0
Let z(g) = -4*g - 4. Let y be z(-1). Solve y = 2*m + 15 - 5 for m.
-5
Let x = -23 + 27. Solve 3*i - i = -x for i.
-2
Let o be (-15)/(-3) - 0/3. Solve 0*c + o*c = -10 for c.
-2
Suppose 2*t - 35 = 5*l, -3*t - 5*l + 9 + 6 = 0. Solve -2*s + t = -0*s for s.
5
Let t be 18/(-22) - (-2)/(-11). Let o be -1 - (-4 + 2) - 1. Let k = o - t. Solve 3*i = -2 - k for i.
-1
Let c be (-6 + 2)*(-5 + 7). Let m(r) = r**2 + 8*r + 1. Let f be m(c). Let l = -6 + 8. Solve 0 = -x + l + f for x.
3
Let h = 12 - 7. Suppose 5*t = 5*v + 61 + 34, -5*t - 4*v + 77 = 0. Solve h*g - 3 = t for g.
4
Let t = -5 + 7. Suppose l + o = -2*l + 7, -5*l - 3*o = -5. Solve -t*v = -v - l for v.
4
Let n(x) = -x**3 - 2*x - 1. Let v be n(-1). Suppose -3*b + b = -v*i + 10, 0 = 2*i + 3*b + 15. Solve i = 4*