d = o - q. Is d even?
False
Let a(i) = -i**2 - 5*i + 4. Let y be a(-6). Let w be 252/14*1*1/(-2). Is w/(9/60*y) a multiple of 10?
True
Let k(p) = 75*p**2 - 13*p - 30. Is 25 a factor of k(-3)?
False
Let b(y) = 146*y**2 - 19*y - 69. Is 11 a factor of b(-3)?
False
Let a be -1*9/((-9)/3). Suppose 0 = t + a, y - 5*t - 22 - 3 = 0. Is y a multiple of 3?
False
Is 7 a factor of 4 + (-4845)/(-2 - 3)?
True
Let t(f) = f**3 + 14*f**2 + 9*f + 10. Suppose 0*q - 5*r = -4*q - 42, 0 = -q + 4*r - 5. Does 11 divide t(q)?
False
Let v(o) = 8*o**2 + 2*o + 3. Let m(a) = -a + 35. Let p(t) = t - 53. Let r(y) = 8*m(y) + 5*p(y). Let s be r(6). Is v(s) a multiple of 23?
True
Suppose -7*s = -2*s - 3*a - 27, -5*s - 5 = 5*a. Suppose 10 - 25 = -s*x. Suppose x*q + 25 = -2*u + 129, 3*q - 279 = -5*u. Is u a multiple of 19?
True
Let h(g) be the third derivative of -41*g**7/5040 + g**5/60 + 5*g**2. Let m(j) be the third derivative of h(j). Does 11 divide m(-1)?
False
Suppose 8*f + 44 = 4*f. Does 14 divide (1 - (-107)/(-4))*44/f?
False
Let r(s) be the second derivative of -s**6/120 - s**5/30 - s**4/24 + s**3/2 - 3*s**2/2 + 4*s. Let z(n) be the first derivative of r(n). Does 13 divide z(-4)?
True
Suppose 4*z = z + 108. Suppose 4*r - 52 = -n, 4*r - 5*n - z = -2*n. Is r a multiple of 3?
True
Suppose 8*q - 7*q = 16. Suppose -q = -0*x - 2*x. Is 3 a factor of 76*(6/3)/x?
False
Suppose 103*g = 108*g - 1135. Does 6 divide g?
False
Let n = 9 - 6. Suppose 0 = -2*b - n*b. Is ((-2)/3 - b)*-81 a multiple of 27?
True
Suppose 5*h = 4*h - 170. Let z = -119 - h. Let r = z - -2. Is 12 a factor of r?
False
Let s be 1 - (-3)/((-9)/(-6)). Suppose 0 = 4*c, s*c - 88 = -2*b + 188. Suppose 0 = -3*h - 0*h + b. Does 18 divide h?
False
Let z(t) = 22 - 16*t - 14*t + 28*t. Let h be z(10). Suppose 12 = -3*v, 6*g = 3*g + h*v + 341. Is g a multiple of 32?
False
Suppose 0 = -4*j - j - 260. Is 25 a factor of (-1 + (-21)/(-6) - 3)*j?
False
Suppose -2*a - 539 = -3799. Does 6 divide a?
False
Suppose 0 = -2*c + 2*u + 7 + 35, -5*u = c - 9. Suppose 0*i - 62 = -3*y - 2*i, -y + i + c = 0. Does 4 divide y?
True
Suppose b + 0 = 5. Suppose -10*m + b = -9*m. Let y(s) = -s**3 + 6*s**2 + 3*s - 7. Is y(m) a multiple of 9?
False
Let z(a) = a**3 - 4*a**2 + 8*a + 58. Is z(11) a multiple of 23?
False
Suppose -9 = -5*p - o - 2*o, -3*p + 5 = 2*o. Suppose -8 = p*v - 14. Suppose 4*n = -4*b + 436, -3*b - v*n - 3*n + 337 = 0. Is 29 a factor of b?
False
Is 16 a factor of ((-32)/40)/4 - (-5532)/10?
False
Let f(t) = 13*t - 158. Is f(24) a multiple of 11?
True
Let h = -462 + 1101. Does 9 divide h?
True
Let o = 1623 - 818. Does 23 divide o?
True
Let j(l) = -l**2 + 5*l + 8. Let i(y) = -y**3 + 8*y**2 - 5*y - 7. Let g be i(7). Let z be j(g). Let d(c) = 3*c**2 + 8*c. Is 20 a factor of d(z)?
True
Let q be ((-102)/4)/((-2)/(-4)). Let p = 33 + q. Let u = 32 + p. Is 7 a factor of u?
True
Let o be -1 - (-11 + 0 - -1). Suppose -6 = -2*d - 5*u, 2*d - 3*u = -d + o. Suppose 130 = d*n + 34. Is n a multiple of 17?
False
Suppose -157*t - 5850 = -163*t. Is t a multiple of 65?
True
Let r(b) = -b + 83. Let l be 29 + -1 - (11 - 7). Is 5 a factor of r(l)?
False
Suppose 49854 = 28*q - 42126. Does 30 divide q?
False
Let i(k) = -9*k + 11. Let l be i(-18). Is 21 a factor of 1*l - (7 + -7)?
False
Suppose -522*k = -493*k - 23548. Is 16 a factor of k?
False
Let c(v) = -v**2 - 41*v - 44. Is c(-23) a multiple of 24?
False
Let m(n) = -n**3 - 6*n**2 - 7*n - 7. Suppose 3 = -3*v - 5*f, -1 + 16 = -4*v - 3*f. Does 8 divide m(v)?
False
Does 71 divide 12221/22 + (18/6)/(-6)?
False
Let n(i) = -4*i**3 - 2*i**2 + 2. Let t be 56/(-32) + (-2)/8. Is 14 a factor of n(t)?
False
Suppose 7*t = 2*t + 55. Let c(p) = 3*p**2 - 2*p**2 + 1 - 2*p**2 - 3 + t*p. Is 11 a factor of c(8)?
True
Let h(v) = v**2 - 12*v + 8. Let s be h(12). Let n(z) = -z**2 + 9*z + 6. Let a be n(s). Suppose 1 + a = o. Is 6 a factor of o?
False
Let z(v) = 2*v - 3*v - 15 + 51 - 3*v. Is z(-8) a multiple of 28?
False
Let g = 15 - -390. Suppose -6*v - g = -5*v. Is (v/(-25))/((-2)/(-10)) a multiple of 27?
True
Suppose -5*p = 2*y - 539, -8 = -3*y - 2. Does 6 divide p?
False
Let p(j) = 101*j**2 + 40*j + 6. Does 22 divide p(-4)?
False
Suppose -4*y + 533 = -11. Suppose -5*t = -3*t - b + 162, 405 = -5*t - 2*b. Let i = y + t. Is 11 a factor of i?
True
Suppose 3*a = 4*l + 154, 4*a = -a + 3*l + 275. Let o = -26 + a. Suppose -3*g - 43 - o = -3*r, 0 = 5*r + g - 131. Is 7 a factor of r?
False
Let n = 114 + 145. Is 20 a factor of n?
False
Suppose -16*t + 253 = -2211. Is 66 a factor of t?
False
Is 4/((-8)/6830)*-1 - -7 a multiple of 96?
False
Let o(i) = -3*i**3 + 2*i**3 - 4*i + 5*i**2 + 2 + 2*i**2. Suppose 0 = -9*h + 16*h - 42. Does 7 divide o(h)?
True
Does 29 divide ((-8)/(-6))/(-9 - 12016/(-1335))?
False
Let d(a) = -a**2 + 6. Let c = 5 + -10. Let l(i) = -i**2 - 5*i. Let m be l(c). Is d(m) a multiple of 2?
True
Let w(x) = -3*x + 10. Let z be w(2). Is z/((-2)/3 + (-49)/(-42)) a multiple of 2?
True
Let q = 31 + -29. Suppose 2*l - 5*r - 1 = -q, r + 19 = -2*l. Is ((-6)/l)/(4/336) a multiple of 21?
True
Suppose 21*i = 2519 - 503. Is 3 a factor of i?
True
Suppose -n = 5*q - 73, 36 = 2*q - n - 2*n. Suppose 337 = 3*m + 4*o + q, -5*o = -3*m + 367. Is 25 a factor of m?
False
Let r be 4/(-14) - (-7531)/119. Does 13 divide r + -1 - 38/(-19)?
False
Suppose 3*w = -3*v - 9, 2*w - 3*w = -v + 7. Suppose 5*n + 385 = 5*j, n - 77 = -j + v. Is 13 a factor of j?
True
Is -4 + 655 - (0/3 - -3) a multiple of 9?
True
Let z = 28 + 27. Is 3 a factor of z?
False
Suppose -9*v = 5*v - 84. Suppose -10*h + 124 = -v*h. Does 24 divide h?
False
Suppose -11*x = -24*x + 3224. Is 31 a factor of x?
True
Let p(y) = -3*y**2 + 8*y**2 + 6*y - 5*y - 2 + 8*y. Does 5 divide p(-3)?
False
Let r(v) = 3*v**2 - 6*v - 11. Let a(g) = 7*g**2 - 13*g - 22. Let z(k) = 2*a(k) - 5*r(k). Let o be z(7). Does 28 divide ((-35)/o)/7*146?
False
Suppose 0 = -4*j + 3*r + 6, j = 5*j + r - 14. Suppose 0 = j*t - 5*t - 2. Is 78 + t - (-14)/(-7) a multiple of 15?
True
Let v(z) = 3*z + 2. Let y be v(2). Suppose -7*h - 45 = -y*h. Is h a multiple of 15?
True
Suppose -2*w = 4*o + 4, 4*w - 3 = -11. Suppose o = v + 3*v - 4. Let y = 18 - v. Is y a multiple of 11?
False
Suppose 42 = d - 21. Let v(y) = -25*y**2 - 2*y. Let s be v(1). Let c = d + s. Is 9 a factor of c?
True
Suppose -4 = k - 5*t, 5*k + 4*t - 50 + 12 = 0. Suppose 32 = k*g + 8. Is 4 a factor of g?
True
Let j = -8 - -10. Let y be 3 + 14 - (4 - j). Is 230/y - 2/6 a multiple of 9?
False
Let o(h) = -4*h - 1 + 1 - 5*h. Let c = -7 + 3. Is 12 a factor of o(c)?
True
Suppose 162 = 3*p - 246. Suppose 3*o - 5 = p. Is o a multiple of 47?
True
Let b(v) be the second derivative of -1/2*v**3 - 3/2*v**2 + 0 + 2*v. Does 4 divide b(-5)?
True
Let b(x) = -x**3 - 8*x**2 - 6*x - 6. Let l(y) = -y**2 - y - 1. Let z(n) = -b(n) + 5*l(n). Let s be z(-2). Does 8 divide (-1)/(s + 496/(-164))?
False
Let v(i) = 75 - i + i**2 - 6*i**3 + 147 + 7*i**3 - 60. Is v(0) a multiple of 18?
True
Suppose -4 + 26 = -2*j. Let u(m) = -14*m + 56. Is u(j) a multiple of 21?
True
Is (63/(-2))/((-57)/76) a multiple of 21?
True
Let r = 0 + 2. Suppose 3*y = 4*n - 242, 0 = -r*n - 6*y + 3*y + 130. Suppose 2*j - n = -4*a, -4*j + 3 = 23. Does 18 divide a?
True
Suppose 5 = v + 9. Does 3 divide (v/18 - 44/(-36)) + 53?
True
Let a(k) = -k**2 - 5*k - 7. Let b be a(-6). Let m = b + 19. Suppose 0 = 5*h - m - 14. Is h a multiple of 4?
True
Let g(a) = 64*a - 26. Is 49 a factor of g(5)?
True
Suppose 13*s - 1781 = 2041. Is 21 a factor of s?
True
Suppose -3*n + 4*s = -12, -5*s + 20 = -n + 6*n. Suppose i - 430 = -n*i. Does 19 divide i?
False
Suppose -2*q + 148 = -5*o, -3*q - 3 = -0. Let y = o - -19. Let x(l) = -l + 16. Is 9 a factor of x(y)?
True
Let t be 3 - 0*1/4. Suppose 5 - 221 = -t*a. Suppose 0 = -3*g - g + a. Does 14 divide g?
False
Let f = 14 - 12. Suppose -f*g = -0*g - 6. Is 10 a factor of (-15)/((-9)/2 + g)?
True
Let f(p) = -p**2 + 20*p + 65. Is 8 a factor of f(0)?
False
Let c be (9*-1)/(3/(-4)). Let m = c + -6. Let v = 48 - m. Does 12 divide v?
False
Let q = 3 + -1. Let o be ((-2)/4)/(3/(-30)). Suppose -4*i - 27 = -q*c + 61, 238 = o*c - i. Is c a multiple of 10?
False
Suppose 4*r + 297 = 3*h, 5*r + 4*h + h = -380. Let x = -336 + 477. Let k = x + r. Is 14 a factor of k?
False
Let h(o) = 4*o - 8. Let y be h(-3). Let 