k + 461*k = 33260 - 7460. Is 14 a factor of k?
False
Let t be 4/10 + 374/(-10). Suppose 16*q + 820 = 26*q. Let f = q + t. Is 15 a factor of f?
True
Let z = -1610 - -8223. Does 17 divide z?
True
Suppose v - 19 = c + 524, 3*v - 1619 = 5*c. Is v even?
True
Suppose -i + 0*z = z - 64, 2*z - 188 = -3*i. Suppose 4*k = y + i, -k + 40 = 3*k + 4*y. Does 9 divide k?
False
Let t be (-8 - -2)*(-142)/6. Let w = 277 - 193. Let r = t - w. Is r a multiple of 39?
False
Let j(n) = -11*n**2 + 17*n**2 - 12*n - 11 + 0. Is j(-1) a multiple of 7?
True
Let x = -3560 - -4750. Does 10 divide x?
True
Let c(o) = 2*o**2 - 9*o - 135. Let r be 139/9 - (192/54)/8. Is 45 a factor of c(r)?
True
Suppose 152 = 4*v - 2*v. Let x = -81 + v. Let f(o) = -o**3 - 6*o**2 - 8*o - 4. Does 3 divide f(x)?
False
Let q = -49 - -54. Suppose -4*r = -6*r + q*a + 1300, -a - 2564 = -4*r. Is 32 a factor of r?
True
Is 9/4*-2255*(-48)/90 a multiple of 32?
False
Suppose -4*a = 12, -4*u - 17 = 3*a + 20. Let x(k) = -k + 191. Does 18 divide x(u)?
True
Let w be 410 + 0 + (-5)/((-50)/(-40)). Is 5 a factor of 15/(-7) + 2 - (-20358)/w?
True
Let m = 68 + -62. Let u(y) = 110*y + 2. Let v be u(6). Suppose 562 + v = m*b. Is 12 a factor of b?
True
Let q(g) = 4*g**3 + 1 - 9*g + 14*g**2 - 5*g**3 - 15 - 18. Let j be q(12). Suppose -j = -h - 34. Is h a multiple of 38?
True
Does 15 divide 1/(-2) + ((-19929)/(-26) - 6) - -5?
True
Suppose 0 = -7*w + 55651 + 19165. Is 64 a factor of w?
True
Let j = 394 - 481. Let p = j - -251. Does 16 divide p?
False
Suppose 2*r - 754 = -5*j, -2*j - 446 = -5*j + 2*r. Suppose p = 3*i - 24, -8*p + 5*i = -3*p + j. Let t = p + 48. Is t a multiple of 5?
True
Let t = -2462 + 2509. Is t a multiple of 3?
False
Does 171 divide (-57)/12*(-3 - 37)?
False
Let a(m) = -m**3 + 78*m**2 + 91*m + 173. Is 13 a factor of a(79)?
False
Suppose 0 = 6*p - 12 - 6. Suppose -2*s + j + 9 = 0, -p*s + 7 + 9 = j. Suppose 7*l - 4*l = -9, -3*l - 289 = -s*i. Is 14 a factor of i?
True
Suppose -2*r - 4 = 5*z + 12, -3*r = -6. Does 2 divide ((-9)/((-18)/z) - -3)*103?
False
Is 4 a factor of 802439/110 + (-6)/(-60)?
False
Let y = 121 + 101. Let p = -151 + y. Does 13 divide p?
False
Does 23 divide (1 + 1)*((-471665)/(-34) + 9)?
False
Let h be -3*5/3 + 9 - 3196. Let y = 4895 + h. Does 13 divide y?
True
Suppose 0 = -4*o - o. Suppose 2*m = 7*m + 3*w - 210, o = 5*m + 4*w - 205. Suppose -u - m = -6*u. Is 4 a factor of u?
False
Is 16 a factor of 50/5 + 21 + 13281?
True
Let y = 4017 - 2864. Let f = y + -572. Is f a multiple of 59?
False
Suppose -338799 = 36*g - 85*g - 73317. Is 126 a factor of g?
True
Suppose -d = 31*d - 26112. Is 48 a factor of d?
True
Let x = 12352 + -2287. Is x a multiple of 33?
True
Let q(b) = -b**2 - 16*b - 13. Let y be q(-15). Suppose 0*o + 565 = 5*c + 3*o, -y*c - 5*o = -245. Is c a multiple of 18?
False
Let u(d) = 117*d**3 - 6*d**2 + 2*d - 4. Does 19 divide u(2)?
True
Let d be ((-3)/9)/(10/(-90)). Suppose -5*t + 6*t - 860 = f, 0 = d*f - 15. Does 14 divide t?
False
Is (-1 + 7)*(170/(-15))/17 + 10858 a multiple of 134?
True
Let y be (-46)/(-4)*(0 - 4). Let a = -76 + 42. Let b = a - y. Is 12 a factor of b?
True
Let c(l) = 946*l - 983. Is 13 a factor of c(4)?
False
Let a = -28 + 30. Suppose -45 = -a*d + 7*d. Is 15 a factor of 30/d*162/(0 + -3)?
True
Suppose -6 = -2*z, z + 11486 = 3*v + 1553. Suppose -12*d - 2*b - v = -14*d, -4*d + b = -6636. Does 83 divide d?
True
Let g = 20 + 1. Let n(l) = 7 + 12 - 11 - g*l - l**2. Does 17 divide n(-18)?
False
Let g = -496 - -7798. Does 10 divide g?
False
Suppose 0 = 5*u - 323 + 3. Is (u/160)/(1*2/480) a multiple of 8?
True
Let o = -42 - -36. Is o/(-45) + (-4711)/(-105) + -3 a multiple of 17?
False
Suppose z - 84 = 20. Let b(a) = -72*a**2 - 11*a + 10. Let m be b(1). Let l = m + z. Is l a multiple of 14?
False
Is 3/(-15) + ((-8395348)/136)/((-5)/2) a multiple of 35?
False
Suppose 8*d - 30 = 2*d. Is 3 a factor of (24/(5 + 1))/(2/d)?
False
Let k = -455 - -462. Suppose -926 = -k*h + 96. Is 3 a factor of h?
False
Does 213 divide 9 + -10 + -5 + (10598 - -4)?
False
Let b(m) = 2*m**2 - 7*m - 2. Let z(g) = -g**2 + 11*g + 16. Let y be z(12). Let v be b(y). Suppose 312 = -v*x + 8*x. Does 26 divide x?
True
Let b = -118 - 176. Let a = 36 - b. Is 30 a factor of a?
True
Let j(q) = 66*q**2 + 134*q - 10. Is j(-3) a multiple of 91?
True
Let g = -158 - 35. Let t = -85 - g. Does 37 divide t?
False
Let l = 7 + -4. Let k(t) = t**3 - 17*t**2 - 12*t - 62. Let j be k(18). Suppose -j = -l*q + 95. Is 9 a factor of q?
False
Does 5 divide -4 + (-312)/(-76) + (-54516)/(-133)?
True
Does 42 divide 485/(-55) - -9 - 33256/(-44)?
True
Suppose 0 = -26*a - 10357 + 113. Let b = 1174 - 1758. Let t = a - b. Is t a multiple of 25?
False
Let x be 8/(-6)*(-33084)/48. Suppose 17*c - 5101 = -x. Is c a multiple of 82?
True
Let n(i) = 8*i**2 - 19*i. Suppose 4 = -5*v + 6*v + 3*y, -5*y - 20 = 5*v. Is n(v) a multiple of 83?
True
Let c be (-4)/6 - (-2 - (-96)/(-9)). Suppose 1710 = c*s - 2910. Is 17 a factor of s?
False
Suppose 2*g + 2*q + 10 = -0*q, -5*q - 5 = 0. Let s(l) = -l**3 - l**2 + l + 3. Let a be s(g). Let d = a + 4. Is d a multiple of 13?
False
Is 87078/46 + (-33)/(-3) a multiple of 56?
True
Let p = 16 + -12. Suppose -7*x + 2027 = -3*x + v, 3*v + 2047 = p*x. Is -4 + (x/4 - 3) a multiple of 30?
True
Let o be -2 - -24 - -2*1/(-2). Let t(q) = -q**2 + 20*q + 41. Let h be t(o). Suppose 24*s = 25*s - h. Is 5 a factor of s?
True
Let f = 5205 - 4071. Does 18 divide f?
True
Let b be (-2)/39*-3 - (-126378)/221. Let s = b - 371. Is 12 a factor of s?
False
Let b be (84/(-70))/((-3)/10). Suppose 4 = b*i + 16, -3*s = -5*i - 207. Does 6 divide s?
False
Suppose 336*h = 317*h + 4161. Is 3 a factor of h?
True
Does 12 divide 26565/99*18 + 12/(-2)?
True
Suppose 4*p + 38*p - 147978 = 135186. Is p a multiple of 18?
False
Let b(y) = -y**2 - 22*y + 32. Let d be b(-23). Let w = 11 - d. Suppose -w*f - 2 + 26 = 0. Does 6 divide f?
True
Let v(y) = 2*y + 14. Let m be v(-5). Let d be m*(4/(-8) + 3). Is 4/(16/(-10))*(-36)/d a multiple of 9?
True
Let k = 9276 - 22171. Is k/(-15) - 10/(-30) a multiple of 86?
True
Suppose -20 = 18*f - 22*f. Suppose 0 = 11*s - f*s. Suppose -113 = -2*b - 2*k - 31, s = -b - 3*k + 35. Does 11 divide b?
True
Let l(y) = 5*y. Let k be l(0). Suppose -b - 2*b + 3*v - 3 = 0, -4*b - v + 6 = k. Let z(i) = 64*i**3 - i**2 - i. Is z(b) a multiple of 8?
False
Let w(s) be the first derivative of 4*s**3/3 - 15*s**2/2 + 21*s + 111. Is 13 a factor of w(11)?
False
Suppose 18 = -4*m + 5*b, -3*b = -4*m - 0*b - 14. Let s be (18/45)/(m/(-10)). Suppose s*l - 82 = -24. Is l a multiple of 8?
False
Let o(d) = -2*d + 14. Let i(l) = -2*l - 23. Let b be i(-15). Let n be o(b). Suppose -y + 12*y - 363 = n. Does 8 divide y?
False
Let o(q) = -5*q**3 - 43*q**2 - 9*q - 122. Let y(p) = p**3 - p**2 + p + 1. Let g(d) = o(d) + 4*y(d). Is g(-47) a multiple of 20?
False
Let f(b) = b**2 + 336. Is 12 a factor of f(-18)?
True
Let c(a) = 4*a**2 - 2*a - 3. Let v be c(8). Let x = v - 168. Let u = 125 - x. Is 14 a factor of u?
True
Let b = -54 - -59. Suppose 0 = -3*s - 4*p + 728, -b = 2*p + 3*p. Does 14 divide s?
False
Let m(a) = a**3 + 24*a**2 - 18*a - 211. Is 18 a factor of m(-16)?
False
Let t be (3/2)/(1/2). Suppose 5*u + 11 = t*u + 5*g, 0 = -u - 3*g + 11. Suppose 302 = 4*z - u. Is 38 a factor of z?
True
Let i(a) = 249*a**2 - 295*a + 893. Is i(3) a multiple of 5?
False
Let n = -260 + 484. Let k(d) = -3*d - 6. Let a be k(-4). Suppose 0 = -a*s - s + n. Is s a multiple of 3?
False
Let m be -16 - -14 - (-4)/1. Suppose -10 = -m*a, a = -4*g + 2*g + 897. Is g a multiple of 18?
False
Suppose -5*g - 4*w = 22684, -54*w = -4*g - 51*w - 18172. Let l = -2587 - g. Is 20 a factor of l?
False
Is ((-6277)/2)/((-6)/(-588)*-7) a multiple of 19?
False
Suppose -5*b + j = -8, -b + 9 = 4*j - 1. Suppose 6*r - b*r = 20. Suppose 4*z - 142 = 2*o, r*o - 4 - 4 = -z. Is 11 a factor of z?
True
Let j = -7696 - -11763. Is 49 a factor of j?
True
Suppose -b + 5*b + 332 = 2*u, 5*b = -4*u + 638. Let c be (-26)/(-14) + (-29)/(-203). Suppose u = c*g + g. Is 18 a factor of g?
True
Suppose t = -3*b + 8*b + 20, -b = -3*t + 4. Suppose t = 2*s + l - 295, 14*s - 15*s + 151 = 4*l. Is 15 a factor of s?
False
Let n be (-9)/(-6) - 3/(-6). Suppose -12 = -n*i - 6. Is 12 a factor of 0 - (i - (-195)/(-5))?
True
Let p