 16 - 17 = 5*u. Suppose j = -i + 2, -p = 2*j - 5*j - 2*i. Solve -2*d - 25 = -j*d for d.
5
Let z = -318 + 318. Solve z = -6*k + 3*k + 12 for k.
4
Suppose 4*k + 0*n - 8 = 4*n, 2 = 2*n. Suppose 0 = f - k - 2. Suppose -i + 2 = 2*z + 2*z, 5*z - 4*i + 8 = 0. Solve -f*u + z*u = 0 for u.
0
Suppose -8*y + 24*y - 16 = 0. Solve -l - 5 = -y for l.
-4
Let l = -66 + 64. Let x(h) = h**3 + 3*h**2 - h - 3. Let m be x(l). Solve -2*o - 25 = m*o for o.
-5
Let u = -16 + 19. Suppose -2 - u = 5*o. Let p be 3*o - (-4 - 4). Solve 0 = -p*l + 7 - 2 for l.
1
Let u = 4 + -1. Suppose 5*v = -2*c + 27, -c - u = 2*v - 15. Solve c = k + 2 for k.
4
Suppose 1 + 1 = 2*d. Let h = 5 - d. Suppose 24 = h*z + 16. Solve -z + 17 = -3*c for c.
-5
Let s(h) = h**3 - 10*h**2 + 10*h - 8. Suppose 18 = -9*i + 11*i. Let y be s(i). Suppose n - 3 + y = 0. Solve -r = n - 0 for r.
-2
Let q be ((-1)/(-2))/(2/12). Suppose 9*s - 12 = 5*s. Let n = -3 + s. Solve n*o = q*o + 12 for o.
-4
Let l = 81 - 75. Let p be 4/l + (-6 - 184/(-12)). Solve 4*a - p = 2*a for a.
5
Let b be (-2 + 0)*-1 + 0. Suppose 5*i - 15 = -100. Let y = i - -21. Solve -b*f = -y*f for f.
0
Let t(w) be the first derivative of -w**4/4 - 2*w**3/3 + w**2/2 - 2*w + 18. Let k be t(-3). Solve 13 = -k*d + 1 for d.
-3
Let h = -9 - -20. Suppose 3*u = -2*m - 0*m + 25, u = -m + h. Solve m = v + v for v.
4
Let v = 15 - 19. Let h(o) = -4*o**2 + 35*o - 4. Let b(x) = -2*x**2 + 18*x - 2. Let c(p) = v*h(p) + 7*b(p). Let y be c(7). Solve w + y*w = 0 for w.
0
Suppose 10 = 2*w, 0 = -2*z + 5*w + 3 - 10. Solve -6 + z = -f for f.
-3
Let t(n) = 5*n + 94. Let j be t(-14). Solve -2*h + j = 4*h for h.
4
Suppose 12 - 18 = 3*a. Let o be a/8 - (-3 + (-1)/4). Solve 0 = -o*y - y for y.
0
Let z be 2/16*22 + (-9)/12. Suppose z*j - 12 = j - 5*m, 2*j - m = 13. Solve -5*d = -j*d + 6 for d.
3
Suppose m + 3*g - 3 = 0, 4*g + 15 = 5*m + 8*g. Solve 0 = m*p + 2*p + 25 for p.
-5
Suppose -157*v - 81 = -160*v. Solve 0 = 20*h - 11*h + v for h.
-3
Let w be 6 - -10*8/(-20). Suppose -8 = -4*p + 2*m, -2*p + 2*m + 10 = -w*m. Solve 5*l - p + 6 = 0 for l.
-1
Let v(d) be the first derivative of d**4/4 + d**3 - 2*d**2 + 4*d - 173. Let c be 2/8 - 17/4. Let s be v(c). Solve 0*p = s*p for p.
0
Let v be (11/(-3))/((-5)/15). Suppose 0*t + v*t = 0. Solve 20 = -5*u - t*u for u.
-4
Suppose 3*q - 1 = b, -5*q - 463*b - 3 = -460*b. Solve 15*h + 31 - 1 = q for h.
-2
Suppose -4*l - 16 = 5*y, 0 = -2*l - 1 - 7. Solve 5*o - 102 + 107 = y for o.
-1
Let a be 13/(-7) - ((-36)/(-7) - 5). Let h be 2/a*(-14 + -5). Solve 3*v - h + 4 = 0 for v.
5
Let d = -74 + 79. Solve -d*f + 10 = -15 for f.
5
Let g = -22 + 22. Suppose g = 3*w + 3, -s = 2*s + w - 2. Solve s = -2*y + 3*y for y.
1
Let y = -927 - -941. Solve 0 = -0*m - y*m + 28 for m.
2
Let q(j) = j**2 + 15*j + 29. Let k be 82/(-6) + 1/12*8. Let a be q(k). Solve -4*w = -a*w + 1 for w.
-1
Let w = -36 + 60. Let i be 52/w - (-1)/(-6). Solve -5*n - 15 = -i*n for n.
-5
Suppose 25*j + 88 - 363 = 0. Solve 6 = j*z - 5 for z.
1
Let d(m) = -3*m + 9. Let l be d(6). Let k = 1 - l. Let f = k - -1. Solve 1 = 3*h - f for h.
4
Let d(j) = 4*j**2 - j + 3. Let f be d(-4). Let y = f - 69. Solve y*w = -0*w + 6 for w.
3
Let h(i) = i**3 + 2*i**2 + 8. Let o be h(0). Suppose -6*g = -8*g + o. Solve 5*d - g + 14 = 0 for d.
-2
Let g(y) = 6*y + 14. Let l be g(-6). Let j be 22 + l + -33 + -1. Let v = 38 + j. Solve i = 2*i + v for i.
-4
Let c be (-10)/6 + 6/(-18). Let t(v) = -2*v**3 - 3*v**2 - 2*v - 3. Let a be t(c). Let w be (-12)/(-10)*a*2. Solve w = -0*z - 4*z for z.
-3
Suppose 15 = 60*o - 56*o - 5*m, -40 = -5*o + 2*m. Solve -7*a = -o*a - 15 for a.
-5
Let k(s) = -s**3 - 5*s**2 + 5*s - 2. Let l(c) = 27*c**3 + c**2 + 3*c + 1. Let m be l(-1). Let r = 22 + m. Let d be k(r). Solve 0 = q - d*q for q.
0
Let y = 242 + -238. Solve -15 = y*c + 5 for c.
-5
Suppose 3*y = 5*w + 5*y + 4, -y = w + 2. Suppose 4*j - 11 - 1 = w. Solve -j*p - 10 = -5*p for p.
5
Let p(j) = j**3 + 6*j**2 - 2*j - 2. Let g be (4/(-5))/(1/10). Let n be (g/12)/((-3)/(-27)). Let f be p(n). Solve 20 = 5*q - f*q for q.
-4
Let j(f) = 15*f**3 + f**2 - f. Let x be j(1). Let p be x/(-4 + 9) - 3. Suppose -3*z + p*z = 0. Solve z = -c - 1 - 1 for c.
-2
Suppose -h = -6 - 8. Let w = h + 2. Let q be (-4)/w + 17/4. Solve -q*v = -0*v for v.
0
Suppose 9*k - 1 = 6*k + y, 5*k - y - 5 = 0. Solve -10 = k*s - 4 for s.
-3
Suppose -36 = m - 5*m - 4*q, -3*m - 4*q = -32. Suppose 2*b - h - 11 - 16 = 0, -m*h + 36 = 4*b. Solve -2*o = 2*o + b for o.
-3
Let w be 5/(-20) + 18/8. Let k be (-2)/4 + 7/w. Let u be 4 - (k + 2 + -3). Solve 0*a - 10 = u*a for a.
-5
Let z = 13 + -6. Let g = z - 5. Let x(r) = r. Let a be x(6). Solve -g*i - a = -0 for i.
-3
Let g = -39 - -57. Let o be (-12)/g + 28/6. Solve -o*h = h for h.
0
Suppose -u + 20 = 3*l, -5*u + 126 = -0*u + 2*l. Let m = u - 21. Let d(f) = -5*f. Let p be d(-1). Solve -p*n = 10 + m for n.
-3
Let v = 72 - 63. Solve 3*z + v = -0*z for z.
-3
Let t(q) = 16*q + 2. Let m be t(-4). Let j = -42 - m. Solve -2*b - j = 2*b for b.
-5
Suppose 200 + 210 = 10*n. Solve 36*u = n*u + 10 for u.
-2
Suppose -2*u + 3*w + 132 = 2*w, -w + 63 = u. Let k = u - 62. Solve k*v = -0*v for v.
0
Suppose 80 = -2*o - 2*x - 4, 0 = -o - 4*x - 42. Let g be 8/(-28) + 3 - 12/o. Solve -11 = g*u - 2 for u.
-3
Let c(k) = -3*k + 9. Let u(n) = -10*n + 26. Let h(d) = 7*c(d) - 2*u(d). Let o be h(7). Let l be (48/(-60))/(o/(-10)). Solve 0 = -0*g - l*g for g.
0
Suppose 0 = -5*d - 4*r + 14, 8*r = 5*d + 10*r - 22. Solve 3*a - d = -0 for a.
2
Let f = -23 - -29. Suppose 2*m - 10 = -3*b + 9, 0 = -m + 2*b + f. Solve a = -a + m for a.
4
Let z = -100 - -102. Let d(x) = -x**3 - 4*x**2 - 2*x + 3. Let r be d(-3). Solve r*g = -g - z for g.
-2
Let q(r) = 10*r - 38. Let l = 141 - 137. Let w be q(l). Solve 0 = f - w*f for f.
0
Suppose -3*n = -c, 10 = -c - 2*n - 0. Let a = -27 + 19. Let o = c - a. Solve o*m = -m + 6 for m.
2
Let r be (4*15/70)/((-9)/(-42)). Solve -r*w - w - 20 = 0 for w.
-4
Suppose -11*y = -60 + 27. Solve -q + y = 2 for q.
1
Let j = -1272 + 1276. Let u be ((-6)/4 + 1)*-14. Solve -j*g = u + 13 for g.
-5
Suppose 6 = 4*g - 26. Suppose -g*n + 53 = -27. Solve -m = 4*m + n for m.
-2
Let m(v) be the first derivative of v**4/4 - 4*v**3/3 - v**2 - 11*v - 5. Let j be m(5). Solve -3*u - u = -j for u.
1
Let q be (-26)/(4 + (-28)/6). Let p be (q/6 - 4)*10. Solve 5*t - p = -0*t for t.
5
Let m be 91/14 - (-1)/2. Let n(s) = s**3 - 5*s**2 + 2. Let x be n(5). Suppose -x*k + 5*i = 0, 4*k - 3 - m = 5*i. Solve -k = 3*f - 2 for f.
-1
Suppose 6 = 2*a - a. Suppose 4*v - 3*s + 2*s + 21 = 0, 0 = -3*s - 9. Let p = a + v. Solve p = -4*b - b for b.
0
Let g be -1*(20/(-35) - 286/14). Let q be 3*14/g + -2 + 1. Solve 3*m + 5 + q = 0 for m.
-2
Suppose 5*a - 21 = 2*a. Suppose 0 = 2*b + a - 11. Let i = -4 + 6. Solve 0 = -z + b + i for z.
4
Let s be (-5 + 8)*(-4)/(-3). Suppose -4*q - s = -5*q. Solve q*t + 0 = 4 for t.
1
Suppose 0 = x - 0*x. Let r = 128 + -126. Suppose 20*s - 90 = r*s. Solve x*u = s*u + 20 for u.
-4
Let t be 1518/77 - 4/(-14). Suppose -4*x + t - 12 = 0. Solve 0 = -4*y + x*y - 2 for y.
-1
Let q(f) = -2*f**2 + f. Let j be q(1). Let k(n) = 6*n**2 - n - 1. Let v(b) = b**2. Let y(p) = k(p) - 2*v(p). Let o be y(j). Solve o*x = 4 + 4 for x.
2
Let r be 16 - 7/(7/4). Let q = r - 10. Let p be (-3 - 3)/q*-1. Solve -p*t = -t for t.
0
Let y(t) = -t**3 + 9*t**2 - 19*t + 8. Let d be y(6). Suppose d*b = 8*b - 60. Solve 3*l - l = -b for l.
-5
Suppose 4*g = -2*b + 22, 4*b - 3*g + g = 14. Solve -j + 0 = b for j.
-5
Let l = -331 - -333. Solve 47 = l*f + 43 for f.
2
Suppose 0*d = -2*d + t + 9, d + 4*t = -18. Let q be 8/(-6)*(-2 - (d - 1)). Solve q = -x - x for x.
-2
Let i = -136 - -139. Solve -i*s + 4 = -2*s for s.
4
Suppose -r + 3*r + 28 = -5*v, r + 2*v = -12. Let c be (0 + 1)/((-2)/r). Solve 3 + 3 = c*m for m.
3
Let g(k) = k**2 + 7*k + 4. Let h be g(-6). Let c be (-1)/((-4)/30)*h. Let i = c + 15. Solve -4*t + 8 + 8 = i for t.
4
Suppose a - 7 = -3. Suppose 0 = -a*c - 0*c + 12. Suppose 12 + c = 5*m. Solve m*p + 5 = -7 for p.
-4
Suppose -2*d - i + 126 = 0, 4*d = -d - 5*i + 305. Let v = 69 - d. Solve 4*x = -v - 0 for x.
-1
Let z = 16 - 14. Suppose z*f = -t, -4*f - 40 = -7*t + 4*t. Suppose 0 = -4*n + 9*p - 4*p + 20, n = 2*p + t. Solve n*q = -q for q.
0
Let l = 70 - 43. Suppose 3*g - l = -0*t + 3*t, -5*g