 Solve -15 + 35 = -m*f for f.
-4
Let f(j) = -j**3 - 8*j**2 - 17*j - 2. Let a be f(-4). Suppose 0 = -5*l - 3*u - 13, 0 = 3*l - 2*l + u + 3. Let k be (8/(-2))/l + 0. Solve 0 = -k*y - a for y.
-1
Let z be (12/18)/(1/6). Suppose 7 = v + 3, 3*y - z*v + 16 = 0. Solve -25 = 5*n - y*n for n.
-5
Let p(g) = 2*g. Let d be p(6). Suppose d = 2*n + 2. Suppose -n*v - 2*o = -o - 25, -2*v - 13 = 5*o. Solve 5*t - 4 = v for t.
2
Suppose -63*r + 87*r = 72. Let m be (0 - 2) + (4 - 0). Solve 0 = m*o + r*o - 20 for o.
4
Let s be ((-50)/(-56) - (-6)/(-42))*4. Suppose -3*n + 2*n + 5*w + 30 = 0, 30 = s*n - 3*w. Solve 0 = n*b + 10 for b.
-2
Suppose -3*n = 1 - 94. Suppose -n = 5*k + 9. Let i = 10 + k. Solve f + i = -3 for f.
-5
Suppose 0 = -2*s + 2*w + 20, 3*s + 2 - 7 = -2*w. Solve -5*f - 20 + s = 0 for f.
-3
Suppose 3*k - 2*k + 5*o = 36, -69 = -4*k - 5*o. Solve 4*l + k = 23 for l.
3
Let w(i) = -10*i + 32. Let c be w(3). Solve 6*n = 3*n + c*n for n.
0
Let t = 17 + -11. Suppose 0*k = -2*k + t, s = 2*k + 6. Solve -3*j + s = j for j.
3
Let y(g) = g**2 - 6*g - 7. Let o be y(7). Suppose -5*u + 3*j + 51 = 0, 0 = -o*u + u + 5*j - 27. Solve 2*v + u = -v for v.
-4
Let w(t) = -3*t - 5 - t**2 + 3 + 0. Let o be w(-1). Solve 0 = -2*z - o*z - 4 for z.
-2
Suppose -d + 15 = 4*d. Suppose d*o + o - 4 = 0. Let h be (24 - 1) + 176/(-110)*5. Solve 4*s - o = h for s.
4
Let v = 22 + -11. Suppose 184*j - 181*j = 39. Let y = j - v. Solve -3*x = y*x + 10 for x.
-2
Let l(b) = -b**3 + 16*b**2 + 15*b - 23. Let i be l(17). Let z be (-3)/2*304/i. Solve -z*v = -5*v + 9 for v.
-3
Let f be (-3)/(4 - 7)*6. Suppose -f*i - 17 = 43. Let y(v) = v + 11. Let j be y(i). Solve j = -2*w + w for w.
-1
Suppose 2*o = 4*o - 5*s - 3, -s = -3*o + 11. Solve 0*p = p - o for p.
4
Let o(t) = t**2 + 3*t + 31. Let p be o(0). Suppose -u - p + 12 = -2*m, -3*m + 29 = -2*u. Solve w - 4*w = m for w.
-3
Let b be (10/75)/(4/6)*5. Solve -b = -v + 3 for v.
4
Let r be (-3 + 2 + 0)/((-5)/125). Let a(y) = -y**3 + 5*y**2 - y + 7. Let h be a(5). Let o be (9/(-6))/(h/(-8)). Solve o*v - v = r for v.
5
Let a = 904 - 903. Solve 0 = 6*v - a + 31 for v.
-5
Let t = -62 + 41. Let i = t - -21. Solve -x = -i*x for x.
0
Suppose 0 = -5*u + 3*x + 105, 0 = -2*u - 0*u - 4*x + 42. Let w = u + -16. Let l be w + -2 + (-2 - -1). Solve 0 = -z + 5 - l for z.
3
Let d be ((6 - 5) + 14)*8/6. Let a(w) = -w + 11. Let r be a(11). Solve r = 3*h + h - d for h.
5
Let t(b) = -12*b**3 + 3*b - 1. Let h be t(-2). Let d = h - 85. Solve 0*m = -m + d for m.
4
Suppose t + 2*n + 2 = -0*t, -2*n = 2*t. Suppose 0 = 5*r - 2*z - 7 - 3, 10 = -r - t*z. Solve u + 1 + 3 = r for u.
-4
Let a(o) = -3*o**2 + 23*o + 37. Let m be a(9). Solve m = 2*v - 5 for v.
3
Suppose 0 = 13*p - 18*p + 240. Suppose -p*l + 5 = -47*l. Solve 7 = 3*a - l for a.
4
Let p = -27 + 29. Let y be (-3 + 1)*4/(-2). Let u be (-1)/2*y*-1. Solve -u = p*m - 3*m for m.
2
Let f be ((-5)/((-80)/(-172)))/(1/(-4)). Suppose 5*c + f = 58. Solve -u + c*u - 10 = 0 for u.
5
Let v = -2 + 3. Let n = v + 8. Suppose -2*f + 3 = -n. Solve -5*t - f - 19 = 0 for t.
-5
Let w(c) = c**3 + 5*c**2 - 7*c - 6. Let v be w(-5). Let d = -26 + v. Let q be 3/(-2)*(-6)/9. Solve 0 = -d*u + q - 4 for u.
-1
Let u(i) = -i**2 + 11*i + 32. Let p be u(15). Let f = 30 + p. Solve 0 = -b + f for b.
2
Suppose 4*v - 2*v = 0. Suppose -5*l + 14 = 2*k, -4*k = -2*l - 2*k. Suppose -8 = -l*c - 0*c. Solve v = c*u - 3*u for u.
0
Let t = -82 - -101. Let c = t - 14. Solve c*r - r = 0 for r.
0
Suppose -c = 4, -3*b + 5*c + 0*c + 53 = 0. Solve -2*n - 1 = -b for n.
5
Let r = -4 - 0. Let a be 1 + -1 - (1 + r). Let n(h) = -2*h**3 + 17*h**2 + 10*h - 1. Let v be n(9). Solve -v = a*o - o for o.
-4
Suppose -20 = 4*g - 32. Solve g*w - w = 8 for w.
4
Suppose 5*f - 4*i = 26, -4*i = -2*f + i + 24. Suppose g - 3*y = f*y + 10, 8 = -4*y. Let q be (g + 4)*6/12. Solve q - 7 = -c for c.
5
Suppose 3*d + 18 = n - 0, 4*n - 3*d = 36. Suppose 7*i - 12 = i. Suppose -n + i = -k. Solve -k*b = -0*b for b.
0
Let f(b) be the third derivative of 1/24*b**4 - 1/120*b**6 - 1/6*b**3 + 0 - 1/30*b**5 + 11*b**2 + 0*b. Let s be f(-3). Solve -s*q = 6 - 1 for q.
-1
Let t(l) = -1 - 3*l + 3*l + 0 + 4*l**2. Let k be t(-1). Solve -3*v - k = -2*v for v.
-3
Let v(p) = -7*p**2 + 4 + p**3 - 4*p**2 - 5*p**2. Let k be v(16). Solve -h = -k*h for h.
0
Let o = 1859 - 1847. Solve 2*m + o = 6*m for m.
3
Suppose 3*a - 3*r = -r + 17, 3*r = -3. Let j(o) = o**3 + 4*o**2 + 3*o + 1. Let m be j(-3). Let b be 10/(-10*(14/8)/(-7)). Solve -b*x - m = -a for x.
1
Suppose -5*r - 6*p = -p + 475, p = -3*r - 283. Let q = r + 96. Solve -6*g + q*g - 4 = 0 for g.
-1
Suppose -8 = 4*c - 4*a, -25*a - 12 = -28*a. Solve 3*v = -4*v + c*v for v.
0
Let r = 754 + -726. Solve 0*g + r = 7*g for g.
4
Let v(q) = 85*q + 413. Let c be v(-5). Let l be 0 - -13*(0 - -1). Let s = c + l. Solve -s = -2*p + 1 for p.
1
Suppose -5*z + 52 = 4*m, -4*z - 2*m + 40 = 2*m. Solve 5*x - 2*x + z = 0 for x.
-4
Let r be 2 + 6 + 1 + -4. Let x = r + 5. Let m = x + -9. Solve -l = 4 - m for l.
-3
Let g(t) = -2*t**2 + 29*t + 13. Let y be g(17). Let a = -58 - y. Suppose -3*u + 6 = -0*u. Solve -4*q = -a + u for q.
3
Let b(g) = -g + 9. Let l be b(7). Let q = -1 - 0. Let c be q*(-3)/(3/4). Solve -2*a - l = c for a.
-3
Suppose -3*k = -u + 12, k + 4 = -3*u + 2*u. Suppose 3*b + 14 = -5*g, u = -3*g - 2*g - 20. Solve 0 = 2*r - b for r.
1
Let h = 64 + -36. Let g = 28 - h. Solve -2*z + z + 2 = g for z.
2
Suppose 32 + 3 = 7*n. Suppose 0 = 2*j - 7*j + n. Solve 2 = -q + j for q.
-1
Let a(r) = -4*r**2 - 24*r + 2. Let o be -3 + (-8 - (-8 + 3)) + 0. Let x be a(o). Let z(y) = -y**2 - 7*y - 7. Let w be z(-5). Solve -g + x = -w for g.
5
Let z = 13 - 11. Let o(j) = -j**3 + 12*j**2 - 3*j - 88. Let c be o(11). Solve -z*f - f = c for f.
0
Let f be (26 - 6) + 7 - 7. Solve -f = -4*o - o for o.
4
Let k be (6/9)/(6/(-90)). Let j be 3 - 1 - (k + 12). Solve j*v = 2*v for v.
0
Let a(g) = -g**3 + 4*g**2 - 3*g. Let c = 9 - 44. Let d be 10/c + 32/14. Let s be a(d). Solve 2*n + 20 = -s*n for n.
-5
Let h(u) = -14*u + 60. Let j be h(4). Solve -2 = j*z + 2 for z.
-1
Let w = -122 - -130. Solve -9*y + w*y = -3 for y.
3
Let d = 10 + 2. Suppose -d = -5*s + 3. Solve -5 = -s*y + 4 for y.
3
Let j(y) = -y + 8. Suppose -31*g + 33*g = 8. Let l be j(g). Solve -q = -l - 1 for q.
5
Let w(h) be the third derivative of -h**6/120 - 3*h**5/20 + 5*h**3/2 - h**2. Let a be w(-9). Solve 2*f + f + a = 0 for f.
-5
Let f(n) = 6*n**2 - 6*n - 1. Let v be f(-1). Solve v + 7 = 6*b for b.
3
Let j(u) = -u**2 - 15*u + 3. Let y be j(-15). Solve y*x = -17 + 2 for x.
-5
Let s = 51 + -32. Let h = 55 - 51. Suppose -h*o + 3*p = -o + 9, 3*p = -2*o + s. Solve 0 = 2*r - 4 - o for r.
3
Let r be (0 - 0)/(-6 + 8). Suppose k - 6*k + 25 = r. Suppose 5*w = -k*i + 105, -i = -0*w - w - 19. Solve -3*t - t - i = 0 for t.
-5
Let u be 0 - 2/((-2)/7). Let t(r) = -r**3 + 8*r**2 - 8*r + 3. Let z be t(u). Let w be 2/8 - 11/z. Solve 0 = -w*b + 16 - 4 for b.
4
Let t be 0/3 + 0 + 3. Let k be -6*(t - 21/6). Let w be (-81)/(-6)*2 + k. Solve -w = -4*d - 10 for d.
5
Suppose 14 + 5 = 2*h - 5*w, 2*h + 5*w + 11 = 0. Solve -3*f + 5 = h for f.
1
Let o(y) = y**3 + y**2. Let v be o(1). Suppose v*i = i + 3. Solve 0*t = -i*t + 3 for t.
1
Suppose -4*k - 2*i + 12 = k, i = -4. Let y = 151 + -69. Suppose -5*f - y = -97. Solve r = k*r + f for r.
-1
Let t(c) = -2*c - 4. Let o be t(-10). Suppose 0*v + 4*v = -o. Let r be v*((-28)/8 + 3). Solve 1 = -r*j - 7 for j.
-4
Let p(z) = z**2 - 19*z + 20. Let q be p(18). Let f = q + -2. Solve 0 = -3*g + 3 - f for g.
1
Let t = -5 - -9. Suppose -t*l = -9 + 1. Let b = 8 + l. Solve 0 = 5*v - 3*v + b for v.
-5
Let i = 95 - 90. Suppose -l = 3*o - i, -3*o = -7*l + 4*l - 21. Solve 4*f - 3*f = -o for f.
-3
Suppose 20 = -2*a + 3*a - 5*i, 79 = 2*a + 3*i. Let q = a + -34. Solve -j - 2 = -q for j.
-1
Let f be 3/((-140)/(-46) - 3). Solve f*o - 71*o + 10 = 0 for o.
5
Suppose -3*s + 15 = -5*k - 0*k, 4*s = 20. Suppose k = 4*w + 20 - 44. Solve -5*j - w + 1 = 0 for j.
-1
Suppose 0 = 4*d - 4*y - 4, 0 = -4*d - 2*y - 2. Solve 2*k + k + 15 = d for k.
-5
Let f(v) = v**2 - 16*v - 5. Let o = 19 - 2. Let r be f(o). Solve -2*i = i - r for i.
4
Suppose 2*a + 10 = 5*y - y, -1 = -y + a. Let t be -2*1*9/(-6). Suppose -t*r - 4 + 10 = 3*o, -5*r = -5*o + 20. Solve 3*v - o = y*v for v.
-3
Let q b