2 + 3). Let w be 0 + (4 - j)*1. Solve -w*i - 5 = -2*i for i.
-1
Let o(l) = l**3 + 71*l**2 - 74*l - 144. Let i be o(-72). Solve i = 84*h - 74*h - 20 for h.
2
Let p = -44 + 46. Suppose 3 + 3 = 3*o. Suppose -3*c + 12 = -5*w, -2*w - o*c = w - 8. Solve w = -p*b + b + 5 for b.
5
Suppose -14*y - 1597 = -2773. Solve -y*z + 44*z - 200 = 0 for z.
-5
Let i be (-1 - -1)/(-1 - -21 - 2166/114). Solve i = -24*h + 15*h - 27 for h.
-3
Let b(c) = -c**2 + 21. Let i be b(4). Let x be i/(4 - 2*12/16). Suppose -4*d + 7 = -5. Solve -d = -x*g - 1 for g.
1
Suppose -11*w - 10 = -6*q - 12*w, -10 = -q + 4*w. Solve -q*g - 28*g = 180 for g.
-6
Let q(m) = -2*m**3 + 8*m**2 - 12*m + 10. Let r be q(2). Solve 13*t = -r*t for t.
0
Suppose -3*t + 47 = 23. Suppose -4*i + 4 = -t. Let o = 93 - 73. Solve i*h = -h - o for h.
-5
Suppose -5*b + 4 - 14 = 0, 2*l - 4*b = 30. Suppose -l*q + 13*q - 4 = 0. Suppose -q*g = 2*c - 10, 0*g - 3*g = -5*c - 7. Solve z = -g - 0 for z.
-4
Suppose -2*w - 22 = -3*j - 2, 0 = -4*j + 5*w + 15. Solve 78 = -16*k - j*k for k.
-3
Let z(c) = 140*c - 96. Let v be z(7). Let b = v - 872. Solve 9*o + b = 12*o for o.
4
Let s = -64 + 71. Suppose 3*f + 2*u = 2*f + s, -2 = -u. Solve 0*l + 6 = -f*l for l.
-2
Let j be 1 - -4 - (40/5 + -41). Let q be j/57*(-18)/(-2). Solve 4 = q*v - 8 for v.
2
Let c = 2 + -1. Let h be (20/28*7 + -8)/((-9)/6). Let a = 2 + 3. Solve -h*p + c = a for p.
-2
Let b(l) = -7*l**2 - 262*l - 1282. Let w be b(-6). Suppose -5*d + 3*q + 2 + 1 = 0, 2*d = 2*q + 2. Solve -5*z + 13 - w = d for z.
-5
Let n be 10/(3 + 2 + 101/(-20)). Let c = -198 - n. Solve f = c*f for f.
0
Let p = -293 + 308. Let z(r) = -r**2 + 4*r + 14. Let x be z(5). Solve x*j - 6*j - p = 0 for j.
5
Let n(p) = p**2 - 37*p + 107. Let m be n(34). Solve 2*u + 3*u = -m for u.
-1
Let m be 1/7 + (64/12)/((-28)/(-246)). Solve m*q - 46*q = -6 for q.
-6
Let k(u) = 2*u**3 - 40*u**2 + 50*u - 158. Let n be k(19). Solve -n = 35*s - 0 for s.
-2
Let h = 567 + -558. Suppose h*t - 630 = -504. Solve -t*a = -42 - 28 for a.
5
Let b(w) = 6*w**2 - 35*w - 1639. Let o be b(-14). Solve 7 - o = 5*n for n.
-4
Suppose 5*j = 3*j + 2. Let p = -785 + 833. Let d be (-6 + p/8)/((-16)/(-4)). Solve d - j = -o for o.
1
Suppose q - 43 = -5*g, -5*g + 3*q - 6 = -37. Let w be g/6 - (-3 + 91/21). Solve w = -3*u - 24 + 39 for u.
5
Let z be 13 - -2*304/32. Solve 0 = -85*m + 101*m + z for m.
-2
Let w = -11 - -40. Suppose 0 = -4*p - a + w, 4*p - 3*a = -2 + 11. Solve p = -3*t + 18 for t.
4
Let t be 4 + (-5)/(-10 - -11) + 7. Solve -11*v + 5 = -t*v for v.
1
Suppose 0 = -5*u + 6*u - 2*u. Let v be u + 5/(40/16). Solve v*c = 4*c + 2 for c.
-1
Suppose -49*s + 46*s + 318 = 0. Let p = s - 105. Solve -p = 4*t + 7 for t.
-2
Suppose 7*l + 1080 = 13*l + 2*g, -4*l - g = -721. Solve 0 = 12*u - l + 157 for u.
2
Let h = 5580 + -5578. Let n(o) = -o**3 - 3*o**2 + 3*o. Let l be n(-4). Solve -l*u + h*u = 0 for u.
0
Let l be 0 + (-6)/(-6) - -2. Let o = 109 - 84. Suppose -85*t = -80*t - o. Solve 0 = -l*y + t*y + 10 for y.
-5
Suppose 3*c = -2*k - 97, c - 3*k = 4*c + 96. Let v = c - -51. Suppose 10*g - v = 4*g. Solve -g*u + 7*u = 0 for u.
0
Let u(c) = 44*c**2 - 9*c + 10. Let o be u(1). Let y(m) = -9*m + 3. Let i be y(-3). Let j = o - i. Solve -v + 6*v = j for v.
3
Suppose -5*k - 18 = z, -24 = 4*z - 0*k + 4*k. Let f be (z/(-5) - (-4)/10)*0. Suppose -5*r - 2*r - r = f. Solve 0 = 5*j - r*j - 25 for j.
5
Let s be ((-1 - -2) + 3)*-4. Let m be (-60)/s + (-3)/(-12). Suppose -23 = 4*i - 23. Solve m = -p - i*p for p.
-4
Suppose 5*a + 3*d - 157 = 0, 0 = a + 2*d - 3*d - 25. Suppose 3*x - 4*i - a = 0, 0 = -2*i - 2 - 8. Let q = -1 - -3. Solve 0 = q*w + x*w - 5 for w.
1
Let r be 1/((-1)/(-15)*3). Let m = 7 - r. Let f = 2118 + -2115. Solve -5*i + f = -m for i.
1
Let g(s) = 7*s - 25. Let v = -168 - -172. Let i be g(v). Solve -z + 0 = -i for z.
3
Suppose 7*i = 31*i. Suppose i = 36*c - 30*c. Solve 5*t - t = c for t.
0
Let a = -3502 - -3519. Solve -o = a - 25 for o.
8
Let a(u) = -13*u + 0*u**2 + u**2 + 12*u - 2*u**2 + 19. Let b be a(-3). Solve 3*q = b*q for q.
0
Let b be 4 + -5 + 1 + 19. Suppose -b*j + 15*j = -56. Solve -j*t = -4*t + 10 for t.
-1
Suppose -140*h = -163 - 1377. Solve -h*x - 7 = -29 for x.
2
Let h(o) = o**3 - 5*o**2 + 2*o - 6. Suppose -j = -2*d - 0*d - 65, 115 = -4*d - 3*j. Let n = d - -36. Let p be h(n). Solve p*m - 3 - 17 = 0 for m.
5
Suppose 5*q - 26*q + 270 = 9*q. Let d(i) = -i**3 + i**2 + i + 4. Let c be d(0). Let h be 8/(-1 + (c - 2)). Solve -h*m = -5*m - q for m.
3
Let b = -513 - -725. Let p = 212 - b. Solve p*j - 3 = -3*j for j.
1
Suppose -80*j + 336 = -59*j. Solve 0 = 14*x + j + 54 for x.
-5
Let y be -203*22/(-19 + -135). Solve -39*p + y = -49 for p.
2
Suppose -o = 4*o - 5. Let f = 198 - 210. Let w(t) = t**3 + 14*t**2 + 20*t - 46. Let b be w(f). Solve o - b = q for q.
-1
Let q = -261 + 269. Suppose -5*p - x - 3 = -1, 0 = -3*p + 4*x + q. Solve 3*c + 0*c = p for c.
0
Let h(f) = -104*f + 3353. Let o be h(32). Solve -79*k + 84*k = o for k.
5
Suppose 3*l + 6*n - n = 32, 12 = 2*l + n. Let p(a) = a**2 + 7*a - 67. Let h be p(7). Suppose -2*g + 2 = 2*q - 0*g, 4*q = 5*g + h. Solve q*o - l = -0 for o.
1
Let c = 341 + -299. Suppose -c*n = -19*n - 345. Solve 0 = -4*i + i - n for i.
-5
Suppose -37*r + 5*t + 689 = -33*r, 3*t - 510 = -3*r. Solve -8*o = -r + 115 for o.
7
Let n(f) = 3*f**2 - 5*f - 3. Suppose i = 3*i + 10. Let g(z) = -4*z**2 + 6*z + 4. Let x(s) = i*n(s) - 4*g(s). Let k be x(-3). Solve k*p + 2 = -3 for p.
-1
Suppose 78 = 27*j - 25*j. Let h = j + -40. Let o be (-2)/h - (0 + -6)/3. Solve -v - o*v = -10 for v.
2
Let y(w) = 4*w + 69. Let s be y(30). Suppose -198*m + 360 = -s*m. Solve 8*z = -0*z + m for z.
5
Let r be (-2)/3 + 86/3 + -8. Suppose -6*k = 5*n - 2*k - 71, 0 = -5*k + r. Solve 10*o - n*o = -2 for o.
2
Let r(v) be the first derivative of 0*v - 3/2*v**2 + 5/3*v**3 + 1/4*v**4 + 10. Let q be r(-5). Solve -1 = -4*c + q for c.
4
Let b(n) = -2*n - 6. Let v be b(-5). Suppose -v*j - 119 = -11*j. Suppose 10*k = 5*k + 2*f + 23, -k - 5*f = j. Solve -4 = q - k for q.
-1
Suppose -5 = -h + 4. Suppose h*z - 5*z - 16 = 0. Let m(v) = 3*v**2 + 21*v - 160. Let o be m(-12). Solve o = z*j - 0*j for j.
5
Suppose z - 698 = 3*z. Let g = z + 353. Solve g*r + 12 = -8 for r.
-5
Suppose 23963*h = 23952*h + 44. Let u be (3*1)/(9/30). Solve -h*c + u = c for c.
2
Suppose h - 3*h + 2 = 0. Let u(m) = 5*m**3 - 42*m**2 + 20*m - 26. Let z be u(8). Let n be (z - 11)*h/(-5). Solve 5 - n = -2*f for f.
-2
Suppose 2*l - 6 = 0, -2*l = 4*h + 2*l + 12. Let o be (-52)/h - (-16)/(-24). Solve -t = -9*t + o for t.
1
Let o = 14 - 4. Let b be (3 + -6)*(4480/30)/(-32). Solve b*t = o*t for t.
0
Suppose 214 = -g + 225. Suppose 0 = 2*i + g*i. Solve i = -26*a + 25*a + 2 for a.
2
Suppose -3*h - 19 = -6*h + p, -2*h - p + 11 = 0. Let f be (6 - (0 + h))/1. Solve f = -2*y - 5*y + 14 for y.
2
Let c = 69 + -66. Suppose 16 = 4*p - 2*o, -c*o = o. Suppose -18 - 52 = -7*b. Solve -p*l + b = -2*l for l.
5
Suppose 48 = 3*g + 18. Suppose -g*i = -9*i + 68. Let v = i - -71. Solve -16 = v*w + w for w.
-4
Let d = 22659 - 21829. Solve 950 = -15*n + d for n.
-8
Suppose -51*x - 392 = -5*z - 54*x, z + 4*x - 75 = 0. Solve v - 83 = -z for v.
4
Suppose v = 3*b + 36 + 6, -v - 2*b = -57. Suppose 5*j - v = 2*d, j + 2*d - 10 = 5. Solve 4*l + j - 11 = 0 for l.
0
Let v be ((-13)/(-26))/(1/(-72)). Let x = v + 31. Let h(o) = -3*o - 13. Let t be h(x). Solve t*w = -3*w for w.
0
Suppose -7*o - 60 + 207 = 0. Suppose -4*r - 16 = -48. Solve -b = -r*b - o for b.
-3
Let f = -12320 + 12333. Solve -73*j = f - 305 for j.
4
Let u(f) be the first derivative of 49 + 13*f - 4 - 12 - f**2. Let z be u(4). Solve s - z*s = -20 for s.
5
Let s(g) = 5*g**2 + 8*g + 11. Let x = 45 - 48. Let u be s(x). Suppose q - 35 = 5*a, -6*q + 5*q + 4*a = -u. Solve -q = 2*h + 2*h for h.
-5
Let c be (-26 - 3)/((-14)/7 + 1). Solve 24*z = c*z + 15 for z.
-3
Let f = -10 - -17. Suppose 0 = -6*t + f + 23. Let v be t/(75/10)*3. Solve v*d + 20 = 7*d for d.
4
Let i be 6 - (-3 + 6 + -16 + 6). Solve 6*s = -i*s - 38 for s.
-2
Let i = -21980 - -22032. Solve -91*p - i = 130 for p.
-2
Let p(u) = u**2 - 3. Let s be p(0). Let g be (2 + 3)/(4 + s + 0). Solve -20 = 5*h + g for h.
-5
Let p be 1*(-3)/12*0*1. Suppose 4*b - 4 = q, p*b - 10 = b - 3*q. Solve -n - b = 2 for n.
-4
Let k be (0 + 0)*(