
Let l(x) = -x**2 + 24*x - 138. Let i be l(10). Solve -3*w - i*h + 5*h = 0, 4*h - 5 = 3*w for w.
5
Let m = -9 - -29. Let b = 22 - m. Solve -b*h = 3*l + 8, 0 = l + 2*h + 7 - 3 for l.
-2
Let n(r) = 7*r**2 + 3*r + 2. Let c be n(-2). Let d(u) = 10*u + 2. Let l be d(-1). Let w = l + 13. Solve -4*b + 4*v = c + 4, -b - 3*v + w = 0 for b.
-4
Suppose 0 = -5*m + 2*c + 14, 0*c = 4*m - 4*c - 16. Suppose -6*n = -16 - m. Solve -n*d = -2*o + 2*d + 28, 0 = 2*o - 3*d - 20 for o.
4
Let z be 1/(9/6*(-2)/15). Let y be (z - (-78)/15) + 38/10. Solve 3*w = -4*p - 13 - 7, 2*p = 2*w + y for w.
-4
Let c be 8/4 + 10 - 7. Let a = 0 - 0. Solve 0 = -w - 3*w + c*m - 14, a = -w - m + 1 for w.
-1
Let f(p) = -3*p + 2. Let h be f(-4). Let m = h - 7. Suppose -9 = -4*s - 1. Solve 5*u = -s*w + m, -2*w = u + w + 9 for u.
3
Let o be 9 - (20/(-90) - 76/(-18)). Solve -6 = -o*m - 5*t + 4, 3*m + t = -4 for m.
-3
Suppose -3*a + 16 = 4*m, 24*m - 27*m - 17 = -5*a. Solve -a*q - 13 = -3*u, 2*q + 4*u + 7 + 5 = 0 for q.
-4
Let c be (6 - 5) + -6 + 131. Let a = c + -123. Let p be ((-1)/3)/((-1)/21). Solve -2*t + a*j = p, -5*t = -j - 0*j + 24 for t.
-5
Let f(b) = -11*b - 149. Let m be f(-14). Solve -m*u = -4*a - 13, -4*a + 0 = 5*u + 3 for u.
1
Let i = 376 - 371. Solve -o + 5*r = r + 5, -i*r = 4*o - 1 for o.
-1
Suppose -2*f = 2*f - 16. Let q = f - 4. Suppose 7*m = 46 - 18. Solve -4*k + 3 = -x - q*x, 2*x + m*k = -6 for x.
-3
Suppose 205 = 11*x + 172. Let z = 10 + -5. Solve x = -4*u + z*p, p + 0*p + 3 = -u for u.
-2
Let n be (-8)/((-96)/36)*(-5)/(-3). Solve -3*d - 3*b + 6 = 0, n*d - 4*b = -b - 14 for d.
-1
Let m be (92/(-10))/(((-27)/30)/(-9)). Let p = 95 + m. Solve -p*o = -2*o - 2, -5*o + 7 = -3*y for y.
1
Suppose 4*n + o = 50, 0*o + 56 = 4*n + 4*o. Suppose 17*b = 25*b - 40. Solve -i = a + b, -n = a + 5*i + 1 for a.
-3
Let r be (-3)/12 - 1/(-4). Solve r = 4*i - 3*m - 7, -2*i + 8 + 3 = -3*m for i.
-2
Let r = 176 - 171. Solve 4*t = x - 15, x + r*t = t - 17 for x.
-1
Suppose 2 = y - 4. Suppose y*g = 2*g + 8. Let h(u) = -u**3 + 3*u**2 - u. Let i be h(2). Solve t = g*f + 15, i*t + 15 = -8*f + 3*f for t.
5
Let c = -511 - -514. Solve -3*k - 3 = c*s, -3*s = -4*s + k + 9 for s.
4
Let s(w) = w**3 - 20*w - 74. Let x be s(6). Solve -4*q + x = 2*o, 4*q - 7*q + 27 = 5*o for o.
3
Let v = -397 + 401. Solve -3*s = 4*g + 20, -2*s = -0*s + v*g + 20 for s.
0
Suppose 0 = -2*n + 9 - 9. Suppose n*k + 16 = 4*k. Solve 5*g + 20 = -5*m, -k*g = 2*m + 9 - 1 for m.
-4
Suppose 2*f + 4*l = 3*f - 6, -2*f - 4*l = 0. Let d(v) = v**3 + v**2 + 2*v + 3. Let a be d(0). Solve 3*g + 9 = -a*r + 4*r, -f*r - 15 = 5*g for r.
0
Let q = -5 + -5. Let f(d) = 2*d + 22. Let s be f(q). Solve y + 5*i - 7 - 2 = 0, -s*i = -y + 2 for y.
4
Let s be (198/22)/((-1)/3). Let y = s + 27. Solve 5*i = -3*t, -6 = -3*i - 3*t - y*t for i.
-3
Suppose -x = 2*x - 9. Suppose -3*j = -4*z - 2 - 6, 0 = -j - z - 2. Let o be 1/(0 - 1) + 1. Solve 0 = -o*c + 4*c + 4*y + 24, y + x = j for c.
-3
Let t be (-12)/(-16) + (-951)/(-12). Suppose 2*r + 8*r - t = 0. Suppose -4*s = 2*x - 14, 3*s = 4 - 1. Solve -5*g = x, -3*a + g - r = -3*g for a.
-4
Let i(c) be the third derivative of -5/12*c**4 + 0 + 1/60*c**5 + 5/6*c**3 + 2*c**2 + 0*c. Let d be i(10). Solve 4*y - 13 = -3*x - 1, 0 = -4*y - d*x + 20 for y.
0
Let l = -4 - 31. Let c be (42/l)/(3/(-20)). Solve 5*r + 4*q = 29, -4*r - 2*q = -c - 14 for r.
5
Let t be (1/2)/(1/(-12)). Let i(b) = -5*b - 261 + 490 - 245. Let a be i(t). Solve 3*v + a = -4*o, -2*o = -5*v + 4*v + 2 for o.
-2
Let d(v) = -67*v + 674. Let k be d(10). Solve -p = k*g - 9, p + p - 15 = -5*g for g.
1
Suppose 677 - 673 = 4*p. Solve -4*f + 1 = -5*n, -n + 4 = -4*f + p for f.
-1
Suppose -255 = 4*r - 263. Solve -i + 5 = f, -r*f - 1 = -2*i + 1 for f.
2
Let r(d) be the third derivative of d**6/120 + d**5/15 + d**3 + 33*d**2. Let n be r(-4). Solve -3*f = 5*x + f - 3, -n = -4*x - 2*f for x.
3
Let i(u) = -u**3 - 3*u**2 + 4*u + 4. Let p be i(-4). Solve 3*r + p*c - 5 = 2*r, -4*c - 15 = -3*r for r.
5
Let p(m) = m**3 - 9*m**2 - 2*m + 13. Let c be p(9). Let j = c + 8. Suppose 5*x - j - 17 = 0. Solve 0 = -0*n + 4*n - 4*f + 4, 3*n + x*f - 25 = 0 for n.
3
Let r(d) = d**3 + 8*d**2 + 14*d - 6. Let q be r(-4). Suppose 3*a - 24 = 5*b, -3*b + 15 = 4*a - 4*b. Solve -q*m + 7 = 2*g + a*m, g = -2*m + 2 for g.
-4
Let p be ((-28)/(-7))/(2/3). Suppose 4*s = 4*l + 32, 0*l + p = -2*l. Solve -t - 11 = 2*f + f, s*f = -20 for t.
1
Let i = 103 + -101. Solve 3*z = a - 12, -a - 8 = -4*a + i*z for a.
0
Let q(y) = y**2 - 6*y - 31. Let z be q(9). Let r be -2 - (z/1)/((-7)/(-14)). Solve 3*k - 6 = 2*f + 9, -4*f - 2*k = r for f.
-3
Let d = -91 + 127. Suppose 35*t - d*t = -5. Solve 2*m + t*c = 28, 0 = 3*m - c - 8 for m.
4
Suppose 0 = -13*s + 5559 - 5494. Solve 5*n + 5 = s*d, -5*n + n = -2*d - 4 for d.
4
Suppose -156*j + 246 = -33*j. Let i(o) = -o**3 + 5*o**2 - 4*o + 4. Let a be i(4). Solve 3*b - j*x = 3*x + 25, -b = a*x + 20 for b.
0
Suppose 0*p + 12 = 4*p. Suppose -p = -3*s + 3. Solve 0 = 4*b + 20, s*b - 45 = 4*x + 7*b for x.
-5
Let a(k) = 5*k - 4. Let t(v) = 3*v**2 + 6*v + 7. Let h be t(-3). Suppose 3*j - h = -j. Let i be a(j). Solve -6*u - i = -3*s - u, 0 = -s - u for s.
2
Suppose 111 = 10*o + 11. Let d be (-1)/((o/15)/((-10)/3)). Solve d*m = h + 4 + 1, -4*h + 4 = 4*m for m.
1
Let c(h) = 5*h**2 + 5*h + 2. Let p be c(-1). Solve 2 = -s - q, 6*s - p*s - 37 = 5*q for s.
3
Let a be 1*(7 + -5 + 0). Solve a*u - 12 = -4*r, -4*u = -4*r - 8*u + 20 for r.
1
Let d = 243 + -243. Solve 0 = 4*n - 3*n + l, 4*n - 2*l + 12 = d for n.
-2
Suppose 15*p - 208 = 2*p. Solve 0 = -7*n + 2*n - 20, p = -4*v + n for v.
-5
Let s = 7 - 34. Let p = -9 - s. Solve -3*q - 5*b - 16 = 0, 3*b + 0*b + p = q for q.
3
Let d = -1485 + 1487. Solve 0 = -2*u + 2*x - d, 4*x + 1 = 3*u for u.
-5
Let w be 9 - (1 + 6) - -3. Solve 0 = -w*d - 15, -l + 3*d + 19 = -2*d for l.
4
Let j be (-3)/(-1) + -1 - 7. Let c = -3 - j. Solve -5*u = -c*q + 30, -13 + 1 = 3*u for q.
5
Suppose 0 = f - 2, -4*s + 7*f - 10 = 2*f. Let w(r) = r**3 + 19. Let z be w(s). Solve 5 = -5*q + 3*g + 1, 5*g - z = -4*q for q.
1
Let m = -31 - -36. Solve 2*k = -z + k + 5, -m*z - 10 = -2*k for z.
0
Let f(h) be the first derivative of -3*h**2 + 45*h + 9. Let v be f(7). Solve -2*c - 6 = z, c - 3 = v*z + 8 for c.
-1
Suppose 4*v = 7*v - 6. Suppose 0 = 5*p - 56 + 16. Suppose 3*z = p*z - 15. Solve 2*x - 4 = v*b, z*b - x + 2*x = 6 for b.
1
Let y(v) = -v**3 - 12*v**2 - 12*v - 6. Let o be y(-11). Let f be 8/o*30/12. Solve 5*d = -k - 11, f = 3*k + k - 4*d for k.
-1
Let y(v) = -v**3 - v**2 + v + 1. Let c(g) = -5*g**3 + 8*g**2 + 19*g - 6. Let r(a) = -c(a) + 6*y(a). Let u be r(-13). Solve u - 3 = 4*x + h, 3*h = -x + 5 for x.
2
Let b be ((-56)/(-49))/(2/7). Solve 2*s - 12 = -5*i + 3, -14 = -b*i - 2*s for i.
1
Let d be (-1 + 24)*(-3)/(-3). Suppose 14 = 4*n + 3*z - d, 5*n - 51 = z. Let j = -8669 - -8703. Solve j = 4*v + 4*x + n, -2*v = -2*x for v.
3
Let i(d) = d**3 - 7*d**2 + 19*d - 33. Let k be i(5). Solve 18 = h + 2*z + 3*z, -k = -5*h + z for h.
3
Suppose 0*c = 2*c + o + 11, -2*c = 3*o + 9. Let t = c - -11. Suppose 7 - 3 = 2*j. Solve t*i + 4*g = 15, j*g = -2*i + 4*g + 6 for i.
3
Let w = -16 + 0. Let j = -13 - w. Solve -j*v - 5*d = -6*v - 35, v + 4*d = 11 for v.
-5
Suppose -4*f + 25 = 3*v, -4*f - 23 = -7*f + 2*v. Suppose -6 + 20 = f*l. Suppose 0 = 7*r - 2*r - 5. Solve s = 0, l*s - r - 2 = -w for w.
3
Suppose 11 = 3*j + 5*n, -6 - 1 = -j - 5*n. Let o(s) = s**2 - 6*s. Let u = -14 + 20. Let h be o(u). Solve h = 3*m + r - 10, -j*m + 18 = -2*r - 3*r for m.
4
Let m(t) = -t**3 - 5*t**2 + t - 3. Let s be m(-5). Let c be (-35)/(-10) + (-4)/s. Solve 4*i - 3*k + 8 = -2*k, k = c for i.
-1
Let k = 0 + 1. Let x(i) be the second derivative of 17*i**4/12 - i**3/3 + 384*i. Let c be x(k). Solve 5*h - 12 = 5*d - d, 0 = 5*d + 4*h + c for d.
-3
Suppose 5*n - 5*r - 58 = -13, 2*n = r + 13. Let b(m) = m**2 - 3*m - 6. Let f be b(5). Suppose 2*a = f*a - 46. Solve 2*t = n*w - 7 - a, -w + 4*t + 25 = 0 for w.
5
Let d = 7 - 9. Let s be 1 + 0 - d - 1. Suppose 3*h + x = 2, x - 2*x = -3*h - s. Solve -c + 4 = 0, -k - 3*k + 5*c - 4 = h for k.
4
Let l be (-2)/(-3)*(77 + -59). Solve f - 2*j = -5*j + 6, 0 = -3*f + j - l for f.
-3
Suppose 2*i - z - 29 = 13, 0 = 2*z. Let n = i - 15. Suppose -n = -5*v + 2*v. Solve -16 = -5*h + 4*p - 43, -h - 9 = -v*p f