.
2
Let b(t) = t**2 - 11*t - 8. Let u be b(12). Solve -3*i - u*m + 1 = 0, -4*m = i + 5 - 0 for i.
3
Let l be -3 + -3 + -2 + 8. Solve -4*z + 2*j + 0*j - 22 = l, -1 = -2*z - 3*j for z.
-4
Let p = -5 + 7. Suppose 3*i - 32 = -5*m, 3*m + p = -3*i + 32. Solve -c + 2*b = 3*b - 1, -b + i = 3*c for c.
4
Suppose 0 = 3*y - d - 3*d + 12, 4*y + 2*d - 6 = 0. Solve 0 = 3*h - n + 19, -2*h - n + 4 - 10 = y for h.
-5
Suppose 2*f = -3*a + 25 - 6, 0 = -3*a - 4*f + 23. Solve -k - 4 = 2*r + k, a*r = -k - 2 for r.
0
Let s(v) = -v**2 + 16*v - 8. Let d be s(14). Solve t + t = -4*w + d, 3*t + 2*w = 10 for t.
0
Let b = 193 - 191. Solve -4*a - b*c + 5 = -5*a, 20 = 5*c for a.
3
Let b = 23 + -23. Solve b*w = 3*l - 4*w - 11, 2*l = 4*w + 10 for l.
1
Let w(s) = -s**2 + 6*s + 7. Let t be w(7). Suppose t = -3*v - 5*u + 125, -4*v - 2*u + 170 = 3*u. Solve 5*f - 3*l + 5 - v = 0, -4*l = 4*f for f.
5
Let f = 6 - 4. Suppose -2 = -5*l + 23. Solve -z + l*z + 3*w = -20, 12 = f*z - 4*w for z.
-2
Let u be (11 + -1)*2/4. Suppose 0 = -u*s + 5*m + 25, 2*s - 14 = -5*m - 4. Solve 2*p = -s*k + 28, 4*p - 4*k = 2*p - 8 for p.
4
Suppose 5*y - p - 16 = y, -4*y + 12 = -2*p. Let w be -3 - (-3)/6*2. Let k be (-2)/(-10) - w/(-10). Solve -q - 5*b + 2*b - 4 = 0, -3*q - y*b = k for q.
5
Let b be 6/(-2)*(-32)/24. Let o(l) = -5*l + 1. Let a be o(-1). Solve -3*d - a = 0, 3*d + b = m - d for m.
-4
Let h(y) = -y**2 - 15*y - 10. Let w be h(-13). Solve -d + w = 4*d - 4*b, 2*d = 2*b + 6 for d.
4
Suppose 4*a - 12 - 8 = 0. Solve 3*h - a*r = -41 + 11, -2*h = 4*r - 2 for h.
-5
Let a = 4 - 4. Let l(j) = j**2 + 2*j + 2. Let v be l(3). Suppose a = 4*i - v - 3. Solve -5 + 2 = -3*o - i*d, -4*d = 4*o + 4 for o.
-4
Suppose 6*f - 3*f = -4*k - 18, -5*k + f - 13 = 0. Let y = -3 - k. Solve -5*q - 9 = -b - 3*b, y = b - 4*q - 16 for b.
-4
Suppose 7*h = 2*h + 3*p + 16, -5*h + 40 = 5*p. Solve 8 = 4*q, 4*c + 4*q - 10 = h*q for c.
3
Let s(g) = -g**3 - 9*g**2 - 3*g + 5. Let m be 101/(-11) - 10/(-55). Let i be s(m). Solve -4*n - i = 4*j - 4, 3*n - 3*j = -3 for n.
-4
Let r be 2/(-4) + (-27)/(-6). Suppose -s + 5 + 1 = c, -4 = c. Let d = 6 - 4. Solve 0*a + h + 4 = -a, -d*a - s = r*h for a.
-3
Let m = -94 - -97. Solve 0 = -5*x + v - 8 - 5, -9 = -m*x - 5*v for x.
-2
Let p(y) be the second derivative of y**3/6 + 3*y**2 - 2*y. Let o be p(3). Solve n + 7 = -5*x - 5, 3*x = -o for n.
3
Suppose 5*s - 6*s + 11 = 3*v, v = -4*s + 22. Let x be v - 1 - (-10 + 9). Solve -4*u + 2*n + 2 + 6 = 0, 2*n = -x*u - 8 for u.
0
Suppose 3*j + 7 = 5*y - 13, -j + 20 = 5*y. Suppose 2*b + y*r + 11 = -r, 9 = -3*r. Let i be (2/(-4))/(b/(-8)). Solve -10 = 5*o - 5*v, i*o + 2*o = 2*v - 4 for o.
0
Suppose k - c - 15 = 2*c, -2*c = 3*k - 12. Let i = 0 - 0. Suppose k = -i*j + 3*j. Solve -4*u - 5*h - j = 0, -4*u - h = 3*h for u.
2
Suppose 0 = -4*z + 4*o + 20, -4*z + o + 4*o + 18 = 0. Let n = 63 - 43. Suppose -d = -5*d + n. Solve -d*f = -2*c - 6 + 1, c + 2*f + z = 0 for c.
-5
Suppose -q = 3*a + 1 - 5, -3*a - 4 = -q. Solve -t - 3*f + 10 = -f, a = -t + 2*f - 2 for t.
4
Let q = 63 - 58. Solve -4*z = -5*z + 2*j - 8, 0 = -z - q*j + 13 for z.
-2
Let l(d) = -2*d - 7. Let j be l(-5). Suppose -w + 6*w - 2*h + 140 = 0, -120 = 5*w + 2*h. Let m = -14 - w. Solve 0 = -4*n - j*a + a + 12, 4*n = a + m for n.
3
Let p = 1 - 2. Let o be (-3)/p + 1 + 1. Solve -4*d = -o*l + 27, 0*d = -3*l + 4*d + 21 for l.
3
Let n = 9 + -18. Let u(b) = b**2 + 7*b + 7. Let y be u(n). Solve -5*f - z + y = 4*z, 11 = f + 3*z for f.
2
Let w be 6/3*(-3)/2. Let a be (1/w)/(3/(-54)). Suppose -d - 25 = -a*d. Solve -3*q = 3, -2*c - 5 = -d*q - 0 for c.
-5
Let b(q) = -q - 1. Let a be b(-5). Suppose -2 = 3*j - 17. Suppose 3*p - d - 3 = -a*d, -4*d = -j*p + 41. Solve z = 4*z - 4*w - 11, -p*z + 5*w = -10 for z.
-3
Suppose 0 = 9*d - 5*d. Solve 6*n - 4*n = o + 10, -5*o + 2*n - 10 = d for o.
0
Let q = 15 - 8. Let g = 10 + -3. Solve -2*s + 4*t - g*t - q = 0, 3*t = 5*s + 28 for s.
-5
Suppose 12*u - 48 = -12. Solve -3*k - u = -0*h + 5*h, 0 = 2*k + 2 for h.
0
Suppose 2*o - 6 = -0*o - 2*h, -5*o = -h + 3. Suppose o = t - 2 - 1. Solve -9 = t*l - 3*f, -f = -5*l - 6*f - 5 for l.
-2
Suppose -7*s + 2*s + 25 = 0. Suppose 9*r - 4*r - s = 0. Let g be 33 - (-2)/r - 2. Solve -5*m - g = -2*c, c = m - 6 + 15 for c.
4
Let f(b) = -2*b**3 + 2*b**2. Let l be f(1). Solve 0 = j + 4*a - 4, l*j - 2*a = -3*j - 2 for j.
0
Let d(v) = -v**2 - 7*v - 6. Let r = -16 - -10. Let a be d(r). Suppose a*f = f - 13. Solve -5*s = o - 16, -3*o + 5*o - 5*s = -f for o.
1
Let m(k) = k + 2. Let q be m(6). Let v(b) = -b**2 + 8*b + 5. Let o be v(q). Solve -7 = o*t - d + 1, 20 = -5*t - 5*d for t.
-2
Let d be 5*(-1)/(-4)*4. Suppose 3*n - d - 1 = 0. Solve i = -w - 3, 0 = n*i + 3*i for w.
-3
Let u = -2 + 9. Solve 0 = -o + 2*l - u, -2*o + l - 10 = -l for o.
-3
Suppose -20 = -2*o - 3*o. Suppose -2*z = -4*a + 16, o*z - a + 14 = -4. Let h = z - -10. Solve -3*n - 13 = -2*k - 2*k, h = -3*n - 3*k for n.
-3
Suppose -5*l + 4*b = -3*l - 40, 0 = 5*b + 15. Let z(n) = 2*n**2 - 6*n. Let d be z(4). Let p = l - d. Solve 4*x - 24 = 5*u + p*x, 0 = 4*u + 4*x + 24 for u.
-4
Let j be (16/10)/(1/5). Solve 4*s = 5 + 11, -3*s = -q - j for q.
4
Let p = -106 + 109. Solve 3*j + x = -p, j - 9 = -4*x + 1 for j.
-2
Suppose q = 6*q - 25. Suppose -2*p + 8 = -p. Let v = p + -5. Solve -4*z = -v*d + 24, 32 = q*d - 0*z - 4*z for d.
4
Suppose 0 = 5*l - 3*n - 24, -2*l - 2*l - 3*n = -3. Let c(x) = -2*x**2 - 2*x - 1. Let z be c(-1). Let s = z - -3. Solve i = s*r - 0*r, 0 = -2*r - l*i + 16 for r.
2
Suppose k - 3*k - 4 = 3*p, -4*p + 3*k = -23. Suppose 4*c - 22 = -2*t, 3*t - 20 = t - 2*c. Suppose g - t = -2*g. Solve -p*u = 3*u + 2*z + 25, g*z = u - 12 for u.
-3
Let t(v) = -v**3 - v**2 + 5*v + 2. Let y be t(-3). Solve 5*o = 20, -3*b = y*o - o - 4 for b.
-4
Suppose -12 = -3*w - w. Let g be (w - 2)/((-2)/(-6)). Suppose -g - 7 = -5*x. Solve 2*m + 10 = -3*z, -m + x*m - 1 = 0 for z.
-4
Suppose 5*p = 2*p + 66. Solve p = -2*d + 3*x, 0 = d + 5*x - 8 - 7 for d.
-5
Let o(x) be the second derivative of x**4/12 - 4*x**3/3 - x**2/2 - 2*x. Let c be o(9). Suppose -3*f = -c - 1. Solve 4*z - f*s - 2 - 2 = 0, 5*s = 5*z for z.
4
Let f(g) = g + 2. Let k be f(2). Suppose k*d + 0 = 5*b + 5, -3*b - 3*d = -24. Suppose 0 = s - b*s + 12. Solve -5*o + 4*y = 20, 4*o + s*y = 3*y + 15 for o.
0
Let f = -10 - 2. Let k be (f/(-4) + 2)/1. Solve w + 4 = k*w - 2*y, -5*w + 27 = 3*y for w.
3
Let a(w) be the second derivative of -w**3/6 + 3*w**2 + w. Let i be a(6). Suppose -1 = -h + 1. Solve -n - 16 = -3*o, -h*o - 5*n - 2 - 10 = i for o.
4
Suppose -2*o = 2*o. Let w = 3 + o. Suppose -3*r - 114 = -9*r. Solve 0*u + 5*d = -u - r, 0 = d + w for u.
-4
Let q(t) = t**3. Let z be q(0). Let y be 5 + (z - (1 - -2)). Solve l + 11 = 2*w, -y*w + 2*l + 2 + 12 = 0 for w.
4
Suppose -76 = -0*u - 2*u. Let t be (-2 - u/(-10))*5. Solve -l = -m + 7, -2*l = m + l + t for m.
3
Suppose -h - 3 = -6. Let q(y) = -h*y + 2 + y - y**2 + y. Let a be q(-2). Solve a = 4*f - 4*i, -i + 36 = 4*f + 4*i for f.
4
Let v(g) = -g + 7. Let w be v(5). Let u = -34 - -89. Suppose -3*h + 20 = -u. Solve -2*l = -2*n - 12, h = 4*l - w*n + 5 for l.
4
Let i = 104 - 24. Suppose -m + 6*m - i = 0. Solve -8 = -a - s, -2*a = 3*s - 4 - m for a.
4
Let a(q) = q - 1. Let p(m) = 4*m - 4. Let h(y) = 9*a(y) - 2*p(y). Let u be h(4). Solve -j + 2 = -2*w, -3*w + 2*j = -u*j - 11 for w.
-3
Let a(c) = c**3 + 9*c**2 - c - 7. Let l be a(-9). Solve -5*u = -4*r - 1 + 10, 2 = -l*u for r.
1
Suppose 3*i = -2*x + 4*x + 6, -5*x = -3*i + 24. Suppose -3*o + d + 3*d = 29, o + 2*d + 13 = 0. Let f = x - o. Solve l - 5*t - 20 = -3*l, -l + f = t for l.
5
Suppose -3*y + 4 + 12 = -2*f, 5*y - f = 22. Solve 0*z = 3*z + y*w + 3, 0 = 4*z - 5*w - 27 for z.
3
Let l be 29 - 1/(-2)*-4. Let f = l - 25. Solve 2*m + 9 = 3*y, -2*m - 4 + 20 = f*y for y.
5
Let d = -17 - -20. Solve 2*s + s = -3*l - d, 0 = -3*s - 15 for l.
4
Suppose 24 = -4*j + 60. Solve -j = -3*s - 3*g + 9, 0 = -5*s - 2*g + 27 for s.
5
Suppose -4*h = -2*u + 30, -6 = -h + 3*u - 21. Let w be 120/35 + h/14. Solve 5*v = -5*b - 30, -w*b + 0*b + 5*v = -22 for b.
-1
Let k(a) = a**2 - 5*a - 6. Let f be k(6). Suppose f*x = -x + 2. Solve 3*w + 44 = -3*u + 17, 0 = x*u + 5*w + 30 for u.
-5
Suppose -5*d + 2 = -28. Let x = -2 + d. Solve 7*m - 16 = 2*m + 2*l, -x*l = -8 for m.
4
Let h(r) = r + 9. Let m be h(-7). 