 5*s**2. Let j be a(-14). Let n = j - -26. Is n a multiple of 23?
False
Suppose -6*s - 12 + 6 = 0. Let j(f) = -55*f**3 + 2*f**2 + 5*f + 2. Is j(s) a multiple of 9?
True
Suppose 60*p - 101 = 10459. Is p a multiple of 18?
False
Let n(p) = p**3 - 12*p**2 + p - 2. Let x be n(12). Let j(g) = -3*g**3 + 4*g**2 + 4*g**3 - 4 + 9*g - x*g**2. Is j(6) a multiple of 10?
True
Let d(w) = -294*w**2 + 5*w - 11. Let q = -85 - -88. Let m be d(q). Is m/(-42) + 28/294 a multiple of 6?
False
Suppose 3*j - 400*f = -402*f + 3220, 4*j + f = 4305. Does 2 divide j?
True
Let z = -126 + 137. Suppose -z - 73 = -3*f. Is 3 a factor of f?
False
Let m(k) = -k**3 - k**2 + 36. Let w be m(0). Let i = -120 - -485. Suppose -41*h + w*h = -i. Is h a multiple of 13?
False
Let p be 4437/348*(-4)/(-3). Let k be 2 + 9 + (0 - 0). Suppose -k*r + p*r = 270. Is r a multiple of 11?
False
Let y = 3844 + -1241. Is y a multiple of 19?
True
Let j = -8 - -1888. Suppose 690 + j = 5*r. Is 12 a factor of r?
False
Let r = -222 - -460. Suppose 4*g - 384 = -5*b, -3*g - 3*b + r = -47. Let f = 165 - g. Does 17 divide f?
False
Let b(u) = 7*u - 21. Let o be b(3). Suppose o = -2*h - 2*h + 84. Does 4 divide h?
False
Let n(l) = -l**3 - 11*l**2 - 34*l - 20. Let a be n(-6). Let s(u) = u + 2. Let w be s(0). Suppose -w*p + 2 = -p - 3*o, 0 = -4*p - a*o + 72. Does 3 divide p?
False
Let f(i) = i**3 - 23*i**2 - 23*i - 13. Let u(x) = 6*x**2 + 6*x + 2. Let k(z) = -2*f(z) - 9*u(z). Is 19 a factor of k(-4)?
False
Let o be (4/3)/((-1)/3). Let v be 0*(-2)/(o*2/4). Suppose v = d + 9*d - 200. Is 3 a factor of d?
False
Let s(l) = 4426*l + 36. Is 101 a factor of s(2)?
True
Does 13 divide (-5)/(765680/(-33290) + 23)?
False
Suppose -5*l + 3406 = 2066. Is 2 a factor of l?
True
Let v(k) = 4*k**3 + 5*k**2 - 9*k - 36. Is v(7) a multiple of 22?
True
Suppose 4*o - 2020 = -4*p, 4*p = -p + 4*o + 2570. Let v be (-3 - (-138)/(-18))/((-4)/p). Suppose -a + v = 9*a. Is 8 a factor of a?
True
Suppose 77*l - 574006 = 332823. Is 59 a factor of l?
False
Suppose 4*k = c - 36, -2*k - 8 = -0*k + 2*c. Let r(u) = u**2 - 6*u - 4. Let f be r(k). Suppose 0*w + w = f. Does 36 divide w?
True
Suppose 0 = 107*h - 112*h. Suppose -2*s - 336 + 836 = h. Does 17 divide s?
False
Suppose 9*j + 40 = 17*j. Suppose 2*b = -j*n + 140 + 96, 0 = n + 2. Is 6 a factor of b?
False
Let z(g) = -2*g - 4. Let f be 2/4*(-1 - 5). Let m be z(f). Suppose -x - m*a = 2*a - 8, 2*x - 10 = -2*a. Does 2 divide x?
True
Suppose -6*q + 336 = -24. Suppose -4*k = 8 - q. Suppose 294 = -10*c + k*c. Is c a multiple of 14?
True
Suppose y + 4*y = -5*b + 14275, -b + y = -2853. Does 10 divide (-54)/405 - b/(-30)?
False
Suppose 3 = -3*a - 12, 5*a - 4499 = -4*c. Let b = c + -446. Is b a multiple of 62?
False
Let w = 604 + -140. Suppose 8 = 2*b, 5*r - 3*b - 1942 = -w. Is 15 a factor of r?
False
Let k = 44475 - 24112. Is 66 a factor of k?
False
Let y be (-1 + (-9)/(-12))/(3/12). Is 228 - 1 - (y - 2/2) a multiple of 16?
False
Suppose 15 = 3*u, -k + 12*u = 7*u - 1640. Suppose -k = -8*x + 575. Is x a multiple of 7?
True
Suppose -5*u + 480 = 5*y, 2*u - 122 - 91 = 5*y. Suppose u*j - 77*j = 440. Does 2 divide j?
True
Let c(x) = x**2 + 14*x + 16. Let r be c(-13). Suppose v - 2 = 0, -r*k = 2*v + 3*v - 2203. Suppose 4*a + 3*o = -a + k, 6 = 3*o. Is 30 a factor of a?
False
Let s(w) = 38*w + 81. Let k be s(-19). Let c = 1223 + k. Is c a multiple of 60?
False
Suppose -5222 + 1354 - 10454 = -31*v. Does 11 divide v?
True
Let i(t) = -t**2 + 14*t - 5. Let v be i(6). Let z = v + -44. Is 55*(4/(-20) - z) a multiple of 22?
True
Suppose -5*o - 4*v + 129 = -5, 4*o = -3*v + 107. Suppose o*k - 2826 = 1022. Is 55 a factor of k?
False
Let s(k) = k**3 + 15*k**2 + k + 14. Let p be s(-15). Let g be 32/(-8) + (p - 1). Does 7 divide (-8)/(-12)*(-2 + 0)*g?
False
Let c = -1815 + 2903. Is c a multiple of 16?
True
Let m(w) = -2*w**3 + 2*w**2 + 5*w + 14512. Is m(0) a multiple of 56?
False
Let i(v) = v**2 - 6*v + 4. Let p = -16 + 22. Let t be i(p). Suppose -t*k + 178 + 326 = 0. Is 42 a factor of k?
True
Suppose -3*a + l + 56324 = 0, -5*a + 63*l - 60*l = -93884. Is a a multiple of 4?
True
Suppose -85 = 13*j - 30*j. Let n(z) = 10*z**2 - 3*z + 5. Is n(j) a multiple of 20?
True
Suppose -21*s = -37*s + 111360. Is 40 a factor of s?
True
Let m be 12/36 + 2/6*2453. Let l = m + -396. Is 12 a factor of l?
False
Let o(d) = -d**3 + 3*d**2 - 7*d + 15. Let q be o(-6). Let j = 578 - q. Let w = j + 3. Is w a multiple of 51?
False
Let l = 94 - 89. Suppose 0 = 3*o - l*i - 4366, 5*o - i + 2482 = 9788. Is o a multiple of 17?
True
Suppose -r = -2*o - 115, 32*r - 176 = 3*o + 27*r. Let y = 249 + o. Is 4 a factor of y?
True
Let h(d) = -4*d + 68. Let m be h(16). Suppose 2*b - 247 = 3*z, -4*z + 549 = m*b + z. Is 4 a factor of b?
False
Let u(t) = 7*t**2 - 42*t - 21. Is 33 a factor of u(-9)?
True
Let i = 5178 - 3610. Is i a multiple of 112?
True
Let z = -869 + 1757. Is z even?
True
Let d be (1/2)/((-17)/884). Let l = -21 - d. Let o(n) = 8*n**2 - 5*n - 4. Is o(l) a multiple of 19?
True
Let w(t) = 74*t - t**2 - 2 - 5 - 22*t. Let g be w(-11). Does 2 divide g/(-20) - (-1)/1?
True
Let g = -1256 + 5131. Is g a multiple of 125?
True
Suppose -15*b = 45*b - 266480 + 27320. Does 2 divide b?
True
Let n = -7 - -10. Suppose r = d - 1, 0*r + 21 = 3*r + n*d. Does 3 divide 2/7 - r/(42/(-934))?
False
Let c(s) = -366*s - 240. Is 24 a factor of c(-32)?
True
Let y(a) = -10 - 61*a**2 + 30*a**2 + a**3 + 24*a**2. Let x be y(6). Let f = x + 187. Is 21 a factor of f?
False
Suppose 27 = -4*m - 5*m. Let c(t) be the first derivative of -5*t**4/2 + t**3/3 + t**2 - 3*t - 11. Does 54 divide c(m)?
True
Suppose s - 126093 = -5*p, -5*p + 13*s + 126072 = 17*s. Is p a multiple of 10?
True
Suppose -54*j = -41*j - 45214. Does 74 divide j?
True
Suppose 5*l - 6628 = x, 4*x + 2644 = -l + 3*l. Let d = -786 + l. Is d a multiple of 46?
False
Suppose l = -r + 3572, 2*l - 4804 - 2368 = 5*r. Is 57 a factor of l?
False
Let v(j) = 7*j - 2. Let h(g) be the first derivative of g**2 + g + 3. Let q be h(5). Does 25 divide v(q)?
True
Let f = -154 + 263. Suppose 0 = -x + 4*c + 136, -8*c + 3*c = x - f. Is 10 a factor of x?
False
Let y(n) = -n**3 + 43*n**2 + 15*n - 35. Is 5 a factor of y(43)?
True
Let t be (0 - -2)/(4/14). Let j(s) = s**3 - 19*s**2 - 52*s + 615. Let g be j(20). Let i = t - g. Is i a multiple of 4?
True
Suppose 3*t + 4*d = 1860, 0 = 22*t - 27*t - 3*d + 3111. Let n = 732 - t. Does 12 divide n?
True
Is 16 - (18 + (-563806)/19) a multiple of 56?
False
Let d be (-39)/(-15) - -4*(-21)/140. Let x(w) = 228*w - 8. Is 23 a factor of x(d)?
False
Let s be -317 + -5 - (-3)/1. Let v = 130 + s. Let d = -109 - v. Is d a multiple of 16?
True
Let n(p) = p + 25. Let d be n(-12). Let s(o) = -o**2 + d + 25 - 48*o + 46*o - 23*o. Does 28 divide s(-21)?
False
Let x(m) = m**2 - m + 7. Let l be x(3). Suppose -2*k + 0 = -2*f + 14, -f = -3*k - l. Suppose 2*d + i - 131 = 0, 255 = f*d + i - 6*i. Does 10 divide d?
False
Let w(u) = -u**2 - 21*u - 55. Let i be w(-4). Suppose -4*h = i*b - 11*b - 1844, 4*h - 1840 = -3*b. Does 29 divide h?
False
Suppose -3 + 4 = n. Suppose -n = -4*f + 15. Suppose -h = f, 342 = -3*j + h + 898. Is 17 a factor of j?
False
Let f(h) = 10*h**2 + 12*h + 10. Let n be f(-10). Suppose 3*y = n - 188. Suppose -7*r + y = -4*r. Does 25 divide r?
False
Suppose 0 = 3*h - 5*i - 29, -5*h - i = -22 + 11. Suppose -h*u - 9*u = -396. Does 21 divide u?
False
Let i(v) = 7*v**2 + 866*v + 5 - 862*v + 7. Let q be i(-3). Let o = q + -19. Does 11 divide o?
True
Suppose -4*m = -j - 77 + 10, -5*j = -25. Does 31 divide ((-22624)/m)/(-4) - (-10)/(-45)?
False
Let w = 88 - 91. Let n be 1 + w*(-4 - -5) + 6. Suppose 284 = n*q + 4*h, h + 0 = -1. Is 12 a factor of q?
True
Let p = 87 + -82. Let h(d) = d + 4. Let n(z) = -z - 3. Let t(k) = p*h(k) + 4*n(k). Is t(21) a multiple of 2?
False
Let z = 457 - 478. Let t = 121 + z. Is 15 a factor of t?
False
Let n(g) = 5*g**3 + 36*g**2 + 12*g + 15. Does 82 divide n(7)?
False
Let c be (-22)/77*(1 - 8). Let v(m) = 12*m**3 - 5*m**2 + 3*m + 2. Does 4 divide v(c)?
True
Suppose 0*g + 5*g + 18354 = 7*o, -4*g - 7866 = -3*o. Is o a multiple of 76?
False
Let k be (2 + 14 + 3)*-1. Let m = k - -167. Is 9 a factor of m?
False
Suppose 41*h + 229553 + 62668 = 68*h. Is h a multiple of 79?
True
Suppose -5*u - 45 = -9*i + 