False
Is ((39/(-15))/((-2)/(-5)))/(61/(-173484)) a multiple of 158?
True
Suppose 3*q - 595 = 4*l, -l = l + 4*q + 270. Let j = l - -1137. Does 22 divide j?
False
Suppose -38*o - 6 = -40*o. Suppose -3*s + 433 = 4*j + 67, o*j = -4*s + 271. Is j a multiple of 13?
False
Suppose 131*f - 138*f = 84. Let m(l) = -6*l - 8 - 6*l + 3*l + l. Is m(f) a multiple of 11?
True
Let w(m) = -m**3 + 72*m**2 + 187*m - 240. Does 38 divide w(72)?
True
Let s(b) = -b**3 + 2*b**2 + 35*b + 13. Let o be s(-10). Let n = o - 606. Is n a multiple of 75?
False
Suppose -4*g = -7*g - 3*q + 7572, 5*g - q - 12596 = 0. Is g a multiple of 30?
True
Suppose -3*r - 24 = 4*x + 18, -3*x = -5*r + 17. Let w be (x/2)/((-7)/14). Is 8/(-6) + 408/w a multiple of 12?
False
Is 59 a factor of (2/(-4))/((-11)/4664)?
False
Let p(w) = 3158*w + 6567. Does 142 divide p(5)?
False
Let g = 65374 - 33155. Is g a multiple of 11?
True
Let k = 193 + -188. Suppose 2*g + 165 - 1428 = k*n, 0 = -3*n - 9. Does 26 divide g?
True
Let m = 6 - 4. Let u(g) = 8*g - 9. Let b be u(m). Suppose -b*v + 279 = -4*v. Is 9 a factor of v?
False
Suppose -226*x = -22*x - 2529600. Does 100 divide x?
True
Let x(y) = -34*y**2 + y. Let s be x(1). Let g be 33/5 + s/55. Suppose 164 = 3*m - g*u + 4*u, -3*u - 218 = -4*m. Does 14 divide m?
True
Let d = -68 - -46. Is ((-720)/21)/(d/154) a multiple of 60?
True
Let s(p) = 2*p**2 + 35*p + 54. Let u be s(-12). Is 77 a factor of (-6632)/(-22) - u/143?
False
Let q(z) = -24*z - 125. Let c be q(40). Let h = -635 - c. Is 50 a factor of h?
True
Suppose -81*n + 65117 = -49660. Does 23 divide n?
False
Let i be (-18)/3 + 7 + 2 + 1. Suppose 0 = -6*c + 7*c - i, 4*s - 1200 = -4*c. Does 8 divide s?
True
Suppose -3*k - 2*k = 3*u - 20, 3*u = k - 4. Suppose -24 = -2*g + 4*a, 2*g + 0*g + 2*a + 6 = u. Suppose -7*f - g*f + 333 = 0. Is f a multiple of 3?
False
Suppose 7*t - 6404 = 27532. Is t a multiple of 67?
False
Suppose 118 = 4*h + 66. Suppose -2098 + 174 = -h*t. Is 37 a factor of t?
True
Let b(i) = 145*i**2 + 81*i - 976. Is 28 a factor of b(13)?
False
Let d = -36729 + 58069. Is d a multiple of 20?
True
Does 14 divide 11449/4 - (-2)/(3 - 11)?
False
Let n(k) = -212*k - 89. Is n(-4) a multiple of 50?
False
Suppose 27*u - 49696 = -11*u + 347024. Is 58 a factor of u?
True
Let h(r) be the second derivative of 0 + 29/3*r**3 - 9/2*r**2 + 25*r. Is 32 a factor of h(1)?
False
Let r(n) = 46*n**3 - 11*n**2 - 3*n - 4. Does 7 divide r(3)?
False
Let j(k) = 5*k + 51 - 21 - 16 - 30. Let p be (-1)/(14/(-172)) - (-6)/(-21). Does 11 divide j(p)?
True
Is 3 a factor of ((-10)/6 - 0) + 1543002/2061?
True
Let i = 3569 - 2641. Does 16 divide i?
True
Is (-8 + (-58780)/(-30))/((-4)/(-6)) a multiple of 4?
False
Let y(h) = 16*h - 28. Let m be y(9). Let z = m - 20. Is z a multiple of 12?
True
Suppose s - 6 = -48. Suppose -2*y + 4*q = 18, 3*q - 3 - 5 = -4*y. Is 10 a factor of (1/2)/y + s/(-4)?
True
Let a(h) = 3*h**2 - 47*h - 68. Let t be a(17). Suppose t = 12*m - 17*m + o + 2849, 5*o = -m + 575. Does 17 divide m?
False
Let d be (-214)/14 + 4/14. Let p be (-33)/d - 2/10. Let t = 13 - p. Is 7 a factor of t?
False
Let h(d) = -171*d - 2040. Is h(-75) a multiple of 5?
True
Suppose -72*q + 70*q = 2. Is (2*14/(-4))/(q/31) a multiple of 7?
True
Suppose -187*z + 191*z - 16 = 0. Let l = 16 - 6. Suppose a - z*u - l = 0, -5*a + 5*u + 91 = -19. Is a a multiple of 13?
True
Let j(k) = -k**3 - 14*k**2 - 8*k - 21. Let i be j(-15). Let z = i + -153. Suppose 13*w - 219 - z = 0. Is 6 a factor of w?
True
Is ((-207)/(-12) + -13)*296/2 a multiple of 6?
False
Suppose 16842*r - 16845*r = -5796. Does 92 divide r?
True
Let k(x) = -70*x + 22. Let a = -132 - -127. Is 16 a factor of k(a)?
False
Suppose -10*i = -30 - 20. Let q(a) = -3*a + 19. Let d be q(i). Does 40 divide ((-4)/(-18) + 545/18)*d?
False
Let h be (0/(-5) - -582)/2. Let m be (0 - -1)/(1/h). Suppose 5*l + c + 0*c - 359 = 0, 0 = -4*l + 3*c + m. Is l a multiple of 16?
False
Let g = -64 + 32. Let r = g + 129. Suppose -p = 3*l - r, 5 = 2*p + 15. Does 28 divide l?
False
Let r(q) = -236*q - 12310. Is r(-97) a multiple of 28?
False
Let k(s) = 0 - 12*s - 5 + 3. Suppose -83*b - 203 = 23*b + 433. Does 14 divide k(b)?
True
Let h be ((-23)/(-2))/((-1)/(-4)*-2). Let d = 22 + h. Is (-1)/((-70)/68 - d) a multiple of 14?
False
Suppose -28*a + 65541 = -7*a. Is 29 a factor of a?
False
Let k = -110 - -180. Is 20 a factor of k/4*(-144)/(-126)?
True
Let b be ((-4)/6)/((-12)/18). Suppose -q + b = -5*h, 0*h + 2*q = -5*h + 2. Suppose -2*p + j + 9 = h, -j + 6*j - 15 = 0. Does 5 divide p?
False
Suppose 3*d - 5*r - 10 = 0, -3*r - 12 = -4*d + d. Is (5/(-2))/(d - 955/190) a multiple of 11?
False
Let m(d) = -26*d + d**2 + 9 + 32 + 2*d**2 + 21 + 5*d**2. Does 11 divide m(13)?
False
Suppose -5*r + 37575 = 5*a, 2*a = -r - 3762 + 18795. Is 179 a factor of a?
True
Let p = 2 + 3. Let q(s) = -9*s + 9. Let f(v) = -25*v + 21. Let i(o) = -3*f(o) + 5*q(o). Does 11 divide i(p)?
True
Let a(g) = 719*g - 22. Let d be a(2). Suppose 183*u = 189*u - d. Does 48 divide u?
False
Let r = 1823 + 16069. Is r a multiple of 9?
True
Let p = 16 + -12. Suppose s - 3*s + p*l = -200, 3*l = -2*s + 186. Suppose d + s = 3*d. Is d a multiple of 6?
True
Let j(r) = r**3 + 21*r**2 + 21*r + 22. Let y be j(-20). Let p be -2 + -1 + 1 + y. Suppose p = 4*c + o - 251, 5*o + 38 = c - 30. Is c a multiple of 6?
False
Let g = -830 + 1288. Suppose 4*d - 2250 = d. Suppose -8*l + g = -d. Is 28 a factor of l?
False
Let k be 90/15 + -3 + 0. Let w(v) = v + 2. Let g be w(3). Suppose 2*l - g*p = 136, 0*p = 2*l + k*p - 136. Is 17 a factor of l?
True
Let x = -4 - -6. Let g = 409 - 394. Suppose -x*l = -l - g. Does 6 divide l?
False
Let k = 289 - 284. Suppose -196 + 1251 = k*q. Is 13 a factor of q?
False
Let b be (-6)/(-5)*(5 + (1080 - -5)). Let t = b + -212. Suppose 15*l - t - 1064 = 0. Does 36 divide l?
True
Suppose -4*y - 60 = b + b, 4*b = 0. Let z(k) be the second derivative of -k**4/12 - 17*k**3/6 + 9*k**2/2 - 11*k. Is 13 a factor of z(y)?
True
Suppose -3*c + 20510 = 5*m, 0 = 21*m - 17*m - 3*c - 16408. Does 15 divide m?
False
Let y(h) = -h**3 - 7*h**2 + 83*h + 5. Let p be y(6). Suppose 2*g = 182 + 136. Suppose g - p = b. Does 31 divide b?
True
Let o(c) = 2*c**2 + 1. Let v be o(-2). Suppose v = 4*b + 1. Suppose -295 = -5*f - y, -b*y - 145 = -2*f + 3*y. Is 15 a factor of f?
True
Let k(l) be the third derivative of -l**6/120 + l**5/6 + 19*l**3/6 - 111*l**2. Is 21 a factor of k(8)?
True
Let g = 417 - -120. Let r = g + -122. Does 12 divide r?
False
Suppose 43 = 4*t + 5*g, 70*t - 67*t - 6 = 5*g. Let s be 2/4*(1 - 1). Suppose -336 = -t*u - s*u. Does 16 divide u?
True
Let q be (-224367)/(-39) - (2 + -3). Suppose 9*z + q = 15*z. Does 70 divide z?
False
Let r(l) = -11*l**2 + l + 10. Let d be r(3). Let v = d - -194. Does 5 divide v?
False
Let u(k) = k**2 + 8*k + 9. Let d be u(-7). Suppose 536 - 104 = 4*h + 4*j, -5*h + d*j = -526. Let z = -42 + h. Is z a multiple of 16?
True
Suppose 27*u = 25*u + 8. Suppose -u*a - 8 = -o, a - 35 = -o - 4*a. Does 3 divide o?
False
Suppose -21*w + 85213 = -2567. Is w a multiple of 5?
True
Suppose -2200 = -4*w + 2080. Let g = w - 662. Is 57 a factor of g?
False
Let t = 135 - -26. Suppose 0 = -5*i + 619 + t. Suppose 156 + i = 6*k. Does 26 divide k?
True
Let z = -55 - -40. Let u be -1 - z/10 - 562/(-4). Suppose -68 - u = -11*n. Does 8 divide n?
False
Let n be (-2)/(-4)*(-1 + -5 + 16). Suppose -y + 1479 = 3*i, -5*i + n*y = -1937 - 508. Does 82 divide i?
True
Let t = -170 + -330. Let d = 940 + t. Does 11 divide d?
True
Let z be ((-4)/2)/(18/(-1359)). Let p = z + -77. Suppose s = k - 116, -4*s + p + 27 = k. Is 25 a factor of k?
False
Is 17 a factor of (-16558350)/(-7670) - 2/(-13)?
True
Let x be 3 - (-18)/2 - 3. Suppose x*w = 6*w + 6. Suppose -w*z + 3*l + 352 = -20, 4*l = 4*z - 752. Is z a multiple of 14?
False
Suppose 5*o = 5*a + 90, 4*o - 23 = -7. Let h be 1*(-6)/a - 306/126. Is h*(0 + 6)*100/(-6) a multiple of 19?
False
Let d(z) = -z**3 - 8*z**2 - 7*z + 4. Suppose 8*b + 42 = 2*b. Let n be d(b). Suppose 0*h + 60 = n*h. Is h a multiple of 4?
False
Suppose -95*b - 218*b = -11356579. Does 49 divide b?
False
Suppose -4*w + 12*w = -2504. Let x = 335 + w. Is 11 a factor of x?
True
Let q(r) = r**3 - 10*r**2 + r - 7. Let h be q(10). Let d = -172 - -176. Suppose -2*o + 5*y + 403 =