ltiple of 6?
False
Suppose -18*d + 44 = -16*d. Does 11 divide d?
True
Let u(v) = -313*v + 17. Let k be u(-4). Is 6/8 - k/(-36) a multiple of 17?
False
Let r = 813 + 1703. Is r a multiple of 11?
False
Let p(d) = d**3 + 5*d**2 + 3*d + 5. Let j be p(-4). Let c = j + 4. Is c a multiple of 2?
False
Suppose -20784 = -59*a + 47*a. Is a a multiple of 26?
False
Let v(a) = a**3 + 6*a**2 - 2*a - 3. Let x(u) = -2*u + 5*u**2 - u**2 - 5*u**2 + 11*u - 6. Let t be x(9). Is 3 a factor of v(t)?
True
Let k(j) = 125*j - 241. Is 9 a factor of k(11)?
True
Suppose 4 = o + 2. Suppose -4*d + 5*s - 91 = o*s, -3*d - s - 65 = 0. Let z = d + 48. Does 10 divide z?
False
Let u(z) = 2*z**3 + 99*z**2 + 17*z - 203. Is 65 a factor of u(-49)?
True
Let k(q) = 11*q + 3*q + 8*q - 12. Is k(5) a multiple of 16?
False
Suppose 164*q - 78 = 163*q. Is q a multiple of 6?
True
Is 72 a factor of ((-1106)/(-13 + 6))/(2/14)?
False
Let h = -105 + 35. Let w = h + 119. Does 39 divide w?
False
Suppose 39*f + 152 = 2492. Does 11 divide f?
False
Let i = 111 - 109. Suppose -2*s - t + i*t = -417, -4*s + 4*t + 844 = 0. Does 11 divide s?
False
Suppose 0 = -3*u + 8*u + v - 226, -66 = -u + 5*v. Is 23 a factor of u?
True
Suppose 3*v - 425 = -2*v. Suppose 3*c - v = y, -y - y + 127 = 5*c. Is 27 a factor of c?
True
Suppose q - 38 = 5*r + 22, 416 = 5*q + 4*r. Is q a multiple of 4?
True
Let a be -15*(-2 - (-10)/15). Suppose 5*d = d + a. Suppose -d*c = 4 - 154. Does 10 divide c?
True
Let l(a) = -11*a + 37. Let j(r) = 3*r + 62. Let q be j(-22). Is 9 a factor of l(q)?
True
Let m(r) = r**3 + 13*r**2 + 12*r + 4. Let z be m(-12). Suppose w - 103 = -5*q, -3*w = z*q - 2*q - 270. Does 11 divide w?
True
Let j(p) = -p + 3. Let x be j(2). Suppose -8*i + 4*i = -z - x, 5*i = 25. Does 4 divide z?
False
Let o(u) = u**3 + 11*u**2 + 10*u + 3. Let v(j) = 2*j**3 + 22*j**2 + 20*j + 6. Let b(d) = -7*o(d) + 4*v(d). Is 23 a factor of b(-8)?
True
Let g = 26 - -102. Suppose 0 = 5*w + 157 + g. Does 19 divide 3/((-3)/w*1)?
True
Suppose 27 = 4*a + 3*n, 0*a + 22 = 4*a + 2*n. Suppose -70 = -a*y + 11. Suppose -3*s = -0*s - y. Is 7 a factor of s?
False
Let w(b) = -b**2 + 10*b - 6. Let p be w(9). Suppose p*o - 30 = 6*o. Let n = 19 + o. Is n a multiple of 3?
True
Suppose 4*z = -0*a - 3*a + 68, -5*z + 85 = -5*a. Suppose z*h = 16*h + 11. Does 5 divide h?
False
Let g(d) = 7*d**3 - 4*d**2 + 4*d - 2. Let t be g(2). Let z = -17 + t. Suppose -z = -k + 42. Is k a multiple of 21?
False
Let h = -907 - -2107. Does 20 divide h?
True
Let t(m) = -18*m**3 + 3*m**2 + 4*m - 1. Let d = -75 + 73. Is t(d) a multiple of 20?
False
Let g(k) be the third derivative of 1/6*k**3 + 6*k**2 + 0 + 1/60*k**5 - 1/12*k**4 + 7/60*k**6 + 0*k. Does 8 divide g(1)?
False
Suppose 74 = 3*n - 1438. Suppose -f + n = -3*i + 8*i, -i = 4*f - 97. Is i a multiple of 5?
False
Let t(g) = g**2 + 45*g + 91. Is 5 a factor of t(-45)?
False
Suppose 5*x + 506 = 2*q, 6*q = q - 5*x + 1265. Let g = q - 153. Is 12 a factor of g?
False
Let l(y) = 3*y - 6. Let d(g) = 2*g - 3. Let p(b) = 5*d(b) - 2*l(b). Let a be p(8). Let s = -20 + a. Does 9 divide s?
True
Suppose -5*b = 4 - 19. Let l be b*(-1 + 15/9). Suppose -l*s + q + 37 = 6*q, -q - 47 = -3*s. Is s a multiple of 16?
True
Suppose 2*z + 5*r - 3637 + 813 = 0, -2*z = 4*r - 2826. Does 13 divide z?
True
Suppose -5*y = -2*n + 15, 0*y = n - 2*y - 10. Suppose -i + n + 6 = 0. Does 7 divide i?
False
Let c(q) = -10*q + 4. Let r be -31 + 1/2*-6. Let k = r - -27. Does 13 divide c(k)?
False
Let r = 355 + -197. Is 18 a factor of r?
False
Let v be (-21)/7 + (4 - 1). Suppose -d + 4 - 2 = 4*b, -3*d + 3*b + 21 = v. Is d a multiple of 3?
True
Suppose -11*h = -7*h - 4. Let j = 29 - h. Does 14 divide j?
True
Suppose 7*s = 4*s + 141. Let k be (-4)/14 - 393/21. Let y = k + s. Is 7 a factor of y?
True
Suppose -7*f - 350 + 3290 = 0. Suppose -194*z + f = -189*z. Is 42 a factor of z?
True
Suppose 4*z = 2*s + 404, s - 150 = 5*z - 655. Suppose -5*q + q = -3*o - 96, 5*q = -o + z. Is q a multiple of 13?
False
Let k(l) = -4*l + 66. Let q(h) = -5*h + 65. Let r(n) = 6*k(n) - 5*q(n). Is 16 a factor of r(0)?
False
Suppose 3*s = 2*o + 2035, -1131 - 1588 = -4*s - 3*o. Is 13 a factor of s?
False
Let w(f) = 42*f**2 + 24*f + 63. Is w(-6) a multiple of 9?
True
Suppose 0*l - 190 = l. Let h be (l/20)/((-1)/2). Let s = 31 - h. Does 6 divide s?
True
Let z = -11 + -9. Let p = z + 33. Suppose 4*g + 5*u = -p, 2*g + u + 1 = 2. Does 2 divide g?
False
Suppose 0 = -5*z + q + 47, -3*q = 3*z + 2*q - 17. Is 14 a factor of (1*4)/(7 - z) - -24?
False
Suppose -2*c + 21 = -5*b, 2*c + 9 = 3*c - 2*b. Suppose c*q + 2*l = 0, 0 = 5*q + 2*l - 4*l. Is 12 a factor of (49 + (q - 0))*1?
False
Suppose -11*c = -697 + 224. Is 3 a factor of c?
False
Suppose 5*f = 2*z - 363, -4*z + 120 = -3*f - 627. Is z a multiple of 17?
False
Suppose 75*t + 11690 = 89*t. Is 63 a factor of t?
False
Let n(s) = 2*s**3 - 4*s**2 + 3*s. Let q be n(2). Let p(k) = k**2 - 3*k - 4. Let l be p(4). Suppose -2*m + q + 6 = l. Is m even?
True
Let p be 4*((-9)/(-3))/6. Suppose p*o = 3*d + 657, -4*o + 0*d = -3*d - 1305. Is o a multiple of 36?
True
Let h(l) = 58*l - 179. Is 21 a factor of h(15)?
False
Suppose -11*o = -33 - 33. Let z(t) = t**3 - 3*t**2 - 4*t + 4. Let q(g) = g**3 - 4*g**2 - 3*g + 3. Let d(i) = -3*q(i) + 2*z(i). Does 5 divide d(o)?
True
Let r = 41 - 59. Let t be (-1804)/r + 20/(-90). Let w = -63 + t. Is w a multiple of 21?
False
Let o(r) = -2*r**2 + 3*r + 20. Let k be o(5). Is 11 a factor of (-396)/(-10) - k/(525/14)?
False
Suppose 4*b + 190 = 3*q - 305, 2*q - 5*b - 330 = 0. Is q a multiple of 5?
True
Suppose w = 2*k + 46, w + 92*k - 90*k - 58 = 0. Is w a multiple of 7?
False
Suppose -525 = -a - 158. Suppose -4*h = -h - 2*x - 379, a = 3*h + 4*x. Is h a multiple of 6?
False
Let y = 1905 - 1107. Does 33 divide y?
False
Let t be (-250)/20*(-4 - 2). Suppose -k + t = g, 0*k = 3*k - g - 237. Is 13 a factor of k?
True
Suppose -5*v + w = -154 + 45, -2*w = 5*v - 97. Is 21 a factor of v?
True
Let k(s) = 3*s**2 + 9*s - 12. Is k(-14) a multiple of 15?
True
Let c(n) = n**2 + 6*n - 8. Let k be c(-8). Let s be (3 + 3)/(6/k). Let y(x) = 9*x - 19. Does 14 divide y(s)?
False
Let o = -600 - -1290. Is 46 a factor of o?
True
Suppose 5*b = -l - 0*l + 306, 0 = -5*b + 10. Is 45 a factor of l?
False
Suppose 14*c - 16 - 26 = 0. Is (77/21)/((-2)/c)*-4 a multiple of 4?
False
Suppose -99*b + 96*b = -1458. Does 27 divide b?
True
Suppose 3*f - 29 = -f - 3*s, 5*f - 44 = 4*s. Let b(w) be the second derivative of -w**5/20 + 2*w**4/3 + 5*w**2/2 + 9*w. Does 3 divide b(f)?
False
Let u(z) = -z**3 + z**2 + 4*z. Let s be u(3). Let x = s + 11. Suppose -5*t + 280 + 40 = -x*k, -t + 2*k = -67. Is t a multiple of 15?
False
Suppose 0 = -2*d - 4*f + 2058, 4101 = 17*d - 13*d + 5*f. Is 11 a factor of d?
False
Suppose -2*x + v - 2*v + 130 = 0, x + 2*v - 68 = 0. Suppose r - x = 38. Is r a multiple of 34?
True
Suppose -4*b = -0*b - 12. Suppose -72 + 27 = -b*p. Is p a multiple of 3?
True
Let z be 2 + -1 + -1 - -5. Let k be (-549)/z + 1/(-5). Does 13 divide -3 + 1/((-2)/k)?
True
Let t(c) = -c - 2. Let s(v) = -7*v - 17. Let r(p) = 6*s(p) - 51*t(p). Suppose -n + 16 = 5*m, -2*m - 4*n = -2*n. Is 9 a factor of r(m)?
True
Let y = -2913 - -3573. Is y a multiple of 6?
True
Suppose -4*z = r - 7484, 0 = z + z + 4*r - 3756. Is z a multiple of 14?
False
Let l = 1487 - 1055. Is l a multiple of 72?
True
Let r = 63 + 3. Suppose -69*f + 540 = -r*f. Is f a multiple of 18?
True
Suppose 5*o + 9 = -d - 8, -5*o - 4*d = 23. Suppose 15*g - 12*g - 135 = 0. Let n = g + o. Is n a multiple of 14?
True
Let l = -498 - -704. Is 2 a factor of l?
True
Suppose -4*n + 8 = 3*v, 2*n = v + 4*n. Suppose v*l = 5*l + 198. Suppose 2*g - 5*j + 2*j = l, -j = 5*g - 165. Does 12 divide g?
False
Suppose 761 = -13*o + 3062. Suppose 0*d + 885 = 5*x - 5*d, 0 = x + 3*d - o. Is 12 a factor of x?
False
Is (-3 + (4 - -6))*36 a multiple of 6?
True
Let v(d) = 4*d**3 + 2*d**2 - 2*d + 1. Let a be v(1). Suppose 2*z + 4 = 5*o, -z - 5 - 2 = -a*o. Suppose -w - 19 = -o*w. Is 7 a factor of w?
False
Suppose -13*x + 56 = -6*x. Let q = x + 31. Does 26 divide q?
False
Let u(a) = 2*a**3 - a**2 - 30. Let k be u(0). Suppose 2*x = 3*l + 161, 2*x + 4*l = 92 + 76. Let i = k + x. Is i a multiple of 13?
True
Let d = 19 + -32. Let k be (-3)/(-3)*(35/(-7) + -2). Let o 