a = -4*t + 36, 2*t + 5*a = -10. Is q(t) a multiple of 12?
True
Suppose -252 = 5*q + 2*q. Let h = q - -44. Is h a multiple of 2?
True
Suppose 0 = 46*z - 52*z + 12444. Suppose 9*n - z = -238. Is 17 a factor of n?
True
Let b(s) be the first derivative of s**5/60 - 7*s**4/24 - 2*s**3/3 - 5*s**2/2 - 1. Let z(i) be the second derivative of b(i). Does 7 divide z(9)?
True
Let c(y) = 46*y**2 - 2*y - 2. Suppose -25*b + 26*b = 2. Suppose b = -3*l + l. Does 23 divide c(l)?
True
Is 30/(-4)*49396/(-265) a multiple of 44?
False
Suppose 5*c + 465 = 4*x - 90, 4*c = -3*x + 393. Does 9 divide x?
True
Suppose 4*n = 6 + 2. Suppose 3 = 3*q - 2*f - 8, -n*q - 5*f = -1. Suppose 0 = q*y - 3 - 36. Does 13 divide y?
True
Let z(m) be the third derivative of -m**6/720 - m**5/60 - m**4/12 + 4*m**2. Let p(y) be the second derivative of z(y). Is 2 a factor of p(-6)?
True
Let t(v) = -8*v**2 - 2*v + 1. Let r be t(4). Suppose 4*g + 42 = 3*m, 6*m - 2*g - 66 = 2*m. Does 9 divide 20/(-6)*r/m?
False
Let s = 259 - 107. Is s a multiple of 22?
False
Suppose 0 = -4*u - 5*t + 2404, -2*u = -5*t - 1064 - 138. Is u a multiple of 28?
False
Let a(s) = s**2 - 3*s - 33. Let c be (-90)/5 + 2 + 3. Is a(c) a multiple of 13?
False
Let i(h) = 2*h**2 + 10*h - 3. Let u be i(-8). Suppose 5*q - 21 = -4*v, 4*v + q - 4*q - u = 0. Suppose 30 = -4*a + v*a. Is 6 a factor of a?
True
Suppose 25*p - 18206 = 11794. Is p a multiple of 80?
True
Let b = -508 - -716. Is 5 a factor of b?
False
Let t be 0 - (1/(-4) - (-56)/(-32)). Suppose 0 = t*j + j - 126. Is j a multiple of 42?
True
Let w(p) = p**3 + p**2 - p + 7. Let x be w(0). Suppose 0 = z - 4*q - x, 2*z + 5*q - 1 = 0. Suppose 6*r + 5*v - 34 = 3*r, -z*v - 18 = -3*r. Is 4 a factor of r?
True
Let a(c) = c**2 - 29*c + 30. Let t be a(24). Let z = t + 177. Is z a multiple of 10?
False
Is 2/((4/(-80))/((-90)/8)) a multiple of 45?
True
Suppose 0 = 123*x - 113*x - 7050. Is 13 a factor of x?
False
Suppose -2*c + 25 = 3*c, g - 93 = -5*c. Suppose -2*i + 56 = 3*t, 4*i - 2*t = 3*t + g. Does 2 divide i?
True
Suppose -2*a + 7454 = -2*w, 10 = -5*w - 15. Is a a multiple of 25?
False
Suppose -1493*h + 776 = -1485*h. Is h a multiple of 2?
False
Is (-3 + 2 + -6)/((-30)/2280) a multiple of 38?
True
Let j(b) = 34*b + 6. Let v be j(4). Let d = v - 114. Does 5 divide d?
False
Suppose b + 5*h = 6, h + 13 = -5*b + 139. Suppose -4*k + b = -82. Is 5 a factor of k?
False
Let f = -480 + 742. Does 33 divide f?
False
Suppose 3 = -t + 4*j + 16, 4*t = j + 7. Suppose l = t + 7. Is l a multiple of 4?
True
Suppose 0 = -4*h - 5*l + 30, 0 = -2*h - 2*l + 7*l. Suppose h*v + 182 = 52. Let w = v + 39. Is w a multiple of 3?
False
Let t = 30 - 26. Suppose 0 = 4*u - l - 11, 0 = -t*u + 2*u + 5*l + 19. Let q = 1 + u. Does 2 divide q?
False
Let s be (-12)/15*10/(-4). Suppose -5*k + s*k - 5*f + 16 = 0, f + 28 = 2*k. Suppose -k - 297 = -3*a. Is a a multiple of 20?
False
Let l = 274 + -78. Is l a multiple of 17?
False
Let j be ((-3)/6)/((-1)/(-246)). Let u = -63 - j. Is u a multiple of 30?
True
Suppose -b + 3*s = 3*b + 17, 3*b + 3*s = 3. Let i be (14/(-4))/((-1)/(-10)). Let o = b - i. Does 11 divide o?
True
Let b(o) = -2*o**3 - 8*o**2 + 7*o + 3. Let q be b(-5). Suppose u - q = 15. Does 11 divide u?
True
Let f = -448 + 1376. Is f a multiple of 31?
False
Let w(l) = 2*l**2 + 20*l + 13. Let m be w(-9). Does 16 divide ((-10)/6 + 2)/(m/(-1245))?
False
Let u(f) = 2*f**2 + 57*f - 110. Is 24 a factor of u(-34)?
True
Let i(j) = j**3 - 3*j**2 + 2*j + 4. Let c be i(4). Suppose u + c = -0*u. Let f = -17 - u. Is 4 a factor of f?
False
Suppose -18 = 4*g - 42. Suppose u - g*r = -r + 28, u - 3*r = 18. Does 10 divide (-59)/(4 - (u + 2))?
False
Let c(s) = s**2 - 3*s - 45. Let v be c(9). Suppose 0 = v*q - 597 - 105. Is 8 a factor of q?
False
Suppose 0 = -5*i + 4*a + 775, -4*i - 4*a - 109 = -729. Is i a multiple of 16?
False
Let j(t) = 3*t - 6. Let p be j(2). Suppose p = -5*d + 24 + 6. Does 4 divide d?
False
Let r(c) = c**2 + 7*c - 6. Let j be r(6). Let m be 5/2 + (-1)/2. Suppose m*v - j = 16. Does 22 divide v?
True
Let o(i) = -250*i**3 + 2*i**2 + 3*i + 3. Does 9 divide o(-1)?
True
Let o = -9 + 9. Suppose 3*d + 5*c - 305 = o, -103 = -2*d + d - c. Does 17 divide d?
False
Let b(s) = 3*s - 20. Suppose -4*d - 66 + 20 = -5*a, 4*a + 19 = -3*d. Let x be b(d). Let n = x - -78. Is 8 a factor of n?
False
Let u(i) = i**2 - 2*i + 21. Is 63 a factor of u(14)?
True
Suppose 5*q = 2*q + 9. Suppose -v + 48 = -5*x + q*x, 146 = 3*v - 5*x. Is 15 a factor of v?
False
Suppose 4*k - 3 - 5 = 0. Suppose -k*b = -5 + 3. Does 11 divide (-11)/4*(-12)/b?
True
Let x(p) = 110*p + 30. Let u be x(4). Does 23 divide (1*u - -1)*(-54)/(-81)?
False
Let h(a) = 3*a**2 + 3*a + 15. Let y be h(-6). Is (-346)/(-5) - 21/y a multiple of 13?
False
Let y be (-4)/(-10) - 6*(-93)/30. Suppose -z + 44 = -y. Is z a multiple of 20?
False
Let h = 139 - 59. Does 4 divide h?
True
Suppose -4*d - 5 - 31 = 0. Let k be (-3)/2*48/d. Suppose 0 = r - 4*y + 4, 3*y + 105 = 5*r + k*y. Is 16 a factor of r?
True
Suppose 4*w + 84 = f, 5*f - 439 = 3*w - 2*w. Let o = f + -26. Is 12 a factor of o?
False
Is 66/18*6*183/6 a multiple of 20?
False
Let x(l) = 35*l**2 + 4*l - 2. Does 17 divide x(1)?
False
Suppose 0 = j + 3, d + 10 = -0*j - 4*j. Suppose -d*a + 5*m + 94 + 547 = 0, -4*a + 1307 = -5*m. Is a a multiple of 21?
False
Suppose -3*t = -5*x - 1579, 5*t - 4*x - 1056 = 3*t. Suppose 7*j - t = 182. Is 25 a factor of j?
True
Let s(u) = -31*u + 244. Does 14 divide s(6)?
False
Let r = 156 - 67. Suppose 3*p + q - r - 158 = 0, q + 77 = p. Is 27 a factor of p?
True
Is 12 a factor of (0 + 244)/(9/27)?
True
Suppose 6*t = 5*y + 2*t - 46, t + 19 = 2*y. Let m = y + 7. Does 7 divide m?
False
Let l(y) = 3*y**2 + 21*y - 24. Let i(v) = -v**2 - 7*v + 8. Let a(g) = -8*i(g) - 3*l(g). Suppose -4*x + 24 = -8*x. Is a(x) a multiple of 14?
True
Let t(r) = -7*r. Let f be t(1). Let o = 11 + f. Does 19 divide 78 + (-1 + 3 - o)?
True
Suppose -h + 2*h - 11 = -3*d, d - 6 = 2*h. Does 7 divide 0 + (39 - 0 - d)?
True
Let c(q) = -213*q + 42. Does 17 divide c(-26)?
False
Let u(o) = -o + 4. Let y be u(2). Let r be y*(-9)/24*-12. Let c(l) = l**3 - 9*l**2 - l + 22. Is c(r) a multiple of 13?
True
Let p(l) = -l**3 + 3*l**2 + 5*l - 1. Let y be p(10). Is 18 a factor of y/(-12) - (-3)/(-12)?
True
Suppose 0 = q + 1 + 2. Let w be -50*(q - (-4)/(-2)). Suppose 4*r + r - w = 0. Is r a multiple of 15?
False
Let y(h) = h**2 - 2*h + 63. Is y(0) a multiple of 3?
True
Let s = 83 + -67. Let r = 3 + 3. Suppose 3*y = 15, -2*h - 2*y + r*y - s = 0. Is h even?
True
Let r = 9 + -4. Let n = 8 - r. Suppose 5*g = x + 40, 5*g + 4*x = n + 37. Does 4 divide g?
True
Let s(l) = 21*l**2 + 5*l + 4. Let r be s(-1). Let d(c) = c**3 - c**2 + 2*c. Let n be d(-2). Let f = n + r. Is f a multiple of 4?
True
Suppose 4*d + 245 = 9*d. Is 7 a factor of 28/d*7/2 + 128?
False
Suppose 4*z - 2*s = 68, 4 = 5*z - 5*s - 71. Is z a multiple of 3?
False
Let h(z) = z - 11. Let v be h(11). Let i = 6 + v. Does 6 divide i?
True
Let q = 1 + -21. Let y(b) = 6*b - 272. Let p be y(47). Is p*(4 + 56/q) a multiple of 3?
True
Suppose 3*v - 4*v + 5 = 0. Suppose -4*r + 15 = -5*l, 5*r - l = -5*l - 12. Suppose -o = v*t - 40 + 14, -5*t + 2*o + 38 = r. Is 3 a factor of t?
True
Suppose -19*a - 10*a = -2813. Does 16 divide a?
False
Suppose q + 342 = -5*q. Let s = q + 89. Does 7 divide s?
False
Suppose 0*b - 16 = 2*b - 2*s, -4*b - 4*s = 40. Let l = -3 - b. Is 2 a factor of l?
True
Suppose 15*g + 3025 = z + 10*g, -6017 = -2*z - g. Does 14 divide z?
True
Let z = 132 - -12. Suppose 15*l - 11*l - z = 0. Is 25 a factor of l?
False
Let q(b) = -7*b - 12. Suppose 6*k = 12 - 60. Is q(k) a multiple of 11?
True
Let x(j) = -j + 8. Let s(g) = -2*g + 8. Let i(w) = -4*s(w) + 3*x(w). Is i(4) a multiple of 3?
True
Let x = -267 - 200. Is 2/8 + x/(-4) a multiple of 13?
True
Let l = -243 - -327. Does 9 divide l?
False
Let h be 8/6*3/(-2). Let m be -1*-1*25 - h. Is 13 a factor of 1764/m - 2/6?
True
Let r = 29 + -10. Suppose r + 85 = -4*c. Does 13 divide (c/8)/(2/(-24))?
True
Let u(j) = -j**2 + 8*j - 5. Let f be u(8). Let b = 53 + f. Does 16 divide b?
True
Suppose -455 = -4*y - 5*n + 65, 5*y = 5*n + 695. Let a = 245 - y. Suppose 4*v + 2 = a. Does 9 divide v?
True
Suppose 12*y - 11 - 49 = 0. Let u(j) = 4*j**2 - j - 28. Does 24 divide 