 16?
False
Suppose -2*d - 4 + 10 = 0. Does 12 divide 3*2*9/d?
False
Let g be -45*((-1)/(-1) - 0). Let v = g + 66. Is 5 a factor of v?
False
Suppose 0 = -0*a + 2*a. Let d = a - -4. Suppose -g - 8 = -0*y + 3*y, g - d*y = 27. Does 7 divide g?
True
Let n be (1/2)/(8/576). Suppose 0*p + 4 = p, -4*j + 2*p = -n. Is j a multiple of 9?
False
Let i(y) = 18*y - 1. Let f(m) = -17*m + 1. Let w(p) = -4*f(p) - 3*i(p). Is 9 a factor of w(1)?
False
Let j(w) = w**2 - 6*w - 5. Let m be j(6). Let p = 7 + m. Suppose -6 = -p*i + 18. Is i a multiple of 12?
True
Let r(c) = c**3 - 2*c**2 - 7*c + 7. Let j be r(5). Suppose 0 = k + 3*k - 4*d - 24, j = 2*k + 5*d. Is 6 a factor of k?
False
Let r(p) = -2 - 7*p - 2 - 9*p**2 - p**3 + 3*p**2. Let m be r(-5). Let z(f) = -f**3 + 7*f**2 - 5*f - 2. Is 4 a factor of z(m)?
True
Let f = 249 - 177. Is 18 a factor of f?
True
Let z = 7 - -7. Suppose -5*i + 6 + z = 2*j, 5*i + 15 = 5*j. Let w(a) = 24*a + 1. Is 17 a factor of w(i)?
False
Is 15 a factor of (-7 - -25) + (-2 - 7)/3?
True
Is 34 a factor of 34*(1 + 2/2)*2?
True
Let u be (-2)/(-6) - (-128)/(-24). Is 9 a factor of (-144)/(-5) - 1/u?
False
Let q = -4 + 30. Is 13 a factor of q?
True
Suppose 3*d - 30 = -2*d. Is d a multiple of 4?
False
Suppose -3*c = -5*c + 48. Is (c/(-14))/((-8)/56) a multiple of 9?
False
Let m be (-12)/(-24)*(0 + 0). Suppose 5*t - 3*g = 57, -3*t + m*g = g - 37. Is t a multiple of 6?
True
Suppose -v - 5*v = -78. Does 12 divide v?
False
Suppose 4*h + 0*h + 5*w = 115, 5*h - 148 = -2*w. Is h a multiple of 6?
True
Suppose z - 15 = -q, -5*q - 7*z + 3*z + 72 = 0. Is 4/q*1*93 a multiple of 15?
False
Is 30/(-4)*(-4)/5 a multiple of 2?
True
Suppose -5*z = -0*z - 25. Let b = z - 2. Is 6 a factor of -1 - b/(9/(-39))?
True
Suppose 0*o - o + 2 = 0. Let h(j) = -j - 5*j**o + 8*j**2 + 3*j**2 + 3*j**2. Is h(-1) a multiple of 5?
True
Let t(d) = d**2 - 5*d + 2. Let q be t(3). Let c = 47 + q. Is 13 a factor of c?
False
Let i(s) = 2*s + 2. Is 12 a factor of i(11)?
True
Let s(h) = 59*h - 3. Is 29 a factor of s(2)?
False
Let j be 6/(0 - 12/(-8)). Suppose j*v - 17 = -q + 33, 124 = 3*q - v. Is q a multiple of 21?
True
Suppose -4*w = -b + 147, -2*b + 3 = -w - 270. Does 36 divide b?
False
Let q(b) = b**3 - 5*b**2 - 4*b - 3. Let t be q(6). Let h = 25 + t. Does 19 divide h?
False
Is 1/(5/150 + 0) a multiple of 8?
False
Let o(p) = -p**2 - 11*p + 4. Let z(a) = -2*a**3 + 3*a**2 - 2. Let y be z(2). Is 10 a factor of o(y)?
False
Let o(j) = -j**3 + 9*j**2 - 4. Let r(f) = -4*f**3 + 35*f**2 - f - 15. Let b(w) = 9*o(w) - 2*r(w). Is 8 a factor of b(11)?
True
Let x be 2/(-8) + (-189)/(-4). Suppose -21 - 99 = 5*b - 2*d, 5*b + 4*d + 150 = 0. Let g = x + b. Is g a multiple of 9?
False
Let m(x) = -2*x**2 - x**3 - 2*x**3 + 22 + 2*x**3 + 3*x**2. Is m(0) a multiple of 14?
False
Suppose 0 = 2*t - 0*t - r - 84, t - 24 = -4*r. Is t a multiple of 10?
True
Let p(h) be the third derivative of -h**4/6 + h**3/3 + h**2. Let o be p(-4). Let z = o - 6. Is 6 a factor of z?
True
Suppose 87 = 2*i - 19. Suppose 2*a + 256 = 3*k, 3*k - i = -3*a + 208. Let h = k + -41. Is h a multiple of 17?
False
Let i = -136 + 44. Does 20 divide (i/10)/((-4)/20)?
False
Let o = -30 + 47. Let b(f) = -2*f**2 - 6*f + 2. Let k be b(-3). Suppose -k*i = -i - o. Does 12 divide i?
False
Let b(x) = x**3 + x**2 - x - 1. Let f be b(-2). Let t(y) = 2*y**3 + y**2 - y + 2. Let i be t(f). Let n = i + 64. Is n a multiple of 12?
True
Let z = -3 + 6. Suppose -j - 16 = z*j. Is 17 a factor of 1/j - (-274)/8?
True
Let d(k) = 2*k - 6. Let w(b) = -7*b + 17. Let i(s) = 17*d(s) + 6*w(s). Let l(z) = z**3 - 4*z**2 - 4*z - 6. Let h be l(5). Is i(h) a multiple of 8?
True
Suppose -2*k + k - 3*y - 7 = 0, -5*y = -4*k + 23. Suppose 5*r + 4 = 5*j - 11, -2*r = -3*j + 6. Suppose -41 = -a - 5*t, a + k*t - 26 = -j*t. Does 8 divide a?
True
Let k(b) = -b - 1. Let q(m) = -m + 6. Let a(y) = -2*k(y) + q(y). Is a(-6) a multiple of 2?
True
Let a(h) = 6*h**3 + 4*h**2 - 2*h - 2. Let b be a(3). Let k = b - 54. Let p = k - 80. Is p a multiple of 20?
False
Let b be ((-16)/(-24))/((-4)/(-102)). Let w = -6 + b. Is w a multiple of 7?
False
Let j(t) be the third derivative of 1/6*t**3 + 2*t**2 + 0 + 1/24*t**4 + 0*t + 1/60*t**5. Does 2 divide j(-2)?
False
Let n = -4 + 7. Let p(u) = -u**3 - 7*u**2 - u + 8. Let x be p(-8). Suppose x = n*c + c. Is c a multiple of 12?
False
Suppose -4*q - o + 16 = 0, -2*o = 3*q - 4*q - 5. Suppose 0 = -q*c - 5*i + 13, 0 = 5*c + 4*i - 0*i - 39. Is 11 a factor of c?
True
Let v be (-166)/18 + (-4)/(-18). Let g be 507/v - 2/(-6). Let o = -32 - g. Does 11 divide o?
False
Suppose -4*q - y = -0*y + 3350, -y - 2512 = 3*q. Is 24 a factor of q/(-10) + 5/25?
False
Suppose -4*y = -w - 42, -y - 2*w + 8 = -w. Let s be y/2 + -1 + 3. Suppose 120 = -2*a + s*a. Does 12 divide a?
True
Suppose 4*n - 326 = -n - g, -3*g - 127 = -2*n. Does 20 divide n?
False
Let w = 143 - 47. Is w a multiple of 32?
True
Let p = 162 - 108. Does 13 divide p?
False
Suppose 4*f + 5*l + 17 = 0, 0 = f - 6*f - 2*l. Let c(j) = -2*j**3 - 17*j**2 - 10*j - 13. Let p be c(-8). Is (p + (-42)/(-4))*f a multiple of 9?
True
Let l = 314 - 213. Does 39 divide l?
False
Suppose 0 = 3*n + 59 - 200. Let r = n + -16. Is 11 a factor of r?
False
Let x(b) = b**2 - b - 4. Let a be x(3). Suppose 0 = -5*y + 5*j + 80, -74 = 2*y - 7*y + a*j. Is y a multiple of 14?
True
Suppose -4*r - 74 = 2*h, -2*h + h = -r - 11. Let k(u) = u**2 - 16*u + 24. Let y be k(6). Let g = r - y. Is g a multiple of 10?
True
Let c = 340 - 537. Let j = c + 281. Is j a multiple of 25?
False
Suppose c = 3*u + 9, -c + 4 = -5*u - 9. Suppose -4*m - 16 = -c*y, -2*y - 2*y = m - 53. Does 3 divide (-2 + y/(-9))*-3?
False
Let s = 9 + -6. Suppose 8 = -p + 2*p + 2*d, s*p = -d + 9. Suppose -p*w = -w - 37. Is 14 a factor of w?
False
Let h = -22 + 27. Is h even?
False
Let u(y) = -4*y - 6. Suppose 2*v = 6*v - 44. Let f(r) = -r - 1. Let t(w) = v*f(w) - 2*u(w). Is 9 a factor of t(-5)?
False
Let u(v) = v + 3. Let w be u(-3). Suppose p - 34 = -x, w*x + 4*p = -5*x + 174. Does 19 divide x?
True
Suppose 5*r - 1 = -2*c + 3*c, 2*r = -4*c + 18. Let j(a) = 28*a - 1. Let q be j(r). Suppose 0 = -2*o + 111 - q. Is 14 a factor of o?
True
Let b(k) = -k**3 + 18*k**2 + 9*k + 25. Does 17 divide b(18)?
True
Suppose 4*g = 6*g - 200. Suppose 0 = -4*b - 8, -c - g = -4*c - b. Does 9 divide c?
False
Suppose -5*a + 66 + 55 = -2*b, -3*b + 6 = 0. Does 6 divide a?
False
Suppose y = -2*m + 5, 2*y = -5*m + y + 14. Let d(o) = 2*o**3 - 3*o**2 + o - 4. Is d(m) a multiple of 12?
False
Suppose y - 165 = -3*k - 3*y, k - 2*y - 65 = 0. Suppose 13 + k = 4*c. Does 6 divide c?
True
Let t(q) = 2*q - 6. Let o be t(7). Let l = -4 + o. Suppose -5*p - s + 63 = -12, 0 = p - l*s + 6. Does 14 divide p?
True
Let u = -161 - -381. Is u a multiple of 42?
False
Suppose 0 = -2*j + 7*j. Suppose 8*d = 3*h + 3*d - 41, j = 4*h - 3*d - 40. Is 7 a factor of h?
True
Suppose -2*r + 34 + 6 = 0. Suppose -2*n = -0*n - r. Does 3 divide n?
False
Suppose 28 = -u - 4*n + 156, n = 4*u - 512. Is u a multiple of 27?
False
Let c(k) = -k**2 - 7*k - 2. Suppose 112 = 5*g - 68. Let j be (g/8)/((-3)/4). Is 4 a factor of c(j)?
True
Let k(f) = -f**2 - 8*f + 6. Is 2 a factor of k(-8)?
True
Let z be -35*(-1 - (-6)/15). Suppose 0 = -4*r + h + z, 3*r + 4*h = 2*r - 16. Suppose -3*s + s + 4*v = -22, -r*v = s - 29. Does 17 divide s?
True
Suppose -g = 3*y + 4*g - 117, 2*y + 3*g = 78. Is 16 a factor of y?
False
Is (-1525)/(-20) - 1/(-4)*3 a multiple of 7?
True
Is 13 a factor of 52/8*4/2?
True
Suppose 2*p - 7 = -1. Suppose 4*v - 3*r - 52 = 0, -13 = -v + p*r - 7*r. Is 5 a factor of v?
False
Let w = -8 + 15. Suppose -w*o = -4*o - 15. Let v = 2 + o. Is 7 a factor of v?
True
Let o be 2 - 4 - (-4)/2. Let b(c) = -5*c + o*c - 6*c. Does 11 divide b(-1)?
True
Let k(v) = -v**2 - 6*v - 3. Let w be k(-4). Suppose -288 = f - w*f. Suppose 0 = -2*b - b + f. Is 24 a factor of b?
True
Let y(z) = 2*z + 15. Let j be y(-5). Suppose 0 = -2*a + 6, -4*t + 0*a - j*a + 55 = 0. Is t a multiple of 5?
True
Let q be 1*2 - (-1 + -1). Suppose -q*r + 0*r = 8. Is 3 + 7 + 1 + r a multiple of 7?
False
Let a(q) = -q**3 + 2*q**2 + 3*q + 12. Is 43 a factor of a(-5)?
True
Let x be (24/5)/(21/(-280)). Let l = -15 - x. Is l a multiple of 12?
False
Suppose -8*j + 6*j + 2*r + 850 = 0, 5*r = 3*j - 1279. Does 47