. Does 29 divide (-1 - 2) + a/2?
True
Let l(y) = 15*y + 11. Let z be l(-7). Let f = 111 + z. Does 2 divide f?
False
Is 27 a factor of -2654*3/(-18)*3?
False
Let h be 6*((-1)/(-3) + 0). Let g be (-1)/h + 6/4. Is 11 a factor of (24*g)/((-2)/(-3))?
False
Suppose 5*s = 2*t + 6614, -17*s + 18*s + t - 1320 = 0. Is s a multiple of 8?
False
Suppose 8*w + 30 = 3*w. Let k = 8 + w. Suppose 0 = 3*n - 2*s - 47, -n - 4*s = -k*n + 19. Does 5 divide n?
True
Let o be (-1 + -146)*(-8)/6. Suppose a + o = 3*a. Let c = a + -50. Is 16 a factor of c?
True
Let h(f) = -f**2 - 10*f - 8. Let b be h(-8). Suppose u = 5*u - b. Is 855/10 - 1/u a multiple of 11?
False
Let y be -1*(-3 - (-72)/2). Let g = 11 - y. Does 4 divide g?
True
Is -7 - (1 - -460)*(-8 - -6) a multiple of 18?
False
Does 13 divide (-1171)/(-5) + (-11)/220*4?
True
Let n(j) be the third derivative of j**8/20160 - j**7/5040 - j**6/80 - j**5/10 - 3*j**2. Let k(y) be the third derivative of n(y). Is 7 a factor of k(-5)?
True
Let u be 2 - 1 - (-8 - -24). Let y be 5299/(-5) - (-3)/u. Is 8/28 - y/14 a multiple of 29?
False
Let l be 19 - ((-4)/(-1) + -2). Suppose 4*q - l = 43. Is q a multiple of 5?
True
Let m = -1518 + 2643. Is 56 a factor of m?
False
Suppose 641 + 1711 = 2*z. Does 84 divide z?
True
Suppose 0 = -5*o + 3*n + 80, 16 + 16 = 2*o - 2*n. Let i = 9 + -6. Suppose -i*h + o + 47 = 0. Is 7 a factor of h?
True
Let f(o) = o**2 - 12*o - 18. Let w be f(14). Let p = w - 8. Is 4 a factor of 17/p - 3/6?
True
Let d(v) = 252*v**2 + 2*v + 1. Let c be d(-1). Let y = c - 96. Suppose 380 = 5*k - 5*i, -2*i - y = -2*k - 3*i. Does 11 divide k?
True
Suppose 4*y = -u + 4*u - 224, y + 76 = u. Suppose 0*b = -5*b + u. Does 4 divide b?
True
Suppose -77 + 5 = 3*q. Does 18 divide 9/q - (-1155)/8?
True
Let b = -708 + 1270. Does 48 divide b?
False
Suppose -394 + 106 = -v. Does 48 divide v?
True
Let r(n) = -n**3 + 11*n**2 + 5*n - 15. Let f be r(11). Let g = 285 + f. Suppose 0 = 5*j - j + a - 260, 4*a - g = -5*j. Does 17 divide j?
False
Suppose 2*q + k = 5*k - 42, 5*q + 105 = 4*k. Let r = q - -27. Suppose r*a - 102 = 4*a. Does 15 divide a?
False
Let v = -325 + 473. Is v a multiple of 74?
True
Suppose 552 = 8*l - 528. Suppose l = 5*q + 35. Does 4 divide q?
True
Let h = -40 + 35. Let f = 110 + h. Does 21 divide f?
True
Suppose -29*r + 14443 + 11831 = 0. Is 6 a factor of r?
True
Let l(s) = -s**2 + 7*s - 12. Let y be l(11). Is 13 a factor of (-14)/y + 174/8?
False
Suppose -c + 17 = -101. Let l = -66 + c. Does 28 divide (-28 + 0)*l/(-16)?
False
Let b(l) = -1. Let a(k) = -10*k + 1. Let f(h) = a(h) + 4*b(h). Is 21 a factor of f(-10)?
False
Let i(l) = -2*l**2 + 2*l + 9. Let x be i(0). Suppose -161 = 2*t - x*t. Is t a multiple of 2?
False
Let q(p) be the third derivative of -p**5/60 - 13*p**4/24 + p**3 - 11*p**2. Is q(-10) a multiple of 10?
False
Suppose -1159 + 403 = -3*w. Is 12 a factor of w?
True
Does 37 divide 276/14*2 - (-15)/(-35)?
False
Suppose s = 6*s - 510. Let q = s - 18. Is q a multiple of 14?
True
Is ((-2025)/12)/((-72)/192) a multiple of 15?
True
Suppose 0 = 4*m - 0*m - f - 4351, m - 3*f = 1074. Is m a multiple of 53?
False
Let d = 2649 + -1691. Does 71 divide d?
False
Let f(i) = -i**3 - 9*i**2 + 7*i - 1. Let z be 6/21 - 144/14. Is f(z) a multiple of 29?
True
Let d(c) be the first derivative of 3*c**2 + 7 - c**2 + 10*c - 4 - 5. Is d(6) a multiple of 14?
False
Does 18 divide (-1*(-89)/(-4))/((-12)/864)?
True
Let j be (-2)/4 + 14/4. Suppose -g + 13 = -j*r - r, 5*r + 4*g = -11. Let t(u) = -6*u + 2. Does 14 divide t(r)?
False
Let p = -287 - -1277. Is p a multiple of 22?
True
Suppose 9*y - 8*y = 20. Suppose 10*d = y*d - 1690. Is 35 a factor of d?
False
Let r(m) = -m - 6. Let l be r(-5). Suppose 5*z = -5*d - 25, 3*z - d = -6*d - 21. Does 3 divide (l/2)/(z/48)?
True
Let u(f) = -4*f + 2. Let r be u(-1). Suppose -q = 2*i - 74, -r*i = -4*q - 2*i + 248. Does 16 divide q?
False
Let k(s) = s**2 - 12*s + 20. Let q be k(9). Does 6 divide (18/q)/(9/(-42))?
True
Let s(f) = 3*f + 3. Let k be s(4). Let m = 400 - 389. Suppose m*p = k*p - 40. Does 7 divide p?
False
Is 2 a factor of 8 + (9/(-11) - 8/44)?
False
Let p(l) be the third derivative of l**5/20 + l**4/2 + l**3/2 + 16*l**2. Is p(-8) a multiple of 33?
True
Let u(w) = 4*w**3 - 6*w**2 - 4*w - 24. Let i be u(6). Suppose 6*n - 16*n + i = 0. Is 11 a factor of n?
False
Suppose 7*n - 21*n + 28 = 0. Suppose -2*j + 16 = n*j. Is j a multiple of 2?
True
Is 7/(-14) + ((-1205)/(-2) - -2) a multiple of 22?
False
Let l(h) = 4*h**2 + 2*h - 47. Is 17 a factor of l(11)?
True
Let d(l) be the second derivative of 5*l**4/12 - l**3/6 - l**2/2 + 6*l. Let u be d(-2). Let m = 37 - u. Is 12 a factor of m?
False
Let s be -8*(1 + 3/(-12)). Let u(r) = -r. Let a be u(s). Suppose 3*t + a = 18. Does 3 divide t?
False
Let p(j) = -j**2 + j + 50. Let g be p(0). Let k be 6/(-42) + (-492)/(-14). Let z = g - k. Does 4 divide z?
False
Let m(y) = 2*y - 4. Let d be m(3). Let z = -92 - -83. Let a = d - z. Is a a multiple of 3?
False
Suppose 12*j - 112 - 1616 = 0. Is j a multiple of 36?
True
Let l = -7 + 7. Suppose -5*u - 60 = -l*u. Let f = u - -22. Does 7 divide f?
False
Is ((-24)/(-15))/(-3 + 6621/2205) a multiple of 42?
True
Let r = 41 + -31. Let j be ((-3)/(-6))/((-2)/(-992)). Is 5 a factor of 1/5 + j/r?
True
Let m = 1061 + 807. Does 19 divide m?
False
Let t = 35 + 147. Is t a multiple of 35?
False
Let p(h) = h**2 - 11*h - 8. Let s be p(13). Does 33 divide (-42)/54 - -1 - (-1184)/s?
True
Let w be ((-126)/56)/(6/(-16)). Is 45*w/(-40)*-12 a multiple of 11?
False
Let a(p) = 510*p**2 + 2*p + 2. Is 30 a factor of a(-1)?
True
Let q(m) = 2*m**2 - 16*m + 60. Let r(b) = b**2 - 8*b + 30. Let l(w) = 3*q(w) - 5*r(w). Is 3 a factor of l(7)?
False
Suppose 0 = 5*h - 4*h + 22. Is (-90)/495 - (1940/h + 0) a multiple of 22?
True
Suppose -u = 4*r - 38 - 45, -5*u = -3*r + 45. Suppose 4*f - r = -0*f. Does 5 divide f?
True
Let u(p) = -8*p**3 - 4*p**2 - 2*p - 3. Let n be u(-3). Let x = n - 89. Does 26 divide x?
False
Does 18 divide (24015/5)/3 - -1?
True
Suppose -2370 = -2*f + 818. Does 87 divide f?
False
Let l be (4/3)/(11/198). Suppose 0 = 2*c - 32 - l. Suppose c - 13 = d. Is 5 a factor of d?
True
Suppose -2*j - 4*c + 0 = -10, 5*j = 2*c + 13. Suppose 3*o - 95 = q, 0 = 5*o - j*q - 119 - 38. Suppose 0 = 2*d + 2*d - o. Is d a multiple of 8?
True
Suppose -22*y + y = 42. Let i(j) = -3*j**3 - 3*j**2 - j - 5. Let n(r) = 4*r**3 + 3*r**2 + r + 6. Let w(u) = -5*i(u) - 4*n(u). Does 19 divide w(y)?
True
Let d be 319/33 + (-2)/(-6). Suppose 5*k + 2 = 17. Suppose -d = -4*r + k*r. Is 5 a factor of r?
True
Does 27 divide (270/(-150))/(9/(-4530))?
False
Let z(f) = f**3 + 10*f**2 + 5*f + 5. Let j be z(-7). Let g = j + -96. Is g a multiple of 21?
True
Let b be 2/(-3) - 368/24. Let j be (-24)/b + (-73)/(-2). Let v = 84 - j. Does 23 divide v?
True
Suppose 6*l = 2*l. Is 21 a factor of l + (-256)/(16/(-4))?
False
Suppose -5*q - 3*x = -2 + 16, 2*q + 4*x = 0. Let s(u) = -1 - 13*u - 3*u - 1 - 2 - u. Is s(q) a multiple of 12?
False
Let t = -6307 + 9187. Is t a multiple of 80?
True
Suppose l - 6*l + 10 = 0. Suppose r - 6 = -l*r. Suppose -4*k + 30 = -5*p, -2*p = -k + r*p + 13. Does 5 divide k?
True
Suppose -10*k - 66 = -6*k + 2*f, 5*f = 4*k + 59. Let t = k + 42. Does 8 divide t?
False
Let y = -17 - -72. Suppose -7*g = -106 - y. Is 18 a factor of g?
False
Let i(c) = -94*c**2 + 1. Let b be i(-1). Let v = 0 - b. Suppose -3*y = -3*s - v, 4*s - 17 = -4*y + 83. Is 14 a factor of y?
True
Let v(j) be the third derivative of -19*j**4/12 - 3*j**3/2 - 40*j**2. Does 7 divide v(-3)?
True
Suppose 0 = 2*x - 10 - 2. Let z(l) = 66*l + 4. Let g be z(x). Suppose -2*j = 3*b - 262, -3*j = -0*b + b - g. Does 34 divide j?
False
Let w(b) = -35*b + 15. Let p be w(6). Does 13 divide 1 + -1 - p/3?
True
Let i be (-3)/6 - 230/4. Let t be 18 - 20 - i/1. Let q = t + -11. Does 27 divide q?
False
Let k = -301 + 510. Is 19 a factor of k?
True
Suppose 0 = -45*b - 120 + 795. Does 2 divide b?
False
Let g = -234 + 297. Is g a multiple of 5?
False
Let i(r) = r + 5. Let j be i(4). Let y be (-8 - 2)*(38/(-10) - -3). Suppose 4*u - y = t - 23, -3*u = j. Does 2 divide t?
False
Suppose -1 - 15 = k. Let u = 32 + k. Does 16 divide u?
True
Let z = -37 + 101. Let d(x) = -x - 1. Let q be d(-1). Let a = q + z. Is 21 a factor of a