t n be k(c). Suppose 2*b = 179 - n. Does 31 divide b?
False
Let t(h) = -1460*h - 360. Is t(-23) a multiple of 10?
True
Let y(s) = 9*s**2 - 27*s + 173. Does 2 divide y(14)?
False
Suppose -2*g - 4*k + 526 = 0, -5*g - 7*k = -2*k - 1325. Suppose g = z + 39. Does 38 divide z?
True
Let m(f) = 909 - 910 + 13*f + 49*f. Let z(k) = k + 1. Let j(x) = m(x) + 2*z(x). Does 17 divide j(5)?
False
Let m be (-10239)/12 - ((-35)/20)/7. Let c = m + 1303. Is 25 a factor of c?
True
Let a(w) = 19*w - 2. Let x be a(5). Suppose 72*i - 74*i + 2*k = 110, 0 = 3*i - 4*k + 164. Let p = x + i. Does 23 divide p?
False
Let s(p) = p**3 + 22*p**2 + 19*p + 16. Let u be s(-21). Let c = 14 - -37. Let h = u - c. Does 2 divide h?
False
Let c = 1468 + -1083. Is c a multiple of 2?
False
Suppose 92*m = -62*m + 85692 + 101726. Is 159 a factor of m?
False
Suppose 27*c = 1315 + 11591. Suppose -10*y + 2388 - c = 0. Is 20 a factor of y?
False
Let p = -20 + 25. Let b be 57/(-18) + p + 1/6. Suppose -40 = -b*h - 2*w, 4*h - w - 3*w = 88. Is h a multiple of 15?
False
Suppose -a - 34 - 37 = -2*o, -3*o + 3*a + 114 = 0. Suppose 5411 + 4951 = o*u. Is u a multiple of 23?
False
Let o(i) = -i**2 - 30*i + 69. Let j be o(-32). Suppose 5*h - 885 = -j*r, 9*r - 5*r - 693 = -h. Is r a multiple of 7?
False
Let m = -375 - -1143. Suppose 18*q = -6*q + m. Is q a multiple of 16?
True
Let g(t) = 270*t + 2018. Is 68 a factor of g(23)?
True
Let h(o) = 20*o**2 + 123 - 55 - 62 + 4*o. Let z be h(-2). Let q = z - 68. Is q a multiple of 5?
True
Suppose -454217 = -8*x + 77695. Does 37 divide x?
True
Let c(s) = 4*s**2 - 12*s + 2. Let b be c(7). Let t be 96/18*1/(4/b). Let l = t - 100. Does 17 divide l?
False
Let t be 11*40/990 + (-712)/(-18). Suppose 0 = t*s - 42*s + 2916. Does 54 divide s?
True
Let m(o) = o**3 + 13*o**2 + 10*o - 1. Let f be m(-1). Does 11 divide f/((-6)/((-5724)/1914) - 2)?
False
Is 3*(-35)/7 - -28747 a multiple of 44?
True
Let o = -14389 + 18351. Does 7 divide o?
True
Let b = 16 - 30. Suppose 5*h - 2*f = -333 + 35, h = -4*f - 64. Let s = b - h. Does 5 divide s?
False
Let k(y) = -12 - 87 - 2*y - 4*y**2 + y**2 + 4*y**2. Let a be k(0). Let o = a + 218. Does 15 divide o?
False
Let s = -9768 + 14069. Is s a multiple of 36?
False
Suppose -3*x = 2*w - 4252, 16*x + 2123 = w + 17*x. Is w a multiple of 73?
True
Suppose b = -l + 2336, 419 = 11*l - 4*b - 25382. Is l a multiple of 3?
True
Suppose 5171 = 4*d - d - 235. Is 20 a factor of d?
False
Suppose -3*s = -5*s. Let r be ((s - -3) + -2)*2. Suppose -23 = -r*h - u + 72, -5*h + 270 = -4*u. Does 12 divide h?
False
Suppose -123*m = -113*m + 3370. Let b = 1009 + m. Does 16 divide b?
True
Suppose -54*u + 65*u - 75372 = 0. Is u a multiple of 23?
False
Suppose -12 = 2*i - 4*s - 240, 4*s + 436 = 4*i. Suppose -100*d = -i*d + 176. Is 11 a factor of d?
True
Suppose 41*c - 118 + 36 = 0. Let t be ((-38)/1)/(2/2). Is 14 - t - 6/c a multiple of 3?
False
Let x(i) = -3 + 4*i**2 - 1127*i + 1125*i + 87*i**3 + 1. Let o be x(2). Let r = -466 + o. Is r a multiple of 24?
True
Suppose -341 - 1574 = -w - 5*a, 3842 = 2*w - 2*a. Is 36 a factor of w?
False
Let o be 1460/25 - (-6)/(-15). Let k = o - 54. Is 1 + 37/2*(2 + k) a multiple of 10?
False
Suppose 0 = 148*h - 509314 - 203898. Does 142 divide h?
False
Suppose 185*f + 4840560 = 401*f. Is f a multiple of 54?
True
Let d(m) = 4758*m**2 + 12*m - 18. Let z be d(3). Is 79 a factor of z/45 + -4*(3 - 2)?
True
Is 40 a factor of 5/((-40)/(-13724)) + 4 - 9/(-18)?
True
Suppose 24019 - 56196 = -16*w + 41919. Is 28 a factor of w?
False
Suppose -42 = 47*x - 54*x. Suppose 4*w = -9*g + x*g + 1431, -2*w = 0. Is g a multiple of 21?
False
Suppose 3*f + 177 = 2*f - 2*c, 4*f + 658 = 2*c. Let a = f - -230. Is 8 a factor of a?
False
Suppose 0 = -5*k + 5*h + 158 + 107, 0 = -3*k + 4*h + 157. Suppose 4*l = -4, 5*p = l - k - 244. Is 7 a factor of (p/8)/((-3)/18)?
False
Let s = 330 + -296. Is 20/170 - (-18016)/s a multiple of 53?
True
Suppose -4*i = 4, i - 88 = -5*n - 224. Let s be 12/(-72) + (-13)/(-6). Is (-16)/20 - (n/15 - s) a multiple of 2?
False
Suppose -83*h + 88*h = 5855. Does 140 divide h?
False
Let z(x) = 6*x**2. Let v be z(1). Let b be (-401)/3 + -2*(-2)/v. Let m = b + 221. Is 11 a factor of m?
True
Let l = -496 + 562. Let q = l + 61. Is q a multiple of 2?
False
Let u = -22227 + 23185. Is 86 a factor of u?
False
Let f = 100 - 54. Is 12 a factor of f - (3/(-12) + 65/20)?
False
Let y = 34335 - 20793. Does 111 divide y?
True
Suppose -3*r - 54 = -5*r. Is (4/3)/(6/r) - -2 a multiple of 5?
False
Let j be 1/((-155012)/25836 - -6). Suppose -p = -4*k + j, -k + 8*p + 143 = -1464. Does 17 divide k?
True
Let z = 8405 + -4998. Does 32 divide z?
False
Let i(v) = 20*v - 48. Let y be i(25). Let r = y + 16. Is r a multiple of 13?
True
Let y = -32 - -34. Suppose -4*a + 2 = -5*s + 21, -y*s = 5*a - 1. Suppose 4*i + 16 = 0, 6*w - i - 217 = s*w. Does 16 divide w?
False
Let t = -7305 - -12064. Is t a multiple of 29?
False
Let s be 14/(-147)*9*-7. Does 5 divide 175 + (s + -7)/((-1)/(-4))?
False
Suppose 79 + 971 = 2*t. Suppose 0 = -3*d - t + 1497. Suppose -d = -7*l - 72. Is 12 a factor of l?
True
Suppose -6*r = -198 - 108. Suppose z - 5*u - r = -u, 2*z - 4*u = 82. Is 4 a factor of z?
False
Suppose 0 = 16*h - 54780 + 3612. Does 35 divide h?
False
Suppose 0 = 3*b - b - 6. Let u be (-20)/4 - (-381)/b. Let s = u + -86. Is s a multiple of 4?
True
Let d(x) = -x**3 - 38*x**2 + 37*x - 64. Does 44 divide d(-40)?
False
Is 9/(135/40)*(-5)/((-20)/12708) a multiple of 9?
False
Let y be 0 - 8/(32/(-28)). Let v(f) = 0*f**2 - f + 2*f**2 + 4*f - 1 + f. Does 14 divide v(y)?
False
Let i = -227 - -509. Let y = -130 + i. Is y a multiple of 12?
False
Suppose 2*j - 2726 = 298. Is j a multiple of 28?
True
Let m = -279 - -282. Suppose 5*s + m*q - 789 = 0, -4*q + 7*q = -4*s + 633. Does 3 divide s?
True
Let i(v) = v**3 - 15*v**2 + 16*v - 20. Let w be i(14). Suppose -w*m = -15*m + 175. Is 15 a factor of 2/5 + (3285/m)/9?
True
Let g(s) = 5*s**3 - s**2 + 13*s - 68. Let q(t) = -14*t**3 + 4*t**2 - 40*t + 204. Let m(r) = 11*g(r) + 4*q(r). Is 8 a factor of m(4)?
True
Let g(o) = 12*o**2 + 4*o + 3. Let b be g(-5). Let k = 767 - b. Is k a multiple of 22?
True
Let h be 2/(-1)*3/(-2). Let t be (-5 - (h - 8))/(-1). Suppose -5 + 30 = 5*d, t = -4*j - d + 197. Is 10 a factor of j?
False
Let j(l) = 528*l**3 + 3*l**2 + 3*l + 4. Is j(2) a multiple of 22?
True
Suppose 7*f + 8 = 11*f. Suppose -m - 20 + 5 = -4*r, 0 = -f*m - r - 66. Let i = -18 - m. Is 13 a factor of i?
True
Suppose 550*z + 9272692 = 28307092. Is 84 a factor of z?
True
Is 7 a factor of 111514/18 + (106/(-2862))/((-2)/(-12))?
True
Let y(o) = 312*o**2 + 22*o - 105. Is 35 a factor of y(5)?
True
Let w = -114 - -120. Let u = w - -49. Is 10 a factor of u?
False
Suppose 6*u - 2*u + d = 21, 0 = -5*u + 2*d + 10. Suppose u*y - 370 = -5*g + 535, -3*y + 705 = -5*g. Does 46 divide y?
True
Suppose -3*i = 3*w + 218 - 3242, -5044 = -5*i - 3*w. Is i a multiple of 5?
True
Let k(z) = z**3 - z**2 + 3*z - 1. Let y be (-5)/3*(-3)/1. Suppose 4*h - h - y*c - 1 = 0, -4*h = -3*c - 5. Does 3 divide k(h)?
True
Suppose -2*f - 3*v = 2 - 0, 12 = -f + 4*v. Let z be f/(-2) - 576/(-12). Suppose p - 4*y = 80, -z - 30 = -p + y. Is 19 a factor of p?
False
Let o(x) = -3 + 28*x - 1 + x**2 - 17*x. Let j be o(-5). Let f = 50 - j. Is f a multiple of 21?
True
Suppose -26*s + 37*s = 0. Is ((-6)/(-4))/(123/16072) + s a multiple of 4?
True
Suppose 10*n + 40 = 18*n. Suppose 7*p + 527 = 3*w + 3*p, 5*p = n. Is w a multiple of 9?
False
Suppose 549256 = 255*x - 184*x. Does 29 divide x?
False
Let n be (0 - 136/(-36)) + (-2)/(-9). Suppose 2*i = -n, -3*s + 2*i - 37 = 4*i. Does 27 divide 45/(-2)*(s/5 - -1)?
True
Suppose -37*z + 242123 + 85211 = -341515. Does 13 divide z?
False
Let q = 10210 + 4478. Is q a multiple of 32?
True
Let x be 1*(12/(-18) - (-50)/3). Suppose -x*j + 2662 = -5*j. Suppose m + 135 = 4*m - 4*g, g + j = 5*m. Does 5 divide m?
False
Let f(c) = 1452*c + 1062. Is 21 a factor of f(3)?
True
Let p(g) = 988*g - 10104. Is 136 a factor of p(20)?
True
Suppose 18 = -5*h + 14*h. Suppose -h*n + 395 = -2*q - 1213, -2*n + 1596 = q. Does 62 divide n?
False
Let x(g) = -g**3 - 10*g**2 - 13*g - 30. Let y be x(-9). Let u(r) = 13 + 10 + 4*r - y*r. Is u(0) a multiple of 23?
True
Suppose 2*j = -15*j + 5*j. Suppose -25