ivide d?
False
Let z(n) = n**2 - n + 2. Let m(c) = -c**3 - 3*c**2 - c + 242. Let k(j) = m(j) + z(j). Does 51 divide k(0)?
False
Let y(u) = 19*u**2 - 10*u - 77. Let n be y(-5). Is -25*(n/50)/((-38)/95) a multiple of 56?
True
Let b be 4/10 + 210/200*12. Suppose -3*i - 11*z + 802 = -b*z, 5*i - 1370 = -5*z. Does 9 divide i?
True
Suppose -56*s + 6930 = -25*s - 21*s. Is s a multiple of 9?
True
Suppose 42 = 2*b - 8*p + 4*p, 5*p - 6 = -2*b. Let n = 60 - b. Does 10 divide n?
False
Let j(u) = -37*u**3 - 5*u**2 + 3*u + 7. Let l(z) = -z**3 + z**2 - 1. Let n(v) = j(v) + 6*l(v). Let c be n(-2). Let y = c - 210. Is 17 a factor of y?
False
Let n be 12/7 + (-18)/(-63). Suppose -g = -n*g + 205. Is g a multiple of 13?
False
Suppose -p - 4*b + 10894 = 0, 3*p - 739*b = -743*b + 32674. Is 22 a factor of p?
True
Is 218 a factor of (1 - 2) + 63/45 + 99406/10?
False
Let i(m) = 434*m**2 + 978*m + 3918. Does 10 divide i(-4)?
True
Suppose -201*v + 6855828 = -2349312 - 1978701. Is 9 a factor of v?
False
Suppose -4*q + 22 = 2, 40 = -5*n + 2*q. Does 42 divide 7/(n*2/(-2088))?
True
Let h = 1 + -3. Let j(n) = 42*n + 7. Let v be j(h). Let c = 125 + v. Is 16 a factor of c?
True
Let u(h) = -2*h + 7. Let n = -15 - -5. Let t be u(n). Is (19 - 1)*t/18 a multiple of 23?
False
Suppose -48385 = 7*z - 22*z + 59615. Is z a multiple of 120?
True
Let i be (-4)/(40/(-45)) - (-1)/(-2). Suppose -u - 5*t + 55 = 0, i*u + 2*t - 37 - 237 = 0. Is u a multiple of 10?
True
Suppose 0 = b - m - 2 - 1, -31 = -2*b - 3*m. Let f be 168/6*178/b. Suppose -f = -5*v - 2*u, 1 = 5*u + 6. Is 11 a factor of v?
False
Let x be 3 - 4 - (-7 + 13). Is -7 + (x + 511 - 7) a multiple of 49?
True
Let y = 2169 + -590. Does 20 divide y?
False
Let d(s) = s**3 - 116*s**2 - 239*s + 725. Is d(121) a multiple of 23?
True
Suppose 4*q - 2*q - 48655 = -y, -q - 5*y = -24332. Suppose 11*h + q = 64*h. Does 6 divide h?
False
Suppose -409 = -3*m - 3*j + 326, 0 = -j - 3. Does 29 divide m?
False
Suppose -447*g + 448*g = -9. Is (2592/63)/g*-7 even?
True
Let c(s) = -14*s**2 + 2*s + 2. Let n be c(-1). Suppose 16*m = 260 + 412. Let h = m - n. Does 18 divide h?
False
Let m = 13 + -9. Suppose -4*z + 2*z + 86 = 0. Suppose -2*r - 3*d - z = -m*r, -76 = -5*r - 3*d. Is r a multiple of 3?
False
Suppose -b - 1 = 0, -3*s + 12 = -5*b - 35. Let d = 9 + -5. Suppose 610 = -d*q + s*q. Is q a multiple of 19?
False
Suppose -7 = -2*w + 3, -3*x = -2*w - 8399. Does 18 divide x?
False
Let s(k) = -k**3 - 5*k**2 - 2*k - 2. Let o be s(-5). Let f be (-18)/(-72) + 614/o + -2. Let q = f + -61. Does 7 divide q?
True
Suppose -j = -3*j - 190. Suppose -2*d - 2*d + 952 = 2*a, 235 = d + 2*a. Let k = j + d. Is k a multiple of 9?
True
Let n(t) = t**3 - 27*t**2 - 30*t + 81. Let z be n(28). Suppose -z*y = 5*y - 6690. Does 23 divide y?
False
Let z(o) be the second derivative of 25*o**4/12 + 5*o**3/2 + 9*o**2 - 16*o + 1. Does 69 divide z(-6)?
True
Let b = -56663 - -89643. Is 10 a factor of b?
True
Let v(j) = -4*j**2 - 117*j - 26. Let i be v(-29). Let c(x) = -25*x - 7. Let s(w) = 26*w + 6. Let o(q) = 5*c(q) + 6*s(q). Is 47 a factor of o(i)?
True
Let l(i) be the third derivative of 62*i**5/15 + 3*i**4/8 + 22*i**2. Let y be l(-3). Suppose -y = -0*b - 9*b. Does 35 divide b?
True
Suppose 2*o = -3*z + z - 80, 2*z = 3*o + 100. Let g = o + 38. Suppose g*t = -15 + 71. Is t a multiple of 14?
True
Suppose 0 = -5*h + 51*h - 1385750. Does 13 divide h?
False
Is (-18146)/(-22) - (-208)/1144 a multiple of 48?
False
Let q be 205/65 - 3 - 48/(-26). Suppose k + q*s - 3 = 7, 6 = -5*k + 4*s. Does 33 divide (0 + k*44)*(-21)/(-14)?
True
Let w(b) = -218*b + 1693. Is w(-30) a multiple of 14?
False
Suppose -3*y + 14*f + 14045 = 9*f, 5*y - 23403 = 3*f. Is 45 a factor of y?
True
Let j(v) = -3*v**3 + 2*v**2 + v. Let i be j(2). Let k = -8 - i. Suppose 0 = -k*b - 102 + 516. Is 7 a factor of b?
False
Let j(h) = -2*h**2 - 85*h - 53. Let z be j(-34). Suppose -2*u - 5*u = -z. Is u a multiple of 15?
True
Let z = -8938 + 10218. Is z a multiple of 16?
True
Let i(q) = 3*q**2 + 18*q - 62. Let g be i(5). Suppose -g*w = -100*w - 312. Does 10 divide w?
False
Let s(j) = j**2 + 9*j - 63. Suppose -6*u - 4*t = -2*u + 140, -3*u + t = 93. Does 46 divide s(u)?
False
Let f(l) = -l**3 + 7*l**2 + 33*l - 23. Let t be f(10). Suppose -4*n = u - 50, -t*u + 8*u - 46 = -3*n. Does 2 divide u?
True
Suppose -2*u = -7*u + 70. Let v(t) = t**3 - 13*t**2 + 3*t + 161. Let h be v(11). Let p = u - h. Is p a multiple of 18?
False
Suppose -s - v + 990 = 0, 3082 = 3*s + 2*v + 110. Suppose 2*f = -4*k + 891 + 461, 4*f + s = 3*k. Is k a multiple of 16?
True
Let n be -2*2/4 - -4. Suppose 5*p - 14 = 2*v, n*v - 38 + 13 = -4*p. Suppose 5*a = p*a + 20. Is a a multiple of 4?
True
Let m = -150 + 112. Let x = 156 + m. Is x a multiple of 11?
False
Is 24 a factor of 83/332 - 17375/(-4)?
True
Let o = -801 + 10332. Is 27 a factor of o?
True
Suppose -6*t - 5 = -7*t, 2*t - 3962 = -k. Is 19 a factor of k?
True
Does 7 divide (-2 + -3)*((-1641)/(-6))/(90/(-72))?
False
Suppose 2*u = 4*u + 4, 2*s = 4*u + 14. Suppose n + s = -l + 12, 0 = -3*l + 5*n + 51. Let z(r) = -r**2 + 17*r - 4. Is z(l) a multiple of 12?
False
Suppose 4*o = -3*r + 12998 + 3677, 3*o + 5*r = 12520. Does 17 divide o?
True
Suppose -2*k - 1967 - 1164 = -d, -5*d + 3*k = -15683. Let a = -1387 + d. Is a a multiple of 24?
True
Let o = -479 + 484. Suppose -2*v + 10*q - 5*q + 381 = 0, -o*v = -q - 964. Is v a multiple of 19?
False
Let u(c) = 62*c + 176. Is u(60) a multiple of 81?
False
Let h = 55 - 45. Let q be 2/4 + 15/10. Suppose q*r - 4*f - 72 = 0, 2*f + 178 = 4*r + h. Is r a multiple of 22?
True
Let p(f) = -f**3 + 9*f**2 + 10*f - 12. Let t be p(9). Let k = 222 - t. Suppose 0 = 7*s - 11*s + k. Is s a multiple of 12?
True
Let o(n) = 69*n + 37 + 30 - 11 - 12 + 6. Does 79 divide o(5)?
True
Let b(f) = 4*f**2 + 3*f - 6. Let w = 57 - 61. Let d be b(w). Suppose y + o - d = 0, -y - 3*o = -3*y + 87. Is 3 a factor of y?
True
Let i be ((-8)/10 - (-13)/(-65))*10. Let u be ((-240)/(-9))/(i/(-75)). Suppose 9*y = 124 + u. Is y a multiple of 6?
True
Let j = -359 + 447. Is (-6)/6 + (j - 7) a multiple of 4?
True
Let w = -1301 + 1580. Is 9 a factor of w?
True
Let h = 112 + -110. Suppose -y = 3*t - 31, h*t - y = 7*t - 55. Is 4 a factor of t?
True
Let q = -6 + 6. Suppose -2*y - 2*y - 9 = -5*s, -2*y + 8 = q. Does 23 divide (-92)/(-10)*(s - -5)?
True
Let l(i) = 3840*i - 2539. Is l(20) a multiple of 37?
False
Suppose -2*v + 0*v + 62552 + 12268 = 0. Is v a multiple of 235?
False
Suppose -28 = -12*d + 5*d. Let t(c) = c**3 - 5 + 2*c**2 - 7*c**2 - 5 + d*c + 2. Is 26 a factor of t(6)?
True
Let m be -4 + -124 + 3 + -4. Let x = m + 228. Let p = x + -70. Does 4 divide p?
False
Suppose -4*i - 5*n + 4908 = 629, -i + 1068 = 3*n. Is i a multiple of 7?
True
Let o(u) = 118*u**2 - 99*u - 6. Is o(-4) a multiple of 34?
True
Suppose -c - 2*v = -240, 6*c + v + 960 = 10*c. Let f = c + -18. Is f a multiple of 5?
False
Suppose -3*s + 199 = -8. Let f = 68 - s. Is 16 a factor of (1 - -3)*f + 84?
True
Let o = -247 - -1304. Suppose 15*l - 1328 = o. Is l a multiple of 18?
False
Suppose -4*x + 40 = 5*s, -x + 2*s - 15 = -3*s. Let a(p) = -6 - x*p**3 - 2*p**2 + p**3 - p**3 + 2*p + 6*p**3. Does 17 divide a(5)?
False
Let f = -5464 + 5924. Is f a multiple of 81?
False
Let z be (-1)/((-7)/1568) + 4. Suppose -4*j = 0, b + 7*j - 12*j = z. Is 2 a factor of b?
True
Is 108/(-288)*8/10 - 385046/(-20) a multiple of 9?
False
Let y(r) = 11*r**2 + 16*r - 29. Let i(t) = 1. Let a(l) = 4*i(l) + y(l). Is a(2) a multiple of 17?
True
Let h = -166 - -115. Let g = 39 + h. Let z(f) = f**3 + 11*f**2 - 13*f + 28. Does 4 divide z(g)?
True
Suppose -4*d - 2*i = 2862, d - 3*i + 72 + 661 = 0. Let w = 802 + d. Does 21 divide w?
True
Suppose -78*i + 79*i - 2228 = -4*t, -3*i - 5*t + 6670 = 0. Is 222 a factor of i?
True
Let y(g) be the second derivative of g**3/2 + g**2/2 + 28*g. Let w be y(1). Suppose -f = -3*m - 3*f + 363, -w*m = -4*f - 464. Is 17 a factor of m?
True
Let b(m) = -218*m + 3237. Is 3 a factor of b(14)?
False
Suppose 0 = -11*d + 3 - 3. Suppose d = u + 26 - 118. Is 31 a factor of u?
False
Let m = 442 - 439. Is (m + 9/(-2))*616/(-6) a multiple of 11?
True
Let z = 161 + -196. Does 32 divide z/14 + 3500/8?
False
Let n = -742 + 348. Let w = n - -734. Is w a multiple of 67?
False
Supp