= 18 + -3. Let r be (-6)/i + (-366)/(-15). Suppose 0 = w - 10 - r. Is w a multiple of 17?
True
Let v(c) be the first derivative of -7*c**2 - 8*c - 6. Let j be v(-14). Suppose -2*w = -0*w + u - 75, 5*w + 2*u - j = 0. Is 19 a factor of w?
True
Let v(n) = -n**3 - 8*n**2 - 4*n + 9. Does 14 divide v(-12)?
False
Let l(y) = -12*y - 16. Let g be l(-8). Suppose -3*r + g = -28. Is 12 a factor of r?
True
Let d be (-8 + 436/8)*2/3. Suppose d*p + 138 = 37*p. Is p a multiple of 13?
False
Let j(v) = v**3 + 13*v**2 + 9*v - 32. Let n be j(-12). Does 34 divide 21*(-4 + 1)*(-8 + n)?
False
Let z(u) = u. Let f be z(-3). Is 4 a factor of (0 - f)/(21/105)?
False
Let m(i) = -i**2 - i + 1. Let w(t) = 8*t**2 + 12*t + 1. Let n(y) = 6*m(y) + w(y). Is 23 a factor of n(6)?
True
Suppose -4*l + 5*v = -5755, -5*l + 7196 = -4*v - 0*v. Is 48 a factor of l?
True
Let k(i) = 4*i**2 - 5*i + 15. Let a be k(5). Let w = 288 - a. Is 18 a factor of w?
True
Let h(v) = -v**2 - 7*v + 6. Let y be h(-8). Let t be 7 + y + (-1 - -1). Suppose -t*a + q = -40, -q = 4*q - 25. Does 3 divide a?
True
Let s = 20 + -18. Suppose -4*z = 4*d + 6 - s, 0 = -4*z - 20. Does 4 divide d?
True
Suppose 5*q - 138 = -2*k, -15*q + 5*k = -17*q + 51. Is q a multiple of 2?
True
Suppose -5 = 3*z + 1. Let n be 131/4 + z/(-8). Is (n/4)/((-33)/(-88)) a multiple of 5?
False
Suppose 20 = o + 3. Let z = 129 - o. Does 18 divide z?
False
Suppose -2*y - 3*n = -442, 0 = y - 3*n + 4*n - 219. Is 55 a factor of y?
False
Suppose 37*a - 33*a = 928. Is 51 a factor of a?
False
Suppose 5*l - 235 = 175. Let a(o) = -2*o**3 + o**2 - 3*o + 1. Let y be a(3). Let x = y + l. Does 15 divide x?
False
Suppose 3*g - 5*g = -58. Let v(c) = c**3 + 8*c**2 + 7*c + 5. Let y be v(-7). Suppose 0 = 5*x + 2*w - g, 0 = 3*w + 4 + y. Is x a multiple of 5?
False
Suppose f + 3*f = -5*n + 104, -4*n + f = -100. Let s be n/36 + 4/(-6). Suppose s = 5*w - 249 + 9. Is w a multiple of 24?
True
Let b(y) = 78*y + 12. Is b(2) a multiple of 28?
True
Suppose 4 = -5*a - 26. Let m be 0 + 0 - a/2. Suppose m = -s + 7. Is s a multiple of 4?
True
Let b(t) = -2*t**3 + 12*t**2 - 7*t + 12. Let i be b(8). Let k = -14 + 22. Does 11 divide i/k*8/(-10)?
False
Let m(v) be the third derivative of -v**4/4 - 304*v**2. Suppose 0*t - y = -5*t - 26, -5*t = 5*y + 20. Is m(t) a multiple of 10?
True
Suppose 135 = 8*t + t. Let n = t + 5. Is n a multiple of 5?
True
Let w = -7 + 3. Let f(o) be the first derivative of o**4/4 + 4*o**3/3 - 5*o**2/2 - 2*o - 4. Does 5 divide f(w)?
False
Suppose 0*w - 33 = -4*w - y, 4*w - 2*y - 42 = 0. Let f be 6/w*(2 + 1). Suppose 76 = 5*a + 2*t - 6*t, t = -f*a + 20. Is a a multiple of 3?
True
Suppose 11 = 4*q - 2*r - 5, q = -4*r + 22. Let f(u) = -4*u + 0 - 4 - u**3 + 0*u**3 + 7*u**2. Is f(q) a multiple of 8?
True
Let m = 206 + -142. Let l = m - -5. Does 12 divide l?
False
Let x = 181 + -318. Let y be x/(-4) - (-1)/(-4). Suppose 6*a - 55 = a + 3*o, a + 4*o - y = 0. Is 12 a factor of a?
False
Suppose 4*c - 34 = -4*t - 10, 2*t = 4*c - 54. Let g = -11 + c. Suppose g = -3*n + 2*n + 22. Is n a multiple of 7?
False
Let z(w) = w**2 - 9*w - 30. Let t be z(12). Is (-3)/(-2)*t/(-9)*-103 a multiple of 9?
False
Suppose -644 = 3*d + 5*i - 7147, -3*i - 10827 = -5*d. Is 114 a factor of d?
True
Suppose -4*q - 14 = -5*x + 802, 330 = 2*x + 2*q. Is 41 a factor of x?
True
Let p = -3045 - -3318. Does 2 divide p?
False
Is 39 a factor of (-1)/(2/(-1612)) - 8?
False
Let k = 596 - 228. Does 14 divide k?
False
Suppose -4*n = -2*n - 6. Suppose g = -5*t + 15, 3*t = -2*t + 10. Suppose 4*f + g*j - 277 = -92, -2*f - n*j = -95. Is f a multiple of 16?
False
Let j(v) = -4*v + 13. Let w be j(0). Is ((-2 - -2) + 1)*1131/w a multiple of 29?
True
Let j(a) = a**2 + 14*a + 15. Let h be j(-13). Let w = -2 + h. Suppose -4*f - 5*q + 89 + 67 = w, 0 = 3*f - 4*q - 117. Does 13 divide f?
True
Let g = 7 - 5. Let a be 75/((-1)/2 + g). Let u = -20 + a. Is u a multiple of 30?
True
Let l = -2 - -6. Let c be (-62)/(-341) + 2/(-11). Suppose l*v + 4*b = 136, 4*b = 8 - c. Is 6 a factor of v?
False
Suppose -2*j = a + j + 3, 2*a + 4*j + 14 = 0. Is 2*(-6)/(36/a) a multiple of 2?
False
Suppose -6 = 3*o + 9, 0 = 2*b + 2*o - 130. Is 2 a factor of b?
True
Let q = 10 - 7. Let z(l) = -7 + 0*l + 3*l - q*l - 2*l. Is 3 a factor of z(-6)?
False
Let l(y) = 21*y**2 + 8*y + 26. Is l(7) a multiple of 3?
False
Let g(i) be the second derivative of -4*i**3/3 + i**2/2 - i. Suppose -r + 14 = -2*a + 4*r, -2 = -r. Does 16 divide g(a)?
False
Let d(c) = c**3 + 18*c**2 + 15*c - 11. Let z be d(-14). Suppose -z = -2*q - 5*s, 5*q = -7*s + 2*s + 1370. Does 53 divide q?
False
Let j = 154 + -50. Let t = 148 - j. Is (3 + t/(-12))*-9 a multiple of 3?
True
Suppose -3*c - 3*v = -5*c - 46, 4*c + 2*v = -76. Is 7 a factor of 206/6 - (c/12 + 1)?
True
Let q(n) = 3*n - 3. Let b be q(7). Suppose 3*v - l - 36 = b, -3*v + 66 = 3*l. Suppose 3*d + v = 73. Is d a multiple of 16?
False
Let w(s) = -5*s**3 - 7*s**2 - 5*s + 15. Let c(o) = -6*o**3 - 8*o**2 - 6*o + 16. Let n(f) = 6*c(f) - 7*w(f). Does 12 divide n(-4)?
False
Let k = 0 - -2. Suppose -4*z - 89 = k*o + 3*o, 5*z = 2*o - 103. Let d = -8 - z. Does 5 divide d?
False
Suppose -14*c + 13*c + 5 = 0. Suppose 244 = 3*g - 3*s + s, 2*g = -c*s + 131. Is 16 a factor of g?
False
Does 4 divide (1/2)/((-47166)/9436 + 5)?
False
Suppose 2*m + 2 = 6. Let y be m/6 + (-809)/(-3). Does 9 divide y/6 + -2 + 2?
True
Is (1/(-2))/((-40)/55600) a multiple of 20?
False
Let n(h) = -h**3 + 9*h**2 + h - 3. Let p be n(9). Does 12 divide (36/8)/(p/80)?
True
Let o(j) = j**2 + 8*j + 32. Is o(12) a multiple of 16?
True
Let q(a) be the second derivative of a**4 - 5*a**3/3 - 3*a**2/2 + 13*a. Does 33 divide q(4)?
False
Let m = 2161 - 1558. Is m a multiple of 9?
True
Let w(i) = 3*i - 8. Let y = 8 + -3. Let h be w(y). Suppose -2*g + h*g = 310. Does 12 divide g?
False
Does 45 divide 770/33*(-33)/(-2)?
False
Let q(p) = 117*p**2 - 147*p - 436. Does 25 divide q(-3)?
False
Let t(v) = 7*v - 4. Let h(c) = 3 - 2 - 4 + 7*c. Let n(m) = 3*h(m) - 4*t(m). Is n(-6) a multiple of 29?
False
Let k(z) = 7*z**3 - 2*z + 1. Let r be k(2). Let w(x) = -46 - x**3 + 2*x + x + r - 3*x**2. Is 21 a factor of w(-5)?
True
Let z = 386 - 160. Does 32 divide z?
False
Let i = 271 + -219. Does 49 divide i?
False
Suppose 19 = k + 3*m, -5*m + 4*m = 2*k - 13. Is 11 a factor of 2/k - (-86)/4?
True
Let a(s) = s. Let q be a(5). Suppose c = -3*f - 10, q*f - 3*c + 4*c = -18. Does 4 divide (-78)/(-4) - f/8?
True
Let a = 25 - 22. Suppose -v + 12 = a. Is -30*6/(-45)*v a multiple of 27?
False
Let l = -158 - -334. Suppose -1 = o, -3*k = -2*o + 3*o - l. Let x = k + -31. Is 14 a factor of x?
True
Let u be (-6 - -6)/(8/(-2)). Let a(f) = f + 2. Let k be a(u). Suppose 2*s - 3*s + 58 = -k*p, -p + 323 = 5*s. Is 10 a factor of s?
False
Suppose r - 64 = -2*t + 4*t, -4*t + r = 124. Is (396/30)/((-9)/t) a multiple of 14?
False
Suppose -142 = -6*o + 1550. Suppose 0 = -5*t - 2*g + o, -53 = 2*t - 3*t + 3*g. Is 8 a factor of t?
True
Let l = -300 + 727. Is l a multiple of 7?
True
Let s(u) = u**3 + 11*u**2 - 11*u + 8. Let k be s(-12). Let n = k + 7. Suppose 125 = 4*b - n*z, b = -3*z + 58 - 8. Does 10 divide b?
False
Is (1 + (-91)/14)*-164 a multiple of 19?
False
Let b = 2 - -1. Let x be (-12)/b*2/(-4). Suppose 117 = 5*v - 3*h, 3*h - h - x = 0. Is v a multiple of 12?
True
Let n be (-15)/10 - 1/(-2). Let j be (n + -129)*2/(-5). Let x = j - 21. Is x a multiple of 19?
False
Let j = 52 - 31. Suppose 4*h = h + j. Is 7 a factor of h?
True
Let i(y) = -y**2 + y. Let n(w) = w**2 - 8*w - 4. Let f(m) = -2*i(m) - n(m). Let l be (-45)/(-5)*2/6*-3. Is f(l) a multiple of 31?
True
Does 16 divide -8 - (-5 + -10) - -1937?
False
Let d = -1 + 12. Suppose -8*a - 243 = -d*a. Is a a multiple of 6?
False
Suppose -6*u + 3*u = -213. Does 5 divide u?
False
Let h(u) = 11*u**3 - 2*u**2 + 4. Let s be h(2). Let t = 188 - s. Is 13 a factor of t?
True
Let h(m) = 4*m**3 - 5*m**2 + 2*m + 1. Let d be h(3). Suppose -2*r + 4*r - d = 0. Is r a multiple of 21?
False
Let a(v) = -v**2 - v + 4. Let m be a(0). Suppose 4*i - 84 = -m*l, -3*l - 1 + 28 = i. Is i a multiple of 9?
True
Let f(c) = c**2 - 3*c + 167. Is 65 a factor of f(22)?
True
Let q be (1 - 4) + (-2)/(8/(-76)). Let k(m) = 5*m + 21. Does 20 divide k(q)?
False
Suppose 2*k = 2*v + 24, 3*v = 5*k - 75 + 13.