4*x + 3*x - 2. Suppose -2*z + 0 = 6. Let w be n(z). Solve 2*g + 4*k = -w, -2*k - 3 = 4*g + k for g.
0
Suppose -f = -5*k + f + 20, 5*f + 27 = k. Let u = 232 + -163. Let h = u + -66. Solve -8 = 4*a + 5*j, 2*a + h*j = -k*j - 14 for a.
3
Let z(q) = q. Let s be z(6). Let n be -36 + s - 0/2. Let a = n + 33. Solve 0 = -0*t - t, m - t - a = 0 for m.
3
Suppose 2*n + 5 - 11 = 0. Solve s + n*r + r = -5, 10 = -2*s + 5*r for s.
-5
Let n = -18 + 44. Suppose -16*u + n = -3*u. Solve 2 = -q - g, 5*g = -3*q + u*q - 14 for q.
1
Suppose 238 = -2*s + 246. Solve -3*x - 11 = s*a, 2*x - 3*x + a = -1 for x.
-1
Suppose 4*n = -3*k - 62, 9 = k + 3*n + 33. Let x be (-1)/(((-39)/k)/(-13)). Solve -5*g + 8 = -h - 0, 2*h - x = -g for g.
2
Let q = -5 + 10. Suppose 0 = 3*k + 6, 2*m + 2*k = 6*m - 16. Solve -m*s + 5*v - 6 = 10, q*v = 10 for s.
-2
Let w = 115 + -94. Let t be 70/18 - w/(-189). Solve 7 = c + 2*h, -2*c + t*h = 8 + 2 for c.
1
Let n be 3 + -2*68/8. Let y = n - -18. Solve h - 4*m + 0*m = 4, 4 = -2*h - y*m for h.
0
Let q be (-2 + (-22)/(-4))*2916/1701. Solve 0 = w - 3, 5*l - 7 = q*w - 10*w for l.
-1
Suppose -7 = -2*o - 3. Suppose 11 = o*m + 7. Solve a + m*x + 2 = 2*a, -3*a - 2*x - 10 = 0 for a.
-2
Let u(v) = -44*v + 442. Let i be u(10). Solve 2*p - 2*j - 1 = 1, -3*j = -i*p + 6 for p.
-3
Let z(v) = 4*v + 1. Let t be z(1). Let l be 10 + (-12 - (10 + -14)). Solve t*y = -6 - 9, 0 = -l*o - 4*y - 20 for o.
-4
Let h be (2/5)/(3/30). Let g = -14 + 17. Let w be g + 1/(3 - 2). Solve -h*q = -4*k - 32, -3*q + 20 = -6*k + w*k for k.
-4
Let m(o) be the second derivative of -1/20*o**5 - 1/12*o**4 + 0 + 3*o**2 + 2*o + 0*o**3. Let p be m(0). Solve 5*c - 4*c = 3*r - 8, r = c + p for c.
-5
Let p(q) = -q**2 + 16*q - 14. Let f be p(14). Suppose 5*a = -5*b + 30, 5*b - 4 = 5*a - f. Let n be (2/a + 0)*10. Solve u - 9 = 5*x, -n*u - 1 = 4 for x.
-2
Let z = 550 - 545. Solve -z*t + 5 = h, h + 23 = -4*h - t for h.
-5
Let x = -209 - -214. Solve x*l + p - 10 = -3*p, -2*l = -p + 9 for l.
-2
Let q(n) = n**3 - 17*n**2 + 3. Suppose 3*w + 51 = 6*w. Let t be q(w). Solve -t*a + 3*d - 7*d = 12, a + 2*d = -6 for a.
0
Let k(x) = 3*x - 3. Let g be k(2). Let o(d) = -d**3 - 56*d**2 - 208*d + 3. Let a be o(-4). Solve g*i - 15 = -a*f, 5*i - 17 + 2 = -3*f for f.
5
Let c(u) = -17*u - 115. Let k be c(-7). Solve y + 2*p + 2*p = 6, -4*y + k*p = 16 for y.
-2
Let a(p) = -4*p**2 + 32*p + 39. Let t be a(9). Solve k = 4*q + 6, -5*q + t*k + 0 = 4 for q.
-2
Suppose 4*n = -5*f - 8 + 19, 5*f - n - 16 = 0. Suppose -5*q + f = -2*q. Let m be -1 - -2 - 0 - q. Solve 3*d = -m*d + r - 13, 3*r - 6 = -2*d for d.
-3
Suppose 17 = 7*u - 4. Suppose 4*f = -u*z + 7, 17 = 5*z - f + 5*f. Suppose 5*p = -z*v - 20, -3 - 1 = 5*p + v. Solve -k + 4*m + 2 = 2*k, -k - 5*m + 7 = p for k.
2
Let d(y) = -y. Let w(k) = 6*k - 20. Let n(c) = 10*d(c) + w(c). Let l be n(-6). Solve -5*h - 7 = u - 3, 9 = l*u - 5*h for u.
1
Let x be -1*(11 + -20 + 6). Solve x*p + 15*f = 16*f + 12, 9 = p - 2*f for p.
3
Suppose -18 = 25*s - 28*s. Let g = -4 + s. Solve 2*c + 2 = -0*w - g*w, 2*c = -4*w - 8 for c.
2
Let q(i) = i**2 - 17*i - 57. Let g be q(20). Let b = 35 + -32. Solve 0 = g*p + 2*c - 1 - 8, -p - b*c = -3 for p.
3
Let d(x) = -5*x**2 + 131*x - 26. Let h be d(26). Solve -2*q - 4*m - 4 = -2, 3*q - 2*m - 13 = h for q.
3
Let k = 50 + -74. Let v be (-12)/k*(-1 + 1). Suppose -40 = -2*a - 12. Solve -5*w + a = -3*p, -p + 1 = 4*w - v for w.
1
Let d = -18 + 40. Let i = 27 - d. Solve 35 = -5*b + i*r, -r = -3*b - 15 - 0 for b.
-4
Let b = -4 - -1. Let r be b/(27/(-30))*3. Suppose -5*a = 5*h - 20, -3*h - a + r = a. Solve -3*d + 3 = -6*d + h*f, 5*f + 6 = 3*d for d.
-3
Let n(d) = 2*d - 5. Let o be n(4). Let j = 28 + -20. Suppose b = o*b - j. Solve -5*c + 2 = 3*w, b*w - w = 4*c - 7 for w.
-1
Let w be 50/(-20) + 25/2. Solve 3*y = 8*y - 2*h + 10, w = -5*y + 3*h for y.
-2
Let p = 74 + -72. Suppose 4*f - 20 = -3*s, s - 25 = -p*s - 5*f. Solve s = g - v - 0 - 2, 0 = 3*v for g.
2
Let l be 70/21 + -4 + (-2)/(-3). Solve -2*q = l, 0 = 3*m + 2*q - 5*q for m.
0
Let o = 448 + -443. Solve 0 = 4*g + 2*d - 4, g + 4*d = -o - 1 for g.
2
Let k(z) = -z**3 + 8*z**2 + 22*z - 14. Let w be k(10). Solve 4*b + w*l + 25 = l, -3*b = 2*l + 17 for b.
-5
Let j = 162 + -201. Let c = 21 - 15. Let q be 26/j - (-4)/c. Solve r - 5*u = 17, 5*r + q*u = -5*u - 5 for r.
2
Let y = -44 + 46. Let q be (y/3)/(6/9) - -6. Solve q = 4*b + s, -4*b + 5*b - 7 = 5*s for b.
2
Suppose -4*g = -3*y + 5*y - 58, 0 = -4*y + g + 89. Solve -5*i + y = -r, i + 3*i - 16 = 0 for r.
-3
Suppose -5*g = -w - 2*w - 58, -5*g = w - 54. Let o = g + 1. Let i be (-52)/(-3) - 4/o. Solve j = 4*a + i, j + a = 4*a + 13 for j.
1
Let m(v) = -v**2 + 6*v - 4. Let d be 34/8 - (-5)/(-20). Let u be m(d). Let g = 214 + -211. Solve 4*h - 3*j + 5 = 1, 3*h = -u*j - g for h.
-1
Suppose 10 = 5*u + h, -2*h - 9 = u - 2. Let d = 357 + -354. Solve -3*p - 9 = 5*n, -d = u*n + 6 for p.
2
Suppose -2*q = -1 - 5. Let l = -2 + q. Let p = 3 - l. Solve -11 = -5*n - b, -4*b - 19 = n - p*n for n.
3
Let u = 890 + -885. Solve 0 = -4*k, 4*k + 5 = 2*n - u for n.
5
Suppose -8 - 4 = -4*o. Let x = -7 - -9. Let g be (x/(-6))/((-1)/3). Solve o = -c - 3*z, -4*c + 5*z - 11 - g = 0 for c.
-3
Let j = 1893 + -1888. Suppose 4 = 2*c, -3*x = -4*c - 30 - 19. Solve 5*b + 45 = 5*o, -x = -j*o + 1 for b.
-5
Suppose 4*n - 333 + 321 = 0. Solve 4*f - 3*t - 11 = 0, 0 = -4*f + n*t - 2*t + 17 for f.
5
Suppose 40 - 40 = 8*s. Solve -4*x - h - 1 = 0, s = x - h + 3*h + 2 for x.
0
Let x be 13*2 - (-10 - -7). Let s = x - 24. Solve 4*v = q + 11, -s = 3*q + 4*v - 36 for q.
5
Let c(n) = n + 41. Let d be c(-22). Let p(y) = y + 5. Let g be p(-4). Suppose g = -4*h + 13. Solve -3*w + d = r, h*r - 7 = -w + 10 for w.
5
Let x(s) = -s**3 + 2*s**2 + 8*s + 3. Let l be ((-24)/(-84))/((-1)/(-14)). Let b be x(l). Solve -4*q = -5*f - 27 + 2, b*q - 5 = f for f.
-5
Suppose -5*x + 18 = g - 2*x, -x - 10 = -5*g. Solve -4*c = -v - 22, -9 = -6*c + g*c - 3*v for c.
5
Suppose 5*h - 15 = -0*h. Suppose 4*j = -h*v + 3*j + 242, 0 = 2*v + 4*j - 168. Let s be v/14 - 10/(-35). Solve 2*r + s = 2*c, 4*r - 4 = -4*c - 32 for r.
-5
Let y = -5 - -8. Let h = y - -9. Let k(r) = r + 15. Let b be k(-13). Solve -4*n + h = 2*z, b*n - 2*z + 5 = -n for n.
1
Let z = -551 - -551. Suppose 5*h - 30 = -0*h. Let b be h + 2/((-2)/2). Solve -5*n = b*k + 13, -3*k + z*k = 2*n + 1 for n.
-5
Let y = -95 + 113. Suppose -18 - y = -12*f. Solve -h - f = -t + 3, 3*t + 5*h = 10 for t.
5
Let b = -54 + 57. Suppose b*p - 9 + 0 = 0. Solve p*w + r = 12, -2*w = -5*w + 3*r for w.
3
Let q(k) = -k**3 - 7*k**2 - 3*k + 3. Let u be q(-3). Let n = u - -26. Solve -2*z = 4*j - n, z - 5*j + 13 = -7 for z.
-5
Let m(s) = 2*s**2 + 7*s + 10. Let p be m(-3). Solve -2*v + 2*g = -8, 2*v - p = -4*g - 5 for v.
3
Let c(f) = -30*f. Let h be c(-1). Let m be (2752/12)/8 - 10/15. Let u = h - m. Solve 0 = 3*r - p - 11, -u*r - 3*p + p = -2 for r.
3
Let a(d) = -3*d + 2. Let w be a(-9). Suppose -w = -2*s + 9. Suppose 3*j = -4 + s. Solve 8 = 4*c - 2*b, j*c - 15 = -2*b + 13 for c.
4
Let h be 15 + (-2 + 1)*1. Let w(r) = -5*r + 2. Let x be w(-1). Suppose 1 = n - 4*l - x, l + 21 = 5*n. Solve -b + 2 = 0, 0 = 4*a - 3*b + n - h for a.
4
Suppose 38 = -5*g + 4*a, -g = -5*g + 4*a - 32. Let m be 2/3 - 8/g. Solve -3*y + 24 = -4*p + y, -p - m*y + 6 = 0 for p.
-2
Suppose 24*f - 3 = 21*f. Suppose -y - f = -9. Suppose 5*p + 5 = -4*k, 5*k = 3*p + 8 + 32. Solve 3*b = -2*h - y, 0 = k*h - b + 4 - 1 for h.
-1
Let s(z) = -z**2 - z + 19. Let c be s(0). Let a be (-1 - c/(-4))/((-48)/(-128)). Solve 3*d - 20 = 4*r, -2*r + 5*r + 4*d - a = 0 for r.
-2
Let f(h) = -3*h - 21. Let c be f(-7). Suppose 5*d - 20 = -c*d. Solve 2*a = -d, 4*x - 22 = a + 2*a for x.
4
Let s(t) = -35*t - 280. Let y be s(-8). Solve -3*r = 4*z - r - 20, y = 4*z + 5*r - 26 for z.
4
Let v = -133 + 42. Let k = v - -94. Solve 5*r - 3*u - 4 = 1, 0 = -4*r - k*u + 31 for r.
4
Let o = 3 + -1. Suppose -h = o - 5. Suppose 0 = 2*m + t - 6, -7*t = -4*m - 2*t + 40. Solve -12 = -0*w - m*w - 2*c, -h*w - 5*c + 11 = 0 for w.
2
Suppose 0 = -0*j + 2*j - 24. Let u = -30 + j. Let d be (38/(-4))/(9/u). Solve 4*q - d = y, -5*y - q = -6 - 4 for y.
1
Let b = -500 + 505. Solve -2*s + 3*a = -18 - 4, -s + 25 = -b*a for s.
5
Let o(q) = -q**2 - 17*q + 68. Let u be o(-20). Solve 0 = -4*l + 3*k + 32, 13*l - 4*k