et n be m(2). Suppose n*j - 1168 = -3*a - 90, 5*j - 1106 = 4*a. Is j a multiple of 16?
False
Let h = 12086 - 8242. Does 62 divide h?
True
Suppose 5*u - 439 = 5*f + 686, 0 = 2*u - 4*f - 442. Does 9 divide u?
False
Let r(y) = -y**2 + 6*y - 7. Let g be r(3). Suppose g*v + 59 = 227. Is 12 a factor of v?
True
Suppose 3*w - 12*d = -10*d + 1560, 0 = -4*d. Is 5 a factor of w?
True
Suppose 10*v = -30 - 440. Let m = -39 - v. Is 4 a factor of m?
True
Let v(h) = h**2 - 11*h - 54. Is 16 a factor of v(-6)?
True
Suppose 5*m = 9*m + 5*i - 2395, -2*i - 3002 = -5*m. Does 20 divide m?
True
Let b(d) = -d**3 - 4*d**2 - 2*d - 5. Let m be b(-4). Suppose 0 = -n - 5*c - 1 + 52, m*n - c - 73 = 0. Is 13 a factor of n?
True
Let m = -17 - -17. Suppose 0*s = 2*s + 2*b - 12, -5*s + 2*b + 16 = m. Suppose 0 = -s*d + 123 + 21. Is 18 a factor of d?
True
Let f(z) be the third derivative of -z**6/120 + 7*z**5/30 - 5*z**4/12 - 5*z**3/2 - 26*z**2. Is f(13) a multiple of 6?
True
Suppose n - 585 = 3*l, 0*l = -2*l + 4. Does 13 divide n?
False
Suppose 2279 = 13*t - 3298. Is t a multiple of 39?
True
Let f(m) = 20*m**2 + 2*m - 4. Let b = 70 + -68. Is 9 a factor of f(b)?
False
Suppose 4*m - 24*s = -28*s + 2492, -2*m - 4*s + 1240 = 0. Does 9 divide m?
False
Let d(w) be the third derivative of 11*w**4/4 - w**3/3 + 14*w**2. Is 40 a factor of d(2)?
False
Is 8 a factor of ((-1)/((-10)/(-96)))/(4/(-30))?
True
Let f(o) = -o**3 - 10*o**2 + 15*o - 27. Suppose -2*s = 2*d + 2*d + 54, d = 3*s - 3. Is f(d) a multiple of 9?
True
Suppose -5*z + 360 + 0 = 0. Let y = z - -128. Is y a multiple of 23?
False
Let k be -4*-4*(-2)/(-4). Suppose 0 = 5*t - 10, k*h - 3*h = t + 323. Is h a multiple of 11?
False
Let d(k) = -k**3 + 8*k**2 + 8*k + 12. Let z be d(9). Suppose z*q = -9, q + 42 = 4*w - 41. Is w a multiple of 12?
False
Suppose 2*y - 3*o = 21, 3*y - 3*o = -0*y + 24. Suppose j + 2*i = -0*i + 16, -y*j + 4*i = -18. Does 3 divide j?
False
Let d(z) = 3*z**3 + z**2 - 3*z. Let u be d(3). Let x = u + -47. Is x a multiple of 17?
True
Suppose -4*v - 310 = 78. Let b(k) = 179*k**2 - 3*k - 1. Let l be b(-1). Let r = v + l. Is 14 a factor of r?
True
Let i be ((-144)/(-15))/(9/30). Suppose 0 = -27*v + i*v - 210. Is v a multiple of 12?
False
Suppose 14 = 2*z - 0*z. Let c = 17 + z. Does 8 divide c?
True
Let n = 281 - 185. Let f = 202 - 68. Let t = f - n. Is t a multiple of 19?
True
Let s(a) = a + 19. Let h be s(-16). Suppose -h*v - 14 = 7. Let p(w) = 2*w**2 + 7*w - 10. Does 11 divide p(v)?
False
Suppose y + 20 = -0. Let w = 59 + y. Is w a multiple of 6?
False
Let w(j) = 0*j**2 - j**2 + 1 + 0*j - j + 0 + 5*j**3. Does 8 divide w(2)?
False
Let j(k) be the first derivative of 5*k**3/3 + k**2 + 7*k - 8. Let y be j(-6). Suppose y = 10*q - 5*q. Does 9 divide q?
False
Does 6 divide (-6)/((-6)/2) - (-18 + -25)?
False
Let s be 2 - 6 - (-18)/2. Suppose 4*c - 4*a = 3*c + 16, -s*c = 2*a + 8. Suppose -f - f + 36 = c. Is 9 a factor of f?
True
Let p be (-234)/(-45) - (-2)/(-10). Suppose -104 = -4*j - 5*k, j + p*k - 2*k = 26. Does 11 divide j?
False
Let g(u) = 4*u**2 + 3*u + 1. Let m be g(-1). Suppose 5*w - 119 = -3*f + 124, 160 = m*f + 4*w. Let h = 120 - f. Does 17 divide h?
True
Let l(w) = -7*w**3 + 14*w + 6. Is l(-3) a multiple of 9?
True
Let m = -1035 + 2872. Is m a multiple of 17?
False
Let p = -42 + 42. Suppose -12*j - 1 + 1129 = p. Does 22 divide j?
False
Let y = 1 + -1. Let z = y + 3. Does 19 divide 18 + 4/(-2) + z?
True
Suppose 3*y = 4 - 1. Let f be y/(-3 - 308/(-102)). Suppose -32 = -2*m - 3*a + f, -5*m - a + 227 = 0. Is m a multiple of 13?
False
Let y = -174 + 271. Let q = -17 + y. Is q a multiple of 16?
True
Suppose -136 = -2*a - 2*i, 0 = 2*i - 4*i + 10. Suppose -p + 65 = -a. Is 16 a factor of p?
True
Suppose -4*j + 42 = -54. Suppose 2*l - 4*o - 14 = -0*l, o - j = -2*l. Is l a multiple of 2?
False
Let h(w) be the second derivative of 13*w**7/2520 + w**6/360 + w**4/6 + 2*w. Let n(l) be the third derivative of h(l). Does 16 divide n(-2)?
True
Let b = 73 + -69. Suppose 0 = b*c + 23 - 59. Is 5 a factor of c?
False
Let i(d) = -d**3 + d**2 - d + 24. Let o be (-7)/7 - (-5 - -1). Suppose -o*t + 4*t = 0. Is 24 a factor of i(t)?
True
Let n(t) = 3*t**2 - 11*t - 51. Let i(v) = 10*v**2 - 34*v - 153. Let o(g) = -2*i(g) + 7*n(g). Is o(-8) a multiple of 26?
False
Suppose -9 + 57 = 3*g. Suppose -1762 = -g*j + 1358. Is 13 a factor of j?
True
Suppose 50 = -2*k + 4*k. Suppose 2*f + k = n + 70, 0 = 2*n + 4*f + 114. Is 7 a factor of ((-68)/n)/((-4)/(-66))?
False
Suppose 4*v = 198 + 54. Suppose 292 - 283 = 9*r. Does 16 divide (-4 - (r - 6)) + v?
True
Let i = 36 + -34. Suppose -48 = -3*n + i*n. Does 36 divide n?
False
Let g(z) be the third derivative of 0 - 3*z**2 - 8/3*z**3 + 0*z + 7/24*z**4. Is g(7) a multiple of 33?
True
Does 8 divide (-49980)/(-225) - 6/45?
False
Let d be (4 + -7)/((-6)/20). Suppose d*t - 661 = 289. Is t a multiple of 10?
False
Suppose 0 = -3*w - 2*w + 70. Let n = -10 + w. Suppose n*g + 149 = 433. Is 23 a factor of g?
False
Suppose 3*o - 5456 = -4*x, -138*o = -140*o - 3*x + 3636. Is o a multiple of 19?
True
Let u = 33 + -21. Let w be 0/(-2*(4 - 3)). Suppose -k + u = -w*k. Does 4 divide k?
True
Suppose 228 = -2*m + m. Let c = -48 - m. Suppose -4*y + 0*o = 3*o - 205, 0 = 3*y - 3*o - c. Is 11 a factor of y?
True
Let x be 56/1 + (-1 - -1). Suppose -3*l - 28 = -4*l + 2*k, 2*l - x = 2*k. Let q = 67 - l. Does 11 divide q?
False
Suppose 3*x = -4*c - 22, -x + 4*x = -6. Let y = 26 - c. Is y a multiple of 10?
True
Let i(q) be the second derivative of -q**3/3 + q**2 + 5*q. Does 2 divide i(0)?
True
Let z(y) = 9*y**3 - 7*y**2 + 16*y - 8. Is 26 a factor of z(4)?
True
Let n(c) = 2*c**2 - 3*c + 3. Let f be n(2). Let b(p) = 4 - 3*p - 6*p - 4*p**2 + 11*p + p**3. Is 12 a factor of b(f)?
False
Let z be (1 - 4)/(3/(-75)). Let l = z - 42. Is l a multiple of 16?
False
Suppose 0 = -q - 4*d + 8, -q - 10 = 2*q - 5*d. Suppose 5*v + s - 46 = q, 2*v - 3*s - 28 = -s. Is 16 a factor of (v/(-10))/(1/(-32))?
True
Let f(z) = 13*z**2 + 11*z - 1. Let k be f(-1). Is 9 a factor of (k/4 - (-251)/4) + 2?
False
Let i(l) = 10*l**3 - 2*l**2 - 2*l + 4. Let r be i(2). Let g be 426/(-21) + 2/7. Does 10 divide (r/(-45))/(2/g)?
False
Suppose -13*q + 8*q = 0. Suppose q*l + 5*l - 65 = 0. Does 5 divide l?
False
Suppose 2*d + 3 - 11 = 0. Let i be 30/d - (-3)/(-6). Suppose -4*g = -4*m - 124, -3*g + 4*m - i + 95 = 0. Does 6 divide g?
True
Suppose -2*z + 6 = -0*z. Suppose 0 = -0*b - b - z. Is b/6 - 82/(-4) a multiple of 10?
True
Suppose 0 = 61*o - 59*o - 354. Suppose 3*b = -0*b + o. Is b a multiple of 15?
False
Suppose 4*o = -16, 2*o - 5*o = c - 580. Does 37 divide c?
True
Suppose 28 = 4*n - 4*l, -n + 0*n - 1 = 3*l. Suppose -u - 52 = -n*u + 5*o, -5*u = o - 65. Is 10 a factor of u?
False
Let c = 97 - 39. Let z be 16*(1 + 9/(-12)). Suppose -z*s + c = -2*s. Does 11 divide s?
False
Let n = -456 - -664. Is n a multiple of 21?
False
Suppose 4 = 4*x - 8. Suppose -3*q - x*q + 90 = 0. Is q a multiple of 5?
True
Let w = 150 - 48. Is w a multiple of 17?
True
Let q = -19 - -39. Let r be 7/(61/q + -3). Suppose -2*a = -6*a + r. Is 8 a factor of a?
False
Does 22 divide 571/3 + (-12)/9?
False
Suppose 2*c + 2*l = 710, 0 = -6*c + 2*c + 4*l + 1412. Is c a multiple of 59?
True
Let f(y) = -4*y**2 + 7*y + 17. Let j be f(13). Does 9 divide 14/70 + j/(-10)?
False
Let t be (-284)/(-14) - (-6)/(-21). Let y be 9/(15/t*2). Let q(x) = x**3 - 6*x**2 + 3*x - 5. Is q(y) a multiple of 8?
False
Let b be 6/21 - 1314/(-7). Let u be 8/5 - (-12)/30. Suppose 0 = -6*x + u*x + b. Does 23 divide x?
False
Suppose 126 = 2*w - 3*u, -3*w - 2*u = u - 189. Does 28 divide w?
False
Suppose 2*j - 912 = 3*i - 159, -3*i = 3*j - 1167. Does 6 divide j?
True
Suppose x + 2*m = -3, 0 = 4*x - 8*m + 3*m - 14. Let n be 2/x + 0/2. Suppose n*v - v = 37. Is v a multiple of 12?
False
Suppose -2*w + 7*w = -0*w. Suppose -5*g = 4*s - 230, 0 = 4*g + 3*s - w*s - 185. Is 10 a factor of g?
True
Suppose -3*c - c = -8. Suppose -c*p = -2*h + 18, -3*p - 16 = -2*h - 2*p. Suppose -5*k + 12 = -3*f, 4*k - h = 4*f + f. Is k a multiple of 2?
False
Let b(c) = 2*c + 14. Let n be b(-10). Is 32 a factor of n/(4*4/(2048/(-12)))?
True
Suppose -d - 3*k = -2*k - 579, 5*k - 1164 = -2*d. Is 42 a factor of d?
False
Let t = 2018 - 1421. Does 54 divide t?
False
Let o(r) = r*