e
Suppose 4*j - 9 = 3*j. Let d = 13 - j. Does 5 divide (-1)/d - 159/(-12)?
False
Suppose 4*i - 76 = 2*j, 3*j - 6*j = 4*i - 86. Let a = i - 8. Is a a multiple of 11?
False
Let y(j) = j**2 - 6*j - 6. Let o be y(7). Suppose -14 = -a + o. Is 5 a factor of a?
True
Let t = 9 - -1. Let x be (2 + -1)/(2/t). Suppose -u = -x*u + 104. Does 9 divide u?
False
Let b(k) = 3*k**3 + 2*k**2 - 1. Let s = -1 + 0. Let c be b(s). Let y(f) = -10*f - 3. Is y(c) a multiple of 7?
False
Suppose 0 = 4*a + 4*r - 104, 3 + 7 = 5*r. Does 7 divide a?
False
Suppose 17 = 5*s - 13. Suppose 2*a = -s*a + 656. Is 17 a factor of a?
False
Let g be (-6)/4*(-38)/(-3). Let u = -5 - g. Does 14 divide u?
True
Let f(n) = n**2 + 7*n - 3. Let t be f(-6). Let k = 27 - t. Is k a multiple of 12?
True
Let j be -2*(1 + -7 + 2). Suppose 2*l + j = 42. Does 17 divide l?
True
Let r(n) be the second derivative of n**5/10 - 2*n**3/3 - n**2/2 + 3*n. Suppose -3 + 6 = l. Is r(l) a multiple of 14?
False
Suppose 0 = p + 1 + 2. Let i be 26/(-6) - 1/p. Let g(c) = -4*c - 5. Does 5 divide g(i)?
False
Let z(m) = 2*m**2 - 5*m - 19. Is z(7) a multiple of 9?
False
Let c = -22 + 21. Let f(v) = 65*v**2 + 3*v + 1. Is f(c) a multiple of 21?
True
Suppose -5*x + 2*z - 22 = 16, -3*z = x - 6. Let v = x - -15. Does 3 divide v?
True
Is -4 - 1*-1*20 even?
True
Let g(v) = 4*v**3 + 5*v**2 - 4*v + 3. Let p be g(3). Suppose -3*a - p = -7*a. Does 18 divide a?
True
Let z = 157 - 105. Does 23 divide z?
False
Suppose 2*y + y + 12 = 0. Let q(k) be the third derivative of -k**6/120 - k**5/30 + k**4/6 - k**3/3 - k**2. Does 14 divide q(y)?
True
Suppose 0 = -k + 5 + 3. Let p = k + -6. Suppose 5*f - 7 = -27, -p*w - 5*f + 2 = 0. Does 6 divide w?
False
Let c be 2/(-5) - 604/(-10). Suppose 0 = -m + 5*m - c. Is 5 a factor of m?
True
Let z(n) = -n**3 - 4*n**2 + n + 6. Let k be z(-4). Suppose -2*u + 40 = k*u. Does 3 divide u?
False
Let g(q) = -14 - 10*q**2 - 8 + 11*q**2 + 11*q. Is g(-16) a multiple of 23?
False
Let c = 124 + -73. Let u = -16 + c. Does 19 divide u?
False
Let k be (-722)/(-6) - 6/(-9). Suppose 2*l - 5*v = k, -5*l - 4*v + v = -225. Let q = 73 - l. Does 14 divide q?
False
Suppose 0 = 5*h + 10, -2*h - 3*h = -5*a + 25. Let l be ((-10)/(-6) - 1)*a. Suppose 26 = -l*x + 3*x. Does 17 divide x?
False
Suppose 2*c = 6*c - 12. Suppose -c*n + 67 = -29. Is n a multiple of 16?
True
Let y be -9*(50/3)/(-2). Let x = -53 + y. Is x a multiple of 9?
False
Let o(l) = 0 - 24*l**2 - 62*l**3 + 23*l**2 + 1. Is 11 a factor of o(-1)?
False
Let f = 3 - -2. Let b(d) = -13 - f*d + 5 + 13*d. Does 15 divide b(6)?
False
Let j be 1/4*0*-1. Suppose -4*l + 28 = -j*l. Is l even?
False
Suppose -15 = -l + 42. Is 19 a factor of l?
True
Let f(c) = c**3 - 4*c**2 + 3*c - 4. Let h be f(3). Let o = h - -4. Suppose 2*t + 5*u + 1 = 0, -t + 5*t - 4*u - 68 = o. Does 12 divide t?
True
Let w = 7 + -5. Suppose -w*d + 2 = -6. Suppose -3*a + 125 = 2*g, 0*g - 5*a + 251 = d*g. Does 18 divide g?
False
Suppose -2*x + x - 7 = 0. Let o(g) = -g**2 - 10*g - 5. Does 7 divide o(x)?
False
Suppose 0 = -3*b - 4*l + 4, 2*b + 3*l = -2*b + 10. Suppose 3 = 3*i + 3*d, -5*i - d = -3*d - 12. Suppose b*r = i*g - 34, g - r - 12 - 1 = 0. Is 9 a factor of g?
True
Is (0/(-2) - 8)*(12 + -30) a multiple of 48?
True
Suppose z - 3*j = 3, -j = 3*z - 0*j - 29. Is z a multiple of 7?
False
Let s be 2/5 - 204/(-15). Suppose -2*b - 13 = -5*a - 4*b, 19 = -a + 5*b. Let l = s + a. Is l a multiple of 15?
True
Let k(j) be the third derivative of 0*j + 0 - 1/6*j**3 - 1/8*j**4 + 2*j**2. Is 10 a factor of k(-4)?
False
Suppose -5*j + 1 + 14 = 0. Suppose n = -k + 12 + 24, 0 = 3*n - k - 120. Suppose 0 = 4*q + j - n. Is 9 a factor of q?
True
Let f be ((-12)/(-15))/((-2)/(-5)). Suppose -f*i + 228 = i. Suppose -7*x = -3*x - i. Is 19 a factor of x?
True
Let g(f) = -14*f - 43. Is 11 a factor of g(-7)?
True
Suppose 11 = 4*s - 3*k + 6*k, 5*s + k - 22 = 0. Suppose 0*n + 439 = 5*n + 3*r, s*n + 2*r = 441. Does 19 divide n?
False
Suppose -3*j - 6 = -5*j. Suppose 0*y - j*y + 2*w + 220 = 0, 0 = -y - 4*w + 50. Does 21 divide y?
False
Let t = 14 - 6. Suppose -2*i = -4*n, -2*i - i + 4*n + t = 0. Is 3 a factor of i?
False
Suppose -q + 19 = 4*j, j + 8 = 5*q - 3. Suppose -t + 13 = j*b - 2*t, -11 = -3*b + t. Is 2 a factor of b?
True
Let w(t) = 10 + 4*t - 1 + 2*t**2 + t**2 - 2*t**2. Is 10 a factor of w(-6)?
False
Suppose -3*r - s = 2*s + 27, -2*r + 4*s = 30. Let x(v) = -7*v - 27. Does 10 divide x(r)?
True
Let b = 23 + -10. Is 5 a factor of (0 - 1) + 8 + b?
True
Does 27 divide (-2)/8 + 1740/48?
False
Let q = -11 - -11. Suppose q = -s - 0 + 9. Is 9 a factor of s?
True
Let c(a) = 3*a**3 - 5*a**2 + a + 4. Is 10 a factor of c(3)?
False
Suppose 2*t = -4*u - 4, -13 = -4*t - 3*u - 1. Is 12 a factor of 8 + t/3 - -2?
True
Suppose 0 = -3*i + 61 + 20. Suppose -b + 79 - i = 0. Does 13 divide b/(-8)*(-2)/1?
True
Suppose x + 4*d + 14 = -x, 4*x + 2*d = 2. Suppose -4*l = y - 2*y - 62, 54 = x*l + 3*y. Is l a multiple of 16?
True
Suppose -2*l = -7*l + 65. Let f = l + 3. Is f a multiple of 8?
True
Suppose -4 = 2*y - 14. Suppose y*z + 2*d - 47 = 2*z, 3*z + 3*d = 51. Does 4 divide z?
False
Suppose 0 = 3*c - 0*c - 12. Suppose 49 = -c*l + 133. Does 10 divide l?
False
Let w be (-217)/28 + (-1)/4. Let o be ((-3)/6)/1*w. Suppose -3*k + 2*k - 6 = o*t, k = -3*t - 3. Does 3 divide k?
True
Let i(f) = f**3 + 3*f**2 - 4*f - 2. Let p be i(-4). Is (-21)/(2/p) + -2 a multiple of 19?
True
Let s = 2 - 0. Suppose -10 = -75*q + 73*q. Suppose -11 = -s*v + q. Does 7 divide v?
False
Let b = 34 - 3. Does 31 divide b?
True
Suppose -6*c + 2*c = -2*v - 76, 12 = 3*c. Is 20 a factor of (-3 - -7)*v/(-4)?
False
Suppose 4*z - 4 = 0, -3*z - 7 = 3*i + 2*z. Let l = i - 3. Let j = 35 - l. Does 21 divide j?
True
Suppose 5*q + 328 + 502 = 0. Let g = -115 - q. Suppose -13 = -n - d, -3*n + 3*d + g = -n. Is n a multiple of 11?
False
Suppose 0 = -3*f + 3 + 12. Suppose -4*h + 183 = -h + f*r, 5*r = -5*h + 305. Is 15 a factor of h?
False
Let s = 21 - -109. Is s a multiple of 12?
False
Let f = 13 + 1. Does 7 divide f?
True
Let s(c) = c**2 - 9*c + 11. Let k be s(8). Suppose -h = -k*j - 41, -4*j + 0*j = -3*h + 118. Is 19 a factor of h?
True
Let v(f) be the second derivative of f**6/180 + f**5/15 + f**4/4 - f**3/3 + 3*f. Let k(x) be the second derivative of v(x). Is 17 a factor of k(-6)?
False
Let q(p) = 2*p + 4. Is 4 a factor of q(4)?
True
Let w = 10 - -10. Suppose 5*r - 10 = w. Is r a multiple of 2?
True
Let l be -9*(14/(-6) + 2). Suppose -4*x = -l*z - 269, 6*z - z - 25 = 0. Suppose 0 = m - 5*w - 39, 5*m + w - x = 46. Does 10 divide m?
False
Let r(i) = -i**3 + 16*i**2 - 13*i - 18. Does 7 divide r(15)?
False
Suppose -19*x + 100 = -17*x. Is 4 a factor of x?
False
Is 4 a factor of (2/1)/((-1)/(-2))?
True
Let w be (-2)/(-3)*(0 + 3). Let k = w - -30. Does 8 divide k?
True
Let r = -76 - -161. Suppose d + 19 = r. Let y = d + -29. Does 16 divide y?
False
Let a(b) = -b**3 - 2*b**2 - 2. Suppose -14 = 4*d + z, 4*d + 3 = z - 7. Is 6 a factor of a(d)?
False
Let q(g) = -177*g + 1. Let x be q(1). Is x/(-10) - 8/(-20) a multiple of 3?
True
Suppose -4*g + a - 2*a = -20, 0 = 5*a. Suppose -4*b = g*u - 242, -5*b + 8 = -7. Is u a multiple of 23?
True
Suppose -2*t + 108 = t. Suppose 3*y - 6*y + t = 0. Does 8 divide y?
False
Suppose 0 = -2*w - 3*w. Let n(d) = -2*d + 18. Is n(w) a multiple of 9?
True
Suppose 0 = -9*l - 16 + 556. Is 12 a factor of l?
True
Let x = -46 + 65. Suppose 3*k = -5*v + x, -5*k + k + v + 56 = 0. Does 13 divide k?
True
Suppose -v = -4*z - 21 + 4, v + 10 = -5*z. Suppose f = -0*f + v. Let k(b) = b**2 - 2*b + 1. Does 6 divide k(f)?
False
Let s be ((-2)/(-8))/(5/(-20)). Is (2/4)/(s/(-66)) a multiple of 11?
True
Does 47 divide 329/(-4)*(-2 + -2 + 0)?
True
Let j be ((-6)/5)/(12/40). Suppose -4*l + 2*t - 136 = -0*l, -5*l - 152 = 2*t. Is (-54)/j*l/(-12) a multiple of 12?
True
Let c = 6 + -3. Suppose -2*a - 4 = 0, -5*a - 32 = -c*s + s. Suppose -55 = -2*h - s. Does 14 divide h?
False
Let l(m) = m**3 + 3*m**2 - 2. Let a be l(-2). Let o = a + 3. Suppose -o*v = 32 - 127. Does 19 divide v?
True
Suppose l - 10 = -1. Suppose -l = -b - 2*b. Does 3 divide b?
True
Suppose 2*d - 10 = 2*s, 0 = d - 6*d - 3*s + 1. Let a(c) = 7 - c**2 + 2*c**d - 8*c - 3 + 0*c**2. Does 3 divide a(8)?
False
Let w(b) = 5*b**2 + 2*b**2 + 5*b + 3 + b**3 + 0