Let d be s(k). Solve -d*y + 3*y = 0 for y.
0
Suppose h = 5*s + 4*h - 7, s + h = 1. Let v = -24 - -27. Let o be ((-12)/(-4) - v)/(-1). Solve o = -t - s for t.
-2
Let m = -66 - -68. Solve -2*u = m - 0 for u.
-1
Suppose 0*b = 3*b + 3*p - 6, 3*p - 6 = 0. Suppose 6*h - 4*h = b. Suppose -3*k - 1 + 7 = h. Solve -t = t + k for t.
-1
Let b(f) = -f + 3. Let w be b(0). Let t be (-7)/(105/(-12))*25. Suppose -l - t = -5*l. Solve -l*c + w*c = 2 for c.
-1
Suppose -3 - 7 = -2*z. Suppose -3*r = 5*u - 14, r - u = z*r - 13. Solve r*b = -0*b + 12 for b.
4
Let t be -2 + 8/6 + 112/24. Suppose -g - 4*h + 16 = 0, 11 = -4*g + t*h - 5. Solve g = -5*l + 24 - 4 for l.
4
Let l(w) = -10 - 4 - w**2 + 12 - 3*w. Let x be l(-4). Let a = x - -6. Solve 2 = -2*g - a for g.
-1
Suppose -78 = 6*w - 11*w - 2*f, 4*f = -2*w + 28. Solve -42*r = -46*r - w for r.
-4
Let u(l) = 91*l**3 - 3*l**2 - 2*l + 1. Let w be u(-1). Let y = 94 + w. Solve 5*g - 6 = y*g for g.
3
Let z(f) = 2*f**3 - 2*f**2 + 2*f - 1. Let m be z(1). Let l be 4*m + (-13 - -9). Solve 0*p + 2*p = l for p.
0
Let p be 14/(-119) + (-1126)/(-34). Solve -p = -13*w + 2*w for w.
3
Suppose r + 3 = 0, 3*y + 15 - 18 = -r. Solve y*q - 99 + 91 = 0 for q.
4
Suppose -3*j - 3*l = 0, -4*j + 19 = -5*l - 8. Solve -5 + 11 = -j*b for b.
-2
Let k be 7/(-2) + 3 - 1617/(-14). Solve 10 = -110*t + k*t for t.
2
Let d(y) = -29*y + 7. Let v be d(-3). Suppose 3*n - v + 28 = 0. Let h be n - (-3 + 3 - -2). Solve 3*u + h = -2*u for u.
-4
Let x be (-240 + 218)*(0 - 1/2). Solve x*l - 8*l = 0 for l.
0
Let o be 2/2 - -1*23. Suppose 0 = 2*n - 7*n - 3*i + 22, i = -5*n + 24. Suppose n*l - 4*t - 40 = 0, -3*l + 2*t + 20 + 2 = 0. Solve 0 = l*s - 4 + o for s.
-5
Let k(r) = 9*r - 47. Let v be k(6). Solve -4*u - v = -3 for u.
-1
Let k(l) = -l**3 - 6*l**2 + 5*l + 27. Let p be k(-7). Solve -p = 8*c - 1 for c.
-5
Suppose -3 = 2*q + 1. Let j(a) = -4 - 3*a**2 - 4*a - 3*a**2 - 3*a**3 + 2*a**2. Let d be j(q). Solve -7*y - d = -3*y for y.
-3
Let d = 302 + -296. Solve 11*u + 15 = d*u for u.
-3
Let o(s) = -s**2 - 4*s + 4. Let c be (14/3)/((-46)/69). Let m be o(c). Let d = 19 + m. Solve 5*g = -3 - d for g.
-1
Let u = -26 + 35. Let r(y) = -y**3 + 8*y**2 + 9*y + 2. Let m be r(u). Suppose -22 = -3*t + 14. Solve m*i = -i - t for i.
-4
Suppose 33*p - 35*p + 4 = 0. Solve 5 = -p*g + 3 for g.
-1
Let b be (-6 + 30/5)/2. Solve b = 2*n + 7*n - 45 for n.
5
Suppose -3*p = 0, -4*f + 3*p = -2*p. Solve -6*u - 13 + 1 = f for u.
-2
Let s(o) = o**3 - 12*o**2 - 30*o + 31. Let a be s(14). Solve 5*f + 7 = -a for f.
-2
Let x = 682 + -652. Solve 0 = 4*p + 6*p - x for p.
3
Let r(a) be the first derivative of a**3/3 - a**2/2 + 20*a - 53. Let z be r(0). Solve 2*y = 6*y - z for y.
5
Suppose 4*o - 2*z = 2*o + 4, -2*o = 4*z - 22. Let t = o + -1. Solve h + t = 2 for h.
-2
Let r be 25 - ((-1 + 4 - 4) + 4). Suppose 2*j + 6 = r. Solve 3*b - j*b = -15 for b.
3
Let c = 63 + -59. Suppose -c*t - 2*b = -b - 6, 0 = -3*t - 3*b. Solve -t*d - 11 = -3 for d.
-4
Let c(f) = 2*f**3 - 34*f**2 + 66*f - 22. Let p be c(15). Solve p = -7*d + 24*d for d.
4
Let p be (-2)/((-32)/12 - -2). Let f = -269 + 269. Solve f = x + p for x.
-3
Suppose -13*a - 4 - 9 = 0. Let l be 0 - (1 + 0 + 2)*a. Solve -l + 2 = -m for m.
1
Suppose -5*s + 16 = -s. Suppose -30 = -s*v - 14. Solve -w + v = -1 for w.
5
Suppose -83 - 17 = -5*t. Suppose -6*v + 11*v - t = 0. Suppose -5*h + v*k + 2 = 4, -5*k + 5 = -5*h. Solve 0*a = -h*a + 4 for a.
2
Suppose 4*v = -f + 4 + 2, 0 = -2*v + 3*f + 10. Let z be (10/(25/5))/(-1 + 2). Solve -v*p + 4 = z*p for p.
1
Suppose -3*o = -4*w + 26, 0 = -2*w - 0*w + 3*o + 16. Suppose 2*g = 7*g. Suppose a = -5*x - 12 - 10, 0 = -5*a + x + 20. Solve g = a*s + 2*s + w for s.
-1
Suppose -1 = -w - z, -2*w + 4 = -5*z + 2. Let r be (-2 + 1)*(1 - 1). Let l = 3 - r. Solve l*o = 16 - w for o.
5
Let z(p) = -3*p + p + 15 + 3*p. Let x be z(-9). Let g(y) = 2*y. Let r be g(1). Solve x + 4 = -r*o for o.
-5
Let c(i) = -2*i - 2. Suppose -2*q = -172 + 52. Let p be (-52)/q + (-4)/30. Let r be c(p). Solve -20 = -5*g - r for g.
4
Suppose -z + 0*z + 11 = h, -3*z + 3*h = -3. Let c be z/4*(-25)/15*-2. Solve 4*x = 21 - c for x.
4
Let t = -449 - -466. Solve 6*s = t + 7 for s.
4
Let o(j) = j**3 - 6*j**2 + 28. Let g be o(5). Solve -g*v + 8 = -v for v.
4
Suppose 12*m - 14*m = -8. Suppose -2*t = -2 - m. Solve 1 - 10 = t*f for f.
-3
Let z = -35 + 41. Let n(v) = v**2 - 4*v - 11. Let b be n(z). Solve 0 = q + 3 - b for q.
-2
Let n = -221 - -236. Solve -n*t + 2 - 32 = 0 for t.
-2
Let m be (-11)/(-11)*(3 - -6). Solve m = -4*u + 1 for u.
-2
Suppose 31*n - 630 = 10*n. Solve 10*o - n = 16*o for o.
-5
Let y = 24 + -31. Let q = y + 12. Solve q*h + 1 = 4*h for h.
-1
Suppose 3*d + 2*u + 0*u = 31, 0 = u + 1. Suppose d + 1 = 2*c. Suppose -2*g - 9 = 2*z - 23, g + 4*z - 10 = 0. Solve 3*n - g*n + c = 0 for n.
2
Suppose 164 = -11*f + 15*f. Let z = -37 + f. Let h = 6 + -2. Solve z + 16 = h*c for c.
5
Suppose 815 = 31*x - 84. Solve g + 27 = x for g.
2
Let w be (38 + -2)/12 + 13. Solve -7*j + w*j - 36 = 0 for j.
4
Suppose 10 = 6*h - 2. Solve -h*u - 2 = -4*u for u.
1
Let i(y) = y - 3. Let g be i(5). Solve 0 = -3*u + 7 + g for u.
3
Let a be (2/4)/((-20)/760). Let l be (a - 1)*(-12)/16. Solve -4*j = -j + l for j.
-5
Let s = -1 + 7. Let q = 19 + -21. Let o be (0 + 1)/(q/(-4)). Solve -o*k = -s*k - 12 for k.
-3
Let o = -10 + 13. Suppose o*j - 5*j + 10 = 0. Solve -j*c = -0 - 15 for c.
3
Suppose 4*b + 0*b - 296 = 0. Let k = -62 + b. Solve k = -4*s + 8*s for s.
3
Suppose 4*g = -4*t + 16, 0 = 4*g - 5*t - 32 + 7. Solve 0 = p + 7 - g for p.
-2
Let a be 1/(3*(-4)/(-48)). Suppose 12 = -a*g + 4. Let b be (g/5)/((-2)/10). Solve 0 = i - 7 + b for i.
5
Let q = 43 - -5. Let y = -28 + q. Solve 0 = -4*i - 0*i - y for i.
-5
Let b(z) = 6*z - 5. Let w be b(8). Let q = -27 + w. Suppose 4*m - q = 4. Solve 3 = m*v - 2*v for v.
1
Suppose 0 = 9*s - 851 + 824. Solve 8*p = 7*p - s for p.
-3
Let r = -845 - -909. Solve -2 = -66*g + r*g for g.
1
Suppose 0 = 2*p + h - 263, -5*h + 92 = -3*p + 454. Let u = p - 125. Solve 0 = -0*m - u*m for m.
0
Let w = 8 - -1. Let l(g) = 2*g - 17. Let i be l(w). Solve 0 = j + i + 3 for j.
-4
Suppose -525 = 2*i - 23*i. Suppose 3*w + 0*w + 21 = 3*d, -3*w - d - 1 = 0. Let h be (-1 + 7)/((-3)/w). Solve o = -h*o + i for o.
5
Let l be -2 - (-24)/14 - (-156)/(-42). Let s be (-3)/l*10*2. Solve 0 = -0*n + 5*n + s for n.
-3
Suppose -2*f = 2*h - 18, -7 + 22 = 3*h. Solve f*x = 2*x for x.
0
Let a be ((-144)/(-54))/(1/3). Suppose -32 = -a*j + 48. Let w be (-3)/(-6)*(1 + 5). Solve -w*v + j = 1 for v.
3
Let b be (-4)/(-7)*7/2. Suppose 2*x + b*x = -x. Solve 6*c - 4*c - 10 = x for c.
5
Let g = 105 + -69. Suppose -g + 6 = -6*m. Solve 0 = m*y - 2 - 8 for y.
2
Suppose -4 = -x + 1, -3*x + 41 = -2*y. Let o = y - -25. Solve -2 + o = 5*q for q.
2
Suppose -11*w + 84 = -5*w. Solve -r - w = -15 for r.
1
Let c(v) = -v**2 + 1. Let b be c(1). Let d be (-8 - (-12 - -2)) + 0. Solve d*a - 4*a = b for a.
0
Let l be 2*((-27)/6)/3. Let y = l + 8. Solve -2*n - 3 = -y for n.
1
Suppose -5*g = -2*g - 39. Suppose g*c = 12*c + 4. Let h be (-4)/6*3 - -2. Solve -c*k = -h*k for k.
0
Let g be (-760)/(-6) + 76/57. Let f = 129 - g. Solve c + 1 = -f for c.
-2
Let x = -1739 - -1756. Solve 6*y + 11 - x = 0 for y.
1
Suppose 4*o - 1 = 3. Solve 3*r + 7 = o for r.
-2
Let i = -1427 - -1436. Solve i*k - 43 = -7 for k.
4
Suppose -144 - 256 = 5*i. Let s be i/6 + (-10)/15. Let n(m) = m**2 + 15*m + 14. Let f be n(s). Solve f = v - 6 + 2 for v.
4
Suppose 0 = -x - 3*q + 5, -3*q - 6 = -2*x - 5*q. Let f(c) = 6*c + 53. Let d be f(-8). Solve -d = -x*a + a for a.
5
Suppose -b - p + 0*p = -25, 4*p - 80 = -3*b. Solve -6*d - b = -16*d for d.
2
Suppose c = -12*u + 11*u + 7, -2*u = 4*c - 28. Solve -10*z + c*z - 3 = 0 for z.
-1
Let d be 65/(-35) + (-1)/7. Let q = d + 7. Let b be (12/28)/((-1)/(-7)). Solve -q*s + b*s - 8 = 0 for s.
-4
Let p be (-6)/(-4) + 3/6. Let i(t) = 6*t**2 + 27*t - 27. Let r be i(1). Solve r*k = p*k for k.
0
Suppose 0*r = -2*r + 26. Let q = 8 - 3. Suppose 4*f + q*h = 3*h + 6, -h - 7 = -3*f. Solve -f*g + r = 5 for g.
4
Suppose 3*d + 15 = -5*f, -32 = -2*f + 4*d - 12. Solve 0*z - z + 4 = f for z.
4
Let v(m) = m**3 + 4*m - 4. Let c be v(2). Let p be ((-12)/(-8))/3*c. Solve 3*n - 21 = -p for n.
5
Let c = -846 + 847. Solve c + 9 = -10*s for s.
-1