e 2*y = -y + 105. Let l = y + 11. Is 23 a factor of l?
True
Let o = 26 - 18. Suppose -31 = 3*m + 14. Is 20 a factor of m/(-20) + 570/o?
False
Suppose -2 - 1 = -b. Suppose b*v = 8 + 7. Suppose -m - 3*i + 6 = -1, -v*i = 5*m - 65. Is 4 a factor of m?
True
Let b = -5 + 5. Suppose -2*x + 10 = 5*i + x, 3*i - 2*x - 25 = b. Does 5 divide i?
True
Let k be -36*(10/(-3))/(-2). Let l = 402 + -261. Let h = l + k. Is h a multiple of 27?
True
Let l(i) = 714*i**2 - 6*i + 5. Is l(1) a multiple of 14?
False
Let n be (-44)/(-7) - (-16)/(-56). Is -3*-2*(74/n - 3) a multiple of 8?
True
Let g(f) = f**3 + 2*f**2 - 3*f + 4. Let m be g(-3). Let n be 4*(1/(-4) + m). Is 16 a factor of (2/(-5))/(n/(-1800))?
True
Let d(n) = 3*n**3 - 24*n**2 - n + 28. Let o(s) = -2*s**3 + 16*s**2 + s - 19. Let f(z) = -5*d(z) - 8*o(z). Let v be f(8). Is -2 + (-8)/v*48 a multiple of 13?
False
Let r = 103 + -63. Suppose 77 = 2*v + 3*z, -2*v - z = -v - r. Is 16 a factor of v?
False
Let b(o) = o + 9. Let f be b(-4). Let z(p) = -6 + 6 + f - p. Is 21 a factor of z(-16)?
True
Let t(i) = i**2 - 5*i. Suppose -5*w - 4*h = -19, -2*w + 3*h = 2*w - 9. Suppose w*r = 4*r - 8. Does 8 divide t(r)?
True
Let x = -4 - -8. Let p be x + (3 - (-210 + 1)). Suppose -s - 3*s + p = 0. Does 27 divide s?
True
Let s = -15 + 28. Let v = -13 - s. Is 6*(0 - v/3) a multiple of 26?
True
Let y(g) = -12*g**3 - g**2 - g. Let c be y(-1). Suppose 500 = c*q - 1516. Is q a multiple of 11?
False
Let j = -6 + 3. Let o = j + -6. Does 2 divide (2/(-4))/(o/36)?
True
Let p = 488 - 337. Let d = -91 + p. Is d a multiple of 12?
True
Suppose -20*q + 23*q - 246 = 0. Is 6 a factor of q?
False
Suppose -v + 732 = -a, -2*a - 1327 - 1611 = -4*v. Is 67 a factor of v?
True
Suppose -37*q - q = -63954. Is q a multiple of 99?
True
Let n(d) = 13*d**2 + 4*d + 18. Let a = 8 - 12. Is n(a) a multiple of 35?
True
Let o(t) be the second derivative of t**4/4 + 5*t**3/3 - 2*t**2 + 7*t. Suppose 4*b + 19 + 1 = 0. Is 12 a factor of o(b)?
False
Let d(c) = -7*c**3 - 2*c**2 + 1. Let y be d(-1). Suppose 0 = -y*g + 3*g. Suppose 5*x - 211 - 164 = g. Is 25 a factor of x?
True
Suppose -4*h - 3*o = -2395, -o + 0 = -1. Is 6 a factor of h?
False
Let x = -361 - -521. Is 32 a factor of x?
True
Let i(p) = -3*p - 3. Suppose 4*o = -x - 9, 2*x = -8*o + 4*o - 10. Let c be i(o). Is 17 a factor of (-3 + -9 + c)*-7?
False
Suppose -5*m + 0*z - 5*z = -40, 2*m - 5*z = 16. Is m a multiple of 2?
True
Let n be (-123)/9*(1 + -4). Let b = 42 + n. Does 31 divide b?
False
Let u(m) = -5*m**3 - 12*m**2 - 7*m - 8. Let g be 8 + -1 + -4 + 2. Let w(q) = -4*q**3 - 11*q**2 - 7*q - 8. Let v(r) = g*u(r) - 6*w(r). Does 8 divide v(7)?
True
Let w(d) = 6*d**2 - 2*d - 2. Let q be w(-1). Let u be 4 + (-4 - -1) + 8. Is (-160)/(-5)*u/q a multiple of 12?
True
Let i(z) = -z**2 + 66*z - 16. Is 61 a factor of i(12)?
False
Let q(p) = 2*p**3 + p**2 + 8*p - 12 - p**3 - 7*p. Let i be q(0). Does 9 divide i/(-18) - 116/(-6)?
False
Let m = -12 - -16. Suppose -r + 30 = -4*a, 18 = -m*a - 9*r + 4*r. Does 17 divide 3304/98 + (-2)/a?
True
Let o = 2020 - -867. Does 23 divide o?
False
Suppose -6*i = -8*i + 6. Let o be 4 + 6/i + -1. Suppose -42 = -6*b + o*b + 2*h, 88 = 2*b - 5*h. Is 17 a factor of b?
True
Suppose -14 = -2*p - l + 4*l, 3*p - l = 21. Suppose -p*b + 296 = -3*b. Does 18 divide b?
False
Let d(q) = -3*q**2 + 2*q. Let l be d(-8). Let x be 21/4*l/(-39). Suppose 3*u + 2 = 2*p - 2, 3*p + u = x. Is p a multiple of 2?
True
Let y be (2 + 3)*(-1)/(-5)*4. Is 12 a factor of y/(-10) - 244/(-10)?
True
Let s = -204 + 389. Suppose 0 = -0*x - 5*x + s. Is 8 a factor of x?
False
Is 3/(-2)*(-16 + -114) a multiple of 39?
True
Let b = 385 + -131. Does 19 divide b?
False
Suppose 0 = -l - 0*v + 3*v + 12, 5*l - 3*v = 12. Suppose l*y + 5*y - 220 = 0. Is y a multiple of 11?
True
Suppose 47 = d - 0. Suppose -z + 53 = -d. Is 20 a factor of z?
True
Suppose -13*l + 0 = -78. Is ((-16)/(-12)*-3)/(l/(-15)) a multiple of 10?
True
Let d(r) be the second derivative of -11*r**3/6 + 6*r. Let u be d(4). Does 4 divide (13/(-4))/(11/u)?
False
Suppose q = -q - s + 79, -q = -2*s - 47. Let n(p) = -36*p**3 + 2*p**2 + p. Let o be n(-1). Let x = q + o. Does 26 divide x?
True
Let m = -12 - -17. Let u(g) = -4*g + 13 + m + 3 + 5*g. Does 7 divide u(0)?
True
Let c = 259 + -4. Is 21 a factor of c?
False
Suppose 3*d + 8 = s, 0*s = -4*s - 4*d. Is s*(-2)/(-4)*8*2 a multiple of 5?
False
Let c(u) = u**2 + 14*u + 2. Let y be c(-14). Suppose 3*x + 0*z = y*z + 480, -800 = -5*x - 4*z. Does 20 divide x?
True
Suppose 2*r + 3*p = 29, r + p = 4*r - 27. Let j(q) = q**3 - 10*q**2 + q - 4. Is 3 a factor of j(r)?
True
Let w be ((-6)/15 - 0) + 168/20. Suppose -10*t + 576 = w*t. Does 2 divide t?
True
Let c = 137 + -207. Let h = -28 - c. Is h a multiple of 14?
True
Does 10 divide (-2)/((-12)/194) - 118/(-177)?
False
Let l be (1/1)/(23/(-345)). Let i = -4 - l. Is 9 a factor of i?
False
Let r(o) be the third derivative of o**5/60 - o**4/6 + o**3 + 4*o**2. Let y be r(5). Suppose 5*j = 4*i - 139 + 53, y = i + 4*j. Does 19 divide i?
True
Let h(o) = 2*o + 16. Let k be h(-6). Let a be 6 - (0/1 - -1). Suppose 26 - 1 = -a*q, 2*j = k*q + 54. Is j a multiple of 5?
False
Let u be 65 + 3 + 0 + -5. Let p(q) = -7*q + 2*q + 55 - u. Is p(-6) a multiple of 11?
True
Suppose 0*j = -4*j + 8. Suppose 0 = -51*k + 52*k - 5. Suppose 0 = -2*s - 4*m + 22, k*m + 53 = 3*s - j. Is 9 a factor of s?
False
Let s(y) = -y**2 + 290. Does 5 divide s(0)?
True
Suppose 0 = 45*l - 36*l - 4185. Is l a multiple of 15?
True
Let x be 3*(-5)/20 + (-50)/8. Suppose 0 = v - 5 - 20. Let r = v + x. Is r a multiple of 6?
True
Let b(x) = x**3 + 4*x**2 - 16*x - 21. Let v be b(-6). Suppose -4*p = 4*h - 404, 7*h + 319 = v*p + 6*h. Does 31 divide p?
False
Suppose 305*j = 309*j - 8872. Is 73 a factor of j?
False
Suppose 4*y = 5*m + 10619, 2*y = 5*m - 778 + 6075. Is y a multiple of 55?
False
Let i be 4/14 - 24/(-14). Suppose -8 = -i*z, 2*m = -z + 3*z + 88. Suppose 3*h + 0*t = 4*t + 68, m = 2*h - 2*t. Is h a multiple of 16?
False
Let f = 276 + -1. Is 4 a factor of f?
False
Let d(k) = 8*k**2 - 7*k + 1. Let h(u) = 2*u**3 + 10*u**2 - 13*u - 1. Let y be h(-6). Is 41 a factor of d(y)?
False
Let w(f) = 2*f**3 + 21*f**2 - 10*f + 13. Let h be w(-11). Suppose h*o = 4*g - 62, -49 = -4*g + g - o. Is g a multiple of 2?
True
Suppose -5*y + 44 = 34. Suppose 0 = -3*l + y*l + 144. Is 8 a factor of l?
True
Let g(o) = 110*o - 10. Is g(6) a multiple of 13?
True
Does 14 divide 4/(-38) + (-83016)/(-228)?
True
Suppose 3*g - 2*x + 66 = 3*x, -g = 4*x + 5. Let o = 9 + g. Let t(p) = -5*p - 7. Does 17 divide t(o)?
False
Let t = -1699 + 2871. Does 66 divide t?
False
Let f(v) = 2*v**3 - 3*v**2 + 3*v + 5. Let j be (8/20)/(2/20). Let u be f(j). Suppose 4*q - 279 - u = 4*b, -3*b = 4*q - 369. Is 31 a factor of q?
True
Let o be 5/((-15)/(-6)) - 99. Suppose -5*j + 2*c - 175 = 0, j - 4*c = 6*j + 205. Let g = j - o. Is 12 a factor of g?
True
Let h be (0/3)/(6 + -7). Suppose -4*r + 115 + 77 = h. Is r a multiple of 24?
True
Let c be ((-6)/4 + 1)*-48. Suppose 11*h - 5 = -71. Let l = c + h. Is l a multiple of 9?
True
Let a(q) = 2*q**2 - 29*q - 12. Does 32 divide a(-8)?
False
Suppose -347 = 5*g + 228. Let u = g + 309. Is 48 a factor of u?
False
Suppose w - r - 240 = 476, -5*r - 1420 = -2*w. Is w a multiple of 24?
True
Suppose 5*s - 5*r = -0*s + 4760, -3*s - 2*r + 2851 = 0. Does 44 divide s?
False
Let l = -101 + 103. Let b(q) = 16*q**2 - 6*q + 3. Does 5 divide b(l)?
True
Let m = -32 - -36. Suppose -2*z + 190 + 46 = -2*o, -m*z = 3*o - 458. Is 8 a factor of z?
False
Let x be (-6)/(-1*(2 - 1)). Suppose 0 = -2*h - 0 - x. Is 21 a factor of -2 - -5 - (h + -23)?
False
Let o(z) be the first derivative of -5 + 3/2*z**2 + 1/4*z**4 + 7/3*z**3 - 5*z. Is 5 a factor of o(-5)?
True
Suppose 25*g + 5740 = 32*g. Does 7 divide g?
False
Suppose -12 = 4*v - 60. Let o = 20 - v. Let t(r) = r**3 - 8*r**2 + r + 10. Does 9 divide t(o)?
True
Let y = -32 - -34. Suppose 99 = 11*a - y*a. Is a even?
False
Let d(m) = -4*m - 26. Let h be d(-8). Does 14 divide (-5 + (-197)/(-6))*h?
False
Let u(k) = -k. Let a(j) = -11*j - 38. Let q(l) = -a(l) - 6*u(l). Is q(7) a multiple of 12?
False
Let v = 109 + -108. Is 14 a factor of (-703)/(-95)*(v + 14)?
False
Let m(c) = -c**2 + 2*c. Let p(j) = -j + 15. Let u be p(9). Let r be m(u)