s 60 a factor of r(a)?
False
Let k = -13 - -3. Let m(n) = -15*n + 32. Let l be m(k). Let i = l + -84. Does 14 divide i?
True
Suppose 536*w - 548*w + 6455 = -1477. Does 46 divide w?
False
Let y(n) = n**2 - 20*n - 22. Let v be y(25). Let p = v + 170. Does 21 divide p?
True
Suppose 0 = 2*u - 73 - 31. Suppose -2*b + 258 = -u. Suppose 0 = -2*d + 571 - b. Is 26 a factor of d?
True
Let k(o) = -36*o + 2822. Is k(-48) a multiple of 50?
True
Let m = 1961 - 1766. Suppose 379 = -4*x - 145. Let b = m + x. Is 16 a factor of b?
True
Let p = -19 + 19. Let q be (-2 - 8)*((-261)/(-45) + -7). Suppose 4*c + q = p, -i = -2*c + 5*c - 63. Is 7 a factor of i?
False
Does 54 divide ((-29035840)/125)/(-16) + 4/50?
False
Let m(o) be the third derivative of -3*o**4/2 - 16*o**3/3 + 12*o**2. Is 11 a factor of m(-7)?
True
Suppose 14 = 18*t - 238. Suppose -17*x + 399 = -t*x. Is 6 a factor of x?
False
Let u(y) = -319*y**3 - 2*y**2 + 4*y + 5. Suppose 0 = 42*w - 50*w - 8. Is u(w) a multiple of 22?
False
Let r(g) = -2*g**2 + 208*g - 17. Is r(51) a multiple of 14?
False
Suppose 3*h = 5*y - 3554, 3*y + h - 1556 - 582 = 0. Suppose 0 = -72*o + 74*o - y. Does 13 divide o?
False
Let h(b) = 46*b**2 + 1501*b - 24. Is h(-33) a multiple of 2?
False
Let f(k) = 99*k + 9. Let o(u) = 198*u + 17. Let q(s) = 7*f(s) - 3*o(s). Does 19 divide q(5)?
False
Let b = 7859 + 13383. Is 57 a factor of b?
False
Let j(x) = 5*x**3 - 6*x + 4. Let c(s) = -4*s**3 + s**2 + 5*s - 3. Let w = -28 - -25. Let m(o) = w*j(o) - 4*c(o). Is 15 a factor of m(5)?
True
Let h(g) = -g**2 - 6*g + 5. Let y be h(-7). Let v be ((-1)/(-2))/(1*y/(-36)). Suppose 5*n - 4*m - 220 = 0, -2*n + 4*m + 85 = v. Is n a multiple of 12?
True
Is (-14)/(-98) + (-429300)/(-70) a multiple of 49?
False
Let k(g) = -11*g + 2*g**3 - 224*g**2 + 10 + 207*g**2 - 4*g**3. Is k(-10) a multiple of 30?
True
Let u(k) = -44*k - 22*k - 8*k + 4. Let b be u(1). Let q = 170 + b. Does 20 divide q?
True
Does 16 divide (5*4848/180)/((-4)/(-144))?
True
Let d = -1603 + 3022. Is d a multiple of 129?
True
Suppose 7*y = 6*y + 529. Let x = 908 - y. Is 8 a factor of x?
False
Let j(m) = -m**3 - 48*m**2 + 75*m + 168. Let d(t) = -t**2 - 1. Let x(c) = d(c) - j(c). Does 47 divide x(-48)?
False
Suppose -12*m - 218 - 298 = 0. Let k = m + 64. Does 6 divide (-6)/(-2) + (k - -9)?
False
Suppose -i - t - 155 = -1477, 3*i - 4*t - 3959 = 0. Is i a multiple of 10?
False
Suppose -9*i - 34314 = -14*i + 3*x, 0 = 5*i - 5*x - 34310. Is i a multiple of 104?
True
Let y = 137 - 67. Let w = 175 - y. Is w a multiple of 21?
True
Let h(u) = 894*u**2 + 7*u + 7. Let w be h(-1). Suppose -4*j + w = a - 2*j, 2*a - 1791 = -5*j. Is 28 a factor of a?
False
Suppose 4*z = 3*b + 1273, -z - 19*b = -14*b - 347. Let l = -119 + z. Is 29 a factor of l?
True
Let d = 11041 + -8377. Is 37 a factor of d?
True
Let f be ((-7526)/212)/(5/6 - 1). Let x = 19 + f. Does 29 divide x?
True
Suppose -385809 = -72*h - 78225. Is 9 a factor of h?
False
Suppose 91200 = -105*s + 124*s. Is 6 a factor of s?
True
Let n = 126 + -231. Let z be (15/5)/(-3)*1. Is n/(-7) + z + 0 a multiple of 14?
True
Suppose 0 = 15*b + 30 - 0. Let o(l) be the first derivative of -27*l**2/2 - 1. Is o(b) a multiple of 5?
False
Let x(q) = -14*q**3 - q**2 - 20*q - 298. Is x(-11) a multiple of 20?
False
Suppose -84*c + 6606 = -82*c - 2*q, -c = -3*q - 3297. Is c a multiple of 58?
True
Let s be (-1)/(4/(-2326))*2. Let c = -683 + s. Is 15 a factor of c?
True
Suppose -m = 3*m - 32. Let g(b) be the third derivative of b**5/12 - 3*b**4/4 + 8*b**3/3 + 3025*b**2. Is 10 a factor of g(m)?
False
Suppose 8625*y - 17509 = -4*d + 8624*y, -13152 = -3*d - 3*y. Is 14 a factor of d?
False
Let m(a) = a**3 - 11*a**2 + 9*a + 38. Is 7 a factor of m(17)?
True
Let o = -20 - -35. Suppose -o = i - 4*i. Suppose i*h = 451 - 126. Is h a multiple of 13?
True
Let i(r) = 3*r - 11. Let b be i(3). Let w be 4 + -1 + 3 + b. Suppose 0 = -4*u - 5*j + 217, -w*u - u + 4*j + 302 = 0. Is u a multiple of 5?
False
Suppose 14*k - 219 - 761 = 0. Is k a multiple of 3?
False
Let m(z) = -5*z + 27. Let c be m(6). Let u(f) = -41*f + 16. Does 4 divide u(c)?
False
Suppose 204*p - 913220 = 64*p. Is p a multiple of 58?
False
Let k be 4/(-22) + 4732/11. Suppose -6*m + k - 58 = 0. Suppose -4*w - 95 = -2*d + 37, -4*w - m = -d. Does 18 divide d?
False
Let a(i) = -i**2 + i + 5. Let u be a(4). Let d(y) = -y**2 - 8*y + 22. Let n(g) = g**2 + 9*g - 23. Let x(b) = 3*d(b) + 2*n(b). Does 3 divide x(u)?
False
Suppose -13860 = -18*q + 45954. Is 32 a factor of q?
False
Suppose 10*q + 3*a + 13479 = 13*q, 0 = -4*a - 20. Is q a multiple of 24?
True
Suppose 5*w - 45 = 6*w - t, -3*w + t = 139. Let s(p) = -p**2 + 16*p + 16. Let k be s(10). Let g = k + w. Is 26 a factor of g?
False
Let z = 41 - 39. Suppose -z*d + f + 0*f + 267 = 0, 2*f = 10. Is d a multiple of 49?
False
Suppose -3*p + 3*n = -27, 4 = -p - 2*n + 13. Let w(z) = 3*z - 20*z**2 - p*z**2 + 4 + 31*z**2. Does 9 divide w(4)?
False
Let y = 3214 + -1694. Suppose 26*d - 34*d = -y. Is 38 a factor of d?
True
Let g = 7289 - 4635. Is 8 a factor of g?
False
Let u be ((-123)/12 - 4)/(3/12). Let x = u - -121. Does 21 divide x?
False
Suppose 90*c = 87*c - 55*c + 2485242. Does 42 divide c?
False
Let w = -9 + 13. Let u(o) = -5*o. Let t(a) = -6*a - 1. Let g(j) = -5*t(j) + 5*u(j). Is 5 a factor of g(w)?
True
Let i(v) be the third derivative of v**7/840 + v**6/144 + v**5/40 - v**4/12 + 17*v**2. Let t(y) be the second derivative of i(y). Is 5 a factor of t(-3)?
True
Let l = -16313 + 24856. Does 20 divide l?
False
Let a be (-2)/(-10) + (-752)/(-40). Let r = 23 - a. Suppose 0 = -r*h + 9*h - 115. Is h a multiple of 8?
False
Suppose -2*n = 2*n - 4. Let r be 17 - (4/n - 8). Does 6 divide (44/7)/(6/r)?
False
Let j(h) = -13*h + 5. Let c be j(-6). Suppose -150 = 5*k - r, 0 = -k - 2*k + 2*r - c. Let i = -23 - k. Does 3 divide i?
False
Suppose -s - 4*f = -5738, 2*s + 4224 = -4*f + 15700. Is 38 a factor of s?
True
Does 101 divide (14864/(-32) - 6)*-100?
False
Suppose -491 = 11*p + 939. Let c = -37 - p. Is 31 a factor of c?
True
Let y(w) = 2*w**2 + 4*w + 2. Let i be y(4). Let x = i - 38. Suppose 9*o = x*o - 297. Is o a multiple of 32?
False
Suppose -j = n - 5 - 4, -3*j + 15 = 0. Let x(h) = -5*h**2 + 14*h**2 - n*h + 10 - h**3 - 13. Does 15 divide x(4)?
False
Let i(w) = -w**3 - w**2 + w + 2. Let v be i(-2). Let u = 13 - v. Is -9 - -13 - u*-7 a multiple of 22?
False
Is 31 a factor of (-19)/((-171)/(-54))*-1302?
True
Let k(n) = 5*n**2 + n - 16. Let u(f) be the third derivative of -11*f**5/60 - f**4/8 + 11*f**3/2 - 6*f**2. Let h(y) = 9*k(y) + 4*u(y). Is h(8) a multiple of 7?
True
Let f = 20564 - 15420. Does 40 divide f?
False
Suppose 9155*j - 9162*j = -240107. Is j a multiple of 24?
False
Let g = -274 - -176. Does 19 divide (5 - g/(-21))/((-2)/(-342))?
True
Suppose -3*y = 206 - 731. Suppose -3*u - y = 2*u. Let p = 47 + u. Is 9 a factor of p?
False
Suppose -23575 = -5*w - 5*y, 7*w - 3*w - 18868 = 4*y. Does 114 divide w?
False
Suppose 0 = -4*p + 407*s - 411*s + 4060, -5096 = -5*p + 2*s. Is p a multiple of 92?
False
Suppose -1940 = -3554*r + 3553*r. Is r a multiple of 20?
True
Let i(a) = -a**3 + 22*a**2 + 15*a - 35. Let q(t) = 8*t - 10. Let r be q(4). Does 6 divide i(r)?
False
Let k be 13*(-44)/16*-4. Suppose -265 - k = -4*z. Let x = z + 167. Does 45 divide x?
False
Let m(g) = 2*g + 12. Let i(f) = -f**2 + 8*f + 12. Let p be i(9). Let w be m(p). Does 9 divide 4/w*134 - 8/(-36)?
False
Let r = 298 - 278. Does 57 divide r*12/48 + (-52)/(-1)?
True
Suppose -3*g + 2*b + 1388 = 0, -328 - 116 = -g - 4*b. Suppose -136 = 3*c - g. Is c a multiple of 18?
True
Is 102 a factor of (6 - -5 - 14) + 1554?
False
Let w(l) = 4*l - 22. Let m be w(12). Suppose m*r - 1446 = 504. Is 5 a factor of r?
True
Let c = 240 + -237. Is (1 - c)*(-413 + 4) a multiple of 21?
False
Is (-36)/1098 + (-223575)/(-305) a multiple of 2?
False
Let k be 1/(-2)*(-133 - 1). Suppose 6*o = -237 - 279. Let c = k - o. Does 51 divide c?
True
Let c = -127 + 124. Let l be 18/4*2/c - 1. Is l/5 + (-1636)/(-20) a multiple of 10?
False
Let u = 74 + -46. Does 26 divide (-14)/u + (-1030)/(-4)?
False
Suppose -g - 8 = -5*l, l + 3*l = -g + 1. Let n be -1*(1 - l)/(4 + -2). Is 2 a factor of 81/9 - (-2 - n)?
False
Let d(a) = -2*a**2 - 39*a - 33. Let l be d(-17). Suppose -902 = -5*p -