a multiple of 9?
True
Is 15 a factor of (2*-1)/((-37)/13468)?
False
Let k(d) = d**2 + 9*d - 21. Is k(16) a multiple of 5?
False
Suppose 4*b - 5*k - 450 = 444, -k + 219 = b. Let f = b - 116. Suppose -5*s - 3*q = -175, -q + 6*q = -3*s + f. Does 25 divide s?
False
Let v(b) = -7*b**3 + 6*b**2 + 3*b - 4. Let f(m) = 15*m**3 - 13*m**2 - 7*m + 8. Let i(c) = -4*f(c) - 9*v(c). Is 35 a factor of i(4)?
False
Let w(n) = n**3 + 13*n**2 - 5*n - 18. Let k(l) = -l**3 + 7*l**2 - 6*l - 13. Let u be k(6). Is w(u) a multiple of 47?
True
Suppose 0 = -8*f - 266 + 5370. Does 29 divide f?
True
Suppose 2*s = -2*s + 828. Suppose 3*a - 4*h - 307 = 0, -4*a + 2*a + 5*h = -s. Is a a multiple of 22?
False
Let o = 17 + -6. Suppose i - o = -6. Suppose -i = -q + 21. Is q a multiple of 13?
True
Suppose 5*h + 10 = 0, 2*b - h - 16 = 2. Suppose b = -w + 14. Is w a multiple of 3?
True
Suppose 3*y - 3 = -2*y + m, 0 = 2*y + 5*m + 15. Let s be 2/(((-3)/(-36))/1). Let g = y + s. Is g a multiple of 12?
True
Suppose 68*b - 38698 = 24134. Is 22 a factor of b?
True
Suppose 5*o + 1586 = 2*q, -3*q = -2*q + 4*o - 819. Is 11 a factor of q?
True
Suppose 3*v - 4 - 8 = 0. Let x be 4/10*(v + 1). Suppose x*f = -3*f + 75. Is f a multiple of 5?
True
Let x = 71 + -38. Suppose -2*g - 6 + 34 = 4*w, 2*g + 5*w - x = 0. Suppose 0*a - a + 4*z = -36, -g*a + z + 69 = 0. Is 15 a factor of a?
False
Let d = 137 + -77. Does 12 divide d?
True
Let l(p) = -35*p + 16. Let t be 26/(-7) + (-2)/7. Is 26 a factor of l(t)?
True
Let t(s) = 2*s**2 - 2. Let x be (-3)/(-6) - (-18)/(-4). Is t(x) a multiple of 7?
False
Let b = 168 - 248. Is b/(-10) - 0/3 a multiple of 6?
False
Suppose 0 = 4*c - 3 + 3. Suppose -s + 6 - 3 = c, 4*h - 320 = 4*s. Is h a multiple of 15?
False
Let r(j) = 15*j**2 - 13*j + 26. Let u be r(6). Suppose -u - 90 = -4*o - p, -p = -2. Is o a multiple of 15?
False
Let b = -53 + 64. Suppose t - b*t + 480 = 0. Is t a multiple of 12?
True
Let y = -52 + 55. Suppose -y*n + 5*s = -0*n - 84, 4*n + 5*s - 112 = 0. Is 9 a factor of n?
False
Suppose 2*h - 312 = -0*h. Let d = h - 61. Is 22 a factor of d?
False
Let a be ((-228)/(-5))/((-2)/10). Let q = a + 327. Is 33 a factor of q?
True
Let j(c) = -c + 4. Let b be j(-10). Suppose -15 = 2*a + 3. Let q = a + b. Is q even?
False
Let f(h) be the third derivative of -7*h**4/4 + 6*h**2. Let v be f(-1). Does 39 divide 6517/v - (-1)/(-6)?
False
Suppose -41*w + 27*w + 4284 = 0. Does 18 divide w?
True
Suppose -580 = -4*y - s + 5*s, 0 = 3*s + 15. Does 20 divide y?
True
Let c = 22 + -44. Does 22 divide (c/55)/(((-2)/(-275))/(-2))?
True
Suppose -14*j + 4853 = -635. Is 22 a factor of j?
False
Suppose -4*u - 5 = -3125. Does 12 divide u?
True
Suppose 5*a = 3*n + 8, -3*n - 1 - 1 = a. Let i be -2 - (a + -3) - 0. Suppose i = 5*s - 40 - 125. Is s a multiple of 11?
True
Let k(d) = 3*d - 10. Let m be k(4). Suppose -y = m*y - 6. Suppose y*v = v + 68. Does 12 divide v?
False
Is -699*(51/9 + -8) a multiple of 96?
False
Let s be -1 - (-3)/((-9)/(-21)). Suppose s*i = i + 225. Is i a multiple of 11?
False
Suppose -5*t + 2*j = 7*j - 2395, -485 = -t - 4*j. Is 45 a factor of t?
False
Suppose -4*y = 4, -6*q + 5*q + 4*y + 454 = 0. Is 26 a factor of q?
False
Suppose -5*p - 50 = -2*n - 3*p, 5 = -5*p. Suppose 3*o + 3*w - 42 = 0, -5*w - 26 - n = -5*o. Is o a multiple of 3?
True
Let o = -2 + 11. Suppose -o = -2*b - 1, -17 = s - 5*b. Suppose -s*c - 72 = -7*c. Is 9 a factor of c?
True
Let b = 16 - -343. Is 23 a factor of b?
False
Let j = 74 + -50. Let a = j + -22. Let p = a - -1. Is 3 a factor of p?
True
Let i = -38 - -8. Let y be 4/(-10) - (-16128)/i. Does 12 divide (-6)/(-27) - y/9?
True
Let i(j) = 1. Let h(y) be the first derivative of -8*y**2 + 2. Let l(b) = h(b) - 3*i(b). Does 29 divide l(-2)?
True
Let n be (-14)/(-105) + (-73)/(-15). Suppose 3*b = 4 + n. Suppose -2*o + 55 = 3*p, p - b = -5*o + 11. Does 19 divide p?
True
Let a(x) be the second derivative of x**5/60 - x**4/24 + 5*x**3/6 - 5*x**2/2 + 12*x. Let q(i) be the first derivative of a(i). Does 16 divide q(-5)?
False
Let n = -209 + 251. Is n a multiple of 3?
True
Suppose -d = 7*d. Suppose 468 = 4*r - 4*m, d = r - 2*m + 7*m - 117. Is r a multiple of 13?
True
Let u(a) = -17*a**3 - a**2 - a - 1. Let o be u(-1). Is 2 a factor of (-3 - o/(-12))*-3?
False
Suppose -8*q = -6*q + 2. Is 1/((-2)/26)*q a multiple of 13?
True
Suppose -8*a + 16*a = 15304. Is 103 a factor of a?
False
Let j(u) = -2*u**2 + 9*u + 2. Let x(d) = 6*d**2 - 26*d - 5. Let t be (1/3)/((-3)/63). Let o(b) = t*j(b) - 2*x(b). Does 18 divide o(8)?
True
Let f(g) = 28*g + 9. Let z(v) = -27*v - 10. Let b(j) = 7*f(j) + 6*z(j). Does 9 divide b(4)?
False
Let v = 1336 - 721. Is 41 a factor of v?
True
Let u = 363 - 11. Is u a multiple of 13?
False
Let a = -252 + 504. Suppose 10*h = 11*h - a. Is h a multiple of 28?
True
Let p be 32/12*342/8. Suppose t + t - p = -2*s, 0 = 3*s - 2*t - 196. Suppose -2*q + 0*q + s = 0. Does 4 divide q?
False
Let s be 2/6 - 3/9. Suppose -6*q - 6 = -9*q. Suppose s = -2*l - 5*u + 79, -3*l - q*l + 209 = u. Is 21 a factor of l?
True
Let l be 7/21 - (-982)/6. Let u = l - 90. Suppose -3*j + 17 = 2*w - 40, u = 4*w - 2*j. Is w a multiple of 7?
True
Let d(n) be the third derivative of n**5/60 - 11*n**4/24 + 7*n**3/3 - 2*n**2 + 6. Suppose 4*q = 4*g - 24, -3*q = 2*g - 4*g + 7. Is 13 a factor of d(g)?
False
Let s(r) = 34*r + 645. Is s(24) a multiple of 4?
False
Suppose -3*x = -15, -3*x + 170 = 2*l + 3*l. Suppose 4*c = 7*c - 15. Suppose -c - l = -h. Does 12 divide h?
True
Suppose 3*b + 2349 = 3*y, 4*b = -y - 333 + 1106. Is y a multiple of 12?
False
Suppose -4*o + 0*o - 672 = 0. Let v = o + 312. Suppose 2*g - v = -g. Does 19 divide g?
False
Let z be 5 + (-3 - 0)*-1. Let q(v) = 20*v + 39. Is q(z) a multiple of 18?
False
Let g(s) = 56*s**3 + 2*s**2 + 12*s - 9. Is g(3) a multiple of 9?
True
Let s = 75 + -40. Suppose -s = 8*z - 3*z. Let y(n) = -2*n - 5. Is y(z) a multiple of 7?
False
Suppose 419 = -l + 2134. Does 15 divide l?
False
Let i(h) = 2*h + 4 - 2 + 9*h**2 - 6*h**2. Let g be i(-1). Is (-80)/(-2) - 3/g a multiple of 13?
True
Let a(z) = z**3 + 2*z**2 - 2*z + 3. Let i = 15 + -9. Let d be (3 - 0) + 0/i. Does 11 divide a(d)?
False
Let w = -26 - -22. Let z(s) = -s**3 - 2*s**2 + 2. Let f be z(w). Does 10 divide (-2 - -3) + 0 + f?
False
Suppose 38 = 5*i - 3*i. Let u = i - 10. Is 9 a factor of u?
True
Let s(c) = -c**2 - 19*c - 61. Does 14 divide s(-6)?
False
Suppose -401 = -2*n - 93. Does 11 divide n?
True
Suppose i + 6 = -2*i. Let z be 6/1 + i + 0. Suppose -z - 4 = -v. Does 8 divide v?
True
Suppose -3*b + 63 = f, 0*b = -5*f - 3*b + 339. Suppose 5*r = 4*r + f. Let s = r + -36. Is 5 a factor of s?
False
Suppose o + 0*o = 6. Let w(h) = 4*h**2 - 29. Let j(m) = 6*m**2 - 44. Let a(f) = -5*j(f) + 8*w(f). Is 20 a factor of a(o)?
True
Let s(n) be the second derivative of -n**5/20 - n**4/2 + n**3 + n**2/2 + 12*n + 2. Suppose 5*f = -3*g - 34, -3*f + 7 = -g + 33. Is 27 a factor of s(f)?
True
Let u = 194 - 36. Is u a multiple of 8?
False
Let s(q) = q**3 + 9*q**2 + 4*q - 6. Let x = 4 - 2. Suppose n + x + 4 = 0. Is s(n) a multiple of 27?
False
Suppose r - 4*u + 0 = -6, -14 = -3*r - 4*u. Suppose 0 = r*y + 4 + 8. Is 4/y*(-16 + 1) a multiple of 9?
False
Let i(f) = -7*f**2 - 12*f + 6. Let g(a) = 5*a**2 + 13*a - 4. Let n(d) = -3*g(d) - 2*i(d). Suppose 5*k = r - 62, -4*r + 68 = -5*k - 0*r. Is 15 a factor of n(k)?
False
Let n = -66 - -112. Suppose 4*c = 3*c + n. Does 23 divide c?
True
Let r be (4/(-18) + 295/(-90))*60. Let l = r - -312. Does 23 divide l?
False
Suppose 0 = -29*l + 105*l - 192584. Is l a multiple of 67?
False
Suppose -4 = 3*t - 0*k - 2*k, -3*t + k + 1 = 0. Suppose t*p - 152 = 96. Is 24 a factor of p?
False
Let p(t) = 3*t**2 - 2*t**2 - 10*t + 10*t. Let y be p(0). Suppose 31*m - 33*m + 6 = y. Is m a multiple of 3?
True
Let d = 16 + -14. Suppose 3*t - 5*t + 84 = -d*w, 4*w = -t + 32. Suppose -f - 2*j + t = -0*f, -4*j = -2*f + 112. Does 16 divide f?
True
Let w(u) = u**3 + 12*u**2 - 4*u - 17. Let y be w(-12). Suppose 6*b - 85 = -y. Does 9 divide b?
True
Suppose 2*b - 6 = -o - 0*o, 5*b = -15. Suppose -d - 5*f = -2*d + 4, -f - o = -d. Suppose 3*j = g - 0*g - d, 2*j = -6. Does 4 divide g?
False
Let a(k) = -k**2 - 6*k + 31. Let n be a(-8). Suppose 0 = n*v + 2*v - 2380. Is 14 a factor of v?
True
Let y(d) = -d**