 u a multiple of 9?
True
Let x be (-14)/((-3)/(-54)*-2). Suppose 3*o + 180 = 4*q, -3*o + o - 45 = -q. Let c = x - q. Is 15 a factor of c?
False
Let a = 146 + -152. Does 55 divide ((-10)/a)/((-3)/(-693))?
True
Let z(b) = -b**2 + 17*b + 94. Let y be z(21). Does 12 divide ((-28)/y)/((-2)/(85 - -5))?
False
Let y(b) = -b**3 - 8*b**2 - 8*b - 5. Let p be y(-7). Suppose c = -i - 1, 0*i = 4*c + 3*i + p. Let n(q) = 20*q**3 - 2*q**2 - q + 2. Is n(c) a multiple of 19?
True
Suppose 0 = 5*b - 6*b. Suppose a = 5*w - 17, 32 = 4*a + 5*w - b*w. Suppose 3*y = -l + 56, 0*l + l + 52 = a*y. Is y even?
True
Suppose -o = -j + 202, 3*j - 5*o = 364 + 232. Is j a multiple of 6?
False
Let d(c) = -8*c + 36 + c - 29. Let y be d(-5). Suppose -y*a - 189 = -43*a. Is a a multiple of 27?
True
Let j = -5690 - -8066. Does 8 divide j?
True
Let d be 9/((-225)/(-10))*(-105)/(-6). Suppose -3*j + 1524 = 3*c, 0 = 3*j - d*j. Is c a multiple of 8?
False
Suppose -3*n = -n + 3*g - 12389, 0 = 4*n + 4*g - 24772. Suppose 9210 + n = 22*m. Does 10 divide m?
True
Suppose -5*y + 5334 = 1604. Let p = 274 + y. Suppose -5*w + p = w. Does 34 divide w?
True
Let l(o) = -16*o + 3. Let a(d) = -d + 1. Suppose -3*w - 3*q = -0*q - 6, 5*q + 8 = 4*w. Let i(k) = w*a(k) - l(k). Is 3 a factor of i(2)?
True
Let o = -1813 - -2080. Is 3 a factor of o?
True
Let j(s) = -73*s - 157. Let d(o) = -72*o - 154. Let h(i) = -5*d(i) + 6*j(i). Does 55 divide h(-6)?
False
Let k = -39 - -38. Let f(x) = 2*x + 1. Let c be f(k). Is (c - -65) + -4 + 3 a multiple of 9?
True
Suppose 44327 = 10*s + 3557. Suppose 4*u + 4*q + 13596 = 0, 0 = 5*u - q + s + 12924. Is 6 a factor of (-4)/(-22) + u/(-55)?
False
Suppose 5*h + 4*l - 86155 = 9*l, 3*l = 18. Does 74 divide h?
False
Let j(o) = -62*o**2 - 7*o - 10. Let n be j(3). Let a = -410 - n. Does 27 divide a?
False
Let o(h) = 8*h**2 - 18*h - 21. Suppose k + 2*w = -17, 3*w + 33 - 57 = 3*k. Does 92 divide o(k)?
False
Let k = 399 + -396. Suppose -k*d - 4 = -151. Does 9 divide d?
False
Let j(h) = h - 29. Let o be j(33). Suppose -4*s = -2*k - 144, -o*s + 7*k - 4*k + 144 = 0. Does 18 divide s?
True
Suppose -207*b + 144814 + 40865 = 0. Is b a multiple of 2?
False
Let m = 315 - 303. Suppose -m*t = -1666 - 4106. Is t a multiple of 7?
False
Let d be (-13)/(234/(-60))*(-6)/4. Let o(x) = x**2 + 8*x + 15. Let a be o(d). Suppose a = -4*j + 157 + 131. Does 10 divide j?
False
Suppose 0 = 5*r + 5*z - 57532 - 28183, 5*r + 4*z = 85710. Does 63 divide r?
False
Let q be 347*(-3 - -4)*(-1 - 2). Let l be (-1)/(4/(-3)) + q/(-4). Let d = l + -181. Is 24 a factor of d?
False
Let w = -229 - 34. Let u = w - -824. Is 17 a factor of u?
True
Suppose 0 = -2*a + 1099 + 333. Let y = -426 + a. Does 58 divide y?
True
Let p(l) = 2381*l - 320. Let w be p(12). Suppose -5*f = -2*q - 630, -2*f - 2*q = 3*f - 630. Does 28 divide (1 - 33/27) + w/f?
True
Suppose 8774 + 1316 = -5*c. Let g = 4064 + c. Is g a multiple of 17?
False
Suppose v - 2*m - 496 = 3*v, 0 = 2*v - 4*m + 484. Is v/8*-2*(-18)/(-27) even?
False
Let o = 31 - 26. Suppose 0 = -o*l + 7*l - 86. Let r = 87 - l. Does 25 divide r?
False
Let u(a) be the third derivative of -a**8/20160 - a**7/630 + a**6/180 + 4*a**5/15 + 11*a**2. Let i(h) be the third derivative of u(h). Is 12 a factor of i(-6)?
False
Let h(i) = -62*i - 3183. Is 5 a factor of h(-79)?
True
Let h be (-4078)/14 + 4/14. Let k = h - -434. Is 11 a factor of k?
True
Is 57 a factor of ((-447601)/(-44))/((-4)/(-96)*6) + 1?
False
Suppose r + 5*n - 5173 = 0, 2*r = 2*n + 7306 + 3124. Does 7 divide r?
True
Let d be ((-14)/(-6) - 3)/(2/(-6891)). Suppose -3*n + d = -799. Is n a multiple of 43?
True
Let x(p) = p**3 - 16*p**2 + p - 12. Let q be x(16). Suppose 0 = -3*d - 4*n + 911, 5*n - 721 = q*d - 1915. Is d a multiple of 33?
False
Suppose 0 = 3*b + 4*p - 356, -4*b - 6*p = -3*p - 477. Suppose 0 = -b*c + 116*c + 396. Does 33 divide c?
True
Suppose -71*q + 65333 = 16201. Is 9 a factor of q?
False
Let k be (-1)/(-5) + 10 - (-1)/(-5). Suppose 0*i + 4420 = k*i. Is i a multiple of 16?
False
Let x(o) = 32*o + 25*o - 58 + 30*o. Is 58 a factor of x(12)?
True
Let f(h) = -5*h + 15. Let y(i) = -4*i**2 + i + 6. Let s be y(-2). Is f(s) even?
False
Suppose 165*d - 155*d = 692*d - 21293404. Does 233 divide d?
True
Is 3 a factor of 27134/17 + 6/(-51) + 0 + -3?
True
Let l(p) = 93*p + 7. Let c be l(1). Let r(k) = -32*k - 7*k**2 + 10*k + 110 - k**3 - c. Is r(-8) a multiple of 38?
False
Suppose -8*n - 930077 = 172*n - 3662297. Does 98 divide n?
False
Let z(f) = -12*f**2 + f + 58. Let m be z(0). Suppose -m = -6*b + 74. Is 4 a factor of b?
False
Let j be 4/((-7)/(-5) + -1). Let y(n) = n**2 - 287*n - 3583. Let q be y(-12). Suppose -j*m + q*m + 1065 = 5*k, -2*k = 3*m - 642. Does 12 divide m?
True
Is 2 a factor of (-4 + (-13)/(-2))/(-1)*33176/(-55)?
True
Let b = 4834 + -780. Is 19 a factor of b?
False
Let w = 27786 + -15708. Is 9 a factor of w?
True
Suppose 127324 + 404768 = 11*n + 18*n. Is n a multiple of 44?
True
Suppose -17*b = -6*b - 2002. Is (-7)/(b/4) - (-29953)/91 a multiple of 47?
True
Let s = -121 + 123. Suppose -s*o - 100 = -772. Suppose 34 = a + 3*x - 43, 2*x = 4*a - o. Is 5 a factor of a?
False
Suppose -2*i = -8 - 22. Let b be 1487/i + (-1)/(45/6). Let s = b + -78. Does 19 divide s?
False
Suppose -11*w + 84 = -7*w. Let t be 7/(w/99) - 0. Suppose t + 453 = 3*n. Is 48 a factor of n?
False
Suppose n - 6811 = -5*g, -24*g + 28*g = 5*n - 33910. Is n even?
True
Is 9 a factor of (-5*-12*13/39)/((-4)/(-574))?
False
Let m be ((-95)/(-38))/(5/4). Suppose m*c = 3*a - 477, 7*c - 795 = -5*a + 8*c. Does 17 divide a?
False
Suppose -7*p + 3*p + 8 = 0. Is 126/5 - p/10 a multiple of 8?
False
Suppose 117*o - 1621818 = 359928. Does 216 divide o?
False
Suppose -3*o = -x + 15, -2*o + 2*x - 6 = 4. Is 15 a factor of (-3 - o - -18)*15/10?
True
Let k = -3409 + 4070. Is k a multiple of 3?
False
Let f(y) = -y**3 - 4*y**2 + 5. Suppose 3*a = -4*b + 46 - 10, b = -a + 8. Let x be (-62)/b - 4/(-24). Is f(x) a multiple of 7?
False
Suppose 76176 = -114*d + 160*d. Does 12 divide d?
True
Let y = 380 - 387. Is 2 a factor of (3 - 115/3)*(4 + y)?
True
Suppose -5*r = -3*a - 0 - 27, r + 2*a + 5 = 0. Suppose -r*f + 231 + 153 = 0. Does 8 divide f?
True
Suppose -9*y - 8 + 26 = 0. Is 6 a factor of 19 + -15 + y*7?
True
Suppose 8 = -2*d, 3*p + d + 0*d = -904. Suppose 0 = 5*c - 3*q - 335, -4*c = q + 3*q - 300. Does 16 divide (p/c)/((-1)/56)?
True
Suppose -3*j - 2*j + 10 = 0. Suppose 0 = -3*q - 15, -2*q - 490 = -x - j*x. Suppose 2*l + x = 4*l - 4*a, 331 = 4*l + 3*a. Is l a multiple of 13?
False
Let o(i) = 14*i + 13. Let b be ((-428)/(-28) + (-4)/14)/1. Suppose 0 = -4*h + 41 + b. Is o(h) a multiple of 19?
True
Suppose 4*f + 748 + 590 = 3*c, 0 = 3*c + 3*f - 1359. Is 25 a factor of c?
True
Suppose -m + 14 = j + 4*m, 30 = 5*j + 5*m. Does 7 divide 62/(-1 - (-6)/j)?
False
Let z = 6297 - 407. Is 16 a factor of z?
False
Let j be (-4)/((27/936)/(-3)). Suppose -49*k + 53*k - j = 0. Is 3 a factor of k?
False
Let j(l) = -14*l + 10*l - 11*l - 14. Suppose 77*x + 101 = -361. Is j(x) a multiple of 14?
False
Suppose 41*f - 66*f - 87318 = -36*f. Is f a multiple of 5?
False
Let z = 408 - 407. Let d(a) = 131*a**3 + 3*a**2 - 4*a + 2. Is d(z) a multiple of 8?
False
Is ((-19)/(-3))/((-85)/(-82365)) a multiple of 125?
False
Let p(w) = w**3 - 10*w**2 + 8*w - 11. Let r(u) = -u**2 + 6*u + 3. Let j be r(6). Let y(c) = -c**3 + 4*c**2 + 2*c - 4. Let b be y(j). Does 11 divide p(b)?
True
Suppose -90*c = 6*c + 40*c - 1407056. Is 29 a factor of c?
False
Let t(p) = -3*p**3 + 20*p**2 + 4*p + 63. Let w(o) = 4*o**3 - 22*o**2 - 5*o - 63. Let l(a) = -5*t(a) - 4*w(a). Is l(-13) a multiple of 5?
False
Suppose 4*j - 211 = j + u, -53 = -j - 4*u. Let w = -5 + j. Suppose 820 = 7*n + w. Does 22 divide n?
False
Let z(p) = p**3 + 9*p**2 + 14*p + 5. Let w be z(-7). Suppose -w*v + 0*v = 3*i - 147, 0 = 5*i - 3*v - 211. Does 3 divide 22/i - 85/(-2)?
False
Let s(v) = 15 + 2*v**3 - 7*v**2 + 3*v - 2*v + 4*v - v**3. Is s(6) a multiple of 9?
True
Does 17 divide (10 - (-114)/(-6)) + 4225?
True
Suppose 32*t - 410595 = -51*t - 10*t. Is 6 a factor of t?
False
Let f = 3051 - 2404. Is 82 a factor of f?
False
Suppose 0 = 3*f - 9, -f + 8737 = 5*k - 1626. Is k a multiple of 56?
True
Let x(i) = -4*i**2 + 14*i + 8. Let r be x(8). Let p = r - -137. Is 25 a fa