divide x?
False
Let j(l) = 3*l**3 - 156*l**2 + 48*l - 309. Does 4 divide j(52)?
False
Suppose -150 = 5*r - 4*h - h, -5*r + h - 154 = 0. Let w = r + 35. Suppose 0 = w*m + m - 495. Does 9 divide m?
True
Let n be 4/6*(-12606)/(-44). Let w = n - -82. Is 39 a factor of w?
True
Let u(v) = v**2 + 8*v + 14. Let f be u(-6). Let z be 2/3 + (-3)/((-81)/5220). Suppose 3*d + 4*a - z = 0, -2*a + 0*a = f*d - 128. Is d a multiple of 31?
True
Let x(p) = -p + 2. Let g be x(-1). Suppose -g*r - 13 = -2*m, m - 6 = -m - 4*r. Suppose 5*y - 4*s = 90, 2*y - m*s = 3 + 33. Is y a multiple of 4?
False
Is 29290/22 - (-28 - 8112/(-286)) a multiple of 4?
False
Let p be (83/2)/(8/16). Let b = p - 83. Does 17 divide (-3 - -2)/((-6)/366 - b)?
False
Let g = 620 - -290. Suppose g = 4*c - 134. Is c a multiple of 20?
False
Let w(k) = -k**3 + 16*k**2 - 2*k + 35. Let j be w(16). Suppose 7*s - 12*s = -5*n + 760, 4*s - 442 = -j*n. Is n a multiple of 75?
True
Let w(c) = 24*c + 323. Let a(z) = 8*z + 106. Let i(x) = -14*a(x) + 4*w(x). Is i(-38) a multiple of 22?
False
Suppose -2*q = 4*l - 14, 3*l - 8 - 13 = -5*q. Suppose 1185 = 4*y + r, -l*r = 4 + 2. Is 17 a factor of y?
False
Suppose -4*v + 5*v + 2 = p, 15 = 4*p + 3*v. Suppose 1 = p*m - 4*m. Let i(b) = 21*b**2 + b. Is 5 a factor of i(m)?
True
Suppose -2*o - 2 = 0, 2*z + 4011 - 14951 = 4*o. Is 52 a factor of z?
False
Suppose z + 5*t - 72 = 0, 0*t - t - 267 = -4*z. Suppose -2*u + 24 = 4*o, -5*u - 5*o + z - 12 = 0. Suppose 0 = 3*g - u*g + 1176. Does 11 divide g?
False
Suppose 4*i - 22113 + 5329 = 0. Does 62 divide i?
False
Suppose -5*p + 1151 = -2*r - 312, r = p - 289. Is 6 a factor of p?
False
Let s be 3/(-4) + 1 + 27/36. Let k be (15/6 + -2)/(s/6). Let j(m) = 4*m**2 - 2*m + 2. Is j(k) a multiple of 32?
True
Let c be (-2)/4 + 36/72. Suppose c = 2*u - 10, 8*h - 5*u = 4*h + 3175. Is 17 a factor of h?
False
Is (-1783 + (-9 - -2))*(-10 - -9) a multiple of 5?
True
Suppose -3235 = 14*y - 19*y. Suppose -5*t + y + 1098 = 0. Suppose 4*w - t = 3*d, w - 3*d - 74 = 20. Does 5 divide w?
True
Let f(r) be the first derivative of 2*r**3/3 + 5*r**2/2 - 18*r + 14. Let y be f(7). Suppose 5*i - 2*h - 145 = -h, 4*i - h = y. Is i even?
True
Suppose 5*p - 6*p + l = 2, 4*l - 18 = -p. Suppose -j = -p*n - 11, n - 5 = -3*j - 0*n. Suppose -j*m - v = 1 - 66, 0 = -5*m + 4*v + 114. Is 22 a factor of m?
True
Does 8 divide 176/66*(-89451)/(-4)?
False
Suppose 296 = -5*s + 3*r, 0*r + 182 = -3*s + 4*r. Does 29 divide (-4)/((-34)/s - (-15)/(-25))?
True
Let p(u) = 3*u**2 + u + 76. Let o be p(0). Is o/10 + 10/25 a multiple of 2?
True
Suppose 2*w = 2*h - 10, 4*w + 7 = -3*h - 6. Suppose 5*v + 4*x - 154 = 0, 0 - h = -x. Is 30 a factor of v?
True
Suppose 0 = -3*t - d + 18994, 14*t - 15*t = 2*d - 6328. Does 7 divide t?
False
Let x = -32525 - -37234. Does 4 divide x?
False
Let a = 42 + -45. Let c be a/(-6) + 98/(-4). Does 16 divide -4 + (-6)/c + (-694)/(-8)?
False
Let u(o) = -24*o**3 + 10*o**2 - 73*o - 1327. Is 22 a factor of u(-11)?
False
Let g be -58*11/3*-6. Is 44 a factor of 1/((-955)/g + (-18)/(-24))?
False
Let b(a) be the first derivative of a**3/3 + 9*a**2/2 - 10*a + 47. Let s be b(-10). Suppose 3*c = -s*c + 105. Is 7 a factor of c?
True
Let n be 6851/39 - 2/12*-2. Suppose -5*y + 2330 = 5*d, -293 - n = -y + 2*d. Does 17 divide y?
False
Suppose -2534077 - 1771283 = -60*u. Is 154 a factor of u?
False
Is 73 a factor of ((-9)/(783/58))/(1/(-42048))?
True
Let t(v) = 286*v + 65. Let d be t(-8). Let g = -1518 - d. Does 12 divide g?
False
Is (-1 - 0) + 552 + (-1149 - -1146) a multiple of 4?
True
Is 13*-13*(3 + 13*(-14 - -6)) a multiple of 92?
False
Suppose 24*s = -5*s. Is 28 a factor of (-5544)/(-18)*(2 - s)?
True
Let i = 12 + 72. Let b = i + -54. Is b a multiple of 5?
True
Let w(a) = a**2 + 77*a + 1545. Is w(-46) a multiple of 5?
False
Let q(r) = -r**2 + 8*r + 38. Let n be q(11). Suppose n*f = 5*l - 350, -5*l + 3*f + 84 + 256 = 0. Does 2 divide l?
False
Let v(i) = -i**3 - 2*i**2 + 8*i + 18. Let c be v(-2). Suppose -c*r = 2*a - 476, 0 = -2*r + 5*a - 4*a + 482. Does 20 divide r?
True
Let d(q) = 2*q + 4 + 0*q**2 - 11 + 3*q**2. Let f be d(-4). Let y = -8 + f. Is 10 a factor of y?
False
Let a(g) be the second derivative of 19*g - 2*g**3 + 0 - 8*g**2 - 1/12*g**4. Is 3 a factor of a(-7)?
False
Let n(t) be the third derivative of t**5/60 - 25*t**4/24 - 55*t**3/2 - 140*t**2. Is 11 a factor of n(-8)?
True
Let s(f) = 12*f - 7. Let v be s(1). Suppose -a + v*c + 228 = c, a - 252 = -4*c. Does 40 divide a?
True
Suppose -31*i - 6*i + 128006 = -8*i. Is 14 a factor of i?
False
Is (4 - 26/(-4))*(-4302)/(-27) a multiple of 32?
False
Suppose 0*n - 3*n - 1746 = 3*j, -1172 = 2*j + 4*n. Let z = j + 812. Is z a multiple of 13?
True
Let a(z) be the third derivative of 17*z**4/24 - 7*z**3/2 + 13*z**2. Is 6 a factor of a(15)?
True
Suppose 3*w = n - 165, -5*w - 592 = -4*n - 10*w. Let y = -2 - -4. Suppose 19 = -y*d - 3*x + 104, -3*d + 4*x = -n. Is d a multiple of 4?
False
Let t(y) = y + 75. Let w be t(12). Suppose -s - 585 = -3*j, -2*s + w - 477 = -2*j. Is j a multiple of 3?
True
Suppose -2*y = 7 - 17. Suppose 3*b = 2*x - 201, 2*b + 340 = -3*b + y*x. Let z = b - -169. Does 18 divide z?
False
Suppose 2*g - 11*v + 17*v = 2456, 0 = -5*v + 30. Is 29 a factor of g?
False
Suppose 4*n - n - 9 = 0. Let j(z) = -z**3 - 78*z**2 + 7*z + 82. Let v be j(-78). Is 31 a factor of v/(-3) - (-1)/n?
True
Let b(d) = 6*d**3 - 8*d**2 + 19*d - 38. Let z(l) = -l**3 - l**2 - l. Let t(w) = b(w) + 5*z(w). Is 12 a factor of t(13)?
True
Let r(t) = 36*t**2 - 163*t + 637. Is r(4) a multiple of 17?
True
Let i(j) = -4*j + 4. Let p(h) = -h**3 - 12*h**2 + 3*h + 19. Let z be p(-12). Let d = z + 14. Is 8 a factor of i(d)?
True
Let a(m) = -60*m - 97. Does 5 divide a(-7)?
False
Let b = 4925 - -3315. Does 4 divide b?
True
Suppose 0 = -5*s + 7*f + 109648, 0 = s - 3*f + 846 - 22782. Does 12 divide s?
True
Let x = -10083 + 11228. Does 3 divide x?
False
Let o be (-3)/2 - (-35)/10. Let j(h) = h - 230 - 2*h + 7*h**o + 230. Does 18 divide j(4)?
True
Suppose -2*g = 5*p - 8820, 3*g - 5768 = -2*p + 7418. Is 5 a factor of g?
True
Suppose -26*j + 28*j - 2*m - 13512 = 0, -3*j + 20264 = -m. Is 11 a factor of j?
True
Let h(b) = 2*b**2 - 7*b. Let f be h(4). Suppose -243 = -7*i + f*i. Suppose -3*y + i - 9 = u, -3*u = -2*y + 48. Does 3 divide y?
True
Let j(f) = 4 + 46 + 13 + 101*f - 24. Is j(2) a multiple of 9?
False
Suppose 72*q + 999358 = 2636782. Is q a multiple of 19?
False
Suppose -4 = -c + 91. Let u = -79 + c. Let i(v) = 4*v - 29. Is 12 a factor of i(u)?
False
Let x(p) = 27*p - 79. Let d be x(12). Let h = -162 + d. Does 2 divide h?
False
Let n be (-2)/(-3)*(-42)/28. Let k be (-43 - 2) + n + -1 + 6. Let u = 59 + k. Is 18 a factor of u?
True
Let z = -15580 + 41628. Does 15 divide z?
False
Let k = -158 + 456. Suppose d + f - 54 = 0, f = 5*d + 58 - k. Does 8 divide d?
False
Suppose 2*w + 16759 = 3*v, 37*v - 35*v + 4*w - 11194 = 0. Does 81 divide v?
True
Let z = -123 + 158. Let w = 212 + z. Is 61 a factor of w?
False
Let d(m) = -m**2 + 2*m + 156. Suppose 21*z - 9 + 9 = 0. Is 12 a factor of d(z)?
True
Let r be (0 + 3)*(-7)/56*-8. Suppose 3*z = -5*h + 1891, 0 = 3*h + r*z - 21 - 1116. Is h a multiple of 42?
False
Let z = -526 - -530. Suppose -4*r + 419 = z*j - 361, 820 = 4*j - 4*r. Does 14 divide j?
False
Suppose -35*c + 19543 + 8807 = 0. Is 30 a factor of c?
True
Let o = 28 + -38. Let y be (-4)/o + 3115/25 - 1. Let z = 199 - y. Is z a multiple of 8?
False
Let x(o) be the third derivative of o**5/60 + o**4/3 + 19*o**3/3 + 2*o**2 + 14. Does 19 divide x(-13)?
False
Let r be 2*(8 + (2 - 4)). Suppose -5*q + 601 = -3*s, 2*s = 6*s - r. Does 20 divide q?
False
Suppose -n + 500 = 2*l, -4*n - 5*l + 159 = -1829. Let t = -1327 + 1330. Is ((-2)/(-8))/(t/n) a multiple of 41?
True
Is 33 a factor of ((-147812)/(-56) + -23)/(3/12)?
False
Let i(x) = -3*x + 51. Let f(w) = -2*w + 34. Let t(j) = -7*f(j) + 5*i(j). Let a be t(7). Suppose 6*b + 272 = a*b. Is b a multiple of 21?
False
Suppose q + 2*q = 2433. Suppose 2*l + 4*r = 5*l - 3487, 2*r = -l + 1179. Suppose q + l = 11*m. Does 30 divide m?
True
Let q(d) = -16*d - 5. Let x be q(13). Let k = -176 - x. Does 3 divide k?
False
Suppose -232551 = -189*x + 29781. Does 7 divide x?
False
Is 4 + 33/((-33)/(-3020)) a multiple of 28?
True
Let q = 