ivide j(-3)?
True
Let o(s) = -s**3 + 11*s**2 + 11*s + 12. Let q be o(12). Does 46 divide 4 - 164*(q - (-15)/(-6))?
True
Let u(h) = 5*h**2 - 13*h - 33. Suppose 0*j = -2*j + 14. Does 11 divide u(j)?
True
Suppose -14 = 3*j + 5*k, 8 = 3*j - 3*k - 10. Suppose -4*p + 2*d = -14, d + 5 = 4*p + j*d. Suppose 33 + 21 = p*n. Is n a multiple of 9?
True
Let z(n) = 1509*n + 8760. Is 45 a factor of z(10)?
True
Suppose -5*z - 1173 = 3*q, -2*z + 243 - 705 = 3*q. Let y = -183 - z. Does 18 divide y?
True
Let t be ((-18)/(-45))/(4/30). Suppose -t*z - 60 = -228. Suppose 4*w = -5*j + 113, -3*w - j + z = -3*j. Is w a multiple of 4?
False
Suppose -9*m + 277 = -8*m. Let l = -457 + m. Is 4 a factor of (l/(-27))/((-4)/(-6))?
False
Let k(i) = i**3 + 10*i**2 - 3*i - 16. Suppose 0 = 3*o - 38 - 10. Suppose 2*q - 2 + o = 0. Does 19 divide k(q)?
True
Does 23 divide ((-12)/30)/((78/(-31050))/13)?
True
Suppose -5*k + 13 = 3*v, 8*k = 5*v + 4*k + 3. Is ((-22)/55*v)/((-2)/6940) a multiple of 41?
False
Let c(m) be the third derivative of -m**5/60 + m**4/2 - m**3/3 - 746*m**2. Let l(p) = 2*p**2 + p + 2. Let a be l(-2). Is c(a) a multiple of 13?
False
Let m(p) = -p**3 + 15*p**2 - 11*p - 4. Let u be m(14). Suppose -36 = -g - u. Does 7 divide -38*(g/(-4) + -1)?
False
Suppose -5*j = -j + 76. Does 74 divide j + 12 + (1 - -487)?
False
Let i = 424 + -425. Is 3 a factor of ((-155)/(-62))/((i/4)/(-1))?
False
Let v = -5763 + 6021. Is 13 a factor of v?
False
Let q = -135 + 279. Is 4 a factor of 1/((-206)/(-846) + (-32)/q)?
False
Let a(x) = 35*x**2 + 9*x - 17. Let b be (21/(-14) - -3)*4/3. Is a(b) a multiple of 15?
False
Is 15 a factor of ((-522900)/49)/(-10)*77/11?
True
Suppose 3*c + 6*u - 7*u - 13 = 0, -3*u = -5*c + 27. Is ((-8015)/(-21) - 2) + 1/c a multiple of 20?
True
Let d be (10359/18 + -1)*2. Suppose r + 37*k - 1149 = 32*k, r = -4*k + d. Does 24 divide r?
False
Let z(t) = 10*t**3 + 2*t**2 - 4*t - 5*t**3 + 2*t**3 + 744 - 5*t**3. Is z(0) a multiple of 31?
True
Let p(w) = -2*w**3 - 11*w**2 - w + 5. Let r(l) = l**2. Let c(s) = p(s) + 6*r(s). Let i be c(-3). Let h = i + 46. Does 5 divide h?
False
Let p be 56/(-12) - (-5)/(-15). Let h(v) = -5*v - 22. Let r be h(p). Suppose 5*q - 250 = r*f, 4*q - 156 = -5*f + 81. Is 13 a factor of q?
False
Suppose -17*q = 3*r - 22*q - 9766, -5*r + 2*q + 16245 = 0. Is r a multiple of 17?
True
Let g = -26089 - -38062. Does 129 divide g?
False
Let l(w) = 2*w**2 - 5*w + 4. Let j be l(2). Let t be 3/3*12*j. Suppose -t = -4*o + 4*v + 76, 4*o + 5*v = 127. Is 14 a factor of o?
True
Let y(j) = 12*j**2 - 127*j + 241. Is 97 a factor of y(33)?
True
Suppose 0*c + 171756 = 6*c + 3*c. Does 52 divide c?
True
Suppose 6*a + 468 = 8*a. Let x = a - 90. Is x a multiple of 24?
True
Let u be 1250/45 - 6/(-27). Suppose 3*t - 15 = 0, 4*t = -l + 1 + u. Suppose 2102 = l*c + 725. Does 16 divide c?
False
Suppose -5*j + 6*j = 103. Let y = j + 237. Is y a multiple of 20?
True
Suppose 0 = -3*n - 68*l + 69*l + 20, 2*l + 4 = 0. Let y(f) = 7*f**2 + 31*f + 4. Is 3 a factor of y(n)?
False
Is 6 a factor of 3 - (-64787)/35 - (-474)/(-8295)?
True
Is 12/20*(-10 - 780/(-72))*17352 a multiple of 4?
True
Let g(z) = 2*z**3 + 12*z**2 + 9 + 0*z**3 + 11*z - 4*z**3 - 3. Let y be g(7). Let o(c) = c**2 + 10*c - 12. Does 4 divide o(y)?
False
Let h(t) = -t**3 + 9*t**2 - 7*t. Let z(m) = m**3 - 10*m**2 - 10*m + 1. Let u be z(10). Let j = -96 - u. Does 18 divide h(j)?
False
Let l be -3*84*20/(-15). Let h = l + -278. Is 7 a factor of h?
False
Let d be 20/8*236/5. Suppose 3*f + 4*l = 6*f + 232, 0 = 2*f + 3*l + 183. Let c = d + f. Does 7 divide c?
False
Let c = 77097 + -29369. Is c a multiple of 16?
True
Let q = -4228 - -10117. Does 57 divide q?
False
Suppose -76 + 30 = -23*j. Suppose 720 = 5*m - 2*r + 4*r, -j*r + 576 = 4*m. Is 48 a factor of m?
True
Suppose -4*s - 3*f + 32 = 0, -8*f + 4*f = 5*s - 41. Suppose -s*p - 186 + 1986 = 4*q, 0 = 4*p + 2*q - 1446. Does 26 divide p?
True
Let c(x) = 5*x**3 - 43*x**2 - 17*x - 30. Is c(11) a multiple of 5?
True
Suppose 0 = -5*w + 5*x - 0*x + 5, -4*x = 0. Let d = w - -1. Suppose -75 = -2*y - 3*q, 2*q = -d*y + 4*q + 100. Does 15 divide y?
True
Let t = -5585 + 13880. Is 15 a factor of t?
True
Let r = 14179 - 8563. Is 26 a factor of r?
True
Let c = 12083 + -6173. Is 15 a factor of c?
True
Let i(f) = f**2 - 15*f. Let b be i(14). Let v be (16 + b)/((-2)/(-11)). Suppose 5*h - 219 = v. Is h a multiple of 32?
False
Let m = -157 + 154. Let h(u) = -2*u**3 + 9*u - 2. Is h(m) a multiple of 25?
True
Let a = -260 - -149. Let s = a + 118. Is 6 a factor of s?
False
Let z = 9292 + -4072. Is z a multiple of 5?
True
Suppose c - 3 = -4, -4*q = -3*c - 79. Suppose 4*n + 66 = 5*r, -r - 7*n = -2*n - q. Is 15 a factor of 4/r + (-626)/(-14)?
True
Let i = 4841 - 2657. Does 4 divide i?
True
Suppose 244 = -4*n + 4*h, 188 = -n - 2*n + 2*h. Suppose -q + 2*d + 85 = 0, 3*d = 4*q - 513 + 153. Let p = n + q. Is p a multiple of 9?
True
Suppose 0 = 1272*w - 1241*w - 771001. Does 209 divide w?
True
Suppose 19*b - 2415 = 24*b. Let z = b - -963. Suppose -z = -2*d - 4*d. Is d a multiple of 16?
True
Let v(c) = 13*c - 9. Let r be v(1). Let q(g) = g**3 + 8*g**2 + 5*g + 4. Is q(r) a multiple of 9?
True
Let k = 14932 + -8588. Is k a multiple of 99?
False
Let i(p) = 2*p**2 + 2*p + 1005. Let s be i(0). Suppose 3*b + 7*a = 3*a + 571, -5*b + 4*a = -s. Is 29 a factor of b?
False
Suppose -y = -t + 4*t - 14, 0 = -4*y + 2*t + 28. Let i be (-2 + 0)/((-4)/y). Let q(u) = 7*u - 11. Is q(i) a multiple of 2?
False
Is (2237/(-2))/((-16)/160) - (29 + -28) a multiple of 9?
False
Let z(s) = 1079*s**3 - s**2 + 17*s - 15. Does 10 divide z(1)?
True
Let h = -178 + 178. Suppose 5*g + 290 + h = u, 562 = 2*u - g. Is 28 a factor of u?
True
Let j = 194 + -190. Suppose 32 = -d - 0*d. Does 15 divide j/((0 - 2)/1) - d?
True
Suppose -3*w = 4*n - 64303, -7*w - 3*w + 214435 = -5*n. Is w a multiple of 39?
False
Suppose -23*q + 46*q + 117*q = 2100. Is q a multiple of 11?
False
Let m(j) = 60*j**2 + 3*j + 4. Let l = -125 + 124. Does 4 divide m(l)?
False
Let l = 2983 - 1492. Is l a multiple of 7?
True
Suppose p - 3*o = 2642, -p + 1205 + 1461 = o. Is 35 a factor of p?
True
Let j(k) = 3*k**2 - 11*k + 10. Let s(u) = -5*u - 171. Let m be s(-35). Is 11 a factor of j(m)?
False
Let y(z) = -2*z**2 - 20*z. Let a be y(-8). Is a/144 + 6134/18 a multiple of 31?
True
Let w(i) = i**3 + 23*i**2 + 31*i + 200. Does 88 divide w(-16)?
True
Suppose -25 = -5*c + 45. Let j be ((-22)/5)/(-1) + c/(-35). Suppose 4*n = 4*w - 136, 3*n = -j*w + 3*w + 54. Does 13 divide w?
True
Let a be (26/4 - (32 + -30))*2. Suppose -n = 5*v - 56, -n + 5*v = -a - 17. Is n a multiple of 8?
False
Let r = -11952 + 16119. Is 103 a factor of r?
False
Let t(j) = -4*j**3 + 5*j**2 - 7*j - 61. Let i be t(-7). Suppose 3*g - k = 959, 8*k - i = -5*g + 3*k. Is 40 a factor of g?
True
Let v be 1/((-8)/(-18)) + (-7)/28. Suppose -3*u - 5*y = -6*u + 62, -5*u - v*y = -62. Suppose 4620 = u*l - 0*l. Does 14 divide l?
False
Suppose -16*u = 3*u. Suppose -4*n + 12 = t - u, 0 = 4*n + 20. Is 4 a factor of t?
True
Suppose 26*r + 130 + 0 = 0. Let q(n) be the second derivative of -7*n**3/3 - 20*n**2 - 2*n. Does 30 divide q(r)?
True
Let h(l) = 110*l**2 + 6*l + 8. Is h(-2) a multiple of 16?
False
Let q be -3 - (-74)/8 - 6/24. Is 4 a factor of 0*6/q - -28?
True
Suppose -10*d - d + 33 = 0. Suppose d*c + 266 = 4*c. Is c a multiple of 38?
True
Let z = 2294 - 1167. Suppose 0 = 3*q - 125*c + 126*c - 3341, q = -3*c + z. Is 22 a factor of q?
False
Let k(m) = 11*m - 17. Let z = -113 + 130. Suppose 5*q = -z + 82. Is k(q) a multiple of 13?
False
Let w(r) = -2*r + 44. Suppose 0*x + 2*x = 40. Let j be w(x). Is j/(-10)*(3 - (-4 + 37)) a multiple of 2?
True
Suppose -2*u = -6 - 2, -4*b + 4*u = 424. Let r = b - -146. Let o = r + -29. Is o a multiple of 15?
True
Let q = -79 - 116. Let o = q - -250. Is 15 a factor of o?
False
Let k(v) = 380*v**3 - 2*v**2 + 7*v. Let z(d) = 381*d**3 - d**2 + 6*d + 1. Let u(a) = 2*k(a) - 3*z(a). Does 34 divide u(-1)?
False
Suppose -24*j = 1229 + 1147. Let w = j - -239. Does 34 divide w?
False
Let f = 319 + -220. Suppose 5*u - f = 2086. Is 19 a factor of u?
True
Let n(a) = -a**2 + 15*a + 36. Suppose -12*q + 15 = -7*q. Suppose 0*i + q*i = 45. Is n(i) a multiple of 6?
True
Suppose 0 = 125*t + 3205965 - 10072965. Does 126 divi