es 15 divide o?
True
Suppose -2*s + 0*w + 5*w = -12, 3*s + 4*w = 18. Suppose -8*c = -9*c + s. Suppose 0 = c*n - n - 40. Is 6 a factor of n?
False
Let k be ((-74)/(-5))/((-1)/(-5)). Let d be (0 + -2)/(-2*6/264). Let v = k - d. Is v a multiple of 14?
False
Suppose -18*h = -179 - 1747. Is h a multiple of 83?
False
Let j(w) = -w**3 - 8*w**2 - 16*w - 1. Let f(g) = -1 - 19*g**2 + 3*g**2 + 10*g**2. Let s be f(-1). Is 31 a factor of j(s)?
True
Suppose 1020 = 5*v + o + 299, 0 = 5*v - 5*o - 715. Suppose 5*u - 136 - v = 0. Does 17 divide u?
False
Let b = 16 - 22. Does 10 divide (36/(-24))/(b/80)?
True
Suppose -53*t + 50*t = -630. Suppose o + 4*f = t, -413 = -4*o + 5*f + 364. Is 19 a factor of o?
False
Suppose -5*i = -25, 0*b - 2*i - 5034 = -2*b. Suppose 5*y + 672 = b. Let w = y - 258. Is w a multiple of 26?
False
Let a(y) = -34*y + 9. Let v be a(-4). Let p = v - 97. Suppose 0 = -2*r - 0*g - g + p, -4*r + 3*g + 86 = 0. Is r a multiple of 8?
False
Let w(x) = 6*x**3 + 13*x**2 + x - 35. Is 11 a factor of w(5)?
True
Suppose -r + 3*t = -255 + 72, r + 3*t = 153. Suppose 7*b + r = 455. Is 41 a factor of b?
True
Suppose 6*c = 2*c, c + 4 = y. Suppose 4*v = -3*d - 48, 2*d + y*v + 0 = -36. Is (-13)/((-182)/d)*-7 even?
True
Let c = -961 - -1351. Is c a multiple of 65?
True
Suppose -s - 2*k - 3 = 2, 5*k = 4*s - 32. Suppose -2*v - i + 514 = -6*i, 4*i = -s*v + 794. Is 18 a factor of v?
False
Suppose -7*h = 28*h - 122185. Is h a multiple of 51?
False
Suppose -5*o = 5, -4*o + 6*o + 1674 = 2*j. Is 38 a factor of j?
True
Let u = 785 + -351. Is u a multiple of 62?
True
Suppose -25*y + 23807 = -57793. Does 96 divide y?
True
Let j be -2 + (-2 - -3) - 8. Let n be (12/j)/(2/3). Is 15 a factor of (n + 28)/2 + 2?
True
Is -4 - ((-4320)/(-4))/(-5) a multiple of 11?
False
Let m(j) = j**3 + 28*j**2 - 8*j - 70. Does 11 divide m(-28)?
True
Let t = 11 + -9. Suppose 5*i = 5*g + 5, 4*i - 4*g - 12 = -t*g. Does 8 divide 20/2 - (7 - i)?
True
Let z(l) = -l**3 + 8*l**2 + 3. Let c be z(8). Let o be ((-20)/(-12) + 1)*c. Suppose -o*d = -4*d - 128. Is d a multiple of 9?
False
Suppose 27*d = -4*t + 25*d + 2240, t = d + 557. Does 43 divide t?
True
Suppose 0 = y - 2*k - 22, 8*y - 2*k - 58 = 4*y. Suppose -s = -y - 0. Is s a multiple of 6?
True
Let w be ((-5)/1)/(-2 - -1). Suppose 3*l - w*x = 146, 0 = l - 6*l - 2*x + 202. Is l a multiple of 21?
True
Let o(p) = -p**2 - 1. Let g(a) = 4*a**2 + 4. Let s(i) = 3*g(i) + 8*o(i). Does 17 divide s(4)?
True
Let a(b) = -11*b**2 - 19*b + 13. Let g(u) = -5*u**2 - 9*u + 6. Suppose w = 3*p + 47 - 18, p + 3*w = -3. Let c(k) = p*g(k) + 4*a(k). Is c(-6) a multiple of 2?
True
Let l(g) = -149*g + 149. Is 12 a factor of l(-11)?
True
Let p(n) = -55*n - 544. Is p(-30) a multiple of 14?
True
Suppose -j + 2*w - 33 = -141, 4*w = -4*j + 468. Does 4 divide j?
False
Let k = -155 + 291. Does 8 divide k?
True
Let v = 61 - 180. Suppose 0*u - u + 127 = -2*i, 0 = -i + 3*u - 66. Let y = i - v. Does 16 divide y?
False
Let d(u) = -2*u + 3*u + 17 - 3*u**2 - 12*u + 2*u**2. Let r be d(-12). Suppose -3*b + 2*x + 257 = 0, -r*x - 97 - 89 = -2*b. Is b a multiple of 11?
False
Let z(s) = 4*s**2 + s. Let w be z(-1). Suppose 0 = -t + w*m + 161, -355 = -2*t - 0*m - 5*m. Suppose 2*o - 3*x + 4*x = 61, 5*o = x + t. Does 11 divide o?
True
Let f(r) = -3*r**3 + 8*r**2 - 11*r - 4. Let b be f(4). Let l = -47 - b. Does 13 divide l?
True
Suppose 4*b = 3*u - 29, -b + 12 = 4*u - 14. Suppose -1 = 3*v - u. Is (-2)/v*-62*1 a multiple of 14?
False
Suppose -11*h = -6*h + 30. Let x(w) = w**2 + w - 11. Does 6 divide x(h)?
False
Let x = 182 + -83. Is 3 a factor of x?
True
Let c be (7 - 3)/4 - -2. Is -58*c/6*-3 a multiple of 29?
True
Suppose -n = -5*u - 190, 5*u - 218 = -2*n + 147. Is 17 a factor of n?
False
Let x(c) = 44*c - 6. Let u(i) = 45*i - 5. Let v(z) = -5*u(z) + 4*x(z). Does 11 divide v(-2)?
True
Let s = -9 - -10. Let c(i) = 12 - s + i + 0. Is 7 a factor of c(7)?
False
Suppose 5*r - 4*u = 1611, -323 = -r - 0*r + u. Let n = 455 - r. Does 26 divide n?
False
Suppose -5*i - 5*k = -50, -2*k = 2*i + 2*k - 12. Suppose -3*l = 9, 22*m - 2*l = 20*m + 22. Let y = i - m. Is 3 a factor of y?
True
Suppose -22 - 50 = -4*p. Is (p/12)/((-3)/42*-1) a multiple of 11?
False
Suppose 2*v - 18 + 2 = -4*i, 0 = -i + 3*v + 4. Let o(x) = 5*x**2 + x**2 - 3*x - x**2. Is 9 a factor of o(i)?
False
Is 38*2/5*(-225)/(-12) a multiple of 17?
False
Let q(i) = 15*i**3 - 29*i**2 - 39*i - 29. Let m(h) = -7*h**3 + 14*h**2 + 19*h + 14. Let z(d) = 13*m(d) + 6*q(d). Is z(8) a multiple of 26?
False
Suppose -a - 4 = -6. Suppose 4*y + w = 300, a*w - 82 = -0*y - y. Suppose 3*b = n + 82, 5*n + y = -0*b + 3*b. Does 28 divide b?
True
Let o(v) be the third derivative of v**6/120 - 11*v**5/60 + 11*v**4/24 + 2*v**3 + 7*v**2. Let w be o(10). Suppose -16 = -p + w. Is 19 a factor of p?
True
Let s(z) = z**2 + 3*z - 4. Let v be s(14). Suppose 7*c = -10 + v. Is c a multiple of 4?
True
Suppose 5*j - 63 - 12 = -2*l, 2*l = -4*j + 62. Suppose -q = 4*a - 79, 4*q + j + 7 = 0. Does 3 divide a?
True
Let f = 950 + -500. Does 30 divide f?
True
Let z = -36 + 33. Let m(r) = r**3 + 4*r**2 - r - 6. Is 2 a factor of m(z)?
True
Suppose 0 = -4*l + 4*x - x + 15, -l - x + 2 = 0. Suppose 0*i - 2*i + 5*q + 68 = 0, 5*i + l*q - 108 = 0. Does 15 divide i?
False
Let t = 177 - -615. Does 2 divide t?
True
Suppose 7*k - 10*k - 6 = 0. Let b be (-3)/k*(-8)/6. Is 37 + (b - 12/(-4)) a multiple of 17?
False
Let w(n) = -n**3 + 3*n**2 - 2. Let s(t) = t**2 + 7*t - 17. Let z be s(-7). Let k = 14 + z. Is w(k) a multiple of 22?
False
Let d = -34 - -36. Does 10 divide (-6)/d*(-408)/18?
False
Let d = 81 - 26. Let m be (-2 - 3)/((-5)/d). Suppose -2*p - 5*v = -m, 20 = 5*p + 4*v - 160. Is p a multiple of 10?
True
Let j = 114 + -27. Suppose -257 = 5*u - j. Let a = -12 - u. Does 22 divide a?
True
Let c(s) = s**2 + 7. Let f be c(-3). Let i = -27 + 16. Let z = i + f. Is z even?
False
Let b(t) be the first derivative of -t**4/4 + 7*t**3/3 + t**2/2 - 15*t - 29. Is b(6) a multiple of 24?
False
Suppose 51*d - 53*d - 30 = 0. Let p = d + 63. Is 14 a factor of p?
False
Let s(m) = -31*m + 44. Let c(u) = 10*u - 15. Let p(j) = 7*c(j) + 2*s(j). Is 9 a factor of p(4)?
False
Let d = 1460 + -1106. Is 17 a factor of d?
False
Let d(l) = -21*l + 4. Suppose -f + 3*r = 4*r + 2, 0 = -r - 5. Let k be d(f). Let n = -40 - k. Is n a multiple of 8?
False
Suppose 346*d - 329*d - 2635 = 0. Is 5 a factor of d?
True
Suppose -4*m + 2788 = 3*x, -3*x - 74*m = -75*m - 2813. Does 24 divide x?
True
Suppose 0 = 12*c - 14036 - 7756. Is 4 a factor of c?
True
Let k = 25 + -25. Suppose 9*g - 3*g - 360 = k. Does 10 divide g?
True
Let n(u) = 3*u**3 - u**2 + 2*u + 3414. Is 18 a factor of n(0)?
False
Let r be 368/88 - 4/22. Suppose 3*c - r*m - 1 = 0, 4 = -2*c - 0*c + 5*m. Suppose -2*i - q + 78 = 0, -i - c*q - 15 = -44. Does 12 divide i?
False
Let u(c) be the third derivative of -c**4/24 + c**3/6 + 4*c**2. Let j(l) = 6*l - 47. Let n(f) = -j(f) - 5*u(f). Is 21 a factor of n(0)?
True
Let x(i) be the first derivative of i**6/120 + 7*i**5/30 + i**4/2 + 7*i**3/6 + i**2 - 3. Let v(z) be the second derivative of x(z). Does 9 divide v(-13)?
False
Let h(r) = 2 + 0 - r + 2*r**2 + 2*r. Let c be h(-2). Suppose l - 3*o - 2 - c = 0, 4*l - 3*o = 49. Is l a multiple of 13?
True
Let p(u) = u + 5. Let y(z) = 3*z + 10. Let j(r) = 5*p(r) - 2*y(r). Let c be j(7). Is 5 a factor of c/5 + 314/10?
False
Is 13 a factor of ((-832)/(-24))/(((-2)/2)/(-12))?
True
Let y = 408 + -401. Is y a multiple of 4?
False
Let q(w) = w + 5. Let z be q(-4). Let s(p) = 4*p**3 - p + 1. Let v be s(z). Let h = v - -7. Does 11 divide h?
True
Let k = 41 + -40. Does 12 divide (-73)/(-2) + k/(-2)?
True
Suppose t - 2*t + 3 = 0. Suppose -t*c - h + 187 = 0, -3*c + 5*c = -4*h + 118. Let n = 94 - c. Is 23 a factor of n?
False
Is 68 a factor of (-6)/(-2)*(6800/(-15))/(-1)?
True
Let j = 159 - 48. Suppose 3*z + v = 82, -4*z + j = v + 2*v. Is z a multiple of 7?
False
Let q(f) = -f**2 + 3*f + 2. Let r be q(3). Let v be r/(2*2/8). Is 7 a factor of -14*(-1)/(v/6)?
True
Let u(f) = -14*f - 52. Let i be u(-4). Is 39 a factor of i - -146 - (2 - (-4 - -2))?
False
Let t(z) = -z - 1. Let h(n) = -n**2 - 10*n + 25. Let d(a) = -h(a) - 6*t(a). Is 19 a factor of d(-21)?
False
Suppose 4*z = -3*r + 18, 4*z - 3*z = -2*r + 7. Let p be (0