e
Let q(x) = 26*x**3 + 2*x**2 - x. Suppose g + 1 - 7 = 0. Suppose g*w - 8 = -2. Is 9 a factor of q(w)?
True
Let m = -39 - -175. Is 12 a factor of m?
False
Let c = -27 + 90. Suppose 5*z + 3*k = -c, 2*z + 0*z = 2*k - 38. Let d = -1 - z. Is d a multiple of 4?
False
Suppose -4*c + 5 + 3 = 0. Suppose -4*k = -0*k - o - 507, o - 249 = -c*k. Is k a multiple of 42?
True
Let k = 18 - -9. Suppose 0 = g + 2*r - 9, 0*g + k = 5*g + 4*r. Suppose 0 = g*s - 108 + 36. Is 12 a factor of s?
True
Suppose -2*o + 1 = -2*r - 3, -12 = -3*r. Suppose 2*u = -o*u + 2024. Does 23 divide u?
True
Suppose -2*g - 3*h + 21 = 0, 12 = g + 2*h + 4. Is ((-6)/g)/(-2 - 5055/(-2529)) a multiple of 14?
False
Let w = -2250 - -3311. Is 56 a factor of w?
False
Let v(m) = 7*m**2 - 16*m - 36. Is 5 a factor of v(-5)?
False
Let s be 2 + 1/(-2)*-4. Suppose 4*o - 56 = -s*o. Is o a multiple of 7?
True
Suppose 5*i = -3*p + 566, 3*i + 4*p - 251 = 93. Does 20 divide i?
False
Let x(z) = z**3 - z**2 - 5*z. Let g be x(-3). Let i = g + 115. Does 31 divide i?
False
Let p be 56 - ((-1 - 1) + 0). Let g = 30 - p. Let c = g - -61. Does 11 divide c?
True
Let g = 0 - 2. Does 28 divide g/(-7) - (-808)/14?
False
Suppose 5*x + 0*s = -3*s + 2089, 2*x - 2*s - 826 = 0. Does 13 divide x?
True
Let c(q) = 16*q + 8. Let o(v) = -2*v**3 - 3*v**2 - 2*v - 1. Let y be o(-2). Is c(y) a multiple of 12?
True
Let w = -4 + 3. Let l = -80 - -92. Is 22 a factor of (-16)/l*(w + -32)?
True
Suppose 4*d + 3*v - 1041 = 0, 16*d + 274 = 17*d - 2*v. Does 21 divide d?
False
Let r(c) = 2*c**2 - 9*c + 4. Does 3 divide r(13)?
True
Let r be (-20)/(-4)*3/(-5). Let h be (28/8)/(r/60). Let t = 105 + h. Is 27 a factor of t?
False
Let w(v) = 106*v**2 + 37*v + 218. Is w(-5) a multiple of 11?
False
Suppose 2*w - 62*k - 1175 = -65*k, -4*w - k + 2325 = 0. Is w a multiple of 58?
True
Suppose 2*a = 23 + 7. Suppose -2*j = 4, -4*y + 3*j = -2*j + 238. Is 17 a factor of (y/(-5))/(3/a)?
False
Let p = -26 + 21. Let s = p - -45. Does 8 divide s?
True
Suppose -2*x + 18 = -4*u, 4*u = -0*x - 5*x - 25. Is 16 a factor of (-6 - -4 - u - -111) + -2?
True
Suppose 5534 = -5*w + 3*l + 15524, 4*w = 2*l + 7992. Is w a multiple of 18?
True
Does 15 divide 1 - (-287 - 1) - -3?
False
Let y = 1252 - -990. Is 10 a factor of y?
False
Is (-29 - -55)*(-12)/(-2) a multiple of 78?
True
Let g(r) = -r**2 - 139*r - 24. Is 48 a factor of g(-40)?
True
Let k = -24 - -29. Suppose 0 = -k*o - 2*o + 560. Suppose -2*a - o = -3*c + 3*a, c + 3*a - 8 = 0. Does 10 divide c?
True
Let t be ((-12)/15)/((-1)/10). Let m = 59 + -36. Let g = t + m. Is 15 a factor of g?
False
Suppose -a = -0 - 2. Suppose -3*n = -4*p + 6, 0 = 2*n - p + 1 - a. Suppose n*l + 2*h - 115 = l, 0 = 5*l + 5*h - 550. Does 35 divide l?
True
Suppose -5 + 50 = 3*w. Let o = -15 + w. Suppose o = -0*t + 6*t - 300. Is t a multiple of 25?
True
Suppose -39*q - 616 = -43*q. Is 14 a factor of q?
True
Let x(i) = -i**2 - 8*i - 7. Let y be x(-4). Suppose -5*z - 3*b = y, 5*z + 0*b = 2*b + 6. Suppose 5*p + z*p - 200 = 0. Is p a multiple of 8?
True
Let c(t) = 14*t. Let s be ((-6)/4)/((-6)/16). Is c(s) a multiple of 8?
True
Let j(f) = 2*f**2 + 13*f + 16. Let n(p) = -p**2 - p - 1. Let y(l) = j(l) + 3*n(l). Is y(10) even?
False
Let r(f) = -f. Let m(a) = 18*a - 3. Let o(b) = -m(b) - 9*r(b). Let d be o(3). Let t = 63 + d. Does 19 divide t?
False
Suppose -4*c = -3*x + 369 + 45, 0 = c. Is x a multiple of 3?
True
Suppose 7233 = 5*g - g - 3*j, -5*g + j = -9033. Does 9 divide g?
False
Let b(q) = -q**3 - 6*q**2 + 11*q - 28. Is b(-9) a multiple of 15?
False
Suppose -40*v + 180 = -60. Is v a multiple of 6?
True
Suppose 0 = -7*r + 15 - 1. Suppose 8*v - 120 = r*v. Is v a multiple of 20?
True
Suppose 16 = 4*o - 284. Suppose 5*z = 3*m + z - 168, -5*z = m - o. Does 15 divide m?
True
Let n(r) = -r - 4. Let a be n(-2). Let g be a/5 - 4492/20. Let c = g + 333. Does 27 divide c?
True
Let g(q) be the first derivative of -3*q**4/8 - q**3/6 - q**2 - 4. Let h(a) be the second derivative of g(a). Is 25 a factor of h(-6)?
False
Let j(t) = 2*t**2 + 2*t - 1. Let i be j(1). Suppose 5*v + 2*s = 37, 4*v - s - 27 = -0*v. Suppose -i*z - 32 = -v*z. Is z a multiple of 6?
False
Suppose 0 = 9*c + 88 + 56. Let f = c - -31. Is 15 a factor of f?
True
Let y be 2/2 + 5 + -3. Is y + (0 - 2*(-327)/6) a multiple of 28?
True
Suppose 5*m - 165 = -3*w, -m - 3*w = m - 57. Let n = m - 24. Is 15 a factor of (80/n)/((-6)/(-27))?
True
Suppose 3*x - 17 = -k, 2 = 2*x + 4*k - 8*k. Suppose x*w - h = 37, 3*h - 23 + 6 = -w. Suppose 2*y - w = 18. Is 3 a factor of y?
False
Let d(x) = -10*x - 50. Is 4 a factor of d(-15)?
True
Let w(n) = n**2 - 15*n + 8. Let p be w(14). Let i = p + 10. Suppose -h - i*d + 5*d = -4, -4*h - 4*d = -48. Does 4 divide h?
True
Suppose 5*s = -5*k + 2*k + 2843, -3*k + 571 = s. Does 103 divide s?
False
Suppose -4*p + 2*s = -10, p + 5*s = 6*p - 15. Suppose -6*a = -a - 20. Suppose -a*i + p*i + 10 = 0. Is i even?
False
Let k(d) = -13*d**3 + 20*d**2 + 16*d + 7. Let j(s) = 3*s**3 - 5*s**2 - 4*s - 2. Let p(v) = 9*j(v) + 2*k(v). Suppose 5*b - 2*b = 21. Does 22 divide p(b)?
True
Suppose z - 15 - 28 = 4*s, 172 = 4*z + s. Is z a multiple of 23?
False
Let n(v) = v**2 - 2*v - 3. Let i be n(4). Suppose 4*c - 15 = 3*j, -2*c - i = 3*j - 2*j. Let y(a) = -a**3 + a**2 + a + 12. Does 9 divide y(c)?
False
Let l be (39/9)/((-2)/6). Let p = l + 53. Is p a multiple of 10?
True
Suppose 0 = 420*u - 415*u - 8350. Is u a multiple of 10?
True
Let v(c) = -c**3 - c**2 - c - 2. Let x be v(-6). Suppose -4*j + x = -2*j - 4*q, -q - 88 = -j. Is j a multiple of 28?
True
Suppose 3868 = 6*t - 1640. Is t a multiple of 27?
True
Suppose 50*a - 6780 - 23120 = 0. Is 46 a factor of a?
True
Suppose -10*v + 3168 = 8*v. Is 4 a factor of v?
True
Let g be (-25)/(-10)*10/1. Suppose 37 = x - g. Suppose -b = b - x. Does 10 divide b?
False
Suppose -52 = 2*t - 90. Does 4 divide t?
False
Suppose -3*n - 636 = n. Let i = -81 - n. Suppose -6*f = -4*f - i. Is 20 a factor of f?
False
Let f(q) = -q**3 + q. Let a be f(1). Suppose -4*h + 5*w + 639 = a, 5*w = -3*h + w + 487. Suppose 3*u = 175 + h. Does 23 divide u?
False
Let j(f) = 2*f + 9. Suppose -5*o - 26 = -2*w, 0*w + 15 = w - 3*o. Suppose -2*l + w*l = -5, -4*l = v + 13. Is j(v) a multiple of 8?
False
Let w be 0/(-9) + 0 + 22. Does 11 divide w/(-55) + (-387)/(-5)?
True
Let u = 49 + 77. Is 2 a factor of u?
True
Suppose 1162*f + 4884 = 1168*f. Is 37 a factor of f?
True
Let k be 1*(-7)/(14/8). Let q(o) = -2 + o + 1 + 3*o**2 - 2*o**2. Does 6 divide q(k)?
False
Suppose -3*x + 22 + 20 = -3*k, 0 = x + 4*k + 6. Let l be 4/6*(-81)/6. Let s = x - l. Does 9 divide s?
False
Suppose 15 = -2*v - 3*v, 4*v + 1872 = 4*k. Is k a multiple of 48?
False
Let n(o) = o**3 - 13*o**2 + 16*o + 17. Is 45 a factor of n(13)?
True
Suppose 0*q + q = -16. Let d be q/4*-1*10. Let b = -6 + d. Does 15 divide b?
False
Suppose 0*w = 5*w + 475. Let l = -59 - w. Does 18 divide l?
True
Let l(b) = -b - 7. Suppose 2*k - 4*k - 12 = 0. Let z be l(k). Let o = 11 - z. Is o a multiple of 12?
True
Is (-4)/(-18) + ((-1533)/(-27) - -4) a multiple of 4?
False
Let i(h) = -h**2 - h. Let r(q) = -1. Let v(f) = i(f) - 5*r(f). Let m be v(0). Suppose -7*z + 9 = -m. Is 2 a factor of z?
True
Let b(q) = -2*q**3 - 18*q**2 + 19*q + 30. Does 5 divide b(-11)?
True
Let m = -189 - -315. Is m even?
True
Let b(l) be the first derivative of -l**4/4 - 8*l**3/3 - 5*l**2/2 + l + 242. Let j(w) = -4*w + 4. Let x be j(3). Is 10 a factor of b(x)?
False
Let z(x) be the first derivative of -2*x**2 + 2*x - 2. Let b(c) = -c**3 - 8*c**2 - 12*c - 5. Let h be b(-6). Is 18 a factor of z(h)?
False
Let i(o) = -63*o + 34. Let z be i(-6). Suppose -p - z = -2*j - 0*p, -j + 5*p + 197 = 0. Does 55 divide j?
False
Let z(p) = p - 19. Let m be z(14). Is 8/(-10)*m + (2 - -9) a multiple of 3?
True
Let y = 5303 + -3103. Does 55 divide y?
True
Suppose 0 = -4*p + 71 + 49. Let x be 6/21 + p/42. Does 11 divide 51 + 3 + 0 + x?
True
Suppose 3*y - 6*y + 9 = 0. Let t(l) = l**3 + 4*l**2 + y*l**2 + 3*l - 18*l**2 + 10. Is t(11) a multiple of 9?
False
Let z(b) = 133*b - 112. Does 12 divide z(4)?
True
Suppose -5*c + 285 = x, -4 = -c - 3. Is 35 a factor of x?
True
Suppose 0 = 3*f - u - 3748, -f - 4*f + 4*u + 6256 = 0. Is 21 a factor of f/15 - 12/(-15)?
True
Suppose -4*g + 574 = 3*f - 362, 681 = 3*g - 3*f