lve 0 = l + t, 2*i + 5*l = -21 + 4 for i.
-1
Let a be (-18)/(-15)*80/24. Solve -a - 12 = 2*d - 5*y, -d = y + 1 for d.
-3
Let o = -24 + 24. Solve 2*t - 5*b - 7 = 0, 2*t + o*t - 1 = 3*b for t.
-4
Suppose -x + 2 = -2*t + 7, 5 = -x. Solve 5*a - 4*g - 24 = 0, -a - g + t = -3 for a.
4
Let p be -10*((-28)/(-8) + -4). Solve l + 6 = -4*r - l, p*l = -15 for r.
0
Suppose -5*b = 3*z - 0*b - 22, -z - 2*b = -8. Solve -3*k - 3 = -g, 0*g - z = 4*k - 5*g for k.
-1
Suppose 0 = -k - 3*k + 20. Solve 0 = -k*h - 4*c - 5, c = 4*h - 0*c + 4 for h.
-1
Let r = 29 - 25. Solve 2*l = 2*v + r, -4*v - l - 16 + 3 = 0 for v.
-3
Let m(v) = -6*v + 5*v**2 + 0*v**2 - 3 - 4*v**2. Let o be m(7). Solve -2*a = -o*t + 5 - 21, 3*t + 12 = 2*a for a.
0
Let z = 47 + -43. Let l(p) = p**3 - 6*p**2 - 7*p + 2. Let u be l(7). Solve -4*k - 5 = g, -u*k + z*k - g = -7 for k.
-2
Let p be ((-8)/20 - 0) + 51/15. Solve -3*n = n + f + 17, 18 = -n - p*f for n.
-3
Suppose 4*k = -5*i + 2*i, -8 = 2*i. Suppose 4*h = -l + k*l + 54, -2*l = h - 21. Solve 2*g + 5*r = h, -2*r = g + r - 9 for g.
0
Let v(s) = -9*s**3 + s**2 - 1. Let p be v(-1). Let t = -1 + 1. Let m be (4/(-10))/((6/(-20))/3). Solve -p = -m*d - 6*o + 5*o, t = -5*d - 2*o + 12 for d.
2
Let i be -6*((-20)/6)/5. Let o be (-14)/(-1) - (i + -2). Solve -3*f = -x + o, f + x = -0*x - 8 for f.
-5
Let h be 1/(-2)*(-10 + 8). Suppose 4*b - 42 + h = 5*j, 5*j = -5*b - 5. Solve w = b*n + 15, 0 = w - 3*n - 2*n - 20 for w.
-5
Let n = -54 - -76. Solve -n = -4*b - h, -4*b - 4*h + 24 = -2*h for b.
5
Suppose 5*n - 9 - 16 = 0. Let d(g) = g**3 + 10*g**2 + 10*g + 1. Let w be d(-9). Let y be ((-39)/12 + 3)*w. Solve n*x - 29 = -y*i, 8*i - 15 = -x + 3*i for x.
5
Let u(r) = r**3 + 9*r**2 + 9*r + 5. Let b be u(-8). Let g be 2/(-4)*(-7 - b). Solve 0*q - 5 = -3*q - g*y, -4*q - y + 10 = 0 for q.
3
Let w = -37 + 57. Solve -c + 20 = -3*c - 5*i, -w = -3*c + 5*i for c.
0
Let q be (-18)/24 - 13/4. Let n(p) = -4*p - 4. Let l be n(q). Solve -4*f + 3*y = -l, 2*f - 7*f - 5*y + 15 = 0 for f.
3
Suppose -2*m = 3*m - 15. Solve 12 + m = -5*g, 0 = -2*w - 2*g + 4 for w.
5
Suppose -i - i + 55 = 5*m, 2*i + 8 = 2*m. Let r be m/(-18) - (-11)/2. Solve -r*v + 16 = x, -2*v - 4*x + x = -9 for v.
3
Let p = 256 - 15. Suppose 0 = 5*i - 369 - p. Suppose 0 = c - 4*c + g + 86, 4*c - 5*g - i = 0. Solve -3*k - c = k + 4*r, 0 = r + 4 for k.
-3
Let i = 1 + 1. Let h = 0 - 3. Let l be (-3 + (-7)/h)*-3. Solve -5*b - u = -0 - l, -10 = -4*b + i*u for b.
1
Let d be ((-21)/(-4))/(5/20). Suppose -2*c - d = -5*w, c - 2*w - 3*w = -18. Let f be c/(2 - 21/6). Solve 2*s + f*a = -a + 8, -a = -4*s - 12 for s.
-2
Let v(n) = n + 1. Let c(g) = g**2 + 16*g - 2. Let k(r) = c(r) - 6*v(r). Let s be k(-11). Solve s*m = 5*d - 11, 4*d - 2*d - 6 = 2*m for d.
1
Let x be (-84)/(-15) + (-4)/(-10). Let o(b) = 2*b - 7. Let l be o(x). Solve -j + 2*j - 3 = 0, p + l*j = 11 for p.
-4
Let p = 0 - 0. Suppose p*r = -2*r. Suppose r*m + 8 = 4*m. Solve m*s - s - u = 0, -3*u + 9 = 0 for s.
3
Let i be (-1)/4 - 486/(-216). Let j = 16 - 4. Solve -j = 5*w - 0*w + l, -2*w = -3*l - i for w.
-2
Let u be ((-22)/4)/(-1)*-4. Let f be (-77)/u - 1/2. Solve 4*k + f = -i + 2, -3*k = 3 for i.
3
Suppose 6*c - 4 = 3*c + 4*r, 3*r = -3. Solve 0 = 3*a + 3, 0 = -c*v - 2*v - 2*a - 2 for v.
0
Let z = -80 - -87. Solve t + 10 = 4*c - 0*c, -2*t + z = c for t.
2
Suppose -8 = -4*b + 2*b. Let x(u) = -u**2 + 6*u - 6. Let j be x(b). Let p be (2/3)/(3/9). Solve 28 = 4*z + 4*n, j*n + p*n = 3*z + 7 for z.
3
Let k = -2 + 5. Let n be 1 + ((-12)/k)/(-4). Solve -r + t + 3 = 0, -4*r + n*t = -7*r + 9 for r.
3
Suppose 0 = -3*u - u + 16. Let p be 20/6*6/5. Solve u*l = -4*a, -3*a - p = -4*l - 11 for a.
1
Let p = 76 + -35. Suppose -5*q + 24 = -p. Let n be ((-35)/35)/((-2)/8). Solve -n*h - 26 = -2*d, 3*h = 2*d - 9 - q for d.
5
Suppose 0 = -6*i + i + 5*p - 15, -2*i + 3*p - 11 = 0. Solve 0 = i*b - 3*f - 6, -2 = -2*b + 4*b - f for b.
-3
Suppose 6*o + 4*y - 5 = 3*o, o - 3*y = 6. Suppose 0*b = 4*d - o*b - 26, -4*b = -2*d + 18. Solve 0 = -g + 3*s - 10, d = 2*g - s - 0 for g.
5
Let t(i) = i - 5. Let q be t(6). Let a be (2 + (1 - -2))*q. Solve a*s + 3*f = -8, s + 5*f - 2*f + 4 = 0 for s.
-1
Let m(x) be the first derivative of -x**3/3 + 6*x**2 + 18*x + 8. Let w be m(13). Solve -p + 3*p = 6, 5*v = -w*p + 40 for v.
5
Let x be (-4)/(-2)*(-15)/(-10). Let r = x + 1. Suppose -r*u = -2*u. Solve -4*d + j - 3*j + 2 = 0, 2*d - 2*j - 16 = u for d.
3
Let a = -9 - -13. Suppose 5*v = -a*w - 2, 3*v = 2*w - 3 - 7. Solve 0 = -4*j - 20, 27 = 4*p - w*p - 5*j for p.
1
Suppose 0 = 2*w + 4*g - 4, -2*g + 5*g + 7 = w. Let o = 5 - w. Let u be (o + -4)/((-3)/4). Solve s - 13 = 5*n, u*n + 5*s - 4 = 3 for n.
-2
Let r be (0 + 5/(-2))*-2. Let l = 29 + -29. Solve 0 = 5*c - 5*g, 0 = -r*c - 3*g - l*g + 24 for c.
3
Let p = 3 + 2. Suppose p*k = -6 + 16. Solve -h + 7*z = 2*z + 6, h - k*z = 0 for h.
4
Let o(d) = -2*d - 1. Let m(j) = j**3 - 3*j**2 - j + 1. Let i be m(3). Let z be o(i). Solve 4*k + 4 - 2 = 5*w, -5*k = z*w + 21 for w.
-2
Let t(h) = h**3 + 0 + 2 + 5*h**2 - 4*h - 2*h**3. Let z be t(4). Suppose -2*v + 9 = 5*n, 5*n + z*v = 4*v + 21. Solve -n*s = -4*p - 21 - 1, p - 2 = -3*s for s.
2
Suppose -5*w = 3*a - 7, -4*w + 4*a = 2*a - 10. Let s be (w + 0 + 0)/1. Solve -4*y + 3*b + 9 = 0, -2*y - 5 = b - s for y.
0
Let y(z) = z**2 + z. Let l be y(-1). Suppose l = -o - d + 2, o - 4*d + 6 = 4*o. Solve -3*b = -o*m - m, -2*m = -6 for b.
3
Let r(k) = k**2 + 5*k + 9. Let s be r(-4). Solve 0 = 2*u - s*d + 12 - 2, -5*u - d = -29 for u.
5
Let a(v) = v - 1. Let h = 3 + -2. Let j = 0 + h. Let b be a(j). Solve b*q = -3*q - d - 7, -8 = 2*q - d for q.
-3
Let j = -173 - -176. Suppose 10 = 3*y + 2*y. Suppose 0*m = y*m. Solve -4*x - j*g + 7 = m, -9 = 2*g + g for x.
4
Let o(d) = d + 5. Let g be o(0). Let i(p) = p**3 + 4*p**2 - 12*p + 5. Let y be i(-6). Solve g*r = -u - 4, 0 = -3*r + 2*u - y*u for r.
-1
Suppose -2*b + 2 + 2 = 0. Suppose 0*u = -b*u. Solve -4*a + 5*d - 22 = -u*d, -11 = 5*a + 2*d for a.
-3
Let j(z) be the first derivative of -z**4/4 - z**2/2 + 20*z - 1. Let p be j(0). Suppose -2*u = 3*u. Solve 5*y - p = -v - u*v, 5*y = -4*v + 20 for v.
0
Let q(d) = -1. Let i(t) = t + 21. Let n(a) = i(a) + 4*q(a). Let l be n(-15). Solve -27 = 3*j - f + 6*f, -2*j = -2*f + l for j.
-4
Let q(k) = k - 3. Let n be q(3). Let w = n + 4. Let s be w/6 + (-52)/(-12). Solve 13 = 5*r + 3*v - 6*v, 0 = s*v - 20 for r.
5
Let c be -3 - (-5)/((-15)/(-6)). Let z be 0 - 0/(-3 - c). Solve -3*u - u + s - 10 = z, -5*u - 13 = -s for u.
-3
Let q = -7 - -7. Solve 2*r - 10 = 4*j, -10 = j - 2*r - q*r for j.
0
Suppose -d - 4*d + 92 = 4*w, 0 = 2*d + 5*w - 30. Suppose 0 = 2*l - 3*h + 5 - d, -5*l - 5*h = 0. Solve 5*k + 3*q - q = -8, -l*q - 12 = -4*k for k.
0
Let h(d) = -2*d + 14. Let z be h(5). Solve 5*b + z*a - 40 = 0, 4 - 15 = -4*b + a for b.
4
Suppose -3*y + v = 3*v - 22, 10 = 2*v. Solve y*d = 4*x + 39 + 1, 0 = 2*d - 10 for x.
-5
Suppose -u = 3*u - z - 129, -119 = -4*u - z. Solve 3*f - a - 5 = 0, -u = -5*f - 4*a - 0*a for f.
3
Suppose -4*t = t - 200. Suppose t = -b + 6*b. Suppose -b = -5*w + 2. Solve 5*y - w*d = -5*d - 6, -3*y = -5*d - 10 for y.
0
Suppose 2*q = q + 4*k, -k = -2*q + 21. Solve -2*u - 2*u - q = -2*n, 12 = -2*n - 2*u for n.
-2
Let k(a) = a**3 + 6*a**2 - 7*a + 1. Suppose 28 = -2*v - 2*v. Let z be k(v). Solve -z = 2*h - y, 0 = h - 2*y - 3*y - 13 for h.
-2
Let v be 5/((-45)/(-18)) - (0 + 0). Solve -s + 3*k = -4*s + 9, v*k = 6 for s.
0
Suppose 3*h - 3 = 0, 5*g + 3*h + 5 = -2. Let a = 4 + g. Solve -2*x + 15 = -7*x - 5*w, -2*w - a = 0 for x.
-2
Let m(b) be the second derivative of 1/3*b**3 + b**2 - 1/20*b**5 + 0 - 1/12*b**4 - 3*b. Let j be m(-2). Solve -p - z + j = 0, 2*z + z = 2*p + 21 for p.
-3
Let k(z) = 0*z + 0*z**2 + 3*z**2 + 3 + z - 4*z**2. Let u be k(0). Solve 0 = 5*g - u*b - 21, 0*g - 4*b - 2 = 2*g for g.
3
Let x = -7 + 11. Suppose s + 23 = 5*k, -5*s + 3*k - 2*k = -5. Solve -4*z + x*n - 3*n + 19 = 0, 0 = -5*z + s*n + 26 for z.
4
Let z = -12 + 17. Suppose -3*d + 5 - 2 = 3*b, -3 = b. Suppose -2*i + d*i = -5*c + 24, 12 = z*c - 4*i. Solve -1 = c*r + t, 5*r + 0*t + 2 = -2*t for r.
0
Let n(z) = 2*z - 3. Let d be n(5). Let i = d + -3. Solve i = o + 5*t - 7, 8 = 4*t for o.
1
Let f be 1 - 0 - (4 + -11). Solve 2*w = 5*w - 5*m - 11, 4*w = 5*m + f for w.
-3
Let c(u) = u. Let s(n) = -n**3