**2. Is 16 a factor of m(v)?
True
Is 3 a factor of 2/9 - 742/(-63)?
True
Let n(h) = 5*h**3 - h - 4. Is 13 a factor of n(2)?
False
Suppose -3*n - 5*x = -10 - 19, n - 3*x + 9 = 0. Suppose n*i = -0*i + 12, 0 = 4*o - 4*i + 12. Let t = 9 + o. Is 5 a factor of t?
True
Let g(u) = u**2 + 3*u - 4. Let n be 1/(-1 + (-2)/(-3)). Let j be g(n). Does 13 divide (-153)/(-6) - 2/j?
True
Suppose -8*d + 196 = -7*d. Is 28 a factor of d?
True
Suppose 300 = 5*b - 2*b. Does 10 divide b?
True
Let t(d) = 18*d**2 - d + 1. Let p be t(1). Let z be 9/(-3) + 8/(-4). Let m = p + z. Is 4 a factor of m?
False
Let c = 140 - 76. Is c/10 - 14/35 a multiple of 4?
False
Suppose -3*u = -2*b - u + 202, 4*b - 5*u - 400 = 0. Is b a multiple of 8?
False
Let l = 122 - 72. Suppose i = 6*i - l. Does 9 divide i?
False
Let s = 28 - 12. Let a = -12 + s. Is a a multiple of 2?
True
Let y = 229 - 118. Is y a multiple of 37?
True
Suppose -4*d - 3*f = -67, -2*d - 3*f + 80 = 3*d. Is 6 a factor of d?
False
Let z(j) = 342*j**3 - 3*j + 2. Does 47 divide z(1)?
False
Suppose 0 = -2*x + 3*x - 30. Let j be x/8 - (-1)/4. Does 4 divide 0 + (1 - j) - -10?
False
Suppose -h + o - 6 = h, -h + 5*o + 6 = 0. Let f be (-224)/(-8)*2/h. Is (12/f)/((-1)/7) a multiple of 3?
True
Let i(u) = u**3 - 7*u**2 - 7*u - 4. Let n(x) = -x**3 - x**2 + x + 1. Let w(h) = -i(h) - 2*n(h). Does 26 divide w(-8)?
True
Suppose 4 = 2*l - 0. Let p = 9 + -5. Suppose 0 = -p*k, 3*b - 5*k - 72 = -l*k. Is b a multiple of 23?
False
Does 29 divide (-3)/(54/(-245) - 2/(-10))?
False
Let y = 101 + -17. Does 16 divide y?
False
Let h(i) be the second derivative of -5*i**3/3 + i**2/2 - 2*i. Let o be h(-7). Let t = o + -49. Is 9 a factor of t?
False
Let u = -8 + 14. Suppose i = u*i - 560. Suppose 0 = -6*r + 2*r + i. Does 14 divide r?
True
Suppose 23 = k + 3*m + 2*m, k - 2*m + 5 = 0. Suppose k*p - 21 + 6 = 0. Suppose 3*z - 27 = -p*f, 3*f = -3 - 6. Does 14 divide z?
True
Let z be 5598/21 - (-6)/14. Suppose 2*p - z = -p. Is p a multiple of 25?
False
Suppose 3*u - 12 = -3*f, -2*f + 6*f - 4 = -u. Let o = -1 - -5. Suppose -k - o*k + 25 = f. Does 5 divide k?
True
Is (-2)/(8/(-76)*1) a multiple of 7?
False
Is 4 a factor of (-3)/((-12)/352*4)?
False
Suppose 3*k = 5*j - 2*k - 450, 0 = -5*j - 3*k + 410. Is 16 a factor of j?
False
Let d(p) = -p - 7*p**2 + 2 - 1 + 47*p**2. Suppose 3*z = -3 + 6. Is 20 a factor of d(z)?
True
Suppose -k + 2*k - 2 = 0. Suppose -4*w + 25 = h, 3*w - k*h = 2*h - 5. Is 5 a factor of w?
True
Let u(y) = 4*y**3 - 3*y - 1. Let v be u(-2). Let d = -6 - v. Is 7 a factor of d?
True
Suppose -4*t + 2*y = 14, -y + 15 = 4*y. Let u be 8*-1*1/t. Is 408/30 - u/(-10) a multiple of 7?
True
Suppose 0 = -3*a + 6, 4*c - 215 = c - 4*a. Is 6 a factor of c?
False
Let i = -1 + 6. Suppose -2*r + 50 = -i*j - 14, 3*r - 74 = 2*j. Is r - (-3)/(1 - -2) a multiple of 11?
False
Let g = -17 - -35. Is g a multiple of 6?
True
Is 5 a factor of 346/18 - (-4)/(-18)?
False
Suppose 0 = -4*n - 2*w + 26, -2*n - 3*w = -6*n + 1. Let j(t) = -t**3 + 6*t**2 - 7*t + 5. Does 4 divide j(n)?
False
Suppose -4*c = -13 - 91. Does 12 divide c?
False
Suppose 2*x = -5*h + 496, 2*x = 6*h - h + 456. Does 20 divide x?
False
Let b(l) = -l**3 + 5*l**2 + 2*l - 6. Let n be b(4). Let o = 16 - 10. Let w = n - o. Does 12 divide w?
True
Let v = 41 - 39. Does 2 divide v?
True
Suppose -5*r = -4*v - 8 - 3, -4*v - 56 = 4*r. Let c be ((-9)/(-12))/(-1)*-8. Does 15 divide (c/v)/1*-42?
False
Let t(d) = -6*d**2 + 2*d + 2 - 5*d + d - d**3. Let b be ((-12)/10)/((-5)/(-25)). Does 7 divide t(b)?
True
Let g = 7 + -4. Suppose -n + 3*n = 4*m - 54, 3*m - g*n - 48 = 0. Is 11 a factor of m?
True
Let n(z) = z**3 - 5*z**2 - 2*z - 3. Let b be n(6). Suppose -3*a + b = -4*a. Let p = -11 - a. Does 7 divide p?
False
Suppose 8*y = 7*y + 18. Is 19 a factor of (y/15)/(6/210)?
False
Let c(y) = -2*y**2 - 6*y - 1. Let i(a) = 6*a**3 + a + 1. Let x be i(-1). Let k be c(x). Let l = -19 - k. Is 9 a factor of l?
True
Let k(a) = a - 1. Let c be k(3). Let w(g) = -3*g - 2*g + c*g**2 + g. Is w(3) a multiple of 3?
True
Let z be (-1650)/(-105) + 4/14. Does 3 divide (-21)/2*z/(-12)?
False
Suppose 3*o + 3 = -l, -5 = 4*o + 3. Suppose -l*s + 15 + 31 = b, 46 = b + 5*s. Is 23 a factor of b?
True
Let p be (2/4)/((-2)/(-32)). Let h(x) = 6*x - 6. Let z be h(p). Is (-4)/14 + 936/z a multiple of 11?
True
Suppose -7 = 4*d - 55. Is 3 a factor of d?
True
Suppose x + 12 = 4*o, 0 = -2*o - 2*x + 5 + 1. Suppose -3*n + 8 = -7*n, -o*t + 4*n = -20. Suppose -23 = -t*l + 9. Is l a multiple of 8?
True
Suppose 2*j = 4*q - 0*q - 108, -j + 5*q - 42 = 0. Let o = j + 96. Is o a multiple of 17?
True
Is 21 a factor of 62 + 2 + -2 + 2 + -1?
True
Let w be 2/9 + 14/(-63). Suppose q - d - 2*d - 57 = w, -2*d = -2. Does 12 divide q?
True
Let m(c) = -75*c + 3. Let b = 6 + -1. Let v(o) = -50*o + 2. Let y(i) = b*m(i) - 8*v(i). Is 21 a factor of y(1)?
False
Let w be (0 + 0)/(-1 + 2). Suppose w = -d - 0 + 5. Does 2 divide d?
False
Suppose 3*o - 232 = -67. Is 8 a factor of o?
False
Let f = 12 + -18. Let s(r) be the second derivative of r**4/12 + r**3/3 - 3*r**2/2 + r. Does 21 divide s(f)?
True
Suppose 0 = -0*x - 3*x - 36. Let b = x - -8. Let u(v) = v**2 - 2*v - 4. Is 11 a factor of u(b)?
False
Suppose j = -3*t + 4*j + 84, -84 = -4*t - 3*j. Is 8 a factor of t?
True
Suppose -5 = 2*f - f. Is 8 a factor of f/25 - (-102)/10?
False
Suppose -32 - 96 = -2*b. Is b a multiple of 32?
True
Suppose 5*s + 21 = 2*s. Let n = s + 69. Does 18 divide n?
False
Let o = -5 + 8. Suppose -3 = -2*w + 3*l, 3*w - o*l - 6 = -0*w. Suppose w = v + 1. Is v a multiple of 2?
True
Does 8 divide (8/3)/(3/54)?
True
Let t = -8 - -10. Suppose t*a - 24 = 12. Does 6 divide a?
True
Let z(u) = -u**2 - 7*u + 4. Let a be z(-7). Suppose 0 = a*w + 2 - 10, 0 = -3*r - w + 53. Does 10 divide r?
False
Suppose p = -2*p + 9. Suppose -4*q = -2*t - 246, -5*q - 48 = p*t - 339. Is 20 a factor of q?
True
Suppose 4*k + k - 25 = 0. Suppose -4*i = 3*c + 6, -2*c - c - k*i = 9. Is c even?
True
Suppose 3*u + v = 460, -8*v - 335 = -2*u - 3*v. Is u a multiple of 14?
False
Suppose 4*f + 1061 = r, 8*f - 3*f + 3155 = 3*r. Suppose -227 = -z - 5*j, 4*z = -z + 5*j + r. Suppose z + 28 = 4*d. Is 24 a factor of d?
False
Let k = -29 + 41. Is 4 a factor of k?
True
Let d be (-3339)/(-35) + (-3)/(-5). Suppose -10*q = -7*q - d. Is 8 a factor of q?
True
Suppose 3*j + 0*j = 3*q + 15, 2*q = -5*j - 3. Let g = -1 + -1. Is (q/(-5))/(g/(-5)) a multiple of 2?
True
Suppose 0 = -2*s - 13 + 3, 5*o + 5*s = 0. Let m(i) = -i**3 + 6*i**2 + 6*i - 3. Is m(o) a multiple of 14?
False
Is 1*(5 + -1) - -19 a multiple of 3?
False
Suppose 54 = 3*v + 3*v. Let o = 25 - v. Is o a multiple of 5?
False
Let s(l) = l**2 - 8*l - 3. Is s(10) a multiple of 17?
True
Let b(l) = 2*l**3 - 1. Is 13 a factor of b(2)?
False
Let i be 0 - -1 - 5*1. Let l(f) = 13*f**2 - 5. Let y(z) = -z**2 - 1. Let j(o) = i*y(o) + l(o). Is 8 a factor of j(1)?
True
Suppose 5*r = -5*n + 35, 3*n - 14 = 6*r - 2*r. Suppose -n*t + 18 = -4*t. Suppose -m - t = -23. Is m a multiple of 7?
True
Let z(c) = -7*c + 10. Let b = 13 + -18. Is z(b) a multiple of 15?
True
Let s = 58 + -104. Let g = 78 + s. Is g a multiple of 16?
True
Let g(y) = y**3 - 3*y**2 + y + 2. Let v be g(3). Suppose -4*q - 14 = -2*p - 6*q, -v*p + 47 = q. Suppose 2*j - p = -0*j. Does 2 divide j?
False
Let u = 174 + -91. Suppose j + 20 = u. Is 18 a factor of j?
False
Let d(y) = -y. Let z be d(-2). Suppose -z*u + 28 = 10. Suppose 2*l + 2*k = u + 9, 2*k = l. Is 3 a factor of l?
True
Suppose -4*q + 195 = q. Let v = q + 81. Does 27 divide v?
False
Let z(m) = -178*m**3. Is z(-1) a multiple of 18?
False
Suppose t - 1 = -5*b - 9, 0 = 2*t + b - 2. Let v(l) = -l**2 - 5*l. Let w be v(-5). Is -8*(-3 + t) + w a multiple of 8?
True
Suppose -2*v - 9 = -3*v + 5*z, -v = -4*z - 9. Let l be -3*2*(-3)/9. Suppose 2*c = 3*d - 61, 0 = -l*d - v*c + 4*c + 66. Does 11 divide d?
False
Suppose 0 = 10*d - 15*d + 150. Is 10 a factor of d?
True
Let b(s) = 14*s**2 - s + 3. Is 17 a factor of b(2)?
False
Let o(d) = 0*d + 5 + d - 5*d + 1. Let k be o(4). Let u = k - -19. Is u a multiple of 9?
True
Suppose 4*v - 16 - 80 = 0. Is v a multiple of 12?
True
Let r be (1/2)/(1/6). Suppose -69 = -0*m - r*m. Is 23 a factor of m?
True
Let c = -19 - -41. Is c a multiple of 12?
False
Suppose m = 5*m - 3*f - 225, 275 