Solve 3*f = -w*f for f.
0
Let s(n) = 3*n + 1. Let q be s(3). Suppose -5 - 6 = -5*g + 2*m, q = 5*m. Solve -g*b - 8 = 4 for b.
-4
Suppose 5*y = -2*i + 126, 5*y - 2*y + 3*i - 81 = 0. Suppose 12*f - 4*f = y. Solve 0 = -f*j - 0 - 15 for j.
-5
Suppose -3 = -5*d + 22, -28 = -3*g - 2*d. Let f be (3/3)/(1/g). Suppose x = f*l - l - 11, -2*x - 8 = -3*l. Solve 2 + l = b for b.
4
Suppose -54*h - 260 = -59*h. Suppose 4*w + 13 = -3*x + h, 3*w - x = 13. Solve 0 = w*m - 4*m - 8 for m.
4
Suppose 2*i = 3*m - 7, -2*i = -5*m - 4 + 13. Suppose 4*y = 5*t - 8, -21*y = -23*y + 5*t - 14. Solve m = -y*s + 2*s for s.
-1
Let p = 165 + -165. Solve p*h - 3*h = 3 for h.
-1
Let d(w) = 2*w**2 + 2*w - 4. Let a be d(-3). Suppose 0 = -19*p + 3*p. Suppose 4*r - 5*g - 60 = p, a*g - 3*g + 20 = 2*r. Solve 6*i - r = 2*i for i.
5
Let d be (4/(-10))/((-21)/(-105)). Let a be (2/4)/(d/(-12)). Solve n = a*n + 4 for n.
-2
Suppose -3*n - 8 = -2*u, n - 4*u + 0 = -6. Let a = n - -8. Solve a*v = 3*v for v.
0
Let v(c) = -13*c**2 + 11*c - 139*c**3 + 138*c**3 - 44 - c**2. Let g be v(-15). Solve 0 = 4*z - 0 + g for z.
-4
Let o(v) = v**2 + 1. Let m(t) = -7*t**2 + t - 18. Let a(x) = -m(x) - 6*o(x). Let f be a(0). Solve 8 = 4*d - f for d.
5
Let i be 1*-21*(4/(-12))/1. Solve 0 = -i*h + 2*h + 20 for h.
4
Let y be 62/8 + 9/(-12). Suppose -y = -2*q + 3. Suppose -s - q = -2*s. Solve -1 = m - s for m.
4
Let s = 246 - 234. Solve 2*t + s = -4*t for t.
-2
Let z be (5/2)/(2/(-8)). Let h be (-18)/z - (-1)/5. Solve -h*d = d + 12 for d.
-4
Suppose 3 = -2*c + 15. Suppose -8 = -4*s, 0 = 18*n - 22*n - 3*s + 22. Solve c = -n*z - 14 for z.
-5
Let a be 2 - 1 - (-2)/2. Let r = 0 + 6. Solve 4 = r*m - a*m for m.
1
Let h be (-232)/87*(-102)/8. Solve 0 = -3*r - 43 + h for r.
-3
Let g = -9 - -13. Let f be 24/15*10/g. Suppose -f*t - 3 = -51. Solve -t = -2*p + 6*p for p.
-3
Let g = 962 + -959. Solve g*m + 5 = -10 for m.
-5
Suppose -3*b = -27 + 36, -4*b - 14 = -m. Solve 4*v + m*v + 30 = 0 for v.
-5
Suppose 0 = 2*b + 8 - 0. Let c be (1/4 + 1/b)/(-1). Solve c*o + o + 5 = 0 for o.
-5
Let d = -2 + 7. Suppose -d*c = 2*n - 30, 0*c + n - 1 = c. Suppose -3 = -c*m + 17. Solve 5 = -m*k - 15 for k.
-4
Let y(m) = m**2 - 4*m + 6. Let x be y(0). Solve x*i - 28 - 2 = 0 for i.
5
Suppose 26*z = 17*z + 36. Solve z*k - 4 = 3*k for k.
4
Let z be (-108 - -107)*(-3)/((-3)/(-17)). Solve 12 = -t + z for t.
5
Suppose -288 = -4*j - 5*j. Let t = 35 - j. Solve 0 = t*c - 13 + 1 for c.
4
Suppose -3*q = -j - 8*q - 9, -q = -4*j - 15. Suppose 2*p + 4*z - 2 = 0, -2*p - 2*z = -7*p + 53. Let x = p + j. Solve x*m - 1 = 4*m for m.
1
Let o = 3108 + -3108. Let t = -3 + 7. Solve o = t*f + 8 for f.
-2
Let n(j) = -2*j**2 + 72*j + 237. Let q be n(39). Solve -q*f + f = 8 for f.
-4
Let f be 4 + (-172)/(-16) + 2/8. Solve -26*k - 22 = -f*k for k.
-2
Let h = -350 + 354. Suppose -f - 1 + 3 = 0. Solve -f + h = -2*g for g.
-1
Let z = 156 - 152. Suppose z*w + 2*n = 14, -7 = 3*n + 2. Solve -4*j = -w*j for j.
0
Let m be (-6)/15 + (-40)/(-100). Solve m = -7*r + 10 + 4 for r.
2
Let t be 40/3*(-696)/(-580). Solve 0 = 8*k - 0*k + t for k.
-2
Let z(t) = 2*t + 19. Let d be z(-15). Let b = d - -16. Suppose -2*y = -1 - b. Solve -3 = -y*x + 9 for x.
4
Let j(d) = -8*d**3 + 2*d**2 + d. Let u be j(-1). Solve w - u + 5 = 0 for w.
4
Suppose 3*z = 3*r + 8*z - 40, 5*r - 20 = z. Solve -r*c + 139 = 114 for c.
5
Suppose -4*m = -3*k + 3 + 17, -5*k + 3*m = -15. Suppose k - 135 = -9*j. Solve u - j = -2*u for u.
5
Suppose -5*k = -21 - 4. Suppose -5 = -k*r + 20. Suppose 15*i - 12*i - 48 = 0. Solve w - r*w = -i for w.
4
Let c = 2 - 2. Let d(q) = 2*q**3 - 19*q**2 + 8*q + 13. Let t be d(9). Solve -t*m + c*m = -12 for m.
3
Let c(m) = m**3 + 5*m**2 + m + 9. Let h be c(-5). Solve 3*l - 2 = h for l.
2
Suppose 64 - 56 = 2*w. Let y be (-1)/(2/(-12 + w)). Solve -2*i - y = -0*i for i.
-2
Let l(n) = -n**3 + 7*n**2 + 7*n + 13. Let q be l(8). Suppose -q*k + 16 = 6. Solve -k*o = -o for o.
0
Let k = -1814 - -1816. Solve 10*y - k*y = y for y.
0
Suppose 5*u = 9*u + 160. Let p be 2/5 + 16/u. Solve p = r - 0*r - 2 for r.
2
Let j be 5 - 30/8 - 30/24. Solve -6 + j = 2*n for n.
-3
Let r be 65/(-15) - ((-3)/9)/1. Let y(n) = -13*n - 32. Let p be y(r). Solve 0*l = -5*l + p for l.
4
Let s(t) = t**2 + t - 377. Let g be s(19). Solve g*o - 11 + 23 = 0 for o.
-4
Let s(d) be the first derivative of -d**4/6 - 13*d**3/6 - 3*d**2 + 12. Let a(m) be the second derivative of s(m). Let y be a(-4). Solve y = 4*b - 1 for b.
1
Suppose -3*g - 33 = -31*u + 28*u, 3*u - g = 23. Solve -18 = -6*f + u for f.
4
Let t be -4 - -4*(-2)/(-4). Let g(p) = -9*p - 6. Let h be g(t). Let d be (-2)/6 + (-21)/(-9). Solve -d*c + h = c for c.
4
Let n be 3/7 - (-75)/21. Solve -2*w = -n - 0 for w.
2
Suppose -20*q + 272 = -28*q. Let h = 34 + q. Solve -f + 2 - 4 = h for f.
-2
Let m = -230 + 231. Solve -5*x + 16 - m = 0 for x.
3
Let a = 69 - 71. Let t be a/16 + 410/80. Solve -t*d = 9 - 4 for d.
-1
Let o(b) = -5*b - 5. Let y be o(5). Let c = y + 32. Solve 0 = -2*u + 4 + c for u.
3
Let p(t) = 9*t + 51. Let l(o) = -26*o - 154. Let g(r) = -6*l(r) - 17*p(r). Let q be g(-15). Solve 5 = 13*n - q*n for n.
5
Let g(p) be the third derivative of p**7/5040 - p**6/180 - p**5/15 + p**2. Let t(q) be the third derivative of g(q). Let s be t(6). Solve -2*w = -0*w + s for w.
-1
Suppose -c - 2*p = 0, -3*c - 6*p + 5*p + 25 = 0. Solve -c*x + 7*x = -3 for x.
1
Let q = -338 + 340. Solve -4*s - q = -6 for s.
1
Let n = 9 - 2. Suppose 740 = 125*z - 260. Solve -z*a = -n*a + 1 for a.
-1
Let s = 0 + 4. Let x be s*(2 + (-5)/4). Suppose 3*c - 3 = x. Solve 0*r - 4 = c*r for r.
-2
Let l(u) = -u**2 - 3*u. Let q be l(-1). Suppose -2*k + b = -8, -k + 7*b - 14 = 2*b. Solve 20 = -q*z + k*z for z.
5
Let z = 20 + 3. Suppose -3*a + 3 = -2*f - f, 5*a + 4*f = z. Suppose 0 = -5*c + a*k + 14, 0 = -2*c - c + 5*k + 18. Solve 2*m - m + c = 0 for m.
-1
Suppose -q + 4*q = q. Let l = -4 + 6. Let v = l + 4. Solve q = -p + 4*p + v for p.
-2
Let l(p) = -p + 1 - 9 + 2 + 6*p**2 + p**3. Let u be l(-6). Suppose u*x + 5 = -5*h + x, -20 = 5*h - 4*x. Solve h = -5*t - 25 for t.
-5
Let y be (-2)/5 + 4/(40/54). Solve 3*p = y*p for p.
0
Suppose 5*v = 2*d + 64, 4*v + 2*d - 57 + 13 = 0. Let l = -3 + v. Let x be (-3 + l)*16/6. Solve -4*z + x = -0*z for z.
4
Let b be -5 + 14/(-3) + (-4)/(-6). Let w = 25 + b. Solve -2*o + w = 2*o for o.
4
Suppose 12*t - 28 = 8. Suppose -f + t*p + 2 = 0, 4*p = 4 - 0. Let l(q) = -q**3 - 5*q**2 - 6*q - 4. Let v be l(-4). Solve -1 - v = f*k for k.
-1
Let h(p) = -p**3 + 8*p**2 - p + 11. Let s be h(8). Let z = s - -6. Suppose 10 = 2*o + 4*a, 4*o = 5*a + 3 - z. Solve -j - o = -5 for j.
4
Suppose 0 = -2*h + 2*v + 26, 0*h = -5*h - 2*v + 44. Solve t = -t - h for t.
-5
Suppose -3*g + 3 = 3*l - 6, 6 = 2*g + 5*l. Let j be 0*-3*(-2)/12. Solve j = -a + g*a for a.
0
Let i = 183 + -143. Solve -i*p = -45*p + 15 for p.
3
Suppose 38*h - 825 = 13*h. Solve 29*j - 16 = h*j for j.
-4
Let r(j) = -j**3 - 5*j**2 + j - 5. Let z be r(-5). Let m = z - -13. Let o be m + 3/6*0. Solve o*v - 3 = -0 for v.
1
Let g be -4 - ((-19)/(-76) - 34/8). Solve 4*z - 7*z + 15 = g for z.
5
Let i be (-1)/(-6) + (94/12 - 1). Solve -i = 4*v - 23 for v.
4
Let o be (-4 + (-39)/(-9))/(2/78). Solve -o + 4 = -3*n for n.
3
Let a = -163 - -167. Solve -2 - 6 = -a*n for n.
2
Let f(r) = -r + 3. Let d be f(-13). Let a = 20 - d. Suppose a*k - 32 = 16. Solve -y = -5*y + k for y.
3
Let f(p) = -3*p**3 + 61*p**2 + 43*p - 18. Let x be f(21). Solve 4*z - x*z + 4 = 0 for z.
-4
Let k(z) = z**2 + 9*z - 1. Let c be k(-9). Let f be 8*c*2/(-8). Solve -f*v + 5 = -v for v.
5
Let g(p) = p + 2. Let t be g(2). Let h be t/8 + 2/(-4). Suppose 5*n - 7 - 13 = h. Solve -6*s + n*s = 10 for s.
-5
Suppose 7*u - 10 = 2*u. Suppose -4*n + 2*n = -u. Suppose q - 3*l - 1 = 0, -l + n = 5*q - 4. Solve -1 = -o + q for o.
2
Let c be 5/15 - 136/(-24)*1. Solve -f - c = -4 for f.
-2
Let u(i) = -4*i - 19. Let v be u(-6). Solve 0 = v*r + 1 + 19 for r.
-4
Suppose -6 = -345*k + 343*k. Suppose -49 - 31 = -4*t. Let d = 29 - t. Solve -k*v - d = -0*v for v.
-3
Let t = -155 + 167. Suppose 0*v + p + 8 = 2*v, -2*v + t = -3*p. Solve 3 = 2*x - v*x for x.
-3
Let w = -1238 + 1243. Solve 0*r = w*r - 0*r for r.
0
Suppose -98 = -11*c - 43. Let q = -1 + 1. Solve q*m - m = c for m.
-5
Let w be -5*(60/16 + 3/(-4)). Let j be