 Is o a multiple of 10?
True
Let p(k) be the first derivative of 2*k**2 + 2*k + 1. Let z(r) = -4*r - 28. Let j be z(-8). Is p(j) a multiple of 9?
True
Let m(v) = -v**2 - 6*v - 2. Let b be m(-5). Let x = b + -3. Suppose 3*c = -x*c + 84. Is 19 a factor of c?
False
Let j(r) = r**3 - 2*r**2 + 1. Let d be (6 - (0 - -1)) + -2. Let c be j(d). Is 48/c*60/18 a multiple of 8?
True
Suppose 5*z - 5 - 10 = 0. Suppose 4*k = z*k. Let j = 4 + k. Is 2 a factor of j?
True
Is -42*((-45)/6 + 4) a multiple of 11?
False
Suppose 0 = -0*x + 3*x + n - 13, -5*x + 27 = -n. Does 6 divide (-84)/(-15) - (-2)/x?
True
Is 22 a factor of 3*(1 - -21) - 0?
True
Let y be (3/4)/(2/8). Suppose 3*o - 63 = -3*h, y*o - h = -2*h + 57. Suppose 14 = 2*g - o. Is 8 a factor of g?
True
Suppose -3*i + 5 = 5*s, 5*i - 6*s = -4*s + 60. Let r = i - 5. Is 3 a factor of r?
False
Suppose -2*l + 2 = 2*d, 0 = -4*d + 3*l + 2*l - 14. Let h be (26 - 8)*d/(-3). Suppose -2*y + 16 = 3*b, 4*b = h*b + 3*y - 9. Is b a multiple of 6?
True
Let c be 4/(-14) - (-37)/7. Suppose 3*y + 5*m = 24, 5*y - 3*m - 1 = c. Does 2 divide y?
False
Suppose 0 = 2*w - 3*w + 3*o - 7, -2*o + 8 = 0. Suppose h - 3*t - 15 = 0, w*h - 3*t = -0*h + 15. Let m = h + 18. Does 9 divide m?
True
Suppose 3*x + 2*f = -3*f + 97, 3*f + 33 = 2*x. Is 24 a factor of x?
True
Let p(x) = x**2 - 5*x. Is 25 a factor of p(-5)?
True
Let d = 159 - 105. Is d a multiple of 10?
False
Let r = 67 + 47. Is r a multiple of 30?
False
Let f(k) = -k**3 - k - 1. Let b = -4 - -2. Is f(b) a multiple of 4?
False
Let l(j) = j**3 - 4*j**2 + 7*j. Does 15 divide l(5)?
True
Let t = 139 - 77. Let f = t - 30. Is f a multiple of 16?
True
Let t = -30 - -55. Suppose 0 = q - 2*c - 12, 3*q - 5*c - 8 - t = 0. Suppose 2*l - q*l = -52. Is 12 a factor of l?
False
Suppose 5*t = 5*g - 0*g - 135, 5*g - 4*t - 138 = 0. Does 15 divide g?
True
Let h be -2 - (-5)/((-5)/(-36)). Suppose 4*z - h = 86. Is z a multiple of 12?
False
Suppose -39 = -5*p + 4*p. Does 13 divide p?
True
Let s = -22 - -55. Does 11 divide s?
True
Suppose -q - 2*d + 5 + 3 = 0, 2*q = 4*d - 24. Does 4 divide (-15)/q*(-8)/(-12)?
False
Let d(t) = 13*t**3 + 11*t**2 - 24*t - 11. Let q(x) = -3*x**3 - 3*x**2 + 6*x + 3. Let g(y) = 2*d(y) + 9*q(y). Is g(-6) a multiple of 5?
True
Suppose 0 = 2*h - 0 - 4. Suppose h*c + 54 = 5*c. Is c a multiple of 9?
True
Let f(w) be the third derivative of w**6/120 - 7*w**5/60 - w**4/12 - 4*w**3/3 - w**2. Let d be f(6). Is (-2)/(-6) + d/(-12) a multiple of 5?
True
Suppose -2*u + 3*u = 4. Let x(j) = 6*j - 5. Does 10 divide x(u)?
False
Is 14/(-49) + (-1892)/(-7) a multiple of 30?
True
Let k = 5 + -5. Suppose 2*w + k = 4. Suppose -3*q - w*q = -3*i + 37, 0 = 5*i - 3*q - 67. Is 11 a factor of i?
False
Let w = 90 + -53. Suppose 125 = 5*v - 5*f, -2*v - 4*f = -3*v + w. Is 12 a factor of v?
False
Let j(k) be the third derivative of k**7/840 - k**6/180 - k**5/40 - k**4/6 - k**3/6 + k**2. Let h(q) be the first derivative of j(q). Is 8 a factor of h(4)?
True
Let x = 14 - 2. Let t = x + 12. Is t a multiple of 12?
True
Is (-2164)/(-18) - (-2)/(-9) a multiple of 40?
True
Let o(p) = 7*p**2 - 3*p - 4. Suppose u - 4*u + 16 = -5*b, 3*u = b - 4. Let x be o(u). Suppose 4*w = 2*w + x. Does 17 divide w?
True
Suppose 3*c = -15 + 168. Is 51 a factor of c?
True
Let l(s) = -s**3 + 7*s**2 + 4. Let k be l(7). Suppose 2 = -j - k*o, -3*o - 82 = -4*j - j. Is 7 a factor of j?
True
Suppose -q + 220 = g, 3*g - 2*g = -2*q + 439. Does 28 divide q?
False
Suppose 5*t - 5*k = -0*t - 2770, -3*k = 4*t + 2223. Suppose -3*n - 52 = 11. Is t/n - (-6)/(-14) a multiple of 21?
False
Let t = -4 - -9. Suppose -t*n + 33 = -27. Does 12 divide n?
True
Let t = -3 - -5. Is ((-77)/33)/(t/(-36)) a multiple of 21?
True
Let o(x) be the first derivative of -11*x**2/2 - 6*x + 3. Is o(-4) a multiple of 19?
True
Let k = -204 - -301. Is 19 a factor of k?
False
Suppose 11*a - 192 = 2613. Is 15 a factor of a?
True
Let n be -9*(-7 + 1 + 3). Suppose -n = -3*j + 9. Does 6 divide j?
True
Suppose q - 3*b = 35, 25 = 4*q - 3*q - b. Is 3 a factor of q?
False
Suppose -2*m + 3*m - 52 = 0. Does 9 divide m?
False
Let p(r) = 3*r**2 + 7*r + 4. Does 10 divide p(-5)?
False
Suppose 12 = -4*l + 84. Does 4 divide (3/9)/(1/l)?
False
Let g = -1 - -8. Suppose 0 = q - 4*q + 69. Suppose x - q = g. Is 11 a factor of x?
False
Suppose -2*j + 8 + 8 = -3*g, g = -2. Suppose -5*i + 2*v = -82, i + 4*v = 5*i - 56. Suppose 8*f + 24 = w + 3*f, 2*w = -j*f + i. Is 5 a factor of w?
False
Suppose 3*c - 18 = -0*c. Let u be 15/((3/c)/1). Suppose h - u = d, 4*h + 0*d + d = 100. Is 12 a factor of h?
False
Suppose -12 = c + 3*c. Let q(o) = o**3 + 4*o**2 + 4*o + 3. Let z be q(c). Suppose v + 3*g - 55 = z, -4*g - 10 = v - 69. Is v a multiple of 20?
False
Let a be 10/25 - 26/(-10). Let u(f) = -f + 3. Let b be u(a). Suppose b = -0*o - o + 8. Does 8 divide o?
True
Let a = -39 + 81. Is 6 a factor of a?
True
Suppose 11*t = 1020 + 729. Is t a multiple of 30?
False
Let k = -135 - -203. Does 26 divide k?
False
Let o(i) = -i - 6. Let r be o(-11). Let s(q) = -8*q**2 + 4*q + 9. Let z(v) = 7*v**2 - 4*v - 8. Let b(f) = 6*s(f) + 7*z(f). Is 2 a factor of b(r)?
False
Suppose u - 28 = 54. Does 41 divide u?
True
Let x be (156/16)/(3/8). Let m be ((-45)/(-2))/((-1)/(-2)). Let h = m - x. Is h a multiple of 9?
False
Suppose -5*f + 190 = -4*f. Does 49 divide f?
False
Suppose 4*q + 2*p - 165 = -p, -160 = -4*q - 4*p. Does 13 divide q?
False
Is (-3)/(-4) - (-5895)/60 a multiple of 10?
False
Suppose -4*m - 5*n - 65 = 0, 3*m - 4*n = 4*m + 19. Suppose 0 = -4*p - 2*j - 30, 4*p = -3*j - 20 - 15. Let c = p - m. Is 4 a factor of c?
False
Suppose 3*n + 103 = c, 22 + 283 = 3*c - 5*n. Suppose -o - 4*o = 5*x + 180, -3*o - 5*x - c = 0. Let k = 88 + o. Is k a multiple of 23?
False
Does 17 divide 51*(-5 - (-5 + -1))?
True
Let m(s) = 4*s + 4. Suppose 0*q = -q + 3. Does 16 divide m(q)?
True
Suppose 2*j - d = 2 + 15, 31 = 4*j - 5*d. Let w = j - 7. Does 2 divide w?
True
Suppose -h - 2*j - 2 = 1, -5*h = -5*j + 15. Let m = h + 27. Does 13 divide m?
False
Let v(p) = 4*p**3 - 4*p**2 + 3*p - 3. Let m be v(3). Let b be 6/15 + m/5. Is (10/4)/(2/b) a multiple of 10?
True
Let c(d) = d**2 + 4*d + 3. Let v be c(-4). Let p(s) = -s + 2*s + v*s**2 + 2 + 7*s - 2*s. Is p(-4) a multiple of 14?
False
Let s(x) = x**3 + 10*x**2 + 3*x. Does 6 divide s(-4)?
True
Let b(f) = f**2 - 5*f. Suppose -4*x + 22 - 2 = 0. Let n be b(x). Let u(k) = -k + 35. Is 22 a factor of u(n)?
False
Let y = 3 - -13. Is y a multiple of 8?
True
Let a be 3*78/9*1. Let j = a + -10. Does 11 divide j?
False
Let u be (4/12)/(1/3). Is 6 a factor of -6 + 4 + 17/u?
False
Suppose -14 - 133 = -3*o - 5*s, 2*s - 264 = -5*o. Is o a multiple of 15?
False
Let d = -177 + 381. Is 34 a factor of d?
True
Suppose 0 = -z - 5*s - 13, -3*z = -5*s - 69 + 8. Is z a multiple of 6?
True
Does 6 divide (1/3)/(2/36)?
True
Let u be 87/12 - 9/(-12). Let f = 12 + u. Is 15 a factor of f?
False
Let y(c) = -c**3 - 6*c**2 - 6*c + 4. Let l be y(-5). Is 6 a factor of (-16)/72 - (-137)/l?
False
Let a = -6 - -3. Suppose 32 = -s - 3*s. Let n = a - s. Is n even?
False
Suppose 2*z - 28 = -0*z. Is z a multiple of 7?
True
Let f = -3 + -5. Let b = f + 8. Suppose b = 5*n - n - 28. Is 4 a factor of n?
False
Does 32 divide (-6)/(-21) + -3 + (-4966)/(-14)?
True
Suppose -2*w + 267 = 3*c - 0*c, 0 = -c - 1. Let i = w + -73. Is 14 a factor of i?
False
Let n = -2 - -4. Suppose 0*q + 5*q - 10 = 0, 2*b = -3*q + 16. Suppose 0 = 4*j - j + 15, -b*j - 33 = -n*o. Is o a multiple of 4?
True
Let a be -1 - 3/(-3) - 1. Let i = a + 1. Suppose -4*w + 12 + 20 = i. Is 4 a factor of w?
True
Suppose 5*n = n - 5*f + 8, -2*f = -2*n + 4. Let b be -1*(n - 2) - -47. Let s = -18 + b. Is 13 a factor of s?
False
Let h(x) = x**2 - x + 1. Let z(r) = -r**2 - 4*r. Let b be z(-3). Is 3 a factor of h(b)?
False
Suppose 3*w = -4*r + 57, r + 4*w - 18 = -7. Suppose 1 = 2*a - r. Is a a multiple of 3?
False
Suppose 5*p - 4*x = 53, -3*x - 5 + 1 = -p. Is p even?
False
Suppose 2*l + 20 = -2*l. Let t(r) = -9*r. Is t(l) a multiple of 15?
True
Let x(r) = r**3 + 7*r**2 + 2*r - 7. Let m(i) be the first derivative of i**2/2 - 6*i - 1. Let t be m(0). Is x(t) a multiple of 17?
True
Let r(m) = 223*m**2 + m. Let t be r(1). Suppose -5*a + y = -t, a + 4*y = 5*a - 176. Is 15 a factor of a?
True
Let c(f) = 4