. Is b a multiple of 4?
True
Let y(w) = w**2 - 18*w + 74. Let d be y(12). Does 48 divide 63/42*5752/6 + d?
True
Let j = 9863 + -6761. Is 33 a factor of j?
True
Let y(u) = 3*u**3 + 2*u**2 - 4*u - 2. Let a be y(-2). Let l = a + 15. Is 3 a factor of l?
False
Let l be 1*234 - (2 + -2). Suppose 6*n - l = 3*n. Suppose n = -2*f + 4*f. Does 5 divide f?
False
Suppose -7*x + 0*x - 15066 = -16*x. Is 62 a factor of x?
True
Let n be 4 + 4*6/36*3. Does 13 divide n - (-7)/((-21)/(-246))?
False
Suppose 2*j - 85 = 5*u + 141, -4*j = -3*u - 424. Let f(m) = -m**3 - 5*m**2 + 24*m + 126. Let q be f(-5). Suppose -q*i + j = -5*i. Does 18 divide i?
False
Suppose -3*y = 9, 0 = 4*r + 9*y - 8*y - 18365. Is r a multiple of 16?
True
Let n(m) = -6*m**2 + 6*m - 5. Let f(c) = -31*c**2 + 33*c - 27. Let w(s) = 2*f(s) - 11*n(s). Suppose -16 = q + 3*q. Is w(q) a multiple of 13?
True
Suppose 7*h - 4112 = -3*p + 1310, 3*p + 5*h = 5414. Is 9 a factor of p?
False
Suppose -3*q - 12101 = -2*v + 9996, 3*v - 2*q = 33148. Does 107 divide v?
False
Suppose -6*p + 175968 = 26*p. Does 39 divide p?
True
Suppose -32*f = -5*g - 31*f + 28205, -f = 2*g - 11289. Is 19 a factor of g?
False
Let b be 7*(-1 - 2)*2/3. Let c be ((-1)/5)/(-1) - 298/(-10). Let i = c + b. Is i a multiple of 8?
True
Suppose 65*g = 59*g. Let k(c) be the third derivative of -c**6/120 - c**5/60 - c**4/12 + 59*c**3/3 - 6*c**2. Is k(g) a multiple of 6?
False
Let n be (-2)/(-7) + 2952/(-42). Let k = n - -128. Does 6 divide k?
False
Suppose -5*p - 841 = 4*o, -4*o = p - 2*p - 149. Let s = p - -232. Suppose 3*c + 5 = 2, 3*c + s = 4*n. Does 3 divide n?
False
Suppose -2708*s = -2724*s - 3408. Suppose 0*a = a. Is (s - a)/(-9 + 6) a multiple of 37?
False
Let z be ((-16532)/(-16))/(2/(-24)). Let k = z - -1159. Does 30 divide 6/45 + k/(-75)?
True
Suppose -4*z = -27151 - 206629. Does 160 divide z?
False
Let u be 2/12 - (-32814)/108. Let i = u + -280. Does 12 divide i?
True
Suppose -4*o = -m - 8, o = -0*o - 3*m + 2. Suppose -4*z + 20 = -4*t, -o*z + 4*z - t - 9 = 0. Suppose 284 = z*q - 4*c, -4*c - 1 = -3*c. Is 14 a factor of q?
True
Let z be (-33 + 52)*(-10)/(-2). Suppose 4*h - z = 845. Does 47 divide h?
True
Let y(g) = -49*g - 98. Let z be y(-19). Suppose 2*c = 2*d - 634, -4*d + 3*c + z + 430 = 0. Is 24 a factor of d?
True
Suppose -123*b + 144*b - 92505 = 0. Does 5 divide b?
True
Let u(w) = -w**2 + 13*w + 32. Let j be u(15). Suppose 6*f - 20 = j*f. Does 3 divide 2 - f - (2 + -36)/1?
False
Let c(h) = 14*h - 6*h - 4 + 2*h**3 + 3*h**2 - 7*h. Let f = 5 - 3. Is c(f) a multiple of 13?
True
Let t(d) = 3*d**2 - 7*d - 5. Suppose 7*m = 9*m - 18. Does 25 divide t(m)?
True
Let w(c) = c**3 + 34*c**2 - 80*c - 41. Let p = 223 + -259. Is 10 a factor of w(p)?
False
Is 9 a factor of ((-387500)/3)/(-25) - 4/6?
True
Let y(h) = 298*h + 52. Is y(13) a multiple of 18?
False
Does 7 divide 16/24*10662/(-12)*-3?
False
Suppose -4*h - 2 = 30. Let l be (204/h)/((-1)/(-48)). Does 36 divide (-8)/52 - l/13?
False
Let g(j) = 74*j**3 + 4*j**2 - 8*j + 6. Suppose 25 - 37 = -4*o. Let c be g(o). Does 32 divide 14/(-6)*-4*c/196?
True
Suppose -2*r + 2725 = 4*q - 2979, -4*r - 4*q + 11416 = 0. Is r a multiple of 8?
True
Let g be (3 + 1 - 0) + 0. Suppose -g*s - 520 = s. Let r = 203 + s. Does 11 divide r?
True
Is (-12)/198*-11*(-747)/(-2) a multiple of 3?
True
Is 205 a factor of 9594060/240 + 5 + (-21)/4?
True
Let g = -2377 - -6745. Is g a multiple of 56?
True
Let y be 6/(-4)*(2 + 4). Let m(s) = -2*s**3 - 3*s**2 + 27*s - 6. Is 42 a factor of m(y)?
True
Let k = -5 - -17. Let c be 10*12/45*k. Suppose -34 = -2*l + c. Is 6 a factor of l?
False
Let a(v) = 61*v + 417. Let d(g) = 21*g + 139. Let o(h) = -3*a(h) + 8*d(h). Is 8 a factor of o(-26)?
False
Let c = 84517 + -47425. Is 28 a factor of c?
False
Let n(q) = -2*q**3 + q**2 - 14*q - 38. Is n(-13) a multiple of 101?
False
Suppose 4*o = 2*b + 37070, 0 = -5*b + 85 - 60. Is o a multiple of 45?
True
Suppose 207*n - 210*n + 369 = 0. Suppose -n = t - 329. Does 19 divide t?
False
Suppose 4*i = 3*r + 3, 3*r = 2*i - 0*r - 3. Suppose i = -6*s + 3029 + 6853. Suppose 2*u = -7*u + s. Is u a multiple of 17?
False
Let z = 75 - 75. Suppose -h + z*v = v - 115, -4*v = -4*h + 428. Is h a multiple of 26?
False
Is (-20)/(-5)*-48351*(150/(-36) + 4) a multiple of 71?
True
Suppose 4*d - 168090 = -12*d - 23*d. Is d a multiple of 107?
False
Let q = 1070 + -1526. Let g = q - -1032. Is 48 a factor of g?
True
Let d(y) = -35*y - 122. Does 2 divide d(-23)?
False
Suppose 70*d - 74*d - 2896 = -4*x, x - 2*d = 726. Is 5 a factor of x?
False
Suppose -14*k = -22081 + 5827. Suppose -4*l = -3*p - k, -3*p - 2 = 7. Does 12 divide l?
True
Let p(c) = 10*c**3 - 4*c**2 + 5*c - 18. Let v be p(4). Let y = v + -237. Does 49 divide y?
False
Let y(t) = 37*t + 496. Is 32 a factor of y(16)?
True
Let y = -103 - -6655. Is y a multiple of 39?
True
Suppose 20*c - 238094 = 2*c + 256420. Does 58 divide c?
False
Suppose 0 = 10*r - 15*r + 1920. Suppose -5*t - t = r. Is (-5008)/t - 10/8 a multiple of 28?
False
Suppose 0 = 2*n - x - 6, -5*n - 1 + 16 = -5*x. Does 51 divide -4 - (-556 - 9)*(-2 + n)?
True
Let o be 180/24*(-12)/10. Let k = o + 11. Is 7 a factor of (5 - 31)/(k/(-3))?
False
Let w be (14/21)/((-6)/(-27)). Let t = 7 - w. Suppose 3*f = 4*x + 180, 5*f + t*x - 383 + 83 = 0. Is 11 a factor of f?
False
Is 17 a factor of (-10)/8*-2*182468/286?
False
Let y be (-3 - -7)/(6/12). Is 7 a factor of (196/y)/(1/10)?
True
Let m = -101 + 107. Let n be (-3)/(-1) + -6 + m. Suppose -n*l = -l - 2*y - 74, -4*y = -2*l + 78. Does 5 divide l?
True
Let i = -177 - -99. Let v = 81 + i. Is ((-10)/v)/(-1 - (-69)/72) a multiple of 11?
False
Suppose q - 260 + 257 = 0, 0 = -11*c - 5*q + 176895. Is c a multiple of 191?
False
Let s be 4 - (3 + 1) - -3. Suppose -4*c = -c - 5*v - 90, s*c + 4*v - 117 = 0. Is 7 a factor of -140*c/14*3/(-10)?
True
Let z(w) = 5*w**2 + 4*w - 15. Let k be z(3). Let x(u) = 5*u - 130. Does 8 divide x(k)?
True
Let z(o) = 3*o + 4. Let q be z(1). Let d = 83 + -19. Suppose -d = -b - q. Is 19 a factor of b?
True
Let q(n) = 46*n**2 + 101*n - 23. Does 14 divide q(7)?
False
Let x = -142 - -158. Does 9 divide ((-3)/(-10)*x)/(14/105)?
True
Let x = 39204 - 25278. Suppose 5676 = 33*g - x. Does 27 divide g?
True
Let r(k) = -k**3 - 6*k**2 + 7*k - 2. Let m be r(-7). Let w be 3/((-21)/(-6) + m). Suppose 4 = c + 2*z, 0 = -2*c - 2*z - w + 16. Does 10 divide c?
True
Let h be (-5 - (3 - 2))/(-3). Suppose 4*s + 4*y - 1352 = 0, 6*y + 363 = s + h*y. Does 24 divide s?
False
Suppose 0 = 77*p - 79*p - 4*d + 7946, 2*d = -4*p + 15910. Does 164 divide p?
False
Let c(s) = 276*s + 2542. Is c(7) a multiple of 18?
False
Suppose -l = 7 - 2, 0 = g + l - 102. Is 26 a factor of (-8)/(-11)*g + (-2)/(-11)?
True
Suppose -664048 = 39350*a - 39366*a. Does 40 divide a?
False
Let q = 35 - 56. Let i = q + 111. Does 37 divide 6/(-45) + 3342/i?
True
Suppose -2924432 - 2908983 = -189*r - 1835498. Does 33 divide r?
True
Let t(x) = -5*x - 7. Let p be t(-15). Let c = 6 + p. Suppose -c = -4*o + 3*o - 5*z, -4*z = 3*o - 233. Is 17 a factor of o?
False
Let j(p) = p**2 + 3*p. Let n be j(-3). Let u be (-4 + (-8)/(-4))*285/6. Let s = n - u. Is 35 a factor of s?
False
Let c(a) = -a**3 - 22*a**2 - 68*a - 35. Does 8 divide c(-19)?
False
Let k = 1 + 3. Suppose 0 = -3*o - 3*p + 12, -3*p = 5*o - k - 10. Let a(z) = 85*z**3 - z**2. Is a(o) a multiple of 21?
True
Is 149 a factor of (169/26 - 14)/(3/(-7652))?
False
Suppose 18 = 3*j - 3*y - 6, -5*j = 2*y - 47. Suppose -7*s = -4*s + j. Let o = 102 - s. Is 15 a factor of o?
True
Let v(y) = -y**3 - 5*y**2 - 2*y + 31. Suppose 0 = 4*l - 2*a + 38, 2*l - 4*a = -0*a - 34. Does 32 divide v(l)?
False
Is 330 a factor of -6*1/(-39) + 3926/169*554?
True
Let y(x) = 2*x**3 - 16*x**2 - 4*x + 21. Let p be (-5 + -6 + 2)/(-1 + 0). Is y(p) a multiple of 25?
False
Let p(c) = -c + 227. Does 6 divide p(41)?
True
Let b = -4873 + 11504. Is 81 a factor of b?
False
Let k be ((-406)/(-8))/(-7) + (-2)/(-8). Is (-1054)/(-6) - 2/(k - -1) a multiple of 11?
True
Suppose -4 - 31 = 5*f, -2*i - f + 80471 = 0. Does 9 divide i?
True
Let j(x) = 73*x**2 - 24*x - 45. Let a be j(-5). Suppose 4*k = 5*v - 2364, a = 4*v + 2*k - 3*k. Is v a multiple of 17?
True
Let x(d) = -d**2 - 25*d + 41. Let h be (11 + -4)*(8/28 + -2). Does 5 divide x(h)?
False
Suppose 618*