-3*h + 0*h - 15 = l, t - 8 = h for t.
3
Suppose -4*r = -3*r + 1. Let z be 15/10*-1*2*r. Solve -32 = -z*a + 5*c, -c + 20 = 3*a - 3*c for a.
4
Suppose -8*o + 8 = -6*o. Suppose 92 = 5*j + 2*w - 54, 2*w = -o. Solve -5*n = -2*n + 4*k - 22, 5*k - j = -5*n for n.
2
Suppose 2*a - 99 = -77. Solve -3*u + 3*d = 9, 4*u - 24 = a*d - 16*d for u.
1
Let t(a) = 6*a - 18. Let f be t(4). Suppose f = -9*s + 11*s. Solve -s*x = 4*z + 14, x - 4*x + 3*z + 21 = 0 for x.
2
Let f = -7 - -8. Suppose -3*t + 5*p = f, 8*t = 3*t + p + 13. Suppose t*g = -3 + 12. Solve -5*x = -5*l + 15, 0*x - 23 = g*x + 4*l for x.
-5
Let s(l) = 13*l + 192. Let d be s(-14). Solve -2*q = -2*u + d, 5*u - 21 = -4*q + 4 for u.
5
Let q(j) = 5*j**3 + j - j**3 - 3*j**3 - 5*j**2 - 7 + j. Let u be q(5). Solve -x - u = -p, -3*p - 10 = -p + 2*x for p.
-1
Let p(h) = -15*h + 48. Let c be p(3). Solve -j = -b + 2, -c*b = 2*j + 2*b + 25 for j.
-5
Suppose -5*m = -8 - 2. Suppose 2*j - 3 - 1 = 0. Solve c = -2*h - j*c - 13, h - 4 = m*c for h.
-2
Let p be 3*(-7)/(-3) + 0. Let o(w) = -w**3 + 6*w**2 + 6*w + 7. Let b be o(p). Solve -3*t + 3*r = 2*t + 6, -r + 2 = b for t.
0
Let t be (-69)/(-5) + (-18)/(-90). Suppose -t - 106 = -3*q. Solve -35 = -2*m - 5*f, -3*f = 4*m + m - q for m.
5
Let y = -80 - -85. Solve b + y*q + 27 = 0, 0 = -2*q + 4*q + 10 for b.
-2
Suppose 0 = 59*c - 55*c. Suppose 0 = -c*s - 5*s + 40. Let a = s + -5. Solve -4 = 3*t - 8*t - k, -a*t = -2*k + 8 for t.
0
Let x be ((-6)/3)/(1/4). Let z = 12 + x. Let c be 16/(-24) - z/(-6). Solve c = 3*m - s + 11, 0 = -3*m - 3*s + s - 23 for m.
-5
Let z(t) = t**3 + 3*t**2 - t. Let j be z(-3). Suppose 0 = -19*m + 12*m. Solve 2*o + 2*g + m*g = 18, -15 = -j*g for o.
4
Let x be 4/((-3)/(-3)) + -3 - -7. Solve -4*s - 5*b + b + x = 0, -4*b + 13 = 5*s for s.
5
Suppose -7*f + 48 = 20. Suppose -10*x + f = -26. Solve 3*o - 2*b - 11 = 0, -x*b + 5 = o - 4*b for o.
1
Suppose 2*o - 5 = -2*y + 43, 5*o = -3*y + 70. Suppose -y = -12*n + 7*n. Solve -2*b - 18 = -n*k, 4*b + 9 = 3*k + b for k.
4
Suppose -5*f - 165 = -38*f. Solve -3*v + 2*t = 8 - 12, -f*t + 7 = v for v.
2
Let t = -30 - -33. Suppose -6 = -3*a - t. Let z(s) = s**3 - 4*s**2 + 5*s - 4. Let r be z(3). Solve -3*l - w = 17, r*l + 19 - a = -4*w for l.
-5
Let v = -12 - -24. Suppose 7*p + 20 = 62. Suppose 4*i + v = p*i. Solve 0 = -3*q + 3*s + 9, -2*q - s = -i*q for q.
-1
Let l(x) = x - 2. Let p be l(4). Let q be (-2)/(-8) + 455/52. Solve p*t + 3*v = -t + q, 16 = 5*t + 4*v for t.
4
Suppose 4*s - 31 - 21 = 0. Let j = s - 8. Solve 37 = -3*g - j*a, -5*g - 46 = 2*a - 16 for g.
-4
Let o(w) = -w**3 - 33*w**2 - 35*w - 48. Let z be o(-32). Let g = -49 - -19. Let u = g + z. Solve -14 = 4*k - 4*q + 10, 5*k = -q - u for k.
-4
Let i(d) = d**3 - 10*d**2 - 12*d + 16. Let w be i(11). Solve c - 3*r = w, 3*c + 4*r - 4 = -15 for c.
-1
Let k be (-9)/27 + 1/3. Let a = -4 - k. Let p be 1/2*(8 + a). Solve p*t = -6*h + h - 15, -4*h + t = -1 for h.
-1
Suppose -11*h + 37 = -106. Solve -2*z = -3*n + 6, -10*z - h = -9*z - 4*n for z.
3
Let a = -190 + -275. Let c be (-6)/8 - a/(-20). Let r = -22 - c. Solve -q = 5*o + 6, -2*q + r*o = -o - 14 for q.
4
Let s(y) = -y**3 - 10*y**2 - 11*y - 9. Let r be s(-9). Suppose 3*x + 0*x = r. Let k be 8/x*3/2. Solve -k*q = 4, -5*g - 8 = -g + 4*q for g.
-1
Let g = -525 - -527. Suppose -5*u + 5*o + 5 = 0, -4*u + u - 4*o + 24 = 0. Solve 3*v = 0, 0*v = -u*s + g*v - 8 for s.
-2
Let f(m) = m**3 - 5*m**2 + 5*m + 1. Let v be f(4). Suppose -4*h - 77 = -5*c, 5*c - 6*c + 13 = -2*h. Solve -6*t + 2*t = v*y + c, -4*y = 20 for t.
2
Suppose 21 + 255 = 2*y. Suppose -14*q = 40 - y. Solve u + u = -3*h - q, -5*h - 5*u = 20 for h.
1
Let x(p) = -p + 9. Let a be x(7). Suppose -4*m + 3*w = -34 - 23, -a*m - w + 31 = 0. Solve -3*q = 4*g - 3*g + m, 0 = q - 5*g + 5 for q.
-5
Suppose 14 = -3*p - f, 4*p + 4 + 19 = 3*f. Let z be (p/2)/(8/80). Let q = z + 30. Solve -2*r - 14 = -4*o, -q*r - 7*o + 25 = -2*o for r.
1
Let v = -15 - -68. Let y = 57 - v. Solve 0 = 4*j - y, q + 4*j - 2 = -0 for q.
-2
Let f be ((-8)/(-12) - (-8)/12)*-3. Let i be 1 + f - (8 + -31). Solve 4*y - 3*l + 0 + 4 = 0, y = -4*l - i for y.
-4
Suppose 5*q = -5 + 15. Let g(u) = 3*u - 3. Let d be g(q). Solve d*w + 5*n = 2*w + 5, 4*w - 2*n + 2 = 0 for w.
0
Let f be (-3)/(-12) - 15/(-4). Let g be (3 - 0)*190/(-15). Let k = g - -44. Solve -2*i - f = n, -2*i + n - 2 = k for i.
-3
Suppose 5*z - 4*n = -2*n, -5*z + n = -5. Let w be (1 - 7)/(1/z). Let m be w + 9 - 3*-1. Solve 3*k = g - 0*k - 13, m = 4*k + 12 for g.
4
Let p be 1*(-6)/(-12)*4. Solve 3*c - 5*o + 6 = p, 2*o = -c - 5 for c.
-3
Let l = 674 - 645. Solve 2*z + 10 = -4*v, 3*z - 7*v + 2*v - l = 0 for z.
3
Suppose 4*m - 2*t - 14 = 0, m + 2*m = -4*t + 5. Solve -m = 3*n, -v + 2 + 2 = n for v.
5
Let q = 0 + 41. Suppose 2*l - 2*n = 18, 3*n = 5*l - n - q. Let m(i) = i**2 - 2*i - 10. Let f be m(-3). Solve -5*y = l*v + f, 3*v - y = -v - 9 for v.
-2
Let w = -82 - -84. Solve 4*r - z = 16, -4*z = 2*r - w*z + 2 for r.
3
Let v = -53 - -60. Suppose v*p = p + p. Solve -r + q + 5 + 0 = p, 5*r - 3*q - 17 = 0 for r.
1
Let n = -13 - -11. Let r be 2*(n + 5 - 4). Let k be ((-25)/2 + 2)*r. Solve 5*l = -2*i - k, -4*i = 16 - 4 for l.
-3
Let i be -16*(-2 - 7/(-4)). Suppose i*p + p - f = -2, p + f = 2. Solve p = 5*t - 25, 0*s + 3*s = 2*t - 16 for s.
-2
Let x be 5/(-10)*(-7 - (1 - 2)). Let g be (1 - (5 + -1))/((-3)/x). Solve o + 8 = -g*z + 2*o, -2*o = 2 for z.
-3
Let w be 20 - (1 + (4 - 3)) - -5. Solve 5*l - 15 = -n, 10 = 4*l + 5*n - w for l.
2
Suppose -4*m - 2*c + 16 = 0, c - 22 = -5*m - 5. Solve 3*d - m*y = 12, 4*d = y - 4*y + 2 for d.
2
Let c be (-60)/(-8) + 12/8. Suppose 0 = c*f - 5*f - 8. Solve -20 = -m - 3*p, -4*m = -f*p - 8 - 2 for m.
5
Let t be 2 + (-19)/(-9) + 9/(-81). Solve l - 3*q = q, -3*q = -t*l + 13 for l.
4
Let g = -18 - -16. Let l be (3/18*-4)/(g/15). Solve l*n + 3*b = -4, -2*n + n - 8 = 3*b for n.
1
Let h(y) = -y**3 + 5*y**2 + 6*y - 3. Let o(p) = 2*p - 1. Let w be o(2). Let l be h(w). Let r = -29 + l. Solve -z + 4 = -r*m - 4, 3*z - 17 = 5*m for z.
4
Suppose 10*a - 64 = 6*a. Suppose 0 = -0*o + 3*o + 4*p - 24, 6 = 3*o - 2*p. Let m be -8*(0 + (-2)/o). Solve -m*f = -r - 18, 2*r = 3*f - 0 - a for f.
4
Suppose 2*b + 48 = -32. Let c = b + 46. Let y = -10 + 15. Solve 5*g = y*u - 20, g + c*u = u + 2 for g.
-3
Let d be 5 + -1*(13 + -12). Solve 2*q = d*l - 2, -q + 0*q + 5*l - 1 = 0 for q.
-1
Let i(r) = -r**3 - 2*r**2 - 12*r + 3. Let d be i(0). Solve 0 = -o - 4*h - 9, -d = -3*h - 12 for o.
3
Suppose -9*h + i + 9 = -5*h, -3 = -3*h + 2*i. Solve -5*u + 23 = -h*b, 5 + 11 = 5*u + 4*b for u.
4
Let n(r) = r + 5. Let i(a) = 2*a + 16. Let g(v) = 3*i(v) - 10*n(v). Let s be g(-2). Solve -9 = -2*q - 3*o, q + 2*o + s = 4*o for q.
0
Let u be 18/(18/(-6)) + (-90)/(-15). Solve n + u = -2, 4*l - 8 = -2*n for l.
3
Let w(r) be the first derivative of -2*r - 3/2*r**2 - 6. Let d be w(-4). Solve -2*n = 4*h - d, 2*h + 4*n - 16 = -2 for h.
1
Let n(w) = 7*w + 169. Let y be n(-24). Solve 6 + 8 = 2*z - i, -y = -z - i for z.
5
Let l be 3 + -3 + -10*(-2)/4. Solve -u - l*m + 7 = -6*m, 2*u - 3*m - 18 = 0 for u.
3
Suppose -9*x - 7*x + 48 = 0. Solve -x = -3*o + 4*s - 22, 9 = -o + 2*s for o.
-1
Let a be (1 + 3 - 22)/1. Let h = a - -33. Let i be (-58)/(-10) - (-3)/h. Solve 0 = 5*j - 5*n - 45, j + n - i = -j for j.
5
Let l(o) = o**2 + 2*o. Let g be l(-2). Suppose -3*k - 3*a = -27 - 27, 5*k + 3*a = 86. Let p = k - g. Solve -2*r + 5 + 3 = 3*s, 4*r = -5*s + p for r.
4
Suppose i + 28 = d, -3*i - 144 = -4*d - 36. Suppose -d = -6*z - 0*z. Solve 0 = -4*g - 5*r - 1, z*g + 0*r + 7 = -3*r for g.
-4
Let z(b) = -b - 4 + 1 - 4 + 1. Let r be z(-6). Let a be (-10)/(-15)*(3 - r). Solve -a*h - 8 = 2*m, -2*h = h + 6 for m.
-2
Let b(l) = 22*l - 8. Let d(n) = -43*n + 15. Let r(o) = 7*b(o) + 4*d(o). Let a be r(-2). Solve -2*w - 30 = t - 7*w, -a = 4*t - 4*w for t.
-5
Let h(l) = -l**3 + 6*l**2 - 6*l + 7. Let m be h(5). Solve -m = -4*o + 6*g - g, -10 = 5*g for o.
-2
Let s = -583 + 603. Solve 3*u - m = m + 20, 4*u = m + s for u.
4
Let f = 22 + -12. Suppose 0*j + f = -5*j. Let v be (1 - j) + -2 + 14. Solve 0 = 3*r + 3*a - v, 3*r = -a + 9 + 4 for r.
4
Suppose -5*j + 3*p + 15 = 0, -3*j + 35*p - 41*p = 30. Solve j = 2*m - 5*r - 5, -28 + 5 = 4*m + r for m.
-5
Let i = 8 + -5. Let r(b) = -2*b**3 + b**2 - b - 53. Let d be r(0). Let q 