
Let v(a) be the first derivative of -a**4/4 + 8*a**3/3 + 7. Let d be v(8). Suppose 2*x - 4 + d = -2*f, 4*f = -8. Solve 5*z = 10, -2*j + 3*j = x*z - 13 for j.
-5
Let z(d) = 30*d - 6. Let n be z(7). Suppose -2*s - s = n. Let j = -43 - s. Solve j = -5*u - 4*t, -6*t + t - 25 = 0 for u.
-1
Let u = -5 - 40. Let p be (-72)/u - (-2)/5. Suppose p*q + 0*q - 8 = 0. Solve 0 = -q*r - 3*t - 11, -6*r - 30 = -3*r - 5*t for r.
-5
Let t = 1365 - 1365. Solve 0 = 2*i - i + x - 2, t = 4*x + 4 for i.
3
Let l(v) = v**3 - 14*v**2 + 10*v + 43. Let d be l(13). Solve -12 = -0*w - w + d*h, 3*w = 3*h + 9 for w.
0
Suppose 4*x = h + 7 + 8, 3*h = 4*x - 5. Solve -2*n - 10 = 4*b, -x*n + 2*b - 2 = -1 for n.
-1
Let s(v) = -v**2 - 6*v - 4. Let t be s(-4). Let a be 3 - ((-10)/(-2) - t). Solve -a*z + 4*n = -0*z + 12, -3*z - 5*n = -26 for z.
2
Suppose -v = 3*j + v - 18, -39 = -3*j + 5*v. Suppose -j = -4*b - 5*t, 0 = 2*b - 2*t - 4 - 0. Solve 0 = b*c - 6*c + 2*r - 30, 0 = 3*c + 3*r for c.
-5
Let r(t) = -t**2 + 0*t**2 + 2 + 6*t - t. Let a = -157 + 162. Let i be r(a). Solve -h - 5 = 0, -i*y + 9 = -3*h - 14 for y.
4
Let u(l) = 3*l**2 - 5*l + 6. Let h be u(1). Suppose -4*i = -2*r + 24, -3*r - 3*i - 10 = -h*r. Solve -6*o - r = -4*o + 2*b, 4*o - 8 = 4*b for o.
-3
Let k be (-4)/(-14) + (-1648)/(-112). Solve 2*z + g - 4*g - 9 = 0, -2*z + 5*g + k = 0 for z.
0
Let v = 249 - 247. Solve -4*w + v*h + 14 = 0, 0 = 3*h - h + 10 for w.
1
Let g be 0 - (-4 + 6/3). Suppose 4*u - g*u - 4 = 0. Let y be 3 - (4 - 3)/1. Solve 2*w + 4 = 2*x, u*w - y*x + 9 = -5*x for w.
-3
Let s = -12 - -16. Suppose -h = -0*h + 5*r + 12, 3*r + 148 = -5*h. Let g be (24/h)/(2/(-24)). Solve -g = 3*q, 0 = 2*l + s*q - 4 + 26 for l.
-5
Let l = 262 - 261. Solve 1 = -5*z - v, 2*z + l = 7*z - v for z.
0
Suppose 2 = -3*y + 14. Solve 0 = y*u + 3*z + 23, 3*u + 2*z = 3*z - 14 for u.
-5
Let n(z) = -28*z + 128. Let m(i) = 13*i - 64. Let r(a) = 9*m(a) + 4*n(a). Let o be r(14). Solve -u = 0, u + 2 = 2*b + o for b.
-2
Suppose 0 = -3*y - 1 + 7. Suppose 4*i = -2*f - y, -f = -4*f - 3. Solve -3*r + 3*a - 9 = i, -2*r + r - 3*a = -9 for r.
0
Let u(a) = 12*a - 12. Let l be u(1). Solve 0*w - 12 = 5*g + w, 3*g + 2*w + 3 = l for g.
-3
Let y(t) = 4*t**2 + 8. Let q be y(0). Let c = -4 + q. Solve -4*a - 21 = a - b, 4*b = 4*a + c for a.
-5
Let w(x) = 5*x**2 + 2*x + 10. Let d be w(4). Let f = d - 95. Solve 0*a - 9 = -a - 4*j, -2*a = -f*j + 15 for a.
-3
Let s(q) be the second derivative of q**4/12 - 5*q**3/6 + 2*q**2 - 8*q. Let g be s(1). Solve w = -2*z + 7 - g, -3*z - 17 = -4*w for w.
5
Let y be -10*2/4*-1. Suppose -5*z = -6*z + 1. Let x be z*2*(-3)/(-2). Solve -f - m - 2 = y, -m - 15 = x*f for f.
-4
Suppose -2*n - 3 = -2*o + n, -2*n + 8 = 2*o. Let h = 114 + -112. Solve 4*x + o*k = -0*k - 12, 5*k = -h*x - 6 for x.
-3
Let a be 2*3 + 6/(-2). Let q(j) = -2*j**2 + 4*j + 21. Let i be q(4). Solve -i*y = a*w + 12 - 1, -14 = 4*y + 5*w for y.
-1
Suppose 2*s - 2 = -2*y, -2*y - 2 = s + 1. Let t(l) = l**2 + l + 3. Let h be t(y). Solve j + 5*u - 6*u = 6, -j + 4*u = -h for j.
3
Let k be (-184)/18 + (-33)/(-27) + -1. Let i be (-1)/(30/(-44) - k/55). Solve 4 = -d - d, 3*f - i*d - 4 = 0 for f.
0
Suppose -2*u + u - 5 = 3*h, -36 = 5*u + 4*h. Let t = u + 12. Let i(v) = -v**3 + 4*v**2 + 2*v - 6. Let d be i(t). Solve b + 2 = 2*c + 5*b, d*c = b + 12 for c.
5
Let w(c) = 4*c**2 - c - 2. Let x be w(-2). Suppose 7 = -o + x. Let z be 7 + (3 - 1)/(-2). Solve -z*b - 18 = -b - 2*f, 2*b + f = -o for b.
-4
Suppose -3*x - x - 296 = -4*m, 0 = 4*m + x - 276. Let i be ((-6)/4)/(2 + (-161)/m). Solve 2*l = 3*w + 15, -i*l + w + 4*w + 25 = 0 for l.
0
Suppose 8*b - 14 = 6*b - 5*d, 2*b - 3*d + 2 = 0. Solve 7*n - 4*r = b*n + 15, n - 3 = -r for n.
3
Suppose 4*s - 80 = -5*g, 0*g = -4*g - 5*s + 73. Let w be (-1)/(g/24*4/(-6)). Solve 4*r = w*y - 5, 4*y - 5*r - 10 = y for y.
-5
Let r = -28 + 32. Solve -4*n - k + 0*k + 4 = 0, -3*n - 16 = -r*k for n.
0
Let q(u) = -u**3 - 14*u**2 - u - 13. Suppose 5*d = 2*w - 80, 4*d - 2*w + 4*w = -46. Let t be q(d). Solve a - h = -t, -3*a - 5 = 2*h - 3*h for a.
-2
Let b be 39/7 - (-116)/(-203). Solve -3*s - 5*t = 40, 0 = 5*s + 5*t + b + 45 for s.
-5
Let p(x) = -x**3 + 5*x**2 + 7*x - 8. Let r be p(6). Let q be 5 + ((-1)/r)/(1/(-6)). Solve -5*u = -q*a + 24 - 11, -2*a + 4 = -2*u for a.
-1
Suppose 6*l - l = 0. Suppose l = b + 3*b. Suppose b = 4*q + f + 1, -5 = q + q + 5*f. Solve q = -5*j - 3*w - 7, 2*j - 26 + 4 = 5*w for j.
1
Let x = 1808 - 1802. Solve -2*u - 6 = -5*z, u + 8 = -z + x*z for u.
2
Let h be ((-4)/(-18))/(-13*5/(-585)). Solve 0 = 5*n - m + 19, -h*m = -3*n + 2*m - 25 for n.
-3
Suppose 50 = -21*r + 23*r. Let g(x) = 2*x - 46. Let h be g(r). Solve -5*w - 10 = 0, 6*b - 3*b + 14 = -h*w for b.
-2
Let a = 153 + -117. Suppose 78 = 2*g + 2*q, 59 = 3*g - 4*q - 23. Let k = a - g. Solve -k = c, -2*j + c - 3*c = 8 for j.
-2
Let l be ((-3)/6)/(2/(-16)) - -7. Solve 4*u = -d - 14, -d = -5*u - 11 - l for d.
2
Suppose 5*i - 9 = 316. Let h = -63 + i. Solve l + 3*v - 13 = 0, 5*l - 5*v - h - 3 = 0 for l.
4
Let w = 3 + 13. Suppose 0 = 5*u - 14 - w. Solve -9 = 5*f + j, -5*f - 2*j = -u*j + 14 for f.
-2
Let c be -1*(-7)/((-7)/(-4)). Let v be (-69)/(-15) + 2/5. Solve 5*m + 7 = -i, v*i + 6 = -c for m.
-1
Let m = -27 - -19. Let c be ((-9)/6)/((-4)/m). Let w = c + 3. Solve -2*l = -3*g - w*l - 1, 4*l - 11 = -3*g for g.
1
Suppose c - 4 + 0 = -2*o, -4*c + 3*o = -16. Suppose -c*y = -5*y - 28. Let h = -21 - y. Solve q + 3*b + h = 0, 0 = 2*q - 7*q + 2*b + 33 for q.
5
Suppose 9*y = 3*y + 96. Suppose -y = -3*s - 7. Solve -s*r - 6 = 0, 0 = -2*g + r + 2 - 8 for g.
-4
Let p(y) = y**2 + 2*y. Let r be p(2). Suppose 3*c - r = -2. Let w be (3/(-6))/((-2)/24). Solve 4*n - 3*n - c = 5*l, -5*l - w = -3*n for l.
0
Suppose -47 = -4*z + 3*w - 32, 5*w - 10 = -5*z. Let y = 1 + 4. Suppose 2*x + 6 = 4*x. Solve 5 = 2*t - z*l, -2*t + 30 = -x*t - y*l for t.
-5
Let q = 14 - 7. Suppose 0 = q*z + z. Solve 0 = -h - 2*x + 1, -2*h - x + 3*x - 16 = z for h.
-5
Suppose 2*i = 3*c - 5, -8 = 4*i - 5*c - 3. Solve -2*w - 3*z - 4 = -2*z, i*z = -w + 7 for w.
-3
Let d = -2132 + 2137. Solve 0 = -4*q - 4*n + 40, 2*q - 30 + d = -3*n for q.
5
Let y(w) = -w**3 - 7*w**2 - 14*w - 4. Let z be y(-3). Solve -35 = -4*g + 5*j, -3*j = 4*g - z*j - 17 for g.
5
Let q be 124/12 + 1/(-3). Let g be (1/2)/(1/(-10)). Let f = g + q. Solve 2 = -t - 4*m - 3, 0 = -f*m for t.
-5
Suppose n = -0*i - 4*i - 20, -20 = 4*n + 4*i. Let u(y) = y**3 - 104*y**2 - 216*y + 429. Let t be u(106). Solve n*d + d = -5*m - 4, 5*d + 20 = t*m for d.
-4
Let f(v) = 5*v - 20. Let a be f(-13). Let b be (102/a)/((-6)/20). Solve 0 = k - 5*d, 0 = -2*k + 5*d - b*d for k.
0
Let g be -2 + -7*(-6 - (-148)/28). Solve -3 = 3*r - 5*r + l, 0 = 5*r + g*l + 20 for r.
-1
Suppose 0 = -3*j + 144 - 138. Solve 4*i = 4*v, 2*i = -v + j*v + 3 for i.
3
Let c be (1 - (-5)/(-4))/(18/(-72)). Let m be (-6)/(-10)*(-15)/(-3). Suppose -4 + 0 = -2*b. Solve -c = 3*x + l, x + b*x = -3*l - m for x.
0
Let y be 1/10*5 - (-2)/(-4). Suppose -9*p + 13*p - 12 = y. Solve -5*r + 7 = 4*w, p*w - 9 = -r + 6*w for r.
3
Let t(z) = -z**3 - 3*z**2 - 3*z + 3. Let c be t(-2). Suppose -c*r + 29 = 9. Solve -u - 3*l - 18 = 0, 0 = -4*u + 3*l - 1 + r for u.
-3
Suppose 5*b - 4*m - 40 = 0, -29 = -4*b + 2*m - 3. Let f be -6*(-5 - b - -2). Suppose -4*o + f = -42. Solve 6*u = -g + u + 23, 3*u - o = 3*g for g.
-2
Let p(u) = u + 8. Let h be p(0). Let s = 1097 - 1093. Solve -4*f - n = h, s*n + 19 = -5*f + 5*n for f.
-3
Let r = 472 - 470. Solve r*t + j + 9 = 0, -4*t - 21 = 5*j + 12 for t.
-2
Let g be 8/28 - (-130)/35. Suppose -4*s + 3*a = 3, -2*s + 3*a + 1 = g. Solve s = 2*u - 4*t + 14, 17 = u + 5*t + 3 for u.
-1
Let n be (13/(-1) + 0)/(-1). Let y(u) = n*u + 5*u - 14*u. Let q be y(6). Solve -4*c = 4*p - 0*c + q, 5*c + 21 = -2*p for p.
-3
Suppose 0 = -8*y + 4*y - 3*c - 3, 0 = 2*y + 4*c + 4. Solve 2*f + 2*s + 12 = y, 0*s - 25 = 4*f + 5*s for f.
-5
Suppose 5*b = 3*w + 13, -b - 2*w + 5 = -8. Let f be -3*1/(-3)*5. Solve -b*u + 30 = f*k, -15 = k - 3*k - 5*u for k.
5
Let q = 2 - -1. Suppose -5*a = 3*g, -q*g = 3*a - g. Solve a = -5*j + 2*u - 27 - 2, 2*j = -2*u - 6 for j.
-5
Let q(h) = h**2 - 6*h - 5. Let w(m) = -m**3 - 6*m**2 + 7. Let i be w(-6). Let b be q(i). Solve 20 = -3*l - b*l - t, -8 = 2*l + t for l.
-4
Suppose d - 9 + 5 = 0. Solve -5*p + 4*n - 36 =