f.
2
Let l(k) be the third derivative of -7*k**5/60 - k**4/12 - k**3/6 - 26*k**2. Let v be l(-1). Let c be ((-15)/9 + 1)*(v - -3). Solve 3*g + c = -1 for g.
-1
Suppose -27*j = -48*j + 84. Suppose j*r + 4*b = r + 30, -b + 21 = 3*r. Solve -r*k - 2*k = -24 for k.
3
Suppose 294*b - 414 - 2042 = -320*b. Let w(v) = -v**3 - 4*v**2 - 4*v + 1. Let z be w(-4). Solve -b*i + z = 1 for i.
4
Let z = 2076 + -2046. Solve 0 = -2*p + 8*p + z for p.
-5
Suppose 6*m - 57 = 453. Suppose m*z = 79*z + 30. Solve -t + z*t = 0 for t.
0
Let o be -2 + (-28)/(-2) + -2. Suppose -t - 10 = -5*r + 90, -3*t = 0. Suppose -n = r - 25. Solve 5 = -n*q - o for q.
-3
Let t be (10/(-75) + 273/(-585))/((-6)/70). Suppose 2*y - 5 = 17. Solve y - t = k for k.
4
Let b be 0*-3*(-2)/6. Suppose j = 10 - 8. Suppose -3*x = -3*y - 9, -6*x - 3*y = -j*x + 9. Solve x = -b*s + s + 2 for s.
-2
Let j = -8975 + 8994. Solve j = 7*n - 9 for n.
4
Let q(x) = 79*x + 2528. Let g be q(-29). Solve g*z - 233*z - 32 = 0 for z.
8
Let p = 177 + -168. Let x(i) = -2*i**2 + 15*i + 30. Let w be x(p). Solve -3 - w = 2*d for d.
-3
Let g = -151 + 164. Suppose -3*j = g*j. Solve j*l + 5 = l for l.
5
Let l(u) = 20*u - 364. Let c be l(19). Solve -5*x = c - 6 for x.
-2
Let i(c) = 16*c + 12. Let g be i(8). Let s = g - 140. Solve -3*l + 6 + s = 0 for l.
2
Suppose 0 = 14*y - 39 - 3. Suppose 5*b = -y*o + 29, -14*o = -15*o + 2*b - 5. Solve -2*k - 10 = o*k for k.
-2
Let f = 15033 + -15029. Solve 1327 - 1351 = -f*b for b.
6
Let s = 2139 + -2139. Solve 22*g + 14*g + 108 = s for g.
-3
Let w = 5969 + -5956. Solve w*i - 1587 = -1561 for i.
2
Let l(h) = h**3 - 15*h. Let x be l(0). Solve -c - 6 + 4 = x for c.
-2
Let j = 174 + -47. Let m = 129 - j. Solve 29 = m*g + 33 for g.
-2
Suppose 54 = -7*x - 16. Let g be 10/25 - (-44)/x. Let m be 39/2 - (-1 - g/8). Solve z + m = 6*z for z.
4
Let r(s) = -s**2 - 94*s - 520. Let z be r(-6). Solve -z*q + 106 - 90 = 0 for q.
2
Let d = 7 + -4. Suppose -14*c + 3*i = -10*c - 11, 0 = -5*c + 4*i + 13. Suppose 3*o = 4*s + 25, -2*s + 25 = c*o - 60. Solve -d*r - o = -6*r for r.
5
Let r = 1456 + -1372. Solve 0 = 6*d + r - 108 for d.
4
Let i = 1869 + -1850. Solve 4*h - 39 = -i for h.
5
Let l = 37 + -41. Let u be (-2 + 2)/(l + 2). Let b be (u - -3)*(-65)/(-15). Solve -2*w - b = -5 for w.
-4
Let c = 2387 + -2379. Solve -c*u + 127 = 119 for u.
1
Let r = 0 + 2. Suppose b + 18550 = 5*b + 18470. Suppose -r*o = 5*c - b, o + 2*o + 3*c = 12. Solve 3*x - 4*x = o for x.
0
Let w be (-6)/(-2) + -5*(-3)/(-5). Suppose -2*y - 4*q + 20 = w, 4*y + 10 = q + q. Solve -3*k + y*k = 6 for k.
-2
Let s = 148467 + -148465. Let a(b) = b**3 + 2*b**2 + b + 2. Let w be a(-2). Solve -j + 0 - s = w for j.
-2
Let s(f) = -7 + 16*f - 2*f**2 + f - 24*f + f**2. Let o be s(-2). Suppose 3*h + 0*p - 57 = 3*p, 0 = 4*h - p - 88. Solve -5*a - h = -o for a.
-4
Let k = 396 - 381. Solve -k*c = -31 + 1 for c.
2
Let h be (-8 + -1)*((-2226)/63 + 34). Solve 4*y = h*y - 16 for y.
2
Let c = -69 - -73. Let r(p) = p**3 - 2*p**2 + 3*p - 3. Let f be r(3). Suppose -4*n = 3*z + 3, -6*n + 2*n = -4*z + 24. Solve c*s - f = -z for s.
3
Let i(z) = -3*z**2 + 37*z - 33. Let o be i(11). Suppose o*t - 32 = -5*t. Solve 0 = 5*d - 13 - t for d.
3
Let l(k) = k**2 + 8*k + 80. Let x be l(-18). Suppose 15 = -255*d + x*d. Solve -d*h + 1 = -2 for h.
1
Let t(x) = 0 + 0*x**2 + 3*x - 1 - x**2. Let v be t(2). Let d(s) = -13*s - 48. Let f be d(-4). Solve -f*y + v = -3 for y.
1
Let s = -276 - -721. Suppose 24 = s*d - 441*d. Solve 5*y - 19 = d for y.
5
Let a be (-1)/(-13)*830 - (6532/299 + -22). Solve -5*i = a*i for i.
0
Let y = 159 + -155. Suppose y*u - 72 = 17*q - 22*q, -3*u + 45 = 3*q. Solve q*j - 8*j = 4 for j.
1
Let g be (-504)/196*525/(-45). Solve -g*j + 79 = -101 for j.
6
Suppose 8 = x + 4*k, -15 - 1 = -5*x + 4*k. Suppose -a + x = -9*m + 10*m, 43 = 2*m - 5*a. Suppose 12*w - 15 = m*w. Solve -g + w = -0*g for g.
5
Let z = 149 - 138. Suppose 0 = -y - 2, z*h = 14*h + 4*y + 2. Let i = -1 - -4. Solve h*t - i = 7 for t.
5
Let w = 166 + -136. Suppose 4*l - 3*q - 14 - 9 = 0, -5*l + w = -4*q. Solve 1 + 5 = -l*m for m.
-3
Suppose -2*h + 57 = -5*q - 48, 4*q + 51 = h. Solve h = 7*f + 13 for f.
6
Suppose -6*x = -17*x + 165. Suppose 7*u - x = 6. Solve 0 = -0*a + u*a for a.
0
Let d(t) be the third derivative of -t**4/8 - 5*t**3/6 - 13*t**2. Let b be d(-3). Suppose u - 5*u = -b. Solve -o + 0 = u for o.
-1
Let v = -173 - -157. Let x be ((-18)/24)/(4/v). Solve -x*b - 10 = 2 for b.
-4
Let l = -3 - -10. Let u(b) = 21*b**2 - 4*b + 2. Let o be u(-4). Let k = o + -349. Solve 0 = -2*a - k + l for a.
1
Let w = -38 + 35. Let z(x) = x + 4. Let c be z(w). Let j(h) = h**3 - 2*h**2 - 23*h - 4. Let u be j(6). Solve 3*v + u = -c for v.
-1
Let h be 2402/(-22) + 50/275. Let s = h + 25. Let k = s - -86. Solve -3*j = -2*j + k for j.
-2
Let a = -34 + 103. Solve 6*s - 75 + a = 0 for s.
1
Let h(p) = -6*p + 46. Let m be h(9). Let l(j) = -j**2 - 10*j + 10. Let i be l(m). Let o = -23 + i. Solve 0 = -4*k + k + o for k.
1
Let q(i) = -i**2 + 8*i - 7. Let a(t) = -t**2 + 15*t + 25. Let m be a(16). Let p be q(m). Let z(l) = -l - 2. Let o be z(p). Solve 6 = 2*k + o for k.
-4
Suppose -3*w = -5*l - 4 + 25, -2*w - 13 = -3*l. Solve -10*b + l*b = -14 for b.
2
Let b(i) = 3*i - 3 - 16*i + i**2 - 2 + 10*i. Let d be b(-2). Suppose 4*l = d*s + 12, -2*s = -5*s. Solve -l*a + 5 = 2*a for a.
1
Let o be -1 + 3 - (-3)/(-6)*-32. Suppose 20*f = o*f + 8. Let w(l) = l**2 - 1. Let m be w(1). Solve m*a + a = -f for a.
-4
Let r(x) be the second derivative of 0 + 13*x - 7/2*x**2 - 5/3*x**3 - 1/12*x**4. Let s be r(-9). Solve s = o + 4 for o.
-2
Suppose 0 = -4*r - 316 + 68. Let f be (1 - 3) + 51 + 14. Let l = r + f. Solve 0 = -5*a + 24 + l for a.
5
Let q = 190 - 72. Suppose 2*p = q - 118. Solve p = -5*n + 12 + 13 for n.
5
Let f(j) = 15*j + 49. Let y be f(-3). Let s(q) = q**3 + 4*q**2 - 13*q - 28. Let o be s(-3). Solve 8*c + y = o for c.
2
Let l(x) = x**2 - 2*x - 3. Let j(y) = -2*y - 26. Let z(t) = t + 17. Let a(p) = -5*j(p) - 8*z(p). Let r be a(5). Let v be l(r). Solve -i + v = -0 for i.
5
Let n(k) = -k**2 - 3. Let f(z) = z. Let t(j) = -3*f(j) - n(j). Let l be t(0). Solve -6 + l = r for r.
-3
Suppose 0 = -10*y - 1045 - 3575. Let w = y + 465. Solve 0*b = -w*b for b.
0
Let z = 10002 + -9972. Solve -196*i + 202*i - z = 0 for i.
5
Suppose 8*p - 3*p = 10. Suppose -3*k + 3*x + 13 = 2*x, -3*k + p*x = -17. Solve -2 = k*u - u for u.
-1
Suppose -148*h = -158*h + 480. Suppose 19*u = 23*u - h. Solve 0 = s - 13 + u for s.
1
Suppose -3*b + 4*g - 128 = -6*b, 0 = 3*g + 12. Suppose -b*q = -55*q + 14. Suppose -2*h + 2*c + 12 = 0, -h - 6 + 0 = 3*c. Solve h*s = -q*s for s.
0
Let m = -2412 + 2412. Let u be 14/3*(-6)/(-4). Let i be 2/7 - (-33)/u. Solve m*q + i = q for q.
5
Let x = -357 - -359. Let t be 7*(x + (-60)/35). Solve -t*b - 2 = -b for b.
-2
Suppose u - 4*t + 311 = -318, 0 = -3*u - 4*t - 1807. Let a = u + 616. Solve -a = z - 3 for z.
-4
Suppose -97*d - 51*d = -6808. Let i be 23*2*-1 - 0. Let u = i + d. Solve -4*l + 0*l = u for l.
0
Let s be (-65 - -5)*(-78)/117. Solve 77 = s*h - 163 for h.
6
Let k(z) = -z**3 - 21*z**2 + 23*z + 29. Let t be k(-22). Suppose 4*l = 221 - 45. Let p = l + -42. Solve 0 = p*b - t*b for b.
0
Let w(k) = -k**3 - 5*k**2 + 4*k + 20. Let y be w(-5). Let d be 1 - (-6)/(-6)*y. Solve -4*l + d = 5 for l.
-1
Let d = 119 - 55. Let p = 79 - d. Suppose 9*z + 36 = p*z. Solve z*l = 2*l + 20 for l.
5
Let w(c) = -29*c - 360. Let q be w(-13). Solve 42*a = q - 143 for a.
-3
Let q = 89 - 75. Let n = 5 + q. Suppose -5*p = -1 - n. Solve -p*b - b = 10 for b.
-2
Suppose 161*y = 144*y + 44 + 126. Solve -y*r = 7*r + 153 for r.
-9
Suppose 26894 = -21*a + 4655. Let u = a - -1061. Suppose 110 = 6*d - d. Solve u = 5*r + d for r.
-4
Let g(c) = 105*c + 30. Let p(j) = 13*j + 4. Let f(l) = -4*g(l) + 33*p(l). Let s be f(0). Solve -s = -2*n - n for n.
4
Suppose -1 = -p - 2. Let w be p - (0/3 + -3). Solve 2 = -w*o - 4 for o.
-3
Suppose 0 = 1012*b - 997*b - 225. Solve b = 94*p - 89*p for p.
3
Let h be 4 - ((-60)/(-24) - (-3)/(-2)). Solve -5*b + 16 = h*b for b.
2
Suppose -2*r = -2*a + 4*a, 5*a + 3*r - 10 = 0. Let i be ((-3)/6)/(a/(-60)). Suppose 0 = -2*s + 16 - i. Solve s*p = p for p.
0
Let j = -183 + 194. Suppose -j*n = -41 + 8. Solve -3*w + n = -9 for w.
4
Suppose -22 - 155 - 10 = -11