0. Let c(n) = -4*d(n) + 5*t(n). Is 8 a factor of c(7)?
False
Suppose 5*n + 3 = -7. Let z(q) = 5*q**3 + 4*q**2 + 4*q - 2. Let v be z(n). Let l = v - -39. Is l a multiple of 5?
True
Let k be (-1 + 2/4)/(4/(-9768)). Suppose 0 = -9*t + 1668 + k. Does 21 divide t?
False
Suppose 0 = -51*h + 488561 - 154390 + 236162. Is 117 a factor of h?
False
Does 14 divide 3407 - (122/(-12) - (-44)/264)?
False
Let h = 403 - 398. Suppose d + 5*k - 998 = 0, 2*d + 9*k - 2020 = h*k. Is 11 a factor of d?
False
Let b = 78 - 67. Suppose -16*n + b*n + 13540 = 0. Is 38 a factor of n/12 - -1*1/3?
False
Let d(c) be the second derivative of -c**4/3 - 41*c**3/3 - 31*c**2 + 128*c - 2. Does 3 divide d(-19)?
False
Does 19 divide 74/(-259) + 48196/(-28)*(1 + -2)?
False
Suppose 9*i + 2*i = 11. Let q be -1 + i + (3 - (3 + -4)). Suppose 2*a + 2*m = -0*a + 108, m = -q*a + 216. Is 8 a factor of a?
False
Suppose g - 4*w - 14056 = 0, -w + 42155 = 5*g - 2*g. Suppose 0 = 36*t - 48*t + g. Does 55 divide t?
False
Suppose -3*z + o + 76 = 0, -2*z - 4*o + 43 + 31 = 0. Suppose 57*r = z*r + 2970. Is r a multiple of 11?
True
Suppose -w + 194 = -37. Let p be (-2)/8 - w/(-28). Is 462/8 + 2/p a multiple of 24?
False
Let d(i) = i**2 + i - 1. Let k(n) = 9*n**2 + 11*n - 4. Let z(j) = -10*d(j) + 2*k(j). Let m be z(-2). Suppose -4*r = -m*r + 132. Is 22 a factor of r?
True
Suppose 127 = g - 59. Let c = 261 - g. Let h = 141 - c. Does 11 divide h?
True
Let y(q) = 2*q**2 - 12*q + 19. Let i be y(6). Suppose 19 = w + i. Suppose w*u = 3*z + u - 341, -5*z = u - 565. Does 14 divide z?
True
Let k = -31 + 31. Suppose f - 5*v - 23 = -k*f, 2*v + 2 = -2*f. Suppose -360 = -6*h - f*h. Is 8 a factor of h?
True
Let s(o) = o**3 + 52*o**2 - 6*o + 35. Is 6 a factor of s(-16)?
False
Let r = -11 + 24. Suppose -2*s - 3*v - 1 + r = 0, 5*s = -4*v + 16. Suppose 371 = 4*w - s*h + h, 4*h = -5*w + 472. Does 23 divide w?
True
Let z be (2/(-6))/(-7 + 416/60). Suppose -4*k - z = k, 5*w - 148 = 3*k. Let x = -19 + w. Is x a multiple of 2?
True
Let a(u) = -1318*u + 1009. Is 13 a factor of a(-1)?
True
Suppose -3*u = -8*u + 10. Suppose -3 = -u*r + 3*o, -4*o = 4*r - 2*o - 14. Suppose 0 = 4*m + r*b - 219, 5*b - 16 + 173 = 3*m. Does 27 divide m?
True
Let q be (3965/2 - 0) + 9/6. Does 26 divide q/6 - 17/(-51)?
False
Let c = 43258 - 41872. Is c a multiple of 13?
False
Does 5 divide (997696/2176)/(7/228)?
False
Suppose 5*m = 2106 + 834. Suppose -5*p + m = r + 36, -3*p - 5*r + 340 = 0. Is p a multiple of 5?
True
Suppose 0 = -11*z - 45053 + 106188 + 158315. Is z a multiple of 50?
True
Suppose 0 = 68*m - 26*m - 48384. Does 6 divide m?
True
Let s(y) be the first derivative of 3*y**3 - y**2/2 + 7*y - 27. Is 16 a factor of s(-8)?
False
Let y be (-232)/(-1) + -4 + (4 - 4). Let g = y - 144. Does 7 divide g?
True
Let s(q) = q**3 - 46*q**2 + 6*q + 107. Does 23 divide s(48)?
False
Let g(z) = -428*z + 8327. Is 2 a factor of g(15)?
False
Let j(s) = -3*s**3 + 3*s**2 + 2*s - 3. Let v be j(-2). Suppose -v*g = -26*g - 9. Suppose 3*y - 227 = -4*z - 2*y, 199 = g*z - 2*y. Is z a multiple of 18?
False
Suppose 0 = -k + 5*k + 3*u + 74, k = 2*u - 24. Let a = 18 - k. Let s = a + -14. Is s a multiple of 9?
False
Does 75 divide (8 + -1 + (-46660)/(-80))*4?
False
Let j = -4630 + 2452. Let h = -1103 - j. Is h a multiple of 43?
True
Let l(t) = -3*t**3 - 55*t**2 - 74*t + 124. Is 66 a factor of l(-27)?
False
Let l = 10930 + -9863. Does 48 divide l?
False
Let s be 7 + (-4)/((-16)/12). Let h be 3423/(-105) - 4/s. Let n = 66 + h. Does 6 divide n?
False
Let l(d) = -122*d - 5. Suppose -5*t + 4 = -3*c + c, 5*c - 9 = 3*t. Let j be l(c). Let f = j + 527. Is 39 a factor of f?
True
Let k(t) = t**2 + 8*t - 20. Let n be k(-10). Suppose n = -2*z - 5*z + 2933. Is 60 a factor of z?
False
Suppose 116*d - 113*d - 5*h - 56265 = 0, d - 4*h = 18748. Is d a multiple of 8?
True
Suppose -2*c = 4*v - 214, 2*c = v + 116 + 108. Suppose -5*a + 296 = 1100*w - 1097*w, 4*w - a = 410. Let z = w + c. Is z a multiple of 10?
False
Let h = 32 - 109. Let b = -84 - h. Is b/((-14)/88) - 4 a multiple of 8?
True
Does 16 divide (-3269)/(-21) - (-30)/(-9)*21/105?
False
Let c = 38 + -36. Suppose -3*j - 2*d = -221, -2*j = -c*d + 4*d - 144. Suppose -469 = -4*f + 5*l, 3*f + l - j = 289. Is 27 a factor of f?
False
Suppose 4*t - 2*h - 11 - 11 = 0, 2*h + 10 = 0. Suppose 2*c + 39 = -t*q + 830, -5*q + 1975 = 5*c. Does 11 divide c?
False
Does 23 divide 8/5*(-3925)/628 - -17938?
False
Suppose -5*l - 15 = 0, -3039 - 2973 = -5*b + 4*l. Suppose 0 = 40*h - 32*h - b. Is 15 a factor of h?
True
Suppose -5*f = -19*f - 28. Let y be ((-298)/12)/(f/12). Let c = y - 140. Is c even?
False
Let w be ((-9)/2)/(2 - (-531)/(-270)). Is 7 a factor of (-2845)/w + 2/(-27)?
True
Suppose 69*h - 133*h + 775951 + 488945 = 0. Does 38 divide h?
False
Suppose -3*z = -20*z - 51. Let q(s) = -8*s**3 - 18. Does 17 divide q(z)?
False
Let w(c) = -2*c**3 + 4*c - 2. Let b be w(3). Let l = -24 - b. Suppose -l*z - 520 = -25*z. Is 52 a factor of z?
True
Suppose 0 = -215*i + 654908 - 19153. Does 88 divide i?
False
Is 768/(-7296) + ((-1031780)/(-38) - 1) a multiple of 47?
False
Let u(v) = -24*v + 3. Let f be u(3). Let b = f + -30. Let p = b + 146. Is 8 a factor of p?
False
Suppose -122*y + 405422 = -28*y. Is y a multiple of 53?
False
Let n = 1836 - -829. Is 5 a factor of n?
True
Suppose 36*h + 21*h + 23*h - 201840 = 0. Is 9 a factor of h?
False
Suppose 2057*q - 2064*q + 16519 = -1569. Does 34 divide q?
True
Let l(x) = -x + 507. Let g be l(0). Does 24 divide g + (4/(-6))/(70/(-315))?
False
Let y(x) = -851*x - 44. Is y(-2) a multiple of 22?
False
Let i(t) = -t**2 + 2*t - 3. Let y be i(2). Let d be 17/y*-51 - 4. Suppose -3*k - 2*w + 84 = -82, -5*k - 5*w + d = 0. Does 5 divide k?
False
Let w(n) = 6 + 8 + 103*n + 6 - 2*n. Is w(3) a multiple of 19?
True
Suppose -540085 = -130*g + 51047 + 186918. Is g a multiple of 105?
True
Suppose 2*y - 2*d - 378 = 0, -y + 170 = 3*d - 27. Let s(t) = 7*t**2 + 4*t - 4. Let g be s(4). Let b = y - g. Does 33 divide b?
False
Suppose 38*i + 59216 = 54*i. Is 72 a factor of i?
False
Suppose 2*m - 617*i = -613*i + 2934, 4*m = 4*i + 5836. Is m a multiple of 49?
False
Let p(q) = 8*q - 45. Let l be p(6). Suppose -l*g = d + 13, 24 = -4*d - 5*g - 63. Is 1 + (21/d - (-239)/4) a multiple of 5?
True
Let f = -108456 - -154614. Is 314 a factor of f?
True
Suppose -2*m - 5*l + 35 = 0, 3*l + 4 + 6 = 5*m. Suppose -4*n = 3*o - 4949, -3*n + 2019 = -m*o - 1729. Does 94 divide n?
False
Let p be (-2)/(2*6) + (-165)/90. Is 15 a factor of p/(-5) - (-11268)/30?
False
Let x(h) = -287*h - 1081. Is x(-5) a multiple of 59?
True
Let g = 18807 + -15845. Does 32 divide g?
False
Let q(p) = 3*p - 100. Let i be q(24). Does 92 divide 2484/126*(0 - i)?
True
Suppose 102*d = 18369 + 3153. Is 20 a factor of d?
False
Does 12 divide 7 + (-2623)/((-17 + 6)/11)?
False
Let k(h) = -2*h**2 - 10*h + 2. Let w be k(-5). Suppose 0*r = w*r - 180. Is r a multiple of 9?
True
Let w(j) = 3*j**2 + 5*j. Let i be w(6). Suppose -94 - i = -8*v. Is v a multiple of 29?
True
Suppose p - 2620 = -4*p + 17210. Is 2 a factor of p?
True
Let i(r) be the first derivative of -11*r**2/2 - 7*r - 1. Let q = -88 + 86. Is i(q) a multiple of 3?
True
Let w be ((-11)/(-2))/(6/12). Suppose n = w - 6. Suppose 0*p = -n*p + 135. Does 13 divide p?
False
Let u(a) = 2*a**2 + 12*a + 2. Let p be u(-6). Suppose -3*s + p*d + 23 = 0, -2*d + 27 = 4*s - 27. Suppose s*j - 330 = 8*j. Is 5 a factor of j?
True
Does 342 divide (81340/166)/((-1)/(-19))?
False
Suppose -t - 1 = -4*m + 15, -m + 3*t = -15. Suppose i + m - 28 = 0. Let f = i + -6. Is f a multiple of 8?
False
Suppose 3*g = -9*g + 1308. Suppose -8*m = -g - 83. Suppose 0 = m*q - 25*q + 28. Does 21 divide q?
False
Let n(i) = -i**2 - 33*i - 54. Let f be n(-31). Does 44 divide f/3 - 15218/(-42)?
False
Let h(w) = 3*w**2 + 2*w - 556. Is 5 a factor of h(-35)?
False
Suppose 5*b - 2*y - 10084 = 0, 4*b + 2*y - 7316 - 726 = 0. Is b a multiple of 19?
True
Suppose 2*x - 3*k - 18 + 25 = 0, -x + 4*k + 9 = 0. Let v = 322 + x. Is v a multiple of 6?
False
Is 123 a factor of (5890/20)/((-31)/(-62))?
False
Let u(g) = 3*g**2 + 12*g + 36. Let j be u(-7). Let r = 179 - j. Does 40 divide r?
True
Let w be (-159)/(-4) - 1/(-2 - 2). Suppose -4*i - 8 = 0, 2*r - 2*i - w = -4*i. Let n = 54 - r. Does 8 divide n?
Tr