-2*l for l.
-2
Let d(s) = s**2 + 10*s + 30. Let z be d(-6). Suppose 10 = -11*v + 16*v. Solve -4*w - z = v*x, -5*x + 16 = w - 5 for w.
-4
Suppose 30 = 15450*m - 15440*m. Solve -4*x + 4*q - 32 = 0, -x - m*q + 8 = -0*q for x.
-4
Let x(n) = n**2 + 8*n + 5. Let j be x(-8). Let a be 7*(180/42)/5. Suppose i + 2*i - a = 5*c, -5*i + 10 = -c. Solve 4*b + 2 = -i*h - 0*b, j*h = -4*b + 1 for h.
1
Suppose -3*y - 24 = -3*z, 8 + 13 = 2*z - 3*y. Let m(o) = 2*o + 5. Let p be m(z). Let w = p - 8. Solve -w*x = 2*s + 23, -2*s - 13 = x - 0*s for x.
-5
Let z(a) = a**2 - a - 13. Let m be z(-8). Suppose -72 = -g - m. Suppose 2*q + 2 = 12. Solve -r + 2*r = 5*k - 11, -q*r + 4*k = g for r.
-1
Let k(q) = q - 3. Let d be k(-6). Let o(f) = -52*f - 3 - 52*f - 40 + 99*f. Let b be o(d). Solve -3*a - 4*l + 1 = 0, -3*a - 5 = -b*a - 4*l for a.
-1
Let x = 4325 + -4320. Solve -2*g + 20 = -4*y + 2*g, 0 = x*y - 4*g + 22 for y.
-2
Let l(g) = 6*g**3 - 810*g**2 - 817*g + 211. Let r be l(136). Solve 2*t + r*y = 72*y - 6, -2 = -2*t - y for t.
3
Suppose 78 = t + c, 37*t - 152 = 35*t - 3*c. Suppose 0 = 7*l - t + 12. Solve 4*v = 3*x + 20, l = 5*v - 3*v - 2*x for v.
5
Suppose 2*m - y - 160 = 0, -3*m - 2*y + 244 = -3*y. Solve -5 = u - 2*d, 5*u + m*d = 85*d - 7 for u.
-1
Let x(l) = l**3 - 4*l**2 + l. Let m be x(4). Let k(c) = -12*c + 3 - 3 + 5*c - 5 + 10*c. Let o be k(m). Solve o = -y + 2*t, 3*y - 7*y + 3*t - 3 = 0 for y.
3
Let m be 15/2*(-96)/(-80). Let w(c) = c**3 - 9*c**2 + 5. Let t be w(m). Let n be t/2*7/(70/8). Solve -3*y = -n*a - 11, -2*a - 14 = 2*a + 2*y for a.
-4
Let u(y) = -y**2 + 19*y - 32. Let l be u(4). Solve -3*v = -0*j + 2*j + 13, 0 = 5*j + 3*v + l for j.
-5
Let h(q) = -10*q**2 + 117*q - 152. Let s be h(10). Solve 3*t = 5*p - 14, 6*p - 10 = -2*t + s for p.
4
Let z(x) = 5*x + 354. Let k(u) = 3*u + 160. Let l(g) = -9*k(g) + 4*z(g). Let h = -3 + -1. Let v be l(h). Solve j + v*j = 3*i - 28, -i = -1 for j.
-5
Let c = 15 + -12. Let d be 0 + (-2 - (-3 - c)). Let m(z) = -160*z - 478. Let j be m(-3). Solve -2*b = s, -j*b + d = s + s for s.
4
Let x = -51 + -242. Let p = 296 + x. Solve p*i = -4*g + 4, g + 4*i = -0*i + 1 for g.
1
Suppose 0 = 6*b + 12 + 336. Let f be (-52)/7*203/b. Solve 5*a + 5*o = -30, 0*o + f = -5*a - 3*o for a.
-4
Let u(z) = 2*z + 5. Let f be u(0). Suppose 12 = f*p - 8. Suppose -40*m + 57*m - 51 = 0. Solve q + 11 = -2*q + p*y, 0 = -m*q + 5*y - 13 for q.
-1
Suppose 205 = 73*b + 78*b - 399. Solve -s + 4*x = 16, -b*s = -3*s + 5*x - 20 for s.
0
Let d(g) = g**3 - 58*g**2 + 161*g + 222. Let s be d(55). Solve -s*q = -5*j - 17 + 16, 11 = -3*q - 5*j for q.
-2
Let i(p) = 3*p**2 - 16*p - 266. Let y be i(13). Solve -2*j - 17 = -5*d, -2*j + 4 = -31*d + y*d for d.
3
Let t be (-1430)/70 - (-6)/14. Let i = t + 29. Solve 2*b = -2*d - 1 + 5, -3*d - i = 0 for b.
5
Let p(q) = q**3 + 37*q**2 + 20*q - 568. Let u be p(-36). Suppose -3*h = -4*h + 88. Suppose -12*a + u*a = -h. Solve -3*m - 15 = 0, 5*z - m = 3 + a for z.
4
Let q(r) = r**2 + 7*r - 8. Let m be q(-6). Let s be (4/m)/((-3)/21). Let o = 4266 - 4256. Solve -5*d + j = -1 - 9, -s*j = -o for d.
3
Suppose 24*m + 114 = 13*m + 30*m. Solve 59*y + 6 = 61*y - 5*f, -m = -2*y - f for y.
3
Suppose -3*m - 25 = 41. Let q be ((-6)/(-33))/((-2)/m). Suppose 2*a + 4*j = 30, 6 = q*j - 4. Solve 2 = c - 2*x, a*c + 3*x = -1 - 28 for c.
-4
Let c be (-84)/(-35) - (0 + 4 + (-54)/15). Let j = -21 + 36. Solve 9 = 3*k + y, c*k = 5*k - y - j for k.
4
Let k be 9/(-279) - (-20)/620. Solve -49*w - 18 = -3*i - 45*w, -4*i + 2*w + 14 = k for i.
2
Let r(u) = u**2 + 9*u + 3. Let v be (-61)/7 + 8/(-28). Let z be r(v). Suppose -180*p = -176*p - 8. Solve 4*w + 4 = -z*b, p*b - w = 3*b for b.
4
Suppose 1866 = 3*h - 8*h - 4*m, 2*h + 744 = -4*m. Let w = h + 379. Solve -2*k + 12 = 3*b + 2*b, 0 = -3*b - w*k - 8 for b.
4
Let i(t) = -6*t**3 - 109*t**2 + 46*t + 1152. Let r be i(-18). Solve -5*y = 2*o + 5, r = -y + 4 - 7 for o.
5
Let k = -11986 + 11990. Solve -m = 251*s - 247*s + 15, -4*s = -k*m for m.
-3
Suppose -11*v - 1698 = 1349. Let p = -262 - v. Solve -18 = -3*w - 4*n - 5, 3*n - p = 3*w for w.
-1
Suppose 0*w + 582*w = 5238. Solve f + 15 = -5*u, 12*u + f = w*u - 9 for u.
-3
Let t(u) = u**3 + 54*u**2 + 156*u + 156. Let l be t(-51). Solve -2*o - 11 = p, -l*o - 6*p - 27 = -p for o.
-4
Let s = 237 - 237. Solve s = 2*r + 8, -2*r + r = -3*k - 2 for k.
-2
Let z(f) = 5*f**2 - 13*f + 8. Suppose -4*d - 22 = -m, 8*m = 5*m - 5*d - 19. Let g be z(m). Solve 5*h - 20 = w, g + 13 = 3*h for w.
5
Let u = 1017 - 1014. Solve -r + 2*m = -m + 3, -u*m - 9 = 3*r for r.
-3
Let a(q) = -14*q - 10. Let t be a(-8). Let j = 174 - t. Let d be (-2 - 7/(-3))/(6/j). Solve 2*w - 5*x + 3*x = -d, 2*w + 16 = -2*x for w.
-5
Let g(i) = -4*i - 16. Let x = -7 - -13. Let l be g(x). Let z be (0 + l)/(-5) - 3. Solve -1 = z*n - 2*v, -6 = -2*n + 5*v + 2 for n.
-1
Suppose 2 = -2*t, 0 = -c - 3*t + t + 33. Let d be 1/3*-100*39/(-13). Let v = -95 + d. Solve -3*m - 2*o - 2*o = c, -v*m + o - 20 = 0 for m.
-5
Suppose -10*i + 13*i - 4*h - 28 = 0, -i + 4*h + 20 = 0. Solve 20 = i*q - 2*f + 4, 5*f = 2*q - 16 for q.
3
Suppose 2*k = -4*j - 150, 8*k + 140 = -3*j + 12*k. Let b be (-3)/(-2)*j/(-15). Solve -b*d = 4*n - 20, 5*n = -4*d + 38 - 13 for n.
5
Let j(o) = 5*o - 116. Let i = 179 + -153. Let f be j(i). Solve 0*u = 5*u + 5*k + 10, -f = -5*u + 3*k for u.
1
Let a be ((-3)/5)/((102/(-30))/17). Suppose d + a*l + 9 = -4, 13 = 4*d - l. Solve -n - 13 = -d*g, 0 = -4*n - 3*g + 4*g - 17 for n.
-3
Let w = 6792 + -6788. Solve -5*o = -d + 25, -4*o - 4 = w*d - 8 for d.
5
Suppose -277 = -68*a + 335. Suppose g + 0*g - c + 2 = 0, -3*c = 4*g - 27. Solve -g*n - 5*y + a = 0, 3*y = n + 6*y - 3 for n.
3
Let m(x) = 2*x**3 + 4*x**2 - 17*x - 6. Let q be m(-7). Let j = 382 + q. Solve -j*o = 5*p + 35, 5*o = p - 20 + 3 for p.
-3
Let c = -2374 + 2380. Solve 2*f - g - 4*g = -6, 2*f = -2*g - c for f.
-3
Let w be (-4)/18 - 3/(-81)*6. Suppose -4*r = 3*n - 8, w = 3*r + r + 2*n - 12. Solve r*u + 6 = -5*y + u, 2*y = -u - 3 for y.
-2
Suppose -41*n - 23*n + 7*n + 31122 = 0. Solve 4*r + n = 534, 0 = -5*m - 4*r + 3 for m.
3
Let v = 1579 - 1574. Let t(z) = z**2 - 2. Let b be t(3). Suppose 0 = -5*j + 8 + b. Solve 2*m + m + 19 = v*s, 0 = -j*s + m + 13 for s.
5
Let f = -294 + 415. Let w = f + -115. Solve 0 = -5*k - w*b + b - 30, 3*b = 3*k - 6 for k.
-2
Let k be (-144)/(-42) - 6/14. Solve -2*c - 19 = -5*v, -4*c = -5*v + k*v - 2 for c.
3
Let l = 4773 + -4771. Solve v - 11 = -5*r, -3*v = -v - l*r + 2 for v.
1
Let n be (-192)/16 - ((-2)/(-2) + -1). Let b be 905/(-15) + 8/n. Let k = b - -65. Solve 4*g + 8 = -0*r + 3*r, -4*g + k = 0 for r.
4
Suppose r = -t, 91*t - 95*t = 3*r + 1. Solve -5*b - 7*m + 2 = -9*m, -3*b + m + r = 0 for b.
0
Suppose 17*y - 208 = -42*y + 500. Solve -2*p = -2*k - 8, y = -2*k - 4*p - 2 for k.
-5
Let h = 3126 - 3123. Solve 5*w = -2*k - 4, -3*k = -h*w - 5*k for w.
-2
Let z be 4 + 29/((-3)/3). Let f = z - -30. Suppose f*x - 8 = 2. Solve -10 = 2*c + 4*a + 8, c - x*a = 11 for c.
1
Suppose 9*s - 4*s - 25 = 0. Suppose -f - 5*v = 171 - 179, 2*f + v = 7. Solve s*t = x - 2*x - 13, t + f*x + 11 = 0 for t.
-2
Suppose r + 10 = -0*u - 3*u, 3*u + 6 = -3*r. Let d = u - -2. Let q be 8 - (d - -3) - 3. Solve 4*y + 16 = -q*h, 1 = -3*y + 2*h - 6 for y.
-3
Suppose 0 = 2*k + 2*o - 10, -2*o + 14 = 3*k + 4. Suppose 30*c - 12 - 138 = k. Solve c*t = i + 1, t - 15 = 6*t - 5*i for t.
1
Let b = 610 - 514. Let s = b + -81. Solve v + z + 0 = -3, s = -2*v - 5*z for v.
0
Let h(o) = 88*o + 2557. Let y be h(-29). Solve -2*v - 30 = -5*f - 0*v, -y*v - 25 = 0 for f.
4
Suppose 0*c = -2*c + 2*g + 134, -4*c + 286 = 5*g. Let y = c + -11. Let q = -55 + y. Solve -2*f + 2*k - q - 5 = 0, -f = 2*k + 1 for f.
-3
Suppose 16*y + 10*y - 33421 = -32849. Solve 67*z - 70*z - 4*d = y, -z + 14 = -4*d for z.
-2
Let c be (-42)/(-14) - (-180)/4. Suppose -6 = -2*p, -6*y + 2*y - 164 = 4*p. Let k = y + c. Solve 2*f = -4*w - 0 - 8, 0 = -f - k for w.
0
Let z = 96 - 100. Let t be (-9)/(4 + 11/(-2)) + z. Solve -t*m = -5*v + 24, 0 = -2*v + v + 3*m + 10 for v.
4
Let f be ((-113)/(-23) + 46/529)/1. Solve y - m = 5 - 3, -4*y = -f*m - 6 for y.
4
Suppose 23*a - 2*y + 170 = 18*a, -a - 26 = -2*y. Let g be (-63)/6*24/a. Solve 4*o + 12 = -4*l, 2*l + 3*o = -3*l - g for l.
1
Let a(k) = 5*k - 38. Let i be a(20). Suppose -l - i + 64 = 0. S