0, -u + 30 = -3*f. Let b be (3/(-1))/(f/6). Suppose -4*y = -b*k - 16, 2*k - 8 = -2*k. Solve -5*w + 4*w = -y for w.
5
Let i(x) = -25*x + 182. Let o be i(7). Solve f = o*f - 6 for f.
1
Suppose 3*k - 4*k = 2*f - 2, -5*f + 4 = 2*k. Suppose 5*s + o - 7 = k*s, -4*o = -3*s + 17. Solve s*q = q for q.
0
Let u(a) = a + 5. Let f be u(-5). Let d(c) = c**3 + 19*c**2 + 58*c - 29. Let k be d(-15). Solve m - 2 + k = f for m.
1
Let a = 342 + -339. Solve 4*o + a = 3*o for o.
-3
Suppose -175 = 3*s + 2*s. Let h = 37 + s. Suppose -3*c + 4*x - 7 = 0, 5*x - 9 = 3*c + 2. Solve t - h = c*t for t.
-1
Let v be (6/18)/(-3*(-4)/1656). Solve -4 + v = 21*y for y.
2
Suppose -4*t + 112 = -4*o, -3*t + 80 = 2*o - 29. Suppose 3*c = -4*n + 55, 0 = -n - 5*c + 2 + t. Solve 0 = 5*i + n - 0 for i.
-2
Suppose 0 = -o - 3*s + 5, -o - 2*s = -0*o - 4. Suppose -o*i = i. Suppose 4*w + x - 41 = i, -1 = -2*x + 1. Solve 3*h - h + w = 0 for h.
-5
Let z be (1/(-6) + (-68)/(-408))/2. Solve z - 24 = -6*h for h.
4
Let q be (-1 + 1)/(11 - (-5 - -15)). Solve q = -14*h - 9*h + 6*h for h.
0
Suppose 5*y = -15, 0 = -3*s - y - y. Solve -c + s*c = 0 for c.
0
Suppose 11*z + 10*z = 0. Solve z = 2*o + 19 - 17 for o.
-1
Let c = 939 + -897. Solve -5*h = c - 37 for h.
-1
Let i be (-4)/(7/((-21)/2)). Suppose 0 = -r + i*r. Let h = 2 + r. Solve 4*k - 14 = h for k.
4
Let w be (-35)/(-15) - (-6)/9. Let l(r) = -1 + 0 - 4*r + r**2 + 5. Let k be l(w). Solve 0*c - c + k = 0 for c.
1
Suppose 3*b + 0 = 5*u - 17, -2*u + 5*b = -22. Suppose u + 3 = 4*j. Solve -v + 3 = j for v.
2
Suppose 2*y + 3 = 3*y. Let k = 32 - 20. Suppose 0*v - k = -y*v. Solve 3*o + 5 + v = 0 for o.
-3
Let i(d) = -2. Let p(j) = j - 1. Let k(u) = i(u) + p(u). Let c be k(5). Solve 0 = 5*x - 3*x - c for x.
1
Suppose -2*s = -q - 10, -q - 3*s + 15 = -0*q. Suppose -l - l - 4*f = q, 5*l = f. Solve l*j + j = 5 for j.
5
Let r(o) = -4*o - 15. Let y be r(-6). Let p be (3/y)/((-1)/(-6)). Suppose 0 = -4*a + 5*f + 4, -6*f - p = -2*a - 11*f. Solve k = 2*k - a for k.
1
Let i(k) = k**3 - 11*k**2 - 9*k - 13. Let v be i(12). Solve 0 = 7*b + v - 2 for b.
-3
Let g(r) = -12*r + 40. Let s be g(2). Solve -s*u - u = 51 for u.
-3
Let g be 1/(-5) - (-147)/35. Suppose 3*i = 5*y + 15, -4*i - y + 0*y + 43 = 0. Solve 0 = g*n - i - 6 for n.
4
Let p(u) = -u**2 + 4*u + 16. Let a be p(6). Let k be (0/a)/(2 + 0). Solve 12 = -4*b - k*b for b.
-3
Let d(p) = -p**2 + 7*p - 3. Let m be d(6). Suppose -5*n + 24 = m*n. Solve 3*t + n = 2*t for t.
-3
Suppose 2*q + 6 = 4*i, -3 = -5*i + q - 0. Let d(g) = -g**3 - 4*g**2 + 10*g - 8. Let s be d(-6). Suppose i = s*r - 2*r - 4. Solve -4*p + 10 = -r*p for p.
5
Suppose 0 = -3*q - 3*w, 0 = 3*w - 4 + 13. Let t be -1 - (1 + q - 5). Solve m = -4 - t for m.
-4
Let q be (24/36)/((-2)/(-6)). Let b be (-1)/q*-6 + -1. Solve 0 = -4*i + b*i for i.
0
Suppose -27*i + 908 + 91 = 0. Solve -35*n + i*n = 0 for n.
0
Let q(s) = -s**3 - 5*s**2 + 2*s - 24. Let j be q(-6). Solve 4*o + 8 = -j*o for o.
-2
Let l(v) = -v**3 - 6*v**2 - 2*v - 4. Let g be l(-6). Suppose 5*q = 39 - 19. Let k = -1 + q. Solve p - g = -k for p.
5
Let m(p) = p**2 - 8*p + 18. Let q be m(4). Let j be 1*2/(2/8*q). Let y(h) = -h + 10. Let w be y(8). Solve -2 + j = w*k for k.
1
Let s = -1786 - -1819. Solve -24 = 39*i - s*i for i.
-4
Suppose 0 = 8470*a - 8507*a + 740. Suppose y + 0 - 2 = 0. Solve -3*j = y*j - a for j.
4
Suppose -34 - 65 = -9*u. Solve 4 + u = 5*o for o.
3
Let l be 3/(-6) + 10/4. Let v(q) = -q**3 - 6*q**2 + 8*q + 11. Let o be v(-7). Suppose -o*k + 24 = l*k. Solve d + 3*d - k = 0 for d.
1
Let b = 2 + 1. Let a be (132/8)/(5/(-10)). Let w = a - -37. Solve w*c = -b + 11 for c.
2
Suppose 4*a + g = -0*g + 41, a - 24 = -3*g. Suppose a*y - 35 = 2*y. Solve 5*p + y = -0*p for p.
-1
Suppose -2*d = -0*d + o + 87, 5*d + 185 = 4*o. Let z = -34 - d. Solve 2*m - z = -3 for m.
2
Let x(k) = k**3 - 6*k**2 + 4*k + 6. Let z be x(5). Suppose 4*i - z = -5. Let q(j) = -3*j - 2. Let g be q(i). Solve 2 = h - g for h.
3
Let s be 1*3 + (4 - 4) + -1. Suppose 4*m - 14 = -2*g, 4*m - g - 9 = s*m. Solve -2*f - m*f = -24 for f.
4
Let v be 10*5*(-1)/(-5). Let j = 29 - v. Solve -4*b + j - 7 = 0 for b.
3
Let f = -16 - -18. Let h be f/4 - (-76)/8. Let g be 7/3 - 1/3. Solve -g = -2*q - h for q.
-4
Let f = -18 - -21. Suppose 5 = o + f. Solve 0 = -o*t - 2 - 2 for t.
-2
Let f(j) = -9*j - 9. Let y be f(-2). Suppose 3*t = y*t - 30. Solve r = -t - 0 for r.
-5
Let v = -37 + 39. Suppose -v*c = -5*c + 75. Solve 0 = k + 4*k + c for k.
-5
Suppose 0 = -2*q + 12 - 48. Let t(p) = -8*p**2 + p - 2. Let j be t(2). Let f = q - j. Solve -3*u + f = 5 for u.
3
Suppose 7*c = 3*c + 8. Let q be 2/13 - 3381/91. Let g be q/(-12) + 26/(-312). Solve g*m - 3 = c*m for m.
3
Suppose 2*m = 6 - 0, 0 = 3*v + 5*m - 51. Solve -q - v = -5*q for q.
3
Let b(r) = -2*r - 1. Let n be b(-2). Suppose -2*t - 3*t = -5. Suppose -i + 2 + t = 0. Solve -i*w - n = 6 for w.
-3
Suppose -2*n - 3*n = 4*r + 13, 0 = -n - 5. Let f be (0/(-1))/(4 + -6). Solve -7*y + r*y + 20 = f for y.
5
Let s be (-21)/(-2 - (2 - 3)). Suppose 4*f - 3*o = 1, -3*o - s = -4*f - 4*o. Suppose h = -h. Solve 0 = f*z - h*z for z.
0
Suppose 4*b - 3*b = 2. Suppose 5*l + 2 = -4*q, -9 = -3*q + 2*l + 1. Suppose 4*t - 17 = -5*j - 3, t + b*j = q. Solve -t*h = -h + 20 for h.
-4
Suppose -3*d - 27 = -9*t + 7*t, 4*d + 43 = 3*t. Solve -154*s + 147*s = -t for s.
3
Let k(n) = -n**3 - n - 1. Let y be k(-1). Let c be (-6)/(-4 + y) + -1. Solve f + c - 3 = 0 for f.
2
Suppose -4*s - 32 = -4*f, -4*f + 9 = 2*s - 17. Solve 18*h - 11*h = -f for h.
-1
Let v = -247 + 253. Solve -y = v*y + 7 for y.
-1
Suppose 5*z - 10 = -0*z. Suppose n + m + 1 = 0, -5*n + 1 = -0*n + z*m. Solve n = -q - 1 for q.
-2
Let r(p) = 4*p**3 - p**2 + 4*p - 3. Let b be r(1). Solve 2*u - 2 = b for u.
3
Suppose -5*z + 5*t - 110 = -140, -5*t - 15 = -2*z. Solve -3*j = z*j - j for j.
0
Let b = 536 + -536. Solve b*j = 25*j - 100 for j.
4
Suppose 0*g - 6 = -2*g. Solve -o = g + 2 for o.
-5
Let z be 831/(-33) + (-12)/(-66). Let f = 36 + z. Suppose f + 53 = 4*p. Solve -2*w + 6*w + p = 0 for w.
-4
Let b(m) = -m + 4. Let x be b(2). Let p be (7 + -7)*(-1)/(-3). Suppose 4*q = -x*j, -5*j = -3*q - p*q. Solve 4*f + 0*f + 4 = q for f.
-1
Suppose 56*i - 23*i = 0. Solve k - 4 + 5 = i for k.
-1
Suppose 0 = -5*k - 3*r + 162 - 60, -4*k = -r - 85. Solve k*z = 25*z for z.
0
Let l(n) = n**2 - 15*n + 41. Let o be l(13). Solve 0 = -14*p + 19*p + o for p.
-3
Suppose -6*p + 125 = -p. Let j(a) = -26 + 17*a + 15*a - 36*a. Let t be j(-8). Solve w - p = t*w for w.
-5
Let n(t) = -4*t + 24. Let b be n(0). Suppose -5*w - s - 5 = -b, 0 = -4*w + 2*s + 4. Solve -v + w*v = 8 for v.
4
Suppose 0*t = -3*t + 108. Suppose -4*j - c + 39 = 0, c - 4*c = -5*j + t. Let u be j/(-3) + -1 - -14. Solve 0 = -5*m + u - 35 for m.
-5
Let i = -9 + 17. Suppose 22*k = 17*k + 10. Suppose -6*q + 6 = -2*q + g, k*g + 4 = 0. Solve 3*n + q = i for n.
2
Let q(t) = -t**3 - 5*t**2 + 6*t + 17. Let i be q(-6). Suppose 0 = i*u - 18*u + 5. Solve -u*d + 6 + 19 = 0 for d.
5
Suppose 5*p = -4*o + 55, 13*p - 12*p = -2*o + 5. Solve p*v - 33 = 42 for v.
5
Let r(h) = 3*h + 13. Let b be r(-4). Suppose -b = -n + 3*v + 11, -2*v + 26 = 5*n. Let p be ((-4)/4 + 2)*2. Solve -2*w = p + n for w.
-4
Let r(t) = -4*t + 0*t + 10 + 2*t + 4*t. Let g be r(-12). Let v = 17 + g. Solve v*h = 2*h for h.
0
Let w = -26481 + 26486. Let y be 4/10 + (-36)/(-10). Solve 0 = -w*b + 6*b - y for b.
4
Let p(o) be the second derivative of -o**6/720 - o**5/12 - o**4/12 - 4*o. Let y(b) be the third derivative of p(b). Let x be y(-13). Solve -t = -2*t + x for t.
3
Suppose -8 = -3*g + 7, -4*a - 3*g + 243 = 0. Solve 5*s + 37 = a for s.
4
Let n(c) = -c + 2. Let w be n(-12). Let d be (15/(-6) - 1)*4. Let s(b) = b**3 + 14*b**2 - b - 10. Let p be s(d). Solve -p*t - 6 = -w for t.
2
Suppose -5*t + 14*t = 162. Let x = 28 + -46. Let m = x + t. Solve 0*y + y = m for y.
0
Suppose 2*k + 5*c + 7 = 26, c - 5 = -k. Suppose -4*n + 32 = 4*g, k*g + 1 - 39 = -4*n. Suppose -5 = -4*y + n. Solve 6*o - y*o = 0 for o.
0
Let y(h) = -h + 13. Let z be y(11). Suppose 0 = z*a + 1 - 5. Solve -4 = a*d + 2 for d.
-3
Suppose 0 = g - 5*r + 20, g = -3*g - 4*r + 40. Let b be ((-288)/g)/((-8)/40). Let j be 1/(-7) + b/56. Solve 0 - 5 = -j*u for u.
1
Suppose 2*p + 2 - 16 = 0. Suppose -p*y + 57 = -4*y. Let u = y + -17. Solve