.
2
Let n(x) = 17*x**2 + 1. Let m be n(1). Let q = -5 + 9. Solve 3*f + 23 = 5*l + 9, -q*l - f + m = 0 for l.
4
Let h(w) = -w**3 - 19*w**2 + w + 23. Let d be h(-19). Suppose 4*o = 2*n + 10, 1 = d*o - 2*n - 3*n. Solve 0 = -2*p - o*x + 16, 4*x + x = -4*p + 17 for p.
-2
Let i = 1 - 6. Let z(l) = -l**3 - 4*l**2 + 4*l + 5. Let v be z(i). Let r be v/(4/6*3). Solve -3*t + 19 = -m, m = t - r*t + 16 for m.
-4
Let y be 2/4*(4 - -2). Suppose -117 = y*h - 0*h. Let l be h/(-9) - 1/3. Solve -4 = 2*g, -l*g + 7 = -3*v - 9*g for v.
1
Let b(c) = -c**3 - 14*c**2 - 14*c - 8. Let x be b(-13). Solve -2*f - 1 = -x*o + 2*o, -2 = -2*f for o.
1
Suppose -2 + 0 = -d - 2*i, i - 1 = d. Solve 2*f + 4*x + 14 = d, f + 8 = -5*x - 8 for f.
-1
Let w be 4/(-16) - 49/(-4). Let m = 16 - w. Solve m*o = 4*l + 3*o + 21, 4*o = 3*l + 19 for l.
-5
Let u(x) = -x**3 + 14*x**2 + x - 18. Let g be u(14). Let k(c) = c**2 - 2*c. Let t be k(g). Solve 0 = 4*l + 2*j + t, 28 = -2*l - 4*j - j for l.
-4
Let s = -4 - -9. Suppose -3*j + s = 2*j. Solve a + t + j = 0, 0 = 5*a + 5*t - t + 7 for a.
-3
Suppose -8 = -2*h + 6. Suppose -u + 2*u - h = 0. Solve -q - u = z, -3*z + 3 - 15 = 0 for q.
-3
Suppose -f + 0 = -21. Solve -4*s = 3*q + 29, -f = 3*q - q + 3*s for q.
-3
Suppose -4*h - t = h - 39, 3*t - 37 = -5*h. Let z be (-4)/(-6)*-3*(-10)/4. Solve -4*q = 3*s - h*s, -z*s = -q - 15 for q.
5
Let c(u) = 8*u - 4. Suppose 6 = 4*f - 6. Let d be c(f). Solve 2*h - d = -5*i, -4*h + i - 4 = h for h.
0
Let z(b) = -b + 3. Let h be z(-4). Suppose 5*v - 12 = -2*s, 4*s - 2*v = 8 + 16. Let a = -4 + 7. Solve 4*y - 2*y = -p - h, a*p + s = -y for y.
-3
Suppose 6 = -3*l + 30. Let y = -4 + l. Solve -3*a = -x - 1, -3*x + x = -y*a for x.
2
Suppose 3*b - 16 = b. Suppose 5*v - 3*v - b = 0. Solve -5*o = 2*n - n - 8, -o - 11 = -v*n for o.
1
Let y(j) = -2*j - 6. Let i be y(-5). Suppose 4*l = 11 + 17. Solve -16 = 4*r, -2*r + l + 1 = -i*f for f.
-4
Suppose -12*l + 7*l = 0. Solve -5*d - 2*s = 1, l*d - 4*s + 7 = d for d.
-1
Let w be (80/25)/((-2)/(-5)). Let g(z) = -z**3 + 7*z**2 + 10*z - 12. Let h be g(w). Solve 4*p + 2*c = 3*p + 4, -4 = -4*p - h*c for p.
-2
Let y(o) = 3*o**2 - 7*o - 4. Let u be y(3). Let z = 22 - 13. Solve z = g + 3*q - 2, -u*g + 12 = q for g.
5
Let c be -4 - (2 - (4 + -2)). Let l = c - -7. Solve -5*h - 10 = -a, -6*h = -3*h - l*a + 18 for h.
-1
Let t(u) = u**2 + 5*u + 2. Let a be t(-5). Let y = 1018 - 1013. Let j(k) = 2*k**3 - 3*k**2 + 2. Let o be j(2). Solve 0 = i - y*i - 3*w + a, w = 2*i - o for i.
2
Let y(p) be the second derivative of p**4/12 + 5*p**3/6 + 3*p**2 + p. Let n be y(-4). Solve -f - 2*c + 16 = n*c, 0 = -2*c + 6 for f.
4
Let u = 10 + -6. Solve -5*d + 15 = 2*b, 0 = d + 2*b + u + 1 for d.
5
Let h = 5 + 3. Let y = 30 + -18. Let r = y - h. Solve -16 = -s + r*x, 2*s + 0*x - 2 = -2*x for s.
4
Suppose -2*p - 4*u = -64, 6*p - p = 3*u + 121. Let r = 39 - p. Let y = 15 + -11. Solve 5*f + i + 11 = -r, y*f + 8 = 2*i for f.
-4
Let z(j) = 0*j**2 - 2 + j**2 + 16*j + 14 - 7*j. Let w be z(-8). Solve -3*h = -2*o - 12 + 3, w*o + 15 = 5*h for h.
3
Suppose g - 3*m = -6, -49 = 2*g + m - 16. Let b = g - -15. Solve b = 4*r + h - 6, 3*r = -3*h - h - 2 for r.
2
Let m = -5 + 5. Let d be m + 0 - 10/(-2). Suppose -12 = i - d*i. Solve 2*c + c = -a - 15, -15 = -3*a + i*c for a.
0
Suppose -2*k - 12 = -5*b - 1, 2*b + 7 = -3*k. Let p be (-6)/12 + b/2. Solve p*o = -4*q - 5*o + 36, 2*q + 4*o - 24 = 0 for q.
4
Suppose 3*l = 8*l - 15. Solve -c = -2*v + 3, l = 2*v - 3 for c.
3
Let l = 53 + -51. Solve 0*j - 5*j + 21 = -q, l*j - 30 = -5*q for q.
4
Let q be -5 + -8 + -3 + 1. Suppose -205 = -5*m + z - 2*z, m + 5*z - 41 = 0. Let x = q + m. Solve -3*g + 7 + 13 = 5*p, 0 = 5*g + p - x for g.
5
Let x be 23/(-2) + 5/10. Let j = x + 15. Solve -2*w + 2*a + 12 = 0, w - j*a = -4*w + 25 for w.
1
Let d = 17 - 15. Solve 0 = -2*h + 5*s + 23, 3 = -d*h - 5*s - 24 for h.
-1
Let q be 10/(-4)*(-4)/2. Solve -2*w + 2*m = -20, -4*w = w + q*m for w.
5
Suppose 4*h - 5*u + 13 = 0, -2*h - 8 = -3*h - u. Solve -l - 2*k - 3 = 3, 5*k = h*l - 4 for l.
-2
Let u(k) = 2*k + 1. Let t be u(0). Solve i - 4*q = -15, i - t + 19 = 5*q for i.
-3
Let n be (-92)/(-12) - (-2)/(-3). Let b = 15 - 4. Let z = 20 - b. Solve -2*x + f = -z, -x - n = 3*x + 3*f for x.
2
Suppose k = 4*k + 21. Let o = 2 - k. Let a(w) = -w**2 + 11*w - 13. Let c be a(o). Solve 5*s - c = 0, -2*v - s - 2 + 1 = 0 for v.
-1
Suppose s = r + 5, -4*s + 3*r + 17 = -0*s. Suppose m - 7*o - 11 = -2*o, -2*m + o = -4. Let q be (-6)/(-3) + m + s. Solve -h = -d, 2*h - 12 = -0*h + q*d for h.
-4
Suppose 4*q = -20 + 32. Solve -4*i = 3*p - 6, 0 = q*i - p - 3*p - 17 for i.
3
Suppose 0 = -2*i, 5*a + 0*i - 5*i = 60. Solve 0 = -x - x + 2*t - a, 2*x + 5*t - 23 = 0 for x.
-1
Suppose 3*k + 170 = 5*u, -5*k + 4*k = -u + 32. Suppose -u = -3*m + 5. Solve -m = -5*h - 2*r, -3*r + 14 = h + 3*h for h.
2
Suppose -7 - 1 = -2*m. Suppose -3*k + m*k = 2. Let q be 6 + 0/(0 - -2). Solve -p = k*x + 13, q - 1 = 2*x - 5*p for x.
-5
Suppose 4*x + 2*p = 0, 2*x - 5*p + 11 = x. Let b(g) = -8*g - 6*g + 21*g - 9*g. Let r be b(x). Solve 4*w + 6*c - r*c = 12, 0 = 3*w + c - 7 for w.
2
Let j = 32 + -16. Let n = 20 - j. Solve n*o - 12 = 0, h - 4*o = -5 - 6 for h.
1
Let r(t) = -3*t - 8. Let j be r(-6). Let s(n) = -3*n - 2. Let i be s(-4). Let b = i + -3. Solve -5*l + h + b = -3*h, 2*l + 2*h - j = 0 for l.
3
Suppose -8*w + 12 = -4*w. Solve 0 = -2*r - w*x - 2*x + 13, -x = -3 for r.
-1
Suppose -2*u - 2 = 5*s - 3*s, -9 = 4*s + 5*u. Let l be ((-5)/4)/(1/4). Let z = l - -11. Solve 5*q = -s*o - 5, 3*q + o - 20 = z*q for q.
-5
Suppose -4*v - 4*g = -8, -2*v + 0*v - 3*g + 7 = 0. Let i = 2 - v. Suppose i*m - 11 = 4. Solve -2*k - k = m*z + 8, -3*z - 5*k - 8 = 0 for z.
-1
Let n(p) = -p**2 - 10*p + 11. Let k be n(-11). Solve -6 = -5*f - 2*g, -5*f + k*g = -2*g + 6 for f.
0
Let u = 19 + -28. Let q = 6 - u. Solve 0 = -3*b + q, 2*d = -0*b - 2*b + 20 for d.
5
Let q = 14 - 10. Suppose 0 = -q*a + a + 3. Let w = 1 + 2. Solve 5*p = w*n - 26, 4*n - 11 = p + a for n.
2
Let z be -10*(-1 - (-15)/25). Solve -16 = -4*f, -y + z*f - 4 = 11 for y.
1
Let p(z) = z**2 + 6*z + 8. Let w be p(-5). Solve 2*g = -b - 3, w*b + 3*g - g = -1 for b.
1
Let n(y) = -y**3 - 6*y**2 - 6*y - 5. Let o be n(-5). Let x(s) = -s + 2. Let c be x(o). Suppose 23 + c = 5*q. Solve -q*t + 1 = 3*w, 0*t + 4*t = 5*w - 14 for w.
2
Suppose -7*a + 2*a = 0. Solve -5*j = 4*f + 1, -5*j - f + 11 = -a*f for j.
3
Let k = 0 - -12. Let p = 15 - k. Solve -p*a = g - 15 - 1, 5*g - 16 = a for a.
4
Let w(d) = d**2 + 15. Let p be w(0). Suppose 0*o = 3*o - 6. Suppose 0 = 3*s - 4*i - 8, 2*i + o = 3*s + i. Solve -4*g + g - 2*y = -p, 2*g + 4*y - 10 = s for g.
5
Let b be 2/10 - 59/(-5). Let z be b*6*2/16. Solve 0 = -3*i - w + 2, -4*i = -3*w + 2*w + z for i.
-1
Let x be ((-3)/(-2 - -3))/1. Let d = -2 - x. Suppose -2*t - d = -3. Solve 0 = -3*q - 2*u - t, -4*q + u - 19 = q for q.
-3
Let y = -2 - -7. Solve -3*v + l + 18 = 4*l, y*v = l + 12 for v.
3
Let b be 246/22 + 8/(-44). Solve 0 = -3*d - p + b, d + 2 = -4*p + 13 for d.
3
Suppose -4*t - 3*u + 0 - 2 = 0, t + 3*u = -5. Solve -3*n - n = -4*v - 4, v = -4*n - t for v.
-1
Let f be (-2)/((-32)/20 + 2). Let u = f + 11. Solve -u = -4*l + 5*i - 27, -3*i = -l - 14 for l.
1
Let i(g) = -g**2 - 3*g + 3. Let s be i(-3). Suppose -1 = -s*b + 8. Solve -3*z + b*f = -24, 20 = -0*f - 4*f for z.
3
Suppose 5*z - 28 = 2. Suppose n = -n - 5*k + z, 0 = -n - 5*k + 3. Solve 2*i + 0*i + 4 = 0, -14 = 4*y - n*i for y.
-5
Let i(l) = -l + 9. Let w be i(12). Let c = -3 + 4. Let r = c - w. Solve -r*d = -3*j + 8, -j + 3*j + 6 = -3*d for j.
0
Let p(x) be the second derivative of x**3/6 + x**2 - x. Let m be p(0). Let k be ((-3)/m)/(1/(-2)). Solve k*y - 21 = 5*o - 1, 4*y = -o + 19 for y.
5
Let u = -16 - -19. Solve 0 = f - 5*q + 25, -4*f - u = -q + 2 for f.
0
Suppose 9*f - 35 = 4*f + 5*q, -5*q - 15 = 5*f. Suppose 3*g - f = -8. Let s be 21/((-9)/(-3)) + g. Solve 8 = -5*c + 2*m, -3*m + 0 + 7 = -s*c for c.
-2
Let i = 31 + -13. Let b = i + -5. Solve 0 = -0*n - 2*n - 3*c - b, 0 = -4*n - c - 1 for n.
1
Let l(q) = -q**3 - q**2 - q + 7. Let p = 6 + -6. Let m be l(p). Solve -2*a - m = 3*t, 5*a = 3*t + t - 6 for t.
-1
Let o(c) = -c**2 - 12*c - 1. Let l be o(-11). Solve -2*r + 0 = -3*f - l, -r + 3*f + 11 = 0 for r.
-1
Suppose -5*n = -5*d - 105, -2*d - 3*d = 5. 