 be h(4). Let m = l + 3. Suppose -m*p = 2*r - 5*p - 73, -2*p + 142 = 3*r. Does 18 divide r?
False
Suppose 2*l + 0*l - 92 = 0. Is 6 a factor of l?
False
Suppose -67 = 5*b + 63. Let a = b - -47. Is a a multiple of 12?
False
Suppose -3*m + 2928 = m. Is 28 a factor of 4/(-6)*m/(-8)?
False
Let p = -53 - -79. Is p a multiple of 5?
False
Suppose 3*c = 500 + 121. Does 23 divide c?
True
Let c(u) = -14*u**2 - 2*u + 4. Let x be c(4). Let s = -142 - x. Suppose -122 = -4*q + s. Is q a multiple of 19?
False
Suppose -7*c + 2*c = -25. Suppose 2*d - 3*d = 2*j - 30, -10 = c*d. Is 8 a factor of j?
True
Let m(f) = 11*f - 5. Is m(4) a multiple of 8?
False
Let s = -101 + 271. Does 10 divide s?
True
Let n(m) = 2*m**2 + m - 2. Let g(i) = 3*i - 12. Let d be g(5). Is n(d) a multiple of 6?
False
Suppose -3*f = 2*f. Suppose -44 = -4*p + c, 0*p + p - 2*c - 11 = f. Is p a multiple of 6?
False
Let v = 4 + -6. Let j = v - -5. Suppose 0 = j*i - 0*i - 30. Does 10 divide i?
True
Suppose -3 - 1 = -4*s - 2*h, -5*s + 2*h = -14. Does 13 divide 37 - (-2 + 1 - s)?
False
Suppose -6*q = -2*q + 12. Let h(a) = -a**3 - 1. Let k(g) = 2*g**3 - 5*g**2 - 3*g + 9. Let i(y) = 5*h(y) + k(y). Is i(q) a multiple of 16?
False
Let j(t) = t**3 - 5*t**2 + 2*t - 7. Let x be j(5). Let n = x - -1. Is 4 a factor of n?
True
Suppose 2*j - 7 = -j - 4*d, -5*j - 2*d + 7 = 0. Suppose 0 = 2*y + j - 87. Does 25 divide y?
False
Let x = 321 - 216. Let v = -3 - -4. Is (x/6)/(v/2) a multiple of 17?
False
Let o = 24 + -55. Let c = -11 - o. Suppose 6*s = 2*s + c. Does 2 divide s?
False
Let c(y) = -y**3 - y + 1. Let w be c(-2). Let m = 4 + w. Does 15 divide m?
True
Suppose -9 = -m - 2*m. Suppose -2*k = -2*d - 2, -m*k = -6*d + 2*d. Is k a multiple of 4?
True
Suppose 3 - 129 = 3*h. Let j be (-2)/6 - 247/(-3). Let l = j + h. Does 20 divide l?
True
Let w be (2 + -1)*-1*0. Suppose w = 5*x - 4*z - 262, -2*z + 8 = 2*z. Does 21 divide x?
False
Suppose -42 = -2*s + 42. Suppose -s - 14 = -4*j. Is j a multiple of 4?
False
Suppose -20 = -3*r - r. Suppose -29 = r*u - 239. Let b = 59 - u. Is b a multiple of 6?
False
Let t be 4/4*2*2. Let l(p) be the third derivative of p**4/3 - p**3/2 + 9*p**2. Is l(t) a multiple of 12?
False
Let i(d) be the first derivative of -d**4/4 + 7*d**3/3 + d**2 - 7*d - 5. Is i(6) a multiple of 18?
False
Suppose 0 = -3*f + 4*d + 21, 0 = 2*f + 5*d - 12 - 2. Let o(c) = 2*c + 2. Is o(f) a multiple of 8?
True
Suppose 2*b - 3*i = 14, b - 5*i = 3*b + 2. Suppose 0 = g - 10 - b. Is 11 a factor of g?
False
Suppose 7*i + 3 = 4*i. Does 8 divide (i + 0)/(1/(-23))?
False
Let r(b) = -b**2 - 9*b. Suppose -n = 3*n - 3*l + 25, 4*n - 5*l = -23. Does 13 divide r(n)?
False
Suppose 0 = -4*t - 1 + 5. Suppose -k + 680 = -5*k + 3*l, 0 = 5*k + 4*l + 850. Does 14 divide k/(-6) - t/3?
True
Let v(h) = h**2 + 8*h - 4. Let o be v(-9). Suppose 1 = 2*s - o. Let k(x) = 2*x + 1. Is 4 a factor of k(s)?
False
Suppose 62 = 4*o + i - 154, 5*o + 5*i - 270 = 0. Is o a multiple of 18?
True
Let p = -3 - -3. Suppose 3*m + 47 + 31 = p. Let k = -8 - m. Is 12 a factor of k?
False
Let q be (-24)/(-9)*1*3. Suppose q*f = 3*f. Suppose 5*a + 18 - 118 = f. Is 10 a factor of a?
True
Let r(s) = 11*s + 5. Let b(a) = -5*a - 2. Let o(q) = 13*b(q) + 6*r(q). Let t be o(6). Does 8 divide ((-32)/t)/((-1)/5)?
True
Let b(a) = -a**2 + 3. Let p be b(0). Is 20 a factor of -1 + 68 + (p - 1)?
False
Let t(w) = 0 + 2 - 3 + 15*w - 35*w. Let o = 0 - 1. Is 8 a factor of t(o)?
False
Let a be 0 - (1 - 1 - 25). Suppose -5*t = a + 140. Is (-3 + t)/(-1 + 0) a multiple of 15?
False
Let s(a) = -a + 16. Let d be s(8). Suppose 14 = t - d. Suppose -3*z = 2*h - t - 7, -3*h = -3*z - 81. Is h a multiple of 13?
False
Suppose -2*w + 166 = -0*w. Suppose 2*a - a + 24 = -2*k, 3*a + w = 5*k. Let z = a + 47. Is z a multiple of 9?
False
Let n(q) = -q**3 + 7*q**2 + 7*q + 10. Let h be n(8). Suppose 0 = -h*j - 3*j. Suppose -4*u - 2*w + 198 = 0, j = u - 4*u + 5*w + 142. Does 15 divide u?
False
Suppose -2*r + 4*g - 8 = 0, 2*g = 5*r - 26 + 6. Is (-18)/(r/(-4) - 0) a multiple of 6?
True
Suppose -163 = -4*f + 125. Is 12 a factor of f?
True
Suppose 9 = z - 4*z. Let n(c) = c - 3 - 3*c - 3*c. Is 12 a factor of n(z)?
True
Let t(m) = -2*m + 91. Does 26 divide t(0)?
False
Let s be 1*(31 - 0/2). Let z = s + -16. Is 15 a factor of z?
True
Suppose -3*x - 3*b = -174, 2*b - 163 = -4*x + 73. Is x a multiple of 15?
True
Let h be -9 + (4 + -1 - 2). Let c = 30 + h. Let n = c - -2. Is n a multiple of 12?
True
Let z(q) be the second derivative of 2*q + 1/2*q**4 + 1/20*q**5 - q**2 - 1/3*q**3 + 0. Is z(-6) a multiple of 10?
True
Suppose -4*h + 8 + 8 = b, -5*b = -h + 4. Suppose b = -0*p + p - 22. Is p a multiple of 12?
False
Suppose -2*s = 8, -2*i = -s + 2*s. Suppose 2*p = i + 2. Let y = 8 - p. Does 6 divide y?
True
Let n = -8 + 18. Let x(b) = b**2 + 12*b + 16. Let q be x(-11). Let k = n - q. Is k a multiple of 2?
False
Suppose 2*p + 2 = 10. Is 13 a factor of p + 60 + -2 - 0?
False
Suppose 0 = -7*u + 3*u - 2*r, 0 = -4*u - r - 4. Is (-39)/(-6) - u/(-4) a multiple of 6?
True
Let q(x) = 5*x**2 - 6*x + 6. Is q(3) a multiple of 33?
True
Suppose -5*f + 0*f + 365 = 0. Let k(z) = 6*z - 1. Let s be k(1). Suppose -19 = -2*b + u, -s*u = -2*b + 6*b - f. Does 6 divide b?
True
Let y = 67 - -5. Does 18 divide y?
True
Let m(w) = w**2 + 2*w + 4. Let g be m(-4). Is 5 a factor of 290/15*g/8?
False
Let d(b) be the third derivative of -7/24*b**4 + 0*b + 1/2*b**3 + 0 + 1/30*b**5 + 3*b**2. Is d(6) a multiple of 11?
True
Suppose f - 113 = 65. Let y = -117 + f. Is 18 a factor of y?
False
Let l(k) = k**2 - 2*k - 13. Let s be l(10). Let m = 111 - s. Does 10 divide m?
False
Suppose 8 = 3*f - 124. Suppose -4*n + f = -4*l, 55 = 5*n + 7*l - 3*l. Is 11 a factor of n?
True
Let r(d) = -d**3 - 8*d**2 - 6. Let p be r(-8). Does 24 divide 4/12 - 142/p?
True
Does 7 divide (1 + -2)/((-5)/245)?
True
Let c be (-4)/5 - (-29)/5. Suppose 0 = 4*n - 3*s - 17, 3*n - 2*s = -c + 19. Is 2 a factor of n?
True
Let s(a) be the first derivative of a**3/3 - 2*a**2 - 2*a - 1. Let v be s(-5). Let q = v - 29. Is q a multiple of 7?
True
Let w be (3/(-2))/((-3)/4). Suppose -4*k - 16 - 13 = -o, -w*o + 2 = 0. Let a = k + 24. Is 17 a factor of a?
True
Suppose u - 3 = -1. Suppose 2*m + u*m - 8 = 0. Suppose -3*l - 30 = -3*x, -m*x = -4*x + 4*l + 24. Does 4 divide x?
True
Suppose -3*p - 2*x + 7 = 0, -8 = -x + 3*x. Suppose p = k - 0. Is k a multiple of 5?
True
Suppose -11 = 3*v + 5*d, -5*d + d = v + 13. Is 3 a factor of v?
True
Suppose 0 = 3*v - 10 - 23. Is v even?
False
Let c = 1 - -1. Let w(d) = d - 2. Let m be w(c). Suppose m = -u - 5, -u = -q + 4*u + 37. Is 6 a factor of q?
True
Let i(r) = -r - 9. Let y be i(-7). Let m(l) = 3*l**2 - 2*l**3 - 2*l**2 - 3*l**2. Is 3 a factor of m(y)?
False
Let v(x) = 46*x + 1. Let k be v(-1). Let u = -288 - -206. Let z = k - u. Is z a multiple of 15?
False
Suppose 0 = 5*q - 0*q - 150. Is q a multiple of 12?
False
Let t = 62 + -27. Is t a multiple of 15?
False
Suppose 5*h + 3*c = 424, -2*c + 21 - 264 = -3*h. Suppose -3*a + 2*a + 2 = 0. Suppose -72 = -4*n + 4*x, 0*n + a*x - h = -5*n. Is 12 a factor of n?
False
Does 9 divide ((-3)/6)/((-2)/100)?
False
Does 2 divide 7/(-35) + (2 - (-32)/10)?
False
Let v(x) = x**2 + 2*x. Let l be v(-2). Suppose l*z = -z. Suppose 10 = w - z. Is w a multiple of 4?
False
Suppose 0*t - 2*q = -t + 12, 0 = -5*q - 5. Does 10 divide t?
True
Let z(y) = -y**3 + 11*y**2 + 3. Let a be z(11). Suppose a*t = 10 + 47. Is t a multiple of 5?
False
Let u be (1 - 2) + (-1 - -1). Is 18 + (u - -1) + -1 a multiple of 7?
False
Let o(u) = -u**2 - 12*u - 7. Is 8 a factor of o(-9)?
False
Let i = -12 - -19. Is 2 a factor of i?
False
Is 11 a factor of 1 - (126/(-3) - -3)?
False
Let f be (-4)/(-10) + 94/(-10). Let w(u) = u**2 + 6*u. Is 17 a factor of w(f)?
False
Suppose -3 + 0 = -k. Suppose 3*z = k + 42. Suppose 3*t - z = 3*p + 15, -3*t - 5*p + 30 = 0. Is t a multiple of 10?
True
Let f = 3 + -3. Suppose f = -a + 5*a - 20. Suppose -12 = 2*x - a*x. Is x even?
True
Let v(b) = 8*b - 1. Let d be v(2). Suppose 0 = -t - r - r + 23, 8 = 4*r. Let m = d + t. Is m a multiple of 17?
True
Is ((-22)/(-33))/((-4)/(-66)) even?
False
Let c(o) = 5*o**2 - 12*o - 2. Let j(k) = k**2 - k - 1. Let n(z) = -c(z) + 6*j(z). Is 3 a factor of n(-7)?
True
Let h = -19 + 41. Is h a multipl