et q(c) = 2*c. Let f be q(2). Let k(z) = 2*z + 21. Let o be k(-10). Suppose 3*y + o + 4 = r, 5*r = y + 11. Solve -2*w + 5*u = r, 2*w = -2*w - 4*u - f for w.
-1
Let y be -4*((-4)/8 - 0). Suppose -6 = -y*u - u. Suppose -9 = k + 4*b, u*k - 3*b = 2 + 13. Solve -2*p - k*d - 13 = 2*d, 1 = -d for p.
-4
Suppose -27*m = -24*m - 108. Suppose -5*u + m = -9. Let z be u/21 - (-32)/7. Solve 12 = -s - 5*b, s - 5*b = z*s + 18 for s.
-2
Suppose 3*n + 4 = 4*s, -n + 24 = 3*n + 2*s. Suppose 3*f - 1 = -n. Let i = 2 - f. Solve 0 = 2*b + w - 8, 4*b + i*w = -w + 20 for b.
3
Suppose -5*k + 15 = 0, -64*q = -67*q - 5*k + 15. Solve 5*r - x = -3, q = 5*r - 3*x - 0 - 1 for r.
-1
Let o = -92 + 92. Solve o = 2*r + 4*d - 20, 0 = -r + 3*d - 7 - 8 for r.
0
Let z(q) = q**3 - 11*q**2 - q + 15. Let x be ((-6)/(-9))/((-1)/6). Let i = x - -15. Let l be z(i). Solve 0 = l*s - t - t - 14, -3*s - 4*t = -5 for s.
3
Suppose -64*w + 28 = -60*w. Solve -w = p - 5*z + 5, 4*z + 2 = -5*p for p.
-2
Suppose -y = -42*y + 656. Solve w + 3*z + y = 0, -5*z - 30 = -10 for w.
-4
Let i be 48/6 - (-4 - -9). Solve 0 = 5*d - i*m - 1 - 16, -2*d - 2*m = -10 for d.
4
Suppose 0 = -35*j + 16*j + 38. Solve 4*k = -2*o - 2, -j*o + 1 = -4*k - 3*o for k.
0
Let o(s) = s**2 - 7*s + 4. Let d be o(7). Suppose -12 = -4*l, -3*t + 6 = -d*l + 3*l. Solve -5*f = -3*i + 4*i + 23, -t*i + 3*f + 3 = 0 for i.
-3
Let f(b) = b**3 - 6*b**2 - 4*b + 5. Let r be f(7). Let t = -16 + r. Suppose 4*q = -2*o + t, 0*o = -5*q - o + 17. Solve 5*x = a + 6, q*x - 4*a - 16 = -6*a for x.
2
Let b(t) = -14*t**2 - 159*t - 50. Let o be b(-11). Solve 2 = -a, 4*p - 26 = -o*a + 8*a for p.
5
Let n(y) = -y**3 - 3*y**2 + y - 5. Let h be n(-4). Let i = 10 - h. Solve 2*b + 2*b = 5*f - 16, 17 = 5*b + i*f for b.
1
Let s = -211 - -216. Solve 5*u = 2*i - 6 - 4, -s*i = -3*u + 13 for u.
-4
Let h = 0 - 7. Let u = h + 4. Let i be (-1)/(10/4 + u). Solve 0 = 5*m - 3*g - i, -2*g = -m + 4 - 5 for m.
1
Let t(n) = -7*n + 5*n + 2*n**2 + n**3 - 6 + 2*n**2. Let q be t(-4). Let r be q + 0 + -1 - 1. Solve -4*p - 45 = -5*g, r = 5*p - 2*p + 15 for g.
5
Suppose -4*g = -17*g + 65. Let q be 1 - 1 - (-4 - (-10)/g). Solve q*s = t + 6, -5*s - 15 = 4*t + t for t.
-4
Let z be 3/6 - (-66)/4. Let r = -14 + z. Suppose -r*q = -24 - 0. Solve -2*l + 2 = 0, -q*y + l - 21 = -4*y for y.
-5
Suppose 1 = 5*w + 1. Suppose 0*l - 3*l + 3 = w. Solve 5*s - 2 = 4*t + l, 0 = -t - 3*s - 5 for t.
-2
Suppose -2*n = 20*u - 15*u - 61, -4*u + 5*n = -29. Solve -10 = -3*f - 2*y, 12*y - u*y - 5 = -5*f for f.
0
Let i be -1*(1 + 0 + 4). Let d = i + 10. Let c be (4/6 - 0)/(4/30). Solve c*z = -3*r - 31, 3*z = 2*z - d for r.
-2
Suppose -63 = -2*p - 5*g, 5*g + 3 = 4*g. Let n = -38 + p. Solve 0 = -2*m + 3*x + n, 0 = 3*m + 3*x - 1 - 8 for m.
2
Let a(z) = 20*z + 1. Let v be a(-1). Let u be (0 + 1/(-4))*4*v. Solve i - 4*i + s + u = 0, 0 = -5*i - 2*s + 17 for i.
5
Suppose -7*z - z = -32. Suppose 0 = -6*n + z + 20. Solve h + 8 = -h, 0 = -2*p - n*h - 10 for p.
3
Let l = 50 - 32. Let b(d) = -d + 23. Let y be b(l). Suppose 16 + 8 = 4*g. Solve u + 2*k + g = -0*k, 5*u + 3*k = y for u.
4
Let c be (-80)/(-5) + -2 + (-3 - -1). Solve 3*f + 4*y = f + c, -2*f + 4*y + 4 = 0 for f.
4
Suppose -6 = -2*k - 4*i, -3*i - 2 = -4*k + 21. Solve 0 = k*m - 6*p + 3*p + 3, 1 = 3*m + p for m.
0
Let m be 0*2/4 + 326/163. Solve -m*t - 3*i + 6 = 0, -i - 5 = -5*t - 6*i for t.
-3
Suppose -3*k + 2*k + 2 = -j, 0 = 3*k - 4*j - 8. Suppose -4*a + 0*a = -40. Let m be (a/(-4))/(-5)*10. Solve 3*v + 2*n = -5, -2*v - m*n - 7 = -k*v for v.
-1
Let n = 139 + -110. Let d = -5 + 5. Solve -2*k - 3 = 4*l - n, -2*k - 3*l + 21 = d for k.
3
Suppose 4*l = 23*l. Solve l*p - 3*k = 4*p, 2*p + k = 0 for p.
0
Suppose -k + 3 = -0*k. Let b be 8/14 - k/(-7). Solve -b + 13 = -4*y + 4*r, -5*r = 5*y + 5 for y.
-2
Let k be 8/5*(-5)/2. Let o be (-11)/(-4) - k/16. Solve 0*l = -5*l - 4*m + 12, 3*l + o*m = 9 for l.
0
Let a(u) = -u**3 + 8*u**2 - 7*u + 16. Suppose 4*b = -3*s + 9, -16 - 16 = -5*s - b. Let p be a(s). Solve o + 14 = -3*f, 2*o + p = -f - 2*f for f.
-4
Suppose 12*c = 6*c - 12. Let d be c/(-2 + 6*1/4). Solve d*k = -o - 2*o - 3, -4 = 3*k + 4*o for k.
0
Let o = 3 + 0. Let h = 40 + -32. Suppose 10*j - h = 8*j. Solve 0 = j*p - 16, 8*t + 4 = o*t + p for t.
0
Let g(a) = 2*a**3 - 3*a**2 - 4*a + 2. Let t be g(3). Suppose -o + 9 = 3*j, 2*j = -5*o + j + t. Solve 0 = -3*k + z + 4*z + 2, z = o*k + 2 for k.
-1
Let m(s) = 12*s - 523. Let g be m(44). Solve -3*c - 15 = 4*f, 18 - 1 = -2*c - g*f for c.
-1
Let p be ((-2)/(-1) - -4) + -3. Suppose 0 = 2*l + 22 - 62. Let j be (-3)/(-6)*l + -2. Solve -p*q + 5 = -d, -d + 11 = 5*q - j for d.
4
Let l = 356 - 354. Solve 4*f = -5*b + l*b - 31, 0 = 2*b + 3*f + 22 for b.
-5
Let v be 6/(-7)*(-2 - (-8)/(-3)). Suppose v*k - 16 = -2*u, -k + 0 + 4 = 0. Solve 2*f - 5*f - 3*b - 15 = u, f = 2*b - 5 for f.
-5
Let f(o) = -9*o**2 - 6*o - 2. Let h be f(-2). Let u = 50 + h. Solve -u = 3*l - 3*b, -b - 11 + 4 = 2*l for l.
-5
Let y(c) = -c + 2. Let n be y(0). Suppose 45 = n*g - 5. Suppose -2*x + g = 3*x. Solve 0 = x*j + 2*o + 17, 5*j + 3 + 13 = -o for j.
-3
Let x = -8 - -10. Let u be (x/1 - -7) + (2 - 5). Solve 0 = -c - s + u, 2*c = -4*s - 0 + 18 for c.
3
Let c be (0/(16/4))/2. Suppose x = -4*b + 27, -x + c*x + 15 = 2*b. Solve 0 = 5*g + i - b + 1, 3*g = 3*i - 15 for g.
0
Let c = 9 - 3. Suppose -4*v - 2*n = -c*n - 60, v + 5 = 5*n. Suppose t - 21 = -v. Solve -4*b - t = -3*o + 3, 0 = -b + o - 2 for b.
2
Let m(g) = -g**3 - g**2 + 38. Let q be m(0). Let x = q - 37. Solve 4*r - s = 7, -3*r + 9*s + x = 4*s for r.
2
Let h be (-2 + 17 - 2) + 1. Suppose 0 = 4*k + 2 - h. Let b(m) = m**3 - 16*m**2 + m - 15. Let d be b(16). Solve 0 = -3*r + s - 14, s + d - k = -r for r.
-3
Let c be (510/40)/((-9)/(-12)). Suppose -12*y = -c*y + 10. Solve -2*j - y*j = 5*n - 27, -2*j + 15 = 3*n for j.
3
Suppose -4*u - c + 99 = 0, -2*u - 2*c + 7*c = -55. Solve -4*r + 5 = -w, 5*r - 7*r - 5*w - u = 0 for r.
0
Let y be (81/18)/(27/12). Suppose 3*l + g = -4, 0*g - 16 = 4*l - 4*g. Let x be (-1 - -1)*(l + 1). Solve x = -y*q - b + 5, 0 = -q - 4*b + 5*b - 5 for q.
0
Let k(o) be the first derivative of -o**4/4 - 4*o**3/3 + 4*o - 15. Let i be k(-4). Solve -u + 2 = j - 4, j + 14 = i*u for j.
2
Suppose 2 = -5*d + 77. Let z(i) = i**3 - 7*i**2 - 7*i - 6. Let q(x) = x**2 + x - 4. Let c be q(3). Let t be z(c). Solve g - 5*f + 30 = 0, -t*f = f - d for g.
-5
Let a be ((-2 - -6) + -3)/(-1) - 1. Let b be 0 + (a + 4 - -2). Solve 0 = u + 4*m - 19, 3*u + b*m - 17 = -0*m for u.
-1
Let l(o) = -107*o + 216. Let p be l(2). Solve 18 = p*a + 4*i, 0 = a + 10*i - 14*i + 9 for a.
3
Let a(w) = -2*w + 1. Let o = 3 - 11. Let u be a(o). Let x be (-30)/45 - 2/(-3). Solve -q - 2 = -2*v - 1, x = -v + 4*q - u for v.
3
Let s(y) = 26 + y**3 - 56 + 2*y - 11*y + 16 + 6*y**2. Let t be s(-7). Solve t = -3*f - 4*o + 9, 3*o = -o for f.
3
Suppose -3*u + 9 = -0*u. Let i = 12 - 7. Suppose -3*t = -i*t + 48. Solve -u*o - 15 = -8*o, -3*o = -5*r - t for r.
-3
Suppose 0 = -3*f - 9, 3*y + 3 = 5*y - f. Let t(d) = -d - 2. Let k be t(y). Let x = k - -4. Solve -x*l - 26 = -6*l + 2*u, -2*l - u + 7 = 0 for l.
5
Let i(p) = p**3 - 15*p**2 + p - 12. Let y be i(15). Suppose -8*a + y*a + 35 = 0. Solve 2*r = 3*o + a*r + 20, 3*o - 4*r = -11 for o.
-5
Let r = 196 + -194. Solve -x = -u + 4, -r*x + 12 = -x + 3*u for x.
0
Let a(y) = 3*y + 10. Let l be a(-1). Solve -3*i + 2 = 5*r + 9, -2*i - l = r for i.
-4
Suppose 0 = -278*m + 254*m + 96. Let o be 1/(6/(-4))*-3. Suppose 3 = -4*f + v + 12, 0 = -2*f - 3*v + 1. Solve 0*q = f*z + o*q, 0 = m*q + 20 for z.
5
Suppose 0*b + 4 = 4*b. Let f be 6 + (b*-8)/4. Solve 0 = 3*m - 3*s - 6, -6*s + f = -2*s for m.
3
Let g be ((-2024)/(-12))/22 - (-5)/(-3). Solve g*x + y = 2*x - 9, y = 5*x + 18 for x.
-3
Let m(s) = -1369*s + 5500. Let v be m(4). Let z = 2 - 1. Suppose -z = d + f, f + 8 = 4*d + 2*f. Solve 2*x + d = a, 3*x + 4*a + v = -a for x.
-3
Let x be (-30)/(-4)*12/15. Suppose x*g + 0*g - 48 = 0. Solve a = 3*t - a + g, -t - 4*a + 16 = 0 for t.
0
Let l be (1/2)/(3/12). Solve 2*q - 14 = -5*h - l, 4*h = 5*q + 36 for h.
4
Let b(d) = -d**2 - 6*d - 5. Let z be b(-4). Let l(h) = 2*h - 2. Let y be l(z). Suppose u = -y*u. Solve 2*a + 4*g - 8 = u, 4*a - 3 = 2*a + g for a.
2
Let o = 11 - 7. Let a(c) = c - 8. Let x be a(9). Suppose -4*l - 2*k - 2 = 0, -3*l + 4*k