). Let t = 5 - u. Is t a multiple of 27?
False
Suppose -2*i = -5*i - 2*z + 80, -2*i + 28 = -5*z. Suppose 0 = i*g - 29*g + 25. Suppose -g*q = -4*v - 37 + 220, v - 57 = 5*q. Is 7 a factor of v?
True
Does 138 divide (120447/(-2106) + 4/(-13))*(-671 + -1)?
True
Let x = -606 + 643. Suppose x*a = 30*a + 504. Does 18 divide a?
True
Suppose 0 = 7*n - 1730 - 2113. Does 24 divide n?
False
Let k be -22*(6 + (-945)/14). Let c = 2461 - k. Does 33 divide c?
False
Let b = -46 + 50. Let x be 264/32 + -8 + 79/b. Suppose 16*y = x*y - 232. Does 3 divide y?
False
Is (9190/8*40/35)/(1/7) a multiple of 105?
False
Suppose 19*m - 18*m = 2. Suppose r + 3*r - 738 = -2*h, 5*r - m*h = 918. Suppose 0 = -2*d - 2*p - p + 176, -2*d = 5*p - r. Is 11 a factor of d?
False
Let a(u) = u. Suppose -12*q = -6*q - 30. Let t be a(q). Suppose -512 = -t*c + 178. Is c a multiple of 38?
False
Let w(k) = -k**2 + 13*k + 10. Suppose -2*t + 4*q - 4 = -5*t, -2 = 5*t - 2*q. Let j be 14 + t + (-3 - 1). Is w(j) a multiple of 5?
True
Suppose -5*f = -3*c - 32, -53*c + 56*c = -4*f + 4. Suppose -1126 = -5*n - 2*p, -2*n + f*p + 75 = -361. Is 28 a factor of n?
True
Let v = 100 - 91. Suppose -v*n + 96 = -480. Is n a multiple of 8?
True
Let b = 203 + -72. Let v = b - 4. Let o = 62 + v. Does 27 divide o?
True
Suppose -202*r = -196*r - 12. Does 82 divide r/(-7) - 36754/(-161)?
False
Suppose -5*l = 4*m - 40830, m + 6*l - 8*l = 10188. Does 17 divide m?
True
Let h = 19866 - 7271. Does 55 divide h?
True
Let w be 30/20*208/(-6). Let u = w + 47. Let d(o) = -4*o + 25. Is 15 a factor of d(u)?
True
Is 46 a factor of (186/8)/((-553810)/12880 - -43)?
True
Suppose 5*o + 2*i - 129 = 0, -3*o - 2*i = -0*o - 75. Suppose 0 = j + c - 1, 3*j + 0*c - 5*c = o. Suppose 0 = j*x - 3*x - 54. Is 6 a factor of x?
True
Suppose -r + 3*s = 42 - 2, 0 = 3*r + 3*s + 168. Let j = -47 - r. Suppose -7*l - j*l = -204. Is l a multiple of 3?
False
Does 55 divide (-10*469/28)/(4/(-264))?
True
Suppose -4*b + 2*s + 8642 = -12992, 5*b = 5*s + 27025. Is b a multiple of 43?
False
Let q(t) = -2*t**3 - 12*t**2 - 2*t - 2. Let i be q(-6). Suppose 0 = i*f - 176 - 774. Is 12 a factor of f?
False
Let b(i) = -13*i + 4. Let u be b(7). Let q = 91 + u. Suppose 2*c - 9*t = -q*t + 35, -t + 5 = 0. Does 6 divide c?
True
Let y be (-84)/(-9)*45/(-6). Let v = y + 134. Is v a multiple of 16?
True
Let g(k) = 2*k - 7*k**3 + 6*k**3 - 20*k**2 + 23*k - 3*k + 21. Let s be g(-21). Suppose -5*d - x + 268 = -s*d, 8 = -4*x. Does 9 divide d?
True
Suppose 4*r = -4*y + 14876, 20*r = 23*r - 4*y - 11192. Is r a multiple of 76?
True
Let f = -140 + 97. Suppose 3*g + 2*w = 222, -4*g - w + 66 = -230. Let i = g - f. Does 9 divide i?
True
Suppose -6*w = -3*w - 264. Let z be (-2)/(-11) - (-248)/w. Suppose -15 = 4*h + 1, z*i + 3*h - 351 = 0. Is 15 a factor of i?
False
Suppose -4*x + 4*h + 11480 = 0, 177*x + 8620 = 180*x - 5*h. Is x a multiple of 15?
True
Suppose -w + 4*j = -98, 98*w - 595 = 93*w - j. Does 21 divide w?
False
Suppose -2*f + 13*y - 15 = 12*y, 3*y = 15. Does 22 divide ((-6)/f)/((-4)/(1760/(-3)))?
True
Let n(k) = k**3 + 12*k**2 - 11*k - 4. Let x be n(-13). Let q = x + 85. Is 3 a factor of q?
False
Let b(v) = 4*v**2 + 2*v. Let c be b(-1). Suppose -5*u - 7 = c*d - 18, 5*d - 80 = -2*u. Suppose d*n + 140 = 25*n. Does 4 divide n?
True
Let l = 11215 - 8817. Is l a multiple of 218?
True
Suppose 10*y - 9*y = -5*f + 41978, 41984 = 5*f + 3*y. Suppose 29*b - 2016 = f. Does 65 divide b?
False
Let z = -2754 + 3040. Is 26 a factor of z?
True
Let f be 2/6 - (-255)/45. Let r(a) = 4*a**2 - 3*a + 6. Let q be r(f). Suppose 0 = -9*b + 5*b + q. Is b a multiple of 8?
False
Let s = 162 + -159. Let q(t) = -t**3 - 3*t**2 - 4*t - 4. Let h be q(-5). Suppose 9 = 3*l, 2*l + 0*l = -s*v + h. Is v a multiple of 5?
True
Suppose -2*s = 5*o - 45, 4*o - s - 53 = -6*s. Suppose o*n - 166 - 1584 = 0. Is n a multiple of 38?
False
Let w be (18 + (0 - 3))*24/(-9). Is 7 a factor of (w/4)/2 - -138?
True
Let v(s) be the second derivative of 5*s**3/6 + 212*s**2 + 7*s. Let k be v(0). Suppose -k - 600 = -8*c. Does 25 divide c?
False
Is (4/((-72)/14247))/(15/10 - 2) a multiple of 8?
False
Suppose -267 - 413 = 20*g. Suppose 0 = 5*q - 135 - 255. Let s = q + g. Is 21 a factor of s?
False
Suppose 0*n = 9*n. Suppose n = 12*z - 13*z + 10. Is 10 a factor of z?
True
Suppose t - 2*n + 1047 = -7*n, 4*n - 2094 = 2*t. Is 6/(t/(-174) - 6) a multiple of 6?
True
Suppose -5*v - 3*o + 20394 = 0, 0 = 4*v - 2*o - 3*o - 16330. Suppose -v = -24*i + 7*i. Is 30 a factor of i?
True
Suppose 5*j = 5*u - 25, -4*j - 6 = -j. Let f(r) = -11 + u*r**3 + 11*r**2 - r**3 + 5 - 2*r - 3. Is 8 a factor of f(-5)?
False
Let c(w) = -w**3 + 29*w**2 + 11*w - 59. Let i be c(21). Suppose 721 = l + 4*m, 44*m + i = 5*l + 45*m. Is l a multiple of 39?
True
Let v = 14337 + -14189. Does 74 divide v?
True
Let l(a) = -4*a**2 + 36*a - 2. Let g be -1*3*(-98)/42. Let x be l(g). Suppose x*n = 57*n - 255. Is 11 a factor of n?
False
Let f = 94 - 89. Suppose 15*d - 17*d = -t - 2167, 4*t - 5437 = -f*d. Is 99 a factor of d?
False
Suppose -s - 3*s - 288 = -4*x, x + s - 80 = 0. Let f = x - 41. Let v = f + -6. Does 21 divide v?
False
Let j(a) = 94*a - 4007. Is 29 a factor of j(67)?
True
Let l be ((-256)/(-36) - 2) + (-1)/9. Suppose -l*p + p = -12, -4*p = 2*k - 644. Is 14 a factor of k?
False
Let b(d) = -126*d - 783. Does 39 divide b(-22)?
True
Let b = 724 + -413. Let y = -247 + b. Is y a multiple of 8?
True
Suppose -22*o - 10725 = -7*o. Let a = o - -1054. Is a a multiple of 9?
False
Suppose -10*h - 4493 + 593 = 0. Let t = -285 - h. Does 5 divide t?
True
Does 23 divide 0 - 3 - 11732/(-10) - (-30)/(-150)?
False
Suppose 4*y - 24 = -4. Let b be (-10)/1*(y + -19 + 2). Suppose 9*o = 6*o + b. Does 8 divide o?
True
Is 1*-8 + (-1 - (-231 - 4)) a multiple of 102?
False
Let l = -759 - -2476. Does 12 divide l?
False
Is 8 a factor of 336/80*-5 + 2272?
False
Suppose 4*o + o = 40. Suppose -5*m = 7*h - 10*h - 35, -3*h = -2*m + 23. Is 15 a factor of ((-22)/o)/(m/(-240))?
True
Let t(r) = 20*r - 130. Let m be t(7). Let x(b) = 28*b - 80. Is 4 a factor of x(m)?
True
Let w(y) = 39 - 8*y + 10*y**2 - 58 - y**2 + 54 + y**3. Does 7 divide w(-5)?
True
Suppose 4*d - 14236 = -4*h, 0 = 23*h - 18*h - d - 17753. Is 110 a factor of h?
False
Let o(v) = -v**2 - 78*v + 26. Is 47 a factor of o(-75)?
False
Suppose -2*c = 7 - 9. Let h be (102/136)/(c*(-1)/(-12)). Let z(p) = -p**2 + 13*p + 18. Is z(h) a multiple of 9?
True
Suppose 5*t - 16 = -2*c, 0 = -t + 3*c - 0*c + 10. Suppose 3*h + 5 = z + t*h, -2*z = -h - 4. Let i(u) = u**2. Is 9 a factor of i(z)?
True
Let p be (2 - 6)*(-3 - -1). Suppose 0 = p*j + 913 - 2937. Is 7 a factor of j?
False
Let x(l) = -15*l + 94. Let a be x(6). Suppose -a*p + v = -220, -5*p + 11*v - 8*v + 282 = 0. Is 13 a factor of p?
False
Let v(j) = -190 + 166 - j + 25*j**2 + 3*j**2 + 5*j. Does 20 divide v(4)?
True
Suppose -5*s - 5*u = 0, s - 9*u = -13*u. Let w be (-3)/(3 + s)*1*-2. Let o(c) = 21*c**2 - 6*c + 8. Does 20 divide o(w)?
True
Suppose 0*t = 4*t + 2*m - 8, -t + 8 = -m. Suppose t*p + 493 = 5*f, 5*p = 4*f - 144 - 245. Is f a multiple of 6?
False
Suppose 0 = -7*a + 7 + 14. Let m be -3 - (a - 4)*12. Is 27 a factor of m*11/(44/24)?
True
Let t be ((-24)/(-84))/((-2)/(-28)). Suppose 0*v = t*v + 2*c - 324, c = 4. Suppose -76*l + v*l - 504 = 0. Is 30 a factor of l?
False
Let u = 520 + -576. Is 20 a factor of -90*1/(4/u)?
True
Let n(w) = 4*w**3 - w**2 - 3*w - 15. Let b be n(-3). Let g = 259 + b. Does 26 divide g?
False
Let a be -15 - (76/95)/((-4)/(-10)). Let o = a + 33. Does 8 divide o?
True
Is (-70)/14 + 3 + (3263 - -2) a multiple of 11?
False
Let k be 4/(-18) + (-33066)/(-81). Suppose -4*r + 612 = 2*c - k, 0 = r - 3. Suppose -61*o + c = -59*o. Is 42 a factor of o?
True
Suppose 2*g + 58 = -5*r - 19, -5*r + 5*g - 105 = 0. Let y = 22 + r. Suppose p = y, 2*d - 5*p = -3*d. Does 3 divide d?
False
Suppose 5*a + 36 = -2*o, -5*o - 55 = 4*a + 35. Let s be (o/5)/((-2)/5*1). Suppose 0 = s*c - 12*c + 69. Is 6 a factor of c?
False
Suppose -5*w = 4*l - 17, 2*l + 4*w - 19 = -3*l. Suppose -7*j + 8 = 2*a - l*j, -a + 5*j = 10. Suppose 2*q = c - a*c - 46, 5*q - 119 = -2*c. Is 13 a factor of c?
True
Let p(h) = -h**3 - 9*h**2 - 32*h + 82. Is 4 a factor of p(-12)?
False
Let q = 6260 - -301. Does 63 divide q?
False
Let t = -2 + 