 11 for l.
1
Let q(h) = -3*h**3 + 4*h**2 + 5*h + 1. Let x = 462 + -463. Let i be q(x). Solve -3*t + 2*a = 17, -t - 13 = -5*a - i for t.
-5
Suppose -2*z = 4*d - 28, 4*z - d = 6*z - 16. Solve 0 = g, -3*f - 6 - z = 5*g for f.
-4
Let t = -6428 + 6430. Solve 4*j + 3*x + 32 = 0, 21*j + t*x = 25*j + 12 for j.
-5
Suppose 973 = 320*o - 307. Solve -6*q + 8*q + o*b = 4, -q - 4*b = -4 for q.
0
Suppose 12*r = 13 + 62 - 15. Solve -w = 2*w + 2*t + 16, 5*w - r*t - 15 = 0 for w.
-2
Let g(a) = -15*a + 149. Let z be g(9). Suppose 2*l + z - 54 = 0. Solve -l = -2*s - 2*s, 10 = -2*k + 4*s for k.
5
Let s = 20116 - 20114. Solve -5*a + 3*o - 8*o + 10 = 0, -5*o + 17 = -s*a for a.
-1
Suppose -661*m + 609*m = -260. Solve -m*y - 5*o = -9*y - 11, -5*y = -3*o + 17 for y.
-4
Let c be (-3)/3*4/(-2). Suppose 3834 = -10*j + j. Let r = j + 440. Solve c*t + 2*t = 2*q - r, 0 = q + 3*t + 8 for q.
1
Suppose -9*h + q = -4*h - 13, -5*h = -2*q - 11. Suppose -h*k = 13*v - 14*v + 17, -4*v - 2*k = -12. Solve v = -3*o + 2*y, o + 5 = -o + y for o.
-5
Suppose -24 = -4*b - 4*n - 0*n, -b - 2*n = -9. Let o = 80 - -98. Let j = -176 + o. Solve 2*d - b*d + j*v = 7, d = -2*v + 5 for d.
-1
Suppose 6*p - 140 = 136. Suppose p*t = 171 + 59. Solve t*w = 2*b - 31, 3*b - 5*w = 16 + 18 for b.
3
Let z be (-4)/10*-74 + (-6)/(-15). Solve -12 = -2*n + 5*d - z, 0 = -4*n + d for n.
1
Suppose -103*h + 3*k = -118*h + 51, 2*h - k - 11 = 0. Solve -11*j = -y - 10*j - 4, h*j = -2*y - 8 for y.
-4
Suppose k - 21 = -53*i + 48*i, -i = -2*k + 20. Solve 5*c + 5*j - 20 = 0, 14*c - 5*j - 12 = k*c for c.
4
Suppose -3*p - 572 = -2*y + y, -3*p - 1150 = -2*y. Let g = y + -578. Solve 4*q + 4*t - 8 = g, -3*q - t - 4 = -0*q for q.
-3
Suppose -78*l + 108 + 126 = 0. Solve -i + l*z + 1 = 4*z, 2*z = 5*i + 23 for i.
-3
Suppose 5*a + 0*a + 15 = 0. Let w = -5 + 41. Let h be (w/(-10) - -3)/(a/15). Solve s - 13 = -4*s - h*y, -4*y = -2*s for s.
2
Let m(z) = -2*z + 9. Let o(n) = n + 1. Let p(r) = m(r) + o(r). Let v be p(7). Let i be -1*60/(-32) + (-3)/(-24). Solve -5*d - j = 2*j, -v*j = -i*d for d.
0
Let u = 4726 + -4689. Solve -u*q = -4*s - 33*q + 16, -s + 16 = -4*q for s.
0
Let w(f) = 17*f - 10. Let i be w(2). Let s = i + -10. Suppose 2*o = 3*o - 2*t - s, 3*o - 3*t - 51 = 0. Solve -d = 2*r - r - 6, 5*d = 5*r - o for r.
5
Let d(t) = t**2 + 28*t - 243. Let k be d(7). Let z be 11/4 - (-3)/12. Suppose z = 2*o - 1. Solve 4*f - k*y = -0*y, 8 = o*y for f.
2
Let p be 6/(6/7) + 6/10*15. Solve -4*t - 18*u + p = -19*u, -u + 8 = 4*t for t.
3
Let f be (-3 + 4/1)*(0 - 0). Solve -2*w - 5*s - 14 = f, 2*w + 18 = -3*w - 4*s for w.
-2
Let x be ((-81)/(-12))/(6/16). Suppose 7*l - 2*l - b = 21, 4*l - 2*b = x. Suppose -15 = -l*q + 5. Solve q*v - 5*j - 45 = 0, 20 + 12 = 3*v - 4*j for v.
4
Suppose -15 = -6*i + 21. Let b(d) = -d**2 + 7*d - 2. Let s(v) = -2*v + 2. Let u be s(-2). Let r be b(u). Solve -4*x - f = -i, 3*x - 3*f - r = 8 for x.
2
Let h = 0 + 0. Suppose -u + 5*t + 2 = -h*t, -5*t + 19 = 2*u. Solve 1 = 5*k - 3*s, -4*k - s = -6*s + u for k.
2
Let j be 20 + -6 + 6*(-9)/6. Solve 0 = -3*x + 4*n + 7, -x + 3 = -j*n + 8 for x.
5
Let t(w) = -w**2 + 20*w + 20. Let b be t(20). Suppose 0 = 19*k + 1 - b. Solve 5*s + 11 = -4*x, 3*s + 3*x - k = -7 for s.
-3
Let s = 227 + -221. Let k(t) = t**3 - 5*t**2 - 8*t + 20. Let l be k(s). Solve x = 6*o - o - l, -4*x - 9 = 3*o for x.
-3
Suppose -4*p + h = -23, 2*p - 13 = -2*h + 1. Suppose p*w + 42 = 60. Solve w*v + 0*g + 9 = 2*g, -2*v - 13 = g for v.
-5
Let o(k) = k**2 - 14*k + 9. Let r be o(14). Let w be (0 - (0 + 1))/(-1). Let b be ((-72)/39 - -2) + (-8)/52. Solve -s + b*x - w = -2*x, s - r = -3*x for s.
3
Let c = -328 - -347. Suppose 0 = l - j - c, 5*l - 3*j = j + 97. Solve 4*o + 5*q = l, -o - 19 = -6*o + q for o.
4
Let j = -154 - -159. Suppose h + 2*o = -4 + 1, -3*o + 6 = j*h. Solve 4*l = 5*u - 1, l - h*u - 2 = -u for l.
-4
Suppose 6*h = 3*r - 81, 14*r - 4*h = 11*r + 73. Solve 0 = 4*y - 5*g + r, -4*y = -3*g + g + 10 for y.
-1
Let p be (-2597)/(-14) - (-2)/4. Let f = -151 + p. Solve 4*q = -12, 2*q - f = 4*o + 7*q for o.
-5
Suppose 5*m = q - 22, 37*m + 10 = -3*q + 33*m. Solve 0 = h + 3*o + 12, 3*h + q*o = 2*h - 9 for h.
-3
Let u be ((-10)/(-4))/(2/4). Suppose -47*w - 60 + 201 = 0. Solve -4*r = r - w*y - 22, -5*y - u = -2*r for r.
5
Suppose -520 = -26*l + 1522 - 456. Solve 4*i - 32 = -65*a + l*a, -5*a = -i - 16 for a.
4
Let f = 1011 - 1011. Solve 4*m + 6*l - 7*l - 18 = f, m + l - 2 = 0 for m.
4
Let t(d) = d**3 + 90*d**2 + 184*d + 710. Let y be t(-88). Solve -8*x + 10*x = -4*g + y, 3*g + 3 = -3*x for g.
4
Let k = 21299 + -21297. Solve -k*n = -2*g - 2, 8 = 2*n + 2*g - 2 for n.
3
Suppose 0 = -3*g + 2*o + 142, -g + 35 = 3*o - 16. Suppose -g + 3 = -15*r. Solve 0 = -r*p + t, 2*p - t + 13 = 4*t for p.
1
Let g be (-102)/18 - -6 - 7/(21/(-26)). Solve -4*l = -5*j - 6, -g = l - 3*j - 7 for l.
4
Let p = 3620 - 3605. Solve 12*f = -2*d + 11*f - 6, -5*d + 4*f - p = 0 for d.
-3
Let k(n) be the second derivative of n**4/12 + 13*n**3/6 + 35*n**2/2 - 123*n. Let a be k(-3). Solve 6 = t - 5*s, 4*t - 2*s - 1 = -a*s for t.
1
Let n be -1 + (14 - 6) - 8. Let o be 4/(n + 5/3). Solve 3*s - 4 + 0 = -k, -4*s + o = k for k.
-2
Let c be 3 - (-3)/(9/6). Suppose -c*b - 3*x + 57 = 0, 5*b = -3*x + x + 58. Suppose -8*s + 11*s = b. Solve a - 6*a + 19 = k, -a + s = 0 for k.
-1
Let l = 458 + -442. Let t be (-4)/(-1) - (-44 - -3). Let j = t + -41. Solve -l = -j*f - 5*k, -f = 4*k - 8*k - 4 for f.
4
Let p = 17482 + -17479. Solve 2*o = z - 4, -p*o + 119 - 125 = 5*z for o.
-2
Let c be -23 - 16/(-112)*161. Solve 3 = -23*j + 20*j + 5*u, 4*u = c for j.
-1
Let n(v) = 3*v**2 + 333*v + 335. Let d be n(-110). Solve h = -2*m - 2, d*m + 1 = -h - 1 for h.
-2
Suppose 2*h + 0*b - b - 21 = 0, 2*h = 2*b + 18. Suppose h*z - 75 = 7*z. Let r be ((-1)/(-3) + 1)/(5/z). Solve -3*j = -9, r*j - 2*j = 3*x - 3 for x.
3
Suppose 2*x + 10 = 6, 5*i = -x + 23. Solve -h + i*h + 2*l = -6, -12 = -5*h + 4*l for h.
0
Let h be ((-6)/4)/(-3 + (-10395)/(-3460)). Let k = h - -350. Solve a = -k*u - 18, 0 = -4*u - 2*a - a - 22 for u.
-4
Suppose 4*t - 4*c = 28, -4*c + 1 = -3*t + 26. Suppose -4*f = 3*g - 23, -f - t*f + g + 3 = 0. Solve 0*q = -r + q - f, 12 = 4*q for r.
1
Let u be (2/(3 + -1) + -2)*5. Let w(m) = 6*m + 28. Let t be w(u). Let d be ((-2)/4)/(t/20) + -2. Solve -d*g + 2*g = -4*b - 17, -2*g = -2 for b.
-4
Let n(a) = a**3 + 7*a**2 + 3*a + 5. Let o be n(-6). Suppose -o*j + 21*j = -8. Suppose 2*y + y = 0. Solve -r - r + 3*i + 5 = y, -j*i = 20 for r.
-5
Let n = 8625 - 8620. Solve 7 = 3*u - 2*j, j - n + 13 = -3*u for u.
-1
Suppose 20*v = 23*v. Suppose 2*d - 36 + 108 = v. Let i = -33 - d. Solve q + i = 2*a, -2*q + 14 = a - 5*q for a.
-1
Let r = 4702 + -4678. Solve 5*s = -3*y + 23, -2*s = 3*s + 4*y - r for s.
4
Suppose 20 = 6*a + 8. Suppose 0 = -a*l - 3*l + 30. Solve h - 23 = r - l*r, 0 = h - 3*r + 9 for h.
3
Suppose -6*k - 16*k = -704. Let w be 18/(-27) - k/(-12). Solve 0 = -x - v + 6, -3*v + w*v = 2*x - 8 for x.
2
Let h(t) = -17*t + 182. Let s be h(18). Let a = s + 126. Solve -14 = 4*u + 3*w - 6, a*w - 8 = 0 for u.
-5
Let n(u) = 20*u - 7*u + 12*u + u. Let m be n(-2). Let x = -48 - m. Solve -4*y - 11 = -3*j, y + 3 - x = 2*j for y.
-5
Let j = -9 + 12. Suppose 2180*g + 32 = 2196*g. Solve r = -g*w + 2*r - 6, -j*w - 4 = r for w.
-2
Suppose -4*o = 2*d, 5*d - 14 = -3*o - 7. Solve 6*y + 5 = -3*j + 2*y, -4 = d*y for j.
1
Let x(i) = -5*i + 5. Let t be x(1). Let v be 256/(-32) + (-1 - -15). Solve t = 5*r - v*d + 3*d - 5, -4 = -4*r + 4*d for r.
1
Suppose 14 = 5*o - g, 4*o - 2*g - 8 = 8. Solve -54*r = -52*r - 5*m, o*m = 0 for r.
0
Let h(w) = 6*w - 24. Let b be h(4). Let i(q) = -q**2 + 7*q + 3. Let z be i(9). Let p = 18 + z. Solve -3*x = m + 3, m + p = -b*x - 4*x for x.
0
Suppose z + 1 = 5, -6 = 5*c - 4*z. Let r be -7 + 16 + -2 + c. Suppose -6 - r = -5*l. Solve 4*y = -0*w - l*w + 8, -3*y = 5*w - 6 for w.
0
Suppose 0 = 8*s - 5*s - 18. Let l(y) = -y**2 + 8*y - 10. Let z be l(s). Solve -w = -3*h + w - z, -h + 5*w = -8 for h.
-2
Let d = 464 - 422. Suppose -d*x - 4 + 4 = 0. Solve c + 5*v + 29 = -x*v, -10 = 2*v for c.
-4
Let j be ((-5)/15)/(3/(-27)) - 66. Let w = 88 + j. Suppose -4*n + 5*n + 4*z - 20 = 0, 0 = 4*n + 5*z - w. Solve n*l + 5*l + 15 = -5*y, -4*l - 17 = 5*y for l.
2
Suppose 15*x - 16 = 23*x. Let p be (x - 4) + 32/4.