/(-24) - 3/(-2). Suppose k + z*k = 9. Does 9 divide k?
True
Let m be 44/(-2)*(0 - -1). Let w = -2 - m. Is w a multiple of 10?
True
Let t = 6 + -1. Let f = t - 11. Does 20 divide (-9)/f*(-82)/(-3)?
False
Let a(l) = 5*l - 2. Let b(m) = m + 10. Let w be b(-7). Suppose 4*r = -w + 11. Is 8 a factor of a(r)?
True
Suppose -33 = -2*p + n, 2*p - n - 30 = n. Is 8 a factor of p/42 + 106/14?
True
Let c(d) = 2*d + 6. Let m be c(-4). Let k be (5/m)/(3/(-6)). Suppose t = u + k*t - 36, 2*u - 46 = 5*t. Is 14 a factor of u?
True
Let m(n) = n**3 - 8*n**2 + 2. Let c be m(8). Let v(t) = 5 - 5 + 5*t**c. Is 5 a factor of v(1)?
True
Let x = 9 - -13. Is 9 a factor of x?
False
Let s(a) = 2*a**2 + 3*a + 2. Does 11 divide s(-3)?
True
Let k(p) = -p**3 + 8*p**2 - p. Let f be ((-15)/(-9))/(2/6). Let r be k(f). Let l = -41 + r. Is 15 a factor of l?
False
Suppose 2*c + 2*x = 10, -c - 3*c = -5*x - 47. Let m = c + -8. Suppose -2*y - 16 = -4*b, -5*y = -m*y. Is 4 a factor of b?
True
Suppose 0 = -4*l - 18 - 114. Is l/55*-15*1 a multiple of 3?
True
Suppose -a + 0*a = -42. Let n = -24 + a. Does 8 divide n?
False
Let q = -5 + 1. Let t = -2 - q. Suppose -t*l + 21 = -19. Is 10 a factor of l?
True
Let t(p) = -5*p + 7. Is t(-11) a multiple of 10?
False
Let v(o) be the first derivative of 11*o**3/6 - 2*o**2 - o - 2. Let d(r) be the first derivative of v(r). Is 19 a factor of d(4)?
False
Suppose 2*o - 2*v = 2*v + 2, -2*o - 5*v = 25. Let l be (-2)/o - (-33)/5. Let x(b) = 6*b - 4. Is 19 a factor of x(l)?
True
Let s(h) = -7*h. Is 17 a factor of s(-4)?
False
Suppose -r = 0, 4*g - 84 = r + r. Does 12 divide g?
False
Let s = -68 + 96. Let m be 102/14 - 8/s. Suppose y + 0 - m = 0. Does 3 divide y?
False
Let o(x) = 4*x**3 + 2*x**2 - 2*x + 1. Let i be o(1). Let m(y) = y**3 - 4*y**2 - 3*y. Is m(i) a multiple of 5?
True
Suppose 3*h - 8 - 1 = 0. Suppose 8*o + 120 = h*o. Let k = o - -42. Is k a multiple of 9?
True
Let o = 6 - -6. Let y be 1/(o/(-15) - -1). Suppose -y*q = -3*m + 36, 5*m + 4*q - 7*q = 60. Is m a multiple of 6?
True
Suppose 0 = -2*d - 3*a - 21, 0 = -4*d - a - 33 + 6. Let b = 26 + d. Does 16 divide b?
False
Let t = 146 - 44. Is t a multiple of 34?
True
Let h(q) = -25*q + 23. Is h(-7) a multiple of 33?
True
Let x be (-2)/11 - 114/(-22). Suppose -c = 5*l - 13, -4*c = -x*c - 3*l + 21. Is c a multiple of 23?
False
Let o(g) = -g**2 + 12*g - 1. Is 2 a factor of o(8)?
False
Let j(g) = 2*g - 3 - g - 1. Let y be j(8). Suppose y = -s + 36. Is 16 a factor of s?
True
Let j(w) = w**3 - 5*w**2 - 5*w - 1. Let a be 14/49 - 80/(-14). Let v be j(a). Suppose 4*m - v*n - 41 = 2*m, 3*n - 3 = 0. Does 9 divide m?
False
Let a = 51 + -26. Does 25 divide a?
True
Suppose 0 = -9*g + 4*g + 135. Does 8 divide g?
False
Suppose -m - 950 = -5*p, -m + 190 = p + 4*m. Does 38 divide p?
True
Let m be 3/2*136/6. Let d = -5 + 27. Suppose -3*y + d = 4*s, -s - 2*s + m = 4*y. Does 4 divide y?
False
Suppose 5*r = 220 - 25. Let a = r + -6. Suppose -12 = -3*i + a. Is 6 a factor of i?
False
Suppose -x = -2*f, 0 = x + 3*f - 8*f. Is x + 21 - (-9)/9 a multiple of 19?
False
Let d(a) = a + 5. Let s be d(10). Is 17 a factor of ((-10)/s)/((-1)/51)?
True
Let c(j) = 3*j**3 + 2*j**2 + j. Let f be c(-1). Let l(w) be the third derivative of w**5/12 + w**4/12 - w**3/3 + 2*w**2. Is 6 a factor of l(f)?
False
Suppose 0 = 4*y - 0*y - 16. Suppose -18 = -y*m + 2*m. Does 4 divide m?
False
Let a(h) = 3*h - 8. Let o be 21/3*12/14. Let f be a(o). Is (114/(-15))/((-2)/f) a multiple of 14?
False
Let d(f) = 4*f. Suppose -1 = -l - 0. Let i be d(l). Suppose i*t - 10 = -a + 28, -5*t = a - 43. Is 10 a factor of a?
False
Does 2 divide 68/7 + (-10)/(-35)?
True
Let d(w) = 3 - 9*w**2 - w - 4*w - 10*w**3 + 0*w + 9*w**3. Suppose 0 = -0*f + 2*f + 18. Does 16 divide d(f)?
True
Let m(j) = -8*j - 1. Does 14 divide m(-4)?
False
Suppose -5*m - 74 + 5 = -4*j, 0 = -5*j - 4*m + 76. Is j a multiple of 8?
True
Let n = -52 + 36. Suppose 0 = 2*l - 4, -92 = -2*j - l + 4*l. Let d = n + j. Does 15 divide d?
False
Let k(u) be the third derivative of -1/60*u**5 + 0 + 2/3*u**3 + 2*u**2 + 0*u - 5/12*u**4. Is k(-9) a multiple of 8?
False
Let m(g) = -g**3 + 7*g**2 - 2*g - 5. Is 9 a factor of m(3)?
False
Let z = -65 - -115. Does 23 divide z?
False
Let t = -14 + 24. Is t a multiple of 2?
True
Is 17 a factor of (0 + -3)/(2/(-34))?
True
Let d(w) = -w - 12. Let n be d(-12). Suppose n = v - 3 - 5. Is 3 a factor of v?
False
Suppose 0 = -l - 3*l. Let n(a) = 5*a - 29 + 29 + l*a. Is n(1) a multiple of 4?
False
Let n(g) = 40*g**3 - g**2 + g - 1. Does 13 divide n(1)?
True
Suppose 0*f = 2*f + 5*l - 107, 80 = 2*f - 4*l. Let j = -33 + f. Is 13 a factor of j?
True
Let z = 27 + -13. Is 7 a factor of z?
True
Let g = 3 + 5. Suppose -5*m + m = -g. Suppose -4*u = 6*w - 2*w - 56, -m*w - 4*u + 26 = 0. Does 15 divide w?
True
Let t(i) = 2*i**3 - 7*i**2 - i - 4. Does 22 divide t(5)?
True
Suppose 4*i - 40 = 88. Does 8 divide i?
True
Suppose 5*y - 282 = -0*y - 2*j, -4*y - 3*j = -227. Let v = y + -32. Is v a multiple of 8?
True
Suppose t + 52 = 5*k, -233 = 5*t + 3*k - k. Let h = t + 71. Is h a multiple of 5?
False
Let v(g) = g + 212. Does 28 divide v(0)?
False
Let o = 16 - 21. Is 17 a factor of (-4)/(-10) + (-83)/o?
True
Let l(u) = u**3 + 23*u**2 + u + 47. Is l(-23) a multiple of 24?
True
Let z = 3 + -1. Suppose -z*v - 5*o + 28 = -o, -3*v + 39 = 5*o. Does 4 divide v?
True
Suppose -3*o - 3*n + 101 - 530 = 0, o + 153 = n. Let a = -92 - o. Is a a multiple of 14?
True
Let f(s) = -2*s - 4. Let u be f(-3). Suppose -8 - u = -5*n. Suppose -22 = -p + n. Is p a multiple of 11?
False
Let r = 29 - -59. Is r a multiple of 11?
True
Let z be (0 - 2) + 3 + 1. Let l be (z - 1) + 1 - 3. Let n = 12 - l. Is 9 a factor of n?
False
Let l(o) = -o**3 - 10*o**2 + 3*o - 16. Does 18 divide l(-11)?
True
Let c be 0 - 2 - (1 + -7). Let m(a) = -3*a - c - a - a. Is m(-6) a multiple of 16?
False
Let a(x) = -x**3 - 2*x**2 + 7*x + 7. Let f(q) = q**3 + q**2 - 3*q + 4. Let l be f(-3). Is 20 a factor of a(l)?
False
Let x(p) = p - 11. Let u be x(7). Is -5*(1 + 3)/u a multiple of 2?
False
Let s = 63 + -33. Let w = -14 - -16. Suppose k + w = s. Is k a multiple of 15?
False
Let o(f) = 2*f - 7 + 2*f + 6*f - 5*f. Is 4 a factor of o(3)?
True
Let m(z) = -z**3 - 7*z**2 + 9*z + 9. Let s be m(-8). Let d = s - -3. Does 4 divide d?
True
Let z(h) be the third derivative of h**5/60 - h**4/4 + 5*h**3/3 + 4*h**2. Is z(7) a multiple of 16?
False
Is 5 a factor of (-183)/(-12) - (-3)/(-12)?
True
Suppose q + 0*s = -4*s - 1, -q = 2*s - 1. Suppose -q - 5 = -2*d. Suppose -d*v - 13 = -5*v. Is 8 a factor of v?
False
Let z(l) = -2*l - 7. Let f be z(-5). Suppose -16 = -f*q - m, -20 = -4*q - 2*m - 0*m. Is q a multiple of 6?
True
Let x(j) be the second derivative of -j**5/20 + 2*j**4/3 + 11*j**3/6 + 6*j**2 + 3*j. Is 9 a factor of x(9)?
False
Let o(l) = l**2 + 9*l + 17. Does 6 divide o(-13)?
False
Suppose 0 = -4*j + 12. Suppose -4*x - 20 = -b, -b - j*x - 2 = -1. Is b a multiple of 8?
True
Let s be (-2 + (-3 - -4))*0. Suppose c - 2*c + 40 = s. Is c a multiple of 8?
True
Suppose -j = 2*h + 10, 3*h + j = -j - 15. Let i(y) be the first derivative of -7*y**2/2 - 7*y + 3. Does 14 divide i(h)?
True
Let y be (-17)/(-2) - (-27)/18. Suppose -3*p + p + y = 0. Is p a multiple of 5?
True
Let t be ((-6)/(-4))/(3/6). Suppose -5*s = 2*d, 4*s = t*s - 5*d. Suppose 5*a + 5*k - 130 = -s*a, a - 38 = -5*k. Does 13 divide a?
False
Is ((4/3)/2)/(2/936) a multiple of 13?
True
Let i = -6 - -4. Let m = 4 + i. Suppose -4*f + 127 = -m*t - 7, -t = -5*f + 172. Does 11 divide f?
False
Let q = 6 - 12. Let r = 30 + q. Is r a multiple of 12?
True
Suppose -g + 10 = 4*k, 3*k - 12 = 3*g + k. Let b = 3 - g. Let d(j) = 3*j - 6. Does 6 divide d(b)?
False
Let i = -6 + 2. Let p(c) = -c**2 - 5*c - 1. Let a be p(i). Suppose 33 - 3 = a*v. Is v a multiple of 4?
False
Suppose 2*z - 5*x = 3*z - 14, 5*z - 175 = -4*x. Is 13 a factor of z?
True
Let m(s) = -40*s**3 - 3*s**2 + 2*s - 3. Let r(g) = g**3 + g**2 - g + 1. Let x(a) = -m(a) - 4*r(a). Is 12 a factor of x(1)?
True
Let h = 1 + 15. Does 8 divide h?
True
Let k(d) be the second derivative of 23/12*d**4 + 0 + 1/3*d**3 - 1/2*d**2 - 2*d. Does 12 divide k(1)?
True
Let b(l) = l**2 - 8*l + 31. Is b(16) a multiple of 11?
False
Suppose 5*f + 4*r = 51, 0 = 2*f - 0*f + 4*r - 30. Let p(d) = -