e of 18?
False
Suppose 2*u = -5*f + 50 - 15, 30 = 4*u + 2*f. Suppose u*j + 0*j - 90 = 0. Is 9 a factor of j?
True
Let y = -90 - -177. Does 29 divide y?
True
Suppose -14*i + 9*i = 735. Is 2/(-6)*i/7 a multiple of 2?
False
Suppose -5*j + 2*j - 435 = -2*c, -4*c = 5*j - 903. Is (-4)/10 - c/(-30) a multiple of 3?
False
Let k be ((-6)/10)/(2/(-20)). Let u = k + 2. Is u a multiple of 6?
False
Let l = -36 + 139. Suppose l = 5*a + 5*y - 52, 16 = a + 4*y. Does 20 divide a?
False
Let r = -18 - -22. Let t(l) = l**2 - l + 2. Is t(r) a multiple of 4?
False
Suppose 4*d - 2*u - 4 = 0, -2*d + 8 = -2*u + 4*u. Suppose 0 = -d*f - p + 3*p + 66, -3*f - 2*p = -104. Is 17 a factor of f?
True
Let u(d) = d + 4. Does 5 divide u(2)?
False
Let k(a) = -a**3 + 8*a**2 - 2. Let z be k(8). Let f be 4*(2 - (-1)/z). Let r(c) = -c**3 + 7*c**2 - 3*c - 6. Is 5 a factor of r(f)?
False
Let s = 5 + 29. Is 4 a factor of s?
False
Does 24 divide 10*(-39)/(-12)*2?
False
Suppose d + 3*y + 9 = -1, -2*d - 3*y - 5 = 0. Let z(a) = -2 + 4*a - 3*a + d. Is 5 a factor of z(8)?
False
Does 31 divide (-4)/((-8)/93)*2?
True
Let m = 360 - 205. Suppose -2*z = -6*z - 20, 5*t = -z + m. Is 16 a factor of t?
True
Let s(h) = 6*h**2 + 8*h - 5. Does 5 divide s(2)?
True
Suppose -u - o + 93 = 0, -4*u - 5*o + 353 = -18. Suppose 0 = -5*z + 2*d + u, 5*z - 5*d - 68 = 17. Is z a multiple of 14?
False
Suppose 0 = -4*v - 2*d + 900, 0*v + 2*v = -3*d + 442. Let n = v + -153. Is 28 a factor of n?
False
Let s = 25 - 20. Does 22 divide 4 - (-2 + s - 21)?
True
Let o = 26 + -5. Let l = -6 + o. Is l a multiple of 6?
False
Suppose -4*h - 12 + 252 = 0. Is h a multiple of 15?
True
Let n(y) = -y**3 + y**2 + y + 20. Let c be n(0). Suppose 28 = 3*q - c. Does 16 divide q?
True
Let o = 33 + -9. Is 24 a factor of o?
True
Let c(r) = r - 3. Let l be c(5). Suppose 42 = 2*b - b - 2*z, -2*b + l*z = -82. Suppose -o - 3*o + b = 0. Is o a multiple of 10?
True
Suppose c - 4*c = -117. Suppose 5*q - 3*r = c, 0 = -r - 4*r + 10. Is 4 a factor of q?
False
Let l(y) = 9*y - 9. Is 18 a factor of l(10)?
False
Let u(l) = -l**3 + 12*l**2 + 5. Is 41 a factor of u(10)?
True
Let s(j) = -j + 11. Let v be 9/(-6) - 34/(-4). Is 4 a factor of s(v)?
True
Let n = 83 + -28. Does 11 divide n?
True
Suppose 44 = -3*y - 4*w, 5*y + 15 = 5*w - 0*w. Let i = y + 26. Is i a multiple of 18?
True
Let i = 35 + -12. Is 6 a factor of i?
False
Let u be 194/8 - (-3)/(-12). Suppose -h = h - u. Is 6 a factor of h?
True
Suppose -4*r = -8*r + 220. Let b = -16 + r. Is b a multiple of 11?
False
Suppose -4*o = -2 - 2, -3 = -5*d + 2*o. Let g be 39/d + 1 + 0. Suppose 4*y - g = 12. Is y a multiple of 6?
False
Let b = 114 - 54. Does 4 divide b?
True
Suppose 4*d + 0 + 36 = -2*f, 4*d + 48 = 4*f. Let s be 6/((-19)/7 + 3). Let j = s + d. Is 11 a factor of j?
True
Let f = 1 + 31. Does 19 divide f?
False
Let i(a) = 2*a**3 - 6*a**2 + a + 4. Let k be i(4). Let x = -22 + k. Does 15 divide x?
False
Let b(d) = -d + 4. Let a be b(4). Let h(t) = 1 + 0 + a*t**2 - 10*t - t**2. Is 11 a factor of h(-7)?
True
Let o = 149 + -71. Does 6 divide o?
True
Let n be ((-8)/10)/(2/(-10)). Let j = 1 + n. Does 5 divide j?
True
Let q(z) = z**2 - z + 5. Let h(y) = -y - 6. Let f be h(-6). Does 5 divide q(f)?
True
Suppose 10*f - 6*f - 1077 = t, 5*t = -3*f + 825. Does 18 divide f?
True
Let c be ((-3)/(-2) - 2)*-94. Suppose -7 = -3*x + c. Does 10 divide x?
False
Let z(l) = l**2 - 6*l + 8. Suppose 0 = n + 1 - 0. Let c be 18/3*(2 + n). Is z(c) a multiple of 5?
False
Suppose -30 - 30 = 5*b. Let u be (-1 + 34)*(-16)/b. Suppose -w = -5*w + u. Is 11 a factor of w?
True
Suppose 2 = 5*w - 4*w. Suppose -5*s = -w*s. Suppose s = 4*o + 4*f - 10 - 34, o - 3*f - 15 = 0. Does 6 divide o?
True
Let j = -6 - -10. Suppose 20 - 8 = j*u. Suppose -5*k - 51 = -u*a, 3*k + 76 = 4*a - k. Is 11 a factor of a?
True
Suppose 0*m + m + 3 = 0. Does 12 divide m/(-3)*(-24)/(-1)?
True
Suppose -4*y = -9*y + 80. Does 11 divide y?
False
Suppose 0 = 3*s - 4*f + 11, -4*f + 0*f + 4 = 4*s. Let g be 6/(-21) - (-24)/(-14). Is (-1)/g*(11 + s) a multiple of 3?
False
Let i = 19 + -36. Let g = i + 4. Let u = -8 - g. Is u a multiple of 2?
False
Let b(v) = v**3 + 8*v**2 + 5*v + 4. Does 15 divide b(-5)?
False
Suppose 5*p + 14 = -v + 479, 3*v - 186 = -2*p. Is p a multiple of 31?
True
Let q(t) = 0*t + 3*t**2 - 2*t + t**3 + t. Let j be q(-3). Suppose j*s - 11 - 55 = 0. Does 11 divide s?
True
Suppose 5*y - s = -2*s - 29, -2*y + 5*s - 17 = 0. Let k be (-718)/y - (-1)/3. Suppose 0 = 3*w - k + 33. Does 11 divide w?
False
Let y = 14 + -9. Suppose -f + 3*f = -3*s - 2, 5*f + y*s - 5 = 0. Is 5 a factor of f?
True
Does 9 divide (-6)/15 + 424/10?
False
Let w be (-147)/2*(-6)/9. Let n = -22 + w. Let u = n - -17. Does 15 divide u?
False
Suppose -44 = -3*x - x. Suppose 3*w + 4*q = 8 + x, -2*w + 11 = q. Is w a multiple of 2?
False
Let r(u) = -69*u - 2. Is 17 a factor of r(-1)?
False
Let a be 2 + -3*(-2)/6. Suppose a*k - 5 = 2*k. Suppose -4*v = k*j - 59, -2*v + 6*v = -4*j + 44. Does 11 divide j?
False
Suppose 6 = w + 2. Let j = w + 6. Is 5 a factor of j?
True
Let o(k) = k**2 + 0*k - 2*k - 3*k - 2*k**2. Let y be o(-4). Suppose y*q - 21 = 27. Is 12 a factor of q?
True
Let j = -13 + 23. Is j a multiple of 2?
True
Suppose -4*u + 5*r = -45, -5*u = -3*u + r - 33. Suppose 5*h + 5 = u. Suppose a - 84 = -h*a + 3*b, 4*b = -12. Is a a multiple of 10?
False
Let a be (-143)/(-3) - 1/(-3). Suppose j = -2*j - a. Let s = j - -23. Is 6 a factor of s?
False
Let k(y) = 3 - 17*y**3 + y**2 - 5 + 2*y + 3. Is 7 a factor of k(-1)?
False
Suppose -3*n - 148 = 2*d, 5*n + 152 = -5*d - 93. Let k = -36 - n. Does 6 divide k?
False
Suppose -2*v + 54 = v - 3*g, 84 = 5*v - 2*g. Is 8 a factor of v?
True
Let z(f) = 2*f - 3. Let j = 27 + -18. Let n(d) = 4*d - 6. Let i(r) = j*z(r) - 4*n(r). Is i(4) even?
False
Let t = -6 - -2. Let b be 47*t*1/(-2). Let o = b - 64. Does 12 divide o?
False
Let z(i) = -23*i - 12. Is z(-4) a multiple of 6?
False
Suppose -5*x = -225 - 35. Does 15 divide x?
False
Suppose 14*n + 1863 = 23*n. Is n a multiple of 23?
True
Let t be (3 + -5)/(-2) - -2. Suppose t*p - 28 = 53. Is p a multiple of 7?
False
Is (8/6)/(1/21) a multiple of 28?
True
Let h(y) = -y + 6. Let u be h(4). Suppose -u*p - 8 = -4*p. Is 3 a factor of p?
False
Suppose -3*j = -2*t + 111, 0*t + 37 = -j + 2*t. Let l = 53 + j. Is 8 a factor of l?
True
Suppose -2*h + h + 5*w + 11 = 0, 0 = h - 2*w - 2. Let x(p) = -2 - 2*p + 4 - 3. Does 6 divide x(h)?
False
Suppose -6*m + 44 + 82 = 0. Does 8 divide m?
False
Let u(m) = 4*m**2 + 14*m - 16. Is u(-9) a multiple of 16?
False
Let g(v) be the first derivative of -7*v**2/2 - 3*v + 2. Let z(d) = d - 7. Let h be z(4). Is g(h) a multiple of 17?
False
Suppose 5 = -4*g - 7. Let d be (-2 - g)*(6 - 0). Let y(f) = -f**3 + 7*f**2 - 6*f + 6. Does 6 divide y(d)?
True
Let v(p) = p**2 - 31*p + 14. Is v(32) a multiple of 23?
True
Let a = 3 + 1. Suppose 0 = -a*x - x. Suppose 5*v - 140 = -x*v. Does 14 divide v?
True
Let g = -3 + 0. Let j be 6 + 5 + g + -1. Let c(b) = -b**3 + 8*b**2 - 7*b + 10. Does 4 divide c(j)?
False
Let c(z) = z**3 + 8*z**2 - 11*z + 20. Does 19 divide c(-9)?
True
Let l = 15 + -15. Is 11 a factor of 1 + l/(-4) + 30?
False
Let h = -20 + 14. Let x(g) = g**3 + 8*g**2 + 2*g - 1. Let w be x(h). Suppose -2*t + 1 = 7, 4*b - t = w. Does 5 divide b?
False
Is (-1)/(-4) - (-476)/16 a multiple of 10?
True
Let u(b) be the first derivative of 4*b - 5/2*b**2 + 5/3*b**3 + 1. Is u(3) a multiple of 17?
True
Suppose 0*g = 4*m - g + 1625, 0 = 2*m - 4*g + 802. Is 4 a factor of (-1)/3 - m/33?
True
Let y = 291 - 167. Does 16 divide y?
False
Let c = 13 - 9. Is ((-88)/12)/(c/(-18)) a multiple of 14?
False
Does 31 divide (-736)/(-24) - 2/(-6)?
True
Let v be (-474)/(-10) - 15/(-25). Let w = v + -33. Is w a multiple of 15?
True
Suppose -6*t - 168 = -2*t. Let m = -16 - t. Does 13 divide m?
True
Suppose 4*p - 42 = -3*r + 44, 4*r - 15 = -p. Suppose l = -2*i + 2*l + p, -3*l = 3. Is i even?
False
Let f(h) = 9*h - 9. Is f(2) a multiple of 3?
True
Let m be (-17 - -2)/(-3) + 0. Suppose -6 = m*u - 106. Is 10 a factor of u?
True
Is 66/9 + 4/(-12) a multiple of 2?
False
Let s = -2 - -5. Suppose -8*w + 100 = -s*w. Does 10 divide w?
True
Let x be 37 - (-9)/(7 - 4). Suppose -10*s + x = -5*s. Is 7 a factor of s?
False
Let j(f) = -4*f - 5. Does 2 