e
Suppose 3*n - 2515 = -4*f + 5261, -4*n - f + 10368 = 0. Is 27 a factor of n?
True
Let l be 4 + (-24)/8 + (1 - -637). Suppose -3*z + 8*x + 655 = 9*x, 3*z - 3*x = l. Does 31 divide z?
True
Let i(g) = g**3 + 4*g**2 + 2*g + 4. Let n = 14 - 4. Suppose -3*u = 3*d + 18, 3*u + 4*d = -n - 11. Is i(u) a multiple of 5?
False
Suppose 5*t - 6*t + 979 = 3*s, 2*s + 4963 = 5*t. Does 49 divide t?
False
Let m(l) = l**2 - 7*l. Let z be m(7). Suppose 4*h = 2*y - 10, z = h + 2*y + y - 15. Suppose h*q - 5*q = -415. Is q a multiple of 23?
False
Suppose -c = 0, 4*c - 8 = -4*p - 0*c. Suppose -2*w = -4*u + 6, -w = p*u - 0*w - 5. Suppose -7 + 1 = -u*q. Is 3 a factor of q?
True
Let k(s) = -5*s + 4*s**2 + 2*s**2 - s**2 + s**2 - s**3. Let d = 14 + -10. Is 5 a factor of k(d)?
False
Let v(m) = 3*m**2 - m. Let p be v(2). Let a = -4 + p. Suppose a*u - 16 - 8 = 0. Is u a multiple of 3?
False
Let t = -144 - -226. Is 3 a factor of t?
False
Suppose 4*a + 10 = 3*v - 5*v, 0 = -3*v - 2*a - 23. Let x = -6 - v. Suppose 0 = x*c + 6 - 36. Is c a multiple of 5?
True
Let p = -6 + 10. Suppose p*s = -0*s. Let h(l) = -l**2 + l + 47. Is 10 a factor of h(s)?
False
Let d(n) be the third derivative of 11*n**8/6720 - n**7/2520 + n**5/120 + n**4/8 + 3*n**2. Let h(g) be the second derivative of d(g). Does 4 divide h(1)?
False
Let o(w) = 2 - 6*w**2 - w + 3*w**2 + 4*w**2. Let r be o(2). Suppose 4*x + 78 = 3*q, 1 - 105 = -r*q + 5*x. Is 9 a factor of q?
False
Let j(i) = -i**2 + 27*i - 70. Is j(13) a multiple of 7?
True
Let a(t) be the first derivative of 9*t**2/2 - 29*t + 25. Is 12 a factor of a(13)?
False
Let g = -45 + 48. Is 25/g*(-1 + 28) a multiple of 15?
True
Suppose 229 = 2*p + y - 64, -2*p - 3*y + 299 = 0. Suppose 3*i = s - 70, 2*s + 5 = 4*i + p. Suppose -3*c - 4*t + 188 = 0, -c - 3*t - 2*t = -s. Does 10 divide c?
True
Let z(r) = r + 10. Let g be z(-7). Does 20 divide (0 - (2 + -59))*6/g?
False
Let j = -56 - -84. Suppose 2*r + h - 4*h - 20 = 0, -4*r + 3*h = -j. Does 4 divide r?
True
Does 5 divide -2 + (15/(-5) - -51) + 4?
True
Let h be 1*(0 + 4 + 1). Suppose 1 = m - 4*d - h, 3*d = 6. Is m a multiple of 6?
False
Let x(k) = 4*k**2 - 11*k. Does 18 divide x(11)?
False
Let o = -236 + 474. Does 34 divide o?
True
Let u = -626 - -1389. Is u a multiple of 24?
False
Let u(m) be the first derivative of 4*m**3/3 - m**2/2 - 17*m - 18. Is u(-9) a multiple of 24?
False
Let j = -10 + 25. Let c be ((-1)/(-3))/(1/(-540)*-4). Suppose c = 5*h - j. Is 6 a factor of h?
True
Let x = 706 + -491. Is x a multiple of 36?
False
Suppose -3*c - 3*q + 12 = 0, -c + 3*q = -8 - 0. Let n(a) = -a + 1. Let h be n(-4). Suppose s - 2*g = 100, h*s = c*g - 65 + 555. Is s a multiple of 32?
True
Let h = -125 - -74. Let c = 105 + h. Does 27 divide c?
True
Let p(u) = 2*u - 3. Let c be p(3). Is (-2)/c - (-996)/36 a multiple of 27?
True
Let b be 306/10 - 26/(-65). Let h = -31 + b. Suppose h = -p + 26 - 11. Does 3 divide p?
True
Suppose -h = 0, -5*t = -0*h - 2*h - 2055. Is t a multiple of 3?
True
Let y(w) = -83*w - 100. Does 66 divide y(-2)?
True
Let d be (1/(-2))/((-4)/32). Suppose -o = d*b - 32 - 1, o - 1 = 0. Let h = b + -6. Does 2 divide h?
True
Let a be ((-140)/3)/1 - 20/60. Is (-63)/27 + 1/3 - a a multiple of 2?
False
Suppose -30 = 11*q - 6*q. Is 3 a factor of -4 + (0 - 0) - 204/q?
True
Let x = 13 - 18. Let j be (2/4)/(x/430). Let z = -29 - j. Does 7 divide z?
True
Let k(q) = 217*q - 843. Does 66 divide k(27)?
True
Let d be (-57)/(-11) + (-10)/55. Let y be (2/d)/((-2)/(-240)). Suppose -3*x + y = -0*x. Does 5 divide x?
False
Let z = 1227 - 1014. Is z a multiple of 71?
True
Is 48/16*255/9 a multiple of 17?
True
Let u(n) = -252*n + 576. Does 48 divide u(-4)?
True
Let i = -999 + 2439. Is i a multiple of 32?
True
Suppose 3*f + 2*f + 2*b - 1520 = 0, -4*f + 5*b = -1249. Is 2 a factor of f?
True
Suppose -5*f = -10, -3*h + 2*f + 0*f = -2. Suppose h*x - 5*x - 120 = 0. Let g = 90 + x. Is 13 a factor of g?
False
Let d be 2 - -2 - 6 - -10. Does 20 divide (51 + -1)*16/d?
True
Let v = 368 + -97. Does 4 divide v?
False
Suppose -4*u + 5*u = -4*g + 144, -5*u = 5*g - 645. Suppose -12*m - 621 = -3*m. Let n = u + m. Is 11 a factor of n?
True
Suppose 13*u + 32*u - 40230 = 0. Is u a multiple of 86?
False
Suppose 4*d = -v + 16 + 12, 3*v = 0. Suppose -d*k + 365 = -475. Is 24 a factor of k?
True
Suppose -19*b - 90 = -20*b. Is 6 a factor of b?
True
Let t(z) be the second derivative of 41*z**7/840 + z**6/180 - z**4/24 - 5*z**3/6 - 5*z. Let y(g) be the second derivative of t(g). Does 17 divide y(1)?
False
Let f(s) = 0 - 1 - 7*s - 7 + 18*s - s**3 + 7*s**2. Let k be f(8). Is 6/((k/(-60))/(-2)) a multiple of 9?
True
Suppose -k - 3*k = f + 29, -2*f = -5*k + 6. Let b(m) = -3*m**2 + 2*m + 4. Let q be b(3). Let y = f - q. Is 2 a factor of y?
True
Let a(g) = g**3 - 13*g**2 - 39*g + 103. Does 2 divide a(16)?
False
Let w = -17 - -19. Let m be w/(-3) - (-143)/39. Suppose -5*q + 98 = a, 20 = 2*q + m*a - 14. Is q a multiple of 7?
False
Suppose -w = 2*o + 3*o - 546, -4*o = -4*w + 2112. Let t = 751 - w. Does 20 divide t?
True
Suppose 3*t + 2593 = 4*r, 2*r - 951 = -5*t + 352. Is 11 a factor of r?
True
Suppose 0 = -810*x + 797*x + 9152. Is x a multiple of 11?
True
Let w(t) = 10*t - 10. Suppose u + 8 = 4*u - 4*h, 3*h - 3 = 0. Let g be w(u). Let y = g + -15. Is 8 a factor of y?
False
Suppose -5*v = 2*s - 676, -5*s + 4*v = 3*v - 1744. Is s a multiple of 12?
True
Let k(b) = -23*b - 8. Let m(a) = 0 - 3 - 1 + 1 - 8*a. Let g(v) = -4*k(v) + 11*m(v). Does 23 divide g(6)?
True
Let i = -17 + 28. Suppose k + i = -4*w, -6 = -2*w + 3*k - 1. Does 5 divide 12 + 3/(1 + w)?
False
Let d = 101 + 491. Is 3 a factor of (d/60 - -2) + 2/15?
True
Let o(f) be the first derivative of f**6/120 + f**5/10 - f**4/6 + 4*f**3/3 + f**2 - 2. Let z(a) be the second derivative of o(a). Is z(-6) a multiple of 8?
True
Let d(t) be the third derivative of 5*t**4/12 - t**3/2 + 3*t**2. Let u(x) = -x + 12. Let q be u(9). Is 9 a factor of d(q)?
True
Let a = 9 - 5. Let s(y) = 4*y - 5. Let f be s(a). Does 6 divide (11/(f/30))/2?
False
Let a = 58 - 142. Let c = -32 - a. Does 13 divide c?
True
Let l(p) = 5*p**2 - 4*p**2 - 4 - 5*p + 0 + 6. Let t be l(5). Suppose t - 24 = -2*j. Is 5 a factor of j?
False
Let y(f) = -f - 9 - 5*f**2 + 3 + 6*f**2 + 0*f**2. Is 6 a factor of y(-5)?
True
Let l = -235 - -1271. Is 37 a factor of l?
True
Let c(q) = q**3 - 2*q - 9. Let b be c(0). Let m(y) = y**2 + 10*y + 18. Is 2 a factor of m(b)?
False
Suppose 3*t = 3*j - 3, -5*j = -3*t + 4*t - 17. Is t/(2 - (-384)/(-194)) a multiple of 33?
False
Suppose 4*r - 344 = -4*u, 5*r + u = r + 341. Suppose -4*k = k - r. Let q = -14 + k. Is q a multiple of 3?
True
Let g = -206 + 1142. Does 24 divide g?
True
Let s(j) = -j**2 - 13*j - 9. Let w be s(-11). Suppose 2*l + 3*o = l + w, -3*l - 4*o = -19. Is (0 + 9)/(l/2) a multiple of 4?
False
Let o(a) = -a + 15. Let i be o(6). Suppose 0 = -10*g + i*g + 71. Does 16 divide g?
False
Let h = -59 + 21. Let o = h - -41. Is o + (2 - (-4 - -6)) even?
False
Let f(m) = 120*m + 15. Let b be ((-10)/(-6))/(-5) - 14/(-6). Does 34 divide f(b)?
False
Let p(k) = 22*k + 32. Let d be p(-12). Let w = d - -412. Is w a multiple of 10?
True
Is 11 a factor of ((-28028)/(-147))/(4/6)?
True
Suppose 10*w - 36 = 14. Suppose 0 = -w*a + 50 + 75. Does 7 divide a?
False
Let w = -1 - -2. Is 7 a factor of w/(-2 + (-81)/(-39))?
False
Suppose 0 = -4*q - z + 8152, 0 = 2*q - 6*q + 3*z + 8136. Is 97 a factor of q?
True
Suppose 2*h = 7*h - 5*n - 5, 0 = -h + 4*n - 2. Suppose -68 = h*r - 4*r - 4*t, -3*r = 4*t - 94. Does 21 divide r?
False
Let q = -70 - -70. Suppose -232 = -q*j - 2*j. Is 24 a factor of j?
False
Let x(u) = -u**3 + 4*u**2 + 7*u + 6. Suppose -12 = -3*y, -2*d + 3*y + 6 = -0*d. Let i = d - 4. Is 16 a factor of x(i)?
True
Let i(v) = -v**3 - 8*v**2 - 2*v + 7. Let x be i(-8). Suppose 5*s - 4*s = x. Is s a multiple of 3?
False
Suppose -6*d - 355 = -2005. Is d a multiple of 25?
True
Suppose 4*p = 8, 5*x + 3*p + 2 - 28 = 0. Suppose 16*l + x = 17*l. Suppose d = -2*s + 24, l*s + 72 = 4*d - d. Is 12 a factor of d?
True
Suppose -16*m = -97895 + 18775. Is 115 a factor of m?
True
Let r be 21/7 + 0 + -2. Let h(w) = 3*w**2 + w. Let b be h(r). Suppose c - b = 74. Does 26 divide c?
True
Let o = 102 + -69. Suppose -h = 2*k - 9 - 8, -4*k + o = h. Is 2 a factor of k?