-0*q - y. Does 57 divide q?
False
Suppose -1015344 = -127*f - 17*f. Does 11 divide f?
True
Let p(t) be the first derivative of t**3/3 + 4*t**2 - 13*t + 28. Is 6 a factor of p(-11)?
False
Let q = 60064 - 26244. Is q a multiple of 10?
True
Suppose -q + 0*s - 4*s + 34371 = 0, 4*q = s + 137637. Is q a multiple of 248?
False
Let s be 5 - (12 - 2) - -15. Suppose -8 = s*h - 12*h. Suppose 0 = -h*u + 207 - 55. Is 38 a factor of u?
True
Let c(s) be the second derivative of -37*s**3/3 - 163*s**2 + 13*s - 2. Does 40 divide c(-21)?
False
Suppose -6069 + 19931 + 11578 = 4*b. Is b a multiple of 53?
True
Let z be (100/8)/(4/(-72)). Let w = z - 95. Is (1 - -6)/((-20)/w) a multiple of 8?
True
Suppose 0 = 28*i - 304072 + 54088. Is 31 a factor of i?
True
Suppose 0 = -5*n - 8*n + 199890 + 79636. Is 13 a factor of n?
True
Let h(f) be the third derivative of -1/120*f**6 + 1/5*f**5 + 1/8*f**4 - 11*f**2 - 3*f**3 + 0 + 0*f. Is h(12) a multiple of 6?
True
Let b(g) = -g**2 + g + 1. Let d(r) be the first derivative of r**4/4 - 11*r**3/3 - r**2 + 11*r + 24. Let k(i) = 6*b(i) - d(i). Does 4 divide k(5)?
False
Let w(l) = -48*l - 26. Let b be w(-5). Let y = -159 + b. Is y a multiple of 9?
False
Let t(w) = -4*w**2 - 6*w - 6. Let j be t(-3). Let n = j - -25. Is 28 a factor of 2 + n + 106/2?
True
Let y = -944 - -1664. Suppose 4*l + k - 990 = 435, 2*l - 2*k = y. Is 17 a factor of l?
True
Let o = 393 + -69. Suppose o = 8*y + y. Does 4 divide y?
True
Let f(r) = -2*r**2 - 4*r + 44. Let q be f(-6). Does 26 divide (2 + q)*56/(-35)*195?
True
Suppose -2*r = 4*b - 3230, 4*r + 78*b = 75*b + 6475. Is r a multiple of 18?
False
Let k(l) = 1 + 2 - 2*l**2 - 2 - 10*l**2 + l**3 + l. Let c be k(12). Let b = 188 - c. Is b a multiple of 7?
True
Let h be (-3)/18*-2 + (-8080)/12. Let f = h + 1115. Does 61 divide f?
False
Let q be -1*4*(-1 + (1 - 2)). Is 8 a factor of 0*(-4)/q + -2 + 132?
False
Let c(b) = 1. Let y(m) = m**2 + 10*m + 32. Let l(u) = 5*c(u) - y(u). Let f be l(-7). Is ((-9)/f - 2) + 462/12 a multiple of 5?
False
Let t be -2 + -2 - (-4 + (-1 - 1)). Suppose 0*i - t*i = -n + 745, 2*i - 3010 = -4*n. Does 54 divide n?
False
Let i(o) = -o**2 + 107*o + 375. Is 127 a factor of i(78)?
False
Let v = -533 - -749. Suppose 22*l = 25*l + v. Let k = 32 - l. Is k a multiple of 26?
True
Let j be 4 + 6/(-1) + (-12)/(-2). Let y be (-6)/j*(-1820)/6. Let d = -295 + y. Is 20 a factor of d?
True
Suppose -2 = 2*u + 2. Let h be (6/12)/(u/(-44)). Suppose -h*q - 30 = -16*q. Is q a multiple of 6?
True
Let c be ((-1)/(-3))/((-10)/1770) - -3. Let j = c - -60. Let d(l) = 5*l**2 - 6*l - 8. Is 24 a factor of d(j)?
True
Let s be (5 - 0) + (0 - 2 - -1). Suppose s*q + 3*w - 78 = 7*q, -157 = 5*q + 4*w. Let g = 13 - q. Does 7 divide g?
True
Let f = -5749 - -12797. Does 8 divide f?
True
Let q = 302 + -299. Suppose -8*u - q*k = -3*u - 1068, 2*u - 440 = 2*k. Does 30 divide u?
False
Suppose 7*i - 13468 = -24*x + 21*x, 2*x - 5*i = 8969. Is x a multiple of 6?
False
Suppose -3*s + w - 113 = -7, -5*w = -3*s - 86. Let g = -27 - s. Does 10 divide g?
True
Let t(u) = -494*u + 889. Does 25 divide t(-5)?
False
Let n(d) = 3*d**2 - 8*d + 6. Suppose 10*c = 15*c - 15, -5*j - 4*c + 37 = 0. Is 41 a factor of n(j)?
True
Is 44 a factor of (-64 + 8)/(-4) - -11217?
False
Suppose -4*y + 4606 + 1402 = 0. Suppose 0 = -5*z + 538 + y. Is z a multiple of 17?
True
Let k(r) = -724*r + 1629. Is k(-9) a multiple of 7?
False
Let v(m) = -m**2 - 19*m + 138. Let j be v(-23). Suppose 10*h - 486 + j = 0. Is h a multiple of 2?
True
Let n(m) = -50*m + 6208. Let y be n(124). Let i(o) be the first derivative of 2*o**3/3 - 15*o**2/2 + 81*o - 1. Is i(y) a multiple of 5?
False
Let i(j) be the third derivative of j**6/120 - j**5/5 - j**4/12 + 7*j**3/3 - 43*j**2. Is 27 a factor of i(14)?
True
Suppose -y = -0 - 15. Let t(l) = -l - 22 + 12 + 3*l + 4. Is t(y) a multiple of 12?
True
Suppose -145*m + 155227 = -316748. Is 21 a factor of m?
True
Let k(m) = m**3 - 10*m**2 + 10*m - 3. Let p be k(9). Suppose -f - 6 = -3*n + p, -f - 17 = 2*n. Let q = -7 - f. Does 2 divide q?
True
Suppose 3*d - r - 50 = 0, -2*d + 8*r = 3*r - 16. Let s = -17 + d. Is 3 + s/((-2)/(-36)) a multiple of 21?
True
Let k = 1011 + 7998. Does 139 divide k?
False
Suppose 6*w - 5678 = -f + 4*w, -2*f - 3*w + 11352 = 0. Suppose -21*b + 7*b = -f. Does 81 divide b?
True
Is (10/25)/(-8*(-10)/300)*21850 a multiple of 21?
False
Let i(t) = 7*t - 21 - 5*t + 0*t + t. Let o be i(7). Suppose o = -2*z + 5*s + 100, 2*s + 176 = 4*z - 2*s. Is z a multiple of 7?
False
Suppose j - 5*s = 2753, -6*j + 8*j - 5488 = 4*s. Does 37 divide j?
True
Let a(w) = w**3 - 18*w**2 + 24*w - 2. Let g = -21 - -26. Suppose 0 = g*m - 0*m - 85. Does 13 divide a(m)?
True
Suppose -n = -6 + 8. Let w(y) = -16*y**3 - 4*y**2 - 2*y + 4. Is 30 a factor of w(n)?
True
Let h(f) = 15*f - 10*f + f**2 + 52 - 18*f. Is 18 a factor of h(15)?
False
Is 9 a factor of 0 - -5619 - ((0 - 11) + 13)?
False
Suppose -2*a = -5*f + 26582, -416*a + 412*a - 24 = 0. Is f a multiple of 28?
False
Let t be -966 + -8 - (-5 - -2). Let r = 521 + t. Let p = r + 690. Is p a multiple of 12?
True
Let h = -51560 + 110856. Does 218 divide h?
True
Suppose -4*w + 1006 = 2*k, 3*k - 3*w = -4*w + 1534. Suppose -4*y + o + 2087 = 0, 3*o = -y + 5*o + k. Is 8 a factor of y?
False
Let f = -198 - -331. Let j = 386 - f. Does 18 divide j?
False
Suppose 7*j - 11*j = -1516. Let d = -236 + j. Let q = d + -95. Does 16 divide q?
True
Let s be ((-15582)/(-35))/7 + (-6)/(-15). Suppose -s*f = -69*f + 1465. Does 8 divide f?
False
Let c = 17556 + 49460. Does 78 divide c?
False
Let k(u) = 2*u**2 + 56*u + 332. Is 10 a factor of k(31)?
True
Let w(l) = -l**2 - 15*l + 32. Let r be w(-16). Suppose g - 3*g + 62 = 0. Let c = g - r. Is 2 a factor of c?
False
Suppose 2*l = 6*l. Let q(d) = -104*d + 5. Let p be q(-5). Suppose l = -4*c + 9*c - p. Is c a multiple of 35?
True
Let r = 9175 - 3533. Does 91 divide r?
True
Suppose -73*b + 669710 + 322689 + 244659 = 0. Is 46 a factor of b?
False
Let g = -1871 - -5723. Is 18 a factor of g?
True
Let s(g) = g**3 - 6*g**2 + 887. Does 34 divide s(0)?
False
Suppose 0 = n - 5*j + 15, -70 = -5*n - 5*j + j. Suppose -9*x + 2483 = 3*r - n*x, 2*x - 1658 = -2*r. Does 36 divide r?
True
Is 3883 - ((-162)/22 - (2144/(-88) + 24)) a multiple of 8?
False
Let s(c) = 20*c**2 + 2*c + 19. Let t be s(-11). Suppose -208 = -5*m + t. Is m a multiple of 35?
True
Let f = -30 + 37. Suppose -f*u + 2052 = 2*u. Suppose -g - 2*x + 94 = 0, -4*g + 103 = -x - u. Does 12 divide g?
True
Let n = 48 + -37. Let u(q) = -7*q - n*q + 11 + 11*q. Is u(-10) a multiple of 9?
True
Let k(q) = 127*q**2 - 647*q + 8. Is 23 a factor of k(9)?
False
Suppose 5*w - 21336 = -4*j, -j + 4289 = 3*w - 1038. Is 36 a factor of j?
False
Let y be (-6)/18 - ((-60)/9)/2. Suppose 0 = y*u - 5*u + 102. Let p = -7 + u. Is 8 a factor of p?
False
Suppose 0 = -39*y - 35926 + 144034. Is y a multiple of 15?
False
Let u(d) = d**3 - 14*d**2 - 4*d + 32. Suppose -3*n + 33 = -5*t, -5*n + 95 = 7*t - 2*t. Is u(n) a multiple of 6?
True
Let w = 366 + -213. Suppose -2*l - 498 = -a, 0 = 2*a + 2*l - w - 867. Is 45 a factor of a?
False
Suppose 0 = 4*h + h + z + 9, 5*h + 5*z + 5 = 0. Let b be h/8 - (-368)/(-64). Is 10 a factor of (b/((-30)/565))/(2 + -1)?
False
Let z(b) = -b**2 + 19*b + 105. Let w be z(46). Let f = -741 - w. Is f a multiple of 22?
True
Let q(r) = -r**3 + r**2 + 50. Let i be q(0). Suppose 0 = h - i - 20. Suppose 3*z = z + 5*k + h, -2*z - 3*k + 54 = 0. Is z even?
True
Suppose 5857 = -3*x + 5*f + 26066, -33650 = -5*x + 2*f. Is x a multiple of 116?
True
Let q = -4210 + 10762. Is 63 a factor of q?
True
Suppose 4*r = 5*u + 2179, 4*u - 1089 = -2*r + 7*u. Let c = -7 + r. Is 12 a factor of c?
False
Does 10 divide (-402306)/(-285)*10/(-8)*-20?
True
Is 1996 + 0 + (-680)/340 a multiple of 2?
True
Let n be ((-4)/10)/((-18)/720). Let g be n/(-48) - 32/(-6). Suppose y + w = -0*w + 56, 3*y = -g*w + 172. Does 19 divide y?
False
Suppose -8 = 3*f - 4*f. Suppose -f = -0*k - 2*k + 4*i, -4*k + 52 = 4*i. Let d(q) = q**2 - 6*q + 8. Is d(k) a multiple of 6?
True
Let z(x) = 9*x**2 - 31*x + 6*x**3 - 5*x**3 - 7 + 30*x. Let f be z(-9). Does 5 divide 2 + (43*2/f - -3)?
False
Suppose 4*m = 6*m - 36. Let s(j) = -2*j**3 + 35*j**2 + 22*j - 35. Is s(m) even?
False
Suppose 2*m = 5*h - 7048, 2*h