 -75*a + 272071 + 521579 = 0. Is 26 a factor of a?
True
Suppose -5*h = -5*c - 145, -2*c = -2*h - 3*h + 160. Let j = 38 - 36. Suppose 2*f + 3*x = j*x + 104, 5*x = -f + h. Does 15 divide f?
False
Let w(g) = 23*g**2 + 46*g - 520. Does 19 divide w(12)?
True
Let w = 44 + -21. Suppose 19 = 2*i - w. Is i/(-3)*(-4 + -5) a multiple of 9?
True
Suppose 21*j - 12*j = -43*j + 436956. Is j a multiple of 38?
False
Suppose 0 = 3*q + 5*r + 83, 0*q - 3*r = 4*q + 107. Let g = 21 + q. Is 4 a factor of (-4 + g)/((-1)/(0 - -1))?
False
Let o(k) = -2*k**3 - 6*k - 2 + 23*k**2 + 4 + 0*k**2 - 10. Does 9 divide o(11)?
False
Suppose 75*q = 8*q + 684004 - 159260. Is q a multiple of 14?
False
Suppose -18 = -5*v + 17. Let h(f) = -f**3 + 6*f**2 + 8*f - 3. Let i be h(v). Suppose 54 = -i*p + 13*p. Is p even?
True
Let b(r) = 13*r + 43. Let t be b(-7). Suppose -20*k - 360 = -23*k. Let j = t + k. Does 24 divide j?
True
Let k(t) = t**3 - 27*t**2 + 41*t - 75. Suppose -5*v + 26 = g, v = 5*v. Is 45 a factor of k(g)?
True
Let d(g) = -482*g + 63. Let q be d(-2). Suppose -2587 + q = -12*c. Does 26 divide c?
True
Let b(n) = 7*n + 83. Suppose -3*c = 4*m - 119, -10*c - 3*m = -6*c - 161. Let d = -35 + c. Does 26 divide b(d)?
False
Let p = -300 + 5726. Is p a multiple of 36?
False
Suppose 85*l + 5175 = 82*l. Does 35 divide 42/(-28) - l/6?
False
Let k = 26588 - 26556. Does 32 divide k?
True
Is (110 - 6)/13 - -10284 a multiple of 62?
True
Let m = -77 - -82. Suppose -m*q = -10*q + 1485. Is q a multiple of 24?
False
Let v(s) = 620*s**2 - 3*s + 1. Does 22 divide v(-9)?
True
Let b = 13464 + -4761. Suppose 45*k - b = 4257. Is 8 a factor of k?
True
Let a = 19830 - 8742. Does 18 divide a?
True
Let m be (-1 + 0)/((-1)/89). Let k = 30 - m. Let w = 80 + k. Does 7 divide w?
True
Let y = -346 + 384. Suppose -y*g + 12070 = -21*g. Does 10 divide g?
True
Let j = -561 - -20. Let a = 1498 + j. Is a a multiple of 11?
True
Suppose -4*f + 246 = r, -3*r = -4*f - 0*f - 722. Let q = r + 74. Is q a multiple of 79?
True
Let o = -1685 + 8545. Does 140 divide o?
True
Let h = 42 + -64. Let k = h + 25. Suppose -5*a = -3*c - 188, 0 = k*c - 2*c + 1. Is 13 a factor of a?
False
Suppose -2*m = 8*u - 50124, 5*m - 4763 = 5*u - 36053. Is 108 a factor of u?
True
Let j(c) = -c**3 - 12*c**2 - 9*c + 24. Let d be j(-11). Suppose 3*s - 5 = b - 11, 3*b = -d*s + 51. Does 2 divide b?
False
Let f = -283 + 287. Suppose -3*u - 3 - 3 = 0, -f*v - 4*u = -1368. Is 43 a factor of v?
True
Let g = 6433 - 4171. Is 58 a factor of g?
True
Suppose 332*w - 9334 = -d + 333*w, -2*d + w = -18674. Is 5 a factor of d?
True
Does 74 divide ((-168312)/27)/(-2) + 1 + (-64)/72?
False
Suppose 44 + 99 = 13*b. Let l(c) = 16*c + 198. Is 34 a factor of l(b)?
True
Let s = 14565 - 12245. Is s a multiple of 11?
False
Let r(a) = 233*a + 2354. Does 93 divide r(18)?
False
Suppose l - 2*l - h - 17 = 0, -61 = 4*l - 3*h. Let a(t) = -t**3 - 8*t**2 + 4*t - 16. Let s be a(-8). Is 60 a factor of (s/2)/(3/l)?
False
Let i be (-3588)/182 + (-2)/7. Let h = i - -62. Is h a multiple of 10?
False
Let z = -33 + 32. Let m be 15/(-4)*z/(3/88). Is -1 - (-3 - (m - 0)) a multiple of 11?
False
Suppose 3*w = 5*d + 75049 + 585, 25178 = w + 5*d. Is w a multiple of 25?
False
Suppose -4*t = -4*n - 4414 - 20718, 4*t - 25130 = 3*n. Does 8 divide t?
False
Suppose l = -2*v + 5241, l = 4*v - 5*v + 2620. Is v a multiple of 5?
False
Suppose -142326 = -5*m + 2*c + 82016, -2*m + 89726 = c. Does 17 divide m?
False
Let k = 13302 + -9167. Does 2 divide k?
False
Is (-12 + (-15910)/20)*-12*3/15 a multiple of 7?
False
Is (0 - (8 + -8)) + (-2651)/(-1) a multiple of 11?
True
Suppose 17*b + 1341564 - 190324 = 0. Is 22 a factor of (-2)/(-7) + b/(-140)?
True
Let w = -8202 + 9432. Is 6 a factor of w?
True
Let u(w) = w**2 + 4*w + 4. Let a be 357/33*-1 + 2/(-11). Let h be u(a). Does 19 divide 2610/h - (-4)/(-18)?
False
Suppose 0 = 2*p + 3*s - 604 - 543, -s - 566 = -p. Let c = -192 + p. Is 66 a factor of c?
False
Suppose 0 = -13*f - 136155 + 558941. Is f a multiple of 220?
False
Let n be (-38)/4*2*(-13 - -12). Suppose -5*q + 2*h + 79 = 0, 3*h - 2*h = 3. Suppose -155 = -q*u - n. Does 5 divide u?
False
Let a(j) = 2*j**2 + 10*j - 8 - j**2 - 8. Let s be a(-12). Suppose s = -y + 33. Does 7 divide y?
False
Suppose -4*k + 4105 = -2871. Does 8 divide k?
True
Suppose 2616 = 3*q + 9*q. Suppose 4*i - q = 2*o, -5*i + 76 + 179 = o. Let t = 145 - i. Is t a multiple of 31?
True
Suppose 68*i = 74*i - 138. Let q(o) = o**2 + 18*o - 93. Does 34 divide q(i)?
True
Let c(o) = -127*o**3 - 9*o**2 + 15. Does 57 divide c(-3)?
True
Let j(p) = -p**3 - 52*p**2 - 39*p + 112. Let d be j(-52). Let q = 3464 - d. Does 16 divide q?
False
Suppose -2364 = 48*i - 6540. Is i a multiple of 3?
True
Let a = 1020 + -1745. Let c = 193 - a. Is 34 a factor of c?
True
Suppose -36*b = -41*b + 295. Let o = 103 + b. Does 18 divide o?
True
Suppose 10 = 4*i + 26, -4*i - 1388 = -4*f. Let w = f - 106. Suppose -897 = -7*t + w. Is 27 a factor of t?
True
Suppose 9 = 4*m - 11. Suppose 0*h + 56 = h + 2*q, -m*h + 324 = -q. Let a = 160 - h. Does 16 divide a?
True
Let m = 19 - 12. Suppose w = -2*l + 377, -2*w - 3 = -5. Suppose -m*b - l = -601. Does 9 divide b?
False
Suppose 2*z - 11 = -a, z + 8 = -8*a + 3*a. Suppose 41 = z*c - 1. Suppose p - 476 = -c*p. Does 40 divide p?
False
Let f be 12/(-3)*1*(-3)/6. Suppose -3*v + 2*h + 1838 = 0, 11 = -f*h + 3. Is v a multiple of 10?
True
Let k = -4793 - -5352. Does 12 divide k?
False
Suppose 57800 = 2010*z - 1925*z. Is 170 a factor of z?
True
Let n be (28 - 4)/(-6)*(-3 + 2). Does 36 divide 1/n + 6/(168/15113)?
True
Suppose 94137 = -109*q + 2758035 + 30691. Is q a multiple of 95?
False
Let y(v) be the third derivative of 0 - 1/6*v**3 + 28*v**2 - 5/8*v**4 + 0*v. Does 22 divide y(-3)?
True
Let h(l) = 119*l**2 - 9*l + 1. Let p(i) be the first derivative of -119*i**3/3 + 5*i**2 - 2*i - 12. Let x(k) = 6*h(k) + 5*p(k). Is x(-1) a multiple of 17?
True
Let m(j) = j**2 - 3*j - 3. Let q be (-54)/8 + ((-36)/16)/9. Let w be m(q). Suppose -w*o = -71*o + 232. Is o a multiple of 17?
False
Let x be 22/6 - (-3)/9. Let v(c) = -c**3 - 8*c**2 - 11*c + 9. Let g be v(0). Suppose -x*m - 45 = -g*m. Is m a multiple of 7?
False
Suppose 2*b + 280 = 296, b = -4*k + 99864. Does 8 divide k?
False
Let v be -6 - (-4 - -5) - -5. Is 18864/12*v/(-4) + -5 a multiple of 10?
False
Suppose -4*u + j + 1340 = 0, -2*j = 3*j. Let l be 8/14 + u/(-35). Is 20 a factor of (-812)/l - 4/18?
False
Does 4 divide ((-41841)/(-6) - 5)*(-50 - -52)?
False
Let r(z) = 434*z**3 + 6*z**2 - 35*z + 70. Is r(3) a multiple of 82?
False
Let v(l) = -210*l - 95. Let a be v(-11). Suppose u + 3*x - 431 = 0, 17*u - 22*u + a = -5*x. Is 27 a factor of u?
False
Let q(n) = n**2 - n - 1. Let d(c) = c**3 - 20*c**2 + 18*c + 2. Let a(t) = -d(t) - 6*q(t). Let g(o) = -o**2 - 15*o - 14. Let l be g(-13). Is 13 a factor of a(l)?
False
Suppose -3*k = -4*r - 64888, 11*k = -36*r + 37*r + 237868. Is k a multiple of 204?
True
Suppose -3*c + b + 97130 = 0, -c + 32374 = -40*b + 41*b. Does 38 divide c?
True
Let h(x) be the second derivative of 8*x**3 - x**2/2 + 13*x. Let f be h(2). Let b = f + -71. Is b a multiple of 4?
True
Let j be 10/65 + ((-138156)/(-52) - -4). Does 21 divide 27/12 - 2 - j/(-12)?
False
Suppose 4*q = 2*z + 48, 0 = -3*q + 2*z + z + 42. Let p(u) = -13*u**2 + 194*u - 2. Is 18 a factor of p(q)?
False
Let b = 1258 + -872. Suppose -l = 3*f - b, 3*l + 420 = 2*f + 148. Is 13 a factor of f?
True
Suppose -4*i = -12, -4*i + 9*i - 284 = w. Let f(o) = 12*o**2 - 21*o - 17. Let h be f(7). Let x = h + w. Does 20 divide x?
False
Let f = 16191 - 2395. Is f a multiple of 227?
False
Let j(z) = -455*z + 1643. Is j(-9) a multiple of 38?
True
Suppose 5*c = 8*l - 4*l + 4726, -2*c = 3*l - 1895. Suppose 8*z - c = 878. Is z a multiple of 38?
True
Let j(q) = 1457*q**2 + 5*q + 5. Let c be j(-1). Suppose c = 4*n - 359. Does 17 divide n?
False
Suppose -2*m = 52 + 8. Let v be (-4)/(-20) + 216/m. Does 5 divide (1/(v/36))/((-72)/672)?
False
Let l = 771 + -695. Let v(h) = 5*h + 1. Let m be v(1). Suppose -16 = m*a - l. Is a a multiple of 7?
False
Suppose -5*n + 169187 = -2*z, -13*z + 7*z = -3*n + 101517. Is 92 a factor of n?
False
Let r(l) = -l**3 + 97*l**2 - 40*l - 300. Is r(92) a multiple of 142?
True
Suppose 5*l + 5*h = 10*l + 1540, -3*h = 5*l 