Let s(i) = -3*i**3 + 2*i**2 + i. Let j be s(-2). Let u = 22 + -24. Let p = u - -10. Solve j = -2*w - 4*h + p, -3*h = 15 for w.
-1
Let f(h) = h**3 + 9*h**2 + 18*h + 28. Let k be f(-7). Solve k = -z - 2, -12 = 4*r - 2*z for r.
-4
Suppose -4*q = q. Suppose -4*p + q + 116 = 0. Let k be 1/8 - 390/(-80). Solve -k*i - p = -z, 11 = -3*i - 0*z - z for i.
-5
Let s(a) = -3*a + 2. Let l be s(6). Let i be l/(-10) + 4/10. Let x = -68 + 72. Solve -x + 2 = -i*c, c = u - 3 for u.
4
Let p = 264 - 262. Solve 0*t = -4*t - 12, t = p*c + 3 for c.
-3
Let y(f) = -f - 2. Let z be y(-7). Suppose 9*r - 264 + 219 = 0. Solve j - 11 = 2*b, -r*j - 5 = 3*b + z for b.
-5
Let g(r) = r**3 + 10*r**2 + 11*r + 4. Let m be g(-9). Let p be (-7)/m*(1 + -1). Solve p = 2*q + 2*y - 6, 3*y = 4*q - 26 for q.
5
Let n be (1 - 1)/(-58 - -62). Solve n = 5*w - 15, -4*p + 5*p - w = -4 for p.
-1
Suppose 4*j - 53 = 15. Let l = 22 - j. Suppose s = 2*s + 3*u - 21, -3*s - 4*u + 38 = 0. Solve 0 = -l*t + s*t - 5*p - 8, 5*p + 14 = -2*t for t.
-2
Suppose -9*m + 3 = 21. Let n be (0*m/12)/(-2 - 0). Solve -12 = -3*q + 3*s - n*s, 0 = -3*q - s for q.
1
Let g = -1 + 1. Let d(j) = -j**3 - 11*j**2 - 29*j - 4. Let o be d(-4). Let i = 2 - -18. Solve -4*f - i = -3*b, g = 4*f + b - o*b + 4 for f.
-2
Suppose -3*u + 32 = 2*k + 2*u, -3*k - 5*u + 48 = 0. Suppose -5*w = -w + 12. Let z(i) = -10*i - 5. Let o be z(w). Solve -3*c - 4*m = -o, -c - 1 = 3*m - k for c.
3
Suppose 2*o - 23 = r + 2*r, 2*r - 6 = -4*o. Suppose -l + 17 = 4*j - 5*j, 5*j = o*l - 73. Solve -5*g = -25, g + l = 2*f + 27 for f.
-5
Suppose -50 = -5*c - 0*c. Suppose w = -w + i + c, 10 = -5*i. Solve -2*g = w*u + 2, 3*u - 3*g + 2*g = -14 for u.
-3
Let k = 2059 + -2054. Let o be (-2)/(-7) - 33/(-7). Solve 0 = o*t + k*b, -2*b + 3*b + 18 = 5*t for t.
3
Suppose 14*x = 24*x - 50. Let p be (-24)/(-32)*(5 + -1). Solve -d + x = -5*y + 2*y, d - p = y for d.
2
Suppose 7*x = 2*x + 40. Suppose x + 1 = 3*u. Solve f + 1 = 0, 0 = -u*a + 3*f - 6 - 0 for a.
-3
Suppose 4*l = -5*x + 29, 161*l - 160*l + 4 = x. Solve -x*z - 10 = 2*f + 7, -3*z - 2*f - 11 = 0 for z.
-3
Suppose -2*x + 3*l + 3 = 0, 9*x = 5*x + 5*l + 5. Solve -12 = i + 4*f + 1, -4*i - 2*f - 10 = x for i.
-1
Suppose 4 = i - 0*i. Suppose 2*a + 69 = 73. Solve -a*b + i + 0 = -y, -5*y - 20 = b for y.
-4
Let g be (-115)/(-25) + 2/5. Suppose -2*w = 3*x + g, -w - x = x + 2. Let v be w/(-18) + 102/27. Solve -5*k + 3*s - 4 = -10*k, -k = -s + v for k.
-1
Suppose 15*p = -21 + 111. Solve 5*k = -o + p*o, 0 = -o - 2*k - 15 for o.
-5
Let a(u) = u**3 - 27*u**2 + 53*u - 57. Let f be a(25). Solve p + 17 = 5*j, -4*j - 3*p = -8*j + f for j.
3
Let p be ((-6)/(-5))/(2/(-20)). Let m be (-21)/9 - 4/p. Let s be 3/(-3) - m/2. Solve 4*v - 6*v = 4, -5*l + 2*v - 21 = s for l.
-5
Let v(r) = -r**3 - 6*r**2 + 5*r - 10. Suppose -2*x = -4 - 24. Suppose d = 3*d + x. Let c be v(d). Solve c*q = -s - 13 - 8, -5*s = -q + 21 for q.
-4
Let o be 2 + ((-2)/(-16) - 7/(-8)). Let c = 5 - o. Solve 0 = 4*k + 8, c*k = 5*s + 6 for s.
-2
Suppose -13 + 10 = -p. Solve 4*h = 2*u + 30, 0*u - 20 = p*u - h for u.
-5
Let m = -223 - -225. Solve m*c - w - 18 = w, -3*c - 3*w = 3 for c.
4
Let q be 3/((-180)/(-412)) - (-6)/45. Suppose 22 - q = 3*d. Solve -3*c + 12 = -5*z, -3 = -4*c + 4*z + d for c.
-1
Suppose -5*n = -9*n - 5*x + 15, -9 = -2*n - 3*x. Solve 6 = 2*m, -4*u + 4*m - 6 - 6 = n for u.
0
Let b(y) = y**2 + 33*y + 122. Let d be b(-29). Solve z - 20 = -3*s, 3*z - 29 = -4*s + d for s.
5
Let u = 56 + -36. Let r(x) = -7. Let i(q) = -q - 6. Let o(t) = 5*i(t) - 6*r(t). Let l be o(2). Solve 0 = -3*w + 2*v + u, 4 = 3*w + 4*v - l*v for w.
4
Suppose -d = -4*y + 21, -y + 3*d + 1 = -18. Solve -y*z - 5 = 15, 0 = -3*x + 2*z + 13 for x.
1
Suppose 4*g - 76 = -2*j, 4*j = -5*g + 46 + 46. Suppose 3*t - g = -5*o, -t - 4*o + 5*o = 4. Solve t = -3*s + d + 3 - 6, 1 = -5*s + 3*d for s.
-2
Suppose -377 = 4*d - 13. Let o = d - -95. Solve q = 2*p - 2, -3*p - 2*p + o*q + 8 = 0 for p.
0
Let f = -33 + 37. Let l = -31 + 50. Suppose 0*h - 2*d - l = -h, h - d - 16 = 0. Solve f*q - 17 = 3*v, v = 3*v - 3*q + h for v.
1
Suppose 0 = v - 14 + 12. Let w be 3 + v*(3 + -2). Solve 3*o - w*i = -0*i + 32, 5*o = -i + 16 for o.
4
Let l(r) = -4*r - 22. Let z(x) = 2*x + 11. Let y(o) = -2*l(o) - 5*z(o). Let b be y(-7). Solve v = 4*w + 7 + 18, 10 = -b*w - v for w.
-5
Suppose 0 = -6*o - 5*o + 110. Suppose 0 = 2*w - 3*n - 6, 2*w + o*n + 8 = 6*n. Solve -5*x + t + 2 = w, 3*t = -0*t - 6 for x.
0
Let p be (2/(-6))/(1/(-15)). Let z be (2 + -1)*(-1 + p). Suppose -3*y + 3*r + 23 = 2, -3*y = 4*r - 7. Solve 3*k = -z*o - 5, -2*o - y*k = -o - 3 for o.
-2
Let j = 6 + -4. Let u = 3 + 1. Solve -f = 2*f - u*c - 9, -j*f + 3*c + 6 = 0 for f.
3
Let z be 5/3*1224/510. Solve 5*q - 20 = 5*a, -q + z*a + 5 = 4 for q.
5
Suppose s = -5*w - 3*s + 20, -3*w - 4*s = -12. Let f be (-2)/w*(-31 + 7). Suppose -3*m = -f + 6. Solve m*c + 2 = -4*h, -2*c - h = 1 - 5 for c.
3
Let s be 1/2*(-4 - -4). Let y(h) = 4*h**2 - 10*h - 4. Let a be y(3). Solve -w - i = s, 0 = -6*w + w + a*i for w.
0
Let d(t) = -2*t**3 - 7*t**2 + 7*t. Let c(z) = z**3 - 12*z**2 + 20*z - 5. Let j be c(10). Let b be d(j). Solve 2*y - 2*w = 0, -w = 3*y + 4*w - b for y.
5
Let m be 5/(30/6) + 0 - 1. Solve -2*c - 10 = -4*y, 3*y + m*y - 10 = c for y.
5
Suppose -4*r + 60 = 8*r. Solve -2*w + 2 = -0*w + r*m, 6 = -4*w - 5*m for w.
-4
Let r = -281 + 284. Solve 5*v - r*h = 30, -7*h + 3*h = 3*v + 11 for v.
3
Suppose 0 = -2*q + 1 + 5. Let a(v) = 4*v + 12. Let t(n) = 1. Let g(x) = -a(x) + 2*t(x). Let r be g(-4). Solve -z - z = -5*y - 10, r = q*z - 3*y for z.
0
Let o be 0*(342/(-306) + 4/34). Solve b = -2*d - 5, 0 = -b - d - o - 5 for b.
-5
Suppose 10*c = 5*c + 40. Suppose -9*y = -5*y - c. Solve -4*w + y = 5*d + 19, -3*w - 5*d = 14 for w.
-3
Let p(y) = 11*y - 95. Let d be p(9). Let i = 12 + -7. Solve 2*l = -2*s + d, i*l - 8 = 4*l - 3*s for l.
-1
Let d(r) = 2*r + 12. Let k be d(-5). Let c be 46/2 + (0 - 3). Let l = c + -13. Solve -2*z - y = k, -5*y = 2*z - 7 - l for z.
-3
Let i(q) be the first derivative of -5*q**2/2 + 50*q + 10. Let w be i(9). Solve 0*u = 5*u - w*j - 5, 4*u = -2*j + 4 for u.
1
Suppose 4*h + 4*u - 124 = 0, 2*h - 40 = 5*u + 29. Suppose 0 = 6*l - h - 4. Solve -2*c = q + l, -4*q + c + 8 = -2*q for q.
2
Suppose -23*j + 25*j + 6 = 0. Let a be (-12)/(-14)*(-14)/j. Solve 4*b = 16, -2*b = -4*s + b + a for s.
4
Let s = -1401 + 1409. Solve 2*p = s, 3*p - 32 = -l - 3*l for l.
5
Let a(l) = 30*l**2 - 3*l + 3. Let x be a(-4). Let v(y) = y + 21. Let i be v(-10). Let q be ((-2)/(-6))/(i/x). Solve -t = -4*w + q, -2*t + 12 = -7*t - w for t.
-3
Let w(z) = -4*z + z + 10*z + 2*z**2 - 1 + 9*z. Let o be w(-9). Solve d - 1 = 4*y, -3*y = -2*d - 2*d + o for y.
1
Let v = 34 - 46. Let u be 4/v - (-65)/15. Solve u*q - 4*n + 0*n = -12, 3*q = -4*n + 19 for q.
1
Let g = 287 + -283. Solve 0 = 4*n + g*j, -j + 0*j = 2 for n.
2
Let i be (-42)/(-9)*(-2 - -5). Suppose 5*q - i = -4. Suppose 0 = -z - q*z + 2*s + 3, z + 3*s = 12. Solve 3*l = 5*m + 3, -2*l - z*m - 2*m + 2 = 0 for l.
1
Let c be (-396)/(-54)*(3 + 0). Let g be 4/c + 960/44. Solve 0 = 4*v - 4*p + p - 1, 0 = -3*v - 2*p + g for v.
4
Let s be (1/(-2 + 1))/((-31)/310). Solve 5 = 2*m + 5*a - s, -m - 4*a + 12 = 0 for m.
0
Let q be (-1)/(10/18*1/10). Let w(v) = -v**3 + 6*v**2 + 2*v. Let f be w(3). Let d = f + q. Solve 0 = -5*m + 4*x - 20, 0*m = -4*m + 3*x - d for m.
0
Suppose 89*c + 1 = 91*c - u, -3*c - 3*u + 24 = 0. Solve 5*g - 20 = -2*t, -1 = c*t + 3*g - 13 for t.
0
Suppose 4*t - 2*k = 44, 3*k + 11 = t + k. Solve -3*h - b = -3, h + 2*b - t = 5*b for h.
2
Let k(q) be the third derivative of -q**6/120 + q**5/60 - q**4/12 + q**3/3 - 11*q**2. Let s be k(1). Solve s = -2*v - v - c + 10, 2*v - 16 = 4*c for v.
4
Let x = 42 + -47. Let o be (0/x + 0)/(-1). Solve -p - y = o, -5*y = p - 2 - 14 for p.
-4
Let o be -1 + 12 + 5 + -14. Solve 3*d + o = -5*j + 7, -2*d = -3*j + 3 for j.
1
Let p(k) = k + 5. Suppose 7 = -5*o - 8. Let w be p(o). Solve w*n + 2*b + 30 = 6*n, b - 20 = -5*n for n.
5
Let n be (16 - 2) + 4/(-2). Suppose a - n = -3*a. Suppose 5*o - 3*o - 10 = 0. Solve -o*b = 4*j - 6, -10 + 4 = -a*b for j.
-1
Let w be (8/(-3))/((-2)/(-3)). Let p(b) = -b + 10. Let z be p(w). Solve x = 5*h - 17, -x + z = 4*h - 5 for h.
4
Suppose 3*s + 6 = -3*m, 95 - 103 = -m + s. Solve -m*d + 4*f = -6, -