ltiple of 3?
False
Let t(p) = -p + 3. Let u be t(0). Let m(c) = c + 0 + c**2 - u - 1 + 0. Is m(-6) a multiple of 13?
True
Does 7 divide 516/15 + (-21)/(-35)?
True
Let d be (-1 + -2)/1*-1. Suppose -d*l + 116 = -0*l + 2*v, -4*l = v - 148. Is 12 a factor of l?
True
Let y be (-1 - -4 - 0) + 5. Suppose y - 2 = 2*a. Suppose -a*k + 20 = -2*k. Is 10 a factor of k?
True
Let m be (-10 + (-6)/(-3))/(-2). Suppose m = -4*r + 5*r. Suppose -r*b + 37 = -67. Is b a multiple of 13?
True
Let p(g) = g**3 - 4*g**2 - 2*g. Is p(6) a multiple of 20?
True
Let l = -12 + 17. Suppose -5*o + r + 8 = -0*o, -3*r - l = 4*o. Let v = o - -18. Is 19 a factor of v?
True
Let z be (-3)/(-12) - (-62)/8. Suppose -z = b - 46. Is b a multiple of 19?
True
Suppose 3*l - 216 = -0*l. Is l a multiple of 24?
True
Suppose -2 - 4 = 3*k. Let j be k + (-9)/(-3) + 0. Let d = j - -21. Does 11 divide d?
True
Let i(d) = d**3 + 5*d**2 - 27*d - 6. Is i(-6) a multiple of 30?
True
Suppose 3*t - 4*o = 77, -2*o - 20 = 2*o. Suppose -2*x + 37 = -t. Suppose -x + 13 = -u. Is 15 a factor of u?
True
Let r = -84 + 107. Is r a multiple of 19?
False
Let s = -7 - -11. Is s a multiple of 2?
True
Suppose 2*t + 0*x - 160 = x, 0 = t + 2*x - 85. Is t a multiple of 27?
True
Suppose -4*n = -53 - 63. Let j = 48 - n. Is j a multiple of 4?
False
Let d(g) = g**2 - 3*g + 20. Is 16 a factor of d(7)?
True
Suppose -20 + 72 = 2*z. Is z a multiple of 8?
False
Suppose -3*t - 58 = -4*t. Let d = t + -30. Is 9 a factor of d?
False
Suppose 3*x + 61 = z - 2*x, -52 = -2*z - 4*x. Is z a multiple of 9?
True
Let y = -41 - -122. Let k = y + -36. Is 15 a factor of k?
True
Is 9 a factor of (-9)/((1/(-9))/((-20)/(-30)))?
True
Does 17 divide (-53)/(0 + -3 + 2)?
False
Is 7 a factor of (((-192)/14)/(-4))/(4/154)?
False
Let c be 4/(-10) - (-470)/50. Let k(w) = w**2 - 7*w - 11. Is 7 a factor of k(c)?
True
Let c = 49 + -13. Does 19 divide c?
False
Suppose 6*x = 3*x + 84. Is x a multiple of 8?
False
Suppose 4*w + 144 = 7*w. Does 12 divide w?
True
Let o be (1 - 0)/((-2)/82). Let s = o + 74. Is s a multiple of 11?
True
Let i(z) = 9*z + 7. Does 7 divide i(14)?
True
Let f(q) = 2*q**2 - 2*q**2 - q**2 + 2*q + 2*q**3 - 2*q**2. Suppose -3*w - k = -4 - 3, 5*w + 3*k - 13 = 0. Is f(w) a multiple of 8?
True
Suppose 72 + 42 = 6*c. Is c a multiple of 7?
False
Let v(m) = -m + 4. Let q be v(9). Let k be 3 - (q + (-3)/(-1)). Suppose -z - k = 4*b, 3*z = -3*b + 26 + 4. Is z a multiple of 5?
True
Suppose 5*g - 2*g = 3*m + 423, 5*g - 3*m - 707 = 0. Does 14 divide g?
False
Let r = 146 - 100. Is 23 a factor of r?
True
Suppose 0*z - z = -4*l - 75, 3*z + 3*l = 270. Is z a multiple of 24?
False
Does 15 divide 75*(0 - 8/(-10))?
True
Let o(k) = 10*k**2 - 12*k - 3. Is o(3) a multiple of 12?
False
Let u be 1/((-98)/(-32) - 3). Suppose -2*r - 6 + u = 0. Let f(n) = -n**2 + 9*n - 4. Is f(r) a multiple of 12?
False
Suppose -4*y + n = -110, 2*n + 24 = y - 0*n. Is 17 a factor of y?
False
Let p = -6 - -11. Suppose 0 = p*g - 3*h + 5*h - 118, -g + 23 = h. Is g a multiple of 12?
True
Let u = 11 - -21. Does 10 divide u?
False
Let l(x) = -x**3 - 8*x**2 - 15*x - 12. Is l(-9) a multiple of 51?
True
Let n be (-112)/(-6) - (-2)/6. Let v = 7 + n. Does 18 divide v?
False
Let k(i) = -15*i + 1. Let z be k(-2). Let r = z + -13. Is r a multiple of 9?
True
Does 8 divide 1/5 - 717/(-15)?
True
Let a be 2/(-6) - 22/6. Is 10/2 - 4/a a multiple of 3?
True
Let c = 6 + 1. Suppose c*l = 2*l + 25. Suppose 0*a = -l*n - 5*a + 85, 91 = 5*n - a. Does 9 divide n?
True
Let k be 3/5 - 132/(-5). Let f = -38 + k. Let y = -7 - f. Is y a multiple of 4?
True
Let g = 41 + 41. Does 14 divide g?
False
Let p be 1/(-4)*-2*6. Suppose -p*n = -4*n + 28. Does 14 divide n?
True
Let a = 23 - 9. Is a a multiple of 3?
False
Let m(f) = -f + 5. Let o(l) = -2*l + 11. Let n be o(9). Is 12 a factor of m(n)?
True
Suppose 46 = 3*s - 8. Does 2 divide s?
True
Let r be (4 - (-26)/(-4))*-14. Suppose 0 = -0*i + i - r. Is i a multiple of 7?
True
Let w(f) = -3*f**2 + 11*f + 9. Let l(o) = -2*o**2 + 11*o + 9. Let x(s) = -4*l(s) + 3*w(s). Let y be x(-8). Is (10/y)/(2/33) a multiple of 6?
False
Let r(b) = b**3 - 2*b + 14. Is 12 a factor of r(7)?
False
Suppose 3*o + 2*k = -2*o + 362, 2*k = -8. Suppose j = 4*u - 50, 5*u - 4*j + 6 = o. Is u a multiple of 7?
False
Let y = 10 - 36. Let g = 20 - y. Is 14 a factor of g?
False
Let r be (7/2)/((-3)/6). Let d = r + 11. Is d a multiple of 2?
True
Let q be 2/(-4)*-38 + -3. Suppose -q = -2*l + 4. Is l a multiple of 10?
True
Let k = -294 + 526. Is k a multiple of 48?
False
Let g be -3*(2 + (-182)/6). Suppose -4*k - 5*d + 385 = 0, 5*d + 0*d - g = -k. Is k a multiple of 20?
True
Does 30 divide 59 - ((-2)/(2/(-1)) - 2)?
True
Suppose -2*u - 65 = 3*u. Let m = u + 21. Is 4 a factor of m?
True
Let r(k) = k**3 + 9*k**2 + k - 18. Is 20 a factor of r(-5)?
False
Let n(r) = r**3 - 18*r**2 - 32*r - 4. Is n(20) a multiple of 39?
True
Let c be ((-1)/((-1)/5))/1. Suppose 3*y = -3*p + 90, p + c*y = y + 33. Is 11 a factor of p?
False
Suppose 2*r - 510 = -5*h, -1038 = -5*r + 5*h + 167. Does 49 divide r?
True
Let f = -40 - -14. Let w = -52 - f. Let i = w - -39. Is 13 a factor of i?
True
Suppose -25*r + 20*r = -50. Is 3 a factor of r?
False
Let c = 12 - -7. Does 9 divide c?
False
Let p = -155 - -318. Is p a multiple of 11?
False
Suppose -4*c + 272 = -3*c. Is c a multiple of 34?
True
Suppose 0 = -3*a + 76 + 20. Let g(j) = j**3 - 4*j**2 - 8*j + 5. Let z be g(5). Let k = z + a. Is 21 a factor of k?
False
Let t be (6/(-10))/(1/(-5)). Let r(a) = 27*a - 1. Let b be r(t). Suppose 5*u - 90 - b = 0. Is u a multiple of 17?
True
Let f be (-1)/3*-1*6. Suppose 2*j - 5*a + 0*a = -11, -3*j + 31 = f*a. Is 5 a factor of j?
False
Suppose 0 = -3*a - 9, -3*b - 3*a + 0*a + 261 = 0. Is b a multiple of 32?
False
Let b(d) = 8*d. Suppose 6*k - 20 = k. Suppose 7*q = k*q + 3. Does 8 divide b(q)?
True
Suppose -3*k = 4*r - 5, -10 = -5*k - 0*k - 5*r. Is 136/k - 10/(-15) a multiple of 15?
False
Let k = -10 + 14. Suppose -2 = k*x - 5*x. Suppose -y + 32 = 2*b - 9, 0 = x*b + 5*y - 61. Is b a multiple of 6?
True
Let x = 7 - 4. Suppose -4*f = -x*f - 5. Is f a multiple of 4?
False
Suppose 3*v = 2*v + 34. Suppose 3*o - 4*o + v = 0. Does 17 divide o?
True
Let n(k) = k**3 - 2*k**2 + 2*k. Let s be n(2). Let l(v) be the first derivative of -v**4/4 + 2*v**3 - 3*v**2/2 - 4*v - 2. Is l(s) a multiple of 8?
True
Suppose 2 = -n + 4. Let i = n + -3. Is (1 - 37)*i/2 a multiple of 18?
True
Let q be (-1)/((-3)/27*-3). Let j be 7 + (-4 - q) + 2. Let u = j - -3. Is u a multiple of 3?
False
Suppose -2*b - 131 = -3*j - b, 3*b - 153 = -4*j. Is j a multiple of 21?
True
Let a be (122/(-6))/(2/6). Let i(m) = -m**2 - 2*m + 5. Let d be i(6). Let s = d - a. Is 9 a factor of s?
True
Let m = 75 - 52. Suppose 0 = -a + m + 18. Does 16 divide a?
False
Let m(y) = 25*y + 1. Let p be m(-3). Let c = -24 - p. Let t = c - 19. Does 19 divide t?
False
Let x = 68 + -104. Is 3 + (-1 - x/2) a multiple of 10?
True
Let m be 4/5*(-6 + -119). Let d be 0 - -2 - (m + 0). Let b = 147 - d. Does 18 divide b?
False
Suppose 12 = m - 18. Does 6 divide m?
True
Let b(o) = -o**3 - o**2 + 3*o - 1. Let i be b(2). Let w = i + 16. Does 6 divide w?
False
Suppose -2*o + 6*o = 120. Is o a multiple of 10?
True
Is -6*(-5)/45*87 a multiple of 38?
False
Suppose -q = 2*q - k + 1, 2*q = -2*k + 2. Let u(r) = -r**2 + r + 11. Let l be u(0). Let n = q + l. Is 6 a factor of n?
False
Let o = 12 + -9. Suppose -o*u + 8 = -4. Is u a multiple of 4?
True
Is 186*(-1)/(-2) - 3 a multiple of 31?
False
Suppose 0 = 3*i + b + 1, -4*i - 3 + 4 = -b. Suppose 1 = -u + 2*u + 4*n, u - 2*n - 19 = i. Does 6 divide u?
False
Let z(p) = p**2 + 7*p + 24. Is 19 a factor of z(8)?
False
Let l(j) = -j**3 + 17*j**2 - 21*j + 18. Let x be l(14). Suppose b = -3*b + x. Is 22 a factor of b?
False
Let b = -8 + 13. Let w = b - 3. Suppose 5*f = w*f + 15. Does 5 divide f?
True
Suppose 0 = -5*h - 3*o + 77, h - 3*o - 18 = -o. Is 8 a factor of h?
True
Let w(l) = -l**2 - 5*l + 1. Let i be w(-4). Let q(s) = s**2 - 4*s + 5. Is q(i) a multiple of 3?
False
Let c(m) = -2*m - 1. Suppose 2*z - 4 = -12. Is 7 a factor of c(z)?
True
Is 816/15 - (2 + (-8)/5) a multiple of 21?
False
Let g = 5 + -4. Is 7 a factor of (g + 1)*(-21)/(-2)?
True
Let w(a) be the third derivative of -a**6/120 - a**5/12 -