1. Suppose -t*a - 66 = -4*i, 3*i + 5*a = -16 + 46. Does 15 divide i?
True
Let v(f) = -32*f + 2. Is v(-1) a multiple of 14?
False
Let h(g) = g**2 + 22*g - 30. Is 3 a factor of h(-25)?
True
Suppose 0 = -4*w + 23 - 7. Suppose -s + w*q = 2*s - 8, -s = -3*q + 4. Does 2 divide s?
True
Let j = 8 + -2. Is 6 a factor of j?
True
Suppose 3*y - 4*y + 134 = -2*f, -5*f + 655 = 5*y. Does 44 divide y?
True
Suppose -5*n = 5, 0*n + 2*n = -2*h - 210. Let t = -61 - h. Is 16 a factor of t?
False
Let v be 0 - -2 - (0 - 13). Let z = 45 - v. Does 15 divide z?
True
Let v be -1*(-1 + -5) + -3. Suppose -v*x + 41 = 5*g, x + 2*g - 3 - 11 = 0. Does 12 divide x?
True
Let l(n) = n**2 + 8*n + 12. Let v be l(-9). Suppose 5*h - 3*z = v, h - 5*z = -3*z + 7. Suppose 0 = 2*f + f + h*r - 18, 0 = f - 2*r. Is f even?
True
Let a(x) = x + 11. Let f be a(-8). Suppose 81 = -2*p + f*p. Is 22 a factor of p?
False
Let p = 71 + -19. Does 26 divide p?
True
Suppose 0 = -j + z + 3, -j + 3*j = -z + 15. Let k(w) = 3 + 6*w + w**2 + j + 0*w**2. Does 8 divide k(-7)?
True
Suppose 3*g - 5*g + 904 = 0. Is (g/(-6))/((-6)/9) a multiple of 35?
False
Suppose 3 - 2 = d. Suppose -2*f = k - 8 - 0, -f - d = -2*k. Suppose c = -5*u + 67, 2*u + 6*c - f*c = 19. Is u a multiple of 14?
True
Let p(z) = z**2 - 5*z - 1. Let k be p(5). Let u be k + (4 - 2) + 3. Suppose -2*j + 11 = g, -j = -u*g + 2*j + 55. Is 13 a factor of g?
True
Let v(h) = -6*h**3 - h**2 + 1. Let y be v(1). Let k be (8/y)/(2/(-12)). Suppose -1 - k = -b. Is 5 a factor of b?
False
Let m be 34/((-8)/(-2) + -2). Let w = 45 - m. Does 14 divide w?
True
Let i(r) be the first derivative of 2*r**3 - 3*r**2/2 + 3*r - 1. Is i(2) a multiple of 16?
False
Suppose p - 18 = -5*i, 18 = i + 3*p + 2*p. Let t = i + 2. Suppose 3*g - 33 = 5*x - 2*x, g - t*x - 19 = 0. Does 5 divide g?
False
Let i be ((-6)/(-4))/(15/500). Let d = i - 15. Does 10 divide d?
False
Let n = -30 - -54. Does 8 divide n?
True
Let b(v) = -v**2 - 3*v - 1. Let z be b(-2). Is 9 a factor of (19 + 0)/z - 2?
False
Suppose -12*w + 1490 = -7*w. Does 70 divide w?
False
Does 3 divide (88/10)/(9/((-270)/(-12)))?
False
Suppose 4*g - 192 = -0*g. Is 16 a factor of g?
True
Let d(s) = s**3 - 10*s**2 + 3*s - 6. Is d(10) a multiple of 9?
False
Suppose -2*y = 3*y + 5*j - 15, -3 = y - 5*j. Let u be (12/15)/((-4)/(-10)). Suppose -u*r - 57 = -2*o + 3*r, 0 = y*o - 4*r - 52. Does 16 divide o?
True
Let b(g) = 10*g**3 + 7*g**2 + 3. Let m(l) = -11*l**3 - 8*l**2 - 4. Let j(z) = -6*b(z) - 5*m(z). Let s be j(-2). Suppose s = k - 0*k. Does 17 divide k?
True
Let i = -37 + 140. Is 6 a factor of i?
False
Suppose -22 = -2*d + 2*u, 2*u = 4*d - u - 49. Does 6 divide d?
False
Let c(b) = -b - 12. Let f be c(-12). Suppose 0 = -f*y - 4*y + 332. Is 30 a factor of y?
False
Let a(t) = t**3 + 9*t**2 + 6*t + 2. Is 42 a factor of a(-6)?
False
Let t = -10 + 33. Let k = 9 + t. Is 13 a factor of k?
False
Suppose 0 = 2*g - 4*a + 8, -5*g - 5*a + 55 = 0. Is g even?
True
Let c be (-25)/(-5)*(-27)/(-5). Let d be (-6)/(-1) + 0/1. Is c/d + 1/2 a multiple of 5?
True
Let s = -4 - 8. Let u = 5 - s. Is 6 a factor of u?
False
Suppose 7*k = 2*k - 560. Let o = k - -161. Is 17 a factor of o?
False
Let o(f) = f**3 - f - 18. Let q be o(0). Let d be ((-24)/q)/(1/(-24)). Does 24 divide 2 + 0 + -4 - d?
False
Suppose -k - 3*k = -32. Is (-12 + 3)/((-6)/k) a multiple of 9?
False
Let t = 2 + 0. Suppose 0 = t*m + 2*m - 40. Is 4 a factor of m?
False
Suppose -m + 2 = -3. Let s(d) = -d**3 + 6*d**2 - 6*d + 6. Let n be s(m). Suppose 0 = -k + n, -2*y = -6*y + 5*k + 59. Is 8 a factor of y?
True
Suppose k = 3*k + 4. Let z be (2/5)/(k/(-20)). Suppose 40 = p + z*p. Is 4 a factor of p?
True
Let y(f) = -f**2 - 18*f - 7. Is y(-17) a multiple of 5?
True
Suppose n = 6*n - 20. Let y = n - 1. Suppose 6*w = y*w + 12. Does 2 divide w?
True
Let c be (-1)/(-3) - (-84)/18. Suppose -c*m - 13 = -178. Is 10 a factor of m?
False
Let q = 27 + 57. Let v = q - 44. Is v a multiple of 20?
True
Let d(k) = k**2 + 5*k - 13. Let b be d(-10). Suppose -3*q + 2 = -b. Does 13 divide q?
True
Let p(x) = -x**3 + 4*x**2 - 2*x - 2. Let t be p(2). Suppose 0 = -5*i - k + 136, 3*i - 3*k = -t*i + 152. Is 14 a factor of i?
True
Let y(s) = s - 1. Let b be y(-2). Let v = b + 5. Does 10 divide 34/(v/1)*1?
False
Suppose -5*l = -305 - 70. Is 9 a factor of l?
False
Suppose -18 + 62 = 2*q. Is 3/4*q*2 a multiple of 16?
False
Suppose 4*i - 5*r - 418 = -3*r, 5*r = 5*i - 520. Does 35 divide i?
True
Let o(v) = 11*v. Let u(k) = -k + 4. Let s be u(2). Is 14 a factor of o(s)?
False
Suppose 5*b = -5*q - 155, 3*q + 3*b - 7*b = -121. Let s = -22 - q. Is s a multiple of 7?
False
Let q = -13 + 6. Is 2 a factor of (-81)/(-21) + (-1)/q?
True
Let i be 10/(0 + (-1 - -2)). Suppose i = 9*l - 4*l. Suppose 5*a = -5, l*w - 21 = -3*a - 0. Is w a multiple of 12?
True
Is (-2*1)/((-338)/(-114) - 3) a multiple of 19?
True
Suppose -2*n + 105 = 3*n. Is n a multiple of 14?
False
Let i(o) = -o**2 - 6*o + 7. Let s be i(-7). Suppose s = -3*l - 2*l + 15. Let z = l - -2. Does 5 divide z?
True
Let a(u) = -u**2 + 4. Let v be a(2). Suppose v*q + 3*q = 66. Is q a multiple of 5?
False
Let y(n) = 2*n**3 - 2*n**2 + n - 1. Let d = 9 + -5. Let a(h) = h**3 - 4*h**2 + 2. Let q be a(d). Is y(q) a multiple of 3?
True
Let f = -19 - -68. Does 19 divide f?
False
Let k = 118 + -53. Suppose 4*q = -3*g + 49 - 4, 2*g - k = -5*q. Does 11 divide q?
False
Let z = -156 + 179. Is z a multiple of 7?
False
Let l(a) = a**3 + 7*a**2 + 7*a + 16. Does 3 divide l(-6)?
False
Suppose -g = -41 - 23. Suppose -d = d - g. Does 16 divide d?
True
Suppose 126 - 41 = 5*j. Is 5 a factor of j?
False
Let x = 52 - -74. Does 21 divide x?
True
Suppose -535 = -4*f - 95. Does 19 divide f?
False
Let z = 8 + 18. Does 13 divide z?
True
Is 23 a factor of 93/(-3)*-1 + 1?
False
Suppose 3*g + 2*h + h + 12 = 0, g = 4*h + 16. Suppose g = -d, 3*d + 85 = 3*b - 89. Is 11 a factor of b?
False
Let b = -44 + 167. Is b a multiple of 41?
True
Let h(k) = -7*k - 2. Let p(i) = -28*i - 7. Let r(v) = 9*h(v) - 2*p(v). Is 11 a factor of r(-4)?
False
Let t be -21 - (-4 + 3/1). Let b = t + 33. Is b a multiple of 3?
False
Is (116/(-12) + 3)*-9 a multiple of 30?
True
Let w = -15 + 21. Let j be -3*(0 + 92/w). Let t = 81 + j. Is 10 a factor of t?
False
Let m be 4/10 - 133/(-5). Is 20/(-15)*-1*m a multiple of 14?
False
Suppose 5*k = -2*x - 2, 2*x = -4*k - x - 3. Suppose -2*d + 16 = -k*d. Is d a multiple of 2?
True
Is 11 a factor of 78 - (-16)/(-4) - -3?
True
Suppose 127 - 12 = y. Is 23 a factor of y?
True
Let i = -5 - -7. Let j(u) = u**3 - u**2 - u. Let w be j(i). Suppose -3*k + w*k = a - 15, 4*a + 100 = 4*k. Is k a multiple of 14?
False
Let u(o) = -o**3 - 9*o**2 + o + 11. Let v be u(-9). Suppose -3*h - v*h = -360. Is 18 a factor of h?
True
Let q(c) be the third derivative of -c**5/60 - 5*c**4/12 + c**3/3 + 3*c**2. Is q(-7) a multiple of 6?
False
Let f(k) be the first derivative of -1/4*k**4 - 3*k**3 + 9/2*k**2 + 1 - k. Is 8 a factor of f(-10)?
False
Let n(m) = 6*m + 13. Let b be n(13). Let o = b + -52. Is 13 a factor of o?
True
Let c be (0 - -177)*1/3. Let f = 110 - c. Suppose -3*y = -2*l + 5*l - f, y = -4*l + 11. Is 19 a factor of y?
True
Let x(l) = 2*l**2 + 4*l + 3. Let r be x(-2). Let o(k) = -k**3 + 6*k**2 + 7. Does 17 divide o(r)?
True
Let o = 24 + -96. Let s = 108 + o. Is s a multiple of 20?
False
Let k(t) = t**2 - 2*t. Let p be k(3). Let s be p/9*0 + 3. Suppose 0 = -2*d + 3*f + 29, -3*d + 23 + 16 = -s*f. Does 10 divide d?
True
Let c be (0/(-1))/(-4 - -2). Suppose f + 4*w + w = 50, f - 2*w - 36 = c. Does 10 divide f?
True
Let j = 41 - 57. Let m = -4 - j. Does 12 divide m?
True
Suppose 5*f + 16 + 69 = 0. Is (2*-1)/(2/f) a multiple of 7?
False
Suppose -b = -3*i - 25, 4*b - 50 - 84 = -5*i. Is b a multiple of 13?
False
Suppose 0 = 2*j + j - 9. Suppose j*b - 25 = 4*b. Let o = b + 35. Does 10 divide o?
True
Let g(f) = f**3 - 9*f**2 + 2*f. Let x be g(9). Suppose 4*t - x = 122. Suppose n + 1 = t. Does 13 divide n?
False
Suppose -7 = -2*o - 31. Does 3 divide 45/6*o/(-15)?
True
Suppose 0 = l - 5*x - 11, l = -l - 3*x + 35. Suppose -l - 32 = -4*y. Does 4 divide y?
True
Let a be 747/15 + 3/15. Suppose -4*s + 4*h + 8 = -0*s, -5*h = 5*s - 20. Suppose -5 = s*m - a. Does 6 divide m?
False
Let r = 50 + -17. Does 7 divide r?
False
Suppose 0 = 5*r + 1