ppose -25 = -3*s + 2*r, 0 = 2*s - 3*r - 9 - 1. Let y(c) = 3*c**3 - 11*c**2 - 6*c + 8. Let q be y(4). Suppose q = -k - 7 + s. Is k a multiple of 3?
False
Let t be (-4)/(-26) + (-4980)/(-78). Suppose -s - 3*y = -31, 0 = 2*s - 4*y - t - 8. Suppose -o - 4*f = -5*f - s, -5*o - 2*f + 170 = 0. Does 9 divide o?
False
Suppose 0 = 16*b - 1192 - 968. Does 5 divide b?
True
Let x(i) = 44*i**2 + i. Let d be x(1). Let l be 1/((-3)/d*-3). Suppose 2 - 102 = -l*t. Is t a multiple of 20?
True
Let t(f) = 4*f**2 + 13*f - 8. Does 27 divide t(-14)?
True
Let y = 1092 - 492. Suppose -y = 14*g - 26*g. Is g a multiple of 9?
False
Let y(f) be the second derivative of 31*f**4/12 + f**3/6 - f**2/2 + 3*f. Let w(s) = s**3 - s**2 + s + 1. Let u be w(0). Is 8 a factor of y(u)?
False
Let u(r) = -2*r**3 - r**2 + 7*r + 11. Let o(f) = -3*f**3 - 2*f**2 + 10*f + 17. Let p(v) = -5*o(v) + 8*u(v). Is p(-4) a multiple of 15?
True
Let z = 4 - 20. Let r = -49 + 45. Let w = r - z. Is w a multiple of 6?
True
Suppose -4235 = 10*h - 17765. Is h a multiple of 41?
True
Let h be 14/(-35) + (-12)/(-5). Suppose 0 = 3*n, -h*s - 4*n + 212 = -3*n. Is 10 a factor of 3/2*s/3?
False
Let p = -156 - -90. Let u = 125 + p. Does 30 divide u?
False
Suppose -8*h + 22 = -2. Let a(i) = -6*i + i + 3*i - 14*i - h. Is a(-1) even?
False
Let y(f) be the first derivative of -f**2 + 6*f + 12. Does 5 divide y(-3)?
False
Let c(j) be the first derivative of 14*j**3/3 + 5*j**2/2 - 7*j + 3. Does 52 divide c(-3)?
True
Suppose -2*o - 39 = 3*x, 0 = -5*o + 2*x + 3*x - 60. Is (-66)/(-1*(-6)/o) a multiple of 22?
False
Let w = -19 - -58. Suppose -2*s + w = 219. Is -5 + 1 - (2 + s) a multiple of 21?
True
Let o be ((-1)/(-2))/((-4)/(-24)). Let s = -4 + 9. Suppose o*x + 4 = s*x. Is x a multiple of 2?
True
Does 21 divide 129352/1026 - (-4)/(-54)?
True
Suppose -4*x + 127*x - 605529 = 0. Does 82 divide x?
False
Suppose -388 - 548 = -12*x. Suppose 5*n - 42 = x. Is n a multiple of 3?
True
Suppose -138 = -4*g - 5*j, -3*g + 103 - 15 = -4*j. Is g a multiple of 3?
False
Let d(r) = 58*r + 126. Is d(13) a multiple of 8?
True
Suppose 40 - 137 = -3*y + 4*t, -5*t + 80 = 2*y. Let u = y + 19. Does 18 divide u?
True
Suppose 8*f = 6*f + 20. Let d = -8 + f. Suppose -4*s - 41 = -a, 4*a + d*s = 5*s + 138. Is 10 a factor of a?
False
Suppose -4*a + 208 = 5*f - 2*a, -a - 76 = -2*f. Is 3 a factor of f?
False
Let v = -500 + 357. Let z = -53 - v. Is 12 a factor of z?
False
Does 12 divide (-9)/(-6)*1888/24?
False
Suppose -2341 = -3*q + 2*u, 0*q = -4*q - 3*u + 3144. Does 17 divide q?
False
Let d(r) = -r**3 - r**2 - 4*r + 47. Is 11 a factor of d(-8)?
False
Suppose -u + 135 = i + 32, 0 = u + 1. Let w = i + -7. Does 10 divide w?
False
Suppose 5*z + 7*l = 9*l + 2582, -5*l = 2*z - 1027. Is 65 a factor of z?
False
Let j(l) = 9*l**2 - 4*l + 4. Let u(w) = w**2 - w + 1. Let b(h) = j(h) - 5*u(h). Let p be b(1). Does 4 divide (p - 0) + (-24)/(-12)?
False
Suppose 4*a - 25 + 13 = 0. Does 7 divide a/((9/42)/((-3)/(-2)))?
True
Does 37 divide (-2960)/(-12)*9/6?
True
Let i(o) = -o**2 - 16*o - 14. Let z be i(-14). Does 8 divide 4/z + 414/21?
False
Suppose 9024 = 4*c - 4*x, 3*c - 5*x = -3*x + 6769. Is 13 a factor of c?
False
Suppose -2*q + 5 = -47. Suppose -6 = -5*v - q. Is 37 - v*4/(-16) a multiple of 15?
False
Let n(u) = 324*u**2 - 3*u - 2. Is 25 a factor of n(-1)?
True
Suppose 7*f - 40 = 6*f. Suppose 22 - f = -3*b. Is 2*b*2/4 a multiple of 6?
True
Suppose 0*a + 4*a - 488 = 0. Let y = -82 + a. Is y a multiple of 8?
True
Is ((-230700)/(-110))/10 - 3/(-11) a multiple of 35?
True
Suppose 13 + 55 = 4*o. Let u = 63 - o. Is u a multiple of 13?
False
Does 7 divide (-3)/1*17/102*-1120?
True
Suppose -i = -4*i + 15. Suppose 4*m - i*o - 36 = -o, 0 = -3*m + 2*o + 31. Is 12 a factor of m?
False
Suppose -4*w = -10 + 14. Let r(b) = 71*b**2 + 3*b + 3. Does 8 divide r(w)?
False
Let k(o) = -o**3 - o**2 + o. Let b be k(1). Suppose 3*h - 7*h - 4*n = -240, 2*h - 5*n - 106 = 0. Is 19 a factor of (b + h)*14/21?
True
Suppose -9*t - 2892 = -13*t + 4*f, -5*f - 1449 = -2*t. Is 10 a factor of t?
False
Is 27 a factor of 4456/12 + -1*(-3)/(-9)?
False
Let j(i) = 292*i**2 + i + 2. Is j(-1) a multiple of 15?
False
Is (-2)/((-154)/310009) + (-7)/77 a multiple of 33?
True
Let d(n) = -n - 10. Let j be d(-12). Suppose j*f - f - 92 = 0. Does 23 divide f?
True
Let b(f) = 7*f - 4. Suppose 0 = 2*s - s - 3. Let x be b(s). Suppose -19 = -2*y + x. Does 18 divide y?
True
Suppose -15 = 4*s + 13. Let m be (-8 - s)*(-386 + 1). Suppose 5*r - 8 = -4*l + 321, 5*l = -r + m. Is 19 a factor of l?
True
Suppose -27 = -3*v - 21. Suppose 0 = v*x + 2*x + 4*b, -x - 5 = 2*b. Suppose 4*s = -3*u + 269 - 7, x*s = -u + 91. Does 17 divide u?
False
Suppose 0*c + 3*p + 306 = c, -5*p - 5 = 0. Suppose 3*b = -123 + c. Is b a multiple of 30?
True
Let r = -29 - -68. Let o = 84 - r. Is 18 a factor of o?
False
Suppose 4*u - 1205 = 5*x, -2*u = -x - 4*x - 615. Does 5 divide u?
True
Suppose 3*d + 112 = 4*x, x - 3*d - 43 = -6*d. Suppose 5*k - 15 = 2*k, -k = 2*l - x. Is 5 a factor of l?
False
Suppose -7 = -a - h + 6, 0 = 3*a - 2*h - 14. Is 2 a factor of a?
True
Suppose 1916 = -3*d + 488. Is 12 a factor of (d/63*3)/((-2)/9)?
False
Let b = -22 - -28. Suppose -99 = -b*f - 21. Does 13 divide f?
True
Let u(w) = -20*w - 31. Is u(-20) a multiple of 9?
True
Let s(m) = 4*m + 20. Let l be s(15). Does 10 divide 20*(-5)/(l/(-36))?
False
Is 19 a factor of ((-33462)/(-39) - 3/1)*6?
True
Let f(q) = q**2 + 18*q - 29. Let n(i) = i**2 + 17*i - 30. Let h(d) = 3*f(d) - 2*n(d). Is h(-23) a multiple of 7?
True
Let l = 41 + 176. Is 7 a factor of l?
True
Suppose -2*x + 586 = 2*z - 766, -4*z + 1360 = 2*x. Does 24 divide x?
True
Let w(b) = 16*b**2 - 14*b + 27. Does 29 divide w(9)?
False
Let f(p) = -p**3 + 41*p**2 + 64*p - 24. Is f(42) a multiple of 25?
True
Let s be (-2 - 1)*(-246)/9. Suppose s = a + 3*k - 0, 3*k - 246 = -3*a. Is a a multiple of 11?
False
Suppose -3*i + 4*r + 65 = 0, 2*i - 5*r - 41 = -0. Let m = i + 9. Suppose -28 - m = -2*k. Does 10 divide k?
True
Let m = 10 + 165. Is 16 a factor of m?
False
Suppose -4 = m - 3*m. Suppose 5*h - 11*d - 140 = -6*d, -5*d + 76 = 4*h. Suppose -k + h = m*k. Is k a multiple of 7?
False
Is ((-6)/(-12))/((-1)/13)*-64 a multiple of 10?
False
Let g be (-196)/91 + (-6)/(-39). Is 14 a factor of ((-41)/2)/(g/4) - -1?
True
Let m(l) = l**2 - l + 2. Let a be m(2). Does 14 divide 7/a*(64 - -12)?
False
Suppose u = 2*z - 26 - 3, 26 = 2*z - 4*u. Let i(j) be the third derivative of -j**6/120 + 7*j**5/30 + 17*j**4/24 - 2*j**3 + 35*j**2. Does 8 divide i(z)?
False
Suppose -4*v = -w + 263 + 269, 2*w - 4*v = 1060. Is 58 a factor of w?
False
Let a = -280 + 167. Suppose 5*s + 195 = -v - 0*s, -5*v = 5*s + 875. Let b = a - v. Is 19 a factor of b?
True
Let k be 83/1*(7 - 4 - 4). Let n = 369 + k. Does 22 divide n?
True
Let p(k) = 9 + 6*k + k**2 + 6*k - 2*k. Let b be p(-8). Let h = b + 24. Does 17 divide h?
True
Let d(a) = 5*a**2 - 11*a - 160. Does 36 divide d(-13)?
True
Let k = -39 + 33. Let i be k/(5/10*-4). Suppose -3*m + 5*a + 263 = 0, -7*m + i*m + 374 = -2*a. Is 32 a factor of m?
True
Suppose 4 = -7*a + 8*a. Suppose i = 5*w - 8, -2*w + 2 = -a. Let k(x) = -x**2 + 10*x - 17. Does 2 divide k(i)?
True
Let c(x) = 520*x - 315. Does 10 divide c(9)?
False
Let y = 366 + -223. Is y a multiple of 13?
True
Let q = 709 - 115. Is 66 a factor of q?
True
Suppose -4*j = -2*u - 10, 0*j + 25 = j - 5*u. Suppose -5*q - 3*r + 276 = j, q + 4*r - 2*r - 58 = 0. Is 18 a factor of q?
True
Let j(q) = -q**2 - 11*q + 11. Let m be j(-12). Is 146/((1/(-1))/m) a multiple of 14?
False
Let k be ((-228)/(-18))/(1/3). Suppose 3*i = 2*o - 0*o + 65, -4*i + 3*o = -88. Let h = k - i. Is h a multiple of 7?
False
Let b be 4/(-10) - 1143/(-45). Let n = 37 - b. Let y = 2 + n. Is 7 a factor of y?
True
Let w(t) = 3*t + 14. Let k be w(-8). Let q = -3 - k. Is 14 a factor of -1 + 20 + (q - 7)?
False
Let c(a) = 2*a**3 - a**2 + 10*a - 8. Let s be c(4). Let i = 234 - s. Does 30 divide i?
True
Is 17 a factor of (-170)/(-4)*16/20?
True
Let p(v) = -243*v + 356. Is 16 a factor of p(-4)?
True
Let a(r) = -15*r - 6. Let t be 0 + 8*4/(-8). Is 9 a factor of a(t)?
True
Let d be (-10)/40 - 33/(-4). Is 27 + d/(8/(-2)) a multiple of 11?
False
Let c(l) = l**3 - 8*l**2 - 2*l - 17. Let p = -3 + 12. Is c(p) a multiple of 15?