*y - 252 = -i. Suppose 35*q - i = 32*q. Is q a multiple of 14?
True
Suppose -3*r - 56 = -11*r. Suppose r*u - 259 = -91. Is 12 a factor of u?
True
Let z = 26 - 22. Suppose 0 = z*m - 3*m. Suppose -13*s + 9*s + 152 = m. Does 15 divide s?
False
Let s(b) = b + 17. Suppose 0 = 4*k + k - 25. Suppose 2*i - 3*v = -2*i + 36, k*i = 4*v + 46. Is s(i) a multiple of 15?
False
Suppose -3*o = k - 1222, 4*o - 1043 - 573 = 2*k. Is o a multiple of 29?
True
Let a(n) = -41*n + 8. Suppose c = -y - 4, -2*c + 0*c = 5*y + 20. Is 43 a factor of a(y)?
True
Suppose -6 = 2*k + 4*w, 2*k - 4 = w + 5. Let d be 7 - 2*k/3. Suppose -5*v = -2*b + 7, -d*b + 2*b = -3*v - 15. Is 3 a factor of b?
True
Let s be (10/(-30))/((-2)/(-42)). Let y = s + 9. Suppose -3*o + 3*l = -51, o - 11 = -y*l + l. Does 12 divide o?
False
Suppose 0 = -5*i + 5*x + 40, 59 - 10 = 5*i + 4*x. Let f = i - 4. Suppose 5*s = -f*b + 200, 9*b - 200 = 4*b - s. Is 13 a factor of b?
False
Let c(f) = f**2 + 3*f. Suppose 0 = h + 2*x - 5, -21 = 3*h - 4*x + 4. Let d be c(h). Suppose 0*a + a - 9 = d. Is 9 a factor of a?
True
Suppose 30*u - 4675 = 40205. Is u a multiple of 34?
True
Is (((-128)/(-5))/(-2))/((-8)/960) a multiple of 12?
True
Let i(y) = 108*y + 97*y + y**2 - 216*y - 31. Is i(-11) a multiple of 14?
False
Let v be 0*(-1)/(-1 + -1). Let f(m) = -3. Let d(j) = j - 3. Let i(g) = d(g) - 4*f(g). Is i(v) a multiple of 9?
True
Let x be 158/(-14) + (-10)/(-35). Let v = x - -16. Suppose -d - 4*r = -1, -v*r + 0 = -d + 37. Does 8 divide d?
False
Let k(r) = r**3 + 9*r**2 + 3. Let v(l) = l**2 + 17*l + 21. Let p be v(-15). Let m be k(p). Suppose 2*i + 2*n + 6 = 30, -m*i + 33 = 4*n. Is 7 a factor of i?
False
Let c(p) = 340*p - 295. Is 30 a factor of c(7)?
False
Suppose 2*d = 3*p - 498, 470 = -5*p + 5*d + 1295. Is p a multiple of 4?
True
Let k(d) = 185*d**2 + 3*d - 3. Suppose -13*w + 9*w = -4. Is 20 a factor of k(w)?
False
Let b(u) = u + 7. Let r be b(-10). Let j = 92 - 50. Does 9 divide j - (r/1 - -6)?
False
Suppose 2*n - 68 = 6*n. Let c = n - -21. Suppose -5 - c = -k. Does 4 divide k?
False
Let t(u) = 175*u + 49. Does 21 divide t(2)?
True
Let s(m) = 10*m + 6. Let t be s(-3). Let q = -19 - t. Suppose -q*i + 210 = -2*i. Is i a multiple of 14?
True
Let o(q) = -q**2 - 19*q. Let b be o(-18). Suppose 11*v + 1680 = b*v. Is v a multiple of 30?
True
Let r(m) = 8*m + 0 + 3 - 8*m**2 - 17*m**2. Let h(y) = -6*y**2 + 2*y + 1. Let t(x) = -9*h(x) + 2*r(x). Is 8 a factor of t(3)?
False
Suppose 3*t = 2*y + 131, -4*t + 114 = -3*y - 61. Let d = t + 1. Suppose -d = -7*s + 40. Is s a multiple of 3?
True
Suppose -m = -5*m + 12. Suppose -2*r + 5 = m*z + 2*r, 0 = 4*r + 4. Suppose 4*t = 4, 103 = u + z*u + 3*t. Is 12 a factor of u?
False
Is 83 a factor of (-28392)/(-147) + 1*(-1)/7?
False
Let u(y) = -39*y**3 + 2*y**2 - 21. Does 15 divide u(-3)?
True
Suppose 4*d + g - 2232 = -777, d - 2*g - 366 = 0. Is 26 a factor of d?
True
Suppose 0 = -4*y - 14 + 30. Suppose -2*u - 36 = -3*o, o + y*o - 60 = u. Does 12 divide o?
True
Suppose -2*a - 9 = a. Does 11 divide 1 + (-68)/6*a?
False
Let k = -88 + 85. Let r(s) = -59*s - 2. Does 25 divide r(k)?
True
Suppose -58*u + 24960 = -50*u. Is 16 a factor of u?
True
Is 72 a factor of ((-230)/(-15) + (-2)/(-3))*54?
True
Let y(c) be the first derivative of -6 + 1/2*c**2 + 10*c - 1/4*c**4 + 1/3*c**3. Is 10 a factor of y(0)?
True
Is (81/12)/(57/2128) a multiple of 18?
True
Let j(z) = -z**3 - 2*z**2 - 8*z + 400. Is j(0) a multiple of 40?
True
Suppose -2*h = -0*h - 5*x - 20, -2*x + 1 = h. Suppose -p - 2*t = h, 4*p - t - 8 = -2*t. Suppose 0 = p*u - 2*u - 21. Does 17 divide u?
False
Suppose -2*s + 1009 = b + 307, b = -s + 351. Is 39 a factor of s?
True
Let p be (-1)/(-3 + ((-45)/(-6))/3). Let y(k) = k**3 + k**2 + 2*k - 2 - k**3 + 2*k**3. Does 9 divide y(p)?
False
Let k = 133 + -102. Let n = 166 - k. Is n a multiple of 9?
True
Is (-7 - -8)*-6 + 96 a multiple of 23?
False
Suppose 3*i = -3 + 15. Let q(w) = -11*w - 3. Let d be q(i). Let b = -23 - d. Is 24 a factor of b?
True
Let f = 1640 + -184. Is f a multiple of 14?
True
Let h(c) = 8*c**2 - 2*c + 8. Let a(k) = -9*k**2 + 3*k - 9. Let r(x) = -4*a(x) - 5*h(x). Let l be r(-3). Let u = l + 66. Is u a multiple of 16?
True
Let c be 3 + (3 - 4) + 0. Suppose 139 = k + 4*k + c*l, 0 = 2*l - 4. Is 5 a factor of k?
False
Let r = 20 + -17. Suppose -r*z - 56 = -10*z. Suppose 23 = 5*h + z, -2*j + 2*h + 38 = 0. Is j a multiple of 5?
False
Let k = 82 + -79. Does 23 divide ((-2772)/14)/(0 - k/2)?
False
Let p(g) be the first derivative of g**3/3 - 3*g**2 + 9*g + 23. Does 13 divide p(-10)?
True
Let d = -1049 - -1601. Is 23 a factor of d?
True
Let m = 8 - 3. Suppose -10*r = -m*r - 305. Is r a multiple of 22?
False
Suppose -5*w - 24 = -4, -5*k = 3*w - 18. Suppose 1204 = 5*h - m, 8*h - 464 = k*h - 4*m. Is h a multiple of 20?
True
Let w = -217 + 289. Does 6 divide w?
True
Suppose -98 - 108 = -2*m. Suppose -5*o - h + m = -2*h, -9 = 3*h. Does 20 divide o?
True
Suppose 92 = 4*s - 20. Let x = s + -12. Is x a multiple of 8?
True
Suppose 4*b - 994 - 770 = 0. Is b a multiple of 63?
True
Is 1076/5 + ((-507)/(-65) - 7) a multiple of 8?
True
Suppose 4*n - w + 6*w - 1163 = 0, 0 = 2*n + 3*w - 579. Does 11 divide n?
True
Let r(v) = -v**3 + 14*v**2 - 29*v. Does 4 divide r(11)?
True
Let i(a) = -2*a - 28. Let w be i(-13). Let b(z) = 18*z**2. Is b(w) a multiple of 24?
True
Suppose -5*n = -6 - 14. Suppose -2*g - 5 = -n*k - 63, -g + 36 = 5*k. Does 18 divide g?
False
Let n(h) = -h - 57 + 13 + 21*h + 20*h. Is 28 a factor of n(5)?
False
Suppose -2*s - 109 = -3*s. Suppose 2*p = 3*g - 257, g = -p - 3*p + s. Suppose -m + n = -25, m - 4*m = 4*n - g. Is m a multiple of 9?
True
Suppose l - h = 620, 4*l = 23*h - 22*h + 2480. Is 62 a factor of l?
True
Let y = 2356 + 92. Is 48 a factor of y?
True
Let t(v) = v**2 + 16*v + 14. Let y be t(-7). Let x = y - -85. Suppose -x = 5*k - 126. Is k a multiple of 6?
True
Let q(u) be the third derivative of u**8/20160 - u**7/1680 - u**6/180 + u**5/30 + 2*u**2. Let f(m) be the third derivative of q(m). Is 12 a factor of f(8)?
True
Let t be (9/(-6))/((-6)/(-16)). Let q(h) = -2. Let g(f) = -3*f + 4. Let p(y) = 3*g(y) + 6*q(y). Does 12 divide p(t)?
True
Suppose -12 = 5*n - 42. Let z(q) = q + 5. Let y be z(n). Suppose 3*b - y = -0*b + 4*a, 0 = -4*b - a + 21. Is 5 a factor of b?
True
Does 5 divide (-10 + 1020/18)/((-2)/(-6))?
True
Let w = -9 + 11. Suppose -3*l - q + w*q = -57, -2*q = -l + 14. Does 15 divide l?
False
Let x be ((-210)/8)/(2/8). Let u = x + 209. Does 26 divide u?
True
Let k(g) = 8*g - 4. Let r(b) = 8*b - 5. Let n(d) = -3*k(d) + 4*r(d). Is 10 a factor of n(6)?
True
Let z = 10 + -5. Suppose -11 = -5*k - 3*d, k + 2*k + z*d = -3. Suppose -2*f = -k*m + 36 + 130, -f = -4*m + 161. Is m a multiple of 15?
False
Suppose -18 = -0*r - 3*r. Let x be ((-14)/r)/((-5)/(-15)). Let p = 21 + x. Does 14 divide p?
True
Is ((-30)/(-6) - 7)*-592 a multiple of 37?
True
Does 29 divide 9 + (-5412)/(-18) + 1/3?
False
Let w(s) = -3*s - 8. Let n be w(-4). Suppose 4 + 8 = 2*b - 2*v, b - n*v - 18 = 0. Does 28 divide (-224)/(-12)*3/b?
True
Suppose 0 = 2*m - 4*t - 4610, 3*m + 5*t = -2*m + 11510. Does 49 divide m?
True
Suppose 0*u + 2*u = 4, -5*u - 6 = -4*i. Suppose 3*j + 2*r = 16, 0 = -0*j + 2*j - i*r. Suppose s = -j*s + 80. Is s a multiple of 15?
False
Suppose 2*z + n = 7*z - 2839, 5*z = -4*n + 2844. Suppose -38 = 2*w - 2*c - z, c = -4*w + 1045. Is 11 a factor of w?
False
Let i(r) be the first derivative of -r**3/3 + 12*r**2 + 9*r - 25. Is i(21) a multiple of 12?
True
Let i(x) = x**3 - x - 75. Let z be i(0). Is (-2 + 0)/2*z a multiple of 14?
False
Let p = 474 - 113. Is 14 a factor of p?
False
Let v(j) be the first derivative of -j**4/4 + 19*j**3/3 - 16*j**2 + 8*j + 21. Does 3 divide v(17)?
True
Let f(r) = -r**3 - 5*r**2 - 3. Let y be f(-5). Let q = 3 + y. Let m = 11 - q. Does 11 divide m?
True
Let l be (35 + 0)*(-2)/(-35)*5. Does 22 divide 1 - 14/l - 20916/(-315)?
True
Let q be 2*(262/60 - 20/(-150)). Suppose -7*f = -467 - q. Does 10 divide f?
False
Let f be (-10)/3*(-48)/32. Suppose -f*u - 320 = -9*u. Let s = 135 - u. Is 10 a factor of s?
False
Let z = 1 - 1. Let n be (z - 2) + 96/3. Suppose -3*h - 4*o + 102 = -o, -o = -h + n. Does 16 divide h?
True
Let v(g) be the third derivative of -g**6/120 + g**5/5 - 11*g**4/24 + g**3