et c = f + 563. Solve 3*x + c - 13 = 0 for x.
3
Let m be ((-6)/9)/((-12)/1584). Solve -130 = -21*f - m for f.
2
Suppose -186 = -a - 4*k + 64, a = 2*k + 274. Suppose -a*d = -268*d. Suppose 0 = -u + 4*r + 11, 2*r = u - 4 - 3. Solve d = -2*n + u*n for n.
0
Suppose 34*s = -15*s. Solve -6*l + 0 - 12 = s for l.
-2
Let z(s) = 2*s**3 + 17*s**2 + 386*s + 3583. Let p be z(-9). Solve -31*x + p*x = 18 for x.
-6
Suppose -3 = o - 2*u + 4*u, -4*o + 5*u = -40. Let v = 27 - 24. Suppose -5*i + 3*i - 35 = -v*j, 3*i = o*j - 57. Solve 4*p - 3 = j for p.
3
Suppose 13*o = -16*o - 23*o + 624. Solve 8*u - o*u = 16 for u.
-4
Let i = -28246 - -28259. Let y(q) = -q + 8. Let a be y(5). Solve -a*o - 10 = -i for o.
1
Suppose -4*v = 32*v + 4*v - 18*v. Solve -16*h + 4 + 12 = v for h.
1
Suppose 4*x + 187 = -41. Let d be 0 - (x - -3 - -5). Let z = -46 + d. Solve -s + 8 = z*s for s.
2
Let x(j) = j**3 + 7*j**2 - 20*j - 30. Let p be x(-9). Let b be 0*(3/18)/((-4)/p). Solve 6*i + 18 = -b for i.
-3
Let l = -198 - -236. Suppose -8*g = -62 + l. Solve -21*k + 20*k - g = 0 for k.
-3
Suppose z - 30 = u - 3*u, -3*z + u + 55 = 0. Let x be 12/54 + 2453/99. Suppose -5*k + v = -z, 6*k = 7*k + 4*v - x. Solve s = k*s for s.
0
Suppose 11*f + 4 = 14*f + i, 2*i + 25 = 5*f. Suppose -6 = -3*v - 5*o + 2*o, 2*o - 9 = -f*v. Solve 4*s + 15 + v = 0 for s.
-5
Let y be (-4)/7*(-14)/4. Let l be (-1)/(2/(-8)) - (11 + -14). Let k be (l/21*0)/(-2). Solve h + y - 1 = k for h.
-1
Suppose 0 = -67*h - 179*h + 28626 - 6240. Solve 11*x + h*x + 816 = 0 for x.
-8
Let i be (-2 + 5)/(-11*1/(-11)). Solve 0 = i*k + 22 - 40 for k.
6
Let v(s) = s**2 - 60*s + 334. Let y be v(54). Solve -y*z + 105 = 75 for z.
3
Suppose 0 = -4*s - 2*h + 64, -h = -11*s + 8*s + 63. Solve 40*n - 21*n = s for n.
1
Suppose -4*c = 65*d - 60*d - 276, 4*c = -d + 52. Solve 72*h = d*h + 16 for h.
1
Suppose -5*g + 11 = 4*p + 1, 5*g + p - 10 = 0. Let q = 1662 - 1656. Solve g*n + q = -2 for n.
-4
Let q = 68 - 54. Suppose -q = -r - 6. Solve 7*u - 9*u = -r for u.
4
Suppose 3*l = 5*z + 57, -9*l + 62 = -5*l - 2*z. Suppose 6*v - 20 = -l*v. Solve 3*n = v + 5 for n.
2
Let z be 194 - (-80)/(-25)*(-10)/(-4). Solve 10*t - 216 = -z for t.
3
Let j(q) = -q**3 - 5*q**2 + q + 9. Let a be j(-5). Solve -42*n = -46*n - a for n.
-1
Let f(l) be the first derivative of -2*l**2 - 19*l - 22. Let q be f(-4). Let a be q + (-145)/(-30) + (-3)/(-18). Solve 4*h - 3*h + a = 0 for h.
-2
Let w = -40 + -23. Let d = w - -65. Suppose -d*z = -3*l - 12, 0 = -3*z - 2*z - 5*l + 5. Solve 8 = z*k - k for k.
4
Let l(y) = -y**3 - 16*y**2 - 51*y - 1. Let z be l(-12). Solve 3889*a = 3894*a - z for a.
7
Let p(m) = -2*m**2 + 106*m - 291. Let t be p(3). Solve 0 = -t*l + l - 56 for l.
-7
Let b(d) = d**2 + 24*d - 245. Let x be b(-33). Suppose x*z - 357 = z. Solve -9 = -16*a + z for a.
1
Let b(q) = q**2 - 288*q + 2248. Let k be b(8). Solve 35*o - k = 33*o for o.
4
Suppose 46287*t - 46284*t - 129 = 0. Solve 39 = r + t for r.
-4
Suppose -2*x = -10, -x - 136 = -0*w - 3*w. Solve 80*l - 132 = w*l for l.
4
Let v = 56 + -52. Let w(b) = -b**2 + 9*b - 7. Let u be w(v). Suppose u = g + p + 5, -4*g - 5*p + 34 = 0. Solve g = 3*q - q for q.
3
Suppose 5*v + 4*y + y - 270 = 0, v + 6*y - 69 = 0. Solve 12*w - v = -39 for w.
1
Let w(d) = -18*d - 36. Let b(o) = -o - 3. Let q(l) = 108*b(l) - 4*w(l). Let a be q(-5). Solve a = -4*c - 19 + 27 for c.
2
Let y be (630/(-147))/15 - (-450)/7. Solve y*h - 62*h = -2 for h.
-1
Suppose 0 = -126*v - 67*v + 965. Solve -v*r - 166 + 151 = 0 for r.
-3
Suppose -90 - 20 = 22*q. Let x(l) = -6*l**2 - 12*l - 7. Let m(r) = 5*r**2 + 11*r + 7. Let w(c) = -5*m(c) - 4*x(c). Let i be w(q). Solve -2*d - i = -d for d.
-3
Let s be (39/(-26))/(108/(-4248)). Solve 158*c - 594 = s*c for c.
6
Let u(v) be the first derivative of v**4/4 - 4*v**3/3 - 3*v**2/2 - 6*v + 4. Let b be u(5). Let x = 1775 + -1775. Solve x = -b*a - 2 - 2 for a.
-1
Let p = -47 + 52. Suppose -4*q = -3*n - 66, 0*q - 5*n + p = q. Let b be q/2 + 12/(-8). Solve 8*o - 10 = b*o for o.
5
Let g = -175 + 16. Let k = g - -159. Solve k = -12*x + 5*x - 21 for x.
-3
Let f(x) = 74*x + 734. Let p be f(25). Solve -p*m = -2594*m + 50 for m.
5
Let f(n) = 33*n - 3267. Let r be f(99). Solve r = -0*i + 18*i for i.
0
Suppose 0 = 5*f - 2*n - 319, 75 = -f + n + 137. Solve f*y - 30 = 71*y for y.
-5
Let n = 3 + 0. Suppose -7*m - 6 = -9*m, 5*x + 50 = 5*m. Let c(p) = p**3 + 5*p**2 - 17*p - 13. Let i be c(x). Solve i = -n*r - 7 for r.
-5
Let p be ((-6)/(-7))/(4/28). Suppose r - p*r - 5*h = -70, 4*r = 3*h + 35. Suppose -r*n + 24 = -3*n. Solve 1 + n = t for t.
4
Suppose 3*d - 993 = x, -2*d - 2*x = -x - 667. Let r = -329 + d. Solve -2*y - r = y for y.
-1
Let p(o) = -18*o**3 + o**2 - 1. Let u be p(-1). Let z(b) = -59*b - 408. Let j be z(-7). Solve j*c + u - 3 = 0 for c.
-3
Let m(k) = 8*k - 43. Let x be m(7). Suppose 2*y - 4*y = 3*u - x, -4*y - 9 = u. Solve 20 = -12*f + u*f for f.
-4
Let v(k) = k**3 + 37*k**2 + 32*k - 130. Let x be v(-36). Suppose -15*w = 4*l - x*w - 40, -49 = -5*l - w. Solve 4*h - l = h for h.
3
Suppose -91 + 64 = -o. Suppose 0*b - 5*b = -5*l - 15, l - o = -5*b. Solve -2*z = -b*z + 6 for z.
2
Let m(h) = -h**3 - 11*h**2 - 12*h - 12. Suppose g + 4 = s, 0*g + g = 0. Suppose 2*y - 20 = s*y. Let w be m(y). Solve 0*c + w = 4*c for c.
2
Suppose -24*s + 11*s = -26. Suppose 14*l = -15*l + 29. Solve s*r + l = r for r.
-1
Suppose 0 = 45*m - 11*m. Solve m = -2*q + 3*q + 2*q for q.
0
Let i(n) = -n**2 + 6*n + 25. Let b be i(7). Solve 79 = b*r - 29 for r.
6
Let b be (7 + 8964/3)/5. Solve -b = -2*f - 607 for f.
-4
Let f(j) = 4*j - 10. Let p be f(3). Let o(i) = 3 - 8*i - i - 25*i**p + 23*i**2. Let d be o(-4). Solve -5*h = -d - 18 for h.
5
Suppose 0 = 266*y - 288*y. Solve y = -283*s + 288*s - 30 for s.
6
Suppose -3*a = -15, -3*g - 3*a + 881 = -5*a. Let h = 303 - g. Solve h*b + b = 4*b for b.
0
Suppose 0 = 15*a - 5 + 35. Let i be (-5)/((-80)/194) + a/16. Solve 4*b = 8*b - i for b.
3
Let o be 15/((-150)/(-190)) + 89. Solve 266*c - 248*c = o for c.
6
Suppose -2603*r = -2614*r + 5456. Solve r = -2*s + 500 for s.
2
Let f = 5357 - 5327. Solve 51 = -f*g - 39 for g.
-3
Let l = 37 - 37. Suppose l = -2*i + 2*u + 14, -1 = -5*i + 3*u + 40. Let g = 284 - 279. Solve g*w = i*w - 5 for w.
1
Let k(z) = -2*z**3 + 22*z**2 + 20*z + 77. Let f(a) = 3*a**3 - 24*a**2 - 20*a - 77. Let c(b) = 3*f(b) + 4*k(b). Let v be c(-15). Solve s - v*s = -4*s for s.
0
Suppose 3*o - 152 = 6*o + 4*v, 5*o + 246 = -3*v. Let w = 53 + o. Suppose -3 - w = -4*h. Solve 4*p - h = 10 for p.
3
Let v be (64/(-12) + 6)/((-2)/(-9)). Suppose p - 4*p - 9 = 0, 5*p + 36 = v*d. Solve u - 11 = -d for u.
4
Let x be ((-1)/((-2)/6))/(4234/(-87) - -49). Solve -16*s - 150 = x*s for s.
-6
Suppose 2*a - 234 = -4*u, a = -7*u + 2*u + 288. Let c = 92 - u. Suppose -4*v + 28 = -5*i, -5*v + c = 3*i - 2*i. Solve -v*j + 20 = -2*j for j.
4
Let j = 233 + -230. Suppose k - 2 = -j*k + f, -f - 2 = 5*k. Solve l - 3*l + 2 = k for l.
1
Suppose 0 = 34*f - 49*f + 315. Solve 13*u = 34*u + f for u.
-1
Let m(v) = -v**3 + v**2 + 2*v - 1. Let x = 52 + -55. Let h be x/(-4) + 2/8. Let k be m(h). Solve p = -k - 3 for p.
-4
Let r(s) = -27 - 9*s + 90 - 150. Let q be r(-10). Solve -20 = -l - q*l for l.
5
Suppose -2*d - 136 = -4*f, 71*f + 2*d = 67*f + 112. Solve f*n - 96 = 47*n for n.
-6
Let m(o) = 149*o + 1341. Let c be m(-9). Solve 0*g - 56*g + 168 = c for g.
3
Suppose 3*a + 5*k = 2*a - 16, -10 = a + 2*k. Let d(o) be the second derivative of -o**3/6 - 3*o**2 - 630*o - 1. Let l be d(a). Solve 1 + l = t for t.
1
Suppose -6 = 4*y - 2*q, -5*y - 9 = 9*q - 13*q. Let z be (y - 2)*28/(-21). Solve -l + z*l - 15 = 0 for l.
5
Let i = -4037 + 4037. Solve i = 3*g + 8 + 7 for g.
-5
Suppose -24*g = -518 + 1598. Let c be 48/20 + (-27)/g. Solve -c*k = -8*k - 10 for k.
-2
Let h be (-3)/(744/16) - (-912)/(-93)*-41. Solve -24 = 54*p - h for p.
7
Let t be (1 + 21)*10/20. Suppose 0 = p + 10*p - t. Solve -l - 2 = p for l.
-3
Suppose -2*p = -3*u + 73, -p - 48 = -2*u - 0*p. Suppose -u = -8*m + 17. Let t(c) = -c**2 - 7*c + 18. Let l be t(-6). Solve -m*h + 4 = l for h.
-4
Let f = -29573 + 30543. Solve 961*k - f*k + 18 = 0 for k.
2
Let b(i) = -i**3 - 14*i**2 + i + 9. Let o be b(-14). Let j be (-3 + 2)*3 - o. Suppose 5*c - 16 = -4*m + 47, 4*c - j*m - 40 = 0. Solve n - 10 = -c for n.
-1
Let