
Let k(u) = u - 2. Let i be k(5). Let b be 3/1 - i - 0. Let c = -20 - -41. Solve -c = -4*h - 6*y + y, b = -2*h + 4*y - 22 for h.
-1
Let y be (-8775)/(-455) + ((-4)/7)/2. Suppose 0 = -2*s - 0*s. Suppose -12 = -5*q - u + 4, s = q - 3*u - 16. Solve -q*t = -m - 2 - y, -5*t + 20 = 0 for m.
-5
Let l(g) = -g + 18. Let b be l(6). Suppose -5*o - 3*q = -19, 3*o - q = o + b. Solve -2*y - 5 = 3*r, 0 = 5*r + o*y - 0*y + 10 for r.
-1
Let g = -6 + 6. Suppose -5*y + 5*q - 5 - 20 = 0, g = 5*y + q - 5. Suppose -5*m + 6 + 4 = y. Solve -o = o + n + 3, -m*o - 4*n = 12 for o.
0
Suppose 3*b - 1 = -13, -3*b - 72 = -3*r. Let h be (-5)/(-5 + r) - (-10)/3. Solve -12 = 2*a + h*p - 7*p, -2*a + 2*p = 6 for a.
0
Suppose 2*w + l = 0, 0 = -0*l - 3*l - 6. Solve -4*f - 5*x + 17 = 0, f + 3*x - w = 5 for f.
3
Suppose 0 = -4*b + 4*j, 4*b - 16 = -3*j - 2. Suppose 5*p + 2 = 3*o, -6*p + b*p + 8 = 0. Solve 5*y + 2*d - 4*d = -8, -d + o = -3*y for y.
0
Let q be (-12)/(-66) + 13/(-11). Let j be (-7 + 3)/(q - 1). Solve j*p + 19 = -3*u, 15 = -5*u - p + 6*p for u.
-5
Let r(i) = -6*i**3 - i**2. Let f be r(-1). Let p = 26 + -21. Solve 2*u + 3*c = 5, f*u - p*c - 22 = -3*c for u.
4
Let j = -246 + 251. Solve 5*d + 26 = j*r - 9, 2*d + 4*r = 16 for d.
-2
Suppose 7*r + 25 = -3*f + 2*r, 5*f - 3*r - 15 = 0. Let l = 2 - f. Suppose -22*n + 205 - 51 = 0. Solve -5*s = -2*b - 18, 2*s = l*b + 19 - n for s.
2
Let i = 154 + -148. Solve -3*n + 8 + 0 = -2*t, i = 2*t + 4*n for t.
-1
Let a be (-2)/10 + 14*4/280. Solve 0 = -3*q + q + 5*n + 5, a = 5*q - 5*n - 20 for q.
5
Let u be -3 + (5/(-1) - 2). Let a be 4*((-10)/2)/u. Suppose 17 = a*w - 3*h, -5*h + 26 = 2*w - 31. Solve w = 3*s - s - 2*t, 2*s = t + 13 for s.
5
Suppose 4*g - 5*r = 9, -21 = -6*g + g + 3*r. Solve 0 = 2*k - 8, 4*z - g*k + 32 = -3*k for z.
-5
Let j = -5 - -7. Suppose -d - d + 15 = 5*r, -j*d + 5*r = -45. Let o(s) = -5*s + 119. Let a be o(23). Solve i - k + d = -2*i, a*i - 5*k = -20 for i.
-5
Suppose -5*r + a = -12, 2*r + 24*a - 28*a - 12 = 0. Solve o = 2*o + 2*v + 4, v = o - r for o.
0
Suppose 0 = z - 11 - 11. Let p = z + -17. Suppose -p*a + 4*a = -5. Solve -3*i = -4*t - 2 + a, 0 = -3*i + 5*t for i.
-5
Let s(d) = d**3 - 3*d**2 - d - 4. Let g be s(3). Let q(n) = 3*n + 0*n - 9*n - n**2 + 7. Let f be q(g). Solve 2*w - 8 = 0, -3*w = -f*k + k - 15 for k.
3
Suppose -3*x + 12 = -4*k - k, -2*x - 2*k = -8. Let h be 0*(x + (-7)/2). Solve -2*c = -f, h = -5*c - 6*f + f for c.
0
Suppose -29 = 7*j - 50. Solve r + 21 = -4*r - j*n, 5*r + 13 = n for r.
-3
Let j(a) = -3*a**2 - 4*a**2 - 4*a - 1537 + a**3 + 1524. Let s be j(8). Solve s = -5*o + w, 17 = o + 2*w + 3*w for o.
-3
Let a be (-1 - (-10)/5) + 45 + 2. Let d = a + -48. Solve d = 4*i - 4*m + 36, -m + 4*m = -4*i - 1 for i.
-4
Suppose -j = 10*j + 9*j - 80. Let f be (3 - (-2 - -3))/1. Solve -j*i - 32 = 4*k, f = 3*k - 4*k + i for k.
-5
Suppose -2*t + 11 = 1. Suppose 2*x - 320 = -18*x. Solve -i - x = -t*w, 3*i - 9 = -0*i - 4*w for i.
-1
Suppose 13*v - 126*v = 31*v - 6*v. Suppose 20 = 3*k + 2*k. Solve -k*z + c + 14 = 38, 2*c - 8 = v for z.
-5
Let s(i) = i**3 + 11*i**2 - 13*i - 12. Let z be s(-12). Let q be 1 - z - (-6)/3. Solve 2*h - q*o + 0*o = -6, 3*o + 6 = -2*h for h.
-3
Let s(g) = -17*g**2 - 13*g**2 + 16*g - 12 + 17*g + 32*g**2. Let k be s(-17). Solve -2*w + k*b + 1 = -0*b, w = 2*b for w.
-2
Suppose 0 = -5*i - 0*x + 3*x + 51, 9 = 3*x. Let v = 1 + i. Suppose 4*j = -4*p - 0*j + 32, 4*j = 3*p - 3. Solve 3*a = -6, 0 = -p*o + 5*a - a + v for o.
1
Suppose 3*x - 6*h = -2*h + 45, -h = x - 15. Solve 2*z = l, 4*l + 5*z = -l - x for l.
-2
Let j = 80 - 79. Let k be (-15)/(-4) + (-15)/20. Solve k*p - z = 15, 3*p + 3*z + j = 4 for p.
4
Suppose -2*s = -3*f + 29, -3*f - 3*s = -8 - 46. Suppose 4*q - 18 = -d, -4*d - 14*q = -17*q + 4. Solve d*a - y + 4 = y, -4*a - 3*y = -f for a.
1
Suppose -2*k + q = -3*q - 24, -3*q = 6. Solve 4*n = 3*a + k*n + 9, 3*n = -3*a - 6 for a.
1
Let w = 283 - 280. Solve 8 = -4*s + w*r, -2*s + r - 5*r = -18 for s.
1
Let k be (-6)/2*(16/(-8))/2. Solve -k*d + 0*d + 2*t = 10, 5 = 4*d + t for d.
0
Let v be (1/(-1))/(1/13). Let y be (-1 + (2 - 2))*v. Let m(t) = 2*t - 19. Let s be m(y). Solve -8*k + 3*k = -2*b - 14, s = k + b for k.
4
Let l = 21 + -20. Let q(r) = r**3 - 17*r**2 - 4*r + 14. Let t be q(17). Let p be 45/t*(-5 - l). Solve 2*n + p*a + 8 = a, -a + 4 = 2*n for n.
4
Let q(x) = 9*x**2 - 23*x + 33 + 10*x**3 - 42 - 9*x**3. Let d be q(-11). Solve -2*s - c = d*c + 23, -c = 5*s + 25 for s.
-4
Suppose 4*a + 5*v = 9 - 57, -2*v = 4*a + 48. Let y be 1/(-4) - (-45)/a. Let p be y/(-16) - (-86)/8. Solve 5*b = -5*c - 30, b + 0*c = -2*c - p for b.
-1
Let x be -3 - 15/3*-2. Let z(n) = -n**3 + 8*n**2 - 6*n - 3. Let v be z(x). Let k(p) = -4*p - 3. Let q be k(-2). Solve t = 2*i - v*t + q, -2 = 3*i - 2*t for i.
0
Let z(n) = 2*n**2 - 2*n + 3. Let f be z(1). Solve 0 = 3*s - 6, f*d - 5*s + 13 = -0*d for d.
-1
Suppose 17*z = 26*z. Solve 0 = -5*s + 2*k + 13, -14 = 2*s - z*k + 4*k for s.
1
Let h(y) = -34*y - y**3 + 0 + 4*y**2 + 40*y + 3 - 4. Let c be h(5). Solve -d - 2 = 0, -n + c*n = -2*d + 5 for n.
3
Suppose 5*f - f - 12 = 0. Solve 3*h = 5*t - 14, -f*t - 8 = -7*t + 4*h for t.
4
Suppose 5*s = -h - 4 - 8, -h - 3*s - 6 = 0. Let x = 133 - 129. Suppose x = h*i - 2. Solve -z = -5*r - 9, i - 1 = -z - 5*r for z.
4
Let c be (0 - (-1 - 0))*0. Solve -5*p + 4*a + 12 = c, 3*a + 2 + 7 = 5*p for p.
0
Suppose 72 = -13*h + 4*h. Let x = -8 - h. Solve w - c = x, w + 2*c + 6 = -3*c for w.
-1
Suppose 4*h - 8 = -4. Suppose t + 0 - 6 = -2*m, 0 = -5*m + 5. Let u be ((-7)/(-4))/(h/t). Solve -4*i - 2*f = 2, 4*f + 6 + u = i for i.
1
Let d = -367 + 369. Solve -3 = -3*m, -d*q - 5*m + 3 = -4*m for q.
1
Suppose 5*w - 17 = 3. Suppose -11 + 3 = -w*h. Suppose 3*o - 4*o + h = 0. Solve 4*y = 2*a - 28, 0*a - o = 2*a + 2*y for a.
4
Suppose 44*j + 36 = 53*j. Solve -28 = -4*a - 4*o, 4*a - o = j*o - 8 for a.
3
Let j(o) = -2*o**3 - 3*o**2 - 2. Let u(s) = -3*s**3 - 5*s**2 - 4. Let l(d) = -5*j(d) + 3*u(d). Let v be l(2). Solve -23 = 4*x - 5*z, -z + 13 = -v*x + x for x.
-2
Let l be (-18)/(-8) + 12/(-48). Solve 3*a = 2*z, -l*a - 2*a - z = -11 for a.
2
Suppose 0 = -r - r + 10. Suppose -2*v + r*v - 42 = 0. Suppose 91 + v = 3*a. Solve b + 3 = -4*x, 5*x - 2*b = 3*b - a for x.
-2
Suppose -3*z - 3*d - 6 = 0, -4*z - 3*d + 18 - 24 = 0. Solve 2*o = 4*b - z*b + 2, 3*o - 5 = 4*b for o.
3
Suppose 10 = 5*k, -3*m + 11*k + 44 = 9*k. Solve -4*y - 14 = 2, -m = -4*d - y for d.
5
Suppose -3*u = 5*x - 51, -21 = -4*u - x + 30. Suppose 7*a + 25 = u*a. Solve a = 5*t - 3*k + 25, -2*t - 17 = -3*k for t.
-1
Let w be 8/(-6)*((-9)/(-6) - 3). Suppose -8*j + w*b = -4*j - 96, -58 = -2*j - 4*b. Solve -5*o = -j, 0 = -2*u + 4*o - 7 - 3 for u.
5
Let m be 1 + 3/4*(-112)/(-21). Solve -4 = -m*u + y - 10, 4*u = y - 5 for u.
-1
Let i be (2 + (-2 - -1))*0. Let g be 105/5 - (4 - 0). Suppose -3*a = 2*m - g, 8 = 2*a + m - 2. Solve i = -2*l + 2, -8 + 1 = -a*c + 5*l for c.
4
Suppose -2*y + 5*i = -4 + 14, -4*y = -5*i. Suppose y = a - v, -3*a = -0*v - 5*v - 17. Solve 5*l = -a*j - 0*l - 5, 5*l = 15 for j.
-5
Suppose 5*d + 2*u = 4, 0*d - 2*u - 4 = d. Suppose d*l = 3*l + 4. Let h be l/((-48)/20)*3. Solve -6*o + 13 = h*n - 2*o, -5*n = 2*o - 19 for n.
5
Suppose 0 = 2*v - 30*v + 168. Solve 5*f + 5*w - 20 = 0, -v*f + 3*f - 12 = -3*w for f.
0
Let g be (344/430)/((-21)/(-20) - 1). Solve 0 = 2*y + 3*h + 20, -h + g = -5*y - 0 for y.
-4
Let x be 6/2*(-2)/(-3). Suppose -t - 2*u - 30 = -x*t, -3*u - 30 = -t. Let a be 4*((-9)/(-2))/9. Solve -a*w - 2*h = -4, 3*w + 0*h - 5*h = t for w.
5
Let i = -437 + 465. Solve c - 5*q - i = -8, -4*c - 4*q + 8 = 0 for c.
5
Suppose 71 = -y + 75. Solve -5*n = -3*g, -3*n + 14 = -n - y*g for n.
-3
Suppose -3*s = 4*n - 0*n + 44, -5*s + n - 58 = 0. Suppose -27 = -10*r + 13*r. Let g = r - s. Solve f = 5*j - 22, 2*f - g*j = -8*j + 16 for f.
-2
Let j = 17 - 5. Suppose -j + 36 = -4*d. Let z = d - -7. Solve 3*q - 7 + z = p, -8 = 4*p + 4*q for p.
-3
Suppose -2 = -z + 2. Suppose 0 = 271*p - 292*p + 105. Solve -q = z - 6, -p*q + 14 = u for u.
4
Let c = -117 + 121. Solve -a + 12 = -4*a - 3*g, 0 = -c*g + 4 for a.
-5
Let f(z) = -z**3 - 6*z**2 + 8*z + 9. Let q be (-1 - 0)*20/(-10). Suppose -19 = 3*a + q. Let n be f(a). Solve 3*h + 5 = -5*j, -3*h + 0 = n*j + 2 for h.
0
Let j(m) = 2*m**2 + 3*m + 2. Let f = 33 - 32. Supp