9. Let q be -3*s/6 + -1. Suppose -2*u = -q*u - 5*o - 145, -u - 3*o = -45. Is u a multiple of 20?
True
Let q(l) = 3*l + 23. Does 15 divide q(16)?
False
Let a = 433 + 109. Does 6 divide a?
False
Let i be 4 - (2 + -1 + 2). Let o be i + 38 - (8 + -9). Let c = 15 + o. Does 12 divide c?
False
Let n be ((-8)/6)/((-4)/3) - 66. Let t = n + 118. Does 6 divide t?
False
Suppose -3*m + 2*j + 2*j = 724, m = 4*j - 252. Let z = m - -381. Does 23 divide z?
False
Suppose -8 + 0 = -2*d - s, -s = d - 5. Let a(t) = 6*t - 12. Is 2 a factor of a(d)?
True
Is 5 a factor of (24/28)/(51/16303)?
False
Let s(a) = 10*a + 1. Let x(i) = i - 1. Let y(h) = s(h) - x(h). Let d(c) = -3*c - 12. Let u be d(-5). Is y(u) a multiple of 14?
False
Let t = -11 - -8. Suppose -z = 2*z - 69. Let r = t + z. Is r a multiple of 10?
True
Suppose 0 = -2*k + 14 + 14. Let y(w) = 15 - 6*w + k*w + 2*w + w**2. Does 3 divide y(-9)?
True
Let g be (186/4)/((-7)/(-14)). Let j = 185 - g. Does 23 divide j?
True
Let m = 275 + -110. Is m a multiple of 11?
True
Let d = -82 + 122. Suppose -5*r = -5*h - 0 - 120, -5*h - d = -r. Does 23 divide 115/r*(-4 + 12)?
True
Let o(l) = -l**3 - 7*l**2 - 3*l - 8. Let w be o(-4). Let q = w + 61. Is q a multiple of 3?
False
Let y(o) be the third derivative of o**4/4 + 7*o**3/6 - 3*o**2. Is 12 a factor of y(11)?
False
Let c(x) = 2*x + 6. Let q be c(7). Let i = 169 + -166. Suppose -q = -7*b + i*b. Does 5 divide b?
True
Suppose -8*k + 3*k + 3*c + 129 = 0, -4*c + 84 = 4*k. Suppose -4*r - 4*t = -k, 2*r + 3*t = -0*r + 10. Is r a multiple of 4?
True
Let r(d) = -d**2 + 11*d - 6. Let n be r(10). Suppose -4*l = 2*h - 354, -l + 0*h + n*h = -93. Is l a multiple of 15?
False
Suppose -46*a + 37*a = -5616. Is 13 a factor of a?
True
Let d = -10 - -15. Suppose 0 = -d*s - 4*m - 19, -4*s + 3*m - 11 + 2 = 0. Does 5 divide (6/4)/s*-24?
False
Suppose -2*j - 5*s + 29 + 13 = 0, -j + s + 21 = 0. Does 21 divide j?
True
Let c = 94 + -36. Is c a multiple of 8?
False
Let l = -1074 - -1077. Let n(k) = 8*k**2 - 3*k + 2. Let c be n(2). Suppose l*z = 4*p - c, 6*p - p - z = 46. Is p a multiple of 9?
False
Let h(b) = -3*b**3 - 5*b**2 + 2*b**3 + 4 - 7*b + 3*b. Is h(-4) a multiple of 4?
True
Suppose 71 = -11*r - 6. Let q(f) = -4 - f - 2*f + 0. Is 17 a factor of q(r)?
True
Is (262 - -7 - 5) + 9 a multiple of 34?
False
Does 39 divide 348/(-58) + -1 + -1 + 1958?
True
Suppose x + 108 = 5*x. Let z = x - 22. Suppose -i = -3*i + z*a + 45, 2*i - 2*a = 42. Is i a multiple of 9?
False
Suppose -3*d + 2*y + 1653 = 0, -7*y + 6*y = 0. Let q = -378 + d. Does 10 divide q?
False
Let t = 21 + 19. Is 22 a factor of 45/(-12)*t/(-5)?
False
Let x = 32 - 28. Suppose 133 = x*m - 83. Is m a multiple of 6?
True
Suppose -2*p - 2 = 0, -5*i + 3*i = 5*p - 447. Is 2 a factor of i?
True
Suppose 0 = -5*c - 3*n + 69, 4*n + 0*n = 2*c - 12. Let z = 11 - c. Is 9 a factor of (3/(-9))/(z/57)?
False
Let x = -3 + 5. Let n be ((-1687)/(-77) + -21)/(4/22). Suppose x*c - 158 = 4*m - m, -n*c + m = -421. Does 18 divide c?
False
Does 14 divide (72/30)/(9/420)?
True
Suppose 4*j = 20, 4*j - 4 - 20 = -u. Is 34 a factor of 6*(u/(-4))/(6/(-34))?
True
Let i be 7/(-42) + (-26)/(-12). Let v be (-3 + 2)*(i - 7). Suppose 5*d + v*g - 28 = d, -4*d = g - 44. Is d a multiple of 4?
True
Suppose u + u - 4*z = 18, -3*z - 6 = u. Let v(w) be the first derivative of w**4/4 - 2*w**2 + 3*w + 1. Is 13 a factor of v(u)?
False
Suppose 5*w = 2*l + 6022, 0 = -10*l + 11*l + 1. Is w a multiple of 48?
False
Suppose -16*g = -19*g - 372. Let m = 214 + g. Is 15 a factor of m?
True
Suppose -5*z + 2*x = -817 - 941, -2*z = -5*x - 720. Does 6 divide z?
False
Is (1867 - 30/5) + 1 + -4 a multiple of 49?
False
Suppose -3*f + 2*f + 13 = 0. Let x be (f/2)/((-7)/(-14)). Let c = x - -10. Is c a multiple of 6?
False
Let o(p) = p**3 + 7*p**2 + 7*p - 4. Let d be o(-7). Let m = d - -69. Does 8 divide m?
True
Suppose 13*s + a = 14*s - 608, 5*a - 620 = -s. Is 10 a factor of s?
True
Suppose -12*g - 630 = -17*g. Let b = g + -48. Is b a multiple of 9?
False
Let n = -74 + 78. Suppose n*h = h + 540. Is 12 a factor of h?
True
Let i be 24*(2 + 10/(-4)). Let f(t) = -3*t**3 - 2*t**2 + 3*t + 2. Let m be f(-2). Does 9 divide 3/i + 315/m?
False
Suppose 3*s + 57 - 306 = -h, 348 = 4*s - 4*h. Suppose -s = 7*d - 784. Is 20 a factor of d?
True
Let c(y) = 14*y**2 - 7*y**2 - 2*y - y**3 - 15*y**2 - 4. Let r be c(-6). Let k = r + 94. Is 10 a factor of k?
True
Let p = 146 + -78. Let l = 143 - p. Is 12 a factor of l/3 - (-2)/(-2)?
True
Let g = -119 - -151. Does 13 divide g?
False
Let m be 86/18 + 2/9. Suppose 3*f - m + 8 = 0. Is 4 a factor of ((-2)/6)/(f/12)?
True
Let b(n) be the third derivative of 0*n + 0 + 6*n**2 - 5/12*n**4 - 2/3*n**3. Does 13 divide b(-3)?
True
Let s = 79 - 75. Suppose -3*v = s*x - 246, -5*v - 3*x - x + 402 = 0. Is 6 a factor of v?
True
Suppose -4*q + 124 = k, 0*k - 2*k + q = -266. Does 33 divide k?
True
Let i = 171 - -775. Does 50 divide i?
False
Let n(d) = -d + 11. Let t be n(6). Suppose 5*x = -t*u + 205, u + 3*x = 5*u - 129. Does 18 divide u?
True
Let s(w) = w**3 - 13*w**2 + 28*w + 12. Does 8 divide s(13)?
True
Let v = -5 - -2. Let t(d) = d**2 - 4*d + 6. Let b(f) = 3*f**2 - 3*f + 5. Let j(l) = 3*b(l) - 2*t(l). Does 23 divide j(v)?
True
Let i(r) = 28*r**2 + 4*r + 4. Let q be i(-3). Let c = q - 22. Suppose 5*x = 4*u + 372, -6*x + 2*u + c = -3*x. Is 13 a factor of x?
False
Let f = 2752 + -2651. Is 2 a factor of f?
False
Suppose 19*z - 15*z - 28 = 0. Suppose -3*t + z*t = 68. Is t a multiple of 8?
False
Let t = 61 + -23. Let m = t + -23. Is 15 a factor of m?
True
Let k = -2932 - -4128. Does 9 divide k?
False
Let c(u) = -u**3 + 9*u**2 + 2*u - 3. Let t = 0 + 9. Let y be c(t). Suppose -4*w = b - 2*w - 71, y = 5*w. Is 13 a factor of b?
True
Let n(x) = -7*x**3 - 9*x**2 + 11*x + 1. Let s(v) = v**3 - 1. Let d(t) = -n(t) - 6*s(t). Let q be d(-10). Suppose -q*j = -11*j - 64. Is j a multiple of 14?
False
Let y(f) be the third derivative of f**5/60 - 11*f**4/24 - 2*f**3/3 - 24*f**2. Is y(12) a multiple of 8?
True
Is 12 a factor of 68 - 1 - -10*(-2)/(-4)?
True
Let k be 45/6*(-16)/(-6). Let n = 22 - k. Suppose -5*b + 0*b = -4*u - 134, 80 = 3*b - n*u. Does 13 divide b?
True
Let b(y) = y**3 - 8*y**2 - 9*y + 10. Let r be b(9). Let m(t) = -t**3 + 9*t**2 + 13*t. Is m(r) a multiple of 15?
True
Let r(c) = c**3 + 13*c**2 - 9*c - 19. Does 63 divide r(-9)?
False
Suppose 0 = -5*p + 3088 + 752. Is 8 a factor of p?
True
Let q = -15 + 67. Does 17 divide q?
False
Let i(m) = m**3 + 3*m**2. Let r be i(-3). Suppose 2*h + 0*h - 120 = r. Let y = h - 10. Does 10 divide y?
True
Let k = 3410 + -987. Is 115 a factor of k?
False
Does 4 divide 303500/200*(-4)/(-10)?
False
Let q(i) = i**3 + 4*i**2 + i - 2. Let n be q(-4). Let c be ((-16)/6 - -2)*n. Suppose 4*b - 96 = -c*h, 2*b - 45 - 3 = -h. Does 16 divide b?
False
Suppose 5*u + 10 = 0, -3*u - 3 = -5*c + 13. Suppose -c*g + 6*g = -8. Does 8 divide (-82)/6*-3 + g?
False
Suppose -m + 510 = -6*m. Let b = 220 + m. Is 22 a factor of b?
False
Let i(r) be the second derivative of r**4/12 + 7*r**3/6 - r**2 + r. Suppose 0 = 3*y + 9, 5*d = 4*d - 2*y. Does 19 divide i(d)?
True
Is 6 a factor of 77 + (-1 - -6) - (-6 + 10)?
True
Let n = -2687 + 4884. Suppose -8*i - 85 + n = 0. Is 29 a factor of i?
False
Let n(o) = -2*o**3 - 11*o**2 - 28*o - 10. Is n(-6) a multiple of 12?
False
Let y be (1 - -49) + (-4 - -3). Let i = -2 + y. Does 4 divide i?
False
Let s(p) = -6*p + 159. Let i be s(0). Let d = i + -86. Is 5 a factor of d?
False
Let m(t) = 3*t**3 - 7*t**2 + 7*t - 4. Let i be m(5). Let a = 4 - 7. Is 16 a factor of a/(-5) - i/(-15)?
True
Let b = -2928 + 4176. Does 8 divide b?
True
Suppose 5*z - 351 = 2*v, 4*z - 5*v - 93 = 181. Is 12 a factor of z?
False
Suppose 0*w - 50 = -2*w + 4*a, 5*a = 4*w - 94. Let i be (-10)/35 + 111/w. Suppose 3*t + 0*t = -i*c + 21, -3*t + 3*c = 3. Is t even?
True
Let p(m) = 8*m + 450*m**3 + 5 + 23 - 451*m**3. Does 6 divide p(-4)?
True
Suppose -a = 55 - 152. Is a a multiple of 5?
False
Let v be 20 + (2 - 3) + 5. Suppose -4*w - 2*w + v = 0. Does 3 divide w?
False
Let w(s) = 35*s**2 + 15*s - 70. Is 125 a factor of w(7)?
True
Let a(x) = x**3 - 8*x**2 - 4*x - 17. Let f = -35 + 44. Does 25 divide a(f)?
False
Let c = 5 - 5. Suppose -2*f = -4*m - 56, -5*f + c*m + 152 = -4*m. Let a = f + -14. Is a a