j - 39 = 0, -y = -4*z + j. Does 8 divide z?
True
Suppose 12512 = -5*s - z + 48298, -2*s + 14328 = -3*z. Does 11 divide s?
False
Suppose -z = -3*n + 10962, 2*n + 18*z - 14*z - 7308 = 0. Does 174 divide n?
True
Let q = 617 - 612. Suppose -5*j = t + t - 34, 3*t + q*j = 46. Does 12 divide t?
True
Let h(w) = 1481*w**2 - 16*w + 20. Is 36 a factor of h(4)?
True
Suppose 1606 = -182*u + 187*u - 2*t, 2*u + t - 637 = 0. Does 10 divide u?
True
Let x be -3 - -31 - 4 - 0. Suppose 0 = -x*d + 12*d + 996. Is 35 a factor of d?
False
Let o(m) = 8*m**2 + 11*m - 4. Suppose 0 = 5*l + 6*u - 8*u - 19, 0 = 2*u + 4. Is 5 a factor of o(l)?
False
Suppose 0 = -4*s + 8, r - 1352*s + 1349*s - 2931 = 0. Is r a multiple of 5?
False
Is (2304/(-960))/(2/(-30120)) a multiple of 157?
False
Suppose 5*q + 2*w = 79602, -3*q - 9*w + 6*w + 47772 = 0. Does 42 divide q?
True
Let h(j) = 3*j**2 + 12*j - 5. Let w be h(-5). Let g be 590/w + (2 - 0). Let t = -35 + g. Is t a multiple of 13?
True
Let k = -3153 + 4137. Is k a multiple of 4?
True
Suppose 0 = -v + 129 + 89. Suppose 3*p - p = v. Let u = p + -46. Is u a multiple of 21?
True
Suppose -o = a + 4, -3*o + 5*a + 20 = -0*o. Suppose q - 244 + 52 = o. Suppose k - q = -3*k. Is 16 a factor of k?
True
Let m be 0 + 131 + (-7 - -2). Is 7 a factor of -1 + 0 + 1 + m?
True
Let z = -25 - 6. Let g be (z/3 - 1)/(2/(-3)). Let k(v) = v**3 - 18*v**2 + 19*v - 14. Does 5 divide k(g)?
True
Suppose 2*d + 13 = d. Let n(j) = 5*j + 73. Is 4 a factor of n(d)?
True
Suppose 0 = -0*a - 27*a + 12996 + 131481. Does 74 divide a?
False
Suppose 36 = 2*a + 7*a. Let x be 11/(-22) - (-2)/a. Suppose x = -38*t + 40*t - 262. Is 14 a factor of t?
False
Let n(j) = -25*j - 85. Suppose 4*w + 37 = 1. Is n(w) a multiple of 3?
False
Let c(i) be the second derivative of -3*i**2 + 0 - 1/2*i**3 - 14*i. Is 3 a factor of c(-6)?
True
Let n = 2 - 2. Let l be (84 - (-1 + 8)) + (2 - 1). Let m = l + n. Is 13 a factor of m?
True
Suppose 39*m = 14*m - 375. Let n(q) = -q**3 - 13*q**2 - 13*q + 27. Is n(m) a multiple of 28?
True
Is 31 a factor of 2503424/381 + 1 + (-2)/(-6)?
True
Let s(l) be the second derivative of l**3/6 - 5*l**2 + 18*l. Let b be s(7). Let z(t) = 13*t**2 + 8*t - 3. Is z(b) a multiple of 18?
True
Suppose 39*c - 52964 + 29256 - 66148 = 0. Is 72 a factor of c?
True
Let s(d) = -9*d**3 - 2*d**2 - 6*d + 2. Let i be s(4). Let h = -858 + i. Does 33 divide h/(-9)*1 + (-1)/3?
True
Is 137 a factor of 24/42*(-6 - (-886543)/14)?
False
Suppose 8*d = -953 - 815. Let f = d + 85. Let a = f + 243. Is 38 a factor of a?
False
Let h be (55/100 - 369/205)/(1/(-4)). Suppose 4*v + 8 = -2*t, -4*v - 12 = -0. Suppose -610 = -10*g + h*g - 5*k, 0 = t*g + k - 248. Is 26 a factor of g?
False
Let c be (-1)/((6/15)/(-2)). Suppose 5*z + 2*u = 251, -2*z - u + 86 = -c*u. Suppose j + 1 - z = s, 0 = -j - 3*s + 32. Is 11 a factor of j?
True
Let m(k) = -2*k**3 - 51*k**2 - 21*k - 41. Let g(w) = -w**3 - 25*w**2 - 11*w - 20. Let d(u) = -13*g(u) + 6*m(u). Let n = -648 + 630. Is d(n) a multiple of 16?
True
Let l(y) = 59*y**2 - 3*y + 3. Let m = 70 + -69. Does 12 divide l(m)?
False
Is 11 a factor of (-8536)/(-120) - (-22)/(-165)?
False
Is 8 + (-738)/(-3) - (0 + 1) a multiple of 3?
False
Let n be (4 - -7) + (-1)/(1/3). Suppose -n*j = -h - 3*j + 40, 159 = 3*h - 2*j. Is 10 a factor of h?
False
Let h be 2/4*66550/11. Suppose -118*l = -123*l + h. Does 31 divide l?
False
Suppose -46*d + 51*d = 3190. Suppose 0 = 8*v - d + 230. Suppose -p = -52 - v. Does 40 divide p?
False
Let g(b) = -24*b**3 + b**2 - 2. Let y(u) = -6*u - 56. Let j be y(-9). Is g(j) a multiple of 25?
False
Suppose -465012 = -33*k - 2*k - 110812. Does 44 divide k?
True
Suppose 0 = -5*n + 5*r - 315, -5*r = -2*n - n - 179. Let s = n + 54. Let h(p) = -p**3 - 14*p**2 - 3*p. Is h(s) a multiple of 21?
True
Let u(t) = -t**3 + 41*t**2 + 22*t + 139. Is u(39) a multiple of 23?
False
Let o = -572 + 2215. Is o a multiple of 10?
False
Let m(t) = -435*t + 10744. Is m(-102) a multiple of 104?
False
Let u(o) be the second derivative of -2*o**3/3 + 66*o**2 - 8*o. Is u(-27) a multiple of 20?
True
Suppose -5*c = -115*j + 117*j - 17227, -c + 3449 = 4*j. Is c a multiple of 29?
False
Suppose -180*w - 179*w + 12384365 = 1447071. Is 48 a factor of w?
False
Let q(g) = -168 + 72*g - 41*g - 77 - 21*g - 42*g. Is q(-12) a multiple of 3?
False
Let b = 30 + -30. Suppose -5*z + 30 + 40 = b. Suppose 10*k = 12*k - z. Is k a multiple of 2?
False
Suppose 4*d = -4*z + 2*d + 16678, 3*d + 16693 = 4*z. Is 9 a factor of z?
False
Let f be 863/4 + 7/28. Suppose 73 - 537 = 4*j. Let o = j + f. Does 25 divide o?
True
Let b(v) = v + 18. Let d be b(-6). Suppose -d*m + 60 = -8*m. Suppose -m = 3*f - 5*f + 5*c, 4*f - 3*c = 23. Does 3 divide f?
False
Let v = 35448 - 31560. Is v a multiple of 16?
True
Let d(b) be the third derivative of 0 - 3/20*b**5 - 1/120*b**6 + 15*b**2 + 0*b + 13/6*b**3 + 13/24*b**4. Is 14 a factor of d(-11)?
True
Let x(t) = -t**3 + 10*t**2 + 10*t + 23. Suppose 3*h - 2*n = -211, -2*h - 149 = -4*n + n. Let y = h - -78. Is x(y) a multiple of 4?
True
Let c(u) = -u**2 + 18*u - 70. Let r be c(6). Suppose 3*q + 275 = o, r*q = 3*o + 14 - 874. Does 7 divide o?
False
Suppose -11*y + 18*y + 19437 = 18*y. Does 3 divide y?
True
Let k(a) = 1762*a + 850. Is k(5) a multiple of 20?
True
Suppose -u - 96 = -n, 4*n - 112 = 3*n - 3*u. Let s = n + 15. Suppose 3*p + 4*x = 175, -2*p = x - 0*x - s. Is p a multiple of 6?
False
Let q = -30 - -47. Suppose 2*s = 5*o - q, -20 = -2*s - 3*s. Suppose -3*n + 111 + 76 = o*f, n - 34 = 4*f. Is n a multiple of 27?
True
Let g be -1 + (-1 - -2) + 4. Suppose 17*p - g*p - 3159 = 0. Is p a multiple of 27?
True
Suppose 2*s - 2*l + 278 = -2*s, 2*s + 3*l + 135 = 0. Let n = 78 + s. Is n a multiple of 2?
False
Suppose 350531 = 68*n - 49*n. Is 61 a factor of n?
False
Suppose 5*l - 5*t = 102795, -34*t = 2*l - 31*t - 41158. Does 20 divide l?
False
Let c(f) = 3*f**3 - 167*f**2 - 135*f - 202. Is 15 a factor of c(58)?
False
Let o(t) = 693*t**2 + 9*t - 143. Does 15 divide o(4)?
False
Let t be (-120)/(-9) - 7/21. Suppose t*s - 404 = 571. Is s a multiple of 15?
True
Let c(m) = -2 - 7*m**2 + 12*m + 10*m**2 + 14. Does 9 divide c(-5)?
True
Let c = 30192 - 6445. Is c a multiple of 69?
False
Let l(z) = -z**3 + 9*z**2 - 5*z - 12. Let p be l(6). Does 25 divide (-11)/(p/(-210)) + 5?
False
Suppose i + 10774 = 4*y, y - 13*i = -11*i + 2697. Is y a multiple of 10?
False
Suppose -4*u + 1 - 25 = 0, 45906 = 4*r - u. Is r a multiple of 17?
True
Let u(h) = h**2 + 114*h + 318. Is 19 a factor of u(-124)?
True
Let v be (-4215)/12 - 78/104. Let c = -145 - v. Is c a multiple of 29?
False
Let s(v) = 2*v**2 + 13*v - 11. Let d be s(9). Let x = d + -478. Let p = 299 + x. Is p a multiple of 26?
False
Let u(y) = 3*y**3 - 4*y**2 - 2*y - 1. Let o be u(4). Suppose z + z - 5*k = o, 3*z - 221 = -k. Is z a multiple of 4?
True
Suppose 7*c - 4*c + 3*t = 9327, 3*c + 5*t - 9317 = 0. Suppose -69*u + 87*u = c. Is u a multiple of 8?
False
Let h(p) = -6*p - 261. Let j(g) = g. Let q(w) = -h(w) - 3*j(w). Does 29 divide q(0)?
True
Let x = -50 - -54. Suppose 0 = 4*u - h - 59, -4*u - x*h = u - 79. Does 2 divide u?
False
Let y(i) = 26*i**2 - 87*i - 234. Is y(-14) a multiple of 20?
True
Let c(p) = p**3 + p**2 + p + 3. Let x be c(0). Suppose -2*q = 4*n - 1291 + 357, 3*n = -x*q + 1404. Does 83 divide q?
False
Let y be 7/4 + ((-21)/12 - -2). Let r be 105/y*12/(-9). Let b = 94 + r. Is 12 a factor of b?
True
Is 9 a factor of 10596 - ((-6)/(4 - 6) + -13)?
False
Let z = 2166 - 576. Is z a multiple of 15?
True
Suppose 764 = -0*x + 2*x. Let c = 684 - x. Is 32 a factor of c?
False
Is (-2022)/(-15)*(-36 + 51) a multiple of 64?
False
Let p = 18589 - 10513. Does 124 divide p?
False
Let h be (5/(-2))/(-2*5/220). Does 50 divide 1*499 + 55/h?
True
Suppose -82*y - 56214 = -366830. Does 35 divide y?
False
Let z(y) = y**3 + 11*y**2 + 8*y - 13. Let q be z(-10). Suppose 0 = 3*p + 1 - q. Does 3 divide ((-391)/(-34))/(1/p)?
False
Let w = -120 - -124. Is 2 a factor of ((-8)/(-6))/(w/27)?
False
Let a = 31 - 19. Suppose -114*b + 111*b = -a. Suppose -21 = -b*f + 99. Does 5 divide f?
True
Let a(d) = -45*d**2 + 2396*d + 19. Does 17 divide a(24)?
True
Suppose 4*r - 60682 = 5*y, 2*y = 23*r - 25*r + 30332. Is r a multiple of 32?
True
Suppose 8 = w - v - 0*v, 0 = 5*v + 25. Let a