?
True
Let i(a) = 41*a - 852. Does 28 divide i(57)?
False
Let z = 87 + -108. Let p(l) = -7*l**2 + l - 1. Let k be p(-2). Let u = z - k. Is u a multiple of 5?
True
Suppose -2*t = 5*c - 55 - 36, 5*t = -4*c + 236. Let d = t + -33. Does 8 divide d?
False
Suppose -g + 2*o + 134 = 0, 72 - 484 = -3*g + 4*o. Does 72 divide g?
True
Let u = -3034 + 5047. Is u a multiple of 33?
True
Suppose -12*v + 3*p + 2031 = -9*v, 3*v = -p + 2047. Is v a multiple of 4?
False
Is (525 + 0)*5/15 a multiple of 25?
True
Let o(m) = m**2 - 4*m + 11. Suppose -4*y - 12 + 32 = 0. Let t be o(y). Does 7 divide (25/(-20))/((-2)/t)?
False
Suppose -3*z - 20 = -7*z. Suppose 0 = g + z*f + 26, g - f + 2 = -0*g. Let h(w) = -w + 8. Is 14 a factor of h(g)?
True
Let h(u) be the second derivative of u**6/120 + u**5/20 - u**4/6 - 7*u**2/2 + 9*u. Let i(s) be the first derivative of h(s). Is i(3) a multiple of 13?
False
Suppose 0 = 3*k - 5*v + 48, -3*k - v = -16 + 82. Let p = -12 - k. Suppose 4*a - 15 - p = 0. Does 4 divide a?
False
Is (-6 - -8)/(3/27) a multiple of 18?
True
Let s = -65 - -55. Let g(n) = n**3 + 12*n**2 + n - 32. Is g(s) a multiple of 10?
False
Let s(b) = b**3 - 23*b + 13. Let h be s(6). Let p = -72 + h. Does 19 divide p?
True
Suppose 8*b = -2*b + 1950. Suppose 2*i - b = -i. Is i a multiple of 41?
False
Let m = 19 + -9. Is 28 a factor of 8 - m - (-142 - 0)?
True
Let n(q) be the third derivative of 0*q + 7/4*q**4 + 0 + 12*q**2 + 0*q**3. Is n(2) a multiple of 42?
True
Suppose 3 = -c - g - 0*g, -17 = 3*c + 5*g. Let h be (c + -11)/(3 + -4). Suppose 3*w = w + 5*f + 29, -h = -w - 2*f. Is 6 a factor of w?
True
Let f(s) = s**3 + 9*s**2 - 8*s + 18. Let o be f(-10). Is 44 a factor of o/10 - (-3978)/90?
True
Let s be -56 + (5 - (-6)/(-3)). Let n = -37 - s. Suppose 5*p - n = 204. Is p a multiple of 15?
False
Let k = -144 - -324. Does 36 divide k?
True
Let m(u) = -2*u**3 + u**2 - 3*u - 1. Let h be m(-3). Let n = h + -20. Suppose w - 13 = -v, n - 15 = 2*w - 3*v. Is 4 a factor of w?
False
Let z = -33 - -26. Does 3 divide (1/3)/(((-21)/144)/z)?
False
Suppose -5*t = -8*t + 30. Suppose c = 2*c - t. Suppose -2*j = -c, -5*j + 17 + 22 = q. Is 7 a factor of q?
True
Let q = -9 + 17. Let j = q + -16. Is (-7)/(-28) + (-814)/j a multiple of 34?
True
Let f be 2/(-3)*(-126)/28. Let p(d) = 38*d - 9. Is 15 a factor of p(f)?
True
Let s(u) = -230*u - 391. Is s(-11) a multiple of 31?
True
Let c(x) = 4*x + 1. Let z be c(-2). Let v(l) = 2*l**2 + 5*l - 19. Let h be v(z). Suppose -h = -q + 52. Is q a multiple of 24?
True
Let j(o) = -2*o**2 - 11*o - 18. Let r be j(-6). Let l = r - -44. Is l a multiple of 20?
True
Suppose -45 = k + 4*k. Is 6 a factor of 372/9 - (2 + 15/k)?
False
Suppose -p = -3, 3*c = 6*c + 2*p - 2796. Is c a multiple of 13?
False
Suppose 40*k - 31*k = 23868. Does 6 divide k?
True
Let u = 51 + -46. Suppose -4*q + 547 = d, -q = -0*d + u*d - 113. Is q a multiple of 10?
False
Suppose 16*q = -26*q + 10290. Is q a multiple of 7?
True
Suppose -4*m = -85*m + 80190. Is 9 a factor of m?
True
Let n(l) = 4*l - 9. Let r(v) = v + 1. Let k(w) = -n(w) - 4*r(w). Does 21 divide k(-2)?
True
Suppose -4*j - 8 = 3*u, -5*j + 9 = -2*u - 4. Let m be j - (3 + -2 - 2). Suppose 0 = 3*p + m*p - 330. Is p a multiple of 22?
True
Let a(n) = 270*n - 80. Let j(q) = 10*q - 3. Let g(d) = -2*a(d) + 55*j(d). Is g(2) a multiple of 5?
True
Let j(z) be the third derivative of z**5/60 - 5*z**4/8 - z**3 + 8*z**2. Let o be j(8). Let g = o - -119. Is g a multiple of 18?
False
Suppose 0 = 4*i - 3*t - 331, -i + 244 = 2*i + 2*t. Suppose -4*s = -3*s + i. Is 5 a factor of s/(-6) - (-14)/(-21)?
False
Let f be 7/2 - (-2)/4. Suppose -7 = 5*l + 2*w - 24, 13 = l - 2*w. Suppose -4*u - f*y = -100, -2*y - 3 = -l. Does 7 divide u?
False
Let u(m) = -m - 1. Let y be u(-1). Let f = y - -2. Suppose -b + 4*b - 35 = -w, 4*b - 68 = -f*w. Is 8 a factor of w?
True
Suppose 2*v + 6 = 3*v. Let n(g) = -g**3 + 5*g**2 + 9*g - 8. Is n(v) a multiple of 2?
True
Let d be -3 - 10*(-1)/2. Suppose 5*j - d*y = 465, 0 = -j + 4*y + 95 - 2. Is j a multiple of 26?
False
Let n(z) be the third derivative of z**6/120 + 17*z**5/60 - z**4/8 - 11*z**3/6 - 10*z**2. Is n(-17) a multiple of 20?
True
Let q(p) = 613*p**2 - 125*p - 124. Does 29 divide q(-1)?
False
Suppose -3 = x + 3*x + 5*d, -4*d = 2*x + 6. Suppose 3*c = x*p - 120, 4*c = p + 4*p - 196. Let b = -26 + p. Is b a multiple of 5?
True
Let y(s) = 60*s**2 + 4*s + 6. Is y(-2) a multiple of 23?
False
Suppose 3*s + 16 = 7*s. Suppose -s*z = -z - 12. Suppose 2*n - 2*v + 1 - 53 = 0, z*v = 2*n - 56. Is n a multiple of 12?
True
Suppose 3*y - 4*d + 51 = 0, 3*d + 17 = -y - 0*y. Let l = 20 + y. Suppose -4*t - 34 = -l*a - 0*t, -a = t - 23. Does 9 divide a?
True
Let p(d) = 2*d**2 + 26*d + 22. Let u be p(-12). Let l = u - -19. Does 17 divide l?
True
Let l = 1189 - 785. Does 33 divide l?
False
Is 11232/40 - (-1)/5 a multiple of 12?
False
Suppose -59*n = -63*n + 448. Is 29 a factor of n?
False
Let h(l) = 16*l + 38 - 25*l + 10*l. Is 10 a factor of h(7)?
False
Is 26 a factor of ((-6 + 3)*1)/(6/(-356))?
False
Let p(t) = 20*t + 20. Is p(3) a multiple of 10?
True
Suppose -9*h = -12953 + 3449. Is h a multiple of 32?
True
Suppose -397 = 2*w + 545. Let s be 2/(w/(-117) + -4). Does 13 divide s/(-4)*(-16)/8?
True
Let o be (-1 - -4)*(56 - 8). Suppose -2 = -n - 1, a - 3*n = 8. Suppose 7*g + o = a*g. Is 9 a factor of g?
True
Suppose -2*p + 4*u = 35 - 339, 3*p + 7*u = 521. Is 6 a factor of p?
True
Let z be 24/12 - (-3 - 0). Suppose -s - 3*o + 41 = 0, -205 = -5*s + o - 2*o. Suppose -5*a - z*w = -105, 0*a - 3*w = 2*a - s. Is a a multiple of 11?
True
Suppose 5 = x, -5*m = -5*x - 34 - 61. Let u = m - -8. Is 16 a factor of u?
True
Suppose -3*f - 10 = -4*f. Suppose t + f = 5. Let m = t + 27. Does 11 divide m?
True
Suppose -41*b + 210 = -27*b. Is 15 a factor of b?
True
Let l be 4 - (12/(-4) - -26). Let y = l - -40. Does 3 divide y?
True
Let o = 103 - 100. Suppose -2*v - 213 = -3*t, 0*v - 4*v + 195 = o*t. Does 23 divide t?
True
Let n = -423 + 1067. Does 28 divide n?
True
Suppose 0 = 3*j - x - 8, -2*x = 4*j + 2*x. Suppose -5*m - 98 = -8*m - j*t, 158 = 5*m + 2*t. Is 23 a factor of m?
False
Let k(d) = -8*d**2 - 14 - 19*d - 9*d**3 + 7*d**3 + d**3 + 7*d. Is k(-7) a multiple of 9?
False
Suppose 2*b - 4*b - 20 = -2*z, -5*b = 5*z. Suppose 2*l = z*q - 58, 6*l = 5*q + l - 70. Suppose 0 = -2*u - q, 0 + 5 = m + 5*u. Is 5 a factor of m?
True
Let m be (-34)/(-14) + -1*15/35. Is 34 a factor of (351 + -11)*m/5?
True
Let h be (-9000)/54*3/(-2). Suppose h = 9*r - 4*r. Does 12 divide r?
False
Let i(w) = 2*w**2 - 12*w + 2. Let x be i(6). Let h(m) = m**2 - m - 1. Let u be h(0). Is (-90)/(-4) - u/x a multiple of 11?
False
Let n be -2*(-1)/(5/(-50)). Suppose 140 = 4*i + 24. Let k = i - n. Is 19 a factor of k?
False
Let b = -1251 + 1768. Is b a multiple of 47?
True
Let v(s) = -14*s**3 - 7*s**2 - 6*s - 1. Let m(n) = -13*n**3 - 8*n**2 - 7*n. Let p(u) = -5*m(u) + 6*v(u). Does 28 divide p(-2)?
True
Let t(r) = -r**3 - 11*r**2 + 13. Let y be t(-11). Let z(f) = 2*f - 18. Is z(y) a multiple of 2?
True
Let q = 106 - -154. Does 13 divide q?
True
Suppose -v + 2*w + 36 = -2*w, 5*v - 5*w - 120 = 0. Let i be v - 1 - (-27)/(-9). Suppose 3*t = m + 56, m = -0*t + t - i. Is t a multiple of 10?
True
Let x = -16 + 10. Let q be (2/x)/((-9)/2187). Suppose -q = -4*z - 29. Does 13 divide z?
True
Let r = 1341 + -314. Does 8 divide r?
False
Let o be (0 + 57)/3*7. Suppose 4*j - 16 = 0, -3*r = -5*j - o - 51. Is 34 a factor of r?
True
Let r = 89 - 76. Is (-84)/(-2) + 0/r a multiple of 7?
True
Does 36 divide (-32)/144 - 1946/(-9)?
True
Let r(s) = s**2 - 21*s + 207. Is r(10) a multiple of 49?
False
Let f(v) = v**3 - 8*v**2 + v + 3. Let l be f(8). Let p = l - -5. Does 13 divide p?
False
Suppose 1261 + 2860 = 5*x - l, -2474 = -3*x + 2*l. Is 37 a factor of x?
False
Let b(o) = 6*o**3 - o**2. Let l be b(1). Suppose 0 = -k + 2*c + 2, -k + 2*k - l*c = 2. Is 14 a factor of 6*(9 - (-2 + k))?
False
Let j(w) = 7*w**2 + 8*w. Let l(s) = -7*s**2 - 9*s + 1. Let v(t) = -5*j(t) - 4*l(t). Let d(c) be the first derivative of v(c). Is 20 a factor of d(-6)?
True
Suppose -8 = -3*z + 2*r, -6 = 2*z - 3*z + 4*r. Let l(w) = -w**3 + 3*w**2 - w + 1. Let v be l(z). Does 13 divide ((-20)/8 + v)*38?
False
Let h(f) = f**2 - 4*f - 13. Let l be h(9). Supp