-1
Let j = 11 + -126. Suppose h - 103 = 4*a - 8*a, -4*a = 2*h - 222. Let x = j + h. Solve -3*v + 4*z - 1 = 0, -x*v + z = -z - 12 for v.
5
Let o = 446 + -447. Let d(t) = -12*t - 12. Let u be d(o). Solve -w - n - 2 = 0, u*n = -2*w - 4*n for w.
-4
Suppose -81 = -98*g - 9*g + 989. Solve s - 15 = 6*s + 5*x, 4*s + 2*x = -g for s.
-2
Let u(j) = -j**3 - 8*j**2 - 5*j + 6. Let w be u(-5). Let q = w - -89. Let y = q + -25. Solve -2*t - 12 = -4*g, y = 4*t + g + 8 for t.
2
Suppose -4*j + 741 = -3*i + 769, 4*i - j = 20. Solve -7*z = -3*z + 4*o, 21 = -i*z + 3*o for z.
-3
Suppose -217*g + 40 = -314 - 80. Solve -4*v + 10 = -g*u, -5*v = -7*u + 9*u - 26 for u.
3
Let f = 391572 - 391569. Let k(g) = -12*g**3 + g**2 + g. Let b be k(-1). Solve 5*u - f + b = n, -5*n + 2*u - 1 = 0 for n.
-1
Let f = -3704 + 3709. Solve 3*k = -f*g + 13 + 6, 0 = -3*k + 2*g + 5 for k.
3
Let x be 5/((-5)/(-4))*(2 - 7). Let f be (18/(-45))/(2/x). Suppose -2*h = g - h - 1, -f*g + 22 = -5*h. Solve g*i - l + 5 = 2, i = l - 3 for i.
0
Let n = 161 - 406. Let q be 4/10*n/(-14). Solve 3*d = -2*k + q*k - 27, k = 5*d + 23 for k.
3
Suppose -5*t + 2*z - 17 = -7, 2*z = 4*t + 6. Let o be 223/t - 1/4. Let p = 60 + o. Solve -u - v - v - 3 = 0, p*u - 6 = -2*v for u.
3
Suppose -2*j + 4*j = 0. Let y(g) = -4*g + 32. Suppose -421 = -4*d - 393. Let w be y(d). Solve 1 = -n, w*v + 4*n = -j*n for v.
1
Let a be ((-21)/(-357))/((-3)/(-255)). Solve g = v + 7, a*g + 1 = v - 5*v for g.
3
Let r(h) = 4*h - 40. Let z be r(15). Let t(c) = 2*c**2 - 39*c - 17. Let w be t(z). Solve -d = -3*g + 2*d, 3*d + w = 0 for g.
-1
Let q(x) = -4*x - 2. Let n = -18 - -22. Suppose -n*u + 16 = -5*d, -2*d - 15 = -u + 2*d. Let v be q(u). Solve v*a - 2*y = 2*y - 2, 5*a = -5*y + 25 for a.
3
Let g = -1635 + 1639. Solve i = -4*l + g*i, -2*l + 2*i + 2 = 0 for l.
-3
Suppose 138 = 2*p + 5*v, -2*p + 150 = 2*v + 6. Suppose 2*w = -5*k - 228, 4*k - 5*w = -0*k - 189. Let o = k + p. Solve -2*j + 15 = 3*r, 5*r + j + 10 = o for r.
3
Suppose -18*f = 5*o - 15*f + 24, -4*o + 16 = -2*f. Solve o = -35*c + 32*c - 5*m, -4*m = 5*c - 13 for c.
5
Let p be ((-16)/24)/((-2)/27). Suppose 8*f - p*f = 0. Solve -2*l + 4*b = -2, -5*l + 2*b + f*b + 21 = 0 for l.
5
Suppose 5*r + 330 = -4*u, -u + 10 = -3*u. Let f = -58 - r. Solve 5*m + f = 2*c, -5*c + m = -c + 10 for c.
-3
Let b = 41 - 39. Let z be (0 + -1)/(b/6) - -3. Suppose 0 = -g - z. Solve g = -5*n - 7*a + 3*a - 29, -4*n - 2*a - 22 = 0 for n.
-5
Let o = -6604 + 6624. Solve l - 5 = -2*p + 3, -5*l - o = 0 for p.
6
Suppose 0*z + 2*z = -15 + 49. Solve 3*x + w - 16 = 0, -5*x - w = -7 - z for x.
4
Let h = 3014 - 3010. Solve 2*m + 3*m + 14 = -h*v, -2 = m for v.
-1
Let f(h) = -5*h - 15. Let v be f(-4). Suppose v*l = -l - l. Solve 5*d - 8 = -l*r + 3*r, 0 = -4*d + 16 for r.
4
Suppose 0*w + w = 29 - 26. Solve -w*t = -0*m + 4*m + 9, -26 = 3*m + 5*t for m.
3
Let z be (-96)/16 + 105 + 1 - 2. Let a be ((-8)/10)/(z/(-245)). Solve 4*i - d = 5*i + 7, 0 = a*d + 8 for i.
-3
Let y(k) = 2*k**3 - 65*k**2 - k + 1067. Let u be y(32). Solve -2*z = 5*l + u, 19*z = l + 16*z - 8 for l.
-1
Suppose 4 = -3*w - 5*z, 2*w + 4*z + 3 = -1. Suppose 0 = -4*f + 16, -2*f - w = -2*t - 0*t. Let j be 2/6 + (-3)/9. Solve j = -5*l - g - 3, 2*l = t*g + 15 for l.
0
Let v be (-17 + (-2079)/(-121))*33. Solve 0 = s - j + 3 + 1, -5*j + v = 2*s for s.
-2
Suppose -75 = 28*g - 61*g + 24. Solve 0 = 3*c - 5*q + 2, -g*c - 8 - 8 = 2*q for c.
-4
Let t(k) = -766*k + 2. Let b be t(0). Solve -5*d - 1 = -4*f - 0*d, 0 = b*f + 4*d - 20 for f.
4
Suppose 0 = -3*u + 6, 14 = 2*f + 2*u + 2. Suppose -4*d + 8 = n, d + n + 17 = -f*n. Solve 0 = 4*x, -d*x - 15 = -2*h - h for h.
5
Let b(a) = -a**3 + 11*a**2 - 14*a + 50. Let h be (9 - (-2)/(-3))*12/10. Let s be b(h). Solve -2*v = 3*c - 5*c - s, 4*c + 14 = v for c.
-3
Let p be (-8)/(-24) + (-17)/51. Solve 3*l - 2 - 13 = -3*w, p = 2*w for l.
5
Let n(o) = 11*o + 541. Let m be n(-49). Solve 4*f + 14 = -0*x + m*x, -11 = x + 4*f for x.
1
Let u(o) = o + 17. Let v(a) = 3*a. Let l(w) = u(w) + v(w). Let g be l(-3). Solve x + d = -0*d + g, 4*x - 4*d = -4 for x.
2
Let d(k) = 2*k**2 + 4*k + 1. Let n be d(-1). Let m be 975/175 - n/(14/(-8)). Solve -2*w = 3*w - 4*z - 12, 4*w - m*z - 6 = 0 for w.
4
Let p(w) = 5*w**2 - 1. Let g be p(-1). Suppose -30*s - 2173 = -55933. Suppose 0 = 70*q + 602 - s. Solve -3*f = -3*j + 15, -g*f + 3*f = -5*j + q for f.
-2
Suppose 0 = -i - 3, -5*w + 4*i + 30 + 2 = 0. Solve x - w*d + 10 = 0, d - 12 = -5*x + 10*x for x.
-2
Let h be ((-2200)/12)/(20/(-30)). Let p = -273 + h. Solve 2*y = 4*l + 14, -p*y - 4*l + 3*l + 4 = 0 for y.
3
Suppose 4*g - 3*g = 2. Let q be (-1564)/(-51)*(2 + (-7)/2). Let m = -42 - q. Solve m*r + z - g = -7, 4*r - 2*z + 2 = 0 for r.
-1
Suppose 4*v + 8 + 8 = 0. Let p(r) = 2*r**3 + 3*r**2 - r + 5. Let z be p(v). Let c = 71 + z. Solve -5*m + 7 = -l, m + 1 = l - c for m.
2
Let j(o) = -70*o - 766. Let n be j(-11). Solve 9 = 3*l - 4*a, a = -3*l - n*a - 18 for l.
-1
Let k be -5*((-868)/155 + (-3)/(-5)). Solve -3*f + 4 = 4*l, k*f = 24*f + 4 for l.
-2
Suppose -2*z = -2*g - 8, 4*z + 2*g + 3 = 1. Let r = -376 + 379. Solve 0 = r*x + 5*d - 34, -2*x + 0*d = -d - z for x.
3
Let t = 5163 + -5163. Solve -o - 4*n = o - 16, t = -4*o - 5*n + 17 for o.
-2
Let r = 3023 - 3018. Solve 0 = 4*u - 2*m + 20, -1 = u + r*m - 7 for u.
-4
Let r(u) = 24*u + 3. Let q be r(-2). Let p = -33 - q. Solve -5*z + 28 = -f, p = 3*f - 3*z + 36 for f.
-3
Suppose -83*a + 87*a - 156 = 0. Suppose 5*i - 18*i = -a. Solve 8 = -4*d - i*g, -4*d - 5 = 5*g + 3 for d.
-2
Let q(u) = -17*u - 4. Let c be q(-1). Suppose -18*d + c*d = -15. Let v be -1*(2 - 3) + 1. Solve -g = 2*g + v*h + 15, 3*g - d*h = -15 for g.
-5
Let q(b) = -16*b + 147. Let a be q(8). Let o = -15 + a. Solve 4*c = 2*i - 0*i, -3*i + 20 = o*c for c.
2
Suppose 0 = 5*l - 4*d + 5, -4*d = l - 3*d - 8. Suppose l*v - 32 = 4*r, -8*r + 3*r = 3*v + 13. Solve -5*z + 4*o + 2 = 0, 3*z + z - 4*o = v for z.
-2
Suppose 17 = 5*c + 3*b, -20*b = -5*c - 24*b + 21. Let z(y) = 3*y**2 + 2*y - 5. Let i be z(c). Solve -n - 2*h + i = 4, h = 2*n + 3 for n.
-2
Let r = -62 + 68. Let g be r/(-4) + 83/2. Suppose 3*n = 4*n - 5. Solve -n*o - 5*i = g, -3*i = 4*o - 0*i + 28 for o.
-4
Let a be ((-754)/52)/((6/(-4))/3). Suppose 0 = -34*t + a*t. Solve -6 = -3*g, t = 3*m - 0*g - 4*g + 20 for m.
-4
Let b(v) = 3*v**2 + 3*v - 2. Let s be b(1). Suppose y - 8*z = -3*z - 22, 8 = -s*y + 4*z. Solve 5*q - 6 = -2*w, 5*w - 6 = 3*w - y*q for w.
3
Let g be (25/10 + -3)*0. Solve g = -2*b - 3*b + 5*v, 5*v = 4*b for b.
0
Suppose 8 = 6*b - 10. Let p be (50/(-15))/((-5)/b + 1). Suppose -16 = p*k - 46. Solve -k*u = -2*u, 3 = y - 2*u for y.
3
Let r be ((-8)/(-24))/((-5)/(-30)). Suppose 8*s + x = 7*s + 2, 0 = -x - r. Solve s*u - i = -21, 0 = -4*i + 4 for u.
-5
Suppose -o - 2*i = o - 24, 0 = 4*o + 2*i - 44. Let n = 4 + 61. Let c be n/o + (-1)/(-2). Solve 0 = 3*q - 2*d + 23, c + 13 = 5*d for q.
-5
Let b = 192 - 186. Suppose y - 3*y = -b. Solve h - 6*h + 1 = 3*d, -y*h = 2*d for h.
2
Let r = 2679 - 2677. Solve r*j - 4*a = -a + 7, j + a + 9 = 0 for j.
-4
Let i(x) = x**2 + 7*x + 12. Let h be i(-3). Let b be 3 + h + -1 + -2. Suppose a = 3, 4*r + a - 5*a + 12 = b. Solve 5*m = -2*n + 18, 0 = 2*m - 8 - r for n.
-1
Let d = 18 - 14. Suppose d*o - 71 = -11. Suppose 8 = 3*t + q, q + o = 4*t - 2*q. Solve 4*g - 16 = g - v, 0 = 3*v - t for g.
5
Suppose 529 = -3*a + 556. Solve 5*o + 7 = 3*z + a*o, 4*z = 3*o + 1 for z.
1
Let z(i) = -122*i**3 - i**2 - i - 1. Let b be z(-1). Suppose 4*n = b + 195. Let m = n + -77. Solve m*c + 4*f + 2 = 0, -4*c + 17 - 3 = 2*f for c.
5
Let y = 22997 - 22993. Solve 3*a = x + y, -4*a = -2*a - 3*x - 5 for a.
1
Let w(y) = 24*y + 302. Let f(p) = -5*p - 60. Let k(j) = -11*f(j) - 2*w(j). Let i be k(-8). Solve i = 5*n - 3*z - 5, 0*n = -2*n - z - 9 for n.
-2
Let l = -3148 - -3150. Solve 3*v - 4*n = 17, 3*v + 18 = l*n - 5*n for v.
-1
Suppose -3*x = 4*g + 12, 5*g = -5*x - 24 - 1. Solve 18 = -g*l + 3*t, -t - 1022 = 3*l - 1020 for l.
-2
Suppose -5*r + 40 = -j - 15, -5 = -j. Let g be -1*10/25*-5 - 194/(-97). Solve 3*p + 4*h - h - 21 = 0, r = -4*p + g*h for p.
2
Let w = -33098 - -33103. Solve -q + 10 = 3*p, -w*q + 50*p - 55*p = 0 for q.
-5
Let a be (12/9)/(1*6/9). Let m(x) = a*x - x**2 - 20*x + 4*x**2 - 2*x**2 + 36. Let f be m(16). Solve -t - r - 4*r = 27, f*t + 3*r = -