 Let b be 45*5/20*16/12. Suppose 0*y = -y. Solve 4*s + c - b = y for s.
3
Suppose 2*b = 2*k + 124, 0 = -4*k - 0*k + 2*b - 242. Let h = k + 63. Solve -4*i + 8*i - h = 0 for i.
1
Suppose 2*f - 4 = 6*b - b, -3*b + 8 = 4*f. Solve 7*g - f = 5 for g.
1
Let w be 16/12*45/6. Let u = 15 - w. Solve -v + 2*v + u = 0 for v.
-5
Let b(k) = k**3 + 5*k**2 + 4*k. Let p be b(-4). Suppose -4 = -x - p. Suppose 5*s = x*t - 99, 2*s - 124 = -5*t - 25. Solve 4*v - t = -1 for v.
5
Let d(q) = 2*q**2 - 10*q - 4. Let c be -1 + 2*2 + 2 + 1. Let z be d(c). Solve 0 = -0*y - 4*y + z for y.
2
Let w(h) = 4*h**2. Let r be w(-2). Suppose 0 = -3*l - 4*i + r, i = -l - 2 + 6. Let y(k) = -k + 5. Let b be y(l). Solve -u = -b*u + 20 for u.
5
Let c(o) = -o**3 - 3*o**2 + 3*o + 1. Let d be c(-4). Let r(m) = -2*m - 1 + 5*m - d*m - 3. Let i be r(-4). Solve 3*k - k = -i for k.
-2
Let a be 3*(3 - 7/(-21)). Solve -2*k - 4 = -a for k.
3
Let o = -27 + 31. Solve o*n = 5 - 9 for n.
-1
Let w(z) = 18*z - 195. Let v be w(11). Solve -12*p = v*p for p.
0
Suppose -4*s - 4*o + 2*o = -2, 2*s - 3*o = -3. Let n = s - 0. Suppose n = x + 5, l + 8 - 2 = -2*x. Solve 0 = -l*d - d - 5 for d.
-1
Let d be -20*5/((-80)/44). Suppose a = 5*c - d, a - 70 = -5*c + 5*a. Solve 2*v = -0*v - c for v.
-5
Suppose 6*m = 2 + 22. Solve 4*r - 8*r + m = 0 for r.
1
Suppose y - 8 = -0. Solve -4 = 2*p - y for p.
2
Let d(l) = -5*l - 6 - 6*l + 2*l. Suppose -y + 0*y + 4*k = 4, -3*y - 3*k = 12. Let f be d(y). Solve 0 = -4*j + 10 - f for j.
-5
Suppose -102 = -13*m + 2. Solve 2*a = m*a + 18 for a.
-3
Let q = 42 - 40. Suppose 0 = -4*y - v + 22, -4*y + 0*v = -q*v - 28. Solve -3*a = -y*a - 9 for a.
-3
Suppose -4*z + 3*n + 127 = 0, -2*z = -6*z - 4*n + 148. Solve z*q = 32*q + 8 for q.
4
Let t = -21 + 23. Suppose 2*r - r - 3 = 5*k, -t*k = r - 3. Suppose -z + r*z = 20. Solve f + z = -f for f.
-5
Let i(w) = 4*w - 2. Let t(s) = -5*s + 3. Let j(n) = 6*i(n) + 5*t(n). Let y be j(3). Solve 2*q + q + 6 = y for q.
-2
Suppose -5 = -4*f - 2*m + 5, 4 = f + 2*m. Let z be f/12*-4*-3. Solve 9 = -5*j + z*j for j.
-3
Let v(t) = t**2 + t. Let r be v(0). Suppose r = u - 5*j - 25, u + 2*j = -u + 2. Suppose 0 = -8*z + 3*z + 70. Solve z = -u*w - 6 for w.
-4
Let l = -23 + 25. Let b be 4/8*(-4 - l). Let w(t) = -t**3 - 5*t**2 - 8*t - 2. Let n be w(b). Solve -2*m = 2*m + n for m.
-1
Let p = -10 + 13. Suppose -13 = -5*c - p. Suppose -3*m + 15 = 2*m - 3*u, 2*m - 2*u = c. Solve 4*i = m*i + 2 for i.
-1
Let c be (-229)/(-7) - (-30)/105. Solve 22 = c*h - 11*h for h.
1
Let u(b) = 16*b - 45. Let g be u(3). Solve -g*s - 15 + 0 = 0 for s.
-5
Let h(n) = -n**3 + 7*n**2 + 9*n - 17. Let o(i) = 1. Let j(w) = -h(w) - 6*o(w). Let a be j(8). Solve a*u - 2 - 4 = 0 for u.
2
Let q(v) = v**3 - 5*v**2 + v - 3. Let l be q(5). Let m = 40 + -36. Suppose -4*d - l*f + 20 = 6, -m*d = 4*f - 16. Solve x + d*x = -16 for x.
-4
Let g(n) = 7*n + 195. Let s be g(-25). Solve 0 = -8*l + 20 + s for l.
5
Let l(r) = 4*r - 51. Let q be l(15). Solve -4*f - 3 - q = 0 for f.
-3
Suppose 2*p - 6 = -3*s, 3*s + s = 2*p - 6. Suppose 4*r - 10 = -5*d, 3*d = -4*r - s*d + 6. Solve 5*u - u = r for u.
0
Let m(q) be the third derivative of -q**6/120 - 4*q**5/15 + q**4/24 + 11*q**3/3 - 6*q**2 + 4. Let b be m(-16). Solve 5*d + b = -14 for d.
-4
Let c be (-70)/(3 - 6 - -4). Let h = 74 + c. Solve 1 = -z + h for z.
3
Let x = -6 - -6. Let b = 28 + -20. Suppose x = 4*f - b - 0. Solve 5*a - 15 = f*a for a.
5
Suppose -w + 0*w = 0. Suppose h - 25 = -5*x + 6*h, 4*x + 4*h + 12 = w. Solve -j = -2*j - x for j.
-1
Let y = -22 + 28. Suppose 0 = 4*s + 5*n + 10, y = 4*s - 5*s - 3*n. Solve s = 3*t + 2*t + 5 for t.
-1
Let o(n) = 4*n + 5. Let j(t) = 5 - 5 - t + 1. Let x(i) = -2*j(i) - o(i). Let d be x(-6). Solve -21 = d*w + 4 for w.
-5
Let u(s) = -2*s**3 + 8*s**2 + s + 4. Let r be u(4). Let q = 225 - 220. Solve q*f - r = 3*f for f.
4
Let y be (-8)/(-6)*(-54)/(-12). Suppose 0 = -0*s + y*s - 24. Solve 4 + s = 4*l for l.
2
Suppose 16*r - 203 = 9*r. Solve -10*h + r + 11 = 0 for h.
4
Let y(m) = 4*m - 8. Let x be y(7). Let k = -18 + x. Let t(j) = 6*j**2. Let v be t(-1). Solve -u - k*u = v for u.
-2
Let o = 464 + -447. Let a(b) = 2*b**2 + 3*b + b**3 - b - 7 - 8*b**2. Let v be a(6). Solve -o + v = 4*d for d.
-3
Let s(z) = -3*z**2 - 21*z - 28. Let n be s(-5). Solve -5 = -n*i - 7 for i.
-1
Suppose 5*d - 32 = -4*c - 2, 3*c = 4*d + 7. Suppose 5*u - 2*n - 41 = 0, 4*u - 28 = -0*n + 4*n. Solve -m + u = d*m for m.
3
Suppose -a + 7 = 4*k, 11 = 5*k + 3*a - a. Let h be -4 + 7*(3 - 2). Suppose p - h*p + 10 = 0. Solve -p*o + k = -9 for o.
2
Let s be (4 - 3)*2 + -41. Let a = s + 44. Solve 17 = a*o - 3 for o.
4
Let h(m) = -2*m**2 - 12*m. Let r be h(-6). Suppose r = -2*f + 5 + 13. Solve -3*n + 3 = -f for n.
4
Let r be (18 - 4)/2 + -2 + 3. Suppose 0 = -39*y + 35*y + r. Solve y*j + 0 = -4 for j.
-2
Suppose 292 = -2*q - 2*q + 2*r, -2*q + 4*r - 152 = 0. Let k = q + 77. Solve k*p = 10 - 0 for p.
2
Let z(l) = -3*l - 35. Let r(h) = h**2 - 10*h + 8. Let s be r(7). Let y be z(s). Solve 0 = -y*q - 16 + 4 for q.
-3
Suppose 6*m + 85 - 415 = 0. Solve 0 = -17*x + 28*x + m for x.
-5
Let c be (-69)/(-9) - (-1)/3. Let t(k) = -k**3 + 8*k**2 - 2. Let z be t(c). Let g be 1 - -8 - (-1 - z). Solve r - 3*r - g = 0 for r.
-4
Suppose -3*z - h + 2*h + 16 = 0, 0 = 5*z - h - 24. Suppose r + 0*u + u = 0, z*u + 18 = 5*r. Solve 17 - r = -5*f for f.
-3
Let k = 13 + -3. Suppose -2*r + k = o, 3*o - 2*o - 13 = -3*r. Suppose 4 = 2*s - o. Solve 3 = 3*g - s*g for g.
-3
Let w(p) = -p**2 - 10*p - 10. Let a be w(-8). Solve -a*h = -3*h - 15 for h.
5
Suppose -3*g - q + 75 = 0, 0 = 3*g + 2*g + 3*q - 121. Suppose -w + 8 - 3 = 5*y, -3*y + 4*w + g = 0. Solve 2*c = y - 0 for c.
1
Suppose 0 = -2*o - 3*s + 2, 4*o - 2*s + 5*s = -2. Let r be (-6)/(4 + 11/o). Suppose -2*i - 22 = -4*c, -c + 5*i + 0 + 28 = 0. Solve -c*a - 5 = -r*a for a.
5
Let v be (0 - 0)/(12 - (0 + 8)). Solve -13*o + 10*o - 15 = v for o.
-5
Let y be (-1)/2*(-2 + 0). Let c = 16 - 16. Let u(z) = z**2 - 3*z - 15. Let s be u(-3). Solve k - s - y = c for k.
4
Suppose -u + 0*u = -12. Let x(r) = -3*r + 4. Let t be x(3). Let f = u + t. Solve 3*n - f*n = 20 for n.
-5
Suppose -x - 2*s + 23 = 0, 30*s - 25*s - 15 = 0. Solve x*h + 4 = 21*h for h.
1
Suppose 5*p + 6 - 31 = 0. Suppose -7 = -z - p. Solve -7*v + 6*v = z for v.
-2
Suppose 1 = 4*c - 19. Suppose 9 = s - c*l, -2*l + 4 = 2*s + 2*l. Let k = -3 + s. Solve -r - k = 1 for r.
-2
Let l(m) be the third derivative of -m**4/12 + 14*m**3/3 - 5*m**2. Let p be l(12). Solve p*d - 3 = 1 for d.
1
Suppose 3*l + 2*m = -10, 7*m - 5*m = -10. Suppose 2*c - 4*s + 2 = 4, 3*c = 5*s + 3. Solve l = -x + c for x.
1
Let h = 8 + -5. Let r be (-46)/6 - 1/h. Let o = -4 - r. Solve -1 + 5 = -o*k for k.
-1
Let r be 352/44 - (1 - -2). Solve -3*n - 8 = -r for n.
-1
Let v = 115 + -93. Let t(w) = -w**3 + 22*w**2 + 7. Let z be t(v). Solve 5*p + z = 2 for p.
-1
Let s(g) be the third derivative of g**6/60 - g**5/12 + g**4/12 + 2*g**3/3 - 3*g**2. Let t be s(2). Solve -f - 25 = t*f for f.
-5
Let a be (2 - 14/8)*12. Suppose 0 = -a*v + g - 3*g + 22, -2*v + 5*g = -2. Solve -4*h + 2*h = -v for h.
3
Suppose 4*u + 2*a - 10 = 0, 6*u - 13*a = -9*a + 22. Solve u + 52 = -11*w for w.
-5
Let g = 1 - 1. Let u(w) = 3*w - 5. Let d be u(4). Suppose -d + 15 = c + 4*f, 4*c = -4*f + 20. Solve g = c*b - 19 + 3 for b.
4
Let a = 833 - 831. Solve -a*f = -12 + 2 for f.
5
Let z be ((-9)/(45/10))/(-1). Solve 10 = -z*j + 2 for j.
-4
Suppose x - 5*x = -h + 171, 15 = 5*h. Let z = x - -43. Solve 0*d - z = d for d.
-1
Let h = 1 - -1. Suppose -2*b - 20 = h*b. Let g be 0/(b/(20/8)). Solve -4*v - v = g for v.
0
Suppose 4*s + 0*s + 4 = 4*f, s - 7 = -f. Solve -4*q + 3 = -s*q for q.
3
Let t = -464 + 464. Solve f = -t*f - 4 for f.
-4
Suppose 6 = 2*w + 3*x, -2*x - x + 6 = 0. Suppose w = h - 4*h. Solve 5*q + h*q = -25 for q.
-5
Let m = 13 + -9. Suppose m*l - 4 = 2*l. Suppose -l*s + 1 + 3 = 0. Solve -s*d - 5 = -7*d for d.
1
Suppose 4*p - 20 = 0, -3*r + 9*p = 12*p - 21. Solve r*u - 35 = -33 for u.
1
Let u = -1635 + 1639. Solve 12 = 4*o - u for o.
4
Let x(y) = 38*y + 203. Let c be x(-5). Solve 5*w + c = 3 for w.
-2
Let g = 147 + -144. Solve 0 + 12 = g*q for q.
4
Let f = -304 + 306. Solve -3*i - f*i = 0 for i.
0
Let i(w) = 2*w - 5*w - 4 + 2*w. Let g(x) = 1. Let d(m) = -5*g(m) + i(m). Let q 