ose 10*k = 4*k + 96. Suppose 5*r + 67 = 427. Is (-9)/r + 386/k a multiple of 9?
False
Let l(v) = -v**2 + 10*v + 12. Let x be l(11). Let g = x + 4. Suppose 29 - g = 4*s. Is 3 a factor of s?
True
Is 2 a factor of (-52)/(-12) - 5 - (-372)/18?
True
Let g = 6 + -16. Let s(c) = c**2 + 11*c + 8. Let l be s(g). Is 10 a factor of 62/(l - (-12)/3)?
False
Let f(s) = s**2 - 8*s + 24. Let u be f(16). Suppose -2*k + u = 2*l - k, -3*k - 160 = -2*l. Is 11 a factor of l?
True
Let o(z) = -z**2 - 64*z + 4. Is 14 a factor of o(-43)?
False
Let x(y) = -11*y - 1. Suppose 3*r + 11 = h, h - 3*r - 1 = 5*h. Suppose -a - a = h*t + 8, -a = 1. Does 13 divide x(t)?
False
Does 11 divide 27/4*54*2/1?
False
Let z = 15 - 11. Let r be 0/((-1)/(2/z)). Suppose r*q - 5*q + 431 = 2*o, 5*o - 440 = -5*q. Is 27 a factor of q?
False
Let s be (-48)/(-40)*(-50)/(-3). Is (48/60)/(1/s) a multiple of 4?
True
Let b be 0/(-1*(-2 + (3 - 2))). Suppose -11*n + 5*n + 480 = b. Is 5 a factor of n?
True
Suppose -3*p + 6*p = 36. Suppose 0 = 5*m - p - 18. Suppose w = 21 - m. Does 7 divide w?
False
Suppose -4*r + 15 = -5, m + 6 = 2*r. Let w be (m/10)/(9/810). Suppose 2*y - 47 = 3*v, v = -2*y + y + w. Is 18 a factor of y?
False
Let i = -4262 - -6487. Does 92 divide i?
False
Let p(i) = -2*i**3 + i**2. Let z(h) = 3*h**3 + 16*h**2 + 17*h + 24. Let f(m) = p(m) + z(m). Suppose 29 + 3 = -2*a. Is f(a) even?
True
Is (-42)/(-12)*42 + (-10)/(-2) a multiple of 8?
True
Let v be 9/3 + 9 - (0 - 3). Suppose 11 = k - v. Does 13 divide k?
True
Let j be (7 - 12) + 37*7. Let a = 434 - j. Does 15 divide a?
True
Let t be -14*(4 - -13)/1. Let g = t - -132. Let p = 198 + g. Does 23 divide p?
True
Let d(b) = 4*b**2 - 24*b + 66. Is d(15) a multiple of 2?
True
Suppose -h = z - 27, -2*z + 0*z = -4*h + 90. Suppose -f = 4*g - h, 6*f - 25 = f - g. Suppose 0*b = -3*b - 2*r + 90, 3*b - 90 = f*r. Does 6 divide b?
True
Suppose 0 = c - 5, 290 = -2*j + 7*j - 5*c. Let y = 101 - j. Does 30 divide y?
False
Is 41 a factor of 230 - 9/(9/(-2))?
False
Suppose 5*l = z - 214, 159 + 255 = 2*z - 3*l. Suppose -8 = -13*d + 9*d. Suppose 5*m - r = r + z, -5*r = -d*m + 69. Does 13 divide m?
False
Suppose -5*s + 6*s - 156 = 0. Suppose w + d - s = 0, 3*d - 10 = d. Is 11 a factor of w?
False
Let u(p) = p**3 - 11*p**2 + 11*p + 7. Let n be u(10). Suppose -2*m + 185 = 3*m. Let x = m - n. Is 5 a factor of x?
True
Suppose 4*p - 316 = 3*d - 2*d, 316 = 4*p - 3*d. Does 13 divide p?
False
Let t(s) = -s**3 + 18*s**2 + 38*s + 7. Let v be t(20). Let j = v + 86. Is j a multiple of 25?
False
Suppose -4 = 2*g + 2*g, 4*y + 4*g = 8. Suppose 17 + y = 4*c. Suppose -4*l + c*m = -38 + 13, 2*l - 15 = 5*m. Is l a multiple of 2?
False
Suppose b = 4*h - 9121, -5*b - 6845 = 55*h - 58*h. Is h a multiple of 38?
True
Let w(v) = v**3 - 6*v**2 + 4*v + 6. Suppose -2*h = f - 6, 3*f + 17 = -2*h + 3*h. Let m be w(h). Let l = 28 - m. Is l a multiple of 10?
False
Let y = -123 - -240. Suppose 0 = 3*k - 0*k - y. Let t = k - -2. Is 15 a factor of t?
False
Let t(f) = 126*f**3 + f**2 + f + 1. Let d be t(-1). Let r = 157 + -234. Let u = r - d. Does 11 divide u?
False
Let p be (-3 - -1 - -6) + 170. Suppose -h - p = -3*h. Is h a multiple of 13?
False
Suppose -h + 7 = 4*c - 104, 0 = c - 2*h - 39. Let u = c + -21. Suppose u*n + 0*n = 96. Is 7 a factor of n?
False
Let f(q) = -73*q + 66. Is 13 a factor of f(-8)?
True
Let w(g) = -g**3 - 30*g**2 - 32*g + 40. Is 18 a factor of w(-29)?
False
Let h = 694 - -1413. Is h a multiple of 15?
False
Let o be 102/12 - ((-1)/2)/1. Suppose -5*b - 2*w = -168, -164 = 4*b - o*b - w. Does 9 divide b?
False
Is 2 a factor of (576/(-160))/((-4)/80)?
True
Let i be 0 - (3 + -17) - -2. Let l = -38 + i. Does 28 divide 5526/99 - 4/l?
True
Does 20 divide (42240/(-288))/((-2)/15)?
True
Suppose 0 = 5*w - 964 - 716. Is 8 a factor of w?
True
Let t(j) = -j**2 - 3*j + 3. Let y be t(8). Let r = y - -161. Let q = r - 52. Is q a multiple of 12?
True
Suppose w = 3*r + 165, w - 87 = 2*r + 80. Does 64 divide w?
False
Suppose -18*u = -27*u. Suppose -c + u*a + 15 = -4*a, a = c - 9. Is c even?
False
Suppose 2*m = 4*b + 16, -7 - 5 = -m + 4*b. Suppose 20 = -5*a, 9*g - 4*a - 221 = m*g. Does 9 divide g?
False
Let g(s) = s**2 - s + 2. Let c be g(0). Suppose -x - c*x + r + 15 = 0, -x - 2*r = 2. Let w = 10 + x. Is w a multiple of 6?
False
Let g be (-5416)/6 - 2/6. Is 20 a factor of g/(-15) - 4/20 - 0?
True
Let f be (5/((-5)/(-2)))/1. Let j be (-1 + f)/2*34. Let p = j - 9. Does 2 divide p?
True
Let a be 3/9 - 7/21. Suppose 0 = t + 2*k - 108, 3*t = -a*k + 2*k + 284. Does 19 divide t?
False
Let i = 543 + 825. Is i a multiple of 24?
True
Suppose 4*k + 0*k = 20. Suppose 4*t + 2*h = 484, 0*t - k*h + 490 = 4*t. Is 24 a factor of t?
True
Let k = 18 - 16. Suppose 216 = v + k*v. Is 18 a factor of v?
True
Suppose -2*k = -k + 4. Let m be 595/(-65) + k/(-26). Is (-1)/(-3) + (-213)/m a multiple of 5?
False
Let h(x) = 2*x**2 + 15. Let m be h(8). Suppose 25 + m = 3*r. Is r a multiple of 7?
True
Is ((-1240)/120)/((-1)/3) even?
False
Suppose -2*c - 4 = -3*c. Let a be (-906)/(-8) - 1/c. Suppose -4*m + 0*m + 47 = 3*j, -5*j + a = -2*m. Is 7 a factor of j?
True
Suppose -w - 89 = 2*k, -2*k + 406 = 3*w - 7*w. Let m = w + 179. Is 18 a factor of m?
False
Let k be ((-2)/3)/((-16)/72). Is 3 a factor of 1/1*(10 - k)?
False
Let u = 2315 + -1636. Is 35 a factor of u?
False
Let n(u) = -11*u + 49. Is 2 a factor of n(-19)?
True
Let t be ((-228)/8)/(3/(-6)). Suppose -27 = 4*z + t. Is 4 a factor of -5 - -2 - (z - -1)?
False
Let u(s) = 2*s**3 - 84*s**2 - 21*s - 79. Does 19 divide u(43)?
False
Does 16 divide (21/14 - (-1454)/(-4))/(-2)?
False
Suppose 32587 = 20*x + 3107. Does 30 divide x?
False
Let n = -433 - -440. Is n a multiple of 3?
False
Let x(l) = -15*l**3 + 5*l**2 - 7*l + 6. Let k be x(2). Let y = k + 110. Is y even?
True
Suppose 0*n - 3*p + 642 = 4*n, 638 = 4*n + 5*p. Is 6 a factor of n?
True
Let n(m) = m**3 + m - 1. Let z be n(3). Suppose 5*p + 23 = -2. Let o = p + z. Is 24 a factor of o?
True
Let h = 5414 - 3082. Is 11 a factor of h?
True
Suppose 0 = 5*c + 13*c - 5166. Does 55 divide c?
False
Let p(q) = -q**2 + 5*q**2 - 25*q - 5*q**2 + 15 - 16. Is p(-24) a multiple of 13?
False
Let v = -1272 + 2364. Is v a multiple of 20?
False
Let m(g) = 516*g + 18. Is 15 a factor of m(2)?
True
Let t = 48 + -47. Let q(w) = 35*w**2 + 1. Does 6 divide q(t)?
True
Suppose -2*f = 4*h - 0*f - 2764, 20 = 5*f. Does 5 divide h?
False
Suppose 2*v = j, -5*v + 7*j - 3*j = 0. Let o be 318 + 3/6*v. Suppose -3*f = 3*f - o. Is f a multiple of 16?
False
Suppose 16*k = 20*k - 16. Suppose 0 = -6*x - k*x + 1240. Does 14 divide x?
False
Let y = 1825 + -1120. Is y a multiple of 15?
True
Suppose 4*g + 2*g - 204 = 0. Suppose 3*b - g = 4*x, b - 3*x = 1 + 2. Is 3 a factor of b?
True
Suppose -2*k + 0*k = -4*b + 148, 0 = -b - k + 43. Let j be ((-1)/3)/((-2)/78). Suppose u - b = 2*t, 3*t - 125 + j = -4*u. Does 7 divide u?
False
Does 9 divide (4 - 5)*(-421 - -2) - -4?
True
Let c(j) = -36*j - 51. Is 61 a factor of c(-17)?
False
Let a = 785 - 532. Let y be (-7 - -8) + a + 1. Suppose 0*l + y = 5*l. Is l a multiple of 17?
True
Does 27 divide (1674/217)/((-1)/(-42))?
True
Let v(l) = 4*l**2 + 20*l + 7. Let g be v(-8). Let m = -62 + g. Does 26 divide m?
False
Let u(j) = j**2 + 2*j - 2. Let h be u(-5). Let t = 27 - h. Is t a multiple of 9?
False
Is 328 - (7 + -6 - -2) a multiple of 37?
False
Let f = 18 + -15. Let d = -54 + 162. Suppose -6*c + d = -f*c. Does 12 divide c?
True
Let h be 270/(-4)*(-14)/21. Let b = h - 40. Is 3 a factor of b?
False
Is 44 a factor of (1 - -3)/((-9720)/748 + 13)?
True
Let m be (7500/16 - 1) + (-2)/(-8). Suppose 10*q - 16*q + m = 0. Does 12 divide q?
False
Suppose -4*q - 1008 = -2*m + 840, 3*m - 2*q = 2776. Suppose 0 = 4*d - 526 - m. Suppose 5*g - d = 3*l, -l - 3*l = g - 91. Is 30 a factor of g?
False
Let w = 768 - 393. Is 17 a factor of w?
False
Let z be -1 + 0 - (6 + -7). Suppose z = -0*o - 2*o + 44. Let c = 45 - o. Is c a multiple of 20?
False
Suppose 4*q = -7*q + 2992. Suppose -4 = 3*z + 2, 3*u - z - q = 0. Is u a multiple of 10?
True
Suppose 5*j - 11 = 9. Suppose -j = -i - 1. Suppose -204 = -3*p - 5*k + 42, 299 = 4*p - i*k. Does 34 divide p?
False
Is (-2)/(-2*3/45) a multiple of 4?
False
Let b = 103 - 107. Does 4 divide 1 + (2 + b - -2 - -16)?
False
L