*u - 7. Let p be v(4). Suppose 81 + p = 7*s. Is 46 a factor of s?
True
Let r(j) = -43*j**3 + 3*j**2 + 343*j + 2091. Is 104 a factor of r(-6)?
False
Let u = 326 - 322. Suppose u*j - 4*g + 1097 = 4957, g = 4*j - 3869. Does 22 divide j?
True
Suppose 6*g = 7*g - 30. Let u = g + -33. Does 6 divide u - -5 - (-88 - 1)?
False
Let i be (-2)/(-9) + 715/(-99). Is 25 a factor of 7*-3*(i - 18)?
True
Suppose 44*s - 13801 = 7*s. Is 73 a factor of s?
False
Suppose 186*k - 1158368 = -26*k. Is k a multiple of 23?
False
Let n(i) = -65*i**3 + i**2 - 16*i + 7. Is n(-4) a multiple of 137?
True
Let x = -8026 + 13395. Is x a multiple of 13?
True
Let l(s) = -s**3 - 10*s**2 - 4*s + 44. Let j be l(-9). Is 9 a factor of 73/((j/(-1))/2)?
False
Let d = 103 - 77. Suppose -30 = -2*r - d. Suppose r*y - y = -4, k - 196 = -3*y. Is k a multiple of 13?
True
Let l = 573 + -284. Suppose 0 = -4*s - d - l + 1164, 0 = 5*s + 5*d - 1090. Is 20 a factor of s?
False
Suppose -2*q = -0*q + 3*u - 7, 3*q = -u + 14. Does 11 divide 13/(63/(-16) + (9 - q))?
False
Let f = -740 + 1060. Suppose s - f = -2*g, -5*g + 3*g + 308 = 4*s. Does 8 divide g?
False
Let t = -40416 - -59508. Is 15 a factor of t?
False
Suppose 19*f = 24*f - 40. Suppose -6*k + f*k = 10. Suppose -3*n = -3, -k*n + 4*n + 23 = 2*r. Is r a multiple of 2?
False
Suppose 3*y - 5*c - 4276 - 5251 = 0, 4*y - 4*c - 12708 = 0. Is 11 a factor of y?
True
Let o = 35290 + -12641. Is 71 a factor of o?
True
Let c be (-3973)/(-203) - 6/(-14). Suppose -15*r - 545 = -c*r - j, 2*r = 5*j + 218. Does 19 divide r?
False
Let k(w) = 434*w**2 + 26*w + 93. Is 4 a factor of k(-3)?
False
Suppose 5*k - 4*z = 209, 2*z - 16 = -2*z. Let p be (-6)/k + (-3471)/(-45). Suppose s - 5*m = -s + 129, -s = -5*m - p. Does 13 divide s?
True
Suppose 149239 = -0*v + 14*v + 21979. Is v a multiple of 15?
True
Let l(j) = 11*j - 17. Let a be l(2). Suppose -11 = a*g + 9, 0 = 2*d - 4*g - 120. Is 13 a factor of d?
True
Is 301 a factor of ((-13)/(260/1152))/((-1495)/(-300) + -5)?
False
Suppose -4702 = -15*b - 982. Let i = -231 + b. Is 17 a factor of i?
True
Suppose -6*c + 2*p = -11*c + 16, 0 = -c + p - 1. Suppose 2*y = 2*i - 248, -c*i - y = -6*y - 254. Is 14 a factor of i?
False
Suppose 4*y - k = 1348 + 734, 4*y + k - 2086 = 0. Suppose -i + 188 = -5*s, 52 - y = -3*i - 4*s. Is i + ((-7)/(21/6) - -3) a multiple of 33?
False
Let t = 1659 + 2177. Does 7 divide t?
True
Let p(t) = 199*t**2 + 3*t + 132. Does 16 divide p(-12)?
True
Suppose 12*o - 18*o + 2550 = 0. Suppose -2*i + o = 107. Is 12 a factor of i?
False
Is 10 a factor of (-567)/252 + (-189042)/(-8)?
False
Is 34 a factor of 2 - (-42)/(-22) - 15507463/(-803)?
True
Does 40 divide (7/((-1225)/22500))/((-4)/560)?
True
Suppose 0 = -5*i - 4*o + 9466, -3*i + 5*o = 3*o - 5684. Suppose i = n + 737. Is n a multiple of 13?
True
Let b = -15144 + 22858. Is 12 a factor of b?
False
Is ((-28)/35 + 370004/30)/(98/147) a multiple of 5?
False
Let o(d) be the third derivative of -d**5/60 + 17*d**4/24 + 83*d**3/6 - 71*d**2. Is 8 a factor of o(0)?
False
Suppose 0 = -38*l + 7*l - 12090. Let s = l - -744. Is 7 a factor of s?
False
Suppose -4*f - 3967 = 2*t - 7*t, 5*t = 3*f + 2969. Does 16 divide 3/(-6)*(16/(-4) + f)?
False
Suppose -181*p + 273276 + 1150289 = 0. Is 47 a factor of p?
False
Let x(z) = -253*z + 709. Does 5 divide x(-4)?
False
Let u(x) = -1002*x + 2208. Is 52 a factor of u(-2)?
True
Let y(a) = 11*a**3 - a**2 - 3*a + 1. Let l be (-2)/(-10) + 189/105. Let x be y(l). Suppose -3 = 3*w, -3*w + x = 4*f - 38. Is f a multiple of 16?
False
Suppose 4*t = j + 68095, -5*t = 658*j - 657*j - 85130. Is t a multiple of 9?
False
Let w = -96 + 95. Is 31 a factor of (-22)/44 - ((-251)/2 - w)?
True
Suppose 5*l - 85 = 5. Suppose -4*r - l = -10*r. Suppose -r = 2*c - 177. Is 14 a factor of c?
False
Let h be -5*((-39)/15 - -2). Suppose -4*y + 27 = 4*z + h, z = 4*y + 1. Suppose 0 = z*i - 45. Is i a multiple of 9?
True
Let b be 372/279 - (-2)/(-6). Is 20/b*(-36)/(-144) even?
False
Let v = 3376 + 2902. Does 65 divide v?
False
Let v(u) = -12*u + 1610. Is v(85) a multiple of 9?
False
Suppose 0 = -10*m + 30*m - 100. Suppose 3*q + 3504 = m*y, 4*q + 2098 = -35*y + 38*y. Is y a multiple of 40?
False
Let l = 63 - 61. Suppose 237 = o + 5*d, 0 = -4*d - 6 + 14. Suppose 0 = -l*q + o - 17. Is q a multiple of 15?
True
Let j(d) = d**3 - 25*d**2 - 16*d + 71. Let r be j(25). Let q = 424 + r. Is 4 a factor of q?
False
Suppose 0 = 33*x - 35*x - 10. Let i(h) = h**2 + 5*h - 3. Let k be i(x). Is 19 a factor of (19/k)/(2 - 215/105)?
True
Suppose 2*m - 2 = -5*u - 2*m, -15 = 3*u - 3*m. Let k be 918/6 + (1 - (4 + u)). Suppose 10*a - 198 = k. Is a a multiple of 23?
False
Let u(b) = 2*b + 8. Let c be u(-2). Let l be c + ((-1020)/(-8))/(-5)*-6. Let g = l + -43. Does 38 divide g?
True
Let w be (23 + -25)*(0 - 2). Suppose 0 = -4*t - w, t + 862 = 3*a - 237. Is 10 a factor of a?
False
Suppose x + 4*k = 2 + 3, -10 = -5*k. Let b be -1 + x*(10/(-6) - 0). Suppose n + 58 = 3*z, -b*n - 103 = -5*z - 11. Does 20 divide z?
True
Let v = 7287 - -293. Does 10 divide v?
True
Let l = 352 - 350. Suppose 846 = l*x - 128. Is x a multiple of 103?
False
Let f be ((0 - -36) + 3)*4. Suppose -3*m + 4*c + 122 = -30, 5*m + 5*c = 265. Let s = f - m. Does 26 divide s?
True
Let g = 1543 + 1941. Does 11 divide g?
False
Is (0 + (-2)/(-1))*(-826)/(4 + -6) a multiple of 14?
True
Let m(i) = -54*i**3 - 5*i**2 - 15*i + 1. Does 3 divide m(-3)?
False
Let v = 3709 + -468. Is v a multiple of 107?
False
Suppose -14560 = -4*f - 5*r, -86*r = -87*r. Does 13 divide f?
True
Let j(d) = 33*d**2 - 5*d + 3. Let n be j(1). Suppose 0 = -4*k - 3*p - 47, 0 = 4*k - 3*p + 2*p + 27. Let c = n - k. Is 5 a factor of c?
False
Let i(n) = n**3 - 8*n**2 + 3*n - 20. Let b be i(8). Is 11 a factor of 4/8 + 106/b?
False
Let v(o) = 67*o**2 - 10*o + 21. Let w be v(-9). Let g be -4 - w/(-30) - (-2)/5. Suppose -4*i - i + 446 = -4*x, 2*i = -x + g. Does 8 divide i?
False
Suppose 8 = -k + 2. Let z(n) = -2*n + 3. Let o(j) = -13*j + 11. Let t(b) = o(b) + 4*z(b). Does 35 divide t(k)?
False
Let v = 233 - 163. Let p be (5/3)/(2/6). Is 4 a factor of 1119/21 - p*4/v?
False
Is ((-740)/(-30))/(((-14)/6279)/(-1)) a multiple of 37?
True
Let a(q) = q**3 + 11*q**2. Suppose 5*l + 2*l = -42. Is 30 a factor of a(l)?
True
Let s(b) = 5*b**2 + 55*b - 4. Let h be s(-11). Let w(q) = -54*q - 60. Does 10 divide w(h)?
False
Suppose -70*o + 22 = -81*o. Let b = 1 - -17. Is 27 a factor of o - ((-24)/108 + (-1760)/b)?
False
Let z(a) = -a**3 + 21*a**2 - 19*a - 20. Let x be z(20). Suppose -m + 8 = -x*m. Let i(u) = -u**3 + 10*u**2 - 6*u + 10. Is i(m) a multiple of 15?
True
Let m = 10 - 3. Let p be 153*(6 - m) + -1*2. Let d = 244 + p. Does 45 divide d?
False
Suppose -h + 7605 = 8*h. Suppose -3*x - 9 = i, -3*x - 5*i + 2 = -1. Is -3*(h/(-15) - x) a multiple of 40?
False
Let m(d) = 3*d - 59. Suppose -6 + 34 = 2*g. Let x(a) = a**2 - 13*a + 12. Let n be x(g). Is m(n) a multiple of 3?
False
Let x = -54 + 33. Let j be (-4)/7*x/3. Suppose 25 = j*q - 251. Is 6 a factor of q?
False
Let t = 260 + -129. Does 67 divide 1 - -2 - (-3)/3*t?
True
Does 55 divide 5/2*(-1540742)/(-835)?
False
Suppose -1 = 2*u + v + 2*v, 0 = -2*u - v + 5. Suppose 5*x = -u*q - 0*x + 75, 19 = q + x. Suppose 0 = -15*y + q*y - 115. Is y a multiple of 18?
False
Let x = -1254 - -16082. Is x a multiple of 22?
True
Let z(w) = -w + 15. Let c be z(14). Suppose 6*g + 16 = 2*g. Is g - (3 + -84)*c a multiple of 11?
True
Suppose 0 = -16*r + 11*r + 40. Suppose 0*v - 11 = -3*o + 2*v, 0 = 2*v + r. Is 13230/70 - (o - (4 + 1)) a multiple of 19?
False
Suppose c = -2*c + 3*q - 2706, -1798 = 2*c - 5*q. Let d = c + 1288. Does 7 divide d?
False
Let n = 3746 + -1278. Suppose 3*f + f - n = -2*j, -616 = -f - j. Is f a multiple of 6?
True
Does 10 divide (40 - 30)*(4 + 94)?
True
Suppose -31*y - 2154 + 82754 = 0. Suppose 9*u - y = 4*u. Is 45 a factor of u?
False
Let w(q) be the first derivative of 75*q**3 - 13*q**2/2 + q + 35. Is 4 a factor of w(-1)?
False
Let p(w) = -2 + 1 + 4*w**2 + 168*w - 171*w - 18*w**2. Let q(i) = -5*i**2 - i. Let a(n) = -3*p(n) + 8*q(n). Is a(9) a multiple of 58?
True
Let k = 34439 + -13658. Is k a multiple of 209?
False
Let d be (1 + 3)/((-18)/(-2484)). Let o = 1227 - d. Is 9 a factor of o?
True
Suppose 481*k - 203284 - 85972 = 135*k. Does 4 d