17 + 7. Is 12 a factor of j?
True
Suppose -5*n + 102 + 473 = 0. Suppose 3*a = -2*a + n. Is a a multiple of 23?
True
Suppose 6*c - 3*c - 180 = 0. Is c - (-2 + -1 - -5) a multiple of 11?
False
Is 3 a factor of (4/8)/((-1)/(-18))?
True
Suppose 3*m - 6 = -0. Suppose 2*v + t = 18, 0 = v + 3*t - 2 - m. Let k = 29 - v. Does 19 divide k?
True
Suppose -90 = -4*n + 34. Let k = -21 + n. Is k a multiple of 6?
False
Suppose 4*s - 7*s - 3 = 0, 3*s + 68 = 5*j. Let w(n) = n + 3. Let m be w(-4). Does 13 divide j/(-2)*4*m?
True
Let f be (1 + 1)/((-14)/(-63)). Let t(o) = 6*o - 6. Does 19 divide t(f)?
False
Let v(z) = -z - 4. Let y be v(-5). Is 3 + y + 14 + -2 a multiple of 8?
True
Suppose 5*f + 21 = 5*q - 4*q, -2*f - 7 = q. Let d(i) be the third derivative of 7*i**6/60 - i**4/24 + i**2. Is d(q) a multiple of 13?
True
Suppose 3*r - a + 3 = -26, r + 5*a = 17. Let u(v) = -2*v - 2. Does 14 divide u(r)?
True
Let k(x) = -3*x + 5. Let d be k(-4). Let j = 26 - d. Suppose 3*r = j + 18. Does 5 divide r?
False
Let d(m) = -m**3 + 6*m**2 + m + 4. Is d(3) a multiple of 9?
False
Let h be (-5)/(5/18*-3). Suppose -2*k = -h - 10. Is k a multiple of 6?
False
Let f be ((-12)/(-15))/(2/10). Let v = 13 - f. Does 9 divide v?
True
Let z(x) be the first derivative of -34*x**2 + 2*x + 1. Let c be z(2). Does 14 divide (-9)/(-15) + c/(-10)?
True
Suppose 2*j + 4 = -3*m, m - 3*m = -3*j - 6. Let b be ((-54)/j)/((-12)/(-8)). Let z = -9 + b. Is 5 a factor of z?
False
Suppose -4*r + 6*r - 4*z - 28 = 0, -2*r = z - 3. Suppose 2*p - 29 = -5*o + 15, 4*o - r = p. Is 6 a factor of p?
True
Let j(g) = g**2 - g. Let v be j(-1). Let k(z) be the second derivative of 2*z**5/5 - z**4/3 + z**3/3 + z**2/2 - 2*z. Does 22 divide k(v)?
False
Suppose 229 = 2*v - v. Suppose v = 5*c - 116. Does 25 divide c?
False
Suppose -w + 2*w = 0. Suppose 7*g - 2*g + 2*v = 64, 2*v + 6 = w. Is 14 a factor of g?
True
Suppose 4*c + o - 13 = -130, 0 = 5*c - 5*o + 165. Let i = 21 + c. Is ((-12)/i)/((-1)/(-18)) a multiple of 8?
True
Let r(z) = -z**2 - z + 35. Let s be r(0). Suppose -5 = -5*h, -3*c - 102 = 2*h - s. Let g = c - -40. Does 17 divide g?
True
Suppose 3*m - 4*v = 60, 0*v = 5*m + 2*v - 100. Is m a multiple of 10?
True
Suppose 3*h + 20 = 2*h. Let g = h + 54. Is g a multiple of 17?
True
Suppose -4*n = -263 - 241. Suppose -n = -2*s - 3*p, -3*s - 104 = -2*p - 293. Is 23 a factor of s?
False
Let w = -8 - -10. Does 11 divide 42/w + -1 + 2?
True
Let k = 94 + -36. Does 12 divide k?
False
Let k(d) = -d**3 - 6*d**2 - 6*d + 2. Is k(-5) a multiple of 5?
False
Let c(n) = 13*n**2 - 2. Does 18 divide c(2)?
False
Let j(v) = v**3 - 23*v**2 + 20*v + 54. Does 2 divide j(22)?
True
Suppose -37 = -2*v + 35. Does 9 divide v?
True
Let s = 87 - -45. Does 11 divide s?
True
Let x be (0 - -1)/((-5)/155). Let a = 43 + x. Is a a multiple of 12?
True
Let y = 0 + -1. Let b = 5 - y. Suppose b*x = 3*x + 141. Does 16 divide x?
False
Does 9 divide 195/4 + 45/(-60)?
False
Suppose -o = -2*o. Suppose k + o*k - f = 2, 3*f = -5*k + 26. Does 3 divide k?
False
Let h be (3/(-2))/((-4)/8). Suppose -36 = -3*y - h*c, 5*y - 2*c - 28 - 32 = 0. Does 7 divide y?
False
Let n(k) be the third derivative of 5/12*k**4 + 1/60*k**5 + 0*k + 0 + 13/6*k**3 - 2*k**2. Is 4 a factor of n(-9)?
True
Let r(p) be the third derivative of -p**5/60 - 3*p**4/8 - 5*p**3/3 + 2*p**2. Is 4 a factor of r(-7)?
True
Let l(s) = s**3 + 9*s**2 - s. Is 9 a factor of l(-9)?
True
Let s be 4*(-7)/(-6)*18. Suppose -4*t - t = d - 45, 0 = 3*d - 2*t - s. Is 23 a factor of d?
False
Suppose 14*x = x + 416. Is x a multiple of 4?
True
Let h = 213 + -103. Does 54 divide h?
False
Suppose 9 = 5*d - 3*o, 5*d - 2*o = 3*o + 15. Is d - (-2 - 2 - 0) a multiple of 4?
True
Suppose -3*g - 213 = 90. Let n = g + 146. Is n a multiple of 10?
False
Let l(y) = -y**3 - 7*y**2 + 8*y + 10. Let u(g) = 0*g**2 - 3*g**2 + 1 + 1 - g. Let h be u(-2). Is 10 a factor of l(h)?
True
Suppose 5*g - 92 = -12. Let p = g + 16. Does 16 divide p?
True
Suppose 4*h = -p - p + 308, 0 = h + 2*p - 74. Is h a multiple of 23?
False
Suppose -3*x = -3*m + 24, 5*m = 2*m - x + 44. Let a = m - -4. Is 16 a factor of a?
False
Let b be (-40)/(-12)*3/2. Suppose b*w - 275 = -0*w. Is 16 a factor of w?
False
Suppose 4*l - 27 = -3. Suppose l*b - b - 200 = 0. Is 10 a factor of b?
True
Suppose 1305 + 2075 = 13*x. Is 52 a factor of x?
True
Is 11 a factor of ((-22)/(-5))/(5*(-6)/(-150))?
True
Let t(h) = 3*h**2 + 7*h + 6. Is 25 a factor of t(-9)?
False
Let d(b) = -6*b**3 - 8*b**2 - 1. Is 28 a factor of d(-4)?
False
Let i(r) = r**3 + 1 + 0 - 4 + r - 6*r**2. Let y be i(6). Suppose y*q - 3*d = 72, 4*d - d + 9 = 0. Is 11 a factor of q?
False
Let m(h) = 3*h**3 - h**2 - h + 1. Suppose 5*d = 1 + 9. Is m(d) a multiple of 13?
False
Suppose -20*d + 8*d + 540 = 0. Is 9 a factor of d?
True
Let t = 19 - -13. Is 16 a factor of t?
True
Suppose 4*h + 68 = -304. Is 2 + (-3 + h)/(-3) a multiple of 9?
False
Let t(d) = -d**2 - 3*d + 1. Let f = -9 + 7. Let i be t(f). Suppose -5*k + i*c + 71 = 0, -k - 11 + 42 = 5*c. Is k a multiple of 16?
True
Let d(v) be the third derivative of -v**6/120 - 3*v**5/20 - v**4/24 + v**3/3 - 4*v**2. Does 5 divide d(-9)?
False
Let m = -53 - -94. Is 13 a factor of m?
False
Let o be 9/6 + (-1)/2. Let n be (-6)/2 - (3 - o). Let i(l) = l**3 + 6*l**2 + 3*l - 1. Does 9 divide i(n)?
True
Let b(d) = d**2 - 5*d + 5. Does 42 divide b(13)?
False
Let d(r) = r**2 - 2*r - 3. Does 20 divide d(-8)?
False
Let b = 223 + -94. Is 23 a factor of b?
False
Let h(k) = -k**3 + 6*k**2 + 6*k + 7. Let z = -6 - -13. Let d be h(z). Is 1 + d + (-16)/(-4) a multiple of 3?
False
Let j be ((-4)/8)/((-2)/16). Suppose -2*u + j*u = 2*q - 8, 0 = -3*q - 5*u + 12. Suppose 0 = d + d - q. Is d even?
True
Let v(n) = -n**3 - n**2 + 4. Let s be v(0). Suppose 20 = -4*j + s. Does 12 divide ((-70)/j)/((-1)/(-2))?
False
Suppose -2*r + 9 = -43. Let j be r - 3 - (0 + 1). Let a = j - 0. Is a a multiple of 13?
False
Suppose 3*k - 7*k = -5*b + 700, -4*k + 20 = 0. Let t be (b/21)/(1/21). Suppose -n - t = -5*n. Is 18 a factor of n?
True
Let f = -6 - -52. Is f a multiple of 20?
False
Let p = 8 - 13. Let m(f) = 2*f**2 - 3*f + 7. Let y be m(p). Suppose -2*s - 4*i = -0*i - 78, -2*s + y = -2*i. Is s a multiple of 13?
False
Let a(p) = -2*p - 1. Let i be a(-5). Suppose 3*l + 0*l = i. Suppose 24 = s + l. Does 14 divide s?
False
Let s = -7 + 11. Let h = 0 + s. Suppose -125 - 23 = -4*u + h*p, -4*u = -5*p - 152. Does 13 divide u?
False
Let a(r) = -33*r - 1. Let s be a(-1). Let d(u) = 14*u**3 + u**2 - 1. Let h be d(1). Let f = h + s. Does 23 divide f?
True
Let p = -6 - -8. Suppose p*g = -3 - 5. Let b = 11 + g. Is 5 a factor of b?
False
Suppose -137 = -5*u + 33. Suppose -51 - u = -2*s - m, 2*s = -2*m + 84. Does 13 divide s?
False
Suppose 6*s = s + 95. Does 16 divide s/(-4)*(-7 + -1)?
False
Is 3 + (13 + -3)/2 a multiple of 2?
True
Suppose -3*u - 2*u + 195 = 0. Is 26 a factor of (u/(-9))/((-3)/18)?
True
Let g(l) = -l**3 + 5*l**2 - 17*l - 8. Let y be g(12). Is 17 a factor of (y/(-30))/((-4)/(-6))?
False
Let t(j) = -j - 1. Let a be 4/(-1)*(-4)/4. Let g(s) = -7*s - 11. Let z(m) = a*t(m) - g(m). Is z(5) a multiple of 11?
True
Suppose -t + 5*t - 16 = 0. Suppose -2*n - 3*n + 245 = 5*d, t*n + 2*d = 190. Is 23 a factor of n?
True
Suppose 0 = -6*c + 1907 - 587. Does 11 divide c?
True
Suppose -5*a + 4*o + 46 = 0, 3*a - 5*a + 28 = -4*o. Suppose c - a = -c. Suppose 45 = 2*z - c*d, -d + 5*d - 10 = -2*z. Is 6 a factor of z?
False
Let u = -1 + 1. Does 14 divide (-3 - u)/(9/(-141))?
False
Let i = 35 + -7. Suppose i + 54 = u. Does 22 divide u?
False
Suppose -6 = 2*q + 10. Let z = q + 7. Is -2 + 48 - (z - -3) a multiple of 17?
False
Suppose -x + 27 = -85. Does 11 divide x?
False
Suppose 0 = -3*q + 3*n + 111, -3*n - 38 - 35 = -2*q. Is 19 a factor of q?
True
Suppose v - 3*v = 5*h - 16, 3*h = -4*v + 4. Is h a multiple of 4?
True
Suppose 2*u - 3*k = -0*u + 323, 3*u = 3*k + 477. Is u a multiple of 11?
True
Let d = -8 - -12. Suppose -5*b + 149 = -a + d*a, -3*a = -4*b - 140. Does 17 divide a?
False
Suppose 5*w = -2*x - 18, 2*w - x = 6*w + 12. Let q be (0 - -1)*(w - -2). Suppose 14 = t - 4*r, -4*t + 3*t + 5*r + 15 = q. Is 4 a factor of t?
False
Suppose 32 - 16 = 4*s. Let i(o) be the first derivative of 6*o**2 - 6*o + 1. Does 11 divide i(s)?
False
Suppose o = -0*