es 28 divide (61 - -4) + -1 - q?
False
Let a be -33 - -34 - (1 + 0)*0. Does 14 divide a*-1*(1 + -4 + -39)?
True
Does 41 divide (10 - (-46)/(-3))*2583/(-12)?
True
Suppose 4*u + 5*t - 86 = 0, 3*u + 0 = -5*t + 62. Let x = 17 + u. Does 19 divide x?
False
Let g(u) = -u + 1. Let n(d) = -10*d - 15. Let t(q) = -9*q - 14. Let b(h) = 5*n(h) - 6*t(h). Let j be b(-3). Does 4 divide g(j)?
True
Let l(d) = 1078*d + 19. Does 12 divide l(2)?
False
Let g(t) = -t**3 - 40*t**2 - 43*t - 82. Is 18 a factor of g(-39)?
False
Suppose -5*r + 6*r + 15 = 0. Suppose 2*w + 5*h = -65, 3*h + 0*h - 49 = w. Is 9 a factor of (w/25)/(2/r)?
False
Let u(p) = p**2 + 9*p + 10. Let k(l) = -2*l - 1. Let h be k(3). Let z be u(h). Let d(m) = m**2. Does 5 divide d(z)?
False
Suppose 0 = 2*l - 4*z - 56, -22 = -3*l + z + 57. Does 13 divide l?
True
Suppose 28*t - 24*t = -280. Is (1 + 1)/(-2) - t a multiple of 6?
False
Let y(f) = f**3 + 4*f**2 - f + 7. Let o be y(0). Suppose -5*i = -o*i + 152. Does 24 divide i?
False
Let s = 3 - -2. Let k(p) = -p**3 + 7*p**2 + 2*p. Does 30 divide k(s)?
True
Let k(o) = -o**3 - o**2 + 158. Let x = 37 + -37. Is k(x) a multiple of 36?
False
Suppose -52*c - 1020 = -58*c. Does 9 divide c?
False
Let v = -20 - -96. Suppose g - v = -g. Is 20 a factor of g?
False
Let r(s) be the first derivative of -3*s**4/8 - s**3/6 - 2*s**2 - 3. Let v(a) be the second derivative of r(a). Is v(-5) a multiple of 11?
True
Let k(l) = 3*l**2 + l - 1. Let t(o) = 14*o**2 + 6*o - 5. Let h(x) = 11*k(x) - 2*t(x). Is 10 a factor of h(2)?
False
Does 18 divide (-392)/(-490) + 21561/5?
False
Let f(v) = 2 + 59*v**3 - 1 - 7*v**3. Let r be f(-1). Let d = r + 80. Is d a multiple of 14?
False
Suppose 6*a - 238 = 1130. Suppose -5*r - 5*m - 4 + 204 = 0, 2*m = 5*r - a. Is 11 a factor of r?
True
Suppose 2*o + o - 15 = 0. Suppose -63 = -o*j + 2*j. Is j a multiple of 3?
True
Suppose -2*f = -2 + 6. Let v(l) be the first derivative of -3*l**4/2 - l**3/3 + 3*l**2/2 + 3*l - 5. Does 8 divide v(f)?
False
Let g be (5 + -8)/((-18)/24). Suppose -3 = -3*p - 0. Is (-15)/(g/(-4)) + p a multiple of 8?
True
Let c(j) = -j - 7. Let n be c(17). Let v = n - -32. Suppose -v*l + l + 595 = 0. Does 15 divide l?
False
Let f(x) = -70*x**3 + 4*x**2 - 4*x - 14. Is 17 a factor of f(-3)?
False
Suppose -5*l + 476 = 3*a - 41, -5*a + 5*l + 875 = 0. Is 4 a factor of a?
False
Let i = -98 - -81. Let n = i - -21. Does 4 divide n?
True
Suppose -2*m = -5*n, 3*n - 10 = -4*m + 16. Suppose -4 = n*j + 2. Let a = 35 + j. Is a a multiple of 16?
True
Let q = -406 - -666. Does 13 divide q?
True
Let a(z) = -z**2 + 4*z + 5. Let d be a(5). Suppose d = 6*b - 18*b + 216. Does 8 divide b?
False
Suppose g - 3*g + 498 = 0. Let k = g + -160. Is k a multiple of 41?
False
Let u = 17 + -15. Suppose -r = 5, -r - 107 = -2*n - u*r. Does 7 divide n?
True
Let k(x) be the first derivative of 17*x**2/2 + 2*x + 11. Is k(2) a multiple of 36?
True
Let x be (-10)/(-12) + 1/6. Let t be (1 + -4 + 0)*x. Is (-20)/15 + (-31)/t a multiple of 4?
False
Let t = -495 - -738. Is t a multiple of 81?
True
Let b(t) = 10*t**2 + t. Let c be b(-1). Let q = 0 + c. Suppose -7 = -f + q. Is f a multiple of 8?
True
Suppose -3*q + 4*c - 320 = 0, -5*q + 5*c - 531 = -1. Let d(m) = -2*m - 8. Let z be d(7). Is ((-11)/z)/((-1)/q) a multiple of 15?
False
Let l(v) = 299*v - 7. Does 10 divide l(5)?
False
Let t = 131 + 282. Does 7 divide t?
True
Suppose -540*x + 548*x - 14336 = 0. Is x a multiple of 19?
False
Let q = 55 - 1. Is q a multiple of 27?
True
Let l(j) be the second derivative of -j**3/2 - 5*j. Let r(n) = -23*n**3 - 138*n. Let i(q) = 138*l(q) - 3*r(q). Does 25 divide i(1)?
False
Let w(t) = 11*t + 1. Let o be w(-2). Let g = o + 23. Suppose 3*x - 49 = 5*p, -30 = -4*x + g*x + 2*p. Does 13 divide x?
True
Is 10 a factor of (3120 + -6)/9 - (4 + 1)?
False
Is 3 a factor of 16/144 - (0 - 4228/18)?
False
Suppose -8*w = -7*w + 8. Let g be (30/w)/(12/(-48)). Suppose -d - d + 24 = 3*p, -d = -3*p + g. Does 6 divide p?
True
Let b(j) = j**3 + 17*j**2 + 17*j + 24. Let k = -11 + -5. Let s be b(k). Suppose -2*i + 54 - s = 0. Is i a multiple of 6?
False
Let a(j) be the third derivative of -j**3 + 0 + j**2 + 1/60*j**5 + 0*j + 1/12*j**4. Is 8 a factor of a(-7)?
False
Let h be ((-30)/(-100) - (-2)/10)*10. Suppose -4*p - 4*x = -296, h*p + x = 2*p + 212. Does 23 divide p?
True
Let z = 17 + -15. Suppose 378 = k + z*k. Is k a multiple of 14?
True
Let j be (-140)/(-34) - 2/17. Suppose -4*v = 5*b - 36, -b + 2*v = -6 - j. Let u = b - 5. Does 3 divide u?
True
Suppose -6*z = -z - 60. Does 11 divide 128/(-9)*-6*18/z?
False
Let z(a) = -8*a - 2. Let u be z(-6). Suppose -3*w - 16 + 79 = -4*i, -2*w + 4*i + u = 0. Is w a multiple of 3?
False
Let w be (-9)/((-108)/104)*18. Let k = 228 - w. Does 12 divide k?
True
Suppose 3*k - x = -37, 5*k - 5*x = -40 - 25. Is ((-1)/3 - -1)*6 - k a multiple of 10?
False
Let d be (12/7)/(12/882) - 2. Is 33 a factor of (1 - -3) + d/4?
False
Suppose 4*t + 2*i = 3804, 4*t - 2827 = t + 5*i. Is t a multiple of 14?
False
Suppose -537*o + 552*o - 22905 = 0. Does 48 divide o?
False
Let m(a) = a + 2. Let l be m(-4). Is 3576/54 - l/(-9) a multiple of 11?
True
Suppose 2*c - 3*p - 33 = 2*p, 5*c + 3*p = 98. Suppose 5*b - 87 = -3*j, 3*j - 47 - c = 2*b. Does 2 divide j?
True
Let i(w) = -3*w + 43. Is 2 a factor of i(-13)?
True
Does 27 divide (-10)/(1600/810 + (-2)/1)?
True
Let j = 168 - 141. Is j a multiple of 3?
True
Let f(j) = -35*j + 260. Is f(-71) a multiple of 61?
True
Let t = 4 - -3. Suppose -t*m = -11*m + 252. Suppose 3*r - 4*q = 237 - m, 15 = -5*q. Does 29 divide r?
False
Suppose 0 = -4*y - 7*y + 1716. Suppose 4*h - y = 188. Is 8 a factor of h?
False
Let j be (-21)/(-6) - (-6)/4. Suppose -j*l = 8 - 28. Suppose 0 = 2*t, -2*t + l*t = -3*k + 12. Does 3 divide k?
False
Let d(k) = 4*k**2 + 8*k - 12. Let i be d(-7). Let h = i + -83. Is h a multiple of 12?
False
Let m = -93 - -36. Let r = 89 + m. Is 11 a factor of r?
False
Let g(j) = 20*j + 12. Let l be 7 + -3 + 0 - 1 - -3. Is g(l) a multiple of 11?
True
Let b(o) = -o + 2. Let h be b(0). Suppose 39 = -2*y + 5*y. Suppose h*d = -5*q + 160, 2*q - 66 + y = -3*d. Is 27 a factor of q?
False
Let q be 20/(-90) - 1*(-4)/18. Let w(r) = r**2 + 0*r**2 + 16 - r - 5. Is 8 a factor of w(q)?
False
Let o(t) = t**3 - 13*t**2 - 2*t. Let y be o(13). Let f = y - -85. Let a = f - -23. Does 26 divide a?
False
Let h = -20 + 110. Suppose y + 2*n = h, 3*y - 2*n - 237 = 3*n. Is 12 a factor of y?
True
Let t(r) = -4*r - 20. Let g(i) = i + 1. Let z(p) = -5*g(p) - t(p). Let s be z(11). Suppose -3*m - 247 + 63 = -s*f, 0 = -4*f + m + 184. Is 23 a factor of f?
True
Suppose -60671 = -90*s + 7729. Is s a multiple of 20?
True
Let o(z) = 4*z**2 + 6*z - 21. Is 6 a factor of o(3)?
False
Suppose -3 = -5*p - i, 0 = 2*p - i - 2 + 5. Suppose 4*r = m + 44 - 184, p = m - r - 134. Is m a multiple of 37?
False
Let g(s) be the third derivative of -s**5/30 - 5*s**4/4 - 4*s**3/3 - 5*s**2. Is g(-12) a multiple of 25?
False
Let f(m) = -409*m - 382. Does 70 divide f(-5)?
False
Suppose 4*m - 21*l + 17*l = 360, l = 4*m - 348. Is 7 a factor of m?
False
Let p = 5505 - 1227. Does 14 divide p?
False
Let z(r) = r**2 + 35*r + 174. Is 14 a factor of z(-34)?
True
Suppose 0 = 52*u - 48*u - 6840. Is 57 a factor of u?
True
Let c be (-16)/(-3) + 2/(-6). Suppose 0 = -3*b + c - 14. Is b + (0 - (-26 + 1)) a multiple of 11?
True
Suppose -7*n - 738 = -n. Is 12/(-24) - n/2 a multiple of 14?
False
Does 29 divide (-17)/(102/120)*-58?
True
Suppose 0 = 27*u - 59569 + 10429. Is u a multiple of 13?
True
Suppose -i + 4*i + 2*s - 28 = 0, 2*i - 4 = -5*s. Suppose 3*h - 6*h + i = 0. Suppose 19 = -h*p + 75. Is p a multiple of 14?
True
Let u be 24/(-60)*(-1 - -11). Is 7 a factor of -7*2*2/u?
True
Let l = -1243 - -1835. Is 8 a factor of l?
True
Suppose 6*t - 37 = 29. Is t a multiple of 4?
False
Let o = 323 + -224. Does 33 divide o?
True
Let s = 1228 + 116. Is 84 a factor of s?
True
Let h be ((-22)/4)/(1/(-2)). Suppose -5*u + 25 = 5*x, 3*u + 2 = 3*x + h. Is 8 a factor of x/(-5) - (-1494)/45?
False
Let s(m) = -m**3 + 9*m**2 + 9*m + 14. Let v be s(10). Let r(l) = 2*l**3 - 7*l - 9. Is 13 a factor of r(v)?
True
Suppose 34*p = 24199 + 655. Does 15 divide p?
False
Let n(m) be the first derivative of 5*m**3/3 + m**2/2 - 8*m + 22. Is 12 a factor of n(-6)?
Fal