se 5*d + 4*y = q + 33, y - 46 = -2*d. Does 24 divide d?
True
Let x(h) be the second derivative of -h**5/20 + h**3/3 - 3*h**2 - 21*h. Is x(-5) a multiple of 35?
False
Let n = -29 - -29. Suppose n = m - 45 - 35. Is 28 a factor of m?
False
Suppose -k + 2 = 2*m + 3*k, 4*k + 26 = 2*m. Is 3 a factor of m?
False
Suppose 20*p - 72 = 17*p. Suppose 4*l = -3*r + 2*l + 24, 3*r + l - p = 0. Does 7 divide r?
False
Let n = -59 + 2. Let h = -15 - n. Is h a multiple of 21?
True
Let m(r) = 18*r**2 + 9*r - 9. Suppose 0 = a + 5*z - 0 - 21, 0 = 4*z - 16. Is 18 a factor of m(a)?
True
Suppose -5*u + 0*u = 4*v - 36, 4*v = 4*u. Suppose -3*g + m - 25 = 0, 0*g + 5*g = -v*m - 19. Let q(z) = -4*z - 4. Is 12 a factor of q(g)?
True
Let a(k) = -1. Let x(r) = -5*r**2 - 6*r + 1. Let m(i) = i**2 - 1. Let z(q) = 6*m(q) + x(q). Let w(s) = 2*a(s) + z(s). Is w(-8) a multiple of 35?
True
Suppose 15*y = -117 + 27. Is -1 - -67 - (-6)/y a multiple of 15?
False
Suppose a + 2*s - 625 = 0, -a - 6*s = -350 - 275. Does 16 divide a?
False
Let o = -4 + 9. Let b(i) = i**3 - 3*i**2 - 6*i - 4. Let s be b(o). Suppose -5*v + 9 = 2*r - s, -3*r + 29 = -v. Does 10 divide r?
True
Suppose -3*b + 255 = i + 2*b, 1254 = 5*i + 4*b. Suppose -650 = -18*d + i. Does 15 divide d?
False
Let u(k) = -k**3 - 6*k**2 + 6*k - 3. Let c be u(-7). Let v(b) = 2 + 8*b - b**3 + 6*b**2 + 7 - c. Is 4 a factor of v(7)?
True
Let d = 1 + 1. Let x(h) be the first derivative of 16*h**3/3 - h + 14. Is x(d) a multiple of 21?
True
Let i be (-5)/(-10) + 10/4. Let r(l) = 3*l + 8*l**2 - 2*l**2 + 3 - l**2 - 2 - l**i. Is r(5) a multiple of 5?
False
Let u be (2508/(-30))/(1/(-5)). Suppose 0 = -8*w - u + 1042. Is w a multiple of 6?
True
Suppose 5*p + 20 = -0*p. Let o be 5 + 1/(4/p). Suppose -23 = -h - o. Is 7 a factor of h?
False
Let u(s) = 45*s**2 + 3*s - 4. Suppose -2*l + 2*d = l + 3, 2*l - d + 1 = 0. Does 11 divide u(l)?
True
Does 30 divide (-15 - 165)*((-30)/9 - -1)?
True
Suppose -22*o + 20895 = 6859. Is o a multiple of 22?
True
Suppose s + 2*s = 0. Suppose s*d + 52 = d. Suppose 0*i + 2*i = d. Does 13 divide i?
True
Suppose 9*v - 6*v - 78 = 0. Is 6 a factor of v/143 + (-328)/(-11)?
True
Let w be ((-87)/2)/(3/6). Let c = -75 - w. Does 2 divide c?
True
Let h = -977 + 2143. Is h a multiple of 20?
False
Suppose v = 4*u - 3668, 2886 = 4*u - 5*v - 766. Does 17 divide u?
True
Suppose 3*u + 2*i + 0*i - 534 = 0, 4*i = 3*u - 516. Does 18 divide u?
False
Let x = 13 - 26. Let y be x + 15 - 2*9. Let o = y + 35. Is o a multiple of 17?
False
Let j be 1/4 + 32965/76. Let t = j - 304. Is t a multiple of 13?
True
Let o(n) = -n**2 + 10*n + 2. Let b be o(11). Let u be (-28)/126 + (-2)/b. Suppose 4*y - 319 - 53 = u. Is y a multiple of 17?
False
Is 26 a factor of (39/2)/(9/24)?
True
Suppose 4*g + 294 = -38. Let j = 12 - g. Is 19 a factor of j?
True
Let d(f) = 67*f**2 + f - 2. Let w be d(1). Does 9 divide 7/((-28)/16) + w?
False
Suppose -3621 = 1190*h - 1193*h. Is h a multiple of 21?
False
Let d(p) = -p**2 + 13*p - 3. Let q be d(12). Is 14 a factor of (48/q - 3)*(53 + 1)?
True
Let v = 34 - 34. Suppose 5*z + 2*z - 175 = v. Does 4 divide z?
False
Let p(a) = -a + 5. Suppose -b + 15 = -3*h, b + 5*h = -4*b - 5. Let l be p(b). Let t = 47 - l. Is 15 a factor of t?
True
Suppose -2*j - 989 = -3*w, -2*w + 4*j + 670 = 8*j. Does 24 divide w?
False
Let x(t) = -35*t**3 - 3*t**2 - t + 9. Let o(d) = -52*d**3 - 4*d**2 - 2*d + 13. Let i(r) = -5*o(r) + 7*x(r). Let c = -18 - -19. Does 5 divide i(c)?
True
Suppose 4*f - 845 = -3*y, -5*y + 4*f + 955 + 400 = 0. Suppose h = 3*h - l - y, -130 = -h - l. Is 9 a factor of h?
True
Is 107 a factor of (1 - -293) + -6*1/1?
False
Suppose 4*c - q = 3, 3*c - q + 2*q - 4 = 0. Let s(m) = 72 + 7*m + 12*m - 72. Is s(c) a multiple of 8?
False
Suppose 5*q - 922 = -4*x, 4*q - 342 = -4*x + 578. Is 9 a factor of x?
False
Let c be (-6)/(-12) - 2/4. Let h be -1 + 4 + (c - 0). Is 5 a factor of 23 - (h + 0/(-1))?
True
Suppose 5*w = 2213 + 487. Let l = w - 242. Does 25 divide 9/27 + l/6?
True
Does 10 divide 12/(-8) + 1 - 3278/(-44)?
False
Let v = -319 - 74. Let n = v - -698. Suppose -5*i + 2*k = -14 - n, -3*i + 199 = -5*k. Does 21 divide i?
True
Let j = 1097 - 855. Is 11 a factor of j?
True
Let y = -63 - -127. Let q = 68 - y. Is q a multiple of 2?
True
Let x(z) = z**2 - 14*z + 27. Let t be x(12). Suppose -2*y - 3*k = -631, 4*k - k - 954 = -t*y. Is y a multiple of 50?
False
Let k(s) = 2*s**2 - 9. Let o be k(3). Suppose -o = -h - 5. Is 48 - (4 - h) - -4 a multiple of 13?
True
Let o(n) = n**2 + 8*n - 4. Let z be o(-11). Let a = 32 - z. Suppose 0 = 5*b - 2*m - a - 281, -183 = -3*b - 3*m. Does 15 divide b?
False
Suppose -6*h = -2*h. Suppose 0 = 4*q + 5*a - 28, h = -0*q + 3*q + 5*a - 21. Suppose p + 61 = z, 3*p = -5*z + q*p + 301. Is z a multiple of 18?
False
Let f = -52 - -644. Is f a multiple of 38?
False
Let h(t) = -t**3 - 7*t**2 + 8*t + 4. Let u be h(-8). Let i = u - -7. Suppose -4*w + 5 = -i. Is w a multiple of 4?
True
Is (-12 - (-474 + 9))/1 a multiple of 9?
False
Is 41 a factor of 12 - 4 - 11 - -618?
True
Suppose -13854 = -43*i + 3174. Does 4 divide i?
True
Let s(t) = t**2 - 4*t - 6. Let h be s(3). Let k(i) = 3*i**2 + 18*i - 2. Is 16 a factor of k(h)?
False
Suppose 0 = -4*d + 12 - 0, -3*g = -4*d - 876. Let c = g + -126. Does 17 divide c?
True
Let u = 12 + -5. Let d(v) = v**3 - 7*v**2 - 4*v - 4. Let q be d(u). Let c = -14 - q. Is 5 a factor of c?
False
Suppose -5*j + 3*y + 177 = 0, -4*j + 0*j + 4*y + 148 = 0. Let o = -19 + j. Suppose 0 = -2*g + 48 - o. Is 9 a factor of g?
False
Let s be 0 + 8 - (-3 - 0). Suppose s = -5*z + 86. Does 3 divide z?
True
Suppose -18 = -4*c - 2*h, 5*c + 4*h - 16 - 11 = 0. Suppose 0 = c*v - 4*v + 44. Is v a multiple of 9?
False
Let z(y) = 119*y**2. Let l be z(1). Suppose 8*q - l = q. Is q a multiple of 6?
False
Let i = -407 - -533. Does 18 divide i?
True
Suppose -10*k - 580 = -5*k. Let s = -28 - k. Is 8 a factor of s?
True
Let r(n) be the first derivative of -2*n**2 - 7*n + 23. Let l be 2/(-8) - (-22)/(-8). Is 5 a factor of r(l)?
True
Let c(b) be the third derivative of -b**6/120 - b**5/15 + b**4/6 - 22*b**2. Let y(w) = w + 2. Let q be y(-7). Is 2 a factor of c(q)?
False
Suppose -3*l + 4*l = t + 329, -2*l = t - 661. Suppose l = -0*c + 5*c. Is 11 a factor of c?
True
Let x(c) = 2*c**2 + 37*c - 6. Does 6 divide x(-21)?
False
Let g(r) = 3*r**2 + 1. Let b(f) = -f + 8. Let j be b(6). Let a be g(j). Suppose 3*l = 5*y - 94, -4*y + 2*l = a - 87. Does 5 divide y?
False
Let k(p) = 9*p**2 + 5*p - 6. Suppose 4*c - 8 = -0. Let g be k(c). Suppose 0*a + a - 5*x = g, 0 = 2*x. Is a a multiple of 10?
True
Suppose 4*h - 1018 = -2*x, -15 = -4*x - 19. Is 18 a factor of h?
False
Suppose 5*s + 254 - 1830 = -w, w - 946 = -3*s. Does 21 divide s?
True
Let r be (-589)/(-1) - (-1 - -2). Suppose 4*o + r = 6*o. Suppose 0 = 3*m + 48 - o. Is 22 a factor of m?
False
Does 3 divide (135/75)/(9/2055)?
True
Is (-12)/8 + (-57771)/(-42) a multiple of 34?
False
Let j(z) = z**3 - 7*z**2 + z + 9. Let q be 217/28 + 3/(-4). Let d be j(q). Let h = d + -2. Is 7 a factor of h?
True
Let b = 24 - 10. Let a = b - 11. Suppose 4*i - 329 = 5*t - 2*t, -a*i + 254 = 5*t. Is 23 a factor of i?
False
Let s = -112 - -116. Let g = 107 + s. Is g a multiple of 17?
False
Suppose -2*j + 71 = -0*a + a, -3*a - 3*j + 210 = 0. Does 23 divide a?
True
Let r(x) = 31*x**3 + x**2 - 2*x + 1. Let s be r(1). Let v = s - 7. Does 17 divide v?
False
Let t = 111 + -120. Is 42/t*(-10)/105*45 a multiple of 5?
True
Does 26 divide ((-1479)/(-68))/(1/4)?
False
Let r(w) = 9*w**2 - 2*w**2 + 14 + 3*w - 6*w**2. Is r(-7) a multiple of 14?
True
Let w(b) = 152*b + 12. Is 41 a factor of w(1)?
True
Let j(b) = 27*b. Let h be j(1). Suppose -5*y - h - 23 = -5*m, -m = -5*y - 18. Is 8 a factor of m?
True
Let l(s) = s**2 - 7*s - 44. Suppose 2*p - 4*n = p + 25, -4*p + 40 = 4*n. Does 34 divide l(p)?
True
Let y be 1*(-8)/5*-5. Let q(r) be the second derivative of r**3/2 - 4*r**2 - 2*r. Is 8 a factor of q(y)?
True
Let u = -5 + 24. Suppose 3*n = p - u, -3*p + 0*p = 3*n - 57. Does 13 divide p?
False
Let s = -233 - -377. Suppose k + s = 3*f, 0 = -3*k + 7*k + 4*f + 528. Does 17 divide 18/15*k/(-2)?
False
Suppose -n = 3*v + 139, -2*v - 4*n = 3*v + 241. Let o be (-2 + 2 + v)*-1. Suppose 0*p = 3*p - o. Is p a multiple of 9?
False
Suppose 