 multiple of 9?
False
Let l = -19 - -77. Suppose 5*d = -4*s + 5*s + 12, -2*s - 54 = 5*d. Let o = l + s. Is 12 a factor of o?
True
Suppose -5*h + 2*h + 123 = 0. Suppose 4*q - h = 199. Is 6 a factor of q?
True
Suppose -2*f + 46*v = 42*v - 190, -197 = -2*f - 3*v. Does 11 divide f?
False
Suppose -8*s = -s - 9324. Is 26 a factor of s?
False
Let s be (-43)/3 - 6/9. Let f = 12 - s. Is f a multiple of 2?
False
Suppose 0 = 4*d + x - 5 - 3, 0 = d + x + 1. Let f = 1 + d. Is (f - 0)*798/56 a multiple of 19?
True
Suppose -3*s + 633 - 78 = 0. Let r = s - 110. Is r a multiple of 3?
True
Suppose -m = 2, 0*m = 3*t + 2*m - 521. Is 35 a factor of t?
True
Suppose 9 - 1 = 4*v. Suppose -v*o + 150 = 2*h, 0 = 3*h - h - 5*o - 143. Is h a multiple of 18?
False
Let m(o) = -40*o**3 + 4*o**2 - 3*o + 4. Let q(g) = 40*g**3 - 5*g**2 + 3*g - 5. Let f(k) = -3*m(k) - 2*q(k). Is f(1) a multiple of 14?
False
Suppose 56*u = 71*u - 12600. Is 40 a factor of u?
True
Suppose 4*b + 4*o = 4, -2*b + 4*o + 11 = -b. Suppose 0 = -5*s + 2*c - c - 23, b*s + 15 = c. Is (120/s)/(6/(-8)) a multiple of 20?
True
Let t(y) = -6*y + 92 - 184 + 93 - y**2. Suppose -h - 3 = 2*i - 2, 3*i + 14 = -4*h. Does 2 divide t(h)?
True
Let w be 1/(-2) - 22/(-4). Let s(n) = n**2 - 6*n + 7. Let l be s(w). Suppose 2*j = -4*r + 312, -l*r - 140 = -4*r + 3*j. Does 27 divide r?
False
Let s(w) = -3*w + 171. Is s(24) a multiple of 33?
True
Let j(z) be the third derivative of 0*z**3 - 1/8*z**4 + 1/60*z**5 + 0*z - 7*z**2 + 0. Does 8 divide j(-5)?
True
Let h(x) = -5*x**2 - 56*x + 10. Is 25 a factor of h(-7)?
False
Let p(s) = s**2 + s - 8. Let i be p(0). Let t be i/(-3)*3/2. Let a = t - -2. Is a a multiple of 4?
False
Let y(z) = -z**3 - 4*z**2 + 4*z - 2. Let q be y(-4). Is 11 a factor of (-177)/q*(-12)/(-2)?
False
Let s(y) be the third derivative of 3*y**8/560 - y**6/720 - y**4/12 + 6*y**2. Let h(o) be the second derivative of s(o). Is 28 a factor of h(1)?
False
Let c be (-8)/3*24/(-32). Suppose a - 10 = -c*n, 5 = 4*n + 5*a - 27. Is 16 a factor of ((-22)/(-2) - n)*6?
True
Suppose -b + 2*t - 7*t = -13, -3*t = -5*b + 9. Suppose b*p + 0*z + 2*z - 225 = 0, -382 = -5*p - z. Is (4 - 16/4) + p a multiple of 18?
False
Suppose -3*m + 67 = t, -8*m = -12*m + 4*t + 116. Is m even?
True
Suppose 0 = z + 2*z. Suppose -11*w + 2*w + 1800 = z. Does 16 divide w?
False
Let d = -3 - -4. Let k be ((-2)/6)/(d/(-15)). Suppose 23 = s - k. Does 20 divide s?
False
Let j be -1 + (-2)/(-1) + 182. Let s(o) = -o**2 - 7*o - 7. Let h be s(-2). Suppose -3*r + 3*n + j = 0, -3*r - n + h*n + 187 = 0. Does 16 divide r?
False
Let p be 1/7 - (-4501)/49. Let x = p + -16. Suppose 3*q - 7*q + x = 0. Is 5 a factor of q?
False
Let v(f) = -f**2 - 10*f + 8. Suppose -4*l = 5*y + 30, -3*y - 42 = 4*l - 4*y. Is v(l) a multiple of 4?
True
Let u be ((-18)/10)/((-16)/80). Let g(o) = 16*o + 25. Is 41 a factor of g(u)?
False
Suppose 5*c - 9*c = -12. Let r(f) = -4 - 5*f**2 - 2*f**2 - 2*f + 3*f**2 - f - 3*f**c. Is r(-3) a multiple of 21?
False
Let w(t) = t**3 + 29*t**2 + 11*t + 76. Is 18 a factor of w(-26)?
True
Let n be -8*(3 + (-85)/20). Is 5 a factor of (0 + 2)*(-6)/((-24)/n)?
True
Suppose 67*q = -1839 + 6663. Is q a multiple of 18?
True
Suppose -b = -6*b - 5, 0 = -5*i + 2*b + 12. Let y = 1 + i. Is -1 - -4 - y/(-3) a multiple of 3?
False
Let t(f) be the second derivative of -f**5/20 - 5*f**4/6 - f**3/3 + 5*f**2 - 14*f. Is t(-10) a multiple of 5?
True
Let j = -398 + 602. Does 7 divide j?
False
Let q(w) = -4*w**2 - 125*w - 2. Is q(-10) a multiple of 16?
True
Let k = 1 - 5. Does 5 divide 17 - ((k - -8) + 0)?
False
Let f = -9 - -17. Let g(w) = w**2 - 10*w + 12. Let c be g(f). Is 20 a factor of ((-378)/(-3))/2 + c?
False
Is 15 a factor of (-29371)/(-11) + (112/(-88))/14?
True
Is 6 a factor of 0 + 74*(-81)/(-9)?
True
Suppose -2*f + 0 - 6 = 0. Suppose 4*t - 12 = -0*t. Does 8 divide f + (43 - (t + -3))?
True
Is 33 a factor of (11055/10)/((49/14)/7)?
True
Suppose 0 = -4*n + 5*n. Suppose n = -0*y + 3*y - 63. Is y a multiple of 7?
True
Suppose -2*p + 1807 = -5*z + 8*z, 4*p = -z + 3589. Does 28 divide p?
True
Suppose 0 = 3*h - 3409 + 733. Let m = -536 + h. Suppose b + 140 = n + 45, -4*n = 4*b - m. Is 36 a factor of n?
False
Is 737/5 - 15/(-25) a multiple of 14?
False
Let w(d) = 2*d**2 + 9*d. Does 41 divide w(16)?
True
Suppose -4775 = -5*k - 4*z + 760, 0 = 3*k + 5*z - 3334. Is 12 a factor of k?
False
Suppose -a - 5*n + 2 = 7, 5*a - n - 1 = 0. Suppose a*k = -4*k + 488. Does 33 divide k?
False
Is (-4)/(-10) - 11655/(-175) even?
False
Let o = -30 + 56. Let b(t) = -t**3 + 7*t**2 - 9*t - 3. Let d be b(5). Suppose 3*s + d - o = 0. Is 3 a factor of s?
False
Let c(q) = -q**2 - 57*q + 91. Is 14 a factor of c(-34)?
False
Let v(k) = 8*k - 53. Let j be (26/(-3))/(0 + (-8)/12). Is 17 a factor of v(j)?
True
Suppose -5*q + 25 = 0, 2*q - 7*q - 18565 = -5*m. Is m a multiple of 53?
False
Suppose 0*y - 3*q = -5*y + 1443, 4*y + 4*q = 1180. Suppose -3*f - 3*j + 388 = f, -2*j = -3*f + y. Suppose 0*x + 5*x = -15, -2*i + f = -3*x. Is 22 a factor of i?
True
Suppose -1659 = -9*a - 5079. Is (a/30)/((-4)/6) a multiple of 6?
False
Suppose -4752 = -10*q + 2*q. Is q a multiple of 18?
True
Let z(t) = t + 1. Let x(h) = -17*h - 3. Let u(g) = -2*x(g) - 4*z(g). Does 11 divide u(3)?
False
Suppose -4*x = -6*x + 30. Suppose 0 = -x*l + 673 + 662. Is l a multiple of 18?
False
Let r(i) = -4*i - 11. Suppose -13*d + 9*d - 24 = 0. Let w = d + 1. Is r(w) a multiple of 9?
True
Let i = 107 - -59. Is i a multiple of 12?
False
Let w(j) = j**3 - 7*j**2 - 3*j + 5. Let i be w(5). Is (-9804)/i - 2/5 a multiple of 19?
False
Suppose 60 = m - 306. Does 10 divide m?
False
Suppose 20 = -4*a, -5*n + 0*a + 35 = -4*a. Suppose 2*m = -5*d + 4*m + 24, -16 = -n*d + 2*m. Suppose 0 = 4*y + d - 28. Does 6 divide y?
True
Does 12 divide 528/(-286) + (-2)/13 - -631?
False
Let t(u) = 13*u + 4. Let b be t(2). Is 7 a factor of 22/165 - (-776)/b?
False
Suppose 0*c = -5*c + 75. Suppose 2 = -v + c. Is v a multiple of 2?
False
Let t be (-4)/8 + (-77)/(-14). Let i(c) = -7*c + 1 + 2*c**2 + 8 - 3. Is 21 a factor of i(t)?
True
Let f(h) = 3*h**2 + 13*h - 83. Is f(-19) a multiple of 26?
False
Let g(d) = -d**3 + 2*d**2 + 34*d + 13. Is 36 a factor of g(-7)?
True
Let a(f) = -7*f - 10. Let x be a(-5). Let q = x + 90. Is q a multiple of 23?
True
Is (13464/(-45) - -4)/(6/(-20)) a multiple of 21?
False
Let k be 3/(-1)*6/(-9). Is (-1)/((10/(-175))/k) a multiple of 35?
True
Let m(j) = -j**2 + 7*j + 11. Let v = 35 - 28. Let s be m(v). Suppose -s*y + 180 = -6*y. Does 18 divide y?
True
Suppose 0 = 2*h + 2*b - 0*b - 52, 5*b = 5*h - 120. Suppose 83 + h = 2*u. Suppose 2*d - 4*m = u, -3*m - 1 = 5. Does 23 divide d?
True
Let p = 48 - 45. Suppose -p*b + 76 + 56 = 0. Is b a multiple of 11?
True
Does 56 divide -231*(114/(-18) - -1)?
True
Let q(t) = -80*t + 24. Does 42 divide q(-3)?
False
Is 5 a factor of ((-42)/24 + 2)*(-124)/(-1)?
False
Let v(z) = z**2 + 42. Let o(a) = -a. Let x(y) = y**2 + 7*y + 10. Let p be x(-5). Let m be o(p). Is 14 a factor of v(m)?
True
Let g(h) = h**3 - 18*h**2 + h + 12. Let x be g(18). Suppose 2 = s - j + 5*j, 2*s - 5*j = x. Does 2 divide s?
True
Let g(v) = -16*v**2 + 8*v - 19. Let x be g(4). Is 5 a factor of 26/91 - x/7?
True
Let d(p) = -2*p**3 - 7*p**2 - 5*p - 2. Let f be d(-4). Let k be (f/51)/((-2)/(-12)). Suppose -r - 4*q + 39 + 9 = 0, 0 = -4*r + k*q + 152. Does 10 divide r?
True
Let p = 288 - 231. Is 19 a factor of p?
True
Let m(v) = -v**3 + 5*v**2 + v - 4. Let y = 38 - 41. Is m(y) a multiple of 23?
False
Suppose 3*v + 3*u - 303 = 0, -3*v + 182 = -3*u - 139. Is v a multiple of 12?
False
Suppose 4452 = 21*v - 9114. Does 17 divide v?
True
Suppose 117*u = 113*u + 4. Let b = -1 - -2. Is 11 a factor of u + -4 - (-53)/b?
False
Suppose 3*p = -2*q + 3*q - 17, 5*q - 4*p - 30 = 0. Suppose -q*r + 2*j - 6 = -r, 4*r + 3*j = 20. Let l(d) = 25*d + 1. Is 17 a factor of l(r)?
True
Suppose -2*a = 4*f - 1236, -3*f - 1 - 8 = 0. Suppose -7*p + 496 = -a. Does 20 divide p?
True
Let s = 576 - -84. Is s a multiple of 11?
True
Let f(g) = g**3 - 8*g**2 - 6*g - 16. Let k be f(10). Suppose x = 4*x - 12, x - k = -l. Is l a multiple of 20?
True
Let v(y) = 25*y**2 - 2*y + 15. Is 22 a factor of v(3)?
False
Suppose 2605 + 1035 = 5*w. Is w a multiple of 41?
False
Suppose w - 4*w = -18. Suppose -