 5. Let w = h - -21. Let j = w - 1. Does 10 divide j?
True
Let k(w) = w**3 - 6*w**2 - 5*w - 5. Let x be k(7). Is 11 a factor of (-45)/(2/((-12)/x))?
False
Suppose 2*q - 2*y = 18, 4*q - 2*q + 3*y = -7. Suppose -q*g = g - 155. Is g a multiple of 10?
False
Let z(x) = -x**2 - 9*x + 5. Let n be z(-9). Let v = 0 + n. Is v a multiple of 2?
False
Let d(a) = 4*a - 9. Is 7 a factor of d(7)?
False
Suppose 0 = -4*y - 0*y + 128. Is 8 a factor of y?
True
Let s(j) = 2*j**3 - 7*j**2 + 7*j - 5. Is 13 a factor of s(4)?
True
Suppose -2*w = z + 5, -z - 10 = 5*w + 1. Does 11 divide z/6 - 530/(-12)?
True
Is -18 + 17 + (1 - -141) a multiple of 14?
False
Suppose -2*z + s + 9 = 0, 5*s + 12 = -2*z + 27. Suppose 18 = -z*v + 103. Let n = 5 + v. Does 11 divide n?
True
Suppose 2*m = -0*m + 128. Does 12 divide m?
False
Is 3 a factor of 22*(-2 + 3) - 20/(-5)?
False
Suppose 11 = f - h - 15, -3*h = -f + 24. Is f a multiple of 27?
True
Let v be 9/6*(-8)/(-3). Let r(h) = -2*h + 12 - v*h - 2*h + h**2. Is 7 a factor of r(8)?
False
Let j(q) = 0 - 7*q + 0 + 1. Suppose 5*g = n + 16 + 9, 3*g + 13 = -5*n. Is 16 a factor of j(n)?
False
Suppose -25 = -4*t - 5*h, t - 4 = 3*h - 2. Let b = 47 - t. Is b a multiple of 13?
False
Let b(n) be the first derivative of n**2/2 - 5*n - 3. Let f be b(6). Let p(k) = 11*k**3 - 2*k**2 + 2*k - 1. Is p(f) a multiple of 10?
True
Let l(z) = -5 - 3*z + 7*z**3 - 2*z**3 - 3*z**2 - 6*z**3 - 2*z**2. Does 3 divide l(-5)?
False
Let s be -1 + 4 + (0 - -9). Let j(f) = f**2 + 8*f + 8. Let q be j(-8). Let b = s + q. Is b a multiple of 10?
True
Let h(l) be the first derivative of -l**4/2 - l**3/3 + l**2 + 4*l - 1. Is 12 a factor of h(-2)?
True
Suppose 525 = -2*w + 7*w. Does 21 divide w?
True
Suppose 0 = 3*q - 0*q + 216. Let o be q/(-42) - 2/(-7). Let v = o - -3. Is v even?
False
Let s be 7/28 - (-2)/(-8). Is 3 a factor of -1*(s - (5 + 2))?
False
Let o(i) be the first derivative of 4*i**2 - 8*i - 3. Let t be o(6). Suppose 0 = 7*k - 12*k + t. Does 4 divide k?
True
Suppose 3 = p - 4*m, -2*m - 2 = -3*m. Is p a multiple of 3?
False
Let h = 0 - -3. Is 13 a factor of ((-2)/h)/((-6)/117)?
True
Suppose 3*k - 391 = 152. Suppose 0 = -3*s + 4*b + k, -2*b = -b - 5. Is s a multiple of 27?
False
Let q(l) = 46*l. Let u be q(1). Suppose -3*j = -2*j - 2. Suppose 0 = -2*i - x + u, -2*i - 52 = -4*i + j*x. Is i a multiple of 12?
True
Suppose 10*w - 11*w + 414 = 0. Is w a multiple of 46?
True
Is -1*1*-51 + 3 + -2 a multiple of 13?
True
Suppose 0*g = -g + 6. Is 15 a factor of (14/(-4))/(g/(-84))?
False
Let n(o) = o**2 + 4*o - 1. Let q be n(-5). Suppose w - 4*w = -12. Suppose 0 = w*j - 2*i - q, -4*i = -3*j - 2*i + 1. Is j a multiple of 3?
True
Let t(s) = 15*s + 3. Is t(3) a multiple of 16?
True
Let j be 1*-2*15/6. Let b(d) = -d**3 - 3*d**2 - 3*d - 2. Let i be b(j). Suppose -i = -3*l - 3*z, l - 4*z = 2*l - 36. Does 16 divide l?
True
Suppose s = -3*p + 21, 2*s - 5*p = 5*s - 51. Suppose -a + 4*w = -0*a - 43, -s = -4*w. Let i = -27 + a. Is i a multiple of 10?
False
Let j be 1 - -1 - (-7 - -12). Is 60/(6 + j) - 2 a multiple of 9?
True
Let s(h) = 10*h**2 + 65*h + 66. Let f(i) = 2*i**2 + 13*i + 13. Let p(k) = 11*f(k) - 2*s(k). Let q be p(-9). Suppose -g = g - q. Is g a multiple of 14?
True
Let x be (48/9)/(1/3). Suppose 81 = 5*c + x. Does 13 divide c?
True
Suppose 5*w = -0*w - 35. Let d be 30 + (0 - -2)/2. Let c = w + d. Is 12 a factor of c?
True
Suppose -5*n - v = -8, -2*n = -2*v + 3*v - 2. Let y be (n/2 - 3) + 2. Suppose -10 = -2*l - 2*r + 4, 2*l + 5*r - 23 = y. Is l a multiple of 3?
False
Suppose 10*n - 42 = 7*n. Suppose 0 = -4*w + 12 - 0. Suppose -m = m - 3*i, -n = -w*m + i. Is m a multiple of 6?
True
Let l(y) = 5*y - 1. Let o be l(5). Suppose -24 = -2*g + o. Does 15 divide g?
False
Is 32 + (2 + -3)*2 a multiple of 10?
True
Suppose 0 = -5*d - 22 + 7. Let j(p) = -p**2 - p - 1. Let v(i) = -i**3 - 3*i**2 - 4*i - 6. Let w(u) = -2*j(u) + v(u). Is w(d) a multiple of 10?
True
Suppose 4*s = -26 + 174. Is s a multiple of 8?
False
Suppose 4*p + 20 = 4*u, 5*u - 3*p = 27 + 4. Does 4 divide u?
True
Let n(b) = -155*b + 4. Is n(-1) a multiple of 13?
False
Suppose -2*z - 2*s + 2 = 0, s - 2*s = 5. Let x(a) = 4*a**2 + 13*a + 3. Let k(w) = 3*w**2 + 12*w + 3. Let y(p) = 5*k(p) - 4*x(p). Is 5 a factor of y(z)?
True
Let v = -15 - -21. Is v a multiple of 4?
False
Let a(m) = -18*m + 24. Let h(j) = 6*j - 8. Let x(t) = -5*a(t) - 14*h(t). Is x(8) a multiple of 20?
True
Suppose 2*k = -5*d - 14, -k + 0*k - 2*d = 5. Suppose -k*w - s + 14 = 0, -11 = -4*w + 2*w - s. Suppose 15 = v - w*g, 45 = 3*v - 2*g + g. Is v a multiple of 6?
False
Let f(j) = 2*j**2 - j + 9. Let t be f(0). Does 12 divide 5 - t - (-66 + 2)?
True
Suppose -v + 6*v + 53 = q, q - 2*v = 38. Does 28 divide q?
True
Let w(o) = 3*o. Let f be w(-1). Is 3 a factor of 6/(f/18*-4)?
True
Let k(j) = j**2 - j + 7. Let p be k(-6). Let m = 95 + p. Suppose -4*l = -3*g + m, -l - 3 = -0*l. Is g a multiple of 22?
True
Let p(a) = a**2 + 7*a + 14. Is p(-9) a multiple of 4?
True
Let o = 7 - 6. Is 8 a factor of 20*o*(-3)/(-6)?
False
Let j(f) be the second derivative of f**7/1260 + 7*f**6/720 + f**5/120 + f**4/6 - 3*f. Let g(q) be the third derivative of j(q). Is g(-5) a multiple of 8?
True
Is 19 a factor of (2 + -1 + (-39 - -1))*-10?
False
Suppose 4*t = -4*m - 28, -5*t + 0 = -5. Let v(i) = -21*i**2 - i + 2. Let y be v(4). Is (-1)/4 + y/m a multiple of 21?
True
Let m = 2 + 0. Let v be (-62)/2*2/m. Let s = -20 - v. Does 4 divide s?
False
Suppose 0 = 3*z + 3 + 9. Let g = -13 - z. Let s(o) = o**2 + 8*o + 5. Is 5 a factor of s(g)?
False
Suppose i + 6 = -0*i. Let l(u) = 5*u + 4. Let f(n) = -n - 1. Let t(y) = i*f(y) - 2*l(y). Is t(-4) a multiple of 5?
False
Let d = 253 + -175. Suppose 3*n - n = d. Does 13 divide n?
True
Suppose 60 = 4*b + b. Suppose 2 = -5*h + b. Suppose -3*f + h = -22. Does 7 divide f?
False
Let g be -1 - 3*(-4)/3. Let r = -4 + g. Let j = 5 + r. Is j a multiple of 4?
True
Suppose 6 = 3*k - 5*k. Is 7 a factor of 9/k*1 + 10?
True
Let o(j) be the third derivative of j**5/60 + j**4/24 - j**3/2 - 2*j**2. Is o(7) a multiple of 12?
False
Is 10 a factor of (-1246)/(-63) - (-4)/18?
True
Let a = 6 - -27. Suppose -2*z - 3*i + a = -7, 4*z = -4*i + 72. Is z a multiple of 8?
False
Let k(s) = 2 + s**2 + 4*s + 0*s + 0*s**2. Let a be k(-4). Suppose 2*f = -a*f + 20. Does 2 divide f?
False
Let k(z) = -7*z**2 - 2*z. Let q be k(1). Let l(j) = j**3 + 9*j**2 - 4*j + 2. Does 19 divide l(q)?
True
Let k(u) be the second derivative of u**4/12 + 7*u**3/6 - 11*u**2/2 + 4*u. Let c be k(-8). Let w(v) = -v**3 + v. Is w(c) a multiple of 8?
True
Let t be ((-255)/(-4))/(6/(-24)). Is t/(-18) - 3/18 a multiple of 10?
False
Suppose -2*k + 3*i + 27 = 6*i, 16 = k - i. Let w = 22 - k. Suppose 20 = w*l - 2*l. Is l a multiple of 4?
True
Let d(n) = 11*n - 6. Let c be (-5 - (-4)/2) + 10. Let y be d(c). Let o = -43 + y. Is o a multiple of 10?
False
Let s(v) be the third derivative of -v**6/120 - v**5/10 - v**4/8 - v**3/3 + v**2. Let b be 6/(-14) + 117/(-21). Does 16 divide s(b)?
True
Suppose -s + 19 = 2. Does 4 divide s?
False
Suppose -4*i + 0*i = -192. Is i a multiple of 4?
True
Let r = 32 + -6. Suppose 8*y - r = 6*y. Does 5 divide y?
False
Let v be (3/6)/((-1)/16). Is (12/v - -3)*10 a multiple of 11?
False
Let z(w) = 3*w + 20. Is z(3) a multiple of 9?
False
Suppose 3*v - 110 = 664. Is 26 a factor of v/8 + 2/(-8)?
False
Let z = 5 + -5. Let k(f) = -f**3 - 7*f**2 - 7*f + 1. Let a be k(-6). Suppose 3*y - a*y + 22 = p, -4*y = z. Is p a multiple of 22?
True
Let v be 2 + (3*-1 - 0). Let i be (-2 - (v - 0)) + -1. Does 12 divide i - (-2 - 24/2)?
True
Suppose 100 = 4*d + 12. Suppose -2*u - 17 = 15. Let i = u + d. Is 6 a factor of i?
True
Let s = -78 + 103. Is 10 a factor of s?
False
Suppose 3*a - m = 122, 6*m = m + 5. Let u = -24 + a. Let k = 11 + u. Is 11 a factor of k?
False
Is 8 a factor of (-36)/(-5)*(-760)/(-57)?
True
Let o(s) = s**3 - 5*s**2 - 6*s + 2. Let p be o(6). Suppose p*l - 230 = -3*l. Does 13 divide l?
False
Let d = 12 - 15. Is 7 a factor of (17/(-5))/(d/15)?
False
Let p be ((-27)/(-4))/((-2)/(-8)). Let q = 11 - p. Does 8 divide q/18*-3*3?
True
Let p(b) = 2*b**2 - 4*b + 12. Let y be p(-6). Suppose -5*s + y = -2*s. Is s a multiple of 18?
True
Let n(m) = -10*m + 14*m - 6*m - 4 + m**2. Is 3 a factor of n(5)?
Fa