*5/60 - s**4/6 + 2*s**2. Let b be d(-3). Solve 3*z + 10 = -t, b*t + 2 + 12 = -z for z.
-2
Suppose 0 = -6*s + 4*s + 8. Solve -s = 4*u + v + 1, -2*v = 4*u + 6 for u.
-1
Let n = -8 + 11. Suppose 0*w + 27 = n*w. Suppose 3*b = -0*b + w. Solve 0 = -4*k + b*l + 11, 7*k - 2*l = 2*k + 12 for k.
2
Let m be 12/27*3*3. Suppose 4*o = 2*s + 24, -5*o - 4*s + 56 = -0*o. Solve -2*n - o = 2*x, n - 1 = m*x - 0*n for x.
-1
Let l(y) = -3*y - 12. Let c be (1 + (-1)/2)*-18. Let o be l(c). Solve 0 = 4*v - 2*r + 18, -o = 6*v - 2*v + r for v.
-4
Let m(p) = -3*p - 2. Let t be m(-2). Suppose t*x = -0 + 20. Solve 5*g - 2*s - 26 = 0, -x*s - 2 + 7 = 5*g for g.
4
Suppose 29 = d + 2. Suppose 6 = -s - 4*x, -12 = -5*s + 3*x - 2*x. Solve 0*v = 5*l + s*v + d, 2*l + 6 = 4*v for l.
-5
Suppose 3 = 2*q + 3*k, 0 = -0*q + 3*q - 3*k + 3. Solve q = i - 0*x + 3*x + 7, 9 = -i - 5*x for i.
-4
Suppose -11 = -m - 9. Solve -2*h + 5*r + m = 6*r, -2*r + 4 = 0 for h.
0
Let t(g) = 4 - g - 7 + 3. Let p be t(-2). Solve -p*n = -0*n + 5*x + 18, 17 = n - 4*x for n.
1
Let q = -12 - -14. Solve 3*b + 3 = q*v, 2*b + 2*v + 4 - 12 = 0 for b.
1
Let x be 9/4 + (-1)/4. Suppose 0 = x*r - 3*r. Solve -4*j = -2*g - 6, r = -g - 2*g + 2*j + 7 for g.
5
Let u = -12 - 2. Let y be u/(-77) - (-20)/11. Solve -5*f = -2*s - 11, 0 = 3*f + y*s - 5*s - 3 for f.
3
Let l be (108/24)/(2/4). Let d be (-2)/l - 418/(-99). Solve -5*f - 5 = d*x, -5*f + x - 5 = -0 for f.
-1
Let n = -10 + 14. Solve d - n*v + 25 = v, 3*v = 2*d + 22 for d.
-5
Let y be 10*(2 + -1 + -2). Let g be 15/(-5) + (-2 - y). Let k be (12/(-10))/(4/(-10)). Solve -5*a - 7 = 2*u, 1 + k = -g*a + u for a.
-1
Let g(i) = -i - 1. Let t be g(-5). Suppose -r + t*r - 9 = 0. Solve -k - k + 4 = -4*h, -16 = 5*h + r*k for h.
-2
Suppose -2*v = -0*v + 4. Let m be -5*1*v/(-5). Let b be 0 + m/1 + 2. Solve -3*i = 2*z - 6*z, b = 2*z + 5*i for z.
0
Let b(f) = -f**3 - 7*f**2 - 5*f + 10. Let s be b(-6). Solve 3*w + 12 = 5*t, 2*t - 6 = s*w + 10 for w.
-4
Let p(f) = f**3 - 8*f**2 + 9*f - 10. Let t be p(7). Solve -3 = w, -w - 30 = -5*j + t*w for j.
3
Let j(s) = -s + 17. Let c be j(8). Solve 5*d + i = 10, d - 3*i + 5 = -c for d.
1
Let w be (2/5)/(1/55). Suppose -7 = -3*a - 4*y + w, -3*y = -5*a. Solve -4*z = -g + 5, a*g = g + 3*z + 5 for g.
1
Let a be (2 + -5 + 1)/((-48)/120). Solve -a*n = 0, -5*p - 15 = 4*n + 5 for p.
-4
Let i(a) be the first derivative of a**4/4 - 4*a**3/3 + 3*a**2/2 - 1. Let f be i(3). Let x be 0 - (16/(-1) - f). Solve -r + x = -z - 3*z, r - 12 = 3*z for r.
0
Let l be (-15)/2*8/(-6). Suppose 2*k = -2*k - u + 22, -3*k = u - 16. Suppose k*z - z - l = 0. Solve -2*w = -2*i + 10, -z*w - 6 = -i + 4 for w.
-5
Suppose -15 = -4*f - 3*x, f + 3*x - 4*x + 5 = 0. Let y(w) = 2*w + 2. Let k be y(f). Solve 5*h - 2*a - k*a = -18, 3*a = -2*h + 2 for h.
-2
Suppose 4 = 2*f - 0*f. Suppose -17 = -2*g - 5*k, -4*g + 34 - 11 = -k. Suppose q - g = -f*q. Solve -3*a = t - 4*t - 6, a = q*t + 5 for a.
-1
Suppose 2*s + s - 3 = 0. Let d = 1 + s. Solve -4*u - 2*f = -5*f - 16, 3*f + 8 = d*u for u.
4
Let s = 19 - 19. Solve 2*k - 9 - 1 = -2*u, 3*u - 2*k - 10 = s for u.
4
Suppose -23 = 4*l - 143. Suppose g = -g + l. Solve u = 5*t - 23, -u = 4*u - 5*t + g for u.
2
Let l(x) = x**3 - 2*x**2 - 2. Let d be l(2). Let q be (d - -4)/(4/10). Solve -q*k = -3*k - 2, -5*n = 2*k + 8 for n.
-2
Let h = 3 - 1. Solve 5*q + 14 = -h*o + 1, 17 = 3*q - 5*o for q.
-1
Let t = -161 - -231. Suppose -d - d = -t. Solve c = 2*y - 4*c + d, 0 = y - 3*c + 20 for y.
-5
Let m be 15/(-2)*(-2)/3. Suppose -6*z = -z - 15. Solve m*k = 25, 5*k - 27 = q - z for q.
1
Let d = 58 + -58. Solve d = 3*i + 5*n - 10, 3*i - n + 0*n = -20 for i.
-5
Let p(j) = 30*j**2 - j. Let l be p(1). Let h = l + -40. Let d = 17 + h. Solve -5*m = -3*x + 13, -20 = d*x - x for m.
-5
Suppose 0 = -2*u + j - 0*j - 11, -2*u - 5*j - 29 = 0. Let o = -3 - u. Solve -2*m + 4 = -p, 2 + 6 = -2*p - o*m for p.
-4
Let j be 4 + 5*1/5. Solve 0*b - b + q = 1, -j*b + q = 9 for b.
-2
Let z be 3 + -4 - 0 - -3. Solve 7 = -z*d + 3*b - 2*b, -4*b = -4 for d.
-3
Let a = 5 - -4. Solve r = 2, -t + 5*r = a - 2 for t.
3
Let c be 2 + -1*(-16)/(-2). Let j(r) = -467*r**2 + 3 - 2*r + 466*r**2 - 6*r. Let w be j(c). Solve w = 3*n + 2*m - 7, 0 = 5*n - 4*m for n.
4
Suppose -32 = -5*d + 8. Let c be 2/(-8) - (-2)/8. Solve -j + 2*j + 4*p = 0, j - 4*p + d = c for j.
-4
Let o be (-5)/1 - (2 - 4). Let b be -4*(-1)/2*o. Let p be (-136)/(-14) - b/21. Solve -p = -q - 3*r - 0*r, 3*r - 11 = -2*q for q.
1
Suppose 0 = 6*j - 15 - 15. Solve -j*q + 0*q = -2*u - 31, -5*u - 40 = -5*q for q.
5
Let k = -22 - -27. Suppose 28 = k*x - 7. Solve i + x*b + 12 = 3*b, -5*b - 8 = 3*i for i.
4
Let f(y) = -y - 4. Suppose -2*r = 5 + 7. Let k be f(r). Solve -4*w + k = -3*u, 0 = 2*w - 4*u - 3 - 3 for w.
-1
Suppose 2*c - 12 = -4*c. Solve 0 = -c*z - 2*x + 8, -z + 5*z - 2*x = -2 for z.
1
Let b = -12 + 14. Suppose a + a - b = -2*u, 0 = a - 5*u - 13. Solve 2*v = 5*j - 0 + 1, -5*j - 4 = -a*v for v.
3
Let l(m) = m**3 - 5*m**2 + 2*m - 5. Let c be l(5). Suppose 15 = c*v, -5*v + 27 = -z + 4*z. Solve 4*x - 3*i - 31 = 0, -2 - 6 = 3*x + z*i for x.
4
Let h = 0 - -1. Let z = h + 2. Suppose 5*t + 9 = -3*w, -3*t + 3*w = w - 6. Solve -z*c = r - 2*c + 1, t = -4*r + 5*c + 23 for r.
2
Suppose 5*o + 2*l + 4 = 3*o, -12 = 4*l. Let i = o - 2. Let a = i - -13. Solve m - a = -3*c, -7*m - 4*c = -2*m - 5 for m.
-3
Let k(o) = 2*o**2 + 3*o - 4. Let l be k(-3). Let m be -2 + 1 + l + -1. Solve -5*w + 5*b = -15, 4*w + 2*b + m = b for w.
0
Suppose 0 = -u + 184 - 183. Solve w + 17 = -3*s, 3*w - u = -s - 20 for w.
-5
Let p = 1 - 2. Let c = p + 5. Suppose 0 = 2*g + 2*g - c. Solve -m = -g, -5*i = -m - 0*m - 4 for i.
1
Suppose 0 = -5*c - r + 12, 4 = -c - 2*r + 5*r. Solve f - 4*q = c, -2*q = -0 + 2 for f.
-2
Let o = 7 + -4. Suppose -9*d + 6*d = 11*d. Solve -7*r + o*r + 2*v - 16 = 0, 5*v - 10 = d for r.
-3
Suppose f + 4 = 0, -5*m - 41 = -10*m + 4*f. Solve 24 = -2*c - c - 3*j, 15 = -m*j for c.
-5
Let b(r) = r**2 + 6*r - 7. Let w be b(-7). Suppose 5 + w = y. Solve 0 = -3*i + 5*i - 2*q - 14, -y*i - q = -5 for i.
2
Let z = 19 - -21. Solve -w = 3, 0 = k - 6*k + 5*w + z for k.
5
Suppose 4*o + 64 = 4*t, -t - o + 8 = -0*o. Let v be (2/4)/((-3)/t). Let z = 1 - v. Solve 0 = 2*q + z*s + 2 + 8, -2*s - 12 = -4*q for q.
1
Suppose 2*m + 6 = -2*f + 7*m, -4*m + 6 = -2*f. Let i be (f - -2)/(2/(-12)). Let c be 5 + 0 + -1*1. Solve -c*w + 2*z = 0, -i*z - 7 = -w - 2*z for w.
-1
Let s(j) = j**2 + 6*j + 1. Let b be s(-6). Suppose -m - 4*a + 10 = 0, -5*a + 14 = m + 2. Let k = m + b. Solve h = 5*l - k - 0, -3*l = -2*h - 6 for l.
0
Let q(t) = 5*t**2 - 5*t - 4. Let l be q(-4). Suppose -3*f = 9, 7*z + 3*f - l = 2*z. Suppose 9*a - 4*a = 20. Solve -2*p - a = -y + p, z = -3*y - 2*p for y.
-5
Let v(b) = b**3 - 7*b**2 - 8*b + 6. Let g be v(8). Let i = g + -4. Solve i*j - 2*q = -10, q = -5*j + 3*q - 16 for j.
-2
Suppose -21 = -5*i + 2*i - 5*x, 0 = -x. Let k = 9 - i. Suppose -3*o + 2*o = -k. Solve 2 = -5*m - 3, -8 = -o*f + 2*m for f.
3
Let o be 8/(-36) - 6/(-27). Solve o = -3*q + 5*g - 17, 4*g = 4*q - 1 + 21 for q.
-4
Suppose -24 + 16 = -4*v. Solve 3 = -f + 4*x - v, 0 = 5*f + 3*x - 21 for f.
3
Let f(y) = -y**3 + 9*y**2 - 8*y - 3. Let d be f(8). Let k be -1 - (6 - (0 + 2)). Let j = d - k. Solve -5*s + j*m = 1, -m = -4*s - 3*m + 10 for s.
1
Let t be 3*(16/6)/4. Suppose 0*f = t*f - 26. Let y = f + -9. Solve 2*w = -5*i - 3, i + i = 2*w - y for w.
1
Suppose 0 = -2*m + 3*t - 3, -t - 6 = -4*m + m. Let w = -3 + m. Suppose 3*d + 14 - 41 = w. Solve 3*j = 3*u - 15, 0 = -2*j + 5*j + 3*u + d for j.
-4
Let q be (0 + 2)/(-6)*-12. Suppose 4*o - 3*k + 0*k = 18, 20 = 4*o - q*k. Solve 3*d + 8 = -2*r, 4*d - d + 9 = -o*r for d.
-2
Suppose 2*w - 3 = 3. Solve 0 = 5*o - w*p - 22, 2*o - 22 = o + 5*p for o.
2
Let r(z) = -z + 34. Let j be r(20). Solve 1 = 3*u - j, 4*i + u = -15 for i.
-5
Suppose -12 - 3 = -f. Suppose 4*z - f = z. Solve 4 = 2*s + 4*n, -z*s - 1 = -4*n - 11 for s.
2
Let z(d) be the first derivative of -2*d**2 - 2*d + 3. Let p be z(-2). Solve 2*q - p = -2*l + 8, 0 = q - 2 for l.
5
Let a(v) = -v - 1. Let s be a(-4). Solve -1 = -u + 4*b, -s*u = -2*b + 4 + 3 for u.
-3
Let q = -14 + 19. Solve 4*d = -3*l + 21, q*l - 15 = l - d for l.
3
Suppose -2*t + 14 = -4*w, 4*w - 5 = -2*t + 1. Let b = w + 6. Solve 2*z + 1 + 19 = 4*n, -n = -b for z.
0