divide j?
True
Let b(y) = -47 + y**2 + y + 48 - 2*y**2. Let z(q) = q**3 - 4*q**2 + 2*q - 22. Let l(g) = 2*b(g) + z(g). Is 4 a factor of l(6)?
True
Let r(t) = 5*t**3 - 4*t**2 - 2*t + 4. Does 11 divide r(7)?
False
Let d(y) = 21*y**3 - 2*y**2 + 1. Let r be d(1). Is 504*2*(130/r + -6) a multiple of 8?
True
Let m(p) = 156*p**3 - 6*p**2 + 6*p - 1. Suppose -2*g + 5 = 3*g. Is m(g) a multiple of 37?
False
Let y = -2 + 2. Let b = -528 - -530. Does 17 divide 1/b + y - (-435)/10?
False
Suppose 97*i - 1687436 = 1156313. Does 18 divide i?
False
Suppose 20 = 6*u - u. Suppose -3*c - u = -5*c. Suppose 136 = p - 5*j + 43, -174 = -c*p - 2*j. Is p a multiple of 12?
False
Suppose 0 = 5*o - 3*h - 882, h - 4 = 2*h. Let y = o + 57. Does 21 divide y?
True
Suppose 155956 - 27718 = 33*v. Does 29 divide v?
True
Let c(x) = 34739*x**2 - 369*x + 367. Does 81 divide c(1)?
False
Suppose 3*u - 2381 = 5*q, -u + 3*q + 1064 = 277. Let x be 1/(4 + (-3206)/u). Suppose 3*h - x - 10 = 0. Does 13 divide h?
False
Let f(x) = -3*x**2 + 4*x - 44*x - 1 - 22*x + 11*x. Is 47 a factor of f(-16)?
True
Suppose 9*p = 9 + 468. Let x = -32 + p. Is x a multiple of 3?
True
Let i = 78 + 261. Let u(a) = a**2 - a - 8. Let s be u(4). Suppose -s*m + i = -25. Is m a multiple of 7?
True
Let s(p) = 10*p + 7 + 105 + 13 - 40 + 191. Does 24 divide s(-25)?
False
Let p(i) = 18*i**3 - 2*i**2 + 82*i - 720. Is p(10) a multiple of 25?
True
Suppose -18 = -4*u - 10. Let f(i) = 425*i - 9. Is f(u) a multiple of 29?
True
Is 1995/(-2)*(4260/(-90) - -30) a multiple of 95?
True
Let h(v) be the first derivative of 2*v**2 - 34*v - 5. Let x be h(10). Let n(p) = 23*p - 18. Is 12 a factor of n(x)?
True
Let b(u) = 13*u**2 + 490*u - 58. Does 10 divide b(-43)?
False
Let w(b) = -b**2 - 67*b + 112. Let n(h) = 2*h**3 + 17*h**2 + 31*h + 14. Let i be n(-7). Is 45 a factor of w(i)?
False
Suppose l + z + 3 = 0, l + 2*z - 1 = -7. Suppose l = 7*t - 22 + 8. Suppose -4 + 16 = t*w. Is w a multiple of 6?
True
Let c(j) = -8 + 15 - 2*j**2 + 4*j**2 + 6 - 4*j. Let f = -9 - -13. Does 11 divide c(f)?
False
Suppose 410*p - 5081468 = 2175532. Does 50 divide p?
True
Let o be -2 - 20452/(-44) - (-4)/22. Suppose 468*p = o*p + 2470. Does 18 divide p?
False
Suppose -5*t - 3*g + g = -7904, -5*t + 3*g = -7894. Does 76 divide t?
False
Let t = 113 + -78. Suppose 5*z - 3*z = j + 70, 0 = -z + 2*j + t. Does 10 divide z?
False
Let o(z) = z**2 - 3*z - 14. Let f be o(-4). Is 62 a factor of 12/28 + 5888/f?
False
Suppose 0*i - i = -2*p - 7, -3*i + 5*p = -19. Suppose -3*j = -s - 220, 0 = -4*j - 0*j + i*s + 300. Does 6 divide j?
True
Suppose -u - 4*u - 5 = 0, 5*u = 5*t - 20. Let w be ((-18)/8)/(30/(-2080)). Suppose -t*f + w = -294. Does 15 divide f?
True
Suppose -3*v + 20 = r - 201, 0 = 5*v + 4*r - 359. Suppose 0 = v*m - 70*m - 1760. Is m a multiple of 8?
True
Suppose 20*q = 16*q + 80. Suppose -o = -4*o + j - 4, 4*o - 5*j + q = 0. Is (-8)/(-2) + 15 + o a multiple of 6?
False
Let v(f) = -f**2 - 27*f - 45. Let x(p) = p**3 + 10*p**2 - 9*p - 2. Let m be x(-11). Is 27 a factor of v(m)?
True
Suppose 0 = -5*w - 3*f + 18, 9*f - 4*f - 20 = -5*w. Suppose -w*u = 4*y - 2583, -3*y - 2*y + 5*u = -3185. Does 37 divide y?
False
Let m = 28064 - 18968. Is m even?
True
Let d be 60*4/((-24)/(-3)). Let i(p) = p**3 + 6 + d*p**2 - 2*p - 19*p**2 - 4*p**2. Is 11 a factor of i(-5)?
True
Let c be (-3)/2*56/(-12). Let a(f) = -5*f**2 - c - 8*f**2 - 7*f + 14*f**2. Does 25 divide a(-4)?
False
Does 120 divide 1 - -1 - ((-5160)/45)/(4/654)?
False
Let g(h) = 791*h + 2646. Does 203 divide g(10)?
True
Suppose -10*s + 56 = 36. Suppose -4*y = -s*y + 5*m - 215, 4*y - 425 = -5*m. Is 10 a factor of y?
False
Let d be 3*-213*(-28)/36. Let m = -458 + d. Is 31 a factor of m?
False
Let w(h) = -h**2 - 6*h + 25. Let k = -69 - -71. Suppose -17 = k*m - l, -3 = -5*l + 2. Does 4 divide w(m)?
False
Let k be 80*(3/5 + 1). Suppose 8 = -4*y, 27*j = 32*j + 4*y - 82. Let f = j + k. Is 18 a factor of f?
False
Let d(f) be the first derivative of 11*f**7/280 - f**6/120 + f**4/12 - 7*f**3 - 32. Let m(w) be the third derivative of d(w). Is m(1) a multiple of 3?
False
Suppose -420*f = -398*f - 221741 - 172587. Is f a multiple of 26?
False
Suppose -39*l - 4*x + 10868 = -37*l, 0 = -2*l + 5*x + 10877. Is l a multiple of 18?
True
Suppose -2*h - 4 = -22. Suppose -y = -6 + h. Let m(u) = -8*u**3 - 4*u**2 + 3*u + 4. Is m(y) a multiple of 14?
False
Let p be (-2)/(-10 + 0) - 4/20. Suppose p = 11*n - 427 - 3236. Let a = 497 - n. Is a a multiple of 41?
True
Suppose -4*d = y - 9, -3*y - 2*y + 2*d = -155. Suppose -32*b = -y*b - 558. Does 31 divide b?
True
Suppose 100 = -22*b - 186. Let z(s) = 3*s**2 + 15*s - 94. Is 13 a factor of z(b)?
False
Does 19 divide 4/24*-129*-348?
False
Let a(c) = -2*c**3 + 2*c**2 + 3*c + 6. Let d be a(-3). Suppose 3*k = -4*l + d + 67, l - k = 41. Suppose 9*i - l = 71. Is 5 a factor of i?
False
Suppose -8808*g = -8783*g - 42100. Does 33 divide g?
False
Let b = 16430 - 10290. Is b a multiple of 5?
True
Let i(r) = r**2 - 10*r + 16. Let n be i(8). Suppose -6*v + 9*v = -n*v. Suppose 4*p - 828 = -v*p + 2*m, p + 3*m - 200 = 0. Is 10 a factor of p?
False
Let b be (0 + 0)*(-5 + (-22)/(-4)). Suppose -w - p = -584, -w + b*w - 3*p + 582 = 0. Does 45 divide w?
True
Let o = 94433 - 50126. Does 9 divide o?
True
Suppose -17*c = -32*c - 45. Is (c - (-9014)/18) + 22/99 a multiple of 10?
False
Is 5030 + ((-2)/4*-2)/(38/(-152)) a multiple of 20?
False
Let c = 6607 + -1150. Is c a multiple of 51?
True
Let z(u) = -2*u**2 + 12*u + 25. Let k be z(8). Does 23 divide 1*(k + 20)*39?
False
Let p = -288 - -294. Suppose 0 = v + 2*m - 22 + p, 0 = 5*m + 5. Is 3 a factor of v?
True
Let p(t) be the third derivative of t**5/60 + 5*t**4/24 + 11*t**3/6 + t**2 - 15. Does 13 divide p(7)?
False
Let m(w) = 27*w**3 - 96*w**2 + 31*w + 79. Let t(l) = 5*l**3 - 19*l**2 + 6*l + 16. Let n(b) = -2*m(b) + 11*t(b). Does 51 divide n(19)?
True
Let w(l) = -9*l**3 - 5*l**2 - 2*l + 20. Let r be w(-7). Suppose 7*c - r = 484. Does 15 divide c?
True
Let c(k) = -3*k - 173. Let p(v) = -3*v - 172. Let f(o) = -3*c(o) + 2*p(o). Let m(t) = 30*t - 1290. Let q be m(43). Does 53 divide f(q)?
False
Let g = 3326 - -128. Let t = g - 2212. Does 54 divide t?
True
Suppose -3*a + 2075 - 224 = 3*c, 0 = -5*a - 4*c + 3081. Suppose -4*k + 5*k - v - a = 0, -5*v = -10. Is 21 a factor of k?
False
Let f(l) = 491*l + 671. Is f(5) a multiple of 72?
False
Let m be 11 + -8 + (-8 - -5). Suppose m = 5*r + 16 - 106. Does 5 divide r?
False
Let o(c) = c**2 - 32*c + 211. Let q be o(9). Let j = -59 + 145. Suppose 5*h + 255 = -n + q*n, 2*h = n - j. Is 20 a factor of n?
True
Let u = 56096 - 34126. Is 23 a factor of u?
False
Suppose -19*u + 43102 = 22*u + 5*u. Does 34 divide u?
False
Is (488 + -489)/(((-1)/(-3))/((-7253)/3)) even?
False
Suppose -4*k + b = -50453, -81*b + 12626 = k - 77*b. Is 18 a factor of k?
False
Suppose 13*w - 77894 - 59035 = 0. Is 52 a factor of w?
False
Suppose 2*h + x - 10 = 0, -2*x + 4 = 3*h - 6*x. Suppose 541 = -2*c + 5*t + 1463, 3*c - 1337 = -h*t. Is c a multiple of 41?
True
Suppose 0*l - 114 = -38*l. Suppose z + 3*n = 151, l*z - 473 = 4*n - 85. Is z a multiple of 12?
False
Let l = -1959 - -3076. Does 2 divide l?
False
Suppose 23*m - 4*m = 96926 + 27239. Does 40 divide m?
False
Let n = 452 - 472. Does 32 divide 24/(-40) - -34*(-38)/n?
True
Let y(b) = -b**3 + 18*b**2 + 10*b - 38. Let t(s) = 16*s**3 + 2*s**2 + s - 1. Let n be t(1). Let f be y(n). Suppose -f*z = -146*z + 792. Does 33 divide z?
True
Suppose -4*n + 240 = 3*h, h = 4*h - n - 225. Suppose -11*x + 36 = 6*x + 2. Suppose 4*l = t - 0*t - 44, -x*t - 4*l = -h. Does 8 divide t?
True
Let n = 5644 + -2212. Suppose -2*l = -2*a - n, 2*a + 3909 = 3*l - 1239. Is l a multiple of 22?
True
Let i(n) = 17*n - 104. Suppose 113*d - 118*d + 120 = 0. Is 21 a factor of i(d)?
False
Let y be 4 - (1 + (-7)/(-7)). Suppose -2*w + 3*z = 95 - 254, 0 = y*w - z - 169. Is 6 a factor of w?
False
Let i be 42/(-7 - (3 + -8)). Let k = i + 231. Is 10 a factor of k?
True
Suppose 5731560 = -852*y + 972*y. Is 27 a factor of y?
True
Suppose -26 + 11 = -5*c - 4*k, -4*c + 3*k = -12. Suppose -h = 2*w + w - 63, h - c*w - 75 = 0. Suppose -63 = -3*t + h. Does 22 divide t?
True
Let j(c) = -56*c + 150. Let t(z) = -58*z + 147. Let m(p) = -3*j(p) + 4*t(p). Is 90 a factor of m(-1