 factor of x?
True
Let x be 1 - 3 - (-81)/(-1). Let m = x - -117. Is m a multiple of 13?
False
Suppose -2*f - o = -5*f + 283, -3*f + 4*o + 277 = 0. Suppose 4*s = -3*w + 175, -3*w = 3*s - f - 40. Is s a multiple of 7?
False
Suppose 0 = f - 3*o + 9, f - 3*o - 33 = 2*f. Let s be 8/(-6)*f/14. Suppose -v = -5*t + 16, -t - 14 = -v - s*t. Is v a multiple of 7?
False
Is 45 a factor of 30*-2*(-5)/(5/6)?
True
Suppose 3*j - 11 = 3*v + 2*v, -3*v - 24 = 4*j. Is 14 a factor of (-70)/v*(-32)/(-40)?
True
Let z be (-30)/(-8) + (-3)/(-12). Suppose 4*n - 22 = -2*i, 0 = -n + 2*n + i - z. Does 3 divide n?
False
Suppose 5*l = -5*y + 153 - 23, 0 = -y - 3*l + 30. Suppose 0 = -5*s + s + y. Is s a multiple of 2?
True
Let x(s) = 3*s + 7*s**2 + 6 - 3 - 4*s**2 - 2*s**2. Is x(-3) even?
False
Let p be (-2)/(-4)*0/2. Let k(g) = 3*g**2 + 7 + 4*g + p*g - 2*g**2. Does 12 divide k(-5)?
True
Is 2 a factor of -3 - (1 + 72/(-3))?
True
Suppose -2*k + 255 - 45 = 0. Is k a multiple of 21?
True
Suppose 4*w - 12 = -4*o, 5*w = 2*w. Suppose 0 = -o*m + m + 20. Is 4 a factor of m?
False
Is (-216)/28*(-13 - 1) a multiple of 22?
False
Suppose -9 - 1 = 5*t, 2*a = -4*t + 416. Does 18 divide a?
False
Let z = 197 - 279. Does 9 divide 15/10*z/(-3)?
False
Suppose -3*n = 5*c - 420, -126 = -4*c + 4*n + 210. Suppose -c = -2*x - 16. Is x a multiple of 9?
False
Let s = 86 + -51. Is s a multiple of 35?
True
Suppose 0 = -3*j + j. Suppose j = -4*t - 6 + 78. Is t a multiple of 10?
False
Suppose 5*i = -5*p + 20, -2*p - 5*i = -2*i - 9. Suppose -4 = -k + p. Is 5 a factor of k?
False
Suppose 170 = 2*m - 4*c + 8, 4*c - 276 = -4*m. Does 10 divide m?
False
Let m be (-3)/2*(-62)/3. Let v be (-29)/2 - 3/(-6). Let h = v + m. Is h a multiple of 11?
False
Suppose 2*a = -5*k + 34, 2*k + 5*a = k - 7. Let w(c) = c**3 - 8*c**2 + 5. Is 4 a factor of w(k)?
False
Let k(n) be the third derivative of 7*n**4/24 - 2*n**3/3 + 3*n**2. Does 15 divide k(7)?
True
Let p(c) be the third derivative of -c**5/60 + 5*c**4/24 - c**3/2 - c**2. Let i be p(3). Suppose i*m - 6*w - 18 = -3*w, 4*w = 5*m - 35. Is m a multiple of 11?
True
Let y = 20 - 19. Let h = 34 + y. Does 32 divide h?
False
Suppose 4*a = -7*w + 2*w - 17, -w - a = 4. Let v = 2 + w. Let c = 25 - v. Does 12 divide c?
True
Let l be (-1)/2*-2*-1. Let q = -101 - -85. Is (q/6)/(l/3) a multiple of 3?
False
Let t(m) be the third derivative of -m**4/24 + 5*m**3/3 - m**2. Suppose 0*z = -2*z. Is t(z) a multiple of 7?
False
Suppose 0 = 2*g - 5*o - 232, 5*g - 580 = -0*g + 4*o. Is g a multiple of 20?
False
Let u(j) = j**3 - 4*j**2 + 2*j + 3. Let w(v) = v**2 + 2*v - 4. Suppose 4*y - 12 = -28. Let r be w(y). Does 4 divide u(r)?
False
Suppose 4*l + 0*l = 2*f - 14, 0 = f - 3*l - 6. Suppose 0 = -2*n + 14 + 38. Let u = n - f. Is u a multiple of 17?
True
Let u(d) = -19*d - 4. Is u(-6) a multiple of 28?
False
Let l(q) = q**2 + 3*q - 4. Is l(11) a multiple of 25?
True
Is 23 a factor of ((-8)/20)/((-1)/245)?
False
Let s(b) = 4*b - 6. Let d be s(4). Suppose 2*k - 3*j = -2*k + 8, -5*j = 5*k - d. Suppose -k*i + 65 = 5*u, 0 = 3*i + 2*u - 5*u - 45. Is 10 a factor of i?
True
Suppose 0*h - 12 = -2*h. Is h a multiple of 3?
True
Let q(g) be the second derivative of -g**4/12 + 11*g**3/6 - 7*g**2/2 + g. Let i(k) = k - 1. Let j(l) = 4*i(l) - q(l). Does 10 divide j(9)?
False
Suppose 2*k = -k + 3, 0 = 2*g + 2*k - 46. Is g a multiple of 5?
False
Let d(n) = -n**2 + 7*n + 2. Let q be 1/3 + (-22)/(-6). Suppose q*m - 20 = 0, 3*m - 8 = r + 2. Is 12 a factor of d(r)?
True
Let v be (-2)/(-3)*(-30)/(-4). Suppose 0 = 5*f + v*j - 65, 6 = 5*j - 3*j. Suppose 0 = -g - 0*g + f. Is g a multiple of 10?
True
Let d(u) be the third derivative of -u**6/360 - 3*u**5/40 - u**4/8 - u**3/3 + u**2. Let n(a) be the first derivative of d(a). Is n(-8) a multiple of 3?
False
Suppose 2*k - g = -0*g + 35, k = -3*g + 28. Is k a multiple of 3?
False
Let g(p) = -2*p**2 - 6*p - 7. Let m be g(-4). Does 9 divide ((-9)/5)/(1/m)?
True
Let u be 6/9 + 30/9. Suppose 0 = 3*g + 7*z - 2*z - 61, -u*g = -5*z - 23. Is 4 a factor of g?
True
Let w(c) = 3*c**3 - 2*c**2 + 2*c + 2. Let u be w(-2). Let x = -101 - -45. Let j = u - x. Does 12 divide j?
False
Let t(m) = -m**3 + 3*m**2 + m - 3. Let b be t(2). Suppose 53 = b*g + 2*x, g + 5*x = 8 + 27. Is g a multiple of 5?
True
Let j = 7 + 4. Does 5 divide j?
False
Suppose 0 = -5*a + 2*i + 970, 0 = -a - 3*a + 3*i + 776. Is 46 a factor of a?
False
Suppose 2*f - 6 = -0*f. Suppose -d = 2*d + 2*o - 36, f*o + 9 = 0. Does 7 divide d?
True
Let l = 17 + -12. Suppose -6*w = -l*w - 16. Is w a multiple of 9?
False
Let t be 0 + 10 - (-4 - -1). Suppose 3*m = 2*p - t, 0*p - 4*p + 71 = 3*m. Does 9 divide p?
False
Suppose c = -2*c + 12. Is (-4)/c*(-4 - 1) a multiple of 5?
True
Is (2 - -1)*(352/6)/4 a multiple of 11?
True
Suppose -22*n - 1315 = -5055. Is 17 a factor of n?
True
Let c(j) = j**2 + 8*j - 2. Let t be c(-7). Let b = 8 - t. Is 17 a factor of b?
True
Let i = -137 + 232. Does 23 divide i?
False
Let a(c) = -23*c. Let q be a(-6). Let y = -230 + q. Let j = y + 161. Does 24 divide j?
False
Suppose 15 = 4*q - 1. Suppose q = 5*w - 11. Suppose w*t = 21 + 21. Is 8 a factor of t?
False
Let x(a) = 2*a**3 + 3*a**2 - 9*a + 5. Let o(t) = -t**3 - 2*t**2 + 4*t - 2. Let s(b) = 9*o(b) + 4*x(b). Is s(-6) even?
True
Suppose 0 = -2*d + 5*o + 98 + 13, -3*d = -2*o - 139. Is d a multiple of 6?
False
Suppose 4*i - 349 = -5*n, 0*i + 5*i + 312 = 4*n. Is n a multiple of 19?
False
Let b = 20 - 18. Suppose 29 = -b*a + 3*a - 4*h, -a + 2*h = -25. Is a a multiple of 5?
False
Let v(h) = -2*h**2 - 2*h. Let o(t) = 1. Let b(g) = -4*o(g) - v(g). Does 18 divide b(-5)?
True
Suppose 3*y + 6 + 15 = 0. Let b(j) = -3*j + 1. Is 10 a factor of b(y)?
False
Let b = -18 - -11. Let l be 9/7 + 2/b. Is 5/10*36*l a multiple of 9?
True
Suppose -62 = 2*t + n, -3*t + 0*n - 4*n - 98 = 0. Let p = t + 47. Is p a multiple of 17?
True
Let z(h) = -15*h**3 - h**2 - 2*h - 1. Let q be z(-1). Suppose -q = -4*p - u, 2 + 3 = -u. Suppose 4*s = -p*g + 9*s + 110, 3*g - s - 62 = 0. Does 19 divide g?
False
Let q be 16/(-5) - (-5)/25. Is 25 a factor of (-1)/q + (-148)/(-6)?
True
Let v = 24 + 84. Is 21 a factor of v?
False
Let y(d) = 2*d + 3. Let m be y(3). Let l(f) = 2*f**2 - 6*f + 3. Let i be l(4). Let g = i + m. Is 10 a factor of g?
True
Let v = 70 - -1. Is 7 a factor of v?
False
Suppose 5*j = -r + 27 + 11, 3*r = 5*j + 154. Does 19 divide r?
False
Suppose q = 3*q - 5*k - 28, -4*q = k - 12. Suppose -q*r = -7*r + 6. Is 9 a factor of 11*(3 - (r - 0))?
False
Let i = 93 - -140. Is i a multiple of 28?
False
Suppose 0 = -f - 0*f - 3. Is (f/3)/(1/(-15)) a multiple of 15?
True
Let d be (2/(-4))/(4/(-24)). Suppose 2*l = -2*p + 28, -d*p + 6*p = 3*l + 48. Is p a multiple of 10?
False
Does 17 divide 1194/14 + 2/(-7)?
True
Suppose 2 = 3*s - 10, -4*o = 5*s - 432. Is o a multiple of 28?
False
Let f(v) = -v**3 - 2*v**2 + v - 2. Let j be f(-3). Suppose 3*k - 2*o = -82, -j*k - 5*o + 135 = -9*k. Let q = -17 - k. Is 10 a factor of q?
False
Suppose 6*t = 3*t + 3, -v + 8 = 4*t. Is v a multiple of 4?
True
Let u(f) = -f**3 - 11*f**2 + 10*f + 5. Is 10 a factor of u(-12)?
False
Suppose 0 = -y - 3*n + 335, -4*n + 1300 = 6*y - 2*y. Does 17 divide y?
False
Suppose 0 = 3*x - 3*u - 489 - 279, -x + 2*u + 260 = 0. Is 42 a factor of x?
True
Let m = -128 - -198. Is 14 a factor of m?
True
Suppose 16 = 4*t + 4*a, -4*t + 3*a = -27 + 11. Suppose -5*x = -t*s - 25, -5*s - 2 = -x + 3. Suppose -x*r + 21 = -149. Is 12 a factor of r?
False
Let j = 74 - -14. Suppose 5*u + 38 - j = 0. Is 5 a factor of u?
True
Let h = -146 + 377. Does 33 divide h?
True
Does 9 divide ((-2 - 0) + 56)*(-10)/(-10)?
True
Suppose 6*s + 8 - 50 = 0. Is s a multiple of 4?
False
Let n = 40 - 30. Does 3 divide n?
False
Suppose -4 + 24 = 4*q. Suppose 2*z + 4 = -6, -q*g + z + 30 = 0. Suppose a = -g + 16. Is 5 a factor of a?
False
Let r(w) = -w + 2. Let g(u) = -6*u + 13. Let p(f) = -6*g(f) + 39*r(f). Let o be (-3)/(6/14) - -1. Is p(o) a multiple of 13?
False
Let x(v) = v**3 - 2*v**2. Let i be x(4). Does 8 divide (i/6)/((-2)/(-12))?
True
Suppose -3*g + 297 = -0*g. Let y = -54 + g. Let s = y - 27. Is 9 a factor of s?
True
Let p be 4 - 1/((-2)/2). Suppose -p*h + 168 = 33. Does 11 divide h?
False
Let f(q) = -3*q + 4*q - 2 + 12. Is 2 a factor of f(-7)?
False
Let z(l) = -2*l**3 - 9*l