- 1 = -3*s - 5 for s.
-4
Let l(z) = z**3 + 5*z**2 - 5*z. Let s be l(-5). Suppose -s + 0 = -5*b. Solve x + 3*x = b*q + 12, -3*x - 2 = -q for x.
-2
Let g(t) be the second derivative of -t**5/5 + 7*t**4/12 + t**3/3 - 4*t. Let s be g(5). Let x be (-2)/4 + s/(-18). Solve -2*r - q + 3 = 16, -r = 4*q + x for r.
-5
Let d = 8 + -5. Solve 25 = 3*f - d*z + 7, -3 = z for f.
3
Let s(r) = 2*r**2 - 4*r**2 - 2*r + 3*r**2 + 1. Let h be s(2). Solve 3*b - 8 = -4*c + h, 4*b = -4*c + 8 for c.
3
Let q(i) = -2*i**2 + 6*i + 3. Let d be q(3). Solve 15 = -3*r, d*a + 2 = -0*a - r for a.
1
Let f(u) = u**2 + u + 2. Let a be f(-2). Suppose 2*c - 6 = -x + 3*x, -2*c = 3*x - 6. Suppose c*w = -w. Solve a*h + 5*g + 1 + 0 = w, 0 = 4*h - 5*g + 31 for h.
-4
Let t(m) = m - 2. Let y = -22 - -27. Let n be t(y). Solve i - 3 = -0*g + g, n*i + 5*g - 17 = 0 for i.
4
Suppose -2*s = -3 - 5, -4*s + 16 = -2*f. Let g be 4/3 + 2/3. Suppose f*v - x = 3*v - 13, -4*v + g*x = -4. Solve -3*p + 6 = v*h, 5*p - 6*h - 37 = -2*h for p.
5
Suppose 9*v - 34 = 11. Solve -10 - 10 = 3*q - 4*a, v*q = 4*a - 28 for q.
-4
Let s = -1 - -2. Let w = s - 1. Suppose w = q - 3*q. Solve -5*m - k = -3, -3*m - m + 3*k + 10 = q for m.
1
Let o be (2 - -2)/((-4)/(-3)). Solve 2*v = -o*n + 3 + 1, -5*v - 4*n + 17 = 0 for v.
5
Let o(l) = -l**3 + 6*l**2 - 4*l + 2. Let h = -5 - -8. Let j be o(h). Solve 5*c - 2*x = j, 5*x - 27 = -3*c + 2*x for c.
5
Let a be (-4 + 0 + 1)*(-2)/3. Solve a*d + 2*q - 3 = -3*d, 0 = -q - 1 for d.
1
Let p(c) = c**2 + 1. Let f be p(0). Let w be 15 - (2 - (f + 2)). Let n = -2 + 11. Solve -4*l - 7 - n = 0, -3*l - w = 2*a for a.
-2
Let k(m) = -m**3 + 4*m**2 - m - 1. Suppose -2*c + 8 - 2 = 0. Let x be k(c). Solve r - x*t = -12, -5*t - 6 = -16 for r.
-2
Suppose 6 = 4*q + 2*m, -q - 4*m - 11 - 5 = 0. Solve 5*g - 2*r = -0*r - 24, g = -q*r + 4 for g.
-4
Suppose 0 = 5*z - 0 - 15. Solve -23 = 5*r + w, -r + 2*w = z*w + 7 for r.
-4
Suppose -2*c - 4*g = -6, -4*g + 0*g - 24 = -4*c. Suppose -7 = s - 4*p - 1, -2 = 3*s + 4*p. Let h be 5*s/(10/(-3)). Solve -n = 0, -c*y + 2 + h = 3*n for y.
1
Suppose -5*a + 4*a + 21 = 5*y, y = 4. Let p be (a/4*0)/(-2). Solve p = 4*q - 0*c - 2*c - 8, 3*q = -3*c - 12 for q.
0
Let d be 1 - 4 - (-1)/(2/6). Solve 2*b - 3*h + 11 = d, 4*b - 2*h + 21 - 3 = 0 for b.
-4
Let z = 17 - 15. Let g(x) = -x**3 - 6*x**2 - x + 8. Let o be g(-6). Solve -5*k = 2*i - 15 + 4, -z*k + 4*i = -o for k.
3
Let r be (-4)/6 + (-7)/3. Let u = 8 + r. Suppose 4*f - 8*f + 21 = -3*d, u*d = 4*f - 19. Solve 2*o - 4*o - 4*v - 4 = 0, f = -3*o + 4*v for o.
-2
Let x(n) = n**3 + 6*n**2 + 2*n - 4. Let s be x(-5). Suppose h = v - 18, 0 = -v - h + 11 + s. Solve 3*a - 4*w + v = 0, 5*a - 2*w = -11 - 13 for a.
-4
Let y be ((-5)/10)/((-3)/24). Solve 4*j - y = -5*i, 8 = -2*j + 4*i - 16 for j.
-4
Suppose 5*u = -2*r + 5, 3*r + 5*u - 6*u = 16. Suppose -3*m - m = -r*n - 65, -5 = n. Solve -2*o = -4*y + m, 4*o + 5 = -y + 3 for y.
2
Let i be 2/(4/(-5))*-2. Solve 0 = i*a, 2*u + 2*a + 0*a = -8 for u.
-4
Suppose -2*w + 0*k + 12 = 4*k, 3*k - 11 = -2*w. Solve -21 = 4*a - 3*z, -3*a = w*z - 0*z - 3 for a.
-3
Let s(t) = 5*t**2 - 2*t + 1. Let p be s(1). Suppose -82 = -5*x + p*m, 4*x - 44 = -0*x - 4*m. Solve -2*o = 2*d + x, 3*o + 25 = -4*d - 0*o for d.
-4
Let h = 2 + 1. Let m be h*(-2 + (-24)/(-9)). Suppose d - m*d = -1. Solve 0 = -3*y + 5 + d, 6 = -4*t - y for t.
-2
Let k = -18 - -22. Solve -2*z = 3*z - 3*n + 12, -k*n = -z + 1 for z.
-3
Suppose 25 - 5 = 4*d. Solve 5*p = -d*i + 10, i - 16 = -i + 4*p for i.
4
Let y(c) be the first derivative of -c**4/4 + c**3/3 + c**2/2 + 3*c + 3. Let f be y(0). Solve 2*u + 3*z = u + 14, 4*u - 11 = f*z for u.
5
Let o be (-4)/(-18) + (-148)/18. Let b = -5 - o. Solve -b*l - 25 = 2*f, 35 = f - 5*f - 3*l for f.
-5
Suppose f = s, 0 = s - 3*s + 3*f - 2. Suppose y - 8 = s. Suppose -v = 0, -2*n + y = -v - 4*v. Solve 3*d - 2*g - 2 = 0, n*d + 5*g = -47 + 17 for d.
-2
Let d(w) = w**3 + 8*w**2 - 3*w - 9. Let g be d(-8). Let m be (6/5)/((-3)/g). Let t = -6 - m. Solve -3*b - 4*u + 10 = 0, u + t = 1 for b.
2
Let c be 26/(-39)*(2 + (-62)/4). Solve -t - 2*t - 2*a = -6, 3*a = 3*t + c for t.
0
Suppose p = 4*t - 0*p - 22, 2*t = 2*p + 14. Suppose s = t*s - 12. Solve 0 = -s*a + 4*l + 7, -3*l = a - 0*a - 11 for a.
5
Let q(u) = u**3 + 6*u**2 - 9*u + 1. Suppose -3*a - 4*r - 17 = 0, -a - 5*r - 1 = 1. Let s be q(a). Solve -4*y - 6*g + g = s, 3*g - 28 = 5*y for y.
-5
Suppose 0 = 5*v + 3*a - 3 - 0, -2*v + 2*a - 2 = 0. Let z(p) = -p + p - p + v. Let n be z(-6). Solve m = -5, -m - m = -h + n for h.
-4
Let w(c) = 6*c**2 + 2. Let m be w(2). Let s = m - 10. Solve -5*z - 2*k + 0 + 22 = 0, 4*k + s = 5*z for z.
4
Suppose 2*y = -4*w + 22 + 50, -4*w + 124 = 4*y. Solve 3*a = -5*c + y, 5*c = -a + 3 + 19 for c.
4
Let y be 1 + -1 - (-13 + 5). Suppose q + q - y = 0. Solve -3*k = -6*k - 4*d + 4, -q*k - 2*d = 8 for k.
-4
Suppose -3*v = -6 - 6. Suppose -v*r = -7*r. Suppose 4*h + 2*f - 7 + 1 = r, 3*h + 3*f = 0. Solve 0 = 2*n + 5*b - 21, 0 = -4*n + 2*n + 3*b - h for n.
3
Let w = -14 + 28. Solve 0 = 4*u + k + w, 2*k = 3*u + 9 + 7 for u.
-4
Let o = -22 - -39. Solve -5*v + c = -c - o, -c + 14 = 2*v for v.
5
Suppose -4*v + 2 = 4*m - v, -5*v - 10 = 0. Solve 0*z - 4*z - 10 = m*x, -5*x = 2*z - 7 for z.
-4
Let a be (1 - 4)*(-5)/3. Suppose 5*o + 20 = -4*c, -5 = -a*c + 2*o + 3. Solve 2*d - 10 = c, -4*q - 4*d + 5 = -q for q.
-5
Let p be 4 - ((-2)/2 + 2). Suppose -a = p*a - 8. Suppose -5*c + 17 = -j, -2*c + 2*j + a*j = -14. Solve 32 + 3 = -2*b - 5*r, 2*b + 25 = -c*r for b.
-5
Let n be 4/6 - (-1)/3. Let c be (1 + (2 - 4))/n. Let b be (-55)/(-10) - c/(-2). Solve 4*r - 3*k + 0*k = 15, -b*k = -5*r + 20 for r.
3
Let s(n) = n**2 - 5*n + 4. Let l be s(4). Solve l*g + 4*o - 4 = 2*g, o = 3 for g.
4
Let y be (1 + 1 - 1)*11. Solve 5*p + y = 4*u, -2*u + 6 + 3 = p for p.
1
Let y(n) = -n**3 + 10*n**2 - n + 14. Let d be y(10). Let i be (-4)/16 + 13/d. Solve 3*w - 4*v = -10, i*v + 0*v = -w + 14 for w.
2
Let j(a) = a + 2. Suppose 5*r + 5*b + 20 = 0, 2*b = -4*r + b - 4. Let o be j(r). Solve o*d + 3*d - 10 = -2*m, -3*d = 5*m - 6 for d.
2
Let v be (60/40)/((-6)/(-8)). Solve v*j - 1 = u - 7, -3*u + 2*j = -10 for u.
2
Suppose -3*s = 6, 0 = 5*z - 4*s + 9 + 3. Let g = -1 - z. Solve -i + 22 = -5*k, i = g*k + 6*i + 30 for k.
-5
Let k be 19/76 - (-30)/8. Solve -5 = 2*s + 5*z + 2, 0 = -3*s - k*z for s.
4
Suppose p - 6*m + m = -3, 5*p - 4*m - 48 = 0. Let b be (-10)/(-6)*p/4. Suppose -2*k - 4 = j - 1, -5*j = k + 15. Solve -b*g - 2*n - 15 = k, g + 6 = -g - n for g.
-3
Let h = -41 - -71. Suppose 7*v = 4*v + h. Solve 0 = 4*s + 4*b + 16, -4*b - 6 - v = -4*s for s.
0
Suppose 3*c + 2*c - 10 = 0. Suppose -5*v - 13 = -3*s + 8, -c*v = 3*s. Solve 3*j = -s*j + 5*r + 15, 2*j = -2*r - 14 for j.
-2
Let l = 22 + -17. Solve 5*c - 20 = -2*t + 3*t, -t + 2*c = l for t.
5
Suppose -3*r - 2 = -5. Let q be (-16)/(-6) - 2/(-6). Solve o - r + 5 = q*m, 8 = -2*o - m for o.
-4
Let x(a) = a**3 + 6*a**2 - 2*a - 9. Let w be x(-6). Suppose -2*m + 40 = -d, 51 + 19 = w*m - 4*d. Let n = m + -13. Solve s - 6*s + 25 = -f, 25 = 2*f + n*s for f.
0
Suppose 4*f = -5*p + 73, p + 9 = 2*f - 10. Solve -4*c + 2*h - f = 0, 2*c + c + h + 4 = 0 for c.
-2
Let q(c) = c**3 + 14*c**2 - 3*c - 30. Let p be q(-14). Solve 4*i = -4*n + 8, 0 = 3*n - 6*n + p for i.
-2
Suppose -5*j + 2*j = -w + 42, 5*j - 26 = -w. Solve -2*t + 3*v - 2*v - 4 = 0, 4*t + w = -5*v for t.
-4
Let y(b) = 2*b - 2. Let l be y(4). Let r be (1/3)/(1/l). Suppose 5*s = 10*s - 20. Solve -m = m - z - s, -r*z - 2 = -2*m for m.
3
Let o(x) = x - 11. Let b be o(6). Let r be (6/(-10))/(1/b). Let v(m) = m**2 + m + 3. Let h be v(0). Solve h*n - r = d, 4*d - 3*n = 2*n - 12 for d.
-3
Let z be ((-116)/2)/(-2 + 0). Solve -5*n - z = 3*g, 2*g - 3*n = 2 + 4 for g.
-3
Suppose -2*c + 3*c = 5. Solve 11 = 5*i + 3*m, -i + 3*m = -2*i - c for i.
4
Suppose -12*k - 5 = -29. Solve 4*i - v = k, 2*i - 2*v - v - 6 = 0 for i.
0
Let d be 5 + (24/4)/(-3). Solve -3 = z - 3*g, -2*g = d*z - 0*z - 13 for z.
3
Let r(u) be the third derivative of -u**6/120 - 7*u**5/60 - 7*u**4/24 - 2*u**3/3 + 3*u**2. Let o be r(-6). Solve 0 = -2*v + 2, 2*m - 3*m - v = o for m.
-3
Let r be -2 + -1 + 5 - -3. Suppose -13 = -r*t + 2. Let v = t + 0. Solve v*h = -3*o + 27 - 0, -4*o = 3*h - 32 for h.
4
Suppose -1 = -2*v + 7. Suppose v*s = -0*s + 16. Solve -2 = 3*