pose p*x - 577 = 23. Is (36/16)/(6/x) a multiple of 15?
True
Suppose -4*q = -11 + 3, -3*q + 60 = 2*z. Suppose 7 = 2*i + 1. Suppose z = 3*w - i. Is 2 a factor of w?
True
Let n = 108 + -82. Let s be 4/12*6 + n. Suppose 8 = 3*t - s. Is 5 a factor of t?
False
Let j = -70 - -78. Suppose 29 - 101 = j*b. Is 6 a factor of (b/(-2))/(6/24)?
True
Suppose 10*a + 7 = 57. Suppose -a*j + 1476 = -j. Is j a multiple of 18?
False
Suppose -450*u + 2781 = -447*u. Is u a multiple of 9?
True
Let q(y) = -7*y**3 - 18*y**2 - 13*y - 19. Let u(o) = 20*o**3 + 53*o**2 + 40*o + 56. Let t(l) = 17*q(l) + 6*u(l). Is t(-9) a multiple of 5?
True
Suppose 0 = -5*o + 4*t - 1372, o - 3*t - 282 = 2*o. Does 9 divide 6 + 6/(-12)*o?
True
Let x be (-1 - -1) + (2 - -162). Suppose -5*i = x - 844. Does 8 divide i?
True
Let t = -17 + 21. Let o be 0 + 9*(5 - t). Suppose o*j + 412 = 2113. Does 17 divide j?
False
Suppose -3*c + 1963 = -5*i, 9*c - 14*c + 4*i = -3250. Suppose -17*w + c = -3145. Is 11 a factor of w?
False
Let w(b) = -b**3 - 8*b**2 - 72*b + 76. Is w(-17) a multiple of 5?
False
Suppose -i = -5*r - 11229, 2*r = 41*i - 37*i - 44862. Is 89 a factor of i?
True
Is 60 a factor of 79 + -87 - 24192/(-2)?
False
Suppose -5*c = 2*a - 5*a + 892, -5*a + 2*c + 1493 = 0. Let z be ((-8)/2 - a) + 3 + 0. Is ((-6)/(-5))/((-18)/z) a multiple of 2?
True
Let r(t) = 6*t**3 + 10*t**2 + 3*t + 6. Let l(f) = -6*f**3 - 11*f**2 - 2*f - 4. Let m(x) = -2*l(x) - 3*r(x). Is m(-3) a multiple of 19?
True
Let i(f) be the third derivative of f**4/8 + 3*f**3/2 + 81*f**2. Let y(l) = l**3 + 10*l**2 - 12*l - 8. Let k be y(-11). Is 14 a factor of i(k)?
False
Suppose -5*r = -5*k - 1021 - 2094, 0 = -r - 2*k + 608. Is r a multiple of 2?
True
Let u = 4830 - 2632. Does 28 divide u?
False
Let s = 30 - 27. Let p be (1 + s)/(2/3). Does 39 divide 1176/p - (2 + 0)?
False
Let d = -594 + 2174. Is d a multiple of 36?
False
Let o(u) = 1860*u - 111. Let l(b) = 266*b - 16. Let g(p) = -15*l(p) + 2*o(p). Does 8 divide g(-1)?
True
Let p(x) = -17*x + 14. Let f = -55 + 49. Let o(i) = -50*i + 42. Let q(d) = f*o(d) + 17*p(d). Is q(11) a multiple of 26?
False
Let y(b) = 66*b + 13. Let p(d) = -29*d - 6. Let q(o) = -5*p(o) - 2*y(o). Let i(x) = 4*x**3 + 2*x**2 - x. Let l be i(1). Does 12 divide q(l)?
False
Let k be (-7 - (-104)/16)/(2/(-3164)). Let z be (5 - 8) + 12/3 + k. Suppose -2*i - z = -5*i. Is 11 a factor of i?
True
Suppose -54 = -4*y + 202. Suppose 61*o = y*o - 720. Is o a multiple of 24?
True
Let q(n) = -n**3 + n**2 + 3*n + 2. Let y be q(-2). Let z = 35 + -28. Suppose 0 = -y*t + z*t + 15. Is 2 a factor of t?
False
Is 6 a factor of 199356/28 + -3 + 18 + 132/(-7)?
True
Suppose 3*d = 8*d + 815. Let b = -47 - d. Let t = b + 31. Does 30 divide t?
False
Let f(d) = 110*d**2 - 139*d - 768. Is 33 a factor of f(-6)?
True
Suppose 17755 - 6540 = 7*p - 26886. Does 2 divide p?
False
Suppose 2*b + 7212 + 926 = 5*s, 6508 = 4*s - b. Let l = s - 1151. Does 25 divide l?
True
Let y(a) = 267*a - 44. Let h be y(3). Suppose 5*f + 2*k = -0*k + h, -3*k + 141 = f. Is f a multiple of 9?
True
Let w = -43 + 45. Let n be (-72)/(-33) + w/(-11). Suppose 146 = -0*d + 3*d - 2*t, -2*t - n = 0. Does 9 divide d?
False
Suppose 2*i + 0*i - 142 = 0. Suppose -416 = -6*c + 370. Let l = c - i. Does 6 divide l?
True
Suppose 49*v - 46*v - 3 = 0, 2*q - 23427 = -v. Does 21 divide q?
False
Let v(y) be the third derivative of 19*y**4/24 - y**3 + y**2 + 58*y. Is 64 a factor of v(6)?
False
Let v(j) = -2*j**2 - 23*j - 24. Let p be v(-12). Let f = -47 - p. Let y(h) = -h**3 - 11*h**2 - 18*h - 22. Is 22 a factor of y(f)?
True
Let n(v) = -4*v**2 - 2*v + 12. Let l(i) = 17*i**2 + 8*i - 48. Let x(f) = -2*l(f) - 9*n(f). Let w(p) = -p**2 + 4*p + 3. Let q be w(-2). Is 33 a factor of x(q)?
True
Let z(f) be the second derivative of f**3/2 + 153*f**2/2 + 92*f. Is 9 a factor of z(41)?
False
Let g = -1841 + 4406. Suppose 0 = -16*m + 2427 + g. Is 13 a factor of m?
True
Let y be (-480)/27 + (-16)/72. Let w be 87/y*-4*3. Suppose 688 = 5*z - 4*f, -f = -4*z + w + 499. Is z a multiple of 14?
True
Suppose 7*k = 21*k - 112. Let m(j) = 25*j + 20. Is m(k) a multiple of 10?
True
Let f = 73 - 66. Let v(l) = -3*l**3 - 3*l**2 - 19*l + 13. Let p(o) = -8*o**3 - 7*o**2 - 39*o + 25. Let z(x) = -2*p(x) + 5*v(x). Does 13 divide z(f)?
False
Let n(l) = 0*l**3 - 14*l - l**3 - 233 + 15*l - 4*l**2 + 3*l**2. Let v be n(0). Let f = v + 368. Is 27 a factor of f?
True
Let r(m) = -50*m**3 + 50*m**2 + 72*m + 36. Is r(-8) a multiple of 60?
True
Suppose -8*p + 4*p = -64. Suppose -p*a + 0*a = -1296. Does 27 divide a?
True
Let p(j) = -j**2 - 6. Let o(q) = q**3 - 4*q**2 - 4. Let n be o(4). Let l be p(n). Is 38 a factor of 2/(-11) + (-1588)/l?
False
Let x(h) = -69*h**2 + 25*h + 2. Let i be x(2). Is 7/21 + (i/(-12))/4 even?
False
Suppose 8*v + 2*q - 4 = 4*v, 5 = -v - 2*q. Let a(y) = -7 + v*y + 10 + 5. Is a(13) a multiple of 13?
False
Suppose 6*u = 18, q + 6*u - 424 = 3*u. Is 83 a factor of q?
True
Let f = 2861 + 244. Is 3 a factor of f?
True
Let a(v) = 219*v - 140 - 50 - 120*v - 159. Is a(6) a multiple of 7?
True
Suppose 19 = o - 4*w + 8*w, 3*o + 11 = 5*w. Suppose -4*f - 3*z - 2 = -o, -2*f = 2*z. Is 23 a factor of ((-2)/4)/(((-3)/f)/618)?
False
Suppose 4*n - 50159 = z, z = -37 + 38. Does 220 divide n?
True
Suppose 2*c - 4*f + 6 = 5*c, -3*f = 9. Suppose 11*h - c*h + 2*p = 2025, -3*h = -2*p - 1199. Is 48 a factor of h?
False
Suppose 0 = -4*w - 2*f + 3350, w + 3*f + 168 = 998. Suppose -5*r = 189 - w. Is 20 a factor of r?
False
Let m(x) = 36*x - 9. Let a be m(-9). Let j = a + 475. Suppose -n = 3*n - 3*k - 309, -2*n = -4*k - j. Is 27 a factor of n?
True
Let g(a) = a**3 - 8*a**2 + 3. Let n be g(8). Suppose -2*w + 3*q = -0*w - 18, n*w - 14 = -2*q. Suppose 88 = w*m - 14. Is 11 a factor of m?
False
Let b be (-8)/((2 - 3) + -1). Suppose -5*w = 4*a - 670, -b*a + 251 = 4*w - 285. Is w a multiple of 14?
False
Let m(v) = 8804*v - 57. Is m(1) a multiple of 90?
False
Let d(h) = -18*h**2 + 7*h - 5. Let y be d(-9). Let m = -890 - y. Is 12 a factor of m?
True
Let w = 3555 + -288. Suppose 83*p - w = 74*p. Does 11 divide p?
True
Let a(o) = -o**3 - 9*o**2 - 16*o. Suppose 0 = -b + 2*b - 4*x - 18, -b - x = 2. Let c be ((-7)/b)/(1/2). Is 5 a factor of a(c)?
False
Let y(i) = 3*i**2 - 40*i + 18. Let a be y(13). Suppose 2*r + 2*r = -4*n + 968, n + a*r - 258 = 0. Does 15 divide n?
False
Suppose -4*j - 12*j + 7632 = 0. Let l = j + -198. Is 12 a factor of l?
False
Let i = 14344 - 10840. Does 16 divide i?
True
Let a(j) = -4*j**3 + 38*j**2 - 16*j - 12. Let k be a(9). Does 11 divide (-867)/(-3) - (-2 + k + -4)?
False
Let t = 13650 - 6012. Does 57 divide t?
True
Suppose -6*n + 23 + 7 = 0. Suppose 0 = 7*c + n*c - 840. Does 10 divide c?
True
Suppose 5*b = 2*f + 3336, 0 = -5*b + 2*b + 5*f + 1994. Suppose 152 = -3*n + b. Let d = n + -85. Is d a multiple of 17?
False
Suppose s = 2 + 2, -3*s + 72 = -4*h. Let q be 4 - 0*(-5)/h. Is (0 - (q - 0)) + 20 a multiple of 3?
False
Suppose -4*x - 76 = 3*k, -4*k = -5*k + 2*x - 12. Let h = 29 + k. Suppose 3*i = -h + 87. Is i a multiple of 6?
False
Is 89 a factor of 10/(-75) + -9 + 383317/165?
True
Let n = -16306 - -31666. Does 54 divide n?
False
Let o(x) = -35*x**2 - 18*x + 41. Let w be o(2). Suppose 0*j - 104 = 4*y + 4*j, -5*y + 2*j - 165 = 0. Let p = y - w. Does 13 divide p?
True
Let w(n) = 7*n - 13. Let h(v) = 2*v**2 - 2*v - 1. Let o be h(2). Let y be w(o). Is 2 a factor of 145/20 + ((-2)/y - 0)?
False
Let d = 78 + -109. Let h = d - -79. Does 8 divide (-2)/(4/h*2/(-6))?
True
Let a be (-88)/(-154) - (-17)/7 - -529. Suppose 16484 = 12*v - a. Is 35 a factor of v?
False
Suppose 16*o - 13*o = -a + 783, 5*a + 3*o - 3903 = 0. Is 20 a factor of a?
True
Let y be ((837/2)/3)/((-3)/(-6)). Suppose -3*n - 158 - y = -l, 25 = 5*n. Is 17 a factor of l?
False
Suppose -4*r + 889*w + 11797 = 894*w, 3*w + 9 = 0. Is 7 a factor of r?
False
Let p be 160/(-26) - 6/(-39). Let c(b) = -38*b - 47. Is c(p) a multiple of 69?
False
Suppose -9*d = -12*d + 3, 2*m - 2*d - 24 = 0. Let u(g) = 8*g**2 - 21*g + 52. Is 126 a factor of u(m)?
False
Let o = 76 + -71. Suppose -4*w - 2 = 2*p, 3*p = -3*w + o*w - 3. Suppose -3*d - b + 49 + 111 = w, -3*b - 144 = -3*d. Is d a multiple of 17?
False
Suppose -60068 - 72589 = -21*k. Is 20 a factor of k?
False
Let v be 6/(-33) - (-9986)/(-11