tor of i/6*(-16)/(-3)?
False
Suppose 0 = n - 0 - 6. Let p = 6 - n. Suppose p*k + k = 23. Is k a multiple of 23?
True
Suppose 0 = -3*c - 4*o + 90, -o = -3*c + 2*o + 69. Does 13 divide c?
True
Let h be (4 + -1)/(9/(-24)). Let f = -5 - h. Does 10 divide (57 - f)*2/4?
False
Let i be ((-36)/8)/((-1)/2). Let a = -13 - -29. Let c = a - i. Is 7 a factor of c?
True
Suppose 0 = -y - 4*y + 20. Suppose 2*p - 3*b - 10 = 55, -5*b = -y*p + 131. Let l = p - 23. Does 10 divide l?
False
Let y(b) = 0 - 2*b - 2 - 3 - 10. Does 2 divide y(-11)?
False
Let d(z) be the second derivative of -z**8/3360 + z**7/1260 + z**6/180 + z**5/40 + z**4/6 + 3*z. Let k(u) be the third derivative of d(u). Does 18 divide k(-2)?
False
Let v(u) = -7*u. Let j be v(-2). Let h = j + -6. Is h a multiple of 3?
False
Let w = -7 - -9. Let z(j) = j - 1. Let p be z(w). Does 20 divide 2/(((-1)/p)/(-10))?
True
Suppose -4*k + 55 = -5*q, -q + 2 + 1 = 2*k. Let u = q - -19. Does 4 divide u?
True
Let b = -7 - -30. Let w = b + -16. Suppose -m + 4 = -w. Does 6 divide m?
False
Let j = 76 + -40. Is 18 a factor of j?
True
Suppose 0 = 3*d + 2*n - 12, 5*d - 5*n = 2*d - 9. Let l(p) = 8*p + 2*p**2 - 4*p**2 + p**d. Is l(5) a multiple of 15?
True
Suppose 3*n - 3*g = 165 + 360, 0 = -5*g + 25. Suppose -3*h - h = -n. Suppose f = j - h, -155 = j - 5*j - f. Is 20 a factor of j?
True
Suppose -2*r + 5*r = 1005. Is r a multiple of 43?
False
Suppose 644 = 4*u + y, 2*y = -2*u - 2*u + 640. Does 27 divide u?
True
Let v(a) = 3*a**2 + 7*a - 8. Let w(f) = 4*f**2 + 6*f - 9. Let u(c) = -3*v(c) + 2*w(c). Is u(-7) a multiple of 10?
True
Let t = 349 + -196. Suppose -m = 2*m - t. Suppose 3*y = -0*y + m. Is y a multiple of 17?
True
Let b(h) = -h + 3. Let g be b(-6). Let i(j) = 2*j**2 + 4*j + 6. Let n be i(g). Suppose 120 = 3*a + 3*x, 2*a - 7*a + n = 3*x. Is a a multiple of 16?
False
Suppose 0 + 6 = 2*p + 2*z, -2*p - 3*z + 5 = 0. Suppose 8*w - 8 = p*w. Suppose 6*q = w*q + 56. Is q a multiple of 8?
False
Suppose -o + 4*o = 45. Does 5 divide o?
True
Is 4 a factor of ((-1)/((-4)/(-52)))/(-1)?
False
Suppose -201 = -3*f - 45. Suppose 3*h - f = -16. Does 4 divide h?
True
Let t be 1*(17 + (-4)/2). Is 4 a factor of ((-16)/(-10))/(6/t)?
True
Is (-3)/(-9)*(54 - 6) a multiple of 4?
True
Let x = 13 + -10. Suppose -x*i + 5*o + 32 = 0, 0 = -o + 2 - 0. Is i a multiple of 14?
True
Let b(m) = -3*m**2 + 4*m - 2*m - 4 + m**3 + 0 - 2*m**2. Let r = -9 + 14. Is 2 a factor of b(r)?
True
Suppose -2*s - s + 252 = 0. Does 18 divide s?
False
Suppose -3*s + 16 + 2 = 0. Suppose -2*m - s = 3*i - 40, 0 = -4*i + 4*m + 32. Does 10 divide i?
True
Suppose -88 = -3*i - i + 4*a, 0 = 2*i - a - 47. Suppose 2*h = 17 + i. Does 7 divide h?
True
Let m(c) = c + 29. Let r(z) = 4*z**2 + z. Let k be r(1). Let x = -18 + k. Does 10 divide m(x)?
False
Let l(g) = -g + 11. Let n be l(8). Suppose -n*w - 1 = -5*i + 7, -5*i = 5*w - 40. Suppose -5*x + 82 = 3*m, -2*m = -5*x + w*x + 19. Is x a multiple of 11?
False
Let r = -19 + 17. Let q = 22 + r. Is q a multiple of 10?
True
Let m(h) = 32*h**2 + h. Let g be (-1 + 4)*3/(-9). Let x be m(g). Suppose -2*l - 5*t + x = 0, -4*l + 75 - 21 = 2*t. Is l a multiple of 5?
False
Suppose -s = -2*k + 330 - 139, -2*k = 2*s - 182. Does 18 divide k?
False
Let o = -121 - -226. Is o a multiple of 25?
False
Let d = 6 + -4. Suppose -4*h + 3*r + d*r = -52, -3*r = -h + 13. Is 5 a factor of h?
False
Let q = -92 + 188. Is 11 a factor of q?
False
Let a = 5 + -2. Suppose 47 + 10 = a*t. Is 8 a factor of t?
False
Suppose -z - 3*u = -84 - 63, 4*u = -4*z + 572. Does 32 divide z?
False
Let c(z) be the first derivative of z**2 + 4*z - 1. Let x be c(-3). Is 9/(x/2*-1) a multiple of 4?
False
Let p be (6*2)/2 - 3. Let j(f) = f**2 + 9*f + 11. Let u be j(-8). Suppose l = -p*l - 12, u*s = -5*l + 90. Is 15 a factor of s?
False
Let d be -129*-5*(-3)/(-9). Suppose 0 = -3*l + d - 83. Does 22 divide l?
True
Suppose -5*k + 7*i - 2*i + 130 = 0, -2*k - 3*i + 47 = 0. Is 4 a factor of k?
False
Suppose -25 = -5*i, -3*z = 2*z - i + 145. Let o = 9 - z. Does 18 divide o?
False
Suppose -5*z + 152 = 4*c, -4*z - 99 = -2*c + 3. Let a = c + -31. Is a a multiple of 5?
False
Let i(m) = -m**3 - m**2 - 2*m - 1. Let c be 2/6 - (-96)/(-18). Let x be ((-2)/(-5))/(1/c). Is 2 a factor of i(x)?
False
Suppose 4*x - 91 = 3*l - 2*l, 2*x = 2*l + 44. Is x a multiple of 13?
False
Let o(l) be the third derivative of l**6/120 + 13*l**5/60 + 11*l**4/24 + 4*l**3/3 + 48*l**2. Suppose -2*y - 13 = 11. Is o(y) a multiple of 10?
True
Suppose 0*y - y + 22 = 0. Is 9 a factor of y?
False
Let m(k) = 21*k**2 + 5*k - 1. Let o(c) = -5*c**2 - c. Let g be -2 - 0*(-2)/4. Let u(q) = g*m(q) - 9*o(q). Is u(-2) a multiple of 8?
True
Suppose w - 9 = -2*r, -4*w + 3 = -r - 15. Is 3 a factor of 3 + -1 - r*-2?
True
Let b(m) = m**3 - 7*m**2 + 6*m - 1. Let f be b(6). Let l be f*3 + -3 + 3. Does 6 divide (36/l)/(3/(-4))?
False
Let s(d) be the first derivative of 2*d**3 - 4 + 3 - 2*d + 0*d**2 + d**2. Is 6 a factor of s(-2)?
True
Suppose a + 305 = 3*q, 0*q - 4*a - 200 = -2*q. Is q a multiple of 40?
False
Let o be ((-2)/(-3))/(4/246). Let c = o - 11. Is c a multiple of 14?
False
Let p(f) = f**3 - f**2 - f - 1. Let m(q) = -4*q**3 + 6*q**2 + 2*q + 3. Suppose -3*s = -2*s + 3. Let d(h) = s*p(h) - m(h). Is 10 a factor of d(4)?
True
Let b = -79 - -121. Is 7 a factor of b?
True
Let r be (-3)/(-4) + (-274)/(-8). Suppose 0 = -4*j + 5 + r. Suppose 2*d - j = 0, -2*q + 3*q - 35 = -2*d. Is 9 a factor of q?
False
Let r be (1 - 0)/(3/(-315)). Let c = r + 151. Is c a multiple of 23?
True
Suppose 498 = -4*q + 170. Let m = -55 - q. Is 12 a factor of m?
False
Is 31 a factor of (71/4)/((-27)/(-216))?
False
Let k be (-63)/(-14)*(8 + 0). Suppose -117 = -3*p - k. Is 9 a factor of p?
True
Suppose -3*k = o - 48 + 2, 4 = o. Let n = k - 8. Is 2 a factor of n?
True
Let s = 34 + -7. Is 9 a factor of s?
True
Suppose 3*l - 42 = 3*c + 36, l = -5*c + 50. Suppose 2*j - 24 = -2*j. Suppose 0 = j*v - 3*v - l. Is v a multiple of 10?
True
Let n(d) = 15*d - 1. Let w be n(2). Suppose -w = -3*p + 2*m, 5*p - 9 = -3*m + 52. Is 4 a factor of p?
False
Suppose q + 2*p + p - 1 = 0, -2*p - 6 = -q. Suppose -q*v = -c - 44 - 32, -4*c = 0. Suppose -2*n = g - 50, -5*g - 3 = n - v. Is 13 a factor of n?
True
Let u = 5 + -2. Suppose w - u*w = -6. Suppose 5*r - r + t - 45 = 0, 0 = -r + w*t - 5. Is r a multiple of 5?
True
Let d = 122 - 72. Suppose 2*s = -7 + 27. Suppose -d = -5*c - s. Does 3 divide c?
False
Let o be (-7 - -7)/(1 - 0). Suppose 5*u - 495 = -o*u. Is u a multiple of 33?
True
Suppose 0 = -3*l + 2*o + 30 + 6, -2*o = 0. Does 11 divide l?
False
Let f = -126 - -258. Suppose 3*r - f = -r. Is r a multiple of 7?
False
Let x be 612/20 - 2/(-5). Let b = 78 - x. Let n = -21 + b. Is n a multiple of 13?
True
Suppose 4*a - 6*a = -96. Is a a multiple of 16?
True
Suppose 6*c + 148 = 2*z + c, 20 = -5*c. Is z a multiple of 18?
False
Let k be -2*1*(2 + -10). Suppose y + 3*y = k. Suppose p - 12 = -y*n, -8*p - 4*n + 108 = -3*p. Does 10 divide p?
False
Let n(r) = 6*r**3 - r**2 - r + 1. Let c be n(1). Is 19 a factor of (-4)/10 - (-287)/c?
True
Let j = 64 - -20. Is 21 a factor of j?
True
Suppose 0 = -2*f + 4 - 0. Suppose -b = -0*b - 5*u - 45, -b + f*u + 36 = 0. Is 10 a factor of b?
True
Does 16 divide 2*(145/5 + 3)?
True
Suppose -5*h = -3*v + 166, -2*h - 2 = -4. Does 29 divide v?
False
Let i(y) = -3*y**3 + 2*y**2 + 3 + 5*y - 3*y + 2*y**3. Let v be i(-3). Suppose -4*w + v = -w. Is 7 a factor of w?
True
Let u(i) = 5*i + 1. Suppose 2 = -2*j + 4. Is u(j) a multiple of 4?
False
Suppose -6 - 10 = -2*p. Suppose -2*m = v + v - p, -4*m = 3*v - 7. Does 9 divide v?
True
Suppose 6*w = 2*w + 8. Suppose 0 = -w*x + 11 - 3, -3*d + 242 = 5*x. Is 18 a factor of d?
False
Suppose 4*f = -29 - 263. Let z = 15 - f. Suppose q - z = -q. Does 19 divide q?
False
Suppose -82 - 6 = -2*q - k, -5*q + 2*k = -202. Does 14 divide q?
True
Let i = 120 + -29. Is 14 a factor of i?
False
Suppose 0 = -3*s - 2*s. Suppose -4 = -w - s*w. Suppose 72 = -2*o + w*o. Is 16 a factor of o?
False
Let x be -26 - (2 - 1)/(-1). Let d = -14 - x. Is 11 a factor of d?
True
Let r(f) = f**3 - 5*f**2 - 5*f. Let q be r(6). Suppose p + 0*p = q. Is 6 a factor of p?
True
Let j(t) = -t**3 - 9*t**2 - 9*t + 9. Let f be j(-7). Let g = 44 + f. Let b = 31 - g. Is b a multiple of 7?