) = t + 2. Let p be i(-12). Let b be (15/p)/(2/(-48)). Suppose n + b = 3*n. Is 6 a factor of n?
True
Suppose 4 = -4*h - 2*f, 4*f = f + 6. Let b be (-6)/(-2) + -1 - h. Suppose -3*r + 5*o = -62, 3*r - b*r + 19 = -2*o. Is 5 a factor of r?
False
Suppose 4 = -g, -5*l + 5828 = g - 2408. Is l a multiple of 30?
False
Suppose -3*b = -3*d - 0*d - 4992, -5*d = -10. Is b a multiple of 17?
True
Let a(x) = -x + 2. Let r be a(0). Suppose 0 = -r*q + 6*q + 3*f - 15, 0 = -5*q - 2*f + 10. Suppose 3*y - 43 + 13 = q. Is 5 a factor of y?
True
Let q(s) = s. Let r(m) = -5*m + 10. Let p(z) = 6*q(z) + r(z). Is p(8) a multiple of 9?
True
Suppose -3 - 5 = -2*n. Does 37 divide 238/6 + n/(-6)?
False
Suppose -19*v + 44616 = 5229. Does 69 divide v?
False
Let k be 90/105*(-28)/(-6). Suppose k*l - 20 = 4. Suppose -3*c + l*z - 4*z = -90, 2*c - 73 = -3*z. Does 9 divide c?
False
Suppose 5*h = 4*v + 30 + 22, -5*v = -4*h + 38. Suppose -h = 3*d - 9. Is d - -4 - -14 - -3 a multiple of 20?
True
Suppose 3*i + 8044 = 5*k - 3179, -4*k - 2*i + 8974 = 0. Does 132 divide k?
True
Let h(z) = -29*z + 203. Is 29 a factor of h(0)?
True
Let q(a) = a**3 - a + 13. Let y be q(0). Let l = y + -14. Is (-2)/((-10)/6 - l) a multiple of 3?
True
Let f(h) = 2*h**2 + 75*h + 493. Does 22 divide f(-47)?
True
Suppose 18*j = 15651 - 2889. Does 73 divide j?
False
Suppose -2*q = -3*q + 52. Suppose 0 = -2*a + 4*d + q, 5*a + 3*d - 84 = 72. Let c = -25 + a. Does 5 divide c?
True
Let m = 20 + -16. Suppose m*y - 7*y + 9 = 0. Suppose -w + 104 = y*w. Is 13 a factor of w?
True
Suppose k - 5 = n, 2*n - 3*k = -0*k - 14. Is 27 a factor of 29 + -4*(-3)/(n - 5)?
True
Suppose 50 = 4*o + 2*z, 6*o - 3*o = -4*z + 30. Suppose 22*j = 20*j + 4. Suppose -o = -j*k - r, 4*k = -0*k - 5*r + 28. Does 3 divide k?
False
Let y be 92*1 + 14/(-7). Let w = 2 - 2. Suppose w*u + 3*u - y = 0. Does 13 divide u?
False
Suppose -3*r = -k + 11, -k + 5*r = -23 + 6. Let h be -3*(-26)/6 - k. Let l = h - 3. Is l a multiple of 4?
True
Let a(n) = -186*n**3 - 3*n**2 - 11*n. Does 25 divide a(-2)?
False
Let f = 351 + -96. Is 15 a factor of f?
True
Let s(z) = 4 + 17*z - z**2 - 4 + 15 + 0*z**2. Does 19 divide s(14)?
True
Suppose 0 = q - 3. Suppose q*z = -g + 58, -z = 4*z. Is 19 a factor of g?
False
Let y = -6 - -10. Suppose 5*p + q = -3*q + 26, -2 = -p - y*q. Is p a multiple of 3?
True
Suppose -2*y = -4, 2*s - 984 = -y - 98. Does 26 divide s?
True
Suppose -2*v - 2 = -5*r + 2*v, 0 = -r - 5*v + 12. Suppose -2*j + 5*t = -112, -8*j - r*t = -4*j - 176. Is j a multiple of 32?
False
Suppose 4*v = 14*v - 15100. Is v a multiple of 61?
False
Let o = -25 - -31. Suppose -o*i - 504 = -1452. Is 17 a factor of i?
False
Suppose o + 2 = -0. Is o/3 - 305/(-3) a multiple of 16?
False
Let h be 1*(2 + 61)*(-3 - -4). Suppose 0 = v - h - 63. Is 6 a factor of v?
True
Let x(v) = 3*v**2 + 8*v - 11. Suppose 0 = -3*s - 4*i - 27, 3*s - i + 6 = 2*i. Is 8 a factor of x(s)?
True
Does 7 divide -24 + 14 + (382 - 0)?
False
Suppose 3*z - 698 = 1618. Is 40 a factor of z?
False
Is 13 a factor of (-2 + 1141/2)*18/27?
False
Is 19 a factor of (4 - 11) + (-121)/(-1)?
True
Let o be (-8)/28 + ((-1959)/(-21) - -2). Let k = 27 + -72. Let w = k + o. Is w a multiple of 43?
False
Let w = 24 + 65. Let u = w - 14. Is u a multiple of 15?
True
Let f(h) = -18*h - 9. Let n(x) = 17*x + 10. Let z(j) = 7*f(j) + 6*n(j). Suppose y + 8 = -3*t, 6 = 25*y - 26*y - 2*t. Is z(y) a multiple of 12?
False
Suppose 3*g = 3412 - 991. Is 70 a factor of g?
False
Let h(j) = -j**3 - 2*j**2 + 4*j + 9. Let t be 1/(-1) - (1 - (1 + -3)). Does 11 divide h(t)?
False
Let q(n) = -n**2 + 7. Let z be q(-7). Let v be 1/1 - (-48)/8. Does 19 divide 241/6 + v/z?
False
Let i(o) = o**3 + 6*o**2 + 6*o + 5. Let c be i(-5). Suppose -3*w + 3*v + 114 = c, -3*v - 192 = -2*w - 3*w. Is w a multiple of 5?
False
Suppose -i = -2*d + 3*i, 0 = -2*d + 3*i + 2. Suppose 36 = d*a - a. Does 4 divide a?
True
Let t(j) = -3*j**3 - 76*j**2 + 15*j + 25. Does 5 divide t(-26)?
False
Suppose 33*r - 30*r - 174 = 0. Suppose 3*v - r = 2*v. Is 29 a factor of v?
True
Let v(n) = -6*n + 12. Let s be v(-10). Let p = s - 22. Is p a multiple of 10?
True
Suppose -403 = -7*n + 332. Suppose 10 = -s + n. Does 50 divide s?
False
Let n(m) = 6*m**3 - 2*m**2 - 6*m - 3. Let x be n(-2). Let s = x + 83. Is 18 a factor of s?
True
Let c(j) = j - 36. Let o(u) = -2*u + 73. Let i(p) = -5*c(p) - 2*o(p). Is i(12) even?
True
Let o = -59 + 94. Let k = -2 + o. Is 22 a factor of (22/k)/((-2)/(-132))?
True
Suppose 17*m - 1577 = 820. Is m a multiple of 8?
False
Suppose 26*z - 3002 - 14 = 0. Is z a multiple of 4?
True
Suppose -16155 - 693 = -27*v. Is 26 a factor of v?
True
Let n = -106 + 192. Let x = -34 - n. Let c = -84 - x. Is 12 a factor of c?
True
Let z = 246 + -173. Let u = -23 + z. Does 25 divide u?
True
Let v = 3 + 2. Suppose -v = 4*k - 65. Let n(o) = o**2 - 16*o + 18. Is n(k) a multiple of 3?
True
Suppose -4*x + 760 = -p, -3*x - 11*p = -8*p - 585. Is 47 a factor of x?
False
Let o = -747 - -447. Let f = 64 - o. Suppose -6*i + 20 + f = 0. Is 32 a factor of i?
True
Suppose -2*d = -6*d. Suppose 157 = 4*o - 4*c - 239, -5*c - 10 = d. Does 26 divide o?
False
Let i(u) = -u**2 - 9*u - 2. Let c be i(-8). Suppose -w + 4*a + 22 = 0, c*w - 7*w - 5*a + 40 = 0. Does 15 divide w?
True
Let h = -9 + 26. Let t(w) = w**3 - 18*w**2 + 17*w + 11. Let i be t(h). Suppose -30 + 10 = -2*s + 4*r, r + i = s. Does 5 divide s?
False
Suppose -3*v = 5*n + 286, -4*v + 2 = -5*v. Let u = n + 102. Is 9 a factor of u?
False
Let r(q) = -q**3 - 6*q**2 + 5*q - 16. Let o be r(-7). Is 144/20 + o/10 a multiple of 4?
False
Let f be ((-14)/8)/((-1)/4). Let a be ((-1)/3)/(f/(-42)). Suppose 0 = 5*q - 5*m - 65, a*q - m - 27 = -0*q. Does 6 divide q?
False
Let y(o) be the second derivative of 3*o**4/2 - o**3/2 - o**2/2 - 8*o. Let z be y(-2). Suppose 2*s = -5*s + z. Is 2 a factor of s?
False
Let g = -63 - -106. Let x = g + -78. Is 7 a factor of (-96)/(-7) - 10/x?
True
Suppose z - 2*d - 15 = 0, -z + 63 = 4*z + 2*d. Let t(x) = z*x**2 - 16*x**2 + 31*x**2 - x. Is t(1) a multiple of 9?
True
Let l be 40 - (-9)/12*-4. Let z(b) = b**3 - 5*b**2 - 7*b + 7. Let w be z(7). Let h = w - l. Is h a multiple of 7?
False
Suppose -3*c - 178 = -5*c. Let y = c + -9. Is y a multiple of 10?
True
Let p(u) be the first derivative of -u**3/3 - 7*u**2 - 9*u - 24. Is p(-13) even?
True
Let v be 2/((-214)/72 + 3). Suppose -2 = 7*d - v. Does 10 divide d?
True
Suppose -6*r + 40 = 16. Does 36 divide 24/(-4) + 226 - (0 + r)?
True
Is 42 a factor of 3/6*223020/45?
True
Let b = 815 - 2. Is b a multiple of 10?
False
Is 66 a factor of (-2300)/(-35) - 5/(-70)*4?
True
Let r be (-30)/8*(-10 - 74). Suppose -71*j + 76*j - r = 0. Does 9 divide j?
True
Let u(b) = 1360*b + 24. Is u(1) a multiple of 8?
True
Let o = 268 - 136. Let d = o - 92. Is d a multiple of 8?
True
Suppose -2*y + m + 237 = 0, -2*y + 2*m + 71 + 169 = 0. Is y a multiple of 3?
True
Let r(q) = q**3 - 32*q**2 + 4*q - 56. Does 3 divide r(32)?
True
Let f be 36*((-9)/(-3) + 2/(-8)). Let v = f + -89. Does 5 divide v?
True
Let q(m) = 6*m**2 - 11*m - 20. Let x be q(11). Suppose 171 + x = 6*v. Is v a multiple of 28?
False
Let i(y) = 15*y**3 - y + 1. Let x be i(1). Suppose -x = g - 6*g. Suppose -g*l + 3*w = -30, 0*w = 3*l + 3*w - 6. Is l a multiple of 4?
False
Suppose 3*q - 7*q = 4*n - 356, 436 = 5*q - 4*n. Is 22 a factor of q?
True
Does 7 divide 17*(-1)/(66/(-63) + 1)?
True
Suppose -3*i + 2*i - 8 = -4*l, 28 = 3*i + l. Suppose 2*t + 4*s = -0*t - i, 13 = 2*t - 3*s. Suppose -2*q + 3 = 3*c, -3*q + 3*c + 6 = -t*q. Is q a multiple of 2?
False
Suppose 7*x + 5*j = 8*x - 1261, -3*x + 3772 = -4*j. Does 67 divide x?
False
Let j = -5 + -24. Let l = -4 - j. Does 9 divide l?
False
Let g = -11 - -15. Let z be ((-24)/(-18))/(2/(-9)). Is 13 a factor of z*((-22)/g + -1)?
True
Does 22 divide 16*16/1152 - (-60980)/18?
True
Does 11 divide (38 - 39)/((-1)/54)?
False
Suppose -4*u + u + 12 = 0. Suppose -5*a - u*q = -0*a - 1110, 3*a = -3*q + 666. Is a a multiple of 32?
False
Let d = 788 + 412. Is d a multiple of 15?
True
Let g = 46 - 43. Suppose 0 = -g*p + p + 74. Is 7 a factor of p?
False
Let n = 115 - -4241. Does 36 divide n?
True
Let r(p) = -45*p - 338. Is 8 a factor of r(-34)?
True
Suppose 10*s - 3555 = 4905. Is 59 a factor of s?
False
Let g be (49/(-14) + 3)*(