= 4*s - r*y, -10 = 2*s + 4*y for s.
-3
Suppose 184 = 120*l - 1016. Let w be -3 + (-57)/(-3) - -2. Suppose -2*a = -w + 8. Solve 3*i + 2*z = 10 - 4, -l = -a*i + 5*z for i.
2
Let y be (4*-1)/(7/(-14)). Let c be (6/y)/((-6)/(-24)). Suppose 3*s + 5*w - 30 = 0, -4*s + 8 = -8*w + 4*w. Solve -x + 10 = c*t, -x + 8 = 4*t - s*x for t.
3
Suppose -d + 2*l - 252 = 6*l, -2*d - 4*l = 500. Let n = -233 - d. Solve -5*y + n = 3*m, m + 4 = 5*y + 9 for y.
0
Let z = 3093 - 3091. Let a be -1 - 0 - (3 - 4). Solve 0*y - y = 5*p - 10, a = -z*y for p.
2
Let f = 18 + 7. Let x = f + -22. Suppose x*k - 15 = -0*k. Solve 3*n + 4 + 11 = 0, 0 = -5*l - k*n - 20 for l.
1
Suppose -2*a = -2*l - 5*a + 40, -4*a = 3*l - 59. Let f = 21 - l. Let c be 3/f*(-17 - -21). Solve 0*x + 11 = 3*x - 2*m, 0 = c*x + 4*m - 5 for x.
3
Let a(j) = 20*j + 167. Let x be a(-26). Let g = x - -355. Solve h + 5*l = -3*h + 3, g*h + l = -3 for h.
-3
Suppose 0 = -4*x - 3*o - 21, 2*o - 12 = 3*x + 3*o. Let u be ((-42)/49)/(x/14). Let l = 7 - u. Solve -10 = z + 3*n, -1 = 5*z - l*n - 23 for z.
2
Let g be (8 - 2)/6 + 4. Suppose l + l - g*w = 11, 2*l + w = 5. Solve -3 = -5*h - 2*x + 3, l*x = -2*h + 9 for h.
0
Suppose 7*w = 8 + 6. Let t(b) = 5*b**3 - 3*b**2 + b + 1. Let y be t(1). Solve -5*p - 25 = -2*u, w*u + u - 20 = y*p for u.
0
Suppose -181*j + 40*j + 3383 = -1834. Solve -3*b = -15, -39*b = -5*p - j*b - 30 for p.
-4
Let t = 282 + -278. Suppose 3*l = y + 3, -9 = -y + t*y. Let n(w) = -w**3 - 7*w**2 - 7*w - 1. Let f be n(-6). Solve 2*k - 4*p - 30 = -l*p, 0 = -f*k - 5*p for k.
5
Let a be (2/(-6)*-3)/1. Let v be (0 + -4 + 3)/(a/(-4)). Suppose -v*t - 18 = -3*m - 0, 3*m + t = 3. Solve -3*d = -m*q, 15 + 6 = 5*q + 3*d for q.
3
Suppose -13*p = 2*y - 11*p - 356, -6 = -3*p. Let j = y - 174. Solve -q = j*t + 9, -2*t + 4*t + 3*q + 11 = 0 for t.
-4
Suppose -145 + 177 = -8*i. Let y(j) = j**3 + 5*j**2 - 13. Let m be y(i). Let b = 93 + -49. Solve -18 + b = 5*d - v, 4*d = m*v + 23 for d.
5
Let p = -5 + 0. Let g(x) be the third derivative of x**4/8 + 19*x**3/6 - 240*x**2. Let f be g(p). Solve -f*u = -2*r - 3*u - 11, 3*r = 5*u - 27 for r.
-4
Suppose 2*o = -4*k - 16, -o - 175 = -3*k - 192. Solve 0 = -o*i - 4*f - 8, 0 = 6*f - 8*f - 8 for i.
4
Let p(t) = -2*t**2 + 512*t + 8135. Let h be p(-15). Solve -18 + 31 = -l + 4*b, 0 = 3*l + 5*b + h for l.
-5
Let f be ((-20)/(-12))/(1/3). Suppose 2*l = -z + 53, -f*z - 4*l = -10*z + 265. Let k = z + -51. Solve 2*j + 1 = -0*j + 3*h, j = 2*h - k for j.
4
Suppose 37*l + 2*l - 714 = -3*l. Solve -43*u + 45*u + 5*s = -15, -3*u - 2*s = l for u.
-5
Let a be 2 - 2/4*0. Let j be ((-3)/(-5))/(44/440). Suppose j*m = a*m. Solve 3*y + 5*z + 8 = m, 6*z - z + 32 = 3*y for y.
4
Suppose -4*o - 3*t = -18, -o - t - 1 = -3*t. Suppose j - 2*a - 12 = 0, -5*a = -0*j + 2*j + 12. Solve 2*p + v = -0*p + 7, 3 = o*p + j*v for p.
5
Suppose 230*u = 144*u + 2236. Solve -40*q + 37*q = 5*o - 32, 0 = -2*q - 4*o + u for q.
-1
Let d(z) = z - 3. Let r be d(5). Let m(i) = 11*i - 22. Let y be m(r). Solve 4*c + 9 = -3*j + c, -5*j - c + 5 = y for j.
2
Let i be (-19 + (-108)/(-6))/((-16)/5 - -3). Solve p = -k - 3, 4*k = -3*p - 4 - i for k.
0
Let q(f) = f**3 - 5*f**2 - 13*f - 7. Suppose 0 = 4*x - 3*j - 43, -6*x + 3*x + 5*j = -46. Let c be q(x). Solve 5*i + 6*l - 3*l = -15, -l - 5 = c for i.
0
Let v(g) = -2*g - 13. Let x be v(-3). Let o(k) = -5*k + 5. Let h be o(x). Let d be h/(-10)*1/(-2). Solve 4*j = 8, 0*r - d*r - 4*j + 12 = 0 for r.
2
Suppose -6*k - 152 + 176 = 0. Solve -4*l = -6 + 14, -2*b - k*l = 2 for b.
3
Suppose -2*f + 5*p - 34 = 0, -5*f + 22 = p + 53. Let d be -18*f/63*3/2. Solve -5*q - 25 = -0*m + 3*m, 3*m + 9 = d*q for m.
-5
Let q be -46 + 62 + (2 - 13). Let v be 4/20 - (2 + (-324)/30). Solve -p - 4*p + 6 = -3*o, 2*o + v = q*p for o.
3
Suppose 24 = 3*i - 3*j, 277*j - 278*j = 5*i - 58. Solve -6 = -3*b + 3*d - 6*d, 4*b = -d + i for b.
3
Suppose 4*n - 8 - 12 = -3*j, 8 = 2*j. Suppose 4*p = 3*c - 2, -n = p - 3. Solve -2*o - 4*v - c = 0, v + 6 = -3*o - 2 for o.
-3
Let n(b) = 2*b**2 - 11*b - 2. Let w be n(6). Let t be 1/(39/(-168) + 1/w). Let k = t - 55. Solve h + 5 = -2*d, 0 = -h + 4*d - k + 8 for h.
-1
Suppose 19*w - 56 = -9*w. Let q be (-18*8/(-120))/(w/50). Solve 2*s + 5*t - q = 0, 2*s - 3*s = -t - 1 for s.
5
Let j = -1773 + 1797. Solve -5*w + 4*r = -2*w + 7, 4*w = -2*r - j for w.
-5
Suppose 2*f + 5*b + 7 - 13 = 0, 0 = f + b - 3. Solve g = -5*w + 15, -4*w = f*g - 12 + 11 for g.
-5
Suppose 9*f - 23 - 13 = 0. Let h be -13*2/f*-2. Let l be 6/14 + (-24)/56. Solve 0 = -l*q - 2*q + 2*i + 2, -q + h = -4*i for q.
-3
Let v = 34 + -30. Suppose 0 = -v*r - 0*r. Suppose 20*t - 22*t + 26 = r. Solve -15 = -5*j + 5*q, -j = -4*j - q + t for j.
4
Let g(d) = -42*d - 463. Let k be g(-11). Let p(o) = -o**3 + 11*o**2 - 9*o. Let y be p(7). Let a be y/28 + k + (-6)/8. Solve -a = -3*l + 5*w + 2, 5*w = -5 for l.
0
Suppose -2*a = -a - 3*b - 3, a = 2*b + 2. Solve -4*u + 2*p - 8 = 0, -5*u - 4*p - 18 + 8 = a for u.
-2
Let j = -451 + 830. Let s = 382 - j. Solve -4*v - 20 = 3*c + v, -16 = s*c + 4*v for c.
0
Suppose -22 = 28*z + 1434. Let l(q) = 7*q**3 + 3*q**2 + 2*q - 2. Let f be l(-2). Let k = f - z. Solve -3*o - 3*h + 11 = 2*o, -o - k*h + 5 = 0 for o.
1
Let y(x) = 12*x**2 - 19 - 3*x**3 + 2*x**3 - 4 + 47*x + 4. Let z be y(15). Solve 2*b + 5*p = 15, -4*b - z = -7*b + 4*p for b.
5
Suppose 3*x - 3*b + 18 = 0, 12 = -2*b + 2. Let p be (-80)/(-44) - 2/x. Let v(q) = 9*q + 267. Let o be v(-29). Solve s - 2*s - p*a + 6 = 0, 4*a = -5*s + o for s.
-2
Suppose 705 = -0*c + 5*c + k, -4*c + k + 555 = 0. Suppose 0*y - y + o = 34, c = -4*y + 3*o. Let x = y - -40. Solve 3*r - 4*b + 5 = -x*b, -2*r = 4*b - 18 for r.
1
Let b(i) = i**3 - 5*i**2 + 9*i + 4. Let j be b(7). Let a = 114 - j. Let o = -41 - a. Solve 4*c - 2*n = 12, 3*c - n - o = n for c.
2
Let k(j) = 3*j**2 + j. Let b be k(1). Suppose -d - 5*q = -2*d + 60, 2*d - 134 = -b*q. Let t = 68 - d. Solve u = 0, 0 = -t*x - 0*u + u + 3 for x.
1
Suppose 16*b = 12*b + 37*b - 165. Solve 0 = -3*t - 4*a - 5 + 8, 5*t = b*a - 30 for t.
-3
Suppose 0 = 2*w - 12 - 0. Let c(b) = -4*b + 2. Let o be c(w). Let q = o - -27. Solve 0 = 3*i - 3*j, 0 = -i - q*j + j + 5 for i.
1
Let l(q) = 13*q - 892. Let a be l(69). Solve -2*t - 16 = i + 3*i, t - 13 = a*i for i.
-3
Suppose 4*w = -w + 150. Suppose 28*a + 28 = w*a. Let h = 40 + -36. Solve h*j + l = -13, j - 4*j + a = -4*l for j.
-2
Let f(w) = w**3 - 3*w**2 - 26*w + 84. Let c(k) = 4*k - 83. Let r be c(22). Let m be f(r). Solve 3*a = -s - 2 + 1, -m = 4*a + 4*s for a.
0
Let n be (-2340)/182 - 12/(-14). Let t be 9/n - (6 - 78/8). Solve -r = 3*x - 2*x + t, 2*r = 2*x + 14 for r.
2
Suppose 57 - 13 = 11*p. Suppose -3*r - 7 = 2*v, -p*v = -r - 6*v - 9. Solve -r = 5*z - x, z - 2*z + 2 = 2*x for z.
0
Suppose 67*c + 63*c = 1185 - 275. Solve 5*j = u - 8, -j + 3*u = u + c for j.
-1
Let b(i) = -i**3 + 29*i**2 + 3*i - 67. Suppose -3*r + 101 = 4*w, -8 = 4*r + 12. Let v be b(w). Solve 0 = 4*y + v, -5*z = -4*y + y - 20 for z.
1
Suppose 3*j - 158 = 5*y - 208, -5*y - 4*j = 20. Suppose -2*d + 10 = 3*x, -4*x - 10 = -2*d - 0. Solve 3*l - 11 = -d*t - 0*l, 5*t + y*l - 8 = 0 for t.
4
Let v = 29457 + -29444. Solve -a - 19*i - v = -21*i, -20 = -5*i for a.
-5
Suppose 3*p - 3*j = 0, -4*j = -2*p - j - 2. Suppose p*x = 16*x. Solve x = -4*c + v + 8, c - 15 = -0*v - 3*v for c.
3
Let l be (2 - 0) + 15 + -2. Let c(y) = -2*y**3 + 2*y**2 + 4*y + 3. Let i be c(3). Let t = -16 - i. Solve -d = 4*w - l, 2*d + d = -t*w + 24 for d.
3
Let p(m) = 7*m**2 - 434*m + 3. Let j be p(62). Solve -c = -3*v + 2 + j, 2*v - 5*c - 25 = 0 for v.
0
Let g = 9956 + -9946. Solve 0 = -2*y + 2*m, -7*y + 5*m = -12*y - g for y.
-1
Suppose 14*f - 8*f = 1392. Let h = -214 + f. Solve -1 + 7 = -2*o + 5*c, 4*o = -5*c + h for o.
2
Let d be (432/20)/6*(9 - 119/21). Solve l = -2*r + d, 92*r + 16 = 2*l + 94*r for l.
4
Let i = -6929 - -6937. Solve 4*y + 4*n + 20 = i*n, 5*y + 22 = 2*n for y.
-4
Suppose -3*q + 504 - 495 = 0. Solve 22 = -2*a - q*u, -5*a + 5*u - 2 = 3 for a.
-5
Let w be (-44)/(-66)*1/2*6. Suppose j + j = 0, -3*j = 3*d. Solve d = -3*m - 5*q + 34 - 12, -w*m - 3*q = -14 for m.
4
Let d(w) = 12*w**2 + 119*w - 114. Let z be d(-11). Solve -n - j + 36 = z, -4*j + 8 = 0 for n.
5
Let t(s) = s**2 + 9*s + 5. Let x be t(-9). Let o = 88 + -118. Let y be -6 + (-6)/(-3) - o/2. Solve 