oes 164 divide s(21)?
True
Suppose 324 = -o + 2*w, -4*o - w - 1301 = -4*w. Let a = -79 - o. Does 19 divide a?
True
Does 102 divide 16 + -38 + 24440/26?
True
Suppose -27*y = -582921 + 153621. Is y a multiple of 150?
True
Suppose 0 = 4*u - 12, 45*j - 50*j = -u + 13. Does 30 divide 2 + 1042/2 + (-5 - j)?
False
Let j(d) = -d**2 - 40*d - 71. Suppose -2*x + 10*x = -200. Let z be j(x). Let v = z - 142. Does 18 divide v?
True
Suppose -730*d + 5*p = -725*d - 1115, -5*d - 3*p = -1099. Does 135 divide d?
False
Let d = -7437 + 14282. Does 14 divide d?
False
Let o(t) = -3 - 5*t - 6*t + 2*t**2 - 1 + 15*t. Let c be o(-7). Let l = c + 29. Is 21 a factor of l?
False
Let d(y) = y**3 + y**2 - 6*y - 5. Let r be d(-2). Suppose r*v = 3*u + 33, 14 = 2*v - 5*u - 23. Suppose -3*l = -4*a - 718, 4*a = v*a - 4. Does 49 divide l?
False
Let h be (-5)/(-7 - 26/(-4)). Suppose 3*n = h*n - 105. Is 2 a factor of n?
False
Let r be (-1892)/(-8) - (-9)/(-6). Let j = r - 217. Is j a multiple of 2?
True
Suppose 2*i - 2*f = 1770, 780*f - 2679 = -3*i + 779*f. Does 86 divide i?
False
Let r be (-231)/(-14)*-4*-1*1. Let n = r + -107. Let i = 97 - n. Is 11 a factor of i?
False
Let w(n) = -10*n**3 - 16*n**2 - 17*n + 52. Let o(y) = -3*y**3 - 5*y**2 - 6*y + 17. Suppose -10*g = -7*g - 6. Let p(s) = g*w(s) - 7*o(s). Does 43 divide p(4)?
True
Does 57 divide 0 - ((-4 - 9757/1) + -8)?
False
Let w = 6507 + -3250. Is w a multiple of 32?
False
Let q = 6169 + -3377. Is 93 a factor of q?
False
Suppose h = -2 - 34. Let t = h - -37. Is t/(((-10)/26)/(-5)) a multiple of 13?
True
Let l(z) = -13*z**2 + 57*z - 8. Let p(s) be the first derivative of -2*s**3 + 14*s**2 - 4*s + 6. Let k(n) = 4*l(n) - 9*p(n). Is k(12) a multiple of 2?
True
Suppose 18942 = -802*l + 823*l. Is 22 a factor of l?
True
Suppose 4*l = 5*w + 73686, -l + 55*w - 57*w = -18415. Does 69 divide l?
False
Let q(p) = 17*p - 43 + 24*p - 54*p - 67. Is 5 a factor of q(-12)?
False
Let n(w) = -w - 3. Let s(g) = g - 1. Let z(r) = -n(r) - 2*s(r). Let x be z(-10). Suppose x*f - 18*f = -213. Is 31 a factor of f?
False
Is 14 a factor of 1/18 + (-4024)/(-144)?
True
Let o(y) = 18*y + 5. Let n be o(-2). Let z = 35 + n. Suppose -43 = -z*l + 237. Is 14 a factor of l?
True
Suppose 16*d = 19*d - 6. Is d + 1 + -419*(-1 + 0) a multiple of 22?
False
Suppose 0 = -3*v - 2*d + 91058 + 28957, 3*v - 120015 = 4*d. Is 92 a factor of v?
False
Does 26 divide 6/(-45) - (29324328/(-2160) + (-2)/36)?
False
Suppose -7*k - 13 - 1 = 0. Let l be (k + 0 + -3)*(-9 + 17). Let u = l + 112. Does 24 divide u?
True
Let r be 1 + (-10)/14 - (-24)/14. Suppose 8 = r*s + w - 0*w, -3*s + 3*w = 6. Suppose 7 = -s*a + 91. Is a a multiple of 42?
True
Let y = -69 - -65. Let v be (1 - (-38)/(-14))/(y/28). Let d = v + -3. Does 6 divide d?
False
Suppose -q - 285 = -36*h + 35*h, 2*h - q = 567. Is 16 a factor of h?
False
Suppose -2*n - 2 = -4*d, 2*n - 1 + 3 = -d. Is (48/8 - n) + 913 a multiple of 20?
True
Suppose 4*o = -2*y + 8226, 9*o - y - 8205 = 5*o. Is o a multiple of 3?
False
Suppose 0 = 5*i - 3*l - 27, l + 17 = -31*i + 34*i. Let j(c) = 7*c - 2. Let k(g) = 14*g - 3. Let m(y) = -11*j(y) + 6*k(y). Does 23 divide m(i)?
True
Let c(k) = -177*k - 6. Let j be c(-3). Suppose -5*n = 25, -5*y + n = -4*n - j. Let f = y + -20. Is f a multiple of 20?
True
Let w = 99 + -361. Let l = w + 620. Is 10 a factor of l?
False
Let f(y) = -7707*y + 537. Is 36 a factor of f(-1)?
True
Suppose 2856*m + 352980 = 2901*m. Is m a multiple of 106?
True
Suppose h + 1 = 6. Suppose 0*i = 4*i - 2*z - 2, z = -h. Let w = i + 8. Does 3 divide w?
True
Let k be (78/8)/((-2331)/392 - -6). Let p = -11 + k. Is 57 a factor of p?
True
Let r be (-152)/190*(-1 + 3/(-2)). Suppose h - 609 = -5*c, 3*c + 15 - 379 = -r*h. Does 50 divide c?
False
Suppose 5*b = -25, 3*r - 22 = 2*b - 0. Suppose -o = -2*v + 103, -4*o - 5 = r*v - 205. Is 17 a factor of v?
True
Suppose 337*u - 344*u = -17115. Suppose -4*c + u = -b, -4*b - 309 = -c + 291. Does 34 divide c?
True
Let s = -20057 - -23842. Does 11 divide s?
False
Let b be ((-4)/(-9))/(2/9). Suppose -3*y + 4*v + 1571 = 0, y - b*y + 512 = v. Is y a multiple of 11?
True
Let l = -21238 - -30583. Is l a multiple of 35?
True
Suppose -3*q - 36 = -2*q. Let i = -41 - q. Is 14 a factor of 3591/35 - 2/i?
False
Let m = 350 + -38. Is 16 a factor of m/((-9)/(-72)*2)?
True
Suppose -a = 2*n + 8, -9*n - 5 = -8*n. Suppose 5*p + 2*u = p + 142, -5*u = -a*p + 101. Is 2 a factor of p?
True
Suppose 9*j + 53288 = 14*j + 3*s, -3*s = 4*j - 42628. Is j a multiple of 41?
True
Suppose 2*u - 49784 = -3*l, 7*u - 24820 - 149450 = -4*l. Does 5 divide u?
False
Let s(c) = 6*c**2 - 4*c - 27. Let m be s(6). Let b = -61 + m. Is 26 a factor of b?
True
Let z(j) = -4 - 8*j - 11 - 6*j + 6 - 2*j**3 - 23*j**2. Does 10 divide z(-11)?
False
Let v(h) = h**2 - 9*h - 3. Let y be v(-3). Let r be (-1)/2*1660/(-10). Suppose -y - r = -w. Does 29 divide w?
True
Suppose -8*g = -847 + 799. Let i(l) = 5*l**2 - 8*l + 18. Is i(g) a multiple of 5?
True
Let m(g) = 3*g**2 + 52*g - 16. Let a be m(-18). Suppose -20 = 19*i - a*i. Is 12 a factor of i?
False
Let v(z) = -1. Let r(a) = 3*a**2 + 97*a + 73. Let s(m) = r(m) + 4*v(m). Is s(-33) even?
False
Let r = 423 - 416. Is 27 a factor of (-26)/(-91) + 1*2273/r?
False
Suppose d - m - 3 = 0, -21 = -4*d + 2*m - 3. Let r(b) = 9 + 3*b**2 - 114*b + 0*b**2 + 101*b. Is 12 a factor of r(d)?
False
Let j(b) = 40*b**2 - b + 3. Suppose -4*h - 6 = -q + 4*q, -4*h + 3*q - 18 = 0. Does 16 divide j(h)?
False
Is 1/2 + (-8)/((-80)/95575) a multiple of 5?
False
Let r(d) = -9*d + 33 + 12*d**2 - 11*d**2 - 4*d. Let o be r(15). Let q = o - -42. Does 7 divide q?
True
Is 23 a factor of (76 - 8/2)*-92*(-37)/8?
True
Let r(u) be the first derivative of -u**4/4 + 5*u**3/3 + u**2/2 + 14*u + 13. Let j be r(6). Is 50 a factor of j/24 + 628/6?
False
Let y(w) = w**2 + 2*w - 12. Let m be y(-7). Let k = -33 + m. Let p = 19 + k. Is p even?
False
Let k be (-13 - -11) + -3 + 5. Suppose 13*h - 25*h + 8316 = k. Is 33 a factor of h?
True
Let z be (1 + -57)*-1 + -4. Suppose 5*m - z = -b + 122, m + 4*b = 31. Suppose -2*i = 17 - m. Does 7 divide i?
False
Let k be (-28)/(-6) - (-8)/6. Suppose -k*b = -7*b. Let a(m) = -m**2 - 3*m + 36. Is 9 a factor of a(b)?
True
Let d be (-4)/22 + (1774591/77)/(-13). Is d/(-12) - (0 - (-1)/(-4)) a multiple of 74?
True
Let n be (-242)/(-8) + (-7)/84*3. Suppose 5*l - 3*c - 6 = 0, 0 = 5*l + 2*c + 9 - n. Suppose 3*r + l*q - 150 = -0*r, -215 = -5*r + 2*q. Is 9 a factor of r?
True
Suppose -232*g + 7829045 - 1929749 = 0. Does 78 divide g?
True
Let h = 22 - 19. Let z(b) = 1. Let o(f) = 5*f - 66. Let n(l) = h*z(l) + o(l). Does 7 divide n(18)?
False
Suppose -4*d - s + 98 = 0, -68 = -3*d - 5*s + 7*s. Suppose -d = -5*o + 96. Is o even?
True
Is 16*255 + (-5 - 5) a multiple of 74?
True
Is 6 a factor of (-180 + 90/(-18))*(-212)/10?
False
Let i(s) = -152*s**3 + 55*s + 105. Is 7 a factor of i(-2)?
True
Let t = -159 + 165. Let k(c) = 54*c + 4. Does 41 divide k(t)?
True
Let c(r) = -r**2 - 4*r + 8. Let x be c(-5). Let s be (-1)/(x - (-228)/(-75)) - -2. Suppose i - s = -h, 9*h - 8*h + 2*i - 24 = 0. Is 6 a factor of h?
True
Suppose 2*o = -3*h + 370, -h = -o + 55 - 170. Let g = h - 90. Is g a multiple of 15?
True
Let j = -142 + 97. Let f = -40 - j. Suppose 4*q + 134 + 35 = 3*a, 5*q - 305 = -f*a. Is 15 a factor of a?
False
Suppose 4640 + 875 = b. Suppose -20*s + b = -2505. Is 13 a factor of s?
False
Let y(r) = 14*r + 17. Let j(p) = -79*p - 86. Let h(x) = 2*j(x) + 11*y(x). Suppose -3*c - 95 = 2*c. Is 13 a factor of h(c)?
True
Let c(t) = 19493*t - 3150. Does 202 divide c(2)?
False
Let b = 23 + 53. Let i = b + -76. Does 26 divide (94 + 2)/(1 + i)?
False
Suppose 3*b = 10 + 5. Let z = 1 - b. Let j(q) = -3*q**3 - 7*q**2 + 5*q + 9. Does 9 divide j(z)?
False
Let u(b) = b**2 - 23*b + 51. Let z be u(21). Suppose -12*x - 122 = -13*x + 4*f, -3*f = z. Is x a multiple of 22?
True
Suppose -z = 5*a - 17, -34 = -0*z - 2*z - 4*a. Suppose 4*y + h + z = 246, 5*h - 249 = -4*y. Is y a multiple of 7?
True
Suppose 3*q - 580 = 7*q. Let j = q - -157. Does 6 divide j?
True
Suppose 7 = -3*x + 1, 4*l - 3*x - 1590 = 0. Let t = l + -239. Is 18 a factor of t?
False
Let j(d) = 62*d - 453. Let y be j(8). Let t = 9 - 23. Let i = t + y. Does 6 divide i?
False
Suppose 1838 = r - 529. Suppose -21*u