divide x?
True
Let f be (6/15)/(2/20). Suppose 3*q + 16 - 28 = 0. Suppose f*h - q*p = -h + 747, -456 = -3*h + 5*p. Is h a multiple of 21?
True
Let h(i) = 45607*i**2 - 68*i + 3. Is 87 a factor of h(1)?
False
Let y = -68 + 77. Let u be -4*((-5)/(-18) + 2/y). Does 11 divide (-3954)/(-18) - u/6?
True
Let q = -269 - -592. Suppose -q*j + 329*j = 900. Does 15 divide j?
True
Does 4 divide 1166*(-430)/(-1419)*(-204)/(-10)?
True
Is 6 a factor of ((-172405)/123)/(2/3 - 1 - 0)?
False
Suppose -o + 64 = -3*t, -4*t - 146 = -5*o - 46. Let h be 4/t - (-3 + (-14)/(-5)). Suppose h = 5*v - 277 + 37. Does 24 divide v?
True
Suppose 31 = g + 2*g - 5*m, -5*g - m + 33 = 0. Does 46 divide 1 + -4 + -4 + 755 + g?
False
Let d(w) = -w + 43. Let j(q) = -q**2 + 6*q - 12. Suppose -3*t - p = -3 - 0, 6 = -t + 2*p. Let o be j(t). Is 15 a factor of d(o)?
False
Let h = -4 + 2. Suppose -5*l = 2*n - 22, 5*n - 8*l + 6*l - 142 = 0. Is 9 a factor of (-13)/n - 153/h?
False
Is ((-7)/(-5)*(-576)/(-7))/((-3075)/(-41000)) a multiple of 8?
True
Let v = -43 - -42. Let o be (v - -6) + -2*(0 + 1). Suppose o*p - 16 = 29. Is 15 a factor of p?
True
Suppose -6*u - 12*u + 6732 = 0. Suppose 6*j - 1474 = u. Is j a multiple of 41?
False
Let w be -5 + (11 - 8)/(6/2114). Suppose -376 - w = -7*v. Does 26 divide v?
False
Let r be 0/((-7)/(28/(-8))). Suppose -2*h + r*h = -h. Suppose -240 = -h*y - 8*y. Is 5 a factor of y?
True
Suppose 0 = 38*n - 426*n + 6610744. Is 14 a factor of n?
True
Let k(s) = 7*s**2 - 85*s - 311. Is 202 a factor of k(-42)?
False
Let a(u) = u**3 - 2*u + 1246. Suppose 0 = 37*c - 41*c. Let g be a(c). Suppose -16*h = -1042 - g. Is 17 a factor of h?
False
Let v be 1/((12/(-9))/(-4)) - 22. Let w = 16 + v. Is 27 a factor of (-1 + w)/(8/(-164))?
False
Let i(y) = -y**3 - 12*y**2 - 36*y + 2. Let h be i(-6). Is 78 a factor of 6811/(5 + h) + 1?
False
Let o be (0 - (-4)/(-18)) + (-80)/(-36). Suppose 4*j - 3*v = 10, v + 1 = -5*j - o*v. Is 13 a factor of (-52)/5*j*10/(-2)?
True
Let p(l) = 4*l**2 + 86*l + 126. Does 166 divide p(-29)?
True
Suppose -15323 = -3*i - 8*i + 21857. Does 20 divide i?
True
Is (-91)/182 - 152892/(-8) a multiple of 45?
False
Suppose 0 = -3*q + 2*h + 11904, -8*q + 31744 = 7*h - 3*h. Does 8 divide q?
True
Let j(w) = -13*w. Let x be j(-1). Suppose 0 = 7*n - 6*n - 124. Suppose -3*g - x = -n. Is g a multiple of 25?
False
Let n(z) = 594*z**2 - 57*z + 201. Is 13 a factor of n(4)?
True
Suppose 27 = 5*h + 3*o, 4*o = 5*o - 4. Suppose -j = 3*q + h, 2*q - 3*q = -5*j + 33. Suppose -l - 2*l - 3*m = -36, 2*l - j = 4*m. Does 3 divide l?
True
Suppose 7*k - 40 = -12. Let t be (-18)/1*(-2)/k. Is (-66)/(3/t*-2) a multiple of 33?
True
Let p(l) = -l**2 + 2*l - 10. Let t be p(3). Let x = t + 127. Is x a multiple of 5?
False
Let n be -5 + 4 + (-2 - -4) - -63. Let q = 31 + -60. Let z = q + n. Does 12 divide z?
False
Suppose 13*k - 3*u = 2*k + 236744, -5*k + 2*u = -107609. Is 79 a factor of k?
False
Let q(o) = -174*o - 39. Does 33 divide q(-10)?
False
Let h = -347 + 1201. Suppose 410 = -h*t + 856*t. Is 6 a factor of t?
False
Suppose -2*y + 171 = y. Let a(u) = -u**3 - 7*u**2 - u - 4. Let i be a(-7). Suppose 274 = i*t - d + y, 0 = 3*t + d - 215. Is t a multiple of 12?
True
Let o(k) = -k**2 - 18*k - 36. Let m be o(-15). Suppose -7*u = -m*u + 180. Suppose z + u = 3*z. Does 9 divide z?
True
Let w = 1225 + -679. Is w/8*224/56 a multiple of 91?
True
Let z(o) = -8*o + 170. Let j be z(21). Does 4 divide 21/((-63)/408)*(-1)/j?
True
Let t be 10/4 + -1 - 1794/(-4). Suppose 5*x + 3*r - 474 = 0, -x + t = 4*x - 5*r. Let h = x - 23. Does 25 divide h?
False
Does 2 divide (-46 + 2)*(-5958)/33?
True
Suppose -3*n - 14 = t, -4*t + 6 + 3 = -n. Is 25 a factor of 41 + 7 + ((-2)/t)/(-1)?
True
Suppose p = 2*p + p. Suppose p = -v - 4*a + 286, 0*v + a - 586 = -2*v. Does 21 divide v?
True
Suppose 492106 + 541211 = 124*p - 268683. Is p a multiple of 175?
True
Suppose 1242 = 6*q + 288. Let h be (-2)/17 - (-3)/(153/q). Is 11 a factor of ((-63)/14)/(h/(-12))?
False
Suppose -5*d = 158 - 18. Let m be (-76)/(-14) + (-16)/d. Let b(i) = 3*i**2 - 8*i - 5. Is 19 a factor of b(m)?
False
Suppose 2*r - 5*r + d = -740, -d = 2*r - 485. Suppose 0 = 3*y - r + 1070. Let p = -161 - y. Is p a multiple of 19?
True
Suppose -11*g + 2 + 350 = 0. Suppose -5*m + 2262 = -i, g*i - 35*i + 898 = 2*m. Is m a multiple of 12?
False
Suppose 18*z - 25 = 13*z. Is z/(30/(-4)) + 17366/57 a multiple of 19?
True
Let u = 9179 + -5601. Is u a multiple of 7?
False
Suppose 37*l - 299 = 24*l. Suppose -l*m + 1292 = -4*m. Does 17 divide m?
True
Does 9 divide (-2)/(-6) + -4 + 134960/30?
False
Let q(r) = 122*r + 417. Is q(10) a multiple of 15?
False
Let d = 1954 - -1238. Is 12 a factor of d?
True
Suppose -212*k - 205*k + 10350357 = 0. Does 70 divide k?
False
Let x = 13 - 49. Is 16 a factor of x*(40/(-48) - 1/2)?
True
Let g(a) = -36*a - 833. Does 47 divide g(-61)?
True
Let a(h) = -4*h - 76*h**2 + h + 31*h**2 - 6 + 41*h**2. Let d(l) = -7*l**2 - 8*l - 13. Let o(z) = -7*a(z) + 3*d(z). Does 9 divide o(-5)?
False
Suppose -2*n = -3*n - 4*a + 18, 3*n + 10 = 4*a. Does 20 divide ((3200/(-30))/8)/(n/(-21))?
True
Let b = 48 - 29. Let d be 3504/10 + (-66)/15 + 80/20. Suppose 17*j + d = b*j. Does 17 divide j?
False
Suppose 0 = 6*c - 10*c - 304. Let b = 50 - c. Does 7 divide b?
True
Is 64 a factor of -11 + (5175 + 0)/5?
True
Let t(x) = -x**3 + 3*x**2 + x + 14. Let v be t(4). Suppose 5*r - 252 = -i, 0 = r - v*r - 3*i + 56. Let s = r + 30. Does 16 divide s?
True
Let u(d) = 44*d - 4. Let z be u(-1). Let t be (-14)/(-70) - z/10. Suppose q - 405 = -q - 5*s, 4*s = t*q - 1062. Does 30 divide q?
True
Let o(h) = -h**3 - 41*h**2 - 3. Let a be o(-41). Does 72 divide (1248/40)/(a/(-90))?
True
Suppose 0 = 2*r + 2688 - 190. Let u = -607 - r. Is u a multiple of 11?
False
Let a be 0/((30/3)/5). Let b be 5 + -3 - (2 - -1 - a). Is ((-18 - 1) + b)/((-39)/312) a multiple of 40?
True
Let w(v) = 10*v**2 + 11*v + 49. Does 72 divide w(12)?
False
Let m(t) = -t**3 + 16*t**2 + 22*t + 17. Let p be m(17). Let f = p + -86. Does 2 divide 202/f + 6/16?
False
Let x(g) = 12*g**2 - 10*g + 79. Does 57 divide x(9)?
False
Let d be 3/9 - (-249)/9. Let m = -24 + d. Suppose m*t - 190 = -t. Does 19 divide t?
True
Let k = 17640 + -3817. Is 23 a factor of k?
True
Does 22 divide ((-42980)/(-21) - -4)*((-366)/(-24) + -7)?
True
Is 16 a factor of (0 - -4)/(-1) + (-9016)/(-14)?
True
Suppose 2*b - 4*u - 234 = 0, 2*b - 110 = -u + 139. Is 12 a factor of b?
False
Let h(c) = -362*c + 2524. Is h(-9) a multiple of 98?
True
Suppose -3*i - 12 = 2*k - 8*i, -4*k - 3*i + 28 = 0. Suppose -120 = -k*w - 2*d, d = 4*d + 6. Is w a multiple of 5?
False
Let g(v) = -v + 4. Let s be g(-6). Suppose 73 = s*m + 3. Suppose t - r - 39 = 0, -m*r + 2*r = -3*t + 109. Is t a multiple of 17?
False
Suppose -4*q - 700 = 5*k, 0 = k + q + 4*q + 161. Is (k/(-85))/(1/85) a multiple of 8?
True
Let q = -213 - -147. Let c = q - -106. Is 10 a factor of c?
True
Let k = -197 - -185. Is 6 a factor of (-1 - 0 - 36)/(4/k)?
False
Suppose 4*f = -3*j + 1534, -3*j + 77 + 1449 = 2*f. Let t = j - 272. Suppose -230 = -a - 3*s, -a - t = -2*a - 4*s. Does 34 divide a?
False
Is 33 a factor of (1 - 19893/(-9)) + (9 - 532/57)?
True
Is (-133)/(((-2)/18)/(65/195)) a multiple of 7?
True
Let h = -2197 - -3119. Let o = h - 498. Is o a multiple of 4?
True
Does 26 divide (130/(-35))/((-184032)/(-26292) + -7)?
True
Suppose 3*i + j - 270 + 89 = 0, -3*i = -5*j - 157. Suppose -1432 = 55*z - i*z. Does 51 divide z?
False
Let t(s) = -3*s**3 - 158*s**2 + 108*s + 36. Is 48 a factor of t(-54)?
False
Suppose 11*v + 4869 = 3*i, 94*i - v + 1609 = 95*i. Does 31 divide i?
True
Let g = 45 + -34. Let h(v) = 2*v - g*v - 9*v - 13 - 7. Is h(-2) a multiple of 10?
False
Suppose 0 = 3*h + 2 + 7, 2*a - 2087 = -5*h. Is a a multiple of 23?
False
Suppose -9*b - b = -450. Let q = b - 37. Suppose -q*f + 10*f = 6. Is 3 a factor of f?
True
Suppose -18*a + 194 + 58 = 0. Is 8/(-6) + ((-165032)/(-21))/a a multiple of 28?
True
Does 22 divide (-20)/(-25) - 1 - 251133/(-15)?
True
Suppose -6506*a = -6518*a + 82800. Does 46 divide a?
True
Suppose 0 = -5*z - 20, x + 0*z - z + 332 = 0. Let g = x + 503. Is g a multiple of 5?
False
Suppose -3*n + 41 = -2*y, 35*n + 14 = -3*y + 30*n. Let l(h) = h**2 - 17*h + 3. Does 14 divide l(y)?
False
Let r(n) = 