
False
Let z(u) = u**3 + 4*u**2 + u - 4. Let l be z(-3). Suppose 5*p + l*x = 5*x + 84, -2*p + 18 = 4*x. Does 8 divide p?
False
Let x(p) = -43*p + 2. Is x(-1) a multiple of 12?
False
Suppose -2*q = -4*j - 4*q + 46, -j = -3*q - 15. Does 3 divide j?
True
Let q(k) = -2*k**3 - 3*k**2 + 9*k + 6. Is 10 a factor of q(-4)?
True
Let x(y) = 6*y - 6. Is 6 a factor of x(3)?
True
Let t(c) = c**2 + 12*c - 10. Let y be t(-8). Let q = y - -87. Does 13 divide q?
False
Let i(o) be the first derivative of 2*o**3 - o**2 - 2*o - 1. Is i(-3) a multiple of 18?
False
Suppose -3 = 3*g + 153. Let d = g - -88. Does 18 divide d?
True
Let a(r) = r**3 + 4*r**2 - 5*r + 4. Let b be a(-5). Suppose -2*d + 5*l = 168, -l + 336 = -b*d - 4*l. Let i = d + 134. Is i a multiple of 21?
False
Let s = -113 - -361. Is 31 a factor of s?
True
Let q = 25 - 8. Suppose 3*f - 5*a = -2 - q, -4*a + 26 = 3*f. Suppose 2*h = -f*h + 36. Is 9 a factor of h?
True
Suppose -3*b = -2*z - 19, -2*b = -0*b - 4*z - 26. Suppose -o = -4*i - 1, -b*o + 5 - 2 = -3*i. Suppose -r + 14 - 4 = i. Is 4 a factor of r?
False
Suppose 0 = m - 0*m - 14. Is 7 a factor of m?
True
Let x(y) = y - 1. Let b(t) = 3. Let v(l) = -b(l) + x(l). Let w be v(6). Let j(o) = 3*o**3 - 3*o**2 + 3*o. Is 13 a factor of j(w)?
False
Let s be ((-1)/3)/((-2)/(-42)). Let q = s + 8. Suppose q + 5 = 3*b. Is 2 a factor of b?
True
Suppose -10*i + 8*i = -104. Is i a multiple of 26?
True
Suppose -5*x = -6*x + 90. Is x a multiple of 10?
True
Let p be ((-298)/5)/((-2)/(-10)). Is 15 a factor of p/(-10) - (-2)/10?
True
Suppose -3*w = -3*t + 96, 4*w + 40 = -2*t - 112. Let a = -22 - w. Is a a multiple of 14?
True
Suppose -i - 2*u = -62, 0*i + 252 = 4*i + 4*u. Is 11 a factor of i?
False
Let m(s) = -s**2 - 5*s + 4. Let w be m(-5). Suppose -4*v = -5*j + 4, v - 3*j + w = -j. Suppose v*p - 80 = 24. Does 13 divide p?
True
Let v = 50 - 23. Let d = v + -16. Is 11 a factor of d?
True
Let d(x) = -x**2 - 24*x + 45. Is d(-22) a multiple of 66?
False
Let p(b) = b**2 - 7*b + 7. Is p(7) a multiple of 7?
True
Let p(k) = 13*k**2 + 17*k - 3. Let c(f) = -3*f**2 - 4*f + 1. Let s(a) = -9*c(a) - 2*p(a). Does 7 divide s(3)?
False
Let y(x) = x**2 + 3*x + 3. Let p be y(-4). Suppose -5*j = -p + 17. Let s(l) = -15*l + 2. Is 22 a factor of s(j)?
False
Let b = 225 + -147. Does 26 divide b?
True
Suppose -c = -4*x + 4*c + 5, 27 = 3*x + 4*c. Suppose -4*m = -3 - 1. Let u = m + x. Is u a multiple of 3?
True
Let i(l) be the first derivative of -l**4/4 + 7*l**3/3 - 3*l**2/2 - 3*l - 3. Is 16 a factor of i(5)?
True
Let c = -31 + 11. Let z be (6/(-5))/(8/c). Does 3 divide (z - 5)*(-14)/4?
False
Suppose -369 = -8*j + 495. Is j a multiple of 27?
True
Suppose -24 - 16 = -2*h. Let c = 53 + -15. Let p = c - h. Is 9 a factor of p?
True
Let z(o) = 22*o**2 + 9*o - 4. Is z(-3) a multiple of 12?
False
Let a = 425 - 206. Is a a multiple of 11?
False
Is 26 a factor of ((-69)/2)/((-21)/112)?
False
Let g be 4/(-2) + (193 - -1). Suppose 2*u = -2*u + g. Is 18 a factor of u?
False
Suppose -2*x + 23 = -27. Is 4 a factor of x?
False
Let w = 42 - 17. Does 2 divide w?
False
Let f = 21 - -29. Is f a multiple of 16?
False
Let c be (-28)/((-5)/((-15)/(-6))). Let h = -8 + c. Does 4 divide h?
False
Let r(a) be the second derivative of -a**3/6 + a**2/2 + 2*a. Is 4 a factor of r(-7)?
True
Suppose 16 = -u + 52. Does 12 divide u?
True
Suppose -2*s - 6 = 2*r, 3*r + 29 = -0*s + 2*s. Let k(c) = c + 11. Let o be k(r). Suppose 0 = o*a + y - 160, y + 220 = 4*a + 52. Is 14 a factor of a?
False
Let m = 5 + -3. Suppose -2*y - 2*y = 2*d - 22, -4*y = -m*d + 38. Is 6 a factor of d?
False
Let h(g) = -g**3 - 2*g**2 - 8*g - 18. Is h(-6) a multiple of 18?
False
Suppose -16 = 5*c - 46. Let i = c - 6. Suppose 22 = r - i*r. Is r a multiple of 13?
False
Let x(k) = -k. Let z(l) = -2*l**3 - 6 + l**3 + 6*l**2 + 3*l + 1. Let a(f) = 5*x(f) + z(f). Does 5 divide a(5)?
True
Let p(f) = f**2 + f + 10. Does 5 divide p(0)?
True
Does 16 divide ((-689)/(-39))/(1/6)?
False
Suppose v + 12 + 8 = 0. Let w be (6/8)/((-5)/v). Suppose -w*g + g = -8. Does 2 divide g?
True
Does 6 divide 2/10 - 60/25*-22?
False
Is 12 a factor of (15/5)/((-1)/(-4))?
True
Let p(d) = 29*d + 22. Does 17 divide p(6)?
False
Is 1 + (-24)/20 + (-52)/(-10) a multiple of 5?
True
Let d be 2/(-2) + 5*9. Let b = 13 + 2. Suppose k + b = d. Does 13 divide k?
False
Let h(n) = 3*n**2 + 15*n + 4. Is 10 a factor of h(-6)?
False
Let u be (40/15)/((-2)/(-6)). Suppose -m + 31 + u = 0. Let v = m - 6. Is v a multiple of 16?
False
Is 1*340/4*1 a multiple of 17?
True
Let f be ((-2)/(-5))/((-1)/(-5)). Suppose 2*q - 4 = -2*c, -5*q - f*c - c + 18 = 0. Does 2 divide q?
True
Suppose -2*k - 2*l = -36, k = 4*l + l - 12. Let c be k - (-5 - (-1 + -1)). Let f = c - -26. Is 14 a factor of f?
True
Let h(j) = 3*j + 11. Let y be h(9). Suppose 2*n - 30 = y. Is 12 a factor of n?
False
Let c(h) = -5*h - 9. Suppose -5*n + 2 = 5*k + 22, -5*n - k - 32 = 0. Does 13 divide c(n)?
True
Suppose -2*f + 6*f = -16. Is (f/10)/((-5)/150) a multiple of 6?
True
Let l = 65 + -37. Suppose 0 = 2*j - 4*a - l, -3*j + 3*a + 44 = 17. Is 3 a factor of j?
False
Suppose 4*j + 16 = 0, -5*j = -5*d + 30 + 30. Is 22 a factor of d/(-36) - 400/(-18)?
True
Let d be (-2)/7 - 23/(-7). Suppose 29 + d = 4*i. Does 8 divide i?
True
Let q = -8 - -7. Let u(c) = -4*c + 4 + 4 - 7. Does 2 divide u(q)?
False
Let y = 1 + 2. Suppose -36*g + 40*g - 360 = 0. Suppose v + 86 = y*w, -3*w - 3*v + g = -0*w. Is w a multiple of 8?
False
Let d be (3*1)/((-3)/(-2)). Suppose m = -d*m + 45. Suppose -5*g + m = -15. Does 5 divide g?
False
Let a be -4 + 26 - 2/2. Let h = -29 + a. Let w = -5 - h. Does 2 divide w?
False
Let a = 247 - 166. Does 9 divide a?
True
Let t = 3 - 4. Let f be (71*t)/(-3 - -2). Suppose 4*r = 5*r - f. Is r a multiple of 26?
False
Let q = -9 + 16. Let v(j) = j**2 - 5*j - 6. Does 8 divide v(q)?
True
Is 25 + 54 + (2 - 0) a multiple of 18?
False
Suppose -426 = -2*c + z, 2*c + z - 418 = -2*z. Is 53 a factor of c?
True
Suppose g + 58 = 3*q + 219, -2*q = -4*g + 624. Does 31 divide g?
True
Suppose 2*s - 232 = -3*k + 24, 2*s + 8 = 0. Does 22 divide k?
True
Suppose -32 = -3*z + 109. Let r = 77 - z. Let d = -13 + r. Is 17 a factor of d?
True
Let j(d) = d**2 - 1. Let n be j(1). Suppose i + 4*f = -i + 46, 2*i + 5*f - 44 = n. Does 9 divide i?
True
Let c(v) = 32*v + 3. Let q be c(2). Let g = q - 31. Is 18 a factor of g?
True
Let f be (-6)/(-15) + 107/(-5). Suppose 4*q = 4*n + 156, -q - 7*n = -3*n - 14. Let y = q + f. Is y a multiple of 13?
True
Let x be (-1958)/(-55) - (-6)/(-10). Suppose x = -7*a + 119. Is 12 a factor of a?
True
Let s(m) = -m**3 + 12*m - 2. Let o(b) = -b**3 - b**2 + 13*b - 3. Let r(k) = 6*o(k) - 7*s(k). Let g be r(7). Suppose -v - g*v = -104. Is 9 a factor of v?
False
Suppose -y + 101 + 143 = 0. Suppose -5*d = 4*r - 306, d + 3*r - y = -3*d. Does 29 divide d?
True
Let f(b) = b**3 - 3*b**2 - 8*b - 14. Is 8 a factor of f(6)?
False
Suppose 0 = -3*o + 2*o + 12. Is o a multiple of 8?
False
Let f be (2 - (-1 - -1))/2. Let m = f - -1. Does 10 divide 2/m*(24 - 1)?
False
Let i(c) = -c**3 + 5*c**2 + 7*c - 7. Let m be i(6). Let x be 438/10 + m/(-5). Suppose x = 5*q - q. Is q a multiple of 4?
False
Suppose z + 0 = 5. Suppose -4*d = z*n - 14, 4*d = n + 3*d - 1. Is (60/(-8))/(n/(-4)) a multiple of 15?
True
Let z(p) = -26*p - 27. Let n(o) = 9*o + 9. Let r(q) = 17*n(q) + 6*z(q). Let d be r(-10). Let s = 44 - d. Does 12 divide s?
False
Let y(t) = 0 - 3 + 0*t - 4*t - 4. Is 13 a factor of y(-6)?
False
Suppose 8 = 2*t, 0 = 2*b - 3*b - 2*t + 4. Let q(i) be the second derivative of -5*i**3/3 - 2*i**2 + i. Is 13 a factor of q(b)?
False
Suppose -4*l = -82 - 82. Suppose l = 5*b - 29. Does 6 divide b?
False
Let w = 23 - -7. Let g = -4 + w. Does 13 divide g?
True
Suppose -3*h = 2*j + 88, 3*h = -h - j - 119. Let l = h + 43. Suppose s + l = 4*z - 5, 5*z = 5*s + 15. Is z a multiple of 3?
False
Let x be (1 + -4)/3 + 1. Suppose x = 3*k - 4*p - 43, k + 3*p = -9 + 45. Is k a multiple of 12?
False
Let h(i) = -2*i**3. Let r be h(1). Let s = r - -11. Does 9 divide s?
True
Suppose 4 = -3*k + c, 4*k - 4*c + 20 = c. Let v = k + 4. Does 4 divide v?
True
Let d = 5 - 3. Let w(l) = l**3 - 6*l**2 - 8*l - 6. Let v be w(7). Is 10 a factor of -2*(v + 1 + d)?
True
Let r be 10/8 + (-3)/12. Let d = r - -2. Does 3