k. Does 7 divide u?
True
Let d = -21059 - -44466. Is d a multiple of 6?
False
Does 11 divide (-2)/6 - 17580362/(-717)?
True
Let o(k) = -91*k - 113. Let y be o(-5). Let z = y + -94. Does 62 divide z?
True
Suppose -2*y = y - 42076 + 13885. Does 21 divide y?
False
Let u = 2 - 0. Let z be u/(-15) - (-1697)/15. Suppose -40 = s - z. Does 16 divide s?
False
Suppose -33168 + 3179 = -58*x + 21747. Is x even?
True
Let s(u) = -549*u + 12. Let k be s(1). Let p = k - -891. Does 41 divide p?
False
Let l(z) = 1479*z - 261. Is 29 a factor of l(1)?
True
Let r be 5 + (-196)/35 + 6814/(-10). Let m = -363 - r. Is m a multiple of 10?
False
Let o(w) = -46*w + 688. Is 9 a factor of o(-5)?
True
Suppose -5*t = -7*t - 176. Let w = 92 + t. Suppose 2*r + 5*l = 6*r - 147, -w*l - 177 = -5*r. Is 33 a factor of r?
True
Suppose 4*i = 2*g + 149480, -229*g - 37376 = -i - 227*g. Is i a multiple of 296?
False
Let p be (-5628)/105*10/(-4). Suppose -3*s + 9 = -0*s, 2*s = -5*w - p. Let h = w - -74. Is 17 a factor of h?
False
Let z(h) = -h**3 - 2*h**2 - 6*h - 9. Let l be z(-3). Let c = 234 + l. Does 9 divide c?
True
Let w = 73 - 71. Suppose w*z + k + 26 = 0, -3*z - 2*z = -2*k + 83. Is 220/z*(14/(-4) - -2) a multiple of 22?
True
Let r(w) = -20*w - 65. Let f be r(0). Suppose 3*y - 81 = 4*y. Let s = f - y. Does 8 divide s?
True
Suppose -189*p - 5176 = -193*p. Let l = p + -673. Is 37 a factor of l?
False
Does 12 divide 37309 - 32*(-25)/(-200)?
False
Let o(f) be the third derivative of f**6/120 + 4*f**5/15 + f**4/3 + 4*f**3 + 57*f**2. Is 43 a factor of o(-15)?
True
Let v(w) = w**2 + 5*w + 11. Let z be v(-3). Let m be 7/(-3)*(-150)/z. Suppose -a + 0*a - 2*x + m = 0, 3*x - 195 = -3*a. Does 12 divide a?
True
Does 15 divide 750/(-200)*1076/6*-2?
False
Let v be (2 - (-85)/10) + 1/2. Suppose -b + 4*j - 2*j + v = 0, 2*b = -j + 7. Suppose -b*c + 746 = 2*s, 0 = 5*s - 4 - 11. Is 37 a factor of c?
True
Suppose 4*x + 1798734 = 211*x + 132*x. Is x a multiple of 42?
False
Suppose 126 = 21*d - 14*d. Let q(v) = 41*v - 83. Is q(d) a multiple of 23?
False
Let n(x) = 2*x**2 - 23*x - 37. Let g be n(13). Let l(m) = m**3 + m**2 - 1. Let q(a) = 14*a**3 + 6*a**2 - a - 4. Let i(w) = -5*l(w) + q(w). Does 5 divide i(g)?
True
Let n(l) = -l**3 + 4*l**2 - 2*l - 3. Let t be n(3). Let q(x) = -x**2 + 3*x + 280. Is q(t) a multiple of 20?
True
Suppose 4*k - 12 - 4 = 0. Suppose -5*o + 4*z = 3*z - 28, 0 = -5*o + k*z + 37. Suppose -5*q = -0 + o, 0 = -4*w - 4*q + 72. Is 16 a factor of w?
False
Let h = 26 + -86. Let d = 57 + h. Is 40 a factor of ((-4)/d)/((-68)/(-51)) + 159?
True
Suppose 505*c + 5426 = 506*c - 2*h, 0 = c - 5*h - 5411. Is 12 a factor of c?
True
Let v = -8183 + 3362. Let r be (v/12)/(-1) - 6/(-24). Suppose 2*t - r + 52 = 0. Is 24 a factor of t?
False
Suppose -3*u - 4*f + 6*f + 4 = 0, -3*f = 5*u - 13. Suppose 3*a + 6 + 6 = 3*n, a = u*n - 7. Suppose 0 = 4*k - n*t - 16, 0 = 3*k - t + 3*t - 29. Does 4 divide k?
False
Suppose -3*c + 7 = 5*r - 2, 12 = 4*c + 4*r. Suppose -c*z = 2*u - 54 - 120, -z + 75 = -5*u. Does 6 divide z?
True
Suppose 0 = 2*j + 62 - 14. Is 12 a factor of (-1 + 1 + -99)/(9/j)?
True
Let o(a) be the third derivative of a**6/120 - a**5/10 + 19*a**3/3 + 70*a**2. Is 39 a factor of o(12)?
False
Suppose -499 = 21*j - 2998. Suppose j*t - 129*t = -3080. Does 22 divide t?
True
Let o = 61 + -61. Suppose 4*x + 26 - 206 = o. Is 5 a factor of x/30*3/(18/140)?
True
Suppose -22*z - 57428 + 149300 = 0. Does 9 divide z?
True
Let w = 4197 + 13003. Suppose -w + 3550 = -21*t. Does 26 divide t?
True
Suppose -4*r - 8 = 0, 5*f = f + 2*r - 60. Is (90 + 2)*(-20)/f a multiple of 16?
False
Let p(q) = -q**3 - 98*q**2 - 97*q - 146. Does 30 divide p(-98)?
True
Suppose -10*o - v = -28800, -3*v - 8640 = -5*o + 2*o. Does 15 divide o?
True
Let d = 62 + 5617. Is d a multiple of 27?
False
Let u(i) = -22*i - 35. Let o be u(16). Is (-21199)/o + (-4)/(-18) a multiple of 55?
True
Let a(y) = -y**2 - 8*y + 12. Let m be a(-9). Suppose -3*c = -m*q - 12, -c = -2*c - 3*q - 4. Suppose c*g - 235 = -3*g. Is g a multiple of 4?
False
Let q(z) = -1780*z + 213. Is 7 a factor of q(-2)?
True
Let w(u) = 116*u**2 + 53*u - 237. Does 61 divide w(5)?
True
Let a = 9889 + 25043. Does 213 divide a?
True
Let k(y) be the third derivative of 13*y**4/24 + 39*y**3 - 2*y**2 - 38. Does 48 divide k(30)?
True
Suppose 0 = -30*j + 35*j. Let r(x) = x - 2. Let l(i) = -12*i + 44. Let t(w) = 2*l(w) + 20*r(w). Does 24 divide t(j)?
True
Suppose -2*z - 4*m + 8 = 0, -3*m = -0*z + 4*z - 16. Suppose 18*k - 7436 = -z*k. Is k a multiple of 12?
False
Let q be ((-27)/(-36))/(1/4). Suppose -d + h = -11, -q*d + 19 = 2*h + 1. Suppose d*w - 261 = 699. Does 24 divide w?
True
Let q be ((-2769)/52)/(2*3/(-16)). Suppose u - 223 = 3*h + q, 2*u - 732 = 5*h. Is u a multiple of 10?
False
Suppose -236608 = -31*m + 195956 - 109017. Is m a multiple of 71?
True
Let p(n) be the second derivative of n**4/12 - 2*n**3/3 - 11*n**2 + 2*n. Let q be p(7). Is 3 a factor of (-92)/(15/(-10) + q/2)?
False
Let j(x) = 26*x**2 - 59*x - 62. Does 10 divide j(-4)?
True
Suppose 16*u - 299 = 15*u. Suppose -u*c = -300*c + 213. Is 5 a factor of c?
False
Suppose -1688 = 5*m - 3*s, s = -5*m - 4*s - 1680. Let a = 239 + m. Let f = a + 168. Does 13 divide f?
False
Let d(h) = -h**3 - 11*h**2 + 11*h - 10. Let z be d(-12). Suppose z*v + 0 + 38 = 0. Let j(m) = m**2 + 18*m + 27. Does 46 divide j(v)?
True
Suppose -2*d + 76*g - 72*g + 16040 = 0, 4*d - g = 32045. Does 63 divide d?
False
Let s = 3708 + -275. Is 5 a factor of s?
False
Let s(r) = 14*r + 5*r + 15*r - 32*r - 74 + r**2. Is s(19) a multiple of 25?
True
Let b(c) = 328*c**3 + 3*c**2 - 5*c + 3. Let h be b(1). Suppose -39 = -8*w + h. Does 46 divide w?
True
Suppose -4*q = f + 1 + 2, 0 = -4*f - 12. Suppose -5*x + x + 848 = q. Is x a multiple of 8?
False
Let r(w) = 12*w**2 - 5*w + 21. Let b be 30/75 - 46/(-10). Is r(b) a multiple of 8?
True
Suppose 764*o = 784*o - 10000. Is 11 a factor of o?
False
Suppose 10*g + 2 = 8*g. Let n(l) = -30*l**2 - 2*l - 2. Let o be n(g). Let t = o - -50. Is t a multiple of 5?
True
Let o be -1 - (-21)/27 - (-25563)/(-27). Let q be 114/(-152) - (0 - o/(-4)). Suppose -2*z + q = 40. Is z a multiple of 20?
False
Let a(x) be the third derivative of -x**6/120 + x**5/12 + x**4/8 - x**3/2 - 5*x**2 + 17*x. Let y = 15 - 10. Does 6 divide a(y)?
True
Let y = 3 - -104. Let x be 888/(-34) - 4/(-34). Let z = y + x. Is z a multiple of 9?
True
Suppose -5 = -3*y + 1. Suppose -2*w - 3 = -w, y*c - 5*w = 845. Is c a multiple of 31?
False
Suppose 9*x + 20*x - 210086 + 13814 = 0. Does 18 divide x?
True
Is (-13 + 1990/30)*225 a multiple of 50?
True
Suppose 0 = l + 5*c - 419, -l - c = -5*l + 1613. Suppose -426 + l = -g. Does 2 divide g?
True
Is 14624 + ((-65)/13 - -11) a multiple of 133?
True
Let l(p) = 94 - 3*p + 4*p - 5*p + p. Does 6 divide l(27)?
False
Let y(o) = o**2 - 9*o - 39. Let t be y(-3). Is 5 + 166 - (-21)/t a multiple of 27?
False
Suppose 4*s + 8 = 0, 8*n - 6*n = 3*s - 38. Is (n + 1011)*(0 + 2) a multiple of 23?
True
Suppose -4*m - 20 = 0, 0 = 2*n - 5*m + m - 24. Suppose -5*k - 4*u = -14 + 1, n*k - 4*u = 22. Suppose -158 = -k*y + 32. Is y a multiple of 8?
False
Suppose 4*n - 8*n = -2*x + 52, -5*n = 3*x - 45. Let r = 49 - x. Suppose -q + r = -9. Is q a multiple of 23?
False
Suppose 0 = -1506*d + 1517*d - 57761. Is d a multiple of 11?
False
Let k = 396 + -373. Suppose -z + 346 = -k. Is 17 a factor of z?
False
Let q be (-20)/(-5) + -6 - -10. Suppose -3*t - 300 = -q*t. Suppose -r + t = 5*h - 5, 4*r - 4*h = 236. Is r a multiple of 10?
True
Suppose 3*u - 4*f + f = 204, -5*u = 2*f - 312. Does 22 divide u + -1 + 4 + 1?
False
Let c(k) = 2*k + 89. Let p be c(-42). Suppose 0 = -4*d - 4*s + 4164, -p*s = -2*d - 0*s + 2110. Is d a multiple of 11?
True
Let k be ((-18)/36)/((-1)/54). Let n = k - -99. Suppose 0*w - 2*w + n = 0. Does 13 divide w?
False
Let w be ((-36)/8 + 3)/((-9)/456). Suppose 0 = 3*m + 5*j - 26, -m = 4*j + j - 22. Let v = w + m. Is 13 a factor of v?
True
Is 4 a factor of ((-50)/(-225))/((-12)/(-8154)*1/2)?
False
Let h(j) = 274 + j**3 - 3*j + 2*j**2 - 3*j**2 - 269. Let y be h(3). Let t = 13 + y. Is t a multiple of 9?
True
Let q(z) = 39*z**3 - 19*z**2 + 74*z - 401. Is q(5) a multiple of 16?
False
Let d = 2676 - -3922. Is 27 a factor of d?
False
Suppose -5*c - 4*t + 