. Let r be x/(-6)*56/2. Let j be 19/7 + (-8)/(-28). Solve -j*w + 5 = -2*a - 8, 2*a + r = 4*w for w.
1
Let j = 100 + -82. Solve -a + 0*a + j = -4*t, 0 = 4*a + 4*t + 8 for a.
2
Let i = 1567 - 1559. Solve i = 5*l - 4*h - 11, 0 = 3*l - 3*h - 12 for l.
3
Let m = -133 + 142. Suppose 0 = 3*n - m + 3. Solve 3*r - 4*h + h - 9 = 0, -2*h + 14 = n*r for r.
5
Let s(q) = -15*q + 227. Let g be s(15). Solve 4*p + 2*k + 2 = -8, g*k = p for p.
-2
Suppose 0 = 2*t - 3*d - 25, -3*d + 0 - 9 = 0. Let f(j) = j**2 - 9*j + 19. Let p be f(t). Solve -3*k - 2 = -p, 3*k = z + 4 for z.
5
Let z(x) = -2*x - 16. Let n be z(-9). Suppose -2*b - n = -12. Solve j + 13 = -3*w + 2, b*j = 4*w + 40 for w.
-5
Suppose 2*z - 4*k = 5*z + 4, -4*k - 20 = -z. Suppose 3*v = -2*j + 21, -j + z*v = -0*v + 17. Solve x + 4*i - 4 = -3*x, -4*x = -j*i + 31 for x.
-4
Suppose 4 = -5*a + 24. Solve 4*l = a*w + 3*l - 3, -5*l - 15 = -2*w for w.
0
Suppose -4*c - 1 + 13 = -2*d, 5*c - 16 = 2*d. Solve -2*o - 4 = d*n, n = -5*o + 3*o for n.
-4
Let q = -50 - -43. Let s(a) = 2*a**2 + 16*a + 19. Let d be s(q). Solve 4 = 3*g - 2*u, 5*g + 0*u = -d*u + 40 for g.
4
Suppose 177*m - 170*m = 42. Solve -2*s = -6*l + 5*l + m, -3*l = -5*s - 13 for s.
-5
Let o be 17 + (-2 - (-4 + 3/3)). Solve 0 = -3*t + 4*t - 5*k + o, -3*t - 4*k + 22 = 0 for t.
2
Let r be (-3)/12 - (-170)/8. Suppose 33*c = 52*c - 25*c. Solve -2*v + i + 7 = c, 5*i = v + 2*v - r for v.
2
Let g be (68 + -64)/(4/2). Solve 4*j = -h - 20 - 4, -j + 3 = -g*h for h.
-4
Let l = 2 + 2. Suppose 0 = -0*w - 2*w - l*u + 2, 0 = -5*w - 5*u + 15. Suppose -w*a = -a. Solve 3*m - 5*m + 18 = 4*n, 5*m + 3*n - 24 = a for m.
3
Let f be (56/(-20))/(98/(-735)). Solve 0 = 3*x + 2*x - 2*h + f, x + 4*h = -13 for x.
-5
Let a be (-64)/(-14) + 20/(-35). Solve 4*u - 2*o = o - 15, 3*u - a*o = -20 for u.
0
Suppose 2*a - 20 = 3*b - 7, 0 = -a + 2*b + 8. Suppose 2*n = -c - 5 + 11, 4*n + c - 8 = 0. Solve -6*q + 20 = -a*h - q, h = -2*q - n for h.
-5
Suppose 0 = 4*z - 4*a - 172, 5*a = -0 + 20. Suppose -2*n + 159 = -5*k, -k + 5*n = 2*n + 24. Let w = k + z. Solve w - 4 = -3*o - s, -2*s + 10 = -4*o for o.
-3
Suppose -76*j + 59*j + 34 = 0. Solve 21 = -4*o + v, -5 = -j*o - 3*v - 12 for o.
-5
Suppose 3*r = -0*r + 15. Let d = r + -1. Suppose -4 = 3*y - 2*m, -5*y - 5*m + 6 = -d. Solve -3*p + y = -2*t - 1, 3*t - 5 = -2*p for p.
1
Suppose 13 = -4*g + 5*u, u + 1 = -3*g + 3*u. Suppose -1 = 4*l - 5, -3*j + 3 = g*l. Solve -3*a + 3*n + 6 = -j*n, 0 = a - 2*n - 6 for a.
-2
Suppose 6*h - 3*h = 0. Suppose h = j + 3*j. Suppose j*m + 5*m = 90. Solve 0*w + q - 4 = -w, 0 = -4*w - 2*q + m for w.
5
Let m = -370 - -374. Solve j = m*z + 20, 9 = -4*z - j - 11 for z.
-5
Let y(d) = d**3 - 12*d**2 + 14*d - 27. Let l be y(11). Let s = l - -11. Solve 4*x + 0*j + s = j, j = x + 2 for x.
-5
Suppose -u + 3*d = 9, 0 = 2*u + 12*d - 10*d - 14. Solve -4*r + 19 = -u*n, -n = -2*r + 6*r - 15 for r.
4
Let w(n) = -n**2 - 4*n + 2. Let h be w(-4). Let s(z) = 4 + 0*z + z**h + 5*z - z - z. Let m be s(-3). Solve m*k = 5*x - 36, -4*k - 2*x - 9 = -1 for k.
-4
Suppose 2*v + 2*w + 8 = 0, -4*w - 19 = 2*v + 3*v. Let u be v - (-2 - 1) - -3. Let r be ((-1)/u)/(5/(-30)). Solve 5*h = r*q - 33, -3*h + 2 = -h + 3*q for h.
-5
Let z(b) = b**3 - 2*b**2 + b + 2. Let p be z(2). Suppose -26 = -2*m + 3*g, -8*m + 5*g = -p*m - 50. Solve -k = -3, 3*k = -i + m + 1 for i.
2
Suppose -2*r + 7*r = 0. Let u(x) = x**3 - 3*x**2 - 9*x + 11. Let w be u(1). Solve r = 4*j + 2 + 10, w = d + j + 8 for d.
-5
Let s(u) = -5*u - 58. Let z be s(-12). Solve 5*n - 5*v - 21 = -z*v, -2*v + 5 = 3*n for n.
3
Let n = -75 + 78. Solve n*v + 20 = w, 0*w - w + v = -10 for w.
5
Let y(g) = -g**2 + 4*g - 4. Let w be y(4). Let t be (3/w)/((-1)/20). Let c be (12/2)/(t/10). Solve -5*i = 5*l, 1 = c*l + 2*i - 9 for l.
5
Let x be 8/36*3*72. Suppose 0 = 2*j + 3*s - x, -j - 2*s + 11 = -13. Solve -4*m = 4*n + j, 3*n + 5*m + 7 = -19 for n.
-2
Let z be (-60)/(-16) - 3 - 122/(-8). Let m = z + -16. Solve r - 2*r = -2*x - 6, r = m for x.
-3
Let y(v) = -2*v - 7. Let j be y(-6). Suppose -n + j = -0*n. Suppose -25 = -b - 20. Solve -3*i + 35 = -n*a, 5*i + 3*a = b*a + 33 for i.
5
Suppose 0 = -5*d - d + 42. Suppose s + 2 - d = 0. Solve s*h = -3*z + 5*z - 9, 27 = -4*h - 5*z for h.
-3
Let p = 433 - 433. Solve 5*z + 15 = -5*h, p*z - 4*h = -4*z + 28 for z.
2
Let b(l) = -l**3 - 6*l**2 - 11*l - 8. Let n be b(-4). Solve 0 = -2*k - 2, -16 - 5 = -5*i - n*k for i.
5
Suppose 0 = 2*t - 2, 5*u = 2*t + 2 - 19. Let g = u - -7. Suppose -x = 2*n - 3, 2*n + 4*x - 5*x - 5 = 0. Solve 4*y - 2*h = -18, 0 = -2*h + g - n for y.
-4
Suppose -2*t - 331 = 5*g, 189 = -3*g + t + t. Let u = -63 - g. Solve -3*z - z = 5*l + 11, u*l + 4*z + 2 = 0 for l.
-3
Let k(i) = -2 - 6*i - i**2 + 6*i**2 + 2*i - 4*i**2. Let g be k(5). Let p = 5 + g. Solve 0 = -h - 0*h + 2*v - 7, 0 = 5*h - v + p for h.
-1
Let t be ((-6)/14)/(-1) + (-6)/14. Suppose t = -5*f - 2 + 17. Solve -f*r + 5 - 8 = 0, u = -r + 2 for u.
3
Let g(p) = p**2 - 10*p + 11. Let w be g(9). Solve -w = 2*u, -l + 4 = -5*u + 2 for l.
-3
Let o = -157 - -161. Solve j - o*n = 14, -4 = -2*j + n + 3 for j.
2
Suppose 13 + 1 = 7*n. Solve -m + 13 = 3*y + 31, -4*m - n = -2*y for m.
-3
Suppose -5*r - 18 = 27. Let o = r - -13. Let c be (-3)/(-1 - o/(-16)). Solve -3*k - 4*w = -29, -5*k + c*w = 3 + 2 for k.
3
Let i = 3 + 3. Suppose 0*w = -3*w + i. Let d = -554 + 557. Solve -d*p = w*x - 3 - 15, p + 2*x - 10 = 0 for p.
4
Let v(w) be the first derivative of w**2/2 + 2*w - 6. Let b(y) = -y - 1. Let d(m) = 6*b(m) + 5*v(m). Let p be d(-11). Solve p = -5*j, 5 + 4 = 3*a + 2*j for a.
5
Let d = 1529 + -1527. Solve -c = -5*w + d*c + 6, 3 = 5*w - 4*c for w.
3
Let x(a) = -a**2 - 19*a - 42. Let u be x(-16). Suppose 2*h = u*h - 20. Solve 0 = 3*m - 2*d - 2*d - 4, m + h*d + 5 = 0 for m.
0
Let i = -12 - -7. Let k = i + 10. Suppose 1 = k*o - 24. Solve 0 = -3*j - o*n + 1, -5*j - 7 = 5*n - 2 for j.
-3
Suppose -2*f = -2*x + 16, 35 = -12*x + 16*x - 5*f. Solve -w = 2*z + x + 4, 2*z - 1 = w for z.
-2
Suppose -25*r - 4*s = -24*r + 5, 4*r + 3*s - 6 = 0. Solve -4*g + 3*q + 27 = 0, -r = -2*q - 13 for g.
3
Let k be (306/189 - 6/21)*9. Solve g + 5*h - k = 0, -5*g = -4*g + 3*h - 8 for g.
2
Let y be 24 - 20 - 4*1. Suppose y = 4*s - 5*s + 8. Solve -2*d - q + 7 = 0, 0 = -d + q - 3*q + s for d.
2
Let q be 6/5*20/8. Solve q*i = 5*i - 4*n - 22, 7 = i - n for i.
3
Suppose 3*c - 11 = -2. Suppose -w + 9 = -c*v, -5*w = v - w + 3. Let a(z) = -z - 3. Let u be a(v). Solve 0 = 2*h + 2*m + 3*m - 6, u = -5*h - 5*m for h.
-2
Suppose -21*f - 148 + 211 = 0. Solve -2*z + z = 0, 5*z = -j + f for j.
3
Let f be (-11 - -4)/(1/(-2)). Suppose s = 5*l - f, l - 1 = s + 1. Suppose 19 = 4*b + l. Solve 0*q = -b*v - q + 21, -2*v - 4*q = -28 for v.
4
Suppose 60*s = 79*s - 76. Solve 0*y = -2*y + s*p - 26, -y = -p + 9 for y.
-5
Let q(v) = -v**2 - 9*v + 13. Suppose 0 = 4*o - k + 39, 3*o - 5*o + 5*k = 15. Let h be q(o). Solve 5*c - h*g = -19, 6*c + g + 22 = 2*c for c.
-5
Let x(r) = 17*r**2 + 2*r + 1. Suppose -2*y + 17 = 19. Let w be x(y). Let g = -4 + 6. Solve 4*z + w = -2*l, 0*l = -5*z + 3*l + g for z.
-2
Let l(w) = w**2 - 10*w - 1. Let f be l(11). Let v = -36 - -41. Solve -5*r + 2*s = f, 10 = -v*r - 7*s + 4*s for r.
-2
Suppose 0 = -5*z - 10 - 0, -3*d = z - 7. Solve -x = 3*v + 3, -3*x + 4*v + d = v for x.
0
Let u = -128 + 82. Let h = u + 51. Solve h*l + v = -25, 4*l + 20 = -v - 2*v for l.
-5
Let b(j) = j**2 - 4. Let g be b(-3). Let s = 11 - g. Suppose -2*d = 3*l + 9, -3*d + 1 = 5*l + 17. Solve 5*v + d*k - 14 = 0, 3*v + k = -0*k + s for v.
1
Let t(w) = w**2 - 10*w - 5. Let i(u) = -u - 1. Let o(s) = 5*i(s) - t(s). Let q be o(4). Solve -c - 2*c + 7 = j, -q*c + 12 = 4*j for j.
1
Let l(k) = k**2 + 2*k - 6. Let h(z) = z**2 - 3*z - 4. Let x be h(3). Let q be l(x). Solve -2*w - q*g - 7 = -5*g, 30 = 5*w + 2*g for w.
4
Suppose -4*c + 7*c = 0. Suppose c = -5*x + 34 + 51. Let n = x + -15. Solve 0*s - 2*s + 12 = -v, n*s - 3*v = 20 for s.
4
Suppose -4*g + 3 + 3 = 2*f, -3*g = 0. Suppose 0 = -p - f*p + 20. Suppose -u + p*u - 8 = 0. Solve u*v + 2*v + 16 = 0, 0 = 5*y + 5*v + 20 for y.
0
Suppose o = 5*l - 2*o - 18, 0 = 3*l - o - 10. Suppose 2*g = l*g - 10. Solve 0*h - h = -5*c + g, 0 = 5*h + 2*c + 23 for h.
-5
Suppose 0 = -3*v + i + 5, -4*v - 2*i = v - 23. Suppose 3*w - 9 = -4*l, 4*w = -4*l + 3 + 9. Let 