2*a. Solve a = -f + 3*f + 2 for f.
-1
Let s be ((-86)/(-8))/((-4)/(-16)). Suppose 2 = -s*f + 44*f. Solve 3*b + f*b - 25 = 0 for b.
5
Let t = 236 - 231. Solve 6 = d + t for d.
1
Suppose 10*k - 100 = 5*k - 3*g, -2*g = 0. Solve 12*m - k = -80 for m.
-5
Let f = -117 - -125. Solve f*q - 35 = q for q.
5
Let a = -132 - -136. Solve 0 = b - a - 0 for b.
4
Suppose -21 = -44*h - 21. Solve h = -11*f + 7*f - 4 for f.
-1
Let t = 87 + -87. Solve t = -13*w + 8*w - 25 for w.
-5
Let x(p) = -p**3 - 3*p**2 - p. Let h be x(-4). Let z = 1066 - 1063. Solve -8*j = -z*j - h for j.
4
Let v be (35 + -35)/(-1 - 3). Solve v = -5*f - 10 for f.
-2
Suppose c - 3*s - 25 = 0, -5*c + 65 = -4*s - 16. Solve 21*w = 8*w + c for w.
1
Let h be ((-236)/(-177))/(1/3*2). Suppose -4 = -3*l + l. Suppose 0 = l*r, h*u - 2*r = u + 3. Solve -u*c + 0 = 3 for c.
-1
Let r = -20 + 46. Let u = r - 18. Suppose -u + 2 = -j. Solve b - j*b + 5 = 0 for b.
1
Let r be 0/(4/(-8)*-2). Solve -j + 5*j = r for j.
0
Suppose -3*p + 4*j + 16 = -21, 3*p + 5*j = 1. Solve -p*d = -4*d - 12 for d.
4
Let n be 0 - (-2*1)/2. Suppose 0 = -411*o + 409*o + 8. Let l = o - n. Solve 7*z - l*z = 0 for z.
0
Let g(s) = -2*s**2 - 9*s - 6. Let i be g(-2). Solve b = 3*b - i for b.
2
Let n(q) = 2*q**2 - 7*q + 5. Let i be n(5). Let g be 16/(-6)*(-51)/4. Let v = g - i. Solve -5*m + v = -11 for m.
5
Let r = 79 + -69. Solve -r*h + 4 = -14*h for h.
-1
Suppose -3*v = -4*s + 36 - 11, 0 = -s - 5*v - 11. Suppose 7 = s*a - 11*a. Let h be (a + -1)/(32/(-48)). Solve b = -h - 0 for b.
-3
Let p = -7 - -9. Let i be 1 + p + 3 + -3. Suppose -5*h = 2*k + i, 0 = -4*k + 6*h - 2*h + 36. Solve -x - k = 2*x for x.
-2
Let q be (-306)/15 - (-4)/10. Let j be (-250)/q + 6/(-4). Let g = 18 - j. Solve 2*y + 1 = g for y.
3
Let a = 2049 + -2046. Solve -16 + 28 = -a*h for h.
-4
Let d(c) be the second derivative of -c**4/12 + 4*c**3/3 - 7*c**2/2 - 4*c. Let k be d(7). Suppose k*n - 3*n = 0. Solve g - 7 + 2 = n for g.
5
Let q(c) be the third derivative of -c**6/120 - c**5/10 - c**4/8 - 4*c**3/3 - 2*c**2. Let x be q(-6). Let m = 11 - x. Solve -m = 2*n - 3*n for n.
1
Let m(t) = -t**2 - 18*t - 31. Let b be m(-16). Suppose -3*y = -w - y + 5, 0 = w + 2*y - b. Solve -w*j + 11 = -1 for j.
4
Suppose 3*g = -20*d + 18*d + 236, g - 64 = 3*d. Solve -g*a + 12 = -80*a for a.
-3
Let p = 2304 - 2295. Solve -p*h + h = 8*h for h.
0
Suppose 0*r = 4*r - 2*i, -5*i = 0. Suppose r = 10*b - 21 - 19. Solve 0*q = -b*q - 20 for q.
-5
Suppose 3*x = 4*x - 6. Let p be (-29 + 5)/3 + 33. Solve 11*t + p = x*t for t.
-5
Let y(l) = 2*l + 15. Let t be y(-8). Let k be (t/(-2))/(2/20). Suppose -k*v + 30 = -30. Solve -5*f - 32 = -v for f.
-4
Let l be (-2668)/(-74) + (-274)/5069. Solve -l = 9*z - 9 for z.
-3
Let a(p) = -6*p**2 + 5*p**2 + p**2 + 2 + p**2. Let z be a(-2). Solve 5*k - 21 = -z for k.
3
Suppose 2*a - 12 = -3*v, -2*v + 3 = -11*a + 14*a. Solve -v - 18 = 12*u for u.
-2
Let u = 308 - 247. Solve 0 = 2*b - u + 71 for b.
-5
Let z be 144/60*(-1 - -11). Solve 5*m + z = 29 for m.
1
Let v(f) = -2*f + 7. Let p be v(4). Let y(g) = g. Let r(l) = -l**3 + 11*l**2 - 4*l - 11. Let h(w) = p*r(w) - 5*y(w). Let m be h(11). Solve -6*n + 4*n = m for n.
0
Let i be 1/((-1)/(-13)) + (-359 - -364). Solve 20 = -13*a + i*a for a.
4
Let u(k) = 10*k**2 + 18 - 50 - 2*k - 27*k**2 - k**3. Let c be u(-17). Solve 0 = s + 3 - c for s.
-1
Suppose -1 = 7*y - 29. Solve 6 = y*t - 2*t for t.
3
Let y be (-8 - -4)/(3 + -5 + 1). Let r be 18/(-6)*(1 + -2). Suppose -2*g = r*l - 2, -2*g - 2*g - 8 = 0. Solve -l*v + y = -0 for v.
2
Suppose 0 = 5*i - 3*k - 18, 0*i = 3*i - 5*k - 14. Suppose 5*m + 4*o = 3*m - 8, -o = i. Let n be ((-4)/(-1))/(4 - 2). Solve -n*b = m*b for b.
0
Let i(z) = 9*z + 47. Let y be i(-5). Let n(o) = -9*o**2 - o - 1. Let r be n(2). Let q be r/(-9) + 2/3. Solve -3*g - y*g = q for g.
-1
Let o = 2 + 7. Let t = o - 6. Let y = 18 + -10. Solve -t*z + y = z for z.
2
Let k = 135 + -45. Let c = k - 89. Solve 2*u + c = 3*u for u.
1
Let y(a) = a**3 + 8*a**2 + 6*a + 1. Let c be y(-7). Suppose 37*v - 21 = 30*v. Solve v = b + c for b.
-5
Suppose -15*u = -17 - 43. Let y be ((-1)/2)/(3/30). Let i be (-1 + u)*(-4 - y). Solve -2*k - i - 5 = 0 for k.
-4
Let v = 14 + -10. Suppose 0*g + 4 = 2*g. Let y be (-9)/((-648)/(-32))*(-18)/4. Solve g*o - v*o - y = 0 for o.
-1
Let l(p) = -p**3 + p**2 + 7*p. Let o be l(3). Solve -o*y = 5*y for y.
0
Let t be (-6)/(-15) - 12/30. Suppose -f - 2 + 4 = t. Suppose 0 = -w + 3*w - f. Solve 4*q = 3 + w for q.
1
Let f = -3 - -7. Let p = f - -3. Suppose l + 4 = p. Solve 0 = -c - 2*c - l for c.
-1
Let r be 2 - 10/(-2 - -7). Suppose 5*h - 55 = 5*n - r, 5*n - 5 = h. Solve -o + h = -4*o for o.
-5
Suppose -4*c + 6 + 10 = 0. Suppose 28 = 4*z + c. Solve 0 = -5*f - 4 - z for f.
-2
Let i be (-22)/(-6) + 14/42. Solve i = 2*u - 6 for u.
5
Suppose 4*s - 139 - 53 = 0. Let a be (-348)/s + 1/4. Let g = a - -10. Solve 0 = -g*c + 1 + 14 for c.
5
Let w(d) = 15*d. Let h be w(-7). Let b = -21 - h. Suppose -120 = -5*n - 5*c, -5*n = -2*c - 2*c - b. Solve -2*j = 3*j + n for j.
-4
Let o(k) = k**2 - 48*k + 325. Let x be o(8). Solve 4*r - x = -1 for r.
1
Suppose a + 31 = -0*o + 2*o, -5*a - 4*o = 85. Let u = a + 24. Solve 0 = 2*i - 1 - u for i.
2
Let q be 96/60*10/4. Suppose -4*z + 2 = -5*u, -q*u + 5*z - 9 = -2. Solve u*r - 3 = -13 for r.
-5
Let z(t) be the second derivative of -3/2*t**2 - 1/12*t**4 + 2/3*t**3 + 0 - 2*t. Let h be z(3). Solve h = -3*c - 3 + 18 for c.
5
Let s = 1588 - 1585. Solve 0*z + s*z = 12 for z.
4
Suppose 13*x = 19*x - 12. Let u(a) = -a**2 - 9*a - 8. Let v be u(-6). Let w(l) = -l**2 + 11*l - 5. Let f be w(v). Solve 3*q + f = -x*q for q.
-1
Suppose 2*f + 96 = -4*o, o - 3*o - 44 = 2*f. Let i = o - -49. Suppose 2*g - 7*g - i = -2*z, 4*z - 3*g - 25 = 0. Solve z*y + 12 = -0*y for y.
-3
Let n = -20 + 37. Let q = n + -11. Suppose -4*y = -4*w - 12, -y + q*y - 15 = -w. Solve x = y*x for x.
0
Suppose f - k + 3 = -f, -2*f - 3*k = -9. Let n be f/((0 - 2)/(-2)). Solve m + 5 = -n*m for m.
-5
Let q(k) = 4 - 3 - k - k. Suppose h + 2 = -0. Let n be q(h). Solve -3*r = n + 4 for r.
-3
Suppose 0 = 4*s + 4*p + 4, -8 = -s + p - 3. Let o be s*(-4)/16*-6. Suppose 8 + 4 = o*u. Solve 5*l + 6 = -u for l.
-2
Let o be (-12)/(-9) + (-508)/12. Let m = -40 - o. Suppose 0 = -5*w - 2*x + 22, 0 = -4*w - 4*x + x + 19. Solve -w*s + m = -11 for s.
3
Let y be (2/(-2))/((-12)/(-120)). Let k = y - -14. Let h(b) = b**2 - 1. Let t be h(1). Solve k*f = -t*f for f.
0
Let g be (-4 + 4)*6/((-72)/3). Solve g = 4*w - 3 + 7 for w.
-1
Suppose 0 = 4*j - 0*j - 40. Suppose 0 = 5*b + 5 - j. Solve 0 = -f - 4 + b for f.
-3
Let p be (0/((-2)/2))/1. Let r be (-104)/(-28) - 4 - ((-1380)/(-35))/(-12). Solve 5*l + 2 + r = p for l.
-1
Let j = 61 - 58. Let x(r) = -r**2 + 15*r - 5. Let u be x(14). Solve -u = -j*c - 0*c for c.
3
Suppose 0 = 3*o + 3*g, 3*g + 21 = 4*o - 0*g. Suppose -o*j + q = j - 4, 0 = 3*j - 5*q + 14. Solve -l - j*l = -6 for l.
2
Let b(k) = k**2 - 9*k + 11. Let p be b(6). Let t(g) = -g**3 - 6*g**2 + 6*g - 3. Let i be t(p). Solve -m + i = -0*m for m.
4
Let i(p) = -p + 9. Suppose 4*z + 0 - 16 = 0. Suppose 0 = r - z. Let j be i(r). Solve f - j = -2 for f.
3
Suppose 21*d + 5*d = 0. Solve d = 7*o - 14*o + 14 for o.
2
Let o = -113 - -118. Let t(p) = 2*p + 5. Let c(h) = h + 5. Let x(r) = -3*c(r) + 2*t(r). Let s be x(o). Solve s*l = -l for l.
0
Let m be (-141)/(-94) - (2 + (-14)/4). Solve -4*v + m = 7 for v.
-1
Let j be 6/(-3) + (-5 - -12). Let u(w) = -w**2 - 7*w - 3. Let r be u(-5). Solve -j = 4*z + r for z.
-3
Let z be (-18)/(-21)*1/(6/42). Solve 5*m = -4 - z for m.
-2
Suppose 24*l - 402 = -114. Solve 5*c + 8 = -l for c.
-4
Let g(f) = 6*f**2 + 7*f - 3. Let h(v) = -5*v**2 - 6*v + 2. Let o(z) = -4*g(z) - 5*h(z). Let p be o(-3). Let b = -3 + p. Solve 3*a - 15 = -b*a for a.
3
Let z(y) = -2*y**3 - 8*y**2 + 2*y + 13. Let a be z(-4). Solve -3*j = -a*j + 10 for j.
5
Let u = 138 + -110. Suppose 0 = 11*o + 3*o - u. Solve -3*n = o*n for n.
0
Suppose 9*a - 8 = 5*a, 4*a = -2*x + 24. Solve x*o - 6*o - 2 = 0 for o.
1
Suppose 5*f + 0*s = -2*s - 9, 3*f - 7 = 5*s. Let j(x) = 3*x**2 + x. Let y be j(f). Solve 0 = -u + y*u - 5 for u.
5
Let n be 144/45 - 7/35. Solve -9*t - n = -12 for t.
1
Let g(b) be the second derivative of 0 + 6*b - 1/20*b**5 + 11/6*b**3 + 5/6*b**4 + 6*b**2. Let p be g(11). 