 d?
False
Let h = 501 + -357. Suppose -374 = -y - h. Does 46 divide y?
True
Suppose 0 = 3*k - 3*z + 7*z + 54, -4*z + 54 = -3*k. Let o = -13 - k. Suppose 4*d = -o*x + 270, 3*x - 6*x - 216 = -3*d. Does 22 divide d?
False
Is (-44)/132 + 1948/3 a multiple of 60?
False
Let k(t) = t**3 + 4*t**2 + 4*t + 10. Let f be k(-4). Let p be (-6 - f)*(-3)/(-6). Is 26 a factor of (1 + 102)/(1 + p)?
False
Does 10 divide (-156)/(-390)*100/2?
True
Let r be (-371)/(-35) - 4/(-10). Let h(a) = 5*a + r - 15 + 3*a + 8. Is 13 a factor of h(6)?
True
Suppose -3*h - 8 = -h - 4*z, 5*z = 20. Suppose -o - 54 + 144 = t, -3*o - 346 = -h*t. Is 22 a factor of t?
True
Let h(s) be the second derivative of -s**3 - s**2/2 + 10*s. Let u be h(-1). Does 26 divide ((-5)/u - -52) + 1?
True
Does 21 divide 1083/18 + (-21)/126?
False
Suppose 4 = -2*z + 2*a, 0 = -2*z - 3*z + 2*a + 2. Suppose -8 = -2*m - 4*n, 5 = z*m - n - 3. Suppose -5*b = 3*h - 277, -m*b + 61 = -3*b + 2*h. Does 23 divide b?
False
Let b(p) = -68*p**3 - 20*p**2 + 2*p + 4. Does 11 divide b(-4)?
False
Let w be (-3)/(-6) - 18/(-4). Suppose -k + 4*u - 3 = 0, 2*k + 0*k - 20 = -w*u. Suppose k*f - 367 = -72. Does 16 divide f?
False
Let p(k) = 531*k**2 - 3*k. Does 22 divide p(2)?
False
Let w be (-5)/(-40)*-538*4*-1. Suppose -2*o + 711 = w. Is o a multiple of 17?
True
Suppose 0*l = 2*k - l - 38, 0 = k + 5*l - 30. Is k a multiple of 10?
True
Let d be 6 - 3 - 0/(-5). Suppose 0 = -0*a + d*a, 5*q - 40 = 5*a. Is 6 a factor of q?
False
Suppose 2*a = -3*s - 142 + 506, 3*a = s - 114. Is s a multiple of 12?
True
Let k(g) = -2*g - 4. Let f be k(0). Let a(u) = -u - 1. Let z be a(f). Suppose -116 = -z*j - 5. Is j a multiple of 10?
False
Suppose -19 = -h - 5*u - 7, -h + 4*u + 3 = 0. Suppose m + h = 35. Does 14 divide m?
True
Let a(x) = x - 2. Let u be a(-14). Let p = u - -82. Is 33 a factor of p?
True
Suppose 0 = l, -15*y + 45 = -10*y - 5*l. Is 4 a factor of y?
False
Is (-18)/81 + ((-332680)/36)/(-5) a multiple of 12?
True
Let q(z) be the first derivative of -z**5/10 - 5*z**4/24 - 7*z**3/3 - 7. Let t(v) be the third derivative of q(v). Is t(-4) a multiple of 15?
False
Suppose 2*w + 52 = 340. Suppose 0 = -0*p - 2*p + w. Does 18 divide p?
True
Let q = -70 + 144. Is q a multiple of 2?
True
Let n(d) be the first derivative of 5*d**2/2 + 41*d - 13. Is n(-4) a multiple of 5?
False
Let b = -174 - -1714. Does 14 divide b?
True
Let x = 13 + -11. Suppose -3*c = x*c - 75. Let n = -4 + c. Is n a multiple of 4?
False
Suppose -4*z + 3*v = -2*v - 10553, -3*z + 7886 = 2*v. Is 47 a factor of z?
True
Suppose 0 = 18*s - 285 - 75. Does 3 divide s?
False
Let n(r) = -29*r - 95. Does 19 divide n(-19)?
True
Suppose -119*u = -123*u + 7760. Is u a multiple of 18?
False
Suppose -4*i + 11208 = -4*h, 5*i - 14752 = 3*h - 746. Is i a multiple of 35?
True
Let d(s) = -s**2 + 9*s - 8. Let n be d(7). Is (n - 1)*(4 + 24/5) a multiple of 22?
True
Suppose 0*h - 1080 = -4*h - 4*b, 0 = b + 3. Let n be h/15 + 2/(-10). Let z = n + -10. Does 4 divide z?
True
Let j(f) = 30*f**3 - 3*f - 17. Let u(d) = 10*d**3 - d - 6. Let b(o) = -6*j(o) + 17*u(o). Let l be b(-1). Does 18 divide (-3)/(-9)*6*l?
True
Suppose -y - 1 + 2 = 0. Let f(x) = y + 0 + 1 + x. Is 6 a factor of f(9)?
False
Let f(w) = -w**3 + 14*w**2 + 6*w. Let t(d) = d + 1. Let h be t(13). Is f(h) a multiple of 21?
True
Let r = 1529 - 825. Does 88 divide r?
True
Suppose -6*i + 20 = -i. Suppose -i*v - 2*b = -3*b - 24, 4*b + 24 = 4*v. Suppose 150 = v*y - y. Is y a multiple of 10?
True
Let r(g) = g**2 + 1. Let j(b) = 4*b**2 - 2*b + 2. Let f(h) = j(h) - 3*r(h). Let m be f(3). Is 6/m + 30/2 a multiple of 18?
True
Let m(a) = 12*a - 122. Is 3 a factor of m(12)?
False
Is 10 a factor of (-320)/6*(-2 - 9/(-18))?
True
Let t be ((-1)/3)/((-4)/24). Suppose -82 = -t*d + 138. Does 11 divide d?
True
Suppose 3 = -2*b + 5. Let k(r) = 5*r**2 - 7*r + 7. Does 5 divide k(b)?
True
Suppose 38 = 2*c - 18. Suppose j + 6 = c. Is j a multiple of 7?
False
Let s = -2 + 7. Suppose -s*d = -d - 48. Is d a multiple of 2?
True
Let a(f) = f**2 + f - 2. Suppose 1 = 2*s + 13. Does 7 divide a(s)?
True
Suppose 5*f - 7*f + 644 = -4*z, 2*z - 1622 = -5*f. Is 5 a factor of f?
False
Let r = -114 + 36. Let s be (-2 - -8)/((-19)/(-437)). Let d = r + s. Is 11 a factor of d?
False
Suppose -2*h + 0*h = 0. Suppose 8*j - 290 = 3*j. Suppose -2*u + h*l + 64 = 2*l, -l = -2*u + j. Is u a multiple of 15?
True
Suppose 0 = 18*v - 8287 - 425. Is v a multiple of 14?
False
Suppose 1 = -4*o + 9. Let j(v) = 0*v + 4*v - 19 + v**2 + 0*v**o - 3*v. Is j(-10) a multiple of 9?
False
Let h be 5/(-25)*-5 - -2. Does 13 divide h*3*40/48*26?
True
Let p(z) = -4*z**2 + 11*z**2 - 5 - 4 + 6*z. Does 19 divide p(3)?
False
Let o be (60 - 12) + 0 + 4. Suppose 38 = 5*v - o. Let a = 4 + v. Is a a multiple of 8?
False
Suppose 41 = -3*u - 46. Suppose 0 = 5*o + g - 18, 0 = 3*g + 2*g - 15. Is 2 - (o + u + 0) a multiple of 14?
True
Suppose 0 = -2*u + 3 + 7. Let y = u - 0. Is y a multiple of 2?
False
Is (-236)/(-59)*(1 + (-827)/(-4)) a multiple of 20?
False
Let i be (-2)/3*7/((-14)/12). Suppose 0 = -4*z - i, -r = -4*r - 4*z + 155. Is r a multiple of 12?
False
Suppose -173 = -4*a + 19. Does 3 divide a?
True
Suppose 5*b = 86 + 664. Let g = b + -94. Is 13 a factor of g?
False
Let i = 939 - 292. Is 7 a factor of i?
False
Suppose 2*y = 8, 3*b - 4*y = b + 592. Does 14 divide b?
False
Let q be ((-8)/(-6))/((-10)/(-75) - 0). Is 15*1/q*12 a multiple of 5?
False
Let m(z) = -z - 6. Let l be m(-8). Suppose -23 = -l*x - 9. Suppose 5*g - x*g + 56 = 0. Is g a multiple of 14?
True
Suppose 0 = -4*r + 5*r - 4. Suppose -3*k + 47 = 2*w - 32, 165 = r*w - k. Does 7 divide w?
False
Let i(v) = -v**2 - 28*v - 27. Let o be i(-13). Let k = o + -49. Is k a multiple of 20?
False
Let w(y) = 2*y**2 - 13*y**2 - y**3 - 10*y - 2 - 2*y**2 + 14. Let a be w(-12). Is 3 a factor of (a/10)/(2/(-15))?
True
Let s = 157 - 113. Does 9 divide 551/5 - (s/20 + -2)?
False
Suppose 5 = 5*b - 160. Let g = b + -47. Let i(s) = -s**3 - 14*s**2 - 2*s + 7. Is i(g) a multiple of 14?
False
Let i(u) = 3*u**2 + 10*u + 17. Let l be i(-6). Let p = 25 + l. Is p a multiple of 30?
True
Suppose 9676 - 1514 = 22*a. Does 9 divide a?
False
Suppose 0 = 5*z + 4*x - 1726, -x = -3*z + 555 + 484. Is 9 a factor of z?
False
Let q(j) = j**3 + 17*j**2 - 12. Is q(-12) a multiple of 12?
True
Let j(r) = -r**2 + 38*r + 70. Is j(34) a multiple of 2?
True
Let u = 25 + -20. Suppose -w + 29 = u. Does 4 divide w?
True
Let s(v) = v**3 - 3*v**2 - v + 8. Let p be s(3). Suppose -68 = -p*f + 1162. Does 25 divide f?
False
Let v = 919 + -546. Is v a multiple of 43?
False
Suppose 31 = -2*k + 1253. Does 9 divide k?
False
Let p = -10 - -16. Suppose 0 = h - p + 2. Suppose h*y = -4*d + 44, d - 12 = -2*d. Does 3 divide y?
False
Let d = -765 + 1321. Does 23 divide d?
False
Let v = -468 + 1334. Suppose j - 4*d - 12 = 174, 4*d = 5*j - v. Suppose -7*i = -2*i - j. Is i a multiple of 17?
True
Suppose 2*h - 2219 - 526 = -u, 0 = 2*h + 4*u - 2730. Is 7 a factor of h?
False
Let a be (-1)/3*(-17 - -5). Suppose h = 2*m - 12, 16 = -a*h - 0. Suppose 2*b - 11 = t + 92, m*t = 5*b - 250. Is 14 a factor of b?
False
Let b(l) = l**3 - 10*l**2 - 9*l - 6. Suppose t + 37 = 3*a, a = -t - 2 + 9. Is 8 a factor of b(a)?
True
Let t = 2224 + -1144. Is 5 a factor of t?
True
Suppose 0 = 4*x - 3*z - 9, -4*z = -4*x + 8. Is 18 a factor of 4164/15 - x*4/(-30)?
False
Suppose 0 = -3*o + 3, -3*o = 5*z - 2*o + 34. Let a(p) = -p**3 - 7*p**2 - 7*p - 1. Does 35 divide a(z)?
False
Is 13 a factor of 2/((-96)/97 - -1)?
False
Suppose 0 = -4*q + c + 41, -2*q - 3*c = q - 42. Suppose q = -5*s + 36. Is 2/s + (-356)/(-10) a multiple of 8?
False
Let j(y) be the second derivative of -y**5/20 + 5*y**4/6 - y**3 - y**2 - 13*y. Is j(9) a multiple of 4?
False
Let l be 2286/(-21) + 3*2/(-42). Let w = -68 - l. Does 9 divide w?
False
Let z(r) = -120*r - 193. Is 28 a factor of z(-8)?
False
Suppose -485 = -21*m + 16*m. Suppose -165 = -4*o - 4*j + 263, o + 3*j = m. Is 14 a factor of o?
True
Let i(z) = -z**3 - 10*z**2 - 10*z - 3. Let j be i(-9). Let u = -18 + j. Is (-8)/u*117 - 4 a multiple of 30?
False
Let p(l) = l**3 - 5*l**2 + 3. Let j be p(5). Suppose -3*q - 21 = -j*s, -2*s + 1 = -s + q. Suppose n = s*n - 54. Does 5 divide n?
False
Suppose 5*p + 2 = -3*l + 6, -4*p + 4 = 2*l. Suppose