de i?
True
Suppose -3*o + 248 = 5*d + 97, -2*d + o = -56. Is d a multiple of 21?
False
Let a be (-2)/(-5) + 12/(-30). Let j = -2 + a. Let v = j - -15. Does 13 divide v?
True
Suppose 3*d = -90 - 0. Let s = -42 - -27. Let n = s - d. Does 8 divide n?
False
Suppose 2*d + 0*d = -10. Let o = -30 + 15. Let h = d - o. Is 9 a factor of h?
False
Suppose k + 2*i + 2*i - 419 = 0, 0 = -5*i. Is k a multiple of 61?
False
Let n = -23 + 23. Let o be (-2)/(0/(-2) + -1). Is 12 a factor of o + n - 10/(-1)?
True
Let n(a) = 131*a + 41. Is n(2) a multiple of 11?
False
Let w = -30 + 76. Let a = 64 - w. Is 17 a factor of a?
False
Suppose -5*r - 10 = -q - 4*q, 0 = -5*q + r + 10. Suppose 0 = -q*x - x + 300. Is 26 a factor of x?
False
Let p = 2 - -8. Is 10 a factor of p?
True
Let o(r) = 7*r**2 - r. Is 9 a factor of o(2)?
False
Suppose 7 = 2*i + 3*f, -3*f + 1 = -i - 0. Suppose 0 = -5*a + 32 - i. Is a a multiple of 6?
True
Suppose -2*o = -5*d + 86, o - 4*o - 4*d - 129 = 0. Let c = o + 77. Does 17 divide c?
True
Is 6 + -6 + 1*107 a multiple of 31?
False
Suppose -o = -3*m - 0*m - 25, 4*m - 88 = -3*o. Let k = 68 - o. Is 16 a factor of k?
False
Let k(t) = t - 1. Let o(w) = -10*w**2 + 4*w - 5. Let i(a) = 3*k(a) - o(a). Let b be i(-2). Suppose 3*m = m + b. Is 7 a factor of m?
False
Suppose 5*y + 6 = -4. Let l be (y + 1)*(-36)/(-1). Let a = 66 + l. Is 15 a factor of a?
True
Suppose u - 3 - 3 = 0. Suppose -n + 16 = -u. Does 11 divide n?
True
Let v(s) = -4*s**2 - 9*s - 12. Let c be v(-4). Let g be (-161)/(-2) - (-1)/2. Let h = c + g. Does 15 divide h?
False
Let g(h) = -h**2 + h - 1. Let p be g(-3). Let i = 20 + p. Is i a multiple of 3?
False
Let q = 162 + -89. Is q a multiple of 20?
False
Let q(x) = x**2 - 7*x - 4. Let v be q(5). Is (432/(-28))/(2/v) a multiple of 29?
False
Let z = 27 + -114. Let a = 6 - z. Does 31 divide a?
True
Let y = 23 - 7. Suppose y = p - 32. Is p a multiple of 24?
True
Let p be ((-2)/(-6))/(2/954). Suppose -4*n = 4*i - 216, 3*i + 2*n - p = -2*n. Is i a multiple of 19?
True
Let z(d) = -d + 14. Is 2 a factor of z(0)?
True
Suppose 0 = -3*d + 9, -5*h - 5*d + 2 = -3. Does 18 divide 385/21 - h/(-6)?
True
Let w(f) = f**2 - 4*f - 8. Let m be w(6). Suppose 2*p = 3*i - 10 - 3, -m*p = -5*i + 21. Suppose -36 = -i*o + 4. Does 8 divide o?
True
Suppose -2*j = 2*j - 16. Suppose -2*m + 24 = 2*u - 0*m, -u - 3*m = -j. Is u a multiple of 8?
True
Let b be ((-1)/(-2))/((-2)/4). Let l = b - -4. Does 2 divide l?
False
Suppose u - 44 = -2. Is 21 a factor of u?
True
Suppose 3*c + 3 = -0. Let x(n) be the first derivative of -21*n**4/4 - n - 1. Is 10 a factor of x(c)?
True
Let w(c) = 6*c**2 + 1. Let g(v) = 6*v - v**2 - 6 - 5*v**2 + 5*v**2. Let t be g(5). Does 7 divide w(t)?
True
Let g = 378 + -10. Does 46 divide g?
True
Suppose -5*r + 5*m - 120 + 420 = 0, 0 = 5*r + 2*m - 272. Is r a multiple of 14?
True
Suppose p - 72 = -3*p. Suppose 2*c - p = -2. Does 4 divide c?
True
Suppose -4*u + 1 = -3. Suppose -2*k - 11 = 2*x - u, 4*x + 2 = 5*k. Is (-31)/x - (-3)/(-9) a multiple of 5?
True
Is 9 a factor of (6*(-2)/4)/((-1)/17)?
False
Let g(i) be the third derivative of -3*i**4/8 + 3*i**2. Let m be g(-1). Suppose -4*q - 270 = -m*q. Is 18 a factor of q?
True
Suppose q + 1 = 19. Does 8 divide q?
False
Let q(a) = -3*a. Let p be q(-1). Let m(d) = 13*d + 2. Does 16 divide m(p)?
False
Let n(p) = -6*p. Let u(q) = 7*q - 1. Let d = -2 - 1. Let o(x) = d*n(x) - 2*u(x). Does 13 divide o(4)?
False
Let d(n) be the first derivative of 3 - 4*n + 1/2*n**2. Is d(9) a multiple of 2?
False
Let n = 12 - -4. Is 16 a factor of n?
True
Suppose 4*q = 2*h - 100, 0*q = 4*h + 2*q - 190. Is h a multiple of 4?
True
Let b(h) = -8*h + 6. Let g be b(4). Let v = g - -59. Is 5 a factor of 1*3/(9/v)?
False
Suppose 2*q + 5*z = -2*q + 145, -z - 83 = -2*q. Is q a multiple of 20?
True
Let o be (4/(-2))/((-6)/(-21)). Let c = o - -11. Suppose 5*b + 4*a = 4*b - 5, -4*b + 40 = c*a. Is b a multiple of 6?
False
Let l = 54 + -23. Is l a multiple of 8?
False
Let s = -12 - -8. Is 13 a factor of 22 + (2 - (s + 3))?
False
Let u be -18*(16/(-6) - -2). Let m be (3 + 0)*u/(-9). Is m/10 + (-104)/(-10) a multiple of 4?
False
Let y(d) = -65*d + 5. Is 27 a factor of y(-2)?
True
Is 22 a factor of (7 - 2)/((-1)/74*-2)?
False
Let u(k) = -7 - 13*k - 7 + 4 - k**2. Suppose -d + 4*j - 8 = 0, -4*d = -2*j + 7*j + 32. Is u(d) a multiple of 11?
False
Suppose -5 = -5*c + 45. Does 10 divide c?
True
Let i be -1*(-3 + -2 + 2). Let l be i - ((3 - 2) + 2). Suppose 9*y + 37 = 2*s + 4*y, l = s + 2*y + 4. Is 5 a factor of s?
False
Suppose h = 2*h - 3. Suppose 0 = 4*v - h*v - 5. Suppose 5*b - x + 6*x = 245, -239 = -v*b - 3*x. Is 16 a factor of b?
False
Suppose -5*m = 2*o - 118, -4*o - 124 = 2*m - 392. Is 29 a factor of o?
False
Suppose -2*q + 10 = 4. Suppose -q*u + 23 = 5*y, -u = 3*u + 5*y - 39. Does 16 divide u?
True
Suppose 3*k + 18 = y, -6*y + 2*y = 5*k - 123. Is 9 a factor of y?
True
Suppose 5*i - 97 = 68. Does 13 divide i?
False
Let n = 70 + -47. Does 23 divide n?
True
Suppose -v - 2*a = -2*v + 12, -5*v = 2*a - 12. Suppose -4*o + 163 = 3*p, -3*o + 0*o + 141 = -v*p. Is 15 a factor of o?
False
Suppose 2*i - 2 = -0. Is 10 a factor of 1 + i - -1*24?
False
Suppose p - 3*q = 0, -3 = -2*q - 1. Is 3 a factor of p?
True
Let d be 1/(2/(-6))*-2. Let q(k) = 3 - 3 + 5*k - d*k**2 - 9 - k**3. Is q(-7) a multiple of 2?
False
Suppose x - 8 = r - 3*x, 0 = -3*r + 5*x - 3. Suppose r*w + a + 11 = 4*a, 0 = 5*w - a. Is w + -3 + 2 + 16 a multiple of 16?
True
Let h(k) = k**3 + 11*k**2 - 2*k + 2. Does 14 divide h(-9)?
True
Let n = -2 + 66. Is n a multiple of 13?
False
Suppose -3*q + 51 = -18. Let b = q - 14. Does 9 divide b?
True
Suppose -3*t + 5 = w, 4*t - 3*w + 17 - 2 = 0. Suppose 2*v + c - 27 = t, 3*v - 3 = c + 25. Suppose 0 = -2*b + 31 + v. Does 21 divide b?
True
Let c = 13 + 4. Let z(w) = -w**3 + 16*w**2 + 21*w - 14. Is z(c) a multiple of 18?
True
Suppose 3*d + d - 32 = -4*s, -5*d = 4*s - 35. Is 39 + (5 - d)/(-2) a multiple of 19?
True
Let m(u) = u**3 - 15*u**2 - 7*u - 18. Does 9 divide m(16)?
True
Let u = -10 + 17. Suppose 2*f - 105 = 5*q, 2*f - 3*q = u*f - 185. Is f a multiple of 18?
False
Let q = 60 - 55. Is q a multiple of 5?
True
Let g = -29 + 42. Let v = 7 + g. Is 20 a factor of v?
True
Let l = -9 + 6. Let b(n) = 11*n. Let r(t) = t. Let v(o) = b(o) - 22*r(o). Is 14 a factor of v(l)?
False
Is 10 a factor of ((-125)/(-20))/((-4)/192*-3)?
True
Let o = -22 + 7. Let i = 54 + o. Is 39 a factor of i?
True
Suppose 0 = v + g + 3*g - 17, -40 = -5*v - 5*g. Suppose 309 = v*d + 3*f, d - 65 = -4*f + 5*f. Is 21 a factor of d?
True
Suppose 2*y + 80 = 6*y. Is y a multiple of 6?
False
Let g(z) = z - 3. Let j be g(5). Suppose 5 - j = -r. Let w(k) = -3*k - 1. Is w(r) a multiple of 5?
False
Suppose n + 4*n = 660. Does 9 divide (n/10)/(6/15)?
False
Suppose 2*m - 144 = -0*m. Is 8 a factor of (4/6)/(3/m)?
True
Is 24 a factor of (-10)/(17/9 + -2)?
False
Let u be 2/(10/4 - 2). Is 8 a factor of (-42)/(-5) + u/(-10)?
True
Does 11 divide 2/(-3)*(-4 - 364/8)?
True
Let n = -5 + 5. Let f(v) = v**3 - v**2 - v + 42. Is 21 a factor of f(n)?
True
Let a be 2*(-2 - 5/(-2)). Is 15 a factor of a + (3 - 5) + 69?
False
Suppose -w - w = -5*o + 31, w + 3 = 0. Is 5 a factor of o?
True
Let g be (-4)/14 + 150/35. Suppose -5*v - g*k - k + 80 = 0, 0 = -4*v - k + 49. Is 10 a factor of v?
False
Let c(w) be the second derivative of w**3/3 - 3*w**2/2 - 3*w. Let p = 10 + -1. Does 9 divide c(p)?
False
Suppose -3*g + 0*g + 42 = 0. Is g a multiple of 14?
True
Let f = -8 - -10. Does 5 divide (f/(-3))/(18/(-297))?
False
Let w(h) = -h**3 + 3*h**2 + 4*h + 3. Let t be w(4). Suppose -4*p + 53 = -t*p. Does 14 divide p?
False
Let j = 0 - 0. Is (-39 + j)/(-3 + 2) a multiple of 14?
False
Let b(k) = 6*k + 7. Let w(d) = -5*d - 7. Let p(c) = 3*b(c) + 4*w(c). Is 2 a factor of p(-6)?
False
Let z(d) = 9*d - 12. Is z(7) a multiple of 17?
True
Suppose 0 = 2*k - 5*d - 299, -3*k + 452 = -7*d + 3*d. Is k a multiple of 38?
True
Let b(j) = j**2 - 10*j + 4. Let w be b(9). Let m be (w/(-3))/(2/6). Suppose -8*k + 54 = -m*k. Is 9 a factor of k?
True
Let f be (-69)/(-21) + 4/(-14). Let m = f - -9. Does 4 divide m?
True
Let t(a) = 54*a**2 - a + 1. Does 10 divide t(1)?
False
Let g = 65 - -34. Is 11 a factor of g?
True
Suppose l = -4*l + 160. Suppose -4*q + l = -56.