y = 474 - 1524. Does 35 divide y?
True
Let d(h) = -34*h - 2. Let o(q) = q**3 - 4*q**2 + 4*q + 1. Let t be o(3). Suppose 0*f + 15 = -f - t*w, -w = -f. Does 17 divide d(f)?
False
Suppose -13*q + 9 = -10*q. Suppose 3*y = -q*y + 1368. Does 38 divide y?
True
Suppose 10*o = 3*i + 8*o - 8561, -i - 4*o + 2877 = 0. Is i a multiple of 17?
False
Let i(k) = -2*k**3 - 3*k**2 - 13*k + 14*k - 11 - 24*k**2 - 15*k. Does 2 divide i(-13)?
True
Let x be (-4)/(16/3) + (-270)/(-40). Suppose x*o = 9*o - 150. Does 10 divide o?
True
Suppose 28*y - 432 = 25*y. Suppose -6*c + y = -5*c. Does 19 divide c?
False
Suppose -g - 2*k + 697 = -0*g, 3*g = 3*k + 2073. Does 33 divide g?
True
Let b be -1 - (3/(-9) + (-1582)/6). Let i = b - 124. Does 27 divide i?
False
Let r = -44 - -85. Let d = r + -14. Is d a multiple of 10?
False
Suppose 0 = 5*h - 5*t + 50, 2*h = 4*t - 1 - 23. Let u(s) = -8*s + 1. Is 12 a factor of u(h)?
False
Let r = 6 - 6. Suppose r = 11*u - 13*u + 74. Does 37 divide u?
True
Suppose -6*o = -88 + 58. Let a = -9 - -13. Suppose a*m + 223 = o*k, k + 3*m - 4 = 33. Does 9 divide k?
False
Suppose 0 = f - 2*f + 38. Let w be (-686)/42 - ((-8)/6)/(-2). Let u = f + w. Is u a multiple of 21?
True
Suppose -2*x - 2*x = -36. Let g be 1*-3 - (x + -16). Suppose 5*c - g*c = 20. Is 5 a factor of c?
True
Let z be 0/((-9)/3) + 3. Suppose -v + z*v - 46 = 0. Does 8 divide v?
False
Suppose -y = 5*l - 20, y + l + 2*l - 12 = 0. Suppose y = 2*t - 1 - 5, -2*t - 56 = -2*x. Is 18 a factor of x?
False
Let u(r) = -r**3 + 7*r**2 + 25*r - 8. Is u(9) a multiple of 11?
True
Let v(w) = -3*w**2 + 13 + w**2 - 8*w + 32*w + 4*w**2. Is v(-16) a multiple of 26?
False
Let p be (3/(-6))/(1/2). Let h = 5 + p. Suppose 0 = -2*n - h*w + 19 + 25, -3*n = -w - 94. Does 14 divide n?
False
Let s(k) = -k**2 + 15*k + 20. Let b be s(16). Suppose 5*a = b*a. Suppose -2*g + a*g = -28. Does 7 divide g?
True
Let s be (-4)/18 - (-29)/9. Suppose -3*f = -s*y - 0*f + 369, 2*y + 4*f - 228 = 0. Suppose -4*c + y = -2*c. Is c a multiple of 12?
True
Let u = -100 + 1071. Is 28 a factor of u?
False
Let i(y) = -y - 3. Let r be i(-5). Suppose 0*k - r*k = -12. Is 11 a factor of (-198)/(-12)*8/k?
True
Suppose -3*l - 3*b = 9 - 24, -4*l + 4*b = -20. Suppose -3*x + 5*u = -4 - 3, -4*x + l*u = -11. Suppose -x*d + d + 36 = 0. Is 12 a factor of d?
True
Let g = 453 - 294. Let v = -79 + g. Suppose 3*y - 288 = -5*k, -k - 3*y - 20 + v = 0. Is 19 a factor of k?
True
Suppose -788 = -4*p - 5*d, -4*p + 800 = -5*d + 7*d. Is p a multiple of 10?
False
Let l(f) be the second derivative of f**5/20 - 3*f**4/4 - 7*f**3/6 + 13*f**2/2 + 22*f. Does 5 divide l(10)?
False
Let f be 0/(8/(-4)) + -8. Let s = f - -13. Suppose s*a - 62 = 33. Is a a multiple of 19?
True
Let h(z) = -z**3 + 9*z**2 - 6*z - 1. Let v be (-3)/(-1 + -2) + 4. Suppose 14 + 21 = v*p. Does 19 divide h(p)?
False
Let x = -80 + 117. Let b = 97 - x. Does 10 divide b?
True
Let h(t) = -t**3 + 9*t**2 - t + 11. Let f be h(9). Let l be (-4)/(f - 96/52). Let d = l + 48. Is d a multiple of 11?
True
Let v(i) = -i**2 + 11*i - 7. Let p be v(10). Does 25 divide p - (15/(-20) + 1097/(-4))?
False
Let z(m) = m**3 + 7*m**2 + 9*m + 18. Let h be z(-6). Suppose 4*a - a + 5*u - 323 = 0, -3*u - 15 = h. Is a a multiple of 29?
True
Suppose 3*z + 378 = -2*l, 0 = 3*z - 3*l - l + 360. Let m = 195 + z. Is 12 a factor of m?
False
Let x(s) = 2*s**2 + 16*s. Let a be x(-8). Let q(k) = 13*k - 14 + k**3 + 2*k**2 - 13*k**2 + 0*k**3 + a*k**3. Is q(10) a multiple of 6?
False
Let d(v) = -v + 6. Let a be d(6). Let m(g) = g**3 + 72. Let f be m(a). Suppose 6*n + 6 = f. Is n a multiple of 11?
True
Let d(b) be the first derivative of -3/2*b**2 - 12*b + 9. Does 5 divide d(-9)?
True
Suppose 6*f - 10 = 8. Suppose -3*d + 4*d - 12 = -2*n, -f*d + 20 = 2*n. Suppose -n*s + 400 = s. Does 21 divide s?
False
Let u be (-4)/(20/25) - -9. Is (u - 33/9)/((-2)/(-234)) a multiple of 11?
False
Let v = -5 + 10. Let w be 2 + -2 + -2 + v. Suppose 6 = 5*h - 2*h, -h = w*x - 20. Is x a multiple of 2?
True
Let m = 1125 - 645. Does 17 divide m?
False
Suppose 9*o - 20 = 4*o. Suppose 2*c + o - 2 = 0. Does 9 divide c - (-3)/((-6)/(-34))?
False
Suppose 2*z + 2*z + 2*p - 3118 = 0, -3*z - 4*p = -2336. Is z a multiple of 30?
True
Suppose -6*h + 2*h = 0. Suppose -w - 7*s = -3*s - 20, h = 4*w - 4*s. Suppose 15 = -3*z + w*z. Does 15 divide z?
True
Suppose -5*q + 0*q = 0. Suppose 3 = 3*h + m, 4*h = -q*m + 3*m + 17. Suppose 2*d - 98 = -3*v, -5*v + h*d = -v - 140. Is 9 a factor of v?
False
Does 88 divide (-79 + 55)/(3/(-55))?
True
Let s(q) = -q**3 - 2*q**2 - 3*q - 2. Let x be s(-2). Let i(w) = w**3 + w**2 - 9*w - 2. Is 21 a factor of i(x)?
True
Suppose -9*y + 5*y = -224. Let q be 1/((-1)/(-1)) + y. Is 16 a factor of 1/3 + 2033/q?
False
Let v(p) = -p**3 - 3*p**2 + 2*p + 2. Let g be v(-3). Let w be 2/(0 - g/14). Does 11 divide (2/(-4))/(w/(-588))?
False
Let x = -13 + 9. Let f be (-84 - -3)/(3/x). Suppose 3*w = -0*w + f. Is w a multiple of 12?
True
Let w be (-11)/33 + (-10)/(-3). Suppose w*v - 156 = 294. Suppose 3*q = -3*j + 2*j + 82, 5*q - v = -5*j. Does 13 divide q?
True
Let z(o) = -o + 3*o + 0*o - 4*o + 20. Let w be z(9). Let y(m) = 5*m**2 - 3*m + 1. Is y(w) a multiple of 2?
False
Suppose 3*l - 9 = 0, l - 3*l = 5*a - 2596. Does 18 divide a?
False
Let r(z) = -z**3 - z**2 - z + 58. Let s(o) = o**2 + 10*o. Suppose -2*b - b - 30 = 0. Let k be s(b). Is r(k) a multiple of 29?
True
Let b(z) = -264*z. Let h be b(-1). Suppose -3*a + 240 = -h. Suppose -3*w = w - a. Does 17 divide w?
False
Let b(s) = -2*s**3 - 3*s**2 - s. Let n be b(-2). Suppose -5*g + 74 + n = 0. Let t = 23 + g. Is 19 a factor of t?
False
Let z = 1505 - 1046. Is z a multiple of 11?
False
Let l(m) = m**2 - m + 2. Let q = -50 - -46. Is l(q) a multiple of 22?
True
Let d = -9 - -27. Let t = -16 + d. Suppose -t*h + 4*h - 24 = 0. Is 12 a factor of h?
True
Suppose n + 22054 = 5*w, -2*w - 21*n = -25*n - 8818. Is w a multiple of 11?
True
Let f = 139 - 84. Suppose -21 = -2*w - 4*q + f, -2*w + 5*q + 49 = 0. Is w a multiple of 4?
True
Let k(d) = d**2 + d + 198. Is k(0) a multiple of 11?
True
Let v(o) = o**2 - o - 10. Is 4 a factor of v(17)?
False
Let d be 0 - -1*(1 - 1). Let j(s) = 7 - 7 + d*s**2 + s + s**2. Does 12 divide j(7)?
False
Suppose 6*s = 1350 + 1290. Does 10 divide s?
True
Let q(v) = 36*v**2 - 3*v + 1. Is 20 a factor of q(1)?
False
Let y(q) = -4*q - 2. Let v(j) = -2*j - 7. Let l be v(-5). Let h = -2 - l. Does 9 divide y(h)?
True
Let t = 3 + 2. Suppose -15 = -d - t*h, 0*d + 127 = 5*d - h. Is 0 + -2 + 1*d a multiple of 8?
False
Is 13 a factor of -6 + -2 + 4 - (-909 + 8)?
True
Suppose 157 = u - 78. Is u a multiple of 5?
True
Suppose l = 5*t + 1380, -7*l + 9*l - 2*t - 2752 = 0. Is 55 a factor of l?
True
Suppose 4*x - 66 = 10*x. Let s(n) = n**3 + 11*n**2 - 3*n - 15. Is s(x) a multiple of 3?
True
Let a(c) = 10*c - 2. Let m(i) = i**2 - i. Let d(x) = -a(x) - m(x). Let l be d(-9). Suppose -50 = -3*k + 5*f - 20, -l*k - 2*f = -4. Does 5 divide k?
True
Let y be (32/2)/2 - 1. Let s(i) = -8*i + 84. Let v be s(9). Is 6 a factor of 14/y + (v - -1)?
False
Suppose 2*j = 5*j - 78. Does 6 divide (-28)/(-6)*39/j?
False
Let l(o) = -3*o - 8. Let c be l(-4). Let n(d) = -2*d + 4. Let f(s) = s**2 - 3*s + 5. Let u(j) = 2*f(j) - 3*n(j). Does 15 divide u(c)?
True
Let l be (3/(-12)*-153)/((-7)/(-140)). Suppose -5*g - l = -5*h, 4*g = h + 6*g - 165. Does 7 divide h?
False
Let c be 1 - (12 + 0)/(-4). Suppose 0 = -2*p + 5*v + 37, -c*p - 3*v + 24 = -p. Suppose -38 - p = -y. Is y a multiple of 26?
False
Does 2 divide 96/(-9)*21/14*-2?
True
Suppose -192 = -5*r + 3*y, 0 = -3*r + 3*y + 123 - 9. Suppose 4*k - 74 = -2*m, -m - 3*k + r = 2. Is 12 a factor of m?
False
Is 227/6 - (-109)/654 a multiple of 15?
False
Suppose 2*p = 2*c - 4, -3*p + 6 = c - 0*p. Suppose -2*g - 3*b - c = -4, -3*g = -2*b - 21. Does 2 divide g?
False
Let x(w) = 4*w**2 - 84*w - 80. Is x(38) a multiple of 57?
False
Let z(y) = -y**2 - y + 4. Let b be z(0). Let v = 54 + -51. Suppose 26 = b*r - v*r. Does 3 divide r?
False
Let y be -215 + 1/(11/(-3) - -4). Let t = -98 - y. Is t a multiple of 20?
False
Is 88 a factor of (-6)/4 - (-14)/((-532)/(-42009))?
False
Is 48 a factor of 3/(-2)*2048/(-24)?
False
Let a(p) be the first derivative of p**3 - 3*p**2/2 - 5*p - 4. Does 31 divide a(-3)?
True
Suppo