5
Let t(p) = -2*p**3 + p**3 - 3 - p**2 + 0*p + 2*p. Let k be t(2). Let a = k - -16. Solve 4*f + 17 = -3*q, -11 = -2*f + a*f + 4*q for f.
-5
Let o be (0 + 2/(-4))*0. Let k be 3 + (-5 - o) + 9. Solve 3*p + k = 2*p - 2*i, 3 = -3*i for p.
-5
Let c be (-8)/(-3) - ((-33)/(-9) - 3). Solve -5 = -5*j + 5*u, -4*j - 8 = c*u - 30 for j.
4
Let j(o) = -o**3 - 13*o**2 + 13*o - 3. Let v be j(-14). Solve 5*c + a - 18 = 0, -5*c - 3*a + v = -13 for c.
3
Suppose -36 = -4*m - 8. Suppose -3*l + m*l = 0. Suppose -4*o + 16 = -3*b, 0*o - o + 2*b + 4 = l. Solve f = -2*a + 3*a, 2*a = -o*f - 24 for a.
-4
Let d(b) = b**2 + b + 2. Let n be d(0). Solve -5 = -5*t + n*f + 2, -t - 17 = -5*f for t.
3
Suppose -24 = -3*s + 3. Suppose 9 = m + a, 4*m + 0*m + s = 5*a. Suppose 0 = 4*q - 0*q - m*z - 4, 0 = 2*q - z - 1. Solve 5*l + q + 8 = -v, 3*v - 5*l = -4 for v.
-3
Suppose 3 = -l + 18. Solve 4*p - 5*m = -1 + 13, 0 = 5*p - 2*m - l for p.
3
Let s = -4 + 6. Suppose 0 = 4*b - 3*j - 9, -4*b + s*j = 5*j - 15. Solve 4*g - 21 = 4*x - b*x, 0 = 5*x - 3*g + 20 for x.
-1
Suppose -2*r = 2*b - 5*b + 1, 23 = 5*b + 2*r. Solve -4 = 5*z + 4*n - 11, -5*z - b*n = -9 for z.
3
Suppose -2*f = 2*p + 2, -31 + 8 = -p + 5*f. Let o = -12 + 17. Solve -6*r - 19 = o*y - p*r, -4*y - 16 = 2*r for y.
-5
Suppose 5*t + 1 - 7 = -3*z, 0 = z + 4*t - 2. Let s be (z/1)/(4/10). Solve g - 3 - 3 = 2*k, 0 = -s*g + 10 for k.
-2
Let i be (-2)/(-2) + 3 + 0. Let m be -2 + 0 - (-115)/1. Suppose -5*b + 15 = 0, 4*s - 12 - m = b. Solve 0 = 3*d + 5*n + s, 5*n = 4*n - i for d.
-4
Suppose 0*x + 1 = x + d, -1 = 2*x - d. Solve 0*w = 3*w + g - 1, -2*w - 3*g - 11 = x for w.
2
Let y(m) = -m**2 + 8*m - 8. Suppose t - 3 = -a + 7, -t = 2*a - 14. Let h be y(t). Solve 8 = -h*o + r, 4*o + 3*r = -o + 7 for o.
-1
Let i(r) = -r**3 - 4*r**2 - 2*r + 2. Let g be i(-2). Let l be 27/g + (-1)/2. Let y = l + 20. Solve -5*k + 3*k + y = -4*a, -5*k + 26 = a for a.
1
Let i be (-2)/(-11) - 552/132 - -7. Solve -i*q + 27 = -3*k, -q - k = 2*k + 11 for q.
4
Suppose -24 = -10*a + 2*a. Solve q = -5*b - 16, 0*q + 24 = 3*q - a*b for q.
4
Suppose -12*x = -10*x. Solve -4*w + q + 6 = -1, x = q + 3 for w.
1
Suppose 25 = 4*b + b. Suppose 0 = -0*o - b*o. Solve o = l - 0*l - w + 3, 3*w - 9 = 2*l for l.
0
Let t = -40 - -43. Solve u - 7 = -3*l + 5, 3*u - t*l = 0 for u.
3
Suppose -2*z - 2 - 14 = 0. Let a = -6 - z. Solve -m + 2 = 2*o, -a*o + 0*o - 5*m = 14 for o.
3
Suppose 5*y - 2*k - 40 = -4*k, 5*k + 65 = 4*y. Let b = y + -6. Let d be 8 + b/2 + -2. Solve u = -2*o - d, 4*u + 18 - 4 = o for o.
-2
Let d be (-6)/24 + (-34)/(-8). Suppose 0 = -7*l + 3*l - 24. Let u = l - -9. Solve -m - 2*m = 4*s - d, 0 = 4*m + 3*s - u for m.
0
Let q be (-29)/(-9) + (-6)/27. Let p be (-2 + 4)/(2/4). Let x be 25/3 + (-2)/6. Solve -p*g - q*m = -x - 14, -6 = -g - m for g.
4
Let f(r) = r**2 - 4*r + 2. Let s be f(4). Let d be (1 - s)*1 + 35. Solve -4*c + d = k + 12, -c + 7 = k for k.
2
Let i = -8 - -11. Let b(y) = -2*y - 12. Let u be b(-8). Solve -t - u = -4*v + 4, 3*t + i*v = -9 for t.
-4
Let z be 1/(-4) + (-1182)/8. Let a be 4/(-6) + z/(-6). Let t be (6/4)/(6/8). Solve -4*n - 4*s + a = 0, t*s - 5*s = -3 for n.
5
Let u(l) = l**3 + 3*l**2 - 2*l - 1. Let p be (2/3)/((-6)/27). Let v be u(p). Solve v*i + 5 = 5*r, -2*r - 29 = r + 5*i for r.
-3
Let h(l) = l**3 + 3*l**2 - 3*l - 1. Let n be h(-4). Let r be 1 + -3 + -1 - n. Solve 0 = 2*i - 4*u + 24, -6 = -r*i - 4*u + 2 for i.
-4
Let o(p) = 3*p + 9. Let n be o(-7). Let c = -9 - n. Solve -3*u - 20 = 4*d, -6*d - 15 = -c*d - 5*u for d.
-5
Let y(j) = -j**3 - 17*j**2 - 16*j + 3. Let u be y(-16). Suppose -u*c + 11 = 4*a - 35, 14 = c + 2*a. Solve 0 = -3*x - 4*d - 20, -2*x - d = 2*x + c for x.
-4
Suppose -5*p + 2 = 3*x - 12, 0 = 4*x - 3*p - 38. Solve -w = 5*m - x - 1, -4*w + 21 = 5*m for w.
4
Let l be 2/(-7) - 583/(-7). Suppose -4*z = -21 - l. Solve s + 2 = -2*p + 5, 2*s - 4*p + z = 0 for s.
-5
Let q(a) = a**2 - 5*a + 5. Let b be q(5). Solve x - b*x - 2*k + 20 = 0, 5 = x - 5*k for x.
5
Suppose -4*k - 3*n + 67 = 0, -5*n - 43 = -0*k - 3*k. Let p = -11 + k. Suppose -l = 4*g - 23, 3*g = 3 + 12. Solve 4*z = l*x - 5, 2*z + 3*z - p*x = -5 for z.
-2
Suppose 0 = -3*g - 98 - 166. Let m be (g/10)/((-2)/5). Solve -2*y - 7*i + 3*i - m = 0, 5*y - 2*i = -19 for y.
-5
Suppose 4*g - 10 = -g. Suppose -k + 3*j = 2*j, g*k = 4*j - 10. Let n(u) = u**2 - 2*u + 2. Let a be n(3). Solve z = -k*o + o - 13, z + 17 = -a*o for z.
3
Let h be (-1045)/(-35) + (-2)/(-14). Solve 4*l + 2*d + 4 = h, 2*l = -2*d + 18 for l.
4
Let i = -1 - -6. Suppose 18 = i*t + 2*m, t - 5*m = -3*m - 6. Solve -c + 5*d - 30 = 0, c - d = t*c for c.
-5
Let c be 2 + (4/5)/((-30)/(-225)). Solve o + 10 = -5*w, 0 = 3*w + 2*o - o + c for w.
-1
Let o be (10/6)/(1/12). Let d = 35 - o. Solve -5*p = -2*u + d, -4 = 5*u + 4*p + 8 for u.
0
Let w(f) = -9*f + 20. Let o be w(2). Solve -5*m = -o*b + 6, 6*b - 2*m - 15 = b for b.
3
Let g = -4 - -10. Let n = g - 4. Solve -h = -3*s + h + 23, s = n*h + 13 for s.
5
Suppose -2*f + j + 22 = 0, 3*f - 2*f = 3*j + 16. Solve -3*q + 5*h = 2, 0 = 5*q + 4*h + h - f for q.
1
Suppose -c + 23 = 14. Let r = 10 - 5. Solve r*j = -2*y - 3, -2*j = -y + 3 - c for j.
1
Let n(m) = 15*m - 6. Let c be n(2). Solve -8 = -2*a - 4*b, -a = a - 4*b + c for a.
-4
Let c be ((-12)/(-10))/(12/20). Solve -c*p + o + 0 = 1, p = -2*o + 12 for p.
2
Let r(k) = 6*k - 1. Let v be r(5). Solve 4*c - 40 = 5*p, -5*p + 5*c - 16 - v = 0 for p.
-4
Suppose m + 18 = 3*m. Solve 2*d + 8*w - 4*w = 22, d - 3*w = -m for d.
3
Let d be (-30)/(-7) - (-4)/(-14). Let n = d + 15. Suppose -9*v = -0*v - 45. Solve 3*c + v*a = -n, -c - a - 4 = -1 for c.
2
Let j(u) = u - 4. Let b(q) = -q + 16. Let c be b(0). Suppose c = -0*p + 2*p. Let s be j(p). Solve -5*h + 2*f = -2*h - s, -3*f = 3*h - 9 for h.
2
Let l be 5*1/(2/4). Let n = 12 - l. Solve f - 2*k = 8, 3*f - 2*k = -n*f for f.
-2
Suppose 6 + 3 = 3*b. Solve 2*h + b*a = -12, 0*a + 11 = -5*h + 2*a for h.
-3
Let t(w) = 2*w + 1. Let j be t(2). Solve -3*r = -2*q - r - 6, 4*q + 16 = j*r for q.
1
Let a = 1 - 0. Let c(x) = -x - 3. Let o be c(-2). Let i = o + a. Solve r - 3*t - 7 = 3*r, 2*r + 4*t + 12 = i for r.
4
Let a(c) = c**3 + 6*c**2 + 5*c + 3. Let f be a(-5). Let b be -6*(-1 - 0) - 1. Let p be (0 - -2 - 2) + b. Solve -3*z - p = -v, v - f = -1 for z.
-1
Suppose -3*t + 2*t = -11. Solve -h - b - t = b, 3*b + 12 = 3*h for h.
-1
Suppose -35 = -5*j - 4*n, -4*n + 11 = -4*j + j. Solve 0 = j*m + 2*t + 15, 4*m = 5*t - 3 + 6 for m.
-3
Let u be 3/1 - (2 + 5). Let h be 1 - -1 - (-8)/u. Solve 5*w - 45 = -4*o, h = -o - 0*o - 5*w + 30 for o.
5
Suppose -11 = c - 14. Solve -c*q - u - 10 = 0, -q - u = -0*u for q.
-5
Let a(q) = -q + 10. Let v be a(7). Solve -l - 9 = -4*l, -5*l = 3*c - v for c.
-4
Let u(q) = -q**3 - 3*q**2 + 9*q + 5. Let k be u(-5). Solve 5*t + k = -5*r + 3*t, -5*t - 25 = 2*r for r.
0
Suppose 0 = 3*q + 3*o - 4*o - 19, 0 = -q + 5*o + 25. Suppose -q*j + 9 = -2*j. Solve -5*p = -3*y - 31, -2*y = -3*y - p + j for y.
-2
Let y(u) be the third derivative of u**4/12 - u**3 - u**2. Let c be y(6). Solve -k + 0 = 1, -2*g + c = -2*k for g.
2
Suppose r - n + 15 = 6*r, 0 = -r + n + 9. Solve 5*o = 2*h + 6, 2*h + h = -r*o - 9 for h.
-3
Suppose -g - 4*g = 2*r - 17, 5*g = 5. Suppose 4 = -4*m, 1 = -z + 3*m + r. Solve 5*l - f - 26 = 0, -f = z*l - 4*l + 11 for l.
5
Let j be -8 + (0 - (-2)/2). Let f(y) = -y**3 - 7*y**2 - 3*y - 3. Let u be f(j). Solve -5*w = 2*o - u, -5*w - 4*o = -4*w for w.
4
Let g be 2 - 3/(6/4). Solve 20 = -4*z + 5*f, g = -z + 4*f - 8 - 8 for z.
0
Let g(i) = i**3 + 12*i**2 + 10*i - 8. Let j be g(-11). Let l be 8 - (4 - j)*2. Solve 2*b = -r - r - l, -3*r - 5*b - 19 = 0 for r.
2
Suppose 8*r = 5*r. Let j be r/4*(-1)/(-2). Suppose 2*l = -l + 3*v - 12, -5*l + 4*v - 16 = j. Solve 5*i - 2*q - 6 = l, -3*q - 10 = -2*i - 1 for i.
0
Let m = -15 - -19. Solve 4*w - s = 12, -m*w - 3*s = -3*w - 16 for w.
4
Suppose b - 112 = 15*b. Let r be (-2)/7 - (-186)/14. Let l = b + r. Solve 0 = -3*j - 5*u + 14, l*u - 9 + 1 = -j for j.
3
Suppose 3*c - 3 = 0, 0*u - 20 = -3*u - 5*c. Solve z + 26 = u*d, 29 = 5*d - z - 3*z for d.
5
Let u be ((-1)/2)/((-1)/10). Let s be 8/(-20) - 27/(-5). Suppose -u*f + s = 3*h, -3*h - f = f - 11. Solve 20 = 5*k + 5*q, -q + h = 2 for k.
1
Let u(n) = 3*n - 1. Let q be u(1). Solve q*i - 2 = c + 6, -2*i + 14 = 2*c for c.
2
Let h 