 + 6)/l) even?
False
Suppose 511 = 4*m - 137. Is 10 a factor of m/8 + (-2)/8?
True
Let u(j) = -j**2 + 4*j + 6. Let q be u(5). Suppose -7 = -2*d + q. Suppose 0 = -s + 13 + d. Is s a multiple of 7?
False
Is 5 a factor of ((3/2)/3)/(16/1760)?
True
Let o be (25/3)/(1/3). Suppose 11*u - o = 6*u. Is 5 a factor of u?
True
Suppose 75 - 309 = -2*i. Does 20 divide i?
False
Suppose -141 = -5*y + 14. Let g = y - 17. Is 4 a factor of g?
False
Suppose -3*p + 3 = -0*p. Let j be 1/p*(26 - 1). Suppose l = m - 0*m + j, -2*m = -10. Does 15 divide l?
True
Let v(z) = 5*z**2 + 3*z - 2. Let o be v(3). Let k = -22 + o. Does 10 divide k?
True
Suppose -4*y + 6*y = -3*f + 82, 3*f - 74 = 2*y. Suppose -5*m = f + 34. Let a = m - -25. Does 13 divide a?
True
Let z = -25 - -57. Is z a multiple of 16?
True
Suppose 3*l + 6*c - c = -1, 0 = 4*l - 2*c + 36. Let s(j) = j + 11. Let y be s(l). Does 6 divide y - (-5)/(15/6)?
True
Suppose 4*s - 5 = -1. Let v(o) = 7 + o + 15*o - 7. Is v(s) a multiple of 8?
True
Suppose 120 = 8*g - 328. Is 28 a factor of g?
True
Is 6/33 + (-240)/(-11) a multiple of 11?
True
Let z(i) = i + 2. Let w be z(-2). Suppose -3*u + 48 = -w*u. Is 8 a factor of u?
True
Suppose -11 = 4*y - 91. Suppose y = -3*w + 5, -q - w - 5 = 0. Suppose q = s + 3*s - 164. Is s a multiple of 14?
False
Let c(b) = -8*b**3 - 13*b**2 + 6*b - 3. Let q(p) = 3*p**3 + 4*p**2 - 2*p + 1. Let w(g) = 2*c(g) + 7*q(g). Let f be 3/((-2)/(-4) - -1). Is w(f) a multiple of 15?
True
Does 30 divide 51 - 4 - -2*2?
False
Suppose 5*w = 4*w - 5, -5*y - w = 220. Let c = y + 85. Is 20 a factor of c?
False
Suppose 4*u + 16 = 96. Is 10 a factor of u?
True
Let f = -2 - 0. Let b(s) = 6*s - 1. Let n(p) = 25*p - 4. Let l(y) = -18*b(y) + 4*n(y). Is 9 a factor of l(f)?
True
Suppose -f = 3*f - 88. Let q be (0 - (-1 - f))/(-1). Let z = q - -47. Is z a multiple of 12?
True
Let l(s) = s**2 + 9*s + 7. Let j be l(-9). Suppose 3*c = j*c - 184. Is 22 a factor of c?
False
Let d be (16/(-2))/(7/(-14)). Let b = 23 - d. Is b a multiple of 7?
True
Suppose -5*m + 192 = -m. Is 10 a factor of m?
False
Let b be (-4)/(-6) + (-16)/(-12). Suppose 2*n + b*n = 12. Does 2 divide n?
False
Let c(f) = -f + 16. Let a be c(12). Suppose 2*x - 2*r - 2 - a = 0, -4 = 4*r. Suppose x*d = 3*d - 27. Is d a multiple of 12?
False
Let q be 139*(3/(-1))/(-3). Suppose -57 + q = 2*s. Suppose 0 = 3*h + s - 122. Does 12 divide h?
False
Let r(q) = -q**2 - 11*q - 13. Let x be r(-9). Is (-5 + -115)*(-2)/x a multiple of 12?
True
Let j = 5 - 3. Is -1 - (j - 7)*2 a multiple of 9?
True
Let w = -10 - -43. Is w a multiple of 18?
False
Suppose w + 16 = -3*w - 4*r, 0 = w - 5*r + 4. Let u be 4/(-6)*(-6)/w. Is 3 a factor of (2 - -1)*(-1)/u?
True
Let n be 23 - (-1)/(-1) - -2. Suppose 4*g = g + n. Is g a multiple of 7?
False
Suppose -2*a + a = 17. Let y = 9 - a. Is y a multiple of 13?
True
Let q = 22 - 7. Is q a multiple of 10?
False
Suppose -5*u - 130 = -5*x, -38 = -3*x - 4*u + 40. Suppose -1 = -0*i - i, -4*i = 2*k - x. Does 3 divide k?
False
Suppose -15 = -3*d - 0. Is d/(5/11) + 3 a multiple of 14?
True
Suppose -3*q + 102 = -q. Let n = q + -36. Is 12 a factor of n?
False
Let t be (-216)/(-30)*(3 + 2). Suppose 8 = -b - 2*n + t, -33 = -b - n. Is 19 a factor of b?
True
Suppose -2*s - 10 = y - 70, -284 = -4*y + 3*s. Is (-8 - -3)*y/(-5) a multiple of 17?
True
Suppose c - 48 = -2*c - 3*j, -32 = -4*c + 4*j. Let d = 27 + c. Is 8 a factor of d?
False
Suppose 0*j - 1408 = -11*j. Is 32 a factor of j?
True
Does 9 divide (-89)/(-4) + 3*1/(-12)?
False
Let m = 11 - 3. Is 4 a factor of m?
True
Let o(f) = f**2 + 24*f + 38. Is o(-25) a multiple of 12?
False
Let d be (3/6)/((-3)/2178). Let x = d + 131. Does 15 divide x/(-6) - (-4)/12?
False
Suppose 0 = -v + 3*a + 2, -5*v + 3*a + 3 = -19. Let i(k) = 4*k - 1. Is 5 a factor of i(v)?
False
Let y = 158 + -117. Is 26 a factor of y?
False
Let r(v) = -v + 7. Let y be r(7). Let h(x) = 45*x**2 - x - 1. Let t be h(-1). Suppose y*s - 3*s = -t. Is s a multiple of 9?
False
Is 4 - (-1)/((-1)/(-97)) a multiple of 8?
False
Suppose 2*c = c - 3*s + 108, 0 = -5*c + 5*s + 580. Does 31 divide c?
False
Let z = 122 - 82. Is 7 a factor of z?
False
Suppose 2*s + 4*g = 2*g + 114, -5*s + 5*g = -275. Does 8 divide s?
True
Let l(q) = 3*q - 1. Let n be l(3). Let o = 13 - n. Suppose 4*d - 12 = 0, -22 = -r + o*d + 22. Is 15 a factor of r?
False
Let c(t) = -17*t + 36. Let z(q) = -6*q + 12. Let u(l) = -4*c(l) + 11*z(l). Let s = -6 - -19. Is 11 a factor of u(s)?
False
Suppose 1 = 4*i - 15. Suppose 5*k = i*b + 202, -k = 3*k - 5*b - 167. Is 10 a factor of k?
False
Let c(p) = 12*p - 1. Let b(o) = 3*o. Let i(x) = -22*b(x) + 6*c(x). Is i(6) a multiple of 15?
True
Suppose -3*l + 3*o + 593 = 4*o, -2*l - 4*o + 382 = 0. Does 37 divide l?
False
Let l(f) = f + 4. Let y be l(-5). Does 5 divide (1 - -4)/(y - -2)?
True
Is 2/(2 + (-180)/92) a multiple of 23?
True
Let a(q) be the second derivative of q**4/12 + q**3/2 - 7*q**2/2 - 6*q. Is a(5) a multiple of 11?
True
Is (1 - 36)*(-13)/13 a multiple of 14?
False
Suppose -q - r + 82 = 0, -r - 242 = -3*q - 0*r. Is q a multiple of 26?
False
Is 11 a factor of ((-3)/(-3))/(1/44)?
True
Is (-474)/(-18) - 2/6 a multiple of 13?
True
Let z(i) = i. Let k be 2/(10/8 - 1). Is z(k) a multiple of 8?
True
Let x(h) = 10*h**2 - h + 1. Let z be x(-2). Let y be 5/20 - z/(-4). Is (-2 - 0)*y/(-2) a multiple of 4?
False
Let b = 7 + -12. Let t = b - -29. Suppose 21 = 5*s - t. Does 3 divide s?
True
Suppose -5*p + 6*p = -z + 2, 5*p - 8 = -3*z. Let j = z - 8. Let a(o) = -o - 2. Is a(j) a multiple of 2?
False
Is 9 a factor of 2 - (-34 + 0 + 0)?
True
Suppose 9*q = 2 + 511. Is 19 a factor of q?
True
Let f be ((-1)/(-6))/(2/12). Does 22 divide f - 2*-31 - -3?
True
Let i = -162 + 280. Suppose -40 = -2*f + 3*s + 34, s = 3*f - i. Does 20 divide f?
True
Suppose -656 = -4*v + 3*p, -3*p - 2*p = 0. Is v a multiple of 56?
False
Let o(y) = 10*y - 4. Suppose 2*w = 5*w - 12. Is 20 a factor of o(w)?
False
Suppose 0 = -2*b + 4*b. Let g(y) = -y**3 + 6. Let d be g(b). Suppose d*c = c + 100. Is 8 a factor of c?
False
Suppose 5*y - 9 = 2*y. Suppose 5*r = -w + 14, -2*r = -y*w - 7*r + 42. Is 9 a factor of w - (-1 - 1)*1?
False
Let d(k) = -k**3 - 9*k**2 - 8*k. Let j be d(-8). Suppose -r = g + 3*r - 7, j = 5*r - 5. Suppose 5*p + 3 = 2*p, 72 = 5*t + g*p. Is 5 a factor of t?
True
Let i = 11 + -5. Let m = 63 - i. Is m a multiple of 19?
True
Suppose 5*u + 51 = 6*u. Is u a multiple of 16?
False
Let x be 2/(-8) - (-174)/(-8). Let p = x - -59. Is p a multiple of 14?
False
Suppose c - 6*c = 15, -20 = 5*r - 5*c. Let s = r - -2. Let u = s + 19. Is 6 a factor of u?
False
Let u be (-78)/8*2*-2. Let o be u/4 + 1/4. Is (-276)/(-10) - (-4)/o a multiple of 14?
True
Let n = 33 + -104. Let c = n - -155. Suppose 0*x = 3*x - c. Does 14 divide x?
True
Let u = -3 - -14. Is u a multiple of 11?
True
Suppose -2*f + 985 = 185. Suppose -14*p = -9*p - f. Is p a multiple of 20?
True
Let o be -24*(-33)/(-3) + 3. Let r be (-2)/(2 + 528/o). Suppose -5*p + p = -5*u + r, 0 = u - p - 17. Does 8 divide u?
False
Suppose -2*u = -11 - 17. Let y = -3 + u. Suppose -2*i - 3 + y = 0. Is i a multiple of 4?
True
Let g = 1 - -5. Let z be (-70)/(-6) + (-4)/g. Does 7 divide 1*(1 + z - -1)?
False
Suppose -5*q + 0*q - 630 = 0. Let r = -61 - q. Suppose 3*c - 1 - r = 0. Does 11 divide c?
True
Suppose 2*t - 2 = 2. Suppose -t*a - n + 2*n = -40, 5*a + 3*n - 100 = 0. Let p = 28 - a. Does 8 divide p?
True
Let v(z) = 7*z**3 + z - 1. Let w be v(1). Is 6 a factor of 21 + -2 + (w - 10)?
False
Let w(c) = 7*c - 3. Let z(n) = -8*n + 4. Let r(j) = 7*w(j) + 6*z(j). Is r(4) a multiple of 7?
True
Let p(j) = j**3 + 4*j**2 - 4*j + 1. Let x be p(-4). Let t(r) = r**2 + r + 1. Let n be t(-6). Let i = n - x. Is 8 a factor of i?
False
Suppose 4*j - 5 = -j. Let p be (-2 - 48) + 2*j. Let x = 68 + p. Does 13 divide x?
False
Let a(p) be the first derivative of -p**4/4 + 5*p**3 + p**2 - 13*p - 8. Does 9 divide a(15)?
False
Let x be (-14)/3*9/(-2). Suppose 5 + x = a. Is a a multiple of 13?
True
Let x(p) = -57*p**3 + 11*p**2 - 3*p + 9. Let u(l) = -28*l**3 + 5*l**2 - l + 4. Let m(a) = 7*u(a) - 3*x(a). Suppose 0 - 4 = 4*g. Is 13 a factor of m(g)?
True
Suppose -6*a + 3*a - 65 = -4*q, 0 = -q + 5*a - 5. Is 3 a factor of q?
False
Let d = 33 - 10. Suppose 5*k - d = 47. Is k a m