se
Let k = -60 - -74. Suppose 5*s + k = 314. Is s a multiple of 18?
False
Suppose -2*d + 534 = 2*l, 4*d = 2*l + 3*l + 1050. Suppose 0 = 2*r + 9 - d. Does 13 divide r?
False
Suppose -5*u + 4*v = -156, -u - v + 32 = -2*v. Suppose x - u = 5*x. Is 3 a factor of ((-6)/(-7))/(-1)*x?
True
Let y(m) = 212*m**2 + 11*m - 11. Is y(1) even?
True
Let i = 495 - 148. Is 4 a factor of i?
False
Let a be 2/(((-1)/(-4))/(2/4)). Suppose -420 = n - 6*n - 5*q, 0 = -5*n - a*q + 420. Does 12 divide n?
True
Does 7 divide 14402/42 + 0 + (-24)/(-252)?
True
Let i(c) = -2. Let a(k) = k - 3. Let z(n) = 4*a(n) - 3*i(n). Let f(p) = -p**2 + 5*p - 7. Let b(y) = -5*f(y) + 6*z(y). Does 5 divide b(-1)?
True
Let j = 47 - 42. Suppose j*q - 106 = -4*l, -3*l + 31 = 2*q - 52. Does 15 divide l?
False
Suppose 188 - 37 = 2*g - b, 2*g = -5*b + 181. Does 39 divide g?
True
Let l be (-2676)/(-7) - (-7)/((-49)/2). Suppose l = 5*q - 428. Does 27 divide q?
True
Let j(n) = 122*n - 2. Let g = 0 - -1. Is 10 a factor of j(g)?
True
Let y be (-15)/3*(-3 + 2). Let v = 1 + y. Suppose 2*q + 4*z - 14 = 0, -q - v*z + 4 = -z. Does 9 divide q?
True
Suppose 0 = 2*v + 10, o - 8 = -v + 2*v. Suppose t - o*k - 57 = -6*k, 2*t - 164 = 4*k. Suppose -2*s - 27 + t = w, -s + 45 = w. Is 15 a factor of w?
True
Suppose 0 = -612*v + 610*v + 2472. Is v a multiple of 6?
True
Let h(p) = -43*p + 36. Is 15 a factor of h(-3)?
True
Let l = -49 - -54. Suppose l*o - o = 252. Is 21 a factor of o?
True
Let m = 254 + -60. Does 41 divide m?
False
Let y(p) = p**2 - 7*p - 15. Suppose -2 = -2*q, 4*q = -u - 4*u + 59. Does 3 divide y(u)?
False
Let b(z) = -24*z. Let m be b(-12). Let j = -188 + m. Is 12 a factor of j?
False
Let q(y) = -y**3 + 8*y**2 - 5*y + 4. Suppose 4 = v + 1. Does 9 divide q(v)?
False
Let b = 516 - -114. Is 63 a factor of b?
True
Let d = 296 - 238. Let h be (92/(-6))/(2/(-3)). Let y = d - h. Does 31 divide y?
False
Let h(a) = a**3 + 12*a**2 - 14*a + 46. Is h(-13) a multiple of 30?
False
Suppose -3*n = 3*g - 51, 0 = -3*n + g + 43 - 0. Does 15 divide n?
True
Let l be ((-40)/14)/(3 - 88/28). Let i = l - -39. Is i a multiple of 6?
False
Suppose 0 = m + 4*m - 10. Suppose 0*l = m*l - 2. Suppose -j + 2*j = l, 3*v - 155 = j. Is 21 a factor of v?
False
Let r(o) = -o**3 + 9*o**2 - 11*o - 17. Let w be ((-5)/(-2))/((-25)/(-60)). Is r(w) a multiple of 5?
True
Let j be 15/6 + 2/(-4). Let c(a) = 3*a**2 - 7*a**j + 9*a + 5*a**2 + 13. Is c(-9) a multiple of 13?
True
Let t be (-1 - 3)/((-17)/34). Suppose -t*o - 2*o + 660 = 0. Does 33 divide o?
True
Suppose -4*v + r + 1038 - 6 = 0, -r + 516 = 2*v. Is v a multiple of 7?
False
Suppose 0 = -2*f + 3*d + 794, -f = -0*f + 2*d - 411. Suppose 4*k + 5*s - 325 = 4, -f = -5*k + 2*s. Is k a multiple of 20?
False
Suppose 2*d = 3*l - 506, 2*l - l - 165 = -3*d. Let b = l + -100. Is 10 a factor of b?
False
Suppose 3*b = 2*y + 18, -8 = 2*b - 2*y - 22. Suppose 4*u - 372 = 5*n - 959, 2*n = b*u + 230. Does 17 divide n?
True
Let y(k) = -11*k + 307. Is 67 a factor of y(-33)?
True
Let k(v) = v**3 - 36*v**2 + 94*v + 246. Is k(33) a multiple of 17?
False
Let p(q) = -q**3 - 4*q**2 - 9*q + 16. Let w be p(-12). Suppose -3*d = 3*z + d - w, 1271 = 3*z - d. Is 14 a factor of 8/(-20) - z/(-10)?
True
Let y be (1 + 2)/3 + 94. Suppose -z + 5*r = -42, -8*z + 4*r + 104 = -4*z. Let k = y - z. Is 26 a factor of k?
False
Let d = -193 + 330. Is d a multiple of 9?
False
Suppose 11 = h + 2*w, w + 47 = 2*h + 5. Suppose 4*n = 3*v + 17, 4*n - v + 0*v - h = 0. Suppose 0*o = n*o - 200. Is o a multiple of 34?
False
Suppose -62 = -9*n - 17. Suppose 6 + 0 = -2*g, -5*j = n*g - 345. Does 13 divide j?
False
Suppose 9*v = 7*v - 6. Let r be (-5)/((-2)/(-36)*v). Suppose -r + 76 = d. Is 23 a factor of d?
True
Let p be ((-2 - 0) + 1)*(-156 + -13). Does 9 divide (p - (-4)/4)/2?
False
Let b(x) = 3*x**2 + x - 19. Does 2 divide b(-13)?
False
Let z(a) = 12*a**2 - 4*a + 20. Does 9 divide z(4)?
False
Let q(h) = -27*h + 14. Let m be q(2). Let o be 3/(-2)*408/9. Let n = m - o. Does 15 divide n?
False
Suppose g - t + 0*t = -2, -t + 3 = 0. Let i be (-40)/((-12)/(-8) - g). Let c = 172 + i. Does 33 divide c?
False
Let a = 928 + -439. Suppose 390 = s - 5*u, -1349 = -5*s - 3*u + a. Is s a multiple of 26?
False
Let l be 87 + 1 + 0 + 1. Suppose 0 - 72 = -9*q. Suppose -9*j + l = -q*j. Does 14 divide j?
False
Let m = 12 - -29. Let t(q) = 6*q + 138. Let u be t(-26). Let z = m + u. Is 5 a factor of z?
False
Let w(z) = -z**2 + 5*z + 5. Let d be w(6). Let s(g) = -4*g**3 + g**2 + 2*g + 1. Let a be s(d). Suppose r - 89 = -5*y, y - a*r + 2*r - 20 = 0. Does 6 divide y?
True
Let z = 828 - -417. Is 83 a factor of z?
True
Suppose -26*a = -32*a + 12. Does 6 divide (-4*a/(-16))/((-1)/(-12))?
True
Let u = -127 + 133. Let b = 54 - u. Does 12 divide b?
True
Let x(s) = -9*s - 9. Suppose -2*t + 2*h = -8, 3*t - 2*h - 20 = -2*t. Suppose -t*k - 15 = k - 2*i, 0 = i + 5. Is 11 a factor of x(k)?
False
Let q(c) = 2*c**3 + c**2 + 4*c - 96. Is q(10) a multiple of 146?
True
Let z be 3 + (1 - (-17 + 0)). Let y = z + -19. Suppose 4*r = y*x - 0*r - 46, 3*x + 5*r = 14. Is 4 a factor of x?
False
Let c(n) = -4*n - 28. Let z be c(-8). Suppose -138 = -2*j - 0*j + z*g, 4*g = -20. Does 14 divide j?
False
Suppose -3*a + 631 = 2*i, a - 306*i = -302*i + 201. Is a a multiple of 8?
False
Let u = 46 - 34. Is 2 a factor of -1*-27*8/u?
True
Let b(t) be the third derivative of 5/6*t**3 + 1/6*t**4 - 1/120*t**6 - t**2 + 0*t + 0 - 1/30*t**5. Is 12 a factor of b(-4)?
False
Let g(v) = 28*v**2 - 3*v + 1. Is g(3) a multiple of 5?
False
Let g(j) be the second derivative of j**3/3 + j**2 - 7*j. Let p be g(-5). Is 12 a factor of (p/(-20))/(3/450)?
True
Let p = 688 + -220. Is 13 a factor of p?
True
Suppose 0 = 4*b - 2*v + 374, -2*v - 371 = 4*b - 5*v. Let s = b + 169. Does 12 divide s?
False
Let i = -68 + 355. Is 51 a factor of i?
False
Let i(v) be the third derivative of -v**5/60 + 13*v**3/6 + v**2. Let q = 195 - 195. Is i(q) a multiple of 8?
False
Let q(k) = k**3 - 2*k**2 - 3*k. Let r(y) be the third derivative of -y**4/24 + 3*y**3/2 - 3*y**2. Let f be r(5). Is q(f) a multiple of 19?
False
Suppose 6 + 7 = 2*k + 5*c, k - c = -11. Is (-16)/(-6)*(2 - (-28 + k)) a multiple of 24?
True
Let v be 0 + 0 + -1 - -90. Suppose -4*q - 74 = -2*d, 5*q - v = -2*d + 30. Is 14 a factor of d?
False
Suppose 0*q + 4*f - 171 = -5*q, 4*q + 5*f = 144. Suppose -4*c - 72 = 4. Let t = q + c. Is t a multiple of 3?
True
Suppose 585*r + 4325 = 590*r. Is r a multiple of 73?
False
Let l = 38 + 228. Does 10 divide l?
False
Does 24 divide (-12 - 0)/((-65)/1690)?
True
Let t be 4/(-10) + 844/10. Suppose -5*y + t = -111. Let r = -21 + y. Is 9 a factor of r?
True
Let y be 16/2 + -7 + 4. Suppose 0 = -y*j + 514 - 59. Is j a multiple of 7?
True
Suppose i - 464 = 5*m, i + 3*m - 448 = -0*i. Is i a multiple of 15?
False
Let h(m) = m**2 - 2*m + 1. Suppose 6*x = 3*x - 9. Is 4 a factor of h(x)?
True
Let f(c) be the third derivative of 8*c**2 + 13/6*c**3 + 1/120*c**6 + 13/60*c**5 + 0*c + 0*c**4 + 0. Is f(-13) a multiple of 12?
False
Let l(h) = -h**3 + 15*h**2 + 6*h + 21. Let q be l(15). Let y = -87 + q. Is y a multiple of 4?
True
Suppose -2*v - 5*d = 23, -5*v = 3*d + d + 32. Let b = v + 4. Suppose b = 4*y - 211 + 51. Is 28 a factor of y?
False
Let w(n) = -6*n - 62. Suppose 48 = -3*u + h, 4*h = -5*u - 66 - 14. Is w(u) a multiple of 3?
False
Does 6 divide 12/(-44) - (-93873)/319?
True
Let a(f) be the second derivative of -f**3/3 + 50*f**2 + 14*f. Let b(i) = -i - 1. Let o be b(-1). Is 25 a factor of a(o)?
True
Let n(h) = -509*h**3 - h**2 + h + 3. Is 34 a factor of n(-1)?
True
Let p(i) = -i**2 + 7*i + 5. Suppose 2 = -6*u + 38. Let t be p(u). Suppose -6*b = -t*b + 460. Is b a multiple of 23?
True
Let u(o) = 4*o**3 + o**2 - o - 4. Let g(n) = -11*n**3 - 2*n**2 + 4*n + 12. Let t(w) = 3*g(w) + 8*u(w). Let r be t(4). Is (8/r)/(6/(-135)) a multiple of 15?
True
Let x be (-2)/(-4) - (-26)/52. Does 19 divide ((-205)/(-5) + -3)/x?
True
Suppose 0 = -77*o + 5*o + 9720. Is o a multiple of 4?
False
Does 2 divide 814/5 + 2 + 153/765?
False
Suppose -96 = 2*l + 4*f - 358, 4*l - 512 = -4*f. Suppose -j = 4*m - 338, -37 = -2*m + 3*j + l. Is 42 a factor of m?
True
Let l(q) = -64*q - 16. Let x be l(-11). Suppose -3*f = h - x, -2*f - 2*h = 2*h - 442. Does 32 divide f?
False
Suppose 2*f = -4*z -