of 9?
True
Is -1119*41/(-5) + (-8)/10 + 4 a multiple of 67?
True
Suppose -11*v + 26862 = 22*v. Suppose v*a = 802*a + 2112. Does 3 divide a?
False
Suppose -853*t + 537443 + 35006667 = -34228731. Is 132 a factor of t?
False
Suppose -24*b - 259*b = -1464275 - 726994. Is 16 a factor of b?
False
Let x(m) = -9*m**3 - 11*m**2 - 56*m - 331. Does 75 divide x(-10)?
False
Let y(a) = 109*a + 850. Is y(23) a multiple of 178?
False
Suppose 2*d = 2*f - 238, 49 - 160 = -f + 5*d. Suppose f*s - 117*s - 1100 = 0. Let w = s - 163. Is w a multiple of 11?
False
Let h = 10693 + 1025. Is h a multiple of 21?
True
Suppose 3*n = -3*v + 20472, -21*n - 20466 = -24*n - v. Is 51 a factor of n?
False
Is (-36)/(-15)*(-56440)/(-102) a multiple of 4?
True
Suppose 3*t = 2*s - 21211, 6*s - 5*s + 4*t = 10622. Is s a multiple of 5?
True
Let r = -11932 - -11978. Is 11 a factor of r?
False
Let a = -228 - -229. Is 10 a factor of -3*(-22 + -7)*(a + 0)?
False
Let h(s) = -s + 22. Let n be h(-9). Suppose -n*x + 171 = -4262. Is x a multiple of 13?
True
Suppose 5*a + 19 - 3 = n, 0 = 2*a + 6. Let k(o) = -o**3 + 8*o**3 + 36*o**3 - 2 + o**2 - 7*o**3. Is k(n) a multiple of 7?
True
Let r(w) be the second derivative of w**4/12 - w**2 + 10*w. Let d be r(2). Suppose 1 = -d*b + 25. Is 12 a factor of b?
True
Let w(u) = 134*u**3 - 2*u**2 + 4*u - 9. Suppose -25 + 32 = 5*t + s, 3*t = -2*s. Is w(t) a multiple of 51?
False
Let w = -759 - -756. Is 26 a factor of (6 + -9 + w - -7) + 77?
True
Let a(q) = -3*q + 4. Let v be a(11). Let t(k) = k**3 + 4*k**2 - 7*k - 30. Let i be t(-4). Is 16 a factor of v/((-3)/(-3) + i)?
False
Let m = 15907 + -7978. Is m a multiple of 71?
False
Let u(j) = -j + 5213. Is 9 a factor of u(84)?
False
Let s = -11 - -15. Let k be (-7)/3 - 2/12*s. Is 8 a factor of (12/8)/((-390)/(-128) + k)?
True
Let k(t) = 404*t - 112. Let j be k(13). Suppose -17*w - 3*w = -j. Is w a multiple of 6?
False
Let h = 305 + -446. Let g = h - -231. Is g a multiple of 5?
True
Suppose -448140 = -95*c - 2*c. Is c a multiple of 132?
True
Let d(o) = 60*o**2 + 7*o - 11. Let b be d(5). Suppose 22*x - b = 10*x. Does 31 divide x?
False
Is 17 a factor of 1290/3*(2835/70 - 32)?
True
Suppose -36 = -5*l - 2*p, -l - 5*p + 9 = -12. Let h(q) = -8*q**2 - 5*q - 6*q**2 + q**2 + l*q**2 + 3*q**3. Is h(4) a multiple of 10?
True
Let g(n) = 27*n + 40. Let j be g(3). Let i = 247 - j. Is 6 a factor of i?
True
Let h(o) = 22*o**2 - 25*o + 54. Let t(v) = v**3 + v**2 + 3*v + 1. Let r(n) = h(n) - t(n). Is r(19) a multiple of 9?
True
Let n(c) = 5*c + 143. Let d be n(-32). Is 7 a factor of 2/(-1) + (6 - 7 - d)?
True
Suppose -49*l = 699 + 379. Does 16 divide (-16)/88 + (-3876)/l?
True
Let d(n) = n**2 - 9*n - 16. Suppose 4*s + 5*s = 3*s. Suppose s = -5*c + 2*q + 61, -3*c + q + 50 = c. Is d(c) a multiple of 14?
False
Let s(y) = 33*y**2 - 29*y - 232. Does 17 divide s(-10)?
False
Let s(k) = -5*k - 15 - 9*k + 7 - 17 + 23*k**2 + k**2. Does 4 divide s(-3)?
False
Suppose 0 = -4*a - l - 255, -3*a - 2*l - 188 = 2*l. Let z be (1626/8)/((-24)/a). Suppose 150 = -4*s + z. Is 7 a factor of s?
True
Let p(n) be the second derivative of 6*n**2 + 35*n + 0 - 23/12*n**4 + 1/20*n**5 - 17/6*n**3. Does 45 divide p(24)?
True
Let m be ((-1)/(-3))/(3/153). Suppose 16*c - m*c + 4 = 0. Suppose h - 3 + 0 = 0, 5*h + 345 = c*x. Is 39 a factor of x?
False
Let p(q) = q**2 - 26*q - 96. Let n be p(29). Let y(j) = 3*j**2 + 11 - 6 + 14*j + 8. Does 13 divide y(n)?
True
Suppose -8*b + 13*b = 40. Suppose -4*l = -b - 4. Suppose l*g = 8*g - 320. Is 9 a factor of g?
False
Suppose -3*m + 3*d = -23265, 2*d - 6 = -0. Suppose 28*v + 2046 = m. Does 5 divide v?
False
Suppose 7*u + 3760 = 9*u + 20. Is 11 a factor of u?
True
Suppose 38 = -5*t + 73. Does 11 divide 339/(5 + (-28)/t)?
False
Let c = -25 + 35. Let z(o) = o**3 - 9*o**2 - 4*o + 12. Let a be z(c). Suppose -a = 6*v - 9*v. Does 8 divide v?
True
Let l(i) = 202*i**2 + 263*i - 19. Does 13 divide l(-7)?
False
Let m(c) = 5*c**3 + 9*c**2 - 10*c + 5. Let r be m(4). Let g = r - 1022. Let f = -379 - g. Is f a multiple of 42?
False
Let b be ((-2 - -9) + -3 - 6)*-1. Suppose 5*n + 2222 = -u - 2*u, b*n + 864 = 5*u. Let z = -152 - n. Is 33 a factor of z?
False
Let c = 30743 - 24071. Is c a multiple of 8?
True
Let a be (-8)/(-16)*(1 + -1 + 6). Suppose 6*l = z + l - 119, -a*z + 457 = 5*l. Is z a multiple of 17?
False
Let x(a) = a**3 + 26*a**2 - 16*a - 48. Does 9 divide x(-12)?
True
Suppose 6*c = 2*n + 2*c - 174, c = -5*n + 479. Let i = n - 52. Suppose 15 = -2*j + i. Is 10 a factor of j?
False
Let p = 134 - -525. Suppose -658*b = -p*b + 133. Is b a multiple of 4?
False
Let a be 52968/38 - 100/(-950). Let y = a - 919. Is y a multiple of 74?
False
Let c = -65496 + 102067. Does 55 divide c?
False
Let w be 2/8 - 15/(-4). Suppose 2*t + 13 = u, w*t - 58 = 2*u - 4*u. Suppose -u*x + 588 = -14*x. Is x a multiple of 21?
True
Let v(s) = -7*s**3 - 14*s**2 + 2*s + 9. Let c(j) = -5*j**3 - 13*j**2 + 3*j + 8. Let i(k) = -3*c(k) + 2*v(k). Is 9 a factor of i(-10)?
True
Let l(r) = -128*r + 896. Is 43 a factor of l(-79)?
True
Suppose 2*x - 86 = 198. Let y be (-308)/(-196) + (9/7)/3. Suppose y - x = -2*w. Does 20 divide w?
False
Let p(m) = 220*m + 10714. Is p(-32) a multiple of 11?
True
Let h(a) = 184*a**2 - 54*a - 26. Is 16 a factor of h(5)?
True
Let u = -8093 + 12712. Does 65 divide u?
False
Let c(k) = 6*k - 35. Let u be c(5). Let a be u + (-2 - (-4 + -1)). Is 8 a factor of a*(-2)/(-4)*70/(-1)?
False
Let m be 9/(-18) - (-26)/(-4). Does 10 divide -5 - m/((-14)/(-90))?
True
Suppose -5*k + 2*i - 1833 = 0, 4*k + i = -0*k - 1456. Let x = k - -752. Is 43 a factor of x?
True
Let q be (-107 - (4 - 4)) + 7. Let m = -71 - q. Is 7 a factor of m?
False
Let g(q) = 634*q. Let z be g(1). Suppose 0 = -4*x + z - 58. Is 6 a factor of x?
True
Suppose -52*d = -14*d + 86*d - 652860. Is 81 a factor of d?
True
Suppose -4*q - 44 = -4*p, -q - 4*p + 0*p - 21 = 0. Suppose -2*k + 4*t - 2 = -0*t, 2*t + 1 = -k. Let u = k - q. Is 4 a factor of u?
True
Is 87/(2 + (-12)/12) even?
False
Suppose 0*r + r - 1 = 0. Let h = r + 7. Does 23 divide (-13706)/(-99) - h/18?
True
Suppose 22 = h + 4*y, 4*h = -10*y + 5*y + 33. Let d = 5 - 3. Suppose -d*k = -2*j + 4*j - 108, -h*k = 0. Is j a multiple of 6?
True
Suppose -19*q + 6*q + 224108 = -40754. Does 61 divide q?
True
Let a = 362 + -140. Suppose -a = -w + 30. Is 7 a factor of w?
True
Suppose -261204 - 426240 - 314876 = -17*d. Is d a multiple of 80?
True
Let p = 436 - 416. Suppose -12*j - 2640 = -p*j. Is 30 a factor of j?
True
Suppose 0 = 77*o - 647858 - 94268. Is o a multiple of 3?
False
Let o = -5979 - -13024. Is o a multiple of 7?
False
Suppose 4*g = 16, -2*h - g - 2*g = -418. Suppose -j - 60 = -h. Is 11 a factor of j?
True
Let j(c) be the first derivative of -29*c**3/3 - 2*c**2 - 6*c + 14. Let g(x) = -29*x**2 - 4*x - 7. Let o(w) = 4*g(w) - 5*j(w). Does 26 divide o(-2)?
False
Suppose -245*t = -271*t - 54311 + 419611. Is 18 a factor of t?
False
Let c = 2045 - -13115. Is c a multiple of 40?
True
Let z = -1958 - -7150. Does 20 divide z?
False
Let r(b) = b**2 + 7*b - 137. Let o be r(-17). Suppose o = 20*d - 2527. Is 16 a factor of d?
True
Let c = 326 - 227. Let l = c - 48. Does 4 divide l?
False
Suppose -8*h - 48 = -0*h. Let v = -5 - h. Is (24 - -1) + 4 - v a multiple of 4?
True
Let f(n) = -2000*n + 1931. Does 11 divide f(-3)?
True
Let d be 2/(-5) + (-156)/(-65). Let t be 162 - ((5 - d) + -3). Does 14 divide (-36)/t + (-1012)/(-18)?
True
Let t(v) = 7*v - 168. Let q be t(0). Let s = -147 - q. Does 2 divide s?
False
Let q = 4 + -2. Suppose 5*y + 2*m = 651 + 74, 2*m + 745 = 5*y. Suppose 5*j = -q*j + y. Is j a multiple of 21?
True
Is 11821 - ((-2)/(-12))/((-33)/18 + 2) a multiple of 12?
True
Suppose c - 8 = -4*n, 7*c - n = 2*c + 40. Suppose g - l = 6*g + 27, 2*g + c = l. Is 13 a factor of g/(-6) + 5810/84?
False
Suppose 2*t = 3*u - 938 - 1025, 22 = -11*t. Does 19 divide u?
False
Let g(p) = -2*p + 1. Let l(k) = 11*k - 154. Let i(v) = 66*g(v) + l(v). Does 33 divide i(-7)?
True
Let w = -543 - -803. Let m = 355 + w. Is m a multiple of 48?
False
Let i = 66 - 40. Suppose 0 = -11*u + i*u - 2685. Does 5 divide u?
False
Let h = 44 - -40. Suppose -6*x - h = 6*x. Let a(u) = -u**3 - 6*u**2 + 5*u + 2. Is a(x) a multiple of 8?
True
Let k = 15 - -3. Is (-24 + k)*5/((-30)/44) a mult