30))/((-3)/462) a multiple of 12?
False
Suppose 0 = b - 1, 0*b - 17 = -3*o - 2*b. Suppose o*l = 48 + 37. Suppose 70 = 3*v - l. Is 9 a factor of v?
False
Let o = -62 - -62. Suppose o = 5*z - 36 - 99. Is z a multiple of 8?
False
Suppose -n + 5 - 3 = 0. Suppose 0 = -3*h + 3*j + 30, n*j = -5*h + 102 - 17. Is h a multiple of 2?
False
Suppose 16 + 3 = -g + 5*w, -2*g - 3*w + 14 = 0. Is 17 a factor of ((-4)/(-8) - g)*(1 - 51)?
False
Let v(i) = 92*i - 260. Is v(8) a multiple of 12?
False
Let j(b) = 50*b**3 - 4*b**2 + b + 4. Is 26 a factor of j(2)?
True
Is 21 a factor of 30/5 + -1 + (953 - -11)?
False
Let o(k) = -2*k**2 - 11*k + 6. Let t(z) = -z**2 - 6*z + 3. Let x(h) = 3*o(h) - 5*t(h). Let a be x(5). Let u = a - -73. Does 18 divide u?
True
Suppose -2*z + 3*z - 886 = -3*q, -5*q - z + 1474 = 0. Suppose q = 5*l - 2*l. Does 37 divide l?
False
Let l(q) = -q**2 + 4*q + 2. Let p be l(4). Is 11 a factor of (30/(-40))/(p/4)*-66?
True
Suppose 14 = a - 3*q - 4, 5*q + 22 = -a. Suppose -4*j + 150 = 4*s + 10, -a*j = 2*s - 110. Is 4 a factor of j?
True
Suppose -8*w + 3*w + 580 = 0. Let i = w + -74. Is i a multiple of 7?
True
Suppose -4*v = -3*v - 22. Suppose -3*w - 2*k = 3 - v, 14 = 3*w + k. Is (-3)/(-2)*214/w a multiple of 27?
False
Let f = -12 - 1. Let x(h) be the second derivative of -h**5/20 - h**4 + 5*h**3/3 - 5*h**2/2 + 2*h - 52. Is x(f) a multiple of 16?
False
Let k(n) = 394*n + 5. Is 19 a factor of k(1)?
True
Let w be 13 + (-4)/((-12)/(-9)). Suppose 2*z - 226 - w = 0. Suppose 4*x - 78 = z. Is 14 a factor of x?
False
Suppose 24*l + 6 = 26*l. Suppose -c + 19 + 19 = 5*k, -32 = -4*c + 4*k. Suppose 0 = l*x - c - 20. Does 11 divide x?
True
Let w(a) = 6*a + 5 + 9 - 5*a + 0. Is 7 a factor of w(-7)?
True
Suppose -5*u - 3*c + 65 = 0, -4*c = -2*u + 15 + 11. Does 9 divide u?
False
Let w = -1483 + 2539. Does 11 divide w?
True
Let n be (-28)/42 + (-5794)/(-6). Let z = n + -681. Suppose -5*f = d - 341, d + z = 4*f - d. Does 34 divide f?
False
Let d(n) = 0*n + 27*n**3 + 2*n**2 + 0*n**2 - n + 0*n**3. Let q be d(1). Suppose -4*l + 28 = 3*g, -2*g - 4*l - l = -q. Is 2 a factor of g?
True
Suppose -h + 0*r = 3*r - 53, 0 = -4*h - 2*r + 162. Let j = h + -30. Suppose -3*y = -j*y + 80. Is y a multiple of 16?
True
Let z = -121 + 194. Suppose 3*x + 13 = z. Is 3 a factor of x?
False
Suppose 0 = f - 12 - 6. Let b = 22 - f. Does 22 divide 41 - ((-24)/b - -3)?
True
Let u be (-19)/(316/160 + -2). Suppose -9*o - u = -14*o. Is o a multiple of 11?
False
Suppose -4*f - 16 = -0, -f = -3*g + 13. Let n(j) be the second derivative of 4*j**3/3 - 2*j. Is n(g) a multiple of 8?
True
Suppose g - 2*g = 2*o - 80, 4*o - 160 = -4*g. Suppose f = o + 30. Is f a multiple of 35?
True
Does 41 divide (-3955)/(-9) + 72/(-162)?
False
Let w = -30 + 21. Let p = 13 + w. Let i(q) = q**2 + 4*q + 4. Is i(p) a multiple of 12?
True
Is 7 + -1 + 647 - 7 a multiple of 16?
False
Let v = 98 - -105. Is v a multiple of 29?
True
Let v(q) = q**2 + 13*q - 58. Is v(10) a multiple of 2?
True
Let w(k) = -11*k - 6. Let x(h) = 12*h + 6. Let t(g) = -g + 5. Let m be t(9). Let a(r) = m*x(r) - 5*w(r). Is a(4) a multiple of 17?
True
Let y(f) = -4*f + 21. Let b be y(-13). Let q = 110 - b. Does 9 divide q?
False
Let c = 13 - 9. Suppose 4*j = c*h - 24, -3*h - 9 = 3*j - 3. Is 15 a factor of 1986/54 - j/18?
False
Let h(o) = -o**3 + 9*o**2 - 14*o + 7. Let l be h(7). Does 5 divide 2/l - -564*(-4)/(-42)?
False
Suppose -t = -10*t + 189. Suppose -c + 49 = -t. Is 14 a factor of c?
True
Let f(a) = 102*a - 102. Does 53 divide f(16)?
False
Suppose 38*s + 2601 = 41*s. Does 17 divide s?
True
Suppose 0 = 7*d - 1271 - 157. Is 27 a factor of d?
False
Suppose w - 22 = -5*o, w - 4*o = -0*o - 5. Suppose w*a + 18 = 4*a. Does 15 divide (-93)/a + 6/(-12)?
True
Let o = 49 + -67. Is 9 a factor of (107 + 1)/((-27)/o)?
True
Suppose 296 = a + 200. Is a a multiple of 16?
True
Let b(k) = k**2 - 23*k - 3. Let j be b(23). Is (200/15)/(j/(-18)) a multiple of 4?
True
Let j = 52 - 79. Let d = -19 - j. Is d a multiple of 3?
False
Let c(p) = -77*p - 326. Is c(-40) a multiple of 17?
True
Suppose -5*k = 2*z - 510, 2*k + 0*z = 5*z + 175. Is 7 a factor of k?
False
Let b be 19968/84 - 2/(-7). Suppose 3*s - 161 = b. Is 25 a factor of s?
False
Let a(h) be the third derivative of -h**6/40 - h**5/15 + h**4/8 - h**3/3 + h**2. Is 43 a factor of a(-4)?
False
Suppose -3*u = k - 192 - 167, -3*k - 4*u = -1102. Does 34 divide k?
True
Let p(c) = c + 22. Let n be p(-11). Let z = 23 - n. Is z a multiple of 2?
True
Let m be 0/1 + 42/14. Suppose s + 9 = m*j, s + s - 3*j = -9. Suppose s = -3*k + 7*k + 4*p - 320, -3*p - 180 = -2*k. Is 21 a factor of k?
True
Let j(o) be the third derivative of o**5/60 + o**4/12 + 8*o**3/3 - 11*o**2. Is j(-6) a multiple of 8?
True
Let d(y) = -y**3 - 11*y**2 + 5. Let s be d(-11). Suppose -s*x = -3*x. Suppose -7*q + 12*q - 55 = x. Is 4 a factor of q?
False
Let o(l) = -l**2 + l + 85. Let n = 41 - 41. Is o(n) a multiple of 17?
True
Suppose 3*c + 2*c = 20. Let q = 222 + -114. Suppose 0*t = c*t - q. Does 9 divide t?
True
Is (-11 - (-1712)/(-10))/((-2)/10) a multiple of 5?
False
Let h(v) = -v**3 + 14*v**2 + 4*v - 34. Is h(14) a multiple of 22?
True
Is ((-2)/(-7) - (-16320)/14) + 2 a multiple of 90?
False
Let o = -1455 - -3219. Does 18 divide o?
True
Let z(c) = -5*c**3 + c**2 + 9*c + 14. Does 8 divide z(-3)?
False
Is (-2)/(-20) - 9166*6/(-40) a multiple of 13?
False
Suppose -2*n + 3 = -5*n, 4*n = 4*k - 84. Suppose -3*l + 5*c + 145 = 0, -5*c + 9*c - 140 = -4*l. Suppose -l = -o + k. Is 15 a factor of o?
True
Let x = -1130 + 2042. Is x a multiple of 19?
True
Suppose -4*u - 258 - 129 = -3*x, -4*x = -4*u - 388. Let k = u - -182. Does 43 divide k?
True
Let b(j) = 919*j - 1421. Is 28 a factor of b(7)?
True
Suppose -4*n = 7*n - 1166. Does 13 divide n?
False
Suppose 4*m = 10 + 2. Does 12 divide ((-11)/(88/(-90)))/(m/32)?
True
Let i(j) = -2*j**2 + 3*j + 4. Let y(v) = v**2 + v + 1. Let b(c) = -i(c) + 3*y(c). Is 11 a factor of b(3)?
True
Let p(f) = 2*f + f + 0*f - 8 - 4*f. Let b be p(-8). Suppose b*a + 129 = 3*a. Is 17 a factor of a?
False
Suppose -v + 2*q + 5 = 0, 3 - 13 = -4*v + 3*q. Suppose o = v + 4. Does 3 divide o?
False
Let g = -3 + 12. Let f = 27 - g. Suppose 0 = -19*d + f*d + 36. Is 8 a factor of d?
False
Let k(q) = 11*q - 1. Suppose 2*h + 8 = 3*c - 16, 2*h = -5*c + 24. Let m be k(c). Let j = 110 - m. Is 9 a factor of j?
True
Let n(h) = -h**3 - 3*h**2 + 7*h - 8. Let q be n(-6). Let r = q - 17. Is r a multiple of 13?
False
Suppose -2*d - 126 = -4*b, 3*b - 214 - 33 = 4*d. Let w = -39 - d. Is w a multiple of 11?
True
Let v be 72/21*63/6. Let z = -24 + v. Is z a multiple of 4?
True
Suppose -3*a + 0*v = -3*v - 798, 2*a - 547 = 5*v. Is a a multiple of 12?
False
Let s(y) = 5*y**3 - 25*y**2 + 41*y - 31. Let u(v) = v**3 - 5*v**2 + 8*v - 6. Let j(x) = -2*s(x) + 11*u(x). Let g be 4/(-14) + (-60)/(-14). Does 3 divide j(g)?
False
Let v(h) = -h + 264. Does 22 divide v(22)?
True
Suppose -39*v + 15398 = -5896. Does 21 divide v?
True
Let n = 337 - 139. Is 10 a factor of n?
False
Suppose 0 = -4*z - 2*p + 20 + 22, 6 = 2*p. Let g = z - -9. Let t = 29 - g. Does 6 divide t?
False
Suppose 0 = 99*u - 105*u + 1482. Does 19 divide u?
True
Suppose -825*x = -820*x - 1860. Does 12 divide x?
True
Suppose -17*w + 384 = -5*w. Is w a multiple of 6?
False
Suppose -2*y + 193 - 1 = -5*p, 4*y + p - 384 = 0. Suppose -s + 3*w = -15, -s + 5*s = 3*w + y. Is 10 a factor of s?
False
Suppose -4*u = 2*a - 98, 0*a = -a + 2*u + 69. Is a a multiple of 59?
True
Let n be 3 + 33/3 + -2. Let c = -9 + n. Suppose -v + c = 0, 4*m + 1 = -0*m + 3*v. Is m a multiple of 2?
True
Let j(h) = -6*h**3 + 4*h**2 - 14*h - 15. Let r(y) = -y**3 - y**2 - y - 1. Let u(v) = -j(v) + 5*r(v). Does 18 divide u(8)?
True
Let c(b) = 10*b**2 + 9*b + 45. Does 46 divide c(7)?
True
Let v be 24/11 + (-12)/66. Is 26 a factor of 280 + 1/v*-1*-8?
False
Let f(l) = -4 - 2*l - l**2 - 2 - 7*l + 4. Let r = -24 - -17. Is 12 a factor of f(r)?
True
Suppose 11*j = 2*j + 18. Suppose 3*b - j*f = f - 3, 0 = -b + 5*f - 13. Suppose q + 29 = 5*w - 3*w, -b*w - 5*q + 23 = 0. Does 14 divide w?
True
Let z = 2 - 8. Let d(v) = -4*v. Let l be d(-1). Is ((-26)/z)/(l/12) a multiple of 8?
False
Let g(w) = -w**2 - 2*w - 2. Let b be g(-3). Let u be (-16)/(-3) + b/15. Suppose -o = -s - 31, 0