))/(x/56)?
True
Let z be ((-57)/(-9) - 2)/(5/(-60)). Let i = z + 45. Is 48 a factor of (-4)/(-14) + (-1342)/i?
True
Suppose -143*f + 5621 = -132*f. Let t = f - -448. Is t a multiple of 26?
False
Let n = 10 - 14. Let y be (-7 - n)/(-1) + 9. Let w = y - -30. Is 7 a factor of w?
True
Does 12 divide 54 + -59 + (42*115 - 1)?
True
Let j be (-1)/((-1)/314*2). Suppose -1207 - 531 = 22*u. Let w = u + j. Is w a multiple of 13?
True
Suppose 5*f + 36 = f. Let d = 3 + f. Is (27/18)/(d/(-104)) a multiple of 13?
True
Let n = 5387 + 4000. Does 23 divide n?
False
Let u = 28627 + -9244. Is u a multiple of 172?
False
Let t = -13 + 39. Suppose 0 = 4*l + 5*j - t + 6, l = -4*j - 6. Is l*(2 + 14/4) a multiple of 11?
True
Let p be 205/4 - 6/24. Let g = -568 + 499. Let v = p - g. Is 20 a factor of v?
True
Let j(g) = -19*g - 18*g**2 + 66 + 41*g**2 - 15*g**2 - 9*g**2. Does 15 divide j(-20)?
False
Let z(b) = -4*b**3 - 5*b**2 - 6*b - 20. Suppose 10*l + 0 = -60. Is 19 a factor of z(l)?
False
Suppose -2*b - 2*d + 11904 = 0, 2*b + 9*d = 10*d + 11892. Does 9 divide b?
False
Does 6 divide (-175744)/(-14) - (-6)/21*(-5 - -8)?
False
Suppose 69 = 2*l + 5*j, -90 = -3*l - 4*j + j. Suppose -l = -2*f - 11. Suppose f + 207 = k. Is k a multiple of 13?
False
Let i(v) = -6*v**3 - 526*v**2 + 130*v - 9. Is i(-88) a multiple of 29?
False
Let w(u) = -14*u**2 + 29 + 4*u**3 + 2*u**2 - u**3 + 15*u - 4*u**3. Let k be w(-13). Suppose -k*m - 4*m + 1855 = 0. Does 53 divide m?
True
Suppose 4*z - 9788 - 1312 = 0. Suppose -5*p + 3225 = -z. Suppose 4*m + p = 4*v, 3*v - m = -0*m + 908. Is 15 a factor of v?
False
Let j(i) = -434*i - 2742. Is j(-41) a multiple of 71?
True
Is 15 a factor of 7/((-112)/(-208))*295?
False
Let l(y) = 20*y**3 - 2*y**2 + y + 4. Let n be l(2). Suppose -x - n = -243. Is 6 a factor of x?
False
Let p(w) = -283*w - 24. Let s be p(-2). Let n = s + -74. Is n a multiple of 12?
True
Suppose -6*c = 7*c + 39. Is 27 a factor of 51/(-21) - c - 6193/(-77)?
True
Let y = 322 - 330. Is 12 a factor of 12/(-7)*224/y?
True
Let g(s) = -31*s - 15. Let r be g(-6). Let o = r + -245. Let p = -38 - o. Is p a multiple of 13?
False
Is -15 + (-21 - 12110/(-7)) a multiple of 11?
True
Is 3 a factor of (21/(-14))/(4 + 21537/(-5382))?
True
Let m(k) = -8*k**3 + 24*k**2 - 110*k - 69. Is m(-15) a multiple of 12?
False
Is 22 a factor of ((-2)/18)/((-195)/113792445)?
False
Let t = -31 - -16. Let m be 0 + -4 + 5 - t. Suppose -144 - m = -4*g. Is g a multiple of 23?
False
Suppose -7*n = -2*n - 4*q - 14, q = 3*n - 14. Suppose n*d - 25 = 2921. Is 14 a factor of d?
False
Suppose 0 = -3*x - x + 3*l - 72, x = -l - 11. Is 22 a factor of (-45)/x - 1*-151?
True
Is 110 a factor of ((-83)/((-9130)/(-132)))/((-1)/255)?
False
Suppose -23*t + 22*t = 27. Let s(v) = -v**2 - 29*v + 46. Does 4 divide s(t)?
True
Let v(d) = -d**3 + 4*d**2 + 13*d - 3. Let o be v(6). Let p be o - ((-4)/22 + (-1020)/(-44)). Is (-236)/(-20) - 4/p a multiple of 4?
True
Suppose 2*z - 4*h - 12 = 0, 2*h + 6 = -3*z - 8. Is 3 a factor of (-12)/(60/(-973)) + z/(-5)?
True
Let a = 69887 - 41773. Is a a multiple of 228?
False
Let z(p) = p**3 - 24*p**2 - 54*p - 135. Is 145 a factor of z(29)?
False
Suppose 4*z - 77 = 43. Suppose 4*m + 7*m = 441 + 87. Let n = z + m. Is 21 a factor of n?
False
Is ((-8054)/(-2))/1 + (-23 - -25) + -4 a multiple of 25?
True
Suppose 0 = -3*h + 9*u - 7*u + 94, -2*u - 4 = 0. Is 3 a factor of h?
True
Let t be 26/6 - 4/(-6). Suppose 3*f = -t*p + 890, -4*f + 3*p + 411 = -824. Is 19 a factor of f?
False
Is (-63)/(-7) - 13 - -24115 a multiple of 47?
True
Let g(w) = w**3 + 55*w - 3 - 15*w**2 + 75*w - 111*w. Is 5 a factor of g(15)?
False
Suppose -37*s + 3960 = -13*s. Is s a multiple of 44?
False
Let r = -185 - -223. Is 5 a factor of 34/(-323) - ((-2398)/r + 0)?
False
Let w be (-5)/20 + 37/4. Let q(g) be the first derivative of 3*g**2 + 7*g + 1. Does 19 divide q(w)?
False
Let i be (3 + -2)*(0 + 1). Let p(q) be the third derivative of q**5/4 - q**4/8 + q**3/3 + 176*q**2. Does 5 divide p(i)?
False
Let x(k) = 366*k - 36. Let p be x(3). Suppose -211 + p = q - v, 2*q - 1684 = -4*v. Is q a multiple of 8?
True
Let r be (18/(-45))/(3/2190). Let k = -206 - r. Is k a multiple of 43?
True
Let r(l) = l**3 + 5*l**2 + 7*l + 4. Let k be r(-2). Suppose 3*q + j - 6*j = -57, -k*q = -5*j + 43. Is 8 a factor of -1 + (-18)/q - 1784/(-28)?
True
Let o = 18 - 16. Suppose 0 = -i + 7*r - o*r - 11, 3*r = -4*i + 2. Does 6 divide (i - 4/8)*-8?
True
Let p(r) = 147*r - 4 + 6 + 4 - r**2 - 131*r. Does 2 divide p(13)?
False
Suppose 2*d + 0*d = 0. Let z(t) = t**2 - 150*t + 124 - 143*t + 294*t + t**3. Is 10 a factor of z(d)?
False
Let c be ((-3)/12)/(5/(-60)). Suppose 5*y - 30 = 5*x, 0 = 4*x + 8 + 8. Suppose y*n - 65 + c = 0. Does 6 divide n?
False
Suppose -5*z + 3250 = a - 6811, 0 = 3*z + 5*a - 6041. Suppose -5*k + z = -2548. Is k a multiple of 76?
True
Suppose 37*j - 47141 + 34942 = 286613. Is j a multiple of 12?
True
Suppose -5 = 9*m + 85. Is 12 a factor of (-18)/(-45) + (-2026)/m?
False
Let m(o) = -10*o**3 - 4*o**2 - 4*o - 2. Let z = 29 + -65. Let w = -38 - z. Is 10 a factor of m(w)?
True
Is -3*(-13)/(-117)*-65370 a multiple of 63?
False
Let v = 6 - -12. Suppose v*u = 20*u - 6578. Suppose 0 = -2*q - 9*q + u. Is 13 a factor of q?
True
Let i(u) = -139*u**3 - 7*u**2 + 94*u + 516. Is 46 a factor of i(-6)?
False
Suppose 7886 = 9*m + 2486. Does 9 divide m?
False
Let i be 4 + 2/(-1) - 1. Let c be (3/(-2) + i)*28. Does 8 divide 1/(2/6) - (c + -4)?
False
Suppose -10*r + 15*r = 30. Is ((-1)/r - (-45)/(-54))*-108 a multiple of 4?
True
Let h = 5 + -3. Let u be -2 - 4/8*-14. Suppose -297 = -u*l - v, 0*l + 2*v - 114 = -h*l. Is 6 a factor of l?
True
Let x = 42 - 34. Let j be (-10*x/(-96))/(1/6). Suppose -765 = -5*g + j*v, g - 3*v = -0*v + 161. Is 11 a factor of g?
False
Suppose 1 = -u + 2. Let a(z) = 2670*z**3 + z**2 - 1. Let h be a(u). Is h/24 + (-2)/8 a multiple of 9?
False
Let r be 1786/(-95) - -19 - (-1 + 6/5). Let u be ((-3)/6)/((-2)/324). Suppose 9*f - 1575 + u = r. Is 31 a factor of f?
False
Let q(b) = b**2 + 41*b + 120. Let j be q(-38). Suppose -4*a - 286 = -j*a. Is a a multiple of 6?
False
Does 99 divide (-9)/(-54)*-1527*-18*1?
False
Suppose 2*j + 4*x - 9524 = 0, -j + 5040 = -2*x + 286. Is j a multiple of 39?
True
Suppose -y = f - 3921, 5*f - 13*y - 19645 = -10*y. Suppose -30*i + 16324 = -f. Does 25 divide i?
True
Suppose 27385 = 3*j - 4*q, 11*q + 45638 = 5*j + 8*q. Is j a multiple of 19?
False
Suppose -3*r - 4*c + 270 = -0*c, 4*c + 418 = 5*r. Let p = r - 220. Let j = p - -269. Does 15 divide j?
True
Let g(z) = 7*z**2 + 3*z + 6. Let o(q) = q**2 + 1. Let v(j) = -g(j) + 6*o(j). Let c be v(-2). Suppose 2*h + 18 = 2*y + 4*h, c*h + 6 = 0. Is y a multiple of 12?
True
Suppose -4*k = -k - 207. Let a = k + -73. Does 8 divide (a + -10)/((2 + -3)/8)?
True
Let f = 453 - 451. Suppose 6*o = j + o - 69, -292 = -3*j - f*o. Is j a multiple of 5?
False
Is 40 a factor of (592/(-10))/(120/(-3000))?
True
Let u(n) = 282*n**3 - 3*n**2 + 20*n + 22. Let a be u(-1). Let g be 5/20 + 3862/8. Let b = a + g. Is 20 a factor of b?
True
Let w = 32914 - 27209. Is w a multiple of 21?
False
Let z(l) = -960*l - 268. Let b be z(-8). Suppose -6*p - 11*p = -b. Is 70 a factor of p?
False
Let o = -8422 + 8820. Is 3 a factor of o?
False
Suppose 23 = 2*t + 3*f + 1, -4*f - 4 = -4*t. Suppose -5*y + x + 3*x = -2672, -1581 = -3*y - t*x. Suppose y = 6*o - 14. Is 14 a factor of o?
False
Suppose 2*o = -5*z + 9*z + 15820, -5*o + 39522 = 4*z. Is o a multiple of 118?
True
Let s(i) = -6*i + 11. Let c(x) = 8*x - 11. Let g(l) = 4*c(l) + 5*s(l). Does 3 divide g(8)?
True
Suppose -70634 = -8*s - 17658. Suppose -15*r = -593 - s. Is 7 a factor of r?
False
Suppose -8*a + 3*a + 2610 = 0. Is a a multiple of 37?
False
Let w(s) = 6*s**2 + 5*s - 63. Suppose -231 + 66 = 15*f. Does 16 divide w(f)?
True
Suppose 759*i + 234216 = 214*i + 10790866. Is i a multiple of 27?
False
Let m(d) = 63*d**3 + 5*d**2 - 35*d + 75. Is 20 a factor of m(4)?
False
Let g(q) = -8*q + 12. Suppose 2*r - 2 = r. Suppose -r*l - o = 17 - 3, -o - 26 = 4*l. Is g(l) a multiple of 12?
True
Let z(h) = -h**3 - 2*h**2 - 9*h + 14. Let c be z(-10). Suppose 3*p - 1356 = 4*f, -2*f + 4*f = -2*p + c. Is p a multiple of 31?
False
Let c(y) = 783*y**2 - 87. Is c(-4) a multiple of 39?
True
Is 30 a f