k - 4*u = -12 for k.
-4
Let n(f) = f**3 - f + 2. Let b(t) = -t + 4. Let l be b(4). Let p be n(l). Solve 2*s - 3*z = 9, -3*s + 0*s + p*z = -6 for s.
0
Suppose -3*j + 24 = -3*t, -31 = 3*t - 5*j - 9. Let p = -4 - t. Solve -i - p = 2*k, -2*k = k + 5*i - 3 for k.
-4
Let c = 12 - 7. Let a = 8 - c. Suppose a + 0 = l. Solve 5*b + 5*v = -15, l*b - 12 = 7*b - v for b.
-3
Let v be (0/(-4))/((-2)/(-1)). Suppose 4*r - 3*g + 12 = v, 2*r = -g - 0*g + 4. Let f be 2/6 - 28/(-6). Solve -q + 5*j - 22 = 0, r*q - j = f*q + 6 for q.
-2
Suppose 7*j - 3*j - 32 = 0. Suppose 8 = l - 2*o + 1, -4*o = j. Suppose 3*d + 33 = l*t, -3*t - 2*d = 3*d + 7. Solve 4*x = 4*z, 5*x = -3*z + 2*x + t for z.
1
Suppose -2 = -b, 0 = -7*z + 4*z - 4*b + 20. Solve -4*j - 16 = 4*k, 0 = -2*k + z*j - 2*j for k.
-2
Suppose 3*y = -d - 11 - 1, 0 = 2*d + 3*y + 12. Suppose d = -5*f + 16 - 1. Solve 4*h - f*w + 18 = 4, 4*h = -5*w + 2 for h.
-2
Suppose 0*z = -z + 10. Suppose -5*o + z = -0*o. Let h be 0 - (o - (-6)/(-3)). Solve -2*m + 10*a = 5*a, h = 4*a for m.
0
Let u be 17 + 1/(-5) + 70/(-25). Let v be (-2)/(-3)*3/1. Suppose u = 4*d - v. Solve 0 = -y + d*z + 2 - 1, -3*y - 14 = 5*z for y.
-3
Let r = 6 + -3. Suppose -3*h = -2*h - r. Let s = -10 + 10. Solve 0 = -5*j, s*d + j + 15 = h*d for d.
5
Suppose 2*z = 3*z - 2. Suppose -8 = -0*i - z*i. Solve -3*a + q = 5*q + i, 5*a = 4*q - 28 for a.
-4
Suppose 2*q + u + 33 = 0, -7*q + 2*q - 4*u - 87 = 0. Let d = -11 - q. Solve -3*y = -d*l - 4, 0*y - 16 = l + 3*y for l.
-4
Suppose 0 = 2*c + 6, 4*h + 0 = 2*c - 2. Let g = -8 - h. Let d = g - -8. Solve -3*w + d*f - 15 = 2*w, -2*f + 6 = 4*w for w.
-1
Let k(m) = -m + 28. Let p be k(12). Solve -g - 3*g + 2*f - p = 0, 4*f = -4*g + 8 for g.
-2
Suppose -3*a + 2 + 1 = -3*j, 0 = -2*a + 3*j. Solve 0 = 2*d - 4*x - 12, -4*d + a = -d - 3*x for d.
-4
Suppose 0 = -j - 4*j + 55. Suppose 22 + 2 = 4*y. Solve -y*s = -3*s - c + j, -3*s - 21 = -3*c for s.
-2
Suppose 48 = 3*b - b. Suppose 5*t = 5*w - 95, 28 - 83 = -3*w + t. Solve -u + 5*j + w = 0, 4*u - b = u + 5*j for u.
3
Let i(o) = o**2 + 8*o + 8. Let w be i(-7). Let f = w + 7. Solve -5*x - 5*v - 36 = -v, 5*v + f = 3*x for x.
-4
Suppose -w = -6*w - 25. Let z = 3 + w. Let s(p) = p**2 + 1. Let r be s(z). Solve -r*i = -2*h - 4, 5*h + i + 4*i = 25 for h.
3
Suppose -j + 6 = 5*u, 0 = 4*u - u + 3*j - 6. Suppose u = -p - 1. Let f be p/8 + 18/8. Solve 5*h = -5*n - 0*n + 5, -5*n = -f*h + 30 for n.
-4
Let n = -1 - -3. Suppose -n*g - g = 0. Solve 3*h + 2*d = -23, d + g = h + 1 for h.
-5
Let q = 9 - 7. Solve q = 3*l + w, 4*w - 15 = 3*l - 8*l for l.
-1
Let k(y) = 2*y - 18. Let r be k(11). Solve 0 = 5*d + j + 3*j - 16, 0 = -2*d - r*j + 4 for d.
4
Let s(j) = -4*j + 2. Let z be s(2). Let t(c) = c**2 + 7*c + 8. Let w be t(z). Solve -3*b = -y - 12, w*b + 2*b - 16 = 5*y for y.
0
Suppose 7*n - 3*n = -2*i + 2, 0 = 3*n + i - 1. Solve 4*z - 2*z + 4*h - 12 = n, -3*z = 2*h - 2 for z.
-2
Let m = 4 + 1. Suppose -c + 3 = -0*c. Suppose -c*q + 3*b = -9, 3*b = -2*q + 4*b + 6. Solve -q*f - 2*f - 20 = 3*u, 3*f + 12 = m*u for u.
0
Suppose 0 = 8*a - 3*a - 15. Solve -6*s = -3*s + 5*z + 12, -a*s + 15 = -4*z for s.
1
Let s be 3/(-12) + (-45)/(-20). Solve b + 19 = 3*b - 5*i, -s*i = b + 13 for b.
-3
Suppose -5*z + 3*z = 0. Let p be (-6)/9*9/(-2). Suppose w = 5*w + 2*f - 8, 3*w + p*f = 3. Solve z*v - 5 = w*v - 2*c, -2*c - 5 = -v for v.
-5
Let k(i) be the third derivative of i**5/30 + i**4/3 + 2*i**3/3 + 2*i**2. Let n be k(-5). Solve -5*s + 3*p + n = 0, s + s - 11 = 3*p for s.
1
Let l be 1/(1/(-14)*-2). Let w = l + -3. Solve -q - 8 = w*q + 2*y, 3*q + y = -4 for q.
0
Suppose 3*i = 5*o + 2*i - 8, 4*o - 5*i + 2 = 0. Solve -4*q = -4*h + 4, -2*h + 3*h - 4 = o*q for h.
-2
Suppose g = -3*g - 12, 0 = 4*w + 3*g + 17. Let f(m) = 3*m**2 + m + 1. Let u be f(w). Solve -3*d + u = -2*d + 2*i, 3*d - 5 = i for d.
3
Let x(q) = -8*q - 8. Let t be x(-10). Suppose -3*v + t = -0*v. Solve 2*s + 3 = -2*y - 5, s + 5*y + v = 0 for s.
1
Let f = 7 - 4. Suppose -17 = -4*x - 3*b, 16 = f*x + 3*b + 1. Solve -4*q - x = -3*r, -6*q + 2*q - 12 = 2*r for r.
-2
Suppose 0 = 3*m - 2*y + 2, -6*m + 5*y - 5 = -3*m. Suppose -2*j - 3 + 9 = m. Solve 2*n + 4*u = 4, 0*n - 3 = -4*n - j*u for n.
0
Let l(g) = g**3 - 6*g**2 - 5*g - 5. Let o be l(7). Let k(i) = 0 + i**2 - 6 - 8*i - 1. Let m be k(o). Solve m*r + 8 = s, 0 + 4 = 2*s - r for s.
0
Let q(w) = w**3 - 12*w**2 + 11*w + 3. Let k be q(11). Let i be ((-6)/k - 1)/1. Let b be (i - -4) + (-2)/(-2). Solve -5*l - 6 = -3*h, -3*h - b*l + 6 = l for h.
2
Let b be 16/20*5/2. Suppose 0 = 4*h - 4 + 36. Let q be (2 - b)*(-4)/h. Solve q = 7*y - 2*y + 4*x, -3*y - 3*x = -3 for y.
-4
Suppose -25 = 4*b + 4*x + 7, 0 = 4*b - 4*x + 32. Let q = -6 - b. Suppose -4 = -q*o + 4. Solve -20 = d + 4*s, 0 = o*d + 4*s + 40 - 8 for d.
-4
Suppose -3*f + f = -4*x + 12, -3*f = -x - 2. Suppose -x*z = -12 - 0. Let w be (-3)/(z*3/(-15)). Solve -w*n + k + 21 = 0, 3*n = -0*n + k + 13 for n.
4
Let b = -13 + 17. Suppose x = b*n + 7 + 15, 5*x - 5 = -n. Solve 5*u = 4*o + 24, 5*u - 25 = 3*o + x*o for o.
-1
Let k = -16 + 20. Solve k*a = 0, -4*g = -3*a + a for g.
0
Suppose 0*j - 3*j = 96. Let v be j/(-5) - (-14)/(-35). Suppose -3*y + 8 = y. Solve -5*p + 25 = -5*a, 3*a = -v*p + y*p - 1 for a.
-3
Let v be ((-8)/12)/(3/(-90)). Let t = -16 + v. Solve 3*o + 28 = -2*o + c, 3*o = -t*c - 3 for o.
-5
Suppose 21 = 4*m - 3*m. Suppose w + 4*d = 3 - m, -5*d - 21 = 2*w. Solve k + w = -f, 2*f + 7 = -k - 0 for k.
3
Let i be 1/(-3*3/(-189)). Let q = i + -9. Solve s + s - 2*c = 12, -s + 4*c + q = 0 for s.
4
Let v be 20*(2 - 12/15). Solve 4*b = -4*s - v, -26 = 4*s - b + 6*b for s.
-4
Suppose 2*r + 16 = 6*r. Solve 3*g - r = -2*i, 9*i - 2*g = 4*i - 9 for i.
-1
Suppose g = 3 + 1. Suppose -m = g*m. Solve 4*p + h + 0*h - 4 = m, -5*h = -5*p + 5 for p.
1
Let o(g) = -g**2 + g + 45. Let z be o(7). Solve w - 3*d + z - 12 = 0, 2*d + 6 = w for w.
0
Let s(p) = 11*p + 2. Let m be s(3). Let c be (-10)/m + (-40)/7. Let o be (c/4)/((-12)/32). Solve 5*y + o*x + 15 = -4, 3*x + 9 = -2*y for y.
-3
Suppose 0 = 5*d - 0*d - 15. Let i = -1 + d. Let c(r) = r**3 + 13*r**2 - 13*r + 18. Let l be c(-14). Solve 0 = 5*o - l*k, 3*k = -i*k + 25 for o.
4
Let p = 2 + 3. Suppose p*l + 5*m - 38 - 92 = 0, -113 = -4*l + 5*m. Solve 5*u = 2*t + t - l, -7 = 2*t + 5*u for t.
4
Suppose -20 = -y - 4*y. Let s = 18 + 7. Suppose -y*d + s = -23. Solve -b - d = 5*g + 2*b, 8 = -g - 2*b for g.
0
Let p be 5*(-1 + 7/5). Let m(k) = k + 10 - p + 0*k. Let u be m(-4). Solve j + j = -4*i - u, -5*j = 0 for i.
-1
Suppose 0 = 5*m - 2*m - 60. Solve -3*t = -2*w + 13, 0*w - m = -3*w + 5*t for w.
5
Let n = 37 + -31. Solve 4 = -2*m + 4*t, -5*m = t + 15 + n for m.
-4
Let f = 41 + -32. Let n(d) = 3*d - 3. Let k be n(2). Let y = f - k. Solve 3*r + 4*b + 0 = y, 5*b = 5*r - 10 for r.
2
Let m = -10 - -15. Suppose -m - 3 = 4*o. Let x be (-10)/(-3) - o/(-6). Solve r + 4*n - 16 = 3*r, -2*n + 12 = -x*r for r.
-2
Let r(c) = c**3 - 5*c**2 - 7*c + 8. Let l be r(6). Solve -2*j + 0*v - l*v + 12 = 0, -3*j = 4*v - 21 for j.
3
Let k = -11 + 18. Let t(j) = 1 + 4*j + 2 - j**2 - 2 + 2. Let x be t(4). Solve 0 = 2*y - x*c + k, -2*c - 2*c + 12 = -4*y for y.
-2
Let l = 13 - 11. Suppose -x = q + 3*q - 40, 5*q = l*x + 50. Solve -5*f - 5*n = q, -n = 5*f - 3*n - 4 for f.
0
Let m = -4 - -7. Let q(f) = f + 1. Let r be q(m). Suppose 0 = -3*h + r*h. Solve 12 = -4*g - h*g, 13 = 5*y - g for y.
2
Suppose 2*u - 25 = -3*u. Suppose -2*l + 0*l = -3*f + 16, f - 27 = u*l. Suppose -51 = -5*a + 2*z, -z + 4*z + 45 = 4*a. Solve -f*p + a = p, 3*h - p = 6 for h.
3
Let x be (-940)/(-120) + 2/12. Suppose b = 3 + 1. Suppose b = p - 0*p. Solve -5*i + 14 = -q + p*q, 4*i - x = -4*q for i.
4
Let c be (10/(-8))/((-1)/(-4)). Let m be (-2 + (1 - 0))*c. Suppose t + s - 4 = -0*t, -m*t = 3*s - 20. Solve 4*q = -4*l - 16, -q - l - 16 = t*q for q.
-3
Let y = 3 - 1. Suppose -9 = -y*r + 1. Solve 0 = -3*a + 3*o - 9 + 3, -r*o = -2*a - 13 for a.
1
Suppose -15 = -5*i - d, -2*i + 4*d = 3*i + 10. Solve 5*m + 2*y = -19 - 6, -i*y + 5 = -m for m.
-5
Suppose 4*u - 85 = -5. Solve 3*a + o + u = -a, 24 = -4*a - 2*o for a.
-4
Let p = 36 - 36. Solve p = -2*x + 3*g + g - 6, -5*x - 24 = -g for x.
-5
Let f be -2*(1 - 3/6). Let t = f + 0. Let p be 3/(t + (-3)/(-2)). Solve -p = o - m - 1, -m = -5*o - 9 for o.
-1
Suppose -4*k - 2 = -2*j,