rue
Let i(k) = k**2 - 18*k + 1. Let z be i(18). Let y be (23 - 14)/(z*-1). Is 3/y*0 + 3 a multiple of 2?
False
Suppose 1016 + 712 = 6*k. Is k a multiple of 8?
True
Let p(k) = k**2 + 16*k + 33. Let i be p(-14). Suppose i*s = 2*z - 41, -3*z - s = -5 - 14. Is 2/z - 71/(-4) a multiple of 9?
True
Let c(u) = -6*u**2 + 7*u + u**2 + 4*u**2 + 15. Does 2 divide c(8)?
False
Let a = 199 - 67. Does 12 divide a?
True
Let d(a) = -a**3 + 3*a**2 + 3*a - 1. Let k be d(4). Let u(b) = -10*b + 13. Let g be u(k). Let j = g + -5. Is 13 a factor of j?
False
Let a(c) = c**2 - 2*c**3 - 4*c**2 - 24 + c + 26. Is 11 a factor of a(-3)?
False
Let o(f) be the first derivative of 2*f**3/3 - 7*f**2 - 16*f + 3. Does 36 divide o(11)?
True
Let p be (-2 + 4)/(5 - 4). Let m = 0 + p. Suppose -m*r + r + 5*s = -18, -s - 40 = -3*r. Is r a multiple of 13?
True
Let d(c) = -c**2 + 4*c + 286. Does 26 divide d(0)?
True
Suppose -5*n + 158 = -4*i, -2*i + 22 + 52 = 2*n. Suppose -n = -2*s - 2*c + 106, 4*s = -3*c + 282. Is s a multiple of 4?
True
Suppose -5*s + 4*d - 75 = 0, -s - d + 2 - 8 = 0. Is 1 - (-52)/(-44) - 552/s a multiple of 10?
True
Let a = -58 + 54. Is 20 a factor of 184 - 4 - a - 4?
True
Suppose -3*p = -3*h + 1527, -2041 = -4*h - 22*p + 21*p. Does 10 divide h?
True
Is 198/24 + 6/8 a multiple of 5?
False
Let i = 45 - 26. Is 31 a factor of (103*3 + 1)/(i + -17)?
True
Let b = -3020 + 5608. Is b a multiple of 76?
False
Suppose 5*f + 5*h = -0*f - 590, 0 = f - 3*h + 138. Let p = f + 243. Is 20 a factor of p?
True
Let z(y) be the second derivative of y**3/6 + 9*y**2/2 - y. Does 14 divide z(7)?
False
Let s(y) = -111*y**3 - 3*y**2 - 3*y. Suppose -3*u = k - 8, 5*k + 9 = -2*u + 10. Is 8 a factor of s(k)?
False
Let w(l) be the first derivative of 17*l**2/2 + l - 6. Is w(5) a multiple of 28?
False
Suppose p + 202 = 2*q + 6, 490 = 5*q - 2*p. Suppose -6*r = -124 - q. Is r a multiple of 37?
True
Suppose 5*h + 3 + 12 = 0. Let b = -2 - h. Is 9 a factor of 2*62/4*b?
False
Suppose 5*y = 2*r + 62 - 23, -60 = 4*r - 4*y. Let c(l) be the first derivative of -l**3/3 - 7*l**2 - 13*l - 1. Does 11 divide c(r)?
True
Let v(g) = -22*g**2 + 2*g - 2. Suppose -f + 6 = 4. Let u be v(f). Let p = 151 + u. Is 23 a factor of p?
False
Let b(a) = 3*a**2 - 4. Let f be ((-4)/6)/(8/48). Let q be f/(-6) + (-70)/15. Does 12 divide b(q)?
False
Suppose i = 4*j - 3010, -4*j - 4*i = -0*i - 3020. Is 10 a factor of j?
False
Is (-267)/((1/10)/((-4)/10)) a multiple of 13?
False
Let c(l) = l**2 + 28*l + 43. Is 49 a factor of c(37)?
False
Let p be (-6)/4 - 83/2. Let j = 59 + p. Is 9 a factor of j?
False
Suppose 0 = o + 21 - 23. Suppose -c + o*n + 284 = 0, -c + 4*n + 269 = -n. Does 42 divide c?
True
Suppose 2*o - 13 = -7. Suppose -671 = -o*l - 4*g, 5*g = 3*l - 692 + 39. Let k = l + -157. Is k a multiple of 16?
True
Let w be 2 - (3 - (-12)/4). Let n be (w/8)/((-1)/(-12)). Does 12 divide 116/10 - n/15?
True
Suppose -90*s = -85*s - 940. Is 6 a factor of s?
False
Let d(y) be the first derivative of y**2 - 2*y + 2. Let m be d(3). Suppose -m*i + 32 = -2*i. Is 6 a factor of i?
False
Suppose 3*c + 546 = -4*c. Let r = c - -118. Is 2 a factor of r?
True
Suppose 0 = -s + v + 10, -2*v + 6*v = 3*s - 35. Suppose -2*b + 2 = 5*f + 24, s*b = -f - 78. Is 8 a factor of b/(-3)*(-39)/(-26)?
True
Let n(i) = -81*i + 5. Let g be n(-2). Let v = g + -134. Is v a multiple of 15?
False
Let h = -321 - -540. Is 47 a factor of h?
False
Let i(v) be the first derivative of v**4/4 + 7*v**3/3 - 3*v**2 - 4*v - 3. Does 3 divide i(-7)?
False
Let m = -68 + 359. Suppose -155 - 1292 = -5*w + 3*l, -m = -w - l. Is 14 a factor of 2*2*w/20?
False
Suppose 0 = -3*q + 4*i + 2158, -3*q - 5*i + 2093 + 29 = 0. Is 17 a factor of q?
True
Let u be ((-734)/(-3))/(-1)*297/(-198). Suppose -u = -16*f + 4241. Is f a multiple of 30?
False
Suppose -5*s - 2*y = -169 - 51, 5*s + 3*y - 215 = 0. Does 28 divide s?
False
Let i(x) be the second derivative of -x**4/12 - 5*x**3/2 + 16*x**2 - 15*x. Does 8 divide i(-16)?
True
Let r = -307 - -784. Is 12 a factor of r?
False
Let f(r) = -4*r**3 - r**2 - 22*r + 8. Is 45 a factor of f(-7)?
True
Let q = -14 - -22. Let g be 8718/(-24) - (-2)/q. Is g/(-7) - (-7)/49 a multiple of 26?
True
Let r(v) be the second derivative of v**5/20 - v**4/4 - 5*v**3/6 - 5*v**2/2 + 194*v. Let c(f) = f**2 + 6*f + 5. Let n be c(-6). Does 9 divide r(n)?
False
Is 18*15*671/66 a multiple of 26?
False
Suppose h - 7*h = -24. Let s = h - -10. Is s a multiple of 14?
True
Let v be (6/9)/((-10)/45) - -4. Let k(a) = -25*a**3 + 3 + 62*a**3 - 2. Is 5 a factor of k(v)?
False
Suppose -3*i + 8*i - 20 = 0, -4*w = 5*i + 16. Is 24 a factor of 8*w/(-6)*6?
True
Let p be 4/(-6) + 66/18. Suppose -p = 5*k + 2. Is 6 a factor of (19 - 6)*(1 - k)?
False
Let v(i) = -i**2 - 17*i - 4. Let u = -23 - -7. Is v(u) a multiple of 9?
False
Does 37 divide ((-352)/(-55))/8*(-3145)/(-2)?
True
Let q be 9/(-3)*-4*1/2. Let u = 16 + -5. Suppose -u*o + q*o = -365. Is o a multiple of 25?
False
Suppose -2*c + 988 = k - 0*c, 3*c - 4954 = -5*k. Suppose 0 = 13*j - 9*j - k. Does 31 divide j?
True
Is 56 a factor of (-578051)/(-333) + (-2)/(-18)?
True
Suppose -3*s + 16 = -o, -22 = -2*s - s - 2*o. Let p(f) = 3*f - 1. Let l be p(s). Suppose -l*r + 13*r = -92. Does 8 divide r?
False
Suppose l + 1 = 6. Suppose -2*o - o = -4*p - 64, -2*p = -l*o + 130. Is o a multiple of 14?
True
Suppose -3*d + 0*d = -3*u + 30, 0 = -3*u - 3*d. Suppose 2*w + 18 = -u*s - 2*w, -s - 6 = 2*w. Is 5 a factor of 3*s*34/(-12)?
False
Let z = -43 + 29. Let g = 26 + z. Is g a multiple of 12?
True
Let b(h) = 12*h + 60. Is 2 a factor of b(-3)?
True
Let c = 596 - 533. Is c even?
False
Let q = 7 + -10. Let f be (-3 - (q - -1))*0. Suppose f = -3*h + 2*w + 208, 45 - 186 = -2*h - w. Is 31 a factor of h?
False
Let v = -3 - 1. Let h(c) = 3*c**2 - 5*c - 1. Let a be h(v). Suppose 3*y = -2*m + m + a, -76 = -4*y - 4*m. Is 5 a factor of y?
False
Let a be 56/8 + (-1)/1. Suppose -6*t = a*t - 1008. Does 10 divide t?
False
Let q(p) = 51*p**2 + 29*p + 4. Is 10 a factor of q(-2)?
True
Suppose 7*n - 1875 = 232. Let t = 600 - n. Is t a multiple of 23?
True
Let b(f) = f**3 + f + 1. Let r(h) = 7*h**3 - 4*h**2 + 5*h + 8. Let x(m) = -5*b(m) + r(m). Is x(4) a multiple of 4?
False
Does 16 divide 288/40*(-60)/(-9)?
True
Suppose -3*b + 821 + 547 = 0. Is b a multiple of 12?
True
Suppose 5*g - 11 = 14. Suppose k - 12 = 3*c, -k - g*c - 20 = 4*k. Suppose -4*f + 4*j - 2*j + 146 = k, 5*f + 3*j = 177. Is 18 a factor of f?
True
Let p(g) be the first derivative of g**6/120 + g**5/6 + 7*g**4/24 + 5*g**3/6 + g**2/2 - 6. Let x(q) be the second derivative of p(q). Is 11 a factor of x(-9)?
False
Let f = 7 - 11. Let c be 1*(f - 2)/(-1). Suppose x = -c + 40. Does 17 divide x?
True
Let p(h) = h + 27. Let c be p(9). Let s = c - 16. Does 5 divide s?
True
Suppose 3*i + 3 = 0, 5*i = -5*o - 0*i + 260. Let w = o + -24. Is w a multiple of 9?
False
Let j(h) be the third derivative of h**8/6720 + h**7/504 - h**6/90 - h**4/8 + 4*h**2. Let i(q) be the second derivative of j(q). Is 4 a factor of i(-6)?
True
Let w = -182 + 307. Suppose -j + 4*u = -w, -j + 6*j = 3*u + 557. Is j a multiple of 7?
False
Suppose n - 2*k = 20, 3 = -2*n - 5*k - 2. Suppose -6040 = -n*c - 10*c. Does 22 divide c?
False
Let v(g) = -3 + 20*g - 31*g - 16*g. Is 35 a factor of v(-4)?
True
Suppose -8*g + 5*a = -5*g - 715, 5*g - 1203 = -3*a. Does 16 divide g?
True
Let f(g) be the first derivative of -3*g**2/2 + 8*g - 5. Let t be f(7). Let q = t - -15. Does 2 divide q?
True
Suppose 6*a - a - 3*p - 31 = 0, 4*a - 4*p = 20. Suppose -2*i + a = -2. Suppose 0 = -3*z - d + 35, i*z + d - 24 = 35. Is 4 a factor of z?
True
Let i(y) = -2*y + 0*y - 22 + 4. Let q be i(-10). Suppose -c = 2*z - 5*z + 78, 45 = q*z - 3*c. Does 5 divide z?
False
Suppose 2*h = 10*s - 5*s + 41, 5*h = -4*s + 152. Does 7 divide h?
True
Let u(j) = -16*j**2 + 3*j + 4. Suppose -5*a = 24 - 4. Let g be u(a). Is 6/10 - g/10 a multiple of 11?
False
Let y be ((-6)/(-24))/((-2770)/(-1384) - 2). Let o = y - -23. Is o a multiple of 28?
True
Suppose d - 3 = -0. Suppose -3*k = 4*m - 1, -3*m = -k - d*k - 7. Is m/2*49*2 a multiple of 12?
False
Let k(p) be the second derivative of -1/20*p**5 + 3*p**2 - 13/12*p**4 - 13/6*p**3 + 0 - 6*p. Does 7 divide k(-12)?
False
Let c = 115 - 208. Let o = 143 + c. Is 9 a factor o