591. Does 9 divide u?
False
Let p(w) = -w**2 + w - 3. Let c be p(6). Let m = -35 - c. Is ((-130)/5)/(m/5) a multiple of 50?
False
Does 12 divide 11 + -11 + 630 + 6?
True
Let k be 1 - 0 - -1*1. Suppose 2*d = -4, -155*g + 4*d = -156*g - 38. Is 28 a factor of 1/3 + k/g*-505?
False
Let a = 1678 - 95. Does 25 divide a?
False
Let a(h) = 11*h + 48. Let q be a(-4). Suppose 0 = q*b + 2*l - 456, l = 3*b - 6*b + 344. Is b a multiple of 8?
False
Let j = 109 - 98. Suppose 118 = j*w - 718. Is w a multiple of 38?
True
Is -1*((-32)/(-2) - 10554) a multiple of 43?
False
Suppose 5*h - 5*l - 1240 = 0, 1200 = -h + 6*h + 3*l. Suppose -h - 27 = -4*x - 2*m, -m = -1. Let k = 5 + x. Does 12 divide k?
True
Let j be -4*-1*2/4. Suppose j*x + x = 207. Does 3 divide x?
True
Let o = 2275 - 1118. Is 13 a factor of o?
True
Let m(x) = -612*x + 444. Is 16 a factor of m(-5)?
True
Suppose 0 = 5*g + 2*k - 660, 3*g - 4*k = -132 + 528. Let l = -129 + g. Suppose -4*a = 2*s - 7*s - 692, -l*a + 2*s + 512 = 0. Does 56 divide a?
True
Is 60 a factor of (1598/(-5) - 12)/((-6)/30)?
False
Let s(h) = -2*h**2 - 10*h + 2. Let l be s(-5). Suppose -4*f + 1118 = l*c, -2*c - 205 = -5*f + 1188. Is 40 a factor of f?
False
Let a(o) = 20*o - 3. Let f be a(-3). Suppose -194 = -71*d + 90. Does 10 divide (-2065)/f - d/(-18)?
False
Let n(d) = -d**2 + 186*d - 595. Is n(68) a multiple of 17?
True
Suppose 5*s = 575*q - 574*q - 820, 3184 = 4*q + 4*s. Is 16 a factor of q?
True
Let s(o) be the third derivative of o**5/15 - 7*o**4/2 - 8*o**3/3 + 270*o**2. Is s(23) a multiple of 42?
True
Let k = 1342 - 390. Does 136 divide k?
True
Suppose -2946900 = -33*o - 267*o. Does 19 divide o?
True
Let s = -74 + 129. Suppose 0 = -3*f - 5*v + 20, -8*f + 2*v = -11*f + 17. Let m = f + s. Does 5 divide m?
True
Let p = 15 + -45. Let g be (-1)/(-5) + (-264)/p. Suppose g + 68 = f. Is 15 a factor of f?
False
Let v = 20 - 10. Let l(x) = x**3 - x**2 + x. Let a(n) = 4*n**3 - 13*n**2 + 15*n + 4. Let y(k) = a(k) - 3*l(k). Is y(v) a multiple of 32?
False
Let n(l) = 21*l**2 - l - 2. Let s be n(-1). Suppose z - 1 = u - 3, -s = 5*z. Let c(t) = -17*t**3 + 3*t**2 + 7*t + 7. Is c(u) a multiple of 35?
False
Let a = 1234 + -106. Does 12 divide a?
True
Let h = 17643 + 17581. Does 19 divide h?
False
Let w(r) = -r**3 - 3*r**2 + 12*r - 33. Let p be w(-6). Suppose -p*f + 5455 = 5*x, -148*x + 150*x = 4*f + 2156. Does 16 divide x?
True
Let c = 19187 - -4176. Is c a multiple of 61?
True
Let r(n) = -n**2 - 43*n + 16359. Is 21 a factor of r(0)?
True
Suppose -i = -c + 6*c - 380, 4*i = 2*c + 1498. Suppose -f = 334 - 338. Suppose -i = -f*d - 115. Does 65 divide d?
True
Let z(t) = -t**3 + 8*t**2 - 14*t + 16. Let l be z(6). Suppose -12*b = l - 136. Suppose p = -b*p + 108. Does 2 divide p?
False
Suppose -80*t = 88*t - 3084144. Is t a multiple of 67?
True
Does 5 divide (1299 - 1)*-6*2/(-4)?
False
Let d be (-82*3/18)/(1/(-3)). Let w = -7 + d. Suppose p + p = w. Does 4 divide p?
False
Does 23 divide 20/(-16) + 199462/152?
True
Let u(l) = 189*l**2 - 104*l + 826. Is 130 a factor of u(8)?
True
Suppose -227 + 39 = 3*h + 2*i, 4*h + 5*i = -253. Let j = -11 - -108. Let d = j + h. Does 3 divide d?
False
Let g = 128060 + -77849. Is 238 a factor of g?
False
Suppose 21*p + 543 = -507. Let x = -42 + 70. Let n = x - p. Does 13 divide n?
True
Let b be (4*-4)/(-1 - 9 - -9). Suppose -b*f - 215 + 1015 = 0. Is f a multiple of 5?
True
Suppose -4*t + 20 = 2*g - 2*t, -5*g + t + 80 = 0. Is 18 a factor of -51*(-1 - g/3)?
True
Suppose 4*h - 11 = 3*f, 4*f = -9 + 21. Suppose -1325 = -5*x + 5*r, 33*x - 30*x - 801 = h*r. Is x a multiple of 26?
False
Let x = -91 + 61. Let j = x + 35. Suppose -j*r + 2*p + 263 = 0, 0*r + 4*p = 2*r - 118. Is r a multiple of 14?
False
Let u be (-3)/6 + (-399)/(-14). Let d = u + -22. Suppose -d*f + 420 = f. Is 15 a factor of f?
True
Suppose 11*t + 882 = 2*t. Let p = 105 + t. Suppose p*c - 32 = 5*c. Is 8 a factor of c?
True
Suppose m - 2*i = 5939, -48*m + 3*i = -52*m + 23778. Is m a multiple of 161?
False
Let m(y) = -y**3 + y**2 - 3*y + 74. Suppose -5*u = -4*w + 16, -2*u + 5*w = 3*w + 8. Let r be m(u). Suppose 0 = p + 1, 5*g - r = 3*p + p. Is 14 a factor of g?
True
Let l(p) = -612*p - 10448. Is l(-83) a multiple of 11?
True
Suppose -22*l + 12*l + 280 = 0. Is 10 a factor of 107/7 + 1/(l/(-8))?
False
Let b(m) = 119*m + 3314. Does 5 divide b(-12)?
False
Suppose 0 = 38*f + 274 + 323 - 27. Suppose 0 = 5*s - 52 - 73. Let n = s - f. Is 30 a factor of n?
False
Let v = -45 + 61. Let y(u) = -4*u - 14. Let z be y(-6). Suppose 15*b = v*b - z. Is b a multiple of 5?
True
Suppose o + 5*p = 197, 4*o - 3*p - 493 = 341. Let g = o - 123. Is (-2)/(g/(-27) - -3) a multiple of 6?
True
Let c = -2582 + 5465. Let g = c + -1850. Is g a multiple of 65?
False
Suppose 14*u - 6535 = 14255 + 42980. Is 5 a factor of u?
True
Let f(o) = -614*o - 2214. Is 87 a factor of f(-10)?
False
Let c(o) = o**3 - 2*o**2 - 2*o - 2. Let f be c(3). Suppose -f = -2*r + 7. Suppose -n = -3*k + 50, -k + r*n + 20 = k. Is 3 a factor of k?
True
Suppose -g = 13*g - 210. Suppose 0*i + g = 3*i, -13 = 4*j - i. Does 9 divide 2/(8/646) - 1/j?
True
Let x(d) be the second derivative of 25*d + 3/4*d**4 + 5*d**2 + 0 + 13/6*d**3. Is x(-4) a multiple of 12?
False
Let b be ((-4)/(8/(-13)))/((-1)/4). Let j(k) = k + 108. Is 11 a factor of j(b)?
False
Let z = 61 - 44. Let g(r) = -z*r**2 + 3*r + 28*r**2 + 4 - 14*r**2 + 1 + r**3. Is g(3) a multiple of 12?
False
Let c = 1976 - 644. Let t = c + -884. Is 28 a factor of t?
True
Let u = 14202 - 8442. Is u a multiple of 5?
True
Let r(j) = 485*j + 5. Let m be r(2). Let g = m - 551. Is g/(-24)*2*3*-1 a multiple of 20?
False
Let c(k) = 5*k**2 + 4*k - 4. Let h be c(-4). Let s = h + 268. Does 12 divide s?
False
Let b be (5 + 8/16)/(2/(-4)). Let z be 113 - (b + 2 + 5). Suppose 0 = -4*v + 99 + z. Does 14 divide v?
False
Does 169 divide (-2 - 4)*12/8*(-6591)/9?
True
Let z = -16298 + 30109. Does 157 divide z?
False
Let k = -493 + 9563. Does 110 divide k?
False
Let b be 0 + 16/6 - (-16)/(-24). Let y be (-4 - -4)/(b + 0). Suppose y = -5*i - 5*g + 490, -8*g - 182 = -2*i - 3*g. Does 25 divide i?
False
Suppose 10*d = -45 + 355. Is 17 a factor of (-23 - d)*17/(-2)?
True
Is ((-1258)/10 - -1)*((-243)/6 + 3) a multiple of 12?
True
Let c(k) = 12*k + 7*k - 5*k - 132 + 22*k - 11*k. Is c(8) a multiple of 5?
False
Let d = 285 - 409. Let m = -64 - d. Let u = -21 + m. Is u a multiple of 7?
False
Suppose -3*x = 4*m - 13129, 44*x - 39*x + 25 = 0. Is m a multiple of 106?
True
Let o(k) = -4*k + 6. Let f be o(-24). Suppose 3*w + 3*t + f = -0*w, -2*w = 5*t + 71. Let s = w - -58. Is 6 a factor of s?
False
Does 12 divide 3/21 - 3285/189*-2391?
False
Let c(b) be the third derivative of 10/3*b**3 - 5/24*b**4 - 11*b**2 + 0 + 0*b. Does 18 divide c(-14)?
True
Suppose -4*a + 4*d = -2992, -4*a + 5*d = -1633 - 1363. Let m be (a/18)/((-4)/(-6)). Let o = m + 63. Is 25 a factor of o?
True
Let y(v) = -13*v**2 - 3. Let i(p) = -2*p + 4. Let w be i(1). Let t be y(w). Let d = -22 - t. Is 11 a factor of d?
True
Suppose 12*u - 4179968 = -12*u - 184*u. Is 8 a factor of u?
True
Let p = -48926 - -75156. Is p a multiple of 43?
True
Let q = -7 - -11. Suppose 8*n - q*n = -3*o + 234, 0 = -2*o - 4. Does 5 divide n?
True
Let x(z) = 6*z - 103. Let b be x(15). Suppose 3*a + 3*g - 87 = 0, -5*a + 2*g + 162 = -11. Let y = a + b. Does 4 divide y?
True
Is 13140*(-5 + (-112)/(-21)) a multiple of 10?
True
Let t(n) = 157*n + 100. Is 52 a factor of t(4)?
True
Let p(w) = 4*w + 321. Does 65 divide p(-16)?
False
Let x be 17 - -459 - 0/2. Does 36 divide x + (-10)/20*4/1?
False
Let b(m) = 39*m**2 - 26*m - 91. Is 77 a factor of b(-7)?
True
Let x(m) = m**2 + 12*m + 23. Let d be x(-10). Suppose 219 = 3*s - 0*t + 5*t, 0 = 3*s - d*t - 195. Is s a multiple of 5?
False
Let f(d) = -d + 88. Let m(k) = k**3 + 6*k**2 + 7*k - 2. Let v be m(-2). Is 19 a factor of f(v)?
False
Suppose 420*d - 31744 = 388*d. Is d a multiple of 2?
True
Let c(d) = 724*d**3 + d**2 - 9*d + 8. Suppose -26*q - 11*q = -37. Is c(q) a multiple of 41?
False
Does 45 divide (14/28)/((-9)/(-37260))?
True
Let b(x) = 13*x**2 + 60*x + 719. Is 64 a factor of b(-29)?
False
Let j(w) = w**2 + 30*w + 32. Let n(h) = -2*h**2 - 59*h - 65. Let s(t) = 7*j(t) + 3*n(t). Is 27 a factor of s(-35)?
False
Does 24 divide 22398692/