s k a multiple of 11?
True
Suppose 6*a + 142 = 8*a. Does 7 divide a?
False
Does 9 divide (-9 - 1)*27/(-6)?
True
Suppose 4*t = -5*w + 67, 4*w + t + 3*t = 52. Is w a multiple of 3?
True
Suppose -4*j = -j. Suppose j - 108 = -2*o. Does 27 divide o?
True
Suppose 0 = 3*p - p - 80. Is p a multiple of 10?
True
Is 14 a factor of (-7)/(-28) - (-167)/4?
True
Let u(g) = g + 1. Let y be u(6). Is y*6*(-2)/(-4) a multiple of 21?
True
Let j(m) = -3*m - 13. Let s be j(-9). Is (s/6)/(3/18) a multiple of 10?
False
Suppose 3*x = -0*x + 21. Suppose 54 = -4*t + x*t. Is 9 a factor of t?
True
Let q = 1 - 3. Let f(k) = 3*k**2 + 2. Is f(q) a multiple of 4?
False
Let h = -10 + 4. Let q = h - -5. Is ((-3)/2 - q)*-24 a multiple of 12?
True
Suppose 4*t = -3*x - 22 + 8, 0 = -5*x + 4*t + 30. Let p(r) = -2 + x*r - 7*r - 5. Is p(-6) a multiple of 9?
False
Let f(r) = -1 - r - 9*r - 2*r**2 - 3*r**2 + r**3. Is f(7) a multiple of 13?
False
Suppose -3*j + j = -8. Suppose -4*i + 4*g = j, -3*i - 2*g + 5 = -g. Is 13 a factor of ((-9)/(-6) - i)*50?
False
Let u = -132 + 68. Let z be (18/(-12))/(3/u). Suppose 3*g - 4*g = -z. Is 16 a factor of g?
True
Suppose w = -4*z + 156, -223 = -5*z - 3*w - 28. Does 3 divide z?
True
Suppose 4*n + 1 = -3*r - 13, 2*r - 4*n + 16 = 0. Let h = r + 19. Is 2 a factor of h?
False
Suppose 11*i - 7*i - 28 = 0. Is i a multiple of 4?
False
Let o be 2/3*9/(-6). Is 11 a factor of (0 - o) + 22 + -1?
True
Suppose 0 = -5*y - 0*b - 2*b + 1698, 3*b + 664 = 2*y. Is 14 a factor of y?
False
Let o(w) = w - 1. Let j be o(6). Is 7 a factor of 154/10 + (-2)/j?
False
Let k = -29 + 61. Suppose 3*z - k = -t, t = -t + 10. Does 4 divide z?
False
Let p be -5*(3 + 18/(-10)). Let s(o) = o + 13. Does 3 divide s(p)?
False
Is ((-360)/(-28))/((-1)/(-7)) a multiple of 15?
True
Suppose -4*d = 5*z - 12, z + 4*d - 12 = -3*z. Suppose 2*n - 38 - 48 = z. Does 19 divide n?
False
Let f = -22 - 1. Let c = 47 + f. Does 12 divide c?
True
Let i(c) = 27*c - 9. Is 7 a factor of i(5)?
True
Let o(j) = -2*j - 1 + 0 + j**3 + 5*j**2 - 2 - 1. Is 16 a factor of o(3)?
False
Suppose 3*g + 3*p - 87 = 0, -2*p + 3*p - 1 = 0. Suppose -r - k = -g, r - 2*k - 3*k = 16. Is 11 a factor of r?
False
Let c(y) = y**3 + 7*y**2 + 4*y - 7. Let z be c(-6). Suppose -3*r - z*t = -7, 4*t = 3*r - 9 - 7. Suppose 1 = -g + 4*n, 15 = r*g + n - 32. Is g a multiple of 4?
False
Suppose -2*c - 120 = -5*c. Is c a multiple of 20?
True
Let z = 94 + -77. Is z a multiple of 15?
False
Let w = -3 - -2. Let t = 1 - w. Suppose t*h - 1 = 7. Is h even?
True
Suppose -k = k - 5*f - 140, 312 = 5*k - 3*f. Does 15 divide k?
True
Suppose -x + 0*x + l = -73, 5*x + 5*l - 345 = 0. Is x a multiple of 26?
False
Suppose 2*w - 4*w + 18 = 0. Is 5 a factor of (4 + -1)*33/w?
False
Suppose -b + 16 + 32 = 0. Suppose 0 = 5*t - 23 - 7. Does 3 divide b/t - 1*-1?
True
Suppose 3*c = -5*u - 7, -u = -0*c + c + 3. Let v(z) = z**3 + 4*z**2 - z + 5. Is 4 a factor of v(c)?
False
Let y = 747 - 457. Does 25 divide y?
False
Let q = 3 - 7. Let f be 49*2/q*-2. Let d = f - 33. Is 8 a factor of d?
True
Let i = -1 - -5. Is 2 a factor of i?
True
Let h = -6 - -13. Suppose h*o - 4*o = 33. Is 11 a factor of o?
True
Let c(z) = -z**2 + 13*z + 4. Does 26 divide c(11)?
True
Let x be -2*1 + 3 + -1. Suppose -2*i = -x*i + 16. Let j(b) = -b - 4. Is 2 a factor of j(i)?
True
Let y(r) = r**3 + 8*r**2 - 2*r - 11. Let g be y(-8). Suppose -5*h + g*m - 65 = 0, 0 = 3*h - 3*m - m + 40. Does 4 divide h*(15/(-9) + 1)?
True
Suppose -5*o + 84 = -3*o. Let f = o + -5. Is f a multiple of 18?
False
Suppose -16 = -4*z - 5*y, 3*z + 3*y + 0*y = 9. Let w(n) = -73*n. Does 18 divide w(z)?
False
Let m(g) = g + 1. Let b(r) = 5*r - 5. Let c(i) = b(i) + m(i). Does 8 divide c(3)?
False
Let d = -24 - -70. Is 4 a factor of d?
False
Suppose 6*f + 0*f - 426 = 0. Suppose -2*v - 5*a + f = 0, -v + 129 = 2*v + 3*a. Is v a multiple of 10?
False
Let q(z) = 4*z**2 + z - 5. Let t be q(-7). Suppose 2*n + 2*n = t. Is n a multiple of 13?
False
Let y(z) = -35*z**2 + 3*z - 3. Let v be y(-4). Is 16 a factor of 9/(-21) + v/(-35)?
True
Let p(g) be the first derivative of g**2/2 + 9*g - 2. Does 6 divide p(7)?
False
Let o(m) = -m**3 - 3*m**2 - m. Let r be o(-3). Suppose -2*j + 150 - 9 = 3*u, 2*u = -r*j + 199. Is 16 a factor of j?
False
Let v = -15 - -23. Let o(i) = -i - 4. Let x be o(v). Is 4 a factor of (0 - x) + 1 + -1?
True
Suppose -h - 14 = -2*k, 0 = 3*h + 16 - 4. Suppose -2*x - 55 = -l, -4*l - x = -k*x - 240. Is l a multiple of 18?
False
Does 21 divide 45/(-2)*(-16)/6?
False
Suppose 3*o = -23 + 71. Let y = o + -7. Is 9 a factor of y?
True
Is -9*2*(-90)/27 a multiple of 10?
True
Let u(a) = 10*a + 12. Let s(t) = -t + 1. Let z(c) = 6*s(c) - u(c). Let h be z(-4). Suppose 0 = -3*i + h + 41. Is 11 a factor of i?
True
Let v(i) = 2*i**3 + 6*i**2 + 2*i + 4. Let h be v(-4). Let u = h - -61. Is 10 a factor of u?
False
Let h(v) = -50*v**3 + 2*v**2 - 1. Let o be h(1). Let b = 83 + o. Does 17 divide b?
True
Suppose 3*t = -3*t. Let x(m) = -15*m**3 - m**2 - 2*m - 1. Let v be x(-1). Is 10 a factor of 26 + t - v/5?
False
Suppose i + 160 = 6*i. Suppose -i = 2*j - 3*j. Does 9 divide j?
False
Let d(i) = -53*i + 2. Is d(-2) a multiple of 36?
True
Let u(d) = 12*d. Is 6 a factor of u(1)?
True
Let i = 9 - 6. Suppose -4*s + 5*l = -i, -3*l = -3*s - 6*l + 9. Suppose p - 126 = -s*p. Is p a multiple of 14?
True
Let j = 7 - 4. Suppose w + j*w + 28 = 0. Is (-12)/(-18) - w/3 a multiple of 3?
True
Let h = 76 - 25. Suppose -193 + h = -2*u. Does 22 divide u?
False
Let n = 88 - -55. Suppose -2*p + 0*p = 0. Suppose -n = -3*d + 4*j, p*d - 113 = -3*d - 2*j. Is 15 a factor of d?
False
Suppose 5*w - w = 0. Let y(u) be the first derivative of -u**4/4 - u**2/2 + 9*u - 2. Is y(w) a multiple of 5?
False
Let c(n) = 38*n**2 - 2*n - 4. Does 24 divide c(2)?
True
Is 18 a factor of -44*(-1 + 1/2)?
False
Let k(c) = -c**2 - 2*c. Let n be k(-3). Let u = n - -4. Does 11 divide (-23)/(-2) - u/2?
True
Suppose 5*i - 9 = 2*i. Suppose 15 = i*x + 3. Suppose -4*j = -2*w + 18, x*w - w + 3 = -4*j. Is 3 a factor of w?
True
Let w be (-6 - -1)*(-8)/10. Suppose w*y - 660 = 5*i, 2*y - 3*i = -3*y + 825. Suppose 4*h + h = -5*a + y, a = -3. Is h a multiple of 18?
True
Let n be 2/(-10) + (-4)/(-20). Suppose 4 = 3*u - 4*w, -7 = -n*u + u - 3*w. Does 8 divide u?
True
Let f(i) = 2*i + 14. Let r(t) = -2*t - 14. Let x(k) = 4*f(k) + 5*r(k). Is x(-15) a multiple of 8?
True
Let y = 144 + -102. Is 14 a factor of y?
True
Let p = -3 - -3. Suppose 3*g + p*g - 3 = 0. Does 3 divide -2 + (-2 - (g + -8))?
True
Let n(j) = j**3 - 7*j**2 + 6*j + 7. Is 2 a factor of n(6)?
False
Let v = 48 - 24. Is 12 a factor of v?
True
Does 5 divide (-5 + (-22)/(-10))*-30?
False
Suppose 0 = -2*z - o + 40, -6*z + 3*z + 4*o = -60. Is 13 a factor of z?
False
Suppose 4*m = 5*r - 88, 11*r = 3*m + 12*r + 47. Let b be 11/(-1) + 0/(-2). Let q = b - m. Does 5 divide q?
False
Suppose x - 3*x = -112. Is x a multiple of 15?
False
Suppose 7*z = 6*z + 107. Does 12 divide z?
False
Suppose -l = 3*p + 235, p - 3*l - 145 = 3*p. Let q = -57 - p. Is q a multiple of 4?
False
Suppose -4*y = -5*y + 13. Is y a multiple of 3?
False
Suppose -3*b = -0*b - 4*a - 16, -a + 3 = b. Let s(w) = w**3 - 2*w**2 + 6*w - 6. Is 25 a factor of s(b)?
True
Let m(q) = -q**3 + 7*q**2 - 5*q - 5. Let l be 11 - 2 - 3/(-3). Suppose 2*w - 5*x + x + l = 0, -5 = -x. Is m(w) a multiple of 10?
True
Let s(h) be the second derivative of -h**3/6 - 3*h**2/2 + h. Does 5 divide s(-10)?
False
Suppose 0 = y - 14 - 13. Suppose -5*j = -0*k + k - y, 0 = 2*j - k - 15. Does 3 divide j?
True
Is 16 a factor of -8*((-4 - 0) + 3 - 15)?
True
Is 41 + (5 - 5)/((-2)/(-1)) a multiple of 4?
False
Suppose 20 = -2*w - 3*w. Is 9 a factor of (w - -3) + 1 + 21?
False
Let r(x) = 2*x**2 + 5*x + 17. Is r(-10) a multiple of 43?
False
Let n(q) = q + 7. Let t = -10 + 3. Let s be n(t). Suppose -3*f = p + 4*p - 19, f - p - 9 = s. Is 8 a factor of f?
True
Suppose 36 = 3*g - 0*g. Suppose 0 = r - 4*r + g. Is r a multiple of 2?
True
Let f be 7*5 - (4 - 5). Let s be (-4)/(-26) - 1897/(-91). Let z = f - s. Is z a multiple of 15?
True
Let b(l) = l**3 + 4*l**2 + 4*l + 2. Suppose -4*q = q + 10. Let a be b(q). Is a/7 + 194/7 a multiple of 11?
False
Suppose -h = -3 - 7. Let q(j) = -j**3 + 11*j**2 - 7*j - 6. Is q(h) a multiple of 12?
True
Let k be