= f for f.
5
Let d(y) = -y**3 - 36*y**2 + 41*y + 154. Let f be d(-37). Solve -f*u - 2*u = -40 for u.
5
Let v = -101 - -104. Suppose 0*b = -v*b - 3*b. Suppose -i + 2*s + 3 = -1, i + 4*s - 4 = b. Solve -3*q - 11 = i for q.
-5
Let q be ((-4)/2 + (-38 - -30))*-2. Let w = 16 + -13. Solve k + w*k = q for k.
5
Suppose 7*w - 150*w = -5791 - 11226. Solve 57*h + 280 + w = 0 for h.
-7
Suppose 16*q = 23*q. Suppose q*r - 4*r = -8. Solve r*j + 6 = 4 for j.
-1
Suppose -92*s = -1121 - 719. Let p = 26 + -20. Solve -p*h = -s*h - 42 for h.
-3
Let k(u) = u**2 - 4. Let x be k(-2). Let p(t) = 2*t**2 - 91*t + 217. Let y be p(43). Solve x = -y*a + 4 - 6 for a.
-1
Suppose 0 = -12*w - 169*w + 1267. Solve 8*k - w = -31 for k.
-3
Suppose 3*g = -9, -5*p + 5*g = -30 + 15. Suppose 34*r - 9*r - 125 = p. Solve 8*l = r*l - 12 for l.
-4
Let w(q) = q**3 + 6*q**2 + 5*q. Let k be w(-5). Suppose 7*x - 220 - 4 = k. Suppose -x = 4*g - 44. Solve -g*o - 3 = -4*o for o.
3
Let x be ((-5)/6)/(-5) - (-639)/54. Suppose -m = -5*z - x, 6*m + 4*z + 12 = 8*m. Solve -m*j - 6 = j for j.
-2
Let g = 103 - 103. Suppose -t + 27 = -5*l, -9*t + 3*l = -5*t - 40. Solve g = -t*u + 3*u - 4 for u.
-1
Suppose 387*w - 392*w + 20 = 0. Let r(b) = -2*b - 7. Let h be r(-5). Suppose -w*s + h = -5. Solve -s*u = 2*u for u.
0
Let r = 14 - -1. Let d(t) = -t**2 + 21*t - 90. Let i be d(r). Solve -12 = 4*o - i*o for o.
-3
Suppose -11 - 9 = 5*q, -5*h + 5*q = -30. Suppose -8*d = -6*d. Solve d = h*x + 4*x - 18 for x.
3
Let b = -490 + 510. Solve 0 = b*g - 42*g - 44 for g.
-2
Let h = -185 + 194. Suppose -15 = -6*j + h. Solve -1 - 11 = j*o for o.
-3
Suppose 282*p = -137*p + 152516. Solve 0 = 18*v - p + 220 for v.
8
Suppose 2*c = 3647*q - 3643*q + 44, -5*q - 73 = -3*c. Solve c = -22*t + 13*t for t.
-4
Let k(n) = 2*n**2 - 12*n + 1. Let y be k(5). Let l be (-90)/(-20)*(-4)/y. Suppose 38*s - 92 - 22 = 0. Solve 4*h - s*h = l for h.
2
Let f(n) = n**2 - 2*n - 7. Let z be f(5). Let j = -291 - 667. Let y = j - -963. Solve -b = -y*b - z for b.
-2
Let o = -9716 - -9752. Solve -8*c = 52 - o for c.
-2
Let k(x) = -27*x + 839. Let b be k(29). Solve 12*n = 26*n + b for n.
-4
Let p be ((-2)/(-4))/(2/20). Suppose -477 - 315 = -6*m. Let c = m - 121. Solve p*y - 14 - c = 0 for y.
5
Suppose -4*b - 2 = -5*b. Suppose -33 = -5*g - b*t, -3*t + 25 + 7 = 4*g. Let a(o) = -5*o + 3. Let z be a(-6). Solve 0 = -g*l - 13 + z for l.
4
Suppose -3*d = 5*i + 875, 12*d + i + 1144 = 8*d. Let q = 289 + d. Suppose -6 - 3 = -3*z. Solve q = t + z*t for t.
1
Let j be -4 - (0 + -13 + 3). Let f be 32/j*3/2. Solve -f - 4 = -3*q for q.
4
Let c(y) = 107*y - 2215. Let b be c(21). Solve -24 = -b*t + 56*t for t.
-1
Let b be -2*9/6*5/(-3). Suppose -3*z = -b*f + 142 + 34, 0 = 5*z - 4*f + 302. Let l = 67 + z. Solve -3*t + l = -2*t for t.
5
Let d be (-206)/(-6) - 60/45. Let k = 36 - d. Let j be (8 - 4) + -5 + k. Solve -4*o = -j*o + 6 for o.
-3
Suppose -34*f + 176 = -12*f. Suppose 5*c = 5*w - 105, w = -2*c + 44 - f. Solve w*l + 1 = 25*l for l.
-1
Suppose -2 = 4*j - 10. Suppose -19 = -7*h - 5. Suppose -3*q - 2*p = -j, -4*p = 3*q + h*q. Solve -5 + 25 = -q*z for z.
-5
Let c = -859 + 869. Solve 0 = c*i - 324 + 324 for i.
0
Suppose -2*m - 1803 + 1903 = 0. Solve -52*r + m*r = -4 for r.
2
Let i = 0 + 0. Suppose i = -4*k + k + 24. Let d be -10 + -13 + 10 + 9 - 5*-1. Solve 7*u - d = k*u for u.
-1
Let l(n) = -n - 33. Let x be l(-33). Suppose 5*i + 11 = 3*d - x*i, 0 = -5*d + 3*i + 13. Let k be (-3)/(-9)*60/2. Solve -d*o + 0*o = -k for o.
5
Suppose 0 = -3*c + 1 + 32. Suppose -o - 8 + c = 0. Suppose -o*d = -11 + 5. Solve 0 = j + d*j for j.
0
Let p = 17985 + -17910. Solve 0 = 142*u - 157*u + p for u.
5
Suppose -6*s - 2*k - 55 = -s, -2*k = s + 11. Let a(b) = -3*b - 27. Let h be a(s). Solve -h*u = -0*u - 30 for u.
5
Let b be (22/33)/(2/6). Suppose 0 = -r - 4*r - c + 17, b*r = -4*c + 14. Let w be (-2)/4*18/r*-1. Solve 0 = m + w*m + 4 for m.
-1
Let l(o) = o**2 - 4*o - 31. Let q be l(9). Let p(f) = -f**2 + 16*f - 22. Let m be p(q). Solve -2*g = 4*g - m for g.
1
Suppose -5*i - 4*j = -339, -555 = -5*i + 4*j - 184. Solve -i*f = -44*f - 108 for f.
4
Let l be -2*(2/24 + (-91652)/528). Solve 0 = -12*v + 263 - l for v.
-7
Suppose z = 4*y, 2*z = -2*z + 3*y. Suppose -d + z = 16. Let x = 3 - d. Solve -4*g - 3 = -x for g.
4
Let i = 22458 - 22444. Solve -70 = i*s - 24*s for s.
7
Let x(y) = -19*y + 657. Let l be x(9). Solve -487*n - 6 = -l*n for n.
-6
Suppose 82*c = 84*c - 8. Suppose 4*n - 16 = c. Suppose -4 = -0*y - y. Solve -y = -n*j + 11 for j.
3
Suppose 3*w + 18 = -3*i, 4 = 5*w - 5*i + 34. Let q be (w/4)/((-6)/12). Suppose -q*p - 1 + 7 = 0. Solve -a = p - 1 for a.
-1
Let j(t) = -4*t - 6. Suppose -h + 2*h - 3*n + 7 = 0, 3*n - 15 = 3*h. Let u be j(h). Let k = u - 5. Solve -k*v - 2 = -7 for v.
1
Let v(n) = n**2 - 12*n - 13. Let f be v(13). Let y = -5780 - -5787. Solve 5*k - y - 13 = f for k.
4
Let s = -93 + 94. Solve 28 = 29*d - s for d.
1
Let b be ((-6)/4)/(306/272)*(-10 - 2). Solve -47*u + 31*u + b = 0 for u.
1
Let v(z) be the third derivative of 25*z**2 + 3/2*z**3 - 1/24*z**4 + 0*z + 0. Let w be v(5). Solve 0 = w*k - k - 9 for k.
3
Let w(c) = 5*c**3 + c**2 + 3*c - 3. Let p be w(1). Let m be ((-27)/p)/(-9)*-6. Let d be 5 + m + 6 + -4. Solve 4*x = -d - 12 for x.
-4
Suppose 4*u - 15*i - 117 = u, i + 75 = 3*u. Solve -113*q + 119*q = u for q.
4
Let n(r) = 3*r**3 + 11*r**2 - 24*r - 9. Let u be n(-5). Solve 0 = -5*s - u*s for s.
0
Let b(j) = j**3 + 6*j**2 + 8*j + 1. Let l be b(-4). Let a(n) = 37*n**3 + 2*n**2 - 3*n + 2. Let i be a(l). Suppose -i*q = -42*q. Solve q*m - 15 = 5*m for m.
-3
Let o = -55 + 59. Suppose 13*q - 8*q - 15 = 4*d, o*d + 5*q - 15 = 0. Solve 2*k + 22 - 14 = d for k.
-4
Let i(s) = s**3 - 3*s**2 - 4*s + 3. Let b be i(4). Suppose 0 = 3*g + 5*l - 14, -b*g = 5*l - 7*l - 7. Solve -g*z + 3 = -3 for z.
2
Suppose -5*c - 3*k = -34, 0 = 10*c - 6*c + k - 23. Solve 9 = c*x - 14*x for x.
-1
Suppose 5*l - 105 = -5*u, -5*u - 2*l = -93 - 9. Solve -137*i + 133*i - u = 0 for i.
-5
Let b be (-12)/18 - (-13)/(-3). Let i be -62*b/30*3. Let x = i - 22. Solve -l + x = -4*l for l.
-3
Let t = -5 + 1. Let q be 0 + 1/(-2)*t. Let h = 30502 - 30490. Solve h = -2*w - q*w for w.
-3
Suppose -2*y + 6 + 5 = -3*c, 5*y - 5*c - 40 = 0. Suppose -2*m = -1 - y. Suppose m = 5*f - 3. Solve 1 = -o + f for o.
1
Let h(n) = -2*n**3 - 26*n**2 - 4*n - 48. Let b be ((-52)/6)/((-248)/24 - -11). Let z be h(b). Solve 14 = 5*r + z for r.
2
Let c be 72/21 - 84/196. Suppose 2*f - 6 = 0, c*z = 79*f - 76*f + 6. Solve 13 + 2 = z*b for b.
3
Let d = -18396 - -18408. Solve 91*o - 93*o = d for o.
-6
Suppose 39*f - 37*f - 36 = -2*y, 66 = 4*y + 2*f. Solve 0 = -528*i + 533*i - y for i.
3
Let p(v) = -31*v + 2780. Let a be p(88). Solve -448 + 136 = -a*m for m.
6
Suppose 8*b - 103*b + 285 = 0. Let x(a) = a - 5. Let c be x(5). Solve 3 = b*d - c for d.
1
Let r(b) = b + 9. Suppose 0*g = 14*g. Suppose g = 2*s - 26 + 40. Let c be r(s). Solve -i - 5 = -c*i for i.
5
Suppose 0 = -x - q + 257 - 265, -4*x - q = 8. Let l = 12 - -32. Solve -11*s + x*s = -l for s.
4
Let t(p) = -11*p**3 + 10*p**2 + 6*p - 7. Let w be t(-3). Let z = w - 357. Suppose 2*g + 5*k = -0*k + 23, -2*g = k - 11. Solve 3*i - z = g*i for i.
-5
Suppose 6*g = 819 - 33. Suppose -133*q + 14 = -g*q. Solve -q*i = -i - 5*i for i.
0
Let b(r) = -32*r**3 - 3*r**2 + 8*r + 2. Let i be b(6). Let x be i/(-425) - (-1 - 7/(-5)). Solve -12*o + 16 = -x*o for o.
-4
Let z(t) = -t**3 + 12*t**2 + 17*t - 30. Let b be (29 + -3)/(7 - 5). Let w be z(b). Solve -25*r - 15 = -w*r for r.
-5
Suppose 0*h + 5*m = 5*h - 10, 3 = 3*m. Suppose 18 = 6*t + 222. Let g = -34 - t. Solve g = h*n - 6*n for n.
0
Suppose 10*f - 5*f - 30 = 0. Suppose -f*c = -453 + 447. Solve i - c = -3 for i.
-2
Let w(r) = -r**2 - 45*r - 260. Let n be w(-7). Solve -n*c - 44 = 16*c for c.
-2
Let z be (7 + 2)/(9/78) + (-2)/1. Solve -z*x = -73*x - 6 for x.
2
Let c = -506 + 515. Solve -2*g + 35 = -c*g for g.
-5
Let d(a) be the third derivative of 7*a**4/24 - 173*a**3/6 - 6*a**2 + 8*a. Let m be d(27). Solve m*z = 11*z - 10 for z.
-2
Suppose -5*t + 8 + 2 = 0. Suppose t*p - 1 = 117. Suppose 11*q = p + 161. Solve -q = -m + 5*m for m.
-5
Suppose -731 = 30*l - 1901. Solve l*w + 192 = -81 for w.
-7
Let s(f) = -f**3 + 19*f**2 + f - 62. Let m be s(19). Let x = 47 + m. Solve -2*r 