0?
True
Let h be -1 - 0 - (-15)/3. Let d = h - 9. Let x(a) = -a**2 - 6*a + 1. Is x(d) even?
True
Let m(x) = 2*x**2 - 6*x + 19. Is 5 a factor of m(-7)?
False
Let t be (-7*(-4)/(-10))/(2/10). Let u = t - -114. Does 25 divide u?
True
Suppose 455 = 2*n - 745. Is 60 a factor of n?
True
Suppose -v + 1336 = 2*o, 4*o + 6736 = -180*v + 185*v. Does 42 divide v?
True
Let q(m) be the second derivative of -m**3/2 - 15*m**2/2 - 4*m. Let z be q(-12). Suppose 3*j - 6 = 2*l - 42, -3*j - z = -l. Does 4 divide l?
False
Let h = -2846 - -3986. Is 10 a factor of h?
True
Suppose 1622 = 2*n + 2*r, -4020 = -13*n + 8*n + 2*r. Does 18 divide n?
False
Suppose -5*h = z - 11, 2*h = 3*z - 3*h - 93. Let m(k) = -k**2 - 18*k - 48. Let l be m(-14). Let v = z - l. Does 15 divide v?
False
Let t = 315 - -277. Does 74 divide t?
True
Suppose -3*r + p = -5*r - 15, -r - 5*p - 21 = 0. Does 13 divide (-166)/r - (-8)/6?
False
Let r be (-62)/(-16) - (-1)/8. Is 7 a factor of r/(-6) - 696/(-18) - 0?
False
Let w = 13 - 8. Suppose 2*m - 4 = 0, -w*o - m = -0*o + 138. Let k = o + 42. Does 14 divide k?
True
Is ((-108)/12)/3 - -1678 a multiple of 31?
False
Let s = 682 + -309. Let t = s - 82. Suppose 4*y = 5*k - 288, k + 4*k - 3*y - t = 0. Is 20 a factor of k?
True
Let a(f) = -16*f + 10*f**2 + 2*f + 9 + 2*f - 8*f**2. Is a(10) a multiple of 14?
False
Let r = -76 - -76. Suppose -4*f - q = -624, f = -r*f + 3*q + 169. Does 43 divide f?
False
Let v be 3*((-256)/(-6) - 3). Let w = v + -49. Let r = w + -44. Is r a multiple of 9?
False
Let y(c) be the second derivative of -3*c**5/20 + c**4/3 + 5*c**3/6 + c**2 - 19*c. Is y(-1) a multiple of 4?
True
Suppose 4*h - 8 = 2*h. Let g(d) = d**2 + 5*d + 3. Let b be g(-5). Suppose 0 = h*t - 5*j - 9 - 21, -3*t - b*j + 36 = 0. Is t a multiple of 10?
True
Suppose 0 = -5*o + 3*z + 3579, 2*o = -60*z + 58*z + 1422. Does 6 divide o?
True
Let o = -1 - -3. Suppose -o*m - z = -7, z - 9 = -3*m - 2*z. Is 1/2 - (-258)/m a multiple of 18?
False
Suppose c = 2*f + 183, -2 = -f + 3*f. Does 11 divide c?
False
Let k = 3427 - 5967. Is 2/(((-8)/k)/(1/5)) a multiple of 22?
False
Let f = -10766 + 15911. Is 29 a factor of f?
False
Let r = -8 - -7. Let c = r + 15. Let h = 41 - c. Is 9 a factor of h?
True
Let m(b) = b**3 - 12*b**2 + 11*b + 8. Let a be m(10). Does 10 divide a/(-8) - (-30)/40?
False
Let c = -4324 + 6058. Is 18 a factor of c?
False
Suppose -19*x + 8*x + 11275 = 0. Is 28 a factor of x?
False
Let u(v) = v**2 + 6*v + 4. Let m(p) = -p**2 - 4*p - 6. Let q be m(-4). Let a be u(q). Suppose z + 2*j = 3*z - 48, a*j - 80 = -4*z. Is z a multiple of 10?
False
Suppose q - 1717 = 5*j - 2*q, -5*j + q = 1719. Let u = -372 + 130. Let s = u - j. Does 27 divide s?
False
Suppose 2*x = -x. Suppose -o - 4 + 1 = x, -3*f - 3*o - 6 = 0. Suppose -g + 5 - f = 0. Does 3 divide g?
False
Let t be (3 - (-9)/(-3)) + 4. Suppose 0*f - 4*f = -4*o - 116, -t*f - 3*o = -116. Is 11 a factor of f?
False
Let g = 33 + -25. Suppose 11*i = g*i. Suppose 4*f - 304 = -i*f. Is f a multiple of 10?
False
Suppose 3*g + 10 = 82. Suppose p - 42 = g. Let b = 93 - p. Is b a multiple of 9?
True
Let p be (-4)/16*6*(-2)/(-3). Let n = 12 - p. Does 13 divide n?
True
Suppose -3*n + 14 = -0*n + 2*o, 3*n - o = 2. Is 61/n - (-15)/(-10) a multiple of 19?
False
Let n be -1 + -2 + 3*26. Let c = 157 - n. Is 10 a factor of c?
False
Let h(a) = a + 4. Suppose -w + 2*w - 5 = 0. Let t be h(w). Suppose -10 - t = -f. Does 19 divide f?
True
Is 27 a factor of 990 - -27*6/18?
True
Suppose 26 = 4*j + 2*v - 168, 0 = -5*j + 3*v + 248. Is 8 a factor of j?
False
Let l(f) be the first derivative of f**4/4 + 4*f**3 - 3*f**2 + 8*f - 18. Suppose u = 3*t - 7*t - 45, 0 = 5*u - 15. Is 20 a factor of l(t)?
True
Suppose 0 = 58*q - 49847 - 57627. Is 117 a factor of q?
False
Let i = -76 + 88. Is 5 a factor of (i/24)/(1/158)?
False
Suppose -4*i = h + 1 - 14, 3*h + 29 = 5*i. Suppose -1355 - 1689 = i*w. Does 19 divide w/(-11) + 6/(-33)?
False
Suppose 285*k - 302*k = -9792. Is 6 a factor of k?
True
Suppose -m + 1 = -2*g - 1, 0 = -5*m - g + 54. Let t be 4/m + (-106)/(-10). Suppose 4*o - t = 165. Is o a multiple of 18?
False
Is 9/63 + (-1623)/(-7) a multiple of 13?
False
Let p(k) = 9*k - 46. Let t be p(9). Suppose -x - 11 = -t. Is x a multiple of 5?
False
Suppose 3*a - 3*u - 62 - 34 = 0, -3*u - 60 = -2*a. Is a a multiple of 6?
True
Let b(v) = v**3 - 5*v**2 - v - 9. Suppose 12 = 2*t - 0*t. Does 7 divide b(t)?
True
Let o = -57 - -82. Let g be (63/(-14))/(2/(-20)). Let l = g - o. Is l a multiple of 20?
True
Let z = -5253 - -7761. Is z a multiple of 33?
True
Let x be (3/(-4))/(2/(-16)). Suppose f = 2*t + 5*f - 304, 0 = -t - 4*f + 148. Suppose -3*g + q = x*q - t, 0 = -2*q - 6. Is g a multiple of 19?
True
Let x = 0 + 30. Let y = 60 - x. Is y a multiple of 30?
True
Let g(p) be the third derivative of -p**6/120 - p**5/12 - p**4/12 + p**3 + 49*p**2. Is g(-5) a multiple of 2?
True
Is -6675*-1*(-1 - (-20)/15) a multiple of 25?
True
Suppose 29 + 21 = 5*x. Suppose x*p = 8*p + 128. Does 16 divide p?
True
Let a(p) = -13*p - 7. Let x be a(-3). Let y = x - 32. Suppose -3*d - d = 4*i - 32, y = 3*d - 3*i - 24. Is 8 a factor of d?
True
Suppose 0 = 2*v + 3*v - 20, -d = 3*v - 14. Suppose -d*j + 45 + 265 = 0. Is 15 a factor of j?
False
Let y(a) = 9*a**2 + 4*a - 4. Let j be y(-2). Let f = -12 + j. Does 4 divide f?
True
Let b = 139 + -239. Let r = -65 - b. Is r a multiple of 9?
False
Let s(m) = 5*m**3 + 3*m**2 - 2*m + 6. Is s(5) a multiple of 58?
True
Let f = -160 - -578. Is 59 a factor of f?
False
Suppose 2*k - 4*k - 8 = 4*v, -4*k = v + 9. Let w be (0 - (-4 - v)) + 2. Suppose 0 = w*o - 46 - 199. Is 26 a factor of o?
False
Let t = -3 - -1. Is 8 a factor of 0 + (1 + t - -57)?
True
Let f be 42/(-147) - (-23)/7. Suppose 0 = -11*k - f*k + 280. Does 10 divide k?
True
Suppose -m + 3*l = 2*l - 3394, -6789 = -2*m + 3*l. Does 45 divide m?
False
Let w(t) = -t**2 - 6*t - 1. Let s be w(-5). Suppose -s*l = l - 170. Does 12 divide l?
False
Let t = 148 + -8. Is 6 a factor of t?
False
Let r(b) = -1. Let x(d) = -19*d - 12. Let q(w) = 3*r(w) - x(w). Does 13 divide q(3)?
False
Let o(b) = -b**2 + 5*b + 272. Is 34 a factor of o(0)?
True
Let q = 57 + -57. Suppose -14*z + 11*z + 186 = q. Is 6 a factor of z?
False
Suppose 2*m = -2, -4*j + 16 = m - 23. Let k = -9 - j. Let v = k - -28. Is 3 a factor of v?
True
Let g(z) = -23*z + 1054. Does 11 divide g(33)?
False
Let w = 55 + 348. Suppose 0 = -3*l + 2*h + 602, 0 = -2*l + 3*h - 2*h + w. Suppose -126 = -2*s + 5*m, 5*m + l + 58 = 4*s. Is s a multiple of 19?
False
Let o(c) = 124*c**2 + 7*c. Is 9 a factor of o(-1)?
True
Let u(o) be the third derivative of -o**5/60 + 13*o**4/12 - 8*o**3/3 - 27*o**2. Does 24 divide u(18)?
False
Let h = 51 + 1. Let b be h/16 + 6/8. Does 5 divide b + (2 - 12*-1)?
False
Suppose -14*o + 8988 = 28*o. Is 9 a factor of o?
False
Suppose 9*c = 10*c - 7. Suppose 5*r = 13 + c. Is 6 a factor of 1*(-27)/(-6)*r?
True
Let c(h) = h**3 + 46*h**2 + 99*h + 10. Is 100 a factor of c(-43)?
True
Let a(c) = 11*c**2 - 31*c + 221. Is a(8) a multiple of 13?
False
Let x(w) = 2*w + 65. Suppose -4*p = -5*g - 0*g + 65, 3*p - 4*g = -48. Is x(p) a multiple of 2?
False
Suppose 0 = -7*w + 763 + 1855. Let c = w - 210. Is c a multiple of 10?
False
Let r = -30 - -191. Is r a multiple of 12?
False
Let p be (4 + 0)/(-4)*-6. Suppose 10*a - p*a = 0. Suppose a = -15*b + 14*b + 90. Is b a multiple of 18?
True
Let w(z) = -z - 1. Let r(j) = 3*j + 1. Let d(x) = 2*r(x) + 5*w(x). Let h be d(7). Suppose 3*g = h*g - 14. Is g a multiple of 6?
False
Let c be (32*(-3)/3)/((-3)/18). Let h = c + -126. Is h a multiple of 11?
True
Let s(c) = 30*c - 260. Is s(20) a multiple of 34?
True
Let j(i) = 5*i**2 + i + 1. Let w(p) = p**2 - 7*p - 7. Suppose -3*u - d + 29 = 0, -4*d = -u + d - 17. Let y be w(u). Does 3 divide j(y)?
False
Let n be 0*((1/1)/(-1))/(-1). Suppose -25 = -p + 4*y, -4*p - p + 2*y + 215 = n. Is p a multiple of 15?
True
Suppose q = -2*d + 40 + 20, 2*d = 0. Let w = q - 35. Suppose -l + w = 4*l. Is l a multiple of 3?
False
Let r be (24/(-36))/((-2)/9). Let l be ((-18)/6)/(r/(-2)). Suppose 2*t - l = 2. Does 2 divide t?
True
Let v(s) = -s**2 - 9*s - 13. Let p(n) = -n**3 + 4*n**2 - n + 4. Let d be p(4). Suppose 18 = -3*f + 5*t, 4*f - 2*t + 24 = -d. Does 4 divide v(f)?
False
Suppose 2*c - 230 - 127