2*s + 18 = k*y, l*y - 2*s = 27 for y.
5
Let q = -12 + -24. Let y = q - -39. Suppose -8*f = -y*f - 175. Solve 5*a + 2*z + 0*z - 17 = 0, 5*z = 3*a - f for a.
5
Suppose -2*u - 3*x - 29 + 12 = 0, 2*u + 26 = -4*x. Solve -m = y + 4, 15*m - 12 = -u*y + 18*m for y.
0
Let r be 1/1*(-48)/(-4 + 0). Let u be -5*12*r/9. Let h = -45 - u. Solve -2*c = -5*i - h, -45 = 2*i + 2*i - 5*c for i.
-5
Let h(x) = 5*x - 15. Let g be h(4). Suppose g*l - 48 = 27. Let c be (-10)/l - (-106)/6. Solve -z - 5*m + 27 = 0, -8*z + 5*m = -4*z + c for z.
2
Suppose 10 = -2*i, 3*i + 40 = -5*m - 0*i. Suppose 0 = x - 3*o + 9, -5*x - 3*o = -3*x. Let n be x/m - 777/(-105). Solve y + 3*v - n*v = 14, -2*v - 8 = -y for y.
4
Let w be ((-15)/(-18))/(3/558). Suppose 0 = -153*y + w*y - 8. Solve u = -4*n - y - 1, 3*n - 20 = 4*u for u.
-5
Suppose 17 = 3*w + 5. Suppose 4*v + 8 = 28. Suppose 0 = q - a - 19, 0*q + v*a - 31 = -2*q. Solve -3*f - l + q = 0, 4*f - w*l = 6*f - 22 for f.
5
Let x = -473 + 480. Solve 4*c - 12 = -4*p, 11*c = 12*c + 3*p - x for c.
1
Let i be (561/1071)/(9/21) + (-4)/18. Solve b + 10*l - i = 11*l, l + 1 = 0 for b.
0
Suppose 4*g - 18 = -2*r, 2*r + 22 = 235*g - 231*g. Solve -15*w + 5*c = 0, 5*c - 4 = -g*w - 24 for w.
-1
Let c(k) = 2*k**2 - 48*k + 90. Let m be c(2). Solve -2*p - 9 = -y, p = -0 - m for y.
5
Let x(d) = -12*d**2 + 542*d - 78. Let i be x(45). Solve -16 = -5*z + 4*n, -8*z + 3*n = -i*z + 19 for z.
4
Let k(n) = -n**3 - 34*n**2 - n - 58. Let d be k(-34). Let t = d - -31. Solve 2*f + 5*w + t = -17, 0 = 3*w + 12 for f.
-2
Let t = -29174 + 29179. Solve 21*j - p - t = 26*j, -25 = -5*p for j.
-2
Suppose -p = p + 8. Let w be p/3*3/(-2). Suppose 0 = 10*a - 18 - 2 - 10. Solve 5*y + w*f = -23, 5*y - 6*y - 2*f = a for y.
-5
Suppose 5*o = -4*t + 45, 2*o = 4*o - 2. Let k be 1/(1/1 + (-8)/t). Suppose 67 = -k*f + 67. Solve 5*y = 4*b - 19, 3 = -y - f for b.
1
Suppose 9*m - 94 - 92 = -22*m. Solve 5*u + m*c = 14 + 6, 2*u = -2*c + 6 for u.
-2
Let n(l) = 5*l - 1 - 2 - 1 + 3 - 2*l**2. Let x(y) = -y. Let h(b) = -n(b) - 5*x(b). Let m be h(1). Solve i = 2*i - m*o, -4*i + 7 = -5*o for i.
3
Let a = 17558 + -17076. Solve -4*h = 0, 485*r + 5*h = a*r + 15 for r.
5
Let y = -312 + 597. Let f = -282 + y. Solve -2*p = -1 + 3, p - 11 = f*c for c.
-4
Suppose -11*k + 4*r + 70 = -9*k, -2*k + 52 = -r. Solve 3*g + 9 = 2*j, -22 = 3*j - 2*g - k for j.
-3
Let i(m) = m + 66. Let j be i(0). Let b be (-11)/(-55) - 339/(-5). Let s = b - j. Solve -2*o + 5 = -5*x, -1 + 28 = s*x + 5*o for x.
1
Suppose -84*w + 85*w - 16 = 3*v, 5*w = 4*v + 80. Solve 3*g + w = 3*j + j, -4 = 4*j + 2*g for j.
1
Let j be (92 + 33)*((-7)/(-5))/7. Solve -5*y + j = 0, 5*z + y + 0*y = -15 for z.
-4
Let l(c) = 2*c**3 + 70*c**2 + 191*c - 26. Let g be l(-32). Suppose 5*x - f = 19, -3*x = x - 2*f - 20. Solve -15 = x*n, -g*z + 5*n + 22 = -3*z for z.
-1
Let o = 614 + -613. Let n be (-41 - -44)/(o + (-1)/(-2)). Solve -14 = -2*g + x, 0*g = -g - n*x - 3 for g.
5
Suppose 5*l = -15 + 135. Let n be 16/l - 22/(-3). Suppose n - 20 = -4*s. Solve -2*w + 6*w + 15 = c, s*c = 3*w + 9 for c.
-1
Let m be (1 + 4 + -2)*19. Suppose 0 = j + k - 23, 3*k + 35 + m = 4*j. Let z = j - 19. Solve z*y = -3*s - 1, -2*y + 6*y + 4 = 0 for s.
1
Let t be (-4*(-10)/(-4) - -14)*1/2. Solve t*d - 12 = -4*z, -4*d - 5*z = -z - 12 for d.
0
Suppose -11*r = 13*r - 216. Let l be -5 + 3 - (r + -16). Solve 0 = -2*o - o + l*x - 17, -2*o - 5 = 3*x for o.
-4
Let o be (-1 + 1 - -3)*(3264/(-153) + 23). Solve 7*i + o*q + 12 = 6*i, 3*i + q = -8 for i.
-2
Suppose 2589*f - 2582*f = 245. Solve -4*w - 4*v + 8 = 0, 0 = -3*w + f*v - 30*v - 2 for w.
1
Let o(h) = 36*h**2 - 12. Let t be o(1). Solve 4*u = 3*j + 29, t*u + 26 = 28*u - 2*j for u.
5
Let g(o) = -3*o**2 + o + 269. Let t be g(-9). Solve -10 = 2*u, t*h - 18*h = u + 1 for h.
4
Let a be (7 - -14)/3*(-132)/14. Let x = a + 69. Solve -x*w + 10 = -4*i - w, 5*w = -5*i - 20 for i.
-3
Let u be -1 + -3 - (15 - 28) - (6 + 0). Solve 2*l + 2 = -4*p, u*p - 5*l + 3 = -5 for p.
-1
Let z be (8 - 6/(-3)) + 0. Solve -w + 16 = 2*m + 1, -2*w + z = 0 for m.
5
Suppose -4*t = 3*b - 23, -4*b - 7*t + 6*t + 22 = 0. Solve 0 = 2*i + 3*i + b*n - 10, -3*n = 0 for i.
2
Suppose -31*g + 444 = 72. Let x(b) = -7*b + 86. Let s be x(g). Solve 5*m = -5*d + d + 2, 5*d = -s*m - 6 for d.
-2
Suppose -5*k + 112 = -7*t + 9*t, t - 46 = -5*k. Solve w + 12 = 4*g, 0 = -4*g + 2*w - t + 78 for g.
3
Suppose 2*k - 247 = 7*k - 4*h, -153 = 3*k - 4*h. Let p = k - -72. Solve l + 0*a - 4*a + 20 = 0, -5*a + p = 0 for l.
0
Suppose -3*h + 5*b - 3*b = -2, 5*b = 5*h + 5. Suppose 4*s - 16 = 4*q, 5*s + 0*q = -4*q + 11. Solve s + 9 = -h*w, -4*n + 20 = -4*w for n.
2
Let c be 1/(-1 - (3 + 81/(-21))). Let h be (-3)/((-9)/(-12)) + c + 15. Let t be 17 - 2 - 0/(-2). Solve 2 = 5*g + 4*p, 3*p - t = h*g - g for g.
-2
Suppose -5*x = 3*b + 2 - 17, -3*x + 5 = b. Solve b*m + r + 11 = 0, 18*r + 1 = 17*r for m.
-2
Let a(q) = q**3 + 5*q**2 - 15*q + 12. Let w be a(-7). Let p be (-534)/(-30) - 8/10. Suppose -2 + p = 3*y. Solve 0*n = -2*n + 6, -k = y*n - w for k.
4
Let w be (12/(-22))/(206/(-1133)). Solve -w*x - 3 = -4*l, -5*l = -x - 9 - 3 for x.
3
Suppose 162 = 33*g - 3. Solve 3*c - g*h = -25, 5*h + 9 - 4 = -3*c for c.
-5
Let i(t) = -4*t**2 + 612*t + 631. Let m be i(154). Solve 3*q + 15 = -2*c, -q - 2*c - m = 2*c for q.
-3
Suppose -2*o = -y + 7, 5*o - 5*y + 20 = -15. Solve -u + 10*q - 9*q = -5, o = 4*u + 4*q - 20 for u.
5
Let o be (3 - (-63)/(-6))/((-144)/96). Solve 0 = 5*v + 2*q + 23 - 4, -o*q = -15 for v.
-5
Suppose 2*o - 3*t - 138 = 0, 0 = -o - 6*t + 4*t + 76. Solve 5*v = -4*s + 37, 0 = 75*s - o*s - v - 4 for s.
3
Suppose 4*f = 6*f - 4. Let o be 1*2 - 25/((-75)/18). Solve 0 = 4*a - 3*d - 8, o = 6*a - f*a + 5*d for a.
2
Let j be (-15 + 14)/(0 + 1/(-4)). Suppose -7*a = -14*a + j*a. Suppose a = -6*l + 9*l - 6. Solve 4 - 21 = -i + 4*d, -l*i - 4*d - 26 = 0 for i.
-3
Let m be (-3)/((-66)/4) + (-112320)/297. Let g = -378 - m. Solve -q = 4*i - 13, -3*i + g*i + 8 = -q for q.
1
Let m = 3409 + -3404. Solve -3*q - m = 4*x, -5*x - 12 = -3*q + 1 for x.
-2
Suppose 1349*z - 252 = 1345*z. Let t be -7*(468/z - 8). Solve -4*v + 14 = -4*n - 2, 0 = -n + 4*v - t for n.
-4
Suppose 0 = -83*g + 42*g + 48*g - 49. Solve g = 4*o - 2*v + 23, 3*o - 2*v = -14 for o.
-2
Suppose -80*p + 28*p = -28*p - 48. Solve p*b = -0*j + j - 3, 3*j + b = -19 for j.
-5
Let q = -168 - -235. Suppose q*r = 5*j + 63*r - 56, 32 = 5*j + 2*r. Solve 0 = -4*t + j, -3*m + 0*m = 4*t - 14 for m.
2
Let z be 21/(-3) + ((-2700)/(-12))/25. Solve -h - 16 = -5*b, 4*b + z*h - 19 = 5 for b.
4
Let k(y) = 5*y**2 - 8. Let s(g) = 2*g**3 + 3*g + 2. Let t be s(-1). Let l be k(t). Let x = 41 - l. Solve 2*c + 2*n - x*n = 4, -8 = -4*c + n for c.
2
Suppose -11*u = -52 - 256. Suppose x = 30 - u. Solve x*h - 4*h - 28 = -4*c, -4*h + c = 21 for h.
-4
Let q = 152 - 143. Suppose q*h - 9 = 6*h. Solve -5*f = 3*t - 0*f - 19, h*t + 2*f - 13 = 0 for t.
3
Let t be (-13)/(-6) + 2/(-12). Let u = -11888 + 11888. Solve 5*w - 20 = v, u*w + 10 = t*w for v.
5
Let w(f) = 5*f + 40. Let o be w(9). Let m = -85 + o. Solve -5*b = 4*a + 32, a + 7 = -m*b - b for b.
-4
Let z(y) = 4*y**3 - y**2 - y + 3. Let b = -68 - -99. Suppose -b*q = -34*q + 3. Let t be z(q). Solve -5*r = 5*j - 5, -j - 7 = -2*j + t*r for j.
2
Suppose 12 = -3*m + 7*m. Let q be 14/(-6) - 1155/(-495). Suppose a - 5 + m = q. Solve -g = 2*j + 2*j - 11, -14 = -a*g - 4*j for g.
3
Let w be ((-8)/(-9))/4 + (-742)/(-63). Let v be -8*(-5 + 4/w*12). Solve -2*g - 4*l + 20 = -7*l, -3*g = 5*l + v for g.
4
Let l be 0 + -4 - (-627)/95 - (-10)/25. Solve 3*n - o - 11 - l = 0, -2*n = 5*o + 19 for n.
3
Suppose 30*b + 258 = 92*b + 67*b. Solve -3*j - 2 = 4*i - 5*j, -b*i + 3*j = -1 for i.
-1
Let d = 13027 + -13025. Solve 0 = -3*j - d*h + 11, -4*j + h - 28 = -50 for j.
5
Let p(d) be the first derivative of d**2/2 + 12*d + 96. Let y be p(-8). Solve -4*k - y = 4*a, 5*a + 4*k + 3 = k for a.
0
Let c(u) = u**3 - u**2 - 2*u + 5. Let q be c(0). Suppose 2*d - 4 = 3*j, -d + 0*j - q = -5*j. Solve v + 4 = -0*v + d*m, 3*v + 4*m = -12 for v.
-4
Suppose 0 = -23*t + 14*t + 36. Let a be (t/(-3))/(-4)*(18 + -3). Solve z - c - 16 = -5*c, 3*z = a*c - 20 for z.
0
Let m be 28/(-3)*600/(-28). Suppose 6*c - m = -188. Solve -u - 5 = 0, 0 = c*v + 2*u + 2 + 10 for v.
-1
Let d be ((-356)/5*8/(96/30))/(-1). Solv