 for l.
-3
Suppose -4*j = 11 + 9. Let g(k) = k + 5. Let a be g(j). Suppose 10*h - 11*h + 3 = a. Solve -h*x = 2*o - 2*x + 14, -5*o - x = 29 for o.
-5
Let x be 16*(-15)/6 - (-1 + 1). Let j = 43 + x. Solve -2*z - j*o + 13 = 0, 2*o + 2*o = 2*z + 22 for z.
-1
Let u be ((-5)/(-4))/(2/40). Suppose -2*z - 1 = -u. Let s be 33/z + (-2)/(-8). Solve 0 = -s*k - 15, 0 = y + y - k - 1 for y.
-2
Suppose i - 2*b = 14, 11*b + 6 = -i + 9*b. Solve -5*m - 16 = -p, 4*m = 3*p - 0*m - i for p.
-4
Let a = -23 + 46. Let j = 27 - a. Solve -j*b - 5*y = 24, 0*b = -3*b - 4*y - 19 for b.
-1
Suppose -8*q + 3*q = -4*a + 8, q - 5*a + 10 = 0. Solve 0 = 5*d + 5*i - 20, -2*d + 4*i = -q*i - 2 for d.
3
Let a(k) = -k**2 + 10*k + 112. Let z be a(16). Solve -2*s + 2*l - 10 = -5*s, -5*s + z = 4*l for s.
4
Let u be (2 - (3 - 0))*(-1 + -1). Suppose 2 - u = 10*m. Solve 0 = -m*b - 3*b + 9, 3*i + 2*b = -6 for i.
-4
Let u(n) = -5*n**3 - 4*n - 4. Let j be u(-1). Solve -s - 3*t - 9 = -t, -j*t = s + 15 for s.
-5
Suppose -2*o + 36*q = 33*q + 6, 3*o - 4*q = -8. Solve o = 5*n + 4 + 1, -x - 5*n - 2 = 0 for x.
3
Suppose -h - 18 + 13 = 0. Let c = 8 + h. Suppose 7*s - 20 = c*s. Solve -6*m + 3*m = -15, -5*o - m = s for o.
-2
Let i = 37 + -22. Let v be i - 5/(25/(-20)). Solve 5*k = -3*t, 2*t + 3 = 4*k - v for k.
3
Suppose -27*k - 18 + 477 = 0. Solve 2*z + 2 = -3*g, 0*z + 3*g + k = z for z.
5
Suppose -3*r = -15, 0 = 5*g + 3*r - 0*r - 160. Solve -2*b = -3*m - m - 2, -3*m - g = 4*b for b.
-5
Let m = 1 - 11. Let a = 15 + m. Suppose -3*b = -5*o + 25, b - 10 = -a*o + 15. Solve b = 4*x + j + 22, -2 + 0 = j for x.
-5
Suppose 0 = 19*t - 21*t + 10. Let g(s) = -s**3 - 8*s**2 - 4*s - 7. Let o be g(-8). Solve 3*z = -t*u + 25, -z + o = -u + 6*u for z.
0
Let p(i) = i**2 + 4*i - 9. Let a be p(-6). Suppose 0*o - a = -3*o. Solve 1 = -y + 5*j + 4, 3*y + o = 5*j for y.
-2
Let p = -120 - -120. Let g(v) = v + 5. Let i be g(p). Solve 5*u = r - 23, r + i*u + 15 = 6*r for r.
-2
Let p = -5 - -9. Suppose 0 = 5*a + 5*g + 20, 4 = -p*a - 3*g - 15. Let w = 9 + a. Solve -d - 11 = -3*t + 3, 0 = -t + w*d + 13 for t.
3
Let d = -150 + 153. Solve 4*h + 1 = 5*b + 17, h = d*b + 11 for h.
-1
Let o = 664 + -664. Solve 4*x - x = 5*g - 7, o = g - 2*x for g.
2
Suppose -5*x - 3*a = 2*a - 45, 0 = x + 5*a - 29. Solve 3*o + 5*b + 0*b - 11 = 0, o = -2*b + x for o.
2
Let m(z) = -z - 8. Let q be m(-12). Suppose -q*k = -k - 15. Suppose 4*v = -3*v + 91. Solve -k*i - 4*a = -a - v, 0 = 5*i - 5*a - 5 for i.
2
Let y be ((-11)/(-44))/((-10)/(-520)). Solve -3*z - 8 = 4*q, -2*q + y - 3 = 5*z for z.
4
Let s(i) = -26*i + 376. Let u be s(14). Let b be (-2)/4*0 - -2. Solve 2*d - k - 2*k = 0, -b*d - 3*k - u = 0 for d.
-3
Let t be 672/66 + -7 + 6/(-33). Solve -t*r + 3*d = 0, 4*r = 5*d + 2 - 1 for r.
-1
Let g be 18/4*(-2)/(-3). Let p be 15/12 + g/4. Let m be p + 13 + (-4)/2. Solve -2*b - 5*i = 15, -5*i - m - 2 = -5*b for b.
0
Suppose -17*c = -16*c - f - 9, -43 = -2*c - 3*f. Solve 2*o = 5*o + 2*v + c, -5*v = -4*o - 11 for o.
-4
Let h = -74 - -73. Let y be 0/h + 9/3. Solve -3*l + 17 = y*z - 7*l, -3*l - 6 = 0 for z.
3
Let a = 7 + -9. Let v = a - -6. Suppose -s + 17 = 4*m, 0*s = -m + v*s. Solve 0 = q + 3*h, 0*q + q = m*h for q.
0
Let f(c) be the third derivative of -c**6/120 - c**5/10 - 7*c**4/12 - 8*c**3/3 + 7*c**2. Let m be f(-4). Solve 3*i = m + 7, -15 = 4*y - 3*i for y.
0
Suppose -5*s - 6 = -2*a - 45, -s - 3 = 5*a. Let c = s - 2. Suppose -w - w = -m - 2, -w = c*m - 23. Solve -14 = 4*t + w*y - 0*y, t + 13 = 4*y for t.
-5
Suppose 294*m = 285*m. Solve m = j - 4, -p - 2*p = 4*j - 16 for p.
0
Let f(d) = -2*d - 13. Let u be f(-11). Let w(s) = s**2 - 7*s - 16. Let z be w(u). Solve 6*o + h + 10 = o, 0 = 4*o - z*h - 6 for o.
-1
Let q = -466 - -473. Solve 4*k - 5*k = -3*j + 17, 3*j + 4*k = q for j.
5
Suppose -k + 4*i = -8, -18 = -9*k + 4*k - 2*i. Solve 4*w + 16 = k*o - 0, 4*w - 2*o = -14 for w.
-3
Let m(n) = 2*n**3 - 183*n**2 + 95*n - 361. Let b be m(91). Let a(j) = 5*j + 1. Let f be a(1). Solve 20 = 5*o, -4*k + b*o - f = 2 for k.
1
Let p(x) = -x**2 - 6*x + 1. Let i be p(-6). Suppose 2*z - 2*s = -3*s + 6, 4*s - 15 = -5*z. Suppose 5 + i = z*y. Solve -4*v = -0*f - y*f - 2, -3*f = -3*v for f.
1
Let j = -47 + 50. Solve 0 = -3*f - 3*g + j, 0*f = f - 5*g + 11 for f.
-1
Let b be (0 - 2)*3*(-3)/9. Solve 4*h + 26 = b*g, -2*h + 0*h - 25 = -5*g for h.
-5
Let i = 16 + -7. Let v(m) = -m + 8. Let k be v(5). Suppose 3 = k*j - i. Solve 3*z = 2*a - 6, j*z - z + 3 = a for a.
3
Let w(k) = k**3 - 13*k**2 + 15*k + 20. Let l(v) = v**3. Let s(x) = -2*l(x) + w(x). Let o be s(-14). Solve 5*g - 18 = -y, o*g - 4*y - 20 = 3*g for g.
4
Let n = 5 - 1. Let k = -216 + 219. Solve -2*w = 3*c + k, -2*w - c - 5 = n*c for w.
0
Suppose -4*v + 2*g + 30 = 0, 2*g - 15 = 2*v + 7*g. Suppose -z - 10 = -v*z - 2*w, 5*w = -15. Solve 5*b = -z*t + t - 37, 11 = -4*t + b for t.
-4
Suppose -4*d - 4*w = 20 - 48, 0 = d - w + 3. Let u be (-43)/(-9) + 34/153. Solve l + u - 3 = 4*x, -l = 2*x + d for x.
0
Let l be 12/(-5)*(-50)/30. Solve -2*z + 4*p = -l, -z = -2*z + p for z.
-2
Let v = -140 + 144. Solve 16 = -i + 5*b, -2*i + 3*b + 0*b = v for i.
4
Suppose 0 = -5*d + 18 - 8. Suppose -4*z = -d - 2. Let n be ((-1)/3)/(z/(-39)). Solve -s + 3 = -a, n = 2*a - a + 3*s for a.
1
Let k be 11 - (-1 - -2*1). Suppose -2*w = -5*w + 15. Let d = k - w. Solve -11 = d*c - 3*a, -4*c + 3*a - 1 = -9*c for c.
-1
Let c = -2 - -11. Suppose 8*q - 15 = 3*q. Suppose -6*a + q*a + c = 0. Solve 2*m + 10 = 3*m + 3*r, m - a*r + 14 = 0 for m.
-2
Suppose -r - c = 3 - 5, 0 = 4*c - 8. Solve 2*j + l + 13 + 0 = r, -29 = 4*j + 3*l for j.
-5
Let l be ((-75)/5)/((-36)/24). Solve -2*q - 16 = -4*r, -5*q - l = -4*r + 12 for r.
3
Let x be 3/2*22/3. Suppose -3*q - x = 3*a + a, -4*q - 8 = 4*a. Solve 3*o = -2*i + 21, 0 = o - 6*o + q*i + 16 for o.
5
Suppose 2*b - 15 = -13*j + 8*j, 2*j - 6 = -5*b. Solve -6*d = 2*r - 2*d - 8, 0 = 4*r + j*d - 11 for r.
2
Let g = -740 + 744. Suppose 3*s + 12 = 0, 3*h + s - 2*s - 163 = 0. Suppose 5*u - h = -3*y + y, -5*y = u - 98. Solve y = g*k + 7, 3*k - 7 = -t for t.
-2
Let q(p) = 2*p**2 + 13*p + 23. Let x be q(-5). Solve -4*c + 9 = -h, x - 2 = c - h for c.
1
Let k(m) = 3*m - 7. Let w(u) = -13*u + 29. Let s(l) = 9*k(l) + 2*w(l). Let g be s(-3). Let v = g - -11. Solve 4*i + 15 = 5*f, i + 0*f = v*f - 9 for i.
0
Let d be 72/252 + (-33)/(-7). Solve j + 20 = d*j - 4*o, 3*j - o = 11 for j.
3
Let h = 4 - -6. Let m be (0 - (-5)/h)*4. Solve -5*u - 5*n = 0, 3*u + m = -4*n + 4 for u.
-2
Let k(q) = -q**3 - 7*q**2 - 5*q + 8. Let g be k(-6). Suppose g*o - 11 = 31. Solve 5*u + 5*y = 35 - 10, -3*u - 5*y + o = 0 for u.
2
Let f be -1 - -5*104/65. Solve 8 + f = -5*u + 2*c, -3*u = 2*c + 25 for u.
-5
Let p(k) = k**3 + 4*k**2 - 9*k - 2. Let a be p(2). Solve -2*v = 2*c + 2, 0*v = a*v - 8 for c.
-3
Let c = -916 - -919. Solve 3*y + 4*u = 11, c*u - 3 = 5*y - 2 for y.
1
Suppose m = 6*m - 10. Suppose 0*c - z + 1 = m*c, -4*z = -4*c + 20. Solve 6*g = 2*g - 12, 0 = c*y - 2*g - 12 for y.
3
Let n = -146 - -155. Let b(x) = -4*x + 39. Let i be b(n). Solve 18 = i*k + 2*c, -5*k + 14 = 3*c - 5*c for k.
4
Let x = 174 - 85. Let w = 89 - x. Solve -4*c = f - 1, -4*c + 4*f + 0*f + 16 = w for c.
1
Suppose -3*s + 9 = -13*k, -s = -k - 0*s - 3. Solve 5*d + 5*a - 15 = k, d + 4*d - 23 = -a for d.
5
Let b(y) = -y**3 - 7*y**2 - 6*y + 1. Let x be b(-6). Let o be 8/4 - -4*x. Solve -o = -2*l + 2*p, 3 = 4*l + p - 4 for l.
2
Suppose 0 = -6*g + 5*u + 24, -4*u = -g - 6 - 9. Suppose 2 = -4*p + 5*p. Solve w - g = 2*f, -4*f + 2*f - p*w + 6 = 0 for f.
-2
Suppose p + 2 = 3*c, -8*c - 5*p - 10 = -4*c. Solve 0 = 5*n - 5*m + 5, -n + 0*n - 2*m + 11 = c for n.
3
Let v = -31 - -47. Suppose 0 = 2*z - 6*z + v. Suppose 0 = 2*f - 2*p - 10, f + 12 + 3 = -3*p. Solve -2*m - z*j + 7 = -j, f = 3*m - 2*j + 22 for m.
-4
Let m = 196 - 194. Solve 0 = 2*s + h - 6, -m*s - h = -3*s for s.
2
Let z be -3 + ((-235)/(-5) - -5). Let l = z - 47. Solve 4*u - l*p = -0*p + 10, 3*u - p = 9 for u.
4
Let n(y) = y**3 - 8*y**2 - 7*y + 14. Let o be n(9). Suppose 4*r + 12 = o. Suppose -5 = -r*f, 3*b - 7*b + 21 = 5*f. Solve v - 3*d = -b, 2 = -2*v + 3*d + d for v.
5
Let s be (1 - (-1)/(-2))*6. Suppose i + 2*i + 8*m + 32 = 0, 0 = 4*i + 5*m + 20. Solve -s*u = 4*v + 5 + 3, 4*v + 8 = i for u.
0
Let v(a) = -a**2 + 8*a - 10. Let w be v(5). Solve w*n = 2*g 