+ 0*x + 1/60*x**5 - 1/24*x**4 - 1/3*x**3. Let f be y(3). Solve 0 = f*t - 4*d, -t - t - 4 = -d for t.
-4
Let c = 41 + -13. Suppose -1 = 3*d - c. Let s be -2*3*(-3)/d. Solve -4*n + 12 = -s*m, -n + 5*m = -5 - 7 for n.
2
Let h(c) = -c**2 + 7*c - 3. Let m(d) = 4*d + 2. Let r be m(1). Let b be h(r). Solve 2*z - 4*y = 12, -b*z - 5*y - 21 = -4*z for z.
-4
Let t(d) = -d**2 + 10*d + 5. Let z be t(8). Let v = -6 + z. Let n = v + -7. Solve 0 = -2*k + 4*p - 9*p + 11, 0 = k - 2*p + n for k.
-2
Suppose 3*q + 57 - 66 = 0. Solve 4*k + 4*n - 8 = 0, 9 - q = 2*k + 3*n for k.
0
Let l(p) be the second derivative of -p**5/20 + 2*p**4/3 + 5*p**3/3 - 3*p**2 - p. Let k be l(9). Solve -k*i = g - 9, -2*i = -0*g + 3*g + 1 for i.
4
Suppose -5*t + 28 = -4*l + 2*l, 3*t + 8 = -5*l. Solve t*m - 2*m = -3*f + 7, -m - 4*f = -16 for m.
-4
Let o be ((-4)/3)/((-4)/(-30)). Let r be (-4 + 0/4)/(-1). Let u be r/o*(0 - 25). Solve -d - d - 4*x + u = 0, d - x - 5 = 0 for d.
5
Let w be -1*2 - (-3 - 5). Suppose 15 = 3*d - 0. Suppose a + a + 10 = -4*o, a + d = 4*o. Solve o = -4*p - 12, 2*p + 26 = w*j - j for j.
4
Suppose 4*x = -2*m + 14, -5*x + 6 + 9 = 2*m. Solve 0 = 2*d - 3*f - 21, 2*f + m = f for d.
3
Let u = 31 - 25. Solve -3*b + 1 = m - u, m + 11 = 3*b for b.
3
Let g(d) be the third derivative of d**4/24 + d**3/6 + 10*d**2. Let r be g(1). Solve -3 = -q, -r*q - 4 = 4*v + 2*q for v.
-4
Let s = 17 - 1. Suppose 0 = q - 5*i - 12, -s = -5*q + 4*i - i. Suppose 4*y - 29 = -9. Solve 10 = -a - y*u, q*a + 2*u + 0 = -12 for a.
-5
Suppose -q - 210 + 23 = 0. Let a = -97 - q. Suppose b - a = -2*b. Solve -b = -2*g + 3*i - 13, 2*g - 2 = -2*i for g.
4
Suppose 0 = 5*r - 30 + 15. Solve 4*u + 2*m = m + 3, -r*u = -m - 11 for u.
2
Suppose -k + 5 = -0*k. Let a = -3 + k. Solve -a*c + 16 = -6*c - 3*v, 2*c - 5*v = 18 for c.
-1
Let q be (3 + 1 + -4)/(-1*2). Solve 5*l + 0*l - 20 = 4*d, 5*l + 3*d - 20 = q for l.
4
Let x(y) be the third derivative of -y**6/120 + y**5/12 + 7*y**4/24 - 2*y**3/3 - 3*y**2. Let n be x(6). Solve -4*b = 3*q + 11, b + n*b + 6 = 0 for q.
-1
Let i be 5 - -1 - (1 - -1). Let y = 8 - i. Solve 16 = -y*x + 3*z - z, 0 = 2*z - 4 for x.
-3
Let z be 1/4 + 2/(-16)*2. Solve s + 5*j - 19 = 0, 3*j = -5*s - z + 29 for s.
4
Let u(a) = a**3 + 4*a**2 - 5*a + 2. Let x be u(-5). Let v be 2 - (-1 + -1 + x). Solve -v*y + 8 = -n, 0 = -n - y - 5 + 12 for n.
2
Let l be ((-6)/(-15))/(4/40). Solve 3*w + 10 = -z, 4*w = -3*z - l - 6 for w.
-4
Let m(d) = 2*d - 12. Let c be m(8). Solve -4*w + 3*j = -j - 28, w = c*j + 22 for w.
2
Suppose -3*z = 3*h - 6, 2*z - 13 = 4*h + 21. Let a be (-2)/5 + 54/(-15). Let r = a + z. Solve v + 11 = -r*q + 5*v, 3*q = -4*v - 19 for q.
-5
Let m be 7/2*((-72)/(-14) - 4). Solve 5*x - 5*z - 2 = -32, m*x - z = -12 for x.
-2
Suppose k - 4 = -0*k. Suppose 3*u = 7*u. Let l be (u - 21)*(-6 - -5). Solve -3*a = 9, 4*y - k*a - 3 - l = 0 for y.
3
Let a(g) = -g**3 - 4*g**2 - 4*g - 1. Suppose 2*y + 4 = -2. Let d be a(y). Solve -n + 2 = -d*u, -4*n + 2*u = -0*u + 4 for n.
-2
Suppose -k + 3*f - 7 = 0, 3*k + k = 2*f + 2. Suppose -h - 2*h + 47 = -b, -k*b = 4. Solve 5*s = 5*w + h, 2*w - 4*s = 3*w + 8 for w.
-4
Suppose -131*i = -127*i - 12. Solve -4 = -d - i*q, 0 = -2*d - 5*q + 3*q + 4 for d.
1
Let m(w) = -w - 13. Let p be m(-17). Solve 3*g + 0*o = 2*o - 4, 2*o - p = 5*g for g.
0
Suppose -4*c + 5*m + 22 = 0, -m - 4*m = -2*c + 16. Solve t - 19 = 3*t + c*h, h + 11 = -3*t for t.
-2
Suppose 0*l - 2*l = 0. Let h be -3 + 2 - (-2 - l). Solve -28 = -z + 5*p, h = -z - 4*p - 16 for z.
3
Let k(p) = -p**3 + 16*p**2 + 2*p - 18. Let l be k(16). Solve 3*g - 4 = -5*v + 1, -2*v + 2*g - l = 0 for v.
-2
Suppose -2*r + 4*r = -5*o - 19, -4*o - 2*r = 16. Let d be 1*4/((-16)/20). Let g = o - d. Solve 2*q + 22 = 4*y, g*q - 17 = -2*y + 5*q for y.
4
Let n(w) = w**2 + 2*w - 6. Let m be n(-5). Let o be -4 + m - (-3 + 2). Solve 4*d = 3*f - o, 4*d + 10 = -3*f + 4*f for d.
-3
Let s(x) = x + 8. Let n be s(-6). Solve -2*q - 5*m = 5, -n*q - 2*m = -3*q - 7 for q.
-5
Let d(o) = 3*o - 4. Let f be d(2). Suppose -f*c = 3*c - 2*k, 0 = -5*c - k + 15. Solve -c*a - 9 = 4*v + 7, v = a + 2 for a.
-4
Let o be -1*4/(-18) - (-325)/117. Solve -3*t = 3*l + 6, 8 = 2*l - o*l + 5*t for l.
-3
Suppose 0 = 2*u - 7 - 3. Suppose -u*y + 4*y = 0. Solve -9 = 4*v - d, 3*v + 1 = -5*d - y for v.
-2
Let h(u) = 2*u + 21. Let n be h(-9). Solve 4*l + 30 = 5*c + 3*l, -3*c = -n*l - 30 for c.
5
Let o(d) = d - 1. Let b be o(3). Let r = b + 2. Suppose -r*v + 11 = -3*h, 8 + 4 = 3*v - h. Solve -2*t = v*u + 23, -6*u = -4*u + 3*t + 7 for u.
-5
Let b(h) = -4 + 2*h - h + 0*h + 16. Let l be b(-8). Solve k + 7 = 5*t + l*k, -4*t = -k - 9 for t.
2
Suppose -15 = 5*x - 5. Let l = -4 - x. Let i = l + 2. Solve -5*k + w + 27 = 5*w, -2*w + 6 = i for k.
3
Let w(f) = -f**2 + 14*f - 12. Let u be w(11). Suppose 2*v - 9 = y, y = -5*v + v + u. Solve 0 = 2*b + 3*o - 8, -b - v*o = -10 - 8 for b.
-2
Let d(a) = 2*a - 15. Let j be d(11). Let g be 10 - (-3 - -2)/1. Let z = g - j. Solve 6*t = -z*x + 4*t + 14, 5*x - t = 0 for x.
1
Let f(i) = -2*i**3 + i**2 + 3*i + 3. Let m be f(-1). Solve n + l = -0*l + 3, -2*n - 14 = -m*l for n.
-1
Suppose 0*k - 3*u = -3*k + 24, -2*k - 2*u + 4 = 0. Solve 5*q + 5*n = 25, -k*q = 4*n - 20 - 4 for q.
4
Suppose -3*m + 16 = 5*a, -5*m = -4*a + 1 - 3. Solve -3*y - 5 = 3*p - y, 2*p = -m*y - 4 for p.
-1
Let w be 104/20*1*5. Solve -3*l - 15 = 0, -5*l = -5*n - 1 + w for n.
0
Let m(o) = 2*o**2 - o + 3. Let t be m(-3). Let v(z) = z - 13*z - 2 + 7 - 2 - z**2. Let n be v(-12). Solve -4*w = -5*y + t, -w - 4*w - 2*y = -n for w.
-1
Let x = 127 - 127. Solve -3*l - 12 = x, -l - 3*l - 41 = -5*y for y.
5
Let a = 0 + 0. Suppose a = 2*q - 6 + 2. Suppose 6*d = q*d + 20. Solve -7 = -2*v + c, -2*c - d = 5 for v.
1
Suppose 6 = 4*i - 14. Solve 4*b + 4*v - 16 = 0, -5*b - i = -v - 1 for b.
0
Suppose -3*i - 29 = -t, i - 3*t - 15 = -38. Let r = 8 + i. Solve 4*q + 4 = -3*l + l, -4*l - 2*q - 8 = r for l.
-2
Suppose y - 3*z + 5 = 0, z - 5*z = -4*y + 20. Let o(s) = -s**2 + 7*s - 5. Let p be o(5). Solve 4*k - 8 = 5*l, -4*l + p*k = l + y for l.
0
Suppose 0 = -0*g + 3*g. Solve -i = 3*c - 8, -2*i - i - 3 = g for c.
3
Let q be 3/(-2) + (-21)/(-6). Solve 4*i = q*i + 4*g + 14, -g = 2*i + 11 for i.
-3
Let s be 44/154 - (-66)/14. Let m = 2 + -2. Solve -s*x - 5*l + 10 = m, 0*l = 2*x + l + 1 for x.
-3
Let u(m) = 7*m + 32. Let y be u(-4). Solve -5*n - 4*t - 10 = 0, n - 4*t + y = 2 for n.
-2
Let z(r) = r**2 - 10*r + 12. Let n be z(9). Let m(i) = -5*i - 3. Let u be m(-2). Let k = u - 4. Solve 0*a = a + k*c - 14, 3*a - n*c = -6 for a.
2
Let u be 2/4 + 14/4. Let w = 10 + -7. Suppose w*g - 3 = 3. Solve 1 - u = -t - i, i = g*t for t.
1
Let w be (-436)/22 + 4/(-22). Let h be 73/5 + (-8)/w. Suppose 4*r = r + h. Solve -b - 3 = -2*x, -r*b + 8 + 1 = -4*x for x.
4
Suppose 0*w = -5*w + 40. Suppose 3*h - 35 = -w. Solve -q - 6 = -3*o + h, -2*q = 4*o - 20 for q.
0
Let d be (45/(-12))/((-3)/8). Let t be d/4 + (-1)/2. Let s(m) = 4*m**2 + 4*m - 3. Let a be s(t). Solve g - 3*g + 4*u - 4 = 0, -5*g - u = a for g.
-4
Suppose -5*n + 4*k + 27 = 0, k = 4*n + 2*k - 9. Solve 3 = -3*v, n*d - 2*d - 1 = -4*v for d.
5
Let k be 0 + 15/3 - 1. Let u be (k/3)/((-4)/(-6)). Solve 5*i + 17 - u = -5*l, -l = -3*i - 1 for l.
-2
Suppose 4*k - 6 = 2. Let f = -3 - 3. Let q be ((-2)/f)/(1/33). Solve -s + 1 = n, -1 = k*n - 5*s + q for n.
-1
Suppose -5*d + 24 = -36. Let w be 4 - (-5)/((-20)/d). Solve 5*y = 0, -3*m + 11 = y - w for m.
4
Let q(p) = 2*p**2 + 22*p + 26. Let o be q(-10). Solve -2*g = -5*z - o*g - 5, -5*g - 1 = z for z.
-1
Let j be 5/(-2)*(2 - 4). Suppose -j*t = 3*d - 66, -d + 3*d - 52 = -4*t. Solve -2*q = 4*i - q - 16, 3*i - t = -4*q for i.
4
Let k(v) = -v**3 + 5*v**2 - v + 5. Let g be k(5). Suppose g*a + 50 = 5*a. Solve -a + 26 = 4*i, -4*u + 4*i = 0 for u.
4
Let w = 17 + -15. Solve 0 = m + c - 4*c + 4, -4*c = -w*m - 8 for m.
-4
Suppose 2*m - 6 = 2*h, -4 - 1 = -m. Suppose -4*b + b = -3*y - 6, 0 = 3*y + h*b + 11. Let k = 0 - y. Solve -28 = k*w - 0*i + 5*i, 2*w - 3 = i for w.
-1
Let z(s) = s**2 - 3*s - 4. Let j be z(5). Let w(f) = -f + 10. Let l be w(j). Let x be (-30)/((6/4)/(-1)). Solve -5*i + x = 3*o + 2*o, -l*i = -5*o + 2 for o.
2
Let d(h) = -h**3 + 2*h + 1. Let z = 11 + -12. Let x be d(z). Solve -9 = 5*q - x*q - 4*n, 2*n = 5*q + 7 for q.
-1
Let c be (-2)/5 - 