= -11*q - 1236, h - 3 = 0. Let s = q + 449. Does 6 divide s?
False
Suppose 8*c - 22415 = 32433. Is 15 a factor of c?
False
Let k(b) = -558*b - 412. Is 7 a factor of k(-3)?
False
Suppose -10*y - 2*y + 84 = 0. Let a(j) = j**3 - 6*j**2 + 14*j - 15. Does 12 divide a(y)?
True
Is 4 a factor of 40/(-3)*5952924/(-6035)?
True
Let p(b) = -17*b + 125. Let m be p(7). Suppose 0 = m*u - 9*u + 192. Is u a multiple of 16?
True
Let q(h) = 46*h - 1448. Is q(41) a multiple of 23?
False
Let g(n) = -24*n - 104. Let u = 62 + -69. Does 4 divide g(u)?
True
Suppose -3*j + 4*k + 190 = 0, -2*k = -4*j + k + 265. Let t(o) = -41 + 21 + 21 + j*o. Is t(1) a multiple of 14?
False
Let i = 24 + -7. Let t = i - 15. Suppose p + 5*m + 51 = 2*p, 5*p - t*m - 324 = 0. Is 14 a factor of p?
False
Suppose 5*i - 52355 + 4898 = 3*f, -2*f = 5*i - 47487. Is 15 a factor of i?
True
Suppose -6*u = -5*u - 65. Suppose -u + 709 = 23*v. Is v a multiple of 18?
False
Let x = -3756 + 4761. Does 5 divide x?
True
Suppose -10156 = -294*h + 281*h + 60213. Is h a multiple of 66?
False
Suppose -3*q = 19 - 10. Is (-483)/92*136/q a multiple of 51?
False
Suppose -10*t + 824079 - 4575 = 18*t. Is t a multiple of 128?
False
Let a = 3271 + -583. Does 12 divide a?
True
Suppose -16 = -39*a + 37*a. Let g(b) = 13*b**2 + b + 1. Is 29 a factor of g(a)?
True
Let b = 256 + -258. Is 7 + (2 - 5) - 790/b a multiple of 32?
False
Let m be 3/(((-10)/82)/(-5)). Suppose 3*h - 76 = 3*n - 10, 4*h = -3*n + m. Let f = -11 + h. Does 8 divide f?
True
Suppose -2*f = 9*f - 792. Does 7 divide f/((-6)/(-2)) + -3?
True
Let n = 327 + -332. Does 19 divide (-89)/n + (-54)/(-45)?
True
Suppose 0 = 2*b + 4*a - 970, 693 = 3*b + 4*a - 754. Suppose -25*y + 1048 = -b. Is 5 a factor of y?
False
Let y(o) = -100*o + 12*o**2 + 47 + o**3 + 219*o - 110*o. Is 12 a factor of y(-11)?
False
Does 189 divide (2058152/688)/((-1)/10*-1)?
False
Suppose 86 = -11*m + 163. Let o(p) = 2*p**3 - 3*p**2 + 4*p - 3. Let i be o(4). Suppose m*q + i = 10*q. Is q a multiple of 8?
False
Let z(o) = -74*o - 2. Let p be z(1). Let v = 79 + p. Is (v/(-4))/(9/(-24)) a multiple of 2?
True
Let p(g) = 22990*g**2 + 54*g - 8. Is p(1) a multiple of 7?
False
Does 35 divide 6580908/540 + -7 + (4/(-30))/(-1)?
True
Let s = -2969 + 3494. Is 7 a factor of s?
True
Suppose -3*i + 4*g + 9 + 17 = 0, -5*g = -3*i + 31. Suppose -15 = -3*w, -z - 91 - 62 = -i*w. Let t = -100 - z. Is t a multiple of 9?
False
Let l be (234/(-21))/((-7)/(-49)). Let i = l - -79. Is 22 a factor of ((-1386)/45)/(i + 12/(-10))?
True
Let t = -819 + 2340. Is t a multiple of 48?
False
Let w(t) = t + 14. Let q be w(-16). Let p = -16 + q. Is 10 a factor of (15/(-20))/(p/(-32))*-30?
True
Let u = -55 - -29. Let y be (-2)/(-2) + (7 + 1 - 39). Let i = u - y. Is i a multiple of 4?
True
Suppose -5*w = -2*w - 3*x - 39, -x + 95 = 5*w. Suppose 4*h = -w*h + 3058. Is h a multiple of 57?
False
Suppose -4*b = 5*w - 1706, 6*w - 3*b - 1002 = 3*w. Suppose -7*h + 117 = -w. Is (-6)/(-39) + 8180/h a multiple of 18?
True
Is 550/12 + (11 - (-650)/(-60)) a multiple of 23?
True
Let k be (-7 - -10) + -5 - (-114 - 2). Is 7 a factor of 4/3 + 22192/k?
True
Let b(o) = -375*o - 4. Let q be b(-1). Suppose -5*n = 2*f - q, 3*n - 5*f - 217 = -9*f. Does 13 divide n?
False
Let w be (44/1)/(-27 - -26). Let g = w + 673. Is g a multiple of 18?
False
Suppose -23 = -3*q - 4*p, 12*q - 5*p = 15*q - 25. Suppose 0 = -f + q*s + 447, -2*f - 2*s = 2*f - 1722. Is 48 a factor of f?
True
Let g(z) = -z**3 - 58*z**2 - 315*z + 251. Is g(-52) a multiple of 11?
True
Let o = 1636 - 912. Let z = 1047 - o. Is z a multiple of 17?
True
Let m be 0*((-42)/(-9) + -5). Suppose 15*s - 18*s + 15 = m. Suppose -d - 338 = -3*r + 3*d, -s*r + 594 = d. Does 5 divide r?
False
Suppose 25*p + 4160 = 15*p. Let u = 493 + p. Does 11 divide u?
True
Does 24 divide 7398*((-341)/(-33) - 9)?
True
Let f be 3308/44 - (2 + 60/(-33)). Let l = f + -79. Is 6 a factor of (-12)/(-24) + (-170)/l?
False
Let w = 45 + -45. Suppose -2*q + 4*q - 2 = w. Does 13 divide -130*(3/q + 38/(-10))?
True
Let x = -559 + 1036. Let s = -309 + x. Suppose 6*h - 66 = s. Does 7 divide h?
False
Let d be 4*(-6)/24*618. Is d/36*3*-4 a multiple of 9?
False
Suppose -90*d + 320149 = 134705 - 161956. Is 20 a factor of d?
True
Suppose -2*w + 5315 = -k, 26*w + 2641 = 27*w + 5*k. Is w a multiple of 9?
False
Let m = 399 - 115. Let i = m + 117. Does 48 divide i?
False
Let y = -7158 - -7218. Is 3 a factor of y?
True
Let d(k) = -65*k**2 - 3*k + 2. Let m be d(3). Let f = m + 865. Suppose -5*y - 2*i + 336 = 0, 2*y + 3*i - f = -2*y. Is y a multiple of 11?
True
Suppose 431753 = 19*q - 91165. Does 24 divide q?
False
Suppose -5*m = -5*n + 36923 + 39577, -3*n + m + 45894 = 0. Does 101 divide n?
False
Is (-1932)/63*(-11 - 10) a multiple of 15?
False
Let z(f) = -88*f. Let x(o) = o**2 - 9*o + 15. Let y be x(7). Let j be z(y). Let d = -52 - j. Does 18 divide d?
True
Suppose -3*v + 184 = 2*g - g, 5*g = 4*v + 863. Suppose 5*l = 15 - g. Does 3 divide l/(-2) - (-14 - -15)?
True
Suppose 13*f + 39340 = 20*f. Does 96 divide f?
False
Let q = -219 - 259. Let o = -322 - q. Let v = 364 - o. Is v a multiple of 65?
False
Let j be (2*167)/(32 - 34). Let b = 190 + j. Is b a multiple of 3?
False
Let b(m) = 6*m - 48. Let h be b(8). Suppose -4*g = -h*g + 408. Let i = 345 + g. Does 38 divide i?
False
Let v(s) be the third derivative of 19*s**4/8 + 5*s**3/6 + 15*s**2 + 3. Is v(4) a multiple of 7?
False
Suppose 0 = -107*x + 108*x - 3. Suppose x*y + 2*y = 2*d + 4896, d = -y + 982. Does 49 divide y?
True
Let m = -174 + 179. Suppose -2*a = -4*o - 267 - 243, -m*o = 0. Is a a multiple of 15?
True
Let d(l) = -13*l**2 - 3*l + 2. Let c be d(-4). Let h = -5340 + 5246. Let x = h - c. Is 25 a factor of x?
True
Let l be ((-7)/(70/15))/(21/(-6818)). Suppose l - 1185 = -h. Does 99 divide h?
False
Let l = -59 - -63. Suppose l*d + 8 = 0, -7*g - 665 = -2*g + 5*d. Let u = -71 - g. Is 18 a factor of u?
False
Let t be ((-2)/4)/(1/3170) + 0. Suppose z = 4*z - j - 26, -5*z - 2*j = -47. Is t/(-45) + 1 + (-2)/z a multiple of 12?
True
Let a(p) = p**2 - 53*p + 772. Let f be a(29). Let n = -76 + 262. Let v = n - f. Does 11 divide v?
True
Suppose -3*q = d + 3*d + 4, -5*q + 3*d + 3 = 0. Suppose -u + 804 + 717 = q. Suppose -5*r = -u + 556. Does 17 divide r?
False
Suppose 3870 = 5*n + r, 4*n = -3*r + 3226 - 130. Is n a multiple of 86?
True
Let h be 3/12 + 2/(-8). Is 9 a factor of 1*(3/(-6)*h + 531)?
True
Does 16 divide (-9)/(-7) + -1 + (-6350120)/(-980)?
True
Let u = 17 - 11. Suppose -3*z = -4*c - 3, -2*z - 26 = -u*z - 2*c. Suppose -3*a = -m + 140, 42 = m + z*a - 130. Does 19 divide m?
True
Suppose -4*k - k + 5*o = 35, -5*o = -3*k - 31. Let x be 0 - k - (-10 + 6). Is 2/(-6) + 146/x a multiple of 8?
True
Suppose 1 + 5 = 3*k, 6 = 4*a - 5*k. Is 4 a factor of (14/(-4)*-5)/(2/a)?
False
Let y = -4 - 5. Let b be (-6)/3 - (25/(-5))/5. Does 8 divide (-1 - b - (y + 9)) + 33?
False
Suppose -15*w = -32*w - 1139. Suppose 0 = -2*q + 35 - 129. Let p = q - w. Is 18 a factor of p?
False
Let u = 8404 + 25002. Is u a multiple of 60?
False
Suppose -355009 + 155209 = -25*s. Is 8 a factor of s?
True
Suppose -31*o - 90545 = -122*o. Does 5 divide o?
True
Suppose 21*q - 52 + 10 = 0. Suppose -2*z + 5*r + 167 = 0, -7*z = -q*z + 5*r - 505. Is 4 a factor of z?
True
Let n be (2046/(-55))/(1/((-10)/(-3))). Let p = n + 196. Suppose 12*k - 1464 - p = 0. Is k a multiple of 32?
True
Suppose 2*q + 5946 = 2*o, 0*o - 2*q = 2*o - 5950. Is o a multiple of 23?
False
Suppose 6 = -5*s + 1, -280 = -n - 5*s. Does 3 divide 2/(-19) + 19125/n?
False
Suppose n - 2296000 = -11*n - 68*n. Does 70 divide n?
True
Let o = -293 + 118. Is ((-5)/(o/154))/((-2)/(-480)) a multiple of 11?
True
Let p be (-2)/(12/10)*1*-6. Let a(s) be the second derivative of -s**5/20 + 11*s**4/12 - s**3/6 + 9*s**2/2 + 2*s. Does 9 divide a(p)?
True
Let v be -1*(-82)/(-4 + (-20)/(-4)). Suppose -5*h + v = 3*r + 9, -2*r - 25 = -h. Suppose 4*g + 3*l = h, 2*l = -3*g - 3*l + 21. Is g even?
True
Let o(g) = 75 + 4*g + 31*g - 180. Does 20 divide o(15)?
True
Let q be (-9)/(-6 - 164/(-28)). Does 12 divide 2/((-6)/(-461)) - 42/q?
False
Suppose -5*x = 3*k + 13, -5*x - 3*k - k = 14. Does 15 divide (-6 - 785/(-10))/(x/(-12))?
True
Let t be 369/33 - (-2)/(-11). Suppose -6*j - 5 = -t*j. Does 35 divide 0 + (j +