. Let s be w(-52). Suppose s*h - 396 = -4*o, -8*o = -9*o - 3*h + 99. Is o a multiple of 5?
False
Let q(t) = 3*t**3 + 50*t**2 - 37*t + 66. Let y(a) = 4*a**3 + 49*a**2 - 38*a + 66. Let l(w) = -6*q(w) + 5*y(w). Does 69 divide l(27)?
True
Let f(x) = 9 + 12*x - 6 - 48*x. Is 11 a factor of f(-5)?
False
Suppose 31992 = 5*n + 3*i, -263*n + 265*n - 12808 = -4*i. Is n a multiple of 52?
True
Let o(t) = t**3 + 6*t**2 - 3*t - 9. Let m be o(-9). Is (-4)/16 + m/(-4) a multiple of 7?
True
Suppose 11*g - 22*g = 0. Suppose g = -7*a - a - 696. Let i = a - -147. Is 10 a factor of i?
True
Let k be (-575)/(-10)*(28/(-10))/(-1). Suppose -k = -m - 5. Does 21 divide m?
False
Suppose 37*g = 52*g - 18900. Is 47 a factor of g?
False
Suppose 7*x + 238453 = 42*x + 38953. Does 20 divide x?
True
Let n = 28867 + -15250. Is 22 a factor of n?
False
Does 51 divide (-22 - 1280/(-60))*-26607?
False
Let c(l) = -37*l - 23*l - 29 + 88*l. Does 14 divide c(9)?
False
Let p be -12*(6 + -7) - 1. Let h(s) be the second derivative of s**4/6 - 7*s**3/6 + 13*s**2/2 + s. Is 28 a factor of h(p)?
False
Let g = 65211 - 45139. Is g a multiple of 104?
True
Let w(i) = -i**3 + i**2 + 13*i + 1124. Let u be w(0). Let k = u - 85. Is k a multiple of 43?
False
Suppose 4*s + 5*i + 27 = -21, -2*s = -3*i + 46. Let h(t) = -45*t - 117. Does 12 divide h(s)?
True
Let u = -342 - -353. Is 10 a factor of (-2)/u - 37060/(-187)?
False
Let v be 98/34 + (-48)/(-408). Suppose -7*t + d + 823 = -4*t, 2*d = v*t - 827. Does 39 divide t?
True
Let t(o) = 19*o + 16*o + 22 + 23 - 34*o. Does 10 divide t(-33)?
False
Let a = 25578 + -9950. Does 21 divide a?
False
Suppose 4*o = 10*o + 60. Let z(h) = -67*h - 25. Is 28 a factor of z(o)?
False
Let o = 94 + -89. Suppose 4*y + 12 = -3*v, -v - o*y = -6*y - 3. Suppose v = -4*u - u + 405. Is u a multiple of 30?
False
Let g(q) = 128*q**2 - 2*q + 15. Does 44 divide g(5)?
False
Let t be ((-9 - -3) + 7)*(7 - 1). Does 3 divide (-2)/8 - ((-372)/16 - t)?
False
Suppose 3*w - 7*w = -344. Suppose 70*y = 68*y. Suppose y = -v + 3*q + w, 2*v + 3*q - 282 = -v. Is v a multiple of 23?
True
Let h = -1218 + 867. Let l = h - -363. Is l a multiple of 2?
True
Suppose 1141908 = -2*v + 88*v. Is 32 a factor of v?
False
Is 18 a factor of (-14)/4*(-1826 + -3 + 7)?
False
Let h(g) be the second derivative of 11*g**4/12 - 5*g**3/6 - 15*g**2/2 + 16*g. Let t be h(-5). Let w = t + -125. Does 16 divide w?
True
Suppose 4*g = p + 130, -5*g - p + 310 = 143. Suppose 28*w = g*w - 2290. Is w a multiple of 14?
False
Does 6 divide 17/(1955/(-2898))*(-1470)/9?
True
Let k = 207 - 208. Is 22 a factor of (-2)/((-6)/465) + k?
True
Suppose a + 16 = 2*a - 4*v, 16 = -2*a - 4*v. Suppose 8*y - 8 + 0 = a. Is 7 a factor of 75*y/(3 - (-2 + 4))?
False
Suppose 0*p + 19*p = 124*p - 578340. Is 87 a factor of p?
False
Let b(l) = -2*l - 61 + 25 - 2*l - l. Suppose 2*z = -0*z + 3*d - 33, -2*z = -4*d + 36. Does 3 divide b(z)?
True
Suppose -3*a - 2*u + 3 = -7, 6 = -2*a + 5*u. Suppose -3*v + a + 4 = 0, 5*v = -5*l - 2670. Is (-5)/(125/(-10)) + l/(-10) a multiple of 23?
False
Suppose -1175 = 3*g - 8*g - 5*t, 0 = -5*g + 3*t + 1207. Let a = 335 - g. Suppose -53 = -x + a. Does 32 divide x?
False
Let n = 5 + -7. Let d = 6 - n. Let v = 4 + d. Does 4 divide v?
True
Suppose 2*o + 4 = 0, -47*r + 46*r = o - 8342. Does 28 divide r?
True
Let y be -5 + (-1 - -3 - -7). Suppose 1907 = y*l - 5517. Is 58 a factor of l?
True
Let d(z) = -27*z**2 + 1227*z - 22. Is 8 a factor of d(27)?
True
Suppose 10*r = 2*r + r. Suppose -k + 10*k + 1422 = r. Let i = 238 + k. Does 17 divide i?
False
Let h(y) = y**2 - 27*y + 108. Let m = -287 + 317. Is 3 a factor of h(m)?
True
Suppose -2*g - 90 = 3*g. Does 9 divide 30/g + 1617/9 - -2?
True
Let j = 1294 - 314. Suppose -h + 5*h - j = 0. Does 35 divide h?
True
Suppose 4*n + 4 = 2*g + 2*g, -19 = -n + 5*g. Let j(b) = -45*b + 14. Let i be j(n). Let y = i - 184. Is y a multiple of 25?
True
Let r(i) = -73*i + 45*i + 82 + 11*i. Is r(4) a multiple of 2?
True
Does 24 divide (-43336356)/(-2436) - 1/(-29)?
False
Let k(g) = -g**3 + 44*g**2 + 67*g - 536. Is 9 a factor of k(43)?
True
Suppose -3*i - n = 2*i - 3, 9 = -3*i + 3*n. Suppose u + 5*l - 375 = i, 10*l + 1605 = 4*u + 9*l. Is u a multiple of 25?
True
Let b be (-39)/(-65) + (-12042)/(-5). Let w = b - 1569. Does 56 divide w?
True
Let i(q) be the third derivative of 0*q + 30*q**2 - 1/8*q**4 + 1/60*q**5 - 2*q**3 + 0. Is 14 a factor of i(-5)?
True
Let o(h) = -138*h**3 - 2*h**2 + 2. Let j be o(-2). Suppose 2*y - 4*g = j, y - 1125 = -y - 5*g. Suppose -3*i + 6*i = k + 335, -5*i + k = -y. Is 21 a factor of i?
False
Let b(r) = -192*r**3 - 3*r**2 + 12*r + 69. Is b(-4) a multiple of 201?
True
Suppose -99 - 21 = -4*z. Suppose -6*v = -114 - 414. Suppose z*a - v = 26*a. Is 14 a factor of a?
False
Let f(h) = -h**2 - 20*h + 10. Let q be f(-19). Suppose -2*j = -115 - q. Let c = -42 + j. Is c a multiple of 9?
False
Suppose 11*v = 14*v - 6. Let j(d) = 10 - 21 + 7*d + 2 + 0 + d**3 - 14*d**v. Does 11 divide j(14)?
False
Suppose -98937 + 855199 = 29*z. Does 13 divide z?
True
Let h(t) = -t**3 - 8*t**2 - 5*t + 17. Let d be h(-7). Suppose -11 - 16 = -d*v. Is 3 a factor of (v + -12)*(-6 + -1)?
True
Suppose -43811*c + 43767*c = -845680. Is c a multiple of 74?
False
Suppose -606 = -3*x + 3*p, x - 93 = -4*p + 104. Let f = x + 54. Is f a multiple of 32?
False
Let r(i) = -i**3 - 69*i**2 + 26*i + 2620. Does 118 divide r(-71)?
True
Suppose 2*g - 5*g = 18. Let t be (-496)/(-12) + (-4)/g. Suppose -t + 2 = -4*p. Does 5 divide p?
True
Does 179 divide (4 + 48811/14)/(1/6)?
True
Let n = 68 - -18. Let a be (658/14)/((-6)/(-24)). Let o = a - n. Is o a multiple of 17?
True
Let d(r) = 316*r**2 - 27*r. Let v(g) = -63*g**2 + 5*g. Let l(b) = -2*d(b) - 11*v(b). Does 14 divide l(-1)?
False
Is 304 a factor of 65/3*73/((-2190)/(-27036))?
False
Suppose l = 5*g + 147 - 486, -5*l + 47 = g. Let m = 125 - g. Suppose -m = -3*h + 35. Does 5 divide h?
False
Let r be 3 + 230 + (-10)/(-5) + -1. Let o = r - 351. Let v = 170 + o. Does 8 divide v?
False
Suppose -10*c = -4*c - 498. Let k = 38 - c. Let t = k + 101. Is 14 a factor of t?
True
Let q(w) be the third derivative of w**6/120 + 2*w**5/15 - 5*w**4/12 + 25*w**3/6 + 174*w**2. Is q(-6) a multiple of 5?
False
Let z be (-2)/1 + (1 - -6). Let m(b) = 2*b**3 - 4*b**2 - 7*b - 4. Let d(n) = n**3 - n**2 - 3*n + 1. Let t(h) = 4*d(h) - m(h). Is t(z) a multiple of 24?
False
Let s be ((-21)/14 + 1)*(2 - 10). Is (-3)/s - (-10)/(280/1701) a multiple of 6?
True
Let j(g) = 28*g**2 - 37*g - 19. Does 16 divide j(19)?
False
Let y = 6720 - -2308. Is y a multiple of 74?
True
Suppose 0 = -3*s - c + 18664 + 13636, 4*s - 43097 = 3*c. Does 89 divide s?
True
Suppose -17*h - 27 = -14*h. Let w(i) = i**3 + 6*i**2 - 29*i - 1. Let v be w(h). Suppose 0 = -6*c + v*c - 1540. Is c a multiple of 36?
False
Let b = -84 + 86. Suppose -4*r + 0*s - b*s + 680 = 0, 188 = r + 5*s. Is 42 a factor of r?
True
Suppose 4 = 4*t - 8*t, -5*i = -2*t - 412. Let b = i - 16. Suppose a + a = b. Is a a multiple of 3?
True
Let j(n) be the second derivative of n**4/4 - n**3 + 9*n**2/2 - 3*n. Let m be j(-4). Let h = m - 48. Is h a multiple of 33?
True
Suppose -5*m + 34 = 3*c, m = 30*c - 33*c + 26. Let y(l) = -l - 2. Let x be y(-5). Does 9 divide (-3 + c)*x*3?
True
Suppose -5*r + 3*d = -94548, 11*r = 12*r + 3*d - 18888. Is 88 a factor of r?
False
Let d(p) = p + 3. Let y be d(-3). Suppose y = -2*q + 3*q - 4. Suppose -q*b + 3*r = -189, -5*r = 4*b - 72 - 93. Is b a multiple of 15?
True
Let q(d) = d**2 + 22*d + 117. Let o be q(-8). Is 7 a factor of 30/(399/(-81) + o)?
False
Let p = 240 + -234. Is 65 a factor of (104/p)/(114/855)?
True
Let s(g) = 2*g + 68 + 14*g - 23*g. Does 19 divide s(-12)?
True
Let f(g) = 264*g + 1164. Is f(-4) a multiple of 7?
False
Suppose -20 = -4*b, -37*b = -4*m - 42*b + 15021. Is 10 a factor of m?
False
Let t be (-146)/(-8) + 6/(-24). Let m be t + -13 - 1*2. Suppose -m*k - 2*k + 417 = 4*y, -y = k - 104. Is 18 a factor of y?
False
Let k = -1435 - -965. Let n = -272 - k. Is n a multiple of 9?
True
Suppose 4*z - 18*z + 21910 = 0. Suppose 0 = -4*l + 85 - z. Let h = l + 563. Is 21 a factor of h?
False
Suppose -97*m = -200*m + 90*m + 412984. Does 28 divide m?
False
Let n = -93 - -93. Suppose n = 4*u + 3 - 59. Is 7 a factor of u?
True
Suppose 0 = -6*d + 4