t c be u(-3). Suppose -5*q + 3*p - c = -3, 5*p = 15. Let f = 37 - q. Does 14 divide f?
False
Is 1 + (-21)/18 - (-633)/18 a multiple of 5?
True
Let n = -6 + 11. Does 3 divide n?
False
Let v(w) = 13*w - 5. Does 5 divide v(9)?
False
Suppose -4*c - 2*k - 8 = -6*c, -2*c + 12 = -4*k. Suppose 0 = c*s + 2*s - 8. Does 2 divide s?
True
Suppose -2*s = -r - 12 - 11, r + 62 = 5*s. Is 13 a factor of s?
True
Suppose -13*v = -14*v - 4. Does 10 divide (-10)/v*28/5?
False
Suppose 13 = 2*d + 5*x, 0 = -2*d - 4*x - 2 + 10. Let l be (-114)/(-4)*d/(-9). Let n = l - 9. Is n a multiple of 10?
True
Let a be 0/(-2 - (1 - 4)). Suppose 4*v - 19 - 5 = a. Is 3 a factor of v?
True
Let s(g) = 5*g + 3. Is s(7) a multiple of 10?
False
Suppose -9*i + 72 = -0*i. Is i a multiple of 4?
True
Let l(w) = -w**3 + 8*w**2 - 4*w - 5. Let a be l(7). Let z be (-4)/18 - (-188)/36. Suppose z*q - a = q. Is 4 a factor of q?
True
Let y = 19 + 16. Is y a multiple of 7?
True
Let u(v) = -16*v - 20. Is u(-7) a multiple of 25?
False
Is ((-140)/(-80))/(2/48) a multiple of 16?
False
Suppose 0 = 4*d - 3*y + 55, 0 = -d - 3*d - 2*y - 30. Let m = -1 - d. Does 3 divide m?
True
Suppose -51 = -n - 0*n. Let b = n + -33. Does 18 divide b?
True
Suppose 5*a - 5*x = 40, 2*x + 2*x = 12. Is a a multiple of 2?
False
Suppose 62 = 5*y - 68. Is 13 a factor of y?
True
Let a(n) be the third derivative of 5*n**4/24 - n**3/2 + 3*n**2. Is 11 a factor of a(6)?
False
Suppose 5*v + 15 = -0, 4*r - 3*v = 309. Is r a multiple of 15?
True
Suppose -6*t + 1 = -u - 3*t, 0 = u - 2*t. Suppose z = m + 1, 4*z = -2*m + u + 26. Suppose 90 = m*g - 46. Is g a multiple of 18?
False
Suppose -4*z + 95 = 3*q, -5*q + 2*q = 5*z - 91. Let h = -26 + q. Is h a multiple of 5?
False
Let b = 51 - 3. Suppose -b = -f - f. Does 7 divide f?
False
Suppose 41 + 49 = 5*b. Suppose -x = -b - 6. Is 12 a factor of x?
True
Let u = -11 + 16. Is u - (-1 + 2) - -6 a multiple of 5?
True
Suppose -n + 130 = 5*g, -2*n + 4*g - 3*g = -282. Is (n/15)/((-2)/(-3)) a multiple of 9?
False
Suppose -5*r + 4*v + 12 = 0, -15 = -9*r + 4*r + 5*v. Suppose -p + 5*f + 5 = r, -5*p - 2*f = -7*f - 45. Is 8 a factor of p?
False
Suppose -50 = 3*d - 266. Is d a multiple of 6?
True
Suppose 0 = -3*k + k. Suppose 0 = -3*i - k*i + 108. Is 17 a factor of i?
False
Let w be ((-90)/9)/(-1 - 1). Suppose -4*d = r - 90, -4*r + 14 = w*d - 104. Does 16 divide d?
False
Let i = 6 - -11. Let p = i + -4. Is p a multiple of 5?
False
Suppose 5*u - 70 = i, -116 = 4*i - 4*u + 84. Let w = i + 21. Let r = 52 + w. Is r a multiple of 14?
True
Is 18 a factor of 518/3 - (-4)/(-6)?
False
Let b be (1 - 0) + 668 + -3. Suppose -2*y + b = -5*y + 2*l, -4*y = -2*l + 888. Does 8 divide (-2)/9 - y/27?
True
Let y(q) = q**2 + 2*q - 25. Is 11 a factor of y(-12)?
False
Let h(d) = -2*d - 5. Let c be h(-4). Suppose 0 = -0*f + 4*f - k - 3, c*k - 25 = -5*f. Suppose 2*q - 156 = -f*q. Does 14 divide q?
False
Is 3096/45 - (-2)/10 a multiple of 4?
False
Suppose 7*z - 1368 = -2*z. Is 38 a factor of z?
True
Suppose -28*d = -34*d + 756. Is 18 a factor of d?
True
Let a(o) = -3*o**2. Let j be a(-2). Let u be 18/j + (-2)/(-4). Let g(f) = -32*f + 1. Is g(u) a multiple of 13?
False
Let o = -219 + 127. Let n = o + 139. Is 15 a factor of n?
False
Let c be ((-1)/(-2))/(4/(-16)). Let u = -35 - -4. Does 16 divide 0 + (-2)/c - u?
True
Suppose 2*y = 5*k + 53 - 0, k = 4*y - 97. Let n be y/9*6/(-4). Let a = -1 - n. Is a even?
False
Suppose 0 = -2*i - 0 + 4. Suppose -5*l + 8 + 12 = 0. Suppose -54 = -5*a - i*t, 3*a = l*t + t + 20. Is a a multiple of 8?
False
Let z = 22 - -10. Suppose 5*y - z - 102 = -h, 5*y + 5*h = 150. Does 13 divide y?
True
Let t = 17 + -6. Is t a multiple of 7?
False
Suppose -2*u + 2 + 2 = 0. Suppose -5*s + 267 = -u*s. Is 18 a factor of s?
False
Let p(u) be the first derivative of 2 + 1/2*u**2 - 3*u + 1/3*u**3. Does 21 divide p(-8)?
False
Let a = 9 + -6. Suppose 0 = a*h - 5*h + 86. Does 14 divide h?
False
Suppose 0*y + 8 = -4*y. Let w be 2 + 104 - (-4 - y). Suppose 2*d + 3*z = 69, -4*d = -5*z + z - w. Does 15 divide d?
True
Suppose t - 84 = 4. Let c = 134 - t. Is 13 a factor of c?
False
Suppose 22 = -6*n + 8*n. Is 35 a factor of (-2)/n + (-2316)/(-33)?
True
Let i = -22334 + 14586. Is 23 a factor of (-4)/(-26) - i/169?
True
Let m(k) = -2*k**3 + k**2 - k - 3. Is 12 a factor of m(-3)?
False
Suppose -m - 134 + 23 = -3*x, 143 = 4*x - 3*m. Let f = 68 - x. Is 10 a factor of f?
True
Let j(w) = w - 5. Let x be j(9). Suppose x*f + 4 = 5*f. Is f a multiple of 4?
True
Suppose f + 3 = 2*k - 0*k, f + k - 9 = 0. Suppose -580 = -33*p + 28*p. Suppose o + p = f*w - 3*o, w - 32 = 3*o. Is 10 a factor of w?
True
Suppose 0 = 3*w - g + 4, 3*w + 20 = 2*w + 5*g. Let b be (0 - -2) + -64 + w. Is (1/1)/((-2)/b) a multiple of 16?
False
Let c = 30 - 2. Suppose 13*l - 16*l + 144 = 0. Let z = l - c. Is z a multiple of 20?
True
Suppose -41 = -5*p + 154. Does 13 divide p?
True
Let l(c) = c**3 + 15*c**2 + 15*c + 21. Suppose -5*n + 34 = -2*r - 19, r + n + 9 = 0. Is 3 a factor of l(r)?
False
Let j = 12 + 7. Does 15 divide j?
False
Suppose -7 - 2 = -3*p. Let a = p - 3. Suppose a = 4*i + 5*u - 55, 4*i + u = -0*u + 59. Is 5 a factor of i?
True
Let y(m) = -m**3 + 11*m**2 - 6*m - 1. Let u(j) = 5*j**2 - 3*j. Suppose 0*p = -5*p + 10. Let h(o) = p*y(o) - 5*u(o). Is 16 a factor of h(-3)?
True
Suppose -6*c - 106 = -2*s - 9*c, 5*s - 287 = -2*c. Does 12 divide s?
False
Let l = -101 + 143. Does 7 divide l?
True
Let s(g) be the first derivative of g**4/4 + 14*g**3/3 + g**2/2 + 16*g + 2. Is s(-14) even?
True
Suppose 0 = -2*z - 2*z - 44. Let c = -26 - z. Let b = -9 - c. Is 6 a factor of b?
True
Let o(k) = -k + 2. Let l be o(0). Suppose 2*z + 28 = l*r + 2*r, 0 = 5*r + 3*z - 24. Suppose 12 = 3*j - r. Does 6 divide j?
True
Let s = 4 + 24. Is s a multiple of 17?
False
Suppose -4*v = -9*v + 915. Is v a multiple of 20?
False
Let q(a) = a**3 - 7*a**2 - 7*a - 6. Let o be q(8). Is 1/o - 118/(-4) a multiple of 15?
True
Suppose 5*s + 0 - 6 = 2*j, 4*s = 5*j - 2. Is 2 a factor of s?
True
Let n(y) be the first derivative of -y**2/2 + 2*y + 2. Let z be n(-2). Let j = 8 - z. Does 3 divide j?
False
Suppose 12*s - 126 = 10*s. Is 13 a factor of s?
False
Is 3 a factor of 6 - (-2 + 4 + -5)?
True
Is 38 + (-1)/(-4)*0/(-14) a multiple of 7?
False
Let b = 62 - 59. Is 3 a factor of b?
True
Suppose -5*a = -5*d, 2*a + 2*d = 3*a - 2. Let b be 59*(-2 - -1)*a. Let l = b + -66. Is 26 a factor of l?
True
Let m(h) = -3*h + 6. Let i be m(4). Let n be i/4*8/(-6). Is -1*n/(2/(-13)) a multiple of 13?
True
Let v(b) = -b**2 + 6*b - 1. Let d be v(6). Let n = d + 18. Is n a multiple of 11?
False
Suppose -4*g + 5 = -3. Suppose 4*l + x + 3 = 8, 15 = g*l + 3*x. Suppose l*f = 3*f - 39. Does 8 divide f?
False
Let w(i) = 2*i**2 + 5*i + 2. Let j be w(-3). Suppose -4*v + 2*v + 20 = -j*f, 4*v + 4*f = 12. Let z = 3 + v. Is z a multiple of 8?
True
Let t(f) = -f**2 + 15*f - 17. Does 9 divide t(13)?
True
Suppose 76 = 3*j + 2*x, -3*j - 2*x = 2*x - 86. Suppose 0*m + j = 2*m. Is 11 a factor of m?
True
Suppose 0 = -12*q + 7*q + 200. Is 4 a factor of q?
True
Suppose -2*z = -7*z + 310. Is 14 a factor of z?
False
Let c(s) = s**3 - 6*s**2 - 5*s - 9. Let x be c(7). Let j(z) = 2*z**2 - 4*z + 1. Does 11 divide j(x)?
False
Suppose -6 + 31 = 5*x. Suppose -2*b = -27 + x. Is 11 a factor of b?
True
Let b(u) = -5*u + 9. Does 12 divide b(-5)?
False
Is 300/5*3/4 a multiple of 15?
True
Suppose n + 4 = 2*z, 2*z + 0*n - 4*n = 16. Suppose 5*y + 0*y - 200 = z. Is y a multiple of 20?
True
Suppose -5*f + 5*b + 25 = 0, 0*b + 5 = -2*f - 3*b. Suppose -f*o + 0*o + 20 = 0. Is 5 a factor of o?
True
Let q(r) = -r**2 + 13*r + 9. Let j be q(13). Suppose -3*y + 3*u + j = 0, 3*y - u - 11 = y. Does 3 divide y?
False
Suppose 7*u - 32 = 3*u. Does 4 divide u?
True
Suppose q - 3*z - z = 14, 29 = q - z. Suppose -5*s + q + 16 = 0. Suppose 5*v = -s, 3*w + 2*v - 92 = -w. Does 12 divide w?
True
Suppose -2*k + 4*k - 8 = -2*o, 3*k = -5*o + 26. Is 3 a factor of o?
False
Suppose 3*w = -5*f + 10, -f - 2*w + 0*w = 5. Suppose -3*x = -5*l + 42, 5*l - 17 = -f*x - 7. Suppose 2*b + 52 = l*b. Is b a multiple of 6?
False
Let a = 4 + -3. Let l(f) = -4*f + 15*f - a - 2. Does 17 divide l(2)?
False
Let k(f) = f**3 + 10*f**2 - f - 6. Suppose -6*i - 40 = -2*i. Is k(i) even?
True
Let t(y) = -18*y - 5. Does 