Let g = 3 + 7. Let x be ((-1)/2)/(g/(-360)). Let h = x - 10. Does 4 divide h?
True
Let n(w) = -4*w**3 - 6*w**2 + 2. Is 27 a factor of n(-4)?
True
Suppose -g = -3*j + 4 + 17, 0 = -2*j - 5*g + 31. Suppose -j - 19 = -3*t. Does 4 divide t?
False
Suppose 0*l - 2*l + a - 56 = 0, -112 = 4*l + 4*a. Let s = 52 + l. Suppose o + s = 3*o. Is 12 a factor of o?
True
Suppose -z + 6 = 4. Suppose -2*f - z*f = -80. Is 10 a factor of f?
True
Let b(n) be the second derivative of -5*n**4/12 - 4*n**3/3 + 5*n**2/2 + n. Let c(q) = 6*q**2 + 8*q - 6. Let m(v) = 5*b(v) + 4*c(v). Does 4 divide m(-7)?
True
Let s = 7 - 3. Suppose -4 = s*m - 0. Does 7 divide (0 - (m + 0)) + 13?
True
Is 6/(-105)*-5 - 817/(-7) a multiple of 13?
True
Let h(d) = 16*d. Let b be h(1). Suppose 0 = 5*u - b - 19. Is 6 a factor of u?
False
Let h = 105 + -29. Is h a multiple of 15?
False
Does 3 divide ((-2)/6)/(2/(-54))?
True
Let y = 12 + -5. Suppose -y*f + 2*f + 20 = 0. Is f a multiple of 4?
True
Let t(k) = 3*k**2 - k. Let c(n) = -n**2 + 9*n + 8. Let b be c(8). Suppose -27 = y - 5*l, -1 - b = y - 3*l. Is 7 a factor of t(y)?
True
Let r(n) = -47*n**3 + 2*n**2 + 3*n + 2. Does 43 divide r(-1)?
False
Suppose -8 = 2*m - 0*h + 4*h, m - 24 = 5*h. Suppose 5*j - m*l + 8 = 46, 2*j = -5*l + 2. Suppose u - 3 = 4*i + j, 2*u - 4*i - 14 = 0. Is 3 a factor of u?
False
Let h(l) = l**2 + 4*l + 6. Let g be h(-4). Suppose 0 = -0*f + 4*f + 4*w - 168, -2*w + g = 0. Is 13 a factor of f?
True
Let k = -7 - -12. Let u(z) be the third derivative of -z**6/120 + z**5/12 + z**4/3 - z**3/2 - z**2. Is u(k) a multiple of 15?
False
Suppose -3*a + 4*j + 24 = 0, -a - 2*j + 5*j = -3. Suppose 3*p + 7 = -5*m, -4*m = -4*p - 0 + a. Is 6 a factor of 12 + 0/(p - 4)?
True
Let f(c) = 10*c**2 - 9*c**2 + 9*c**2 + 7*c**2 - c. Suppose 2*w - 5*w - i + 2 = 0, 4*i - 25 = 5*w. Is 11 a factor of f(w)?
False
Let s = 32 + -8. Does 24 divide s?
True
Let d(k) = -4*k - 28. Let g(s) = -5*s - 29. Let l(q) = -4*d(q) + 3*g(q). Suppose 4*w - 12 = 5*n, 5*w + 3 - 18 = 3*n. Is l(n) a multiple of 15?
False
Suppose 3*f + 35 = 4*f. Let d = -17 + f. Suppose 2*j = 3*i - 66 + d, 0 = -4*i + j + 69. Is i a multiple of 8?
False
Is (15/(-6) - 1)/(2/(-12)) a multiple of 21?
True
Let l(z) = z**3 + 4*z**2 + 2*z - 1. Let t be l(-3). Suppose -f - 4*m + 15 = 0, -t*m + 4*m - 5 = -3*f. Let c = 2 - f. Does 2 divide c?
False
Suppose 12 = 4*q - 0*q. Let m be (-2)/8 - q/(-12). Suppose -h - 4*h + 170 = m. Is h a multiple of 18?
False
Let s(x) = 2*x - 1. Let w be s(2). Let u(a) = -3*a + a**2 + 0*a + 31 + a**w + 4*a. Does 12 divide u(0)?
False
Let l(f) = -3 + 6 - 4 + 30*f. Let v be l(3). Suppose -5*g + 3*h = -h - v, -5*h + 12 = g. Is g a multiple of 12?
False
Suppose 31 + 4 = -k. Let o = 81 + k. Is o a multiple of 13?
False
Suppose 0 = -2*j + 35 + 31. Is 33 a factor of j?
True
Suppose 5 = o - 1. Suppose 0 - o = -i. Does 3 divide i?
True
Let d be 2*-1*(1 + -2). Suppose -o + 2 + d = 0. Suppose -2*r + o = -12. Is r a multiple of 6?
False
Let j = 17 + 22. Is 7 a factor of j?
False
Let j(m) be the second derivative of -m**3/3 - 3*m**2/2 + 4*m. Let c be j(-3). Is 8 a factor of (12/(-10))/(c/(-40))?
True
Let d(x) = -x**3 + 9*x**2 - 6*x + 12. Let z be d(8). Suppose 4*r + z = -3*t - t, 2*r + t = -9. Is 15 a factor of (-12)/r*-1*-5?
True
Suppose 3*a - b = 51, -2*a + 55 = 2*a + 3*b. Is a a multiple of 8?
True
Let w(b) = b**2 + 3*b - 11. Let t be w(-4). Does 7 divide 18/(-42) - 150/t?
True
Let g(m) = -3*m**3 - 13*m**2 - m + 9. Let r(u) = -4*u**3 - 19*u**2 - u + 13. Let n(a) = 7*g(a) - 5*r(a). Let d be n(3). Let k = 11 - d. Does 5 divide k?
True
Let d(a) = 90*a + 42. Let o(k) = -13*k - 6. Let m(q) = -4*d(q) - 27*o(q). Let s be m(-7). Let b = -38 + s. Does 7 divide b?
False
Let k = -10 + 7. Let z(g) = g**3 + 3*g**2 + 4. Let r be z(k). Suppose -3*f + r*f - 4 = 0. Is 2 a factor of f?
True
Let m = -104 - -166. Is m a multiple of 16?
False
Is 19 a factor of ((22/4)/11)/((-2)/(-744))?
False
Let b(o) = 4*o - 5. Suppose -2*j + 2*m + 12 = 0, 0*m - 9 = 3*m. Suppose -20 = -j*i + i. Does 14 divide b(i)?
False
Let q(u) = 20*u + 10. Let z be q(11). Suppose -4*w = g - 34 - 33, -5*g + z = -w. Is g a multiple of 15?
False
Let l(o) = -o**3 + o + 30. Let p(k) = k - 3. Let t be p(3). Does 9 divide l(t)?
False
Let b = 8 + -5. Suppose 3*a = b*t + 16 + 14, 3*a = -3. Let v = -5 - t. Is v a multiple of 3?
True
Let y be 3 - -2*(-2)/4. Let g(i) = -5*i**y + 0*i - i - 3*i - 4 - i**3. Is 8 a factor of g(-5)?
True
Let t be (1/2)/(4/8). Suppose 0 = -v + t. Does 12 divide 2*v*(9 - 0)?
False
Let d(a) = 4*a**3 + 5*a**2 - 3*a - 8. Let g(q) = 5*q**3 + 5*q**2 - 2*q - 9. Let r(c) = 4*d(c) - 3*g(c). Let u be r(-6). Is 2 + (-1 - 0) - u a multiple of 5?
False
Let t(x) = -x**2 + 3*x + 2. Let l be t(-3). Let b = 25 - l. Does 20 divide b?
False
Suppose x = -3*b + 13, 3*b + 3*x - 7 = -x. Let i = b + -17. Let d = 20 + i. Is 5 a factor of d?
False
Suppose 5*g + 2*r = 344, -r = 3*g + 2*r - 201. Does 16 divide g?
False
Suppose 0 = -4*m - 2*t + 22, -21 = -4*m + 3*t - 6*t. Suppose -x = -5*v + 125, -5*v + m*x = 4*x - 120. Is 13 a factor of v?
True
Let g = 3 - -1. Let r(i) = 0*i - g + i - 3*i. Is r(-4) even?
True
Suppose 4*b - 3*c = 0, c - 10 = 2*b - 4*b. Suppose -p = p - 2*j - 28, -49 = -4*p - b*j. Is p a multiple of 5?
False
Suppose -63 = -2*k - 3*f, -4*k + 41 = f - 60. Does 6 divide k?
True
Let r = -5 + 5. Suppose 44 = 3*n + 2*l + 3*l, r = -n + 4*l + 26. Is n a multiple of 11?
False
Let d be (1*6)/((-2)/(-24)). Suppose 0*w + d = 2*w. Is w a multiple of 18?
True
Let v be (-5)/(((-21)/(-6))/(-7)). Suppose 3*s - v = s. Is s a multiple of 5?
True
Let d be (-2)/(-8) + (-18)/(-24). Does 17 divide 216/6 + (-1 - d)?
True
Let f be 183/(-5) + 3/5. Let w = 57 + f. Suppose 4*k - 3*k - w = 0. Is k a multiple of 19?
False
Let q(z) = 3*z - 2. Suppose 3*r - 1017 = 8*r - a, 807 = -4*r + 3*a. Let c be r/(-30) + 2/10. Is 19 a factor of q(c)?
True
Let x(v) = -v**2 - 2*v. Let s be x(-2). Let n be 56 + (2 - s) + 0. Suppose 2*o - 4*y - 13 = 39, -3*o + 2*y = -n. Does 7 divide o?
False
Suppose 4*c - 46 = -a, -a - 6 = -3*c + 32. Does 12 divide c?
True
Is 35/(-21)*(-29 - 1) a multiple of 10?
True
Suppose -4 + 14 = 2*l. Let y = 3 - l. Is (12 - y) + 6/(-3) a multiple of 5?
False
Let k = 5 - 5. Let c = k + 10. Is c a multiple of 3?
False
Let a(h) = -4 + 4 - h**2 + 3 + 5*h. Let k be a(5). Suppose 2*i - 70 = -k*i. Does 7 divide i?
True
Suppose -2*r - 6 = -t, -5*t + 0*t - 5*r = -30. Let k be (8 - t)*33/2. Suppose -4*o + k = d - 0*d, -3*o - 12 = -d. Is d a multiple of 21?
True
Let f(d) = -d**2 - 7*d + 8. Is f(-6) a multiple of 6?
False
Let u = 11 - 7. Suppose -110 = 5*c - 985. Suppose u*l = -l + c. Is 16 a factor of l?
False
Is 15 a factor of (3/2)/((-2)/(-20))?
True
Suppose 0 = -5*n - 174 + 9. Let m = 73 + -23. Let y = n + m. Is 9 a factor of y?
False
Let s(a) = -a**2 - a + 1. Let j(w) = 3*w**2 + 2*w + 23. Let z(r) = j(r) + 2*s(r). Let l be z(0). Let b = l - 6. Does 19 divide b?
True
Suppose 4*b - 890 = -b. Suppose y + 2*d = 6*y - b, -183 = -5*y - 3*d. Is 18 a factor of y?
True
Let k(t) = t**2 - 4*t - 4. Let d be k(3). Suppose 0 = -3*j - 4*c - 510, -2*c + 301 + 25 = -2*j. Does 12 divide j/(-7) - 2/d?
True
Let n(t) = 0*t - 11 - 3*t - 2*t - 2*t. Is n(-5) a multiple of 6?
True
Let u(f) = f**2 - 5*f - 2 + 8 + 4*f - 4*f. Let r be u(4). Suppose -r*k = -8, -4*k - 27 - 35 = -3*y. Is 13 a factor of y?
True
Let h be ((-8)/(-12))/(-1)*-6. Suppose h*a - 27 = 25. Does 13 divide a?
True
Is 6 a factor of (-9 + 3)*8/(-4)?
True
Suppose f - 44 = 20. Suppose 82 = 4*g - 5*u, -4*g + g + 5*u = -f. Let r = -6 + g. Does 12 divide r?
True
Is 11 a factor of -3 + -15*2/(-6)*16?
True
Suppose 4*s - 9*s = -60. Suppose 13 = 5*c - s. Suppose c*g - 47 = 73. Is g a multiple of 12?
True
Suppose 5*w = s + 1, 0 = 3*w - 0*s + s - 7. Let z = 3 + w. Is z even?
True
Suppose -4*a = -2*u - 238, 0 = 3*a - 5*u - 43 - 153. Let k = a + -33. Does 6 divide k?
True
Is 5 + (-21)/4 - (-61)/4 a multiple of 15?
True
Suppose 2173 - 223 = 10*c. Does 15 divide c?
True
Let h be 2 + -4*2 + 0. Let s(y) = -3*y + 8. Let v be s(h). Suppose -2*d + 4*d = v. Is 13 a factor of d?
True
Let o(l) = 24*l + 8. Let f be o(3). Suppose -2*i - 30 + f = 0. Is 6 a factor of i?
False
Suppose 3*n = -5 + 137. Does 22 divide n?
True
Let k(i) = -i**3 + 4*i**2 + 7