)/w a multiple of 5?
True
Suppose -n + 2 = -0. Is (4/(-10))/(n/(-230)) a multiple of 12?
False
Suppose 2*p - 310 = 2*n, -2*n - 3*n + 282 = 2*p. Does 20 divide p?
False
Let t be (-76)/(-10) - 6/10. Suppose -5*l + 4*n = -627, -3*n - 16 + t = 0. Is l a multiple of 10?
False
Suppose -3*m = -2*m. Suppose h - 4*h + 12 = m. Suppose -67 = -4*t + s, -5*t - h*s = -63 - 47. Is t a multiple of 9?
True
Suppose -g = 2*b - 195, -5*g = -3*b + 5*b - 199. Is b a multiple of 13?
False
Suppose 5*s = -q + 31, s + 4*q = 5*q + 11. Suppose 20 - 55 = -s*w. Is w a multiple of 2?
False
Let i(x) = 3*x**2 - 23*x - 121. Is 10 a factor of i(-9)?
False
Let c(u) = 5*u + 52. Let m be c(6). Suppose 0 = -4*q + m + 386. Is q a multiple of 9?
True
Let y = 41 + -34. Suppose -y*d + 183 = -76. Is 30 a factor of d?
False
Is 17 a factor of 8*(-21)/28 - (-3535 - -1)?
False
Suppose x = -3*x + 80. Let r = -8 + x. Suppose v - 5*i = 31, 2*i = -v + r - 2. Is 5 a factor of v?
False
Let a be (2/(16/118))/((-1)/4). Let m = 151 + a. Is 10 a factor of m?
False
Let k be 0 + 4/((-12)/(-75)). Suppose 4*j = 3*j + k. Suppose 5*t - 2*d - 2*d - 375 = 0, j = 5*d. Is 16 a factor of t?
False
Let u = -19 - -21. Suppose u*l - 5*m = -2*l + 137, m - 51 = -2*l. Does 7 divide l?
True
Suppose -4 = -2*i - 0*i. Suppose -i*b = 2*b. Suppose b = 3*n + 12, -234 = -3*u + 4*n - 32. Is 18 a factor of u?
False
Let f = -30 + 104. Suppose -f = -g - 3*a + 106, -2*g + 370 = -4*a. Suppose 4*j + 19 - g = 0. Is j a multiple of 6?
False
Suppose -5*i = -1484 + 49. Is i a multiple of 7?
True
Suppose -2*m = -19 - 67. Let z = m + -24. Suppose 3*l + 3*w + z - 76 = 0, l = w + 17. Is l a multiple of 4?
False
Suppose 4*c - c + 2*x = 19, 6 = -3*c + 3*x. Suppose 5*m - 664 = -c*p, p = -4*m - 2*p + 533. Is 6 a factor of m?
False
Suppose 26*l + 8 = 30*l. Suppose -7 = l*n + 1. Is 5 + n + 3 + 80 a multiple of 21?
True
Let y(q) = -q - 2. Let b be y(-5). Let x = 12 + 18. Suppose b*l - x = -3. Does 9 divide l?
True
Let n(v) = 3*v**2 - 2*v + 1. Let o be n(1). Suppose -o*w = -148 - 92. Let c = w - 84. Is 9 a factor of c?
True
Suppose 2*g = 2 + 6. Let n(f) = f**2 - f - 4. Does 2 divide n(g)?
True
Let w = -101 - -44. Let p = 276 + w. Is 41 a factor of p?
False
Let x = 10 + -6. Suppose 0 = x*n + 5*p - p - 36, 0 = -4*n - p + 30. Is 2 + (n - 0) + -1 a multiple of 4?
True
Let d(p) = 3*p + 20. Let i be d(-4). Suppose -4*j + 0 = i, 0 = 3*b - 2*j - 949. Does 15 divide b?
True
Suppose 0 = 10*p - 7415 + 805. Is p a multiple of 8?
False
Suppose -4*f = 5*f - 4*f. Suppose f = 7*x + 2*x - 234. Is x a multiple of 26?
True
Is 18/(-2 + 1)*1840/(-138) a multiple of 16?
True
Suppose 524 = 4*n - f, 5*n + 2*f = -3*f + 630. Is n a multiple of 7?
False
Is 24 a factor of 7330/30 + (-72)/(-27)?
False
Suppose 0 = -5*v + 3 + 7. Suppose -v*p - q = -p - 136, 4*q = -4. Does 26 divide p?
False
Suppose 0*v - 271 = -n + 4*v, -3*v + 509 = 2*n. Is 2 a factor of n?
False
Let f(x) = 2*x + 33. Let q be f(-15). Suppose -q*t + 0 = -12. Does 3 divide t?
False
Is -1 + 4*(-573)/(-12) a multiple of 5?
True
Suppose 6*n + 1616 = -2*n. Let d = 382 + n. Does 36 divide d?
True
Let y(c) = -c**3 + 4*c**2 - 5*c + 24. Let z be y(4). Let j be 49/2 + 2/(-4). Suppose -3*x + z*x = j. Does 18 divide x?
False
Let o(n) = -n**2 + 4*n - 4. Let u be o(2). Suppose -x = -u*x. Suppose 7*y = 4*f + 4*y - 60, -y - 4 = x. Is f a multiple of 2?
True
Suppose 8442 = 34*u + 588. Does 18 divide u?
False
Suppose -3*h - 38 = -m + 64, 0 = -m. Let v = h - -39. Does 3 divide v?
False
Let u(v) = -8*v**3 - v - 4. Let i be u(-3). Let h = -7 - -12. Suppose i - 25 = h*y. Is 19 a factor of y?
True
Let i be (0 - 47) + (-3 - 0). Let m = 35 + i. Is ((-27)/(-2))/(m/(-100)) a multiple of 18?
True
Is -2*(-4)/((-28)/(-5957)) a multiple of 51?
False
Let u be (-9 - 6/3) + -4. Is (-438)/(-10) + (-3)/u a multiple of 25?
False
Let u be (-3*2/12)/(-1)*-10. Is 2595/20 + u/(-20) a multiple of 15?
False
Let c(u) = -5*u + 5*u - 1 + 0 - u. Let m(v) = -33*v + 6. Let p(y) = -4*c(y) - m(y). Is 7 a factor of p(1)?
True
Let i(q) = -q**3 - 9*q**2 - 60*q + 3. Is i(-5) even?
False
Suppose 28*f - 720 = 25*f. Suppose 0 = -g - 2*g + f. Does 9 divide g?
False
Suppose 3*j - 210 = -3*s, 5*s - 5*j - 517 = -167. Is s a multiple of 11?
False
Let x = 30 + -22. Suppose -7*c + x = -3*c. Is (-2)/((-5)/(c + 83)) a multiple of 7?
False
Let w be (-22)/(-187) + (-2)/17. Suppose -6*o - 4*o + 200 = w. Is o a multiple of 3?
False
Suppose -5*s + 0*s = -10. Suppose -4*h + s*l - 340 = 0, -3*l + 174 = -2*h - l. Let a = h + 116. Is 12 a factor of a?
False
Let n(s) = 3*s**2 + 90*s - 72. Is n(-36) a multiple of 18?
True
Suppose -2*d - 1 = 17. Let k be d/9 - -2*13. Let r = k - 13. Does 6 divide r?
True
Let n(m) = 5*m + 1. Let h be n(-2). Let w(d) = -d**2 - 15*d + 24. Does 25 divide w(h)?
False
Let r(l) = 48*l - 132. Let k(s) = 7*s - 19. Let b(p) = -27*k(p) + 4*r(p). Let z(y) = -y**3 + 10*y**2 + y - 2. Let w be z(10). Is 9 a factor of b(w)?
True
Let l(b) = -6*b - 54. Let h be l(-10). Suppose -85 = 5*n - h*n. Is 48 a factor of n?
False
Suppose -5*q + 4595 = 5*m, -7*m = -6*m - 2*q - 934. Is 33 a factor of m?
True
Let z(m) = 2*m**2 + 30*m - 8. Is z(-16) a multiple of 10?
False
Suppose 6*m + 2101 - 8251 = 0. Suppose 0 = 2*l + 3*l - m. Is l a multiple of 32?
False
Let x(k) = k + 5. Let a(w) = -2. Let h(y) = 8*a(y) + 3*x(y). Let o be h(1). Is (-28)/(-7)*6/o a multiple of 12?
True
Let d(r) = 12*r + 141. Is 39 a factor of d(0)?
False
Let x(n) = -9*n + 8. Let u be x(-11). Let v = u - 65. Is v a multiple of 6?
True
Let t(x) = -25*x - 5. Let k(i) = -i**2 - i - 3. Let y be k(-2). Let p be t(y). Suppose -p = -7*d + 4*d. Does 8 divide d?
True
Suppose 3*i = 13 + 32. Let t = i + 20. Is t a multiple of 7?
True
Let l = -8 + 5. Suppose q = 2*d + 7, 0 = -3*d + 3*q - 3. Is 8 a factor of ((-2)/l)/(d/(-261))?
False
Is (27/(-12))/(4/(-768)) a multiple of 24?
True
Suppose 0 = 4*v + 5*z - 7311, -14*z + 9*z = -3*v + 5457. Is 114 a factor of v?
True
Suppose 3*w - b = 2093, 2*w - 4*w + 1394 = -b. Is w a multiple of 45?
False
Let g(c) = c**2 - c - 1. Let j(s) = 16*s**2 + 3*s + 3. Let n(o) = 2*g(o) + j(o). Is 8 a factor of n(3)?
False
Suppose -5*i = 1 - 16. Suppose -3*k = 4*j - 32, 0 = k - i*k - j + 13. Is 4 - (k/(-4) - 49) a multiple of 27?
True
Let s = -126 + 292. Is s a multiple of 83?
True
Suppose 1167 = n + 2*k, -134*n = -132*n - 5*k - 2343. Is n a multiple of 9?
False
Is 17 a factor of -1*(4/(-12)*3 - 283)?
False
Let j be 10/(1/(-3)*(-14)/(-35)). Let z = j - -103. Is 12 a factor of z?
False
Let r(a) = a**3 + a**2 + a - 1. Let w(t) = -5*t**3 - 11*t**2 + 4*t + 19. Let h(y) = -4*r(y) - w(y). Does 2 divide h(-6)?
False
Suppose 19 + 16 = 7*a. Let w = 25 - 17. Suppose l - a = w. Is 13 a factor of l?
True
Let h = 5 + -3. Suppose -h*l - 4*j + 367 + 463 = 0, 4*j = 5*l - 2117. Let k = -301 + l. Does 23 divide k?
False
Does 98 divide -7 - (-62160)/98 - (-2)/(-7)?
False
Let w(t) = -t**2 - 10*t - 8. Let i be w(-11). Let l = 24 + i. Suppose 3*h + 2*k - 85 = 0, -3*h + l*k - 140 = -8*h. Is h a multiple of 6?
False
Let y(l) = 3*l - 4. Let f be y(0). Is (62/(-2) + 1 + f)/(-1) a multiple of 8?
False
Suppose -6*q + t = -3*q - 302, -q = -3*t - 114. Suppose -404 = -3*d + 5*g - q, 107 = d + g. Does 15 divide d?
True
Suppose -2*k + 4*m = 12, -2 = -2*m + 8. Let n be (k + 3)/(-1) + 1. Let q = 51 - n. Does 19 divide q?
True
Suppose 3*s - 9*n = -4*n + 5, 4*s - 4 = 4*n. Suppose 4*a - 32 = -5*v, -a + 0*a - 4*v = -8. Let u = a + s. Is u a multiple of 8?
True
Let w be -32*8/(-40) + 4/(-10). Is w/4*344/6 a multiple of 13?
False
Suppose -3*x + 0*x - 12 = 0. Let b = 13 + x. Is 16 a factor of (-77)/(-3) - 6/b?
False
Let l(k) = -2 - 2*k + 63*k**2 + 0 + 1 + 0. Let f be l(-1). Suppose 5*y - 6 = f. Does 14 divide y?
True
Let j(f) = -f**2 + f. Let u(k) be the second derivative of k**4/12 - 3*k. Let r(d) = -j(d) + 6*u(d). Is 12 a factor of r(3)?
True
Let d(a) = a**3 - 9*a**2 + 14*a + 7. Let g be d(7). Let y be (-5)/(g - 2) - -55. Suppose -39 = -h + y. Is 15 a factor of h?
False
Let q(a) = -7*a**2 - 240*a - 41. Does 14 divide q(-31)?
True
Let n(p) = 4*p**2 + p - 4. Let x be n(-5). Suppose 8 = -6*a + 14*a. Suppose 3*f - x + a = 0. Is f a multiple of 10?
True
Let n = -83 - -88. Suppose 0 = 3*y + 3*o - 63, -n*y - 4*o = -3*o - 117. Does 3 divide y?
True
S