be 4/(-3)*(-15)/2. Is 8 a factor of m(t)?
True
Suppose 10584 = -94*g + 96*g. Suppose -5*c = 16*c - g. Is c a multiple of 21?
True
Does 7 divide (20 + -1)*(2 + 114 + 3)?
True
Let x = 248 + 14. Suppose 0 = -256*c + x*c - 684. Does 6 divide c?
True
Let v(a) = -a**3 - 62*a**2 + 551*a - 150. Is 38 a factor of v(-70)?
False
Suppose -5*r + 0 + 37 = 3*b, 5*b - 25 = -r. Let c(p) = p**2 + 9*p - 33. Is 7 a factor of c(b)?
False
Suppose -60*h - k + 40 = -55*h, 0 = k - 5. Suppose 2*b + 542 = f, -2*f + 4*b = -h*f + 2654. Is 31 a factor of f?
False
Suppose 0 = 2*m - 3*j - 37, 25*m - 3*j = 24*m + 11. Does 9 divide m?
False
Let a = 112 + -108. Is ((-1518)/99)/(a/(-18)) a multiple of 23?
True
Suppose -3*y + 3*i + 259 = -1205, 0 = 4*i + 12. Let u = y - 71. Does 9 divide u?
True
Let f be (3 + -11)*(-3 + 1). Does 2 divide (-2)/(-2) + 40*f/20?
False
Let o(r) = 44 - 21*r - 19 + 25. Is 8 a factor of o(2)?
True
Let n = 817 - 811. Does 47 divide -5*-1033*n/30?
False
Let r(w) = 4*w**3 - 7*w**2 - 104*w + 889. Is 10 a factor of r(7)?
True
Let h = 100 + -100. Suppose a - 141 - 80 = h. Does 67 divide a?
False
Let z(u) = 3262*u + 2480. Is z(17) a multiple of 166?
True
Suppose 2*y - 55 = 7. Let f = 34 - y. Does 5 divide (2/f)/(29/435)?
True
Let s(b) = -171*b + 12099. Does 15 divide s(39)?
True
Is 38 a factor of 40219*1 - 2670/178?
True
Let t = 345 + 290. Suppose -q = -5*q - f - 841, -t = 3*q + 5*f. Let c = 28 - q. Is 43 a factor of c?
False
Is 26 + 29 + (-5 - 7) a multiple of 21?
False
Let p = -47 + 54. Is -7*p/(-49) - (0 - 202) a multiple of 24?
False
Suppose -3*b = 4*a - 1219, 0 = -7*a + 8*a + 2. Suppose b*c + 740 = 414*c. Is 22 a factor of c?
False
Suppose 4*u - 5*d = 10, 0*d = 5*u + 3*d - 31. Suppose -u*s + 25*s - 2200 = 0. Does 6 divide s?
False
Suppose -1119*l = -1039*l - 519200. Does 118 divide l?
True
Let x = -36 - -44. Let t(d) = -d**3 + 6*d**2 + 16*d + 3. Let n be t(x). Suppose n*b = 5*a + 91, -162 = -5*b - 4*a + 2*a. Is 4 a factor of b?
True
Let x(j) = -j**3 + 2*j**2 + 8*j + 3. Let p be x(4). Suppose 0 = -4*i, 4*i - 70 = -p*n + 239. Does 55 divide n?
False
Suppose 0 = -16*f + 21*f - 30515. Does 9 divide f?
False
Let h = -22268 + 32936. Is 28 a factor of h?
True
Let t(b) = -b + 20. Let s be t(2). Suppose -s*q = -8854 - 938. Is q a multiple of 68?
True
Let v(l) = -18*l + 2034. Does 5 divide v(68)?
True
Is 22 a factor of 183983/8 + 27/24?
False
Let v be -4*(-3)/12*-1 + 83. Suppose 79*g + 1560 = v*g. Is g a multiple of 52?
True
Let l = -148 + 222. Suppose 0 = x - 3, 3*r + l = 4*r + 5*x. Is r a multiple of 16?
False
Let z = -70 - -82. Let i(j) = j**3 - 13*j**2 + 17*j + 31. Is i(z) a multiple of 13?
True
Let l = -1778 + 6636. Is l a multiple of 9?
False
Let m = -174 - -182. Let d(r) = -18*r**2 + 10*r**2 + 11*r**2 - 2*r - 56. Does 14 divide d(m)?
False
Suppose -o + 4*s = -162, -5*s + 4*s = -5*o + 905. Let i = 266 - o. Is 8 a factor of i?
False
Let d = 11192 - 9883. Is d a multiple of 13?
False
Let j be (-181)/2*(-2)/1. Suppose -10*b - 2*b + 455 = -5*b. Let y = j - b. Is 21 a factor of y?
False
Let d = 383 - 364. Suppose 0 = d*l - 1226 - 256. Is 13 a factor of l?
True
Suppose -104 = -10*z - 3*z. Suppose -z*j - 5*s + 106 = -5*j, -3*j + 101 = 4*s. Is j a multiple of 15?
False
Let l be (-3)/(-5 + 8/2). Let m be ((-1)/2)/(l/(-12)). Does 7 divide 8 + -7 - 55*(1 - m)?
True
Let v(l) = 892*l**2 - 548*l + 2164. Is v(4) a multiple of 12?
True
Let v(f) = 672*f**3 + 44*f + 1 + 4 - 671*f**3 + 16*f**2. Does 16 divide v(-9)?
True
Is (7/(1/(-1)))/(74658/18666 + -4) a multiple of 17?
True
Let b = -7862 + 34236. Does 23 divide b?
False
Let t be -1*(-3)/((-6)/(-22)). Let q be (146/2)/(11/t). Let s = q + 49. Is 37 a factor of s?
False
Let t(o) = -o**3 - 6*o**2 - 13 + 4*o - 15 - 10*o + 8*o. Is t(-11) a multiple of 13?
False
Let s(q) = q**3 - 4*q**2 - 2*q + 4. Let k be s(4). Does 26 divide (-15)/5 + k + 342?
False
Suppose -3*w - 9039 = 3*u, -4*w - 6032 = -0*u + 2*u. Let k = -2044 - u. Is 30/(-80) - k/(-16) a multiple of 15?
True
Is 137 a factor of 2559 - 156/(-12) - 2*-1?
False
Let b = -468 - -256. Let z = b - -241. Is 7 a factor of z?
False
Suppose 0 = -3*b - t - 7152, 2*t - 9537 = 4*b + 3*t. Let j be (-36)/14 - (4 - (-125)/(-35)). Is 18 a factor of b/(-25) + j/(-5)?
False
Let k = -1323 + 2303. Let d = k + -410. Does 30 divide d?
True
Suppose -5*b - 22739 = 285*f - 287*f, 2*f - 3*b = 22733. Is 35 a factor of f?
False
Suppose -2*n = -10*s + 15*s - 4440, 5*s - 4455 = n. Suppose 2*d - 778 - s = -5*a, -5*d - 5*a = -4170. Is d a multiple of 15?
False
Let f = 16198 - 2098. Does 60 divide f?
True
Let f be 10/(-15) - 14/(-3). Let i(y) = 2*y**2 + 6*y + 2*y**3 + 2*y**2 - 14*y + 4*y + f. Does 15 divide i(4)?
True
Suppose 39 = 17*q - 114. Suppose -858 = -q*j + 1104. Does 19 divide j?
False
Let d(x) = 350*x**3 - 2*x + 1. Let h be d(1). Let j = 17 - 29. Is 39 a factor of (-8)/j - h/(-3)?
True
Let u = 618 - -13952. Is 62 a factor of u?
True
Suppose -4*l - 4 = -3*l, 4*t + 8 = -5*l. Let g(r) = 81*r**2 - r - 20. Is 48 a factor of g(t)?
False
Let d = 33 - 36. Is (-5 + -4)/d + -2 + 267 a multiple of 13?
False
Suppose 3*f + 33454 = 3*u - 69020, 5*f + 5 = 0. Does 29 divide u?
False
Suppose -46*y + 445 = -15. Suppose -3*w + 471 = v, -4*w = -8*v + y*v - 952. Is 31 a factor of v?
False
Let l be -45 + 45 + (-4)/(-1). Suppose 0 = -l*w + 415 + 125. Does 54 divide w?
False
Suppose -4*u - 2896 = -4*o, -5*o + 4771 = 4*u + 1142. Is o a multiple of 41?
False
Let a be -3 + (-2 - (-144 - 7)). Suppose 25*i - 779 = a. Is 4 a factor of i?
False
Suppose -3*b = -17*b + 6*b. Suppose b = -27*h + 28*h - 44. Is 4 a factor of h?
True
Suppose 24*i = 28*i. Suppose 4*h + 2*m - 190 = i, 13 = h + 4*m - 17. Suppose -h*x - 182 = -51*x. Is 13 a factor of x?
True
Let d(b) = 2*b**3 - 27*b - 52. Does 20 divide d(12)?
True
Does 7 divide 323527/25 + (-474)/5925?
False
Is 30/105 + 5/((-315)/(-1704762)) a multiple of 41?
True
Let v be ((-12578)/(-3))/(2/18). Is v/95 + 2/(-10) a multiple of 21?
False
Let a be (1/(-3))/(1/(-21)). Suppose -a*p - 40 = -15*p. Suppose p*k = 489 + 186. Is 17 a factor of k?
False
Let d be ((-160)/(-24))/((-1)/3*-1). Suppose -3*l = -8*l + d. Suppose f - 12 = -k, l*f = -0*f + k + 33. Is 3 a factor of f?
True
Suppose 8*z = 12*z - f - 32209, 0 = 2*z - 4*f - 16108. Does 61 divide z?
True
Suppose -1160 = -2*y - 5*t + 75, -3*t = -3*y + 1842. Is y a multiple of 7?
False
Suppose c = 2*z + 949, -4*z = c - 6*c + 4721. Suppose 0 = -3*x + c + 838. Does 73 divide x?
False
Let d(m) = -6*m + 11. Let i be d(-5). Suppose -19 = -6*j + i. Suppose j = -u + 136. Is u a multiple of 14?
True
Let d be ((-30)/12)/5*(-1 - 1). Is 4 a factor of (d/2)/(30/2940)?
False
Is 22 a factor of 13 - 2142/162 - 1/((-27)/318984)?
True
Suppose -8 = 2*x + 2*x. Suppose 4 = 7*n - 8*n. Is n*(x - 0 - 10 - -4) a multiple of 32?
True
Let g(f) = f**3 + 21*f**2 + 31*f - 20. Is 5 a factor of g(-17)?
False
Suppose 8 = -2*r, n - 255*r = -257*r + 14593. Is 63 a factor of n?
False
Let m = -29 + 33. Suppose -3*v = m*p - 13, -2*v = 4*p - 9 - 5. Does 3 divide (-2 + 7)/(v/(-6))?
True
Let z(m) be the second derivative of m**5/20 + m**4 + m**3 + m**2/2 + 8*m - 2. Does 15 divide z(-9)?
False
Suppose -2*h - f - 1560 = -6*f, -4*h - f = 3164. Let p = -230 - h. Does 40 divide p?
True
Let l be 10/(-45) - 68/18. Let i be -1 - 1/l - 2979/(-36). Suppose -5*s + 203 = -i. Is s a multiple of 25?
False
Suppose -3*l + 88 = -4*a, l + 4*a = 19 + 5. Let c = -21 + l. Suppose -c*n + 12*n = 450. Is n a multiple of 15?
True
Let m(j) = -23*j + 71*j - 22*j + 5 - 27*j. Is m(-8) a multiple of 5?
False
Suppose -2*v + v - 16 = 0. Let o be (v/(-10))/(30/(-25) - -1). Let y(z) = z**3 + 9*z**2 + 7*z + 3. Is 11 a factor of y(o)?
True
Let s be 1/3*(-36 - 9). Let r = -31 + 11. Let n = s - r. Is n a multiple of 5?
True
Suppose -51 = -13*c - 415. Does 2 divide (c/(-84))/(1 + 326/(-327))?
False
Suppose -7*a + 418054 = -30*a + 1153962. Is a a multiple of 19?
True
Suppose 0 = 23*s + 184 - 23. Let h(l) = 2*l**3 + 19*l**2 + 12*l + 21. Is h(s) a multiple of 83?
False
Suppose 22*w - 21*w = -2*u - 35, 0 = -2*u - 4*w - 44. Let s = -4 + 19. Is ((-10)/s)/2*(1 + u) even?
False
Let h be 260 + (-2 - 0 - -7). Let u = h + -229. Does 7 divide u?
False
Suppose 0 = -47*w + 54*w - 2730. Suppose o + x = -4*x + w, -5*x - 410 = -o. Is o a m