 = 0, 4*d - 175 = 4*t - t. Let m(z) = -4*z**2 + 3*z - 13. Let a be m(3). Let i = a - t. Is i a multiple of 9?
False
Let f(t) = -4*t**3 - 6*t**2 + 3. Let v(c) = 23*c**3 + 35*c**2 - c - 17. Let g(d) = -34*f(d) - 6*v(d). Does 10 divide g(-5)?
True
Is (13/(-39))/((-2)/318) a multiple of 3?
False
Let h = 57 - 53. Does 3 divide 1 - -1*(37 + h)?
True
Suppose -4*k = -2*k - 116. Let p be 0 + 12/3 - k. Let g = -18 - p. Is 17 a factor of g?
False
Suppose -3*p + 537 + 156 = 0. Is 3 a factor of p?
True
Suppose -5*b + 3*h + 9 = -3*b, b = -2*h - 6. Suppose k + k - 142 = b. Is 18 a factor of k?
False
Let s(a) = 6*a + 318. Does 5 divide s(29)?
False
Let y be 43/6 + 2/(-12). Suppose 0 = -l - 0 + y. Is l a multiple of 7?
True
Let k be (-8)/(-6 + 2 - -2). Let l be 6/k + (-15)/(-10). Suppose -3*i = l*y - 9, -3*i = 2*i. Does 2 divide y?
False
Let p(l) = -l**3 - 2*l**2 + l - 3. Let x = 7 + -10. Let r be p(x). Suppose -138 = -4*s + r*j + 94, -3*s + j + 174 = 0. Is s a multiple of 22?
False
Is 2 a factor of (2/(4/27))/((-11)/(-22))?
False
Suppose 0*h + 4*h + a = 324, -4*h - 5*a + 308 = 0. Is h/3 - 1 - (-14)/21 a multiple of 3?
True
Suppose 1280*b = 1286*b - 12726. Is 6 a factor of b?
False
Suppose z - 5*z + 1121 = -5*l, 817 = 3*z + l. Is 18 a factor of z?
False
Let g = -14 - -21. Suppose -4*l - 5*o - g = 0, 0 = -2*o + 2. Let p(d) = -8*d + 4. Is p(l) a multiple of 4?
True
Let x = -64 + 58. Does 24 divide (-879)/x + 2/(-4)?
False
Suppose -5*h + 29 = -3*w, -2*w + 3*w + 2*h + 6 = 0. Let n(i) = 2*i**2 + 2*i + 8. Is 30 a factor of n(w)?
True
Let z(y) be the third derivative of -y**4/3 - 2*y**3 - 2*y**2. Suppose -10*c + 9*c = 9. Is 30 a factor of z(c)?
True
Is -10 - (16 + -7 + -5542) a multiple of 21?
True
Suppose 0 = 2*y - 11*m + 10*m - 579, -1164 = -4*y + 4*m. Does 12 divide y?
True
Let u be 15/(-35) - (-62)/14. Suppose u*z + 432 = 8*z. Is 12 a factor of z?
True
Let t = 11 - 6. Suppose -h + u = -9, t*u - 15 = -h - 4*h. Suppose -28 = -h*q + 2*q. Does 4 divide q?
False
Let q(i) = 2*i**3 - 6*i**2 + 5*i - 17. Is 6 a factor of q(5)?
True
Let w(n) = -34*n - 57. Is w(-12) a multiple of 27?
True
Let s = 625 + 963. Is s a multiple of 56?
False
Let s be (-9 - -19)/(2/3). Suppose 27 - s = -4*u. Does 10 divide u + -3 + (-3 - -49)?
True
Suppose -2*a + 254 + 646 = -5*r, 2*a = -2*r + 928. Is 23 a factor of a?
True
Let t(f) = 2*f**2 - 30*f + 89. Is t(18) a multiple of 9?
False
Let z(t) = -338*t**3 - 2*t - 1. Let q be z(-1). Does 19 divide (3/((-9)/(-2)))/(2/q)?
False
Suppose -4*a - 15*y + 654 = -12*y, 0 = 5*y - 10. Is a a multiple of 9?
True
Suppose -17*f = 41*f - 6844. Does 59 divide f?
True
Suppose 10 + 312 = 2*p. Does 14 divide p?
False
Let t(h) = h**3 + 16*h**2 + 18*h + 33. Is t(-11) a multiple of 82?
False
Let g = 20 - 11. Let o = -6 + g. Suppose 0 = o*t - t - 18. Is t a multiple of 4?
False
Let i(w) = w + 22. Let p be i(-16). Suppose -q = -3*q + p. Let k = q + 77. Is k a multiple of 26?
False
Suppose x - 488 = 2*n, 4*n - 1434 = x - 4*x. Does 25 divide x?
False
Let a(v) = 864*v**2 + 2*v + 5. Is 51 a factor of a(-1)?
True
Suppose -18 = q - 3*x, 5*x - 13 - 6 = -2*q. Does 19 divide 250 + (1/3)/((-1)/q)?
False
Suppose 5*j + 5*k = 6270, 2*j - 265 - 2227 = 2*k. Suppose -5*l + j = 5*t, -5*l + 1278 = -t - t. Suppose 5*s - l = -69. Is s a multiple of 14?
False
Let b(g) = 45*g - 171. Is b(6) a multiple of 5?
False
Let x(t) = -t**2 + 165. Suppose 3 = k, 0 = 4*h - 5*k + 2 + 13. Does 11 divide x(h)?
True
Let u(s) = 20*s**3 + 3*s**2 + 3*s - 39. Is 21 a factor of u(3)?
False
Let m = -51 + 31. Let f = 138 + -53. Let d = m + f. Is 29 a factor of d?
False
Let n(d) = -d + 24. Let g be n(21). Suppose 0 = g*w + 6, -2*q = -2*w - 2*w - 228. Does 15 divide q?
False
Is -5 - (-6 - 901) - -4 a multiple of 18?
False
Suppose 0 = -4*c + r + 87, 12 = -3*r + 3. Let a = c + 185. Is 32 a factor of a?
False
Is (-25)/50 + (-1763)/(-2) a multiple of 54?
False
Suppose -341 = -10*w + 199. Is 6 a factor of w?
True
Let x(t) = 2*t**2 - 4*t + 2. Let n be x(3). Suppose 2*u + 2*l = n, -5*u + 4*l - 11 = 14. Let m(p) = -16*p**3 - p**2 + 1. Is 8 a factor of m(u)?
True
Suppose -n + 7 = -1. Is -2*(-1 + (-3 - n)) a multiple of 4?
True
Suppose -5 - 1 = -3*w. Suppose 3*x + 0*m - 2*m = 14, 4*x + 8 = -4*m. Is -31*(w - x - 1) a multiple of 10?
False
Suppose 0 = -5*a + 15, 2*a = -q + 5*a + 279. Is 27 a factor of q?
False
Let d be (0 - -1)/(2/(-8)). Let n = 59 - 68. Let p = d - n. Is p a multiple of 2?
False
Let m be (3 + -9)*2/(-4). Let q be m - -1*(1 + 1). Suppose 286 = 4*c - a + 6*a, -q*c + a + 372 = 0. Is 21 a factor of c?
False
Let b(z) = 32*z - 8. Let m be b(11). Suppose 4*s + 4*w - 464 = 0, 5*s + w = 2*s + m. Does 26 divide s?
False
Let b(w) = -2*w**3 - 21*w**2 - 78*w - 9. Does 9 divide b(-6)?
True
Suppose 2*p = 18 - 54. Let u = p - -33. Suppose 0 = -2*b - 3*i - 1, 3*i + 0*i + u = 0. Is b a multiple of 3?
False
Let r(i) = 4*i**3 + 10*i**2 - 3*i + 27. Does 19 divide r(5)?
False
Let m = -398 + 1918. Suppose -m = -16*f + 6*f. Is 26 a factor of f?
False
Is 485 + (102/42 - (-16)/28) a multiple of 17?
False
Let d(n) = n**3 - n**2 - 2*n - 4. Let q be d(4). Let w = q + 9. Does 9 divide w?
True
Let j = 36 + 0. Suppose -q + 2*g - 79 = -4*q, 0 = -2*q + 2*g + j. Is q a multiple of 4?
False
Let r be 130/(-35) - 4/14. Is 5 a factor of ((-51)/12 + 0)*r?
False
Let d(x) = x**3 - 7*x**2 + 9*x - 9. Suppose j + j + 4*c - 28 = 0, 3*c = 12. Does 5 divide d(j)?
False
Let f(g) = 119*g - 3. Suppose 10*d = 8*d + 4. Is f(d) a multiple of 47?
True
Let g(q) = -q**2 + 13*q - 22. Let y be g(10). Suppose 5*b = 3*f - 436, y*b - 420 = -3*f + 5*b. Is f a multiple of 20?
False
Is 13 a factor of 129*(-3 - 44/(-6))?
True
Does 4 divide 3 - (-1010)/8 - (-2)/(-8)?
False
Let g(v) be the second derivative of -v**5/20 - v**4/2 + 13*v**3/6 - v**2/2 - 21*v. Is 19 a factor of g(-9)?
False
Let u(h) = h**2 + 9*h - 20. Let k(j) = 3*j. Let b be k(-3). Let l be u(b). Let m = 41 + l. Does 21 divide m?
True
Let m(s) = 8*s - 19. Let c(l) = -4*l + 9 - 2*l - 7*l + 9*l. Let a(n) = 5*c(n) + 2*m(n). Is a(-7) a multiple of 9?
False
Suppose 243*k - 240*k = 195. Suppose 2*g = 35 + 27. Let t = k - g. Is t a multiple of 9?
False
Suppose 841 + 415 = 2*c. Is c a multiple of 11?
False
Let k be (-1)/((-2)/18 + 0). Let y(o) = 17*o + 3*o - 7*o - o**2 - 12. Does 12 divide y(k)?
True
Suppose -5*i = -3*o - 682, o + 105 = 2*i - 123. Let f = -104 - o. Is 12 a factor of f?
True
Suppose 3*a + 3*q - 24 = 0, -9 + 37 = 5*a + 2*q. Suppose -2*m = -4*m + a. Is m*(-2)/(-6)*72 a multiple of 16?
True
Let u(i) = 32*i**3 + 5*i**2 - 4*i - 8. Is u(2) a multiple of 13?
True
Let p(a) = -2*a**3 - a**2 + 2*a + 6. Let g be p(-4). Suppose t = 3*t - g. Does 11 divide t?
True
Suppose 3*r - 6 = -0. Suppose 0 = -r*g + 4*g - 102. Does 17 divide g?
True
Suppose 4*v = -5*c + 30, c - 2*v - 3*v = -23. Suppose c*f - 27 - 57 = 0. Is f a multiple of 42?
True
Let o = -200 + 224. Is o a multiple of 6?
True
Does 9 divide (7 + -6)*(189 - 2)?
False
Let y(p) = -1 - 8 + 6*p + 3. Is y(8) a multiple of 27?
False
Let s(v) = v**2 - v + 6. Let r be s(0). Suppose -r*i - 564 = -10*i. Is 26 a factor of i?
False
Let v = 72 + -76. Does 17 divide (595/10 - 3)/((-1)/v)?
False
Suppose 1569 = 7*u - 3128. Is u a multiple of 13?
False
Suppose -2*h + 3*g + 624 = 0, -3*h + 242 + 694 = 3*g. Does 39 divide h?
True
Is (247/19 - -951) + 2*2 a multiple of 4?
True
Let r(n) = n**2 + 6*n + 4. Let c be r(-5). Let k be ((-11)/4)/((-13)/(-52)). Does 17 divide k/((-22)/36) + c?
True
Let r(n) = -n**3 - 8. Let w be r(0). Let s(y) be the second derivative of -y**3/2 - 13*y**2/2 + 20*y. Does 3 divide s(w)?
False
Let u(c) = c + 5. Let h be u(-4). Let j = h + 3. Suppose 2*z = -i + 40, z = j*i - i - 155. Does 25 divide i?
True
Suppose n + 75 = 5*c - 2*n, 3*n = c - 3. Suppose 4*h - 38 = c. Suppose 10*o = h*o - 288. Is o a multiple of 11?
False
Let k(z) = -8*z + 2. Let d be k(8). Let f = -44 - d. Does 6 divide f?
True
Suppose -78*m - 151517 = -379901. Is m a multiple of 8?
True
Let g(c) = -c**2 + 6*c - 5. Let q be g(5). Is (-12)/(-8)*((-104)/(-3) + q) a multiple of 11?
False
Suppose 2 = 2*w + 6. Let n be w + (24 - -3) - 0. Suppose -i - 5 = -n. Is 10 a factor of i?
True
Suppose 2*o - 4*n = 106, -o + 15 = 2*n - 30. Does 17 divide o?
False
Let v(a) = a + 1. Let p(g) = 4. Let y(d) = -