(-2). Is i/((-18)/(-8)*1/6) a multiple of 8?
True
Let a = 505 + -490. Does 6 divide -24*((-1575)/20)/a?
True
Is 184288/(-78)*(-84)/16*(-5 - -9) a multiple of 16?
True
Suppose -49*g + 74*g - 83275 = 0. Does 7 divide g?
False
Let b = -37 - -19. Suppose 0 = -68*l + 69*l + 30. Let s = b - l. Is s a multiple of 4?
True
Let g(f) = f**3 + 5*f**2 + 2*f - 4. Let w be g(-4). Suppose -17*d = 107*d. Does 10 divide 92/2 + d + w?
True
Suppose -28*y = -70*y + 157658 + 30502. Does 27 divide y?
False
Suppose -q + 24 = 3*q. Suppose -1564 = -8*j + 1028. Suppose q*d - 9*d = -j. Is d a multiple of 18?
True
Let j = -72 - -57. Let w(a) = -86*a - 30. Let p be w(j). Suppose 8*z - p = -4*z. Does 13 divide z?
False
Let s = -74340 + 119533. Is 43 a factor of s?
True
Suppose 37885 + 85636 = 67*t - 5990. Does 25 divide t?
False
Suppose 4*q - 3*b - 757 = 3941, -1170 = -q + 3*b. Suppose -7*x = -2310 - q. Is x a multiple of 15?
False
Suppose -4*n + 5441 - 479 = 2*b, 2*b - 4960 = -3*n. Does 65 divide b?
False
Suppose -843 = 46*m - 153. Let s(r) = r**3 - r**2 - r - 1. Let y(t) = -2*t**3 - 11*t**2 + 31*t + 6. Let c(q) = s(q) + y(q). Is c(m) a multiple of 10?
True
Let p(r) = -3*r + 39. Let n be p(10). Let g = n + 0. Is 9 a factor of 894/g - (-8)/12?
False
Let o be (14/(-21))/(18/(-15579)). Let l = o + -377. Is l a multiple of 40?
True
Is 7 a factor of -2 - (-60)/35 - 17800/(-70)?
False
Let j be 5/6 + (40/(-140))/((-12)/133). Let c = 11 - 8. Suppose c*h = -j*a + 124, -3*h = -2*a - a - 159. Does 6 divide h?
True
Suppose 4*s - 10 - 6 = 2*q, 3*q + 14 = 4*s. Suppose -3*t - 3*u + 4*u = -302, 0 = s*u - 20. Is 12 a factor of t?
False
Let x = 110 - 104. Suppose -x*t = -218 - 412. Is t a multiple of 23?
False
Suppose x + 4 - 1 = 0. Let l be (6/10)/(7*x/(-24465)). Does 16 divide 10/25 + (3 - l/(-15))?
False
Let h = -8006 + 14742. Is h a multiple of 84?
False
Let i(r) = 243*r**2 - 45*r - 38. Is i(-6) a multiple of 20?
True
Let w be 1/6 + (-38)/12. Let x = -223 - -244. Let u = x + w. Is u a multiple of 5?
False
Let r(f) = 26*f - 24. Suppose 92 = 21*u + 2*u. Is 16 a factor of r(u)?
True
Let a(b) = b**2 - 7*b + 57. Let g be a(22). Suppose j - 52 = g. Is j a multiple of 10?
False
Let z be 4/6*(3 + (-693)/(-6)). Suppose s = 35 + z. Suppose -3*t = 2*l - 0*t - s, -l + 4*t + 46 = 0. Does 21 divide l?
False
Suppose 3*g + 16*c = 21*c + 12977, -3*c - 12975 = -3*g. Does 14 divide g?
False
Suppose -1328*d + 1322*d + 18360 = 0. Is 85 a factor of d?
True
Let q = -1467 - -2997. Is q a multiple of 14?
False
Suppose -2*a = -4*x + 12, 5*a = a - 5*x + 15. Let c(r) = r + 50. Let p be c(a). Suppose 3*v - p = 115. Is 9 a factor of v?
False
Let b(x) = -x - 14. Let a be b(-19). Suppose 0 = a*f - 10*f + 195. Suppose 3*s - 2*s = f. Does 13 divide s?
True
Let n be 861 + 13 - (-1)/1. Suppose 0 = 7*t - 0*t + n. Let d = 221 + t. Does 16 divide d?
True
Is ((-296)/96*4)/(4/(-4320)*3) a multiple of 12?
True
Let v = 6449 - 2393. Is 9 a factor of v?
False
Suppose 4*c - 8 = 2*c. Let s(o) = -11*o**2 - 5*o**3 - 5 - 14*o + 3*o**2 - c + 4*o**3. Does 2 divide s(-6)?
False
Suppose 0 = -2*j + 8*j + 1560. Let q = 626 + j. Is q a multiple of 23?
False
Suppose -3*u = h + 4*u - 4308, 4*h - 5*u - 17199 = 0. Is h a multiple of 18?
False
Let m = 396 - 279. Let t = m - 82. Is 4 a factor of t?
False
Let w(n) be the first derivative of 49*n**4/12 - n**3/6 + 3*n**2 - 5*n - 26. Let f(b) be the first derivative of w(b). Is f(2) a multiple of 8?
True
Suppose 0 = -50*v + 53*v + 4*k + 35, 6 = -3*k. Is v*9/54*-336 a multiple of 24?
True
Is 7 a factor of 32623/(-561)*-45 + (-4)/(-22)?
False
Let n = -3353 - -5481. Is 16 a factor of n?
True
Is 55 a factor of (1 + 6604 - 0) + (-12110)/2422?
True
Suppose 9*k + 30307 = 144121. Is k a multiple of 74?
False
Suppose -50*r + 39*r + 31*r = 208840. Is r a multiple of 66?
False
Suppose 90*j = 960063 + 69447. Is j a multiple of 184?
False
Suppose -176*h = -168*h - 33536. Does 16 divide h?
True
Suppose -5*f + 580 = -5*m, -3*m + 8 - 350 = 3*f. Let g(t) = -t**2 - 83. Let u be g(0). Let p = u - m. Is 12 a factor of p?
False
Let y(l) be the first derivative of -327*l**2/2 + 12*l - 129. Does 10 divide y(-1)?
False
Let q(y) = y**3 - 10*y - 3. Let c be q(5). Let g = 110 - c. Let u = g - -12. Is u a multiple of 10?
True
Let m(a) be the second derivative of 21*a**2 + 0 + 8*a - 5/2*a**3 - 1/12*a**4. Is m(-17) a multiple of 6?
False
Let i = 97 - 97. Suppose i = 2*b - u - 11, 16 = -11*b + 14*b - 2*u. Suppose 0 = 4*f + o - 85, -b*o + 23 = f - 4*o. Is 21 a factor of f?
True
Let h be (-28)/(-10) - (-12)/(-15). Let f = 110 - 22. Let a = h + f. Is a a multiple of 15?
True
Let v(o) = 585*o + 162. Is 108 a factor of v(6)?
True
Suppose 22959*d = 22947*d + 12006 + 26250. Is d a multiple of 15?
False
Suppose -2*u - 50 = -4*v, -8*v = -2*u - 6*v - 44. Let h be 1/2 - u/2. Suppose 4*t - 73 = -3*c, 0 = -c + t + 32 - h. Is c a multiple of 17?
False
Let t(r) = 28*r**2 - 5*r - 159. Does 111 divide t(-15)?
True
Let a be 0/(8 + -4) - 6. Let r be (-4)/a*(2 - -508). Suppose 2*n + 3*n = r. Is n a multiple of 34?
True
Let x(d) = 2*d**2 - d. Let t be x(1). Let w be t + 12/8*4. Suppose -3*a = -g + 61, -253 = -w*g + 4*g - 5*a. Is 19 a factor of g?
True
Let f(n) = n + 30. Suppose -5*l - 25 = 0, j + l + 12 + 4 = 0. Let p be f(j). Suppose 0 = -y - 2*x + 10, 2*y - 3 = -2*x + p. Is 2 a factor of y?
True
Let o(y) = -3*y**3 - 130*y**2 - 48*y + 35. Let l be o(-43). Let f = l + 685. Is 17 a factor of f?
True
Let v(p) = -p**3 + 6*p**2 + 13*p. Let g(u) = -2*u**3 + 12*u**2 + 25*u. Let s(a) = 6*g(a) - 11*v(a). Suppose 0 = -17*w + 3764 - 3679. Is 30 a factor of s(w)?
True
Is 42 a factor of ((-88134)/30 - -2)/(54/(-180))?
True
Suppose 7*y = 4*y + u + 638, -y - 5*u + 202 = 0. Let n = 225 - y. Does 3 divide n?
False
Suppose -12*n = -9*n - 24. Let t be (13068/n)/(-9)*2. Let i = -243 - t. Is i a multiple of 20?
True
Suppose 2*f - 4089 + 787 = 0. Suppose -43*i = -628 - f. Does 5 divide i?
False
Is 4 a factor of (-121 + 118)*3/((-18)/874)?
False
Let b be (((-2)/(-4))/(-1))/(2/24). Let x be (-20)/3*b/(-10)*-18. Suppose 2*h - x - 44 = 0. Is 8 a factor of h?
False
Suppose 5*z + 2 = 17. Let s be 3*(9*10)/z. Suppose s + 152 = 2*l. Does 11 divide l?
True
Suppose -950*g + 138214 + 510830 = -354*g. Does 14 divide g?
False
Let r = 45 - 21. Let g = r - 18. Suppose -g*b = -417 + 39. Is b a multiple of 9?
True
Let d(r) = r**3 + 32*r**2 + 14*r - 181. Is d(-28) a multiple of 33?
False
Let j = -144 + 146. Is 22 a factor of (-1602)/(-4) - ((-9)/j + 5)?
False
Suppose -10*g + 28 = -14*g. Does 2 divide -22*((-49)/(-14))/g?
False
Let a(d) = d**3 - 2*d + 23. Let x be a(0). Is 15 a factor of (-7 + x)/(2/15)?
True
Suppose -2*h = 4*o, -3*h + 3 = -o - 18. Suppose -h + 20 = -7*l. Let f(c) = -12*c + 4. Does 6 divide f(l)?
False
Is 136 a factor of (-248)/(-93) - (-152150)/15?
False
Let l be (-1 - -1 - -1)*(-41 + 44). Suppose 2*q + p = 3*p + 2114, -l*p = 4*q - 4221. Does 11 divide q?
True
Let i = 28804 - -6816. Does 20 divide i?
True
Suppose -17*i + 666 = i. Suppose -2*a + 7*a = -3*c + 63, -c + i = 3*a. Is a a multiple of 2?
True
Suppose g - 5*t = -0*g + 44, 3*g + 3*t - 114 = 0. Let u = -25 + g. Does 17 divide 5/((-13)/u - -1)?
False
Suppose -3*k + 11522 = -2*x, -4*k + 0*x = 2*x - 15358. Does 96 divide k?
True
Suppose 3*r + k - 18 = 0, 3*r + 3*k - 6 = -2*k. Is 18 a factor of 3 + (r - (2 - -3)) + 62?
False
Let u = -35 - -5300. Is 27 a factor of u?
True
Suppose -5*z + 2*a = -87016, 5*a + 17440 = 156*z - 155*z. Is z a multiple of 100?
True
Suppose 162*p = 331942 + 1039550. Is 17 a factor of p?
True
Let q(u) = 3*u**2 + u + 5. Let j be q(0). Suppose 4*o - 344 = -y, -y = y - j*o - 740. Is y a multiple of 10?
True
Suppose -3*y + 1545 = -4*x, -2*y + 3*y - 515 = 4*x. Suppose -8*b + 7*b + 4*k + y = 0, b = 5*k + 520. Is b a multiple of 21?
False
Suppose 85*k - 561675 + 344411 - 382411 = 0. Is 100 a factor of k?
False
Suppose -9 = -m + u, 0 = -2*u + 7*u + 15. Suppose m*d - 3*d = 4*d. Suppose -5*i + 2*k + d*k = -625, -375 = -3*i + 5*k. Is i a multiple of 30?
False
Suppose -4*b - 2*t = -1632, 10*b - 7*b - 1224 = -t. Suppose 0 = -4*p + 4*z + b, 5*z + 219 = p + p. Does 6 divide p?
False
Is 33 a factor of (-312)/(-6240) + 547799/20?
True
Let s be 2 + -6 + 13 + -6. Suppose -4*x = 3*l - 1472, 0*l + l - 489 = -s*x. Is