 + j + 9 = -10, -5*j = x + k for x.
-4
Let o = 91 - 87. Suppose 0 = -o*q + 10 + 10, -70 = -5*c - 2*q. Solve 0 = 5*t - 3*f - 7, 3*t - 7*t + c = -4*f for t.
-1
Suppose -4*q + 5 + 3 = 0. Let n be 3/(-6) - (-43)/q. Solve 2*k + 5 = -k + 5*o, n = k + 4*o for k.
5
Suppose 2 + 10 = 6*l. Let i = l - -2. Solve 0*q - q - 1 = k, -4*q - i = -5*k for q.
-1
Suppose 0 = 5*d + 4*d - 693. Let l = d + -77. Solve -r - 2*r + 3*k - 9 = l, -10 = -5*k for r.
-1
Let j = -13 + 16. Let c(t) = -t**2 + 9*t + 8. Let y be c(8). Suppose 4*g - 2*w - 21 - 9 = 0, 31 = 4*g - w. Solve 0 = -0*z + z + j*d + y, 3*d = z - g for z.
-4
Suppose 0 = 29*w - 39*w + 60. Solve -3*p - 3 = -4*p, 3*p - w = -3*r for r.
-1
Let j(q) = 2*q**3 - 2*q**2 - 2*q + 1. Let z be j(2). Suppose -13 = -u + 4*t, 8 = 3*t - 1. Solve -4*i - 2*r = -i + 10, -z*r = 2*i + u for i.
0
Let m = -381 - -385. Solve l + 3*l - 2*b = -4, -3*l + 5*b = -m for l.
-2
Let t be 2/(-3)*-18*10/4. Suppose 0 = 5*f - t - 5. Solve -6 = 3*g - 3*q, 3 + f = 4*g + 5*q for g.
0
Suppose k = 4*z - 56, -z + 2*k = -2*z + 23. Solve u + 3*g - z = 0, -4*g - g = u - 23 for u.
3
Let h(k) be the first derivative of -5*k**4/4 - k**3/3 - k**2/2 - 3. Let n be h(-1). Solve n*l = 2*a - 4 - 12, 0 = -a - 3*l - 3 for a.
3
Let m(n) = 8*n - 18. Let u be m(3). Solve -z = -b - u, -4*b - 11 = -2*z + 7 for b.
-3
Let a be 5/15 - (40/12 + -5). Solve -3*d = -4*c - a, -12 = 3*d - 0*c + 3*c for d.
-2
Let d be (12/(-48))/(-1 - (-1014)/1016). Let t = d - 119. Solve -3*a - t = -4*r, -4*r - 16 = -0*r + 3*a for r.
-1
Suppose 0 = -0*z - 4*z + 4*c + 12, 4*c - 20 = 0. Solve 4*l - z = 0, 39 - 16 = -5*p + 4*l for p.
-3
Let k = 1 + 2. Let s = 3881 + -3877. Solve s*q - 1 + 9 = 0, 5*f = -k*q - 16 for f.
-2
Let t = 279 + -274. Solve -3*w + 3*p + 2 = 5, -3*w = -t*p + 11 for w.
3
Suppose 3*x = -x + 2*h + 76, 5*h - 38 = -2*x. Let v(q) = -2*q + 34. Let r be v(12). Solve -3*w + x = 4*l, -2*l + 12 = 4*w - r for l.
1
Let x be (16/28)/(23/161). Solve -2*w = -2*l + 3*w - x, -4*w = 0 for l.
-2
Let f(m) = -2*m + 30. Let g be f(-12). Let i = 64 - g. Solve 0 = -2*s - i, 2*s + 3*s + 50 = -5*l for l.
-5
Let f(t) = t**2 + 4*t - 10. Let p = 9 - 17. Let g be f(p). Let r = -18 + g. Solve -4*k + 16 = m, 2 + r = 2*k for m.
4
Let m be (-25)/(-5) + -7 + 4. Solve 0 = w + m*a - a - 1, w + 3*a = 7 for w.
-2
Let m = 24 + -20. Suppose m*g = 4*a + 4, -2*a - a + 1 = -g. Solve -5*u = f - 14, -4*f - 19 = -g*u - 3*u for u.
3
Suppose 3*p = -0*t + t + 12, 0 = -5*t - 2*p + 8. Suppose t = -4*n + 20 - 0. Solve -2*d = c - 3 - 1, -n*d = -5 for c.
2
Suppose -2*m - 2 = -z + 5, 20 = 4*z - 4*m. Let x = -31 - -61. Let a be 96/x - (-2)/(-10). Solve -3*p + 8*p = -z*c - 13, -a*p - 4 = -2*c for c.
-1
Suppose 3 + 3 = 2*q. Let l = q + -8. Let p be (-3 + 2)*l*1. Solve -5*h + 7 = -3*h + 3*v, -20 = p*h - 5*v for h.
-1
Let c = -21 + 37. Let h = c + -13. Suppose h*j - 8 = 7. Solve 0 = -j*b - 10, -5*b + 3*b - 16 = -4*p for p.
3
Let h(v) be the second derivative of v**5/20 - v**4/3 + 4*v**3/3 - 15*v**2/2 - 17*v. Let j be h(4). Solve -5*p - 19 - 6 = 0, 4*p = m - j for m.
-3
Let n(h) = 0*h**3 + 1 - 1 + 1 - 7*h**2 + h**3 - 7*h. Let u be n(8). Let b be 21/u - (-1)/(-3). Solve 0 = b*c + 4*o + 2, -c = -5*c - 4*o + 8 for c.
5
Let d = -551 + 553. Solve -3*b - 6 = -2*p, -d*p - 4 = 2*b - 3*p for b.
-2
Let z be (-81)/(-6) - (4 - 49/14). Solve -4*r + 5*b = -z - 13, -r - b + 2 = 0 for r.
4
Let h(g) = g**2 - 2*g - 5. Let p be h(4). Suppose -5*m - 5*c = -40, 8 = m + c + p*c. Solve -4 = 4*j - 3*l, 3*l - 6*l = -j + m for j.
-4
Suppose -28 = -r - r. Let g = r + -20. Let w = 10 + g. Solve 0*b = -3*o - b - 12, 32 = -w*o + 4*b for o.
-5
Let t(z) = -z**3 + 3*z**2 + 5*z + 2. Let u be t(4). Suppose 3*v = 0, -2*o - o = 3*v + 2*v. Solve 0 = 5*r - s + u, 3*r - s + 2 = -o*s for r.
-2
Suppose 2*m = -r - 3*r - 66, -r - 6 = -3*m. Let a = r + 19. Solve -22 = j + a*j - 2*k, -k = 5*j + 19 for j.
-4
Suppose -5*l + 148 - 68 = 0. Suppose l*s - 35 = 11*s. Solve 5*q - 5*m - 20 = 0, m = 2*q + 2 - s for q.
1
Let u be (-202)/(-16) - 27/(-72). Let t be (-12)/20 - (-2)/10*u. Solve 3 = -4*l - 3*v, 2*l - 1 = -t*v - 5 for l.
3
Let r be (20/(-8))/((-30)/12)*2. Solve r*f + 4*a + 16 = 0, -7*f + 5*a = -4*f - 20 for f.
0
Suppose -3*f + f = -4. Suppose f*q = -8*q + 2*q. Solve 4*p - 32 = -4*b, -2*p - b + q*b + 11 = 0 for p.
3
Suppose 4*t - 23 = d, -10 = 4*d + 2. Suppose -5*p - 2*f + 10 = 0, p - 1 = t*f + 1. Suppose -2*v + 6*v = 0. Solve -p*w + 0*m - 10 = 2*m, v = 3*w + m + 15 for w.
-5
Suppose 0 = 17*d - 149 - 55. Solve -2*n - d = 2*u, 10*u - 5*u = -n - 18 for u.
-3
Suppose 2*b - 4 = 10. Let q be 0 + ((-54)/63)/((-1)/b). Solve -2*z + f = -q, 2 = -2*z + 3*f - 0 for z.
5
Suppose -47 = 2*f - 231. Let m = -85 + f. Solve 4*q = 5*o + 23, -q + 3*q - m = o for o.
-3
Suppose 0 = 2*g - 18 + 64. Let m(w) = w**2 + 22*w - 18. Let t be m(g). Solve -t*c = -3*i - 19, -2*c + 0*i - 2*i = -14 for c.
5
Suppose 6*h = -2*m + 2*h - 40, 0 = -4*m + 3*h - 80. Let x = 25 + m. Solve x*i - 4*q = 29, i - 11 + 2 = 4*q for i.
5
Let k = 388 + -386. Solve -11 = 5*a + 4*i, 2*a + k*i = 4*i + 10 for a.
1
Suppose -20*t + 358 = 298. Let m(p) = 2*p - 7. Let f be m(5). Let l be (-1 + f - -8) + -2. Solve -t*n - 12 = 0, n + 1 = -5*j - l for j.
-1
Suppose -z + 4*z = -5*u + 100, 3*z = u + 70. Let i be -2 + 2*(-18)/(-6). Suppose z = w + i*w. Solve w*o - 3*v + 10 = 0, 0 = o - 2*v + 5*v + 2 for o.
-2
Let g(y) = -6*y + 20. Let v = -28 - -31. Let q be g(v). Solve s = -f - 8, 0*s + 4*f = q*s - 2 for s.
-5
Suppose 32*a + 6*a - 76 = 0. Suppose -12 = -4*b + 2*b. Let k be 4 - 0*(-1)/(-2). Solve -o + 3*i = -6, -a*o - k = 4*i - b for o.
3
Suppose -15 - 5 = -5*b. Suppose -3*u = 2*r - 24, 4*r = r + 4*u + 53. Let s = -33 + 40. Solve -m + b + s = 3*n, -5*m = n + r for n.
5
Let v be (2*(-1 + -1))/(6/(-6)). Solve -4*z - 2*l = -10, -l = -v*z - 6*l + 13 for z.
2
Let d(n) = -2 - 4*n - 8 + 0 + 1. Let t be d(-3). Solve -5*b + x - 14 = 0, -t*b = -2*x - x + 6 for b.
-3
Let z(u) = u**3 + 3*u**2 - 11*u + 44. Let l be z(-6). Solve t + s + 9 + 1 = 0, 25 = -l*t - 3*s for t.
-5
Let g(w) = -w**3 - 4*w**2 - 4*w - 1. Let j be (0 - 0)/(-2) + 15. Let v be ((-5)/j)/(2/18). Let z be g(v). Solve 0 = 5*a - z*r + 19, -r + 5*r = 5*a + 13 for a.
-5
Suppose 0 = -t - 4*p + 11, 4*t + 92*p = 94*p + 8. Solve 2*r = -3*c - 2, -t*r - 2*r + c - 22 = 0 for r.
-4
Suppose -2*k + 48 = -0*k. Suppose 20 = -2*a + k. Suppose -2*z - 8 = j, 6*z = 2*z - 20. Solve -3*b - 2 = -5*b + j*v, -a*v - 23 = 5*b for b.
-3
Let j be (8/14)/(90/315). Solve -5*r = -j*b - 13, 11*r + b + 3 = 10*r for r.
1
Suppose -2*g = -10*g + 32. Suppose g*s - 4 = 2*s. Let t = -4 - -8. Solve -3*j - s*j + 2*k - 12 = 0, -t*k - 6 = 5*j for j.
-2
Let r = 195 - 192. Solve -4*c - 4*t = 16, 5*t = 2*c + 4 - r for c.
-3
Let q(b) = 2*b**2 - 49*b - 25. Let r be q(25). Let l = 10 - 10. Let j be l/(0 + -1 - 0). Solve j = f - r*f + i, -2*i - 4 = f for f.
4
Let a = 43 - 41. Suppose -3*f = a*f + m - 20, -m + 5 = 0. Solve -f*n + d = -0*d - 11, -d - 3 = -n for n.
4
Let j(i) = -i**3 - 5*i**2 + 7*i + 1. Let n be j(-5). Let w = n - -34. Let x(c) = c + 21. Let b be x(0). Solve 0 = 3*q - 3*u + b, q - 2*u - 2*u + 22 = w for q.
-2
Suppose -4*m = -4*k - 2*m + 1474, -5*k + 1843 = -3*m. Let n be 8/(-36) + k/36. Solve -6*x - 3*t - 4 = -x, n = -2*x - 4*t for x.
1
Let t = 639 - 359. Suppose -3*a - 13 = -t. Suppose -a = -4*g + y, -3*y = -3*g - 6*y + 63. Solve -6 = -2*m + 2*p, -4*m + 7 = 5*p + g for m.
0
Let u(t) = -4*t**2 + 6*t + 14. Let p be u(6). Let r = -84 - p. Solve 4*q - r - 5 = -n, -20 = -5*q for n.
-1
Suppose -6*m = 8 - 20. Suppose -4*a + 94 = m*n, n = 3*n - 6. Solve -5 = 2*p - 1, -4*w + a = -3*p for w.
4
Suppose -131 - 555 = -7*y. Suppose -73 = 5*k - y. Solve -3*q = -a - 6, -k*a = q - 0*q + 14 for a.
-3
Let v(z) = -z**3 + 18*z**2 - 21*z + 18. Let l be v(17). Let f = -46 - l. Solve -8 = -n - w, -2*n - n = f*w - 28 for n.
4
Let d = 6 - 4. Suppose -8 = 6*h - 10*h. Suppose h*a - 16 = 4*f, 3*a = -4*f + 27 - 3. Solve -2 = -y + g, d*y + a = -6*g + 2*g for y.
0
Let q be 55 - (-1 + 0) - 4/(-4). Suppose -63 + q = -2*o. Solve 5*u - 27 = -y - 12, -u + o = -2*y for y.
0
Let j(b) = b - 4. Let g be j(-3). Let u be (-17)/g + (-8)/(-14). Solve -26 = 6*q - 2*q - u*p, -3*p = 2*q + 4 for q.
-5
Let r be (-6)/(-1) + (4 - 5). Let l be 2/(-6) - (-92)/6. Let f = l - 5. Solv