se
Let x = -56 - -56. Suppose -5*m - 23 = -3*r, -m + 24 = -0*r + 2*r. Does 7 divide (r - x) + 1 + 2?
True
Is 22 a factor of -186*(-1 + (-2)/(-3))?
False
Let o(f) = f**2 - 2*f + 4. Let k be o(4). Let x be (k/5)/3*30. Suppose -4*b + x = -32. Is b a multiple of 14?
True
Let t(k) be the second derivative of -5/2*k**2 + 3*k - k**3 + 0. Does 16 divide t(-8)?
False
Suppose -4*w - 28 = -4*o, -4*w + 2*o - 4*o - 22 = 0. Is 4 a factor of 7/((-3)/w*2)?
False
Suppose 6 = k + 3*x, -2*k = -5*x - 51 - 5. Suppose 4*o = o + k. Is o a multiple of 6?
True
Is 16 a factor of (-4)/(-22) + ((-3868)/(-22) - 0)?
True
Suppose d - 3*h = 6*d - 115, 0 = -3*d + 5*h + 103. Does 20 divide (d/4)/((-4)/(-24))?
False
Let r = -47 + -1. Let q = -18 - r. Is 10 a factor of q?
True
Is (20 - 8)*8/3 a multiple of 16?
True
Suppose 369 + 991 = 10*m. Does 8 divide m?
True
Suppose 0 = -w - 4*l + 12, 54 = -2*w + 4*w - 2*l. Is 8 a factor of w?
True
Suppose 5*z + 6 = 36. Let u(a) = -12*a**2 - 7*a + z - a**3 + 3*a**2 - 2*a. Is u(-8) a multiple of 7?
True
Suppose 2*k = -k + 63. Does 8 divide k?
False
Let x = -7 + 11. Let o(f) = -4*f**2 - x*f**2 + f**2 - 5*f**2 + f**3 + 15*f. Is o(11) a multiple of 15?
False
Let u(l) = -l**3 + 5*l**2 + 3*l - 3. Let a be u(-3). Let k = a - 16. Is 10 a factor of k?
False
Let m(y) = -y**3 - 6*y**2 - 5*y - 5. Let x be m(-5). Let l(b) = 10*b - 4. Let a be l(x). Let j = -34 - a. Is j a multiple of 9?
False
Let f = 90 - 50. Let u be (2/(-2) + -6)/(-1). Suppose 3*h + f = u*h. Does 10 divide h?
True
Suppose 4*k - 11 = 85. Suppose -2*q + k = -q. Is 9 a factor of q?
False
Let f = 44 - 28. Does 6 divide f?
False
Let v(a) = -a**2 + 6*a. Let x be v(6). Let o(d) = 14 - 3*d - d + 3*d. Does 14 divide o(x)?
True
Suppose 4*o - 74 + 16 = -5*w, 4*w = o - 25. Is o a multiple of 4?
False
Let z(i) = 3 - 6*i - 3 - 1 + 17*i. Does 27 divide z(5)?
True
Suppose -5*s - 129 = -3*o, -2*o - 3*s - 135 = -5*o. Is 10 a factor of o?
False
Let c(u) = 2*u + 17. Let r(i) = -i - 6. Let m(v) = -2*c(v) - 7*r(v). Suppose 0 = -0*q + 3*q - 18. Is 13 a factor of m(q)?
True
Let h(v) = v**2 + 8*v - 9. Does 11 divide h(-10)?
True
Let y(t) = -4 - 3 - 8*t**2 - 2*t**3 + 3 + 3*t**3 + 7*t. Let x be y(7). Does 8 divide (-50)/x - 4/(-8)?
False
Let t = -99 + 147. Suppose 0 = 3*q + 6 - t. Is 7 a factor of q?
True
Let u = -25 - -39. Suppose 2*f = 4*f - u. Suppose f*k + 24 = 3*b + 3*k, 0 = 4*k + 12. Is b a multiple of 4?
True
Let v(q) = -3 + 3*q - 2 - 2*q. Let j be v(6). Suppose 3*w - j - 1 = -5*z, 5*w - 2*z = 55. Is 5 a factor of w?
False
Suppose u + 0 = 5. Does 4 divide 74/10 + (-2)/u?
False
Let r be (-3 - -15)*(-4)/(-6). Let d(h) = h**2 - h - 5. Let s be d(0). Let f = s + r. Does 3 divide f?
True
Suppose -5*s - 69 + 269 = 0. Suppose 3*p = -2*u + 2*p + s, 3*u = 4*p + 60. Does 10 divide u?
True
Suppose 5*w = -3*d + 11, 1 = -5*w + 21. Let g = d + 5. Does 17 divide -1*g*(-17)/2?
True
Suppose 3*j = 32 + 1. Let h be 4/22 + (-244)/j. Is (h/3)/((-1)/3) a multiple of 11?
True
Let y(z) = -z**2 - 11*z - 5. Let q be y(-9). Suppose q = 5*k - 12. Is 5 a factor of k?
True
Let p(d) = d**3 + 15*d**2 + 22*d + 3. Does 8 divide p(-13)?
False
Let y(x) be the second derivative of x**4 + x**3/3 + x**2 + 10*x. Is 23 a factor of y(-2)?
True
Let q(r) = -r**2 - 8*r - 7. Let p be q(-7). Suppose p = m - a - 21, 0 = -3*m - 2*a + 4 + 49. Does 9 divide m?
False
Let r(d) = 38*d**2 + 2*d - 1. Is r(2) a multiple of 18?
False
Suppose 0 = 4*r + r + b - 205, 0 = 3*r - 2*b - 110. Is 22 a factor of r?
False
Let w = -2 - -7. Suppose w*c - 9 + 34 = 0. Let a = c - -10. Is 3 a factor of a?
False
Let n be (40/(-30))/((-1)/9). Suppose n = 3*m + 3*d, -3*d = -2*m + 2*d + 1. Suppose 2*a - 86 + 18 = -2*c, -2*a = m*c - 72. Does 17 divide a?
False
Suppose 72 = 3*q - 2*h, h + 87 = 3*q + 12. Suppose q = 3*i + 5. Does 7 divide i?
True
Is 15 a factor of ((-3)/(-4))/((-2)/(-216))?
False
Let c be 1 + (-8)/2 + -3. Does 23 divide c/10 - 283/(-5)?
False
Suppose -4 = 2*x + 3*q, -2*x - q - 12 = -4. Is 3 + x/((-5)/38) a multiple of 15?
False
Let w = 0 - 0. Suppose 2*y + 62 - 344 = w. Does 20 divide 12/(-4) - y/(-3)?
False
Let d be (-3 - 5) + 2 + 3. Let f = 18 + d. Does 4 divide f?
False
Let l(v) = -v**3 - 14*v**2 - 18*v - 17. Is l(-13) a multiple of 15?
False
Suppose 5*o - 39 = 2*o. Let j = 27 - o. Is 14 a factor of j?
True
Let w(p) = 2*p + 8. Let q be w(-5). Is 21 a factor of (22/4 - q)*6?
False
Let l(k) be the third derivative of -k**4/8 + k**3/3 + 3*k**2. Is 23 a factor of l(-7)?
True
Let w(a) = -5*a - 4. Let g be 210/(-51) - 6/(-51). Is 16 a factor of w(g)?
True
Suppose -4*f = -5*h + 10, -2*h = f + h - 6. Let a be 0/(f - (2 - 1)). Suppose -k = 2*z + z - 20, -2*z = a. Is k a multiple of 9?
False
Let y = -11 + 8. Let z be (-167)/y + 1/3. Let q = z - 22. Does 14 divide q?
False
Let n be 9*2 + 0/3. Suppose y - n = -0*y. Does 6 divide y?
True
Let l be (-2 - -2) + 0 - -28. Is 10 a factor of l/(-5)*(-10 - -5)?
False
Suppose 2*w - 124 = -2*c, -3*c + 72 = w - 0*c. Is w a multiple of 24?
False
Let c = -3 - -5. Let y be ((0 - c) + 0)*-1. Suppose 2*j = -5*m - j + 36, y*m - 2*j - 24 = 0. Is 7 a factor of m?
False
Suppose -7*o + 2250 = 2*o. Is 10 a factor of o?
True
Suppose -5 = 5*d + 5, -44 = 4*c + 4*d. Let f = 5 + c. Is f/(-2) - 2/(-2) even?
False
Suppose 0*v + 5*v - 19 = 4*l, 0 = 2*l - 5*v + 17. Let h be l + -2 - -34 - -2. Let z = 8 + h. Is 16 a factor of z?
False
Let p(y) = y**2 + 2*y - 4. Let n be p(-4). Let x be n + 0*(-1)/(-2). Suppose -4*w + w = 5*b - 77, 5*w - 116 = x*b. Does 12 divide w?
True
Let j = -162 - -250. Is j a multiple of 25?
False
Let s be -7*(-1)/((-21)/(-234)). Let d = 111 - s. Does 9 divide d?
False
Let x(m) = m**3 + 8*m**2 + 4*m - 8. Let w be x(-7). Does 12 divide 1/(-1)*1 + w?
True
Let k(r) = 9*r - 6. Let i(n) = 19*n - 13. Let c(p) = 4*i(p) - 9*k(p). Suppose 5*o + 29 = -4*v - 12, 2*o = 4*v + 6. Does 9 divide c(o)?
True
Suppose -14*x = -10*x - 160. Is 18 a factor of x?
False
Let v(r) = r - 1. Let q be v(3). Suppose 3 = -q*o + 19. Does 4 divide o?
True
Suppose -2*n = -6*n + 140. Is 13 a factor of n?
False
Suppose -4*n = -40 - 8. Is n a multiple of 6?
True
Let j = 115 + -46. Is j a multiple of 32?
False
Suppose 3*i + 4*a - 43 = -a, -2*i - 5*a = -37. Is i a multiple of 3?
True
Suppose -3*s - 3 = -12. Suppose -4*l + s*l = -26. Is l a multiple of 11?
False
Let o(g) = 0*g + 7 - g - 1. Is 5 a factor of o(-9)?
True
Let v be (-38)/14 + (-4)/14. Is v/(2 - 87/39) a multiple of 6?
False
Let d = 5 + 3. Is 8 a factor of (8/6)/(d/48)?
True
Let j = 260 - 80. Is 18 a factor of j?
True
Suppose -a - 4*g = -16 - 16, -2*a + 5*g + 116 = 0. Suppose 0 = -3*l + 3*k + a, 61 = 3*l + 5*k + 13. Is l a multiple of 16?
True
Suppose m + 42 = 191. Is 32 a factor of m?
False
Let a(f) = f**3 - 2*f**2 - f. Is 2 a factor of a(3)?
True
Let q be ((-18)/45)/((-1)/145). Suppose 4*x - 302 + q = 0. Is x a multiple of 15?
False
Suppose g = -0*g. Suppose q + q - 10 = g. Does 5 divide q?
True
Let s be (21/(-6) - -2)*-4. Let m be 5/(-1 + 8/s). Suppose l + 0*i = 2*i - 5, -3*i + m = 0. Is l even?
False
Suppose -6 = -4*q + 2. Let n(u) = -3*u**q + 0*u**3 - u**2 - u**3 + 2 + 9*u. Does 13 divide n(-6)?
False
Is 3 a factor of ((-4)/6)/((-20)/90)?
True
Let s be 11/3 + 4/(-6). Suppose -3*r = s*o + 3, 0 = 2*o - 6*o - 16. Suppose 2*u = -r*c + 86, u - 144 = -5*c - 3. Does 13 divide c?
False
Suppose j + 2*w - 130 = 4*j, 0 = -4*j - 3*w - 196. Let f(k) = 68*k**2 + k + 1. Let b be f(-1). Let l = j + b. Is 11 a factor of l?
True
Let l(g) = g**2 + 8*g + 17. Let y(v) = -2*v + 16. Let o be y(12). Does 17 divide l(o)?
True
Let j(x) = 24*x + 4. Is 25 a factor of j(4)?
True
Let w be (3 - 2)/(3/(-21)). Let u(z) = z**3 + 7*z**2 - 3*z + 3. Is u(w) a multiple of 12?
True
Let o(w) be the second derivative of -w**5/20 + 5*w**4/6 + 5*w**2/2 - 3*w. Let c be o(10). Suppose -4*j + 0*r + 2*r + 48 = 0, -c*r = 0. Is j a multiple of 6?
True
Let o be -1 + 0 + (-6 - -4). Is (-22)/(2 + o) - 3 a multiple of 19?
True
Let p = 4 - -13. Is p + ((-2)/(-2) - -1) a multiple of 19?
True
Suppose 0 = 5*i - 4*x + 17, 6*i + 21 = i + 2*x. Is (0 + -2)*i/2 a multiple of 2?
False
Does 8 divide ((-9)/2)/(3/(-18))?
False
Let v(z) = -13*z - 1. Suppose -n = -5 - 0. Let d be (1 - n)*(-4)/(-8). Is 13 a factor of v(d)?
False
Let y(x) = x**3 + 7*x**2 + 8*x - 5. Does 3 div