 2/i - -1069*3/j a multiple of 18?
False
Suppose -n = -2*z - 7782, 35493 - 4351 = 4*n - z. Is 17 a factor of n?
True
Let y = 18147 + 42444. Suppose 41*u + 16*u = y. Is 20 a factor of u?
False
Let v(k) = -k**2 + 10*k - 5. Let q be v(9). Suppose -3*c = -0*c + q*u - 1720, 0 = c - 2*u - 590. Is 8 a factor of c?
False
Let q(z) = -z**3 + 31*z**2 - 32*z - 5. Let b(i) = -10*i**2 + 11*i + 2. Let f(o) = 7*b(o) + 2*q(o). Is f(-8) a multiple of 24?
False
Suppose 0 = 6*a - 521 + 449. Is -8*(-12)/16 - a - -82 a multiple of 17?
False
Is (-2)/10 - (3828448/(-65))/16 a multiple of 157?
False
Let l(k) = -57*k**3 + 3*k**2 + 3. Let r be l(-2). Suppose 6*m + 66 = 876. Suppose m = -6*p + r. Does 12 divide p?
False
Let a(k) be the second derivative of 13*k**3/2 - 5*k**2 + 64*k + 1. Let h be 8/(-12)*-3 + 0. Is a(h) a multiple of 17?
True
Suppose 2 = -4*q + 18, z = -2*q + 10. Suppose l + 0*l + z = 0. Is 213 - (-4 - 2/l) a multiple of 36?
True
Does 12 divide (14/(-1))/(342/(-377055))?
False
Let w(s) = 3*s**2 + 6*s - 7. Let p(n) = 2*n**2 + 6*n - 6. Let t(j) = 4*p(j) - 3*w(j). Let d be t(4). Suppose -d*v + 8*v - 777 = 0. Is 33 a factor of v?
False
Let f(t) = -t**3 + 5*t**2 - 4*t + 4. Suppose 7 = -4*a + 23. Let s be f(a). Is (-240)/5*s/(-3) a multiple of 8?
True
Let g(h) = -h - 2. Let z be g(-4). Let d(t) = t**2 + 1. Let v(y) = -2*y**3 - 9*y**2. Let l(w) = z*d(w) + v(w). Is 3 a factor of l(-4)?
True
Suppose 25*j + 10318 = 39*j. Does 6 divide j?
False
Let w = 1365 + -771. Is 18 a factor of w?
True
Suppose -3*r = -4*g + 23, 5*g - r = 4*g + 7. Let k(b) = -g*b**3 - b**2 + 3 + b - 4 + 3. Is k(-2) a multiple of 5?
False
Let f(o) = 1137*o + 145 - 59 - 985*o. Is 36 a factor of f(3)?
False
Let d be 3 + (12/(-28) - (-113799)/49). Suppose -7*z + 2414 = -d. Is z a multiple of 7?
False
Let a = 10521 - 10008. Does 3 divide a?
True
Let n be 3/(-1) + -1 + (-1)/1. Let q(f) = -2*f**3 - 5*f**2 + 3*f. Is q(n) a multiple of 11?
True
Suppose -4*f = 4*l + 3204, -4*l + 4*f = 7*f + 3201. Let v = l - -1209. Is v a multiple of 14?
False
Suppose -35*s - 4*n = -30*s - 14313, -5715 = -2*s - 5*n. Is s a multiple of 5?
True
Suppose 21 - 1 = 4*h. Let p(b) = -2*b**3 + b + h*b**2 + b**3 - 10 - 4*b - 4*b**2. Is p(-4) a multiple of 12?
False
Suppose 0 = -0*h + 4*h - 2*z - 8, -2*h = 5*z - 28. Suppose h*w + 3*s - 619 - 41 = 0, 3*s - 165 = -w. Let k = w - -105. Does 27 divide k?
True
Let j(k) = 28 + 6*k - 7*k + 11*k - k**2 + 4*k. Let d be -15*4/(-30) + 11 + -1. Is j(d) a multiple of 10?
False
Let v = -274 - -305. Let u(i) = 7*i + 217. Is u(v) a multiple of 7?
True
Suppose -21 = -3*l + 3*h, -11*h = 5*l - 14*h - 35. Let r = l + 170. Does 24 divide r?
False
Let q(f) = 11*f**3 - 4*f**2 + 2*f - 2. Let t(x) = 2*x**3 + x. Let b(j) = q(j) - 5*t(j). Does 20 divide b(13)?
True
Suppose -4*t = 5*p + 1, -4*t = -p + t + 23. Let u(g) = 17*g - 8*g - 3*g + 7 + p*g. Is u(12) a multiple of 25?
False
Let o = -439 - -1069. Suppose -o + 234 = -6*r. Let u = 66 + r. Is 24 a factor of u?
False
Suppose 0*m = 5*h + 6*m - 103256, -3*h + 4*m = -61946. Is 25 a factor of h?
True
Let t(h) = h**2 + h - 15. Suppose -2*k - 6 - 14 = 0. Is 15 a factor of t(k)?
True
Suppose -14 = -3*i + 103. Let q be 6/i + (-345)/(-39). Is 13 - (3 + -1 + -9 + q) even?
False
Let d = 64490 + -38570. Is 162 a factor of d?
True
Suppose b + 0*u - 5*u - 52 = 0, 0 = -3*b + 5*u + 176. Let k be (0 - 6)*b/(-6). Let d = -32 + k. Does 14 divide d?
False
Let a = -63 + 66. Let l be (a - 1084/(-12))*144/28. Suppose -7*q + t + 960 = -3*q, 2*q = -t + l. Is 40 a factor of q?
True
Let h be 2/3 - (-80)/24. Suppose -h*k - 27 = 4*x + k, -5*x - 38 = 2*k. Let w(t) = t**2 + 5*t - 6. Is w(x) a multiple of 6?
True
Let u = -73 + 293. Suppose -138 = -z + u. Let g = z + -255. Does 21 divide g?
False
Let a(s) = -s**2 - 6*s - 6. Let l be a(-6). Suppose -22 = -r - 3*p, 4*p - 2*p = r - 2. Let q = r - l. Does 7 divide q?
False
Suppose -28 = -4*p - 4*y, 2*y = 2*p + y - 5. Let j(m) = 42*m**2 + 13*m - 16. Is j(p) a multiple of 9?
False
Suppose -19*t - 61159 = -265632 - 430887. Does 160 divide t?
True
Let n = -1449 - -8753. Is n a multiple of 11?
True
Suppose -3*m + 10 = -m. Suppose 52 = -4*v + 17*v. Suppose -z - 3*z = m*r - 225, v*r + 12 = 0. Is 6 a factor of z?
True
Let m = 42 - -150. Does 5 divide m?
False
Let d(f) = 32*f + 19. Let o(a) = 9*a + 116. Let b be o(-12). Is 10 a factor of d(b)?
False
Let r = -146 - -129. Let q be (3/1 + -2)/((-1)/r). Suppose q*n - 20*n + 3*u = -84, 4*n - 3*u - 107 = 0. Is 12 a factor of n?
False
Let z(w) = 2*w + 82. Let k be z(4). Is (-2)/9 + 37640/k a multiple of 38?
True
Let g = -65 - -64. Let c be 99 + -5 - (g + 0). Suppose 3*m + 14 = c. Is 9 a factor of m?
True
Suppose k = -5 + 10. Suppose 0 = -k*l + 13*l - 3120. Is 10 a factor of l?
True
Suppose 0 = -5*m + v + 107108, -379*v + 383*v + 32 = 0. Does 73 divide m?
False
Let a be (-2)/(((-4)/6)/(-1 + 7)). Suppose -a = -3*r - 0. Suppose -3*h = 3*c - 90, -4*c + r*h - 2*h = -120. Is c a multiple of 5?
True
Suppose 0 = -3*n - 3*p + 7326, -n - 2*p = -2844 + 399. Is n a multiple of 29?
False
Let f = -47 - -78. Let h = f - 27. Suppose -42 = -x + h*r - 9*r, 2*x - 2*r = 24. Is x a multiple of 10?
False
Let c(j) be the third derivative of 1/8*j**4 + 1/20*j**5 + 0*j + j**3 + 0 - 24*j**2. Does 18 divide c(6)?
False
Let x = -267 + 269. Suppose -4 = -4*m, -x*o + 480 = 5*m - 3*m. Is o a multiple of 8?
False
Let v(u) = 3*u**3 - 11*u**2 - 13*u - 42. Is 64 a factor of v(10)?
True
Let o = 14 + -48. Let v = o - -9. Let q = -3 - v. Is 12 a factor of q?
False
Let l(b) be the third derivative of -b**5/12 + 11*b**4/24 - 7*b**3/2 - 8*b**2 + 2*b. Let u be l(4). Let f = u - -237. Does 30 divide f?
True
Let m(p) = -9*p**3 - 2*p**2 - 4*p - 2. Suppose 5 + 31 = -12*d. Is 47 a factor of m(d)?
True
Suppose 2*s + 13397 - 3695 = 2*b, b - 4831 = -4*s. Does 22 divide b?
False
Let b(q) be the second derivative of 3*q**4 + 13*q**3/6 + 25*q**2/2 + q + 85. Does 61 divide b(-4)?
True
Let x = -41168 + 54278. Does 23 divide x?
True
Let k(l) = 14 + 9*l - 6*l - 4*l + 11. Let y be k(21). Suppose y*b - 25 = m - 2*m, -5*m + 209 = -b. Is m a multiple of 10?
False
Let j(d) = -16*d - 6. Let b be j(-2). Let p = 168 + b. Is 5 a factor of p?
False
Let k = -9034 - -12434. Does 25 divide k?
True
Suppose j + 2*u = -j - 5482, -4*u = 20. Let f = -1254 - j. Is 39 a factor of f?
True
Suppose 0 = -k - q - 1, 3*q - q = -3*k. Let s = -5567 - -5769. Suppose s = k*w - 98. Is 15 a factor of w?
True
Is 7 - 623/91 - 2144695/(-377) a multiple of 113?
False
Let n = 11252 - 9425. Is 15 a factor of n?
False
Let g be (-12)/6 - (-143 - (3 + 0)). Let b = 196 + g. Suppose 0 = -5*i + 5*f + b, 2*f + 208 = 6*i - 3*i. Does 9 divide i?
True
Let i(d) be the third derivative of d**5/60 - 5*d**4/8 - 2*d**3/3 + 25*d**2. Let o be i(11). Is (-32)/o - (-596)/6 a multiple of 20?
True
Let v(n) = 4*n**3 - 2*n**2 + 4*n + 3. Let k be 2*((-24)/(-10) - 46/115). Is 81 a factor of v(k)?
True
Does 10 divide (10676/(-238))/(5/(-280))?
False
Let i = 136 - 107. Let l = i + -25. Suppose l*s + 78 - 330 = 0. Does 3 divide s?
True
Suppose 3*v = v + 70. Let l = -1769 - -1769. Suppose -v = -l*i - i. Does 8 divide i?
False
Let w be 1030/18 + 10/(-45). Let l = w - 51. Let p(n) = 24*n + 12. Does 35 divide p(l)?
False
Suppose -33*b + 36*b - 27 = 0. Suppose 6*s - b*s = -306. Suppose -2*k = 2*y - s, 0*k = -2*k + 4*y + 132. Does 28 divide k?
True
Does 46 divide 180654/8 + 10 + 195/(-20)?
False
Let y be (-9)/(180/(-16))*5. Suppose -178 = y*w - 5378. Suppose 9*t - w = -t. Does 13 divide t?
True
Let k(h) = 18*h**2 + 13. Let w = 114 + -117. Does 5 divide k(w)?
True
Let f(u) = 226*u - 2008. Is 26 a factor of f(9)?
True
Suppose -2*w = 3*n - 67, n = 5*w + 5*n - 164. Let z be 2/(-8) - (-4)/(w/610). Suppose -5*t + 69 = -z. Is 5 a factor of t?
False
Suppose -5*k - 15 = -5*i, 5*k + 4*i = 10 - 34. Let w(s) = s**3 + 6*s**2 + 5*s + 2. Let f be w(-5). Does 28 divide -2 - (f - -180)*2/k?
False
Suppose -3*d = -82 + 79, -3*r - 137 = -2*d. Does 20 divide 120/r*10*(-324)/16?
True
Suppose 4*b - 45 = -0*t - t, -4*b - 80 = -4*t. Let x = 284 - t. Is 11 a factor of x?
False
Let t(y) = 5*y**2 - 133*y - 149. Is 18 a factor of t(30)?
False
Let m(v) = -v**2 + 5*v. Let p = 50 - 26. Suppose -5*f + p - 4 = 0. Is m(f) a multiple of 2?
True
Let w(q) = -47*q - 15 -