+ 532. Let k be z(-48). Let u be (-3)/(6/(-14)) - 1. Let j be u/12 - (-9)/2. Solve -o = -j*o - k for o.
-1
Suppose 7*i + 2*i + 1143 = 0. Let l = -106 - i. Solve k - l = 8*k for k.
-3
Let x be 171 - (9 + 2 + -11). Solve -x = -39*z - 18*z for z.
3
Let s be (1/(-2) + 7566/12)/1. Let p = s + -625. Solve 0 = 3*t - p - 4 for t.
3
Let z be (-5 - -6 - 2) + -2. Let f be ((-4)/(-3)*6)/((-2)/z). Solve -5*c - f = -2*c for c.
-4
Let g(m) = -6*m - 21. Suppose -3*u = -s - 9, -s - 2*u = 3*u - 23. Suppose -a + w + 5 = -2*a, -s*w + 13 = -4*a. Let y be g(a). Solve 2*b + y*b = 0 for b.
0
Suppose 128 = 8*a - 0*a. Let g = a - 5. Suppose -2*x = 4*w - 8, -6*w - x + 4 = -g*w. Solve j = -w*j for j.
0
Let s(d) = d**2 - 11*d. Let l be s(11). Suppose 4*a - 2*x = -l*x + 12, 0 = 3*a + 5*x + 17. Solve -2*t - a + 9 = 0 for t.
4
Let o be -1 + -1 + ((-720)/24 - -103). Suppose a + 97 = 6*a + 4*u, -38 = -2*a - 2*u. Suppose -a + o = 5*p. Solve 10 = -4*m - p for m.
-5
Suppose 244 + 1232 = 36*h. Solve 233 - 28 = -h*n for n.
-5
Let a be (70/(-175))/(2/30) - -6. Solve 42*q - 43*q = a for q.
0
Suppose 29 = 5*w + h - 3*h, 9 = w - 2*h. Let d(n) = -n**3 - 20*n**2 + 1. Let o be d(-20). Suppose o = y, 1 = -5*m + 3*y + 18. Solve t - w = -m for t.
1
Let l = -153 + 177. Let g be (396/l)/11*8/3. Solve -g*a - 9 = 3 for a.
-3
Let v(y) = -y**2 - 27*y - 170. Suppose 4*q + 0*q = -4, -2*q = 2*w + 36. Let z be v(w). Solve 3*n + 5*n - 10*n = z for n.
0
Let s = 3 + 10. Suppose 0 = -182*n + 172*n. Solve -s*i + 9*i + 12 = n for i.
3
Suppose -20*a = 12*a + 4*a - 144. Solve -a*b + 5 + 15 = 0 for b.
5
Let b = -14 - -27. Suppose -14*a = -b*a - 15. Suppose -5*v + 30 - a = 0. Solve -v*g = g - 20 for g.
5
Suppose 0 = -259*b + 1046 - 96 + 86. Let q be -2 + 3/(-6)*-4. Suppose -4*t + 49 = 3*j, -j + 4*j + 3*t - 48 = q. Solve j = -y - b*y for y.
-3
Let x = -72 - -74. Suppose 3*q + 2*q - x*v - 110 = 0, 0 = -4*q - 4*v + 60. Suppose -4*j = 5*g - 22, 5*g - 6 = -2*j + q. Solve -3*a = g + 9 for a.
-5
Suppose -3*d - 9 = -4*d + n, 2*d - 30 = -2*n. Let r = -9 + d. Suppose 6 = b + r. Solve -2*s - 5 = b for s.
-4
Let c be 110/6 + (308/(-33) - -9). Solve c*k = -20 - 16 for k.
-2
Suppose 41*i = 37*i + g + 102, 0 = -2*i - 2*g + 46. Solve -i*f = -8*f - 51 for f.
3
Let a = -22 - -34. Suppose 4*o + 0*o = 0. Suppose 2*s + 4 = 0, o = -p - 5*s - a + 4. Solve -p*t - 12 = 2*t for t.
-3
Let d(p) = 3*p**2 + 70*p - 212. Let z be d(3). Solve 27*l = -z - 2 for l.
-1
Let y = -112 - -128. Let i = y + 9. Suppose 2*o - 5*a = 35, -5*a - i = -0*a. Solve 2*k = 5 + o for k.
5
Suppose 10*z - 12*z = 4*b - 494, b + 3*z = 136. Solve -194 = -63*n + b for n.
5
Suppose 3*i - 29*q + 26*q - 11973 = 0, -11967 = -3*i + q. Solve 4*f + 3968 = i for f.
5
Let r be 288/120*40/(-6). Let i(c) = -c**2 - 17*c - 4. Let x be i(r). Solve 8*f - 12 = x*f for f.
-3
Suppose 4*c = 16, 0 = -4*b - 6*c + c + 28. Solve b*p + p = -0*p for p.
0
Let s = -41832 - -41905. Solve 183 = s*i - 401 for i.
8
Let v = 233 + -232. Suppose 3*s + 3*a - 24 = 0, 5*a - 19 = v. Solve s*c - 32 = -4*c for c.
4
Let w be 1 + 325/30 + 7/42. Let t be (4 + -2 + -2)/(-1). Suppose -f = -t*f - w. Solve n - 5*n + f = 0 for n.
3
Let s(y) = y**3 - 11*y**2 + 2*y - 7. Let v be s(11). Suppose -2*h - 16 - v = -p, h - 16 = -p. Suppose -6*q = q - p. Solve -2 = d - q for d.
1
Suppose 0 = 15*g - 25 - 50. Suppose 2*n + 5*s - g = -11, -5*s - 55 = -5*n. Solve -b = -n + 2 for b.
5
Let p(g) = -5*g**2 - 7*g - 16. Let w(q) = -14*q**2 - 19*q - 46. Let m(s) = 17*p(s) - 6*w(s). Let j be m(-5). Solve 3*o - j = 4*o for o.
-4
Let y(c) = 2*c**3 - 80*c**2 + 5*c - 197. Let g be y(40). Solve -575*s + g = -572*s for s.
1
Let v = -2089 + 2113. Solve -41 = 13*o + v for o.
-5
Let y = -16796 - -16799. Suppose 2*b - 2*m - 5 = -b, 5*b + 1 = m. Let x be (b + 0)/(-1)*4. Solve x*t - y - 5 = 0 for t.
2
Let i = 2783 - 2626. Solve 6*p = i - 169 for p.
-2
Let d = -139 - -144. Suppose 9*v = d + 40. Suppose -2*h - h = -9. Solve 1 = -h*n - v for n.
-2
Suppose -3*h - 24*u + 48 = -21*u, 3*h - 54 = 3*u. Solve 2*a = -h*a - 114 for a.
-6
Suppose -y + c + 0 + 14 = 0, 0 = -4*y + 5*c + 53. Solve -11*p = -3*p + y*p for p.
0
Let o(z) = 3*z**2 + 3*z. Let j be 3 + ((-2)/1 - 3). Let w be o(j). Suppose q - 5*k = 18, -2*q + 13*k = 16*k + 3. Solve q*a + w + 3 = 0 for a.
-3
Let l be (3 - 5/10)*76/10. Let u be 1 + l + 2 + 2. Solve -3*w + u = 9 for w.
5
Let q be (-10)/20*-6*1. Suppose -q*i + 9 = -0. Suppose 4*v + 8 = -3*u + i, -5*u + 20 = v. Solve u*z = -5 - 5 for z.
-2
Let c = 148 - 145. Suppose -c*g - b + 8 = -12, -5*g + 30 = b. Solve 4*o + 4 = g*o for o.
4
Let k(w) = -7 - 13*w + 2*w - 5*w - 4*w. Let a be k(-1). Solve -4 + a = 3*x for x.
3
Suppose -92 + 1226 = 14*a. Let s be ((-27)/a)/(1/(-9)). Solve -s*o + 4 = -7*o for o.
-1
Suppose 0 = -34*x + 49 + 257. Solve 184 = 35*t + x for t.
5
Let s be (9 - 10)*7*(-4 - 348/42). Solve 17*p - s = 50 for p.
8
Let r be (-110)/(1*32/(-12) - -2). Let i = r + -160. Solve 1 = -i*u - 24 for u.
-5
Let j = 62 - 60. Let u be (2 - j)/(-12 - -10). Suppose -v - 2*v + 4*x - 8 = u, -15 = -5*v + x. Solve -y = -v*y - 9 for y.
-3
Suppose 2*j = 5*t - 54, -3*j = -t - 7*j + 24. Solve -24*a + t*a = 16*a for a.
0
Let v = 61 + -59. Let w(r) = -2*r - 4 - r + v*r + 19. Let x be w(13). Solve -2*u = x*u for u.
0
Suppose -4 = -4*u - 3*t - t, -u = -5*t - 7. Suppose 3*g - 3 = 5*b + 3, -2*b = -2*g + 4. Let l = 2328 + -2308. Solve u*p + l = -g*p for p.
-5
Let n = 81 - -1. Let f = n + -79. Let l be (-14)/(-3) - 2/f. Solve -l + 3 = m for m.
-1
Suppose -m = -5*q - 13, 2*q = 2*m - 29 + 11. Solve m*y = 27*y - 17*y for y.
0
Suppose -323*v + 333*v = 7590. Let z = 759 - v. Solve 16*j - 13*j + 9 = z for j.
-3
Let b(y) = -y**3 - 46*y**2 - 42*y + 156. Let l be b(-45). Let r(h) = 2*h - 9. Let o be r(6). Solve -6*m = o + l for m.
-4
Let k = 52 - 39. Suppose -4*m = -d - k, 5*m - 39 + 10 = -3*d. Let u be (d/2)/(3/6). Solve u*x - 2 = -5 for x.
-1
Let h be -6*(12/(-9) + 1). Let q be h*((-22)/(-4) - -4). Let k = q + -19. Solve k = -0*f + 2*f - 2 for f.
1
Let v be (672/160)/((-2)/(-20)). Solve -53*q = -v*q for q.
0
Let r be (12/10)/(6/10). Suppose w + r*l = -26, 54 = -3*w + w - 3*l. Let z be w/(-36) + 3/18. Solve 2*i - i = -z for i.
-1
Let f(o) be the third derivative of -17*o**2 + 1/60*o**5 + 0 + 0*o - 4/3*o**3 - 1/24*o**4. Let a be f(-4). Solve 3*c + 0*c = a for c.
4
Let s(h) = h**3 + 2*h**2 - 11*h - 8. Suppose 0 = 8*v + 6*v + 56. Let g be s(v). Solve g*b + 10 = -b for b.
-2
Let z = 55 - 44. Let c(y) = -1 - z - 7*y - y**2 + 2. Let q be c(-5). Solve -w - w = q for w.
0
Let z be (4/6)/(13/39). Suppose 16*c - 12*c - 8 = 0. Let d be c + (-1)/(-5)*5. Solve -d*a + 17 - z = 0 for a.
5
Let g = 4 + -4. Let c(x) = -x**3 - 3*x**2 - 11*x - 10. Let o be c(-3). Suppose 17*r - o - 45 = 0. Solve f - r*f = g for f.
0
Let l(i) be the third derivative of -2*i**5/15 - 9*i**4/4 + 17*i**3/6 - i**2 + 20. Let z be l(-7). Solve -6 + 15 = -z*n for n.
-3
Let a be ((-36)/(-5))/((-164)/20 - -8). Let g = a + 38. Suppose k + g = 6. Solve 0 = -o + k - 3 for o.
1
Let b = -22 - -25. Suppose -2*q + b*q - 4*o = 22, 4*q + 5*o + 17 = 0. Solve q = -3*x + 17 for x.
5
Let m = -8833 + 8851. Solve 437*a = 440*a - m for a.
6
Let y be ((-16)/10)/(61/915). Let b be ((342/y)/19)/((-3)/4). Solve 0 = 4*o + b - 5 for o.
1
Suppose -2*o - 5*g = -113, o - 12*g = 158 - 145. Solve 29*h - o = 154 for h.
7
Suppose -132 = -67*x + 23*x. Solve x*p + 1 + 14 = 0 for p.
-5
Let s(x) = x - 6. Let k be s(6). Let o = -45618 - -45622. Solve o*t + 2*t = k for t.
0
Let b = 62 - -71. Solve 34*x + b + 105 = 0 for x.
-7
Let y = -49 + -13. Let c = -37 - y. Let x be (-10)/c - 8/(-20). Solve 0*m - m = x for m.
0
Let b be (-5724)/(-135)*(3 - 3/6). Solve -3*g + 109 = b for g.
1
Suppose 4*b = -5*v + 154 + 216, 2*b - 200 = 5*v. Let f = 100 - b. Solve 0 - 15 = -f*q for q.
3
Suppose -113*g + 23*g + 19634 = -7186. Solve 0 = g*c - 281*c + 68 for c.
-4
Let n be (6/(-8))/((-930)/124) + 1236/40. Solve -74 - 19 = -n*l for l.
3
Let x be (-2)/((-24)/30) - 1/(-2). Suppose 0 = 3*y - 15, 5*m - x*y - 64 = 46. Solve 4*d = -d - m for d.
-5
Let l(p) = -7*p + 8. Let t be l(4). Let q(s) = 2*s + 51. Let m be q(t). Let g = m - 1. Solve 0 = -0*r + 2*r + g for r.
-5
Suppose 234*v = 8*v + 35 + 191. Solve -10*k + 71 = v for k.
7
Let a(z) = 11*z**2 + 11*z + 65. Let k(p) = 9*p**2 + 