3)?
True
Let s(o) = o + 9. Is s(-6) a multiple of 3?
True
Does 23 divide 826/21*9/2 - -1?
False
Is (-1)/(-3)*(-207)/(-3) a multiple of 5?
False
Let u(h) = -4*h**3 - 3*h**2 + 6*h + 1. Let z(r) = -5*r**3 - 3*r**2 + 7*r + 1. Let o(w) = 6*u(w) - 5*z(w). Is o(3) a multiple of 4?
True
Let n = -15 + 22. Let t(i) = -i**3 - 3*i**2 - i - 3. Let j be t(-3). Let v = n - j. Does 7 divide v?
True
Is (3 + -23)*(-14)/35 a multiple of 8?
True
Suppose n = -4*m + 3 + 48, 5*n = 5*m + 330. Is 15 a factor of n?
False
Let k = -19 - -32. Is 4 a factor of k?
False
Let b = -86 - -124. Is 12 a factor of b?
False
Let z = 229 - 184. Does 2 divide z?
False
Let s(y) = y**2 - y. Let r be (-8)/5*35/(-14). Does 4 divide s(r)?
True
Let c = -5 - -10. Suppose 12 = l + 3*i, -2*i - 16 = c*l - 6*i. Suppose l = -4*f + 16 + 20. Does 8 divide f?
False
Suppose 5*w - 200 = 5*m + 160, -2*w = -3*m - 149. Is w a multiple of 33?
False
Let a(f) = -3*f. Let w(g) = -3*g + 1. Let q(z) = -4*a(z) + 3*w(z). Is 15 a factor of q(13)?
False
Suppose -4*s + 358 = -2*q, 6*s - 455 = s + q. Does 23 divide s?
True
Suppose -5*f = 5*x - 0*x + 15, 2*x - 6 = 4*f. Let t be -1*(-1)/(f/(-10)). Suppose -3*w + 4*b = -76, 0 = 2*w - 3*w + t*b + 29. Is w a multiple of 10?
False
Let m = 9 + -11. Is 11 a factor of -44*(5/m - -2)?
True
Suppose -7*l + 87 = -333. Is 10 a factor of l?
True
Suppose -u + l + 2 - 3 = 0, 5*u - 15 = l. Does 2 divide (3/u)/((-1)/(-4))?
False
Suppose 3*l = -2*u + 4, 3*l + 5*u - 10 = 6*l. Suppose l = 4*o + i, 0 = 6*o - 3*o + 3*i. Suppose o = n - 2*p - 10 - 18, -2*p + 74 = 2*n. Does 15 divide n?
False
Suppose -5*t + 22 + 98 = 0. Let g = 16 - t. Let b(q) = -q**2 - 10*q + 4. Is b(g) a multiple of 10?
True
Let s be (-14)/35 - (-72)/5. Let t = 0 + s. Is t a multiple of 5?
False
Let h be 4/(4/2 - 1). Suppose -2*c - 3*c - 3*d - 6 = 0, -h*c - d = 2. Does 16 divide (-16)/((c + 1)*-1)?
True
Let v = -3 + 8. Suppose v*z = 81 + 29. Does 22 divide z?
True
Suppose 4*q + 0*q - 2*c - 20 = 0, 2*c = -5*q + 7. Suppose -4*j = q - 11. Suppose -j*i + 16 + 22 = 0. Does 12 divide i?
False
Suppose 3*g - 645 = s, 2*s - 306 = -2*g + 132. Is g a multiple of 36?
True
Let b(z) = 55*z**3 + z. Let t(o) = -o. Let s be t(-2). Suppose 4*w - 9 = f, -w = 3*w - s*f - 14. Is b(w) a multiple of 24?
False
Let i(n) = -n**3 + 7*n**2 + 3*n - 5. Let v be i(7). Let j = v - -33. Is 15 a factor of j?
False
Let k = 68 + -43. Does 16 divide k?
False
Let w = 4 + -2. Let c(d) = d - 8 + d**2 - 2*d**w - 12*d. Is c(-9) a multiple of 5?
True
Let p = -249 - -125. Suppose -28 = -2*s - 2*s. Is (-8)/(-28) - p/s a multiple of 12?
False
Let u = -7 + 10. Suppose 110 = 4*f - 3*h - 154, 0 = u*f - h - 193. Does 13 divide f?
False
Suppose 88*i = 84*i + 972. Is i a multiple of 9?
True
Suppose 0 = 5*t - 7*t + 76. Is t a multiple of 19?
True
Suppose 2*x + 2*x + 1 = -p, -3*x + 3*p + 3 = 0. Let v be -7*(x + (-18)/(-21)). Is 18 a factor of (-3)/((-45)/v)*-45?
True
Suppose 6*j = 2*j + 52. Suppose -4*p + 49 = j. Is p a multiple of 9?
True
Let k be ((-18)/3)/(9/6). Let b = 6 + k. Suppose 3*u = 4 + b, 4*n - 3*u = 162. Is n a multiple of 14?
True
Let q(j) = j. Let h be q(-7). Let x(b) = 2*b**3 - 2*b**2 - 5*b - 46. Let r(w) = w**3 - w**2 - 2*w - 23. Let y(g) = h*r(g) + 3*x(g). Does 17 divide y(0)?
False
Suppose -3 = -2*q + 37. Let b = q - -7. Is b a multiple of 6?
False
Let v(b) = -8*b + 2. Let j be (-8 - -7)*(1 - -4). Does 22 divide v(j)?
False
Let d(w) = w**2 + 9*w + 40. Is 5 a factor of d(-9)?
True
Suppose 1377 = 4*o + 389. Is 10 a factor of o?
False
Suppose 4*t + m - 156 = -2*m, m = -4*t + 164. Let c = t - 20. Let d = c - 11. Is 11 a factor of d?
True
Suppose 651 - 204 = 5*o + 3*v, 0 = -2*v - 2. Is o a multiple of 15?
True
Let o be ((-13)/2)/((-1)/4). Suppose -4*u = -4*r + 8, -4*u - 3*r = -4*r + 20. Let y = u + o. Is 8 a factor of y?
False
Let n = 20 + -6. Let x = -8 + n. Is 2 a factor of x?
True
Let t be 1*-2*25/(-10). Suppose 41 = 2*j - t*n, j + 3*j + 2*n = 94. Is 6 a factor of j?
False
Suppose 2*n + 2*m = 26 - 8, 0 = 5*m + 20. Is 9 a factor of n?
False
Let f(z) = z**2 + 13*z + 9. Is f(-14) a multiple of 4?
False
Suppose 1 = -7*h + 8. Let o(n) = -n + 2 + 9*n**3 - 2. Does 8 divide o(h)?
True
Let j = -4 - -8. Let x be -80*(1 + j/(-2)). Suppose -3*b - 80 = -5*a, -5*a - 4*b + b + x = 0. Is 6 a factor of a?
False
Let k(q) = -13*q + 1. Is 6 a factor of k(-1)?
False
Suppose u + 0*u + 11 = -2*k, u - 29 = 3*k. Let n = -3 - k. Suppose -100 = -4*z + n*a - 0*a, -2*z + 50 = -a. Is z a multiple of 9?
False
Let k(d) = -d**3 - 3*d**2 + 3*d - 1. Does 10 divide k(-5)?
False
Let m be -1 - 1 - (0 - -4). Is 318/10 - m/30 a multiple of 15?
False
Let t(x) = 3 - x - 3 - 1 + 0. Is 6 a factor of t(-7)?
True
Let z be 25 - (2 + -4)*1. Suppose -123 = -2*c - z. Does 10 divide c?
False
Let o = -2 - -4. Suppose -w = o*z - 3*z - 30, -2*z - 112 = -4*w. Is w a multiple of 11?
False
Is 4 a factor of (2/(-6))/(1/(-15))?
False
Let n(o) = -2*o - 5. Let q be n(5). Let w be ((-2)/6)/1*q. Let r = 12 - w. Is r a multiple of 7?
True
Suppose 0 = -3*j - 2*j - 10. Let v = -4 - j. Does 10 divide 13/v*(1 + -3)?
False
Let i(p) = 3*p**2 - 2*p - 1. Let q be 6/(-4)*-4 + -4. Is i(q) a multiple of 6?
False
Let q be 4/10 - 314/10. Let d = q + 46. Suppose -2*t = -d - 5. Is 5 a factor of t?
True
Let h(g) = 5*g**2 + 10*g. Is 16 a factor of h(-8)?
True
Suppose 2*z + 56 = 3*r, r - 92 = -4*r + 2*z. Is 7 a factor of r?
False
Is -30*((-4)/8 - 82/12) a multiple of 50?
False
Suppose -q = -0 - 2. Let r be (-16)/(q/1 + -4). Let j = r + 12. Does 20 divide j?
True
Let w(v) = 5*v**3 + 4*v - 2. Is 7 a factor of w(2)?
False
Let r(t) = -t**2 + t + 1. Let w be r(-3). Let a = w - -35. Is a a multiple of 12?
True
Let n be -1 - 1 - -3 - -1. Suppose 0 = 5*d + 5*s - 70, 0 = -n*d + 4*s + 12 + 22. Does 15 divide d?
True
Let r be 2/(-5) - (-189)/35. Suppose -6 = -4*w - r*c + 24, 0 = -2*w + 4*c + 28. Is w a multiple of 8?
False
Let y = 44 - 25. Suppose -4 = -j + 1. Let k = j + y. Is k a multiple of 24?
True
Let n be 3/(-2 + -1)*-16. Suppose 5*a - n = a. Is 15 a factor of (6 - a)/(4/34)?
False
Suppose 2*v = -v - 3, -3*v = 3*d - 33. Is d a multiple of 3?
True
Let g(f) = 3*f**2 + 6*f - 6. Let h be g(-6). Suppose 5*v - 264 = -3*q, 3*q = -v - 2*q + h. Does 21 divide v?
False
Let a(m) = 13*m + 2. Let n be a(4). Suppose -3*d = -3*b - n, -5*b + 9 = -8*b. Let f = d + 13. Does 15 divide f?
False
Let s(m) be the second derivative of m**4/12 + 5*m**3/3 - 13*m**2/2 - 4*m. Is s(-14) a multiple of 10?
False
Let p(s) = 10 - 3 + 4*s - s**2 + 0. Let q be p(5). Suppose q*t + 0*t - 14 = 0. Does 7 divide t?
True
Let f(p) = -p**3 - p - 1. Let i(v) = -1 - 8*v**3 + 0*v - v + 3*v**2 + 3*v**3. Let w(y) = 4*f(y) - i(y). Is 16 a factor of w(5)?
True
Let v(w) = 3*w**2 + 4*w + 19. Is v(-4) a multiple of 6?
False
Suppose 2*g = -2*g + 12. Suppose -y + 0*y = 0. Suppose 2*s = -y*r + 5*r - 2, 0 = 5*s - g*r - 33. Is s a multiple of 9?
True
Let d = 3 - 4. Let q be 5 + 0*d/3. Suppose -q*h + 56 = -h. Does 9 divide h?
False
Does 12 divide 5337/27 - 3/(-9)?
False
Suppose 141 - 29 = 4*t. Suppose 3*r - t = -r. Is 2 a factor of r?
False
Let p be (1 - (4 + -5))*1. Does 4 divide p/5 - (-944)/40?
True
Suppose -3*d = -0*d + 2*n - 44, n = 4. Is 3 a factor of d?
True
Suppose -1010 = -8*w + 3*w. Is 18 a factor of w?
False
Does 34 divide 162 + 7 + (2 - 3)?
False
Suppose -2*d + 18 = -k - 16, 0 = -4*d - 5*k + 96. Is d even?
False
Let j(t) = -t - 1. Let z be j(-4). Let m = z + 1. Suppose 3*s - 75 = -2*k - 8, 84 = 4*k - m*s. Does 13 divide k?
True
Let u be -1 + 1 + 1 + 503. Suppose 4*t + 3*i - u = 0, 5*i + 0*i = -3*t + 389. Suppose -4*d + 102 = 2*c, 4*d + d = -c + t. Is 9 a factor of d?
False
Suppose -4*o - 8 = -144. Does 18 divide o?
False
Let w(d) be the first derivative of -2 + 5*d**2 - 4*d - d**2 - 2*d**2. Is 8 a factor of w(3)?
True
Let r = 150 - 86. Does 16 divide r?
True
Is 3 a factor of (-4 - -3) + (21 - 6)?
False
Let y = 1 - -1. Suppose 4*p = 14 + y, 26 = m + 5*p. Is 11 a factor of (-4)/6 - (-130)/m?
False
Suppose 0 = -10*z + 1451 + 99. Is 18 a factor of z?
False
Let c(i) = 5*i**3 + 2*i**2 - 1. Let b be c(1). Suppose 0 = -b*a + a + 180. Does 18 divide a?
True
Suppose -1080 = -32*v + 26*v. Is v a multiple of 20?
True
Is 21 a factor of (-21)/(-1 + 1 - 1)?
True
Suppose -l = -j - 3, 36 = 4*l - 2*j +