 744 = 2*f. Suppose 5*q - f - 227 = -5*h, -3*q = -3*h - 210. Is q even?
False
Let k = 88 + -165. Does 39 divide 2*(2 - k)/((-2)/(-2))?
False
Suppose -3*b + b - 2 = 0. Let w be (b - 1) + 6 + -2. Suppose w*s - 36 = 2*a, 3 = 2*a + 11. Is s a multiple of 14?
True
Suppose 0 = 3*z - 2*g - 4, 2*z + 3*g - 18 = 2. Let q = 5 + 6. Suppose -55 + q = -z*x. Does 11 divide x?
True
Is ((-6)/(-9) - (-61427)/(-57))*-1 a multiple of 9?
False
Let c = 18 + -18. Suppose c = t + 4*t. Suppose z = -a - z + 15, t = 2*a + z - 33. Is 17 a factor of a?
True
Suppose 2*v + 60 = s - 3*v, -2*s + 95 = -5*v. Let h = -21 + s. Does 14 divide h?
True
Suppose 0 = 13*z - 15*z + 8. Suppose -x + 46 = w - 61, 2*x = z. Is 15 a factor of w?
True
Let r be (-7 - -4)/6*7*2. Does 10 divide 58 - (14/r - (1 + -3))?
False
Suppose 27 = -2*h + 33. Is 2/h*(2 + 88) a multiple of 20?
True
Suppose 4*i - i = 12. Suppose -82 = -i*a + 54. Is 5/(10/a) + -1 a multiple of 7?
False
Let l = -238 - -94. Let n = -60 - l. Is n a multiple of 14?
True
Let d = -1713 + 5496. Is d a multiple of 39?
True
Suppose -3*q = 4*q. Let u = -6 - q. Is 7 a factor of (-11)/33 - 182/u?
False
Suppose -10 = u + 4*u. Let b be (-14)/(-77) + u/11. Suppose 3*j - 64 - 50 = b. Is j a multiple of 8?
False
Let o be 114/21 + (-6)/14. Suppose 0*z - 2*b + 55 = -o*z, 0 = -z + 4*b - 11. Does 3 divide (-9 - z)*9/2?
True
Let o = 42 + -44. Is ((-1460)/15)/(o/3) a multiple of 45?
False
Suppose 605 = 11*t - 0*t. Does 38 divide t?
False
Suppose 4 = a + 2*x, -7 = 8*a - 3*a + x. Let c(s) = -2*s + 3. Let w be c(3). Does 10 divide (-39)/(-2)*a/w?
False
Let x = 5443 + -3003. Does 40 divide x?
True
Let h(r) = r**2 + 6*r + 7. Let v(m) = m**3 + 10*m**2 - 11*m - 8. Let p be v(-11). Is h(p) a multiple of 22?
False
Suppose 42 = 3*z + 3*x, 0*z + 2*x = -4*z + 62. Suppose z*s = 20*s - 777. Is s a multiple of 37?
True
Let w(h) = h**3 + 37*h**2 - h - 19. Is w(-37) a multiple of 18?
True
Let p(c) = 36*c - 8. Let b = 39 - 38. Is 19 a factor of p(b)?
False
Suppose 1209 = 3*w - 3*n, 0 = -w + 4*n + 227 + 191. Is w a multiple of 42?
False
Suppose -11 = -5*f - 1. Suppose -2 = -2*l, -f*l + 0 = x - 5. Suppose 0 = -x*s + 15 + 117. Is s a multiple of 22?
True
Suppose 0 = n + w - 355, 5*n - 1769 = -3*w - 0*w. Does 16 divide n?
True
Suppose 5*m - 2*o + 6 - 32 = 0, -3*m = -5*o - 27. Suppose -p = 2*h - 224, h = m*p - 18 + 148. Does 19 divide h?
True
Suppose j - 10 + 4 = 0. Suppose -j = 5*r - 21. Is 33 a factor of 103 + (4 - r)*-4?
True
Let p be (-225)/(-18) + (-1)/2. Is (-376)/p*(-6)/4 a multiple of 9?
False
Let o(r) = -r - 3. Suppose -k + 0 = -4. Let m be 2 + -10 - (-8)/k. Is 3 a factor of o(m)?
True
Is (-33)/(-110) - 58785/(-50) a multiple of 42?
True
Let o be ((-6)/(-5))/((-10)/25). Let f be 1*(0 + 99) - o. Suppose -2*t - 3*d = -f, 3*d - 1 = t - 34. Is t a multiple of 15?
True
Let s = 6 + -1. Suppose 0*o - 165 = -s*o. Let k = o - 22. Is k a multiple of 3?
False
Let d(c) = 0 - 4*c**2 - 1 + 3*c + 5*c**2. Let m be d(-4). Suppose 0 = -5*v - m*s + 107, 10 + 44 = 2*v + 4*s. Is 19 a factor of v?
True
Is (-376)/16*(-24 + 6) a multiple of 4?
False
Suppose -16*i - 34 = -15*i. Let x = 46 + i. Is x a multiple of 6?
True
Suppose -5*z = 4*k + 16, 0 = z - 2*z + k + 4. Suppose -2*g = 2 - z. Let v(t) = 27*t**2 - 3*t - 2. Is 7 a factor of v(g)?
True
Let w(x) be the first derivative of -7*x**4/2 - x**3/3 - x**2/2 + 2*x + 13. Let z be w(-2). Suppose 44 + z = 4*t. Does 19 divide t?
False
Let d = 358 - 123. Suppose 5*v - 5*o - d = 0, -v + 0*o = -2*o - 52. Does 21 divide v?
True
Let q be 0 + 3 + (-1 - -4). Suppose q*w - 2*w = 252. Is 9 a factor of w?
True
Suppose -2*t + 8 + 22 = 0. Suppose -t = 5*h, 5*n + h = -0*h + 452. Is 13 a factor of n?
True
Let u = -17 + 15. Let j be u + 8 + -2 + 6. Suppose -9*x - 13 = -j*x. Is x a multiple of 6?
False
Suppose 5*x = -15, 4*b - 2*x - 3001 = 1325. Is b a multiple of 72?
True
Suppose 0 = d - 4 - 2. Let w(b) = b**3 + 6*b**2 + 2*b + 3. Let i be w(-7). Let a = d - i. Is a a multiple of 22?
True
Suppose -6*s = -235 - 107. Suppose 0 = 4*a + s - 145. Is 11 a factor of a?
True
Suppose 14 = -0*u + 4*u + 2*g, 0 = 2*u - 3*g - 19. Suppose u*d - 51 = 29. Does 3 divide d?
False
Let z = 67 + -51. Is (-1 - z)*(18 + -32) a multiple of 20?
False
Let g = 15 - 6. Suppose -g*q + 440 = -7*q. Suppose -76 = 4*r - q. Is 6 a factor of r?
True
Let q(l) = -l**2 + 2. Let r be q(0). Suppose -5*s = -0*s - 25. Suppose s*h + r*h = 126. Is 6 a factor of h?
True
Let u(r) = r**2 + 9*r + 30. Let m be u(-6). Suppose -2*v = -2*p + 10, 5 = -7*v + m*v. Does 6 divide p?
True
Suppose -3*x + x + 5*b + 22 = 0, -19 = x + 5*b. Suppose 0*q - 3*q = -9. Is x/q - 923/(-39) a multiple of 12?
True
Suppose 11 + 13 = 4*s. Suppose a - 1 = 0, 2*i + a - 191 = s*a. Is 7 a factor of i?
True
Suppose 6642 = -35*o + 38*o. Is (3/(-6) - 0)/((-9)/o) a multiple of 27?
False
Suppose -5*o - s = -6*s - 3630, -721 = -o - 4*s. Is 42 a factor of o?
False
Let o be 16/40 + 78/5. Let j = o + -12. Suppose 0 = -j*q + 36 + 40. Does 19 divide q?
True
Let l be (70/(-7))/(2/4). Let c = l + 178. Is c a multiple of 27?
False
Let h be (-1666)/(-8) + (-7)/28. Suppose -h = -5*m + 52. Does 26 divide m?
True
Let l be 49*(2 - (-3)/(-1)). Let m(v) = -7*v + 3. Let z be m(4). Let f = z - l. Is f a multiple of 12?
True
Suppose 0 = 5*m + 2*o - 5301, -4*o = -2*m - m + 3165. Is m a multiple of 84?
False
Let k be ((-3)/2)/(-1)*6. Let m(d) = -d**2 + 7*d + 25. Is m(k) a multiple of 6?
False
Let y(p) = 71*p**2 + 3*p - 2. Let n be ((-3)/2)/(9/(-6)). Is y(n) a multiple of 36?
True
Suppose 45 = z + 2*z. Let g = 19 - z. Suppose -4*y - 10 = -d + 42, 3*d - 180 = g*y. Does 32 divide d?
True
Suppose -y = y + 28. Let w(j) = 12*j**3 + j**2 + 5*j - 5. Let a be w(2). Is ((-16)/10)/(y/a) a multiple of 3?
True
Is (-8)/(224/329)*-88 a multiple of 66?
False
Let o(u) = u**2 + 10*u + 11. Let f be o(-8). Let j(z) = 2*z**2 + 8*z - 2. Let a be j(f). Suppose -a*q = -7*q - 16. Is q a multiple of 16?
True
Let z be 8/(-6)*2943/(-18). Suppose 5*y - 688 = -z. Is y a multiple of 12?
False
Suppose 24*j + 298310 = 139*j. Does 13 divide j?
False
Let h(p) = -27*p**3 - p**2 - p. Let g be h(-1). Suppose -129 = -2*n + g. Suppose 0 = -3*b + 5*b - n. Does 13 divide b?
True
Suppose 5*k = 7 - 27. Is 23 a factor of (-183 + -19)*2/k?
False
Let c(b) be the third derivative of b**4/24 - 3*b**3/2 - b**2. Let a be c(6). Is 2 + (-4 - a) + 14 a multiple of 3?
True
Suppose 183*g - 360 = 187*g. Is 2 a factor of (10/g - 91/(-9)) + -2?
True
Let t = 2331 + -2072. Is t a multiple of 2?
False
Suppose 3 = 2*z - 3. Let d = -693 + 801. Suppose z*c - 60 = d. Is 20 a factor of c?
False
Let z(p) = -p - 4. Let m be z(-7). Suppose m = 4*b - 13. Suppose 5*g + 103 = 4*a, 0 = -2*a + 5*a - b*g - 77. Does 9 divide a?
True
Let n = 2 + 2. Suppose -16 = -0*r - n*r. Is (-9)/(-36) - (-119)/r a multiple of 7?
False
Suppose 3*t - 3907 = -4*u + 853, 3*u - 3570 = 4*t. Suppose 0 = -11*o + 801 + u. Does 12 divide o?
False
Let u be 358/9*1 - 26/(-117). Let a = 131 - u. Is 7 a factor of a?
True
Suppose -i + 18 = -2*w, -i + 3*w = -w - 8. Let d(v) = -2 - i*v + 25*v + 23*v. Does 26 divide d(4)?
True
Let i = -83 - -107. Is 8 a factor of i?
True
Let s be (-3)/6 + 12/8. Suppose 2*n + 11 + s = -3*w, -4*w - 16 = 0. Suppose n*c = 2*c - 66. Is c a multiple of 11?
True
Let i(w) = w + 3. Let f be i(-2). Let b(r) = -r**2 + 4. Let g be b(0). Does 8 divide 17 - f/4*g?
True
Let q = -4687 - -8222. Is q a multiple of 75?
False
Suppose 35*j - 3732 - 42048 = 0. Is 4 a factor of j?
True
Suppose -3*y - 2*r = -174, 3*y - 174 = -0*y - r. Let m = 163 - y. Is 38 a factor of m?
False
Suppose -5*v + 4*b + 4344 = 3*b, -4*b - 2620 = -3*v. Is v a multiple of 25?
False
Suppose 5*j = q + 15, -11 = j - 3*q - 0*q. Suppose 0 = j*v + 4*r - 68, -2*r = -5*v - 3*r + 73. Does 7 divide v?
True
Let x be ((-2)/(-4))/((-4)/16). Let q be (x/(-4))/(4/(-56)). Is 13 a factor of (1/(-3))/(q/819)?
True
Let n = 1096 + -711. Suppose 4*a - n = 71. Suppose -3*f - 3*k + a = 24, 3*f + 5*k - 94 = 0. Does 9 divide f?
False
Let s(v) = -70*v - 33. Let w be s(-14). Suppose -4*c - 235 = -w. Let l = -103 + c. Is l a multiple of 14?
False
Let u = 57 + 483. Does 45 divide u?
True
Let a(z) be the first derivative of 10 - 1/2*z**2 - z. Does 4 divide a(-9)?
True
Let a(j) = -j**2 + 10*j + 3. Let p be a(