for f.
-3
Suppose -3*b - 125 = 2*t + 68, 2*b = 3*t - 107. Let p = 344 + -277. Let u = p + b. Solve 10 = l - u*l for l.
-2
Suppose 4*r = 4*v - 16, 0*r = -2*v - 3*r + 8. Suppose -3*h = 3, 5*d + h - 63 = v*h. Solve d*y - 15*y - 15 = 0 for y.
-5
Suppose -526 + 3854 = 256*v. Solve -13*a + v + 39 = 0 for a.
4
Let o(a) = -a**2 - 25*a + 152. Let m be o(-27). Solve -n = 93 - m for n.
5
Let j(n) = -13*n**2 + 86*n - 12. Let d be j(5). Solve 24 = 89*t - d*t for t.
-6
Let l be (429/(-11))/((-129)/16426). Solve 4994 - l = 4*b for b.
7
Let d = 719 + -704. Let g be 18/(0 - (-3 + 2)). Solve 15*z - d = g*z for z.
-5
Let j(c) = c**3 - 43*c**2 + 483*c + 37. Let x be j(16). Solve -x = 89*o - 230 for o.
-7
Suppose 0 = -10*y - 6 - 6 + 162. Solve 13*s - 140 = -y*s for s.
5
Suppose 4*p - 6 - 6 = 0. Let z(t) = 11*t**2 - 38*t - 40. Let y be z(-1). Suppose -4*s - p*b + 5 = 0, -4*s - s + y = b. Solve 3*m = s*m + 5 for m.
5
Let y = 3512 - 3479. Solve -51 = -16*s + y*s for s.
-3
Let r be -1 - (43 - -3)*(-42)/28. Solve -27*i = 7*i - r for i.
2
Let c be 15 + (-9)/((-9)/4). Suppose -18*o - 15 = -c*o. Solve -5*d + 0 = o for d.
-3
Let c be 0/(-2)*((-270)/(-27) + -9). Solve -49*l + 45*l + 24 = c for l.
6
Let d(f) = 5*f + 33. Suppose -10 = 2*a, -4*a + 6 - 2 = -4*z. Let q be d(z). Suppose -2*p + 6 = 0, q*g = 2*p - p + 12. Solve g*b = b for b.
0
Let l(b) = -b + 3. Let a be l(0). Let p be (144/(-20))/((-54)/180) + -2 + -4. Solve p = a*t + 6*t for t.
2
Let f = -261 - -262. Let i(t) = 10*t - 5. Let y be i(f). Solve 3 = -y*b + 8 for b.
1
Let q(n) = -12*n**2 - 6. Let i be q(-2). Let h(k) = 2*k**2 - 2*k - 1. Let t be h(6). Let y = t + i. Solve -7 = y*o + 3 for o.
-2
Let r be (-19)/247 + (1876/(-13))/(-4). Solve 14*q + r*q = -50 for q.
-1
Let l = 3771 - 3714. Solve 67*k + 10 = l*k for k.
-1
Suppose 0 = 13*o - 11*o + 4*u - 2, -4*o + 5*u + 30 = 0. Solve 0 = -o*g + 24 - 29 for g.
-1
Let x(n) = 5*n**3 + 11*n**2 - 45*n - 57. Let p(w) = -6*w**3 - 9*w**2 + 46*w + 56. Let m(v) = -6*p(v) - 7*x(v). Let i be m(21). Solve 0 = -3*r - i*r - 15 for r.
-5
Suppose 0 = z - 3 + 5. Let i be ((-4)/(-3) - z)/((-6)/(-36)). Suppose -h - 11 = v - 2*v, -h + 13 = 3*v. Solve -2*t = -v*t + i for t.
5
Let w(f) = f**3 - 18*f**2 + 33*f - 13. Let n be w(16). Suppose t + 3*d + 18 = 4*t, n*d = 5*t - 24. Solve t = 2*m - 1 for m.
2
Suppose -4*b - 998 = -2*q + 250, -4*q + b = -2510. Solve 8*c + q = 636 for c.
1
Let b(d) = -51*d - 64. Let p be b(-8). Suppose p = 13*r + 214. Solve 40*l - 45*l = -r for l.
2
Let z(u) = -u**3 - 4*u + u - 7*u**2 + 100 - 99. Let a be z(-7). Solve 3*q - a = -7 for q.
5
Suppose 5*i - 5*y - 480 = 0, -6*i = -3*i - 2*y - 292. Let r = i + -78. Suppose -7*q - r = -22. Solve 3*t + q*t = 0 for t.
0
Let s(m) = 73*m - 365. Let o be s(5). Solve o = -20*v + 10 - 30 for v.
-1
Suppose 228*i - 221*i - 427 = 0. Solve -i*u = -64*u - 15 for u.
-5
Let p be (-60)/75*-45 + -7. Solve -p + 113 = -42*o for o.
-2
Suppose -8*d = 408 - 632. Solve 2*m = -d*m - 120 for m.
-4
Let z(v) = -v**3 + 16*v**2 - 13*v - 31. Suppose -29 = -4*a + 31. Let b be z(a). Let i be b*(-3)/(-15) + 21/5. Solve -h = -i + 8 for h.
-4
Let h be (4/(12/363))/((-11)/(-11)). Let l = h + -114. Solve -30 = -t + l*t for t.
-5
Let q be -600*((-9)/6 - -2). Let m = 301 + q. Solve -2*u - 3 = m for u.
-2
Suppose -24*n = -37*n + 52. Solve n*h + 31 = 23 for h.
-2
Let j(x) = -2*x + 38. Let f be (-3)/3*(9 + -28). Let o be j(f). Suppose -u - 9 + 14 = o. Solve 15 = u*m - 0*m for m.
3
Suppose -2*v + 11 = 5*m, -2*m + 9*v = 7*v - 10. Let p(o) = o**3 - 6*o**2 + 11*o - 4. Let b be p(m). Solve -b = -f - 1 for f.
1
Suppose 0 = 5*c - 25*x + 26*x - 22, 5*x + 35 = 4*c. Solve 0 = -7*q - 9*q + c*q for q.
0
Suppose 4*g = -38*z + 41*z + 915, 0 = -g + z + 227. Solve 3*u = -g + 243 for u.
3
Let m be (13/(-26))/(1/124). Let o = m - -68. Solve -5*j = -3*j - o for j.
3
Suppose 0 = 5*c + 3*x - 186, 128*x = 5*c + 127*x - 158. Solve 29*q + c = 4 for q.
-1
Suppose -3*c + 4*g = -18, -3*c - 2*g + 42 = 2*g. Let b(x) = -27*x**2 + 1155*x - 880. Let o be b(42). Solve 4*a - c = -o for a.
2
Suppose -o - 2*o = -3*z + 15, 0 = -3*o + z - 5. Solve 1636*b - 1635*b + 3 = o for b.
-3
Suppose -3*r = 0, -v - r + 4*r + 10 = 0. Let z(j) = 2*j**2 - 19*j - 8. Let b be z(v). Solve i - b - 3 = 0 for i.
5
Let j(p) = 10*p**2 + 71*p - 16. Let q be j(-8). Solve q = 7*h + 70 for h.
-2
Suppose 4*j - 5*j + 2 = 0. Let g(p) = -2*p**3 + 385*p**2 - 1138*p + 5. Let h be g(3). Solve -j*v + 4 = h for v.
1
Let l(m) = m**2 - 77*m + 1377. Let b be l(27). Solve 11*j = -28 - b for j.
-5
Let a be 2 - 7/(21/(-492)). Suppose 54*g = a + 374. Solve 2 = -g*l + 11*l for l.
2
Let i(h) = -h**3 - 70*h**2 + 150*h + 442. Let s be i(-72). Suppose -2*d = j - 12, 5*d = -3*j + 2*d + 36. Solve s*v + 2 = j for v.
1
Let q(g) = -g**2 + 3*g + 2. Suppose 7*n - 2*n - 15 = 0. Let c be q(n). Suppose 4*l - 2*k - 3*k = -21, -11 = -l - c*k. Solve l - 5 = -t for t.
4
Let a(n) = n**2 - 18*n + 47. Suppose -5 = 11*f - 170. Let o be a(f). Solve o*m + 6 = 4 for m.
-1
Suppose -2*z = l - 30, -4*l - 4*z + 94 = -9*z. Solve 8*m = -l*m + 136 for m.
4
Let h(a) = -a**3 + 3*a**2 + 342*a + 39. Let c be h(-17). Solve 0 = 4*x - c*x + 18*x for x.
0
Suppose 12*d + 7 = 31. Suppose -x + d = 0, x + 2*x + 24 = 3*h. Solve 6*v = v + h for v.
2
Let l be (-2)/4*(-32 - 12). Suppose -19*w = -l*w - 5*o + 49, 0 = 3*w - 4*o - 4. Solve 0*g + w = -8*g for g.
-1
Let j(m) = -17*m**2 + 228*m + 17. Let p be j(13). Solve -15*a - p + 33 = 0 for a.
-5
Suppose 0 = n - 4*k + 13, -4*n + 24 = 5*k - 2*k. Let f be (-20)/10 + (-2 - (1 + -13)). Suppose 4*o - 2*t = f, o + n*t - 1 = 8. Solve -4*p = -p + o for p.
-1
Let o(l) = -l**3 + l**2 + 4. Let p(s) = 2*s**3 - 6*s**2 + s - 1. Let x be p(3). Let v be o(x). Suppose i = -3*i. Solve v = 3*f - 9 - i for f.
3
Let g(i) = -i**3 + 23*i**2 + 33*i + 31. Let t be g(24). Let j be 180/13 + 38/t. Solve 0 = d + 19 - j for d.
-5
Let g(o) = 14*o + 4. Let f(b) = -2*b**3 + 29*b**2 - 15*b + 14. Let p be f(14). Let r be g(p). Solve r*u + 2*u = 24 for u.
4
Let g(s) = -3*s**3 - s**2 - 8*s - 19. Let n be g(-3). Let u = n + -77. Solve 2*r + 6 - 12 = u for r.
3
Let f be (-6)/(-27) - 374*4/(-72). Let q(v) = v**3 - 19*v**2 - 46*v + 93. Let c be q(f). Solve 17 = -4*l + c for l.
-2
Let r = -147 - -148. Let o(l) = 3*l**3 + l**2 - 2*l + 1. Let v be o(r). Solve 4*m = 7 - v for m.
1
Suppose -4*l = -5*x - 85, 277*l + 2*x - 50 = 273*l. Solve -l*v = 8 + 22 for v.
-2
Let k = 27587 - 27296. Solve -k = -25*v - 141 for v.
6
Let w be 4 - ((68 - 96)/(-5 + 1) - 5). Suppose 0 = -4*s - 2*j + 14, -s - 2*j + 3 = -8. Solve c = -w - s for c.
-3
Let k = -4757 + 4853. Solve -9*h = 7*h + k for h.
-6
Let a = 23 - 19. Let d be 57/15 - a/(-20). Suppose 3*l - 3*k = -7 - 2, 0 = -d*l - 2*k + 6. Solve l = 4*g + 3 - 7 for g.
1
Let d be ((-3)/(-2))/(6/8). Suppose -2*g - 3*k = -14, 2*g + k - 1546 = -1540. Solve -3 + g = d*a for a.
-1
Suppose 8*q + 15 = 11*q. Suppose -4*t + 2*s = -370, 5*s + 562 = q*t + 107. Let b = t - 90. Solve 8 = -b*i + 2*i for i.
-4
Suppose 2*n + 38 = 78 - 36. Solve -11*r - n = 75 for r.
-7
Let k be (34 - 820/24) + 350/12. Solve 0 = 42*r + k + 55 for r.
-2
Let w(o) = 17*o - 152. Let j be w(13). Let m = 78 - j. Solve 6 = m*l - 7*l for l.
3
Let l be (-1776)/259*(2 + 33/(-6)). Solve 0 = l*d - 9*d for d.
0
Let q = -3 + 3. Let y be 18/(-15)*(4305/(-82) - -50). Solve y*p - 15 = -q*p for p.
5
Let o = -153861 + 153869. Suppose i - 12 + 2 = 0. Solve -i*f = -o*f - 2 for f.
1
Let u = 156 + -153. Let f be u/((-29)/(-28) + (-10)/35). Solve -2*n = -f*n - 8 for n.
-4
Suppose -5*n - 3*g + 204 = 0, 7*n - 170 = 3*n + g. Solve 34*w + 24 = n*w for w.
3
Let z = -1392 - -1394. Let p be (1 - 1) + (-2 - -2). Suppose p*q + 4*q - 27 = -s, -5*s = z*q - 117. Solve -8 + s = -3*t for t.
-5
Suppose -40*m + 111*m - 3243 = 307. Solve m*w - 43*w - 49 = 0 for w.
7
Suppose 8*s + 2*s = 4*s + 6. Suppose -3*m - 1 = 5*u - 0, -6 = 3*u. Solve 2*g - m = -s for g.
1
Suppose 2*f = 4*c + 30, 5*c - 25 = -2*f - 4. Solve f*p + 10 = 10 for p.
0
Suppose -5449 - 2555 = -87*f. Solve -f*w = -65*w + 108 for w.
-4
Let u = -2779 - -2791. Solve 0 = -l + 3*l + u for l.
-6
Let q = 182 + -90. Solve -44*d - q = 84 for d.
-4
Let h(t) be the third derivative of t**6/60 + t**5/60 + t**2. Let r be h(1). Let m = -355602 + 355605. Solve -r*b = -6 + m for b.
1
Let f