Does 18 divide m?
True
Suppose -4*q + 5*q + 562 = 5*y, 0 = 5*y + 2*q - 556. Is y a multiple of 8?
True
Let c(q) = q**2 + 3*q - 16. Is 12 a factor of c(8)?
True
Let o(f) = -f + 1. Let h(a) = -4*a + 3. Let y(s) = -h(s) + 3*o(s). Let r be y(5). Suppose r*d - 34 = 21. Is 5 a factor of d?
False
Let r = 5 + -1. Suppose -80 = 3*f - c - c, 0 = -2*f + 5*c - 57. Does 24 divide (r - f) + 6/2?
False
Let g(a) = 83*a**2 + 2*a - 1. Is g(1) a multiple of 7?
True
Is (13 + -9)/(2/3) a multiple of 2?
True
Let x = -23 - -373. Is x a multiple of 14?
True
Let q be 7/(0 + 3/(-3)). Is 5 a factor of q*(-4 - (1 - 4))?
False
Let d(a) = 30*a + 4. Let y be d(4). Let p = y - 70. Does 19 divide p?
False
Let n(o) = 4*o + 1. Let i(g) = 33*g - 8. Let z(r) = 11*r - 3. Let c(p) = 6*i(p) - 17*z(p). Let y(m) = 3*c(m) - 8*n(m). Is 4 a factor of y(11)?
True
Suppose 4*n - 2*n = 50. Let l = 74 - n. Suppose -5*q + 61 = -l. Is 11 a factor of q?
True
Is 27 - ((-4)/(-4) + 1) a multiple of 25?
True
Let b be (2/5)/(7/70). Suppose -2*p = 3*g - 19, b*g - 3*p - 19 = -g. Does 5 divide g?
True
Let h(c) be the second derivative of -c**5/10 - c**4/4 + c**3/3 + 3*c**2/2 + c. Let x be h(-3). Let f = 36 - x. Is 6 a factor of f?
True
Suppose 5*s - 2*l - 41 = 4*s, 0 = -2*s - 3*l + 75. Is 16 a factor of s?
False
Let x(y) = y**2 - 4*y - 6. Let b be x(7). Suppose 5*a + 2*v - b = 4*a, 3*a - 85 = 2*v. Suppose 5*k - a = 15. Does 4 divide k?
True
Suppose -2*x + 76 = -4*c, -3*c + 174 = -7*x + 11*x. Does 3 divide x?
True
Suppose 9 = 2*o + o. Suppose -9 + 3 = -o*c. Does 2 divide c?
True
Suppose -a = -2*x + 4, 4*a - 3*x + 8 = x. Suppose i - 2 - 4 = a. Suppose -4*s + 22 = -i. Is 7 a factor of s?
True
Let j = 150 + 16. Is 31 a factor of j?
False
Let t = -1 - 0. Let h(y) = -51*y**3 + y + 1. Let d be h(t). Suppose 0 = 5*j - 19 - d. Is 8 a factor of j?
False
Let k = 1 - 1. Suppose 0 = -5*q - k*q + 65. Is q a multiple of 13?
True
Suppose -4*n - 32 = -2*b, -b + 5*b - 5*n - 49 = 0. Let x be b/(-15) + (-284)/(-10). Let j = -20 + x. Is j a multiple of 8?
True
Let r(c) = -c**2 + 16*c. Let q = 0 + 11. Does 17 divide r(q)?
False
Suppose 10 = -2*b, 8*b + 8 = -4*m + 4*b. Let o = m + -4. Is (o + 10/(-1))*-3 a multiple of 16?
False
Let q = -83 - -167. Does 28 divide q?
True
Suppose -3 = k - 18. Is k a multiple of 5?
True
Let b(u) = -u**2 - 13*u + 4. Is 39 a factor of b(-8)?
False
Let q(w) = 4*w**2 + 4*w + 6. Suppose -4*u - f = 20, 5*f = 2*u - 0*f + 10. Let k be q(u). Suppose -4*c + 2*v = v - k, 3*c - 65 = v. Is 11 a factor of c?
False
Suppose -1248 = -x - 7*x. Is 18 a factor of x?
False
Let k be ((-8)/12)/(2/(-18)). Let d(r) = 2*r. Is d(k) a multiple of 6?
True
Let u be 5*((-6)/(-2) - -1). Let m = -7 + u. Does 4 divide m?
False
Let u(s) = -s**3 - 5*s**2 - 5. Let t be u(-4). Let z = -13 - t. Is z a multiple of 4?
True
Let b be ((-8)/10)/((-6)/(-15)). Let v(k) = -2*k**3 - k**2 - 1. Does 6 divide v(b)?
False
Suppose 6*f + 90 = 3*f. Let d = f - -72. Is d a multiple of 20?
False
Let j = -23 - -45. Is j a multiple of 4?
False
Let z(y) = -y + 3. Let m be z(3). Let o(n) = n**2 - 4*n + 5*n + 10 + 0. Does 5 divide o(m)?
True
Suppose -a - a - 8 = 0, -3*v - 34 = 4*a. Let f = v - -9. Is 2 a factor of f?
False
Suppose 0 = 5*u + 3*y - 2*y - 61, 0 = 3*u - 2*y - 47. Is (u/1)/((-2)/(-4)) a multiple of 13?
True
Suppose -4*b + 365 = b + y, 0 = 3*b + 3*y - 219. Does 27 divide b?
False
Let l = -9 + 12. Suppose -3*o = -z - l*z + 116, -2*z + 48 = o. Is 9 a factor of z?
False
Suppose 0 = f - 5*f. Suppose f = 3*k - 11 - 1. Suppose v + 24 = k*v. Is v a multiple of 4?
True
Let y = 50 + 4. Does 22 divide y?
False
Suppose 5*i - 3*o = 4, -4*i + 23 = 3*o + 9. Let b be -3*i*(-1)/3. Suppose -v - 2*w + 31 = w, -3*v + b*w = -38. Does 15 divide v?
False
Let i = 30 - -19. Does 7 divide i?
True
Is (-56)/(-6) - -2*1/3 a multiple of 5?
True
Suppose 179 = 3*v + 47. Let s = 5 + v. Is s a multiple of 20?
False
Is (8/6)/(64/15648) a multiple of 39?
False
Suppose -4*m + 43 = -17. Is m even?
False
Let d(b) = b**3 + 6*b**2 + 5*b + 1. Let f be d(-5). Does 4 divide f/((-1)/3)*-2?
False
Let z(y) = 2*y**3 - 2*y**3 - 13*y**3 + 2*y**2 - 7*y**3 + 1 + 2*y. Is z(-1) a multiple of 7?
True
Suppose -5*t - 5 = 5. Let k be 3 - 3/6*t. Suppose k*y + 22 = 5*y. Does 6 divide y?
False
Let p(k) = 12 - 2*k + 3*k - 5*k + 0. Is 26 a factor of p(-10)?
True
Is 8/(-36) - ((-1660)/18 - 4) a multiple of 16?
True
Let w be (5 + -1)*(-7)/(-4). Let r(v) = v**2 - 7*v + 7. Does 4 divide r(w)?
False
Suppose 0 = 3*z - 3*v - 174, -4*z - 4*v = 80 - 280. Does 18 divide z?
True
Let s be (0 - 1)*-31*1. Let h be (-7 - (1 + -3))/(1/(-11)). Let z = h - s. Is z a multiple of 12?
True
Suppose -2*a = 4, 4 = -5*h - 5*a - 1. Is (h - (-3)/(-9))*15 a multiple of 9?
False
Let w = 27 - 39. Let b = 42 - 20. Let y = b + w. Is 8 a factor of y?
False
Let d be ((-108)/14)/((-5)/35). Suppose -6*v = -3*v - d. Is v a multiple of 6?
True
Let n(w) = 7*w**2 + 5*w - 4. Let h be ((-6)/8)/(2/(-8)). Is 19 a factor of n(h)?
False
Is 6 a factor of (-1 - 49/(-3)) + 12/18?
False
Suppose 2*p = -4*g + 2*g + 70, 2*p - 74 = -3*g. Suppose -3*r = -2 + 68. Let i = r + p. Does 9 divide i?
True
Suppose -3*s - s + 124 = 0. Suppose -s = -4*p - 3*g, 0*p = 2*p - 2*g - 12. Is 19 a factor of 2/7 - (-131)/p?
True
Let x be (-30)/4*(-38)/3. Let d(h) = h**3 + 14*h**2 - 5*h - 5. Let u be d(-14). Let f = x - u. Is f a multiple of 15?
True
Suppose d - 6*d + 280 = 0. Suppose -3*w - 130 + 40 = 0. Let o = w + d. Is o a multiple of 10?
False
Let t = 128 - 32. Does 8 divide t?
True
Let h(n) = -4*n**3 - 4*n**2 - 10*n - 10. Does 37 divide h(-4)?
True
Let p be (-4)/(-6)*(1 - -2). Let n(h) = -3*h**3 - h**2 - h - 3. Let i be n(-2). Let b = p + i. Does 15 divide b?
False
Suppose 0 = -3*n + 2*n - 28. Is ((-120)/n)/(1/7) a multiple of 15?
True
Suppose k - 4*z + 2*z - 41 = 0, 2*k - 89 = -3*z. Suppose 0 = 2*j - 5 - k. Is 12 a factor of j?
True
Is 15 a factor of (-2 + 0 + -6)*(-17)/4?
False
Suppose -z + 3 = -0*z. Let k(t) = t**2 - 2*t. Let n be k(z). Suppose -2*b + 5*c = -66, n*b - c + 0*c = 86. Is 15 a factor of b?
False
Let q be 6/21 + 78/21. Suppose 2*o = q*o - 24. Is o a multiple of 12?
True
Let l(u) = -13*u + 3. Does 32 divide l(-5)?
False
Let b(o) = o**3 + 2*o**2 + o + 4. Let v be b(-2). Does 27 divide (-978)/(-9) + v/(-3)?
True
Suppose -d + 3*d - 6 = 0, -273 = 4*u - 3*d. Is 26 a factor of (9/(-6))/(3/u)?
False
Let o(h) be the second derivative of 5*h**3/6 + 7*h**2/2 + h. Is o(5) a multiple of 18?
False
Suppose -4*d + 512 = -4*n, -11*d = -8*d + 2*n - 359. Is 21 a factor of d?
False
Let t = 16 - 16. Suppose -5*l = -20, t = -f + 4*l - 12. Is 4 a factor of f?
True
Let n be 14/(-21) + 16/6. Suppose 4*g - t - 59 = 0, -n*g - 3*t + 33 = g. Does 5 divide g?
False
Let a(h) = 3*h**2 - 6*h + 10. Is a(3) a multiple of 13?
False
Let r(x) = x**3 + 2*x**2 - 1. Let k be r(-1). Let d(y) = k*y - 2*y**3 - 6*y - 2 - 4*y**2 + 2*y. Does 6 divide d(-2)?
True
Let j be 4/14 + (-38)/(-14). Suppose -p + 37 = -j*i, p + 0*i + i = 57. Suppose 4*b - 2*h - 18 = 6, -5*h = 4*b - p. Is b a multiple of 4?
True
Let w(l) = -l**3 + 5*l**2 - 6*l - 6. Let g be w(5). Let m = g - -59. Suppose 0 = -2*u + 3*j + 47, 2*j = -3*u + m + 15. Is 8 a factor of u?
True
Let n(c) = -4*c**3 + c**2 + 2*c. Let x = 0 - 2. Let q be n(x). Suppose -3*r + q = g - 68, -r = 4*g - 26. Is r a multiple of 16?
False
Let c(w) be the second derivative of w**3/2 + 6*w**2 - w. Let q be c(-9). Let h = q - -27. Is h a multiple of 11?
False
Let z = 9 + -4. Suppose 2*c + 366 = z*j - 0*c, -j + 84 = -4*c. Suppose -a = a + 3*o - j, 0 = 5*a - o - 180. Does 13 divide a?
False
Suppose 0 = -3*y - 15, -3*s + 5*s = 4*y + 24. Suppose s*t = t + 25. Does 11 divide t?
False
Let s = -203 - -397. Is 15 a factor of s?
False
Suppose -4*f - 91 - 69 = 0. Let t = 75 + f. Is t a multiple of 12?
False
Suppose 2*u = 5*d - 14, 4*u - 7 = -d + 9. Suppose d*o - 4*i = 8, 2*o = 3*o + 3*i + 6. Suppose 0 = -5*w - 20, -r + o*w - 5*w = 12. Is 3 a factor of r?
False
Is (18/(-4))/((-3)/(-5 + 35)) a multiple of 15?
True
Let u(d) = -d**2 - 4*d + 4. Let i be u(-4). Suppose 5*r = i*h - 37, -r - 3 = h - 1. Is 2 a factor of h?
False
Let b = 48 - 23. Let m be ((-408)/(-30))/(2/b). Suppose 0 = 2*w + 3*w - 2*t - m, 0 = -5*w + t + 175. Is 15 a factor of w?
False
Let g be (-4)/14 + 1456/(-49). L