z + 440. Is 27 a factor of z?
False
Is 13 a factor of 1 + 1311/24 + 54/144?
False
Suppose -3*m + 21 = -2*o + 5, -3*o - 19 = -2*m. Suppose -m*u - 2*u = -112. Is u a multiple of 14?
True
Suppose v - 7 = 33. Is v a multiple of 10?
True
Let f(v) = 4*v - 30. Is f(13) a multiple of 18?
False
Suppose -4*f = 5*l - 23, -5 = -f - 3*l + 2*l. Does 3 divide f/(-9) + 112/18?
True
Suppose j + 2*j - 264 = 0. Let u be j/20 - 2/5. Suppose l - 28 = -s, -6*s + u*l = -s - 140. Is s a multiple of 14?
True
Is 41/5 + (-3)/15 a multiple of 3?
False
Let j be ((-18)/24)/((-2)/(-96)). Does 16 divide (-384)/j*3/2?
True
Let h be 2/5 - 26/(-10). Suppose -h*m - 28 = -5*m. Is 14 a factor of m?
True
Let k(d) = -d**3 + 23*d**2 - 2*d - 48. Is k(22) a multiple of 56?
True
Let r be -1 - (-3 - -1*2). Is 5 a factor of (-26)/(-2) + r + 2?
True
Let n be (-1 - -2)*(0 - 0). Suppose n = 2*u + 3*u - 130. Is u a multiple of 22?
False
Let l be (-2)/(-3) + 26/(-3). Let r be (-1162)/(-49) - (-2)/7. Let q = l + r. Is 8 a factor of q?
True
Let y = 11 + -5. Let c be 2/(-4) + 21/y. Is 3 a factor of (-3 + (c - 1))*-6?
True
Suppose -4*r - 42 = -2*h - 16, 8 = -h - 5*r. Suppose 0 = -3*n + 83 + h. Is n a multiple of 9?
False
Let x(m) = -m**3 + 4*m**2 + 4*m + 4. Let f(w) = -w**2 - 7*w - 2. Let c be f(-6). Is 10 a factor of x(c)?
True
Let s = -151 - -240. Is s a multiple of 20?
False
Suppose -72 = 3*i - 189. Let z = i + -28. Is 3 a factor of z?
False
Suppose x + 67 = f, -84 - 176 = -4*f - 4*x. Is f a multiple of 11?
True
Let v = 130 - 85. Is v a multiple of 9?
True
Let d(r) = -r**3 + 8*r**2 - 8*r + 17. Does 2 divide d(7)?
True
Let x(a) = -a**3 - a - 1. Let v(c) = 2*c**3 - c**2 + 3*c + 23. Let w(m) = v(m) + 3*x(m). Let y be w(0). Let t = y - 0. Is t a multiple of 8?
False
Let n(t) = 2*t - 1. Let z be n(2). Let f(j) = -4*j + 8*j**2 - 3 - j**3 + 0*j**z - 2. Is 7 a factor of f(7)?
False
Suppose 6*d = 9*d - 120. Is 40 a factor of d?
True
Suppose -4*l + 109 = -95. Does 16 divide l?
False
Suppose -i + 6 = 1. Suppose y - 8 = 2*q, -3*q + i*q + 18 = -4*y. Does 7 divide 18 + y + 3/3?
False
Suppose 0*i + 100 = 3*p - 5*i, -4*p + 3*i + 148 = 0. Is 20 a factor of p?
True
Let l be 6*((-52)/3)/(-2). Let x = 97 - l. Is x a multiple of 12?
False
Let o be 2 + (-6)/2 - -1. Suppose 0 = -2*w, w + 5 = z - o*w. Is z a multiple of 3?
False
Let j = 0 - -2. Suppose j*x - 75 = -x. Is x a multiple of 12?
False
Let a = 84 + -72. Does 3 divide a?
True
Suppose 2*t + 105 = i - 0*t, -5*i - 5*t = -480. Is i a multiple of 33?
True
Suppose -3*q + 2*p + 115 = 0, -4*q - p + 250 = 93. Suppose 5*v = 2*y - q, 2*y + 5*v - 6*v = 59. Is 16 a factor of y?
True
Suppose -2*o = -k + 3*o + 101, 3*k + 4*o - 227 = 0. Does 24 divide k?
False
Let d(j) = -j**2 - 10*j + 2. Let g be d(-10). Suppose 0 = 2*q, -3*l = g*q - 5*q - 63. Is l a multiple of 9?
False
Let n(k) = k + 11. Is n(4) a multiple of 15?
True
Suppose m - 6 = -2*m. Let w be 1 - -3 - (-2)/(-1). Let b = w + m. Is 4 a factor of b?
True
Let b = 8 + -13. Let g = b + 9. Let m = g - -22. Does 13 divide m?
True
Let l(o) be the second derivative of -4*o**3/3 + 3*o**2/2 - 19*o. Let g = 10 - 17. Is l(g) a multiple of 20?
False
Let o(v) = v**3 + 17*v**2 - 26*v - 4. Does 28 divide o(-18)?
True
Suppose -13*z = -1529 - 1747. Is z a multiple of 28?
True
Let x(k) = -3 - 3*k**2 + 12 - 10*k + 4*k**2. Is x(11) a multiple of 10?
True
Is 23 a factor of ((-1760)/24)/((-5)/((-135)/(-6)))?
False
Suppose d = -4*x + 106, 5*x + 2*d = x + 108. Let v = x - -6. Does 8 divide v?
True
Suppose 0 = d - 3*l - 20, -5*l = 5*d - 17 - 3. Is 7 a factor of d?
False
Let l = 268 + -109. Is 39 a factor of l?
False
Does 50 divide ((-70)/15)/((-1)/57)?
False
Suppose -1 = 4*z - 5*b, -2*z + 4 = -b - 3*b. Let u be (-2)/4 + (-10)/z. Suppose -53 = m - u*m. Is m a multiple of 22?
False
Let a = 2 - -31. Does 33 divide a?
True
Let x be -2 - (0 - (23 - 0)). Let p = x - 8. Is p a multiple of 13?
True
Suppose -2*o + 23 = -o. Let d = -14 + o. Does 9 divide d?
True
Let q(j) = -j**3 - 7*j**2 + 7*j + 7. Is 2 a factor of q(-8)?
False
Suppose 0 = 3*k - 5*p + 14, 19 - 3 = 4*p. Is 19 a factor of (25/k + -3)*2?
True
Suppose -200 = u - 6*u - 5*o, 2*u = 5*o + 87. Is u a multiple of 4?
False
Let x(n) = -2*n**3 + 16*n**2 - 17*n + 20. Is x(6) a multiple of 11?
False
Suppose -84 = -2*q - 2*o - o, -4*q - 4*o = -164. Let b(w) = w - 5. Let r be b(-7). Is 13 a factor of q/r*(-2 + -2)?
True
Let g(r) be the first derivative of -r**4/4 + 10*r**3/3 - r**2/2 + 13*r + 1. Let t be g(10). Suppose 0 = -v - 0*v + t. Is v a multiple of 3?
True
Let j(f) = f**3 - 2*f**2 - 5*f - 3. Is 3 a factor of j(4)?
True
Suppose 5*p = 4*p - 3*b + 19, -64 = -3*p - 2*b. Is p a multiple of 11?
True
Suppose -4*g + 41 = -75. Suppose 4*a = g + 27. Is 14 a factor of a?
True
Suppose 120 = 4*m - 3*m. Does 16 divide m?
False
Suppose -52 = -4*n - 6*z + 4*z, -n + 7 = -z. Is 11 a factor of n?
True
Let w(a) be the second derivative of -a**5/20 - 2*a**4/3 - 7*a**3/6 - 2*a**2 - a. Let f be w(-4). Let x = 70 + f. Is x a multiple of 20?
False
Let i(z) = -z - 1. Let t be i(-7). Suppose t*k = -4*y + 3*k + 70, -5*y + 76 = -2*k. Is y a multiple of 10?
False
Suppose -6*m = -3*m + 15, 0 = g + m - 115. Does 40 divide g?
True
Let l(w) = 10*w - 24. Is 9 a factor of l(11)?
False
Is 4 a factor of (15 - 3) + -5 + 1?
True
Suppose -2*d = d - 12. Let p(s) = s**2 + 3*s + 4. Let y be p(-6). Suppose -2 = d*v - y. Is 2 a factor of v?
False
Suppose 0 = 4*f - 3*m - 11, 0*m + 7 = 4*f + m. Suppose -2*j + 8 = 0, o + 0*o - 55 = f*j. Is 21 a factor of o?
True
Suppose -11*p + 4756 = 323. Is p a multiple of 19?
False
Suppose 4*z - 5*d = 5*z - 16, -4*d - 10 = -3*z. Is z even?
True
Let w(m) = -5*m + 4. Let c be w(4). Let a(r) = 5*r - 4. Let y be a(-5). Let t = c - y. Is t a multiple of 13?
True
Suppose 0 = 3*w - 2*w + 2. Is (w/(-3) - 2)*-24 a multiple of 12?
False
Let q = -20 + 8. Let s = 19 - q. Is 16 a factor of s?
False
Suppose -7 = -y - 3. Suppose 0 = -y*s - 17 + 41. Is 6 a factor of s?
True
Let b be 102 - (-2 + 0)*1. Suppose o - b = -o. Does 8 divide o/5 + 6/10?
False
Suppose 18 = 4*p - g, -5*p + g + 3 = -4*p. Suppose -12 = p*m - 8*m. Is m a multiple of 4?
True
Suppose 0*g - 5*g = 0. Suppose -4*l - 2*b = -8, -b - 1 = 3*l - 7. Let t = l + g. Is t even?
True
Let v = -2 + 15. Let j = v + -8. Suppose 2*l + 72 = j*l. Is 8 a factor of l?
True
Suppose -2*h = 3*b - 588, -19*h + 14*h - 213 = -b. Does 18 divide b?
True
Suppose 0 = 4*k - 994 + 262. Suppose -4*x - x = -4*s + 136, 3*x + k = 5*s. Is s a multiple of 10?
False
Is 14 a factor of ((-8)/10)/((-2)/85)?
False
Let p(t) = -6*t - 1. Let u(m) = 7*m. Let n(x) = 5*p(x) + 4*u(x). Let b(j) = -j**3 - 10*j**2 + 10*j - 16. Let g be b(-11). Is n(g) a multiple of 5?
True
Let u(k) = k**3 - 8*k**2 + 7*k - 8. Let s be u(6). Let h = s + 68. Does 15 divide h?
True
Let x = -23 + 16. Let f(n) = -n + 2. Let t be f(x). Suppose 3*p + 58 = 4*m, -6 = -m + p + t. Is 13 a factor of m?
True
Let b(o) = -o**2 + 3*o + 3. Let c be b(4). Let y = 3 + c. Suppose 3*k - 45 = -4*j, -4*j + 21 = -3*k - y*k. Does 5 divide j?
False
Let m(o) = o**3 + 7*o**2 + 6*o + 9. Does 2 divide m(-4)?
False
Let l be (-4)/8*(-20 - -2). Let h = -8 + l. Is 0 - (-1 - (h + 10)) a multiple of 4?
True
Let f be 3 - (14 + 3 + 0). Let y = f + 58. Does 22 divide y?
True
Suppose 10*w - 190 = 5*w. Is 15 a factor of w?
False
Let o(h) = -46*h + 4. Does 29 divide o(-3)?
False
Let o be (1 - -1) + (1 - 22). Does 11 divide o/(-2) + 6/4?
True
Let u be 4*(-1)/2 + 11. Suppose 1 + u = a. Is 5 a factor of a?
True
Suppose 0 = -10*o - 302 + 1082. Is 13 a factor of o?
True
Suppose 9 - 29 = -4*q. Let m = -1 + q. Let d = m - -21. Is d a multiple of 11?
False
Let l(i) = -18*i + 1. Let j be l(-10). Suppose -r + 190 = 5*d, -4*d - 3*r + 8*r + j = 0. Does 11 divide d?
False
Let c = -14 + 29. Does 3 divide c?
True
Let y = -7 + 12. Let c = 8 - y. Suppose -4*u = -u + 3*f - 12, c*u + 2*f = 15. Does 4 divide u?
False
Let t = -5 - -5. Suppose t = -y + 1 + 1. Is 2 a factor of y?
True
Let u(v) = -1 + 0 + v**3 + 0*v - 5*v + 2*v + 5*v**2. Does 8 divide u(-4)?
False
Let q(m) = 54*m - 3. Is 24 a factor of q(2)?
False
Suppose 3*g - 5 - 1 = 0. Let k = 6 - g. Let p = k - -6. Does 5 divide p?
True
Let t be (-9)/(((-45)/12)/5). Suppose 4*k - t = 4. Is k a multiple of 2?
True
Suppose 0 = -4*d - 