
3
Let v(o) = 2*o**2 - 8*o - 6. Let s be v(6). Suppose -h - 16 = -5*h. Solve 0 = -2*l + h*n - s, -l + 5*n = -2*l + 5 for l.
-5
Suppose 0*p - z = p + 1, 4 = 4*p - 4*z. Let t(i) = i**3 - i**2 - i + 13. Let y be t(p). Solve -4*c - y - 9 = -a, 4*a - c = 13 for a.
2
Let p(b) = -b**3 + 4*b + 5. Let v be p(-2). Solve 3*o + 11 = -w, 0*o - 3*o + v*w = -19 for o.
-2
Suppose 2 = -4*j + 26. Let k be (1/2)/(3/j). Suppose 5 = 5*w - 5*v, -4*w + v + k = -0*w. Solve -4*u + 20 = w, -2*u = 2*s - 7*u + 35 for s.
-5
Let y = -9 - -16. Suppose -y*j + 5*j = -6. Solve j*i = -w - 2*i, 0 = 3*i for w.
0
Suppose -w + 2 = 3*i - 10, -2*w = -3*i + 12. Solve i*b = 12, -n - 3*b = -9 + 1 for n.
-1
Let a(h) = -h**2 - 7*h + 11. Let y be a(-8). Solve -36 = -4*f + 4*g, 5*g + y = -f - 18 for f.
4
Suppose -4*a - 5 = 3*t, 0 = -2*t - a + 6*a + 35. Let s(n) = n**3 - 4*n**2 + 5*n - 3. Let w be s(3). Solve -3*i + 24 = t*m, 5*i - w*m - 30 = -8*m for i.
3
Suppose 1 = -r - 5*l + 6, 4*r = -3*l + 20. Solve -4*n - 3 + 18 = -r*j, -j = -2*n + 9 for j.
1
Suppose 4 = 4*m - 56. Solve 4*u + 5*b - 18 = 7, -u - 3*b + m = 0 for u.
0
Let y be (1 + -7)/((-6)/20). Suppose 2*q - y - 12 = 0. Solve 4 = h + k, 5*k - q = -h + k for h.
0
Let h = -19 + 19. Solve 5*a - 24 = 2*d - 4, h = 2*d + a - 4 for d.
0
Suppose 0 = -4*p + 2*p + 10. Let v = 198 - 193. Solve -25 = -5*f - y, v*f - y = 2*y + p for f.
4
Let k(c) = -c**2 - 5*c - 2. Let i(s) = 2*s + 1. Let f be i(-2). Let a be k(f). Solve -3*g + 17 = -0*g - a*n, 5*n + 19 = 3*g for g.
3
Suppose -4*k + 5*k = 0. Suppose k = 4*q + 2*n - 14, -3*q + 2 = -n - 1. Solve 0 = 5*m + 5*z + 3 + 2, q*z = -m + 3 for m.
-5
Let i(m) = -m - 8. Let f be i(-8). Suppose -z + 5 = -f*z. Solve 15 = z*s, -2*p = p + s for p.
-1
Suppose -4 + 0 = 4*q. Let z be q + (1 - 33/(-3)). Suppose -2*x + z = 3. Solve 5*f - x*f = 3*h + 14, 3*f - 4*h - 27 = 0 for f.
5
Let m(u) = 5*u**2 + 2*u - 2. Let g be m(1). Suppose i - 39 = -2*s - 0*i, 3 = -i. Solve g*z + s = -n, 3*z + n + 3*n = -16 for z.
-4
Suppose -3*z = -5*j + 31, -2*z + 2 = j + 1. Let v be 3*(3/1 + z). Solve -v*r - p + 0 - 2 = 0, 2*r + p = 0 for r.
-2
Let q(f) = -f - 4. Let r be q(-7). Suppose 3*u + 16 + 17 = 3*m, 0 = -4*m + r*u + 41. Solve -6*l + l = -2*t - 1, -2*t - 4*l = -m for t.
2
Suppose z = -z + 4. Let b be (0 - 1)/((-2)/24). Let j be 1/(z/(0 + b)). Solve -r = 4*p - 12, 4*r + 0 + j = 2*p for r.
0
Suppose 2*y = -2*l + 26, 5*y + 5*l - 55 = 2*l. Let d = 14 - y. Solve -3*z = x + d, 24 = -3*x + 8*x - 3*z for x.
3
Let i(g) = -g**3 - 9*g**2 - 5*g - 10. Let w be i(-7). Let t = -52 - w. Solve 3*m + k + 10 = 0, -2*k + t = -2*m + 1 for m.
-5
Let d(h) = h**2 - 2*h - h + 0*h + h. Let o be d(3). Solve -2*p = 3*s + 28 - o, 5*s + 5 = 4*p for p.
-5
Let x(n) = -3*n - 16. Let i be x(-9). Let m(b) = -b**3 + 11*b**2 + b - 9. Let u be m(i). Solve t + 4*k = 3*t - 10, -3*t - 25 = u*k for t.
-5
Let r(w) = -w**2 + 5*w - 4. Let d be r(3). Solve 2*h + b = -4, -2*h + 10 - 2 = -d*b for h.
0
Let w = 6 + 0. Let y be (-4)/(-6) - 4/w. Suppose u - 4 - 10 = y. Solve -2*o - 3*b + u = 0, o + 2*b = 2*o for o.
4
Suppose -3*t = 9, -6*k + 9 = -k - 3*t. Solve 5*w - 25 = k, -5*h + 10*h - 10 = -2*w for h.
0
Let a be (-3)/2 + 4/(-8). Let s(q) = -q**2 + 3*q - 2. Let y be s(3). Let z be (a + (3 - 1))/y. Solve 3*k - 5*u + 12 = -z*u, 0 = -2*k + 4*u - 8 for k.
-4
Let f(w) = w**3 - w**2 - 2*w + 2. Let h = 2 + 0. Let k be f(h). Let b be (k - 2) + 2 + 1. Solve 2*d + 8 = 0, -d - 1 - b = -5*o for o.
0
Let i be 22/6 - 8/12. Let o be -1 + (6 - 0/i). Solve 0*q = -q - 5*s - 16, -o*q - 4*s = 17 for q.
-1
Let q(d) = -d**2 + 6*d + 3. Let x be q(6). Suppose x*z - 3 = 2*z. Let u be 0 + (-6)/(-1*z). Solve 1 = 3*j - 2*n, -u*j - j + n + 5 = 0 for j.
3
Let g(j) = -j**2 + 6*j - 1. Let m = -44 - -75. Suppose 3*c + 11 = 2*c - 4*w, -3*c = -4*w - m. Let t be g(c). Solve 0 = 2*q - b + 8, -t = q + b - 0*b for q.
-4
Let g(u) = u + 1. Let z be g(-1). Let v be -1 - (-54)/(2 + 1). Solve -5*j = -t - z*j + v, 0 = -3*t - j - 13 for t.
-3
Let n = -231 - -233. Suppose 0 = -5*u + 4*i + 27, -6*i - 9 = -u - 4*i. Solve 4*t - 12 = 2*o + n*o, t + 5 = -u*o for t.
1
Let i be ((-36)/(-24))/((-3)/(-10)). Solve 3 = -3*a + 2*v - i*v, -4*a = -v + 14 for a.
-3
Let j(l) = -l**2 + l - 1. Let c be j(2). Let p be (4/6)/(c/(-9)). Solve q = p*b + 3*q, -18 = 5*b - 4*q for b.
-2
Let v be (-1 + 2)*1*3. Suppose v*d - 3*a + 10 = a, -a + 14 = 5*d. Let p(o) = -2*o + 26. Let z be p(12). Solve -g + 1 = -d*u - 6, -u - 8 = -z*g for u.
-2
Let f(h) = -h**3 + 6*h**2 - 4*h + 4. Suppose 5*i - 15 = 15. Let c be f(i). Let w = 39 + c. Solve 0*a + 3*s - w = 2*a, -3*a = -s + 18 for a.
-5
Suppose 7*s + 6 = 27. Solve -5*o + 37 = -5*m - 2*o, s*m + 3*o = -3 for m.
-5
Let q(v) be the first derivative of -v**3/3 - 4*v**2 - 1. Let l be q(-8). Let u = l - 0. Solve -2*m + 9 = o, -4*m + 7*m - 4*o - 8 = u for m.
4
Let m(d) = -d. Let b be m(-5). Let j be 10/(-4)*(3 + -5). Suppose -12 - 8 = -5*n + b*l, 1 = 2*n + j*l. Solve a - 5*o + 5 = -a, 0 = a - 2*o + n for a.
-5
Suppose -d + 1 = -2. Suppose -d*r + 2*r = -11. Solve 2*s = -2*z + 6*z - 14, r = -2*z - 5*s for z.
2
Let n(y) be the third derivative of y**5/30 - y**4/8 - 2*y**3/3 - 3*y**2. Let f be n(3). Let p = 9 - f. Solve 0 = u + 4*u + 2*a + 25, 5*u + 25 = -p*a for u.
-5
Let s be 3/(3 + 0)*3. Solve s*d - 5 = -3*p + 7, -2*p = -2*d - 4 for p.
3
Suppose 22 = b + 17. Solve 4*c - 3*a + 30 = -8*a, b*c - 3*a = -19 for c.
-5
Suppose a = 4*z - 22 + 1, -4*a = 4. Solve 5*u + l + 0 = -5, z*l = 5*u + 5 for u.
-1
Let v(y) = -y**3 + 8*y**2 + 10. Let k be v(8). Suppose 0*g = -2*g. Solve 0*p + 3*p + k = 5*w, g = -2*w - p + 15 for w.
5
Let o(a) = -a**3 + 2*a**2 + 2. Let g be o(2). Suppose -5 = m - g*m. Solve 4*h - 16 = 5*n, 0*n - m*h + 15 = -5*n for n.
-4
Let j be (-4)/(-6) - (-57)/9. Suppose -2*n + j*v - 2 = 2*v, -v - 6 = -2*n. Solve r = w - 6, -4*w + 29 = w - n*r for w.
5
Let d(a) = 1 + a**2 + a**2 + 0. Let y be d(-1). Solve -15 = -y*b + 3*r - 3, -23 = -4*b - 3*r for b.
5
Let g(q) = 1 - 5*q - q - 2. Let r be g(-1). Solve 10 = 2*k - p + r*p, 2*k + p = 10 for k.
5
Let k be (-1)/2 + 1 - 28/(-8). Solve n - 7 = -4*o, k*n + 1 = 2*o - 7 for n.
-1
Let s = -170 + 170. Solve -2*l + h + 1 = -s, 4*l - 3 = 3*h for l.
0
Let h = 32 + -16. Suppose -t + h = 6. Solve -5*i + 6 + 22 = -4*y, 4*i - t = -3*y for i.
4
Let w = 12 + -11. Suppose 2*q - 38 = 4*z, q + 5*z - 6 = -w. Solve 2*l + 5*g = q, -2*l + 4*g = 3*l - 21 for l.
5
Let n be 5 + 0/(-1) + 0. Suppose -5*g + n = 2*r - 2*g, 15 = 4*r + g. Let k = -9 + 9. Solve -b - 9 = r*v - k*b, v - b = -6 for v.
-3
Let v(l) = -12*l**3 + 1. Let w be v(-1). Suppose 3*o = 4*o - w. Solve d - 3*r + 13 = 0, d = -3*d - r + o for d.
2
Let p(g) be the third derivative of 1/2*g**3 + 1/12*g**4 + 2*g**2 + 0*g + 1/30*g**5 + 0. Let u be p(-3). Solve u = 5*f - 5*v, -3*f - 7 = 4*v + v for f.
1
Suppose 0 = -6*k + 8 + 16. Solve 2*a = 5*b - 2*b - 3, -3*a - k = -4*b for b.
1
Let l = -2 - -2. Let u be ((-1)/(-2) + -1)*l. Let c = u - -2. Solve y + c*y + 3*m - 6 = 0, 2*m - 8 = -4*y for y.
2
Suppose 2*h = -2*m + 3*h - 2, 0 = -3*m - 4*h + 19. Let j = m + 3. Solve 2*z = y + j*y - 11, 2*y = 5*z + 17 for y.
1
Let o = 124 + -120. Let h be 0 - -15 - 1 - 1. Solve 5*t - 18 = f + 5, -h = -t - o*f for t.
5
Let n(i) = -5*i. Let r be n(-4). Solve 3*v + r = -5*f, 14 = -4*f - v + 5 for f.
-1
Let x be (-6 - 1)/(5 - 6). Solve -3*p - x = 4*w + 3, -3*w + 5*p - 22 = 0 for w.
-4
Let p = -42 + 59. Let q be p + 3/6*-4. Solve 6 = -2*a, 6 + q = 4*h - 3*a for h.
3
Suppose 6*b - 14 = 10. Solve -10 = -5*p - w - b*w, 0 = p - 3*w + 2 for p.
1
Let v(g) = -3*g + 4. Let o be -10*(8/10)/2. Let r be v(o). Solve -5*l + 2*z = -13, -r = 5*z + 4 for l.
1
Suppose -3*u + 4 = -2. Let b be 2*((-1)/(-1) + u). Solve 5*n - 27 = s - b, 5*s - 5 = 3*n for s.
4
Suppose a + 30 = n + 4*a, -62 = -3*n + 5*a. Solve 2 = 2*j + 3*p - 0*p, -4*j = -4*p - n for j.
4
Suppose -5*p = -o + 12, p - 2 = -3*o + 2. Solve -5*v = o*q - 3, 4*q - 13 = 4*v + 7 for q.
4
Let s be -2 - (-3 + (-3)/1). Solve 2*f = -j - 2 + 7, 4*f = s*j + 40 for f.
5
Let g be (-3)/(-3 - 3/(-2)). Solve -s + 9 = -a, 5*s - 20 = g*a + 13 for s.
5
Let f(l) = -l**2 + 8*l - 7. Let i = 13 - 6. Let y be f(i). Let h = 13 - 9. Solve y*o = o - 2*a + 9, -o - 17 = -h*a for o.
-1
Suppose 0 = w + 2*b - 13, -17 = 4*w + 2*b - 45. Solve w + 13 = 2*d - 3*s, 