6 - -9. Is 2 a factor of n?
False
Does 10 divide (22/(-66))/(1/6) + 1123?
False
Is 76784/84 - (-12)/(-126) a multiple of 43?
False
Suppose -812*h + 817*h - 3935 = 0. Is h a multiple of 90?
False
Suppose -3*g - 2*g + 4*u + 69 = 0, 5*g + 5*u - 60 = 0. Let n(b) = -b**2 - 2*b + 9. Let y be n(g). Is 1 + -4 + y/(-2) a multiple of 30?
True
Let y be (-2 - -2)*2/2. Let m be (-1 + (y - -1))/2. Suppose 4*o - 20 = -0*o, 5*c + 3*o - 290 = m. Is c a multiple of 15?
False
Suppose p + 395 = 3*z + 3*p, 0 = -z + 2*p + 129. Let x = z + -61. Is 14 a factor of x?
True
Is -1 - 6 - (-18 - 254) a multiple of 14?
False
Let n be -4 + (-2 - -4) + -4. Let g = n + 15. Is 1 - -2 - -1*g a multiple of 10?
False
Let c be 3/(-4) + 22/(-88). Let b(g) = 47*g**2. Does 15 divide b(c)?
False
Let z be 3 + 6/3*1. Suppose -7*g + z*g = -4. Suppose -2*t + 132 = g*t. Is 11 a factor of t?
True
Let n = 6 + -8. Let s be (n + 0 - 3)*-1. Suppose -2*j - 108 = -6*j - 4*h, -s*j + 2*h + 170 = 0. Does 32 divide j?
True
Suppose 0*i - 5*i - 345 = 0. Let q = 145 + i. Suppose 0 = 2*f - 4*r - 52, 2*f + 0*f + 2*r - q = 0. Is f a multiple of 17?
True
Suppose -67 = -6*p + 107. Is p a multiple of 26?
False
Let i be 7 - (6/42)/((-1)/(-7)). Suppose -i*k + 1104 = 240. Does 24 divide k?
True
Let a(q) = q + 6. Suppose 0 = 4*v + 21 - 5. Let i be a(v). Suppose -3 = 3*b, -g + i*g = -4*b + 14. Does 18 divide g?
True
Let b be -3 + 35/15 + 6/9. Suppose -2*g - 10*g + 1584 = b. Is g a multiple of 12?
True
Suppose 4*q = -16, -5*p + 4*p = -4*q + 70. Let d = p + 135. Is d a multiple of 10?
False
Let z(k) = k**3 + k**2 + k + 1. Let u(s) = -5*s**3 + 3*s**2 - 15*s - 21. Let l(q) = u(q) + 6*z(q). Let a be l(-10). Let m = a + 59. Is m a multiple of 7?
False
Suppose -88 - 104 = -2*k. Let l = k + -84. Is l a multiple of 2?
True
Suppose 0 = h + 2*k + 1 - 5, -4*k = -2*h - 32. Let z = 230 + h. Does 39 divide z?
False
Let o be -1*(96/18)/((-2)/33). Suppose -j + 160 = o. Does 18 divide j?
True
Let f(y) = -y**2 - 5*y - 2. Let g be f(5). Let o = -110 - g. Let q = 133 + o. Is 22 a factor of q?
False
Let f(r) = 2*r**3 - r**2 + 6*r + 23. Let s(a) = a**3 + 3*a + 11. Let h(y) = 6*f(y) - 13*s(y). Is 20 a factor of h(-7)?
False
Let v(p) = -p**2 - 2*p + 2 + 6 - 20*p. Let t be v(-10). Suppose -4*c - t = -392. Is c a multiple of 22?
True
Suppose 24 = -t + 3*t. Is 4 a factor of t?
True
Suppose 40 = 2*l - 2. Suppose 7*w + 41 - 6 = 0. Let g = l + w. Is g a multiple of 9?
False
Let q be -1*5/(5/(-3)). Suppose 4*a = 5*k - 505, q*k = -5*a + 255 + 85. Suppose 3*l = -2*l + k. Is 6 a factor of l?
False
Let p(r) be the second derivative of r**4/12 + 5*r**3/6 - 5*r**2 + 4*r. Let i be p(-7). Is 3 a factor of (6 - (i + -3))*2?
False
Let o = 8 + -8. Suppose o = -2*q - 1 - 7. Does 8 divide (3/q)/(2/(-48))?
False
Let q be (-26)/(-3) - (32/(-12))/8. Is 21 a factor of (q + (-2 - -2))/((-1)/(-7))?
True
Let b(p) = -p**3 - p**2 + 1060. Does 39 divide b(0)?
False
Let s = -193 + 70. Let b = s + 172. Suppose b + 131 = 5*t. Does 18 divide t?
True
Let j be 130/35 + 0 + (-6)/(-21). Suppose 169 = -3*w - 3*d + 565, -w - j*d + 126 = 0. Is w a multiple of 20?
False
Let y(l) = 5*l**3 - l. Let o = 2 + 1. Is y(o) a multiple of 11?
True
Suppose 3*s - 4*h = 77, 4*h = -5*s - 0*h + 171. Suppose 0 = v - 2*n - 3*n + 23, -3*v - 5*n + s = 0. Suppose 5*o - 58 = v. Is 3 a factor of o?
True
Is 29 a factor of 1356/2 - -2 - (29 + -27)?
False
Is 19 a factor of -38*((-99)/18 - 2)?
True
Let b = -43 + 44. Is 9 a factor of b/(2/(-8) + 13/36)?
True
Suppose -2*b - 1011 = -3*i, 4*i - 1334 = -4*b + 2*b. Is 10 a factor of i?
False
Let s = -16 + 23. Suppose -126 = -0*h - s*h. Does 9 divide h?
True
Let a(s) = -s + 6. Let d be (-4)/(-26) - (-4)/(-26). Suppose -b = -d*b. Does 2 divide a(b)?
True
Suppose 0 = 8*t - 2*t. Suppose 4*v + t*v = 144. Is 2 a factor of (-18)/(-5) + v/90?
True
Suppose 17*l = 10876 - 2036. Is l a multiple of 5?
True
Let w = -1794 + 2159. Is 84 a factor of w?
False
Let t(h) = h**3 - 2*h - 6. Let q = -1 + -3. Let w be t(q). Let l = 104 + w. Is 20 a factor of l?
False
Let d be (-5745)/(-10) + 1/2. Suppose -d = -2*a - 3*a. Is 23 a factor of a?
True
Let p = -38 + 34. Does 19 divide (-518)/p + (-19)/(-38)?
False
Let j(t) = t**3 - 19*t**2 - 11*t - 35. Does 23 divide j(20)?
False
Let y = -811 + 1331. Is 10 a factor of y?
True
Suppose 0 = 44*u - 34*u - 4340. Does 9 divide u?
False
Suppose 5*s = 5*v - 7*v - 341, 4 = 2*v. Let t be ((-645)/(-25))/((-1)/(-5)). Let c = t + s. Does 12 divide c?
True
Suppose 776 = 4*y - 0*l + 2*l, 5*y - l - 984 = 0. Does 31 divide y?
False
Suppose -1000 = -11*w + 2630. Let m = w + -168. Is 27 a factor of m?
True
Let n be 4/12*0 - -2. Suppose -n*t = -21 + 7. Suppose 0 = -3*b + t + 38. Is 3 a factor of b?
True
Let m(d) be the first derivative of -2 - 7*d + 1/3*d**3 + 7/2*d**2. Is m(-9) a multiple of 11?
True
Let p = -31 + 65. Let l = 111 - 86. Let d = p + l. Does 13 divide d?
False
Suppose 0*p = -5*l - p + 149, 147 = 5*l + 3*p. Does 2 divide l?
True
Suppose -l + 681 = 4*l - c, 4*c + 412 = 3*l. Is l a multiple of 4?
True
Let i(g) = 13*g - 1. Let q be i(2). Suppose 4*t = -t + q. Suppose t*l - 15 = 30. Is l a multiple of 5?
False
Let j = 2350 - 1585. Is 9 a factor of j?
True
Let y be -2 - 1*(-3 + 2). Let u be (-1 - y)/(-1) + -4. Is (1 - -15) + (u - -2) a multiple of 7?
True
Suppose 0 = -d - 5*b + 551 + 352, -d + 906 = 4*b. Let z = d - 1938. Is z/(-50) + (-2)/5 a multiple of 13?
False
Suppose -5*m - 119 = -1904. Is 10 a factor of m?
False
Let a be (2/(-1) + 1)/((-1)/(-6)). Suppose -8*u = -3*u + 200. Is (a/(-8))/((-5)/u) even?
True
Suppose -9*l - 70 = -4*l. Let t be ((-6)/l)/(3/21). Suppose -a = -5*w - 79, -t*a + 0*w + 157 = w. Is a a multiple of 18?
True
Suppose 8*t = 10*t - 494. Is 13 a factor of t?
True
Let u(h) = h**3 + 2*h**2 - 4*h + 4. Let c = 11 + -14. Let s be u(c). Suppose -31 = -8*v + s*v. Does 16 divide v?
False
Suppose -264 = -a + 5*a. Let m be 11/a - (-1202)/12. Suppose -25*d + 24*d = -m. Does 11 divide d?
False
Let h(d) = -7*d - 9. Let n be h(-7). Suppose 0 = 12*g - 17*g + n. Is 4 a factor of 13 + (-4)/g*2?
True
Let l be (-3 + (-3)/(-9))/(2/30). Is 17 a factor of (5*(-4)/l)/((-2)/(-200))?
False
Suppose -9*z = -5 - 13. Suppose 2*a - z*c = 5*a - 180, 3*c + 240 = 4*a. Is a a multiple of 13?
False
Let w(q) = q**3 - 3*q + 2. Let z be w(-2). Suppose -3*a + 8*a = -4*r + 20, 5*a + r - 20 = z. Is 4 a factor of a?
True
Suppose 21*v - 3962 = 7*v. Is 24 a factor of v?
False
Let b(j) = -8 + 21 + 34*j - 8 - 3*j**2. Is b(11) a multiple of 4?
True
Let y(o) = 2*o**3 - 9*o**2 + 7*o - 4. Does 83 divide y(9)?
False
Let i(q) = -224*q - 8. Does 8 divide i(-1)?
True
Is 26 a factor of ((-468)/(-54))/((-1)/(-51))?
True
Suppose 1 = d - 2, 2 = -4*r - 2*d. Let n(o) = -54*o - 4. Let y be n(r). Suppose 16 = 5*g - y. Is 8 a factor of g?
True
Let x = -637 + 1134. Is x a multiple of 16?
False
Let o(z) = 127*z**2 - z + 2. Suppose -23*k + 2 = -21*k. Does 16 divide o(k)?
True
Is (188/(-12) + 1)/(3/(-18)) a multiple of 22?
True
Suppose -2*a + 621 + 273 = 3*j, -3*a = -2*j - 1315. Is 63 a factor of a?
True
Suppose -11*u + 13901 = -9342. Is 45 a factor of u?
False
Suppose 19 = c + 2*c - 5*q, -5 = -c + 3*q. Let z = c - 7. Does 12 divide 8/(z*2/3)?
True
Suppose 33*n = -0*n + 20196. Is n a multiple of 22?
False
Let c = -95 - -87. Is 10/(-4)*18/(-15) - c a multiple of 7?
False
Let h be (-1 + 3)*(-6)/(-4). Suppose -2*s + 5*w - 3*w = -146, -w = 4*s - 267. Suppose 2*b = -2*l + s, -l - 65 = -h*l - 5*b. Is 11 a factor of l?
False
Suppose -2*j - p + 12 = -1001, 519 = j + 3*p. Is j a multiple of 12?
True
Suppose -4 = -5*p - i + 2, -3*i - 2 = 5*p. Suppose 100 = 4*w + z, 0*z = 2*w + p*z - 50. Does 13 divide w - (1 - (-6)/(-3))?
True
Let t = 2 - 1. Let b be (-15)/(-5) - (-1)/t. Suppose -4*c + b*g + 29 = -59, 4*c - 5*g - 90 = 0. Is c a multiple of 20?
True
Suppose 0 = w + 3*w + 4*n + 40, -n + 23 = -2*w. Let f(l) = -l - 5. Let i be f(w). Is (i/(-4))/((-2)/36) a multiple of 9?
True
Let j = -211 - -146. Let s = 110 + j. Does 15 divide s?
True
Let s = 32 - -310. Suppose 6*t - s = -0*t. Is 4 a factor of t?
False
Suppose -4*q = 2*l - 2*q + 862, -2*l - 858 = -2*q. Let d be (-8)/10*l/(-4). Let t = -58 - d. Is t a multiple of 14?
True
Suppose -718 + 70 = -k - g, 0 = -2*k + 5*g + 1310. Is k a multiple of 26?
True
Supp