= 3*c + k for l.
3
Let g(a) = a**3 + a - 1. Let w be g(0). Let t be w/8 - (-272)/128. Solve -5*i + 8 = 3*d, 0 = 2*i + t*i - 4 for d.
1
Let u = 108 + -106. Solve -x - 1 = -u*p + 1, 17 = -5*p - 3*x for p.
-1
Suppose -4*a = 79 - 119. Let s(x) = x**2 - 9*x - 1. Let v be s(a). Solve 0 = -5*h + 3*b + 3 + v, 0 = -4*h - b + 13 for h.
3
Let j be (276/16)/((-15)/(-40)). Let q = j - 26. Suppose -2*g + 3 + 1 = 0. Solve 5*b - l + 30 = 0, -b - 3*l = -g*b - q for b.
-5
Let v be (13 - (-572)/(-65)) + (-8)/(-10). Solve 0 = -2*u - 4*o + v - 1, 5*u + 26 = 2*o for u.
-4
Let v be (-8)/(-36) - (-43)/9. Suppose -5*t - 23 = -18. Let x be (-3 - -8)*(-1)/t. Solve 2*c + 5*q = -3, x*c + v*q + 9 = -6 for c.
-4
Let y(q) = q - 7. Suppose 2 = 3*u - 22. Let j be y(u). Suppose 4 = t + j. Solve -3*d - 18 = -3*o, 4*d - 2 - 9 = -t*o for d.
-1
Suppose -7*o + 12 = -23. Solve -4*i - y = 4, o*i = 2*y + 2*y - 5 for i.
-1
Suppose -344*o + 345*o - 4 = 0. Solve 0 = -4*m - 4*a, 4*m + 5*a + 9 - o = 0 for m.
5
Let d(f) = 2*f**2 + 45*f + 249. Let k be d(-13). Solve 3*m = -3*c, m + 7*c = 5*c + k for m.
-2
Let k(y) = 5*y - 5. Let d = 37 - 35. Let f be k(d). Solve 2*z = z + v - f, z = -4*v + 10 for z.
-2
Suppose 4*c = 2*m + 76, 4*c - 11 + 87 = -2*m. Let k = 43 + m. Solve 5*x + 7 = -k*r - 8, -4*x + 3*r + 9 = 0 for x.
0
Let b = 21 + -16. Suppose 0 = -b*n - 4*z + 119, -n = -0*n - 4*z - 19. Let p = n + -15. Solve 4*c - 11 - 5 = 0, -5*v = 2*c - p for v.
0
Suppose 7 = u + j, -2*j = u + 3*u - 22. Let b(k) = 20*k - 238. Let f be b(12). Suppose -u*x + 5*x = f. Solve 4*s = 4*t + 4, x*s + t + 7 = -3*s for s.
-1
Let c(r) = -5*r - 16. Let w be c(-4). Let d be (3/(-4))/(2/(-8)). Let v be 7/((1/(-1))/(-1)). Solve -d*b - 7 = 4*s, w*s - 2*b + v*b + 1 = 0 for s.
-4
Suppose -43*l + 45*l = 3*a - 4, 5*l - 12 = 2*a. Solve -5 = 3*j - 2*y, 2*j - 2*y = -0*j - a for j.
-1
Let g = -46 + 61. Solve 0 = 2*l + 2, 5*p = -5*l - g for p.
-2
Let z(n) = 2*n**3 - n**3 - 14*n**2 + 6*n + 9*n**2 - 4. Let u be z(4). Solve 5*p + s + 3*s - 4 = 0, 0 = -4*p + u*s + 32 for p.
4
Suppose 5*t + 5*t = 970. Let n = t - 76. Solve -4*i + 2*k - 7 - n = 0, 3*k = -i + 7 for i.
-5
Suppose 4*s = 13*s - 18. Suppose -54 = -5*r + 4*o, r = 3*o + o - s. Solve -2*y + 22 = -4*c, -3*c + 0*y - y = r for c.
-5
Let f = 730 + -716. Solve i - 3*k - 4 = -18, -4*k = i - f for i.
-2
Suppose -230*y = -219*y - 44. Solve -2*i + y = 2*d - d, 2*d + i = 8 for d.
4
Suppose 5*g = -5*k + 65, -2*g = 3*g - 3*k - 57. Let m be (-3)/(1 + -3 + 1). Let q be m*1*(-5 - (-11 + 5)). Solve -3*i = -3*c - 0*i - g, -2*c - 3 = q*i for c.
-3
Let c be (-3 - (-2 + -2))*0. Suppose c*p = 3*p. Suppose 0 = 5*w - p*w. Solve w = 5*j + 4*z + 12, 2*j + 5*z + 15 = j for j.
0
Suppose 0 = 5*m - 110 - 15. Let o = 25 - m. Solve o = 4*v + 5*i + 31, 0 = -v + 2*v - i + 1 for v.
-4
Suppose -19 = -2*o + 3. Let v = 13 - o. Suppose v*z = z. Solve -20 = 2*n + 4*h, -4*h + 8 = -5*n - z*h for n.
-4
Let m be (3 - 3) + 4 - -3. Let b = 8 - m. Let v be -1*b*(-12 + 10). Solve -5*q - 8 = -q - v*f, 2*q = 3*f - 4 for q.
-2
Let u(g) = 2*g**3 - 78*g**2 + 74*g + 80. Let r be u(38). Solve 0 = 2*i + r*w - 10, -2*i - w + 10 = -3*w for i.
5
Let n be 6/(-4)*(-12)/9. Suppose -b = 3*b - 240. Suppose h - 4*h + b = 0. Solve 0 = a - 2*c + 15, -n*c = -2*a - h - 0 for a.
-5
Suppose -5*a = -p + 84, -8 + 20 = -a + 5*p. Let o = 17 + a. Solve 5*w = -2*m, o = 3*m - 4*w - 0*w - 23 for m.
5
Let b be (1 - (3 - 3))*0. Suppose -10*w + 3*w = b. Solve w = -2*k - 3*a - 4, 2*k = -a + 3 + 1 for k.
4
Suppose 3*h - 3*u - 18 = 0, -10*h = -15*h - u + 24. Solve h*t - 11 = t - o, -3*o = -5*t + 35 for t.
4
Let g be 4/(-1)*11/(-22). Solve -4*k = 5*n + 21 - 24, 8 = g*n + 5*k for n.
-1
Let b = -11 - -13. Let l be (-2)/b + (2 - -1). Suppose l*p + 3 = 3*p. Solve -j = -2*g + 9, p*j = -9 - 0 for g.
3
Suppose -a - 28 = -2*x + 3*a, 4*x - a = 21. Let f = 59 - 56. Suppose 0 = f*m + 2*m - 10. Solve -p + 2 = 3*p - 5*o, -m*o = x for p.
-2
Let s = -18 - -14. Let v = -2 - s. Let a = 13 + -11. Solve -i - a*i + 24 = 4*d, 2*i = v*d + 2 for i.
4
Suppose 0*u - u + 10 = 2*w, 2*u = 4*w - 4. Solve -8*v + 4*y - 11 = -w*v, 0 = y + 1 for v.
-3
Let r = 1130 - 1119. Solve 0 = 4*v + 4*p + 24, 2*v + 3*p - r = -28 for v.
-1
Let j = -38 + 41. Suppose -4*r = -3*h + 9, h + 6 = j*h - 2*r. Solve -12 = -h*q, -2*g - 19 = -2*q - 5 for g.
-3
Let b = 136 - 127. Solve 0 = 3*o - 5*f + 10, -b*f + 5*f = 2*o - 8 for o.
0
Let a(m) = -3*m**3 - 2*m**2 + m + 1. Let h be a(-2). Solve -3*b - 15 = 2*k, 0 = 3*b + 4*k - 5*k + h for b.
-5
Let h be 1*(180/50 + 2/5). Solve 8 = 3*k - h, 3*k = 2*b + 14 for b.
-1
Suppose -5*w + 14*w - 90 = 0. Suppose 0 = 2*v - 0*h - 4*h - 10, -2*v = 4*h - w. Solve 5*n = -3*k + 5, -n + 2*n + v*k + 21 = 0 for n.
4
Suppose 3*d + 3 = 0, 5*l + 3*d + 0*d = 147. Suppose v = 6*v + l. Let i be ((-3)/9)/(1/v). Solve -3 = -i*c + 2*j + j, 0 = -5*j + 5 for c.
3
Let f(y) = -53*y + 6. Let g be f(-2). Suppose -g*c + 110*c + 4 = 0. Solve 3*i - 24 = -c*d - 11, i + 7 = 5*d for i.
3
Let n be (5/5)/(13 - 12). Solve -2*x - 2 = -s, s - 3 = -3*x - n for s.
2
Let i be ((-6)/(-8))/(3/24). Suppose 0 = 11*r - 10*r - i. Solve 0 = -t - 4*p + r, -p = t - 2*p - 1 for t.
2
Let w(d) = 5*d**3 - 3*d**2 + 11*d - 13. Let v(x) = x**3 + x**2 + x. Let m(c) = 4*v(c) - w(c). Let f be m(6). Solve f*p - 2*p = 3*b + 31, -p + 3*b = -11 for p.
5
Let t(p) = p**2 - 6*p + 28. Suppose 0 = 10*i - 25*i + 105. Let g be t(i). Solve -5*c = q + q - 35, -2*c = 5*q - g for c.
5
Let q = -488 - -493. Solve h = -q*v - 10, 20 = -5*v - 2*h + 3*h for v.
-3
Let m = -476 + 476. Solve -17 = 4*z + 5*p, -3*z + 3*p = -m*z + 6 for z.
-3
Let j be ((-17)/3)/(4 + (-78)/18). Solve 4*p = n - 23, 2*p - p = 4*n - j for p.
-5
Suppose 74 - 335 = 9*b. Let f(s) = 2*s**3 + 60*s**2 + 59*s + 30. Let a be f(b). Let j = 5 + -3. Solve -d = -p - a, -4 = 2*p + j for d.
-2
Let x(b) = b**2 - 7*b + 2. Let c be x(7). Solve 0 = -c*i - 5*j - 25, -1 = 2*i + j + 4 for i.
0
Let w(m) = -m**2 + 14*m + 31. Let x be w(14). Solve 5*a - 4*d - x + 3 = 0, -4*a + 20 = -2*d for a.
4
Let n(w) = -4*w - 8. Let o be n(-3). Let m be (-6)/3 - (-11 - -5). Solve m*v = o*q, 3*q + 2*v + 5 = -0*v for q.
-1
Suppose 7*d - 68 = 3*d. Suppose 0 = 15*g - d*g + 8. Solve 4*a = -4*b - g, 2*b = -3*b - 3*a - 7 for b.
-2
Let t = -522 + 538. Solve 2*q = -2*d + 8, -6*d - q + t = -d for d.
3
Let z = 902 - 891. Solve -3*y - t = -5 + z, -2*y + 5*t = 21 for y.
-3
Let k = 1836 - 1831. Solve 2*v + 3*c = -k - 6, 4*v = c - 1 for v.
-1
Suppose -d + 6 = 3. Let h be (3/(-1) - -6)/(d - 2). Solve 0 = 2*i - h*a + 4, 5*a - a + 6 = -3*i for i.
-2
Let p be ((-8)/(-40))/((-9)/(-360)). Solve -2*j = -3*x + p, j - 10 = -0*j - 2*x for j.
2
Let z(v) = -37*v - 23. Let i be z(-1). Solve -2*l + 19 = 3*b, -3*b + i = l - 0*b for l.
5
Let f(g) = -5*g**3 - 54*g**2 + 9*g - 20. Let m be f(-11). Solve 0 = -m*w - 0*w - 4*y - 16, -5*w - y = 13 for w.
-2
Let u = 6 - -26. Suppose 0 = 3*r - a + 3*a + 29, -3*r + a - 35 = 0. Let q = r + u. Solve -q = 5*l - 0*l - 4*z, 2*z - 9 = l for l.
-1
Let x = 279 + -275. Solve -2*a - 4 = -x*y, 5*a = 2*y - 5*y - 23 for a.
-4
Suppose 3*x = 3, -4*y + 2*x + 3 = x. Let n = -56 + 76. Suppose -25*j + n = -20*j. Solve 0*d + y = j*d - 5*h, 0 = d - h for d.
-1
Suppose 2*h = -3*g + 4 + 11, 3*h + 4*g = 23. Suppose -2*f - m = -3, 7*m - 4*m - h = 0. Solve 0 = -b - u, 0 = -4*b + 3*u - f*u + 21 for b.
3
Let n = -29 + 25. Let h(b) = b + 19. Let d be h(n). Solve -3*o = i - 12, 4*i + 5*o - d - 5 = 0 for i.
0
Let k = -16 + 31. Let w = 14 - k. Let j be w + 0 + 28/7. Solve 3*y + j = o, -5*o = y - 2*y + 13 for y.
-2
Suppose -23*f = -105 + 13. Solve 0 = -4*q + 5*x + 9, -2*x - 7 = -f*q - 1 for q.
1
Let i(n) = -2*n - 6. Let p(z) = z**2 - 4*z - 4. Let o be p(4). Let u be i(o). Suppose 4*g + 12 = 8*g. Solve 2*m - 2 = -m - h, g*m = u*h + 5 for m.
1
Let p be (0 - 12)*(8/3 + -3). Solve -l - 4*l - h = 3, p*l - 4 = -4*h for l.
-1
Suppose 1523 - 189 = 46*h. Solve -50 = -5*l - 5*j, 4*j + 9 = h for l.
5
Let g be -3 - 1 - -11 - 0. Let c be 7/1 + 7/(g/(-2)). Solve -20 = -8*a + 3*a, -3*l + 29 = c*a for l.
3
Let i = -32 + 48. Suppose -2 = -2*o + 4. Let k = o + i. Solve 0*j + k = -3*r + 2*j, -3*r - 4*j = -11 for r.
-3
Let m(k) = -k**3 + 10*k**2 + 26*k - 20. Let s be m(12). Solve 3*x - 1 = s*d, -6*d - 8 = 3*x - d for x.
-1
Let o(q) = 7*q**2 + 6*q + 7. Let m be 