6?
True
Suppose -7*o + 2*o - 15 = 0. Does 35 divide 9*(o - 8/(-3)) - -151?
False
Let m be -1 - -1 - 8/(-2). Suppose 2*c + 372 = m*s - 2*c, 0 = -5*s + c + 485. Suppose -4*r = -294 + s. Is r a multiple of 16?
False
Let u be (-3 - -2)*(0 + (1 - -11)). Is 14 a factor of ((-9)/(-2))/(u/(-112))?
True
Let k = 1210 - 822. Does 5 divide k?
False
Suppose -17*u + 3461 + 75 = 0. Is 16 a factor of u?
True
Suppose -3*h + 3*c = -c - 2578, -5*c = -3*h + 2582. Let k be -1 + 0 + -13 + 0. Is 13 a factor of k/(-77) + h/22?
True
Let c = -1291 + 1865. Is 40 a factor of c?
False
Suppose 3*v - 1637 = -11. Is 36 a factor of v?
False
Let k(q) = q + 1. Let h(v) = 11*v - 16. Let c(f) = h(f) + 6*k(f). Does 12 divide c(2)?
True
Let x(a) = 3*a + 4. Let p be x(-4). Let k(g) be the first derivative of -g**3/3 - 5*g**2 - 11. Does 8 divide k(p)?
True
Let i = 82 - 52. Let j = 66 - i. Does 6 divide j?
True
Let z(b) = -b**2 + 48*b - 131. Is z(38) a multiple of 23?
False
Let t(i) = i**3 + 6*i**2 - i - 2. Let u be t(-6). Suppose 4 = u*s - 12. Is (-16)/2*(-13)/s a multiple of 5?
False
Let l = -42 - -42. Suppose 5*m + 5*h - 170 = l, -4*h - 27 = -7. Does 14 divide m?
False
Let m = -16 + 16. Suppose 0 = -k + 4*q + 5, 4*k - 60 = -m*k - 4*q. Does 3 divide k?
False
Suppose 7*u - 492 = 5*u. Let d = -134 + u. Is 16 a factor of d?
True
Is 1*-603*(-6)/9 a multiple of 3?
True
Let o(l) = l**3 + 53*l**2 + 41*l + 93. Does 14 divide o(-52)?
False
Let t = -18 - -8. Let m = -6 - t. Suppose m*z + z = -5*j + 105, 3*z = 4*j - 105. Does 8 divide j?
True
Suppose 3*h = -4*h + 3829. Suppose -11 + h = 4*l. Suppose -76 = -3*u + l. Is u a multiple of 12?
False
Suppose -1 = d - 3*b + 16, 31 = -d - 4*b. Let j be 3/(0 - 3) - d. Let r = 34 - j. Is 6 a factor of r?
True
Suppose 2*j = -c + 100, 5*j + 4 = 4*j. Let w = 131 - c. Is w even?
False
Let r = -9 - -26. Suppose -2*b = -3*o + r + 6, 5*b = -o - 15. Suppose 2*u - 2*x - 37 = 9, 2*u = o*x + 43. Does 12 divide u?
True
Let o(y) = y**3 - 46*y**2 + 143*y + 170. Is 37 a factor of o(44)?
True
Suppose 2*q - 321 = 407. Does 14 divide q?
True
Let v(f) be the second derivative of f**4/12 + f**3 + f**2 + 263*f. Suppose 4*m + 17 = -23. Is 12 a factor of v(m)?
False
Suppose -3137 = 29*l - 35936. Does 18 divide l?
False
Let d(t) = -107*t - 24. Is d(-2) a multiple of 10?
True
Let j = 51 + -51. Suppose j = 15*t - 7*t - 1144. Does 13 divide t?
True
Suppose -v - 878 + 284 = -5*w, 4*w + 4*v = 456. Is w a multiple of 14?
False
Suppose -t + 4*y = 15, 0*y + 2*y - 7 = t. Suppose -z + 5 - t = 0. Suppose 17 + 15 = z*k. Is 3 a factor of k?
False
Let p(r) = -r**2 - 21*r - 15. Let b be p(-20). Suppose b*c + c - 84 = 0. Does 7 divide c?
True
Suppose 0 = 7*n - 11*n. Let x(d) = -d**3 - d**2 - d + 113. Is x(n) a multiple of 28?
False
Let d(l) = 38*l**2 - 17*l - 40. Does 3 divide d(-3)?
False
Suppose 0 = -2*p - s + 8695, -64*s = -2*p - 67*s + 8685. Is p a multiple of 30?
True
Does 38 divide (-9577)/(-4) - (-23)/(-92)?
True
Let l be 1 - (6 - (-4 + 1)). Let k be l*(-2 - (-6)/4). Is 18/k - (-3)/(-6) a multiple of 3?
False
Suppose 15234 = 28*h - 5402. Is 67 a factor of h?
True
Suppose -1087 = -5*h - 2*w, -5*h - w = 4*w - 1075. Is 17 a factor of h?
False
Let g = -48 + 45. Let d(r) = -3*r**3 - 2*r**2 + 3*r + 2. Does 14 divide d(g)?
True
Is 7 a factor of 3294/4*(-2)/(-3)?
False
Suppose 0 = -5*n + 2*n + 1668. Suppose 5*b = n + 54. Is b a multiple of 15?
False
Let d(v) = -2 + 4*v - 1 + v**2 + 4*v - 5*v. Let l be d(-4). Does 5 divide 99/9 + (1 - l)?
False
Let x = 1862 - 885. Does 9 divide x?
False
Suppose -2*u + 4 = -6. Suppose w - 3*n - 79 = 16, 0 = 4*w - 3*n - 371. Suppose -u*j = -j - w. Does 7 divide j?
False
Is 11 a factor of 5 - -1*(4 - -607)?
True
Let p be (9 - 2 - 3) + 3. Suppose 49 - p = t. Does 6 divide t?
True
Let q = -90 - -549. Is 16 a factor of q?
False
Let j = -118 + 120. Does 16 divide 1*j/(-1) - 884/(-4)?
False
Does 6 divide 43 + (0 - (2 + 5))?
True
Let f(n) = -n**2 + 12*n - 2. Let x be f(8). Suppose -2*b - a + 47 - 13 = 0, 2*b = -2*a + x. Is 19 a factor of b?
True
Suppose -2*z = -249 - 799. Suppose -3*t = 4*k - 410, 0*k + z = 5*k - 2*t. Is k a multiple of 19?
False
Let g = -68 + -9. Let x = 141 + g. Is 32 a factor of x?
True
Let a(u) = -21*u + 2. Let q be a(-1). Suppose -5*l - 7 = q. Let p(f) = -3*f + 12. Is 15 a factor of p(l)?
True
Is (-15)/(-3) + -3*1354/(-6) a multiple of 10?
False
Let h = -6 - -50. Suppose -3*w + 138 = 3*j, -w + 2*j + h = j. Suppose 3*u = 90 + w. Does 12 divide u?
False
Let b = 147 - 135. Suppose -2*a + 132 = -b. Is 11 a factor of a?
False
Suppose 148*o - 145*o = 5430. Does 10 divide o?
True
Suppose 4*s - 2*a + 286 = 0, 3*a + 209 - 78 = -2*s. Let n = -70 + s. Is 21 a factor of n*(3 - 60/16)?
True
Let z = -1210 - -2047. Is 19 a factor of z?
False
Suppose 4*p - 717 + 2409 = 0. Is (-3)/(-4) - p/12 a multiple of 9?
True
Let i(x) = x**3 + 7*x**2 - 9*x - 8. Let h be i(-8). Does 5 divide (-5)/(2/(-4) + h)?
True
Suppose l = -4*q - 10, -2*l + 5 + 5 = 2*q. Suppose 4*r = -w + 83, 3*w - 2*r - 225 - l = 0. Does 24 divide w?
False
Let o = 994 + -404. Is (-36)/(-45)*o/4 a multiple of 59?
True
Suppose -93 = -3*n + 5*q, 0*q - 4*q = 4*n - 156. Is 6 a factor of n?
True
Suppose -4*g = -4*o, -4*g + o = -2*g - 1. Does 19 divide (-81 - 1/g)/(-2)?
False
Let n(g) = g**3 - 5*g**2 + 5*g - 6. Let x be n(-5). Let v = x + 158. Let c = v - -248. Is c a multiple of 37?
False
Suppose -2*a + 132 = a. Suppose -5*c + 45 = -5*k, 22 = 4*c + 2*k - a. Is 3 a factor of c?
False
Let f be ((-2)/(-6))/(7/105). Suppose 3*u + 6*n - n = 2, f*u = -3*n - 18. Let m = 22 - u. Does 11 divide m?
False
Let u be 60/(-45)*(-6)/4. Suppose -q - 5 = 5*t, 1 = -u*t - q - 4. Suppose t = 6*w - 4*w - 30. Is w a multiple of 9?
False
Let v(w) = -27*w + 10. Is 20 a factor of v(-5)?
False
Suppose o = -o + 18. Is 15 a factor of (-3*10/(-8))/(o/36)?
True
Let s(g) = 5*g**2 - g**3 - 2*g + 7 - g + 2*g**2. Let u be s(5). Let n = 72 - u. Is n a multiple of 10?
True
Suppose -u + 171 = 5*s - 3, 4*s + 20 = 0. Is 2 a factor of u?
False
Let u(k) = 3*k**3 - k**2 + 17*k - 35. Is u(3) a multiple of 8?
True
Suppose 0 = 22*y - 6*y - 2496. Suppose -2*d = -10, 3*d + y = 2*o - d. Is o a multiple of 44?
True
Let b be 5*(-10)/75*3. Is 12 a factor of b + (-1 - 1) - -100?
True
Suppose -5 = -4*y - 53. Is (0 - y/8)*56/6 a multiple of 14?
True
Let r(w) = 783*w**3 - 20*w**2 + 23*w + 11. Let x(z) = -261*z**3 + 7*z**2 - 8*z - 4. Let s(a) = 6*r(a) + 17*x(a). Does 19 divide s(1)?
False
Let h(v) = v**2 + 3*v - 4. Let g = 36 - 41. Let w be h(g). Does 22 divide (w/(-9))/(2/(-132))?
True
Suppose 2*i + 19116 = 5*g + 6821, -4*g + i = -9833. Is g a multiple of 91?
True
Suppose -j - 8*j + 3942 = 0. Is 36 a factor of j?
False
Suppose 5*x = 4*s + 580, 3*s + 101 + 124 = 2*x. Suppose 0 = -5*i - 0*h + 3*h + x, -2*i + 44 = -2*h. Is 3 a factor of i?
True
Let m = -992 - -1541. Is 24 a factor of m?
False
Suppose 5*m + 4*n - 45 = 0, 3*n + 5 = 5*m - n. Suppose 0 = m*h + 268 - 708. Let v = h - 18. Does 14 divide v?
True
Let k(y) = y**3 + 37*y**2 - 82*y - 96. Let m be k(-39). Let o be 6*2*(-1)/(-6). Suppose -o*q + 60 = -m. Does 12 divide q?
True
Let f = 25 + -16. Let v = -14 + f. Let r = v + 12. Is r a multiple of 4?
False
Let d be (-2)/(4 + ((-584)/116 - -1)). Suppose -2*m = -d + 32. Does 2 divide m?
False
Suppose -5*o = -4*d - d, d - 4*o + 6 = 0. Suppose -2*p - 2 = -4*y + 3*p, d*y = 3*p. Let l = 53 - y. Is l a multiple of 10?
True
Suppose d - 12 = -0*t - 3*t, d + 9 = 4*t. Suppose 0 = -3*m + t*a + 546, -3*a - 178 = -2*m + m. Does 22 divide m?
False
Let l(h) = 3*h - 1. Let y be l(11). Does 13 divide 4 + 3/(3/y)?
False
Let s(g) = 4*g + 2 + 2 - 5*g - g. Let p be s(0). Suppose p*v - 5 = 223. Is v a multiple of 19?
True
Let l be (3/2)/((-2)/(-4)). Let i(n) = -4*n - 28. Let s be i(-8). Suppose l*h = -f + 90, -s*h - h - 2*f = -149. Is 8 a factor of h?
False
Suppose -11*z + 8087 - 167 = 0. Is z a multiple of 10?
True
Let s(n) = -n**2 - 12*n - 17. Let v be s(-10). Let f be 2*v*2/4. Suppose -48 = -i - f*b, -5*i = 2*b - 4*b - 206. Does 11 divide i?
False
Is 2 a factor of ((-120)/(-160))/((-3)/(-176))?
True
Let q(y) be the third derivative of -71*y**6/120 - y**5/60 + y**3/3 - 21*y**2. Does 7 divide q(-1)?
False
Suppose -783 - 3573 = -6*a. Is 40 a factor of a?
False
Let n(i) = -i**2 + i - 1. L