(t) = 2*t**2 - 5*t + 15. Let p be i(6). Let k = 68 - p. Solve -4*h - 5*s - k = 0, 2*h + h = -3*s - 6 for h.
1
Let d(z) be the first derivative of -7*z**4/2 + z**2/2 - 1. Let x be d(-1). Let a = 26 - x. Solve 0 = -3*n + k - a, -4*n + 2*k + 3*k - 32 = 0 for n.
-3
Let l be 6/33 + 62/22. Suppose y - 47 = -f + 5*f, -l*f - 2*y = 38. Let x be (-3 - 0)/(f/8). Solve 3*j + 4 + 17 = -5*n, 5*n - x*j + 11 = 0 for n.
-3
Suppose 0 = 22*z - 11*z - 99. Suppose -j + 2 = -u - 3, -3*u - 3 = j. Solve -4*o + 3*w = -18, -j*o = 2*o + 3*w - z for o.
3
Let z be (0 + 6)*15/30. Solve -2*r + 1 = -3*v - 6, -z*r - 3*v - 27 = 0 for r.
-4
Let h = 25 + -21. Let a(x) = -2*x**3 - 4 + x**3 + 4 + 5*x**2 + 3*x. Let n be a(h). Solve 2*p = -4*r + 2 + n, 2*p = -5*r + 35 for p.
5
Suppose 511*q - 516*q + 20 = 0. Let d(h) = h**3 + 5*h**2 + 5*h + 6. Let k be d(-4). Suppose -6*u + k*u = -16. Solve -p - 2*c = -0*c + 1, -4*p - u*c = q for p.
-1
Suppose 5*j - 5 = 3*z, -2*z - 4*j + 1 = -3. Let g = 5 + z. Suppose q = -4*n + 32, 6*n - 10*n = 3*q - 32. Solve 4*d + 32 = 4*p, -2*p = g*d - q*p + 19 for d.
-5
Let h be (-68)/(-136) - (-6)/(-8)*-2. Solve 9 = -3*q, 2*a + q - 13 = h*q for a.
5
Suppose 2*l + 2 = 4*y, -5*l = 4*y + 1 + 18. Let v be ((0/(-3))/y)/(-2). Solve v = -3*s + b - 1, -5*s + 0*b + 3*b = 3 for s.
0
Let v(y) = 2*y - 10. Let d be v(6). Suppose -2*j + 4*a = 6*a - 36, d*a - 78 = -5*j. Solve 0*u - 3*u + c = 14, -2*u = 4*c + j for u.
-5
Let z be 172/2*2/4. Suppose -k - 4*k = 3*u - z, -4*k + 8 = -2*u. Solve 16 = 3*v + 2*a, u*a + 4 = 3*v + 2*a for v.
4
Suppose -75 = o - 79. Let l = 3 + 3. Suppose 5*t + 35 = l*t. Solve -o*y = -5*m + t, -3*y - 27 = -3*m - m for m.
3
Let y = -4 - 22. Let s = y - -26. Solve -2*d - 2*t - 5 = -d, -4*d + 2*t + 10 = s for d.
1
Let b be ((-2)/(-3))/((-52)/(-390)). Solve -4*f + 6 = -f - 4*u, 0 = -b*f + 5*u + 5 for f.
-2
Let x(v) = -4*v + 12. Let l be x(-5). Suppose 8 = -30*u + l*u. Solve 0 = 7*i - 2*i + u*z + 6, 2*z = -8 for i.
2
Suppose 11*x + 6*x - 119 = 0. Solve -2*a = -j - x, 2*a - 5 = -4*j - 3 for j.
-1
Let l = 16 - 12. Suppose 4*b - l*v - 2 = 6, 5*v = 5. Solve -5*h - 3*z = -3*h + 4, 6 = -b*h + z for h.
-2
Let i = -4 - -6. Suppose 58*b - 63*b + 125 = 0. Suppose 0 = j - w - 5 - 9, -i*j - w = -b. Solve -3*r = -2*u - 7 - j, u = 2*r - 12 for u.
-4
Suppose 10*c - 14*c = -5*n + 67, -4*c = 2*n - 38. Solve 5*r = n, -x - 4*r + 15 = -0*x for x.
3
Suppose -205 = -2*c - 199. Solve 0 = c*q - 5*h - 2 - 4, 3*q - 6 = 2*h for q.
2
Suppose 0 = j - 1 + 4. Let f(y) = -y**3 - 3*y**2 + 3. Let k be f(j). Suppose 11*b - 13*b = -14. Solve -3*r - b = -n, k*r - 4*n - 28 = 5*r for r.
-4
Let m(p) = -3*p**3 + 14*p**2 + 4*p + 8. Let t be m(5). Solve 2*s = -4*w + 2, t*w - w = 2 for s.
-1
Suppose -4 = 3*n - 1. Let x be 20/(-5) - n*4. Suppose x = -y - 5*y. Solve -r + 4*o - 24 = -o, y = 4*r - 3*o + 28 for r.
-4
Suppose 0 = -p + 2 + 13. Suppose 10 = -p*z + 10*z. Let h be -2 - 1 - -6 - z. Solve 5*i = -u + 10, 4*u = -5*i + 2*u + h for i.
3
Suppose -n + 10 = 3*l, 0 = -l + 2*n + 8 - 0. Let q(h) = -2*h - 8. Let w be q(-4). Suppose w*c = -3*c. Solve z + c*z - 3 = 0, -9 = l*x + z for x.
-3
Let j(m) = m + 2. Let s(v) = -3*v - 6. Let h(q) = q + 2. Let t(w) = -7*h(w) - 2*s(w). Let d be t(-2). Let f be j(d). Solve 3*g + 4*i = i, -f*i = 4*g + 8 for g.
-4
Let t = 85 - 126. Let i = t + 43. Solve -8 = -4*y - 5*f, 3*y - 6 = -7*f + i*f for y.
2
Suppose 4*m - m - 39 = 0. Let q = m - 11. Let a be 8 + -4*(-3)/6. Solve -5*l - q - 4 = -4*t, 5*l = a for t.
4
Suppose 0 = 4*f - 22 + 2. Suppose 4*s - f*j - 15 = -0*s, 0 = -3*s + 3*j + 9. Solve s*q - 3*q + 5*d = 17, -2*d + 10 = -2*q for q.
-4
Let p = 18 + -5. Let h(y) = 3*y + 34. Let l(j) = -9*j**3 - j. Let a be l(1). Let c be h(a). Solve -4*w - p - 3 = 2*r, -c = r for w.
-2
Let g(y) = y + 44. Let m be g(12). Suppose -71 + m = -5*s. Solve 7 = 5*n + 2*v, -5*v + 1 = -n - s for n.
1
Let d = -5 + 29. Suppose -20 + d = 4*v. Solve 3*g - 11 = -c, -4*c - v = -5*g + 40 for c.
-4
Suppose -3*g = 3*t - 27, -3*t + 2*g = -3 + 1. Solve 4*h = -5*m - 25, t*h - m + 2*m = -5 for h.
0
Let t = -318 - -319. Solve -t = i - h, 2*i - 3*i - 7 = 5*h for i.
-2
Let p = -1 + 1. Let m = -112 - -125. Let w(x) = -2*x + 30. Let z be w(m). Solve z*s - 29 = -p*u - 5*u, -s + 26 = 5*u for s.
1
Suppose 0 = m + m - 5*w + 101, 0 = -m + 5*w - 48. Let d = -36 - m. Solve i + 3*c - 1 = d, i - 3*c + 12 = 0 for i.
3
Let u(i) = i**3 + 5*i**2 + i + 7. Let m be u(-5). Let o be 48/27 + ((-28)/18)/(-7). Solve 4*w + 3*a = -w - 29, w - m*a - o = 0 for w.
-4
Suppose 4*i + 0*z = 2*z + 20, -5*i + 25 = -z. Let s be 1465/(-25) - (-3)/i. Let h be 1/2 - s/4. Solve 4*w + 2*l = -10, 2*l - 3*l + h = -2*w for w.
-5
Let q(g) = g**2 - 1. Let o be q(-2). Suppose -6*n = -170 - 40. Solve o*d = h - d + 25, -3*d + n = -4*h for h.
-5
Suppose 0 = f + 3*f + 28. Let h = f - -10. Solve k + 0*k + h*p - 7 = 0, -2*k + 4*p - 16 = 0 for k.
-2
Let j(i) = -2*i + 2. Let t be j(3). Let a = 12 - t. Solve 0 = -4*z - 3*r + a, 2*z - 4*r = -3*z - 11 for z.
1
Let r(x) = -11*x**2 + 27*x - 5. Let c be r(2). Solve -2*g + 0*p - 3*p = 18, c*g + 31 = -4*p for g.
-3
Suppose -3*n + p = -85, -n + p = -41 + 10. Let o = n - 12. Solve 4*k - 5*y + 11 = -14, o = 2*k + 3*y for k.
0
Suppose 30*a - 8*a = 0. Solve 3*m = -2*x - a - 10, -x = -3*m - 4 for m.
-2
Suppose 4 + 38 = 7*n. Suppose 3*h - n = -3*h. Let m(t) = t**3 - 2*t**2 - t + 2. Let b be m(h). Solve -3*g + 3 = 0, b = -0*y + 2*y + g - 5 for y.
2
Suppose 5*d + v - 52 = 2*v, 0 = -2*d + 3*v + 13. Solve 5*c - 8 = -4*o, o - 4*o + d = 5*c for o.
-3
Let f be ((-8)/(-9))/(18/81). Solve j = y - f, 4*y + 2*j = -2*j for y.
2
Suppose 5*p + 0*p - 155 = 0. Suppose 0 = -p*g + 33*g - 10. Solve 0 = -y + 3, 5*y - 14 - 11 = g*a for a.
-2
Suppose -182 = -66*p + 53*p. Solve 4*m + p = 2*k - 0*k, -4*m - 12 = 0 for k.
1
Let v(d) = -2*d**2 + 21*d - 41. Let s be v(6). Solve -5*m + 23 = -x, 0 = 3*x - 4*m + s + 12 for x.
-3
Let u be 11 - 9 - 1*(-1 - 2). Solve -u*j + 34 = -3*n, -1 = 5*j + 2*n - 20 for j.
5
Let u(c) = 9*c + 20 - 12*c + 4*c. Let q be u(-17). Suppose n + 10 = 3*n. Solve 2 = v, -q*x - n*v = 2*x for x.
-2
Let a = -1175 + 1185. Solve 2*r - 30 = y - 5*y, -y = r - a for y.
5
Suppose -10*b + 13*b - 6 = 0. Suppose -o = -10 - 15. Solve -b*p - 5 = -x, 7*x - o = 2*x + p for x.
5
Suppose -7000*t = -7008*t. Solve -2*d - 23 = 3*i - 0*i, d + 4*i + 24 = t for d.
-4
Let p = 4 + -2. Suppose -7 = p*h - 5*u, -2*u = 3*h - 7*u + 13. Let t be (3/h)/((-1)/36). Solve t = -5*c - 2*k, -c + k + 2*k = 7 for c.
-4
Suppose 0 = -2*v - 2 + 8, 0 = -q - 2*v. Suppose 3*x - o + 0 = 30, 3*o + 2 = x. Let h = q + x. Solve 0 = 5*g - 10, h*a - 4*g + 0 = -23 for a.
-3
Suppose 0 = -53*j + 51*j + 56. Solve -2*x = -2*o + 6, j = 5*o + 3 for x.
2
Suppose 471 = -4*a + 3*k, -4*a - 497 + 31 = -2*k. Let s be (-2)/(-5) - (-7 - a/(-15)). Solve 0 = 5*m - 4*o + s, 4 = 3*m - 4*o + 13 for m.
-3
Let j(l) be the third derivative of -l**6/120 - l**4/24 - 7*l**3/6 - 10*l**2. Let u be j(-2). Solve -2*z + 7 - 1 = 5*c, 8 = -z + u*c for z.
-2
Let v = -253 - -253. Solve 0 = 4*f + 8, 0 = -v*s - 5*s + f - 13 for s.
-3
Suppose -362*w + 373*w - 11 = 0. Solve m - w = 3*j - 6, -2*j + 4 = 0 for m.
1
Suppose 5*l + 15 = -3*m, -2*m + 4*l + l + 15 = 0. Let y(w) = w**3 + 2. Suppose 0 = -6*q + 2*q. Let v be y(q). Solve m*a + 4*a = 3*u + 29, -2*u - v*a = -4 for u.
-3
Let k(l) = -10*l + 326. Let i be k(32). Solve 6 = -i*q + q + 3*u, q - 2*u + 4 = 0 for q.
0
Suppose 0 = -2*p - 14 - 4. Let d be (-21)/p + (-1)/3. Suppose -s - 5*u = -7, 0 = -0*u - d*u + 2. Solve 2*h - k + 4 + 7 = 0, 0 = -5*h + s*k - 26 for h.
-4
Let h(g) = g**3 + 10*g**2 + 9*g + 2. Let v be h(-9). Suppose 3 + 5 = v*k. Suppose -2 - 4 = -2*x. Solve w - 14 = -2*p - k, 4*p = x*w + 20 for p.
5
Let c(s) = -10*s - 4. Suppose 0 = d + b, 4*d - 7 = -2*b - 15. Let h be d*(15/(-6) + 3). Let g be c(h). Solve -5*l = -2*a + 8 + g, -5*l - 18 = a for l.
-4
Let h = 18 - 21. Let t = h + 13. Solve 2*s - t = d, s = -2*s - 3*d + 6 for s.
4
Suppose -10*q + 18 = -22. Solve -q*t = x - 4 + 21, -19 = 2*x + 3*t for x.
-5
Suppose -4*c + 7*c = -6. Let y be -1*(1 + c - 1). Solve y*w = 5*t + 21, -4*t = 2*w + w + 26 for w.
-2
Let x(g) = g**2 + 18*g - 15. Let r be x(-19). Solve -r*y - 2*p = -30, -3*p = -y - y - 5 for y.
5
Suppose -5*v + 10 = -10, -2*v + 5 = -d. Solve -4*b = -d*z - 3 - 5, 