809. Solve 4*j - 17 = -f for j.
2
Let i be 2/(-4) - 6/(-4). Let z = 2 + i. Let r(s) = 63*s + 65. Let g be r(-1). Solve 0 = m - z + g for m.
1
Let z(d) = -d - 2. Let v be z(-8). Let i(h) = 5*h**2 - 4*h**3 - 5*h**2 + 3*h**3 - h. Let y be i(0). Solve 3*o + v + 6 = y for o.
-4
Let x = -273 + 277. Solve -x - 1 = -f for f.
5
Suppose 92 = 4*n - 2*n. Solve 14*t + n - 4 = 0 for t.
-3
Let h(d) = -d**2 - 31*d + 34. Let r be h(-32). Let q be (-50)/(-1 + r + -3). Solve -i = -6*i + q for i.
5
Let h(d) be the third derivative of d**4/12 + 2*d**3/3 + 4*d**2. Let u be h(5). Suppose -1 = 2*z - 3, 0 = -3*m - 2*z + u. Solve -m*n + 2 = -14 for n.
4
Let p be 3*(-1 + 10/6). Suppose 1 = 221*f - 235*f + 71. Solve -p*z = -1 + f for z.
-2
Let y(s) = 370 - s**2 + 6*s - 370 - 5*s. Let i be y(1). Solve -8 = 2*t - i*t for t.
-4
Let s be -1*3/(6/(-8)). Let c = 6 - s. Suppose 0 = -c*u + 4*u. Solve u = -3*y + 8*y for y.
0
Suppose 0 = 3*r + 3 - 24. Suppose 11*w - r*w = 0. Suppose -25 = -2*p - 0*p - 5*j, -5*p + 4*j - 20 = w. Solve p = -5*c - 5 for c.
-1
Let s = -63 + 57. Let p be (((-6)/(-1))/s)/((-1)/3). Solve 5 = -p*a + 2*a for a.
-5
Let t be 1*14*37/(2331/54). Solve -30 - 6 = t*b for b.
-3
Suppose 6*l - 9*l = -9. Suppose 4*j + 2*u + l*u = 37, 0 = 3*j - 3*u + 6. Let d = -7 + 10. Solve d*k - 2*k + j = 0 for k.
-3
Let p be 12/(-30) - (-66)/15. Let h(n) = n**2 - 6*n + 8. Let x be h(5). Solve p = x*w - 2*w for w.
4
Suppose -2*b - 2*b = -6*b. Solve 0 = z - 1 - b for z.
1
Let s = -6 + 4. Suppose 2*u = -3*x - 3, -2*u - 24 + 1 = -x. Let t be 1/(-2) + u/s. Solve -6 = -t*b + b for b.
2
Suppose 24*y - 116 = -5*y. Solve 193 - 205 = y*z for z.
-3
Let j = 49 + -28. Solve j*a = 17*a for a.
0
Let f be -3 - 6/(18/(-15)). Suppose 0 = 2*j - i - 1, 0*j + 5*j - 20 = -i. Suppose 9 - j = 2*c. Solve 0 = 4*o - c*o + f for o.
-2
Let t = -248 - -251. Solve -5*a + t*a = -8 for a.
4
Let d = -306 - -308. Solve -8*n = -9*n + d for n.
2
Let r = 3 + 15. Let w be ((-27)/r)/((-3)/4). Suppose w*c + 4*u + 21 = 1, 4*c + 4*u + 20 = 0. Solve f = -c*f - 4 for f.
-4
Let h be (-3 - -10) + -2 + 7 + -5. Solve 9*z = 5*z - h*z for z.
0
Let q(k) = -k - 7. Let i be q(-8). Let h be (i/4)/(7/84). Solve b = 2*b + h for b.
-3
Let s(b) = 2*b**2. Let u be s(-1). Suppose -3*c + q = 1 - 0, 5*c = -5*q + 5. Suppose 4*r + 1 - 13 = c. Solve r*v = -u*v for v.
0
Suppose 9*d - 17*d - 264 = 0. Let m be (-8)/(-10) - (d/15)/1. Suppose -8*s = -3*s - 15. Solve m*c - s = 4*c for c.
-3
Suppose -2*x = r, -r = 5*x + 2*r. Let t = -21 - -28. Solve 2*v - t + 1 = x for v.
3
Suppose m + p = 7, 5*p - 6*p = -2. Solve 3*r - m = -2*r for r.
1
Let n be (-7 + 15)*2/4. Suppose 0 = -5*r + n*y + 25, 3*y = 4*y. Let o = 48 + -32. Solve -r*i + o = -i for i.
4
Let a = 13 - 4. Suppose 1 = 44*l + 1. Solve -u - 2*u + a = l for u.
3
Let q = -45 - -48. Suppose 4*l = 2*k - 2, -k + 21 = 2*k + q*l. Solve 0*u = k*u + 10 for u.
-2
Suppose 4 = 61*q - 60*q. Solve 3*a - 19 = -q for a.
5
Let y be 792/(-16) - (-3)/2. Let o = -42 - y. Solve 5 = -o*s + s for s.
-1
Let m = 20 - 20. Suppose -h - 2*h + i + 5 = m, -2*i + 12 = 5*h. Let n be 2 - -1 - h - -7. Solve 3 = -w + n for w.
5
Let l = -101 - -105. Solve 0 = l*r + 5 + 3 for r.
-2
Let j = 545 + -537. Solve 0 = j*r - 2*r - 12 for r.
2
Suppose 3*y + 6 = 2*y + 5*h, h = 2*y - 6. Solve 11 = -5*a - y for a.
-3
Let o(d) = -d**3 + 6*d**2 - 2*d + 8. Let l be o(6). Let c(y) = y + 9. Let j be c(l). Suppose 0 = j*a - 3*b + b, -3*a - b = 0. Solve -3 = -h - a*h for h.
3
Let c(h) = h**3 - 2*h**2 + 2*h - 12. Let z(w) = -w**3 + 9*w**2 - w + 12. Let f be z(9). Let v be c(f). Solve -20 = v*g - 5 for g.
-5
Let d(l) = l**3 - 2*l**2 - 3*l. Let q be d(3). Solve q = -0*k - 6*k + 12 for k.
2
Let w = 87 - -13. Let m be (6/4)/(3/w). Suppose 3*q = 8*q - m. Solve q*s - 5*s = 10 for s.
2
Suppose 0 = -11*f + 56 - 34. Let g be -3*(-4)/3 - 1. Solve f*s + g*s = 5 for s.
1
Suppose -10*q + 3*d = -12*q - 19, 5*d = -4*q - 35. Let i be (-3)/(-120)*q + 1/8. Solve i = -0*k + k - 3 for k.
3
Let p be (2 + 0 - 2)*-1. Suppose 2*g + 16 = 3*s, p = 4*s + 3*g - 5*g - 20. Solve -2*j - 2 = s for j.
-3
Let q be ((-2)/(-6))/(5 + 62/(-12)). Let p be (-4)/2 - -4*q/(-4). Solve p*n + 4 = -n for n.
-4
Suppose 5*x = -5*m + 575, 24*m - x - 341 = 21*m. Solve 102 = -3*b + m for b.
4
Let i(w) = -w**2 + 28*w + 31. Let x be i(29). Solve -x*o + 4 = 2*o for o.
1
Suppose -3*l - 84 = -9*l. Suppose -5*u - 5*x = -3*x - 38, 0 = -u + 5*x - l. Let k = 1 + 2. Solve -3*y = -u + k for y.
1
Let x = -50 - -52. Suppose -x*c + 40 = 10. Solve c = 2*h + h for h.
5
Let x(v) = 7*v + 237. Let s be x(7). Solve -285*d - 2 = -s*d for d.
2
Suppose 4*k + 69 + 15 = 0. Let g be 2 - (1/2*6 + k). Solve g = -o - 4*o for o.
-4
Let i(a) = -a + 5 + 10*a - 8*a. Let g be i(0). Suppose 15 = g*c, m - 22 = -c - c. Solve -5*b = -b - m for b.
4
Let u = 249 - 229. Let l = -7 - -4. Let m = l - -6. Solve -m*s = s + u for s.
-5
Suppose 11*a - 1 = -12. Let v(l) = -2*l + 2. Let r be v(a). Solve g - r*g = 15 for g.
-5
Let w(x) be the second derivative of 5*x**3/6 + 12*x. Let a be w(0). Solve -4*h + a = -8 for h.
2
Let y be ((4 + -4)/(-5))/1. Suppose 17*r - 13*r - 8 = y. Solve -7 - r = 3*w for w.
-3
Suppose -18*u - 4 = -20*u. Suppose v + u*f = -4*v - 1, 3 = -f. Solve -5*w - v = -11 for w.
2
Let i(a) = a**3 - 6*a**2 + 6*a - 2. Let n be 81/18 - 2/(-4). Let b be i(n). Suppose 18 + 25 = 4*g + 3*r, -3*g + b*r = -6. Solve -d + 2 = g for d.
-5
Let i = -157 + 161. Solve -i*g + 2*g + 6 = 0 for g.
3
Let d = 358 - 344. Solve -d*h - 10 = -19*h for h.
2
Suppose -l + 17 = 4*r, -l = 3*r - r - 11. Suppose -5*q + l + 20 = 0. Solve w - 2 = -q for w.
-3
Let i(u) = u**2 - 21*u + 56. Let v be i(21). Solve 0 = v*r - 52*r + 16 for r.
-4
Suppose -2*k = -0*k - 30. Let r = 34 - 31. Suppose 2*c = 5*x + r*c - 14, -4*c + 22 = 3*x. Solve -p = x*p + k for p.
-5
Suppose 0*s = 4*r - 3*s + 337, 0 = 2*s - 6. Let h = -77 - r. Solve -h*c - 9 = 1 for c.
-2
Let n(c) = 5*c**2 + 5*c + 8. Let d be n(-3). Let q = -38 + d. Solve q*h = -3*h for h.
0
Let c = 65 + -50. Solve -7*g - 20 = c for g.
-5
Let t(k) = k**2 - 23*k - 148. Let j be t(29). Solve 20 = 3*o + j for o.
-2
Suppose 8*a - 83 = 5*a + 4*u, 4*u = -4*a + 92. Solve 8*d - 13*d = -a for d.
5
Suppose 164*f - 168*f = -60. Solve 5 = -4*n - f for n.
-5
Let c be 91/14 + 3/2. Suppose -4*t + 0*t = -4*j - c, -4 = -2*t + j. Let l(d) = -d**3 + 12*d**2 + 14*d - 8. Let i be l(13). Solve 0 = t*v + 3*v - i for v.
1
Let v be 4 - (8/6)/((-6)/(-9)). Suppose -5*w - v = -2. Solve w = 4*p + 4 + 8 for p.
-3
Let x(w) = -w**2 + 5*w. Let s be x(4). Solve 0 = -s*q - 13 + 25 for q.
3
Let i(c) = -2*c**3 - 3*c**2 - c + 2. Let l be i(-2). Solve 7*n + 4 = l*n for n.
4
Let p be 946/(10 - -1) - 6. Solve 14*a - 10 = -p for a.
-5
Let p(r) = -r**3 + 28*r**2 + 203*r + 39. Let d be p(34). Solve 199 = -d*m + 179 for m.
-4
Suppose 8*l - 14 = 18. Suppose 0 = -l*x - x + x. Solve x = a + a for a.
0
Suppose k + 2*a = 2*k - 19, 17 = 3*k + 2*a. Solve 3*f + 3 = k for f.
2
Suppose 0 = -9*p + 5*p - 4. Let c be -2 + (p - (-6 + 1)). Solve 0 = -w + c*w + 2 for w.
-2
Suppose -17*m = -2*m. Let k(l) = -16*l**3 - l**2 - 2*l - 1. Let o be k(-1). Suppose 0 = -m*t - 2*t + o. Solve 0 = -c - c - t for c.
-4
Suppose 0 = 5*i - 3*t - 33, -3*i = -4*t - 8 - 3. Solve -j - i*j = 50 for j.
-5
Let t(r) = r**3 + 3*r**2 + 2. Let m be t(-3). Let g = 12 + -10. Suppose x - m - g = 0. Solve n - x = -n for n.
2
Let m be -4*5/(-5)*1. Suppose -3*p - 1 = -4*b, 12 = -4*b - 8. Let h(y) = -2*y - 9. Let i be h(p). Solve -m*z - 3 = -i*z for z.
3
Let p be 3*3 - ((-8 - -4) + 8). Suppose 92 = p*o + 17. Solve 3*u = 8*u - o for u.
3
Suppose 48*h = 35*h + 26. Solve a - 1 - h = 0 for a.
3
Let x(o) be the third derivative of -o**4/24 - 7*o**3/3 + o**2. Let w be x(-17). Suppose -6 = -0*r - w*r. Solve -3 = -r*i + 3 for i.
3
Suppose 0 = -0*f - 2*f + 30. Suppose -6*k - 36 = -f*k. Solve -l + 0*l - k = 0 for l.
-4
Let l = 10 - 7. Suppose -5 = 2*y - l*y. Solve y*b + 4 = -6 for b.
-2
Let d be -3 - (-1 - -4)*-1. Let g be -5*(-1 + d)*1. Let x = -4 + 16. Solve x = -g*o + 2 for o.
-2
Suppose 5*k - 2*k - 9 = -3*p, p + 9 = 3*k. Let t(r) = 5*r**2. Let j(y) = y**2. Let o(x) = -9*j(x) + 2*t(x). Let v be o(2). Solve -v*a + 6 - 18 = p for a.
-3
Let w = -2640 - -2720. Solve 0 = 86*b - w*b - 24 for b.
4
Let z(u) = u**3 - 1. Let w(v) = -v**2