i) = 4*i - 1. Let z be j(3). Let l = y - z. Is l a multiple of 11?
False
Suppose -4*b + 540 = -0*b. Suppose 2*t + 3*t = b. Is 7 a factor of t?
False
Let o(p) = 3*p**2 - 2*p + 4. Suppose 7 - 10 = -b. Does 10 divide o(b)?
False
Let l = 51 + -21. Is l a multiple of 14?
False
Let r be (-510)/(-4)*8/(-6). Is (-3736)/(-34) - 20/r a multiple of 28?
False
Let v = 20 - 12. Let m(g) = g + 3. Is 7 a factor of m(v)?
False
Let v be (-6)/27 - 182/(-9). Let j = -15 + v. Does 5 divide j?
True
Let i(c) = c**2 - 1. Let w(u) = 10*u - 4*u**2 + 5*u - 6*u + 9 + 0*u. Let x(o) = 3*i(o) + w(o). Is 10 a factor of x(7)?
True
Let d(m) = m**3 - 6*m**2 + 7*m - 5. Let p be d(5). Suppose -4*j + 3*c + 101 = 6*c, -38 = -j - p*c. Is j a multiple of 9?
False
Let c = 11 + -7. Is c a multiple of 2?
True
Is 7 a factor of (1/(-1))/(6/(-204))?
False
Suppose 2*t - 5 + 0 = -5*d, 4*t - 2*d - 70 = 0. Is 14 a factor of (325/t)/(4/12)?
False
Suppose 0*b - 5*b + 75 = 0. Let l be 3/(-2)*(-40)/(-6). Is (-6)/b + (-134)/l a multiple of 11?
False
Let k = -7 + 3. Let c = k + 6. Is c even?
True
Suppose -4*v + 72 = -448. Does 5 divide v?
True
Is (-6)/(-12) + (-50)/(-4) a multiple of 2?
False
Suppose 3*s - 12 = 3*q - 0, 2 = -q. Is s even?
True
Let z = 3 - 0. Let x = z - 12. Does 12 divide x/2*8/(-3)?
True
Suppose -3*h + 0*h - 3*o = -99, 2*h + 4*o - 68 = 0. Does 7 divide h?
False
Suppose 2*q - 5*n - 2164 = -2*q, 4*q = -5*n + 2124. Does 6 divide q/44 - (-2)/(-11)?
True
Let f be 1*-2*(-2)/(-4). Suppose -3*h + n = 4, -2*n + 6*n = -3*h + 1. Does 18 divide f/1 - h*19?
True
Suppose -5*f + 2*f + 102 = 0. Is f a multiple of 19?
False
Let x(y) = 4*y - 8. Let n = -9 - -15. Let r be x(n). Suppose 3*c + 5*q + 14 = 0, 0 = c + c + 5*q + r. Does 2 divide c?
True
Let h be (2 - 1)*0/(-1). Suppose 0*s + s - 17 = h. Is 17 a factor of s?
True
Suppose 156 = -5*r + 8*r. Suppose -6*w = -r - 152. Is w a multiple of 12?
False
Let x(l) = -l**3 + 8*l**2 + 9*l + 2. Let g be x(9). Let y be (1 + -2 - 5) + g. Does 18 divide 1/y - 725/(-20)?
True
Suppose 2*c - 4*f = 16, 5*c - 4*f = 17 + 11. Let n = 0 + c. Is n a multiple of 3?
False
Let l(m) = 15*m**2 + 3*m. Is l(-2) a multiple of 6?
True
Is 11 a factor of 0 - 42/((54/16)/(-9))?
False
Let u be -1 + (2/1 - 1). Suppose -l + u = -6. Let z(d) = -d**3 + 7*d**2 - 2*d - 4. Does 11 divide z(l)?
False
Let x(h) = -11*h - 3. Does 2 divide x(-1)?
True
Suppose -g = 4*t - 242, 4*t - 840 = -4*g + 68. Does 14 divide g?
False
Suppose 5*c + 4 = 19. Suppose 5*h - 174 = -0*f - f, 3*h - 90 = c*f. Is h a multiple of 17?
True
Let v = 46 + -26. Is 11 a factor of v?
False
Let c(t) = 4*t. Let i be c(6). Let x = -11 + i. Is 6 a factor of x?
False
Let q = 139 + -52. Is q a multiple of 29?
True
Let d be (18/(-45))/((-1)/10). Let y(z) = z**3 - z**2 - 4*z - 4. Is 14 a factor of y(d)?
True
Let m(c) = -11*c**2 + 2*c + 3. Let d be m(-2). Let v = -7 + 3. Is 1/v - d/4 a multiple of 10?
False
Let m = -78 - -109. Let t = m - 14. Does 17 divide t?
True
Let u be 6/(-14) + (-120)/(-35). Suppose -5*p = -u*p - 34. Is 3 a factor of p?
False
Let g(w) = 2*w**3 + w**2 + 2*w - 6. Does 16 divide g(2)?
False
Let x(w) = 4*w**2 + 1. Suppose -3*g - 2*g + 5 = 0. Let n be x(g). Suppose -n*r + a + 59 = 0, -r + 3*a + 8 = -1. Is r a multiple of 6?
True
Suppose 7*b + 8 - 57 = 0. Is 4 a factor of b?
False
Let d(b) be the second derivative of b**4/4 + 2*b**3/3 - 3*b**2/2 - 4*b. Is d(3) a multiple of 12?
True
Suppose -o - 4*o = 0. Suppose -4*b + 19 + 21 = o. Is 3 a factor of b?
False
Let y = 19 + 0. Does 19 divide y?
True
Suppose -7*y = -89 - 58. Is 16 a factor of y?
False
Suppose -2*w = 5*d - 35, -2*w - 2 = -4*d + 8. Is d a multiple of 3?
False
Let z(n) = -8*n + 14 - 2*n + 9*n. Is z(9) a multiple of 5?
True
Let d(x) = -10*x + 1. Let i be d(-1). Let p = 33 - i. Is 10 a factor of p?
False
Suppose -8 - 12 = 5*c, -k - 2*c = -50. Is k a multiple of 29?
True
Let t be (-6)/6 + 1/(-1). Let i be (-104)/(-18) + t/(-9). Let x(h) = h**2 - 6*h + 4. Is x(i) a multiple of 4?
True
Let j = 156 - 69. Is j a multiple of 43?
False
Let k = -4 + 2. Let b = 0 - k. Suppose 0 = -2*w - 4*q + 40, b*q = 4*w - q - 124. Is w a multiple of 14?
True
Let b(d) = -d + 4. Let i be b(5). Let n = 5 + i. Is ((-21)/(-6) + -1)*n a multiple of 10?
True
Suppose -275 = -8*z + 197. Is 6 a factor of z?
False
Let g(z) = 6*z. Suppose 3 = -2*c + 3*c. Let n be ((-20)/(-12))/(1/c). Is g(n) a multiple of 13?
False
Suppose -5*t - 2 = -22. Suppose -t*i - 64 = -3*k + 51, -2*k + i + 70 = 0. Does 12 divide k?
False
Let p be 0/(-5) + (3 - 1). Suppose 3*l - 1 = -k - p*l, 0 = 5*k - 3*l + 23. Let n = 4 - k. Does 6 divide n?
False
Let x(s) = 4*s + 4 + 4*s**2 - 2*s + s**2 - 2*s**2. Is 12 a factor of x(-5)?
False
Suppose -2*r + r + 5 = 0. Suppose 5*g - r*l - 140 = 0, l - 74 = -3*g - l. Does 13 divide g?
True
Let f = 7 + -3. Suppose m = -4*w + 52, 2*w + w = -f*m + 26. Is 14 a factor of w?
True
Suppose -18 = b + i + 17, -5*b - 140 = -2*i. Let s = -14 + -1. Let l = s - b. Does 6 divide l?
False
Let r(a) be the third derivative of -a**4/4 + a**3/3 + 8*a**2. Is r(-3) a multiple of 7?
False
Let o(p) = -2*p - 5. Let y be o(-4). Suppose -5*m + 3*m = -38. Suppose m = -y*s + 67. Does 8 divide s?
True
Let d = -379 + 577. Let b be (4/(-6))/((-4)/d). Suppose -21 = -2*u - 5*n, -4*u = 3*n - 2*n - b. Is u a multiple of 4?
True
Suppose 143 = o + 43. Let u be ((-3)/6)/(2/(-12)). Suppose -o = -u*a + 5. Is 15 a factor of a?
False
Suppose i - 7 = 5. Let f = -9 + i. Does 2 divide f?
False
Is 24 a factor of 29 + 5 - (2 - 0)?
False
Let i(y) = -y**2 + 12. Let t be i(0). Suppose -t = -3*o + 3. Let m = 1 + o. Is 6 a factor of m?
True
Suppose -120 = 9*k - 363. Does 3 divide k?
True
Let k(y) = -y + 4. Suppose 2*i = -4 - 4. Is 2 a factor of k(i)?
True
Let i(p) = 2*p**2 + 2*p + 2. Does 3 divide i(-2)?
True
Is 30 a factor of (-7)/28 + 253/4?
False
Suppose 3*b = 0, 5*b + 2 + 2 = 4*n. Let q be (n/(-1))/(-2 - -3). Let j(d) = -8*d**3 + d**2 + d + 1. Is j(q) a multiple of 7?
False
Suppose 4*n = 2*n. Suppose -3*r + 12 = -n*r. Suppose -4*z + z + 6 = -3*a, a = r*z - 20. Is 6 a factor of z?
True
Let i(g) = 9*g + 1. Let w be 3*((-48)/(-9))/4. Is i(w) a multiple of 14?
False
Does 12 divide (-530)/(-11) - (-2)/(-11)?
True
Let t(v) = -3*v - 23. Does 9 divide t(-15)?
False
Suppose 5*o + 3*u = -231, -2*u - 3*u - 10 = 0. Does 9 divide 10/o - 328/(-18)?
True
Let m = 34 + -16. Is m a multiple of 9?
True
Let h(a) = a**3 - 6*a**2 + 7*a - 1. Let m(l) = l**3 - 2*l + 1. Let g be m(2). Let z be h(g). Is 3*((-84)/z)/(-1) a multiple of 11?
False
Let t(p) = p**2 + 4*p + 4. Suppose 0*w + w + z + 1 = 0, -5*w - 4*z - 9 = 0. Let j be t(w). Is j*1/(6/22) a multiple of 12?
False
Suppose -7 = -3*z + n, 2*z - 7*z = -3*n - 13. Is 17 a factor of 1/(-3*z/(-102))?
True
Suppose 4*r - 12 = -0*r. Is 19 a factor of (1/r)/((-1)/(-66))?
False
Is 19 - (-3 - -3 - 0) a multiple of 14?
False
Let h(m) be the third derivative of m**5/60 + 3*m**4/8 - 4*m**3/3 + 4*m**2. Is 16 a factor of h(-12)?
False
Let y be (0 + 0 - -1)/1. Suppose 5*q + 46 + 84 = -5*m, -5*q = -m + 100. Let x = y - q. Is x a multiple of 11?
True
Let k(z) = z**3 + 4*z**2 - 7*z - 7. Let i be 2/(-2)*(7 - 2). Let a be k(i). Suppose a*r - 70 = 5*o, 3*o - 9 = 3*r - 69. Is 14 a factor of r?
False
Let s = -20 + 13. Let c = s + 11. Is 2 a factor of c?
True
Suppose 60 = r - 5. Does 13 divide r?
True
Let h be (3/1 - 6)/(-1). Suppose -h*m - 3 - 6 = 0. Is (4/(-10))/(m/45) a multiple of 6?
True
Let d be (-230)/4*(-32)/40. Suppose 0 = -5*n + 39 + d. Is 7 a factor of n?
False
Let x be (-3)/(-6) - (-1)/(-2). Let l = x + 12. Let g = l + 27. Is g a multiple of 15?
False
Let d(i) = i**2 - 2*i - 4. Is 34 a factor of d(-6)?
False
Suppose 62 = -3*o - 169. Let j(x) = -13*x - 9. Let s be j(8). Let w = o - s. Is w a multiple of 13?
False
Let x(q) = q**2 + 6*q + 5. Let y be x(-6). Suppose y*k - k = 16. Is 4 a factor of k?
True
Let o(h) be the first derivative of h**3/3 - 2*h**2 + 3*h - 1. Let k be o(4). Suppose 7*r - 4*r - 4*y = 74, k*r = -3*y + 81. Is r a multiple of 13?
True
Let d(w) = -2*w - 5. Let j be (-15)/(-5)*-1*2. Does 7 divide d(j)?
True
Let x(j) = 136*j**2 - 5*j + 1. Let n(v) = -34*v**2 + v. Let k(o) = -9*n(o) - 2*x(o). Let q be k(-2). Is q/21 + 4/(-14) a multiple of 6?
True
Let g(j) = j**2 - 8*j - 8. Suppose u + m = -u + 16, 0 =