Let k be (-7258)/(-18) + 6 + 336/(-54). Let w = k - 138. Is w a multiple of 53?
True
Let t(d) = -181*d - 22 + 71*d + 16. Let x be t(3). Let y = -170 - x. Is y a multiple of 7?
False
Suppose 0 = -w + 2*w + i + 3, 3*i - 9 = 0. Let r be (-3)/w + 615/(-2). Let z = -144 - r. Does 27 divide z?
False
Let x be (-8 - (-9368)/(-16))/(2/(-4)). Suppose 5*l + 3*y - 1983 = 0, 4*l - x = l + y. Is l a multiple of 6?
True
Let d(h) = 2*h**3 + 5*h**2 - 5*h + 32. Let a be d(-7). Let m = -162 - a. Is 21 a factor of m?
False
Is 10 a factor of (-4464)/(-27)*63/168?
False
Let i = 10403 + 3625. Is i a multiple of 12?
True
Suppose -13*y - 65817 = -2*g - 12*y, -3*g - y = -98728. Does 14 divide g?
False
Suppose 0 = 9*a - 35 + 8. Let k be ((4 - 10)/(-6))/(1/a). Suppose r = -5*i + 32 + 240, 2*r - k*i = 479. Does 20 divide r?
False
Suppose -s + 10*l - 12*l + 1025 = 0, 2*s + 5*l - 2050 = 0. Suppose c + 4*c - 5105 = -5*j, c + 5*j - s = 0. Is c a multiple of 17?
True
Let w(p) = 12 + 7*p + 14 - 9 + 7. Let x(b) = -22*b - 72. Let j(v) = 16*w(v) + 5*x(v). Does 3 divide j(0)?
True
Let t = 5015 + -3156. Is 6 a factor of t?
False
Suppose -p = -0*p - 164. Let k = 28 + p. Let f = k + -132. Does 30 divide f?
True
Let q(a) = -2*a + a - 3*a + 12. Let b be q(5). Does 12 divide (69/2)/((-4)/b)?
False
Suppose 9*w = w + 240. Let d be -35*1*(w - 32). Suppose -g = g - d. Is g a multiple of 7?
True
Let c be (-2)/(-3)*3 - -1. Suppose -2*m - 4*k + 12 = -0*m, c*m = -2*k + 14. Suppose m*q - q - 662 = o, 2*o = 3*q - 661. Is q a multiple of 13?
True
Suppose -13*q + 11*q + 1106 = 0. Let t = 962 - q. Is 12 a factor of t?
False
Suppose 22760 = 16*a + 2936. Does 21 divide a?
True
Let l(p) be the second derivative of 37*p**6/360 - p**5/40 + p**4/12 + p**3/2 - 8*p. Let t(a) be the second derivative of l(a). Is t(2) a multiple of 16?
True
Let r(o) = 306*o**2 + 160*o - 710. Does 19 divide r(4)?
True
Suppose -3*l + 10 = -4*r, 6*l - 55 = l - r. Does 16 divide ((-64)/l)/(2/(-15))?
True
Suppose -2*z + 2090 = 3*z - 5*y, 0 = -4*z + 3*y + 1673. Suppose -5*c - z = -3*g, -c - 145 = 4*g - 719. Let x = -99 + g. Is 22 a factor of x?
True
Let d(f) = -14*f - 35. Suppose -w = 3*k + 21, -18 - 9 = 5*k - w. Let r be 27/(-2) - k/(-12). Is d(r) a multiple of 23?
True
Suppose -8*y + 12 + 28 = 0. Suppose -5*r + 105 = -2*o, y*r - 3*o - 85 = 20. Does 3 divide r?
True
Let d be (-427)/(28/4 + -6). Suppose v + v + 4*q - 1240 = 0, 0 = 2*v - 4*q - 1280. Let x = d + v. Is 22 a factor of x?
False
Let h = 35796 - 25324. Is 136 a factor of h?
True
Let t(u) = u**2 - 82*u - 2850. Does 11 divide t(-35)?
False
Let k(h) be the first derivative of -7*h**5/60 - 9*h**4/8 + 4*h**3 - 7. Let z(m) be the third derivative of k(m). Does 11 divide z(-9)?
True
Let h(s) = 10*s + 5. Let g(j) = -j**3 + 9*j**2 + 22*j + 1. Let f be g(11). Does 15 divide h(f)?
True
Suppose 2*u + 14 = 0, -5*u - 21706 + 111516 = 5*j. Does 119 divide j?
True
Suppose 10 = 7*l - 2*l + i, 5*l - 3*i = 10. Suppose -l*x = -120 - 674. Is x a multiple of 78?
False
Let i = -183 + 350. Let r = 562 - i. Suppose -15 = -u + 2*s + 64, -3*s - r = -5*u. Is 27 a factor of u?
False
Let h(r) = -15 + 41*r - 25 + 47*r - 96*r + 4*r**2. Is h(14) a multiple of 35?
False
Let z be ((-15)/(-5))/(3 - 160/50). Let t(l) be the second derivative of l**5/20 + 7*l**4/6 - 10*l**3/3 + l**2/2 - l. Does 19 divide t(z)?
True
Let b = 755 - 401. Suppose k + 132 = 3*k - 4*w, 5*k - b = 2*w. Is k a multiple of 66?
False
Let k(c) = 121*c + 22. Let y(m) = -2*m + 38. Let t be y(18). Is 8 a factor of k(t)?
True
Suppose -5*g + 29 = 3*f, -5*f + 8*f = g + 5. Suppose 5*n - 10*q - 425 = -5*q, g*n + 4*q - 308 = 0. Is 9 a factor of n?
True
Suppose 0 = 2*b - 4*h + 14, 0 = -4*b + 3*h - 13. Does 7 divide -39*b*16/3?
False
Let o(p) = 72*p**3 - p**2 - 9*p + 8. Suppose -12*b = -6 - 6. Is 7 a factor of o(b)?
True
Let m = 24 - 19. Suppose -10 - m = -5*i, 4*c = -4*i + 2572. Suppose -8*y = -c + 120. Does 13 divide y?
True
Let y = 399 + -220. Suppose 48 = 3*w + 2*g - y, 5*w + g - 390 = 0. Is 24 a factor of w?
False
Suppose 5*b - 52 = 2*r - 21, 4*b + r = 17. Let m(z) = -z**2 + 7*z - 2. Let w be m(b). Let k(y) = 2*y**2 - 6*y - 12. Is 17 a factor of k(w)?
True
Let i(r) = r**2 + 6*r - 37. Let d be i(9). Suppose -d = -j + 20*z - 18*z, 2 = 2*z. Does 11 divide j?
False
Let g(p) = p**3 - 23*p**2 - 45*p + 16. Does 23 divide g(26)?
True
Let v = -1489 + 2736. Suppose -4738 = -9*m + v. Is 19 a factor of m?
True
Let c be -7 + (0 - -1) + 0. Let l(r) be the third derivative of -17*r**4/24 - 83*r**3/6 + 6316*r**2. Does 19 divide l(c)?
True
Suppose 39 + 3 = 3*m. Suppose m*v = -3*v + 9180. Does 18 divide v?
True
Suppose 0 = -39*y - 53 + 287. Suppose -5027 = -y*f + 1189. Does 49 divide f?
False
Suppose -46*u - 45 + 505 = 0. Suppose -u*o = 43*o - 19716. Does 8 divide o?
False
Let q = -196 - -112. Let h = 55 - q. Let j = h + -63. Is j a multiple of 16?
False
Let x(m) = 43*m**3 + 69*m**2 + 4*m - 22. Does 7 divide x(5)?
True
Suppose 74*r - 210358 = 291658. Does 32 divide r?
True
Let n be (-12)/16 + 726/8. Suppose -n = 2*h - 226. Does 17 divide h?
True
Let x(z) = -2*z**2 - 6*z + 14. Let v be x(-6). Let o be v/(-6) - ((-60)/18 - -4). Suppose o*l - 57 - 12 = 0. Does 3 divide l?
False
Let b(t) = t**3 + 19*t**2 + 7*t + 15. Does 4 divide b(-17)?
False
Let l(n) = 437*n**2 + 27*n + 213. Does 8 divide l(-6)?
False
Suppose -4 = -g - 0. Suppose 4*t + 59 - 70 = 3*h, -4*t = h + 25. Is 8 a factor of (g + h)*-10 + -2?
True
Suppose -16*q - 26*q + 130449 = -166029. Does 13 divide q?
True
Let z be (-6)/5*(-5)/2. Suppose o + 4*y = 50, -4*o + o + 114 = z*y. Is o a multiple of 11?
False
Let t(i) = 4*i**2 + 24*i + 743. Is 25 a factor of t(-61)?
False
Let k(p) = -1597*p + 45. Suppose -4*s - 19*z + 12 = -23*z, 3*z + 14 = -2*s. Is 16 a factor of k(s)?
False
Is 145 a factor of (-2)/(-2)*2/4*8870?
False
Let a(y) = 27*y**3 - 4*y**2 + 5*y - 13. Is a(3) a multiple of 139?
True
Suppose -1310 = -5*y - 4*h - 52, 5*y = 4*h + 1282. Let w = y - 51. Does 12 divide w?
False
Suppose -5*f + 304 - 5 = -3*w, -4*w - 5*f - 352 = 0. Let y = 149 + w. Is y a multiple of 7?
True
Let d = -3086 + 4431. Is d a multiple of 5?
True
Suppose 0 = -2*r - 4*w, -1 - 1 = -r - w. Suppose 0 = -r*b, -k + 13 = 4*b - 77. Is 24 a factor of k?
False
Let d(i) = -4*i + 82. Let j be d(21). Is 11 a factor of 245/49 - (-2 - j - 83)?
True
Suppose 9*m - 5258 = 20*m. Let v = 907 - m. Is v a multiple of 14?
False
Let d be 48/(-28) + (-2)/7. Is 19 a factor of 1/((-6)/(-192) + 0/d)?
False
Suppose 2988 = 4*g + 2*s, 5*s + 141 = 5*g - 3549. Does 4 divide g?
True
Let v(k) be the third derivative of k**5/60 - k**4/24 - 10*k**3/3 - 30*k**2. Let a be v(6). Suppose a*m = -127 + 437. Does 19 divide m?
False
Let n(u) = 3*u - 30. Let b be n(10). Suppose b = 39*w - 37*w - 1752. Let o = -615 + w. Is o a multiple of 29?
True
Let n(b) = -30*b - 5. Let y be n(-2). Let x = y - -41. Does 2 divide x?
True
Let l be (1 - 0)*318/(-2). Let h be 30/9*l/(-2). Suppose h + 15 = 7*u. Is u a multiple of 10?
True
Suppose 5*v = -h + 38, -5*v - 4*h + 61 = 14. Let x = v - 2. Does 31 divide (-2246)/(-12) - (x/(-6) + 1)?
False
Suppose 0 = -18*z + 37*z - 7676. Suppose -11*x + 9*x + z = 0. Is 18 a factor of x?
False
Suppose -4*o - 5 = 3*d + 10, 0 = 2*o - 2*d + 4. Let z(q) = q**3 - 11*q**2 + 9*q + 5. Let f be z(9). Does 15 divide 3/(-6)*(f - (o + 1))?
False
Let m(g) = 3*g + 11*g**2 - 9 + 15 - 8*g. Let t be m(-4). Suppose -402 - t = -4*c. Is 19 a factor of c?
False
Does 66 divide 1718 + -6 - 19/(95/(-20))?
True
Let c(d) be the third derivative of -d**6/60 + d**5/20 + 88*d**3/3 + 11*d**2 + 3*d. Is c(0) a multiple of 4?
True
Let g(n) = 73*n - 439. Is g(47) a multiple of 22?
True
Suppose 2*y - 1 = 5*f, -4*y + 4*f = -7*y - 10. Let d be (0/(-2) + -2)/(y/(-69)). Let n = d - -131. Does 5 divide n?
False
Let o = 5664 + -3186. Suppose q = 15*q - o. Is q a multiple of 19?
False
Suppose -9385 = t - 9*t + 2991. Is 13 a factor of t?
True
Suppose l - 246 = -l. Suppose 5*t + 133 = 3*c, -4*c = -c - 3*t - l. Suppose -d + c = -72. Is d a multiple of 27?
True
Is 28 a factor of (-218304)/(-57) - 8*(-12)/912?
False
Let f = -839 - -3783. Does 5 divide f?
False
Let p(q) = 14554*q + 242. Is p(2) a multiple of 11?
False
Let f = 12961 - 634. Does 13 divide f?
False
Let p(z) = -z**2 + 2*z + 5. Let n be p(