ltiple of 9?
True
Suppose 5*u + 7 = 4*u. Let c be u + 3 - 0 - 8. Let j = c + 57. Is j a multiple of 22?
False
Let k be 710/3 + 6/(-9). Suppose 3*v + 71 = k. Does 11 divide v?
True
Let c be (-54)/(-7) - (-6)/21. Suppose -4*l - m - 614 = 0, 2*m + 2*m - c = 0. Does 21 divide (-11022)/l - (-8)/(-14)?
False
Let r(x) = -162 - x**3 - x**2 - 3*x**2 + 166 - 7*x. Let f be r(-6). Suppose 4*z = 2*u + 49 + 175, f = 2*z - 4*u. Is z a multiple of 12?
False
Suppose -22 = -5*b + 38. Let t = b + 0. Suppose 0 = s + s - t. Does 3 divide s?
True
Let s = 5 + -2. Suppose s*y = 8*y - 80. Is y a multiple of 5?
False
Let a(o) be the first derivative of 23*o**3/3 + 3*o**2 - 11*o - 30. Is 27 a factor of a(3)?
False
Suppose 7*b - 7125 = 2*b. Is 25 a factor of b?
True
Let w = 14 - 5. Let j(g) = 6*g - 17. Is 4 a factor of j(w)?
False
Let j = -54 + 54. Suppose a + z - 4*z - 53 = j, 0 = -3*a + 3*z + 189. Is a a multiple of 10?
False
Suppose 5*d = -4*j + 985, -72 - 116 = -d + j. Is 49 a factor of d?
False
Let d(h) = 262*h - 130. Does 32 divide d(5)?
False
Suppose -6912 = 979*r - 985*r. Is r a multiple of 9?
True
Let l(q) = -q**3 + 6*q**2 + 8*q - 3. Let a be l(7). Suppose 3*s = 6*k - 3*k - 1071, -a = 2*s. Is k a multiple of 11?
False
Suppose 7*y - 220 = 291. Suppose 3*x + 0*x = 2*h + 239, x = 4*h + y. Does 27 divide x?
True
Suppose 4*h - 16 = 0, 2*y - 5*h = -h + 1064. Is 12 a factor of y?
True
Let b be -1 + (-8 - -1)/1. Let j(a) = -a**3 - 7*a**2 - 12*a - 3. Let m be j(-4). Is ((-28)/b + m)*90 a multiple of 9?
True
Let s(d) = 72*d**3 + d**2 + d - 1. Let f be s(1). Let w be 1*37/2*-2. Let z = f + w. Is 11 a factor of z?
False
Let p = 799 + -493. Suppose 0 = -t - 5*t + p. Is 16 a factor of t?
False
Suppose -65 = -4*d - 0*d + 5*b, 4*d - b = 45. Let r(x) = 10*x - 23. Does 10 divide r(d)?
False
Suppose -3 = 3*d, -40*h = -41*h + 5*d + 53. Does 48 divide h?
True
Suppose 3*q = 13 + 41. Suppose 35 = 3*g + 4*k, g - q = -4*k + 7. Does 3 divide g?
False
Suppose -j = 2*v - 41 - 38, -4*j + 312 = 4*v. Is 11 a factor of j?
True
Suppose -2*h - 10 = 0, -4*z + 2*z = -3*h - 27. Let v = z - -22. Does 4 divide v?
True
Is 6 a factor of 100/(74/12 + -6)?
True
Suppose 0*p + 4*t - 392 = -4*p, 5*p - t - 466 = 0. Let m = -153 + p. Let f = 117 + m. Is 29 a factor of f?
True
Is 3/(-6)*3*(-5784)/18 a multiple of 32?
False
Let n(g) = 451*g - 3. Let o be n(1). Suppose 4*a - 1384 + o = 0. Is 20 a factor of a?
False
Let g be (3*1)/(6/(-8)). Let y = 6 + g. Suppose y*d = -5*a + 43, d = -a + 4*a - 6. Is 4 a factor of d?
False
Suppose -12*k = -3*k - 252. Suppose k*o = 23*o + 50. Is o a multiple of 10?
True
Let f(d) = 3*d - 17. Let k(v) = v + 18. Let h be k(-10). Is 3 a factor of f(h)?
False
Let h(a) = 1 - 9 + a - 2. Let l be h(12). Suppose d - l*d + 59 = 0. Is d a multiple of 13?
False
Let l(h) = -h**2 - 5*h + 4. Let f(k) = k**3 + 14*k**2 + 12*k - 8. Let g be f(-13). Suppose -10 = z - g. Does 2 divide l(z)?
True
Let y(n) = 2*n**3 + 14*n**2 + 3*n + 7. Let q be 3/(-6)*6 + -4. Let u be y(q). Let b = 31 + u. Is 6 a factor of b?
False
Let j(w) = -w**3 + 4*w**2 - 5*w + 2. Let k be j(3). Let c = 41 - k. Does 9 divide c?
True
Let z = 737 + -225. Does 32 divide (z/(-20))/(6/(-15))?
True
Suppose 3*j + 2*w - 4*w = 30, -4*w + 12 = 3*j. Does 28 divide 2/j + 1547/52?
False
Does 38 divide (38/6)/((-845)/(-210) - 4)?
True
Let f(y) = 2*y**3 - 9*y**2 + 13*y - 6. Let q be f(6). Suppose 0*j - q = -12*j. Is 5 a factor of j?
True
Let p(z) = -3*z - 21. Let a be p(-7). Let j = -1 + 6. Suppose j*l - 16 - 44 = a. Is 6 a factor of l?
True
Suppose -11 = -3*z + 1. Suppose 0 = 2*f - 3*w - 278, -z*f + 498 = -5*w - 56. Is 29 a factor of f?
False
Suppose 0 = -10*s + 11402 + 5518. Is 6 a factor of s?
True
Let j(v) = 47*v + 295. Does 3 divide j(4)?
True
Suppose -4*j = -9*j - 60. Let z be 40 - (j/(-4))/(-3). Let a = z + -17. Is 9 a factor of a?
False
Suppose -4*n + 4*r - 31 = -n, -4*n = r + 73. Let m = 13 - n. Suppose 3*g - m = -3*g. Is g a multiple of 2?
False
Let o(r) = r**3 - 4*r**2 - 3*r - 5. Let m be o(5). Suppose -2*z + m - 3 = 0. Is 3 a factor of z/6 - 89/(-6)?
True
Suppose -5*u = t + 3*t - 30, 0 = u - 4*t + 18. Suppose -u*d = -8*d + 378. Is 21 a factor of d?
True
Suppose -o + 0*o = -4*a - 248, o - 243 = 3*a. Is (o/9)/(2/6) a multiple of 22?
False
Let n(x) = -x**3 + x**2 + 1. Let s be n(2). Let k be 73/s - 2/(-6). Is 5 a factor of 2/3 - 368/k?
False
Let p = -83 + 87. Suppose w - 19 = q, 3*q = w - p*w + 81. Is 5 a factor of w?
False
Let a(o) be the second derivative of o**5/20 + 5*o**4/12 - 7*o**3/6 - 5*o**2/2 + o. Is 27 a factor of a(-4)?
False
Suppose 0 = 124*f - 106*f - 1638. Does 13 divide f?
True
Let c(j) be the first derivative of j**3 + 5*j**2/2 + 5. Is 20 a factor of c(5)?
True
Suppose -4*m + 3175 - 8411 = -2*i, 2*m - 13066 = -5*i. Does 31 divide i?
False
Suppose 3*m = 4*o + 27 - 142, 56 = 2*o - 2*m. Suppose 2*q - 5*v = 7*q - 15, -5*q - 3*v + 7 = 0. Is 10 a factor of 10/(-10) + o + q?
False
Let o(z) = 2*z - 2 + 31*z**2 - 3 + 4. Let k be o(1). Is 11 a factor of 24/k + (-354)/(-8)?
False
Let c(x) be the second derivative of x**3/6 + x**2/2 - 6*x. Does 6 divide c(10)?
False
Let q be (-4)/5*(1 - 6). Suppose -v + 2 = q*b + 5, 0 = b + 2*v - 8. Is 40/(-3)*3/b a multiple of 17?
False
Let o(h) = -22*h - h**3 + 19*h + 11*h. Let q be 4/3*-1*3. Is 32 a factor of o(q)?
True
Let s = 1271 + -882. Does 7 divide s?
False
Let r(z) be the first derivative of 6 + 1/4*z**4 + 4*z - 10/3*z**3 + 11/2*z**2. Is 13 a factor of r(9)?
False
Let u = 6 - 3. Suppose -5*y + 10 = 0, u*y - 197 - 349 = -2*g. Suppose -12*s = -7*s - g. Is s a multiple of 23?
False
Let p be (-10 + 4)/(1 + -4). Suppose -p*m + 209 = n, 5*n = -4*m - m + 525. Is m a multiple of 32?
False
Let u(d) = d**3 - 4*d**2 - d + 1. Let j be u(3). Let h(p) = -p**2 - 14*p - 5. Does 7 divide h(j)?
True
Suppose -5*l + 90 = 5*s, -18 = 2*l + 3*s - 51. Let r(m) = -m**3 + 6*m**2 - 3*m - 7. Let k be r(5). Suppose 0*u - k*u = -2*f - 17, -5*u + l = 4*f. Is u even?
False
Suppose 0 = c - 2 - 9. Let b = c + 28. Does 20 divide b?
False
Suppose -2*l = -10, 5*r - 254 = -4*l + 126. Is 42 a factor of r?
False
Let g be -3 + (3 + 1 - -56). Let j = 37 - g. Does 8 divide (-2)/(j/18 - -1)?
False
Suppose 9*o + 86 = 11*o. Let w = o + -21. Is 11 a factor of w?
True
Let j = 3053 - 797. Does 50 divide (-9)/((-81)/(-6)) - j/(-9)?
True
Let u be (-3 - -1) + -2 + 1. Let o be 0 + (1 - u) + -4. Suppose 0 = -o*g - g + 141. Is g a multiple of 32?
False
Suppose 0 = -4*n + 5*s + 2425, -817 = -4*n - 4*s + 1599. Is 53 a factor of n?
False
Let v(q) = -2*q**2 + 26*q - 16. Let x be v(19). Is x/(-2) - (5 + -9) a multiple of 42?
True
Let b = 162 - 62. Suppose 3*f = 4*u - b, 4*u = -7*f + 2*f + 68. Does 22 divide u?
True
Let f = -2117 - -2784. Is 29 a factor of f?
True
Let k be (-13)/(-3) + (-2)/(-3). Suppose o + 412 = k*o. Is 23 a factor of o?
False
Suppose -4*n + 28 = 2*x - 7*x, -4*x = n + 14. Suppose 0*m + m = 4*i + 6, 5*i + 21 = n*m. Does 18 divide m?
True
Suppose -5*f + 146 = -2*h, 3*f + 12*h = 7*h + 100. Does 2 divide f?
True
Let y be (3 + -37)/((-1)/(-2)). Let q = 98 + y. Does 6 divide q?
True
Suppose -4*q - 4*m + 1399 - 363 = 0, -5*m - 1045 = -4*q. Is 4 a factor of q?
True
Let m = -11 + 11. Suppose -5*a = -m*a - 15. Suppose a*s - 1 = 62. Is s a multiple of 13?
False
Suppose 3*t - 519 = -3*u, -5*u + 862 = 12*t - 8*t. Does 2 divide u?
True
Let r = 32 + -28. Let i = r + 5. Does 3 divide i?
True
Suppose -4*h + 988 = -5*j, -5*h - 2*j = -342 - 926. Is h a multiple of 9?
True
Suppose 0 = -4*p + 8, 3*o + 4*p - 197 - 567 = 0. Suppose 9*n - 5*n - o = 0. Is n a multiple of 16?
False
Is 35 a factor of (-8 + 32/3)/(2/168)?
False
Let z = 5 - 41. Let o = -1 + z. Let g = 6 - o. Does 12 divide g?
False
Let w = 945 + -481. Is w a multiple of 8?
True
Suppose -7*h + 20 = -3*h. Suppose -4*q + 7 = -h. Suppose 3*l = q*s + 48, 4*l = 3*l - s + 20. Is l a multiple of 10?
False
Let w = -77 + 119. Let j = 36 + w. Does 18 divide j?
False
Suppose 4*k = 0, 2*l + 2*k - 290 - 104 = 0. Is 14 a factor of l?
False
Let z(r) be the second derivative of r**5/20 + 3*r**4/4 - 2*r**3/3 + 6*r**2 - 8*r - 5. Suppose 0 = 6*c - c + 45. Does 12 divide z(c)?
True
Let s(y) = y**3 - 6*y**2 - 3*y - 7. Suppose 0 = 5*o - 10 - 0. Suppose m + 13 = 2*m - 2*g, -5*m - o*g = -29. Is 21 a factor of s(m