 -18*n - h for n.
-2
Let u(a) = 3*a - 76. Let i be u(25). Let d be (2 + 1)/3 - (i + 2). Let o = 6 - 3. Solve -6 = o*s - d for s.
-2
Suppose -24220*i = -24240*i + 28080. Solve 0 = 7*h + i - 1404 for h.
0
Suppose 17 - 11 = 3*j. Suppose -j*t = 14*t. Solve t = -3*h - 0*h + 15 for h.
5
Let q be (-7)/(7/(-9)) + 0. Suppose 0 = h + 47 - q. Let v be (-5)/30 - h/12. Solve 3*n + v = -3 for n.
-2
Let s(c) = -c**3 + 4*c**2 - c + 22. Let z = 112 - 108. Let q be s(z). Solve q - 26 = 2*w for w.
-4
Let u(t) be the second derivative of -t**4/6 + t**3/3 + 6*t**2 + 14*t. Let o be u(-4). Let d = o + 43. Solve -6*s + d = -s for s.
3
Let f be 6/4*(-1 + 3). Suppose f*y - 31 = -5*v - 2, -v - 4*y + 16 = 0. Solve r = v*r for r.
0
Let w be (-1)/(-8)*73 + 45 + (-18772)/416. Solve -6*s = -w*s + 15 for s.
5
Let t(h) = -h**2 + h + 1506. Let p be t(38). Solve 103*u = p*u for u.
0
Let k(v) = -v**3 - 24*v**2 + 104*v - 215. Let x be k(-28). Solve -x*c = 1 - 10 for c.
1
Let q be (16/(-6))/(((-130)/(-624))/(15/(-4))). Solve -488 = 67*b + q for b.
-8
Let r = 3699 + -3660. Solve 4*p - r = -9*p for p.
3
Let p = 3189 - 3186. Let r be ((-24)/(-15))/(6/45). Solve p*y = -y - r for y.
-3
Let o(r) = -r**2 + 13*r + 4. Let a be o(0). Suppose -a*c = -4*q, 4*c = -q + 8*c. Solve v - 3*v - 6 = q for v.
-3
Let z(p) = -p**2 + 228*p + 1959. Let f be z(-8). Solve 0 = -20*y + 29 + f for y.
5
Let c = -14551 + 15173. Solve -612*z + c*z + 50 = 0 for z.
-5
Let z(k) = 4*k + 5. Let t be z(-7). Let v = -18 - t. Solve 0*p = v*p + 5 for p.
-1
Let c(o) = -o + 23. Let n be c(-3). Suppose 0 = 10*w - n - 34. Solve 3*y = -3*y + w for y.
1
Let p be (18 - -144) + (-20 - -10). Solve 155*m = p*m - 6 for m.
-2
Let z = -31 + 50. Suppose -28*y + 196 = -298 - 94. Suppose -y + z = -m. Solve -m*u + 6 = -4*u for u.
-3
Suppose 2*a - 10 = -2*p, -5*a = -p - 10*a + 5. Let m be (-16)/6*6/(-4). Suppose 18 = m*z - 2*l, -2*l + 15 = -p*l. Solve -2*w = -4*w - z for w.
-1
Suppose 21*t - 18*t + 168 = 0. Let k be 7/t - (-49)/8. Let s be k/9*11/(44/48). Solve -3*m + s*m = 0 for m.
0
Let m(q) = -q**3 - 48*q**2 + 87*q - 472. Let p be m(-50). Solve 41*y - p + 55 = 0 for y.
3
Suppose 5*z + 91 = -149. Let k be 19/2 - z/(-32). Solve 0 = -3*u + k + 4 for u.
4
Suppose -6*a + 2*z + 54 = 0, -67*z = 4*a - 66*z - 36. Solve -a*m = -12*m + 21*m for m.
0
Let v be ((-958 - -1)/(54/(-36)))/2. Solve -v = -39*f - 46 for f.
7
Let i = 5 - 2. Let l = -946 + 1647. Let u = l + -701. Solve u = -i*p + p for p.
0
Let l be (6/(-2) + 4)*(1 - 1). Let n be 1/(3/3) - (l - 4). Solve 0 = n*d - 15 - 5 for d.
4
Let l = -521 - -1149. Let r = l + -620. Solve -24 + 0 = r*k for k.
-3
Suppose -168579*c = -168618*c + 195. Solve -c*s - 6 = 39 for s.
-9
Suppose 21*q - 17*q = 2*l + 152, -3*q + 92 = 4*l. Solve 9 = -15*r - q for r.
-3
Let c be -7 + 7 - (-9)/((-27)/(-516)). Solve -168*q + c*q = -20 for q.
-5
Let r(k) = -6*k**3 - 5*k**2 - 25*k - 21. Let l be r(-1). Solve -l = 12*u - 7*u for u.
-1
Let z be 3 - -3 - (3 + -1). Suppose -182 - 350 = 5*y - 3*s, -102 = y - 5*s. Let w = 115 + y. Solve 0 = -3*m + z + w for m.
4
Let j(b) = b**3 - 65*b**2 - 580*b - 292. Let f be j(73). Solve 9*a + 9*a + 126 = f for a.
-7
Suppose 544 = -153*a + 221*a. Solve 788*y = 789*y - a for y.
8
Let p = 3350 + -3118. Solve 77*x = 48*x - p for x.
-8
Let n(k) = -5*k**3 + 2*k**2 + 4. Let i be n(2). Let c be 6/(-9) - i/6. Suppose 5*m + x + 20 = -4*x, -3*m = 4*x + 16. Solve -2*b + c + 0 = m for b.
2
Let n = 4031 - 3955. Solve 2*a = n - 74 for a.
1
Let n(w) = -w**3 - 14*w**2 + 13*w - 16. Let x be n(-15). Let t(u) = 3*u**2 + 9*u - 95. Let y be t(5). Solve x*r - y = 9*r for r.
5
Let l(u) be the second derivative of -u + 8*u**2 + 0 + 1/3*u**3. Let j be l(-8). Solve 0 = -4*m + 4 - j for m.
1
Suppose 4*k - 5 - 11 = 0. Let u = 6 + 23. Let y = 35 - u. Solve k*b - 18 = -y for b.
3
Suppose -1080 = 10*y - 28*y. Suppose 15*g = -0*g + y. Solve -g = -n - n for n.
2
Let y = -10 + 10. Suppose -292*l + 307*l = 60. Solve l*m - 8*m = y for m.
0
Let u = 111 - 93. Let j be (180/8)/(27/u). Solve 17*l + j = 22*l for l.
3
Suppose 3*v = -15*v + 90. Suppose 0*u = 5*u - 2*q - 285, 2*u - 115 = q. Let s = 55 - u. Solve -v*j - 20 = -s*j for j.
-4
Let l be (-5)/(-45) + 70/18. Suppose -l*f = 10*f. Solve g + f = 1 for g.
1
Let z(k) = -k**3 + 7*k**2 - 4*k - 9. Let t be z(6). Suppose -3*h + 3 = t*j, 10*j - 4*h = 13*j - 4. Solve j = -5*v + 6*v - 2*v for v.
0
Let k(r) = -2*r**3 + 9*r**2 - r. Let a = 15 + -10. Let s be (-1)/(2/((-40)/a)). Let g be k(s). Solve 0 = -n - 2*n - g for n.
-4
Suppose 4*k - 97 = -4*g + k, -5*g = 2*k - 123. Suppose -g*p = -20*p + 5*v, -4*p - 5*v = 0. Solve 7*d - 10*d - 6 = p for d.
-2
Let k = 15476 + -15425. Solve k*d + 392 = -5*d for d.
-7
Let i(u) = u**3 + u**2 + 2*u + 43. Let s be i(0). Let b = 50 - s. Solve 28 = -14*k + b*k for k.
-4
Suppose -34 = 2*t - 82. Let g be (4*6/t)/((-1)/(-14)). Solve s - 9 = -g for s.
-5
Suppose 0 = -5*d + 2*f - 80, 3 = -5*f - 22. Let z be -3*(-2 + (-60)/d). Let y be (z/(-24)*2)/(1/9). Solve 2 - y = b for b.
-1
Let h = -5347 + 5352. Solve -8*u + 13*u + h = 0 for u.
-1
Let r be 3*-1*4/(-3). Suppose -8*j + r = -28. Suppose 35*y - 37*y = -j. Solve z = -z + y for z.
1
Let q be (-14)/21*-3 + (-380)/(-2). Let h = -192 + q. Solve h = -d - 2*d + 12 for d.
4
Let u be (-19 + 23)/(-4)*(2 + -6 + 1). Solve -2596 = -u*x - 2614 for x.
-6
Let b(r) = -r**3 - 10*r**2 + 345*r + 3685. Let n be b(-11). Solve 2*i + 9 - n = 0 for i.
1
Let k be (-2)/7 - (-8)/28. Let y be k/4 - 12/(-4). Suppose -2*q + 4*o = 3*o + y, -4*o + 20 = 0. Solve 7 = 3*z + q for z.
2
Let n be (-31)/(-2) + (-4)/(-8). Let y be n/(-56) + 2/7. Suppose 0 = -2*u - y*u. Solve -5*w = -5 - u for w.
1
Let p be (14 + 21)*(-2)/5. Let x be (-42)/p + (-3)/(6/(-8)). Solve h + 5 - x = 0 for h.
2
Let s = 76 - 11. Suppose 38*r = 37*r - 2*t + 49, -3*t + 258 = 6*r. Suppose -r = 4*h - s. Solve -14 - h = 4*j for j.
-5
Let q(o) = 69*o**3 - 4*o**2 + 5*o - 2. Let m be q(1). Solve m = -16*p + 52 for p.
-1
Let h be 760/(-32) + (-1)/4. Suppose 5*a + 18 - 3 = 0. Let z be h/(-36)*(0 - a). Solve 4 = z*w + 2 for w.
1
Let p(c) = c**2 + 6*c + 2. Let d(u) = -5*u**2 - 4. Let l be d(-2). Let r be 54/(-24)*l/(-9). Let z be p(r). Solve -z*n = -n for n.
0
Let p(r) = -r**3 - r**2 + 2*r - 2. Let y be p(-3). Let q be (9 - y)/((-1)/7). Solve -4*g + q = -1 for g.
2
Let u(m) = -9 + 16*m**2 + m**2 + 224*m - 6*m**2 + 14*m**2 + 0*m**2. Let n be u(-9). Solve 3 = -w - n*w for w.
-3
Suppose 3312 = 30*m - 12*m. Suppose 65*u - 42*u - m = 0. Solve 4*v + u = -12 for v.
-5
Let q be (-1)/2*(-162)/27. Suppose 25*i - 22*i - 4*g = 34, -q*i + 33 = -3*g. Solve -2 = 2*j - i for j.
4
Let s(v) = 40*v + 15. Let i be s(1). Suppose 18*g - 23*g + i = 0. Solve 4*u - 28 = g*u for u.
-4
Suppose -3*m - 5 = 4*b - 21, 3*b = -m + 7. Let i(v) = 1117 - 1138 - 43*v - 11*v**2 + 35*v**2 - v**3. Let d be i(22). Solve f + m = -d for f.
-5
Let y = -2 + 2. Suppose 0 = k - 5 - y. Let c be (-34)/((-918)/(-729)) - -36. Solve -k*l + c = -6 for l.
3
Let d(f) = -8*f + 74. Let q(s) = -7*s + 73. Let m(v) = 4*d(v) - 5*q(v). Let r be m(21). Let o be (2/r)/(3*(-2)/36). Solve 1 = o*h - 1 for h.
1
Suppose 3*i - 2 - 22 = 0. Suppose 0 = -26*r + 8 - 372. Let a be 1/(1 - (-7)/r). Solve -a = 3*v - i for v.
2
Let w(n) = -2*n**3 + 37*n**2 + 20*n - 18. Let r be w(19). Solve 9 = 2*x + r for x.
4
Let h(x) = x - 7 - 2*x - 5 + 15. Let v be h(4). Let i be (35/(-15))/(v/3). Solve -8 = i*m - 3*m for m.
-2
Let g(b) = b**3 + 8*b**2 - b - 6. Let v be g(-8). Suppose 0 = -4*z + v*z - 20. Let d be (-5)/25 + (-42)/z. Solve d*r + 9 = -11 for r.
-5
Let t(b) = 9*b - 101. Let w be t(9). Let n be (39/15 - 8/w) + -1. Solve 4*r - 6 = n for r.
2
Let a(h) = -7*h - 13. Let b be a(-2). Let i be 3 - (b + -1) - -4. Suppose 6*z - i = 11. Solve -1 = -z*g - 13 for g.
-4
Let b(o) = -6*o**2 + 10*o + 102. Let z be b(5). Suppose 4*r + 3*m = 27, -4*r + m + 0 = -7. Solve 3 + r = -z*f for f.
-3
Let j be ((-8)/(49 + -57))/(1/52*2). Solve -155 = 5*s + j*s for s.
-5
Suppose 5*s - 2*o + 190 = 3*o, -3*s - 4*o = 135. Let r be (10/(-40))/((-2)/(-30))*12. Let y = s - r. Solve 2*f - 2 = -y for f.
-1
Suppose 0*b - 17*b + 3*b = 8*b. Let v(u) = -u - 2. Suppose -3*x - 5*p - 6 = 0, -2*x + 4*p - 5 = -1. Let n be v(x). Solve n = -b*h - 2*h for h.
0
Suppose -18 = -4*w + 2. Suppose -2*u + 5*m + 64 = 2*