False
Does 28 divide 2 + 12/(-3) + 86?
True
Suppose -57 + 453 = 4*h. Does 30 divide h?
False
Let a be (-2 + -1)*(-4)/(-6). Let h = a + 7. Suppose -3*r = -r + 3*y - 7, -y = -h*r + 43. Is 3 a factor of r?
False
Suppose 5*h = 2*l + 2, -6*l - 8 = -2*h - 7*l. Suppose -3*f + h*f = -50. Is f a multiple of 25?
True
Let h(y) = y**2 - 9*y. Let d be h(9). Suppose d = b - 3 - 2. Suppose -5*i + 49 + 1 = 3*p, b*i - 50 = 4*p. Does 8 divide i?
False
Does 4 divide ((-63)/6)/(9/(-18))?
False
Suppose -52 = -4*m + 4*q, -m - 5*q = -5*m + 55. Suppose 0 = -3*f + 71 + m. Is f a multiple of 9?
True
Suppose 0 = -2*h + g + 8, 14 = 4*h - g - 0*g. Suppose -h*y - 70 = 2*y + u, -55 = 4*y + u. Does 14 divide 5*2*(-21)/y?
True
Let u = 2 - 0. Let m be 24/6*u/(-4). Does 3 divide 1*m*-2 + 2?
True
Let j(f) = f**2 - 4*f + 3. Let a be j(5). Let h = a - -52. Does 20 divide h?
True
Let n(m) = 2*m**2 + 7*m - 18. Does 10 divide n(-9)?
False
Let a(b) = -b**3 + 6*b**2 + 10*b + 1. Does 14 divide a(5)?
False
Does 4 divide (4 + 120/(-9))*36/(-14)?
True
Suppose -4*i - 5*a - 184 = -7*i, 5*i - 3*a - 312 = 0. Let t = i + -18. Is 15 a factor of t?
True
Is 3 a factor of (-8 + 7)*(-9 - 0)?
True
Let y(p) = 3*p + 17. Let f be y(-9). Is ((-15)/f)/(1/56) a multiple of 28?
True
Let i(t) = -t - 1. Let r = 1 - 4. Let b be i(r). Suppose 15 = -b*m + 67. Is 17 a factor of m?
False
Suppose 0 = 4*c - 4, -5*s = -2*c - 2*c - 486. Let k = s + -38. Does 30 divide k?
True
Let b = 126 - 63. Does 21 divide b?
True
Suppose 5*x + 2*i = -2*i + 11, -x = 3*i. Suppose j + 0*j - x = 0. Suppose 3*t - 81 = -3*a, -j*t - 184 + 9 = -5*a. Does 13 divide a?
False
Suppose 3*g - 35 = -g - t, -3*t = -g + 25. Let d = g - 6. Let u = d - 1. Is u even?
False
Suppose -33 = -4*d + 71. Is d a multiple of 8?
False
Let n(c) = -c**3 + 19*c**2 + 23*c - 3. Is 13 a factor of n(20)?
False
Suppose 4*w + 5*i - 2*i = 27, 5*i - 37 = -4*w. Suppose -2*g = w - 1. Does 17 divide g + 3 + (2 - -40)?
False
Let w = 62 - 97. Let a be (-4)/14 - 220/w. Suppose -2*x = -a*x + 36. Is 8 a factor of x?
False
Let c = -215 + 138. Let l = -54 - c. Suppose -l = -v + 7. Is 15 a factor of v?
True
Let s be (130/15)/(2/(-3)). Let h = s - -8. Let o(p) = p**3 + 5*p**2 - 3*p + 5. Is 10 a factor of o(h)?
True
Let c = 1 - -2. Suppose c*v = v + 56. Does 8 divide v?
False
Suppose 12 = 4*a - a. Suppose 0*z - 4*i = -4*z + 52, 4*i - 52 = -a*z. Is z a multiple of 13?
True
Suppose 0*v + 8 = 2*v. Suppose 20 = v*p - 156. Is 21 a factor of p?
False
Let n = 12 + -7. Suppose n*c - 5*v - 35 = -0*v, 0 = -v - 4. Suppose -5*i - 2*h + 0*h = -127, -c*i + 2*h = -73. Is i a multiple of 18?
False
Suppose 3*f + z = 35, 2*z - 36 - 12 = -4*f. Suppose -21 = -4*k + f. Let g = k - -4. Does 12 divide g?
True
Let k(m) = m**2 + 12*m + 16. Let y(s) = s + 2. Let z be y(-4). Let f be -9 + (-2 - (z - -2)). Is k(f) a multiple of 2?
False
Suppose 0 = -i - 3*l - 3 + 58, -5*l = i - 45. Does 14 divide i?
True
Suppose 351 = 3*f + 3*z, -81 + 432 = 3*f + 4*z. Is 13 a factor of f?
True
Let a(y) = 14*y**2 - 13*y + 56. Let g(z) = -5*z**2 + 4*z - 19. Let h(w) = 6*a(w) + 17*g(w). Is 13 a factor of h(-10)?
True
Suppose -f + 83 = -0*f. Suppose 3*y - f + 8 = 0. Does 25 divide y?
True
Let i(q) = 3*q + 3. Let y be i(-7). Let l = 4 - y. Is l a multiple of 18?
False
Let j = -4 + 0. Let a = 2 + j. Is 10 a factor of a/5 - 510/(-25)?
True
Suppose -5*f - 4*z + 680 = 0, 0*z + 2*z + 430 = 3*f. Is f a multiple of 14?
True
Is 29 a factor of 175 + (-4)/(10/(-5))?
False
Suppose 3 + 0 = -2*z + 3*v, 2*v = 5*z - 20. Let u = 24 - z. Does 10 divide u?
False
Suppose 61 + 3 = 4*j. Let z = j + 91. Suppose 3*a + 32 = z. Is a a multiple of 19?
False
Let d = 24 + -13. Does 5 divide d?
False
Let h = -105 + 188. Suppose 3*y = 5 - h. Let b = -2 - y. Does 15 divide b?
False
Let f be (3 - 2)*16/(-2). Let m be ((-20)/f)/(1/26). Suppose 5*c - m = 3*v, -5*c + 37 - 2 = 3*v. Is 4 a factor of c?
False
Suppose 2*l = 3*x + 51 + 97, x - 233 = -3*l. Does 20 divide l?
False
Let l(v) = -2*v**3 - 8*v**2 + 8*v + 14. Does 12 divide l(-5)?
True
Let m = 12 - -208. Is 20 a factor of m?
True
Suppose -13 + 2 = -o. Let c(h) = -h**2 + 15*h - 6. Does 17 divide c(o)?
False
Let m be (8/10)/(4/10). Let f be (0/(m - 0))/(-1). Does 5 divide 22/(3 + f + -1)?
False
Let a = -1 + 1. Let g = 4 + a. Suppose -5*x - 6*k + 40 = -4*k, g*x = 2*k + 14. Is 2 a factor of x?
True
Let y(v) = -v**3 - 11*v**2 - 14*v - 4. Is y(-10) a multiple of 12?
True
Let m be -1 + 3 + (4 - 6). Let f(u) = u**2 + 51. Does 17 divide f(m)?
True
Suppose 2*k - 12 = -3*k - a, 4*k = -4*a. Let u = 0 + -21. Does 16 divide 2/k + (-700)/u?
False
Is 12 a factor of -3 + 153 + (-12)/3 + 1?
False
Let f(i) = -i**3 - 2*i**2 - i + 4. Let w be f(-4). Suppose -w = -4*p - 0*p. Is 10 a factor of p?
True
Suppose 6 = -2*n - 10. Let y(v) = -2*v - 11. Let d be y(n). Suppose -38 = 3*x - d*x. Does 9 divide x?
False
Suppose -4*l - 13 = -x, 6*x = 5*l + 3*x + 11. Let a be l/(-18) + 1904/18. Does 14 divide a/3 + (-1)/3?
False
Let p be (-1)/(-3) - (-535)/15. Let b be p/10 + 12/30. Suppose 5*n - 4*u - 62 = 0, b*n - 32 = 3*u + 17. Is n a multiple of 6?
False
Let k(x) = x**3 - 2*x**2 - 3*x + 2. Let j be k(3). Suppose j*p - 4*p + 24 = n, -2*p + 32 = -n. Let c = 27 - p. Is 13 a factor of c?
True
Suppose 4*n + 3 - 11 = 0. Let z be 22 - (4/2)/1. Let y = n + z. Is 9 a factor of y?
False
Suppose -2*s + 3*m = -6*s + 25, -4*m = s - 3. Is s a multiple of 3?
False
Let n = 7 + -3. Let h(r) = r**2 + 2*r - 3. Does 16 divide h(n)?
False
Suppose -2*p + 5*c + 26 = 0, 2*p - 6*c = -2*c + 22. Let g be 616/12 + 2/p. Suppose 0 = 5*l + 5*n - 120, 3*l = -0*l + 2*n + g. Does 20 divide l?
True
Let g(u) = -26*u + 1. Let k be (-2 + 3)*(-1 - 1). Does 14 divide g(k)?
False
Let n(a) = 2*a**2 - 12*a - 16. Is n(-8) a multiple of 52?
True
Let i be (34/8 + -2)*-4. Let j = 14 - i. Suppose -4*k + j + 17 = 0. Does 5 divide k?
True
Let c = 8 + -3. Suppose c*b = 3*b + 114. Is 18 a factor of b?
False
Is (1 - -3)/((-2)/(-3)) even?
True
Suppose -3*v = 0, -5*a - 4*v = -0 - 30. Suppose -a*w + w = 40. Let s = w - -25. Is s a multiple of 10?
False
Let y be (-965)/(-25) + 2/5. Suppose -16 = 4*w - 68. Suppose -3*z - 4*p = -w, z + p = -3*z + y. Is z a multiple of 11?
True
Let p(w) = w + 21. Let u be p(-9). Does 7 divide 2/8 + 249/u?
True
Let o(y) = y**2 + y - 1. Let k be o(-2). Suppose 3*z + k = 31. Does 4 divide (-12)/10*z/(-3)?
True
Let h = 149 + -76. Is h a multiple of 3?
False
Let w = -50 - -122. Is 5 a factor of w?
False
Suppose 0 = 2*q + 2*k - 62, 0 = -5*k - 17 - 8. Is q a multiple of 12?
True
Let b(d) = -d**2 + d + 66. Let l be b(0). Suppose 0 = 3*u + l - 264. Is 22 a factor of u?
True
Suppose -n - n - 82 = 0. Let f = -23 - n. Is f a multiple of 18?
True
Let x be (-310)/50 - (-2)/10. Is (-81)/6*20/x a multiple of 9?
True
Let f(w) be the first derivative of -3*w**2/2 - 5*w - 3. Let n be f(-4). Let h = 17 - n. Does 5 divide h?
True
Let u = -5 - -7. Suppose 0 = -7*q + 3*q + 24. Suppose 0 = -u*r + 22 + q. Does 10 divide r?
False
Let f(u) = -u - 9. Let y be f(-7). Is 3 a factor of (-1)/(1/(-1)) - y?
True
Let u be (14 - 6)*(-6)/(-4). Let c = 15 - u. Is 3 a factor of c?
True
Let l(r) = 1 + 2 + 4*r - 2 - 35*r. Let n(w) = -w**3 + w**2 - w - 1. Let b be n(0). Is l(b) a multiple of 16?
True
Suppose -6*w = -7*w + 4. Suppose w*s + 0*s = 92. Is 11 a factor of s?
False
Suppose -i - 2 = b - 0*i, 10 = -3*b - 4*i. Suppose -2*q + 65 = 3*f, -7 = b*f - 3*f + 3*q. Is f a multiple of 8?
False
Let k(s) = -10*s - 4*s**3 + 2 - 5*s**2 + 3*s**3 - 5*s**2. Suppose 17 + 28 = -5*p. Is k(p) a multiple of 4?
False
Suppose 3*o = -o + 544. Is 34 a factor of o?
True
Suppose 0 = -5*c - 3*f, 0*f - 5*f = -2*c. Suppose 3*v = 2*v - 24. Does 5 divide -2 + c + v/(-3)?
False
Suppose -u - 5*i - 21 = 0, 2*u - 5*i - 9 = 6*u. Suppose 3*b = -u*z + 15, -2*z - 2*b = 2*z - 14. Does 9 divide ((-70)/7)/((-2)/z)?
False
Suppose w = -1, 0*q + 3*w - 26 = -q. Is 15 a factor of q?
False
Is 8 a factor of (-524)/(-22) - (-22)/121?
True
Suppose 0 = h + 3*h - 116. Is h a multiple of 7?
False
Let w(l) = l. Let x be w(-10). Let s be x/(3/(4 - 1)). Is (-156)/(-10) - (-6)/s a multiple of 6?
False
Let r(h) = 6*h. Let j be r(1). Suppose 4*v + 3*x - j*x = 10, -x = -3*v + 10. Does 3 divide v?
False
Is 40*(0 + -1)/(-2 - -1) a multiple of 10?
True
Let f = 139 - 