et u = 5 - w. Is u a multiple of 2?
True
Let o = -1039 + 1252. Does 22 divide o?
False
Suppose 1 = -k + 5. Suppose -k*s + 4 = -5*i - s, 0 = 4*i - 2*s + 2. Does 31 divide (-6 + -31)*(0 - i)?
False
Suppose 5*k + 125 = 2*b, -4*k = -4*b - k + 243. Is b a multiple of 6?
True
Suppose 0 = 4*j - 12 - 8. Suppose 3*k - j*k = 0. Suppose 42 = 2*r - k*r. Is 7 a factor of r?
True
Let w = -20 + 22. Suppose -4*f - 14 = -3*f + 4*l, 16 = -f - w*l. Let d = f + 78. Is 9 a factor of d?
False
Suppose -p - 5*l + l + 18 = 0, -21 = -2*p - 3*l. Does 13 divide (-4 - (-96)/9)/(1/p)?
False
Suppose -2820 = -6*a + 2850. Is a a multiple of 35?
True
Let t(l) = -3*l**3 - l**2 + 13*l + 770. Is t(0) a multiple of 22?
True
Let r(f) = 33*f + 49. Is 20 a factor of r(6)?
False
Suppose -327 = -4*g + 101. Suppose 5*n - g = -3*q, 2*q + 3 = 1. Is n a multiple of 6?
False
Let x be ((-54)/4)/((-1)/4). Let a = 83 - x. Does 4 divide a?
False
Suppose 35 = 4*b - 5*g, -5*b + 3*g - 16 = -10*b. Is 5 + -2 - (-5)/b*21 a multiple of 24?
True
Suppose -131 - 163 = -d. Suppose 2*y = 5*y - d. Is 14 a factor of y?
True
Let m(h) = -3 - 13 + 31 + 8*h. Let k be m(-10). Is 19 a factor of 2/5 + (-6409)/k?
False
Let q(c) = 5*c**2 + 2*c**2 - 5*c - 1 - 7*c**2 - c**2. Is 2 a factor of q(-4)?
False
Does 30 divide 135612/26 + 4 - 4/(-26)?
True
Let c(p) = p**3 - 11*p**2 - 38*p - 20. Is c(15) a multiple of 31?
True
Let z(u) = -u**3 - 13*u**2 - 2*u - 13. Let n(y) = -13*y**2 - 2*y - 2. Let s be n(-1). Is 9 a factor of z(s)?
False
Suppose 1211 = 81*m - 74*m. Suppose 5*k = -3*v - 0*k + 343, -4*v + 3*k + 496 = 0. Let l = m - v. Does 8 divide l?
False
Suppose 2*d - 133 = 1517. Does 34 divide d?
False
Suppose 0 = -22*m + 2378 + 1736. Is 8 a factor of m?
False
Suppose 15067 = -3*s + 22*s. Is s a multiple of 10?
False
Let f = -4897 + 8589. Is 79 a factor of f?
False
Let j(c) = c**3 - 9*c + 8. Does 32 divide j(7)?
True
Let w(v) = -v**3 - 5*v**2 - 17*v - 34. Is 61 a factor of w(-7)?
True
Let k = 21 + -22. Is 9 a factor of 1 + 108 + -2 + k + 0?
False
Let j(x) = 5*x**2 - 11*x - 1. Is 14 a factor of j(6)?
False
Suppose 3*o = -2*h - 92, -4*h = -5*o - 164 + 18. Let l = -145 - -83. Let v = o - l. Is 10 a factor of v?
False
Is 26 a factor of 1 - (-10)/(-9) - 16385/(-45)?
True
Suppose 0 = x + 3*j - 109 - 4037, 4*j = -16. Is x a multiple of 9?
True
Let g(a) = 16*a**2 - 57*a + 558. Does 14 divide g(11)?
False
Suppose 49 = 2*f - 3. Suppose 33*x = 49*x - 576. Let w = x - f. Is 10 a factor of w?
True
Suppose 2*z - 2*f - 40 = 0, 2*z + 1 = -4*f + 11. Let o = -15 + z. Suppose o = -5*l + 4 + 41. Is l even?
False
Suppose 2*h - 26 = -0*h. Let f = h - 8. Let t = 76 - f. Does 17 divide t?
False
Is 15 a factor of 1054/2 + 96/(-8) + 10?
True
Suppose -13*g - 222 = -10*g. Let x = 109 + g. Is x a multiple of 15?
False
Let z = 0 + -6. Let a be (-3)/(-18) - (-1)/z. Suppose a = -3*p - 3*l + 18, -5*p + 4*l - 3*l = -42. Does 3 divide p?
False
Let p(w) = 2*w**3 - 8*w**2 + 14*w - 1. Let z(u) = -3*u**3 + 8*u**2 - 15*u. Let y(i) = -4*p(i) - 3*z(i). Is 23 a factor of y(-8)?
True
Let z(v) be the second derivative of v**4/12 + 3*v**3/2 + 9*v**2/2 - 5*v. Let u be z(-10). Suppose -4*o + 3*r + u = 6*r, -2*r = 6. Is 4 a factor of o?
False
Suppose -9*b = 5*b - 812. Does 46 divide 3 + -3 + (3*b)/2?
False
Let x(a) = a + 2. Suppose 20 = 5*n - 5*b, -5*b - 16 = -n - 2*n. Let q(k) = 2*k + 5. Let t(j) = n*q(j) - 5*x(j). Is 5 a factor of t(-5)?
True
Suppose 2*q - 4*r - 188 = 0, 5*r = 2*q - 69 - 121. Is 23 a factor of q?
False
Let m(d) = 13*d**2 + 4*d - 5. Let n be m(-5). Suppose 0 = -3*k + 5*s + n, -k - 3*s + 200 = k. Does 20 divide k?
True
Suppose -6 = -3*s, -5*o + 2*s + 2*s = -67. Suppose -o + 10 = -c. Does 19 divide c*((-116)/(-10) + -4)?
True
Let t be ((-16)/5)/(-4) - (-5)/25. Let f(m) = 158*m - 4. Is f(t) a multiple of 22?
True
Suppose -2*s - 2*m + 178 = 0, 3*m - 447 = -0*s - 5*s. Suppose -390 = -3*v + 3*f, 37 = v + 2*f - s. Does 24 divide v?
False
Let n = 164 + 12. Is n a multiple of 16?
True
Let l be 9/(-1) - (-12)/(-4). Let o be ((-2)/6)/((-2)/l). Is 15 a factor of -20*((-5)/o + -4)?
True
Let k(s) = -s**2 + s + 36. Let c be k(0). Let t = -16 + c. Does 20 divide t?
True
Suppose -7*f = -8*f + 130. Suppose 3*z - f = -0*z + 2*l, -4*l = -4. Is z a multiple of 7?
False
Let f be (-23 + 1)*(-48)/(-3). Let w be (2/4)/(11/f). Is (w + 1)*(-6)/9 a multiple of 5?
True
Suppose 5*d - 84 = -y, 3*d - 43 = 5*y - 15. Suppose -d = -4*s, -j + 4*j = s + 8. Suppose -j*n - n = -90. Does 6 divide n?
True
Let a(p) = p + 1. Let s(n) = -8*n - 4. Let o be ((-1)/(-2))/(2/(-20)). Let h(k) = o*a(k) - s(k). Is 2 a factor of h(3)?
True
Suppose -m + 228 = 2*y, y - 2*y + 119 = 3*m. Let l = y - 33. Suppose 6*x - 2*x = l. Does 4 divide x?
True
Let a(y) = -2*y**3 + 4*y**2 + y. Suppose -2*z - 25 = -5*n, 0 = 2*z + 9 + 1. Let p be a(n). Does 12 divide (-136)/(-5) + 3/p?
False
Let p = 7 + -2. Suppose 5*a + 212 = 4*c - p*c, 5*a + 209 = -2*c. Let b = 65 - a. Is b a multiple of 27?
True
Let c = 36 + -20. Let j = c + -12. Suppose -j*f + 0*f - 2*k = -248, 3*f + 4*k - 176 = 0. Is f a multiple of 16?
True
Let p(y) = y**2 + 6*y - 14. Let r be p(-8). Suppose 0 = -3*d + r*d + 182. Is d a multiple of 21?
False
Let t(v) = v**3 + 12*v**2 - 22*v - 2. Let z(s) = s**3 + 12*s**2 - 21*s - 2. Let r(i) = 4*t(i) - 5*z(i). Is 17 a factor of r(-14)?
False
Let y(b) = 30*b**2 + 2*b + 2. Suppose 0 = 6*m - 9*m - 6. Does 24 divide y(m)?
False
Let j be (10/3)/((-12)/90). Let c = j - -30. Suppose c*d - 3*d - 140 = 0. Is 14 a factor of d?
True
Let f = 37 - 4. Let n = -26 - -73. Let y = n - f. Does 12 divide y?
False
Let c(r) = 22 - r**2 + 16*r + 19 - 25. Is c(14) a multiple of 11?
True
Suppose -8906 = -3*x - 2*j - 1039, 0 = 5*x + j - 13121. Is 35 a factor of x?
True
Let s(y) = -y**3 + 6*y**2 - 5*y + 7. Let x be s(5). Suppose -v = -3*g + 290, 4*v - x - 369 = -4*g. Does 24 divide g?
True
Let j(i) = 4*i**2 - 7*i + 13. Let m be j(3). Is 7/m - (-230)/8 a multiple of 29?
True
Let w(d) = -7*d + 26. Is 34 a factor of w(-6)?
True
Suppose -w - 6*b + 221 = -4*b, 2*w - 4*b - 442 = 0. Is 13 a factor of w?
True
Let h(a) = a**3 - 5*a**2 + 4*a. Let d be h(4). Let g be 53 - (d + (2 - 0)). Suppose 2*t + 52 = b - t, 2*t + g = b. Does 7 divide b?
True
Let o be (5 - -11)*(-1 + 2). Is o - ((-1 - -4) + -4) even?
False
Let r be 2 - ((-3 - 0) + 1). Let b(w) = 8*w + 3*w + 0*w + 8 - 3*w. Is 12 a factor of b(r)?
False
Suppose -3*o = -3, -2*o - 2*o + 14 = 2*a. Let h = a + 135. Is 28 a factor of h?
True
Suppose -4*f = 3*w + 11, -5*f = -5*w + 26 + 14. Let t be -1*w/(9/(-69)). Let l = t + -14. Is l a multiple of 9?
True
Let f(u) = -13 - 6*u + 16*u - 6*u. Suppose -t + 5*v - 9 = 0, -3*t + 2*t - 2*v = -12. Is f(t) a multiple of 9?
False
Let o(n) = 3*n**2 - 4*n + 14. Let y(w) = -16*w**2 + 21*w - 71. Let s(a) = 11*o(a) + 2*y(a). Does 18 divide s(10)?
False
Let w = 29 + 594. Is w a multiple of 89?
True
Let l(m) = 1 - 1 + m. Let g be l(8). Let u = 24 - g. Is u a multiple of 8?
True
Suppose 24 = 3*l - 0*l. Let g = 12 - l. Is (2/g*32)/2 a multiple of 4?
True
Suppose 6*f = 5*f - 5*y + 207, -4*y = -f + 198. Suppose d = -t + 176 + f, -t + 4*d = -388. Let g = t + -263. Does 18 divide g?
False
Suppose -1424*q = -1432*q + 11096. Is q a multiple of 19?
True
Suppose o = -27 + 23, -3*o = -5*a + 2482. Is 13 a factor of a?
True
Suppose -16*d + 14662 = -10650. Is d a multiple of 14?
True
Let w(p) = -p**2 + 2*p - 1. Let l be w(1). Suppose l = 5*a - 4*a + 18. Is 2/((0 - 3)/a) a multiple of 12?
True
Let d(f) be the second derivative of 0 + 4*f + f**2 - 3/2*f**3. Is d(-2) a multiple of 8?
False
Let n(b) = 21*b + 63. Is 63 a factor of n(27)?
True
Let r = 341 + -197. Is r a multiple of 8?
True
Let m = -30 - -69. Suppose -125 = -5*l + 5*b, -5*b - 144 = -4*l - m. Suppose 12 = 3*o, -2*o = -4*t + 2*o + l. Is t a multiple of 6?
False
Suppose 1248 = 5*l + 4*r, 6*r = -l + 11*r + 238. Does 2 divide l?
True
Let m(p) = -p**2 + 8*p - 11. Let a be m(6). Let g be -1*(2 + -1 + a). Is g*((-52)/8 + 3) a multiple of 3?
False
Suppose -4*a + 656 = -m, 3*m = a - 67 - 108. Does 6 divide a?
False
Let i(s) be the second derivative of s**5/20 - 11*s**4/12 - s**3 - 9*s**2/2 + 11*s. Is i(12) a multiple of 21?
True
Suppose -3*n + 2 = 2*l - n, 0 = 5*l - 2*n - 26. Let u(y) = 12*y - 6. Let r be u(11). Suppose -169 - r = -5*