 2. Suppose 6*j - d*j + 5*k = 176, -3*j - 2*k + 125 = 0. Does 13 divide j?
True
Let s = -4 - -10. Suppose x + 105 = s*x. Does 21 divide x?
True
Suppose 1 = -4*z + 289. Is 12 a factor of (3/(-2))/((-3)/z)?
True
Let h(u) = 0*u**2 + 4*u**2 + 3*u + 5 + 2*u**3 + 2*u**2 - u**3. Does 15 divide h(-5)?
True
Let r(h) = 9*h - 12. Is 12 a factor of r(8)?
True
Suppose 0 = -3*v - 7 + 19. Suppose -5*x = -v - 11. Suppose -x*f = -8*f + 135. Does 11 divide f?
False
Suppose 0 = 3*v - p + 5*p - 470, -2*p + 774 = 5*v. Does 14 divide v?
True
Suppose 4*p - 20 = 0, 0 = -3*w - p - 2*p + 9. Let n = w - -6. Suppose -n*k + 2 + 18 = 0. Is 3 a factor of k?
False
Let z(v) = 47*v**2 + v. Let n be z(1). Let a = -31 + n. Is a a multiple of 16?
False
Let k = -3 + 21. Suppose 4*o - 12 = 0, -v + k = 3*o + o. Is v a multiple of 2?
True
Is (-1)/(((-14)/66)/7) a multiple of 11?
True
Is 482/18 + 16/72 a multiple of 6?
False
Is 12 a factor of (56/5)/((-10)/(-75))?
True
Let m(k) be the second derivative of -k**5/20 + k**4/4 + 5*k**3/6 - 3*k**2/2 + 3*k. Let h be m(4). Does 18 divide (72/28)/(h/7)?
True
Suppose 3*s = a - 25, 5*s = 2*a - 4 - 43. Suppose -t + 8 = -d - 6, -a = 4*d. Is t a multiple of 10?
True
Suppose c = -3*c - 84. Let o = -12 - c. Is 3 a factor of o?
True
Suppose -19 = -3*k + 8. Suppose 0 = i - 3. Let f = k - i. Does 4 divide f?
False
Suppose -3 = -k + 2. Suppose -n + k*p - p = -50, -4*n - 5*p = -116. Is n a multiple of 17?
True
Let a(j) = -8*j + 8. Suppose -3*n - 25 = -7. Let d be a(n). Suppose 0 = -m - 5*g + 14, 0 = 7*m - 3*m + 4*g - d. Does 11 divide m?
False
Let d(u) = -u**2 + 6*u + 9. Let b be d(7). Suppose 0 = t - b*t + 37. Is 16 a factor of t?
False
Suppose 0*m - m + 3*b + 224 = 0, 0 = -3*m + 2*b + 637. Let k = m - 140. Does 23 divide k?
True
Let r be 4*3/(2 - -4). Suppose -3*n + r = -13. Is 2 a factor of n?
False
Suppose -g - 12 = -2*g. Suppose 4*m + g - 156 = 0. Is 8 a factor of m?
False
Let w = 7 - 3. Suppose 127 = w*y + 19. Does 9 divide y?
True
Let b = 24 - 5. Is 19 a factor of b?
True
Suppose -5*l - 3*r = -1002, -4*r = 4*l + r - 799. Is 41 a factor of l?
False
Let z(q) = -3*q - 4. Let a be z(0). Is a/1*(-75)/60 even?
False
Let i(v) = -v**3 - 5*v**2 - 4*v + 3. Let m = -13 - -20. Suppose -10 - m = 3*y + 2*u, y - 4*u + 1 = 0. Is 9 a factor of i(y)?
False
Suppose -4*t - 4*q + 124 = 0, -3*q - 64 = -2*t - 4*q. Suppose -t = -4*z + 11. Is 5 a factor of z?
False
Let o(g) be the first derivative of 15*g**4 + 2*g**3/3 - g + 2. Is o(1) a multiple of 23?
False
Let p(n) be the third derivative of 0*n - 3*n**2 - 1/6*n**3 - 1/8*n**4 + 0. Is 13 a factor of p(-9)?
True
Suppose -3*u - 54 = 21. Let q = -4 - -1. Let j = q - u. Is 11 a factor of j?
True
Suppose 4*i - 3 = -31. Let g(n) = n**3 + 7*n**2 - 3*n - 6. Does 6 divide g(i)?
False
Suppose 6*i - 3*i - 441 = 0. Is i a multiple of 13?
False
Does 36 divide (-3 + 396/20)*5?
False
Suppose 172 + 182 = 3*h. Is h a multiple of 36?
False
Let s = -16 - -21. Is s a multiple of 3?
False
Suppose 2*v + 0 = -10. Does 2 divide (-155)/(-25) - (-1)/v?
True
Suppose 1998 = 5*j + 9618. Is 25 a factor of j/(-20) - (-1)/(-5)?
False
Suppose 0*d + d = 192. Suppose 4*q - d = 5*o, -2*o - 58 - 134 = -4*q. Is q a multiple of 13?
False
Let v(k) be the third derivative of k**5/30 + k**4/24 - k**3/3 + 4*k**2. Does 17 divide v(4)?
True
Is 8 a factor of 281/1 - ((-6)/3 - -2)?
False
Let p(l) = -6*l + 16. Is p(0) a multiple of 8?
True
Let o be 6/(-3 + 27/6). Let d(w) = 2*w**2 - 2*w + 4. Is d(o) a multiple of 11?
False
Suppose -2*y + 2 = -4. Let m(r) = -3 - 9*r + 2 + r**y + 3*r**2 + 3*r. Is 3 a factor of m(-4)?
False
Suppose 0 = 5*j - 10*j + 30. Is 3 a factor of j?
True
Suppose 0 = d + d - 10. Let m(j) = -j**2 + 9*j - 2. Is 9 a factor of m(d)?
True
Suppose -h - 5*v = -217, 2*v - 226 = -h - 0*v. Is 23 a factor of h?
False
Let r be 26/6 + (-4)/(-6). Suppose 0 = r*c + 8 - 33. Suppose k = -5*t + 229, 205 - 45 = 4*t - c*k. Is t a multiple of 15?
True
Let h(q) = -4*q - 30. Does 3 divide h(-12)?
True
Let v = -42 + 76. Suppose -2*t + 0*t + v = 0. Does 17 divide t?
True
Let q(o) be the first derivative of -o**2/2 - 1. Let w be q(3). Does 14 divide w/1 + 0 + 31?
True
Let v(n) be the first derivative of n**4/4 - 11*n**3/3 + 6*n**2 - 8*n + 1. Let q be v(10). Let g = 30 - q. Is 13 a factor of g?
False
Let j(a) = -a**3 - 4*a**2 + 3*a - 6. Let x be j(-5). Suppose -5*h = 5*d - 100, -x*h - 132 = -5*d - h. Is 8 a factor of d?
True
Let l be (-2)/(-5) + 648/(-45). Let s = 44 + l. Is s a multiple of 15?
True
Suppose 4*q + 4 = -4. Let h(o) = 4*o**2 + 2*o + 2. Is 6 a factor of h(q)?
False
Suppose c + 2*c = 72. Does 12 divide c?
True
Let f = 282 - 125. Is 14 a factor of f?
False
Let i(b) = -2*b - 5. Does 5 divide i(-10)?
True
Let z = -153 - -78. Let j = z - -109. Is 8 a factor of j?
False
Suppose -18 = 4*s - 86. Suppose g + 2 = s. Does 4 divide g?
False
Suppose 0 = 3*c - 2*n + n - 42, c - 4*n = 14. Suppose p - c = -p. Does 5 divide p?
False
Is ((-192)/36)/(1/(-15)) a multiple of 8?
True
Let o(w) = 28*w - 5. Is o(2) a multiple of 13?
False
Let f = 11 - 10. Is 4 a factor of 54/5 + f/5?
False
Let a be (-6)/(-4)*20/6. Suppose a*f - 8 = 12. Let b = f + 0. Is 4 a factor of b?
True
Let o(r) = 7*r + 1. Let d be o(1). Suppose 4*n - d = 24. Let c = n - 3. Is 5 a factor of c?
True
Let w(v) = -v**2 + 5*v. Let t be w(4). Suppose 2*y - 5*s - 36 = -y, 0 = -t*y + s + 48. Is y a multiple of 6?
True
Let n = 5 - 11. Let l = -6 - n. Suppose 0*z + z - 19 = l. Does 11 divide z?
False
Let o(x) = x**3 - 14*x**2 - 9*x - 26. Is 16 a factor of o(15)?
True
Let c(g) = -3*g**3 - g - 1. Suppose -3*u = -3*m + 4*m + 4, m - u = 0. Let a be c(m). Suppose 4*h - a*h - 20 = 0. Does 20 divide h?
True
Let t = 7 + 9. Suppose 0 = -4*d - t, 31 - 135 = -4*v - 2*d. Does 19 divide v?
False
Suppose -2*v + u - 16 = 5*u, 4*v - 13 = u. Suppose 4*f - 3*f = v. Is f even?
True
Let j(k) be the third derivative of 29*k**4/24 - k**3/6 + k**2. Let t(m) = m**2 - m - 1. Let g be t(2). Does 12 divide j(g)?
False
Suppose g - 55 = -4*g. Does 2 divide g?
False
Let i(d) = 23*d + 1. Let c(a) = a**3 - 9*a**2 + 9*a - 7. Let t be c(8). Is i(t) a multiple of 5?
False
Let v = 161 + -89. Does 12 divide v?
True
Let p = -210 + 423. Is p a multiple of 27?
False
Suppose -4*r = -76 - 172. Let n = r - 21. Let h = 58 - n. Is 12 a factor of h?
False
Let i(j) = -j**3 - 11*j**2 - 22*j - 18. Does 14 divide i(-10)?
False
Suppose -2*x - 2 + 22 = -4*t, 2*x - 2*t - 12 = 0. Suppose -q - 2 = -x*r - 0*r, -2*r = -4. Suppose 120 = j + q*j. Is j a multiple of 20?
True
Let p(t) = -2 + 6*t + 4 - 1. Let u(y) = y. Let o(d) = 2*p(d) - 14*u(d). Does 16 divide o(-7)?
True
Let w = 5 + 44. Is 14 a factor of w?
False
Let d(i) = -i + 2. Does 3 divide d(-7)?
True
Let v = 17 + -25. Is 5 a factor of -2 - v/(0 - -1)?
False
Let g be (4 - 3)/(1/2). Does 18 divide (1 + g)/((-1)/(-6))?
True
Suppose 39*q + 1050 = 45*q. Does 40 divide q?
False
Let q(k) = 6*k**2 - 3*k - 7. Let i(u) = -u**2 + u + 6. Let c(v) = v**2 - v - 5. Let g(w) = 5*c(w) + 4*i(w). Let j(d) = -5*g(d) + q(d). Does 10 divide j(3)?
False
Let u(k) = 2*k**2 + 6*k + 4. Let o be 1/((-2)/20*2). Is u(o) a multiple of 12?
True
Let d(v) = 6*v**2 + 5*v + 2. Is 9 a factor of d(-2)?
False
Suppose 6*d = 1637 + 1051. Does 56 divide d?
True
Let q = 15 - 11. Does 17 divide 0 + (-3 + 9)*q?
False
Suppose -3 + 0 = b. Is 18/b*(-5)/3 a multiple of 10?
True
Let l be (-2)/4*(0 - 0). Suppose 4*r - 190 - 10 = l. Let y = r - 32. Is y a multiple of 18?
True
Suppose 3*v - 4 = -v. Let y = v - -19. Is y a multiple of 20?
True
Let n(d) = -d**3 - 3*d**2 + 5*d + 5. Does 7 divide n(-5)?
False
Let c(i) = i**3 - 10*i**2 + 2*i - 15. Let s be c(10). Suppose -s*k - 18 + 158 = 0. Let l = k + -1. Is l a multiple of 14?
False
Let f = -182 + 290. Is 12 a factor of f?
True
Let w = 192 - 112. Suppose 4*b + 0*b = w. Does 10 divide b?
True
Suppose 0 = -5*f + 4*f + 140. Is 35 a factor of f?
True
Let l be (-3)/((12/(-75))/4). Suppose 0 = -5*m + 110 + l. Let a = -26 + m. Does 10 divide a?
False
Let f(s) = 2*s**2 - 11*s - 23. Does 11 divide f(-8)?
False
Let p = 4 + -17. Let y = 30 - p. Is 11 a factor of y?
False
Suppose -3*z = 9, 0*z + 5*z = -3*c - 6. Let d(n) = n**3 - n**2 - n + 2. Let r be d(3). Suppose 59 = c*s + r. Does 5 divide s?
False
Suppose -r - 2 = -1. Let n be 1*(2 