24 - 7*j**3/6 - 2*j**2. Let c(f) = -3. Let i(x) = -5*c(x) + 2*d(x). Does 3 divide i(-2)?
False
Let w be 3 + (-1)/(3/(-30)). Let v = w - 4. Is 9 a factor of v?
True
Suppose 0 = -2*g - 0*g - 6. Let v(x) = x**2 + 2*x - 3. Let u be v(g). Is 19 - (u + (2 - 0)) a multiple of 16?
False
Let n be (-3)/3*(1 + -4). Suppose -3*g = -3 - n. Is 2/g*-2 + 19 a multiple of 10?
False
Suppose 3*z - 263 = -5*g, -2*z + 255 = 5*g + 3*z. Is 3 a factor of g/10 + 4/8?
True
Suppose -4*u = u - 375. Is u a multiple of 14?
False
Let w(u) = -u**2 + 11*u - 5. Let v be w(10). Let l(k) = 8*k**2 + 2 + 4*k - k**3 - k**2 - 2*k**2. Is l(v) a multiple of 11?
True
Suppose -6 = -5*i + 19. Is (-12)/i*(-360)/16 a multiple of 11?
False
Let o(t) = -6*t**2 - 2*t + 1. Let h = 3 - -2. Let v(u) = -4*u**2 - u + 1. Let p(i) = h*o(i) - 8*v(i). Is p(4) a multiple of 6?
False
Let w(r) = 4*r**2 + r + 5 - 2*r**2 - 10 - 4*r. Let q be w(4). Let m = q - -2. Is m a multiple of 13?
False
Suppose -4*q = -7*q + 21. Suppose -135 = -q*g + 2*g. Is 8 a factor of g?
False
Suppose -1 = -5*l + 4. Let g(b) = 15*b**3 + b. Is 8 a factor of g(l)?
True
Let u(r) = r**3 + 4. Let p be u(0). Suppose s + 3*m - m + 12 = 0, -24 = s + 5*m. Let x = p - s. Is x a multiple of 4?
True
Suppose -4*i + 6 = -2*v, -4*v = -20 + 8. Suppose -i*q = q - 124. Is q a multiple of 16?
False
Suppose 0 = 6*d - 9*d + 720. Is d a multiple of 10?
True
Suppose -5*m + 4*j = -39 - 1, m + 3*j = -11. Suppose -2*l + m*x = 3*l - 15, 5*l - 40 = -x. Is l a multiple of 5?
False
Let p = 3116 + -2186. Is 2/(-9) - p/(-54) a multiple of 17?
True
Let q(a) be the second derivative of a**5/20 + 2*a**4/3 + 5*a**3/6 - 3*a**2 - 3*a. Is q(-7) a multiple of 5?
False
Let n(j) = -6*j - 10. Is 13 a factor of n(-6)?
True
Let b(u) = 7*u**3 + 7*u**2 + 6*u + 1. Let n(t) = -4*t**3 - 3*t**2 - 3*t - 1. Let y(c) = 3*b(c) + 5*n(c). Is 4 a factor of y(-5)?
True
Let j be (-8942)/14 - 2/7. Let c = 223 + j. Does 15 divide 4/14 - c/14?
True
Let n be 2/4*10 + -3. Suppose s - 3*s = 4*w - 24, n*w - 8 = 0. Suppose v + 3*k = 25, -s = k + 3*k. Is 14 a factor of v?
True
Suppose -3*u = -7*u + 400. Is 1/(-2 - -4)*u a multiple of 19?
False
Suppose -82 = -3*j + p, 4*j - 112 = -4*p - 24. Is j a multiple of 9?
False
Let n(s) = s**2 - s - 2. Let z be n(2). Suppose 8 = 3*x - 2*b - z, b - 1 = -x. Is 10 a factor of 26/(-4)*(-8)/x?
False
Suppose 0 = u - 5*k - 20, -4*u + 32 = -2*k + 6*k. Is 5 a factor of u?
True
Suppose 5*w = -q + 23, -2*w = 5*q - 22 - 1. Let f(r) = -r**2 + 3*r + 2. Let z be f(w). Does 10 divide (-66)/(z + 0/(-2))?
False
Suppose m - 2*c = 28, -2*m + 68 = -5*c + 7. Is 4 a factor of m?
False
Let j = -11 + 7. Suppose -4*i - q + 3*q = 40, 0 = q - 4. Let a = j - i. Does 4 divide a?
True
Let x(r) = 39*r - 5. Let f be x(4). Let i = -99 + f. Does 20 divide i?
False
Let o(x) = 2*x**2 - 5*x - 6. Does 39 divide o(-6)?
False
Suppose 0 = 2*n - 2*u + 8, -2*n - 13 + 5 = -3*u. Let w(a) = -7*a - 5. Is w(n) a multiple of 10?
False
Suppose -5*p + 3*p = 0. Let w be 11 - (1 + (p - 3)). Suppose -6*n + w = -3*i - n, 0 = -5*i - 3*n + 35. Is 4 a factor of i?
True
Let z(x) = x**2 + 7*x - 8. Let a be z(-8). Let y = a - -3. Suppose -2*j = -y*j + 20. Is j a multiple of 9?
False
Suppose -2*h + 269 = 5*u, -5*u - h - 113 = -7*u. Is u a multiple of 42?
False
Let q(y) = -y**2 + 11*y - 1. Does 9 divide q(10)?
True
Let p be (5 - -1)*1/2. Suppose -2 + 21 = 4*a + s, -43 = -p*a + 5*s. Does 15 divide a/15 + (-148)/(-5)?
True
Let q(z) = -3*z + 7*z**2 - z**2 - z**3 + 6 - 11*z**2. Is q(-5) a multiple of 7?
True
Suppose 5*d = -3*m + 8, -2*d = -4*m - 0*d + 2. Suppose -4*b + 7 = -m. Suppose a - 39 = 3*u, -29 = -a + b*u + 10. Is a a multiple of 16?
False
Let o(m) = -8*m - 9. Let k(d) = 9*d + 10. Let z(n) = -4*k(n) - 5*o(n). Let g be (1/(-2))/(1/(-12)). Is 15 a factor of z(g)?
False
Suppose -2*g = -5*c, -32 = -4*g - 12. Suppose -5*l - 5*b = -105, c*l + 3*b - 42 = -2*b. Suppose -d + l = 4*h, d + h = -h + 17. Is 4 a factor of d?
False
Is -1 - 3*(-2 + -23) a multiple of 7?
False
Let u(c) = -c + 29. Is u(0) a multiple of 11?
False
Suppose -4*d + 2 = -d - 2*i, -4*d + 5*i = 9. Let g = -9 + d. Is 14 a factor of (19/g - -1)*-5?
True
Let t = -4 - 4. Let b(z) = z**3 + 7*z**2 - 11*z - 11. Is b(t) a multiple of 9?
False
Let q(k) = -k**3 + 3*k**2 - 5*k + 3. Let m be (-7)/(-2) + 1/(-2). Let i be q(m). Is 8 a factor of i/((-3)/(-2)*-1)?
True
Let a(o) = -o**3 - 6*o**2 - 2*o - 1. Suppose -3*f + 7 = 5*z, 4*z - 45 = 5*f + z. Is 11 a factor of a(f)?
True
Let z(b) = 66*b**2. Does 22 divide z(1)?
True
Let s(t) = -5*t - 3*t**2 - 3 + 3*t + t**2 + 3*t**2. Suppose -3*a + 0*a + 3*w = 0, -2*a - 6 = w. Is 4 a factor of s(a)?
False
Let o(s) = s**2 + 3*s - 2. Let i be o(2). Suppose -2*l = -6*l + i. Suppose l*z + 2*w - 40 = 0, z - 35 = -0*z + 2*w. Is 20 a factor of z?
False
Suppose 190 = 3*m + 5*w, 3*m + 5*w = m + 130. Is m a multiple of 12?
True
Suppose 4 = 2*u - u. Let a be 23/(-7) - u/(-14). Let c(b) = 2*b**2 + 4*b + 2. Is c(a) a multiple of 4?
True
Let b = -14 + 16. Suppose -b*c = -2, c - 59 = -2*f + 128. Is f a multiple of 21?
False
Let i(r) = r**2 - 8*r + 1. Let a be i(4). Let c = 82 - a. Suppose 5*p - c + 27 = 0. Does 6 divide p?
False
Suppose -4*s = -2*z + 12, -3*s - 16 = -3*z - 2*z. Suppose 0 = -o - 2*h + 12, -z*h + 16 = 3*o - 0. Suppose 0 = -o*g + 7 + 5. Does 3 divide g?
True
Let j = 732 - 410. Let v be 3/(-12) - j/(-8). Is 10 a factor of (v/(-12))/((-1)/6)?
True
Suppose -n + 2*t = -2*n + 36, -69 = -2*n - 3*t. Suppose 2*h - 86 + n = 0. Is 12 a factor of h?
False
Let a(d) = -3*d**2 + 5*d + 13. Let l(w) = 4*w**2 - 6*w - 14. Let u(k) = 6*a(k) + 5*l(k). Let t be u(-6). Let h = t + -43. Is 13 a factor of h?
False
Let i = 71 + -28. Does 5 divide i?
False
Let p be (-21)/(-28) - (-23)/(-4). Let q(r) = r**3 + 7*r**2 + 3*r. Does 7 divide q(p)?
True
Let u be 3 - 3*(-5)/(-3). Let k(p) = -17*p + 2. Is 12 a factor of k(u)?
True
Let i = 36 + -15. Does 7 divide i?
True
Suppose 0 = q + 4*h - 76, q - h = 4*h + 76. Suppose q = 5*m - 134. Does 14 divide m?
True
Is (348/4)/(3/2) a multiple of 29?
True
Let x(l) = -2*l - 5. Is x(-6) a multiple of 7?
True
Let j = 8 - -10. Is j a multiple of 5?
False
Let u(h) be the second derivative of -31*h**3/6 + h**2/2 + 6*h. Does 9 divide u(-1)?
False
Suppose -2*j - 4*t = 18, 0*j = -4*j + t. Does 7 divide (-4)/16*(j + -123)?
False
Suppose 4*a = 5*d - 634, -3*a + 130 = d - 7*a. Does 14 divide d?
True
Let t(a) = -2*a - 3. Let m be t(-16). Suppose d + 9 = m. Is d a multiple of 4?
True
Let x = -271 + 451. Suppose s - 4*s = 4*o - 240, -s + x = 3*o. Is o a multiple of 20?
True
Let g = 49 + 194. Let n = -92 + g. Suppose 4*w - 5*s = 113, -3*s = -5*w - 0*s + n. Is w a multiple of 19?
False
Suppose 0 = z - 13 - 11. Let s be 52/z - 2/12. Suppose -s*b + 2*h + h = -41, 3*h - 3 = 0. Is 15 a factor of b?
False
Suppose 2*j - 3*q - 38 = 0, 0 = 2*j - 4*q - 23 - 19. Suppose j*g - 54 = 10*g. Does 9 divide g?
True
Suppose 4*u = 4, 0 = 3*w + u + 1 - 2. Is (-7*1 + w)*-1 a multiple of 4?
False
Let y(s) = -4*s + 88. Is y(0) a multiple of 11?
True
Suppose 3*h + 16 = -h. Is (2 - -9)/((-2)/h) a multiple of 11?
True
Let h(n) = n**3 - 5*n**2 - 11*n + 4. Suppose -6*y = -4*y - 14. Is h(y) a multiple of 25?
True
Suppose -249 = -10*z + 7*z. Suppose -h = -x + 26, -2*x - 2*h - z = -5*x. Does 6 divide x?
False
Suppose 2*d + 24 = 6*d. Let p be 4 - 3/d*-2. Suppose 20 = 5*i + p. Is i even?
False
Let u(g) = -g**3 + 5*g**2 - 2*g - 2. Let n be u(4). Let d be (-54)/(-7) - n/(-21). Suppose -3*v + h = -85, -5*v + d*h - 3*h + 145 = 0. Is 14 a factor of v?
True
Suppose 0 = 3*q - 0*m - m - 29, m - 3 = -q. Suppose n - 28 + q = 0. Is 10 a factor of n?
True
Suppose -3*b = -5*b - 12. Does 6 divide 15*b/(-45)*5?
False
Suppose -p - 2*p + 18 = -m, 2*p + 2*m = 20. Is 2 a factor of p?
False
Let o be (-2)/2 + 10/5. Is 13 a factor of (3 + -1 - -10) + o?
True
Let y = 0 + 1. Let o = y + -1. Suppose -20 = -o*a - 4*a. Is a a multiple of 4?
False
Let l = -10 - -15. Let s(d) = d**2 - 4*d - 3. Is s(l) a multiple of 2?
True
Let j(n) = -2*n**3 - 3*n**2 - 3*n - 3. Let w be (0 - -1)/(1/(-2)). Is 3 a factor of j(w)?
False
Suppose -2*n + 407 = -o, 2*o + 3*o = -2*n + 437. Does 13 divide n?
False
Suppose 2*d - 37 = -5*n + 53, 2*d - 30 = -2*n. Let c = 2 - 12. Let o = c + n. Does 10 divide o?
True
Let h(l) = -l -