(-1). Does 23 divide (12/16)/(1/s)?
True
Is 88 a factor of (-5632)/384*3*-52?
True
Let x = 5278 - 2142. Is x a multiple of 49?
True
Let i be 6/(-54) + 10614/27. Suppose -9*h + 93 = -i. Is h a multiple of 27?
True
Let y(t) = t - 12. Let k be y(7). Let m be ((-24)/k)/((-4)/20). Let h = -17 - m. Is h a multiple of 4?
False
Suppose -22 = -56*r + 58*r. Let k = r + 15. Is k even?
True
Let q be (-1023)/(-9)*(-4 - -7). Suppose -b = -t - 36 - 49, -q = -4*b + 5*t. Does 31 divide b?
False
Let h(a) = a**3 + 4*a**2 - 3*a + 2. Is 13 a factor of h(7)?
True
Let u = 1346 + -746. Is 24 a factor of u?
True
Does 65 divide (130/(-8))/((-54)/648)?
True
Suppose 5*a + 46 = 11. Let x(z) = -z**2 - 13*z + 3. Is 9 a factor of x(a)?
True
Let c(s) = -3*s - 14. Let j be c(-6). Suppose j*a - 7*a = -15. Suppose -4*y - 71 = -a*y. Is 11 a factor of y?
False
Let k(d) = -58*d - 49. Is k(-3) a multiple of 7?
False
Is 4510/14 - 5/35 a multiple of 14?
True
Let k = -16 - -25. Let l(s) = 9*s + k*s + 5 - 3 - 8*s. Does 6 divide l(1)?
True
Let v = -6 - 4. Let m be (6/v)/(6/(-30)). Suppose m*n - n - 38 = 0. Is 19 a factor of n?
True
Let d = -1890 - -2526. Is d a multiple of 55?
False
Is 21 a factor of ((-32)/(-12))/(-8)*-9927?
False
Let p be (1 - 0)*(3 - 0). Suppose p*g = -g + 80. Is 10 a factor of g?
True
Suppose 5*j - j + 56 = -g, -4*j - 56 = 4*g. Is (-4)/j + 832/28 a multiple of 30?
True
Let a(d) = -d**2 - 4*d - 1. Let w be a(-3). Suppose 0*x + 66 = 4*x - 3*m, -4 = -w*m. Suppose -23*h = -x*h - 580. Is 29 a factor of h?
True
Suppose -3*s + 6*s = 6. Suppose -s*b + 2*i + 146 = 0, -2*i = b - 4*i - 70. Suppose 3*x = 20 + b. Is x a multiple of 12?
False
Let f(x) = -4*x**3 + 9*x**2 + 10*x + 9. Let u(b) = 3*b**3 - 9*b**2 - 10*b - 8. Let m(w) = 4*f(w) + 5*u(w). Is m(-8) a multiple of 6?
True
Let f(l) = 8*l - 3*l + l**2 + 3*l**2 - 3*l**2 - 14. Is f(-12) a multiple of 10?
True
Let y = -4 - 2. Let w = y + 11. Suppose 3*b + w = 59. Does 18 divide b?
True
Let t(y) = -4*y + 35. Let n be t(11). Is (-18)/81 + (-13)/n*23 a multiple of 4?
False
Does 16 divide 30 - (-2)/2*-3?
False
Let s(o) = 4*o**2 + 77*o - 93. Does 41 divide s(-28)?
False
Let f(v) = -v**3 + v**2 + 2*v - 1. Let p be f(1). Does 5 divide 4*(-20)/(-16)*p?
True
Let w = 76 + -42. Let d(y) = -y**2 + 36*y - 12. Does 7 divide d(w)?
True
Let c = -4034 - -5930. Is 79 a factor of c?
True
Suppose -i = -0*i - 20. Let w = -3 - -1. Is 10 a factor of (i - (-2)/w) + -2?
False
Is 123640/1144 + (-2)/26 a multiple of 36?
True
Suppose -78 = -2*n + 2*d + 32, -5*n = -d - 283. Let p = -3 + n. Does 7 divide p?
False
Let s = 75 - 37. Let v = s - 32. Is v even?
True
Is 1/(-10) + 15963/30 a multiple of 20?
False
Suppose 2*y - 4*y + 308 = 0. Does 14 divide y?
True
Let u be 138/42 + 1*(-6)/21. Let j(d) be the first derivative of d**4/4 - d**3/3 - 2*d**2 + 2*d - 1. Does 7 divide j(u)?
False
Is 17 - (144/(-6))/6 a multiple of 7?
True
Let z be 3/(-2) - 2/4. Let y be 3 - (z - 54/(-2)). Let q = y - -31. Is 3 a factor of q?
True
Let m = 12 + -10. Suppose 5*h + w - 2*w + 306 = 0, 0 = m*h - 4*w + 126. Let j = 138 + h. Does 26 divide j?
False
Let x = 32 + 496. Let g = x + -241. Is g a multiple of 9?
False
Let m be 1 - (-17 - (2 - 5)). Suppose 0 = -4*x + 2*x - t + 3, 5*t = 2*x + m. Suppose -s + 39 = -x*s. Is s a multiple of 12?
False
Let n = -37 + 40. Let m(q) = 4*q**3 - 2*q**2 + 5*q + 3. Is m(n) a multiple of 27?
True
Let d = -1 - 5. Let b be (d/9)/(2/(-120)). Suppose b = 4*s - 44. Is s a multiple of 11?
False
Suppose -4*v - 2*c = c - 2161, 5*v - 2745 = 5*c. Is 68 a factor of v?
True
Suppose 1182 = 2*p - 14. Is p a multiple of 37?
False
Let n(l) = 6*l**2 - 9*l - 33. Let t(s) = -s**3 - 11*s**2 - 18*s - 6. Let w be t(-9). Is 14 a factor of n(w)?
False
Let t = 38 + -36. Suppose -5*i - 1 = -3*l, -2 = -i + t. Is 7 a factor of l?
True
Let p(r) = -10*r + 82. Is 12 a factor of p(-23)?
True
Let n = 50 - 45. Suppose -4*f - 47 + 309 = 2*u, n*u - 595 = 2*f. Does 5 divide u?
False
Let v(s) = -2*s**3 + 6*s**2 - 5*s + 1. Let w be v(3). Let g(n) = -7*n - 21. Is g(w) a multiple of 20?
False
Let s = -189 + 565. Suppose -5*g = 2*q - 247, 0*q + 3*q = -2*g + s. Is q a multiple of 14?
True
Suppose 0 = 34*x - 11*x - 7820. Does 17 divide x?
True
Suppose 3*n = -v + 34, 2*v + 5*n - 3*n = 68. Does 6 divide (v/(-3))/((-2)/6)?
False
Let c = -36 + 9. Let s = c - -145. Is s a multiple of 21?
False
Suppose 723 = -68*r + 2083. Does 20 divide r?
True
Does 47 divide (784/(-42))/((-2)/42) - 5?
False
Let v = 127 + -178. Let l = v - -54. Is 3 a factor of l?
True
Let k be (-9)/(-2)*(-16)/(-12). Suppose 8*g - k*g - 16 = 0. Suppose 3*z = g*z - 45. Is 3 a factor of z?
True
Let o be (-18 + 16)/((-2)/31). Let n = -27 + o. Suppose n*k - 38 = 3*k. Does 10 divide k?
False
Suppose -5*h + 33 = -82. Suppose 47 = 5*z - h. Is z a multiple of 4?
False
Suppose 158 = -3*y + 263. Is 1904/y + (-4)/10 a multiple of 9?
True
Suppose -76 = -13*b + 14*b. Let d be ((-14)/5)/(1/10). Let m = d - b. Is 24 a factor of m?
True
Let h(n) = 2*n**3 + n**2 + 2. Let p be h(-2). Let s be ((-2)/5)/(p/(-150)). Let k(i) = i**2 - i + 6. Is k(s) a multiple of 24?
True
Let j be 56*(-8)/12*-3. Let d = -58 + j. Let y = d + -21. Does 11 divide y?
True
Let o(g) = -173*g**2 - 6*g + 1. Let v(h) = -86*h**2 - 3*h. Let x(c) = 2*o(c) - 5*v(c). Does 13 divide x(-1)?
False
Let j = -278 - -285. Let m(l) = 3*l - 8. Let p be m(7). Let k = p - j. Is 2 a factor of k?
True
Suppose t - 319 = 2*m, -2*m - 946 = -4*t + 318. Is t a multiple of 5?
True
Suppose 0 = -39*k + 26*k + 15080. Does 20 divide k?
True
Let a(v) = v. Let k be a(-5). Let i(q) = q**3 + 7*q**2 + 8*q + 4. Let o be i(k). Suppose -6*b + 40 = -o. Is 3 a factor of b?
True
Let m(w) = -2*w**2 + 3*w - 8. Let d(i) = 2*i**2 - 3*i + 9. Let j(c) = -5*d(c) - 6*m(c). Let g be j(3). Suppose -15*h + g*h + 126 = 0. Is 16 a factor of h?
False
Suppose f = -3, -v = f - 6*f - 7. Let n(o) = -o**3 - 8*o**2 - 2*o - 12. Let h be n(v). Suppose -h*t + 82 = -26. Does 7 divide t?
False
Let c(l) = -l**3 - 6*l**2 - 5*l + 5. Let i be c(-5). Suppose -4*r = -39 - 25. Suppose -3*s + 20 = q, 0 = q - 0*q + i*s - r. Is q a multiple of 26?
True
Suppose -4*v = -53 - 27. Let m = 2 + v. Suppose -5*g = -20, 3*w - 4*g = -5 + m. Is 11 a factor of w?
True
Suppose 1 = 3*c - 2, 2*g - 495 = c. Does 31 divide g?
True
Suppose 4*b - n + 5*n + 392 = 0, 4*b + 392 = -3*n. Let i = 164 + b. Is 11 a factor of i?
True
Suppose -10*d = -7*d. Suppose 5*x + 30 = -d*x. Does 14 divide 1*(-51)/x*2?
False
Let d(k) = -8*k - 32. Let i(y) = -y**2 + y + 1. Let f be i(-2). Is 4 a factor of d(f)?
True
Suppose 6 - 1 = -5*w. Let j be ((-3)/(-6))/(w/(-40)). Does 12 divide -2 + (j/5 - -70)?
True
Let a = -21 - -24. Suppose h - 72 = -2*m, 0 = 7*h - a*h + 2*m - 282. Is h a multiple of 12?
False
Suppose -a = -4*u - 254, 0 = 4*a - 2*u + 3*u - 931. Is 3 a factor of a?
True
Suppose 2*k - 252 = -5*g, g - 100 = -k + 29. Is k a multiple of 3?
False
Let g = 58 + -30. Let r(k) = k**2 - 2*k + 82. Let n be r(0). Suppose j - n = -g. Does 27 divide j?
True
Suppose 2245 = -4*h - c, -c - c - 2250 = 4*h. Is 12 a factor of (9/4)/((-6)/h)?
False
Suppose 0 = -4*d + 16. Suppose -19 = 2*o - d*n - 123, 0 = 4*o + 3*n - 197. Is o a multiple of 33?
False
Let h(b) = -51*b + 20. Let s(d) = 2*d - 38. Let t be s(16). Let g be h(t). Suppose -g = -5*w - a, w + 0*a = -3*a + 68. Is w a multiple of 21?
False
Let w = -23 - -24. Let m(z) = 3*z**2 + z. Let o be m(w). Let q(n) = -n**3 + 6*n**2 - 4*n + 4. Does 4 divide q(o)?
True
Let w(s) = s**2 + 37*s + 143. Does 5 divide w(-38)?
False
Suppose -4*l - 297 = -5*l. Suppose -3*y - 193 = -5*x + l, 298 = 3*x - y. Is 12 a factor of x?
False
Suppose 2*m = -2*m + 4, 0 = 2*c - 4*m. Suppose 5*l + 22 = -u + 4*u, -c*u - 5*l - 2 = 0. Suppose d - u = 12. Is 8 a factor of d?
True
Let c = 1549 + -262. Does 99 divide c?
True
Does 14 divide 8/(-56) - 2598/(-7)?
False
Suppose o - 5*g + 5 = -2*o, 20 = 5*g. Let k(a) = 3*a + 4. Let z be k(6). Suppose o*d = 8 + z. Does 2 divide d?
True
Suppose 0 = -20*y + 1577 + 1703. Does 41 divide y?
True
Is 6 a factor of (2 - 16/4)/(14/(-2933))?
False
Let o = -470 - -2300. Is 18 a factor of o?
False
Is 4040/101*75/8 a multiple of 3?
True
Let u = 31 - 29. Suppose -u*m + 33 = -3*m. Does 11 divide (10/3)/((-2)/m)?
True
Suppose -3*f = 3*d - 2283, -2*d + 2*f = 2*