(-7 - -16) - -2. Suppose -3*f - 38 = -0*f - 5*y, 5*y - 54 = 4*f. Does 26 divide -26*8/(f/t)?
True
Let y(l) = 20*l + 14. Let m be 5/((-5)/(-3)) - -2. Is 26 a factor of y(m)?
False
Let i = 3 - -3. Suppose 3*q = -4*s + 152, -4*s - q + 120 = -i*q. Let r = 59 - s. Is 6 a factor of r?
True
Suppose 0 = -21*l + 17*l - 96. Let p(j) = -3*j - 36. Is p(l) a multiple of 18?
True
Suppose -3*u = -5*r - 6*u + 1188, 492 = 2*r - 3*u. Suppose -5*d + r = f - 3*f, 5*f + 96 = 2*d. Does 16 divide d?
True
Let v(j) = -5*j - 4. Let h be v(-10). Let a = h + -10. Is a a multiple of 36?
True
Is 15 a factor of (196/6 - 3)*12?
False
Suppose -2*k + 586 = -0*k. Suppose -i + 4*i = -2*r + 225, 5*r = -4*i + k. Is (-4)/22 - (-5096)/i a multiple of 11?
True
Let c(z) = -z**3 - 32*z**2 - 20*z + 28. Is c(-32) a multiple of 15?
False
Suppose 19 = -3*h + 31. Suppose 4*w = h*x - 126 + 38, 0 = -3*x - 5*w + 26. Does 17 divide x?
True
Suppose 0 = -4*j - 15 + 55. Let h be (-1)/(-4) + j/(-40). Suppose h = -10*r + 13*r - 84. Is r a multiple of 20?
False
Suppose -4*k = -2*k. Suppose -3*o = -k*o - 54. Is 9 a factor of o?
True
Let t(x) = -2*x**3 + 9*x - 9. Let a(g) = g**3 - 4*g + 4. Let v(r) = -9*a(r) - 4*t(r). Is v(-6) a multiple of 12?
True
Does 4 divide ((-2880)/672)/((-3)/70)?
True
Suppose -n - 2*n = -30. Suppose r = -r + n. Suppose r*c - 3*c - 18 = 0. Does 4 divide c?
False
Is 5 a factor of ((-3)/(-12)*20)/((-1)/(-10))?
True
Let s = 61 - 63. Is 25 a factor of ((-75)/s)/((-5)/(-10))?
True
Suppose 2*q - 13 + 7 = 0. Suppose -5*b - q*j = -555, -6*j + 15 = -3*j. Does 12 divide b?
True
Let j be (0/(-2))/(10/5). Suppose 4*a - 82 = 5*d, -4*d + 123 = 5*a - j*d. Suppose -94 = -3*u + a. Does 13 divide u?
True
Suppose 11*v - 92 = 73. Let c(g) be the third derivative of g**4/12 + 11*g**3/3 + g**2. Does 11 divide c(v)?
False
Let p(u) = 5*u**3 + 11*u - 2. Is p(3) a multiple of 7?
False
Suppose -106848 = 27*l - 80*l. Does 21 divide l?
True
Suppose -2*z = -308 - 252. Suppose 0 = 6*t - 13*t + z. Does 4 divide t?
True
Let n(u) = -55*u - 1. Let r be n(-2). Let m = -22 - r. Let c = 195 + m. Is c a multiple of 14?
False
Let h(w) = 16*w**3 + 3*w**2 + w - 3. Let j be h(2). Suppose -j = 6*c - 421. Does 18 divide c?
False
Suppose 21 - 6 = 5*p. Let y(r) = r - p*r - r**2 - 6*r + r + 4. Is y(-6) a multiple of 5?
True
Suppose 47*t - 268 = 43*t. Is 20 a factor of t?
False
Let s = -1548 + 2740. Does 68 divide s?
False
Let f(t) = 6*t - 26. Let m be f(-12). Is 24 a factor of (-30)/15 - 1*m?
True
Suppose -15*x = -19*x + 492. Does 7 divide x?
False
Let s = -2 - 2. Let o be s/24*2*-258. Suppose 13 = 2*b - 3*k - 49, 2*b + 3*k - o = 0. Is 14 a factor of b?
False
Suppose 5*h = 3*u + 10745, -8*u + 9*u = -2*h + 4287. Is 28 a factor of h?
False
Let n(r) = 466*r - 1. Let i be n(-1). Let g = -333 - i. Suppose 0 = -4*t + g + 118. Is t a multiple of 16?
False
Let b be 4/(-6)*(2 - 5). Suppose -2 = -b*x - 8. Let u = x + 17. Is u a multiple of 14?
True
Let u be 5 - 3/(12/(-16)). Is ((-1)/(15/u))/(3/(-75)) a multiple of 5?
True
Let s be ((-3)/2)/((-2)/8). Does 7 divide 124/s - (-22)/(-33)?
False
Suppose -l + 3*r + 1 = -109, 0 = -4*l - r + 427. Is 22 a factor of l?
False
Let c(r) = -333*r + 19. Is c(-1) a multiple of 44?
True
Let o be ((2 - 3) + 0)*1. Let b be (384/(-8))/(o/2). Let x = b - 63. Does 12 divide x?
False
Let y = 1 - -2. Let f(a) = -4 + a**2 - 5*a + 0*a + 2*a + a**3 + 7. Is 16 a factor of f(y)?
False
Suppose 5281 = -18*q + 29221. Is q a multiple of 45?
False
Let i(k) = 3*k**2 + 16*k + 91. Is i(-18) a multiple of 11?
False
Let f(v) = 14*v**2 - 10*v - 7. Is 39 a factor of f(6)?
False
Let p be 7 + -11 - (0 + -3). Is 48 a factor of (5 - 4) + (238 - (0 + p))?
True
Let u be 5*7/(35/3). Suppose u*w + 9 = 6*w. Suppose -4*m + 8 = -3*m - 3*q, 0 = w*q + 3. Is 3 a factor of m?
False
Let v(l) be the first derivative of -4/3*l**3 + 4*l - 1 + 1/4*l**4 - 1/2*l**2. Is v(6) a multiple of 19?
False
Suppose 38*c - 8025 = 13*c. Is 34 a factor of c?
False
Does 14 divide 696*(-78)/4*48/(-288)?
False
Let b = -141 + 147. Is b a multiple of 2?
True
Let l = 15 + -10. Let g(u) = -3*u + 1. Let m be g(-6). Let k = m + l. Does 8 divide k?
True
Let q(j) be the first derivative of -j**4/24 + 3*j**2 - 1. Let z(i) be the second derivative of q(i). Is z(-6) a multiple of 6?
True
Let q = -20 - -14. Let z = q - -3. Does 2 divide ((z + 23)/(-4))/(-1)?
False
Let n be (-2 - 1 - -3)/(1*-3). Suppose 5*p - 17 = -3*a + 103, n = -a. Is 4 a factor of p?
True
Let c(u) = -9*u - 6. Let b(m) = m**2 + 6*m + 3. Let k be b(-6). Suppose 3*f - l - l = 0, -3*f - k = -l. Is c(f) a multiple of 6?
True
Let o(s) = s**2 + 3*s - 1. Let m be o(2). Suppose m*w = 10*w - 15. Does 5 divide w?
True
Does 7 divide -6*(-7)/84*136?
False
Let h = 12 + -3. Let a = -7 - h. Is 8 a factor of (8/3)/(a/(-192))?
True
Let v(o) = -2*o**3 + 4*o**2 - 3*o + 7. Let g be v(3). Is (g/(-15))/(-2)*-150 a multiple of 32?
False
Is 67 a factor of -16 - -22 - (0 + -2339)?
True
Let k = -30 + 308. Is k a multiple of 21?
False
Does 33 divide ((-1848)/30)/((-2)/30)?
True
Suppose r - 3 = 0, 0 = 4*i + r - 570 - 537. Does 23 divide i?
True
Suppose -20 = -4*y + 2*s, s = -4*y - 0*s + 8. Suppose y*g - 5*k - 30 - 72 = 0, 5*g = k + 192. Is g a multiple of 5?
False
Let o be -1 - -2 - (-3)/3. Let j(w) = -2*w + 17*w**2 + 15*w**2 - w + 1 + o*w. Is 8 a factor of j(1)?
True
Let b(u) = -5*u + 33. Let i(s) = -2*s + 11. Let w(t) = 2*b(t) - 7*i(t). Let y be w(4). Suppose y*r - 10 = 55. Is r a multiple of 2?
False
Is (-108)/(-9)*(64 + 2) a multiple of 66?
True
Let g(s) = -53*s + 362. Is g(-36) a multiple of 16?
False
Is 74 a factor of 2226/10 - (-81)/(-135)?
True
Let h be 44 - (6 - (10/(-5) + 6)). Suppose -g - 51 = -3*l, 4*g = l + 2*l - 42. Let v = l + h. Is v a multiple of 20?
True
Suppose 34 = -4*a - 6. Let c(b) = -4*b + 12. Let l be c(a). Suppose 2*m = -o - 0*m + l, 224 = 4*o + 4*m. Does 19 divide o?
False
Suppose 0 = 6*d - 9*d + 213. Let t = 87 - d. Is 11 a factor of t?
False
Suppose -29*k + 40 = -27*k. Suppose 0 = 4*p + k, 0*y - y - 4*p = -111. Does 17 divide y?
False
Does 14 divide 0 + 2 + -5 - -7 - -990?
True
Suppose -3*w + 14 + 30 = -4*g, 3*g + 4 = -5*w. Let y = g - -12. Suppose 0 = -y*j + 79 - 7. Is j a multiple of 9?
True
Let t = -14 + 19. Let w(y) = y**3 - 2*y**2 - 6*y + 6. Is w(t) a multiple of 13?
False
Suppose -3*w = -3*z - 33, 0 = -3*w - 2*w - 5*z + 75. Let u(v) = v**2 - 9*v - 16. Let d be u(w). Suppose 0 = s + 5, 2*o = 3*s + 15 + d. Is o a multiple of 4?
False
Suppose 4*l + 236 = 3*g - 162, -4*l - 146 = -g. Is g a multiple of 18?
True
Let p = -3 - -4. Let c(x) = -x**2 - 35*x - 289. Let j be c(-13). Let n = p - j. Is n a multiple of 2?
True
Let a(f) = -21*f. Let u be a(1). Let c = u - -12. Let d = c - -74. Is d a multiple of 13?
True
Suppose 0 = 5*z + 5*g - 785, 80 = 2*z + 5*g - 240. Does 53 divide z?
False
Let c(m) = -m**3 - 14*m**2 - 9*m. Let s(p) = -p**3 - 23*p**2 + 27*p + 57. Let k be s(-24). Is 18 a factor of c(k)?
True
Let g(l) = 6*l**2 + 4*l. Let y be g(-4). Suppose 0 = s + 3*s - y. Does 3 divide s?
False
Suppose -5*y + 14449 = 4*q, 5*q + 11592 = -14*y + 18*y. Is y a multiple of 67?
False
Suppose 90*m - 662 = 89*m. Is 42 a factor of m?
False
Does 11 divide (-5611)/(-5) + 2/(-10)?
True
Suppose -453 = 9*q - 3477. Does 42 divide q?
True
Suppose 0 = -6*y - 0*y + 66. Let o(k) = -k**2 + 18*k + 12. Does 11 divide o(y)?
False
Let w = -2 - -1. Let x be 90 - (w + 3 + -3). Let g = -41 + x. Is g a multiple of 25?
True
Is -2*33*4/(-6) a multiple of 2?
True
Let s(g) = -g - 1. Let c(n) = -10*n - 5. Let q(o) = 3*c(o) - 15*s(o). Is 15 a factor of q(-6)?
True
Let s(v) = -5*v - 14. Let x be s(-4). Suppose g - 3*u + 5 = 0, -3*u + 29 = -x*g + 2*g. Let a(i) = -7*i + 13. Does 23 divide a(g)?
True
Let z = 3280 + -1916. Does 22 divide z?
True
Let t(k) = -2*k + 0*k - 5*k + 4 + 6*k. Let w be t(2). Suppose 2*h + w = 0, 5*n + 2*h = -0*h + 333. Is 17 a factor of n?
False
Let w = 549 - 379. Let r be w*(-3 + 14/4). Let a = -45 + r. Is 20 a factor of a?
True
Suppose -6*u + 7*u - 3 = 0. Suppose -5*b + 31 = u*z, -2*z + b = 2 - 1. Suppose -4*j = 2*p - 14, 2*p + 10 = z*j + 4*p. Is j even?
True
Suppose -5*h - 8 = -128. Let y = 66 - h. Does 28 divide 4 - y*15/(-6)?
False
Suppose 328 + 48 = 4*r. Let k = r - 63. Is k a multiple of 11?
False
Let u = 44 - 59. L