. Does 15 divide -2*58*o/(-8)?
False
Suppose 0 = i - 78 - 24. Is i a multiple of 32?
False
Let r = 110 - 34. Let o be 1/(-2*(-4)/24). Suppose -o*h = h - r. Is 7 a factor of h?
False
Let a(q) = -q**3 - 3*q**2 + 2*q + 1. Let p be a(-3). Let c(s) = -s**2 + 5*s - 7. Let n be c(6). Let x = p - n. Is 3 a factor of x?
False
Let c(d) = 3*d + 7. Is c(2) a multiple of 3?
False
Suppose -b = -4*b + 6. Suppose -t = b*t - 234. Is 13 a factor of t?
True
Let j(w) be the first derivative of -w**5/20 + w**4/12 + 3*w**2/2 - 2*w + 3. Let q(o) be the first derivative of j(o). Is q(0) a multiple of 3?
True
Suppose 0 = -3*l + 5*l - 6. Suppose -5*n - 3*i = 533, -l*n + 2*i - 239 = 77. Let w = -63 - n. Is w a multiple of 16?
False
Let r = -1 - -3. Suppose -r*x + 4*p = -76, -3*x + 4*p + 148 = 28. Does 22 divide x?
True
Let b = -6 - -8. Suppose -2*d = b*d. Suppose -s = -d*s - 24. Is s a multiple of 9?
False
Let y(v) = v**3 + 9*v**2 - 13*v - 8. Is 18 a factor of y(-10)?
False
Suppose -3*l = 26 + 22. Let n = -11 - l. Does 3 divide n?
False
Suppose v - 1 - 3 = 0. Let c(l) = -l**2 + 7*l + 8. Let w be c(6). Is 15 a factor of 318/w - v/(-14)?
False
Suppose 2*n + 3*n = -3*m + 119, m = -4*n + 91. Is 3 a factor of n?
False
Let r(l) = l**3 + 26*l**2 + 44*l + 13. Does 19 divide r(-24)?
False
Suppose 0 = 5*b - 1 - 4, 16 = 4*n + 4*b. Suppose n*j - 8 = 145. Is 17 a factor of j?
True
Let n be 1714/18 - 8/36. Suppose -n = 5*c - 245. Is c a multiple of 17?
False
Let l(c) = -9*c - 13. Does 17 divide l(-8)?
False
Suppose -4*n = 4*w - 244, -3*n + w = -4*w - 191. Is n a multiple of 10?
False
Let a(r) = -r**2 - 5*r - 5. Let c be a(-4). Is 52 + ((-1)/(-1))/c a multiple of 17?
True
Let n be 6/4*10/3. Suppose -7 = -i + n. Is 12 + 1 + i/(-3) a multiple of 3?
True
Let z(u) = u**3 - 7*u**2 + 3*u - 7. Let c = 15 - 8. Does 5 divide z(c)?
False
Suppose 0*c - 2*c + 10 = 0. Suppose 0 = -b + s + 4*s + 50, 0 = -3*b - 4*s + 93. Suppose y + p - 18 = -2*p, -c*p = 2*y - b. Does 6 divide y?
False
Let b(w) = -5*w**3 - 3*w**2 - w + 2. Suppose -m + 26 = -5*l, -4*m = 2*l + 2*l + 16. Suppose m = z + 3. Is 15 a factor of b(z)?
False
Let p(o) = o**3 + o - 1. Let c be p(0). Let a = 5 + c. Suppose -m + 50 = a*m. Is 5 a factor of m?
True
Suppose 5*a - 3 = 2, -5*a - 3 = -2*i. Suppose i*u - 23 = 9. Does 3 divide u?
False
Let k = -9 - -67. Does 29 divide k?
True
Let r(p) = 14*p - 3. Let i be r(-3). Does 5 divide ((-4)/(-3))/((-6)/i)?
True
Let l(n) = -16*n**2 + 2*n + 3. Let b(z) = z**2 - z - 1. Let r(h) = -6*b(h) - l(h). Let o(s) = -s**3 + 14*s**2 - 14*s + 11. Let k be o(13). Does 16 divide r(k)?
False
Let a be (-89 - (-12)/(-3))/(-1). Suppose 4*d = -2*r + 60, 0*r + 3*r - a = -3*d. Does 8 divide r?
True
Let a be (-1)/((-2)/2) + 2. Suppose -5*w + 55 = -n - 23, -36 = -a*w - 3*n. Is 9 a factor of w?
False
Let y = 97 - 55. Does 16 divide y?
False
Suppose 0 = 4*q - 12 + 28, -5*q - 32 = -3*t. Suppose -t*l + 18 = -2, 5*m = l + 325. Suppose 0 = -3*h + 6 + m. Is 10 a factor of h?
False
Let x be (-9)/(-2)*20/3. Suppose -2*o + 27 + 7 = 0. Let i = x - o. Does 8 divide i?
False
Suppose -1 - 3 = -4*w. Let a(c) = 68*c**2 - c + 1. Let p be a(w). Suppose -2*h + z + 40 = 0, -3*h = 3*z - p + 8. Is 10 a factor of h?
True
Suppose 0 = -4*l + 3*c + 299, -69 = -2*l + 4*c + 93. Let u = l - 39. Does 15 divide u?
False
Let a(q) = 46*q - 4. Does 22 divide a(2)?
True
Let p(z) be the third derivative of z**6/120 - z**5/60 - z**4/4 + z**3/2 - 2*z**2. Suppose 2*u - 2 - 6 = 0. Does 10 divide p(u)?
False
Let n = 195 + -96. Is n a multiple of 33?
True
Does 34 divide 4628/34 - 4/34?
True
Let d(j) = -j**2 + j + 9. Let m be d(0). Let y = m + -3. Is y a multiple of 6?
True
Let n(d) = d**3 + 10*d**2 - 11*d. Let i be n(-11). Suppose -4*w - 7 = -5*o - 2, i = -o - 5*w + 30. Is 2 a factor of o?
False
Let j(c) = c**3 + 5*c**2 + 3*c - 2. Let a be j(-4). Let p(u) = 15*u**2 - 3*u. Is 18 a factor of p(a)?
True
Let t be 1 - (-2 - (-2 + -4)). Let r = -8 + 2. Is 18 a factor of (-53)/t - 2/r?
True
Let r = -228 + 345. Is 40 a factor of r?
False
Suppose -p = -5*a + p - 37, -2*p = -4*a - 28. Let y = a + 12. Is 14 a factor of (-6)/(-3 + 8/y)?
False
Let c = 28 - 15. Is 12 a factor of c?
False
Suppose 2*h - 2*f = -0 - 24, 36 = -3*h + f. Does 6 divide (-9)/h*(8 + 0)?
True
Let i = -7 - -11. Suppose 5*a = -2 + 12, i = 3*q - a. Suppose g = -2*j + 22, -q*g = j - 1 - 13. Is j a multiple of 5?
True
Suppose 0 = -5*d - 5 + 55. Is 7 a factor of d?
False
Let p be (-5)/2*-2*-1. Let t = p + 5. Suppose t*d = 2*d - 16. Is d a multiple of 5?
False
Let o(t) = 2*t - 2. Let q be o(2). Suppose 4*y + 83 - 443 = 0. Suppose 0*c + 2*c = -3*m + y, -q*m + 79 = -5*c. Is m a multiple of 11?
False
Let h be 1*2 + 6 + -8. Suppose 2*z - 4*z + 10 = h, -40 = -c + z. Does 16 divide c?
False
Let q = -2 + 5. Let s be 1 - (1 - q)*1. Suppose -m + 5*n - 2 = n, s*m - 4*n = 26. Does 14 divide m?
True
Suppose 202 = -12*w + 1090. Is w a multiple of 6?
False
Let r(m) = m. Suppose 3*l - 5*l + 6 = 0. Let b be r(l). Suppose -2*h + 36 = 3*j - b*h, 0 = -4*j + 4*h + 40. Is j a multiple of 13?
True
Suppose 0 = -3*j + 13*j - 350. Is j a multiple of 5?
True
Let x(u) = -4*u**3 + 2*u**2 + u - 2. Does 12 divide x(-2)?
True
Let h(n) = -15*n - 3. Let v be h(-2). Let o = v - 17. Does 10 divide o?
True
Let s = -15 - -40. Is 5 a factor of s?
True
Let n(m) = -m + 17. Let s be n(10). Let g = 1 - 2. Does 7 divide (s - g)/((-1)/(-2))?
False
Suppose 4*w = 0, 4*n = 4*w + 122 - 42. Is 6 a factor of n?
False
Suppose 3*l + l - 60 = 0. Let w = l - 11. Is w a multiple of 4?
True
Let j(g) = -252*g + 6. Let p be j(-5). Does 26 divide p/24 + (-6)/8?
True
Let k(z) = -138*z - 8. Is k(-1) a multiple of 26?
True
Let f(q) = -q - 2. Let p be f(-5). Suppose p*u - 78 = -0*u. Is u a multiple of 13?
True
Suppose 2*p - 74 = -m + 55, 0 = -4*p - 3*m + 263. Is 31 a factor of p?
True
Suppose 4*m - 47 = 69. Is 3 a factor of m?
False
Suppose -709 + 126 = -11*z. Does 15 divide z?
False
Suppose 2*l + 11 = 1, s - 3*l - 42 = 0. Does 9 divide s?
True
Suppose -3*s + 49 + 5 = 0. Suppose -4*h + 62 = -54. Let x = h - s. Is 5 a factor of x?
False
Let v(c) = c**2 - c + 1. Let t(h) = 7*h**2 - h + 11. Let k(z) = -t(z) + 6*v(z). Let l be k(-4). Let b(o) = 11*o**2 + 1. Is b(l) a multiple of 4?
True
Suppose -3*v + 25 = -5*j - 0, 4*j + 4*v + 52 = 0. Let m be 78/j + (-4)/16. Is 7 a factor of -1 - m - (-1 - 0)?
False
Let i(g) = -3*g + 1. Let v be i(-5). Suppose -15 = -u - 2*u. Let f = v - u. Does 9 divide f?
False
Let x(k) = -k**2 - 15*k + 2. Let p be x(-15). Suppose 0 = p*f - 3*c - 164, 2*c + 0*c + 328 = 4*f. Is 21 a factor of f?
False
Let a = 125 - 83. Is 24 a factor of a?
False
Suppose 0 = 4*n + 15 + 1. Let y = n + 8. Suppose -4*m - 7 = g, -y*g - 2*m + 6 = -8. Does 3 divide g?
False
Let c be (-2)/(-2) + (-14)/(-7). Suppose 26 = 4*j - c*j. Is j a multiple of 26?
True
Suppose 0 = 5*q - 0*q + 15. Let x = 2 - q. Does 2 divide x?
False
Suppose 0 = -4*d + 4*p + 176 - 44, 3*d + 5*p = 115. Suppose -5*v - d - 35 = 0. Is 2 a factor of 26/14 + (-2)/v?
True
Let j = -14 + 83. Let o = -35 + j. Is 7 a factor of o?
False
Suppose -72 = 2*a - 6*a. Is a a multiple of 2?
True
Suppose -2*v + 4 = -v. Suppose 0*b - v*b = -52. Is b a multiple of 13?
True
Suppose 0 = 10*y - 6*y + 20. Let m = y + 16. Does 11 divide m?
True
Let b = -192 - -352. Does 16 divide b?
True
Let w = -251 + 418. Is 9 a factor of w?
False
Let q = -34 + 58. Suppose -z = -5*z + q. Is 6 a factor of z?
True
Suppose 0 = -3*z + 25 + 14. Let a = z - -2. Does 15 divide a?
True
Suppose -90 = -4*q + 2*z, 4*q - 5*z - 7 = 68. Is q a multiple of 18?
False
Let l(h) = 6*h + 108. Does 18 divide l(18)?
True
Let z(f) = f + 8. Is z(9) a multiple of 10?
False
Suppose -11 = 3*a + 5*f, -4*f - 4 = -5*a + 27. Suppose 3*m + 285 = 2*l, -2*l = -a*m - 6*l - 285. Does 16 divide 1/3 + m/(-3)?
True
Let y = -11 + 17. Suppose 2 = 3*n + 2*a, y*n - 2*n + 4*a = 4. Suppose 0 = -4*m + 4*j + 28, m + 4*m + j - 35 = n. Does 7 divide m?
True
Let p(a) = a**2 - 16*a - 10. Let h(w) = -3*w - 3. Let u(d) = -d - 1. Let c(k) = -h(k) + 4*u(k). Let x(z) = -6*c(z) + p(z). Is 5 a factor of x(11)?
False
Suppose 0*b + 84 = 3*b. Does 14 divide b?
True
Let a(p) = -p**2 - p + 2. Let m be a(-2). Suppose -4*b + 4*q + 88 = m, b + 2*b - 5*q - 74 = 0. Is b a multiple of 9?
True
Let t(r) = -2*r**2 -