 - 16 = 0, k + 25 = 5*b + 1 for k.
-4
Let a(x) = x + 1. Let d be a(9). Let m(r) = -r**3 + 13*r**2 - 29*r + 14. Let j be m(d). Solve 5*h - u + 15 = 0, 0 = 5*h - 3*h - 4*u + j for h.
-2
Let i = 9 - 5. Suppose 4*g = -5*u + 12, -i*u + 6 = -0*g + 2*g. Let x be (10/(-30))/((-1)/9). Solve -4*w - 21 = g*b - 7*w, x*b = -w - 1 for b.
-2
Let c(r) = -r**3 - 6*r**2 + 44*r + 42. Let g be c(-10). Solve 0 = -4*o - 2*u, g*u = -2*o - 0*u for o.
0
Let d be ((-297)/(-44))/(0 - 6/16). Let p be (-4)/d + 32/18. Solve 0 = -3*z - 4*h - 7, -p*z = -2*h - 0*h for z.
-1
Let h = 34 - 23. Let y be (h - -1) + (7 - 10). Suppose 2*f = 4, -z - 3*f - 6 = -4*z. Solve u = 5*m - 17, 2*u - 13 = -z*m + y for m.
4
Let z(k) = k**2 - 6*k - 14. Let m be z(10). Let p = -21 + m. Solve 4*l + p + 4 = -3*r, 0 = l for r.
-3
Let n = 6 - 2. Suppose -4*x = -n*t - 12, 3*x - 4*t = t + 3. Solve 4*g + 3*b = -0*b + x, 0 = -g - 5*b + 10 for g.
0
Let m(c) = -c + 22. Let t be m(0). Let k be (-2)/9 + (7 - (-488)/(-72)). Suppose k = 4*a - t - 26. Solve 2*v = j + j - a, -5*j = -3*v - 22 for j.
2
Suppose 100 = -x - x. Let p be 16/72 + x/(-18). Let s be 1 + 19 - 0*(-5 + 6). Solve 5*m = -5*f - s, -p*f + 7 = 2*m - 4*f for m.
1
Suppose 2*i - 3*i + 6 = 0. Suppose -6*f + i = -4*d - 4*f, -5*d = -f + 9. Let g be (2 - 8)*1/d. Solve -4*p = g*x + 12 - 5, -3*x - 5 = 5*p for x.
-5
Let m be 1 + 0 + 2 + (-6 - 0). Let z be m/2*(0 - -5 - 7). Solve 2*c = -z*k - 7, 0 = k - c - 3*c - 21 for k.
1
Let m be ((6 - 3)*-10)/(102/(-68)). Solve 5*u + 0 = -4*z + 2, -4*u = -4*z + m for u.
-2
Let t(p) = -p**2 + 2*p + 8. Let d be t(7). Let r = 24 + d. Let n be ((-2)/r)/(14/84). Solve y = -a + 3, 7 = 4*a + n*y - y for a.
-2
Let q(u) = u**3 - 2*u**2 + 3. Let r(s) = s**3 - s**2 - 2. Let d be r(2). Let h be q(d). Solve 0 = -x + h*j - j - 9, 5*x + j = 10 for x.
1
Suppose -4*h + 24 = h - 4*o, 3*h - 2*o - 16 = 0. Let v be ((-6)/h)/(3/(-12)). Solve -u - 3*i = -0 + 6, v*u - 4*i = 8 for u.
0
Let l be 39/3 - (-3 + 3). Let d = l + -13. Suppose d*q - 4*q + 12 = 0. Solve 0 = -v - 2, 5*x + q*v - 3 = -29 for x.
-4
Let t(g) = -g**2 + 7*g. Let f be t(7). Suppose 5*q + 2*d - 19 - 11 = 0, f = -5*q - 3*d + 35. Solve -4*r - 8 = 2*c, 2*r = c - 0*r - q for c.
0
Suppose -29 + 4 = -5*w. Suppose 0 = -4*a - 0*a. Suppose -w*d = -a*d. Solve 5*j - j = -4*p - 4, -p - 2*j - 1 = d for p.
-1
Let i(s) be the first derivative of s**4/4 + 2*s**3 - s**2/2 + 2*s + 14. Let a be i(-6). Solve -c - 2*m = -a, -2*c - c - 1 = m for c.
-2
Suppose 1 + 7 = 4*f. Suppose -4*i + f*i = -2, -4*i - 76 = -5*b. Let h = b + -5. Solve 0 = -o - 3*w + 15 - 1, 4*o - 3*w - h = 0 for o.
5
Let f(p) = -2*p**2 - 11*p + 26. Let g be f(-7). Solve -2*r - 16 = -5*w, -r + 6*r = -g*w + 30 for r.
2
Suppose -10*n + 6*n - 24 = 0. Let j = -4 - n. Solve 2*v + 5*b = -3*v - 20, 4*b - 2 = j*v for v.
-3
Let f = -24 + 7. Let k = 31 + f. Solve 5*h = 4*m + 40, -3*m = -h - m + k for h.
4
Let s = 15 - 11. Suppose -6 = -b - s, -l + 3*b = -5. Solve -2*a + 2*o = 6*o - 2, 3*a - o = -l for a.
-3
Let o = 21 - 17. Solve 0 = -5*s + 3*s - o*c - 14, -2*c = -s + 5 for s.
-1
Suppose -2*r + 13 = 3*t, -4*t - 2*r = -10 - 6. Suppose -l + 2*l = t. Solve 1 = 3*w - 2*w - l*d, 0 = 4*w - 4*d - 4 for w.
1
Let u(n) = 16*n - 128. Let q be u(8). Solve -10 = f - 4*h, q*f + f + 5*h - 17 = 0 for f.
2
Suppose 3*b + 19 = 5*k, 3*b + 30 = 4*k + 8*b. Suppose k*m - h - 9 = 0, 0 = -m + 2*h - 4*h + 4. Solve -4*f + 3*g = 0, m*f - g + 10 = 3*g for f.
3
Suppose 0 = -4*p + 3*v - 7 - 0, p + 2*v = 12. Solve -2*k - 5*z + 13 = 0, z - p = 5*k + 6 for k.
-1
Suppose 3*t - 293 + 275 = 0. Solve -5*d - 26 = -4*y + t*y, -8 = 4*y - d for y.
-3
Suppose 20 = 66*g - 62*g. Solve -3*z + 4*h + 2 = 7, -g = z + 2*h for z.
-3
Let q = -10 + 32. Suppose s - 12 = -0*s. Suppose 4*r = 2*h, -5*h - 4*r = -2*r - s. Solve -3*p = 5*k + 5, -h*p = k - 4*k - q for p.
5
Suppose -4*u + 4*x + 8 + 0 = 0, u = 4*x + 14. Let d be (u - -5) + -27 + -1. Let a = d - -27. Solve -t = -3*r - 20, -r - 30 = a*r - 3*t for r.
-5
Suppose -14 = 4*j + 2. Let v(a) = -2*a**3 - 8*a**2 + 5. Let t be v(j). Solve 2 = 2*s + h - 1, t = h for s.
-1
Suppose -9*x - 190 + 64 = 0. Let m be (480/(-105))/(4/x). Solve 0 = -z + 2*a + 7, -4*a = -2*z + a + m for z.
3
Suppose 10*f = -10*f. Suppose 2*b + 0*b - 8 = 0. Solve -2*l + t = -f*l + 3, -5*l - t = b for l.
-1
Let y = -2 - -8. Let z be (-105)/(-10)*(-68)/(-357). Solve -2*w - 25 = 5*c, 4 = -z*c + 4*w - y for c.
-5
Let l be (2 + -4 + 2)/(-3). Suppose -5*j - u + 20 = 0, l = 5*j - 4*u - u - 50. Solve 2*d + 3*v - j = 0, 4*v + 5 + 11 = 3*d for d.
4
Suppose 100 = -65*q + 75*q. Solve 0 = 4*l + 2*m + 12, -l - m - q = 3*m for l.
-2
Suppose 5*c - 15 = -0*c. Suppose -c*t - t = 0. Solve 0 = -5*d + 4*a + 18, t*d - 2 = -4*d - 3*a for d.
2
Suppose -11*f = -9*f + 6. Let j(y) = 2*y + 7. Let p be j(f). Let m be p/(-5)*-5*5. Solve 0 = -5*h + m*n - 15, 0 = -0*h - h - 4*n - 13 for h.
-5
Let a = -49 + 51. Let x = 4 - a. Solve y - x*f = -3, 8 = 5*y - 2*f - 9 for y.
5
Let w(y) = -y**3 - y**2 + y - 5. Let r be w(-3). Suppose -23 = -r*p + 17. Solve -h + 0*o + 2*o = 3, -h - p*o + 21 = 0 for h.
5
Suppose 5*k = -5*v + 20, 4*v = 3*k - k + 28. Suppose -v = u - 21. Solve -l - 7*r + 24 = -2*r, -5*l - 4*r + u = 0 for l.
-1
Let w(h) be the second derivative of -h**4/12 + 7*h**3/6 - h**2/2 - h. Let o be w(5). Solve -o = -y + 6*x - x, 4*y + 5*x - 11 = 0 for y.
4
Let u be 0*((-92)/(-16) - 6). Solve -3*i - 2*d - d - 15 = u, d - 3 = i for i.
-4
Suppose 0 = -32*p + 38*p. Solve -1 - 2 = -3*g + 2*r, p = -2*r for g.
1
Suppose 0 = k - 0*k - 10. Let w be (-522)/609 + (-27)/(-7). Solve 3*h = 5*i - k, -2*i + 5*h = w*i - 10 for i.
2
Let s = 52 + -41. Let t be (s - 16)/((-5)/2). Solve -t*j = -5*j + 2*g + 8, -5*j - 4*g = -6 for j.
2
Let f = -25 - -27. Suppose r = f*r - 4. Suppose r = 3*o + g - 0, 4*o - 18 = 5*g. Solve -5*s - 1 = 4*y, 1 + 1 = -2*y - o*s for y.
-4
Let z(a) = -a**3 + 3*a**2 + a + 1. Let i be z(3). Suppose -5*u + 28 + 17 = 0. Solve -o - i = -2*h, -2*o - u = -3*h - 2*h for o.
-2
Let a be ((-6)/4)/(6/(-8)). Let z be (5 + -2)*2/a. Solve -3*m = 2*h + 18, -h = m + z + 4 for m.
-4
Let v(z) = z**3 - 4*z**2 + 2*z + 5. Let l be v(3). Suppose m - 3*r - 57 = -l*m, m + r = 19. Solve -h - m = 4*s, 11 + 3 = -2*s - 2*h for s.
-4
Suppose 38 = 3*w - 16. Solve -5*l + 3*a + 1 = 0, a = -3*l - 3*a + w for l.
2
Let g(d) = -d**3 - 5*d**2 + 47*d - 27. Let a be g(-10). Solve -r + a*r + 8 = 4*j, -2*r = j - 2 for r.
0
Let o be (-51)/(-9) - 2/(-6). Suppose 2*d - o*d - 92 = 0. Let h = -18 - d. Solve 11 = -h*b + 3*t - 0, 11 = b - 5*t for b.
-4
Suppose 11*w - 25 = -14*w. Suppose 3*x - 11 - 4 = 0. Solve -5 = x*m - 0*m, -5*g = -4*m + w for g.
-1
Suppose 9*m - 6*m = -q + 17, -4*q = -4*m - 4. Solve -3*f - 3*s - 6 = 0, 0 = -f - 0*f - m*s - 8 for f.
0
Let d(j) = -j - 7. Let v be d(-9). Suppose 9*x = -8*x - 3*x. Solve v*p = q + 4, -p + x = -q - 2 for q.
0
Let k(v) = -v**2 + 0*v + 3*v + 2 + 5*v. Let y be (29/(-87)*-16*3)/2. Let z be k(y). Solve -2*a = -2*u, -4*a + 3*u = -0*a - z for a.
2
Suppose 15 = 2*u + 5. Suppose u*z = 10*z. Let a be 4 - 35/5 - -8. Solve -t + 3*s - a*s = -5, z = -5*s + 5 for t.
3
Let q be ((-4)/10)/((-546)/(-50) - 11). Solve -s = 4*d - 17, 0 = q*s + 3*d - 8*d + 40 for s.
-3
Let t(u) = -137*u**3 - 3*u + 3. Let v be t(1). Let z = v - -137. Solve 0 = 3*w + 2*j + 1, z = w - 3*w - j + 1 for w.
3
Suppose -3*z + 4*z - 4 = 5*s, 3*z = 3*s + 12. Solve a + 8 = -3*x, 3*a + 3*x + s*x + 12 = 0 for a.
-2
Let s be 8 + (-4 - -1) + -3. Solve -2*o + 1 = -o - 2*a, -s*o - 12 = 3*a for o.
-3
Let u(q) = 7*q + 14. Let j be u(-12). Let m = j - -75. Solve 5*z - n = -0*n - 23, -3*z + m*n - 27 = 0 for z.
-4
Suppose -v - y + 11 = 7, 0 = -v - 3*y + 8. Solve r - 3*u = u - 12, 2*r + 5*u - v = 0 for r.
-4
Let r be ((-15)/3 + 3)*15/(-6). Solve 3*h + i + 3 = 0, 2*h - r*i = -2*h + 15 for h.
0
Let h be 51/5 - 1/5. Suppose -4*w + p = 2 - 5, 5*w - 4*p = -h. Suppose -8 = -4*o + w*o. Solve 0 = o*t + 3*l + 1, -3*t - t + 14 = -2*l for t.
2
Let j(i) = i**2 + 3*i - 7. Let v be j(-5). Suppose -v*p = -60 + 18. Solve 0*n - 4*n + p = -2*d, -3 = -3*d - 2*n for d.
-1
Suppose -4*n + 0 - 36 = 0. Let y(v) = v**2 + 9*v + 13. Let t be y(n). Solve -2*k - 5*i = -17, 5*i - t = -0*k + 2*k for k.
1
Let a = 322 - 317. Let u(q) be the second derivative of -q**4/12 + 5*q**3/6 + q**2 + q. Let j be 