ose 8*h - 243 = 277. Let m = h + 2. Does 9 divide m?
False
Let a(t) = 2*t + 4*t**2 + 2*t**3 + 12 - 13 - 6*t**2 - 4*t. Let w be a(-1). Let d = w - -17. Does 9 divide d?
False
Let u = 54 + -50. Suppose 2*z = 3*b - 193, u*b - 124 = 2*b - z. Is b a multiple of 21?
True
Suppose 7 = -2*c - 5. Let k be (-1 - -3)*-1 - c. Suppose -5*d + 4*w = 2*w - 87, -4*d = -k*w - 72. Is 4 a factor of d?
False
Suppose 1653 = 30*w - 1077. Is 2 a factor of w?
False
Suppose -2 = -4*w - 62. Let p = w + 18. Let v = 14 - p. Is 3 a factor of v?
False
Let g(o) = o**3 + o**2 + o + 4. Let h(r) = -1. Let l(k) = -2*g(k) - 6*h(k). Let u = 1 - 3. Does 5 divide l(u)?
True
Let y be 2/(-13) - (2 - 140/65). Is -10*(-8)/20 + 29 + y a multiple of 11?
True
Let h(u) = -11*u + 7. Does 16 divide h(-11)?
True
Let s(a) = a**2 - 7*a - 4. Let l be s(8). Suppose -u + 18 = l. Does 10 divide u?
False
Suppose 5*o - 10*o = 0. Let t(h) = 6*h + 146. Does 15 divide t(o)?
False
Let h(p) = -13*p**3 - p**2 - 2*p - 3. Let v be h(-2). Suppose 256 = 3*r - v. Is 17 a factor of r?
True
Let m be 2712/(-42) - 4/(-7). Let k = 172 + m. Is 18 a factor of k?
True
Let a = -1 + -14. Let h(q) = q**2 + 16*q + 15. Let o be h(a). Suppose o = -u + 2, -4*z - z = -u - 493. Is 20 a factor of z?
False
Let i(m) = 3*m**2 + 0*m**2 + 8 + 9*m - 3*m**2 - m**2. Is i(8) a multiple of 4?
True
Suppose -4*u = 2*g - 2*u - 16, g = -5*u + 20. Suppose 2*s + 8 = -4*q, g*q + 24 = -0*q + s. Is 114/q*16/(-24) a multiple of 19?
True
Suppose -4 = 2*j, -3*i = j + 4*j + 4. Is 3/i*32/6 even?
True
Let d = -2 - -6. Suppose 0*p - p + d = 0. Suppose 0 = -p*o + h + 23 + 164, -3*o + 137 = -4*h. Is o a multiple of 14?
False
Let q(s) = 2*s**2 - 4*s + 2. Let u be q(3). Suppose 5*x + 4*d - 94 = 0, -4*x - 5*d + 76 = -d. Let c = x - u. Does 5 divide c?
True
Let s be (-34)/(-85) + ((-23)/(-5) - -1). Let h = s + 19. Is h a multiple of 3?
False
Suppose 6*v + 320 = 10*v. Suppose 0 = 13*k - 7*k - 672. Let y = k - v. Is y a multiple of 32?
True
Suppose -2*s + 249 = -211. Let c = s - 110. Is c a multiple of 20?
True
Suppose -2*j + 1577 = 3*d, -j - 1579 = -3*d - 5*j. Suppose 26*n - d = 21*n. Does 15 divide n?
True
Does 18 divide 295*(4 + -2)/(-13 - -15)?
False
Let b be (-5)/2*4/(-2). Suppose -5*x + 16 + 29 = -5*w, -2*x - 17 = b*w. Let h(p) = p + 8. Is 12 a factor of h(x)?
True
Suppose 4*a = r - 24, r + 21 + 0 = -5*a. Suppose 0*l - 5*l - r*z + 57 = 0, -l - 3*z = -7. Suppose -32 - l = -5*q. Is q a multiple of 6?
False
Let q(o) = -o**2 + 7*o - 1. Let f be q(6). Suppose 2*g = 25 + f. Does 8 divide (-1)/(2/6) + g?
False
Suppose -16*f = 24*f - 31200. Is 13 a factor of f?
True
Let g = -37 - -25. Let l = g + 16. Suppose -a + f = -87, l*a - 180 - 175 = -3*f. Does 11 divide a?
True
Suppose 5*p = 3*g - 888, 3*p - 592 = -9*g + 7*g. Is 8 a factor of g?
True
Let b(p) = -4*p**3 - 3*p**2 - 64*p + 3. Is b(-8) a multiple of 34?
False
Suppose k + 9 = 119. Suppose -9*o + 7*o = -k. Does 11 divide o?
True
Let x = 1389 - 986. Is x a multiple of 15?
False
Let y(w) = -w - 1. Let a(r) = 53*r + 4. Let s(p) = -a(p) - 2*y(p). Is s(-1) a multiple of 18?
False
Let h = -1434 + 2994. Is h a multiple of 30?
True
Let u = 52 + 266. Is 53 a factor of u?
True
Suppose g - 3*o - 45 = -0*o, 5*g - 199 = 2*o. Suppose r + g = -s + 3*s, -5*s - 4*r + 130 = 0. Is s a multiple of 8?
False
Suppose 5*r - 28 = -2*l - 7, 0 = 4*r - 2*l - 6. Suppose 2*v + m = -0*m + 86, -r*m - 152 = -4*v. Is 25 a factor of v?
False
Let q(c) = -c**3 + 10*c**2 + 26*c - 15. Suppose -j - 3*s = -15, -5*j - 9*s + 64 = -5*s. Is q(j) a multiple of 2?
False
Let l(m) = m**3 + 11*m**2 - 18*m - 8. Let w(f) = 2*f**3 + 22*f**2 - 35*f - 16. Let t(c) = -7*l(c) + 4*w(c). Is t(-12) a multiple of 11?
False
Let i(o) = -8*o**3 + 4*o**2 + 10*o - 3. Let r be i(-4). Suppose -3*y = -b - 807, -4*b + 5*b - r = -2*y. Is y a multiple of 43?
False
Let m(q) = q**3 + 3*q**2 - 9*q + 4. Let f be m(-5). Is (f - -66)*70/50 a multiple of 13?
True
Let y(z) = 993*z**2. Let x be y(1). Let l = -573 + x. Suppose -92 - l = -8*i. Is 22 a factor of i?
False
Suppose -4*z - 2*c = -1810, 6*z - 5*z + 4*c = 435. Is 13 a factor of z?
True
Let o(v) = v**3 + 8*v**2 - v + 9. Let u be o(-9). Is 9 a factor of (42/u)/((-2)/147)?
False
Suppose 13*f - 39 = -0*f. Let l(i) = 9*i**3 - i**2 - 2*i + 9. Does 36 divide l(f)?
False
Let i(c) = c**3 - 6*c**2 + 2*c - 14. Let u be i(6). Does 11 divide (-4 - 28/u) + 1?
True
Let r = 42 - -38. Is 11 a factor of r?
False
Let q be 7/2*10/5. Suppose o = l + l + q, 17 = -2*l + 3*o. Is (-1)/(l/(-3)) - -6 a multiple of 3?
True
Suppose -8 = -7*u + 5*u. Suppose 3*b = u*b - 94. Is 18 a factor of b?
False
Let p = -8 - -11. Suppose 2*u + 1 = -p. Let c(h) = 4*h**2 - 2. Is c(u) a multiple of 14?
True
Let w = 2 + -2. Suppose w = -2*m - 2*c + 32, -c = c + 2. Suppose -q = 1 - m. Is q a multiple of 16?
True
Suppose 3*d + 0*d + 5*c - 1943 = 0, d - 643 = 3*c. Does 27 divide d?
False
Let v(n) = -n + 44. Let w be (-1 - 1)*2/(-4). Let g = w - 1. Is v(g) a multiple of 22?
True
Suppose 25*j = 284 + 1616. Is j a multiple of 19?
True
Let n be (-96)/(-44) - (-4)/(-22). Let x(a) = -a**2 - 2*a + 9 + n*a + 14*a. Does 15 divide x(11)?
False
Let x(w) = w**3 - 7*w**2 - w - 24. Is 6 a factor of x(10)?
False
Suppose -d = 3*g - 37, -5*d - 5*g = -2*d - 115. Is 28 a factor of d/3*(19 - (-8)/4)?
True
Let t = -277 - -536. Does 25 divide t?
False
Suppose 0 = 3*n + 4*s - 46, 8 = -n + 5*s - 2. Suppose -13*o = -18*o - n. Is 20 a factor of -53*o*(-1)/(-2)?
False
Suppose -3*g = o - 150, 3*o - 58 - 403 = 2*g. Does 35 divide o?
False
Let w(s) be the third derivative of s**7/2520 - s**6/60 - s**5/24 + s**4/12 + 3*s**2. Let l(d) be the second derivative of w(d). Is l(13) a multiple of 6?
False
Suppose -3*v + 0*v + 3*s = -9, -5*v - 5*s - 15 = 0. Suppose l + l = v. Suppose 5*c - 3*c - 48 = l. Does 5 divide c?
False
Let z(u) = -u + 23. Let d = -16 - -34. Let m be z(d). Suppose 5*n - 2*f - 25 = 0, -2*f - 15 = -m*f. Is n a multiple of 7?
True
Suppose 5 - 1 = 2*c + 2*z, 0 = -5*c - z + 22. Suppose 0 = -4*x - c + 49. Is 11 a factor of x?
True
Let c = 2458 + -1297. Is 9 a factor of c?
True
Suppose -5*c + 4*r = -276 - 859, 3*r = -5*c + 1170. Does 21 divide c?
True
Let o = -77 + 28. Let u be -8*2 + 2/2. Let n = u - o. Is n a multiple of 9?
False
Let s be 0 - 1 - (6 - -1). Let m(j) = j**3 + 8*j**2 + 7*j - 14. Let l be m(-6). Let g = l + s. Is g a multiple of 4?
True
Let k(q) be the first derivative of 85/2*q**2 + 4 + 3*q. Does 18 divide k(1)?
False
Let p be (2/(-4))/(8/96). Let a be (-2)/(2/p*1). Does 19 divide 784/21 + 4/a?
True
Let y = 43 - 91. Does 3 divide (y/(-5))/3*45/6?
True
Does 11 divide 483 + (-2)/(0 + -2)?
True
Suppose -7*k - 782 = -2084. Does 27 divide k?
False
Suppose -13 = -5*w - g, 2*w - g - 6 = 2. Suppose -w*t - 3*k = -372, -244 = -2*t - 3*k - k. Does 18 divide t?
True
Let y = -1 - -3. Let i(m) be the third derivative of m**5/6 - m**4/24 - 42*m**2. Is i(y) a multiple of 19?
True
Let h = -510 - -945. Does 20 divide h?
False
Suppose 23*l = 13237 + 28623. Is 13 a factor of l?
True
Suppose 0 = -6*m + 8*m + 4. Let q(y) = -5*y**2 + 2*y + 6. Let k(x) = 1. Let a(d) = k(d) - q(d). Is 12 a factor of a(m)?
False
Suppose a + 83*f - 78*f = 344, -3*a - 5*f + 1022 = 0. Is 113 a factor of a?
True
Suppose 3*q + v - 74 = 0, -v + 93 = 4*q - 7. Is 26 a factor of q?
True
Let d = 4 - 4. Suppose 2*x + d = 4. Suppose x*l - 64 = -5*h, -l = -0*l + 3. Does 7 divide h?
True
Suppose -4*o + 7756 = 24*o. Is o a multiple of 10?
False
Suppose 36720 = 26*j - 2*j. Is j a multiple of 25?
False
Let f be ((-2)/(-3))/((-5)/195). Let d = f - -58. Is d a multiple of 7?
False
Let r(p) = 2*p + 6 - 9 - p**3 + 14*p**2 - 7*p - 11. Let i be r(13). Let g = i + -44. Is g a multiple of 23?
True
Let r = -485 - -1113. Is 39 a factor of r?
False
Let a(j) = -j**2 + 2*j - 3. Let g(q) = q**2 - 13*q + 12. Let n be g(12). Let i be a(n). Is 8/i*(-273)/28 a multiple of 13?
True
Let x be ((-4)/(-6))/((-2)/(-6)). Let m be ((-31)/(-2))/(4/(5 + 3)). Suppose x*p = p + m. Is 9 a factor of p?
False
Let s(r) = 3*r**2 - 9*r + 222. Is s(19) a multiple of 31?
False
Suppose 12*r = 13*r + 3. Does 26 divide 50 - (3 - (2 - r))?
True
Let j = -22 - -26. Suppose -2*u - 3*h + 58 = -h, -j*h = u - 35. Is u a multiple of 27?
True
Let m(a) = -a + 4. Let y be m(-6). Let c(p) = -p**2 +