
Let o be 18/(-8)*(-24)/18. Solve -o*p + 5*r = 5, p + 13 = -5*r + r for p.
-5
Let w(d) be the second derivative of -d**5/20 + d**4/12 + d**3/2 - d**2 - 2*d. Let v be w(2). Solve -3*r - 9 = c, 2*c - r - 3 + v = 0 for c.
0
Let y = -8 + 11. Suppose y*k = 3 + 3, 17 = 5*w + k. Let c be (6 + -3)*4/6. Solve c*t + 9 = -w*v, 4*v + 17 = -0*v - t for v.
-5
Suppose 0*y = -4*y + 12. Solve q + 5*a + 8 = -y*q, 0 = a for q.
-2
Let f = -19 + 30. Solve -2*l + 18 = -4*t, -2*l = 1 - f for t.
-2
Let t(g) = -g**3 + 7*g**2 - 4*g - 1. Let q be t(5). Suppose 4*j - q = 11. Solve m = 4*n - 20, 3*m - j = -2*n - m for n.
5
Suppose 0 = -5*u - 4*i - 290, 0 = -0*u + 2*u + 3*i + 109. Let c = -18 - u. Let k = c + -23. Solve r - 3*r - k = -3*n, -4*n = 4*r - 8 for r.
-3
Suppose -2*y - 5*d = 3, 0 = 4*y - 4*d - 4 - 4. Suppose -17*z + 13*z = 0. Solve z*r + 4*r = g, -g + y = -3*r for g.
4
Let r = -3 - -5. Suppose 5*n = 9 + 11. Solve 0 = v + j - 3, -j = -n*v - r - 1 for v.
0
Let h(t) = -t**3 + 3*t**2. Let r be h(3). Suppose r = l + 3*l. Suppose l = -5*x + 16 + 24. Solve -x = 2*o + 2, 4*f - 2*o = 2 for f.
-2
Suppose -6*y - 5*o = -5*y - 11, 0 = -5*y - 3*o + 165. Let i be ((-1)/2)/(3/y). Let n = -2 - i. Solve 0*l - 15 = l + 5*h, -7 = 3*l - n*h for l.
-5
Suppose 2*s + 5 = -2*z + 23, 0 = -z - 4*s. Suppose -2 = -l + 1. Suppose 2*u = 5*v - u - z, l*v - 3*u = 6. Solve 0 = -2*i - 5*d - 11, 5*i + v = 5*d - 7 for i.
-3
Let t(y) = -y + 12. Let n be t(9). Solve 3*j - n*v = 21, -3*v = -4*j - 6*v for j.
3
Suppose -2*y = -0*y. Suppose y = 4*v - v. Suppose v = 2*t - 5*t. Solve -2*w + 5*i - 23 = -t*i, 3*i + 11 = -5*w for w.
-4
Let t = 45 - 43. Solve w = 5*x + t*w - 8, -5 = -2*x - w for x.
1
Let u = -66 + 66. Solve -s = -3*h + 2, 5*s - 2*h - 2*h + 21 = u for s.
-5
Let h be (390/(-4))/(-13)*(-4)/(-6). Solve i = -0*i + h, i = -f + 2 for f.
-3
Let i(u) = -4*u - 45. Let m be i(-12). Solve 0 = m*a + 2*t - 12, 0*a - a = -4*t + 10 for a.
2
Suppose 0 = -2*z + 3*q - 3 + 8, z - 4*q = 0. Solve z*t + 3*s = 1, 0*t + 5*t = s - 13 for t.
-2
Suppose -15 = 5*w - 5*t, -3*w + 4*w - 5*t = 1. Let q = w - -6. Solve q*s + 1 = -5*n, -2*s + 2 = n + n for s.
2
Let c be 2/4 + (-70)/(-4). Let w = 165 - 148. Solve c + w = 3*q - 4*p, -4*q = -4*p - 40 for q.
5
Suppose 3*g = -3*u + 24, 4 + 12 = 3*u + g. Solve 4*o + 4*d + 4 = 0, -2 = u*o + 2*d + 4 for o.
-2
Suppose 0 = 5*v - v. Let f be 1 + v + -2 - -1. Let s = -22 - -27. Solve d = -d + 4*r + 14, f = -s*d - 5*r - 40 for d.
-3
Let t be 2*-3*1/(-2). Let u(h) = h**3 + 5*h**2 + h + 5. Let c be u(-5). Solve -2*q = -c*q - 5*w, -w - t = -q for q.
5
Let j be (-12)/16 - 3/(-4). Let h be j + (4 - 2 - -1). Solve 0 = -4*f + 5*v + 36, 2*v + 4 = -h*f - 2*v for f.
4
Suppose -2*l = -6*l - 408. Let b be l/(-30) - 4/10. Solve 3*z + 26 = 5*v - 0*z, 6 = -b*z for v.
4
Suppose 2*a + 68 = -2*s, -75 - 97 = 4*s - 5*a. Let v = s + 59. Solve -2*g = -3*g + 5*p - v, -5*g + p = 9 for g.
-1
Let v be (59 - (0 + 1)) + 2. Suppose 5*o = 5*d + v, 3*o - 2*o = -4*d - 13. Solve 5*x + 5*f = -o + 17, -3*x = -3*f - 12 for x.
3
Suppose -7 = -3*i - 1. Solve 10 = i*n + 4*q, -7*n - 3*q + 10 = -3*n for n.
1
Let m(x) = x + 17. Let r be m(-14). Let a be -1 - (1 + -1) - -2. Solve 4*k = 2*c - 8, -r = 4*k + a for c.
2
Let v(w) = w**3 - 11*w**2 + w - 7. Let i be v(11). Suppose 5 = -i*a + 21. Solve -3*x - a*r + 22 = 0, x - 6*x + r + 6 = 0 for x.
2
Let t(i) = i**2 - 14*i + 4. Let m be t(14). Let l be 1*((2 - 0) + 1). Solve 2*f - l + 0 = 3*z, -3 = 3*z + m*f for z.
-1
Suppose 2*u + 2*u = 4*b - 32, -4*b - 2*u + 2 = 0. Solve -g - b*g - 3*c = -8, 3*g - 5 = -2*c for g.
-1
Let z be (11/(-2))/(3/(-24)). Solve 4*h = 4*u - 4, 0 = -2*h - 5*u - z + 14 for h.
-5
Suppose 0*y - 14 = -5*y + o, 0 = 3*y - o - 8. Solve z + y = 3*c, 4*c - 4*z + 2*z - 6 = 0 for c.
0
Let n be (-2*14)/(-4) + -3. Solve -k - 4*p - p = -2, -4*p - 8 = -n*k for k.
2
Let d be (2/6)/(4/24). Suppose -d*x - 3*l + 30 = x, -3*l + 6 = 0. Solve 2*s + 7*w = 2*w - x, -7 = -5*s + w for s.
1
Let t be 3/(1 + -2)*-1. Let n(f) = f + 6. Let p = -1 + -2. Let q be n(p). Solve -5*i + t*u - 2 = -0*i, -q = 2*i + u for i.
-1
Let j(x) = -x**2 + 9*x - 13. Let k be j(9). Let z = -9 - k. Solve 3*m - v = -4 + 21, z*m + v = 11 for m.
4
Let i(p) = p**3 - 10*p**2 + p - 12. Let v be i(10). Let r = 2 + v. Let a = 18 + r. Solve 2*b - y + a = -4*y, 2*y = -b - 11 for b.
-3
Let v be 126/(-36)*(-4)/7. Solve 2*k + 2*w = 4*w + 2, v*w - 10 = -2*k for k.
3
Let z be 2 + (-3 - 0)/(-3). Let k = z + -7. Let d(p) = -2*p - 3. Let r be d(k). Solve 2 = r*n - 6*n + j, -2 = n - 4*j for n.
-2
Suppose -5*q + q = -c - 63, q - c - 18 = 0. Let r(l) = -l + 20. Let a be r(17). Solve -q = -3*h - 2*i, i = a*i for h.
5
Suppose 3*b - 4 = 4*t + 12, -4*t = -2*b + 12. Suppose -v = -b*v + 12. Solve -5*r + 2*r + 5*n = 28, v*r + 29 = 5*n for r.
-1
Suppose 3*l + 5 = -2*m, -9*m + 3*l = -4*m - 19. Solve -3*u + 4 - 1 = -4*x, 3*x + 2*u - m = 0 for x.
0
Suppose 0 = -4*u - 0*u - 5*w, 2*u = -3*w - 2. Suppose 10*i = u*i. Let g = 2 + 0. Solve -5*r + i*r = -g*o + 24, 2*o + 5*r + 16 = 0 for o.
2
Let g(b) = -23*b - 2. Let z be g(-1). Suppose u = 5*x - z, 3*x - 2*u - 18 = -x. Solve 27 = -3*j - 3*q + 9, -x*j + 2*q = 0 for j.
-2
Suppose -14 = 6*f - 32. Solve 2*a + a = -f*l + 12, -5*l - 3*a = -22 for l.
5
Let b = -6 + 9. Suppose -z - b*z = -160. Solve -2*k = 2*i + 3*k - 15, 4*k - z = 4*i for i.
-5
Suppose 0 = a - 5*a + 4*d + 16, -9 = 3*d. Suppose -1 = -2*b + a. Solve b = v + t, -v + 4*t = -2*v + 16 for v.
-4
Let k = -12 - -18. Let b be k/(-4)*2/(-3). Suppose 5*z - 9 - b = 0. Solve z*q + 3 = c, -2*q - 3*c = c - 2 for q.
-1
Let w(k) = 61*k - 1. Let x be w(1). Suppose -6*n = -10*n + x. Solve -z - n = 5*q, -z + 22 = z - 3*q for z.
5
Suppose 16*b - 8 = -8. Solve -p - 1 + 0 = -j, -j - 2 = b for p.
-3
Let f(h) = h**3 + 6*h**2 + 6. Let s be f(-6). Let n = -1 + s. Solve -y + 3 = 0, 35 = -3*x - x + n*y for x.
-5
Let x(y) = y**3 - 6*y**2 - 7*y + 6. Let i be x(7). Let g be i/(-4)*(-12)/9. Solve a - 5 = -0, g*o - 13 = -a for o.
4
Let o(f) = -2*f - 16. Let k be o(-11). Let m be (-2 - (1 + 1))*-2. Let l = m + -1. Solve 0 = -4*u - 5*i - l, 4*u + k = u - 3*i for u.
-3
Suppose -7*q + 9*q = 48. Let c be ((-36)/q)/(1/(-2)). Solve -c*k = 4*f - 20, 2*k + 1 - 6 = -f for f.
5
Suppose -9*y + 8*y = -16. Let m be 1/(-3)*(-4 + -2). Solve -2*x + 0*x - 2*w = -y, 0 = 4*x + m*w - 24 for x.
4
Suppose 3*r - 3 = 4*y, 0 = -2*r + 4*r + 3*y - 2. Solve r = g + 4*o, -7*g + 3*o = -3*g + 15 for g.
-3
Suppose -5*m = 2*q - 0*q + 66, -2*m + 108 = -4*q. Let a = -28 - q. Solve -2*n - 2*i = 3*i + 4, -2*n + 5*i + 16 = a for n.
3
Let j = -45 - -49. Solve 2 - 1 = -2*c + y, j*y = 4*c for c.
-1
Suppose r - 3*y = -y + 16, 5*r + y - 124 = 0. Let v = 26 - r. Solve -v*t - 3*p + 8 = 0, 3*p = 7*p - 8 for t.
1
Let c be -2 + 1 - (-4 + 3). Let h = 10 + -6. Let j = 4 - -1. Solve -4*p + f = -2*f + 5, -j*p - h*f - 45 = c for p.
-5
Let k = -7 - -7. Suppose k = y + 3*y - 20. Solve -3*m - 4*j + 2 = -2*m, y*j = 3*m + 11 for m.
-2
Let n(s) = -4*s**2 + 2*s + 0*s**2 - 3 + 0*s**2 + 5*s**2. Let t be n(2). Solve -9 = -5*i + 3*i - t*q, -i + q + 1 = 0 for i.
2
Let q(p) = p**2 - 4*p - 2. Let m be q(6). Let l be (-6)/(-15) + 36/m. Let x = 21 + -13. Solve l*a = -x, 5*f = -0*a + 3*a + 6 for f.
0
Let q be 460/60 + (-2)/(-6). Solve 0*j + 4*d + 6 = -3*j, -4*d - q = 4*j for j.
-2
Suppose u - 5*t = -10 - 5, -4*t = -12. Solve -2*y - 19 = 5*x, -2*x - 8 = y - u*x for y.
-2
Let c(q) = q**2 - 7*q - 2. Let y be c(5). Let p = 17 + y. Solve -p*f - 3*a - 10 = 0, 0 = -4*f + 3*a - 5*a - 8 for f.
-2
Let r(b) = b**2 - 3*b + 3. Let t be r(4). Let k = -2 + t. Solve 0*m - 5*m = k*u - 10, 5*m = 5*u + 10 for u.
0
Let g = 1 - -2. Suppose -5*z + g*d + 8 = -42, 0 = -5*d - 25. Suppose -3*r = t - 5*t - z, 4*r = -3*t + 26. Solve -3*m + 2*a = -13, -4*a + 0*a - 15 = r*m for m.
1
Let d = -55 - -60. Solve 4*z - d*q - 12 = 0, -q - 4*q = -5*z + 15 for z.
3
Suppose 4*s - 3 = 4*d - d, 0 = -d + 4*s - 9. Suppose -o = 3*o + 2*c - 2, 0 = d*o + 2*c. Solve -5*a = -4*i - 0*a - 7, -o = 2*a for i.
-3
Let v be -1 + 3/(-6)*(-28 - -2). Let b be 70/6 - (-2)/6. Solve g - b = 5*o, 0 = -5*g - o - v - 6 for g.
-3
Let x = 4 + -1. Suppose -4*f + 5 = f + x*j, 0 = 2*f + j - 3. Solve 4*i - 3 = -i - y, -f*i + 3*y = 9 for i.
0
Let o(d) = 2*d + 3. Let y(j) = j + 2. Let u be y(10). Let z be o(u). Solve