 factor of k(d)?
True
Does 152 divide (-250)/7125 + 1091666/57?
True
Is 37 a factor of 20/(10/(-1 - 4)) + 4376?
True
Let j be 653/(-3)*(-9 - -7 - 1). Let z = -525 + j. Is z a multiple of 16?
True
Let h = -418 + 423. Suppose -i = 12*o - 8*o - 445, 0 = -5*o + h. Does 9 divide i?
True
Suppose -9*c - 12119 = -2696. Is 27 a factor of c/(-9) + 2/(-6) - 5?
False
Suppose 5*d - 260 = -5*g, 5*d = -g - 0*d + 52. Let n be g + 0/(-4) - 0. Suppose -2*c = 5*f - 131, -c + n = -0*f + 2*f. Is f a multiple of 6?
False
Suppose -y - 2*b = 4*y + 972, 2*y - 2*b = -400. Let h = y - -212. Does 16 divide h?
True
Let c = -322 + 326. Suppose 6*k - 20 = k. Suppose -153 = -3*o - 3*u, -o = -k*o - c*u + 148. Is o a multiple of 10?
False
Suppose -21 = -4*p + 19. Let d(j) = -5*j**2 + 9*j - 6. Let o be d(p). Is o/(-3) - (8 - (-110)/(-15)) a multiple of 29?
False
Suppose 3*o + 7121 = 5*z, 2*z - 2086 - 778 = -4*o. Is 62 a factor of z?
True
Suppose 0 = 3*r + 3, -114*l = -112*l + 4*r - 6156. Does 56 divide l?
True
Let b be (-9)/(135/(-20)) + (-727)/3. Let i = b + 152. Let o = 156 + i. Is 6 a factor of o?
False
Suppose -4*v = -2*h - 64, -5*v + 81 = 2*h - 5*h. Let q be (0 + 60/9)*(27 + 3). Suppose q = -13*p + v*p. Does 12 divide p?
False
Suppose 0 = 33*g - 25*g - 24. Does 4 divide g + 3 + -11 - -97?
True
Let a(k) = 15*k**2 - 22*k - 209. Is 23 a factor of a(-38)?
True
Suppose -22856 = -4*c + a, 18*a - 22856 = -4*c + 20*a. Is c a multiple of 13?
False
Suppose 17*q = 15*q - 90. Let o be (256/3)/4 - 30/q. Is ((-6)/(-4) - 0)*o a multiple of 20?
False
Let p = 346 + -344. Suppose 181 + 655 = p*j. Is j a multiple of 22?
True
Suppose -187*c + 185*c + 150 = 0. Suppose -4*k + 151 = c. Is 19 a factor of k?
True
Let c be 425/15 + 2/(-6). Suppose -10*u = -c*u + 36. Suppose 0 = -u*h - 3*z + 69, -4*h = z + 3*z - 148. Is h a multiple of 2?
True
Let k be 5/(15/303) + 0 + 2. Let x = -93 + k. Suppose -x*g + 296 = -8*g. Does 17 divide g?
False
Let v(o) = o**3 + 8*o**2 + 10*o + 89. Let g be v(-8). Let r(f) be the first derivative of -f**2 + 27*f + 2. Does 4 divide r(g)?
False
Let s be (9 + 61)*(6 + -11). Suppose -2*c - 555 = c. Let z = c - s. Does 55 divide z?
True
Suppose 21*b - 36*b + 28980 = -3*b. Is 7 a factor of b?
True
Suppose 3*c + 335 = -p, 3*p + c = 2*c - 985. Let z = 73 - 195. Let w = z - p. Is w a multiple of 12?
False
Suppose -25*r + 24300 = -16*r. Suppose -5*x - r = -20*x. Is 20 a factor of x?
True
Let y be ((-4)/(-12))/(1/(-708)). Let s = 359 + y. Does 4 divide s?
False
Let c(t) = 2*t**2 - 15*t + 25. Let h be c(5). Suppose h = 854*j - 861*j + 11172. Is 15 a factor of j?
False
Let a(m) = -835*m - 6421. Is a(-25) a multiple of 40?
False
Let s(u) = -u**3 - 4*u**2 - 1. Let y be -3 + -1 + 0 - (-3 - -2). Let p be y - 1*(2 + 0). Is s(p) a multiple of 4?
True
Let s be 28*((-4)/2)/(-2). Suppose 11*w - 290 = 6*w. Let y = w - s. Is 15 a factor of y?
True
Let x(q) = 19*q**2 - q - 18. Let v(i) = 77*i**2 - 4*i - 73. Let d(k) = -2*v(k) + 9*x(k). Is d(-4) a multiple of 45?
False
Suppose -x = 4*c - 171 + 3, -5*x + 840 = -5*c. Suppose x = q - 2*p + 5*p, 0 = 2*p - 4. Is q a multiple of 5?
False
Suppose l + 827 = -4*o + 6057, -4*l + 20886 = -o. Is 14 a factor of l?
True
Let z(q) = q**2 + 8*q + 2. Let x(h) = h**2 + 4*h + 1. Suppose -5*m - 5 - 5 = 0. Let b(d) = m*z(d) + 5*x(d). Does 8 divide b(-3)?
True
Is -11235*((-64)/(-6) - 12) a multiple of 14?
True
Let k be (-35)/(1 - 8) - 1*197. Let a = k + 522. Is a a multiple of 30?
True
Let l be (68 - -1)/(((-18)/213)/6). Does 25 divide (-2)/12 + l/(-18)?
False
Let o(r) = -341*r - 16. Let f be (1/(-2))/(2 - 15/8). Is o(f) a multiple of 84?
False
Suppose 552 = -16*f - 376. Let m = f - -346. Is 32 a factor of m?
True
Suppose 2*c = y + 4*y - 279, -c + 53 = y. Let m = 68 + y. Is m a multiple of 24?
False
Let s(p) = -p**2 - 7*p - 12. Let o(j) = -j**2 - 3*j. Let z be o(-4). Let b be s(z). Suppose b = 9*h - 12*h + 189. Does 16 divide h?
False
Suppose 0 = 10*o - 7*o - 33. Let t(p) = p**2 + 4*p + 30. Does 5 divide t(o)?
True
Let k = -60 - -66. Suppose k*i - 12*i = -48. Suppose -i = g - 2*g. Is g even?
True
Let y(b) = 581*b + 35. Let p be y(-5). Does 23 divide (p/(-20))/((-2)/(-4))?
False
Let c(j) = j**2 - 33*j - 1120. Does 14 divide c(63)?
True
Suppose 5*z = -20, 154 = f - 3*z + 44. Let i be 291 + (-4 - -1 - -8) + -5. Let q = i - f. Is 16 a factor of q?
False
Let s = 36 - 40. Let b be s*(-3)/(-6) - -5. Suppose b*p + 4 = 79. Does 5 divide p?
True
Suppose 0 = 2*m + m + 3*p - 5241, -p + 5235 = 3*m. Suppose 0 = w - 2*t - t - 434, 4*t + m = 4*w. Suppose w + 3 = 10*s. Does 31 divide s?
False
Suppose 69*q = 66*q + 65331. Is 61 a factor of q?
True
Suppose -6*s + 235 = -s. Let a = 52 - s. Suppose -2*f - a*f = -28. Is f even?
True
Suppose 122*u - 2025380 = -39*u. Is 20 a factor of u?
True
Suppose 17*r - 72618 = 73626 + 755. Does 76 divide r?
False
Let o be (1549/2 + -3)*2. Let q = 2274 - o. Is q a multiple of 19?
False
Suppose 0 = 2*k + 2*c + 4, -5*k - 2*c = -0*k + 25. Let r(z) = z**2 + 9*z + 18. Let d be r(k). Suppose -2*f + 10 = -7*f, -4*m = d*f - 56. Does 4 divide m?
True
Let z(q) = 11*q**2 + 42*q + 52. Is z(-6) a multiple of 28?
True
Suppose 315*c + 5290 = -6178 + 2648. Let y be (-119)/(-2) - (-2)/4. Let s = y + c. Is 2 a factor of s?
True
Suppose -1436 = -2*l + 2*p, -25*l + 23*l = p - 1430. Suppose l + 139 = 3*v. Does 15 divide v?
True
Suppose -3*m - y + 187 = -30, 215 = 3*m - y. Suppose -3*c + 7 - 1 = 0. Suppose m + 68 = c*z. Is z a multiple of 10?
True
Let y be 16/2 + (-22 - -18). Suppose a = y*g - 0*a - 877, -g = -4*a - 223. Is g a multiple of 14?
False
Let x(q) = 20*q**2 + 3*q - 4. Let r be x(1). Suppose 0 = -15*b + r*b - 4. Is -2 + (b*104)/2 a multiple of 18?
False
Let q(n) = 5*n - 15. Let p be q(6). Suppose -p*j + 1500 = -420. Does 3 divide j?
False
Suppose -4*r + 1442 - 358 = 0. Suppose -q + 101 = 3*z - 322, 2*z - 3*q - r = 0. Is z a multiple of 70?
True
Let q = 8971 + -691. Is 45 a factor of q?
True
Let d(z) = -3 + 3*z**2 + 2*z - 2*z**2 + 11. Let p be d(-4). Let n(v) = -v**3 + 15*v**2 + 18*v - 20. Is 12 a factor of n(p)?
True
Let y = -3536 + 5809. Does 22 divide y?
False
Suppose -3*h - 38 = -k, -16*k - 226 = -21*k - 3*h. Suppose -620 = k*z - 12060. Does 36 divide z?
False
Let i = -184 - -266. Let p = i + -116. Let q = p + 45. Is 11 a factor of q?
True
Suppose b = -p + 7635, -p + 4*b + 2387 + 5223 = 0. Suppose 0 = -27*q + 9002 + p. Is 8 a factor of q?
True
Suppose 0*h - 150912 = -5*h - 19*h. Is h a multiple of 90?
False
Let a = 216 - 19. Suppose 3*h = 4*s + 543, 3*s + s = -h + a. Suppose -2*j + h + 257 = 0. Is j a multiple of 13?
True
Let o be -385*((-21)/15 - -1) - 1. Let p = 463 - o. Does 10 divide p?
True
Let w(j) = j**3 - 9*j**2 - 12*j + 445. Is w(17) a multiple of 18?
False
Let s(l) = 58*l**2 + 14*l - 14. Let h be s(4). Suppose -15*d + 4060 = h. Is 9 a factor of d?
False
Let n = 474 - 149. Is (21 + -1)*1105/n a multiple of 18?
False
Let o = -3912 + 5240. Does 16 divide o?
True
Suppose -5*v = 16*v + 210. Is 6 a factor of (0 - 188/v)*(-40)/(-16)?
False
Suppose -16 = -s - 6. Suppose 1 = -3*f + s. Suppose 0 = -4*t + f*n + 58 + 4, 5*t - 77 = 4*n. Does 17 divide t?
True
Let j = 17 - 11. Suppose -j*m + 23 = -85. Is m/(-3) + 2 - -109 a multiple of 33?
False
Let q be (-16)/(-12)*(-204)/(-16). Let s(h) = h**3 - 17*h**2 + h + 27. Is s(q) a multiple of 3?
False
Suppose 2*q - 1656 = 4*i - 2*i, 4*i = 0. Suppose 0 = 3*k - 2*k. Suppose 6*d - q = -k*d. Is d a multiple of 23?
True
Suppose 45*m = 19*m + 37440. Suppose 0 = -q, 19*q + m = 2*u + 20*q. Is u a multiple of 36?
True
Suppose 2*m = b - 5*b + 10, 6 = 4*b - 2*m. Let y(u) be the first derivative of 47*u**2/2 - 3*u + 2. Does 13 divide y(b)?
True
Suppose -2*v = 3*v - c + 30, 5*v = -4*c - 55. Let r(b) = -98*b - 16. Let g be r(v). Suppose 7*p + g = 12*p. Is 11 a factor of p?
False
Suppose -23*r + 24*r - 2*m - 720 = 0, -2*r - m = -1420. Is r a multiple of 14?
False
Suppose 23*u - 237900 = -38*u. Is 78 a factor of u?
True
Suppose -1992 = -4*a + 3*m, 3*a + m = 1229 + 252. Is a a multiple of 43?
False
Let q(n) = 5*n**2 + 54*n - 44. Is 39 a factor of q(5)?
True
Suppose 12870*i - 12859*i - 97141 = 0. Does 315 divide i?
False
Let p = -9 - -9. Suppose p = -n + 8*n - 630. Suppose -2*h = -3*m - 0*m - n, 4*h - m = 190. Is h a multiple of 16?
True