f + f + 71, 2*g = f + 35. Let d = -15 + g. Suppose d*c - 23 = -2*x, -4*c - x = -22 - 7. Solve 3 = o + c for o.
-4
Let x = -883 - -896. Solve 0 = -2*p + x - 17 for p.
-2
Let r be (((-36)/(-30))/(-1))/(4/10). Let p be (-2)/(r + 4 + -3). Solve -k + p = -0*k for k.
1
Let z(j) = 23*j + 244. Let y be z(-8). Solve -28*b - y = -8*b for b.
-3
Suppose -4*n = -5*n + 3*c - 1, 3*c - 23 = -n. Let k be 35/n + (-30)/165. Solve -r + 4 = k for r.
1
Let p = 31 + -23. Suppose -5*j + 0 = 10, -m + 4*j = -p. Solve -c - 4*c + 5 = m for c.
1
Let b be 4/(24/18) + 0 + 5. Solve 25 = 3*a - b*a for a.
-5
Suppose 6*h + 70 + 110 = 0. Let s = 32 + h. Suppose l = 2*l + s*d + 4, 2*d = 4*l - 24. Solve 2*n - n + l = 0 for n.
-4
Suppose 34 + 2 = 6*v. Suppose p + 0*p = -r + v, 0 = -p + 3*r - 10. Solve 0 = -p*y + 4*y + 6 for y.
-3
Let q be ((-54)/(-4) - -1)*-2. Let k = 30 + q. Solve 2*r = -3 - k for r.
-2
Suppose -4*p + 2 + 10 = 0. Let r be (8 - -4) + 11/22*-6. Solve 0*k = -p*k + r for k.
3
Suppose -3*j = 7 - 19. Let q be (-168)/(-77) + j/(-22). Solve 0 = q*z - 0*z + 10 for z.
-5
Suppose -4*c = -5*c + 18. Suppose c*l = 13*l. Solve 2*t + l*t = 6 for t.
3
Let k(d) = -12*d + 8*d + 11*d**2 - 16 + 2*d**3 - 5*d. Let a be k(-6). Solve -10 = -0*p + a*p for p.
-5
Suppose 5*d + 0*d - 55 = 0. Let k(m) = -9 - 14*m**2 + 23 - m**2 - d*m + 2*m**2 - m**3. Let t be k(-12). Solve 4*a - t = 6 for a.
2
Let d be 5 + 24/12 + 19. Solve -29*h + 6 = -d*h for h.
2
Let j(h) = h**3 + 5*h**2 - 8*h - 8. Let o be j(-6). Suppose 0 = 5*c + 6 - 16. Solve 0*s + c*s = -o for s.
-2
Let i = -55 - -59. Let o = i + 0. Solve h + o*h - 25 = 0 for h.
5
Suppose -t = 4*x - 5, 7*t - 2*t = 5*x - 25. Suppose -p + x*p - 24 = 0. Suppose 8*h = 4*h + p. Solve -10 = -4*k + h for k.
4
Let t be (-19)/(-3) - (-1)/(-3). Suppose 2*c + 16 = t*c. Let p = 18 + -8. Solve c*d = -d - p for d.
-2
Let p(q) = 0*q**3 + q**3 - 17*q + 18*q - 10*q**2 - 9. Let l be p(10). Solve -2*o + 7 = l for o.
3
Let h = 3 - 3. Let d = 2 + -1. Let b(c) = -c**3 + 57*c**2 + 120*c - 116. Let n be b(59). Solve h = n*l + 5 + d for l.
-3
Suppose 3*f = -2*k + 14, 8*k - 30 = -5*f + 3*k. Suppose u - 6 = -3. Suppose u*r = 5*r - 6. Solve -f*w + r = -7 for w.
5
Let q(r) = -18 + 21 + 0*r - 3*r. Let y be q(0). Suppose 0*d - 32 = -5*s + 3*d, 0 = y*s - 2*d - 20. Solve -2 = -2*n + s*n for n.
-1
Let y(l) = -l**2 + 17*l + 1. Let o be y(0). Solve -o = -z - 0 for z.
1
Suppose 7 = -4*i + 15. Solve -10 + 4 = i*m for m.
-3
Let a be 4 - (1 + (-4)/4). Suppose 0 = 4*w + 2*f - 2, -a*w = -f + 4*f + 1. Solve -2*x + 6 + w = 0 for x.
4
Suppose 0 = -2*o - 1 + 9. Suppose -5*d + 3*y = -6, -y - 3 = o*d - 6*y. Solve -d*t + 0*t - 3 = 0 for t.
-1
Let g = -652 + 659. Solve 9*i + g + 2 = 0 for i.
-1
Suppose -10*c - 3 = -13. Solve -3*q - 14 = c for q.
-5
Let o be 1 - (-2)/(-3)*12. Let s(k) = k**3 + 6*k**2 - 8*k + 5. Let x be s(o). Suppose 0 = 5*d - 2*c - 54, 2*d + 0*d - x = -4*c. Solve a = -a - d for a.
-5
Let r = -92 - -94. Let s be 20/9 - r - 350/(-45). Solve s = 7*d - 3*d for d.
2
Suppose -568 = -7*g + 62. Let a = -89 + g. Let n = -2 - -4. Solve a = -h - n for h.
-3
Suppose -9*l = -5*l - 20. Suppose 2*m = -4*c + 10, l*m + 0 - 20 = -5*c. Solve -15 = -2*f - m*f for f.
3
Suppose -5*c - 15 = 0, -c - 99 = -3*w + 2*c. Solve -14*y + w = y for y.
2
Let h(s) = -s**2 + s + 2. Let x be h(0). Let z(t) = 13*t - 48. Let n be z(12). Let m = n - 108. Solve m*u + 10 = x*u for u.
5
Suppose -5*z + 3 = -h - h, 4*h = 4. Let t be ((3 - 3) + 0)/(z + 0). Solve -u - 6 + 3 = t for u.
-3
Suppose 20*j - 23*j = -27. Suppose -j*d - 29 = -101. Let l be (0 - (-1 - -1))/(-1). Solve 0 = 2*a - l - d for a.
4
Let f(o) = o**3 + 3*o**2 - o + 2. Let r be f(-3). Suppose 4*y = c + 14, 4 + 15 = r*y - 2*c. Suppose 0 = b - 0 - 4. Solve -y*n - n = b for n.
-1
Let w(y) = y - 12. Let o be w(16). Solve 7*d = o*d - 3 for d.
-1
Let h = -7 - -13. Suppose 0 = -3*r + h. Let c be 0/(1 + (r - 2)). Solve 10*t - 5*t - 10 = c for t.
2
Suppose -7*z + 71 - 8 = 0. Suppose z = h + 5*k - 8, -5*h + 5*k - 5 = 0. Solve 0 = -3*n + h*n + 4 for n.
4
Let b = -21 - -16. Let i be b + (-4)/(-4) + 9. Solve i*a = 6*a - 2 for a.
2
Let d be (-178)/4*(11 - 13). Suppose -2*x = 2*k + 64, 2*k - 4*k - d = -3*x. Let f = -12 - k. Solve 2*s + 3*s = f for s.
5
Let i = 0 + 0. Suppose 236*j - 226*j - 50 = 0. Solve y = -i*y + j for y.
5
Suppose 2*h + 4*g = -2*h, -24 = -h + 5*g. Suppose 7*v - h*v - 5*y = 120, -2*v = 2*y - 64. Solve -5*d + 10 = v for d.
-5
Let f = 298 - 288. Solve f*u = 9*u + 1 for u.
1
Let q = -603 + 607. Solve -q*b + 3*b - 5 = 0 for b.
-5
Let q(u) = u + 8. Let w be q(-3). Solve -2 = 4*f - w*f for f.
2
Let f(s) = s**3 - 2*s**2 - s - 3. Suppose -z - 4*k = -3*z - 2, 6 = 4*z - 3*k. Let m be f(z). Let p be 0*(m/(-2) + 2). Solve -2*g - g = p for g.
0
Let b(p) = p**3 - 7*p**2 - 7*p - 2. Let w be b(8). Suppose 18 = 3*n + w. Solve n*j + 5 - 13 = 0 for j.
2
Suppose -2*a = 9*a. Let p(k) = -k**2 + 2*k + 4. Let i be p(a). Solve 0*u + i = 4*u for u.
1
Suppose v + 2*g = 0, 0*g = -g + 3. Let x(j) = j - 5. Let o(h) = h - 4. Let u(t) = -7*o(t) + 6*x(t). Let a be u(v). Solve -a*f = -5*f + 1 for f.
1
Let v be (-30)/(-20)*34/3. Solve -11*k = -v*k - 18 for k.
-3
Suppose 0 = -5*h + 19 - 4. Suppose -2*t + 7 = -h. Solve -u + 16 = -t*u for u.
-4
Suppose 0 = -f + 7*n - 2*n + 30, 0 = -n. Let u = 30 - f. Solve u = q - 2*q - 4 for q.
-4
Let v(q) be the first derivative of q**3/3 + 13*q**2/2 - 9*q + 15. Let y be v(-14). Suppose -5*z = 0, 4*g + 2*z = -z. Solve g = -u - 3 + y for u.
2
Let j = -232 + 232. Solve j*x = -x - 4 for x.
-4
Let w(s) = -19*s**3 + s + 2. Let v be w(-1). Suppose 0 = -0*a - a. Solve a = -5*k - v for k.
-4
Let v(q) be the first derivative of -q**4/4 + 10*q**3/3 + 11*q**2/2 + 3*q - 2. Let b be 7 + 4 + 4 - 4. Let o be v(b). Solve 0 = -f - o*f for f.
0
Let y be (3 - 1)/((-3)/(-3) - 3). Let m be -2 + (24/16)/(y/(-4)). Suppose b - 6 = -2*p, 3*p - 2*b - 20 = -p. Solve -2*x + m*x - p = 0 for x.
2
Let r(l) = l - 1. Let p(t) = -8*t + 2. Let d(n) = p(n) + 2*r(n). Suppose 31 = 26*u + 57. Let g be d(u). Solve -g*x = -3*x for x.
0
Let t(l) = -l + 6. Let o be t(6). Suppose 5*n + o = -0. Solve n*i = -4*i for i.
0
Let o be (0 - -1)*3 - -9. Suppose 0 = 2*u + u - o. Suppose 4*w - 6*w + u*h + 24 = 0, 3*h + 32 = 5*w. Solve d + 1 + w = 0 for d.
-5
Suppose -24 = -2*a - n, 2*a - 5*n = -0*a. Solve a*g - 10 = 10 for g.
2
Let h be 6/(-4)*20/15. Let y be (4/12)/(h/(-24)). Suppose -2*a + y*a + 5*j = 0, 0 = -2*j - 4. Solve a*l + 5 + 5 = 0 for l.
-2
Let h be (-2 - (-33)/12)*-4. Let s be (-64)/6*h/2. Let g(a) = a**3 - a**2 - 5*a + 3. Let r be g(3). Solve 0 = 2*y - r*y + s for y.
4
Suppose -31*v = -39*v + 56. Solve -l = v*l - 40 for l.
5
Let s be ((-48)/10 - -4)/(2/(-70)). Let g = -28 + s. Solve 0 = f - g*f + 5 for f.
-5
Let j(x) = 6*x - 3. Let d be j(6). Suppose d*h - 38*h + 15 = 0. Solve r - 2*r = h for r.
-3
Let c = 5 + -2. Suppose -2*w + 2*v + 26 = 0, -v + 100 - 41 = c*w. Let z = w + -8. Solve 0 = -s + 6*s + z for s.
-2
Let o(m) = -m - 5. Let d be o(-13). Let p(l) = l - 5. Let a be p(d). Solve 0 = a*x - 1 + 4 for x.
-1
Suppose 0 = 4*h - 5*w - 64, 5*w = -4*h + 53 + 51. Solve -19*l = -26*l + h for l.
3
Let w(k) = 28*k + 544. Let c be w(-19). Solve c*z = 8*z - 4 for z.
-1
Suppose 0 = 23*a - 19*a - 220. Let z = -40 + a. Solve 0 + z = -3*f for f.
-5
Let i(b) = 2*b**2 + 7*b - 5. Let n be i(-6). Let w be (-1)/(-5) + (516/(-30) + 11 - -6). Let y = 7 + -2. Solve -y*z = -w + n for z.
-5
Let r be (-288)/120 - (-4)/10. Let j = r + 6. Solve 3*l - 5 = j*l for l.
-5
Suppose -28*q + 41 = -127. Solve -h = q - 3 for h.
-3
Suppose 5*l = 20 - 25. Let u be l/(-2) + (15/10 - 2). Suppose f + 10 = 3*o + 2, 0 = 2*o + 5*f - 28. Solve u - 16 = -o*t for t.
4
Let x(f) be the first derivative of f**4/4 - 22*f**3/3 + f**2/2 - 18*f + 3. Let m be x(22). Solve -3*q - m = q for q.
-1
Let n be -3*(1 - 51/9). Suppose -2 = 5*y - 3*s, y - n = -2*y - 2*s. Solve y*k = 6*k for k.
0
Suppose -2725*d + 2727*d - 100 = 0. Solve 45*h = d*h - 10 for h.
2
Let r(z) = 29*z + 5. Let k be r(0). Solve -1 = -2*b + k for b.
3
Let h(f) = 5*f + 26. Let r be h(-4). Solve r = -b + 2 for b.
-4
Let c(d) = d**3 + 10*d**2 + 8*d - 1. Let u be c(-9). Suppose 5*v = 4*b + 10 - 26, -2*b + u = v. Suppose v = -3*i + 6. Solve -3*o + i = -o for o.
1
Let c be (-2)/(-6) + (-1034)/(-66