 + 11*f = -f for f.
0
Suppose 78*x - 280 - 210 = -22. Solve 0 = -k + x for k.
6
Let i(r) = -2*r - 3. Let g be i(-4). Let p(l) = l**2 - 12*l - 24. Let v be p(14). Suppose 105 = -v*t + 129. Solve g*u = t - 16 for u.
-2
Let b(c) = -c**2 + 19*c + 182. Let f be b(25). Solve -154*u - f = -122*u for u.
-1
Suppose -o - 1218 = 5*o. Let b = o + 206. Solve 0 = -7*r + b*r for r.
0
Suppose -5*o = 84*c - 81*c - 11, -c + 2*o = 0. Solve 0 = 4*k - c*k - 4 for k.
2
Suppose -v = 3*c + 4, -16 = -4*c + 8*c. Let b be 1 - (v/(-14))/((-16)/(-56)). Suppose b*t + 2*t = 15. Solve 4 = -l + t*l for l.
2
Suppose 1230 = 12*n - 1194. Let i = -200 + n. Solve -2*y = i*y - 8 for y.
2
Let i(w) be the first derivative of -w**4/4 - 3*w**3 + 3*w**2 - 37*w - 83. Let g be i(-10). Solve -4*o - g = -7 for o.
1
Suppose -447 = 2*a + 723. Let x = a - -591. Solve -x = -v - 2*v for v.
2
Let i(v) be the third derivative of 11/3*v**3 + 38*v**2 + 2/15*v**5 - 3/4*v**4 + 0*v + 0 + 1/120*v**6. Let l be i(-10). Solve l*t - t = 5 for t.
5
Let a = 181 + -181. Suppose a = -s + 3*y, -2*s = 2*y + y. Solve s*k = k + 1 for k.
-1
Let f be (0*(-41)/(-1968))/((1 - 3) + 3). Let g be ((-3)/(-2))/(1/4). Solve f = -g*s + 4*s for s.
0
Let t = 26903 - 26885. Solve -4 + 94 = t*i for i.
5
Suppose -3*t + 2 = 4*s, 0*t - t + 4*s = -6. Suppose 9*h = -5*c + 7*h + 25, c + 4*h = 23. Let j be 18/6 - (-7 + c)/(-2). Solve t + j = 3*l for l.
1
Suppose 63 = j - 50. Let b = j - 107. Let q be 4/(-14) + (-48)/(-21). Solve 0 = -2*r - b - q for r.
-4
Suppose -5*r = 2*c - 39, 4 = 110*c - 113*c + 5*r. Solve c*s + 12 = 68 for s.
8
Let d be 1 + 21*4 + (14 - 11). Suppose d*o - 24 = 85*o. Let s be (4/(-2))/(8/(-28)). Solve -5*u + s + o = 0 for u.
3
Suppose 6*v - 25*v = -57. Suppose -u + 65 = v*c + 56, 4*u + 5*c - 71 = 0. Solve 5*a - u = -9 for a.
3
Let m = 3305 + -3297. Solve 0 = -m*c - 41 + 17 for c.
-3
Let x(l) = -l**3 + 24*l**2 - 23*l + 5. Let b be x(23). Suppose 5*u = 4*n + 28, b*u + 3 = n + 40. Solve 0 = 3*f - 2 + u for f.
-2
Let d be (59 - 5) + (0 - (-2 - -2)). Suppose 42 = -3*a + d. Solve -y - 15 = -a*y for y.
5
Let c be (-1)/((-28)/40) - 3744/(-182). Solve 19 = -c*o - 157 for o.
-8
Let x = -2600 - -2602. Solve 10*n + x = 42 for n.
4
Suppose 775*g = 779*g - 20. Suppose -r + 5 = g*s, -1 = 3*r - 2*s + s. Solve -c + 8 - 4 = r for c.
4
Let h(n) = -2*n**3 + 37*n**2 + 18*n - 15. Let d be h(19). Let q = 39 + d. Solve -q*f + f = -16 for f.
4
Let d be -193 + 198 - 1*15/3. Solve d*t = -8*t + 48 for t.
6
Let j be 6350/(-15)*(4 + (-156)/30). Let u = j - 503. Solve u = -m + 2 for m.
-3
Suppose -87*j + 365 = -2130 + 407. Solve -j = -6*k + 12 for k.
6
Let k(r) = -r**3 - 5*r**2 - r - 3. Suppose 0 = -7*c + 4*c - 15. Let a be k(c). Let q be (21/28 - 1/(-4)) + a. Solve -7 = -2*x + q for x.
5
Suppose 2*w - 296 = -4*f + 2*f, -2*f + 755 = 5*w. Suppose 133 = 22*g - w. Solve 46 = g*i - 19 for i.
5
Let g = 71 - 303. Let r = 237 + g. Solve 16 + 4 = -r*j for j.
-4
Let f = 26 + -20. Let b = 9 - f. Suppose 0 = -t - b*y - 6, t - 1 = -y + 1. Solve 14 = -4*u + t for u.
-2
Let l = 534 - 529. Let a(f) be the first derivative of f**2/2 - 2*f - 2. Let m be a(l). Solve m*z = -2*z for z.
0
Let q be (0*(-2)/4)/(-1). Suppose 127*w - 72*w = 149 + 16. Let u be (1 + -2)/1 + 25. Solve -w*b - 9 + u = q for b.
5
Suppose 6*f - 12*f = -48. Let w(y) = -y**3 + 6*y**2 + 16*y + 3. Let i be w(f). Suppose -6 = -j - i. Solve -1 - j = -h for h.
4
Let y(d) = 6*d**3 - 11*d**2 - 15*d + 12. Let k be y(3). Solve k = -35*l + 40*l for l.
6
Let w be 2/4 + 6/((-84)/(-203)). Let u be ((-8)/(-10))/((-13)/65). Let j be 6 - (12/u - -4). Solve -j*b + 0*b + w = 0 for b.
3
Suppose -4*s = -3*b - 748, 5 - 13 = -2*s. Let n = 248 + b. Let i = -12 - -17. Solve n*u - i = -1 for u.
1
Let h be 17 + ((-10290)/(-10))/21. Solve 12*f - f + h = 0 for f.
-6
Let f = 8670 + -8639. Solve 44*d - f*d + 13 = 0 for d.
-1
Suppose 0 = -422*w + 429*w + 2394. Let x = w + 387. Solve x*l - 25 = 50*l for l.
-5
Let u be 124 + ((-28)/(-70))/(2/(-30)). Suppose 0 = 29*j - 114 - u. Solve j*k = 5*k for k.
0
Suppose 2*o - 20 = 3*i, -7*i + 2*i = -5*o + 40. Suppose 0*a = o*a - 16. Suppose -a*m + 12 = -g, -3*g + 3*m - 6 = m. Solve 3*y = -g*y + 15 for y.
5
Suppose -18 = -2*t + 2. Let r be (-3 + -10)*3*1. Let z = r + 41. Solve t = -0*k + z*k for k.
5
Let i(w) = -18*w + 156. Suppose -4*u + 174 = 142. Let g be i(u). Solve -g*t + 18 = -3*t for t.
2
Let m be 136/51*9/4. Solve -13*q + 19 = m*q for q.
1
Let i(t) = 21 - 2*t + 8 + t - 15. Let z be i(10). Solve -15 = -9*l + z*l for l.
3
Let g be ((-10)/25)/1 + 24/10. Suppose 0*n - 96 = -g*n. Let u = 48 - n. Solve -4*y - 16 = -u*y for y.
-4
Let s(q) be the third derivative of 19*q**4/24 - q**3 - 4*q**2. Let d be s(2). Let k be (-1 - 0) + (d/4)/2. Solve 8*i = k*i for i.
0
Let f = 303 + -208. Let x = f - 76. Solve 5*l - 44 = -x for l.
5
Let p be 0 - -321 - (-3)/((-3)/4). Let o(k) = -40 + p*k + 8 - k**2 - 336*k. Let n be o(-17). Solve 2*g + 0*g = -n for g.
-1
Let f be (-2)/16 - (-1804)/352. Let d be -7 + 9 + f/(5/3). Solve d = 5*k - 0*k for k.
1
Let v be (-6 + 0 - -3) + 5. Suppose -7*t = -v*t - 5*h - 5, 0 = h. Solve 3*w - t = -7 for w.
-2
Suppose 4 = -j - 19. Let t be (-22 - j)*(-1)/((-1)/5). Let o(s) = 4*s - 17. Let n be o(t). Solve n*g + 4 = -2 for g.
-2
Suppose j - 4 = -3*j. Let s = -301 + 305. Let a be s*j/(-2)*(0 + -2). Solve -a + 10 = -3*x for x.
-2
Let f(p) = p**3 - 16*p**2 - 17*p + 3. Let x be f(17). Let y be ((-387)/(-12))/(x/12). Let k = y - 125. Solve -k = -3*t - 1 for t.
1
Let k = 86 + -82. Suppose -2*o - o = 0, k*b = -2*o + 44. Solve 0 = -6*u + b*u + 10 for u.
-2
Suppose -185*a + 19404 = 13*a. Solve 28*i = a*i + 490 for i.
-7
Let w = -200 + 143. Let k = w + 57. Let m be 1/2*k/(-4). Solve u = -m*u - 3 for u.
-3
Let z(m) = -254*m**3 - 2*m**2 + m. Let d be z(1). Let x = d - -255. Solve x = -5*v + 20 for v.
4
Let g(k) be the third derivative of -k**5/60 + k**4/4 + 2*k**3/3 - 4*k**2. Let l be g(4). Let q be 4/(-14)*(-42)/l. Solve -o + 5 = q for o.
4
Let s be 10*(2 + (-12)/10). Let p(n) = -n**2 - 8*n + 2. Suppose -2*t - 16 = -0*t. Let q be p(t). Solve 2*h + q*h = s for h.
2
Let j be 6/(2 - 3) + (-12 - -14). Let r be 12/((2/j)/((-5)/15)). Suppose -12*d = -r*d - 8. Solve -d*i = -6*i for i.
0
Suppose -48*n = -50*n + 90. Suppose n - 29 = -4*m. Let y(r) = -r**3 - 3*r**2 + 5*r + 4. Let x be y(m). Solve 0 = -s + 5 - x for s.
5
Let g(n) = -2*n**3 + 27*n**2 + 14*n + 4. Let s be g(14). Let l be (s + 190/(-15))*9/(-6). Solve 7 = -4*z - l for z.
-5
Let f(y) = -2*y + 7. Let d be f(4). Let g be (-33 - -25)*3*d. Solve 7*l + g = l for l.
-4
Let o(m) = -12*m**3 + 10*m**2 - 2*m - 12. Let a be o(-2). Solve 3*g - a = -125 for g.
1
Let d be (297/165)/(3/20 + 0). Suppose -10*f - 5*q + 16 = -12*f, 4*f - d = -q. Solve -f*s = 2*s + 12 for s.
-3
Let h(f) = -f**3 - 2*f**2 + 9*f + 8. Suppose 5*b - 12 = -32. Let y be h(b). Solve 0 = -n - 3*n + y for n.
1
Suppose 33*p = 41*p - 680. Suppose 67 = -3*b + p. Solve 2*s = -b*s for s.
0
Let v(b) = 59*b**2 - 11*b + 6. Let c be v(1). Solve 9*d + c = -0*d for d.
-6
Let k(n) = -4*n**3 - 99*n**2 + 7*n - 108. Let h be k(-25). Solve 25 = 337*o - h*o for o.
-5
Let y be ((-70)/(-315))/((-1)/(-9)). Suppose y*m - 5*c - 4 = 0, 4*m + 6*c - 5*c = 30. Solve x = m*x - 24 for x.
4
Let z be ((-9)/(-2))/3*336/(-32)*-12. Solve 0 = -197*r + z*r - 56 for r.
-7
Let o = 53 - 53. Suppose 5*n = -2*a, -4*a + 3*a = o. Let l be -1*(-3 - -4 - 7). Solve l + n = -3*s for s.
-2
Let r(q) be the second derivative of -3*q**5/20 - 25*q**4/12 + 17*q**3/6 - q**2/2 + 157*q. Let t be r(-9). Solve t*k + k = -18 for k.
-2
Suppose -b - 5*y + 35 = -0*b, 0 = y - 3. Suppose 2*o - 10 = 2*p, -b = 3*p - 2*o - 2*o. Solve p*s = -s for s.
0
Let r = 9470 - 9440. Solve r = 5*n + 35 for n.
-1
Let o(g) = -42*g + 1518. Let y be o(36). Solve 38*l + y = 36*l for l.
-3
Suppose 5*j + 609 + 691 = 0. Let m = j + 264. Solve 0 = -m*o - 9 - 11 for o.
-5
Let d(f) = 2 + 1 - 4 + 6*f - 7*f + 2*f**2 + 39*f**3. Let p be d(-1). Let a = 47 + p. Solve -a = 5*g + 10 for g.
-4
Let v be ((-22)/6)/(-6 + (-57)/(-9)). Let f = v + 21. Let l be (((-36)/2)/3)/(-2). Solve -l*i + f = -i for i.
5
Let i = -9 - -9. Suppose 20 = q + 6*t - t, 2*t - 8 = q. Suppose 5*l + z - 22 = 0, q = 3*l - z - 3 - 7. Solve 4*o - l + i = 0 for o.
1
Let w(b) = -5 + b**3 - 13*b + 20*b -