b - 3*q - 3 = -4, 0 = -b + f*q - 19 for b.
-4
Let q(y) = y**3 - y**2 - 2*y. Let o be q(2). Suppose -2*l + 6 = -o*l. Solve -4*j + 22 = 3*r, -l*r = 2*r - 4*j + 6 for r.
2
Let d = 9 + -17. Let x = d + 11. Solve x*b = -2*l + 4, 4*b = b + l - 11 for b.
-2
Let k(o) = -o**3 - 3*o**2 - 2*o - 19. Let v be k(-4). Solve -v = -2*q + 5*y, -4*q - 5*y = -16 - 9 for q.
5
Suppose -5*r = 3*l + 1 - 24, -4*l - 8 = -3*r. Solve -r = -2*p, 2*j + 8*p = 3*p for j.
-5
Let r(n) = -n**2 - 13*n - 25. Let z be r(-10). Solve -3*y - 18 = 4*x, -y + z*x + 13 = -0*y for y.
-2
Suppose 7*l - 2*l = -c + 15, 0 = -5*l - 5*c + 35. Suppose -n = -l - 3. Solve 0 = 2*w - n*m + 5, 5*m - 5 = 5*w - 0 for w.
0
Let q be ((-2)/4 + 1)*0. Suppose q*o + 4 = o. Solve 3*c - 3*m = m - 10, o*c - 4 = m for c.
2
Let p(l) = -l**3 + l + 2. Suppose 5*s + a + 10 = 0, 3*s = 4*a + 8 + 9. Let c = -1 - s. Let f be p(c). Solve -4*w = -0*q + 4*q, 2*w = f*q + 8 for w.
2
Let t(f) = f**2 - 5*f + 10. Let s be t(3). Suppose -4*k = -2*h - 7 + 1, 3*h - 15 = -2*k. Solve g = -h*i + 6*i - s, 0 = -i for g.
-4
Let f = -11 - -26. Let w = f - 10. Solve m + 5*h + 6 = 0, -w*m + 5*h + 22 = 4*h for m.
4
Let u be (175/(-15))/((-2)/(-12)). Let h be (-2*1)/(5/u). Solve 3*m + 4*k = -2*m + h, -2*k = 5*m - 24 for m.
4
Let a(i) = -i**2 + 19*i - 88. Let j be a(10). Suppose 0 = -b - o + 7, -4*b - 4 = -o - 3*o. Solve -6*w + j*u = -b*w - 22, -2*u = -4*w + 26 for w.
4
Let k be 4 + (-16)/(-4)*-1. Solve k = -2*d - 2, -5*u - 3*d = -5 - 12 for u.
4
Let g = 43 + -41. Solve -3*a - 7 - 5 = -x, 5*a + g*x = -9 for a.
-3
Let l(h) = h**2 + 2*h + 4. Let z be l(0). Solve 5*u - 2*s = 25, -z*s - s - 15 = -3*u for u.
5
Suppose 2*b - 17 = -3*s, 0 = -2*b + 3*b + s - 6. Let r be 1/(-2)*(-5 + b). Solve -4*j + 12 - 4 = -2*f, 5*f = 4*j - r for f.
2
Let h = 17 - 12. Suppose -9*u + 12 = -h*u. Solve 3*c = -m - 16, -u*m + 0*m + 3*c = 0 for m.
-4
Let t = 25 - 23. Solve 5*z - 24 = -2*l, -t*z + 0*l = l - 10 for z.
4
Let j be -1 - (-3 + 1)*3. Let f(z) be the first derivative of z**3/3 - z**2/2 + 27*z + 2. Let l be f(0). Solve -j*i + 31 = d + 2, 3*i = -3*d + l for d.
4
Let c(x) = x - 3 + 2 + 3. Let d be c(-4). Let s be d*-2*1/4. Solve -3*j = -0*l + 3*l - 9, 0 = -j - 5*l - s for j.
4
Let x be 3 - ((1 - 2) + 0). Suppose 0*q = q. Let v be (q - (-2)/(-5))*-10. Solve -3*f = v*g + 2*f - 16, 3*f - x = -g for g.
4
Suppose 3*t - 169 = 5*l + 72, 5*t + 5*l = 455. Let q = -59 + t. Solve -5*n - 16 = -c, -2*c - q = -2*n + 7*n for c.
-4
Let w be (-4)/(-14) + 42/(-147). Solve -2*j + 3*c - 25 = w, 5*j - c = 4*j - 10 for j.
-5
Suppose -3*z - 104 = -2*r, -3*r = 5*z - 4*r + 185. Let t be z/(-9) - (-6)/(-27). Solve -18 = 3*v - p - t*p, 2*v - 4 = -2*p for v.
-1
Let a(m) = m + 8. Let v be a(-6). Let s be (-1*(2 - 6))/v. Solve -4*d = 3*z - 3, -5*z = s*d - 3*d + 18 for d.
3
Suppose b + 83 = 4*y, 5*b + 37 = 2*y - 0*y. Suppose 5*l + 34 = -5*t - y, -t + 2*l + 4 = 0. Let q = -3 - t. Solve 2 = q*u - 1, 4*k = -u - 15 for k.
-4
Let f = -4 - -7. Solve 4 = -k - x - f*x, -3*x + 8 = -2*k for k.
-4
Let k(b) = b**3 - 2*b**2 - b + 4. Let c be k(2). Suppose c*y - 5 = y. Solve 2*v + 5*t = 4*v - 16, 3*v - y*t = 14 for v.
-2
Suppose 0*b + b = 4. Let a = -3 + 7. Suppose j = a*x - 16, 0 = -b*j + 2*j + 2*x - 2. Solve -5 = -g - 3*l + 12, 5*g + j*l = 41 for g.
5
Let m(t) = t**3 + 3*t**2 - 3*t - 1. Suppose 6*c - 2*c = -u - 16, 5*u = 2*c - 14. Let q be m(c). Solve -q = -4*n - 2*p, -n + 3*p + p = -11 for n.
3
Suppose 4 = 5*h - 1. Let y(i) = 81*i**3 - i. Let n be y(h). Suppose -4*u + n = -0*u. Solve -5*r = 3*w - u, -3*r - 2*r + 30 = 5*w for r.
1
Let y(w) = -w**3 - 9*w**2 - 8*w + 1. Let p be y(-8). Solve j - 4 = -m, -4*m + p - 25 = -4*j for m.
-1
Let p = 36 - 23. Solve -d - 4*i = 11, p = -d - d - 5*i for d.
1
Let f = 11 + -7. Solve -4*q + 19 = 5*l, -l = -q + 2*q - f for l.
3
Let l be (12 - 11)/((-3)/(-15)). Solve 0 = -2*k - l*p + 30, -6*k + k + 9 = -4*p for k.
5
Let s(u) = u**3 - u**2 + 2. Let x be s(-1). Solve -5*h = -4*i - 27, x*h + 4*h = -5*i - 3 for h.
3
Let g be (2/6)/(1/24). Let j(a) = -a + 8. Let s be j(g). Solve -3*z + 3 = 5*p, -5*p + z = -s + 1 for p.
0
Let x be (-15 - -1)*2/(-4). Solve g - 20 - 2 = -4*k, k - x = -g for g.
2
Let q be (1/3)/((-1)/3). Let w(k) = -8*k + 1. Let f be w(q). Let j be (3 + 1)*f/12. Solve 7 = 3*r - r - j*p, -6 = -r + 2*p for r.
-4
Let v be 12 + 1 + 2 - 1. Let m = -10 + v. Let b = m - 4. Solve b - 4 = -a + 4*i, -3*i = -2*a + 8 for a.
4
Suppose -3*h - 1 = -t - h, 6 = 2*t - 2*h. Suppose 4 = -3*p + 13. Solve -t*k + 1 = -4*a, 4*k = 5*a + p*k - 4 for a.
1
Let p be 3 + 0 + -3 + -1. Let z = p - -4. Solve 2*d + 3*u = -2*u + 35, -2*u = -z*d + 5 for d.
5
Let y(l) = 3*l - 18. Let u be y(8). Suppose -4*g - 3*k = 3, 5*g - 2 + 7 = -5*k. Suppose g = -u*f + f. Solve -3*d - 3*t - 10 = 2, -5*d + 4*t - 11 = f for d.
-3
Suppose -26 - 117 = -j. Suppose -2*k = 27 - j. Suppose 0 = 4*o - k + 6. Solve 3*p + w = 5, 2*w + 7 = 4*p - o for p.
3
Let k(o) = -5*o - 1. Let y be k(-1). Let m be -1*(4 + -2 - 46). Let t be (-8)/m + (-35)/(-11). Solve 0 = 3*w - 4*d + 9, -3 - 10 = -y*w - t*d for w.
1
Let s = -35 + 55. Solve 4*y + 3*x + s = 2*x, 2*x + 16 = -2*y for y.
-4
Let m(x) = x**3 + 19*x**2 - x - 15. Let s be m(-19). Solve -15 = -4*k + 3*i, -3*i = -s*k - 8*i - 25 for k.
0
Let y be 0/3*(-2)/(-4). Suppose -4*n = -29 + 9. Let d be (8 + -9)/((-1)/7). Solve 3*z - 3*k - 24 = y, -d - 9 = 3*z + n*k for z.
3
Suppose -5*b + 5*t = 10, 0 = -5*b - 5*t - 19 + 49. Solve -b*d = -o - 3, -o - 3 + 16 = 2*d for d.
4
Let k(u) = u**2 + 4*u + 5. Let n(f) = -f**2 - 5*f - 4. Let v be n(-5). Let z be k(v). Solve -y - 27 = z*b - 8, 2 = -2*y - b for y.
1
Suppose 0 = 2*t - 4 - 6. Solve -4*a + 4*o + 22 = -10, -2*a + t*o + 25 = 0 for a.
5
Let a(d) = -d**2 + 11*d - 6. Let k be a(8). Let x be (-38)/(-9) + (-4)/k. Solve 4*n = 4*i + 4, -x*i - 4*n - 4 = -16 for i.
1
Let i(w) = -w**3 + 9*w**2 + 11*w - 10. Let a be i(10). Suppose a*c + 12 = 4*c. Solve -c*z = z - 2*m - 8, -4*z + 4*m + 8 = 0 for z.
2
Let c be 0/2*(-4)/(-8). Suppose 39 = 4*b - 9. Let g be (-3)/(b/(-10) + 1). Solve g + 15 = -5*t - 5*u, c = 5*u + 10 for t.
-4
Suppose i = 3*i. Let t(o) = o**2 - 6*o + 10. Let n be t(7). Suppose d - 4*a - 18 = 0, 5*a = -5*d - n + 7. Solve -5*s + 17 = -k, i = -d*k + 2*s + 1 - 3 for k.
3
Suppose -17 = -2*f - 5. Suppose 0 = 5*u - 3*u. Let p = 3 + u. Solve i - p*o = -2*o + f, -4*o = 2*i for i.
4
Suppose -k + 3*n = n - 4, -n = -1. Suppose c = k*c. Suppose y + 2 - 6 = c. Solve 0 = -7*o + 3*o - 4*f + 20, 4*o + 12 = y*f for o.
1
Let n(b) = -16*b - 1. Let c be n(-2). Suppose -3*m + 4 = -3*k + c, -3 = -2*k - 3*m. Solve 3*d + 2*u - k = 0, -3*d + 0*u - 3*u = -9 for d.
0
Let u(o) = -o - 6. Let s be u(-8). Suppose s*h + 17 = 39. Let b(x) = x + 7. Let r be b(-4). Solve -2*m + 4 - h = r*l, 0 = -4*m + l + 7 for m.
1
Suppose 2*f = 4*f - 10. Solve 8 = -g - 4*h, -h = g - f*g + 19 for g.
4
Let d = 5 - 2. Suppose d*b + 0*b = 6. Let s be (-15)/(-2)*4/6. Solve 32 = -6*h + b*h + s*y, 0 = 4*h + 2*y + 4 for h.
-3
Suppose -2*q - c = -13, -q - 4*c = q - 28. Suppose v = q*v - 6. Solve 2*p = 10, 0 = 5*w - v*w - p + 8 for w.
-1
Let h(t) = -2*t**2 - 2 + 3*t**2 - 6*t - 5. Let w be h(7). Suppose -c = -5*c + 12. Solve w = -i + a - 0 - c, 2*i + 4*a - 12 = 0 for i.
0
Let v be 2 + (-5)/((-10)/(-4)). Let n(h) = -3*h + h**3 - 8*h**2 + v*h**2 - 8 + 4*h. Let u be n(8). Solve -4*y = 0, u*l - 3*l + 5*y - 9 = 0 for l.
-3
Let z = -4 + 6. Let g(t) = -t**2 + 3*t + 1. Let d be g(z). Suppose -j - 2*j + 6 = 0. Solve -3*f - 3*n = -f + 2, d*f - j*n = -16 for f.
-4
Suppose 0 = -3*c + 159 + 66. Suppose -4*m - m = -c. Let k = 6 + m. Solve k = 4*z - 3*i, -7*z = -3*z + 2*i - 6 for z.
3
Suppose 3*x = -2*x + 15. Solve 3*k = -0*k + 3, 1 = -2*v + x*k for v.
1
Let y = 2 + 0. Let f be -6*(12/8 + -2 + 0). Solve -f*m + 16 = -5*s, 15 = -s - y*s for m.
-3
Let g = -76 - -80. Solve 4*w - g*q - 16 = q, 4*w + 5*q = -24 for w.
-1
Suppose -2*p - 2*p = -28. Solve -4*z = 4*d + 28, 4*z = p*z - 5*d - 3 for z.
-4
Let m(v) = v + 3. Let a be m(9). Let b(y) = -y**2 + 12*y + 6. Let j be b(a). Solve -x - j = -l, l + 0*l - 3*x = 12 for l.
3
Let u(z) = z**2 + 6*z + 7. Let b be u(-5). Let t be (-6)/2*b/(-3). Solve 3*a - 1 = -s, -t*a + 12 = -0*s - 5*s for a.
1
Let s = 3 + -1. Suppose -s*m = -3*c - m + 1, -5*m + 29 = 2*c. Suppose 0 = -3*g + c*g. Solve 