a multiple of 5?
True
Suppose -h = -14 - 0. Does 14 divide h/(-4)*2*-2?
True
Suppose -3*f + 26 = -22. Does 8 divide f?
True
Let d(n) = 8*n + 3. Let x be d(2). Does 7 divide (x/(-4))/((-2)/16)?
False
Suppose -4*t = t - 135. Suppose -3*d + t = -27. Is d a multiple of 18?
True
Suppose -3*l - 28 = 2. Let g = l + -10. Let i = g + 33. Does 13 divide i?
True
Let d be 84/(-22) - 6/33. Let s(o) = o**2 + o + 3. Is 6 a factor of s(d)?
False
Let l(d) = d**2 + d + 4. Does 8 divide l(-5)?
True
Let k be 10 - 9 - (-1 + 4). Does 8 divide -1*(-37 - k - 3)?
False
Suppose 5*m - 25 + 0 = 0. Let h be 5*m/(75/78). Let d = 48 - h. Does 9 divide d?
False
Let z be (-1)/(-6)*2*9. Suppose -z*a = 3*t - 96, -4*a + 9*a + 25 = 0. Is 3/(-6) + t/2 a multiple of 16?
False
Let q(f) = 2*f**2 - f - 1. Let k be 64/(-36) - (-4)/(-18). Let i be q(k). Suppose -4*d + i = -39. Does 12 divide d?
True
Let r(m) = -88*m + 23. Is r(-2) a multiple of 20?
False
Let b(r) = r**2 - r - 3. Let m be b(3). Is (50/(-4) + m)*-2 a multiple of 19?
True
Let p(l) = -l**2. Let s(q) = -36*q**2. Let g(r) = 66*p(r) - 2*s(r). Let k(u) = -u**2 + 3*u - 1. Let t be k(2). Does 4 divide g(t)?
False
Let i(m) = -m**2 - m + 87. Let t be i(0). Let n = 126 - t. Is 13 a factor of n?
True
Let k = 162 + -105. Is k a multiple of 19?
True
Let t(v) = -8*v**2 - 9*v**2 - v - 36*v**3 + 16*v**2. Is t(-1) a multiple of 27?
False
Suppose 0 = -p - t + 6, -5*t + 7 = -8. Suppose 1 - 4 = i. Let f = p - i. Is f a multiple of 6?
True
Let o(y) = 32*y. Let p be o(2). Suppose -36 = -j - v, 4*v = -3*j + j + p. Is j a multiple of 10?
True
Suppose -36 = -0*y + 2*y. Let s = 30 + y. Is 12 a factor of s?
True
Let k be 6/(-4)*(-12)/(-9). Does 14 divide ((-102)/k)/((-2)/(-2))?
False
Let z = 8 + 0. Let h(p) = 24*p - 9. Let q be h(z). Suppose 5*k - 3*m = q, -2*m + 6*m - 172 = -4*k. Does 12 divide k?
False
Let l = 28 - 42. Let h = l + 24. Is 5 a factor of h?
True
Let u(s) = s**2 - 5*s + 2. Let r be u(5). Suppose b = -a - 2*b - 17, 0 = -4*a + 2*b + r. Is 21 a factor of 6/3*(-21)/a?
True
Let m be (-2 + 9)*(-6)/(-21). Let k be (-62)/(-1) - (-1 + 2). Suppose -5*a - m*s = -k - 5, -3*a + 4*s = -50. Is 13 a factor of a?
False
Suppose 0 = 2*o - 227 - 163. Is o a multiple of 8?
False
Let k be ((-1)/3)/(2/(-6)). Suppose -d - 5*u + 10 - k = 0, -87 = -5*d - 4*u. Suppose d = 5*s - 11. Is s a multiple of 6?
True
Let i = -31 - -47. Is 4 a factor of i?
True
Let d(j) = -3 + 3*j - 68*j**3 + j**2 - 2*j + 1 + 3. Is 23 a factor of d(-1)?
True
Suppose 5*t - 486 = 389. Suppose t = 10*h - 5*h. Is 14 a factor of h?
False
Let m be 2*1 - (-61 + -7). Suppose -4*b + 6*b - m = 0. Is b a multiple of 10?
False
Let i(u) = 3*u**2 + 2*u + 1. Suppose 3*o - 3*p = 0, 3*p = -4*o + o + 12. Let x be i(o). Suppose -4 = c - x. Is 13 a factor of c?
True
Let n = -7 + 10. Let i be ((-57)/9 - -2)*n. Let l = i + 30. Is l a multiple of 7?
False
Let z(n) = n - 9. Let d be z(10). Let p be d - 3 - (-12)/2. Let t(o) = 3*o**2 - 4*o + 2. Does 10 divide t(p)?
False
Let c be (-2)/8 + (-3)/4. Let p be (-5 + 6)/(c/(-3)). Suppose u = p*u - 42. Is u a multiple of 12?
False
Let h be (-5)/(2 - (-2 - -5)). Suppose h*o - 149 = -2*w - 2*w, 2*w - 31 = -o. Suppose k = 3*u - o, -k - 15 = -u - 2*k. Does 9 divide u?
False
Suppose i - 84 = 2*z - 2*i, 5*z + 188 = 2*i. Let m be ((-81)/6)/((-2)/8). Let p = m + z. Is 18 a factor of p?
True
Let u(q) = -2*q**3 - 4*q - 8. Is 29 a factor of u(-3)?
True
Suppose 2*r + 76 + 28 = 2*d, -5*d + 272 = -2*r. Is d a multiple of 12?
False
Suppose 4*q - 96 = q. Suppose -49 = -3*y + q. Does 9 divide y?
True
Is (3 - -6)/3 + 103 a multiple of 10?
False
Suppose 0 = 3*v + g + 3, 6 = -2*g. Suppose -4*t + c + 0*c + 84 = v, -4*c = 16. Is t a multiple of 5?
True
Let p = -20 - -12. Let m(h) = -h**2 - h - 1. Let k(r) = -r**3 - 13*r**2 + 2*r - 14. Let w(z) = -k(z) + 6*m(z). Is w(p) a multiple of 8?
True
Suppose i - 2*i - 32 = -4*j, -2*i = 8. Suppose 0 = -j*u + 3*u + 44. Does 4 divide u?
False
Let a = -894 - -1819. Suppose -3*s + a = 2*s. Suppose -5*v + s + 45 = 0. Does 16 divide v?
False
Let h be (5/2)/(2/4). Let b = h - 2. Suppose -b = -2*r + 7. Does 3 divide r?
False
Let g(m) be the third derivative of -m**5/60 + m**4/6 + m**3/6 + 2*m**2. Let u be g(3). Let v = 9 - u. Is 2 a factor of v?
False
Is 29 a factor of ((-58)/6)/((-11)/165)?
True
Suppose -a + 3 = -j - 4*a, -4*j - 1 = a. Let w be -2*(j + (-63)/6). Suppose 0 = -2*h + 29 + w. Does 13 divide h?
False
Let t(s) be the first derivative of -5 - 3 + 3*s**2 + 0 + 4. Is t(1) a multiple of 6?
True
Let p(l) be the third derivative of -7/60*l**5 + 1/120*l**6 - 1/24*l**4 + 0 + 0*l + 5/3*l**3 + 2*l**2. Is p(7) a multiple of 2?
False
Let h(n) = n**3 - 4*n**2 - 10*n + 6. Does 6 divide h(6)?
True
Let r(d) = d**2 - 11*d - 10. Let q be r(10). Let y = 26 + q. Is 3 a factor of y?
True
Suppose 32 = -4*q + 5*j - 1, -4*j + 25 = -3*q. Let d = 6 + q. Does 12 divide 9*(2 + 3 + d)?
True
Suppose 135 = 9*m - 4*m. Is m a multiple of 4?
False
Let q be (1 - 0) + 0/3. Is 6 a factor of (q - (3 + -1))*-17?
False
Suppose a - 6 + 7 = 0. Let y = a - -6. Does 2 divide y?
False
Let f(k) = -k**2 - 7*k - 7. Let q be f(-5). Suppose 3*g - 28 = -4*m, -3*m + q*g + 8 = 2*m. Suppose 0 = t - 4*t + 4*r + 100, 129 = m*t - r. Is 16 a factor of t?
True
Let i(v) = -v. Let y be i(-5). Suppose -g + 17 + y = 0. Does 11 divide g?
True
Is (15/(-6))/(-1)*8 a multiple of 20?
True
Let n(m) = -11*m - 3. Let k(w) = -16*w - 4. Suppose -l = -3, 5*p - l - 43 = -11. Let g(v) = p*n(v) - 5*k(v). Is 2 a factor of g(1)?
True
Suppose 0*j + 2*j - 32 = 0. Suppose 0 = -11*y + j*y - 215. Is 13 a factor of y?
False
Suppose -3*t + 41 = -112. Is t a multiple of 9?
False
Suppose l = 4*l - 1080. Suppose -6*v + 2*v + l = 0. Suppose -v = -3*k + 3*f, -k - f = -6*f - 42. Is 8 a factor of k?
False
Let k(i) = -i**3 - 10*i**2 + 16*i - 17. Is k(-12) a multiple of 17?
False
Let y be (24/(-7))/((-2)/28). Let d = -9 + y. Does 13 divide d?
True
Suppose 2*v + 3*i = -0*v - 47, -2*v - 57 = 5*i. Let b be 3/(-2)*v/12. Suppose -b*w + 3*w = 47. Is w a multiple of 17?
False
Let c(k) = 2*k**2 + 3*k - 2. Let z be c(-4). Let t = -3 + z. Does 8 divide t?
False
Suppose -36 = -s + 4. Suppose 0*n + 2*n = s. Does 10 divide n?
True
Suppose -n + 3 = -5. Let i be (n/(-6))/((-2)/6). Suppose 5*l + i*t + 12 = 74, -3*l - 4*t + 34 = 0. Is l a multiple of 6?
False
Suppose 48 = 5*w - 3*u, w = 2*u + 3*u + 14. Let h be (-2)/w*-6*3. Suppose 12 = -h*q + 276. Is 25 a factor of q?
False
Suppose -4*f + 0*m + 12 = -2*m, -6 = -3*m. Suppose -31 = -3*d + l, -f*d + 4*l = -2*d - 4. Is d a multiple of 6?
True
Let r(t) = -t**3 - 4*t**2 + 5*t - 1. Let n be r(-5). Let k be (n + -4 + -3)/(-2). Suppose k*o + 6 = o, 103 = 5*j - 4*o. Is j a multiple of 19?
True
Let g(t) = 2*t**2 - t - 1. Let d be g(9). Suppose -8*o + d = -4*o. Is 17 a factor of o?
False
Suppose -109 = -3*t - r, 2*r - 108 - 36 = -4*t. Is t a multiple of 9?
False
Let k(z) = 0 + 5 + 3*z + 2*z**2 - 3 - 6. Is k(-5) a multiple of 11?
False
Suppose -f + 3 = -0*f. Suppose 4*j - 2*g - f*g = 44, -2*j = 3*g. Is 3/(1/16*j) a multiple of 4?
True
Suppose -32*i = -29*i - 30. Is 4 a factor of i?
False
Let u(a) be the second derivative of -17*a**3/3 + 3*a. Is 15 a factor of u(-1)?
False
Let n be 1/(-2)*-26 - -2. Suppose 5*s - n = 0, 3*s + 11 = f - 0*f. Suppose -3*u = -5*u + g + 23, -f = -4*g. Is u a multiple of 7?
True
Suppose -3*u + 4*x = -8*u + 58, -10 = -5*x. Let w = u - -1. Is 9 a factor of w?
False
Let j be (-6)/33 + (-872)/44. Let z = 29 + j. Is 9 a factor of z?
True
Let h(u) = u**2 + 11*u + 10. Let l be h(-7). Does 7 divide (-4)/l + (-912)/(-27)?
False
Let u(q) = q - 9. Let h be u(13). Suppose 120 = h*b + 24. Is b + (0/(-2))/2 a multiple of 14?
False
Suppose -5*z + 25 = 0, 5*z + 832 = 3*r + z. Does 6 divide 1/(-5) + r/20?
False
Suppose -3*k - 5*y - 9 = -4*k, 5*k + 3*y = 129. Is k a multiple of 4?
True
Let m(x) = 4*x**2 + x. Suppose -3*k + l = -2*l, 5*l = k + 4. Is m(k) even?
False
Let t(y) = y - 25. Let r(w) = 6. Let n(p) = -18*r(p) - 4*t(p). Does 10 divide n(-10)?
False
Let g(p) = -80*p**2 - 13*p. Let r(n) = 20*n**2 + 3*n. Let c(l) = 2*g(l) + 9*r(l). Is c(1) a multiple of 8?
False
Suppose -5*m + 116 = u, -29 = -u - 3*m + 77. Is 6 a factor of u?
False
Let z be 1*((-4)/4 + 12). Does 19 divide (z/(-44))/(2/(-152))?
True
Let