 -r*v. Solve 6*c - 3*c + 20 = 4*t, v = -3*t + 15 for c.
0
Let m = -69 + 74. Solve -m*g + 5*s - 45 = 0, -2*g - 2*s = s - 2 for g.
-5
Suppose -z = 2 - 1. Let o = 1 + z. Solve o = -3*x - 4*w + 1, 5*w - 11 - 9 = 0 for x.
-5
Let m = -14 - -14. Solve -2*r - 4*q + 2 + 12 = m, -5*r + 4*q = 35 for r.
-3
Let m = 15 + -8. Suppose 4*g = -2*d + 134, -m*g - d = -3*g - 137. Solve 3*h - 6*a - 10 = -a, 2*h + g = -5*a for h.
-5
Suppose m + 3*m - 64 = 0. Let l be (81/45 - 1)/((-2)/(-5)). Solve 4*w - 4*f + m = -0, -w + l*f = 5 for w.
-3
Let m = 203 - 201. Let k(u) = 2*u**3 - 3*u**2 - 2*u + 1. Let y be k(3). Let j = y + -16. Solve -g + 2*b - j = 0, m*b + b - 7 = 2*g for g.
4
Let q = -5 + 5. Solve q*x = x + 4*v + 8, 3*x + 5*v + 3 = 0 for x.
4
Suppose 8 = 2*m + 2*m. Suppose -2*n - 10 = 5*t + 3*n, -5*t + n = -m. Solve 3*b + 12 = -3*u - t*b, 2*u - 2*b = 4 for u.
-1
Let b(d) = -d**3 + 15*d**2 + 16*d + 5. Let w be b(16). Solve -4*v = 2*h - w*h + 28, 0 = -5*h + 3*v + 32 for h.
4
Suppose 0 = 4*o - 12, 0*o = 2*c + 5*o - 25. Suppose 3*l + b - 6 = 3, -2*l = -5*b - 23. Solve 10*i - c*i = l*r - 7, -3*i + r = 7 for i.
-3
Let c = 0 - -3. Let o = c - 0. Suppose -2*l = h - 0*l - 10, 0 = 3*h - 5*l + 14. Solve -4*z - 18 = -3*b - h*z, -o*b + 6 = 2*z for b.
4
Suppose -5*u + 15 = -50. Solve -4*l + t = -16, l - t = -3*t + u for l.
5
Let s(z) = 2*z - 5. Let g be s(5). Suppose q + g = 2*q. Solve -4*o = o - q*m - 25, -1 = -o - m for o.
3
Suppose 1 = 2*v + l - 3, 2*v = -3*l + 4. Suppose 3 = 5*n - 2*c + 1, 4*n = v*c. Solve 3 = 3*o, n*o = -i + 7*o for i.
5
Let s(y) = y + 5. Let k be s(0). Suppose h + 1 = k. Solve 4*w = -q + 20, h*q - 4*w = -0*q for q.
4
Let n be (-6)/4*(-8)/6. Let u be (0/n)/(5/(-5)). Solve 3*w - f = -18, u = w - f - f + 11 for w.
-5
Suppose 0*p = 2*p - 12. Let j be (-20)/(-15) - (-4)/p. Suppose -j*g = -5 + 1. Solve 3*x + 5*y = -0*x - 28, -g*y - 14 = 4*x for x.
-1
Suppose 0*g + 2*k + 9 = 3*g, -5*k = -4*g + 5. Solve 1 = j - t, -5*j + 2*t - g = -13 for j.
2
Suppose 5*z + 29 = 4. Let r = 14 + z. Suppose 0 = -4*n + 6*n - 6. Solve -d = 3*u - 15, n*d - r = -0*d for u.
4
Let z(k) = k**2 - 5*k - 3. Let c be z(6). Let y = c + -4. Let p be (0 - y)/(1/2). Solve -p = 2*x - 2*i, -14 = -x - 2*i - 2*i for x.
2
Let q = -7 + 3. Suppose 5*u + 3*a = 36, 3*u + 10 = -a + 30. Let r = u + q. Solve -w + 13 = -m + 4*w, m - r*w = -7 for m.
-3
Let a be (-12)/(-3 - 15/(-10)). Solve -3*m + m - 6 = 0, -2*h + 2*m + a = 0 for h.
1
Suppose -2*h = d - 102, -2*h + 2*d + 220 = 2*h. Let n = h + -38. Solve 4*i - 4*u + 5*u = -n, -2*i = 3*u + 15 for i.
-3
Let l(u) be the first derivative of u**4/4 - 2*u**3 - 4*u**2 + 10*u - 3. Let w be l(7). Solve 0 = -2*v - b + 6*b + w, -4*v - b - 5 = 0 for v.
-1
Suppose 14 + 10 = 4*m - 2*h, 2*h = 5*m - 29. Solve -4*z = 2*y - 0*y, y - 14 = m*z for y.
4
Let k(v) be the second derivative of -v**4/12 - 7*v**3/6 + 5*v**2/2 - 6*v. Let q be k(-4). Solve 0 = -3*p + q - 5, p = 5*y + 29 for y.
-5
Suppose 2*z - 2*d = 40, 3*z - 65 = -5*d + 3*d. Solve 0*k + z = 5*w + 4*k, 4*k - 14 = 2*w for w.
1
Suppose 4*i - 8 = 0, -4*i = 5*m - 22 + 4. Let n = 34 - 22. Solve m*p + 28 = -5*b, 0 = -2*b + 5*p + n - 0 for b.
-4
Suppose 3*v = -1 + 37. Let b = -9 + v. Solve a + 2*a + b = -4*l, -2*l = a + 1 for l.
0
Let u = 1 - -3. Let h(b) = -b**2 - 4*b + 5. Suppose 0 = -2*o + 3*l - 16, o + 5*l + 15 = -4*o. Let p be h(o). Solve p = 2*g + 2*m - 8, 9 = -2*g + 5*m - u for g.
1
Let s be 4/12 - (-4)/(-3). Let k be (-14)/(-7) - s*1. Solve 0 = -z - k*q, 0 = 5*z - 0*q + 2*q - 13 for z.
3
Let o(b) be the first derivative of b**4/4 + b**3 - 5*b**2/2 - 2*b + 1. Let r be o(-4). Solve 4*u + 13 = 5*v, 4*v = -r*u - u - 2 for u.
-2
Let q(z) be the second derivative of -z**5/20 - 2*z**4/3 - z**3/6 - 5*z**2/2 - 4*z. Let k be q(-8). Solve k*t = 3*f, t = 4*f - 2*t + 1 for f.
-1
Suppose 0 = -3*g - 0*k + k + 15, -2*k = 2*g - 10. Suppose -g*h + 9 + 16 = 0. Solve 5*i + 3*a = -4, 3*a - 16 = h*i - 0*a for i.
-2
Suppose -3*d + 2*v = 10, 2*d - 20 = d - 4*v. Solve 2*a = 7*a + 15, -3*u + 3*a - 3 = d for u.
-4
Let v = -5 - 1. Let k(a) = 2*a + 14. Let h be k(v). Let c = -12 + 30. Solve 0 = -5*j - h*t + 33, -3*t = -2*j - 5*t + c for j.
5
Let j = 3 - 3. Suppose 3*k = -j*k. Solve 5*y + 3*l + k*l = 11, 2*l = -2*y + 2 for y.
4
Let k(n) = n**2 - 7*n + 10. Let s be k(8). Let u be 6/s - (-2)/(-6). Solve -5*j + 0*j - 10 = 5*c, u = 3*c + j + 2 for c.
0
Let x = 7 + -4. Suppose -x = -2*u + 7. Solve 3*g + 3 = 5*f + 8, u*g = 3*f + 19 for f.
2
Suppose 0*j + 4 = 2*j. Let w be (1*j)/(5/70). Solve 2*d + 6 = 3*k + 5*d, 4*k - 5*d = -w for k.
-2
Let t(z) = 5*z - 11. Let r(q) = 4*q - 10. Let w(m) = 3*r(m) - 2*t(m). Let d = 31 + -25. Let j be w(d). Solve 0*v - 2*b = j*v - 12, -4*v - 3*b = -10 for v.
4
Let h(n) = -n**3 + 7*n**2 - 7*n + 8. Let w be h(6). Suppose d - 4 = -d. Suppose 0 = -3*r + d*r. Solve -w*z - 5*a - 48 + 19 = r, 3*z + 26 = -4*a for z.
-2
Let n be 12/8*1*2. Solve 5*z + t - 14 = 0, -n*z + t + 10 = -0 for z.
3
Let r(a) = a + 1. Let n be r(3). Suppose 0 = -v - 0 + 4. Suppose 3*s + 1 = v*q + 4, 4 = 3*q + 4*s. Solve -n*j + 12 = h, q*h - 4*j = 3*h - 12 for h.
0
Let a be 0/(-3 + 6 - 2). Suppose a = -5*y - 10, 0 + 8 = g - 3*y. Solve 0 = -4*w - g*u + 20, -5*u = -3*w + 13 + 2 for w.
5
Let y = 2 - -6. Let s be ((-8)/(-6))/(y/12). Solve 0 = s*h, 3*h + h + 2 = -k for k.
-2
Let q be (38 + 0)*7/14. Let n = -19 + q. Solve 2*u + 3*c = 6, 5*c + n*c = 20 for u.
-3
Let r = -36 - -38. Solve -g + 8 = r*g + s, -4*g + s = -20 for g.
4
Let w = -3 - -4. Suppose -3*y - 2*u = -7, 0 = 5*y - 3*u + w - 38. Let t(o) = -2*o + 9. Let x be t(3). Solve -2*r = -y*r - x*m - 18, 4*r + 25 = -5*m for r.
-5
Suppose 33 = -4*q + 53. Solve 5*r + 3*g - 8 = 0, q*g - 1 = 4*r - 0 for r.
1
Suppose -3*d + 5 = -4*d, -5*d = -3*m + 31. Let l be (4 + -1)/((-9)/(-15)). Let o be 1/(-3) + (-2)/(-6). Solve -m*z = -v - l, o*v - 3 = -v - 2*z for v.
-1
Let k = -1 + -2. Let b be k/(-4) + 26/8. Solve -x + b*x = 5*n + 17, 0 = x - 4*n - 15 for x.
-1
Let b(c) = 1 + 4*c - c - 4*c. Let i = -8 - -4. Let g be b(i). Solve 2*j = 3*r + g*j + 15, 2*j + 4 = r for r.
-2
Let u(q) = 7*q**2 + q + 1. Let n be u(2). Let x(g) = -g**2 - 7*g + 11. Let m be x(-10). Let s = m + n. Solve c - 4*d - 17 = 0, -d = c + 2*c - s for c.
5
Let w = 0 + 1. Suppose 4*t + w = 9. Suppose t*s - 4 = -s + q, 2*q = 3*s - 8. Solve -4*k + s*k = -3*h - 8, 2*h = 0 for k.
2
Suppose -2*o + 3*n - 15 = -6, -4*o + 2*n = 14. Let d be 26/o + 4/6. Let y = -5 - d. Solve 15 = y*r, -5*i + 2*r = -2*r + 40 for i.
-4
Suppose -4*r = 2 + 30. Let a be (0 - 3)*r/6. Suppose -3*j = 2*z - 2*j - 9, -5*z + 27 = 4*j. Solve z*m = -x, -4 - 4 = a*x + 4*m for x.
-3
Let q(n) = -n**3 + 4*n**2 - 2*n + 6. Let d be q(4). Let j be (d + 4)*14/4. Solve -2*h + 12 = -5*h, 0 = 5*v - 3*h - j for v.
-1
Let h be -5 - (0 - 15 - -1). Solve -2*l - 2 = 3*z - h, -4*l - 2*z = -18 for l.
5
Suppose -4*z + 3*z = 0. Let j = 18 + -13. Solve z = 4*d, 7*x - 2*x - d = j for x.
1
Suppose -2*p + 44 = 5*w + 14, 39 = 3*w - 3*p. Let q = -2 + 2. Let d be (-6)/21 - 32/(-14). Solve -y - 3*y = -d*m - w, -3*y + 5*m + 13 = q for y.
1
Let t(a) = 3*a - 3. Let f be t(2). Let c be 0*1/((-9)/f). Let h = c - 0. Solve 2*x - 3*q = 0, -x - 2*q - 9 + 2 = h for x.
-3
Let l be (-21)/2*(-4)/(-6). Let b(s) = -s - 2. Let q be b(l). Solve 0 = -q*n + n - 4*h - 28, h + 17 = -3*n for n.
-5
Let d = 42 - 77. Let x be 1/(-7) + (-180)/d. Solve 0 = -2*z + 4*a + x - 19, -a - 19 = 4*z for z.
-5
Let d = -6 + 7. Let l be 2 + 2 + d + -1. Solve -f + l*v - 23 = 0, 0 = -3*v - 0 + 15 for f.
-3
Let d be (2 - 3)*(-3 + 0). Solve 12 = p - 4*p + d*k, k = -1 for p.
-5
Suppose 107 - 7 = 5*z. Solve -z = -s - 3*s - x, x - 4 = 0 for s.
4
Suppose -u - 48 = -3*t - 0*u, -5*t + 4*u + 80 = 0. Suppose 5*j + 4*h - 4 = 42, -2*j = 4*h - t. Solve 0 = 3*o - 5*r + j, 5*r - 1 = 9 for o.
0
Let p be ((-15)/10)/(5/(-2) + 2). Solve -2*j + 7 = -4*x + 1, x - p*j + 9 = 0 for x.
0
Let x be (-6)/39 + (-2)/(-13). Suppose b - a = 8, -4*b + 0*b + 5*a + 35 = x. Solve 0*v - 3*v = -12, b*v = -c + 24 for c.
4
Suppose 1 = k - 1. Suppose 3*z + k*j = 9, -12 = -4*z - 0*z - j. Let q = 44 + -7. Solve -5*f = -z*p + q, -5*p + f + 15 = 2*f for p.
4
Suppose 3*y - 20 = -2*v, -y + 6*y - 2*v = 12. Let m = 13 - 10. Solve 0 = -p - m*g + g + 6, 2*p + 2*g - y = 0 for p.
-2
Let y = -5 - -2. Let r(a) = a**3 + 3*