. Let f be -1*(z/2 - (-5 - -1)). Let c be 1/(f/(-3 - 5)). Solve 2 + c = -3*d for d.
-2
Let o = 73 - 72. Let n(t) = t**2 - 4*t + 5. Suppose 0 = 4*m - 5*x - 11 - 20, 4*m - 4*x - 28 = 0. Let a be n(m). Solve a*y + 21 = o for y.
-4
Let b = -136 - -200. Suppose 2*r = 10*r - b. Solve -3*u = u + r for u.
-2
Let p = -8056 - -8062. Solve -23 = -p*o + 7 for o.
5
Let t be ((-320)/(-50))/((-1)/2*76/(-475)). Solve t - 94 = 14*j for j.
-1
Let x be 0*7/49 + 26. Suppose -30 = -5*m + 4*g, 3*m = 3*g + 5 + 16. Suppose 3 = m*j - 3*f, -4*j - 6 = -3*j - 4*f. Solve x = -5*k + j for k.
-4
Suppose 0 = -13*m + 10*m + 12. Suppose 1 = s - n, n + m*n = -5*s + 55. Solve s*o = -2*o for o.
0
Let k be (200 - 71)/(3*(3 - 8/3)). Solve -26*h - 1 = k for h.
-5
Suppose -3890*r - 4 = -3889*r + u, -35 = 5*u. Suppose 4*g - 28 + 0 = 0. Solve -r - g = 2*i for i.
-5
Let c(k) = -2*k**3 - 8*k**2 + 6*k + 24. Let r(u) = -u**2 - 4*u + 136. Let v be r(10). Let g be c(v). Solve g = b - 4*b - 6 for b.
-2
Let g(a) = -a**3 + 1. Let i be g(1). Let r = -5881 + 5884. Solve x + r*x - 8 = i for x.
2
Let u be (20/(-4))/(-1) - -31. Solve 40 = u*y + 184 for y.
-4
Suppose 4*t + 4*m = 12, 9*m - 5*m - 8 = -3*t. Suppose -t*c + 9 = q, 0 = -c + 4*c - q - 5. Let r = -2 + 2. Solve r = -c*x + 4*x + 4 for x.
-2
Let g = 24 - 17. Suppose -y - y - g*y = 0. Solve 5*l = -y - 5 for l.
-1
Suppose 0 = -3*t + 17 - 2. Let y(a) = -3*a**3 + 2*a. Let l be y(-2). Let n be (-100)/((-30)/(-6))*1/(-4). Solve 0 = n*u - l + t for u.
3
Suppose g - 4*g + 66 = 0. Let m = -21 + g. Let h = -449 + 451. Solve -h*q - m = -q for q.
-1
Suppose 4*v = -5*u - 0*v, -4*u - 5*v - 9 = 0. Let y = -5646 - -5646. Solve o - u = -y*o for o.
4
Let r be 58*6*5/15. Suppose -l = r - 32. Let u = l + 93. Solve 5*c - 16 - u = 0 for c.
5
Let d(o) = -o**3 + 7*o**2 - 6*o + 2. Let x be d(6). Suppose x*q = 5*p + 20, 4*p - 18 = -4*q - 6. Let r be 12 - (p - (3 + -2)). Solve 4*g + 1 = -r for g.
-4
Let t(r) = -r**3 + 13*r**2 + 14*r - 382. Let p be t(11). Solve w = 6 - p for w.
-8
Let b(n) = 169*n**3 - 11*n**2 + 3*n + 7. Let d be b(1). Solve 11*h = d - 91 for h.
7
Let b = 100 + -75. Suppose 11*o - b = 6*o. Solve o*j = -24 + 4 for j.
-4
Let l(k) = -54*k + 5960. Let g be l(107). Solve -26*q + 52*q - g = 0 for q.
7
Let x = -905 - -508. Let r = x - -412. Solve -9*p - r = 30 for p.
-5
Suppose 35*x - 23*x - 744 = 0. Let m = x + -35. Solve -4*i - m = -7 for i.
-5
Let z = 752696 + -752689. Let l(n) = n**2 + n + 3. Let r be l(0). Solve -4*g - z = r*g for g.
-1
Let l(z) = -z**2 + 6*z + 24. Let k be l(7). Let q = -9 + k. Let s = 13 - q. Solve -2*n - 3*n + s = 0 for n.
1
Let s = 21 + -16. Let z(t) = t**3 + 11*t**2 + 14*t - 78. Let q be z(-8). Solve 0 = 3*n + q*n - s for n.
1
Let p be (140/(-21))/(39/117 - 2/2). Suppose 0 = 4*z - 161 - 19. Solve 11*w + p = -z for w.
-5
Let v(o) = o**3 - 4*o**2 - 7*o + 11. Let u be v(5). Suppose -2*k + 52 = -4*x, u = -x - 4. Let p be (168/9)/7 - (-4)/(-6). Solve p*b = -2*b + k for b.
4
Let r = 245 - 243. Suppose -b + 28 = r*b - 2*z, 5*b = 4*z + 50. Solve 22 = -7*k - b for k.
-4
Let q(m) be the third derivative of 5*m**4/12 - 29*m**3/3 - 39*m**2. Let t be q(6). Solve t*f = 3*f for f.
0
Let b = 8737 + -8730. Solve b*m = -m - 32 for m.
-4
Let z = -208 - -212. Let s be (9/z)/((-66)/(-88)). Solve a - s = -0 for a.
3
Let s = 16471 - 16406. Solve -s*l + 235 = -18*l for l.
5
Suppose -19*h + 17*h + 72 = 0. Solve 46*k - 40 = h*k for k.
4
Let h be (518/(-70) + 9)*5. Solve 0 = -11*t + h*t for t.
0
Suppose w - 4 = -2. Let z(s) = 3*s**2 - 3*s - 14. Let x be z(3). Suppose -d = a - 3*a + 12, w*a = -3*d - x. Solve a*y - 3 = 5 for y.
2
Let k = 15267 - 15262. Solve -20*c = -k*c - 5*c for c.
0
Suppose 5*t - 15 = 0, -4*z = -0*z + 4*t - 24. Let n(r) = -r**3 - 4*r**2 + 4*r - 1. Let m be n(-5). Suppose 4 = m*k - 4. Solve 5 = -k*i - z*i for i.
-1
Suppose 18*j = 9*j + 765. Suppose -11*l + j = -3. Solve l*o + 5 = 3*o for o.
-1
Let a be (-1824)/(-42) - (-24)/42. Suppose 68*k - 64*k - a = 0. Solve -g = -k + 9 for g.
2
Suppose -2*n = 2*c + 40, 0 = -c + 5*n + 4 + 6. Let j be (7 - 6)/((-3)/c). Suppose -j*f + g + 17 = 0, -6*g + 3*g + 9 = 0. Solve 4 = -f*p + 20 for p.
4
Let t(q) be the first derivative of q**2/2 - 22*q - 25. Let g be t(-5). Let a be (12/9)/((-12)/g). Solve 22 = -5*r - a for r.
-5
Let s = 15 + -11. Suppose 47*u - 7 = 49*u - 17. Solve -u*q = -q - s for q.
1
Let s be (-11)/(-110)*-25*-14. Solve s*z + 118 = -57 for z.
-5
Suppose 12 = -4*y - k, 0 = y + 10*k - 6*k - 12. Let w(c) = c**3 + 6*c**2 - 8*c - 9. Let b be w(-7). Let v be (4 + y)/(-3 - b). Solve v*f = -2*f + 8 for f.
4
Suppose 105*k - 1122 - 453 = 0. Solve -14*b + k = -29*b for b.
-1
Suppose -82944 = 18*d - 284*d + 74*d. Solve 0 = 47*b + 7*b + d for b.
-8
Let t be (1 - (-2 + 2))/(-1). Let v = -1 - t. Let u be (-25*(-10)/125)/(3 - 1). Solve 2*r - u + 3 = v for r.
-1
Let i be (45/(-5))/((-4)/12). Solve -21*x + i*x - 24 = 0 for x.
4
Let b = 1212 - 1212. Solve 30*i - 42*i - 12 = b for i.
-1
Let q be 2/9 + 0 + (9 - (-5423)/261). Solve 261*a - q = 255*a for a.
5
Let j = 58 + -64. Let i be (0 - j - 5)*1. Solve 4*c - 3*c + i = 0 for c.
-1
Let o = 536 + -369. Suppose 5*c + o = -163. Let y = -65 - c. Solve 3*i - 10 = -y for i.
3
Let y(u) = 19*u**3 - 58*u**2 - 12*u + 184. Let c(a) = 7*a**3 - 19*a**2 - 4*a + 61. Let r(j) = 8*c(j) - 3*y(j). Let d be r(22). Solve 0 = 16*i - d*i - 8 for i.
-1
Let c(f) = -36*f + 1877. Let d be c(45). Solve -d*l + 258*l = -1 for l.
-1
Suppose -8*n = 187 - 1147. Suppose 0 = 113*q - n*q + 35. Solve 1 = 3*j - q for j.
2
Let a = -185 - -194. Suppose 3*m - 6 = a. Solve -9 = -m*i - 4 for i.
1
Suppose r - 4*b + 4 - 18 = 0, 0 = -r - 4*b - 10. Suppose -3*u + 1 = 3*z - r*u, -z + 3*u + 7 = 0. Solve -5 = -s - z for s.
4
Let i(k) = -5*k - 26. Let b be i(-14). Suppose 35*f + 216 = b*f. Solve 5*v - f - 1 = 0 for v.
5
Let i(y) = -11*y - 16. Let u be i(-8). Suppose -5*x - 47 = -u. Suppose -s + x = 0, 3*k + 4*s + 7 - 45 = 0. Solve g = 4*g - k for g.
2
Suppose -5*c - 16*z + 1 = -15*z, -5*z = 4*c - 5. Let x = 38 - 23. Let n be (x/(-3))/((-2)/2). Solve n*b + 10 + c = 0 for b.
-2
Let u = -9 - -13. Suppose 4*j - 3*h = 15, h + 4*h = -25. Suppose j = 5*x + 4*f - 16, 0 = 3*x - 2*x + u*f. Solve -7 = x*b + 5 for b.
-3
Suppose -5*u + 3*h + 42 = 0, -29 + 45 = -4*h. Solve -86*w = -92*w - u for w.
-1
Let p be 1/(3*(-2)/(-174)). Suppose -d + 11 = -5*v, 4*d - 109 = 2*v - p. Solve -5*m - d = 4 for m.
-5
Let f = 4 + 1. Let z(v) = -2*v**2 + 60*v + 372. Let r be z(35). Solve -2 = f*b - r for b.
4
Suppose 46 = -4*f - 5*j + 218, 4*f - 144 = 2*j. Let s be f/8 - 21/28. Suppose 61*r - s = 59*r. Solve -v = -0*v + r for v.
-2
Suppose -158*l - 373 = -689. Let p(d) = d + 7. Let a be p(-5). Solve -m = -l*m + a for m.
2
Let h(m) = m**3 + 7*m**2 + 4*m - 4. Let l be h(-6). Suppose 4*d = -x - l, 16*x - 3*d = 18*x + 6. Solve c + x*c = -3 for c.
-3
Let i be 8/(-10)*(-13 + 8). Suppose -2*c + i = -4. Suppose -5*z - 25 = -5*m - z, c*m = -5*z + 20. Solve 0*p = m*p - 5 for p.
1
Let b be (11222/(-543))/(4/(-6)). Solve 0 = b*k - 10 - 21 for k.
1
Let f be 36/(-30)*-5 + (-9 - -5). Suppose -c - 8 = -4*c - f*n, 18 = 4*c - n. Suppose -4 = -4*j + 8. Solve -c = j*s - s for s.
-2
Suppose -902 = -15*s - 302. Suppose 77*k = 67*k + s. Solve -2*q + 10 = -k*q for q.
-5
Let w(p) = 5*p**3 - 2*p**2 + 27*p - 84. Let g be w(3). Solve -26*l = -64*l - g for l.
-3
Let u(f) = 600*f + 1811. Let o be u(-3). Solve 110 = o*v + 22 for v.
8
Suppose -3*z = 12 - 18. Let i = -75 - -86. Suppose -35 = -i*q - z. Solve -1 - q = 4*s for s.
-1
Let i = 1483 + -1463. Solve -72 = -8*b + i*b for b.
-6
Let t(g) be the second derivative of -g**4/3 + 11*g**3/6 + 3*g**2/2 + g + 1. Let r be t(3). Solve 5*v - 20 + 0 = r for v.
4
Let z = -234 + 160. Let a = -152 - z. Let i = -73 - a. Solve i = 2*d - 5 for d.
5
Let a be 1/(((-128)/1664)/(10/(-13))). Solve -18*v + a*v + 24 = 0 for v.
3
Let a be (4/2)/(1/2). Let g be -1 + 49 - (a + -1). Let c = g + -41. Solve -t + 3 = -c*t for t.
-1
Let r be (303/101)/(1/(14/3)). Let x be (55/77)/(2/r). Solve 14 = -x*h + 9 for h.
-1
Suppose q - 3*o - 84 = -27, -2*q - 2*o = -90. Solve -q = -199*w + 191*w for w.
6
Let s(m) = -4*m - 7. Let q be s(-10). Suppose 4*j - 4*i = 32, 3*j + 5*i + q = 41. Solve -c + j = 1 for c.
5
Suppose 0 = 2*q + 77*z - 76*z - 38, -5*z = -3*q + 44.