. Is 23 a factor of p?
True
Suppose -2*b + 95 = 87. Let s(w) = -w**2 + 7*w - 10. Let d be s(b). Suppose -5*k + 4*g + 28 = 0, d*k + 3*k - g = 37. Is k a multiple of 2?
True
Let o(i) = -9*i - 7. Let y be o(-1). Suppose 4*k = -3*t + 13, -5*k - 5*t = -y*k - 7. Suppose -5*r - 70 = -k*v + 521, 0 = 2*v + 2*r - 300. Is v a multiple of 13?
False
Suppose 533*v + 228*v = 6997395. Is v a multiple of 15?
True
Let t(b) = -b**3 - 2*b**2 - 16*b - 16. Let y be t(-8). Let i = y - 46. Is 9 a factor of i?
True
Let s be 30*(-11 + 6 + 17). Suppose s = -i + 467. Does 17 divide i?
False
Let x = 20 - 2. Suppose 4*v - 3*q + x = 0, 5*v - 2*q = -0*q - 19. Is (-16)/(-1) - ((v - -2) + -3) a multiple of 4?
True
Is 13 a factor of 193*((-7)/((-98)/36))/(27/2394)?
False
Suppose 9*d = 28*d - 171. Suppose 104 = d*o - 8*o. Is o a multiple of 13?
True
Suppose p = 3*y + 14723, 5*y + 28535 + 905 = 2*p. Is p a multiple of 85?
True
Let c = 31251 - 5069. Is 38 a factor of c?
True
Let d(p) = 2*p**3 + 9*p**2 - 13*p - 38. Let v be d(-5). Suppose 4*a = -5*z + 1000, 3*a + 955 = 5*z - v*a. Is z a multiple of 28?
True
Is (-7 + 3 - -6378)*(-27)/(-54) a multiple of 15?
False
Is 25 a factor of (-66)/((-3168)/(-40)) + -1 + 217847/6?
False
Suppose -74*m + 173385 + 195300 = -350891. Is m a multiple of 68?
True
Let n = 80578 - 54616. Does 18 divide n?
False
Suppose 4*r - 8505 = -944*a + 941*a, -a = -4*r - 2851. Is a a multiple of 52?
False
Does 95 divide (2 - (-99711)/15) + (-16)/((-1120)/42)?
True
Suppose 4*q - 233 - 7 = 0. Let k = q + -53. Suppose k*d - 4*d - 459 = 0. Is 17 a factor of d?
True
Is (-24)/(-9) + (-23 - (-788270)/42) a multiple of 50?
False
Let h be (-35)/15 - -6 - 6/9. Suppose 2*f - f - 93 = h*w, 0 = f + 5*w - 101. Is 16 a factor of f?
True
Let o(m) = 2*m**3 - 10*m**2 - 63*m - 44. Let x be o(9). Let s(h) = h**3 + 8*h**2 - 5. Let l be s(-6). Let q = l - x. Does 30 divide q?
True
Let q = 13673 - 6249. Is 2 a factor of q/80 + 1/5?
False
Let x(i) = 12*i - 21. Suppose 0 = 3*f + 5*a + 9, -5*f + 2*a - 20 = -5. Let h be (2 + 0 + f)/(6/(-18)). Is 8 a factor of x(h)?
False
Let s = -278 + 281. Is 11 a factor of (-33)/(-6)*((0 - s) + 25)?
True
Does 4 divide ((-10)/1)/((7 - (-4962)/(-708)) + 0)?
True
Let i(k) = -23*k + 7*k + 7*k + 5*k + 24. Does 10 divide i(-1)?
False
Let v(c) = -c**2 - 25*c + 4. Let f be v(0). Suppose 2*w + 4*j = 582, -f*j - 1149 = -4*w - 7*j. Is w a multiple of 19?
True
Let q = 3 - 27. Let p be (-14)/(-49) + q/(-14). Suppose h + 3*h = -3*o + 22, -p*o = 5*h - 24. Is h a multiple of 4?
True
Does 21 divide ((-25844)/273)/(8/(-126) + 0)?
True
Suppose g + 8198 = 6*g + 2*h, -2*g + 3292 = 4*h. Is 7 a factor of g?
True
Let i(s) = -146*s**3 + 3*s**2 + s - 1. Let j be i(-1). Let x = j + -123. Suppose -478 = -2*n + x. Is n a multiple of 19?
False
Suppose a + 62 = 4*d + 6*a, -5*d + 59 = -3*a. Suppose -9*j - 8 = -d*j. Suppose -j*m = 4*h - 166, 0*h + m = -4*h + 163. Is h a multiple of 8?
True
Let i(a) = a**3 + 17*a**2 + a - 3. Suppose -o - 50 = 3*j, 2*j - 10 = -3*o - 41. Let q be i(j). Does 5 divide ((-50)/4)/((-95)/q - 5)?
True
Suppose -527*f + 522*f + 10355 = 0. Is f a multiple of 58?
False
Let r = -2698 - -4387. Is 24 a factor of r?
False
Let u be 1 + ((-28)/4 - -4). Let i be 45 - u/(-1 + -1). Suppose -i = 8*g - 196. Does 19 divide g?
True
Suppose -4*i + 2*q + 75054 = 0, 3*i = 3*q + 13088 + 43204. Does 34 divide i?
False
Suppose 48 - 5763 = 9*d. Let l = 1031 + d. Is 36 a factor of l?
True
Let x(o) be the third derivative of -o**5/60 + 5*o**4/6 - 8*o**3 - 2*o**2 + 2*o. Let w be x(17). Suppose -w*z - 12 = z, 4*z = -4*c + 104. Does 7 divide c?
False
Is 91 a factor of 435*4 - (-156 - -148)?
False
Let l = 31 + -98. Let p = l - 59. Let y = -49 - p. Does 19 divide y?
False
Let v(p) = -3*p**2 + 13*p - 8. Let h be v(5). Let b be h/24*4*148/(-6). Suppose -5*c = -574 + b. Is c a multiple of 10?
True
Let h be (-4)/28 - 105/(-49). Suppose h*y - 245 = 381. Does 8 divide y?
False
Let p be (3*-1)/(15/1875). Let s = 650 + p. Is 8 a factor of s?
False
Let n(b) = b**2 - 5*b + 3. Let p be n(5). Suppose -660 = -19*q - p*q. Does 10 divide q?
True
Let a(o) = -18*o**3 - 6*o**2 - 50*o - 338. Is a(-8) a multiple of 8?
False
Let q = 73 - 62. Let g(r) = -3*r - 2 - q + 108*r**3 - 107*r**3 + 22*r**2 - 10*r. Is g(-22) a multiple of 39?
True
Suppose 4*s - 15 = 5*l, 35 = s + 2*l + 3*l. Is 14 a factor of (25 - 1)*18*s/80?
False
Suppose 3*x + 2*x = 4920. Suppose 13*j = x + 615. Does 18 divide j?
False
Let y(z) = -34*z - 57. Is 4 a factor of y(-4)?
False
Suppose -37 = 4*u - 97. Suppose 1218 = 6*b + u*b. Is 16 a factor of b?
False
Let i = -221 + 449. Suppose 866*o = 867*o - i. Is 19 a factor of o?
True
Let i(p) = -904*p**3 - 31*p**2 + 65*p + 196. Is i(-3) a multiple of 26?
False
Let v = 364 + -362. Suppose -v*o + 160 = -r + 660, -r + 488 = o. Is r a multiple of 10?
False
Let h = -52263 + 107991. Is h a multiple of 241?
False
Let f = 16482 - -28184. Is 126 a factor of f?
False
Let h be -7 + 9 + 1*-2. Suppose h = -5*l - 4*l + 36. Suppose -o = 2*p - 10, l*p = -3*o + 2*o + 8. Is 5 a factor of o?
False
Let f = 323 + -278. Suppose k + 2*q + 0*q - 38 = 0, 0 = -k + 5*q + f. Is 20 a factor of k?
True
Suppose 0 = 4*b + 3*b - 196. Suppose 0 = -2*u + 6*u + b. Let k = 103 - u. Does 22 divide k?
True
Is ((-987)/(-15))/(63/5355) a multiple of 54?
False
Suppose -17*g + 297752 = 5*g + 34*g. Is g a multiple of 125?
False
Let q(g) = 48*g - 70. Let u be q(4). Let l = 150 - u. Does 14 divide l?
True
Let y(x) = 2*x**2 + 48*x + 36. Let q be y(-13). Let o = -233 - q. Is o a multiple of 6?
False
Let l = -54 + 75. Let a(g) = 4*g + 63. Let w be a(35). Let v = w + l. Is v a multiple of 23?
False
Let g(d) = d**2 + 4*d - 5. Suppose 0 = 5*t + 37 - 12. Let c be g(t). Suppose c*f - 5*f + 111 = 3*l, -2*f = 2*l - 46. Is 5 a factor of f?
False
Let w(j) = 3*j - 4. Let u be w(3). Let n(y) = 2*y**3 - 17*y**2 + 23*y - 12. Let g be n(7). Suppose z = g*b - 0*b - 114, u*b + z = 299. Is 19 a factor of b?
False
Suppose -12*t + 32 = 8. Suppose -6*i = h - 4*i - 23, -t*h - i = -61. Is h even?
False
Suppose 2*w = -0*r - 3*r + 7868, -w + 7864 = 3*r. Let n be ((-4)/(-16))/(5/r). Let g = n - 88. Is 43 a factor of g?
True
Suppose -3*h + y + 556 = 0, -4*y = -6*h + h + 929. Suppose 3*u + 75 = c, u - h = -4*c + 167. Is c a multiple of 53?
False
Suppose 110*s - 187*s + 4620924 = 0. Is 12 a factor of s?
True
Let b = 86 + -86. Suppose 2*y + 3*g - 14 - 35 = b, 20 = -4*g. Is y a multiple of 6?
False
Suppose -57 = 29*y + 1. Is (y - -19)/((-9)/612*-4) a multiple of 8?
False
Let v(l) = -l**3 + 5*l**2 + 8*l - 1. Let j be v(6). Suppose j*d + 16*d = 9045. Does 8 divide d?
False
Let d = 42 + -46. Let w be d + 2/6*3. Is -1 + 508/6 + (-1)/w a multiple of 28?
True
Let w = 0 + -5. Let y(r) = -r - 5. Let z be y(w). Suppose 66 = k + 3*c, 6*k - 2*k - 2*c - 306 = z. Is 36 a factor of k?
False
Let c = 22 - 29. Let h = 12 + c. Suppose y + h*w - 22 = 0, 2*y - 85 = 2*w - 29. Does 5 divide y?
False
Let m(h) = -1392*h + 16196. Does 5 divide m(8)?
True
Suppose -4*g + g - 3*k = 6, -4*k = 3*g + 6. Let i be 3/3 + (-1 - g*20). Suppose 0 = 2*w + i - 120. Does 8 divide w?
True
Suppose -5*c + 4*a = 3, a = -4*c + 7*c - 1. Is 42/(-2 - c)*-14 a multiple of 28?
True
Let f = 39 + -243. Let v = 345 + f. Is v a multiple of 11?
False
Let r be (2*505)/(9/18). Suppose -9*t - 4*c = -14*t + 2504, c = -4*t + r. Is t a multiple of 42?
True
Let i = 206 + -210. Is i/26 + 1*4786/13 a multiple of 16?
True
Let f = -261 - -308. Suppose -46*m - 590 = -f*m. Does 10 divide m?
True
Suppose 2*g = 4*q - 22, 5*g + 35 = 8*q - 3*q. Suppose 0 = -3*a + q*y - 0*y + 137, a - 2*y = 43. Is a a multiple of 17?
True
Suppose 21*q - 10*q = 0. Suppose j + 3*j + z - 1625 = 0, 4*j - 4*z - 1640 = q. Is j a multiple of 28?
False
Is 34 a factor of 7080/(-140)*(-717*8/12 + 2)?
True
Suppose -3*j - p + 101 = -2*p, -4*j + 2*p = -138. Let t = 32 - j. Suppose 5*h - 60 - 60 = t. Does 11 divide h?
False
Suppose 0 = -u + 2*r + 16, -3*u - 3*r + 31 = u. Suppose u*a - 24 = 36. Let c(n) = n**3 - 4*n**2 - n - 4. Does 7 divide c(a)?
False
Let i(k) = -2*k**3 - 44*k**2 - 486*k + 48. Does 22 divide i(-18)?
True
Suppose 12*a + 12*a - 608746 - 1708118 = 0. Is a a multiple of 22?
True
Let z be (4 - -1)*(144/(-20))/(-6). Suppose 2*m - 34 = -z. Suppose -4*s - 780 = -m*s. Is 