.
5
Suppose -2*a - 3*g - 15 = -5*a, -a - 1 = 5*g. Let h = 31 - 21. Suppose -2*p + 40 = -4*s, -8*s = -2*p - 3*s + 41. Solve p = -b + a*k, -2*b + b - 3*k = -h for b.
-2
Let t(q) = 18*q - 430. Let a be t(24). Solve -2*l = 2*d - a, -3*d - 2*d = 3*l - 7 for d.
2
Let b = 4 + 0. Suppose -12 = -b*i - 0. Suppose -4*t - n + 8 = 0, -i*t = n + n - 1. Solve -2*v + u - 12 = 2*u, 4*u = v - t for v.
-5
Suppose 19 = 5*j + 3*g, 0*g = j - 3*g - 11. Solve 0 = -0*f + f + 3, 2*f + 16 = j*y for y.
2
Let q(h) = h**3 + 15*h**2 + 16*h + 24. Let t be q(-14). Let z be 2 + (-32)/(t + 0). Solve 6 = v + 2*x, 3*v + 0*x - 2*x = z for v.
4
Let x be (92/(-138))/((-2)/15). Solve m + 4*h - 6 = -2*m, 10 = x*m + h for m.
2
Let b(f) = 4*f**2 - 1. Let t be b(1). Let p be (-100)/8 + (-2)/(-4). Let g = p + 18. Solve 0 = t*x - u + 6 + 1, 0 = 3*u + g for x.
-3
Let h(a) = -2*a**2 + 57*a + 160. Let n be h(31). Solve z = 2*l + 9, n*l = 14*z - 13*z - 21 for l.
-4
Let n be (-3 + (-4)/(16/(-12)))/2. Suppose -d + 5*d + h - 30 = n, 3*d = 4*h + 13. Solve -2*t + d = -i, 4*i - t - t = -10 for i.
-1
Suppose 0 = 4*w - 12*w + 16. Suppose w*r - 4*n + 8 = 0, -4*n = r - 0 - 8. Solve m + 12 = -2*m, r = -5*x + 2*m + 3 for x.
-1
Let b be (-6)/(2*-2 + 6 + -4). Solve 0*i - 4*u = -b*i, 0 = 4*i + 3*u for i.
0
Let l(y) = -y - 12. Let m = -49 + 29. Let q be l(m). Solve -d + q = 3*t - 8, 4*d - 3*t = 4 for d.
4
Let v(q) = -5*q. Let r be v(-3). Suppose -2*o + r = o. Suppose 5*x - 30 = -o*h, 2*h - 4*h = -5*x + 2. Solve -2*m - 5 = j, -h*m - 29 + 4 = -j for m.
-5
Suppose 0*q = -5*v - 4*q + 45, -2*v - q + 15 = 0. Solve -24 = v*m - 4*p + 5*p, 5*m - 2*p = -27 for m.
-5
Suppose -4*i + 0*n + 5*n + 15 = 0, -15 = -2*i - 5*n. Suppose -4*f + i = -3. Suppose 3*p = -0*p + 18. Solve 0 = -o - j + p, o + 3*j - 10 = -f*j for o.
5
Let k = 100 - 92. Suppose -5*q = 4*y - 2*q - k, 3*y + 2*q - 7 = 0. Solve 5*z = y*n - 30, 0*n = -4*n + 5*z + 28 for n.
2
Let c be (2/((-16)/6))/(51/(-408)). Let d(v) = -3*v**2 + 23*v - 1. Let j be d(c). Solve 10 = 2*m, 5*m - j = 4*b + 16 for b.
-5
Let q(o) = o - 55 - 33 - 3*o + 148. Let g be q(28). Solve -2*d - 5 = d + 2*r, r = -3*d - g for d.
-1
Suppose -2*s = f - 5*s + 12, 4*f - s = 7. Suppose -z = 2*j - 2*z + 19, -f*z - 53 = 4*j. Let o = 16 + j. Solve -v = 4*g + o, 2*v = -4*g + 8*g + 2 for g.
-1
Let j(b) = b**2 + 3*b. Let t(x) = -x**2 - 3*x - 1. Let s(l) = -6*j(l) - 7*t(l). Let q be s(-3). Solve -2*i + 3*y + 18 = q*y, -y + 6 = 2*i for i.
1
Suppose -1415 + 1315 = -25*m. Solve 34 = -5*v + 3*i, 0 = -m*v + 4*i - 29 - 3 for v.
-5
Let u = 9 + -6. Suppose d - 1 - 3 = 0. Suppose -26 = -2*y + p, 2*y + 0*p + d*p - 26 = 0. Solve 3*c - u*h - 7 = 2, -y = -4*c + 3*h for c.
4
Let d(c) = 15*c**2 + 18*c + 17. Let o(s) = 7*s**2 + 9*s + 8. Let f(m) = 6*d(m) - 13*o(m). Let w be f(-8). Solve -v + 5*b = -w*v, 2*b = 10 for v.
-5
Let a(n) = -n**2 + 7*n + 5. Let q be a(6). Suppose 0 = 5*y - 2*z + q, -z + 2 = -0*y + y. Let w be y/(-3)*63/7. Solve h = m - 3 - 3, -5*m - w*h = -14 for m.
4
Let i be 72/24 + 0/(-1). Solve 2*h + 13 = 2*j + i*j, -h + 13 = 4*j for j.
3
Let q = 355 + -337. Solve -15 - 1 = 4*x, 0 = 5*i + 2*x + q for i.
-2
Suppose -z = -39 + 31. Let o be (8/10)/((-1)/(-15)). Let h = o - z. Solve 2*f - 2*a + 7*a + 12 = 0, -5*f + h*a + 3 = 0 for f.
-1
Suppose -4*v - 3*r + 7 = 0, -36 = -5*v + r - 13. Solve 3*g - 4 = u + g, 4*g = 3*u + v for u.
4
Let s be 3/(-12) - (-1)/4. Let g = 7 + s. Suppose -3*w + 0*w = 2*u + 6, -3 = u. Solve w = n + 3*v + 6, -n - 6*v - g = -2*v for n.
-3
Let a be 100/(-450) - 2/(-9). Solve -x + 2*u - 3 = a, 3*u - 1 - 2 = 0 for x.
-1
Suppose -3*f = 2*i - 6, 2*f - 4*i + 24 - 12 = 0. Suppose f = 4*m + 10 - 46. Solve -5*j = 2*k + 4, -m - 4 = -5*k - j for k.
3
Let w(l) = -l**2 - 8*l - 7. Suppose 5*x + 3*f + 45 = 12, -2*x - 2*f = 14. Let d be w(x). Solve -5*t - 9 = 4*m - 40, t + 17 = d*m for t.
3
Let f(v) = v**2 - 18*v + 20. Let o be f(17). Solve o*z + 2 = -2*r - 3*r, 3*r - 3*z = 18 for r.
2
Let a be -8 + 11 + (140 - 0). Let j = a + -140. Solve 5*d - w = j*w + 7, 5*w - 7 = d for d.
3
Let l(r) = r**3 - 9*r**2 + 9*r - 6. Let i be l(8). Let h be (i/(-5))/((-6)/30). Suppose 15 = h*v + 1. Solve -5*a + 26 = -v*s + 3*s, 2*s = 5*a - 18 for a.
2
Let u(v) = -3 + v + v**3 + 2 + 0. Let p(r) = -3*r**3 + 3*r**2 - r + 3. Let g(i) = p(i) + 2*u(i). Let m be g(-2). Solve 12 = 4*y + q + 4, y + m = 5*q for y.
1
Suppose w - r = 2, 4*r = -w + 2 + 5. Solve w*a - 19 = 5*o, 3*o = -2*a + 4*a - 11 for a.
-2
Let n(f) = -7*f - 16. Let r be n(-3). Suppose -30 = -r*d - 5*d. Solve d*y + 15 = -2*v + 3*v, -v = y + 5 for y.
-5
Suppose -101 = -42*c + 109. Solve -2*h - c*p + 13 = -0, 5 = 5*p for h.
4
Let c(k) = -k**3 - 8*k**2 - 10*k + 16. Let b be c(-6). Solve -3*y = 3*x, -b*y - 12 = -6*y + 4*x for y.
2
Let c = -886 + 893. Solve -5*l + d = 21, 0 = c*l - 3*l - d + 16 for l.
-5
Let l be (36/(-24))/(2/36). Let w = 30 + l. Solve -2*z + 10 = 0, 4*p - w*z + 10 + 9 = 0 for p.
-1
Let l be (-2)/4*(-7 - -3). Suppose l*g - 13 - 3 = 0. Suppose g = -c + 2*c. Solve -c*x + 3*x + 22 = 4*z, -5*z + 2*x + 11 = 0 for z.
3
Let s be (-4000)/30 + (-6)/9. Let a = s + 139. Solve -3*u = -t + 4 + 10, a*t - 4*u - 15 = 0 for t.
-1
Let u be (-3 + 3)*(1 + 0). Let q = 2794 - 2772. Solve -3*l - g + 2 = u, 3*l - l - 4*g = -q for l.
-1
Let u be -5*1*(18/(-10) + 1). Suppose c - 6 = -u. Solve -r - 9 = -c*t, -2*r + 3*r + 5 = t for t.
4
Let u = -9 + 13. Let v = 60 - 57. Suppose -4*o = -9*o + 10. Solve u*m + o*q - 5 = -1, -3*m - v*q + 6 = 0 for m.
0
Let z be 4 - (5 + -5) - 3/1. Solve 0 = -3*w + l + 10, 5*l + z = 5*w - 9 for w.
4
Let m be (3/9 - -1)*(-12)/(-8). Suppose 5*r - 4*r = m*r. Let t be (-3)/(-5)*(-1 - -6). Solve -5*a + r*y = -y - 29, a + t = -2*y for a.
5
Suppose 1662*j - 1666*j = -64. Solve -4*i + 7*t - 3*t - j = 0, 8 = -2*i + 4*t for i.
-4
Suppose -7*s - 45 = -59. Solve -5*v - s = 4*h - 3*v, 3 = -3*v for h.
0
Let k(a) = -a**3 + 8*a**2 + a - 5. Let l be k(8). Suppose -7 = -2*t + l. Solve 13 = -10*n + t*n + 3*h, -4*n - 5 = 3*h for n.
-2
Suppose 3*q + 2*b = 6*b + 24, -15 = 5*b. Solve -q*o - 2 = -3*y, o + 2*y = 6*o - 1 for o.
1
Suppose 5*y - 340 = -3*p, -y + 3*p + 33 + 17 = 0. Suppose -4*w - w - y = 0. Let b be (-4)/(-10) - w/5. Solve 2*m = b*o + 3, -3*o - 6 = m - 2*m for m.
-3
Let w be (-8)/(-4)*1*2. Let r = 16 + -12. Let k = -17 + 19. Solve 0*x + k*b = -w*x - r, 5*b - 29 = 3*x for x.
-3
Let j(s) = -2*s**2 - 4*s + 101. Let v be j(-8). Solve v*u - 18 = -2*k, -3*k = -0*k - 5*u + 23 for k.
-1
Let v(z) = -13*z - 112. Let o be v(-9). Solve -x - 5*p = -o*x - 40, 4*x - p = -24 for x.
-5
Let o(t) = t**2. Let f(y) = 5*y**2 - 1. Let w(j) = f(j) - 4*o(j). Let h be w(-1). Solve 2*b = 3*c, -4*c - 3 - 5 = h for b.
-3
Let a = 78 + -49. Suppose 14 = -5*p + a. Suppose -3*l + 2*r = -0 - 9, -5*l + 15 = -p*r. Solve 3*m - 12 = 0, -l*v - 4 = -7*v - 5*m for v.
-4
Let d be 88/(-55)*5/(-4). Solve -15 = 5*j - 4*o, d*j + j + 9 = 5*o for j.
-3
Let u(r) = -3*r**3 - 16*r**2 - 5*r + 5. Let j be u(-5). Solve 2*o + o + w - 10 = 0, j*w = 5*o - 10 for o.
3
Let y(l) = -l**3 + 13*l**2 + 15*l - 12. Let b(a) = -4*a + 46. Let h be b(8). Let u be y(h). Solve 0 = w - r - u*r + 20, -r - 15 = 4*w for w.
-5
Let c = 15 + -12. Let a(t) = t - 1. Let z be a(c). Suppose f + 0 - z = 0. Solve -4*q + 2*h = f, -2 = -4*q + 3*h - 1 for q.
-2
Let k be ((-16)/32)/(2/(-24)). Let x(z) = 4*z - 22. Let y be x(k). Solve 30 = -5*l + r + 2*r, -y*r + 22 = -4*l for l.
-3
Let x(d) = -8*d - 8*d + 15*d + d**2. Let k be x(1). Suppose k = -3*o + 2*o. Solve -2*r + 10 = o, 17 = -4*w + 5*r - 24 for w.
-4
Let q = 745 - 741. Solve -3*t + q*t = -4*k + 12, -4*k = -3*t - 12 for t.
0
Suppose 3*h = m + 10, 8*h - 10*m - 20 = -9*m. Solve 2 = 2*t - h*w - w, 0 = -3*w - 6 for t.
-2
Let i(c) = -c**3 + 10*c**2 + 13*c - 19. Let g be i(11). Solve 4*x = g*b + 4, -3 + 0 = -3*x + 3*b for x.
1
Suppose -3*a + 3 = -3. Suppose a*z - z + 22 = -5*b, -4*b = z + 17. Suppose 5*p + 20 = 0, 3*g - 8 = z*p - 4*p. Solve 0 = l + g*l - 10, 4*k + 3*l = 22 for k.
4
Let d = -214 - -222. Solve -g + d = 5*q, g + 2*g - 7 = 2*q for g.
3
Let b = -886 - -890. Solve c = -2*d - 9, -b*c = d + 1 + 7 for c.
-1
Let n = -4 + -3. Let s be ((-20)/(-35))/((-2)/n). Suppose -s*a + 5*z = 15, -2*a - z - 5 = -4*a. Solve -4*m + a*j - 11 - 17 = 0, m + 6 = j for m.
-2
Let c be (9*-2)/2 - -1. Let j be c/(-14)*28