iple of 18?
True
Let c(j) = -j**2 - 9*j + 4. Is 24 a factor of c(-5)?
True
Suppose -2*j + 5*q + 3 = 0, 0 = 2*j + 4*q - 0*q + 6. Is 49 - (j + 3/1) a multiple of 9?
False
Let j(w) = -w. Let v(l) = 7*l - 4. Let g(c) = c - 1. Let a(t) = 6*g(t) - v(t). Let n(i) = -a(i) - 6*j(i). Is n(2) a multiple of 8?
True
Let y(u) = -u**2 - 7*u - 1. Let f be y(-6). Suppose 0 = -f*q + 5*o + 20, 3*q - o - 9 = 7. Is q a multiple of 3?
True
Let o(r) = 2*r**2 - 3*r - 2. Let l be 8 - ((-3)/(-3) + 0). Suppose -5*u - 3*w = -29, 5*u - 2*w = 7 + l. Does 12 divide o(u)?
False
Let c = 79 + -53. Suppose t + c = 3*t. Does 8 divide t?
False
Suppose -5*n + 5 + 10 = 0. Suppose -n*t + 18 = -66. Does 14 divide t?
True
Let h(p) = p**2 + 2*p - 1. Let n be h(-5). Suppose -n = 5*s - 54. Let q = 23 - s. Is 9 a factor of q?
False
Suppose 5*v - 3*z + 0*z - 231 = 0, 0 = 5*v + z - 223. Is 8 a factor of 2 - v/(-3) - 2?
False
Let q(s) = -s**3 - 10*s**2 - 3*s + 5. Is q(-10) a multiple of 5?
True
Let a(j) = j**3 + 16*j**2 + 24*j - 30. Is a(-14) a multiple of 13?
True
Let f be -4*4/8 - -7. Let m be 4*((-71)/(-4) - -1). Suppose -m = -f*l + 65. Is l a multiple of 14?
True
Suppose -1023 = -q - 2*q. Let j = 560 - q. Suppose -3*h - 30 = -j. Does 24 divide h?
False
Does 4 divide (-106)/(-13) - -1*(-2)/13?
True
Let s(z) = -z**2 - z + 4. Let f be s(0). Suppose f*x + 8 = 3*a, 6*a - 24 = 2*a + 2*x. Is a a multiple of 2?
True
Suppose -5*c - 5*p + 332 = -3*p, 0 = -c + 4*p + 62. Is 9 a factor of c?
False
Let t(q) be the first derivative of -q + 3*q**3 - 1/2*q**2 - 2. Does 5 divide t(-1)?
False
Suppose 0 = 4*g + 3*c - 9, 5*g + 5*c - c - 11 = 0. Suppose -4*d = -2*d - 2*z - 172, -260 = -g*d + z. Let m = -47 + d. Is m a multiple of 20?
True
Let f(y) be the first derivative of -2*y**2 - 6*y - 2. Let q = 8 + -13. Does 7 divide f(q)?
True
Suppose 10*l + 2 = 11*l. Suppose 0 = -l*o + 4*o - 144. Is o a multiple of 24?
True
Suppose -2*q + 145 = -3*n, 0*q - q - 3*n = -59. Is 4 a factor of q?
True
Suppose 0 = -5*n + 25, 4*l + n = -4*n - 11. Let s = l - -27. Is s a multiple of 15?
False
Suppose 5*g = 7*g - 152. Suppose f + 114 = 4*f - 3*u, -2*f + 3*u = -g. Is f a multiple of 12?
False
Let o be ((-30)/25)/(6/40). Is 8 a factor of (o/(-5))/((-1)/(-5))?
True
Let m(y) = -7*y + 3. Let f(d) = -4*d - 10 + 4 + 18*d. Let l(n) = -4*f(n) - 7*m(n). Is 15 a factor of l(-5)?
False
Suppose -2*k + 97 = 5*n, k = 2*k + 3*n - 50. Does 19 divide k?
False
Suppose b + 2*b - 518 = -4*n, -5*b = -3*n - 844. Is b a multiple of 7?
False
Let b be (4/(-5))/(1/5). Let j = b - -6. Is 14 a factor of (15/j)/((-1)/(-4))?
False
Suppose -4*u + 70 = 5*l, 3*u - 3*l = -u + 86. Does 7 divide u?
False
Suppose 0 = -2*x - 156 + 24. Suppose 3*z - 128 = 4*g, -3*g - z + 0*z = 96. Let i = g - x. Does 17 divide i?
True
Let v(i) = 3*i**3 - 2*i**3 + i - 7*i**2 + 1 - 2. Let q be v(7). Suppose -g + 5*s = -q*g + 135, -s + 131 = 5*g. Is 13 a factor of g?
True
Suppose -69*n + 64*n = -375. Is n a multiple of 8?
False
Is 47 - 2*(0 + 1) a multiple of 9?
True
Suppose -2*s = -3*c + 5, 2*c - 5*s + 3*s = 2. Let d(x) = 6*x**2 - 13*x + 10. Let q(j) = 2*j**2 - 4*j + 3. Let z(a) = -2*d(a) + 7*q(a). Is 8 a factor of z(c)?
False
Suppose 6*f - 4*l - 192 = 2*f, -5*f + l = -248. Does 22 divide f?
False
Let j(x) = x**3 + x + 6. Let k = 2 - 2. Let b be j(k). Suppose 2*c - c = b. Is 6 a factor of c?
True
Suppose 0 = 16*d - 47 - 97. Is d a multiple of 2?
False
Suppose 5*c + w = 46, 0 = -c + 5*w - w + 5. Does 2 divide c?
False
Suppose 0 = 5*c + 4*n - 112, -76 = -5*c + 2*c + 2*n. Is c a multiple of 24?
True
Let f(b) = -b + 7. Let p be f(6). Let n(q) be the first derivative of 11*q**4/4 - q**2/2 - 1. Is n(p) a multiple of 7?
False
Let c(f) = -15*f + 5. Is 14 a factor of c(-7)?
False
Suppose -2*n - t = -79, 5*n + 4*t - 9*t = 205. Does 10 divide n?
True
Suppose -5*y + y + a = -13, y - 2*a - 5 = 0. Let t(i) = -4 + 3 - 3*i + y. Is 10 a factor of t(-6)?
True
Let q = -13 - -25. Is 4 a factor of q?
True
Suppose 3*r + 191 = 4*x, -3*x - 3*r + 8 = -109. Suppose 3*u = -0*u + p + x, 4*p = -3*u + 49. Does 3 divide u?
True
Suppose 19 = -6*h + 529. Is h a multiple of 17?
True
Let o be (-1)/(-3)*114/2. Suppose 4*c = 2*l + 70, -5*c + o = -4*c + l. Is c a multiple of 9?
True
Suppose 4 + 1 = -4*y - 5*i, -i + 15 = 4*y. Let l = y + -8. Is 3 a factor of 6 + l - 1*-1?
False
Let r(w) = w**2 - 4*w + 4. Suppose -p - 5*a + 13 = 0, 2*p - a = -5*a + 14. Let b be (2/p)/((-6)/(-45)). Does 4 divide r(b)?
False
Suppose 5*f - 4*g = -3*g + 286, 0 = 3*g - 12. Is 20 a factor of f?
False
Let i = -5 + 8. Let w be (-344)/(-6) + i/(-9). Suppose -4*a = -161 + w. Does 11 divide a?
False
Suppose 0*j - 5*j = -15. Suppose j*w - 2 = w. Is 25 a factor of (w/2)/((-2)/(-200))?
True
Let t(c) = -c**3 + 7*c**2 + 8*c + 4. Let m be t(6). Suppose 8 = -3*d - m. Let r = -18 - d. Is 7 a factor of r?
True
Let n(v) = 3*v**2 - 4*v - 15. Let y be n(-6). Suppose 7*j - 4*j - y = 0. Does 13 divide j?
True
Let f = 70 - 22. Is 12 a factor of f?
True
Let b be (-2)/1 + 2 + -2. Let d be ((-2)/(-5))/(b/20). Is 10 a factor of (14/d - -1)*-8?
True
Let l be 2/6 + (-56)/(-12). Suppose 2 = 3*g - g + 5*n, n = l*g - 32. Is 6 a factor of g?
True
Suppose 0 = -2*w - 10, -3*q + w - 3*w + 50 = 0. Suppose -x + 5*u = q, 5*x + u + u = 35. Suppose 0 = -x*j + 62 - 2. Does 12 divide j?
True
Let c(n) = n + 13. Is 5 a factor of c(7)?
True
Let f = -46 - -90. Is 15 a factor of f?
False
Suppose -3*b = 0, -38 = 5*g - b - 1073. Does 17 divide g?
False
Suppose -2*v + 2 + 6 = 0. Suppose -r + 1 = 0, 9 = 5*w - v*w - r. Let i(a) = -a**2 + 10*a + 6. Is 6 a factor of i(w)?
True
Let l = -215 - -304. Is l a multiple of 18?
False
Let v(j) = -j**3 + j**2 + j - 1. Let f(t) = -2*t**3 + t**2 + 2*t - 1. Let c(q) = -f(q) - v(q). Is 12 a factor of c(2)?
True
Suppose 0 = -3*h - 9 - 15. Let s(g) = 3*g + 9. Let o be s(h). Is (10/o)/(2/(-78)) a multiple of 13?
True
Let h(c) = 2*c - 3. Let o be h(2). Let a = o + -4. Is 12 a factor of 9*(-2)/a*3?
False
Suppose -h = 3*p - 4*h - 108, -3*h - 44 = -p. Is p a multiple of 4?
True
Let z(p) = p**3 - 6. Is 2 a factor of z(3)?
False
Let s = 101 + -49. Suppose 4*c + 2*i = s, -4*c + 4*i = -41 + 13. Is 11 a factor of c?
True
Let x be (-76)/(-28) + 4/14. Suppose -4*z + x = -33. Is 7 a factor of z?
False
Let a(l) = -l**2 - 4. Let r(y) = -y + 1. Let h(j) = a(j) + 4*r(j). Let i be h(-4). Suppose 0 = -i*k + 2*k - 24. Does 7 divide k?
False
Let p be (9/12)/((-2)/(-8)). Let r be (-3 + (-20)/(-6))*6. Suppose -p*z = -r*z - 39. Is z a multiple of 13?
True
Suppose 2*g + 146 = 18. Let r = g + 99. Does 9 divide r?
False
Suppose 6*v + 15 = 3*v, -g - 4*v = -96. Is 29 a factor of g?
True
Let g be (45/27)/(2/216). Suppose g = 6*p - p. Is 14 a factor of p?
False
Let k = 93 + -57. Suppose 0 = -5*r + 5*i + 156 - k, 3*i = 5*r - 120. Is 9 a factor of r?
False
Suppose 0 = -5*l - c + 15 + 31, 16 = -4*c. Suppose -3*u + l = 1. Suppose -u*k + 8 = -k. Is 2 a factor of k?
True
Let r(m) = -2*m + 5. Let j be r(9). Let o = -5 - j. Does 8 divide o?
True
Let j(w) = -w**3 + 9*w**2 - 9*w + 11. Let c be j(8). Suppose -y = -12 - c. Does 10 divide y?
False
Suppose 0 = -2*f + f + 46. Does 16 divide f?
False
Let j(t) = t**3 + 13*t**2 + 36. Is 16 a factor of j(-13)?
False
Suppose p - 17 = -5*d - 0*d, -4*p - 4*d + 20 = 0. Suppose -5*m + 184 = -0*m + 4*x, 4*x = -p*m + 76. Does 18 divide m?
True
Suppose 13*u - 7*u = 414. Is u a multiple of 6?
False
Let k be 2*-6*(-1)/1. Let s = -6 + k. Is (52/(-6))/((-2)/s) a multiple of 9?
False
Suppose -38 = -0*c - 2*c. Is 6 a factor of c?
False
Let x = -9 + 23. Is 4 a factor of x?
False
Let f(x) = -138*x. Is 23 a factor of f(-1)?
True
Suppose -20 = -4*c, 0*c + 5*c = -2*t + 43. Is 2 a factor of t?
False
Let f(h) = h + 8. Is f(11) a multiple of 11?
False
Let z(d) = -d**3 - 7*d**2 - 8*d + 6. Let j be (-8)/3*(-18)/(-8). Let k be z(j). Let u = 32 - k. Is u a multiple of 6?
False
Let p = -3 - -7. Suppose -29 = -r - 5*k + 2*k, -p*r + 126 = 2*k. Is r a multiple of 25?
False
Let k(o) = o**2 - 5*o. Let q = -11 - -16. Let g be k(q). Suppose g*w = w - 5. Does 5 divide w?
True
Suppose -2*y - 2*y = 12. Let a = y + 3. Suppose -4*h + 5*b + 86 = a, 3*h - 33 - 49 = -5*b. Is h a multiple of 12?
True
Suppose 2*p - 124 = 2*r, 0 = -2*r - r + 5*p - 190. Let j be (-2)/(-7) + r/(-35). Does 8 divide (3/6)/