= 7 + -11. Let s be z(i). Solve -h - s*h = -20 for h.
5
Suppose -16*s + 184 = 7*s. Let q be s/((-2)/(-1))*11/2. Solve u + 18 = q for u.
4
Let f(s) = 5*s**2 + 13*s + 5. Let b(z) = 4*z**2 + 14*z + 6. Let q(r) = -4*b(r) + 3*f(r). Let m be q(-16). Suppose -6 = -m*d + 8. Solve 0 - 2 = d*c for c.
-1
Let r(d) be the first derivative of d**3/3 - 4*d**2 + 2*d + 19. Let v be r(8). Let k be (3 + 8/4)*v. Solve 5*y - 15 = k for y.
5
Suppose 0 = -4*j + 6*u + 990, u = 2*j + 2*u - 483. Solve -251*f = -j*f - 8 for f.
1
Suppose -339 - 190 = -54*z - 313. Solve -z*o = -22*o for o.
0
Let l be (-2)/(-9) + (-21918)/(-27). Suppose 41*b - 13*b = l. Solve 0 = 5*z + 9 - b for z.
4
Let g(v) = 256*v**2 + 3*v - 1. Let o be g(1). Let f = o + -258. Solve w = -f*w - 3 for w.
-3
Let w(y) = y**2 + 3*y - 6. Let i be w(-7). Let h = 254 - 272. Let x = i + h. Solve -x*p - 3 = 5 for p.
-2
Let x(y) = 5*y + 13. Let a be x(-2). Suppose 5*o - 56 = -a*t + 4*t, -2*o + 16 = -2*t. Solve 5*n - o = 2*n for n.
4
Let q(a) = a**2 - 5*a + 4. Suppose 0 = -7*l + 21 + 14. Let p be q(l). Solve -x - p*x - 20 = 0 for x.
-4
Let s(o) = -o**2 + 37*o + 379. Let a be s(-9). Let l be (-31)/2*(2 + 0). Let y = l - a. Solve -y*b = -b for b.
0
Let z = 38 + -13. Suppose 0 = q - 6*q + z. Let u(h) = h**2 - 7*h + 2. Let m be u(7). Solve 0 = -t - m + q for t.
3
Suppose 0 = 31*m - 35*m + 20. Let y(f) = 2*f + m*f**2 - 28 - 6*f + 34 - 4*f. Let g be y(2). Solve -5*s = -0*s + g for s.
-2
Let c = -14 + -10. Let i = c + 24. Suppose -6 = -3*f - i. Solve -f*m = -6*m for m.
0
Let u be (-2)/((-20)/15) - ((-88)/16 - -4). Let z(c) = c**3 - 2*c**2 + 2*c - 1. Let d be z(1). Let h be (d/(-2))/(0 + 1). Solve u = -j - h*j for j.
-3
Let f be ((-45)/(-9) - -20 - 12)*(2 + -1). Solve -f*t + 17*t = 11*t for t.
0
Suppose -4*c + 5*c - 95 = 0. Let q = c + -95. Suppose q - 8 = -4*w. Solve -3*l + 5 = -w*l for l.
5
Let k = -31 - -34. Suppose 2*u - v = 4, -u = -v - 3*v - 2. Suppose 0 = -u*m + 13 + 13. Solve k*x - 4 = -m for x.
-3
Let r = -23504 + 23504. Solve r = 6*v + 47*v - 159 for v.
3
Let f be 2/(-4) + 242/44. Suppose -w - f*o - 16 + 9 = 0, -5 = -5*w - 5*o. Solve w*k = -9 + 24 for k.
5
Let o(d) = -d - 4. Let v be o(-5). Suppose 0 = -4*f - 5*g - v - 3, 3*f + 5*g = -3. Let m be ((-8)/(-12)*-6)/f. Solve m*q = -5 - 3 for q.
-2
Suppose -9162*l + 9137*l = -543 + 43. Solve -l*d + 182 = 142 for d.
2
Let l be 12 + -21 + (-6)/(18/(-93)). Solve l*u - 80 = 52 for u.
6
Let h = 9 - 3. Let u(v) = -v**3 - 3*v**2 - v + 1. Let z(k) = -3*k**3 - 18*k**2 - 3*k - 10. Let o(q) = 4*u(q) - z(q). Let t be o(h). Solve t*w = 3*w - 20 for w.
-4
Let m be ((-11)/22)/((-10)/345*9/12). Solve -12*i + 13 = -m for i.
3
Let r be (796/(-6) - 1) + 9/(-27). Let h = r + 134. Solve 5*t + h = -5 for t.
-1
Let u be (-6 - (2 + -2)) + 8/4. Let w be u/(4/2*1). Let p be (-3)/w + 39/26. Solve -m + p*m = -4 for m.
-2
Let j(i) = 2*i. Let y(d) = -8*d - 13. Let b(v) = 10*j(v) + 2*y(v). Suppose 5*r = 3 + 32. Let p be b(r). Solve p*u = u - 5 for u.
-5
Let q = 1774 + -1752. Solve q*h - 112 = -2 for h.
5
Suppose -i - 2*r - 21 = -6*r, -r + 6 = 0. Solve 16 = -i*n + 34 for n.
6
Let n(u) = -u**2 - 129*u - 2518. Let a be n(-25). Solve 0 = a*l + 49 + 33 for l.
-1
Let a be (3734/(-12))/(26/(-468))*4/12. Solve 1871*s = a*s + 36 for s.
9
Suppose 9*g + p + 12 = 13*g - 10, -12 = 2*p. Suppose -4*l = 5*h - 6, 7*l = -3*h + 3*l + 2. Solve g*r - 14 = -h for r.
3
Let q(j) = j**3 - 3*j**2 - 2*j - 5. Let f be q(-4). Let o = -109 - f. Suppose 7*l + l = o. Solve -d - 5 = -l for d.
-5
Let z = -54 - -67. Let h = z + 7. Suppose 40*m = 35*m + h. Solve 2*j = 4*j - m for j.
2
Let v = -19492 - -19948. Solve -105*o - v = -48*o for o.
-8
Let b(c) = 43*c - 128. Let m be b(3). Solve -m - 19 = -5*y for y.
4
Let b = -23 - -78. Suppose 56*d = b*d + 93. Let q = d + -89. Solve 5*j + 1 = -q for j.
-1
Suppose 0 = -20*v - 8 - 12. Let n = v - -4. Solve s = -n*s + 12 for s.
3
Let h(g) = g**3 + 11*g**2 + g + 18. Let s be h(-11). Suppose 4*w = 2*i + 26, 5*w = 4*i + 8 + 26. Solve -s*c + 3 = -w*c for c.
3
Let j be 0 + -7*((-720)/63 + 10). Solve 6*c = -28 + j for c.
-3
Let x(s) = -42*s - 156. Let b be ((-25)/(100/8))/((-2)/(-4)). Let c be x(b). Solve -c*j = -11*j + 4 for j.
-4
Suppose -4*h = 5*j - 11 - 18, 2*h - 2 = 0. Suppose w - 12 = -n - j, w - 11 = -2*n. Let m be ((-72)/(-27))/((-2)/(-3)). Solve -5*k = -n*k - m for k.
4
Suppose -22 = -6*f - 10. Suppose -5*r + 5*j + 100 = 0, f*r + j - 21 = 19. Solve 0*u - r = -4*u for u.
5
Let i = -145 + 151. Suppose -25 - 143 = -i*q. Solve 5*p - 3 = -q for p.
-5
Let i = 23285 - 22752. Solve 605 = -12*o + i for o.
-6
Suppose -f = 2*g - 45, 38 - 33 = 5*f. Solve g = 29*b - 65 for b.
3
Let p be 14 - 116*(-10)/40. Solve -p*v + 23 - 66 = 0 for v.
-1
Let w be (2 - -1)*(-32 - -33) - -32. Let h be 30/(w/7) + -3. Solve -5*o = -h*o - 8 for o.
4
Let z = 21 - 10. Let g(h) be the first derivative of -h**3/3 - 10*h**2 - 46*h - 11. Let c be g(-17). Solve -c*a = 14 + z for a.
-5
Suppose 5 - 5 = -158*k. Solve k = -66*v - 2*v + 476 for v.
7
Suppose 0 = 919*o - 725*o - 25026. Solve 45 = 12*j + o for j.
-7
Suppose -125 = 3*v - 113. Let f be (-8)/16*2/v*28. Solve 10 = -f*y + 5*y for y.
-5
Let n(o) = o**3 + o**2 - 4*o. Let r(i) = i**3 + 7*i**2 + 11*i + 7. Let k be r(-4). Suppose -15*w + 41 = k. Let g be n(w). Solve 0 = -4*x + 3*x + g for x.
4
Let t = -12 - -21. Let w(n) = -n - 18. Let y be w(-25). Let b be y - (-2)/10*0. Solve b = -4*u - t for u.
-4
Suppose 5 = 5*v + 5*z, -5*v + 4*v + z + 9 = 0. Let w = -144 + 144. Suppose 2*u + 3 + 10 = v*s, 5*s - 15 = w. Solve -8 = 3*o + u for o.
-3
Let a(v) = -2*v**2 - 21*v + 97. Let u be a(-26). Let o = u + 722. Solve b = o - 10 for b.
3
Let w be ((-18)/12)/(9/(-12)). Suppose 0*v - 5*v = -35. Solve w*i = -v - 1 for i.
-4
Suppose -3*c + 4*i + 70 = 0, -5*c - 39*i + 86 = -38*i. Solve c*v - 443 = -389 for v.
3
Let y be 1/(-7) + 2433/(-21). Let p = y + 120. Let l be 1 - (p - 3)*-2. Solve -j = -l*j for j.
0
Let h be 4/(-20)*-2*(1 + -151). Let p be (-15)/(-10)*5*-6. Let t be h/(-16) - (p/(-12) + -4). Solve t*b + 6 = -2 for b.
-2
Suppose n = 5*r + 108, -3*n + 5*r - 7*r + 239 = 0. Solve -6*t + n = 65 for t.
3
Let u be (160/128)/((-1)/(-96)). Let p be (-4)/40 - (-2292)/u. Solve 0 = -24*r + p*r - 20 for r.
-4
Let y(i) = -2*i**2 - 48*i + 1295. Let q be y(16). Solve -8*c - 28 = -q*c for c.
4
Let q = 86 + -81. Let f = 17 - 12. Suppose q*k - 7 = 3*z + 18, f*k - 5*z - 25 = 0. Solve k*j - 12 = 8 for j.
4
Suppose 0 = -3*b + 9, -4*x + 15 = 6*b - b. Suppose 8*k - 16 + 0 = 0. Solve x = 3*u + 7 + k for u.
-3
Let p(k) = -k**3 + 10*k**2 - 10*k + 12. Suppose -14*i + 9 = -11*i. Suppose -3*q - i*d + 11 = -13, -32 = -3*q + 5*d. Let g be p(q). Solve -2 - g = 5*t for t.
-1
Let m = -22 - -18. Let z = m + 8. Let w be (-2 + -6)*30/(-15). Solve -w = 4*v + z for v.
-5
Let o be (83 + (-30)/6)/2. Suppose -21*i = -24*i + o. Solve 0 = -2*b + i - 9 for b.
2
Suppose -2*q + 3*m = -55, -3*m + 125 = 5*q - 2. Suppose 0 = q*h - 20*h - 126. Solve f = 8*f + h for f.
-3
Let d(m) = -12*m**3 + 73*m**2 - m + 10. Let o be d(6). Solve -6*f = -28 + o for f.
-2
Let l(j) = 2*j**2 + 1. Let z(g) = -9*g**2 - 13*g - 31. Let m(f) = 4*l(f) + z(f). Let t be m(-10). Solve 0 = -0*x - t*x for x.
0
Let c = 5960 - 5950. Solve -44*j + 46*j + c = 0 for j.
-5
Let c(f) = -f**3 - 13*f**2 - 13*f + 7. Let o be c(-12). Suppose o*w - 13*w - 372 = 0. Let p = 64 - w. Solve 0 = -3*m + 4 + p for m.
2
Suppose 0 = 23*d + 3614 - 3775. Solve 307 = d*f + 265 for f.
6
Let b(i) = -13*i - 8. Let j be b(3). Let w be (49/(-1))/((-26)/(-26)). Let c = j - w. Solve c*k - 1 = 1 for k.
1
Let u be 58/4 - (-18)/36. Suppose 2*s = 4*s - f + 5, -5*s + 3*f = u. Suppose 2*i - 5*n + 23 = s, -3*i - n = n - 13. Solve 0 = -d + 2*d - i for d.
1
Let y(o) = -35*o - 205. Let d be y(-6). Suppose -2*j + 55 = j + 5*h, j + d*h - 5 = 0. Solve 7*t = 2*t - j for t.
-5
Let h = -218258 - -218261. Suppose 5*l - 25 = -0*l + 4*w, w = 0. Solve 0 = -4*y + l + h for y.
2
Let z be (10 + -2)/1 + 45/(-15). Let r be 6/4 + (-1)/(-2). Suppose -3*f + 13 = r*j - 0*j, -4*f = 4*j - 28. Solve -z*m + 17 + j = 0 for m.
5
Let a be (-28)/(-20) + ((-1332)/(-45) + 3 - -5). Solve a*c - 24*c = 135 for c.
9
Let y be (-2*(-1)/2)/(6/(-30)). Let v = -12 + y. Let x(k) = -k - 9. Let f be x(v). Solve f + 2 = -2*h for h.
-5
Let d(y) = -y*