 x. Is 5 a factor of u?
True
Let h(l) = l**3 + 4*l**2 + 2*l + 1. Let b be h(-3). Suppose 0 = 3*c + 2*u + 16, b*c + u + 23 = -2*u. Is (-1)/(1/(96/c)) a multiple of 13?
False
Let x be (-3)/15 + 14/(-5). Let d = 15 - 12. Let k = d - x. Is k a multiple of 3?
True
Suppose 0 = j + 14 - 16, -2*t + 2*j + 1166 = 0. Is t a multiple of 65?
True
Does 36 divide 782 + (-1 - -9) + 2?
True
Suppose 5940 = 3*y + 4*k, -y = -k - 0*k - 1973. Is 13 a factor of y?
True
Let p(m) = -5 - 3*m**3 + 2*m**3 + 7*m**3 + 4 + 2*m. Suppose 2*c = -3*o + 3 + 5, -4*o = -8. Does 7 divide p(c)?
True
Let z(p) = 13*p**3 - 3*p**2 - 6*p - 2. Let k(x) = 6*x**3 - 2*x**2 - 3*x - 1. Let u(b) = 9*k(b) - 4*z(b). Is u(5) a multiple of 12?
True
Let m(x) = x**2 - 4*x + 5. Let w be m(7). Let u be (0 + 0)*13/w. Suppose 2*f = 3*t + 20, -3*f + 4*t + 28 = -u*f. Is f a multiple of 4?
True
Let f(x) = -x**3 - 6*x**2 + x + 10. Let n be f(-6). Suppose n*z = 4 + 4. Suppose -o - 6 = -z*o - 2*r, -3*o + 14 = 2*r. Does 4 divide o?
True
Let z = -5 + 9. Is 60*z/4 + -5 a multiple of 37?
False
Let r(j) = 1 + 10*j**2 + 0 - j - 6*j**2. Let y be r(1). Suppose 0 = 5*s - y*u - 107, 2*u = -s + 6*u + 15. Is s a multiple of 13?
False
Suppose -5*w + 1262 = 3*c, 0 = -7*c + 3*c + 5*w + 1636. Is 18 a factor of c?
True
Let o(g) = g + 23. Let w(x) = 2*x + 5. Let u be w(-9). Does 2 divide o(u)?
True
Let s(p) = 2*p**3 - 5*p**2 + 5*p - 4. Let o be 7 + -3 - (-8)/1. Let u be -4*(-4 + 39/o). Is s(u) a multiple of 10?
True
Suppose 0 = 2*c - 6, 3709 = 3*g + 3*c - 3962. Is g a multiple of 11?
False
Let u = -15 - -22. Let x(b) = 8*b + 6. Is 15 a factor of x(u)?
False
Suppose -238 = -2*j + 5*b + 238, 4*b - 1124 = -5*j. Is 76 a factor of j?
True
Suppose 0 = -h - 12 + 16. Suppose -4*p = 5*j - 366, j + h*p + 0*p - 86 = 0. Suppose -2*m = 3*m - j. Is 11 a factor of m?
False
Suppose -16 = -6*n + 2*n, 3*n - 14 = -2*k. Let o be (-24)/10 + 1 - (-3)/(-5). Is 8 a factor of (o - -1)/(k/(-54))?
False
Let g(a) = 17*a + 3. Let w be g(8). Suppose 3*s - w = -3*u + s, 2*s = 5*u - 237. Suppose 2*k - u = -f, -3*k - 166 = -5*f + 17. Does 13 divide f?
True
Let s(t) = -5*t**2 - 55*t + 66. Let p(r) = r**2 + 11*r - 13. Let h(a) = -11*p(a) - 2*s(a). Let z = -292 - -282. Is h(z) a multiple of 15?
False
Let g(y) = y + 6. Let s = -12 + -10. Let t = -14 - s. Is g(t) a multiple of 4?
False
Let b be (-22)/(-6) - (-14)/(-21). Suppose -b*y + 28 = y. Suppose -2*l + y*l = 200. Is 20 a factor of l?
True
Let a be -6*(-32)/9*6. Suppose -52 = -5*f + a. Is 9 a factor of f?
True
Let j(r) = r**3 + 5*r**2 - 10*r - 8. Let z be j(-6). Let n = z + 0. Is n a multiple of 4?
True
Let x be (4 - 4) + -9 + 3. Is (-1005)/(-18) - 1/x a multiple of 14?
True
Let s be 2/(-6) - (-44)/6 - -2. Let k(b) = -b**3 + 10*b**2 - 2*b - 18. Does 15 divide k(s)?
True
Suppose 5*v + i = 9, -v = -0*i - 4*i - 6. Let s be 0 + 1 + v + 1. Does 16 divide 11*(4 - 2) - s?
False
Suppose -78*u + 82*u - 296 = 0. Is 29 a factor of u?
False
Let c(w) = -34*w**3 + 4*w**2 + 8*w + 7. Is c(-2) a multiple of 19?
False
Let t(b) = b**2 + 4*b - 1. Let m be t(-9). Does 10 divide m - (-3 - 2*14/(-4))?
True
Let k(u) = -64*u - 65. Is k(-2) a multiple of 2?
False
Let w(q) = -q**3 - 5*q**2 - q - 3. Let i(c) = c + 3. Let k be i(-7). Let t be w(k). Is (4 + -3)*-2 - t a multiple of 5?
False
Let a = 545 - 427. Is 7 a factor of a?
False
Suppose 4*j = -0*j - 3*g + 27, -25 = -5*g. Suppose -2*c = 2*d - 4, -2*c - 3 = -d - 1. Suppose -3*w = j*p + p - 123, 2*w - d = 0. Does 10 divide p?
True
Let x = 44 + -63. Let z = 19 + x. Suppose 4*v - 2*v - 40 = z. Is v a multiple of 8?
False
Let o be (3 + 5)*22 - -5. Suppose 4*k = -2*g + 178, 10*k + 5*g - o = 6*k. Is 40 a factor of k?
False
Suppose 0 = -3*b + 13 + 20. Suppose -4*g = -b*g + 483. Does 16 divide g?
False
Let u = 1306 - 877. Is u a multiple of 33?
True
Suppose -4*y + 3*w + 0*w = 0, 0 = -y - 2*w. Suppose y = -5*i + 140 + 35. Is 4 a factor of i?
False
Let m = -1982 - -2223. Does 3 divide m?
False
Let h(r) = -2*r**3 - 43*r**2 - 22*r + 14. Does 2 divide h(-21)?
False
Let s(b) = -2*b**2 - 4*b + 1. Let w be s(-4). Let l be 4047/w - (-1)/(-5). Is 2/8 - l/8 a multiple of 11?
False
Let r(h) = -4*h**2 - 4*h + 2. Let g(d) = -40 + d**2 + 40. Let j(f) = -3*g(f) - r(f). Is 10 a factor of j(-8)?
True
Suppose 5*q - 19 - 1 = 0. Suppose -2*a - 8 = -a - 5*i, -q*a + 31 = i. Does 3 divide a?
False
Let w(c) = -11*c - 3. Let j be w(-3). Suppose -34 = 2*g - 4*n, 4*g + 22 = 4*n - j. Is (-12)/54 + (-407)/g a multiple of 18?
False
Suppose 0 = -2*w - 2*y - 16, 0 = -4*w + y - 4 - 38. Let j be 7515/w + 3/(-6). Does 18 divide j/(-14) + 18/63?
True
Let t(f) = -53*f + 95. Is 20 a factor of t(-27)?
False
Suppose 6*c - 137 - 79 = 0. Is c a multiple of 22?
False
Suppose -24*q + 745 = -23*q + 4*h, -2*h = -3*q + 2305. Is q a multiple of 17?
True
Let q = -274 - -155. Let o = q + 126. Does 2 divide o?
False
Let y(f) = f - 10. Suppose 3*x + t = 30, 0 = -2*x - 0*x - 2*t + 16. Let d be y(x). Is 9 a factor of d + -3 + 1 + 19?
True
Let n = -218 - -1446. Does 79 divide n?
False
Suppose 4*w + d = 1034, 13 = 4*d + 5. Is w a multiple of 10?
False
Let x = -8 + -2. Let a(z) = -z**2 - 11*z - 9. Let n be a(x). Does 14 divide ((-35)/(-10))/(n/12)?
True
Suppose 0 = -3*d + 27 - 18. Suppose -d*s = -9*s + 348. Is s a multiple of 14?
False
Let l(z) = 79*z**2 - 5*z + 3. Let s = -69 + 70. Does 35 divide l(s)?
False
Let s(x) be the first derivative of 11*x**3/6 - 9*x**2/2 - 9*x + 3. Let q(i) be the first derivative of s(i). Is 18 a factor of q(6)?
False
Does 5 divide (-8 + 3)/((-16)/256)?
True
Let j(m) = m**2 - 18*m + 5. Does 30 divide j(27)?
False
Suppose -v + 5*y + 21 = 0, 4*y = -2*v + 3*v - 17. Let l(h) = 70*h**2 + 3*h - 3. Does 7 divide l(v)?
True
Let k(r) be the third derivative of 2/3*r**3 + 0*r + 9*r**2 + 0 + 1/60*r**5 - 1/4*r**4. Is 9 a factor of k(7)?
False
Let q be -438*(-1 - (2 - 4))*-1. Suppose -9*l + 3 + q = 0. Is l a multiple of 12?
False
Let u = 306 + -258. Is 21 a factor of u?
False
Suppose 22 + 38 = 2*v. Is (-10)/v*(0 + -99) a multiple of 11?
True
Let d(p) = -p**3 + 11*p**2 + 1. Let f be d(11). Let c(x) = 117*x**3 - x**2. Let b be c(f). Suppose 3*q - b = -q. Does 12 divide q?
False
Let i be 98/(-8) - (-4)/16. Is 17 a factor of i/((-249)/(-51) + -5)?
True
Let m(k) = 2*k**3 - 5*k**2 - 4*k + 1. Let a be m(4). Suppose -4*w + p = 8 - a, w + 5*p = 1. Is 3 a factor of w?
True
Suppose 8 = 3*o - 4. Let d(l) = -l**3 + 5*l**2 + 3*l - 6. Is d(o) a multiple of 8?
False
Let i = 7 - 3. Is 11 a factor of 55/20*i/1?
True
Let a(m) = 2*m + 24. Let t be a(-9). Suppose -y = t - 18. Is 4 a factor of y?
True
Let r = 178 - 114. Is r a multiple of 32?
True
Let n(a) = -2*a**3 + 59*a**2 - 26*a + 42. Is 4 a factor of n(29)?
False
Let b be (60/90)/(1 + (-311)/309). Let l = -75 - b. Is l even?
True
Suppose 2*b + b = 2*m + 900, 3*b = -m + 900. Is 60 a factor of b?
True
Suppose 102 = d + 6. Suppose -274 = -5*c - b, -c + 3*b = c - d. Is 18 a factor of c?
True
Let m = 274 - 105. Is 70 a factor of m?
False
Suppose 2*r + s = 6*r - 5584, 3*s + 12 = 0. Does 8 divide r?
False
Is 57 a factor of 15 + -10 - (-1356)/2?
False
Let k be (-4 - -18)/7*7*14. Suppose -2*j = 36 - k. Does 16 divide j?
True
Let y = -181 + 255. Let s = 75 + y. Does 18 divide s?
False
Suppose -67*j = -54*j - 6656. Is 18 a factor of j?
False
Suppose 71*q - 84*q = -1313. Is q a multiple of 15?
False
Let n(m) = 11*m**2 - 5*m + 12. Does 5 divide n(3)?
False
Suppose -5*y - 2*c + 189 = 0, -c + 123 + 64 = 5*y. Suppose -2*p + y = 19. Is 5 a factor of p?
False
Let o be (3 + 1 + -4)/2. Suppose -4*j - 3*l + 34 + 45 = o, 4*j - 74 = -2*l. Does 9 divide j?
False
Let n(o) be the third derivative of -o**6/120 - 7*o**5/60 - o**4/3 + 5*o**3/3 + o**2. Let p be n(-7). Suppose p + 14 = 4*c. Is c a multiple of 20?
True
Suppose 840 = 5*j + n, -9*n + 6*n = -3*j + 504. Is j a multiple of 28?
True
Let s = -13 + 24. Let f(d) = 4*d + 24. Is f(s) a multiple of 17?
True
Let z(a) = -9*a + 1. Let p be z(-1). Suppose 4*h - 91 = -n - 0*h, 0 = -5*h + p. Let j = n - 53. Is 15 a factor of j?
True
Suppose -4*o = 14 - 26. Suppose -i + 4*r + 300 = 2*i, -4*i + o*r = -400. Does 7 divide i?
False
Let y = -1427 - -2039. Is y a multiple of 7?
False
Suppose 2*l - 9 = w, -2*w = 3*l + w - 18. Suppose l*d - 160 = d. Is d a multiple of 8?
True
Let r = 28 +