 (240/(-3 + 6))/(11/176) a multiple of 64?
True
Let a = 1144 - 273. Let m = -591 + a. Is m a multiple of 7?
True
Let d = 6769 - 2299. Does 32 divide d?
False
Let x = -241 - -371. Let u be 4*((-125)/(-52) + (-20)/x). Suppose 49 - u = p. Does 10 divide p?
True
Does 4 divide (-53914)/(-30) - (-4)/(-36)*(-192)/(-160)?
False
Suppose 0*g + 2*g + 3*w + 2 = 0, -3*w = g + 7. Suppose -g*n - 3 = 2*x + 306, 5*n - x + 303 = 0. Let y = n + 198. Is 24 a factor of y?
False
Let s(a) = a**2 + 8*a - 16. Let k be s(-10). Let v be k + 4/(3 - 1). Suppose -390 = -v*x - 0*x. Does 7 divide x?
False
Suppose -3*r + 60 = 45, 7885 = -4*n - 3*r. Let y = 3155 + n. Does 10 divide y?
True
Let w(p) = p**2 - 3*p - 32. Let b be w(7). Does 7 divide (-2 - 1932/(-10)) + b/20?
False
Suppose 215 = 33*z + 50. Suppose 13*h + z*h - 756 = 0. Is 13 a factor of h?
False
Let n = 110964 + -51576. Is 28 a factor of n?
True
Let n(j) = -j**3 + 9*j**2 + 9*j + 15. Let c be n(10). Suppose -3*l = -15, c*o - l + 8 = 363. Is o a multiple of 57?
False
Suppose 0 = 5*z + 2*f - 32, -3*z - 3*f = z - 20. Suppose z*n - 5*n - 369 = 0. Is n a multiple of 7?
False
Let u(s) = -5*s**2 - 3*s + 46. Let i(k) = 6*k**2 + 3*k - 47. Let v(h) = 4*i(h) + 5*u(h). Suppose 2*n = -2*n. Is 14 a factor of v(n)?
True
Let z = 2108 + -316. Let p = -998 + z. Is 6 a factor of p?
False
Let d(l) = 750*l - 246. Let g(j) = 149*j - 49. Let n(s) = -4*d(s) + 22*g(s). Is n(6) a multiple of 23?
False
Let s(t) = 13 + 31*t + 104 - 3 + 331 - 3*t. Does 20 divide s(0)?
False
Suppose -4*v - 8 = -3*v. Let o(w) = w**3 + 9*w**2 + 5*w - 24. Let f be o(v). Suppose 4*p = 0, -3*z - p + 20 + 178 = f. Is 11 a factor of z?
True
Suppose -5*a + 33 = -v, 7*v + 36 = 4*a + 3*v. Let z be 2/12 - (-1313)/a. Suppose -o + 434 = o + 2*x, o + 3*x - z = 0. Is 28 a factor of o?
False
Let l(x) = -7*x - 6. Let z be l(-2). Suppose 0 = t + s - 6, z*s = 3*s + 25. Is 6/(-3)*t - -182 a multiple of 45?
True
Let t = -86 - -77. Let v(g) = -93*g + 138. Is 25 a factor of v(t)?
True
Suppose -132 + 447 = -3*l - 5*q, 5*l = q - 553. Let c = l + 232. Is 13 a factor of (-3)/(12/20) + c?
True
Let v(m) = 11*m + 143. Let z = 170 - 145. Is v(z) a multiple of 54?
False
Let k(u) = 72*u**2 - 65*u + 252. Does 35 divide k(7)?
True
Let l be (-21)/(-15) + (-2)/((-30)/9). Suppose -2*w + 5*r = -6*w - 244, -r - 122 = l*w. Let t = 114 + w. Does 13 divide t?
False
Suppose 3*s - 15 = -2*b + 11, 2*s - 11 = 5*b. Is ((-10)/s)/(5 - 243/48) a multiple of 20?
True
Let y(q) = -q**2 + 9*q + 53. Let f be y(-4). Does 6 divide (f/2)/((-58)/(-6264))?
True
Let h be (1 - -955)*(-497)/(-284). Suppose 68*m + 2*y = 73*m - 8383, 4*y = m - h. Is 13 a factor of m?
True
Is 3 a factor of (-29661)/(-21) - ((-1770)/(-210) + (-13 - -4))?
True
Suppose -120 = -b + 5*q, -24*q - 1 = -25*q. Is 17 a factor of b?
False
Let q = -78 - -95. Let u = q + -17. Suppose 4*h + h - 46 = -4*f, u = -3*h - f + 22. Is 3 a factor of h?
True
Does 5 divide 1138560/56 + 1 + (-110)/77?
False
Let z(i) = -81*i**3 - 8*i**2 + 7*i - 10. Is 8 a factor of z(-5)?
True
Suppose 98 = -28*v + 35*v. Let n(b) = -b**2 + 59*b - 60. Is n(v) a multiple of 30?
True
Let u(v) be the second derivative of -v**4/12 - 3*v**3/2 + 18*v**2 + 5*v. Let a be u(-12). Suppose 0 = -a*m + 2*m - 86. Is m a multiple of 3?
False
Does 45 divide ((-6992)/276)/(5/(-420))?
False
Suppose -3*a = 12, 4*c = -c + 3*a - 48. Let n be (32/c)/(4/(-6)). Does 2 divide 7 + (n - (2 - 0))?
False
Does 5 divide 91/(-56) - -2 - (-114780)/96?
False
Let l = -9312 + 23825. Does 48 divide l?
False
Suppose 8*j + 40 = 3*j. Let f be 2/j + (4 - (-44)/(-16)). Let n(y) = 104*y + 1. Is n(f) a multiple of 10?
False
Let a(n) = -n**3 + n**2 - 3*n + 10. Let w be a(2). Is 54 a factor of (-27)/(-6)*(-5 + w + 269)?
True
Suppose -163*g = r - 159*g - 11672, -r + 2*g + 11666 = 0. Is 13 a factor of r?
False
Suppose 802 = 1522*g - 1520*g. Suppose -2*y = -4 - 4. Suppose y*c = g + 223. Is 9 a factor of c?
False
Let z(y) = 35*y - 14 - 17 - 79*y - 63*y. Is z(-7) a multiple of 18?
False
Let z = -5121 + 7935. Suppose -z + 9294 = 24*b. Does 10 divide b?
True
Let n(k) = 14*k - 3. Let f(d) = 19*d - 59. Let r be f(4). Does 22 divide n(r)?
False
Suppose l + q = -14 - 5, -5*l - 60 = -2*q. Let i(t) = -39*t + 147. Is i(l) a multiple of 11?
True
Suppose -2*s - 2138 = -2*p - 3*s, 4*p = 3*s + 4286. Does 9 divide p?
False
Suppose 6*o - 51438 = -6*l + 7*o, 17162 = 2*l - 3*o. Does 58 divide l?
False
Let c(x) = 17*x**3 + 2*x**2 - 4*x + 1. Let f be c(5). Is f/3 + 33/(-9) + 4 a multiple of 34?
False
Let r be 6/(-15)*(4 + 6*16). Is 5 a factor of (-4)/(-10) - 6984/r?
True
Let i = -4405 - -8755. Does 29 divide i?
True
Let y be 4946/6 - 16/48. Suppose y = 15*c - 646. Is c a multiple of 4?
False
Suppose 0 = -5*o + 7895 - 965. Suppose -o + 106 = -4*j. Does 32 divide j?
True
Let h be ((-156)/48 - 2/(-8)) + 292. Suppose -5*u + b = 283, -5*u - 3*b + h = -10*u. Is u/(-5)*60/24 a multiple of 17?
False
Is 33 a factor of (4 + -7)*(11/1 - 10549)?
True
Suppose 150006 - 1135544 = -83*k + 128820. Does 98 divide k?
True
Let k(w) = 3*w**2 + 4*w + 12. Let i be k(-6). Does 12 divide (-2 - (-448)/(-6))*i/(-40)?
False
Let q = 410 - 413. Is 10 a factor of (-1267)/(-7) - (-2 - q)?
True
Suppose 0 = 2*b - 2*a + 34, -2*a - 10 = 3*a. Let y = b + 24. Suppose 0 = 4*l + 5*m - 31 - 318, 3*m = y*l - 464. Is 11 a factor of l?
False
Let w = -170 - -168. Let v(u) = -u**3 - 6*u**2 - 6*u + 2. Let s be v(-6). Is (20 - w)*(s/4 - 5) a multiple of 9?
True
Let b(h) = 209*h + 1616. Is 30 a factor of b(-4)?
True
Suppose 553297 - 104754 + 455173 = 209*v. Does 23 divide v?
True
Let m be (56/(-16)*(-8)/(-14))/(-1). Let x(h) = -h**3 + 14*h**2 + h - 12. Let i be x(14). Suppose 5*s + 3*p = 85, -m*s + i*p + 45 = p. Is s a multiple of 3?
False
Let v = 119 - 102. Suppose 0 = v*c + 69 - 1769. Is 50 a factor of c?
True
Let a(i) = -17 + 33 + 56*i + 107 - 13*i. Is a(17) a multiple of 27?
False
Suppose -25*j - 7942 = -2*c - 23*j, 10 = -5*j. Is c a multiple of 7?
True
Suppose 2*o - 4708 = -4*u, u - 8 + 7 = 0. Does 21 divide o?
True
Suppose 2*u + 14 - 14 = 0. Let t be 1*-3 - (u + 1) - 74. Let z = t - -240. Is 27 a factor of z?
True
Let y be 50 - -3 - (1 - (1 + 2)). Let t = 51 - y. Is ((-3)/12 + 1)*(t + 60) a multiple of 40?
False
Suppose -225 = -13*b - 12*b. Let j(l) = l**2 - 15*l + 84. Does 5 divide j(b)?
True
Let h(i) = 5*i**3 + 19*i**2 + 17*i + 3. Let b(c) = 11*c**3 + 38*c**2 + 35*c + 6. Let q(r) = 3*b(r) - 7*h(r). Is 8 a factor of q(-12)?
False
Suppose 2*k - 21 = -5*w - 73, -40 = 4*w + 2*k. Suppose 0 = 4*a, -a - 6 = -s - 62. Let y = w - s. Is 11 a factor of y?
True
Let o = 9523 + -6913. Does 13 divide o?
False
Suppose 0*u + 4*u = 36. Suppose u*r = -8*r + 6664. Is 14 a factor of r?
True
Let c(l) = -3*l**3 - 2*l**2 - 7*l + 43. Let f be c(-7). Suppose -47*b + f = -36*b. Does 21 divide b?
False
Suppose -268*i = -273*i + 5*j + 15095, 4*j + 9064 = 3*i. Does 21 divide i?
False
Suppose -k + 3*c + 7 = 0, k = c - 6*c - 1. Suppose -k*s = 2*i - i - 3262, -s + i = -813. Let d = s + -520. Does 31 divide d?
False
Is 8 a factor of (-55461)/(-5) + (1/5)/(-48 + 47)?
False
Suppose -6*p = -7*p. Let w be (-4)/(-38) + (80/(-95))/8. Suppose p = -3*z + 5*n + 57, w = n - 0*n - 3. Does 8 divide z?
True
Suppose -2*p - 3*f + 61209 = 0, 2*p - 231*f - 61212 = -235*f. Is p a multiple of 12?
True
Let l = 44379 + -28891. Does 64 divide l?
True
Let y be (-139)/(-10) + (-23)/(-230). Let z = 48 - 29. Suppose -17*d - y = -z*d. Does 7 divide d?
True
Let k be 17595/9 - (-7 - 2/(-1)). Suppose -10*s - k = -17*s. Does 9 divide s?
False
Suppose 12*d + 7899 + 3453 = 0. Let l = d + 1674. Is l a multiple of 14?
True
Suppose -4 = -2*o - 8*a + 9*a, 5*o + a - 17 = 0. Suppose -2*b - 5 = -3*b, o*k + 4*b = 1184. Does 33 divide k?
False
Suppose -21*r + 69012 = -116481. Does 30 divide r?
False
Let w = 4819 - -3901. Does 4 divide w?
True
Suppose -3*q + 1 = -p, 2*p - 15 = 3*q + 5*p. Is ((-110)/33)/((-2)/(q - -49)) a multiple of 8?
True
Let n = 147 - -2938. Suppose 0*i = -4*i + h + n, i = 4*h + 790. Is 22 a factor of i?
True
Suppose 0 = -0*x + 7*x + 70. Let t be (-5)/x + (-9)/(-2). Is t + (2/(-2))/((-2)/(-6)) even?
True
Let f(u) = 3*u**3 - 7*u - 5*u - u**3 + 21*u**2 + 3*u - 3*u**3. Is f(19) a multiple of 29?
True
Suppose 2*w + 20*w - 60192 = -44*w. Does 11 divide w