-172)/22 - (-2)/(-11). Let r be h/2*1/(-2). Suppose r = -0*v + 2*v. Solve v = w + 3 for w.
-2
Suppose -4*i = 16, -4*n - i + 79 + 17 = 0. Suppose n = 5*t - 0*t. Suppose 9 = 4*z - 3, -f = t*z - 34. Solve -f = -5*l - 4 for l.
3
Let z = 3 + -2. Solve y = z - 5 for y.
-4
Let t = -94 - -95. Solve 2*f - t = f for f.
1
Let i = 156 + -76. Suppose 0*m - 4*m + i = 0. Solve m = 2*q + 2*q for q.
5
Let p be 9/15 + (-27)/45. Solve p = 6*l - l for l.
0
Suppose -s = n + n - 6, -2*n - 3*s = -10. Solve -1 = -n*p + 3 for p.
2
Suppose -4*p - 9 + 1 = 0. Let f = p - -5. Solve -4*y - 7 = -f for y.
-1
Let v = -10 - -12. Solve 4 = 2*c - v for c.
3
Suppose 5*m - 2*m = -5*h - 45, -h = -2*m - 30. Let n = 17 + m. Solve a = -a + n for a.
1
Let r be (-8)/(-3) - 20/(-60). Solve -r*z + 10 = -z for z.
5
Let p(l) = -l**2 + 3*l - 2. Suppose s + m - 3 = 0, -3*s + 5 = -2*s + 3*m. Let i be p(s). Solve i = 4*r + 2 - 18 for r.
4
Suppose r + 0 + 6 = 2*c, -r + 5*c = 6. Let s be (-1 - (-3)/6)*r. Solve 0*q - q - s = 0 for q.
-3
Let h be 10/3 + 8/(-24). Suppose h = -2*m + 13. Solve 0 = -0*r + m*r - 25 for r.
5
Let r(g) = g**3 + 2*g**2 - g. Let l be r(-2). Suppose -5*f - 2 = -7. Let a be l + 2 + -2 + f. Solve -2*w = a*w for w.
0
Suppose -5*x + 3*x = -16. Suppose s - x = -s. Solve d = s*d + 6 for d.
-2
Let l be (5/(-4))/(1/(-4)). Let f(z) = 6*z - 2*z - 4 + 2*z - z**2. Let u be f(l). Solve p - u + 3 = 0 for p.
-2
Let q = -4 + 4. Solve f + 2*f + 15 = q for f.
-5
Suppose 1 = -l + k, l - 3*k + 16 - 5 = 0. Let j = 0 - 0. Suppose 0 = -3*i - 2*n + 17, j*i = 4*i + 2*n - 26. Solve -l*t = -i*t for t.
0
Suppose 0 = -o + 6*o - 3*q - 119, -4*o - 4*q + 108 = 0. Suppose 0 = 251*m - 247*m - 16. Solve 0 = i + m*i - o for i.
5
Suppose 8*x + 15 = 3*z + 3*x, -4*x = z - 5. Let w(a) = 3*a - 9. Let n be w(3). Solve n = z*l + 5 for l.
-1
Suppose -4*h + 5*u = -35, -20 = -h + 8*u - 3*u. Suppose 0 = -3*m - h + 2. Let b be (4/12)/(m/(-21)). Solve 0 = -k - b + 3 for k.
-4
Suppose u = -3*u + 16, -c - 2 = -u. Solve 0 = c*j - j + 3 for j.
-3
Let j = 9 + -4. Solve -3*t = -j*t for t.
0
Suppose -129 = -4*r - 101. Solve 4*t + 13 = -r for t.
-5
Let n(o) = o + 10. Let a(c) = -8*c**2. Let s be a(1). Let j be n(s). Suppose 32 = j*m - 0*m. Solve 0 = -b - 3*b + m for b.
4
Let z(d) = d**3 - 2*d**2 - d - 4. Let a be z(3). Let k be 92/(-8) - (-1)/2. Let j = -1 - k. Solve 4 - j = a*i for i.
-3
Let q(w) be the second derivative of w**5/20 - w**4/4 + w**3/6 - 3*w**2/2 - w. Suppose 15 = -5*g, 3*t + 5*g = -2*t. Let d be q(t). Solve d = 3*x + 3 + 12 for x.
-5
Let t(p) be the first derivative of p**3/3 + 2*p + 2. Let z be t(0). Let g be (-3)/(-6)*(2 - 0). Solve -o = -z*o - g for o.
-1
Let d be 4/14 + (-69)/21. Let b be (7 - 6)/(d/(-9)). Solve -b*s = -2*s + 4 for s.
-4
Let s(t) = -t**2 + 12*t + 15. Let d be s(12). Solve -k = 2*k + d for k.
-5
Suppose -u - 4*t + 19 = 7, 5*u - 5*t = -40. Let s be (0/u)/(1/1). Solve s = -2*m - 1 - 3 for m.
-2
Let k = 8 - 5. Suppose k*j + 4*s = 7, 0*j - 3*j = -5*s - 25. Solve j*f = 11 + 9 for f.
4
Let c(z) = z. Suppose -5*y = -y - 8. Let x be c(y). Solve x*a = 3*a for a.
0
Let u(x) = 2*x**2 + 25*x - 6. Let q be u(-13). Solve -5*i + q*i + 2 = 0 for i.
-1
Suppose -2*x + 0 = -6. Suppose 0 = -3*o - 3*z + 24, -o + 29 = x*o + 3*z. Solve 0*i + 15 = -o*i for i.
-3
Let h(o) = o - 11. Let t be (1/2)/(4/88). Let w be h(t). Let r = 2 + w. Solve -v + 9 = r*v for v.
3
Let q(t) = -3*t - 24. Let j be q(-10). Solve -j = -b - b for b.
3
Let p be 3/(-5) - (1 + (-33)/5). Solve 0*w - 5*w - p = 0 for w.
-1
Let g = -3 - -1. Let x be (2 - (g + 2))*1. Solve -3*j - 15 = x*j for j.
-3
Suppose 2 - 5 = -f. Suppose -5*o + f = 3*i, 3*o - o + 3*i = 3. Suppose o = 2*c - c - 8. Solve 4*m = c*m - 16 for m.
4
Let k = 87 + -79. Solve 0 = 4*j - k - 12 for j.
5
Let o(f) = f**3 - 2*f**2 - 8*f + 1. Let l be o(4). Solve 0 = 3*q - 7 + l for q.
2
Suppose -2 = 4*q - 6. Let v be ((-2)/(-6))/(q/3). Let w = -1 + v. Solve 4*y + 4 = -w*y for y.
-1
Suppose -z + 4 = -0. Let s = -7 + z. Let o be -2 - s/(3/2). Solve o = 3*d + 3 - 0 for d.
-1
Let x be 144/(-9)*(-2)/4. Solve -x = -g - g for g.
4
Suppose -5*z + 9*z = 16. Suppose 8 = -0*b + z*b. Solve 0 = -x - x + b for x.
1
Suppose 2*c - 4*c = 28. Let l be (-4)/(-8) + c/(-4). Solve -l = 3*p - 7 for p.
1
Suppose 5*g = 2*g + 75. Solve 0 = -7*p + 2*p + g for p.
5
Suppose -4*p + 2*y + 2*y = -32, -20 = 4*y. Solve a - p*a = 8 for a.
-4
Let a = -23 + 30. Solve 4*g + a = -5 for g.
-3
Suppose -27*t = -19*t - 32. Solve -8*a + 10*a + t = 0 for a.
-2
Let p(b) = -b**3 - b**2 - 2. Let s(d) = 5 - 3*d + 3*d - d. Let u be s(7). Let n be p(u). Solve j - n = -3 for j.
-1
Let f(c) = c + 14. Let q be f(-10). Let n(p) be the second derivative of 5*p**3/6 - 5*p**2/2 + p. Let l be n(q). Solve 5*k + 40 - l = 0 for k.
-5
Let l be 2/(-9) + (-6)/(-27). Suppose l = -4*x - 4, -3*n - n + 10 = -2*x. Solve 0 = -f + n + 3 for f.
5
Let n(i) = i**2 - 5*i - 2. Let u be n(6). Let x be (3/u)/((-2)/(-8)). Solve m - 8 = x*m for m.
-4
Suppose 5*x + q = 35, 29 = x + 3*x + q. Suppose 4*g = 5*r - 12, 4*g - x = 2. Solve 2*t - r + 14 = 0 for t.
-5
Suppose 3*p + 3*q - 39 = 0, -3*q + 57 = 4*p + p. Solve -2*m = m + p for m.
-3
Let f be 2/11 + (84/22 - -2). Solve -f*h = -h - 15 for h.
3
Suppose -11*b + 5*b + 12 = 0. Solve -b*o = -2 - 2 for o.
2
Let h(c) = -c**2 - 9*c - 9. Let f be h(-7). Solve f*y - 29 = -4 for y.
5
Suppose 27 - 7 = 2*l. Solve -8*y + 6*y + l = 0 for y.
5
Let p(l) = -l**3 - 4*l**2 + l + 4. Let n be p(-4). Suppose n = 2*q - q - 7. Suppose -11 = x - 4*c, -x + c + 2*c = q. Solve -x*s - 9 = 16 for s.
-5
Suppose 8*m + 7 = 4*g + 3*m, -4*g + 4*m + 8 = 0. Suppose g*q + 3*h - 6 = -0*h, -5 = -3*q - 4*h. Solve q*f = -0*f + 9 for f.
3
Suppose -36*m = -41*m + 5. Solve -4 + m = z for z.
-3
Suppose 2 = 17*i - 16*i. Suppose 23 - 17 = i*s. Solve 3*d = s - 18 for d.
-5
Let g(y) = y**2 - 7*y + 3. Let j be g(7). Let s be ((-6)/8)/(j/(-60)). Let k = s + -11. Solve 4 = k*q + 12 for q.
-2
Suppose 2*c - b + 6 = 3*c, 0 = -5*b - 15. Solve -2*v = v + c for v.
-3
Suppose -m + 6*m + 20 = 0. Let s(y) = y**3 + 3*y**2 - 5*y + 1. Let i be s(m). Solve 0 = -i*o + 40 - 15 for o.
5
Let a = 18 + -15. Solve -4 = s - a for s.
-1
Let x = 11 - 5. Let q be 2/x - 42/(-9). Let u(r) = r**3 - 5*r**2 + 4*r. Let g be u(q). Solve 6*i = i - g for i.
-4
Suppose -4*k = -3*g + 44, 2*k = -2*g + 4*k + 28. Solve -3*f = f - g for f.
3
Suppose -3*b - 5*l - 18 = 0, 0 = 4*l - 6*l - 6. Let s(u) = -u**2 + 6*u + 10. Let h be s(7). Let t = b + h. Solve -r = t*r + 3 for r.
-1
Suppose -2*u + 4*u = 10. Let c(g) = -g**2 + 5*g + 4. Let i be c(5). Suppose 5*p = -5*d + u, 3*p = i*d - 2*p - 31. Solve d*v = -0*v - 20 for v.
-5
Suppose r - 1 = -5*u, 15 = 5*r + u + 34. Let o(z) = z**3 + 9*z**2 - 11*z - 6. Let g be o(-10). Let v = r + g. Solve 10 = -v*l + 2*l for l.
5
Suppose 12 = 2*h - 0. Solve 0*n = -3*n - h for n.
-2
Suppose 220*c + 3 = 223*c. Solve 0 = 3*j - 4*j - c for j.
-1
Let x = 36 + -30. Solve -3*t - x = -0 for t.
-2
Suppose -4*v + 0*n + 25 = 3*n, -20 = -3*v - 2*n. Let d = 2 + v. Let a = 1 + 1. Solve 2*u = -a*u + d for u.
3
Let i(f) = -f**3 + 6*f**2 + f. Suppose n + 18 = 4*n. Let b be i(n). Solve 0 = -b*x + 2*x + 20 for x.
5
Let w = 31 - 11. Suppose 5*t = 80 - w. Let y be 9/(-6)*t/(-9). Solve -y*j = j - 6 for j.
2
Let m(y) = y**2 - 6*y + 13. Let r be m(6). Let z = -13 + r. Solve z = 3*x - 6*x for x.
0
Let v = -18 + 26. Let c be 5/1 + v/(-4). Solve c = 3*z - 0*z for z.
1
Let i be (-10)/(-4)*(-8)/(-10). Solve 3*q = -i*q + 20 for q.
4
Let d = -140 - -143. Solve 3*r - d = -0*r for r.
1
Let x = 90 - 83. Solve -5*d + x*d = 6 for d.
3
Suppose -6*c = -c. Suppose -3*p + 7*p - 12 = c. Let y be (2 + (-3)/2)/(2/12). Solve -y - 3 = -p*f for f.
2
Let k = -29 - -40. Let h(d) = -d**3 + 6*d**2 + 3. Let o be h(6). Solve o*c - k = -2 for c.
3
Suppose 5*b - 4*b = 0. Let w = b - -2. Suppose 3*h = l - 0*l - 3, 4*l - w*h = 12. Solve l*g - 16 = -g for g.
4
Let a(o) = -o**3 - 2*o**2 - 4*o - 3. Let f be a(-2). Solve 0 = -b + f for b.
5
Suppose 10*t = 5*t + 15. Suppose 0 = -2*b - t*a + 8, 3*b - 5 - 7 = -a. Suppose v + 0*l + b*l = 27, -2*l = v - 21. Solve 0 = -2*r - r - v for r.
-5
Suppose d = 3*d + 2, 0 = 3*t + d + 37. Let l be 2/3 + (-28)/t. Solve l*k + 9 = 3 for k.
-2
Let v = 22 + -11. Let j = -7 + v. Solve -j*a - 7 = 5 for a.
-3
Let v(u) 