a factor of t?
False
Suppose -3*h = 39*h - 40908. Let t = h + -758. Is t a multiple of 27?
True
Suppose 2*a = 19*a + 1955. Let m = -35 - a. Suppose -6 = 3*f, 3*f + 238 + m = o. Is 13 a factor of o?
True
Let q(p) = p**2 + 3*p - 14. Let g be q(-6). Suppose -3*i + 292 = 4*d - 8*i, -3*d + 218 = -g*i. Suppose 320 = 83*u - d*u. Does 16 divide u?
True
Let k(f) = -16*f + 40 + 83*f**3 + 89*f**3 + 69*f**3 - 2*f**2 - 196*f**3. Is k(2) a multiple of 40?
True
Let r be (-7612)/(10 + -21) - (-1 + 3). Let o = r - 300. Is 18 a factor of o?
False
Suppose 0 = -26*h + 65975 - 1781. Suppose -6*d + h = -1329. Is d a multiple of 72?
False
Suppose -15*d + 2*k - 102 = -20*d, -2*d = -2*k - 52. Suppose -27*r + d*r + j + 2430 = 0, 3*r + 3*j = 1458. Does 26 divide r?
False
Let h = -14371 + 23611. Is 5 a factor of h?
True
Suppose 4260126 - 401659 = 331*b. Does 17 divide b?
False
Let s be 7/(-7)*-2*3 + -2. Suppose -s*c - 2453 = -15*c. Is c a multiple of 21?
False
Let c(n) = -n**3 + 7*n**2 - 2*n - 2. Let q = -35 - -41. Let d be c(q). Suppose -2*r + d = -16. Is r a multiple of 19?
True
Does 34 divide (-5848)/6*1/4*-18?
True
Let d = 103 - 99. Suppose -d*y - g = 27, 2*y + 2*y - 3*g = -15. Does 11 divide ((-33)/44)/(y/(-716))*-2?
False
Suppose 23*w + 689 = 4001. Let d(z) = 5*z**3 + 3*z**2 - 2*z + 1. Let c be d(2). Let x = w - c. Does 19 divide x?
True
Let g = 460 + -320. Is 48/32*g/6 a multiple of 2?
False
Let q be ((-27)/12)/(183/(-96) - -2). Let m = -22 - q. Suppose -3*g = m*b - 27, 3*b - 5*g - 130 = -2*b. Does 8 divide b?
False
Let h be 1737/117 + (-3 - 41/(-13)). Is (h/4)/(2 - 781/392) a multiple of 49?
True
Suppose -50*y + 289289 = 69*y. Is y a multiple of 13?
True
Let d = -6 + 0. Let t = d - -94. Is t a multiple of 22?
True
Let w be (-4)/(-5)*(-15)/(-6). Let d be -4 - (-1 - (-2 + w)). Let h = 45 - d. Is h a multiple of 16?
True
Let q(w) = -2*w - 7 - 2 + 4 - 2. Let s be q(-4). Suppose 31 = -2*i + 5*i + 5*m, i - s = -4*m. Is i a multiple of 17?
True
Let r(t) = -6*t - 26. Let p be r(-3). Let w(m) = -2*m**3 - 11*m**2 + 18*m + 100. Does 11 divide w(p)?
False
Suppose -8570 = -25*n + 39805. Is n a multiple of 5?
True
Suppose 2*p = -2*z + 7*z, 0 = 3*z - p. Suppose z = -9*g + 3*g + 12. Suppose g*w = -11*w + 52. Is w a multiple of 2?
True
Let d be -2 + (6 - 6) - 4150/(-2). Suppose 4*i - d = -2*v - 493, v = -i + 787. Is 52 a factor of v?
False
Is (488/3 - 2)*3 a multiple of 6?
False
Suppose 8*j - 23447 = 5353. Is 30 a factor of j?
True
Suppose y + 2*y - 32376 = -21*y. Is y a multiple of 19?
True
Suppose 104 = 5*g - 26. Let a(y) = -8*y**3 + g + 8*y**3 - 12*y**2 - y**3 - 2. Does 6 divide a(-12)?
True
Let w(n) = 33*n + 790. Is w(58) a multiple of 8?
True
Let c(v) = -1215*v + 1655. Is 49 a factor of c(-6)?
False
Suppose 5*w - 49 = 6. Suppose w = c + 14. Is -3 + 71 + (-5 - c) a multiple of 11?
True
Let z(b) = -384*b**3 + 20 + 8*b - b**2 + 13*b**2 - 9 + 385*b**3 + 13. Let w(f) = -f**2 - f + 9. Let s be w(4). Is 26 a factor of z(s)?
False
Let m be (-2 - -7)/(2/156). Suppose -12*g + 2308 = 4*a - 13*g, 5*a = -2*g + 2885. Let q = a - m. Is 24 a factor of q?
False
Does 81 divide (276/(-230))/((-56199)/(-56205) - 1)?
False
Suppose -5*x + 1752*p - 1749*p = -47817, 4*x + 2*p - 38280 = 0. Is 46 a factor of x?
False
Suppose -2*v + 2*j - 1750 = 3*v, 4*j = v + 350. Let y = v - -550. Is y a multiple of 33?
False
Suppose -15 = 18*m - 21*m. Suppose 4*q = 3*v - 166, 0 = -m*v + 2*q - 5*q + 267. Is 10 a factor of v?
False
Let z = -2156 + 7299. Is 37 a factor of z?
True
Does 5 divide ((-106)/(-2))/(8 + (-189)/24)?
False
Suppose 42*n + 5070 = 52*n. Let l = -250 + n. Does 9 divide l?
False
Suppose -24 + 1288 = g. Does 16 divide g?
True
Let f(g) = g**3 - 2*g**2 - 4*g + 17. Let n be f(0). Suppose 5*q - 1688 = 2*p, -n*q = -19*q + 3*p + 684. Is q a multiple of 6?
True
Let q be -1 + (1 - (0 + -8)). Suppose 0 = -q*l - 6*l + 5152. Is 21 a factor of l?
False
Does 14 divide (0 - -13) + -5 + 753333/21?
False
Suppose 2*w - 104 = -3*d, -4*w + 94*d - 90*d + 228 = 0. Does 55 divide w?
True
Let m = -248 - -248. Suppose m = 2*g - l - 175, -g - 5*l + 11 = -71. Is g a multiple of 2?
False
Suppose -3*l + b + 13513 = 0, 133*b = -5*l + 136*b + 22527. Is 91 a factor of l?
False
Let r = 54 + -48. Suppose -2*l - 756 = -r*l. Let j = -9 + l. Does 30 divide j?
True
Suppose s = z + 73, -s - z + 54 + 9 = 0. Let a = -66 + s. Suppose 4*v - 2*v = -4*n + 186, -a*n - 3*v + 87 = 0. Is n a multiple of 12?
True
Suppose 9269 = -26*j + 64025. Is j a multiple of 81?
True
Let g be (-18)/99 + 46/11. Let u be -3*(-2 - 2)/g + 34. Suppose -u - 105 = -2*r. Is 17 a factor of r?
False
Suppose 2*x = -5*x + 21. Suppose -x*j - 103 = -a, 5*a - 458 = -0*a - 4*j. Let w = a - 49. Does 9 divide w?
True
Does 3 divide -5*(-24)/(-5) - -11622?
True
Let z = 19827 - 8656. Is z a multiple of 192?
False
Let u = 81 - 426. Let d = u + 513. Is d a multiple of 11?
False
Suppose 0 = -7*v - 4 + 4. Let z be (v + -1)*1 + (-8)/(-4). Does 9 divide z + (-35)/40 + 1855/8?
False
Let o(l) = 23*l + 4. Let f(z) = 23*z + 3. Let v(r) = 2*f(r) - 3*o(r). Let p be v(-16). Does 10 divide 18/(-45) + p/5?
False
Let j(s) = 3*s**2 - 16*s + 28. Let k(g) = g**2 - g + 1. Let w(x) = -j(x) + 6*k(x). Suppose -856 + 944 = -8*v. Is w(v) a multiple of 28?
False
Let l = -5523 - -6883. Does 21 divide l?
False
Let j = -21847 - -22944. Is j even?
False
Let r(i) = 76*i**2 + 82*i + 1259. Does 126 divide r(-14)?
False
Let l be (2 - 5)*(-40)/15. Let w be 3972/(-66) + l/44. Does 5 divide w*((-12)/(-18))/(4/(-3))?
True
Let g(t) = t**3 - 15*t**2 + 8*t - 34. Suppose -4*j + 68 = 5*x - 6*j, 5*x - 4*j - 66 = 0. Let p be g(x). Let m = -76 - p. Is 8 a factor of m?
False
Suppose 19 = 3*d - 4*t - 191, -5*d = -2*t - 336. Let b = 109 + d. Does 40 divide b?
False
Let h = 47 - -17. Suppose -o + h = 3*o. Suppose 58 = k + 4*k - 2*c, -o = 4*c. Is 2 a factor of k?
True
Let j = 386 - -462. Does 8 divide j?
True
Let l = 175 - 173. Suppose 405 = a + 3*f, -l*a + 6*a = -3*f + 1647. Does 46 divide a?
True
Let b be 3/(-6)*(-19 + 1). Let v(x) = x**2 - 12*x + b + 4 + 4. Is v(11) a multiple of 2?
True
Let f(l) = -295*l**3 + 6*l**2 + 294*l**3 + 4*l**2 - 7*l + 3*l**2 + 1. Let c = 2 + 6. Is 41 a factor of f(c)?
False
Suppose -8*d - 4 = -10*d, o = 3*d + 1884. Does 9 divide o?
True
Suppose 0 = 5*c - 7*n + 3*n - 78759, 0 = 5*c - 3*n - 78763. Is 17 a factor of c?
False
Suppose 5*l - 5*i = 55, -4*l + 2*i + 28 = -l. Let b(v) = -v**3 + 10*v**2 - 9*v - 37. Is 6 a factor of b(l)?
False
Let a(c) = 3*c**3 + 7*c**2 + 19*c - 77. Is 110 a factor of a(8)?
False
Let i(y) = -y + 21. Let k be i(18). Let a(z) = 5 - 3 + 21*z - k + 14. Is a(6) a multiple of 20?
False
Suppose 2*i - 875 - 1478 = -3*x, -4*x - 4756 = -4*i. Does 32 divide i?
True
Suppose 502*h - 527*h + 205800 = 0. Is 21 a factor of h?
True
Let c be (-20)/3*(-3 - (-3)/(-5)). Let y = c - 18. Is 2 a factor of y + -1 + (-3)/(-1)?
True
Suppose 4*f + 120 = -2*y, -f = 5*y - 10*y - 344. Let k be 2 + -90 - 12/4. Let g = y - k. Is 17 a factor of g?
False
Suppose -2*q + 704 = -2*n, 3*n + q = -0*q - 1060. Let t = 429 + n. Does 29 divide t?
False
Let y be 248*5/((-160)/24). Does 17 divide ((-26877)/y)/((-2)/(-8))?
True
Let h(d) = 20*d**3 - 71*d**2 + 675*d + 6. Is h(9) a multiple of 35?
True
Suppose 55*t + 126 = 69*t. Suppose 1655 = t*b + 620. Is b a multiple of 23?
True
Suppose -3*n - 518*q + 523*q = -11761, -3*n = -2*q - 11746. Is 12 a factor of n?
True
Let g(k) = -81*k + 2189. Does 15 divide g(8)?
False
Suppose 43*f - 659707 = 93094. Is f a multiple of 9?
False
Let v = -3 - 53. Let x = 153 - v. Does 11 divide x?
True
Suppose 2*b - 18 - 24 = 0. Suppose 3*g - 2*c = 152 - b, 3*c + 3 = 0. Suppose -9*q + 137 = -g. Is 16 a factor of q?
False
Suppose -9*b + 25 = a, 4*a + 12 + 12 = -5*b. Let p = 5 - 15. Is 6 a factor of 627/a*p/6?
False
Let t(k) = -40*k + 950. Is t(-9) a multiple of 2?
True
Suppose 3413*x = 3411*x + 13156. Is 16 a factor of x?
False
Let m be -2*9825/(-6) - (20 - 22). Let j = m + -2189. Does 16 divide j?
True
Let g = 9461 - 4797. Is 53 a factor of g?
True
Is -9 - (-9922)/3 - (-3 + (-40)/(-12)) a multiple of 184?
False
Suppose 0*y - 2*u = 3*y - 162, -3*y + 177 = -3*u. Suppose -5*j = -l + 32, -2*l - 5*j = l - y. Suppose -i = 5*f - l, -5*i - 15 + 81 = 3*f. Is 7 a factor of i?
False
Is 2/(-3) - (-35)/(2100