= -f*j + j for j.
-5
Let k be ((-6)/8)/(15/3180). Let a = 161 + k. Solve 0 = 3*d - a*d for d.
0
Suppose -2*h - c + 112 = 0, 5*c = 21*h - 16*h - 265. Solve 47 = h*t + 212 for t.
-3
Let x be 4/(-46) - (-12105)/345. Suppose -47 = -2*a - x. Solve -a - 2 = -4*s for s.
2
Suppose 2*u + 2*t = 226, u - 46 - 65 = -3*t. Suppose 53*g = 34*g + u. Solve 0 = g*h - 0 - 18 for h.
3
Let u = -8610 + 8824. Solve -12*g + 190 = u for g.
-2
Let y(f) = -f**3 - 5*f**2 + f + 7. Suppose -4*t = 3*p + 5, -2*t - 3*p + 2 = -3. Let l be 24/t + (-4)/20. Let m be y(l). Solve 0*w - m*w = 0 for w.
0
Let f(q) = -4*q - 36. Let n be f(-9). Suppose -27*k + 20*k + 28 = n. Solve 0 = k*m - 12*m for m.
0
Let b(l) = -4*l + 8. Let w(i) = -i - 1. Let x(v) = b(v) - 3*w(v). Let p be x(9). Suppose 0 = 2*c - 6*c - c. Solve c = -p*s - 0*s - 4 for s.
-2
Let j = -565 - -582. Suppose j*v = 30*v - 91. Solve -8*q - v = -q for q.
-1
Let h(m) = -29*m - 1098. Let i be h(-38). Let z be (-6)/(-8)*1*4. Solve -z*x + i = -x for x.
2
Let f = -8 + 18. Suppose 2*p - 4*p = -f. Suppose p = 2*u - 3. Solve -u = -d - 3 for d.
1
Let q(n) be the first derivative of 2*n**3/3 + 4*n**2 - 18*n - 60. Let j be q(2). Solve 6*s - 4*s = -j for s.
-3
Suppose -3*v + 4*g + 2164 = 0, 3*v + 4*g - 1950 = 254. Solve 0 = v*o - 733*o - 10 for o.
-2
Let s(v) = v**3 - 4*v**2 + 9*v - 7. Let x(m) = m - 22. Let g be x(24). Let k be s(g). Solve k*n + n = -n for n.
0
Let f(v) = -4*v**3 - 3*v**2 - 4*v - 2. Let x be f(-1). Let h(p) = 45 + 24*p + 27*p - 54*p. Let u be h(14). Solve u = -4*y + x*y for y.
-3
Let x be -1 + 2997/90 + 6/(-20). Suppose -s = 0, x = 4*f - 13*s + 10*s. Solve r = f*r for r.
0
Suppose 2*h + 4*k + 6 = 0, 3*h - 25 = k - 6. Let z be (-6 + 5)*h - -14. Solve z = 7*d - 4*d for d.
3
Suppose -154*n = -159*n + 2*c + 104, 0 = -5*n + 3*c + 106. Solve 115*g = n*g - 285 for g.
-3
Suppose 0 = 4*w - 2*w - 4*g - 28, 0 = -w + 4*g + 24. Let h(l) = -l**3 - 25*l**2 - 155*l - 38. Let q be h(-10). Solve c = w*c - q for c.
4
Let w be ((-219285)/(-38984))/(10/16). Let s be 6*1/(-2)*-2. Solve -5*h - s = w for h.
-3
Let b be 4/(-18) + (-768)/(-54). Suppose b*s + 20 = 19*s. Suppose -4*p - 4*j - 8 = p, 2*p + 2*j + s = 0. Solve -2 = -p*x + x for x.
-2
Suppose -196 + 11 - 395 = -29*o. Solve -4*y = o - 8 for y.
-3
Let t(j) = -j**3 - 8*j**2 - 12*j - 248. Let h be t(-10). Solve -47*l + 11*l + h = 0 for l.
2
Suppose 0 = 4*b - 4*h - 12, 0 = b + 19*h - 15*h + 12. Let p(x) = x**2 - 3*x - 2. Let o be p(8). Solve b = -13*z - o - 27 for z.
-5
Let o = -544 - -600. Suppose -o*y = -54*y - 56. Solve -y + 26 = s for s.
-2
Let z(x) = x**3 + 7*x**2 - 17*x + 9. Let g be z(-9). Let n be (4/10)/((-2)/(-10)). Let q = -257 - -266. Solve -w - n*w - q = g for w.
-3
Let u be 28*((-1)/5 - 54/(-70)). Suppose -5*s = -2*w - 6*s + 11, -s + u = 3*w. Solve -3*l = w - 14 for l.
3
Suppose 42 = -10*w + 3*w. Let j(y) = -15*y - 89. Let m be j(w). Solve r - 3 = -m for r.
2
Let i = 272 - 268. Suppose i*a + 8*a = 60. Let b = 2 - 2. Solve b = -h - 4 + a for h.
1
Let j(v) = 1 + v - 5*v + 3*v + 0*v. Let r(g) = -2*g**2 - 22*g - 5. Let d(q) = -j(q) + r(q). Let u be d(-10). Solve 0 = -5*c + 3*c + u for c.
2
Suppose 0*c + 4*j + 4 = c, -4*c + 2*j = -30. Let z = 40682 - 40679. Solve -c = z*y - 5*y for y.
4
Let p(b) = -7*b - 81. Let y be p(-12). Suppose -y*i + 0*i = -6. Solve 2*v + i = -6 for v.
-4
Suppose 3*p = 2*d + 6, -29*p + 30*p - 2 = 2*d. Solve p*l - 27 = 11*l for l.
-3
Suppose -p + 0 + 10 = h, -3*p = -4*h - 16. Let t be (-219)/(-10) - p/(-80). Solve 32 = -5*b + t for b.
-2
Let v = 3 + 1. Suppose 528*x + 16 = 2*p + 523*x, -2*x - 8 = -p. Solve 0 = p*k - v*k for k.
0
Let b be -4 - ((-5)/1 + -4). Suppose -k + 2*h + 15 = b, 5*h + 22 = 2*k. Suppose -8*w + k = -5*w. Solve 17 - w = 5*y for y.
3
Let k = 3 - 3. Let q(p) be the third derivative of p**5/60 + p**4/8 + p**3/3 - 8*p**2. Let z be q(-3). Solve 2 = -z*o - k*o for o.
-1
Suppose -36*j + 137 = -439. Solve 66 = 27*p - j*p for p.
6
Let y(k) = k**2 - 3*k - 6. Let a be y(5). Suppose -a*n + 273 + 131 = f, -2*f + 8 = 0. Suppose -r + 107 - n = 0. Solve l = -10 + r for l.
-3
Suppose 4*k = -3*q - 7, -3*q - 3*k - 1 = 2. Let i be (((-54)/(-15))/q)/(1/(-5)). Let m be i/27*-3*3. Solve m*u = 5 + 1 for u.
3
Suppose 3*h + 9 = 0, h = -y + 4*y - 282. Solve -99 = -3*j - y for j.
2
Let h(m) = -2*m**3 + 56*m**2 - 2*m + 60. Let q be h(28). Solve -55 = q*w - 51 for w.
-1
Suppose -2039*l - 1450 = -2064*l. Solve 38 = -39*b + l*b for b.
2
Let o = -758 - -1467. Let m = 715 - o. Solve m*l = 5*l for l.
0
Suppose 17 = 2*h - 2*b + 11, 0 = -h + 5*b - 17. Solve -28*r = -30*r + h for r.
4
Suppose 3*o = 2*m + 4, o + 1 = 3. Let r(b) = 6*b**3 - 3*b**2 + b. Let q be r(m). Solve 0 = -0*p + q*p - 4 for p.
1
Let q(z) be the first derivative of -z**3/3 + 5*z**2/2 + 2*z - 2. Let w be q(4). Suppose 234*n + 27 - 48 = -21. Solve -3*a - w + 0 = n for a.
-2
Suppose 21 = 16*z - 11. Suppose 10 = 5*r, -i + r = z*r - 14. Solve -3*y = -i + 15 for y.
-1
Suppose 5589 = -10*m + 2*m + 6189. Solve -6*p = 57 - m for p.
3
Let h be 72/5*(-130)/(-39). Suppose -3*j + 5*o = -53, -5*j + o = -j - h. Let z be -3 - (5 + (-5 - j)). Solve z + 8 = -4*m for m.
-4
Suppose 4*p = -5*h + 394, -2*h = 20*p - 15*p - 144. Solve -22*v + h + 28 = 0 for v.
5
Let b = 12347 - 12335. Solve 40*q + 28 = -b for q.
-1
Suppose -2*v - 10 = -2*y - 14, -16 = -3*v + y. Solve -v*t + 28*t = 126 for t.
6
Let s(u) = -u**2 - 3 + 126*u + 5*u**2 - 125*u. Let v be s(-3). Solve 3*c = 36 - v for c.
2
Let f = 185 - 191. Suppose -5 = -i + 4. Let t be (i/(-6))/(3/f). Solve 3*w + 0 = t for w.
1
Let y = 41 - 35. Let d be -2 + 40/24 + 74/y. Let v be 17 + (d + -13 - (1 + 0)). Solve -2*w + 7*w + v = 0 for w.
-3
Suppose 65*s - 162 = 423. Solve s = -6*r + 33 for r.
4
Suppose 288*x - 283*x = 20. Let h(f) = f**2 - 2*f - 5. Let c be h(x). Solve 6*s - c*s + 3 = 0 for s.
-1
Let w be 1 - (4 + -9) - (0 + (-10 - (-3 - 7))). Let c = 14 + -6. Suppose -c - 2 = -v. Solve g - w*g + v = 0 for g.
2
Suppose 503 = 18*u + 9971. Let o = u + 531. Solve 0 = -o*j + 12*j - 35 for j.
5
Let u = 1001 - 991. Let r(s) = 4*s**3 + 2*s**2 - 2*s + 1. Let o = -11 - -12. Let j be r(o). Solve -3*t + u = -j*t for t.
-5
Let f be -16*(-125)/180*(-18)/(-4). Let u be 37/7 - (-14)/(-49). Solve 0 = 5*y + u*y + f for y.
-5
Let x(u) = 6*u**2 + 4*u + 3. Let w = -13 + 12. Let h be x(w). Solve -h*v + 3 - 13 = 0 for v.
-2
Suppose 0 = -22*o + 10*o. Solve -31*h + 33*h - 4 = o for h.
2
Suppose -4*y - 4*u - 312 = -340, 4*y - 2*u - 46 = 0. Solve 0 = -y*c - 38 + 48 for c.
1
Suppose -y - n + 56 = 0, 5*n + 144 = -4347*y + 4350*y. Solve y*u - 33*u = 140 for u.
7
Let i(g) = -3*g**2 + 11*g - 59. Let t be i(8). Let s = t + 168. Solve -5*u - s = 10 for u.
-3
Let d(m) = 43*m + 4 - 2 - 41*m. Let s be d(1). Suppose s*r + 7 = 15. Solve r*q + 3 + 3 = 0 for q.
-3
Suppose -a - 2*d = -7, d + d + 5 = -5*a. Let v be (a - -2)/((-1)/23). Suppose h + 12 = b, -2*h + v = 5*b - 23. Solve -4*y - y = -b for y.
2
Suppose g + 1 = -2*t, -4*g = -5*t - 21 - 14. Suppose 24 = 4*r + r - m, -5*r - g*m = -30. Solve -r*n = -6*n - 3 for n.
-3
Let y = 12 - 19. Let u = 23 - y. Let a = u + -22. Solve x = 3*x + a for x.
-4
Let w(n) = n - 10. Let s be w(4). Let u be (-4)/s*(-18)/(-4). Suppose 0 = u*k - 2*g - 15, -3*k - 2 + 17 = 5*g. Solve 18 + 7 = k*v for v.
5
Suppose -5*r - 4*i + 15 = 0, 0 = -19*r + 21*r - i - 19. Suppose 4*f - 60 = 4*q, -r*f - 17 = -8*f + 2*q. Solve 6*z - 17 = f for z.
5
Let i = 299 - 295. Suppose -5*u - 2*a = 1, -3 = -4*u + a + i. Solve -98*d + u = -99*d for d.
-1
Suppose -4*h - 3*b + 58 = -63, -68 = -2*h - 4*b. Solve -15*a = -h - 17 for a.
3
Suppose -6*c - 10 = 8. Let a(h) = -h**3 - 3*h**2 + h + 3. Let d be a(c). Suppose -g = 2*z, d*g = g + z. Solve -3*j - 7 + 19 = g for j.
4
Let d be (-51)/(-68) + (-63)/84. Solve d = -4*p + 474 - 470 for p.
1
Suppose -k + 2*h = -7 + 4, 5*k - 10 = 5*h. Let y be 5/(k/((-30)/24*-4)). Solve 8*l = 3*l + y for l.
5
Suppose -4*v + 5*d = 26, -10*d + 59 = 2*v - 3*v. Suppose n + 2*w = -10, 4*n = -2*w + 3*w - 4. Let x = -2 - n. Solve x = -t + 3 - v for t.
2
Suppose 0 = y + y. Suppose 56*w - 63*w = -420. Let a be ((-8)/(-20))/(-6*(-2)/w). Solve y = -a*t + 5*t for t.
0
Let c be 5*42/35 + 2. Solve 0 = -c*x + 4 + 20 for x.
3
Suppose 0 = -g + 3*g - 66. Let n = g + -28. Suppose 0 = 5*v - n*o + 7*o - 7, v = 2*o +