6/80 - (-6)/24) a multiple of 30?
True
Suppose 317*y - 371*y = -258552. Is y a multiple of 252?
True
Suppose -4 = 2*s, 5*k - 2*s + 133 = -3. Let x = 33 + k. Suppose 2*r = -3*g - 2*g + 525, 525 = x*g + 5*r. Is g a multiple of 21?
True
Let z = -369 + 370. Let d(q) = 180*q**3 - q**2. Is 40 a factor of d(z)?
False
Suppose 98*g - 2*s = 102*g - 3424, 4*s + 2546 = 3*g. Let d = g - 759. Is d a multiple of 2?
False
Let t(j) = -9*j - 54. Let c be 1*((-10)/(-8))/(2/8). Let m(r) = 10*r + 53. Let g(l) = c*m(l) + 4*t(l). Is 43 a factor of g(11)?
False
Suppose 7*q = 9*q + 262. Let c = q - -135. Suppose 4*f + 728 = 4*i, -3*f + 264 + 499 = c*i. Is i a multiple of 13?
False
Let a(y) = 3*y**3 - 41*y**2 - 73*y + 501. Is 9 a factor of a(25)?
True
Suppose -2*n - 160 = 3*n. Suppose 5*i - 48 = 152. Let g = n + i. Does 3 divide g?
False
Suppose 0 = 5*d - l - 6247, 310 + 2196 = 2*d - 4*l. Is 11 a factor of d?
False
Suppose -2*f = -x + 21, 5*x - 4*f - 84 + 3 = 0. Suppose 828 = -11*h + x*h. Suppose h = -9*k + 15*k. Does 23 divide k?
True
Suppose 10*j + 3*j - 22510 - 13110 = 0. Does 20 divide j?
True
Let q = 19975 + -11215. Is 20 a factor of q?
True
Let p = -2390 + 6648. Is p a multiple of 20?
False
Suppose 3605 = -17*h + 27099. Is h a multiple of 30?
False
Let i(j) be the third derivative of j**6/120 + 19*j**5/60 - 13*j**4/24 + 25*j**3/6 + 168*j**2. Is 46 a factor of i(-17)?
False
Is 15 a factor of (0 + 48*40)*1?
True
Let z be 0*1/(-4) + (-12)/(-4). Does 18 divide z + 0 + (3 + -2)*339?
True
Let l = 743 + -174. Suppose 191 = -3*c + l. Is 9 a factor of c?
True
Suppose -5*g = 5*i - 6*i - 28, -3*i - 4 = 5*g. Does 60 divide (-28)/6*300/i - 0?
False
Let j(x) = 46*x + 4. Let r = 60 - 63. Let t be j(r). Let i = -78 - t. Is 14 a factor of i?
True
Let h(b) be the third derivative of 0*b + 47/24*b**4 + 0 - 3*b**2 - 1/3*b**3. Is h(1) a multiple of 15?
True
Suppose -34*q = -37*q + 6. Let l be (5/(-2) - q) + (-5)/10. Is (-6)/(6/l) + 101 a multiple of 6?
False
Let s = 38687 - 23772. Is 95 a factor of s?
True
Let m be 406*6/(3 + 3). Suppose 0 = -4*y + 674 + m. Is y a multiple of 6?
True
Let t(b) = -1727*b**2 + 5*b + 6. Let k be t(-1). Let j = -804 - k. Is 82 a factor of j?
False
Let v(z) = -301*z**3 - 3*z**2 + z. Let n(p) = p - 3. Let w be n(4). Let f be v(w). Is 20 a factor of (f/(-1))/3 - (3 + -2)?
True
Suppose 0 = -8*k + 4*a + 46160, 23*a = 5*k + 28*a - 28880. Is k a multiple of 111?
True
Let w = 1619 + -1151. Suppose w = -4*m + 124. Let a = 2 - m. Is 44 a factor of a?
True
Suppose -u = 3*j - 5298, 3*j - 2*u - 5105 - 211 = 0. Is 188 a factor of j?
False
Let w = 53 - -45. Let i(q) = 5*q**3 + 2*q**2 + 12*q + 5. Let o be i(-2). Let k = o + w. Does 8 divide k?
False
Is (-6)/4 - (2*(-16175)/20 + -2) a multiple of 9?
False
Let d be 3 + (115 - 3) + -4. Suppose 193 = 8*w - d. Suppose -4*m = -w - 74. Is m a multiple of 14?
True
Let z(c) = -79 - 6*c**2 + 28*c - 8*c**2 - 13*c**2 - 3*c + 29*c**2. Does 17 divide z(-18)?
True
Suppose -18 = -t + 4*t. Let p be t/(-4)*18/(-27). Is (19/4)/(p/(-8)) a multiple of 4?
False
Let z = 15 - 14. Let k(j) = j**2 - j - 1. Let m(v) = 4*v**2 + 11*v + 21. Let a(c) = z*m(c) - 3*k(c). Is a(-16) a multiple of 14?
True
Suppose 4*p + 26 = 58. Suppose 2*c + 3*j - 293 = -p, 4*j - 4 = 0. Does 2 divide c?
False
Suppose -140 - 118 = -3*w. Suppose a + w = 2*a. Let j = a - -54. Does 7 divide j?
True
Let n(l) = -3*l**2 + 4*l**2 + 0*l**2. Let f(r) = -r**3 - 5*r**2 + 8. Let a(u) = -f(u) - 4*n(u). Is 18 a factor of a(4)?
True
Let l = 18204 + -10820. Does 26 divide l?
True
Let t(g) = 16*g**3 + 11*g**2 - 25*g + 3. Is t(5) a multiple of 11?
False
Let a(x) = -x**2 + 14*x - 34. Let l be a(8). Suppose 9*k - l*k = -260. Is k a multiple of 4?
True
Let g(h) = -2*h**3 + 3*h**2 + 25*h + 86. Let c be g(-3). Let k be (-3 + 1)*(-3)/3. Suppose c = -k*z + 272. Does 30 divide z?
True
Suppose -2*i = 2, 0 = -2*n - 2*i + 4*i + 32482. Is 80 a factor of n?
True
Let r = 6445 - 5456. Is r a multiple of 58?
False
Let b be 9 + 0 + 1 + -4. Let d be 1076/2*(b - 7). Is d/(-5) - (-8)/20 a multiple of 12?
True
Let n = 33621 - 22879. Does 22 divide n?
False
Let u = -115 - -123. Suppose u*x - 3022 = -470. Does 12 divide x?
False
Let y(a) = 313*a**2 - 144*a - 149. Is y(-1) a multiple of 4?
True
Let b be 5/(20/(-8) - -5). Suppose 0 = 4*q - 2*q + b*a - 488, -a = -3*q + 736. Is q a multiple of 12?
False
Is (231/(-15) - -9)*(-3 - (-1889)/(-2)) a multiple of 49?
False
Let t = 21712 - 9392. Suppose -12*j - 4*j + t = 0. Is j a multiple of 35?
True
Let h = -1055 - -1642. Let y = 829 - h. Is 22 a factor of y?
True
Let t = -41 + 70. Let r = -24 + t. Suppose -78 = -r*b + 3*b. Is b a multiple of 19?
False
Let m(k) = k**3 + 14*k**2 - 21*k - 21. Let c be (123 - 119) + (-1 - -19)*-1. Is 3 a factor of m(c)?
True
Suppose 5*f = -2*y + 33, 0 = -y - 0*f - 2*f + 17. Let v = y - -308. Is 26 a factor of v?
False
Let m(c) = -9*c - 33. Let t be m(-7). Is t/(-25) + 4956/30 a multiple of 4?
True
Let g(b) = -b**3 + 9*b**2 + 10*b + 8. Let q be g(10). Suppose i - 2 = -2*c, -c = 3*i + 3*c - q. Suppose 60 = 4*s + 5*r - 12, i*r = 0. Is 6 a factor of s?
True
Suppose 0 = 28*m - 2*m + 52. Is (3/m)/(48/32)*-10 even?
True
Suppose -2*p - 771 + 781 = 0. Let x(b) = 2*b**3 + 2*b**2 + 3*b - 16. Does 13 divide x(p)?
True
Suppose -3*v = -4*v + 4. Suppose -5*c - w - 61 = 0, c = -4*c + v*w - 81. Let l(k) = k**2 + 10*k - 8. Is 6 a factor of l(c)?
False
Let k = -4 + 6. Let y = -207 - -222. Suppose -k*t + h + 0*h = -405, 3*h = y. Is 25 a factor of t?
False
Suppose -198 = -12*b - 66. Suppose 0 = -b*m - 8*m + 1197. Is 2 a factor of m?
False
Let o(y) = y**2 + 3*y - 5. Let d be o(-4). Is d + (-1)/(-4) + 57/12 even?
True
Is 114 a factor of 3295 + ((-25)/15)/((-5)/33)?
True
Let o(g) = -g**3 + 13*g**2 + 6*g - 8. Let a be o(13). Let z = a - 20. Is z a multiple of 25?
True
Let i = -108 + 123. Suppose 0 = 2*x - n - 174 + 15, -3*x = -3*n - 246. Let g = x - i. Does 12 divide g?
False
Suppose -59*i - 2960 = -55*i. Let h = i + 1065. Is 13 a factor of h?
True
Let j(n) = 9777*n - 171. Is 41 a factor of j(2)?
False
Is 3 - 0 - 5384/(-4)*1 a multiple of 27?
False
Let h(r) = r**3 + r**2 - 6*r + 4. Let s be h(2). Does 38 divide -4*1802/(-16) - (-2)/s?
False
Let d(t) = t**3 + 14*t**2 + 28*t + 7. Let u(k) = 2*k + 37. Let y be u(-18). Let c(q) = q**2 + q - 1. Let p(b) = y*c(b) + d(b). Does 15 divide p(-12)?
True
Let x be (56/(-7) - -8)/(-3). Suppose 3*g - 1557 = -4*b - 61, g + 2*b - 500 = x. Is 62 a factor of g?
True
Suppose -5*x - 10 = -q - 25, -q - 5*x = -25. Suppose -441 = -3*s - 3*l - l, 4*l - 735 = -q*s. Is 21 a factor of s?
True
Let o(h) = -959*h + 728. Does 21 divide o(-5)?
True
Let k be (-8)/(3/4 + -1). Suppose -k = s + 48. Let a = s + 230. Does 10 divide a?
True
Let a(l) be the first derivative of l**4/4 + 6*l**3 - 9*l**2/2 + 106*l - 152. Is 22 a factor of a(-17)?
False
Let m be -1 + (-3 - 0/(-3)) - -26. Does 9 divide 3604/m + 3/(198/12)?
False
Let d be 10*(4/(-18) - (-794)/9). Suppose 33*l - d = 29*l. Is 10 a factor of l?
True
Let q(g) = 20*g + 138. Let h be q(-11). Let n = h + 278. Is 5 a factor of n?
False
Does 35 divide -196*(-61)/2 + (15 - -8 - 16)?
True
Let b(c) = 27 + 19 - c**3 - 73 - 5*c**2 - 9*c + 21. Does 10 divide b(-6)?
False
Suppose -4*h = -2*s + 6*s + 104, 4*s + 111 = 3*h. Let y = -25 - s. Suppose -y*z + 8*z = 54. Is 2 a factor of z?
False
Let k = 4997 + -3932. Does 11 divide k?
False
Suppose 0 = -3*g + 2*b - 3 - 11, 3*b - 14 = g. Let h(f) = 3*f - 86*f - 7*f. Is h(g) a multiple of 20?
True
Let u be 4 + 2 + -4 + 0. Let g be u + 0 - (-120 - -2). Suppose l + g = 6*l. Is l a multiple of 4?
True
Suppose -u = -3*y + 117508, 0 = -4*y - 9*u + 22505 + 134131. Is 12 a factor of y?
True
Let j be (-1398)/(-10) - 2/(-10). Suppose -4*k + j = -6*x + 10*x, -6 = -3*x. Let g = 117 - k. Is g a multiple of 21?
True
Suppose 0 = 12*b - 7*b + 100. Let i = b - -24. Suppose -r - 5*w + 280 = i*r, -4*r + 230 = -2*w. Does 19 divide r?
True
Suppose 21877 = 5*t - 14603. Does 19 divide t?
True
Is (-145618)/(-6) + (-47)/((-2256)/64) a multiple of 110?
False
Let l(r) = r**2 - 18*r + 76. Let p be l(12). Suppose -8*v - 4*d = -9*v + 678, p*d - 2792 = -4*v. Is v a multiple of 24?
False
Suppose 0 = z + 4*o - 11830, -25*z + 2*o + 23620 = -23*z. Is 66 a factor of z?
True
Does 157 divide 5350/20*((-