16?
True
Let g(k) = -7*k + 13. Let j(s) = s - 1. Let h(a) = -g(a) - 6*j(a). Is h(9) even?
True
Suppose 5*q - 5*w = -100, -2*w - w - 36 = q. Let k = q + 36. Is 6 a factor of k?
True
Let u(o) = -4*o**2 + 2*o - 2. Let c be u(2). Let r = 53 + c. Does 13 divide r?
True
Let q be 1*(-1 + 1) - -20. Let g = 34 + q. Does 25 divide g?
False
Suppose -5*p + 74 = 4*q, -q - 2*p + 27 = -5*p. Does 21 divide q?
True
Let i = 12 - 10. Is 2 a factor of i?
True
Let w be -1 - (0 - 2 - 3). Suppose w = -3*y - 2. Is 3 a factor of (y - -3)*8/2?
False
Suppose -4*n + 269 = 3*h, 5*n - 1 - 9 = 0. Is h a multiple of 27?
False
Suppose z - 5*z + 32 = 0. Suppose 0 = 2*i - 14 - z. Is 10 a factor of i?
False
Suppose 0*k = -2*k + 10. Does 3 divide k?
False
Does 13 divide (77/3 + -4)/((-4)/(-12))?
True
Suppose 3*k - 24 = 9. Is 3 a factor of k?
False
Suppose -5*d + 86 = -279. Let r = d + -49. Does 6 divide r?
True
Does 19 divide (-3)/6 - 202/(-4)?
False
Let x = 24 + -11. Let n = 29 - x. Does 13 divide n?
False
Let q(b) = 2*b**2 + 2*b - 8. Is q(6) a multiple of 17?
False
Suppose -7*n + n = 84. Let h = n + 23. Is 6 a factor of h?
False
Let f(q) = -2*q - 10. Let o be f(-7). Suppose -9*m + 20 = -o*m. Suppose -m*p - 12 = -7*p. Does 2 divide p?
True
Suppose -2*u = -3*u + 3. Suppose -q = 3*t + 2*q - 144, -q + 152 = u*t. Does 16 divide t?
False
Suppose -5*a - 109 = -2*x, -3*a + 3*x = -2*x + 73. Let g = 15 + a. Let z = g + 25. Is z a multiple of 9?
False
Let m = 401 + -237. Does 12 divide m?
False
Suppose 3*c - 45 = 366. Is c a multiple of 37?
False
Suppose -3*t + 3*u = -9, 2*t + 2*u + 3 = u. Suppose i - 3 = -t. Suppose -h - i*h = g - 31, -2*h - 2*g = -8. Does 5 divide h?
False
Let t = 2 - -4. Suppose -5*f + s = t*s, 3*f + 5*s + 4 = 0. Suppose -3*r = -4*a + 2*a + 92, -f*r + 53 = a. Is a a multiple of 17?
False
Suppose 14 = -3*s + 5*j + 89, 0 = -5*s - j + 97. Does 5 divide s?
True
Let v = 0 + 10. Is v a multiple of 10?
True
Let f(x) = 8*x + 10. Does 10 divide f(5)?
True
Let z(y) = y**2 + 10*y + 11. Suppose -6 = i + 3*j, 5*j = -3*i + 5 - 15. Let p be i/2 + (-3 - 8). Does 11 divide z(p)?
True
Suppose -n - 326 = -5*k, -3*n + 0*n - 120 = -2*k. Does 17 divide k?
False
Suppose f + 2*d = -4*f + 706, f = -4*d + 152. Does 28 divide f?
True
Let v(c) = -6*c**3. Let s = 4 - 3. Let p be v(s). Let q(l) = -l**2 - 8*l + 3. Is 15 a factor of q(p)?
True
Let s = -35 - -16. Let b = s - -28. Does 4 divide b?
False
Let v = 34 + -24. Does 5 divide v?
True
Let j = -39 - -44. Is 5 a factor of j?
True
Is -1*(-68)/(2 + 2) a multiple of 7?
False
Let z(b) = 4*b - 1. Let i(v) = -v. Let t(p) = 4*i(p) - z(p). Does 9 divide t(-1)?
True
Let p(i) = i**3 + 19*i**2 + 6*i. Is 12 a factor of p(-18)?
True
Suppose 0*b - 5*b = -2*r + 38, 3*r - 39 = 3*b. Let c be (-12)/(r/(-6) + 0). Suppose 5*m = -2*i + 45, -5*i + 43 = -3*m + c. Does 10 divide i?
True
Let k = 45 - -12. Does 19 divide k?
True
Let t = 79 + 5. Does 21 divide t?
True
Let y(i) = -5*i + 5. Let r(p) = 9*p - 9. Let w(b) = -6*r(b) - 11*y(b). Let o be w(1). Suppose 5*u + 73 = 2*v - o*v, -u = -4*v + 155. Is v a multiple of 17?
False
Does 28 divide (-4)/((-16)/(-20))*(-488)/10?
False
Let b(a) be the first derivative of a**5/60 + a**4/6 - 5*a**3/3 - 3*a**2/2 - 2. Let d(p) be the second derivative of b(p). Is 5 a factor of d(-7)?
False
Let x = 9 - -26. Let m = 58 - x. Suppose 2*c - m - 251 = -5*w, 0 = -3*w + 3*c + 177. Does 29 divide w?
False
Let a(j) = 38*j + 1. Let o = 2 - 1. Is 17 a factor of a(o)?
False
Suppose 4*k = -3*k + 819. Is 31 a factor of k?
False
Let w(p) = -2*p - 4. Let i be w(-3). Suppose -33 = -2*u - 5*t, -u - 3*t + i*t = -9. Is 2*16 + (u - 6) a multiple of 8?
False
Let u(j) = -2*j. Let s be u(-1). Suppose s*r - 87 = -r. Suppose r = 3*l - 25. Is 17 a factor of l?
False
Let a(w) = w**2 - 5*w - 1. Suppose i + 8 = 3. Let m = i - -12. Is a(m) a multiple of 11?
False
Suppose 2*m + m = 0. Suppose -k + m*k + 3 = 0. Is 3 a factor of k?
True
Let v = -9 - -11. Suppose -4 = f - v*f. Suppose t + f = 43. Does 13 divide t?
True
Let j(n) = 2*n**2 + 4*n - 2. Let r be j(4). Let q = 69 - r. Is 8 a factor of q?
False
Suppose -57 = -5*h + 3*o + o, -2*h - 5*o + 36 = 0. Let k = 10 + h. Is k a multiple of 23?
True
Let f(g) = -5*g**2 - 2*g + 3. Let z(p) = 6*p**2 + p - 3. Let s(c) = -4*f(c) - 3*z(c). Let b = 29 - 26. Is s(b) a multiple of 10?
True
Suppose 0 = -b + 71 - 14. Is 19 a factor of b?
True
Suppose 0*m = 5*m. Does 2 divide (-4)/8*(m + -8)?
True
Let s = -1 + -1. Let j(x) = -3*x**3 - 2*x**2 + 2. Is 17 a factor of j(s)?
False
Let b(n) = -25*n + 5. Is 11 a factor of b(-3)?
False
Let v(b) be the third derivative of -3*b**2 + 1/120*b**6 + 0*b**3 + 0*b - 1/30*b**5 - 1/12*b**4 + 0. Is 8 a factor of v(4)?
True
Suppose -6*h + 68 = -58. Does 21 divide h?
True
Let h(g) = 5*g - 5. Suppose -21 = 3*r - 6*r. Is h(r) a multiple of 15?
True
Let f = 3 + -3. Suppose 3*m = -f + 6. Suppose 0 = m*r + 1 - 19. Does 3 divide r?
True
Let c(r) = r**2 + 9*r - 1. Is 34 a factor of c(8)?
False
Let w be (-34)/6 - (-2)/(-6). Let o = 10 + w. Is 4 a factor of o?
True
Let n = -11 - -15. Suppose 20 = -n*h, -3*h = -3*z + z + 205. Suppose -4*l = -9*l + z. Is l a multiple of 16?
False
Let o be ((-6)/(-4))/(1/102). Suppose -3*w + d = -o, 5*d - 85 = -6*w + 4*w. Is w a multiple of 13?
False
Let b = 64 + -44. Is 4 a factor of b?
True
Suppose 0 = 2*d + 3*d + 2*n - 128, 0 = -4*d + 5*n + 76. Is 8 a factor of d?
True
Suppose 0 = -10*q + 11*q - 36. Does 17 divide q?
False
Suppose 2*j - 15 = -g, -2*j = -5*j + 3*g. Let n = j + -15. Is 15 a factor of (-4)/n - (-396)/10?
False
Let z = 25 - 6. Suppose -15*m + z*m - 108 = 0. Does 5 divide m?
False
Suppose 3*m - 336 = 288. Suppose 14*i - 10*i - m = 0. Does 13 divide i?
True
Suppose 5*v - 15 = -0*v, -87 = -2*s + 3*v. Is s a multiple of 16?
True
Let a = 78 - 34. Is a a multiple of 11?
True
Let m = -42 - -75. Is 11 a factor of m?
True
Let p(z) be the first derivative of z**5/8 + z**3/3 + 2. Let w(q) be the third derivative of p(q). Is 9 a factor of w(1)?
False
Suppose 6*q - 42 = 3*q. Suppose 0 = -3*v + 1 + q. Suppose 0 = v*a - 12 - 128. Is a a multiple of 12?
False
Suppose -j + 92 + 51 = 0. Does 11 divide j?
True
Let z(a) = 2*a**2 - a + 1. Let w be z(1). Let g be (-1)/4 + 196/16. Suppose -4*i + g = -2*l - 38, -2*l + 34 = w*i. Does 14 divide i?
True
Suppose 3*z - 12 = 2*z + 3*i, 5*z = -i + 12. Let q(n) = z + 1 - 9*n - 2 + 31*n. Does 18 divide q(3)?
False
Suppose 4*m + 20 = 4*w, -3*w - 3*m = -3 - 0. Is 3 a factor of w?
True
Suppose 0*h = -3*h + 249. Is h a multiple of 30?
False
Let o(t) = 11*t - 16. Is o(5) a multiple of 13?
True
Let g(i) = i**2 + i - 2. Let l be g(2). Does 6 divide 25/l - 4/16?
True
Let i = 4 + 0. Suppose -p + 5*q + 13 = -2, -28 = -4*p + i*q. Is 5 a factor of p?
True
Suppose r - g + 58 = 0, -80 = 2*r + 4*g + 18. Let l = r + 100. Is l a multiple of 15?
True
Let u(c) = 0 + 0 + 2 - 2*c + 4*c. Is 9 a factor of u(8)?
True
Let l be 1/((-1)/3*-1). Suppose 2*d - 20 = -l*d. Suppose d*m - 19 = -4*v + 5, v + 4*m = 9. Is 2 a factor of v?
False
Let q be (0 - 0)/(0 - -1). Suppose k + 1 = -q. Let v = 23 + k. Is v a multiple of 11?
True
Let r be 0/((1 - -3) + -2). Suppose r = u + 2*g - 90, -8 - 8 = 4*g. Is u a multiple of 28?
False
Let a be 0 - (1 + 0 + -3). Suppose -a*f + 2 = -2. Suppose 3*o - 30 = -f*o. Is 6 a factor of o?
True
Let m(l) = -2*l - 5. Let f be m(5). Let o be (18/f)/(2/(-10)). Is 15 a factor of o*(2 + (-3)/(-6))?
True
Suppose -c - 4*u + 19 = -10, 196 = 4*c - 4*u. Let i be (-2)/9 + 280/c. Is -1*2/i*-45 a multiple of 15?
True
Suppose 3*l = 59 - 2. Is 2 a factor of l?
False
Suppose 2*a + 11 = 161. Is a a multiple of 15?
True
Let w be (4/2)/((-2)/12). Let a be ((-46)/(-4))/(6/w). Let i = 5 - a. Is 8 a factor of i?
False
Suppose 3*z = -8 - 1, 0 = -5*f + z + 33. Suppose 0*v - 5*v + 2*d + 1 = 0, 4*d = -2*v + 10. Suppose m - v = f. Is m a multiple of 7?
True
Suppose -46 = -a + 51. Is 10 a factor of a?
False
Suppose 5*u = -3*c - 2 + 32, -4*c + 20 = 0. Let o = -6 + u. Is (-44)/o - 2/(-6) a multiple of 11?
False
Suppose 4 + 2 = 3*u, 4*d + 4*u + 32 = 0. Let t be (-18)/15 - 2/d. Let b = 3 + t. Is 2 a factor of b?
True
Let z(w) = -w + 9. Let p be z(9). Suppose 4*k = -p*k + 96. Suppose -4*o = t - 9 - k, 5*o = -t + 38. Does 13 divide t?
True
Let x(y) = -y - 8. Let d be (-2)/(3/(26 + -2)