se
Let u(h) = -4*h - 1. Let i be u(2). Does 13 divide ((-13)/(-2))/(i/(-18))?
True
Is 17 a factor of ((-170)/40)/(2/(-40))?
True
Suppose l + 2*g = -1 + 4, -4*l = -2*g - 52. Does 2 divide l?
False
Let c = 416 - 131. Does 15 divide c?
True
Suppose -3*z = 0, -4*p = -9*p + z + 425. Is 20 a factor of p?
False
Let h be 6 + -4 - 0/4. Is 8 a factor of 297/18 - 1/h?
True
Let f = 12 + -3. Let g = f + -2. Is g a multiple of 4?
False
Let j(l) = l**3 - 4*l**2 + l - 6. Does 12 divide j(5)?
True
Let l(v) be the first derivative of -v**3/3 + 3*v**2 + 5*v + 2. Let s be l(7). Let q(r) = -r**3 - r**2 - 2*r. Does 4 divide q(s)?
True
Let x(s) = 10*s**2 - 3*s + 3. Let q(y) = -5*y**2 + y - 1. Let v(h) = -5*q(h) - 2*x(h). Let c be v(1). Suppose -96 = -c*u + u. Is 8 a factor of u?
True
Let z = 12 - -52. Does 6 divide z?
False
Suppose 2*i - 5*i = -3. Suppose -4*s + i = 17, -3*d - s = -242. Is d a multiple of 21?
False
Let m(x) = -2*x + 33. Is m(0) a multiple of 2?
False
Let r(q) be the first derivative of q**3/3 - 5*q**2/2 + 3*q - 9. Is r(9) a multiple of 13?
True
Let z be (8/2)/8*-16. Does 10 divide ((-36)/z)/(2/8)?
False
Does 23 divide (-720)/32*(-16)/3?
False
Let j(d) = -3*d**2 - 41*d - 24. Let u(k) = -k**2 - 14*k - 8. Let c(w) = 6*j(w) - 17*u(w). Let o = -9 - -3. Is c(o) a multiple of 4?
True
Let r(i) = -2*i + 2. Let c be r(-11). Let a = -9 + c. Does 9 divide a?
False
Suppose -31 = -3*t + 2. Is 3 a factor of t?
False
Let j = 149 - -60. Is 15 a factor of j?
False
Let v = -40 + 56. Suppose 0 = -4*c - 0 + v, -d = 5*c - 31. Does 11 divide d?
True
Let x(i) be the first derivative of -i**3/6 + i**2 + 3*i + 2. Let f(a) be the first derivative of x(a). Is f(-5) a multiple of 5?
False
Let m(i) = -21*i - 68. Is 20 a factor of m(-16)?
False
Let k = 96 + -43. Does 4 divide k?
False
Let h be 1/(-2 - (-9)/4). Let t(d) = 2*d + 4. Is 6 a factor of t(h)?
True
Does 14 divide 30 - (4 + (-2 - 1))?
False
Let g = -7 - -1. Let u = g - -5. Is (1 - 3) + (-16)/u a multiple of 14?
True
Let s = -3 - -9. Let j be 4/s - (-140)/6. Suppose -4*h + 2*h + 2*f = -16, -3*h + 5*f = -j. Does 8 divide h?
True
Suppose 147 = 3*m - 81. Suppose 7 + 18 = 5*x, -4*g = 4*x + 132. Let p = m + g. Is p a multiple of 19?
True
Is 29 a factor of 519/6 + ((-27)/6)/(-3)?
False
Let n(u) = 10*u - 21*u - 25*u. Is 12 a factor of n(-1)?
True
Let w = -6 - -6. Suppose 5*j - h + 4*h - 85 = w, 0 = -3*j - 3*h + 57. Is 13 a factor of j?
False
Let l = -8 + 13. Let d be (-3)/(-6)*10/(-1). Is 38/l - 2/d a multiple of 8?
True
Let r(x) = x**2 - 5*x + 2. Let l be r(4). Let f be -43 + l + 3 - 3. Is 10/f - (-58)/18 even?
False
Let o = 20 - 8. Is o a multiple of 12?
True
Let c(l) = -2*l - 8. Suppose -2*z - 3*y - y = -22, -2*z = -5*y - 67. Suppose 0*r - z = 3*r. Is c(r) a multiple of 3?
True
Let w(r) = -r + 5. Let x be w(3). Suppose 294 = 3*m + x*m + f, 3*m = -f + 178. Does 14 divide m?
False
Let j(x) = -x**3 - 2*x**2 + 2*x. Let t be j(2). Is (21/9)/((-2)/t) a multiple of 7?
True
Suppose 76 = 4*v - 0*v. Does 9 divide v?
False
Suppose 2*i - 19 = -9. Is 2 a factor of i?
False
Suppose -2*p + 855 = 3*p. Let g = -111 + p. Is 11 a factor of g?
False
Suppose 0*l + l - 3*u = 66, -5*l = -2*u - 330. Does 22 divide l?
True
Let i(h) = 2*h**3 - 25*h**2 + 3*h. Is 16 a factor of i(13)?
True
Let b(c) = c**3 + 2*c**2 - 4*c - 2. Let t be b(-3). Let f(r) = r**3 - r**2 + r - 1. Let q be f(t). Suppose -5*j + 14 + 106 = q. Does 24 divide j?
True
Let m = -51 - -127. Suppose -h - 3*h = -m. Does 7 divide h?
False
Let f = 7 - 11. Is 138/f*(-28)/21 a multiple of 18?
False
Is (-165)/(-1)*(-6)/(-15) a multiple of 21?
False
Suppose -3*s = 374 + 190. Let l = -131 - s. Is 19 a factor of l?
True
Let f be (3/6)/((-1)/(-2)). Let u = -1 + f. Suppose o - 6*o + 20 = u. Does 2 divide o?
True
Let m be -12*(3/(-6))/1. Suppose 0*a - 2*h - m = -4*a, 2*a = 2*h. Does 2 divide a?
False
Let t(f) = f**2 + 3*f - 5. Let s be 7*(0 - (4 - 3)). Let c be t(s). Suppose 4*g + 4*k - 33 = 3, c = 2*g + k. Is g a multiple of 14?
True
Let s(m) = -m + 1. Let d be s(-6). Suppose 5*b = d*b. Suppose 50 = -b*w + 5*w. Is w a multiple of 10?
True
Let g = 26 - -4. Suppose 0 = -7*q + 2*q + g. Let z(w) = 5*w - 8. Is z(q) a multiple of 8?
False
Let b(p) = 19*p - 13. Let i be b(11). Suppose 4*l - i = 5*u, 2*l - u = 4*u + 88. Is l a multiple of 18?
True
Let h = 69 - 26. Is h a multiple of 4?
False
Let s(h) = 3*h + 12. Is 12 a factor of s(9)?
False
Let n(j) = j**2 - 11*j + 30. Does 4 divide n(11)?
False
Let v = 5 + -4. Suppose -v = -p - 10. Let z = 20 + p. Is z a multiple of 11?
True
Let p(q) = -5*q**2 - 5*q - 2. Let d(z) = 4*z**2 + 4*z + 1. Let o(a) = -6*d(a) - 5*p(a). Let y be o(-5). Let s = 41 - y. Does 11 divide s?
False
Let v be -1*(-2 + 1) + 4. Let u = v + 19. Is u a multiple of 12?
True
Let x be (330/(-9))/((-4)/(-30)). Let r be 1/4 - x/4. Suppose -2*k + r = k. Is k a multiple of 10?
False
Let z(v) = 35*v - 3. Is 6 a factor of z(3)?
True
Suppose 9*m - 37 - 242 = 0. Does 27 divide m?
False
Let p be ((-380)/(-30))/((-2)/15). Let s = -223 + 375. Let y = s + p. Is y a multiple of 22?
False
Let z be (-4)/(-1)*(-24)/(-2). Let r = 16 + -13. Suppose 2*h + r*n = 44, 5*h = 2*n + 62 + z. Is h a multiple of 11?
True
Suppose -5*p = -6*p + 2. Suppose 2*x - 2*q = -p*x + 18, 3*q = -3. Is x a multiple of 3?
False
Suppose 135 = -5*w + 5. Let i = w - -50. Does 24 divide i?
True
Suppose -4*k - 3*x = -20 + 1, -3*k + 5*x + 7 = 0. Suppose 0 = 3*o + 3*h - 27, -5*h + 14 = o - 11. Suppose -22 = -k*f + n, -3*n = 5*f - 14 - o. Does 2 divide f?
False
Let f(i) = i**3 + i - 66. Let v be f(0). Let d be v*(3 - 14/4). Suppose d + 27 = 3*w. Is w a multiple of 8?
False
Let n be (-1)/2 + (-15)/6. Let a(k) = -2*k + 3. Let c be a(2). Does 13 divide c + 15 + n + 2?
True
Let g be (-1)/2*(-42)/3. Let d = -5 + g. Does 2 divide d?
True
Let j(f) = f**3 + 5*f**2 - 7*f - 3. Let w be j(-6). Suppose 2*o + 2*o = -5*n + 21, 5*n - w*o = 28. Does 3 divide n?
False
Let o be (-208)/(-7) - (-8)/28. Suppose -3*q - o = -0*q. Let s = q - -18. Does 6 divide s?
False
Suppose 0 = 9*w - 5*w - 792. Is 33 a factor of w?
True
Let h be 67 - -1 - (3 + -2). Suppose m + m - 50 = -2*j, -h = -3*j + m. Is j a multiple of 23?
True
Let p = -5 - -20. Suppose -w - p = -4*w. Suppose 68 = w*n - n. Does 14 divide n?
False
Suppose q = m - 4, -13 = 5*m - 3*q - 37. Suppose m = -0*s + 3*s. Suppose -o + 9 = s. Does 7 divide o?
True
Suppose 2*l = l + 5*z - 33, -5*z + 105 = -5*l. Let r = l - -27. Suppose a - 29 = -3*j + r, -3*a = 3*j - 120. Is a a multiple of 12?
False
Suppose 2*a + a = 0. Suppose 2*o + a*o - 6 = 0. Is 3 a factor of o?
True
Suppose -y + 2*y = 54. Is 19 a factor of y?
False
Suppose -23 = -5*w + 3*c, -2*w - 4*c + 2 + 2 = 0. Suppose 0 = -j - 2*u, -4*j + 9*j + w*u = 6. Suppose j*r = 7*r - 105. Does 8 divide r?
False
Let g be 2/3 + (-91)/(-21). Suppose 3*p + g - 17 = 0. Suppose 4*h - p*o = 24, 5*h + 2*o = -11 + 76. Does 11 divide h?
True
Suppose 3*t = 7*t - 5*h - 224, 5*t + 4*h = 239. Is 17 a factor of t?
True
Let s = -7 - -70. Is s a multiple of 21?
True
Suppose 3*b + 36 = 5*h, -3*h + 6*h - 24 = 3*b. Let y(s) = -s**2 + 9*s - 1. Let j be y(h). Let d = j + -5. Does 12 divide d?
True
Let s = 35 - 3. Is s a multiple of 11?
False
Does 6 divide 938/56 + 1/4?
False
Let s(t) = t**3 + 6*t**2 + 5*t + 5. Let p be 15/(-6)*4/2. Is s(p) a multiple of 2?
False
Suppose 0*y = -4*y + 156. Does 13 divide y?
True
Suppose -42 = -2*n + 2*s, 2*s + s - 15 = 0. Suppose -4*l + 5*h - h = 32, 0 = 3*l - 2*h + n. Does 3 divide ((-6)/(-10))/((-2)/l)?
True
Suppose 2*r = -2*r - 11132. Let n = r - -1781. Is 1/4 + n/(-24) a multiple of 22?
False
Let k = 34 + -17. Is k a multiple of 17?
True
Let p = 18 + -13. Is 5 a factor of p?
True
Let a(r) = 12*r + 3. Let x(p) = 24*p + 5. Let w(h) = -7*a(h) + 4*x(h). Does 3 divide w(1)?
False
Suppose 5*t = q - 3*q + 23, -5*t + 4*q = 1. Is 9 a factor of (-16)/t*18/(-4)?
False
Let v(b) = b**2 + 9*b - 18. Is 13 a factor of v(-14)?
True
Suppose 0 = 2*r + 50 - 10. Let n = 44 + r. Is 12 a factor of n?
True
Suppose 2*u + 3*r - 16 = 13, 0 = -3*u + 2*r + 24. Is u a multiple of 2?
True
Let s be 15/2 - 2/(-4). Let n = s - 3. Is n a multiple of 5?
True
Let l = 11 - 8. Suppose -c = l*c. Suppose -5*a = 5*v - 75, -5*v = -c*v - 4*a - 48. Does 6 divide v?
True
Let h = 77 + -18. Is h a multi