) = 11*s - 536. Let k(b) = -9*l(b) + 4*m(b). Is 18 a factor of k(0)?
False
Suppose 264384 = 23*j + 45*j. Does 23 divide j?
False
Let v be 133608/9 + -5 + (-22)/(-6). Suppose 0 = -15*a + v + 4476. Is 56 a factor of a?
True
Suppose 100*q - 150 = 97*q. Suppose 4*l + q = 6*l. Is l a multiple of 15?
False
Let b(z) be the first derivative of -z**3/3 + 19*z**2/2 - 55*z + 73. Does 11 divide b(8)?
True
Suppose 49 = -a + 51. Suppose 0 = a*g - 2, 4*d - 2754 = -d - 4*g. Is 25 a factor of d?
True
Suppose 32868 = -8*o + 25*o - 98338. Does 34 divide o?
True
Let u(p) = -p**2 + 5*p + 10. Let q be u(8). Let x(w) = w**2 + 12*w - 26. Let v be x(q). Suppose -v*b + 3*b = 9. Does 3 divide b?
True
Let p be 144/42 - 4/((-56)/(-6)). Suppose -m - 2*f + 994 + 450 = 0, -5*m + 7168 = -p*f. Is 20 a factor of m/18 - 2/(-9)?
True
Suppose 1068 = 2*o - 4*c, 0 = -5*o + 3*c - 59 + 2701. Is 117 a factor of o?
False
Let j(a) = 25*a - 43 - 44*a + 28*a. Is 17 a factor of j(18)?
True
Suppose 0 = 153*x + 7*x - 20070 - 53530. Is x a multiple of 24?
False
Suppose g + 20 = 6*g. Let o(r) = 3*r**3 + 32*r**2 - 22*r - 17. Let m be o(-11). Suppose 2*s + 131 = 6*s + 5*f, g*s - m = 4*f. Is 29 a factor of s?
True
Suppose 6 + 4 = 2*d. Let y be (d/(15/6))/(-4)*-4. Is 7 a factor of 67 - y*(-3)/(-6)?
False
Suppose 3*y - 118179 = -0*y - 6*y. Is y a multiple of 24?
False
Let h(i) be the first derivative of i**3/6 + 12*i**2 - i + 15. Let l(r) be the first derivative of h(r). Is 3 a factor of l(-17)?
False
Let v(d) = d**3 + 19*d**2 + 48*d + 18. Let l be v(-15). Suppose -l = -10*n + 102. Is 5 a factor of n?
True
Let g be -1 + 480/(-14) + (-46)/(-161). Does 3 divide (-4)/(-14) + (-410)/g?
True
Suppose -7*j = -15*j + 2216. Suppose -2*t = -4*l - 129 - j, -5*t - 2*l + 955 = 0. Does 11 divide t?
False
Let v(g) = -g**2 - 17*g - 13. Let t be v(-16). Suppose -58 = t*j - 625. Suppose 2*n - j = -n. Is 21 a factor of n?
True
Let g(i) = -2*i + 14 - 29 + 6 + 12. Let u be g(-6). Suppose 0 = o - 66 - u. Does 27 divide o?
True
Let u be -3 - (-14)/(-2)*72/(-42). Suppose -u*f + f = -88. Is 5 a factor of f?
False
Let z = 4111 - 3513. Is 13 a factor of z?
True
Suppose z + 2 = 0, 0 = 4*c - c - 5*z + 254. Let w(a) = 245*a**3 + 2*a**2 - 1. Let l be w(-1). Let u = c - l. Is 39 a factor of u?
True
Suppose 0 = 2*c + 7*c - 18. Suppose -86 = -u + b, c = -2*b - 2. Is u a multiple of 12?
True
Let q(k) = -k + 30. Let u be q(28). Suppose -u*i - 3*d + 582 = 0, 0*d - 1429 = -5*i - d. Suppose -4*f + 3*m = -i, 3*m = -m - 12. Is 6 a factor of f?
False
Suppose 22*g = 23*g + 1556. Let p = g - -2232. Suppose 0 = -j + 4*j - 12, 4*b - p = -3*j. Is b a multiple of 19?
False
Let x be (-10278)/(-10) + 12/10. Suppose 5*j = 3*p + x, p + 248 = j + 41. Does 5 divide j?
False
Suppose -3*x + 22 = -4*d - 2, 5*x + 5*d = 40. Suppose -2*z - 1106 = -5*s, 5*s = -x*z + 5*z + 1116. Does 10 divide s?
False
Suppose p = r, p - 3*r + 0 + 6 = 0. Suppose -3*c + b + 895 = 0, p*c - 362 = -5*b + 545. Is c a multiple of 16?
False
Let o(x) = -17*x - 67. Suppose y - 3*j + 4*j + 10 = 0, 2*y = j - 11. Does 8 divide o(y)?
False
Let g = 2797 + -807. Suppose 18*j = -694 + g. Does 8 divide j?
True
Suppose 4*a = -5*u + 121720, 39*a - 121720 = -5*u + 38*a. Does 136 divide u?
True
Suppose 2*f = 2*w - 2, -3*w - 16 = -5*f - 15. Suppose 0 = -w*b + z + 842, -3*z - z - 1408 = -5*b. Is b a multiple of 14?
True
Let m = 186 + -23. Let q = m - -21. Does 27 divide q?
False
Suppose -312800 = -12*u - 4*o, -16567 = u - 4*o - 42651. Is 206 a factor of u?
False
Suppose 2*r + 0*c = -c + 13, -r - c + 7 = 0. Suppose -m = r*m - 7. Is 1/(((-208)/70 - -2) + m) a multiple of 7?
True
Let k(y) = 27*y + 47. Let n(q) = 27*q + 46. Let c(h) = 7*k(h) - 6*n(h). Is 20 a factor of c(17)?
False
Let h(l) = l**2 + 5*l + 5. Let j be h(-2). Let m be (155 - ((-4)/(-2) - j)) + 0. Let s = m - 72. Is 8 a factor of s?
True
Is 13 a factor of (-1285557)/(-561) + (50/(-11) - -4)?
False
Let r(f) = -f**2 + 8*f + 86. Let h be r(14). Suppose 1326 = 2*n + h*q, -3*q + 1318 = 2*n - 5*q. Is 22 a factor of n?
False
Is 36 a factor of (305/915)/(897338/448668 - 2)?
False
Let h = 59 + -54. Suppose -h*u = -8*u + 234. Suppose -7*n - u + 400 = 0. Does 7 divide n?
False
Let n = 244 + -242. Is (-24)/(-14)*(-105)/(-6) + n a multiple of 4?
True
Suppose h - 10080 - 226 = 3*b, -4*h = -3*b - 41206. Is 10 a factor of h?
True
Let s(r) = -r**3 + 10*r**2 + 14*r + 6. Let u be s(6). Suppose -2*w - 8*j + 5*j = -u, -4*w + 476 = 2*j. Is w a multiple of 10?
True
Suppose -2 = -2*o - 6. Let j be (-3*24 + -3)*(-1)/(-1). Is 8 a factor of ((-240)/j)/(o/(-5))?
True
Suppose -6*p + 4*p = 16. Let l be (-10)/40 - 26/p. Does 30 divide (l - (-62 - -1))*2?
False
Let i(n) = -17*n**2 + 11*n + 8. Let a be i(7). Let b = -722 - a. Is b a multiple of 3?
False
Let m(g) = 17*g**2 - 16*g + 24. Let h = 455 + -451. Does 29 divide m(h)?
True
Suppose -3*b = 11 - 35. Suppose -b = -2*k + 3*r + 11, 23 = 4*k - r. Suppose -48 + 188 = k*n. Is n a multiple of 7?
True
Let l(y) = 4*y**2 - 24*y - 12. Let g = 216 - 204. Is 23 a factor of l(g)?
True
Let o = 2837 + -2706. Is o a multiple of 3?
False
Suppose -p - 3*d + 19 = -8*d, 4*p - 25 = 3*d. Suppose -4*y + p*w = -868, -44*w = -49*w + 5. Does 17 divide y?
False
Let i(m) = 2001*m - 135. Does 61 divide i(4)?
True
Let c = 165 - 488. Let m = c + 460. Does 34 divide m?
False
Is (-7 - 100820/(-32)) + (-15)/(-40) a multiple of 6?
True
Suppose 101 + 34 = 45*l. Suppose -3*t = -2*h + 756, -l*h - 2*h + 1924 = t. Does 32 divide h?
True
Does 12 divide (((-6)/5)/(729/42525))/(1/(-636))?
True
Let l = -13192 + 14728. Does 4 divide l?
True
Let r(b) = b - 4. Let t(y) = -y**2 - 8*y - 6. Let n be t(-6). Let o be r(n). Suppose -400 = -o*d - 4*c, 2*d - 7*c = -2*c + 418. Is 27 a factor of d?
False
Let v = -557 + 198. Let q = 647 + v. Is 36 a factor of q?
True
Let x(f) = -68*f**2 + 13*f - 18. Let c be x(3). Is -3 - (-9 + -1) - c a multiple of 13?
True
Let n(p) = -5*p**3 + 2*p**2 + 5*p + 2. Suppose 0 = -2*m + 6*m. Suppose -2*z - 4*b = 6, m*z = -4*z + 5*b - 12. Does 20 divide n(z)?
True
Suppose 0*y = -4*y - 5*d + 5, 3*y = 5*d - 5. Suppose 0 = f + 3 - y, 3 = -2*i - f. Is 0 + 30/((-12)/(-16) - i) a multiple of 10?
True
Let z(u) = -10*u - 24. Let c(h) = -3*h - 8. Let q(x) = 21*c(x) - 6*z(x). Let a be q(-9). Suppose a*n - 321 = -3*t, 39 = -2*n - 3*t + 248. Is 16 a factor of n?
True
Let r be 5440/(-130) - (-1)/((-13)/2). Let w = r - -52. Suppose -3*v - 196 = -w*v. Does 4 divide v?
True
Let g be 5220/5*8/6. Is g/(-28)*14/(-4) a multiple of 29?
True
Let d be (-6)/(-9) - 7/(-3). Let b be 92 - (-4)/(-6)*d. Suppose 6*l - l = b. Is l a multiple of 15?
False
Let p(l) = -l**3 + 20*l**2 - 51*l + 6. Let c be p(17). Suppose -1300 = -c*m - 7*m. Is m a multiple of 25?
True
Does 9 divide (-31 + 215/7)/((-4)/1246)?
False
Let b(p) = 13*p - 78 + p**2 + 78. Does 54 divide b(14)?
True
Does 45 divide 6/(-4) + ((-491448)/(-48) - 3)?
False
Suppose -3*r + 4*t = 1752 - 29084, -36434 = -4*r + t. Suppose -22*v = -0*v - r. Is v a multiple of 18?
True
Suppose -h + 10*t - 13*t = -4726, 0 = 4*h + t - 18904. Is 19 a factor of h?
False
Suppose -1522 = -z + 3*q + 3451, -2*z + 3*q + 9949 = 0. Is 16 a factor of z?
True
Suppose -5*k + 3*h - 12 = -157, -4*k + 5*h + 103 = 0. Suppose 0 = -7*i + 6*i - 2. Does 4 divide 9/(i + 68/k)?
True
Does 34 divide (-9)/(54/84) + 2762?
False
Does 11 divide ((-10720)/(-14))/((-8)/(-28)) + 3 + 1?
True
Suppose 6*z - 160 = 16*z. Let a be 1*(-4)/(-10)*(9 - z). Suppose a*f - 266 = 204. Is f a multiple of 20?
False
Suppose -3*r + 1 - 3 = -4*f, 2 = -3*f + 4*r. Suppose q - 5*q + 3*a = -2157, -5*a = -f*q + 1075. Does 20 divide q?
True
Suppose -293*o = -485309 - 278287 - 13332634. Is o a multiple of 11?
False
Let h = 95 + 3622. Suppose h = 12*a - 867. Does 14 divide a?
False
Suppose -10542 - 89967 = -21*d + 627. Is 86 a factor of d?
True
Let x(q) = 93*q + 2134. Is x(10) a multiple of 63?
False
Let j = 73900 + -26833. Is 67 a factor of j?
False
Let f(i) be the second derivative of 1/3*i**3 + 0 - 21*i + 8*i**2. Does 2 divide f(-6)?
True
Let m(q) = 404*q**2 + 25*q - 45. Is m(4) a multiple of 23?
False
Let p(t) = 2*t - 16. Let r be p(10). Suppose r = d - 3*d. Let w(m) = -13*m - 4. Is w(d) a multiple of 13?
False
Suppose 0 = 3*v - 5*w + 336, -5*w + 62 + 167 = -2*v. Let a = -113 + 252. Let 