*32?
True
Let p be 3 + -27 + 2/(-6)*3. Let x = p + 28. Let j(h) = 13*h - 21. Is 6 a factor of j(x)?
True
Let w(k) = -k**3 + 48*k**2 - 211*k + 84. Is w(43) a multiple of 54?
False
Let d(y) = y**3 + 9*y**2 - 7*y + 8. Let z be 57 - 6/(-3 + 0) - -3. Let w = 55 - z. Is 30 a factor of d(w)?
False
Let s(w) = w**3 + 5*w**2 - 2*w - 7. Let b be s(-5). Suppose 3*o - 5*n = 25, -n - 20 = 3*o + b*n. Let k(q) = q**2 + 2*q + 17. Is 15 a factor of k(o)?
False
Suppose 3*f + 1415*h = 1418*h + 39087, -2*h = 4*f - 52098. Is 97 a factor of f?
False
Let y(r) = -2*r + 22. Suppose 0 = -3*n + 5*h + 2, -h - 1 = -6. Let b be y(n). Suppose b*w = p + 2*p - 286, -2*p = 5*w - 160. Is p a multiple of 5?
True
Let s = -2 + 49. Let a = s + -40. Suppose -i + a*o - 2 = 3*o, -2*o = -10. Does 11 divide i?
False
Let a = -377 - -736. Let d = a + -297. Is d a multiple of 14?
False
Let y(s) = -70*s - 1. Let m(o) = 2*o**3 - 4*o**2 + 4*o - 3. Let q be m(2). Let j(k) = 47*k + 1. Let a(x) = q*y(x) + 7*j(x). Is 18 a factor of a(-2)?
False
Let p be 1 - 3/2 - (-8)/16. Suppose p = -0*v + v + s - 8, 0 = -5*v + s + 16. Suppose 128 = 4*b - z - 116, -228 = -v*b - 3*z. Does 20 divide b?
True
Let w(a) = -a**3 + 14*a**2 - 13*a + 6. Let s be w(13). Is 3 a factor of -18*(s - 88/12)?
True
Suppose 4*k - 104244 = 4*u, -u + 8021 = 2*k - 44113. Does 65 divide k?
True
Suppose -29*r = -40*r + 4103. Suppose -4*d + 361 = -c, -4*d - 3*c + r = -0*d. Is d a multiple of 7?
True
Let j(t) = 2*t**3 + t**2 + 11. Let o be j(7). Suppose -2*a = 4*i - 143 - 145, -5*a + 3*i + o = 0. Is a a multiple of 7?
False
Let r be 153 + 3 + -3 + 5. Let s = 52 + r. Is 21 a factor of s?
True
Does 112 divide (-8512)/(-2)*3/(-36)*-102?
True
Suppose 0 = -4*s - 5*v - 1183, 0 = -5*s - 0*s - 2*v - 1483. Let q = s - -706. Is q a multiple of 45?
False
Suppose -474422 = 487*n - 31470024. Is 25 a factor of n?
False
Suppose 1069 = 5*n - 26. Let i = 290 - n. Is 5 a factor of i?
False
Suppose -40 + 58 = 6*u. Suppose -3*v + 2*l = -l - 87, -u*l - 21 = -v. Is 20 a factor of v?
False
Suppose -4*u + 2*y + 38 = 0, 5*u - 2*u - 2*y - 31 = 0. Suppose 54 = -2*r - u*r. Is 45 a factor of (-538)/(-3) - 4/r?
True
Let w(k) = 5*k**3 - 2*k**2 + 2*k - 2. Let s be ((-16)/72 - 5/18)*-2. Let z be w(s). Suppose -p + 73 = z*q, 11 + 5 = 4*p. Is q a multiple of 2?
False
Let m = -43 - -46. Let k(i) = 5*i - 12. Let g be k(m). Suppose -g*r + 5*c + 331 = 0, -r - 4*c + 340 = 2*r. Is r a multiple of 49?
False
Suppose -3*q - 190 - 74 = 0. Let k = q + 91. Suppose z - w = 98, 4*z = k*w - 5*w + 386. Does 20 divide z?
False
Is 21 a factor of -4*(-3480)/64*(-14)/(-5)?
True
Let m(u) = u**2 + 18*u + 84. Let p be m(-9). Suppose -p*i - 4*x = -505, i - 5*x = -79 + 260. Is 5 a factor of i?
False
Suppose -2*h = -9 - 71. Let g = -15 + h. Suppose -7*i = -g - 122. Is i a multiple of 2?
False
Let g(w) = 64*w + 776. Is g(46) a multiple of 62?
True
Let i(h) = 104*h - 5661. Does 11 divide i(84)?
False
Let g = 15721 + -15534. Let k = 52 + -31. Let n = g + k. Does 16 divide n?
True
Let o be (-4)/(-10) - 24/(-40). Let w(g) = -g. Let q(s) = -s**3 - 4*s**2 - 1. Let a(p) = o*q(p) + 2*w(p). Is 32 a factor of a(-7)?
True
Suppose 29*b = 25*b + 180. Does 9 divide (2086/10)/((-171)/b - -4)?
False
Suppose -7*u - 7670 = -56432. Does 81 divide u?
True
Let o(l) = -721*l - 8. Let w be o(-3). Suppose -5*p + 365 + w = 0. Suppose p + 105 = 7*r. Is r a multiple of 16?
False
Suppose -14*g + 525 + 819 = 0. Let r = g - -62. Is 6 a factor of r?
False
Let c = 21 + -19. Suppose 4*m - c*b - 6 = -b, 4*m + b - 10 = 0. Suppose 2*k = 2, -p = m*k + k - 33. Does 15 divide p?
True
Let j(c) = 22*c + 15. Let n(d) = -d. Let p(x) = j(x) - 4*n(x). Let g be (-2266)/(-824) + (-2)/(-8). Does 12 divide p(g)?
False
Does 87 divide 12419 + (-6)/12*-44?
True
Let q(h) = -14 + 7*h - 9*h**2 + 2 + 27*h**2 - 6*h**2. Is q(5) a multiple of 17?
True
Suppose -6*d + 8461 = -14621. Suppose -7*v - 151 = -d. Does 17 divide v?
False
Let b(z) = -z**3 + 16*z**2 + 197*z + 21. Let x(w) = -55*w + 244. Let h be x(4). Does 10 divide b(h)?
False
Let h(m) = -m + 8. Let y be h(-6). Suppose -5*w + 4*c = -0*c - 66, -3*w - 4*c = -y. Suppose -2*x - 4 = -w, 0 = 3*k - 5*x - 183. Is 6 a factor of k?
True
Suppose 0 = -4*a - 12, 2*a + 2 = -c - 2. Let f(r) = 6*r**3 - r**2 - 2. Is f(c) a multiple of 14?
True
Let u be (-11)/(55/(-20)) - -1. Suppose 2*g = -2*b + b + 10, 3*b = -u*g + 25. Suppose 2*d - 6*d - 4*o + 1680 = b, 0 = -4*d + 2*o + 1674. Is d a multiple of 49?
False
Suppose 9 = -45*z + 42*z. Let w(v) = -452*v - 63. Does 18 divide w(z)?
False
Is 16 a factor of 1488/(74/259 - (-34)/28)?
True
Let s = -40 + 42. Suppose -s*m = 1 - 9. Is 29 a factor of 1 + (-4 + m - -62)?
False
Is 5 + -4 + 16/(-28) - (-181864)/56 a multiple of 8?
True
Suppose -75*l = 106*l - 2905050. Does 25 divide l?
True
Let i be -4 + (-2)/(((-3)/(-1))/(-15)). Suppose i*s + 6*s = 228. Is 2 a factor of s?
False
Is 149 a factor of (4917/(-2))/(1/(-2))?
True
Let u be 8 - 4 - (-8 + 9). Suppose 2*f = -3*d + 38, 0 = -5*d - f + u*f + 74. Is d a multiple of 14?
True
Let k = 341 + -301. Suppose 0 = 5*b - 2*x - 24, 3*x + 18 = 5*b + 4*x. Suppose 8*g = b*g + k. Is g a multiple of 8?
False
Does 111 divide ((-207)/(-46))/((-9)/(-21534))?
True
Let d be 76/(-8)*(-544)/16. Suppose 0 = 4*u - d + 11. Is 26 a factor of u?
True
Let y(s) = s**3 - 16*s**2 + 9*s - 68. Let u be y(16). Suppose -u*m + 68*m = -2744. Is m a multiple of 7?
True
Suppose -s = 2*a - 91, 12*s - a = 7*s + 400. Suppose -s = 5*m - 116. Is m a multiple of 5?
False
Let y(b) = 2026*b**2 - 3*b. Let a be y(-1). Suppose a - 499 = 5*x. Is x a multiple of 51?
True
Suppose -2*t - 3*l + 274 = -1423, 2520 = 3*t - 4*l. Let s = t + -499. Does 25 divide s?
False
Let f(t) = -55*t - 2. Let r(g) = -g**3 - 5*g**2 + 4*g - 14. Let v be r(-6). Is f(v) a multiple of 4?
True
Suppose t = 3*t + 10*t. Suppose -1056 = -5*w + 3*r, -2*r = -5*w - t*w + 1054. Is w a multiple of 7?
True
Let t(m) = -39*m - 52 - 2*m**2 + 62 - 22*m + 14*m. Is t(-20) a multiple of 5?
True
Let m(d) = 3*d**3 - 573*d**2 + 607*d + 425. Does 35 divide m(190)?
True
Let s(r) = -r**3 + 82*r**2 - 132*r + 336. Does 63 divide s(79)?
True
Let b be (16/(-6))/(28/(-71820)). Suppose 33*f - 15*f = b. Does 19 divide f?
True
Suppose -4*m - 4*l + 20 = 0, 27*m - 25*m - 5*l - 45 = 0. Let s = -2 + 1. Does 3 divide (m + s)/3 - -3?
True
Let v = 21603 - 12438. Is v a multiple of 15?
True
Let z be ((-10)/(-6))/((24/(-9))/(-8)). Suppose z*j - 2*p = j + 200, -4*j + p = -198. Suppose 4*i - 357 = -j. Does 7 divide i?
True
Suppose 130 = 39*z + 481. Is 3 a factor of ((-36)/16)/z + 2365/44?
True
Does 58 divide 14208/96*8/24*(-87)/(-2)?
True
Suppose 0 = -c - 11*s + 9240, 15*c + 2*s = 20*c - 46200. Is c a multiple of 12?
True
Does 34 divide 49205/20 - 11 - 10/8?
True
Suppose 2*a - 3*h = -11, 3*a - 2*h + 1 + 13 = 0. Is 53 a factor of (1 - -41)*((-50)/a + -3)?
False
Let b = 639 - 713. Is 12 a factor of -6*(1 - 8/6) - b?
False
Let w = -2297 - -6899. Does 6 divide w?
True
Does 10 divide 24/(-56) - (-52652)/28?
True
Let c(t) = 74*t**2 - 25*t - 150. Is 74 a factor of c(-6)?
True
Suppose -7 = 4*m - 5*q - 3, -2*m - q - 16 = 0. Let z be m/(-12)*(10 + -2*1). Suppose -85 = -z*g - 3*p - 16, -g = -2*p - 31. Does 2 divide g?
False
Let h(w) = -8274*w - 87. Is h(-2) a multiple of 9?
True
Suppose 37*j - 73 = 1. Suppose -140 + 492 = j*i. Is i a multiple of 16?
True
Suppose 85 - 7 = 3*f + 3*k, -k = 2*f - 57. Suppose u = -21 - f. Let n = u - -128. Does 31 divide n?
False
Suppose -i = -3, -69 = -5*l - 4*i + 103. Let f be l/18 - 6/(-27). Does 4 divide 17/(f - 4 - -3)?
False
Let b(s) = 2*s**2 + 526*s - 4200. Does 8 divide b(8)?
True
Suppose 5*f = 3*p - 3, 4 = 5*f + 2*p + 2. Let r be (f + 0 - -9) + 8/8. Suppose r = -5*w, 4*d - 152 = 5*w + 26. Does 7 divide d?
True
Let i be ((-45)/25)/1 - 28/(-35). Is 52 a factor of (6/i + 1)*12198/(-190)?
False
Let q(g) be the first derivative of -10*g**3/3 - 2*g + 3. Let d(n) be the first derivative of q(n). Is 5 a factor of d(-1)?
True
Suppose 0 = 128*q - 506487 - 1524617. Is q a multiple of 38?
False
Suppose -4241 = -3*v - 2*l + 246, -5*v - 2*l + 7481 = 0. Is 8 a factor of v?
False
Let y(a) = -2. Let i(l) = -5*l - 9. Let r(z) = i(z) - 5*y(z). Let f be r(1). Is 112 + (-2 - 10/(-4))*f a multiple of 11?
True
Suppose 3*q - 133*d + 136*d = 