= -4*z + 396. Is z a multiple of 12?
True
Is 80313/2 - -1*11/2 a multiple of 7?
False
Let z(n) = n**3 + 49*n**2 - 120*n - 120. Is 110 a factor of z(20)?
True
Let g(d) = -d**3 + 2*d**2 + 3*d + 696. Let b be g(0). Suppose -3*c - 5*m + b = -543, 4*c - 3*m = 1681. Is c a multiple of 10?
False
Suppose 3*n = -2 - 1, 5*k = -n - 136. Let p be 147/1 - (k - -25). Let i = 359 - p. Is 21 a factor of i?
True
Is ((-19)/38 + 5/2)*4768 a multiple of 6?
False
Let k(q) = 2*q**2 + 42. Suppose 0 = 27*f - 24*f - 54. Let h be k(f). Suppose 0 = 5*w + 105 - h. Does 24 divide w?
False
Let i(q) = 8*q**2 - 20. Suppose -2*c + 4*a + 9 = -3, 4*a = -5*c - 40. Is 36 a factor of i(c)?
True
Is 144 a factor of ((-36)/(-15))/(-7 - (-2351178)/335880)?
True
Suppose 2*u = 3*y - 38 + 7, 0 = -3*y + 3*u + 36. Suppose -y*t + 8*t = -2*f + 225, -t - 5*f = -216. Is t a multiple of 4?
False
Does 110 divide 2/10 + 21/((-1785)/(-770423))?
False
Is 12 a factor of (6*(-8)/(-9) - 7)*-8532?
True
Suppose 4*l + 3*d - 3458 = -0*l, -4*l = 2*d - 3464. Does 5 divide l?
False
Let r be (38647/6)/(-7) + 4/24. Let s = -480 - r. Does 15 divide s?
False
Let f = -1737 - -3641. Suppose 0 = 14*k + 3*k - f. Is 8 a factor of k?
True
Suppose -4*b = 4*r - 9*r - 108580, -3*b + 81432 = -3*r. Is b a multiple of 46?
True
Let b(a) be the second derivative of 5*a**4/4 - 13*a**3/3 + 125*a**2/2 + 62*a. Does 10 divide b(5)?
True
Let p = 4758 - 4158. Is 93 a factor of p?
False
Suppose 0*u = u + 37. Let v = -39 - u. Does 23 divide 127/1 + 20/4 + v?
False
Is ((-1862)/(-2) - -1) + 7 + -5 + 3 a multiple of 22?
False
Suppose 5*r - 259*m - 48369 = -263*m, -4*r = m - 38693. Is r a multiple of 32?
False
Suppose -3*s = 5*i - 300, 2*i - 124 = 3*s - 5*s. Let n = 303 + i. Is 40 a factor of n?
True
Let x be (-2)/6 + (-529)/69. Is (-2 + 114)*-12*x/64 a multiple of 24?
True
Suppose 4*p = -p + 75. Suppose 2*q - p*q = -4303. Suppose 264 + q = 5*u. Is u a multiple of 9?
False
Let t be -12 + 170 + (0 - 1) + -1. Suppose t*i + 1818 = 159*i. Is 16 a factor of i?
False
Suppose -5*y - 686 = -o, -18*o - y = -20*o + 1363. Let b = o - 455. Is b a multiple of 19?
False
Let l be (-276)/(-3)*(5/(-4) + -2). Let o(s) = -30*s + 12. Let v be o(7). Let b = v - l. Is b a multiple of 12?
False
Suppose 189*w = 233*w - 399872. Is w a multiple of 128?
True
Let x(c) = 3363*c**2 - 121*c - 242. Does 52 divide x(-2)?
False
Let u(k) = k**2 + 5*k - 1. Let q be u(-3). Does 5 divide 20/(11 + q) - (1 - 288)?
False
Let w(m) = 47 + m**2 + 73 - 7 + m. Let l be w(0). Does 24 divide -1 + 3 + l + 2?
False
Suppose 4*s - 2035 = 4*j - 175, 3*s = 2*j + 1398. Does 24 divide (s/(-4) + -3)*-1?
True
Suppose -v = -z + 16922, -8*v = -4*z - 12*v + 67680. Is z a multiple of 129?
False
Suppose 10*a + 2729160 = 390*a. Is a a multiple of 42?
True
Let u(n) = -122*n + 503. Does 73 divide u(-24)?
True
Let y be -1*(4 - 3) + (-2)/(-2). Suppose -3*v + 4*z + y*z = 20, 3*z = 3*v + 15. Suppose v = -4*p - p + 2*q + 212, -5*q = -3*p + 131. Does 42 divide p?
True
Let c(m) = -531*m**3 - m**2 + m + 1. Let y be c(1). Is 18/99*-1 - y/11 a multiple of 16?
True
Let z(g) = -g**3 + 31*g**2 - 106*g - 16. Let f be z(26). Let u = f - -402. Is 21 a factor of u?
False
Is (0 - 64/1)*(-54405)/780 a multiple of 3?
True
Let z(h) = 6*h**2 - 403*h + 2. Is 30 a factor of z(70)?
False
Suppose -30 = -6*h + 16*h. Is (3 - h - 3)/((-21)/(-448)) a multiple of 12?
False
Suppose 179286 = 18*u - 4*u - 9210. Does 4 divide u?
True
Suppose 0 = -m + c - 2385, -2992 + 604 = m - 2*c. Let p be (1 + (3 - m/(-3)))*-1. Suppose 5*b - p = -4*x, b - 3*b = 4*x - 784. Is x a multiple of 15?
True
Suppose 0 = -5*x - 4*g - 6 - 24, 5*g = 3*x - 19. Is x*2 + (0 - 1) - -525 a multiple of 8?
True
Let b = 5376 + -2988. Is 3 a factor of b?
True
Let y(k) = k**2 - 3*k + 18. Let f(h) = -h**2 + 3*h - 19. Let p(m) = 2*f(m) + 3*y(m). Does 8 divide p(0)?
True
Let o = 54 - 54. Suppose 5*a - b = 138 - 1012, -a + 2*b - 182 = o. Let r = 45 - a. Is 34 a factor of r?
False
Let p = -35816 + 54770. Is p a multiple of 92?
False
Let k = 244 + 13864. Is k a multiple of 34?
False
Let u = -364 - -344. Is 3 a factor of (120/150)/((-1)/u)?
False
Let x be (-1 - 105/(-77))*55/10. Is x/(-11) - (-464850)/550 a multiple of 8?
False
Let a be ((-2568)/36)/(2/(-3)). Suppose 381 + a = -8*j. Let g = j + 247. Is 31 a factor of g?
True
Does 15 divide 78425/45 + ((-154)/63)/(-11)?
False
Let z(s) = -2*s**2 - 28*s + 6. Let h be 0 + (5 - 2) + -3 + 15. Let f(l) = l**3 - 16*l**2 + 14*l + 4. Let m be f(h). Does 6 divide z(m)?
True
Suppose 0*d = 2*d - h + 27, -3*h + 26 = -d. Let t = d + 128. Is t a multiple of 9?
True
Suppose -807*i = -811*i + t + 4556, -4*i - 4*t + 4556 = 0. Is i a multiple of 67?
True
Suppose 11 = -3*c + 4*z, -c = z - 0 - 8. Suppose 9 = 4*u + 3*i, c*u - 6*i = -i - 15. Suppose 3*g - 114 - 303 = u. Does 36 divide g?
False
Let p(c) = 11*c**2 - 191*c + 36. Is 12 a factor of p(53)?
False
Suppose -2*n = -p - 4*p - 15, 4*n = -4*p - 40. Suppose 4 = 7*g - 5*g. Is 8 a factor of -12*-1*(-1 - p/g)?
False
Let p be 34/(-119) + 332/(-14). Does 18 divide (-2)/(-6) - 11752/p?
False
Suppose 3*d = -6*p + 2*p + 423, -4*d + 3*p = -539. Let n = d + 3. Does 8 divide n?
False
Let c = 152 - 152. Suppose 5*x - 200 = -s, 0 = -3*s - c*x - 5*x + 590. Is 12 a factor of s?
False
Let d = -156 + 162. Suppose d*a - 26*a + 10080 = 0. Does 15 divide a?
False
Let h(j) = j**2 + 10*j + 15. Let r be h(-8). Let z be (-7)/(-21) + r + (-184)/(-6). Suppose z*i - 19*i = 2618. Is 34 a factor of i?
True
Suppose 27988 = 2*y - 4*x, 11*x = -4*y + 13*x + 55958. Is y a multiple of 26?
True
Let y = 20 - 20. Suppose y = b + 3*o + 163, o = 3*o + 8. Let t = 224 + b. Does 16 divide t?
False
Suppose 40582 + 8178 = 10*h. Suppose 11*b - h = -1455. Is 6 a factor of b?
False
Let i = 15419 + -13117. Is i a multiple of 5?
False
Suppose 97*m - 317310 = 87762. Does 80 divide m?
False
Let x(q) be the first derivative of -q**6/360 - q**5/60 + 11*q**4/24 - 2*q**3 - 1. Let i(z) be the third derivative of x(z). Does 11 divide i(0)?
True
Suppose -73*t = -39*t - 49*t + 98670. Is t a multiple of 46?
True
Let f(w) = w**3 - 21*w**2 + 535*w - 35. Is 21 a factor of f(37)?
True
Let w(s) = 10*s + 11. Let a be w(-2). Does 4 divide 1585/40 - a/24?
True
Suppose -83904 = -6*c + 78336. Is 160 a factor of c?
True
Suppose -21*r + 12096 + 66412 = -14648. Does 50 divide r?
False
Let k be (2 + -3)*6/12*-10. Does 48 divide k/((-110)/(-7388)) - (-6)/33?
True
Let h = 12 - -15. Let q = 9 + h. Suppose -2*w + 56 = w - y, -2*w + q = -y. Does 20 divide w?
True
Let m be 6/14 + 1080/126. Suppose -m*b = -28*b + 6536. Suppose 9*f - 214 = b. Does 7 divide f?
False
Suppose 0*q - 4*q - 5*a = -116, -132 = -4*q - a. Suppose -33*r = -q*r - 2*i + 507, 2016 = 4*r + 5*i. Is 40 a factor of r?
False
Is 146 a factor of 1234 + (12 - 22 - -17)?
False
Does 7 divide (-9)/(-15) - (6 + 116567/(-55))?
True
Let z be 635/(-2)*13/((-26)/28). Suppose -z = -8*b + 1507. Does 27 divide b?
False
Suppose 0*v + v = 1, 4*o = v + 7. Suppose 0 = o*q + q, 0 = h - 5*q - 568. Does 71 divide h?
True
Suppose -5*x - 3*d = 70, x + 8 + 6 = -5*d. Is 71 a factor of 153 + (-49)/(x/(-2))?
False
Let d = 150 + -245. Suppose -7*w = 2*f - 2*w - 434, 2*w = -8. Let s = d + f. Is 14 a factor of s?
False
Let f = 491 - 485. Suppose -f*h + 1100 = -76. Is h a multiple of 19?
False
Suppose -6*q - 2*d = -165890, 163*q - 168*q + d + 138231 = 0. Is q a multiple of 45?
False
Let k(j) = 9556*j + 325. Is k(4) a multiple of 9?
False
Suppose 9*r - 287 = 2*r. Let o = r - 39. Is (-1)/o*-2*(65 + -2) a multiple of 31?
False
Let p = -7984 - -17416. Is 18 a factor of p?
True
Suppose 2*c = 4 - 0. Let o be (2 - 3)/(c/(-358)). Let x = o - 121. Is 29 a factor of x?
True
Let j = 34 + 5. Let x = 629 - 626. Suppose 3*m + 5*y = j + 14, x*y = m - 13. Is m a multiple of 8?
True
Suppose z - 78 + 42 = 0. Let k = z - -20. Does 14 divide k?
True
Let d(l) = 4*l**2 + 3*l - 2. Suppose -3*b = -b + 76. Let j = b + 35. Does 19 divide d(j)?
False
Let g(j) = -j**3 - 15*j**2 - 13*j + 14. Let a be g(-14). Suppose a = 37*d - 25570 + 4184. Does 38 divide d?
False
Let h(i) = -2*i**2 - 8*i - 6. Let p be h(-4). Let c be (-32)/(-1) + p + 2. Suppose -c = -3*k - 5*u + 17, 3 = -u. Does 2 divide k?
True
Let n be ((-1170)/(-24) + -3)*(-32)/12. Let i = -20 - n. Is 51 a factor of