0 = -g*l + 5*f + 16. Solve 0 = s + 2*s - l for s.
1
Let w be 1/(-3)*0*2/(-12). Solve 24 = -6*c - w for c.
-4
Suppose 4*a = -25 + 37. Solve -3*s = -a - 0 for s.
1
Suppose 5*f - 2*f = 36. Suppose -f = n + n. Let l be 18/5*(-15)/n. Solve -3*o - l = 6 for o.
-5
Let k = 159 - 108. Let w be (-4)/34 - (-516)/k. Solve -6*l + l - w = 0 for l.
-2
Let i(r) = 18*r + 38. Let h be i(-2). Suppose 0 = 3*f - 31 + 7. Let t = f + -3. Solve -3 = -t*j + h*j for j.
1
Let r(g) = -6*g**3 + g**2 - 3*g - 2. Let n be r(-2). Let j = n + -44. Solve -3*d = -0*d - j for d.
4
Suppose -z + 65 = 5*v, -3*z + 15 - 2 = v. Suppose -3*o + 10 = i, 4*o - v + 1 = -i. Solve -i*j = -j for j.
0
Let k = -24 + 48. Let g = -23 - -38. Let t = k - g. Solve t = 3*p - 3 for p.
4
Let t be (-20)/(-100) - (-2)/(-10). Suppose -x + 0 + 3 = t. Solve -v = x - 4 for v.
1
Let o be 10/(-35) + 48/21. Suppose 0 = 3*h + 2*h - 35. Let r(y) = -y + 7. Let a be r(h). Solve -o*z - 1 + 3 = a for z.
1
Let v(j) = 5*j + 53. Let w be v(-10). Let b be (-4)/(-14) - 40/(-56). Suppose 4*s + 0*q - 5 = 5*q, 0 = 3*s + q + b. Solve s = -w*d + 2*d for d.
0
Suppose 13*l = 3*q + 11*l - 48, 11 = q + l. Solve 2*o + q = 8 for o.
-3
Let v = 421 - 421. Suppose -3*n + m + 4*m = -10, -n + 2*m + 4 = 0. Solve -a + 1 + n = v for a.
1
Suppose 0 = -2*k + 8*k - 24. Suppose 19 + 1 = k*g. Solve 12 = g*v - v for v.
3
Suppose 3*l - 132 + 36 = -3*s, -3*s = -2*l + 39. Solve l - 15 = -3*p for p.
-4
Let o(y) = 2*y**3 - 17*y**2 - 10*y + 9. Let a be o(9). Let s = 7 - 4. Solve a*c - 9 = s*c for c.
-3
Let y = 4 - 2. Let s(w) = -2*w - 2. Let c be s(-2). Let g be (c/4)/(1/10). Solve y*r + g = r for r.
-5
Let b(v) = -v**3 - 12*v**2 - 8*v + 37. Let z be b(-11). Solve r - z + 6 = 0 for r.
-2
Suppose -g + 2*w + 13 = 0, -4*w = 6*g - 3*g - 9. Let f(c) = c**3 - 7*c**2 + c - 5. Let o be f(7). Solve o*d + 1 = -g for d.
-4
Let d = -52 - -53. Let m be (-35)/14*(-8)/10*d. Solve m*t = -2 + 6 for t.
2
Suppose 0*v - 3*f = 5*v, 0 = -5*v - 2*f. Solve v = -57*w + 52*w + 25 for w.
5
Let i = -4 - -4. Suppose i = 6*g - g. Suppose 0 = u - f + 1, -5*u = -0*u + 4*f - 22. Solve 3*d - d + u = g for d.
-1
Let l(p) = p**3 - 8*p**2 - p - 1. Let t be l(8). Let h be (-3)/t*3*-11. Let r = h - -16. Solve 5*i = 4*i - r for i.
-5
Suppose 0 = -12*k + 8*k - 3*r + 35, 3*r = -k + 20. Solve 3*d + k*d = 0 for d.
0
Let y(m) = -4*m**3 + 2*m**2 - 3*m. Let z(f) = -7*f**3 + 5*f**2 - 7*f - 1. Let t(o) = -5*y(o) + 2*z(o). Let a be t(1). Solve r = a*r - 16 for r.
4
Let k = 178 - 174. Solve -k*b - 7 = -3 for b.
-1
Let t(s) = s**3 + 11*s**2 + 6*s - 9. Let n be t(-10). Let q be n/5 - 7/35. Suppose -12 = -i - 3*c, -i + 2*c + q = -c. Solve -4*w + i = -3 for w.
3
Suppose 41 + 239 = 20*w. Solve -39 = t - w*t for t.
3
Let a be 1548/(-430)*10/(-4). Solve -18*t = -a*t for t.
0
Suppose 11*o = 58 - 3. Suppose -5 - o = -5*g. Solve -k = -g*k for k.
0
Let h = -672 - -702. Let i = -5 + 9. Suppose i*d - 3*k = h, -5 - 5 = 5*k. Solve d + 2 = -2*u for u.
-4
Suppose 4*m - 3*m - 2 = 0. Suppose -m*s - 2 = -3*s, -5*q - 2*s = -19. Solve -7*f + 20 = -q*f for f.
5
Let z(n) = -n**3 - 12*n**2 - 34*n + 4. Let f be z(-8). Solve -25 = f*r - 15*r for r.
-5
Let y(v) = 4 - 4 + v**3 - v + 3. Let x be y(0). Suppose 29 = 4*q + 5*l, -x*l + 7*l = 2*q + 18. Solve -n + 5 = q for n.
4
Let o(c) = -7*c - 18. Let f be o(-4). Solve f = -a - 4*a for a.
-2
Let r = -138 - -143. Solve 1 - r = 4*j for j.
-1
Let j = 2167 + -2161. Solve -5*q = -j*q for q.
0
Let n = 358 + -355. Solve n*j + j = -8 for j.
-2
Suppose 2*g = -5*l + 13, 5*g - l - 2 - 17 = 0. Let w(n) = 4*n**3 - 14*n**2 - 5*n + 3. Let c be w(g). Solve 0 = 5*p - 2*p + c for p.
-5
Let n(y) = 2*y**3 - 32*y**2 - 64*y + 1027. Let a be n(16). Let m(d) = -d**3 - 7*d**2 - 9*d - 6. Let w be m(-6). Solve a*v - w = -v for v.
3
Suppose 5*u = -15, 39*s - 44*s + 3*u = -24. Suppose -3 = -4*o + 3*o. Suppose 0 = -2*h + r + 2, -h - o*h + s*r = 0. Solve -2*j + h = 1 for j.
1
Suppose -2*y + m + 43 = 4*m, -4*y - 2*m = -66. Let g = -3 + y. Suppose 5*s + 22 = j - 2*j, 0 = -2*j + s + g. Solve q = j*q for q.
0
Suppose -63*d - 20 = -68*d. Let p be (18 - 16) + (d - (0 + 1)). Solve -2*u = 3 + p for u.
-4
Let k be 0 + -4 + 1 - -5. Let i(m) = 0*m + 1 - 7 + 2*m. Let j be i(5). Solve 3*l - j = k*l for l.
4
Let p be ((-144)/(-80))/((-3)/(-5)). Let d(o) = o**3 - 3*o**2 + 2*o - 4. Let c be d(p). Solve -c*y + 4*y = 2 for y.
1
Suppose -2*j + 35 - 31 = 0. Suppose -3*i - o = j*i - 44, -4*o + 14 = 2*i. Solve -5*b - i = 6 for b.
-3
Let w(k) = -k**3 - 6*k**2 - 2*k - 4. Let h be w(-3). Let l be (-3 - -3)*(-5)/h. Solve 14*b - 11*b - 12 = l for b.
4
Suppose 0 = -3*v - 5*z - 4, -5*v = -2*z + 2 - 16. Solve -v*y + 3*y = -2*y for y.
0
Let h = -50 - -40. Let o be h/4*88/(-55). Solve -o*a + 8 = -12 for a.
5
Suppose -51*d + 1206 = 16*d. Solve 0 = d*x - 8*x + 10 for x.
-1
Suppose 0 = 2*g - 2, 0*g + 13 = 3*w + 4*g. Suppose 0*f = -5*f + 3*u + 20, -f = w*u + 14. Solve -16 + f = 3*k for k.
-5
Suppose 4*f = -3*k - 1 - 5, 0 = -5*f - k - 13. Let r be (-1 - -3) + f + 3. Let q be -2*r/(-4)*2. Solve l = -q*l for l.
0
Let i(d) = -d**2 + 14*d + 21. Let z be i(15). Suppose -4*p - 8 = 2*h - 30, 3*h - 3*p = z. Suppose k - 8 = -q - 2, -h*k = q - 22. Solve r = 2*r + q for r.
-2
Let m be 279/9 - 4/(12/9). Suppose 4*u + m - 40 = 0. Solve -u*l + l + 6 = 0 for l.
3
Let q(h) = 4*h**2 + 0*h - h**3 + 2*h - 7 + h**2. Let x be q(5). Suppose -3*k = -42 - x. Solve -k = 3*b - 6*b for b.
5
Let v(w) be the third derivative of w**4/24 - 10*w**3/3 - 3*w**2. Let m be v(20). Solve m = 3*s - 5*s + 2 for s.
1
Suppose w + 11 = n, -3*n + 5*w + 0*w = -43. Solve y = n*y for y.
0
Suppose 11*z + 2571 = 2626. Solve z*p = -5*p + 16*p for p.
0
Let p be -2 + (-9)/((-9)/13). Solve 8*n - 9 = p*n for n.
-3
Let h be (-236)/(-18) + (-50)/450. Solve -23*c - 30 = -h*c for c.
-3
Suppose 0 = -2*m - 10 + 14. Solve -8*o + 18 = -m*o for o.
3
Suppose -14 = b + 5*d - 35, 3*d + 45 = 3*b. Solve -2*h + 12 = b for h.
-2
Let y be (21 - 27)/((-3)/8). Solve -15*c + 3 = -y*c for c.
-3
Let a(z) = z**2 - 28*z + 196. Let h be a(12). Solve f - h = -6 for f.
-2
Let a(u) = u**2 + 2*u - 33. Let t be a(-7). Solve y + 0 = t for y.
2
Let o be 56/4 + 9/(-3). Let m = o - 6. Suppose 0 = -k + m*k. Solve -a + 5*a + 20 = k for a.
-5
Let i be ((-14)/(-10))/((-4)/(-20)). Let h(s) = -2*s + 14. Let l be h(i). Suppose l = 3*c + 9 - 21. Solve c*n = -n + 10 for n.
2
Suppose 0 = -2*q - 3*q + 95. Let m = 27 - q. Suppose -8*o = -6*o - m. Solve 0 = -o*d + 21 - 1 for d.
5
Suppose 19 = 3*b + 7. Suppose 3*f - 9 = 2*z, 2*z - b*f + 15 = f. Solve z*s = 2*s for s.
0
Let r = 97 - 97. Suppose r = -5*w + 128 - 3. Solve 2*m = -3*m + w for m.
5
Let l(i) = -i**2 - 4*i + 7. Suppose -2*p = -6, 5*w - p + 3*p - 21 = 0. Let g be ((-2)/w)/((-16)/(-120)). Let c be l(g). Solve h - c - 2 = 0 for h.
4
Suppose 10*j - 165 = -5*j. Suppose 10*v = j*v - 41. Solve -v + 16 = 5*n for n.
-5
Let a(y) = y**2 + 3*y. Let u be a(-4). Let d = -91 + 49. Let b = 46 + d. Solve -b*t + 8*t - u = 0 for t.
1
Suppose -4*q = -8 - 12. Solve -12*w = -17*w - q for w.
-1
Let u be ((-33)/9)/((-2)/(-12)). Let l = -2 - u. Let h = -78 + 80. Solve -h*j = 2*j + l for j.
-5
Let q(y) = 5*y**2 + 43*y + 70. Let r be q(-7). Solve 4*n + 18 - r = 0 for n.
-1
Suppose 6*u - 4 = 2. Solve -u + 7 = -2*g for g.
-3
Let t(x) = x**2 + 13*x + 3. Let m be t(-12). Let j be m/(-12) - 27/(-12). Suppose j*f + 6 = 6*f. Solve -f*i = 1 + 1 for i.
-1
Let x be 1/(-7 - (-29)/4). Solve 0 = -x*s + 14*s - 10 for s.
1
Suppose -2*g + 3*z = 4*z - 14, -16 = -4*g - 5*z. Let m = -5 + 9. Solve -y - g = -m*y for y.
3
Suppose p + p = 0. Let y(c) = -c**3 - 2*c**2 + c + 4. Let j(n) = -n**2 + 3*n + 8. Let m be j(5). Let d be y(m). Solve -k + 0 - d = p for k.
-2
Let c be 364/(-10) + 8/20. Let n = c + 22. Let t = 18 + n. Solve 0 = t*a - a - 9 for a.
3
Let v = -13 + 18. Let q(w) be the third derivative of -w**5/60 + 5*w**4/12 + 7*w**3/6 - 7*w**2. Let r be q(10). Solve -r - 13 = -v*g for g.
4
Let z be 3*(4/3)/(-1). Let x(r) = -r**2 - 5*r + 1. Let q be x(z). Suppose 33 = q*l - 3*y, -4*y = -2*y + 2. Solve l = -4*t + 2*t for t.
-3
Let u = -38 + 41. Suppose -4*h + u*k + 15 = 0, h - 7 = 2*k + 2*k. Solve -4*p = -h*p + 5 for p.
-5
Suppose 0 = 4*w + 1 - 9. Let o = -2 + 2. Suppose -5*b + 2*a + 10 = -o*a, -b + 2*a = -w. Solve -b*q + 0 = -2 for q.
1
