 -7 = -2*z + 5. Suppose -2*w + 432 = z*w. Does 13 divide w?
False
Let i = -2604 + 4224. Does 70 divide i?
False
Let c(d) = -d**2 - d. Let k be c(0). Let i be 5 - 5/(5 - 0). Suppose k = -4*b + 3*f - 0*f + 126, -5*f + 110 = i*b. Does 6 divide b?
True
Suppose d - 3*g = 4, 5*d - 4*d - 4 = -4*g. Let h = 2 - d. Is ((-1)/(-2))/(h/(-32)) a multiple of 5?
False
Let f(o) = o**2 + 8*o + 4. Let a be f(-8). Suppose 4*u = -a*k - 5 + 13, u = 5*k + 8. Does 10 divide (-2)/2 + k - -51?
False
Let p(i) = -i**3 - 3*i**2 - 4*i - 2. Let m be p(-2). Suppose 10 + 0 = n + 5*t, -2*n + 5*t - 10 = 0. Suppose 5*w = -4*r + m*w + 20, n = -w. Is r a multiple of 5?
True
Does 13 divide (-312)/(10/(-80)*6/1)?
True
Let c(d) = -4*d + 12. Suppose 24*k - 20*k = 4. Let z(x) = 1. Let n(h) = k*c(h) - 3*z(h). Is n(-8) a multiple of 18?
False
Suppose -4*b + c + 522 = -b, 3*c = b - 166. Is 25 a factor of b?
True
Suppose 4*y - 2*b = 44 + 226, -y - 4*b = -54. Suppose -4*d + y = -62. Is ((-6)/4)/((-3)/d) a multiple of 16?
True
Let f(s) = 9*s - 24. Let i be f(4). Let v = 37 + i. Is v a multiple of 26?
False
Let z = -10 + -10. Let k = z - -5. Let q = k + 33. Is q a multiple of 9?
True
Let j = -186 - -84. Is (-11)/11 - (j - (1 - 2)) a multiple of 32?
False
Let q = 4 + -3. Let o be -1 + (-16)/(-4) - q. Let r(l) = 22*l + 4. Is 11 a factor of r(o)?
False
Suppose 0 = 23*m - 62*m + 6006. Is 11 a factor of m?
True
Suppose -4*l - 27 = -5*w, 0*w + 2*w - 9 = l. Is 5 a factor of w*325/30*2?
True
Let q(t) = t**3 + 11*t**2 + 7*t + 6. Let v(s) = 6*s - 5*s - s - 10*s**2. Let r be v(1). Is 10 a factor of q(r)?
False
Let o(c) = 8*c + 14. Let n be o(17). Suppose -f = a - 142, -a + 3*f + n = -0*a. Is 16 a factor of (-80)/24*a/(-10)?
True
Let b(x) = 16*x - 19. Let d be b(10). Suppose -d = -c + 459. Is 6/(-27) + c/27 a multiple of 22?
True
Let j be ((39/(-26))/(2/(-4)))/1. Suppose 2*v - 18 = 4*g, 3*v - 4*g = 21 - 2. Does 5 divide j/(-1*v/(-5))?
True
Suppose -o + 4*o = 9. Let w be (-1 + o)*-1 + 6. Suppose -100 = -4*k + a, w*k + 2*a - 88 = -0*a. Is 6 a factor of k?
True
Is 97 a factor of 50/(-120)*4*14772/(-10)?
False
Let b(g) be the first derivative of -1 + 2*g - 4*g**2 - 1/3*g**3. Is b(-7) a multiple of 3?
True
Let r(o) = 2*o - 2 + 43 + 19. Does 20 divide r(0)?
True
Let k(a) = 21*a - 17. Is k(2) even?
False
Does 31 divide 1 + -5 + -51*217/(-21)?
False
Let u = 4339 - 3058. Is 28 a factor of u?
False
Let a(x) = 17*x**3 - 11*x**2 - 2*x - 4. Let o be a(3). Let h = -150 + o. Is 13 a factor of h?
False
Let h(x) = -121*x + 3. Does 10 divide h(-2)?
False
Let u(a) = 59*a + 84. Is 11 a factor of u(11)?
False
Suppose -10*l + 1146 + 3444 = 0. Does 51 divide l?
True
Suppose -16*q = -12*q + 8. Is 10 a factor of q/(-4) + (-388)/(-8)?
False
Suppose 958 = 5*y + g + 218, -5*y + 715 = -4*g. Does 23 divide (-6)/(-63) + 25123/y?
False
Suppose -4 = 2*f, -h - f + 838 = 3*f. Is h a multiple of 47?
True
Suppose -j + 6*j = -20, 5*z - 3*j - 37 = 0. Suppose -z*w = -20 + 5. Suppose c = -w*c + 52. Is 8 a factor of c?
False
Let w(z) = 3*z**2 - 14*z + 78. Is w(12) a multiple of 19?
True
Let u be (45/(-3))/(-5 + 2). Suppose 298 - 28 = u*o. Is 3 a factor of o?
True
Let y(k) = -6*k - 13. Let c be y(-8). Suppose g = -5*j + 4*g - 3, 5*j = -5*g - c. Is -2 + j + 3 - -12 a multiple of 5?
True
Suppose 0 = 2*c - 2*n - 40, -3*c - n + 13 + 31 = 0. Let u(i) be the first derivative of i**4/4 - 5*i**3 - 7*i**2 - 22*i + 1. Is 5 a factor of u(c)?
True
Suppose 3*p = 5 + 7. Suppose -5*j - p*n = -855, 4*j - 2*n - 720 = 2*n. Is 62 a factor of j?
False
Is 5 a factor of ((-3266)/(-69))/((-1)/(-3))?
False
Let v = 344 + -295. Is v a multiple of 2?
False
Let q(c) = 3*c**3 + c**2 - c + 7. Let g be q(-3). Let l = g - -89. Does 9 divide l?
True
Suppose -16*v + 2442 = -150. Let d = v + -109. Is 8 a factor of d?
False
Let n(g) = -26*g**2 + 12*g + 14. Let w(b) = 9*b**2 - 4*b - 5. Let l(a) = -6*n(a) - 17*w(a). Is l(8) a multiple of 23?
True
Suppose 4*c - 4008 = -8*c. Suppose -c + 122 = -2*x. Is x a multiple of 8?
False
Let u(n) = -2*n**3 + 3*n**2 + 2*n + 3. Let w be u(-2). Let c = -129 + 110. Let r = c + w. Does 8 divide r?
True
Let y(z) = -101*z - 107. Does 11 divide y(-3)?
False
Let a = -175 + 268. Suppose -a = -2*p + 173. Does 19 divide p?
True
Suppose 2*k = 15*k - 26. Suppose -k*l - 198 = -f, 0 = -3*f - l + 426 + 147. Does 18 divide f?
False
Let i be (-8141)/21 - 3/9. Let u = -273 - i. Does 30 divide u?
False
Suppose -x - 4*f - 6 + 21 = 0, -5*x = -3*f - 29. Suppose -x*v + 140 = -70. Does 15 divide v?
True
Let t = -33 - -131. Does 15 divide 90/7*t/21?
True
Suppose 4*l = 16, -5*l = -3*d + 1362 + 130. Is d a multiple of 18?
True
Suppose 0 = -3*s - 0*s + 12. Suppose -5*u + 3*f + 39 = 0, 3*f + 47 = s*u + 14. Let c(l) = 7*l - 7. Is c(u) a multiple of 17?
False
Let f(o) = o**3 + o**2 + o. Let k be f(3). Suppose 2*z + k = 3*z. Let x = -17 + z. Is x a multiple of 21?
False
Suppose -13 - 25 = -2*d. Let h = d + -10. Let n(x) = 5*x - 13. Is n(h) a multiple of 26?
False
Let k be ((-15)/9 - -2)*21. Suppose -k*d = -2*d. Suppose -4*z - 5*s = 1 - 16, d = z + 5*s + 15. Is 8 a factor of z?
False
Suppose 2*p + 5 = 7*p. Let m(d) = -d**2. Let b(z) = -14*z**2 - 1. Let t(q) = -b(q) - 2*m(q). Does 17 divide t(p)?
True
Let y be 3 + -11 + 1 + 4. Let m(v) = -2*v**3 + 3*v**2 - 4*v - 3. Is m(y) a multiple of 13?
False
Let w(a) = -10*a - 25. Let g be w(-4). Suppose 4*s + 0*s + 12 = 0. Let n = g + s. Is 6 a factor of n?
True
Let q(s) = -25*s - 2. Does 16 divide q(-2)?
True
Let t(h) = h**2 + 4*h + 10. Let x = -47 - -47. Is t(x) a multiple of 10?
True
Suppose -27*a = -4679 + 1277. Is a a multiple of 37?
False
Suppose -21 = -2*n - 1. Suppose n*t = 6*t + 464. Is 29 a factor of t?
True
Let t be -2 + 5 + 3 + -4. Suppose t*b = 3*v + 11, 2*v - 62 = -5*b - 2*v. Does 7 divide ((-4)/3)/(b/(-60))?
False
Let d = -37 - -68. Suppose 2*r + 3*j - 4 = -0*r, -5*r + 3*j = -d. Is r a multiple of 4?
False
Does 6 divide 8/(-20) - 6824/(-10)?
False
Let j = 48 + -40. Is 17 a factor of (-2346)/(-9) + (j/6)/4?
False
Let g = 1582 + -972. Is g a multiple of 16?
False
Suppose b - 3 = 0, -j - 474 = -6*j - 3*b. Is j a multiple of 5?
False
Let o(m) = -m**3 + 27*m**2 + 26*m + 60. Let r be o(28). Suppose -p - 4*t = -0*t, 2*p + 2*t - 6 = 0. Is (22/p)/(r/88) a multiple of 30?
False
Suppose 5*t + 5*d - 141 - 219 = 0, -2*t + 5*d = -172. Suppose 3*r - t = -r. Is 3 a factor of r?
False
Suppose 3*n = -36*n + 27105. Is 23 a factor of n?
False
Let z = -8 - -11. Suppose -z*t - 281 = 5*c, -t - 3*c - 79 = -5*c. Let a = t - -135. Is a a multiple of 25?
False
Is 61 a factor of (-7 + (-6)/(-3))/(-1) + 255?
False
Suppose -104*b = -98*b - 5796. Does 7 divide b?
True
Let a = -139 + 52. Is 29 a factor of a/(4/10*10/(-12))?
True
Suppose 3*h - 65 = 2*h. Let f = 100 - h. Is f a multiple of 6?
False
Suppose -2*q = -27*n + 30*n - 2110, 0 = 4*q - 8. Is n a multiple of 18?
True
Let l(u) = -8*u + 38 + 3 + 5*u. Does 8 divide l(-5)?
True
Suppose -104*k = -102*k + 3*a - 4609, -5*k + 2*a = -11494. Is k a multiple of 134?
False
Suppose 13*k - 28287 = -8839. Does 40 divide k?
False
Let z(h) = 2*h**2 - 13*h + 15. Let c be ((-6)/(-4))/(33/220). Is z(c) a multiple of 12?
False
Suppose -309 = -2*p + 63. Is 8 a factor of p?
False
Let d(g) = -g**3 - 13*g**2 - 11*g + 2. Let f be d(-12). Is 2 a factor of (-4)/f - 532/(-70)?
True
Suppose 5*g - 14 = -3*s, 26 = 4*g - 0*g - 5*s. Is 35 a factor of (-2 - -7)/(g/104)?
False
Suppose -105*t + 100*t = -2055. Is t a multiple of 10?
False
Let c(h) = h**2 + 10*h - 10. Let g be c(-5). Let k = 52 + g. Is 17 a factor of k?
True
Let r be 3 + -6 + 3 + 3. Suppose -2*o - 4*x + 181 = r*o, 4*x - 107 = -3*o. Is o a multiple of 17?
False
Let i(s) = -7*s**2 + 9*s - 1. Let t be i(5). Let y be 381/(-9) + 4/(-6). Let n = y - t. Is n a multiple of 11?
True
Let s(q) = 142*q**2 - 8*q + 4. Does 9 divide s(3)?
False
Suppose g = -p + 2, -5*p - 3*g + 2*g = 10. Is 21 a factor of 2 + (-37 + p)/(-2 + 1)?
True
Suppose -21*r + 13816 + 569 = 0. Is 15 a factor of r?
False
Let a(z) = -z**3 + z**2 - z - 3. Let s be a(0). Let v be s - ((-5 - -3) + -1). Suppose v = -3*l + 211 - 52. Is 15 a factor of l?
False
Suppose -38*z = -41*z + 105. Does 22 divide 15*z/12 + 1/4?
True
Suppose 4561 = 3*r + 5*h - 2309, -3*r + 5*h + 6900 = 0. Is r a multiple of 85?
True
Let c = -16 + 14