
Suppose -9*j + 7*j - 2*y + 24 = 0, j = -5*y. Let t be (-1 - -3)/(15/j). Solve -2*c + 4*c = -t for c.
-1
Let u(h) = -2*h**2 - 110*h - 739. Let c be u(-8). Solve 41 = -c*y - 11 for y.
-4
Let f be (-1)/(-2) + (-511)/(-14). Suppose 0 = 4*o + 2*g + 132 + 10, -5*o + g - 167 = 0. Let c = f + o. Solve -c*u = 4 - 1 for u.
-1
Let r(t) = -t**2 + 50*t - 532. Let z be r(34). Solve 0 = -27*n + 23*n - z for n.
-3
Let z be 1780/45 - ((-8)/(-20) + (-38)/45). Solve 484 = -z*n + 284 for n.
-5
Suppose 0 = 6*m - 4*m - 6. Let o be 3 + 1 + (12 - -2). Let d be (4 - o/4)*0. Solve 8*g - m*g - 20 = d for g.
4
Suppose 19*f - 3 = 18*f. Suppose -2*b = -f*b + 2. Suppose 5*i - b*i = 45. Solve -5*q + 5 = -i for q.
4
Let d(l) = 33*l - 3*l**3 + 7*l**3 - 3*l**3 - 112 - 28*l**2. Let b be d(27). Solve -9*k - b = k for k.
-5
Let l(j) = 3*j**2 - 20*j + 34. Let s be l(5). Solve 11*i = -s*i for i.
0
Let k = -3258 + 4117. Solve -4*c - k = -863 for c.
1
Let u(f) = -f**3 + f**2 + 10. Let s be u(0). Let h be ((-110)/(-25))/(4/s). Suppose -h*n = -9*n - 26. Solve -2 = -3*b + n for b.
5
Let w = -7 + 9. Let g(v) = v**3 - 7*v**2 + 6*v - 42. Let n = -110 + 117. Let m be g(n). Solve m = w*l + l + 9 for l.
-3
Let q be (29 - 25)*((-21)/(-2))/3. Solve q*z + 4*z = -72 for z.
-4
Let z(r) = -2*r**3 + 11*r**2 + 3*r - 24. Let y be z(5). Suppose 7*q - 5 - y = 0. Solve q*i + 7 - 13 = 0 for i.
2
Suppose 0 = -2*p + 2*p + 4*p. Let c = -847 - -591. Let l be c/(-20) - (-12)/(-15). Solve -s + 4*s - l = p for s.
4
Suppose -8*a = -464 + 1760. Let x = 172 + a. Solve 0 = -4*l - 2 - x for l.
-3
Let n = -10 + 16. Let m be 17 - 9/n*2. Let i be (-12)/15*(-35)/m. Solve 1 = -p + i for p.
1
Let k be (-930)/(-70) - (-4)/(-14). Suppose k = -4*l + 21. Solve l = -4*x + 6 for x.
1
Let m be -9 + -4 - -26 - 1. Solve -m*q = 16*q + 28 for q.
-1
Let l(z) = -489*z + 1976. Let c be l(4). Solve -13 - 67 = c*q for q.
-4
Suppose -82 = -56*z + 55*z. Suppose -29 = z*f - 83*f. Solve t = -27 + f for t.
2
Let x be (6/8)/(-8*(-11)/704). Solve 16*s - x - 42 = 0 for s.
3
Suppose 0 = -5*u + u + 8. Let l(h) = 45*h + 5. Let b be l(1). Let n be (80/(-4))/(b/(-20)). Solve u*s = 4*s + n for s.
-4
Let v(k) = 5*k - 18. Let n be v(6). Let i be (-2)/(-3) - 8/n. Let h(z) = z**2 - 6*z - 11. Let g be h(9). Solve 4*y = -i*y + g for y.
4
Suppose 0 = 2*v - 5 - 5. Suppose 4*j - h - 236 = 0, -h = 2*j + 4*h - 96. Let g = j + -55. Solve -g*m - 4 = v for m.
-3
Suppose -d - 4*m + 2 = -3, -4*d - 2*m = -34. Let q be (6/d)/(4/60). Suppose 3*f - f - q = 0, -3*f + 10 = -5*j. Solve j = a + 4 for a.
-3
Let z = -8473 - -8538. Solve 0 = -12*p - z - 31 for p.
-8
Let h be (9 + 1011/(-18) + -4)*-6. Solve 11 = h*t - 318*t for t.
-1
Suppose 22 = -127*s + 129*s + 3*k, -4*k = -s - 11. Solve s + 7 = -3*h for h.
-4
Suppose 5*p = -8*p + 2730. Suppose 3*k - 4*n = p, 0*k - 318 = -5*k - 4*n. Let d = 66 - k. Solve w + 2 = -d for w.
-2
Let q(a) = 17*a - 53. Let c be q(5). Suppose -3*m = -4*g - c - 30, 5*g + 25 = 0. Let z be (46/60 - m/84)*15. Solve -z*s = -5*s for s.
0
Let h = -128504 + 128508. Suppose 0 = -2*t + k + 32, k = -3*t + 2*k + 50. Solve -h*b - 2 + t = 0 for b.
4
Let z(k) = 43*k - 750. Let r be z(20). Solve -86*x - 48 = -r*x for x.
2
Let h = 1033 + 102. Let b be h/75 + (-2)/15. Let a(i) = 5*i**3 + 2*i**2 - i - 2. Let p be a(1). Solve x = -p*x + b for x.
3
Suppose 0 = 5*k + 3*r - 30, 491*k + r - 10 = 492*k. Suppose -2*o = -5*l + 44, -5 - 51 = -5*l - 2*o. Solve k = -l*m + 13*m + 15 for m.
-5
Let d(u) = u**2 - 17*u - 48. Let r be 3/(-6) - (35/(-2) + -3). Let q be d(r). Solve -11*g = -q*g for g.
0
Let s = -2892 - -2912. Solve -19*g + s*g + 1 = 0 for g.
-1
Suppose -3 = -5*o + 12. Let d be (-1)/o*(-660)/44. Solve d*b - 12 = 9*b for b.
-3
Let h(x) be the third derivative of x**4/6 - 15*x**3/2 - 4*x**2. Let t be h(15). Suppose -9*d = -t*d + 12. Solve -d*a - 2 = -a for a.
-2
Suppose 5*s + 426 = -0*p - p, 0 = 4*p - 3*s + 1612. Let f = -389 - p. Solve -5 + f = 4*d for d.
3
Let f be 1*(3 - 7)*-2. Suppose -f*z = -9*z + 6. Solve 4*j - 10 = z*j for j.
-5
Suppose 0 = -5*k + 5*c + 165, 1722*k + 4*c = 1727*k - 164. Solve -k = 16*d - 64 for d.
2
Let z(r) = 3*r**2 - 2*r + 4. Let d be (-5 - -4)*0*1. Let y be z(d). Suppose 8 + y = 4*n. Solve n = 4*g + 7 for g.
-1
Suppose 7*u + 2 = 2*u - 3*v, -2*v = -u + 10. Suppose -3*f - u*h = -0*h - 1, 0 = -4*f - 3*h. Suppose -2 = f*l - 4*l. Solve l*d - d = -1 for d.
-1
Let f = -612 + 612. Suppose 0 = b - 2*h + 4, 0 = 3*b - 4*h - f + 2. Solve b = -3*d + 12 for d.
2
Suppose 5*r + 65*r - 6370 = 0. Solve -19*i + r = 15 for i.
4
Let v be 2/7 + (-669)/(-42)*4. Suppose -15*l - 4 = -v. Solve 2 = l*w - 10 for w.
3
Let w(y) = -4*y**3 - 28*y**2 - 29*y - 41 - 3*y**3 + 11*y**3 - 5*y**3. Let a be w(-27). Solve -5*v + a*v = -16 for v.
-2
Let h(p) = p**2 - 22*p - 9. Let u be h(23). Let i = 3 + 0. Suppose 0 = -3*c + 5*g - 2 + 32, 5*c - 3*g - 34 = 0. Solve -u + c = i*x for x.
-3
Suppose -30*h = -104*h - 1 + 1. Solve 105 = 15*n - h for n.
7
Let g be ((-4)/5)/(18/45). Let j(h) = 2*h**2 - 6*h - 4. Let c be j(g). Let q(d) = -4*d + 66. Let z be q(c). Solve k = z*k for k.
0
Let f(r) = 12*r**2 - 26*r - 25. Let b be f(-1). Solve b*q = 259 - 285 for q.
-2
Suppose -4*v - j = -29, -6*v + 27 = -2*v - j. Solve -343 + 364 = v*d for d.
3
Let k(l) = -l**2 - 3*l - 2. Let m be k(-2). Let t(y) = 6*y - 74. Let c be -3 + 9/6*170/15. Let u be t(c). Solve m*b = 2*b - u for b.
5
Let v(l) = l**3 + 5*l**2 - 127*l + 19. Let r be v(-14). Solve 9 = -7*h - r for h.
-6
Let r(x) = x**2 - 35*x + 272. Let w be r(26). Solve w*y - 12 = 44*y for y.
-2
Let r = 503 - 409. Suppose r + 27 = 11*t. Solve -g + 14 = t for g.
3
Let w(s) = -1412*s + 4253. Let y be w(3). Let t = 15 + -8. Solve y = -t*c - 4 for c.
-3
Let c(p) = p**3 + 5*p**2 + 10*p + 14. Suppose 4*u + 3*z = u - 15, 0 = 2*u + 3*z + 12. Let t be c(u). Solve -t = -v - 0 for v.
2
Let b = 41 + -31. Let t be (-550)/(-88) - b/8. Solve t*d = -0*d + 15 for d.
3
Let n be 205 + -167 - (0 + (16 - 3)). Suppose 2*i - 4*y - 4 = -2, 0 = -4*y + 8. Let m be (-96)/(-10) - (-4)/10. Solve -m*a = -i*a - n for a.
5
Let s(d) be the first derivative of d**4/4 + 8*d**3/3 + d**2/2 + 9*d + 19. Let l be s(-8). Solve 0 = -3*x + l - 16 for x.
-5
Let y = -74 - -34. Let i = y - -40. Let k be 48/6 - (i - 2)/(-2). Solve 18 = -5*q - k for q.
-5
Suppose 124*i + 24*i - 15680 = -342*i. Solve 0 = 16*w - i*w - 112 for w.
-7
Let l(r) = 9*r**2 - 8*r + 15*r + 6 + r**3 - 5 - 4*r - 32. Let v be l(-7). Solve 0 = 2*y + 56 - v for y.
-5
Let r = -728 - -732. Let u = -9 + 14. Solve -r = -7*v + u*v for v.
2
Let w be ((-833)/(-34) - 24)*(1 + 19). Let h = 65 + -57. Solve h*q - 10 = w*q for q.
-5
Let l = -24 - -19. Let a(s) be the third derivative of -s**4/8 - 5*s**3/2 - 24*s**2. Let z be a(l). Solve z = 5*h + 5 + 5 for h.
-2
Let s be 2/15 + 292/60. Suppose 0 = 3*c + w + 15, -3*c + 0*c - 27 = s*w. Let r be -1*(-2)/c - (-26)/4. Solve 0 = 2*z + 2 - r for z.
2
Let s(y) = y**3 - 2*y**3 - 7*y + 10 - 7*y**2 + 2*y**3. Let i be s(8). Let j(t) = -14*t + 86. Let a be j(6). Solve -4*z + a = -i for z.
5
Let i(d) = -7*d - 36. Let o be i(0). Let l be (-243)/o - 3/(-12). Solve -5*a - 3 = l for a.
-2
Suppose -4*l + 1232 = 5*f, 5*f = 17*l - 4*l - 4089. Solve l*o = 305*o for o.
0
Suppose 5*r = -4*b - 293 - 94, 0 = -3*r - 2*b - 231. Let d be (5 + r/12)/((-1)/4). Suppose 2*c + 18 = d*c. Solve 2*n + c - 4 = 0 for n.
-1
Let h be 32/(-2) + -6 + 7. Let s be 2/h + 423/135. Solve 7 = -s*b + 4 for b.
-1
Suppose 0*k - 7*k = 483. Let a = k - -82. Suppose -a*x = -11*x - 8. Solve x*y + 9 = -7 for y.
-4
Let z(n) = 7*n + 16. Let g(b) = -3*b - 8. Let h(y) = 7*g(y) + 4*z(y). Let p(s) = s**2 - 685*s - 687. Let u be p(-1). Let t be h(u). Solve -t + 13 = 3*f for f.
4
Let r(y) = -1878*y + 11276. Let o be r(6). Suppose -15 = 4*q + 9. Let z = q + 8. Solve z*s + 2 - o = 0 for s.
3
Let z(g) = g**3 + 5*g**2 - 5*g + 16. Let i be z(-6). Let f(q) = -q**3 + 11*q**2 - 4*q - 60. Let d be f(i). Solve d*o - 3 = o for o.
-3
Suppose -110*d - 44*d = -12936. Solve -21*o = 7*o + d for o.
-3
Suppose -11*m + 236 + 193 = 0. Suppose 16*g + 7 = m. Solve -g*c + 4*c = -3*c for c.
0
Let d(z) = 35*z - 30*z + 17*z + 33*z + 3. Let f be d(1). Let u = -54 + f. Solve -3 = -u*x + 1 for x.
1
Let v(a) = -a**2 - 74*a - 1318. Let x be v(-39). Solve -129 = 88*b + x for b.
-2
Suppose -k -