e ((-8)/20)/((-2)/(-30)). Let x be (-12)/10*15/g. Suppose 0 = 4*l + 5*y - 12, l - 4*y = -0*l + x. Is 3 a factor of l?
True
Suppose 85*u = 73*u + 46440. Is 15 a factor of u?
True
Let n(z) = z**3 + 3*z**2 + 3*z - 2. Let x(f) = -3*f**3 - 8*f**2 - 8*f + 5. Let j(b) = 8*n(b) + 3*x(b). Let t be j(0). Is 3 a factor of t + 3/3*9?
False
Does 22 divide (-29)/(3 - (-19)/(-6)) - -2?
True
Suppose -5*b + 374 = -76. Suppose -323 = -7*g + b. Let r = 21 + g. Is r a multiple of 20?
True
Suppose 5 = r - 1. Suppose -2*k - 316 = -r*k. Is k a multiple of 25?
False
Let g = 116 - 115. Is 2/g - (-46 + (-2 - -8)) a multiple of 6?
True
Let z(n) = 69*n - 184. Is z(11) a multiple of 31?
False
Suppose g + 5 = 0, 2*p - 3*g - 74 = -g. Let u = p + -30. Suppose -3*m = 4*f + 10 - 99, -13 = -m + u*f. Is m a multiple of 14?
False
Let p = -907 + 2627. Does 11 divide p?
False
Let r(i) = -i**3 - 19*i**2 + 48. Is 22 a factor of r(-21)?
False
Suppose 463 = 3*t - 851. Is 16 a factor of t?
False
Suppose -9*q + 11*q - 10 = 0. Suppose 0 = -2*n - r + 263, -r + 656 = q*n + 2*r. Suppose 0 = 2*c + 37 - n. Does 12 divide c?
True
Let b(t) = 4*t + 2. Let f be b(-10). Let m be (-12 - -4)*(-37)/(-4). Let p = f - m. Does 36 divide p?
True
Let a(z) = 2*z**3 - z**2 + 1. Let m be a(1). Suppose 85 = m*u - 17. Is u a multiple of 20?
False
Let c(h) = 41*h**3 - 8*h**2 + 3*h + 3. Is 10 a factor of c(2)?
False
Let t = -10 + 13. Suppose 9*y + t*k = 4*y + 120, 0 = 3*y + 4*k - 83. Suppose 0 = 4*g - g - y. Does 5 divide g?
False
Let i be 0/(-2 + 1) + -100. Does 9 divide ((-68)/5)/(40/i)?
False
Let n be -1 + 7 - (1 + -2). Let t = 128 - 58. Suppose n*o - 5*o = t. Is o a multiple of 9?
False
Let y = -56 + 289. Does 9 divide y?
False
Let j = -134 - -99. Let d = j - -181. Is 17 a factor of d?
False
Let b(i) be the second derivative of -i**4/12 + 13*i**3/6 + 17*i**2/2 + 14*i. Is b(9) a multiple of 6?
False
Suppose 5*a = u + 24, 2*u - 12 = -a + 4*u. Suppose -a*g = 4*o - 140, -2*o = -3*g - g - 76. Does 9 divide o?
True
Does 29 divide (25185/146)/(2/(4*1))?
False
Suppose -1302 = 239*h - 245*h. Does 7 divide h?
True
Let w = 120 + -116. Suppose w*j = -2*b + 40, -9 = b - 2*j - 25. Is 6 a factor of b?
True
Let g be -5*(2 + (-11)/(-5)). Let x = 44 - g. Does 13 divide x?
True
Let o(w) = -20*w - 270. Is 5 a factor of o(-20)?
True
Suppose -4*j - 2*o - 15 - 5 = 0, 2*j = 3*o - 2. Does 18 divide -1*(0 + j + -50)?
True
Let q(k) = -87*k - k**2 + 86*k + 3*k**2 - 3. Is 21 a factor of q(5)?
True
Let d = 13 + -9. Let f be (-16)/4 + 8 + -4. Suppose f = d*v - u - 253, -2*v + 271 = 2*v + 5*u. Does 16 divide v?
True
Let i = 57 + -41. Let j = 21 - i. Suppose c - 35 = -2*c - j*m, 5*c - 5*m = 5. Is 2 a factor of c?
False
Let w(y) = -30*y + 210. Is w(-12) a multiple of 29?
False
Let u(h) = 2*h**2 - 2*h - 8. Suppose 4*r - 11 - 5 = 0. Is u(r) a multiple of 8?
True
Suppose l - 2 = -3*i - 3*l, -2*i = -4*l - 8. Suppose -4 = -p + 4*s + i, 2 = 3*p + 4*s. Does 8 divide p/6 - (-130)/6?
False
Let a(h) = h**3 + 2*h**2 - 17*h - 7. Let p be a(-5). Suppose -3*i + p = 0, -5*n + 5*i + 4 = -316. Is n a multiple of 13?
True
Let d = -1675 - -2529. Does 24 divide d?
False
Let k = 102 - 90. Does 4 divide k?
True
Let i(a) = a**3 + 5*a**2 + 24*a + 2. Let z(j) = j**3 + 4*j**2 + 25*j + 2. Let c(b) = -6*i(b) + 5*z(b). Let r be c(-8). Suppose -r - 62 = -6*u. Does 11 divide u?
False
Suppose -v + 6*v - 2210 = 0. Is v a multiple of 17?
True
Let h = 515 + -129. Does 37 divide h?
False
Let n = 133 + 91. Is 8 a factor of n?
True
Let b = 1528 - 597. Is b a multiple of 10?
False
Let h(n) = 5*n**2 - 3*n - 5. Suppose 1 = 4*b - 19. Does 27 divide h(b)?
False
Let y = 4948 - 3167. Is 13 a factor of y?
True
Let i(d) = d**2 - 5*d + 8. Let a be i(4). Suppose n - 2 = -4*t, -5*n + a*n = -3*t - 2. Let k(l) = l**3 + l**2 - 2*l + 23. Does 23 divide k(t)?
True
Let j(y) = 54*y + 61. Does 12 divide j(6)?
False
Suppose 126*y = 80*y + 38502. Is y a multiple of 9?
True
Suppose 1 - 4 = 5*w + 2*s, 5*s - 2 = -3*w. Let j(c) be the third derivative of 3*c**5/20 + c**3/6 + 2*c**2 - 19. Is 4 a factor of j(w)?
False
Suppose -4*s + q = 15, -4*q - 18 = 2. Does 6 divide (s + 44/28)*-7?
True
Let a(n) = -n**3 + 5*n**2 + 2*n - 6. Let d be a(4). Let t = d - -8. Does 26 divide t?
True
Let w = 78 + 534. Is 9 a factor of w?
True
Let d be 150/24 - (-2)/(-8). Let w be (d*(-2)/4)/(-1). Suppose -37 = -w*z + 44. Does 11 divide z?
False
Suppose -5*h = -16*h. Suppose h = 8*b + 2*b - 440. Is b a multiple of 22?
True
Suppose 3762 - 595 = 4*c - 5*x, -3182 = -4*c + 2*x. Does 38 divide c?
True
Is 15 a factor of (2/2)/(2/(7 + 799))?
False
Suppose 17*l + 3465 = 24*l. Does 18 divide l?
False
Let w(r) = -2*r**2 + 25*r + 19. Let y be w(13). Suppose -y*i = 7*i - 676. Is i a multiple of 13?
True
Let x be (72/42)/(1/7). Let j be ((-13)/4)/(x/(-48)). Suppose 10*l = j*l - 144. Does 7 divide l?
False
Suppose 0 = 3*x + 22*s - 25*s - 16737, 5*s = 3*x - 16735. Is x a multiple of 45?
True
Let r = -296 - -167. Let h = -7 - r. Does 44 divide h?
False
Let a = -22 - -23. Does 24 divide 2/(-1*a/(-12))?
True
Let p(t) = 16*t**2 - t. Let n be p(-1). Let f = -15 + n. Suppose -3*u + f*u = -32. Is u a multiple of 9?
False
Let g(q) = 17*q**2 + 2*q + 1. Let b be g(-1). Let p = 10 - b. Is 2 a factor of -2 - (p - (0 + 3))?
False
Let x be -1 + 1 + (-705)/(-3). Suppose -x + 13 = -2*g. Is g a multiple of 21?
False
Suppose -2 = -4*h + d + 11, -5*h - 5*d = 15. Suppose -3*u - 35 = -h*l + 31, 90 = -4*u + 2*l. Is 23 a factor of (138/u)/((-2)/8)?
True
Suppose 22*d - 26 = 9*d. Suppose d*c = 2*h - c - 103, -5*h = -4*c - 268. Is 14 a factor of h?
True
Let f(z) = -15*z - 35. Is 24 a factor of f(-4)?
False
Suppose -10*f = 63 - 503. Is f a multiple of 44?
True
Suppose 8 = -2*c + 3*c. Suppose -c*l + 13*l - 15 = 0. Suppose 0*f - 69 = -3*b + l*f, b - 5*f - 19 = 0. Is 7 a factor of b?
False
Let q(b) = -4*b + 30. Let j be q(7). Suppose -l - m + 3*m + 52 = 0, -j*l = -3*m - 103. Is 5 a factor of l?
True
Let o = 4034 - 1378. Does 15 divide o?
False
Let r = 10 - 14. Let g = 7 + r. Is 7 a factor of 104/12 + (-2)/g?
False
Let b(n) = 574*n**3 - n**2 + 2. Is b(1) a multiple of 25?
True
Suppose 4*d + 4*m - 236 = 0, 0 = 2*d + 28*m - 24*m - 128. Is d a multiple of 8?
False
Let h(l) = -2*l**3 + 8*l**2 + l + 8. Let d(a) = a**3 - a**2 - a. Let k(i) = -3*d(i) - h(i). Let x(y) = -3*y**2 + 2*y + 2. Let u be x(2). Is 16 a factor of k(u)?
True
Does 7 divide (70*(-19)/(-2))/1?
True
Let f(l) = 2*l**2 + 2*l. Let v be f(5). Suppose -4*h + v = 5*c - 49, -3*c - 48 = -3*h. Is h a multiple of 5?
False
Let q = 395 + 155. Does 3 divide q?
False
Let q(b) = 389*b**3 - 2*b**2 + 3*b - 2. Is q(2) a multiple of 14?
True
Let w(o) = 43*o - 12. Let r be w(5). Let q = -101 + r. Is q a multiple of 34?
True
Suppose -1814 = -2*j + 2*u, 6*u - 4*u - 3640 = -4*j. Is j a multiple of 15?
False
Suppose 0 = 3*l - 50 + 2. Let g = 27 - l. Is (-524)/(-7) - g/(-77) a multiple of 25?
True
Let o(y) be the third derivative of -11*y**4/24 - 5*y**3/6 + 4*y**2. Is o(-11) a multiple of 13?
False
Suppose -i = -0 - 4. Suppose -12 + 4 = 2*o, 5*o - 128 = -i*x. Let c = 43 - x. Does 3 divide c?
True
Suppose 0 = -2*i + 6*i - 8. Let v = 0 - i. Is 9 a factor of 1 - v - 152/(-4)?
False
Let s(d) = d**3 - 11*d**2 + 16*d + 24. Does 12 divide s(10)?
True
Let x be (-4)/24 - 57/(-18). Suppose x*g - 9 = 39. Is 8 a factor of g?
True
Let l(r) = -46*r + 23. Is 35 a factor of l(-5)?
False
Let i(z) = 6*z - 18. Let v be i(-7). Let y be 2/((-6)/9) - v. Let a = y + -38. Is a a multiple of 4?
False
Suppose 5*d = -4*i + 1335 + 1550, 5*i - 3570 = d. Suppose 3*k + 4*r - i = -2*k, 0 = 5*k - 4*r - 755. Let s = k + -92. Does 27 divide s?
False
Let p = -12 - -4. Let h(v) = -5*v**3 + 9*v**2 + 18*v + 15. Let o(d) = d**3 - d - 1. Let w(q) = -h(q) - 6*o(q). Is w(p) a multiple of 11?
False
Does 23 divide 6/(-9) - 1/(3/(-335))?
False
Suppose -264 = -16*s + 248. Is 4 a factor of s?
True
Suppose 0*b = b - 84. Suppose 2*g - 262 = b. Let q = g - 100. Is 15 a factor of q?
False
Let t(a) = -4*a**2 + 58*a + 19. Is 43 a factor of t(13)?
False
Suppose r - 128 = -2*j, -5*j + 314 = 3*r - 2*r. Is 24 a factor of j?
False
Let g = 1031 - -119. Is g a multiple of 50?
True
Is 9 a factor of 2030/15 + 5/(-15)?
True
Let a be 0 + -3 - (-187 + 1). Let o = -127 + a. Is 28 a factor of o?
Tru