= 2*x + f, -34 = -3*o + 2*x. Solve o = b + b for b.
5
Let y = 1 + -1. Let z be (-1)/(-1)*(-65)/1. Let g be 12/10*z/(-26). Solve y = -g*s + 7*s - 8 for s.
2
Let p be 252/90*20/14. Solve -p*i - 3 - 5 = 0 for i.
-2
Let d be (-490)/(-18) - (-6)/(-27). Let k = -27 + d. Let p = 2 - k. Solve 4*z - 5*z = -p for z.
2
Let y = 1912 + -1912. Solve y = -37*v + 14*v for v.
0
Let s = -205 + 222. Solve -4*q - s = 3 for q.
-5
Suppose 0*i - i + 4 = 3*r, -2*r = -i + 4. Solve -i*y - y = 10 for y.
-2
Let b(r) = -2*r - 2. Let h be b(-4). Let n = -42 - -45. Solve n*v + 6 = -h for v.
-4
Suppose -5*a - 2*z - 10 = 0, -4*a + 10*z = 5*z - 25. Suppose v - 6*v = a. Let r(u) = u**2 + 3. Let b be r(v). Solve -b*i + i - 4 = 0 for i.
-2
Suppose -7*p + 23*p + 512 = 0. Let w = 36 + p. Solve -7*c = -w*c + 6 for c.
-2
Let h(f) = 2*f**2 - 4*f - 2. Let t be h(-1). Let v(o) = -6*o - 1. Let w be v(-1). Suppose -j = -7 + 1. Solve -w*l - j = t for l.
-2
Suppose -2*n - 19*w = -16*w - 7, 0 = -5*w + 5. Solve -n*c - 6*c - 40 = 0 for c.
-5
Suppose -4*f = 3*j + 85, 6 + 9 = -j - 4*f. Let t = 44 + j. Solve 2*k + 1 + t = 0 for k.
-5
Let q = 18 - 16. Suppose 5*r - n - 37 = r, -r = n - 8. Solve -v - r = q*v for v.
-3
Let z be (-6)/((-3)/(-6) + -2). Let o be (-1)/(-4) + 30/40. Let k be o*(60/5)/z. Solve w + 2*w = k for w.
1
Let s = 1725 - 1720. Solve 0 = -s*f - 10*f - 15 for f.
-1
Let j be 2/(-8) - 75/(-12). Let f be (-2 + 4)/(j/9). Suppose f*h + 2 + 14 = 5*i, 0 = -5*h + i + 10. Solve -h = -m - 5 for m.
-2
Suppose -66*g + 78*g = 60. Solve -g*k = -8*k - 12 for k.
-4
Let s be -20 + (1 + -2 - 3/(-3)). Let b = s + 22. Solve 2*m - m = b for m.
2
Suppose 2*t - t - 42 = 0. Let m = t + -18. Let p = 28 - m. Solve 3*j + p = -j for j.
-1
Let i(y) = 7*y + 98. Let m be i(-13). Solve 0 = 10*s - m*s for s.
0
Let r(o) = o**3 + 7*o**2 - 7*o + 7. Let y be -1 + -6 - (-1 + 2). Let p be r(y). Let w(t) = -13*t - 1. Let a be w(p). Solve -j - 3*j = -a for j.
3
Let r = 90 - 87. Let i be (-2 + 7/r)*0/2. Solve i = -g + 3*g - 2 for g.
1
Let v(w) = 2*w - 4. Let k be v(-4). Let q be ((-4)/(-6))/((-2)/k). Suppose q*h = 3*h. Solve -r - 1 = -h*r for r.
-1
Let b = -150 + 150. Solve -y = -4 - b for y.
4
Let x(w) = -w**2 - 10*w + 25. Let m be x(-15). Let d = -48 - m. Solve -2*n = -4*n - d for n.
-1
Suppose k = 3*x - 18, 5*k = 3*x - 0*x - 30. Suppose 0*f + x*f - 10 = 0. Solve -f = 2*y - 8 for y.
3
Let x = 0 - -1. Let m be 1/(-2)*-2 - x. Let i = -2 - -14. Solve 4*a + m = i for a.
3
Let k = -815 - -815. Solve -8 = -k*f - 2*f for f.
4
Suppose 0 = 2*g + q + 2, -q + 10 - 12 = 3*g. Solve 2*s + g = -2 for s.
-1
Suppose -2*s = -6 - 14. Solve 6*d - s*d = 0 for d.
0
Suppose -45 - 30 = -5*j. Let r = j - -6. Suppose r*x = 18*x + 9. Solve q + x = 4*q for q.
1
Let g be 7/(-28)*(-176)/14*7. Solve -3*m + g = 37 for m.
-5
Let z be (-7)/3*1947/(-413). Solve z = 22*q + 55 for q.
-2
Suppose 3*f + 10 = 28. Solve -39 = -f*s - 15 for s.
4
Let z(r) = 5*r - 7. Let c be z(-7). Let t = c - -45. Solve t*k + 0*k = 12 for k.
4
Let r be ((-4)/3)/((-4)/18). Let a be (-8*1)/(-8 + r). Suppose -a*f + 16 = 3*t, -4*f + 6 = -2*t - 10. Solve 2*n + f = 6*n for n.
1
Suppose 3*z - 4 + 1 = 0. Suppose -6 = -5*l - z. Let a be (-18)/27*(-9)/2. Solve l = -a*o - 5 for o.
-2
Let c be (5/2)/5*(4 - 4). Let l(g) = -9*g - 16. Let f be l(-6). Let v = -13 + f. Solve -5*a + v = -c*a for a.
5
Suppose -6*t + 8 = -10. Solve 0*a + t*a = -0*a for a.
0
Let k be 3/(-5) - 56/(-35). Suppose 3*w = -3*i + 5*w - 2, 2*i - w = -k. Solve i = r - 4*r for r.
0
Let p = -66 - -33. Let i = p + 34. Solve 4 + i = 5*k for k.
1
Let q(n) = -286*n - 11. Let g be q(-8). Let f be 4/(-7) - g/(-77). Suppose -6*w - 5 = -f. Solve 4*h = 24 - w for h.
5
Let v be -1*1*-2*1. Suppose h + 2*z - 4 = 0, 3*z = -h - 3*h + 16. Suppose -4*n = p - n + 2, -4 = p + h*n. Solve p*f - v = 2 for f.
1
Suppose 9*x + 48 = 2*t + 4*x, -5*t + 90 = -5*x. Solve -12*y + 5*y = -t for y.
2
Let w(p) = p - 5. Let q(b) = 3*b - 11. Let g(t) = 3*q(t) - 7*w(t). Let n be g(3). Suppose 0*o + o - 6 = 0. Solve 0 = o*x - 2*x - n for x.
2
Let c(m) = m**3 - 5*m**2 + 6*m + 4. Let z be c(3). Suppose -n + 0*n = 0. Solve -z + n = u for u.
-4
Let b(o) = -o**2 + o. Let l(a) = 6*a**2 + 6*a - 6. Let u(s) = -4*b(s) - l(s). Let v be u(-5). Solve -v*r - 20 = -r for r.
-4
Let o(y) = -2*y - 2. Let p be o(-2). Suppose -p*n - 3*g = 15, -2*n + 4*g + g = -25. Let m be 13/39 + 16/6. Solve 5*d + m - 8 = n for d.
1
Let s = -43 - -43. Solve -5*q + 20 = -s*q for q.
4
Let r = -26 + 15. Let x be 74/6 - 8/(-12). Let f = x + r. Solve 0 = c + f*c + 6 for c.
-2
Let i = 335 - 330. Solve -5 = -5*z + i for z.
2
Let p(x) = 3*x**2 - 7*x - 1. Suppose y + 4*v - 6 = 19, 3 = v. Let d = -10 + y. Let n be p(d). Solve -n*r = -2*r for r.
0
Suppose -3*d + 51 = -39. Suppose -s - s = 3*c - 24, 3*s - d = -3*c. Suppose -k + s*k = 35. Solve -k*r + 4 = -3*r for r.
1
Suppose 2*t = -2*t + 2*c + 36, -t + 4 = 2*c. Let q be (-2)/6 + t/(-3). Let l be q/9*(-18)/2. Solve l*y = 4*y + 1 for y.
-1
Let f = -142 - -154. Let j(d) = d**3 - 13*d**2 + 9*d + 38. Let q be j(f). Suppose 2*v = -5*g - 7, 0*v - v - 3*g - 5 = 0. Solve 4*y - v = q*y for y.
2
Suppose -2*v + 6 = v. Let i(l) = 3*l - 9. Suppose 3*q = 7 + 14. Let j be i(q). Solve v*x + j = -x for x.
-4
Let u(s) = -2*s**3 - 7*s**2 + 4. Let r be u(-4). Suppose -9*l = -13*l + r. Solve -11 - 14 = l*p for p.
-5
Let f = -121 - -123. Let a(k) be the third derivative of 13*k**5/60 - k**4/24 + k**2. Let q be a(1). Solve 6*t + q = f*t for t.
-3
Suppose 14*i - 4*i - 10 = 0. Let m be ((-5)/20*-5)/(i/4). Solve 0 = m*d - 4*d for d.
0
Let j(a) = 2*a**2 + 6*a - 6. Let z be j(-9). Let d = -60 + z. Suppose -8 - d = -5*c. Solve -5*t = -c*t for t.
0
Let h = 115 - -50. Suppose h*d + 4 = 167*d. Solve -2 = -l + d for l.
4
Let m(z) = -z**3 + 11*z**2 - 7*z - 15. Let c be m(10). Suppose 2*u - c = -u. Solve u*k - k - 12 = 0 for k.
3
Suppose 2*v - 2*k - 41 = -11, -k - 45 = -4*v. Solve -v*m = -6*m for m.
0
Let c be (-5)/(6 - 3 - 4). Suppose -3*s - c = -41. Suppose -2*g = 4*y - 10, -4*y + 2*y + g + 15 = 0. Solve 2*m = y*m - s for m.
4
Suppose -4*z + 3*g + 487 + 37 = 0, 4*g - 496 = -4*z. Solve z = c + 124 for c.
4
Let w be -4*((-38)/8 + 4). Solve 6*v + 9 = w*v for v.
-3
Suppose 7*f = -19 - 44. Let d = -6 - f. Solve d*i = 6*i + 6 for i.
-2
Let j = -1666 - -1730. Solve j = -7*u + 64 for u.
0
Let r(y) = y**2 + 17*y + 18. Let p be r(-16). Solve 4 + 0 = -p*l for l.
-2
Let t(a) = a**3 - 5*a**2 + 4*a + 3. Let u be t(4). Let p = 3 + 2. Suppose 3*w - 2 = -3*y + w, -5*w + p = -y. Solve -2*q - u*q + 25 = y for q.
5
Let z(t) = t + 11. Let o be z(-5). Suppose -5*n + f - 174 = 0, 5*n = 2*f - o*f - 154. Let m = n + 36. Solve 0 = m*x - x + 1 for x.
-1
Let r(x) = -x - 6. Suppose -5 = -3*t + 2*i, -10 = -5*t - i + 4*i. Let d be (-2)/t - (-297)/(-45). Let f be r(d). Solve m - 4 = f for m.
5
Let t = 93 - 90. Suppose -t*h = 0, 2*k - 4*h = k + 6. Solve -k = -4*l - 2 for l.
1
Suppose 3*m = m. Let n be -10 - -10 - (m + -3). Solve 0 = -n*p + 5*p + 8 for p.
-4
Let x(p) = p**2 - 5*p + 4. Let l be x(8). Suppose 4*k + 0 = l. Solve k*b + 10 = 2*b for b.
-2
Let p = -7 + 7. Suppose 4*k - 8 - 4 = p. Solve h = -k*h + 20 for h.
5
Suppose 2*g + 15 = 7*g, q + 2*g - 42 = 0. Solve 12*n - q = 3*n for n.
4
Let z(y) = -3*y**2 + 37*y - 8. Let d be z(12). Solve 5*m - 6*m = d for m.
-4
Suppose -3*m - d - 4*d - 28 = 0, 4*m - 3*d = -18. Let w be (-2)/(-3)*(-12)/(-8). Let c = w - m. Solve c = -3*p - 5 for p.
-4
Let d(j) = j**2 + 9. Let l be d(0). Let c(k) = 3*k + 3. Let b be c(0). Solve 4*a = -b - l for a.
-3
Let a(f) = 2*f**2 + 10*f + 12. Let x(k) = -2*k**2 - 11*k - 12. Let j(o) = -2*a(o) - 3*x(o). Let i be j(-6). Solve i*r + 9 = 3*r for r.
-3
Suppose -7*t + t - 108 = 0. Let r be 35/11 - t/(-99). Suppose 5*c + 10 = 2*o, 0*c - 20 = -4*o - 3*c. Solve -o*q - 2 = r for q.
-1
Suppose 2*q - 12 = -q. Suppose j + 3*g = 15, 0 = -q*j - 0*j + 3*g. Suppose u + 21 = 5*t + j*u, -t + 4*u = 9. Solve 6*n + t = 3*n for n.
-1
Let l be 4*(-4)/(-8) - (0 - 3). Solve -l*o - 4 + 24 = 0 for o.
4
Let f(w) = w**3 - 7*w**2 + 6*w + 4. Let h be f(6). Suppose h - 10 = -2*z. Suppose 4*o = u + 7, 0 = 5*o - z*u + 6*u - 13. Solve -3*n = o*n for n.
0
Let d(i) = -65*i + 144. Let r be d(2). Solve -r*n + 10 = -19*n for n.
-2
Let t(f) = 2*f**2 - 117*f - 1137. Let b be t(67). Let m(o) 