17/4 + x/72*3. Is s/(-6) + (-430)/(-6) a multiple of 9?
False
Let i(p) = -98*p + 14. Is i(-48) a multiple of 56?
False
Let z = 32756 - 13331. Is 105 a factor of z?
True
Suppose -2*q + 256 = -4*n, -9*q + 13*q - 518 = 2*n. Is q a multiple of 6?
False
Let a be -3 + 10 + -3 + (-516)/(-2). Suppose 0 = 5*x + a - 1162. Is x a multiple of 12?
True
Let k = -6115 - -11326. Is 193 a factor of k?
True
Does 23 divide 17/30*15*8856?
False
Let g = 12 + -9. Suppose -g*r + 10 = -r. Suppose 2*j - 35 = -r. Is j a multiple of 3?
True
Let t(o) = -325*o + 61. Let d be t(-4). Is 4 a factor of d/9 - (-4 + 342/81)?
False
Let k = 22801 + -11455. Is 54 a factor of k?
False
Let z = 29406 - 17706. Is 130 a factor of z?
True
Let p(k) = -k**3 - 3*k**2 - 2*k. Let f = 94 - 100. Does 5 divide p(f)?
True
Let b = 4533 - 2928. Is b a multiple of 30?
False
Suppose -2*m - 3*i = -7, 2*i + 0 = -2. Suppose -5*q + r + 5080 = 0, 0 = m*q + 3*r + 2*r - 5080. Does 28 divide q?
False
Let x(l) = l**3 + 29*l**2 - 33*l - 90. Let c be x(-30). Suppose c = 2*f - 107 + 11. Does 8 divide f?
True
Suppose 2*j - 10 = 0, -g + j - 61 = 19. Does 7 divide (-112)/6*g/20?
True
Let a(t) = -t**3 + 22*t**2 + 14*t + 45. Is 45 a factor of a(16)?
False
Let l = -22415 + 28441. Is 4 a factor of l?
False
Let l(r) = -r**3 + r**2 + 9*r + 7. Let h be l(6). Let y = h + -371. Does 8 divide y/4*16/(-20)?
False
Let v = -239 - -239. Let r(y) = -2*y**2 + 20*y + 184. Is 25 a factor of r(v)?
False
Suppose -5*r + 2*u + 12398 = -0*u, -5*u + 9925 = 4*r. Suppose -q + 2495 = -4*i, 4*i - q + r = 3*q. Let c = i + 898. Is 39 a factor of c?
True
Let p be (-2 - 0)*(1683/2 - 2). Let m = 815 + p. Is (m/20)/(9/(-30)) a multiple of 6?
True
Suppose -267*m + 1294893 = -68*m. Is 26 a factor of m?
False
Suppose 5*d - 131126 = -z, 0 = -3*d + 1198*z - 1201*z + 78666. Is d a multiple of 68?
False
Let q(w) = 30*w + 19. Let h be q(-6). Let p = 236 + h. Suppose 3*x - p - 168 = 0. Is x a multiple of 19?
False
Let p = -10 + 16. Let y(g) = -g**3 + 4*g**2 - g - 11. Let t(s) = -2*s + 1. Let a(x) = 2*t(x) - y(x). Is a(p) a multiple of 14?
False
Suppose 5*x = -60 - 90. Let y = x + 49. Is 3*(-4)/12*(1 - y) a multiple of 4?
False
Let o = 82 - 85. Does 14 divide (46/7)/(o/(-273))?
False
Let h be 0/(0 + (-10)/5). Suppose -4*q + 6*q + 218 = h. Let j = -74 - q. Is j a multiple of 8?
False
Suppose 2*t + 18 = 4*q, -4*t + 9*t = -5*q + 45. Let k = -3 + q. Does 2 divide k*(8/6 + (-3 - -4))?
False
Suppose 1324 - 1325 = -a, 0 = -5*m + 5*a + 41080. Does 11 divide m?
True
Let q(j) = 20*j**2 - 74*j + 554. Is q(9) a multiple of 58?
True
Let z = -26183 - -49451. Is z a multiple of 12?
True
Suppose 5*f - 1 - 19 = 0, 5*k = -5*f + 5960. Suppose -k = -5*n + n. Is n a multiple of 10?
False
Suppose 0 = -9*o - 177 + 1662. Is o a multiple of 24?
False
Let n = 315 - -185. Let l = n - -455. Does 40 divide l?
False
Let k be 10*((-126)/(-12) - 10). Let h(w) = w + 7. Let q(o) = -6*o - 41. Let z(m) = 39*h(m) + 6*q(m). Does 6 divide z(k)?
True
Let o(u) = -5*u**2 + 79*u + 8. Let p be o(16). Is 5 a factor of ((-6)/5)/(p/((-4800)/(-36)))?
True
Suppose 97 = 3*z - x, -z - 27 = -2*z - 5*x. Suppose -z*j = -37*j + 815. Does 20 divide j?
False
Let o = -14084 + 14886. Is o a multiple of 4?
False
Let i(p) = 63*p**2 - 40*p + 202. Is i(18) a multiple of 58?
True
Let z(k) = -29*k + 2*k + 5 + 6*k + 3*k**2. Is 15 a factor of z(14)?
False
Let t = 17520 - 8743. Is 31 a factor of t?
False
Suppose p + 11467 = 5*r, 1346*p - 7 = 1347*p. Is r a multiple of 133?
False
Suppose 5*y = -16*q + 17*q - 14, q = 4*y + 12. Let x(f) = -19*f - 7. Let w be x(-7). Suppose 2*o + r + w = 7*o, 0 = -q*o - 3*r + 116. Is o a multiple of 13?
True
Suppose -9*j = 39402 - 75478 - 131234. Does 40 divide j?
False
Let b(w) = -w**3 + 6*w**2 - 14*w + 19. Let f be b(8). Let o = f - -624. Suppose -6*z = -3*z - 3*j - 231, o = 5*z + 4*j. Is 28 a factor of z?
False
Let n(b) = -b**3 - 6*b**2 - b + 4. Let p be n(-6). Is 1140/(-9)*(-12)/p a multiple of 19?
True
Let x = -2117 + 1224. Let c = 1502 + x. Suppose -7*m + c - 196 = 0. Does 8 divide m?
False
Let u = -7705 - -22699. Does 306 divide u?
True
Let b(i) = 2 - 6*i - i**2 + 2 + 2*i - 2*i**2 + i**3. Let y be b(4). Let m(x) = -x**2 + 12*x - 14. Does 9 divide m(y)?
True
Suppose -3*c = 5*f + 5, 3*c = 6*c - 4*f - 4. Let r be 4*(c - 5/10). Does 13 divide (-1520)/35*-3 - r/(-7)?
True
Let u be (-145)/21 - (-114)/(-1197). Let l(w) = -3*w**3 - 14*w**2 + 6*w + 8. Is l(u) a multiple of 16?
False
Is 30/7 + -4 + 47856/84 a multiple of 30?
True
Suppose -3*y = -3*y - 21*y + 57141. Is y a multiple of 22?
False
Let v(w) be the first derivative of 28*w**2 - 249*w - 65. Does 5 divide v(5)?
False
Suppose 6*g + 49*g - 14968 - 30627 = 0. Is 10 a factor of g?
False
Let d = -48 - -58. Let f(o) = -4*o - 1. Let b be f(d). Let k = 2 - b. Does 11 divide k?
False
Let g(j) = j**2 + 196*j + 1482. Is 38 a factor of g(0)?
True
Let g be (-1)/(1/7*-29 - -4). Suppose 4*y + 3*h - 84 = g*h, y + 4*h - 46 = 0. Does 26 divide y?
True
Suppose -4*m - 3*f - 1245 = 0, 5*m - 4*f = -6*f - 1565. Let b = 111 - m. Is b a multiple of 13?
False
Let g be -3*(-1)/(2 - 5/2). Let f be 12*(-5 + 2)/g. Suppose -7*w = -f*w - 24. Does 24 divide w?
True
Let i(n) = -8*n + 24*n**3 - n**2 - 13*n**3 + 5 - 2 + 1. Let m be i(3). Suppose -2*a + m - 52 = 0. Is 36 a factor of a?
True
Is 12711 + (-10 - (-27 + 12)) a multiple of 68?
True
Let i be (-27)/(4 + 4 + -9). Let v = 31 - i. Suppose v*o - 2*l - 360 = 0, -2*o + 58 = -4*l - 122. Is o a multiple of 20?
False
Let l(b) = b**3 - 101*b**2 - 990*b + 77. Is l(110) a multiple of 18?
False
Let l be (-6 - (-88)/14)/(1/7). Suppose -a + 1129 = 3*s, -l*s + 591 = -5*a - 190. Does 20 divide s?
False
Let k(y) = y**3 - 22*y**2 - 26*y + 49. Suppose -13*u - 24*u = -925. Is 10 a factor of k(u)?
False
Suppose 0 = -236*o + 244*o - 5712. Let w = o + -168. Is w a multiple of 42?
True
Is (-18130)/(-42)*(25 - 13) a multiple of 20?
True
Let o(d) = -89*d + 45. Does 5 divide o(-5)?
True
Let h be 33 + 231 - 6/(0 - -2). Let t = 309 - h. Is t a multiple of 15?
False
Suppose 5*j - 21769 = -854. Does 47 divide j?
True
Suppose -101 = 5*v - 126. Suppose -5*g + v*a + 920 = 0, -5*g + 906 = -2*a + 4*a. Is g a multiple of 14?
True
Suppose 5*v - d + 117 = -103, v = -4*d - 65. Is -1017*-3*(-10)/v a multiple of 45?
False
Let h(d) = -70*d - 87. Let u = -126 + 120. Is 11 a factor of h(u)?
False
Suppose 2*i + 541 = -2*a + 191, -5*i - 3*a - 881 = 0. Let v = i - -212. Is v a multiple of 9?
False
Is 43 a factor of ((-18195654)/627 - 8/(-44))*2/(-5)?
False
Suppose 0 = -31*j + 33*j - 13440. Suppose 6*b + 10*b - j = 0. Is b a multiple of 42?
True
Let q(j) = j**3 - 2*j + 537. Let o be q(0). Suppose 8*x - 2265 = -o. Does 12 divide x?
True
Let s = 25 + -25. Let h be (s + 1)/(7/21). Suppose -h*g = -g - 34. Is 2 a factor of g?
False
Let r = 109 - 90. Does 22 divide (r - 2)/(14/28)?
False
Let a(y) = 74*y + 109. Let f = -89 - -102. Is a(f) a multiple of 17?
True
Let m = 52 - 49. Let n be (-10)/(m - (-425)/(-140)). Suppose -4*d - i + 190 + 370 = 0, -2*d = -4*i - n. Is d a multiple of 7?
True
Let h(j) = -j**2 - 17*j + 68. Let o be h(-20). Suppose -o*x - 747 = -9*x. Is x a multiple of 14?
False
Suppose -85 - 221 = 6*m. Let z = m - -49. Is 34 a factor of (0 - (z - 1))/(8/816)?
True
Suppose 3*w = -4*q + 26, -w + 2*q + 5 + 17 = 0. Suppose -3*i - 4*b = -w, 0 = 4*b + b + 5. Is 23 a factor of (-182)/(-4) + 1 + (-3)/i?
True
Suppose 3*i = 4*f + 22, 0*i + 3*f = -3*i - 6. Suppose 0 = 5*g + 2*o + 425, -3*o - 170 = i*g - 0*o. Let l = g - -88. Does 3 divide l?
True
Let b(r) = 88*r - 3127. Is 102 a factor of b(60)?
False
Let q be (36/(-90))/((-2)/15). Let n be q/(1 + (-132)/141). Suppose 43 + n = 3*k. Does 17 divide k?
False
Let a = -21186 + 49143. Is a a multiple of 4?
False
Let r(x) = -3 + 3 - 27 + 13*x. Suppose 21 = 4*c - h - 4, 0 = 5*c + 2*h - 15. Is r(c) a multiple of 3?
False
Let v = -95 + 106. Let f = v - -93. Does 8 divide f?
True
Suppose 11 - 1 = 2*t. Suppose 0 = -t*l - 34 + 104. Suppose 3*x - 2*x + 2*b - l = 0, -5*x = -b - 48. Is x even?
True
Suppose -v + 64 = -d - 0*d, 0 = -v - 3. Let l be -5 + 2 + d - -4. Let r = -35 - l. Does 11 divide r?
False
Let y = 15553 + -5325. Does 56 divide y?
False
Suppose -5*n - 3*k = -9068, -19*k + 24*k - 5 = 0. Is n a multiple of 28?
False
Sup