alse
Suppose -8*d + 4567 = -11201. Let f = 3196 - d. Suppose -6*s - s = -f. Is s a multiple of 11?
False
Suppose 5 = 3*w - q, -3*w + 7 = 2*w - q. Suppose x + 2*i = 0, 0 = -2*x + x - i - w. Is 8 a factor of (-32)/x + (-44)/11?
False
Let a be -2 - -2 - -2 - 14. Let q be (-3 - 1) + a/(-6 - -3). Suppose -18*k + 557 + 1027 = q. Does 22 divide k?
True
Suppose s - 2*s = 5*k - 6, 2*k + 13 = s. Suppose -15 = -2*t - s. Suppose 0 = -4*y - 7*q + t*q + 489, -4*y - 4*q = -492. Is y a multiple of 14?
True
Suppose 1727 + 142 = 7*p. Suppose -4*n = -3*b - p, -22*b = 2*n - 20*b - 144. Is 23 a factor of n?
True
Is ((-2792)/16 - -11)/((-197)/(-66) - 3) a multiple of 159?
False
Suppose 0 = -t + 2*b + 10106, -30*b + 25*b = -2*t + 20204. Is 40 a factor of t?
False
Let s(k) = 13*k**3 - 2*k**2 + k + 21. Let x be s(-4). Let a = x + 1487. Is 40 a factor of a?
True
Let i(x) = -15*x**3 - 8*x**2 + 4*x + 18. Let p(m) = -13*m**3 - 7*m**2 + 4*m + 18. Let w(g) = -4*i(g) + 5*p(g). Does 38 divide w(-3)?
True
Is (-18)/((-162)/149967) + 9 a multiple of 32?
True
Let i(u) = 3 + 9*u - 23*u**3 + 18*u**3 - 12 + 19*u**3 - 3*u**2. Is 15 a factor of i(3)?
False
Suppose 8 - 204 = -7*x. Is ((-7)/x)/((-6)/13752) a multiple of 53?
False
Let t(a) = -7*a**3 + 15*a**2 + 19*a - 6. Let d(m) = -m**3 - 1. Let c(z) = 6*d(z) - t(z). Let g be c(16). Does 13 divide (-8)/6*(-4)/(g/(-954))?
False
Suppose -5*x - 15 = 0, 0 = 80*j - 77*j - 4*x - 93972. Is 9 a factor of j?
True
Let y(r) = 3*r**2 - 46*r - 3. Let b(g) = 9*g**2 - 137*g - 8. Let w(f) = 6*b(f) - 17*y(f). Is w(17) a multiple of 19?
True
Let b(q) = -17*q**3 - 5*q**2 + 16*q - 15. Let w(x) = 4*x**3 + x**2 - 4*x + 4. Let l be (2/3)/(-2)*-78. Let p(y) = l*w(y) + 6*b(y). Does 23 divide p(4)?
True
Let w = -11 + 67. Let m = w - 53. Does 31 divide (4 - m) + -46*(-6)/3?
True
Let c(o) = -6 + 1 - 26*o + 5 + 6. Let m be c(14). Does 7 divide ((-70)/21 - -3) + m/(-3)?
True
Let s = -31676 - -81013. Does 18 divide s?
False
Suppose 7*u + 16 = 3*u - 5*x, -5*u + 9 = -x. Let b be 2 + (66 - 0)*u. Let v = b - 28. Is v a multiple of 40?
True
Suppose 9 = 4*i + 1. Let v be 12/1 - ((-4)/(-2) - i). Suppose h + h - 147 = g, 4*g = -v. Is h a multiple of 18?
True
Let t(f) = 32*f + 1016. Is 2 a factor of t(-3)?
True
Let q(g) = 7084*g - 6945*g + 3 + 15. Is q(4) a multiple of 24?
False
Let h(x) = 68 - 32 - 33 - x. Let c be h(4). Does 20 divide (-4)/(4/(-57)) + c?
False
Let q(r) = -r + 13. Let k be q(5). Suppose i + k = 9. Suppose 2*s - i = 81. Does 11 divide s?
False
Suppose 1419 + 526 = 5*m. Let b = m + -239. Suppose -5*o = -4*o - b. Is o a multiple of 17?
False
Let z = -680 - -687. Suppose z*r + 303 = 1052. Is r a multiple of 21?
False
Let a = 22409 - -18135. Is a a multiple of 181?
True
Let a be 8/(-14) - (-15552)/168. Is a/(-6)*375/(-10) a multiple of 17?
False
Suppose 5*f = -r + 103384, 3*f + 3*r - 21678 = 40338. Is f a multiple of 14?
True
Let x(q) = -q**2 + q + 7. Let i be x(0). Does 39 divide 24555/105 - (-1)/i?
True
Let k(r) = -3074*r + 2739. Does 14 divide k(-11)?
False
Suppose 0 = -2*w + 2 - 8. Is ((-420)/18)/(w/27) a multiple of 11?
False
Suppose -57*i - 272019 - 1731003 = -246*i. Does 32 divide i?
False
Let o = 38 - -62. Let i be 6*(4/(-6))/(-1). Suppose r - o = -i*r. Is r a multiple of 9?
False
Let c(m) be the first derivative of -m**4/4 + 8*m**3 + 43*m**2/2 + 47*m - 110. Is 20 a factor of c(25)?
False
Suppose -4*y - 4*z = -29488, 3*y + 2*z = -6966 + 29085. Is 36 a factor of y?
False
Let g(c) = -c**2 + c + 25. Let r(q) = -q. Let k(h) = g(h) + 2*r(h). Suppose -5*t - 11 = 3*z - 6, -5*t - 5 = 5*z. Is 12 a factor of k(z)?
False
Let m be (-12)/(-10)*-5*(-1)/2. Suppose 0*t + t = -3*d - 195, -195 = m*d - 3*t. Is (-1 + 2)/((-5)/d)*3 a multiple of 7?
False
Let c be -1*(-96)/2 + 0. Suppose 3*y = -p, -4*p + 2*y = -3*y - 17. Suppose -4*r = p*m - 21, 3*r - 6 + c = 3*m. Is 3 a factor of m?
False
Let a = -163 + 97. Is 7 a factor of (a/(-4) + 1)*98/35?
True
Let o(z) = 2*z**3 + 156*z**2 + 111*z + 244. Is o(-76) a multiple of 32?
True
Suppose -203182 = -30*y - 26782. Does 98 divide y?
True
Let x(m) = -16*m + 63*m - 32*m - 34 + 15*m**2. Does 15 divide x(3)?
False
Let v(l) = -12*l - 24. Let j(o) = 2*o - 1. Let b be j(-5). Is 12 a factor of v(b)?
True
Does 9 divide ((-186)/124)/((10/(-2788))/5)?
False
Suppose -8*m + 84 = 1340. Let b = m - -200. Is b a multiple of 5?
False
Suppose 6*z - 1233 = 1617. Is 44 a factor of z?
False
Suppose o = 3*y + 980, 5*o - 4*y = -y + 4948. Is o a multiple of 8?
True
Is (-89)/(-178) - 11/2 - -15766 a multiple of 22?
False
Let u = 63 - 69. Let d be u/(-15)*(2*8 + -1). Let l(i) = 8*i - 3. Is 10 a factor of l(d)?
False
Suppose -3*n + 55 = 10. Suppose -x = 4*x + 5*b + n, -4*x + b + 8 = 0. Is x/(4/(-780)*-5) a multiple of 7?
False
Let r = -125 + 404. Let h = r + -145. Is 11 a factor of h?
False
Suppose 71*h = -69*h + 43971 + 14129. Is h a multiple of 50?
False
Suppose -6907 = -24*f + 9221. Suppose -u = 5*u - f. Is u a multiple of 14?
True
Suppose 0 = -c - c - 4*f + 4118, -5*f = 4*c - 8242. Suppose 21*d - 457 = c. Is d a multiple of 5?
True
Let r = 141 + -135. Suppose 0 = 4*q - 4*t - 24, -3*t + r + 0 = 5*q. Does 14 divide (8 - q)/(4/112)?
True
Suppose 0 = 1184*x - 1151*x - 1140645. Is x a multiple of 155?
True
Let l = -1958 - -2879. Is l a multiple of 54?
False
Let v be (-2018)/(-14) + 60/(-420). Let s = v - 72. Is s a multiple of 3?
True
Let a(f) = 49*f**2 + 125*f + 3207. Does 137 divide a(-39)?
False
Let t be 27/(-54)*(-43 - 2/2). Suppose t*o - 3*y + 420 = 26*o, -4*y + 416 = 4*o. Does 9 divide o?
True
Suppose -3*s - 11133 = -2*w, -s = 2*w - 8611 - 2526. Does 58 divide w?
True
Let c = 10 - 14. Let p(y) = -y. Let g be p(c). Suppose 0*n = 3*h - 2*n - 82, 0 = g*h - 5*n - 114. Is h a multiple of 18?
False
Does 34 divide -6 + 3341 + (-4 - -1)?
True
Let y = 32877 + -31202. Does 25 divide y?
True
Let o = -70136 + 102416. Is o a multiple of 259?
False
Suppose -d - 2 = -3*q + 4*d, -2 = q - 3*d. Suppose -q*a - 764 = -4*y, 3*y + 2*a - 575 = 3*a. Is 24 a factor of y?
True
Is 70 a factor of -6*(-4)/10*-3*-1925?
True
Let f be (9 - 7)/(((-4)/10)/1). Let b be 142/f + 4/(120/(-18)). Does 3 divide (-2)/(4/b)*(17 + -15)?
False
Let n = -13478 - -14013. Does 5 divide n?
True
Let c = 53525 + -29458. Does 41 divide c?
True
Let j = -95 + 60. Let u = j + 58. Suppose u + 28 = 3*v. Is 17 a factor of v?
True
Is (29 - 14 - -4017)*4/6 a multiple of 4?
True
Let p = -174 - -178. Suppose 2*q - p*d = 460, 5*d = -q + 10*d + 218. Is 17 a factor of q?
True
Let a = -21 + 24. Let z(b) = 18*b**2 - 5*b + 5. Let w be z(a). Let s = w + -88. Does 16 divide s?
True
Let i(y) = -350*y - 82. Let b be i(-2). Let t = b - -678. Is t a multiple of 9?
True
Suppose 22 = -a + b, -2*b + 12 = -a - 14. Let z = 59 + -32. Let v = a + z. Is v even?
False
Suppose 23 = 8*c - 1. Suppose 0*h - 24 = -c*h. Does 4 divide h?
True
Let u(r) be the third derivative of -r**5/60 + 3*r**4/2 - 41*r**3/6 + r**2. Let c be u(28). Let o = -38 + c. Is 9 a factor of o?
False
Let j(s) = 64*s**2 + 3*s + 2. Let i be j(-2). Let f = 420 - i. Is 9 a factor of f?
False
Let i = -6602 + 13854. Is i a multiple of 196?
True
Let t be -5 + (-84)/(-16) + 2819/4. Let h = t + -147. Is 18 a factor of h?
True
Does 22 divide (-6)/(-7) - -1441*(-3977)/(-287)?
False
Let k be (2 + (-24)/20)/(7/(-35)). Let q(i) = -i**3 - 5*i**2 - 7*i - 8. Is 3 a factor of q(k)?
False
Let y be ((-18)/(-15))/((-62)/(-465)). Suppose y*q - 1068 = 5934. Is q a multiple of 40?
False
Let m(f) be the first derivative of 741*f**4/4 - f**3/3 + f**2/2 - f - 78. Does 37 divide m(1)?
True
Let x = 84989 + -52295. Is 55 a factor of x?
False
Suppose -139*o - 6*o + 2699200 = -2019680. Does 29 divide o?
False
Let c(y) = -y**2 - 2*y. Let d(q) = -442*q**2 + q - 13. Let o(h) = 6*c(h) - d(h). Is o(1) a multiple of 30?
False
Does 33 divide -38*(-3)/2*(4257/27 - 5)?
False
Suppose -n + 2*v + 36 = 0, -v = 3*n + 31 - 160. Is (-18)/1*(-3136)/n a multiple of 84?
True
Does 17 divide (120/(-375)*5)/(4/(-13090))?
True
Let o(z) = z**2 - 13*z + 11. Let i = -35 + 47. Let j be o(i). Does 23 divide j/(-3) + 137/3?
True
Let m(t) be the second derivative of t**4/2 + t**3/2 + 3*t**2 + 2*t. Let k = 225 - 222. Is m(k) a multiple of 43?
False
Let j be -153 + 2 - (1 - 2). Let c(u) = -1061*u - 5036. Let a be c(-5). Let q = 