14?
True
Let y(p) = p**2 + 4*p + 5. Let x be y(-4). Let h = -10 + x. Let w = 9 + h. Is w a multiple of 4?
True
Let l(w) = -18*w - 1. Let m(z) = 17*z + 1. Let c(i) = 3*l(i) + 4*m(i). Let j(k) = k + 3. Let q be j(0). Is 13 a factor of c(q)?
False
Let m(t) = -t**2 - 5*t - 12. Let a be m(-9). Let n = 70 + a. Does 11 divide n?
True
Let h = 68 + -54. Does 7 divide h?
True
Suppose 5*t - 22 = 3*p, -4*t - 2*p - 8 = 2*p. Let g(w) = -4*w**t + w**3 + 1 + 2*w - w**2 - 6*w. Is g(6) a multiple of 6?
False
Let i(z) = -5*z + 102. Is i(7) a multiple of 9?
False
Let g = 243 + -141. Suppose -3*h = h - f - 110, -5*f - g = -4*h. Is 8 a factor of h?
False
Let t(a) be the second derivative of -a**8/6720 + a**7/252 + 13*a**6/720 - a**5/15 - a**4/6 - a. Let r(c) be the third derivative of t(c). Does 7 divide r(11)?
True
Let d(y) = 7*y**3 + 3*y**2 - 4*y + 2. Let x(j) = -6*j**3 - 2*j**2 + 3*j - 1. Let z(s) = -3*d(s) - 4*x(s). Is 14 a factor of z(3)?
True
Let u(o) = -o**3 - 5*o**2 - 6*o - 5. Let s be u(-4). Suppose -3*g = -g - 4, s*z = -5*g + 10. Suppose -5*l + 157 + 63 = z. Is 16 a factor of l?
False
Let c = -23 - -51. Suppose -4*r + 164 + c = 0. Is 13 a factor of r?
False
Let t(d) = d**3 - 14*d**2 + 20*d - 28. Is 15 a factor of t(13)?
False
Let w be (-88)/6*(-3)/(-2). Let m be -53*(0 + 2)/(-2). Let y = w + m. Does 13 divide y?
False
Let k(h) be the first derivative of 2*h**3 + h**2 - h + 1. Is 4 a factor of k(1)?
False
Is 2*127 + (-15)/(-3) + -1 a multiple of 43?
True
Let w(s) = -s**2 + 20*s + 27. Is w(19) a multiple of 32?
False
Let t(m) = -2 - m + 2*m**2 - 2*m**2 + m**2. Let d be t(3). Let f(p) = 4*p + 4. Is 12 a factor of f(d)?
False
Does 17 divide 34*-2*3*(-2)/6?
True
Let v(o) = o**2 - o + 6. Let p be 8/20 + (-4)/10. Does 2 divide v(p)?
True
Does 14 divide 16 + (1 + -1)/(-1)?
False
Let k(t) = -t + 2. Let q be k(4). Is (q/4)/((-1)/8) a multiple of 2?
True
Let d be (-1)/(-4) - (-161)/(-4). Let p = d + 73. Is p a multiple of 14?
False
Suppose 2*r + 2*r - 28 = -c, -2*r = -4*c + 166. Is c a multiple of 13?
False
Suppose 0 = 2*i - 5*d - 10, d + 2*d = 12. Suppose 7*y - i = 2*y. Does 2 divide y?
False
Let k = 1 + 5. Is 7 a factor of (-75)/(-2)*k/9?
False
Let p = 65 - 42. Suppose 4*u - 5 = 3*f + 3*u, 2*f = u - 5. Suppose f = y - p + 1. Is 11 a factor of y?
True
Let u = 79 + -35. Is 11 a factor of u?
True
Suppose v - 4 = -0*v. Suppose l - 27 = 2*r - 4*l, 5*l - 29 = v*r. Let m = r + 17. Does 16 divide m?
True
Let j(o) = o**3 + 4*o**2 - o - 1. Let u be j(-4). Let b be (u/((-9)/(-150)))/2. Let a = b - -6. Does 17 divide a?
False
Suppose 3*o = 0, 4*s = -3*o + 24 + 28. Is s a multiple of 7?
False
Let b(g) = 13*g**2 - 4*g + 1. Does 15 divide b(-4)?
True
Let z(b) = -b**2 - 11*b - 10. Let t be z(-7). Let s = t - 11. Let c(u) = 3*u + 4. Is c(s) a multiple of 25?
True
Let p be -5 + (-3 - 0) + 2. Let a(k) = -k - 4. Let i be a(p). Suppose -18 = -x - i*x. Is 3 a factor of x?
True
Let b(s) = -s**3 - 5*s**2 - 6*s - 4. Suppose -12 = 2*j + j. Let t be b(j). Suppose 0*l + 5*w + 122 = 3*l, 5*w = t*l - 166. Is l a multiple of 18?
False
Let g(u) = -u**2 + 22*u - 13. Does 6 divide g(21)?
False
Let w(p) = p**3 + p**2 - p + 18. Let x(n) = n**2 - 6*n - 7. Let l be x(7). Does 13 divide w(l)?
False
Suppose 0 = 7*v - 12*v + 945. Suppose -2*h = -3*o + v, 4*o = 6*o - 3*h - 131. Does 15 divide o?
False
Suppose -a - 4 = -2*a. Suppose -5*t + 4*h = -3 - 5, -a*t + h = -13. Suppose -t*g + 0*g = -16. Is g a multiple of 4?
True
Suppose -13 = -5*g + u, -5*g + 3*u + 25 = -2*u. Suppose -7*a = -g*a, -16 = -4*v - 2*a. Is v a multiple of 4?
True
Suppose -11 - 34 = -x. Is 9 a factor of x?
True
Let l(d) = -d**2 + 10*d + 14. Let m be l(11). Suppose 0 = 3*g - m, 6 - 29 = -4*i - 3*g. Is i a multiple of 2?
False
Let f = -4 - -6. Suppose 2*i = -5*w - 34, i + w = -f*i - 25. Let r = i + 11. Is 3 a factor of r?
False
Let g = 181 + -43. Does 22 divide g?
False
Let i(x) = -58*x + 4. Is i(-2) a multiple of 15?
True
Suppose 5*d + 46 = -34. Let c = 28 + d. Does 8 divide c?
False
Let g(s) = s**3 - 12*s**2 - 2*s - 1. Suppose -4*a - 16 = 4. Let y(n) = -2*n**3 + 25*n**2 + 4*n + 3. Let z(i) = a*g(i) - 2*y(i). Does 13 divide z(10)?
False
Suppose -d + 4*p = -37, -d - 4*p + 11 = -10. Does 11 divide d?
False
Let l(a) = a**2 - 7*a - 19. Does 5 divide l(11)?
True
Let n(u) = 0*u + 2*u - u - 20*u**3 + 1. Is n(-1) a multiple of 10?
True
Let v(d) = 3*d**2 - 3 - 5*d**2 - 2*d**2 + 6*d**2. Is 10 a factor of v(3)?
False
Suppose -560 = -38*o + 33*o. Is o a multiple of 16?
True
Let m(p) = -p**2 + 8*p - 7. Let b be m(6). Let h = -14 - -16. Suppose h*z - 1 - b = 0. Is 2 a factor of z?
False
Let b be -1*2*(-6)/4. Suppose s + 5 = b*p - s, -3*p + 3*s = -3. Suppose 3*z + 3*n = 24, n - 24 = -p*z + 5*n. Does 7 divide z?
False
Let l = 25 + -18. Let t(u) = l*u + 9*u - 4*u. Is 18 a factor of t(3)?
True
Let z(y) = y - 2. Let j be z(3). Let v = j - -4. Is v a multiple of 2?
False
Let s = 7 + -13. Let g be (-2)/s*60/4. Suppose 103 = g*n - 0*l - 2*l, -2*n - 4*l = -22. Is 13 a factor of n?
False
Suppose -5*l + 175 = 25. Does 6 divide l?
True
Let v(r) = -r**3 - 16*r**2 + 17*r + 9. Is 2 a factor of v(-17)?
False
Let t(c) = 3*c + 17. Let f be t(-7). Is 4 a factor of 17 + f - -3 - 1?
False
Let r(i) = 0*i - 4*i**2 + 5*i**2 + i. Let x be r(-3). Is 4 a factor of 3*x*(-6)/(-27)?
True
Let v = -76 - -160. Does 21 divide v?
True
Let i = -41 + 87. Is i a multiple of 11?
False
Suppose 2*p = -3*d + d, 2*d + 3*p - 5 = 0. Let h(q) = -q + 3. Is h(d) a multiple of 4?
True
Suppose -3*w + 25 = 2*w. Suppose 4*a - 8 = -c + 12, w*c - 3*a = 8. Suppose -3*m - c*i + 54 = 0, 2*m - 76 = -2*m - 4*i. Is m a multiple of 8?
False
Let g = -49 - -108. Does 20 divide g?
False
Let q(z) = z**2 - 3*z - 2. Is q(-2) even?
True
Let t = 3 - 5. Let g be 14 - 3 - 2/t. Let z = g + -4. Does 8 divide z?
True
Let q(b) = b**3 - b**2 - 7*b + 1. Is 7 a factor of q(4)?
True
Let h be (-3)/(-6) - 138/12. Let u(f) = f**3 + 11*f**2 - f. Does 11 divide u(h)?
True
Suppose 3*r = -w - 2, -2*w - r = -2*r - 17. Let q(u) = u**3 - 8*u**2 + 11*u - 8. Is q(w) a multiple of 10?
True
Let d = -52 - -85. Suppose 4*y - 95 = d. Is 14 a factor of y?
False
Suppose 0 = 2*t + 3*j - 179, -3*t + 5*j + 404 - 107 = 0. Is t a multiple of 8?
False
Suppose 4*k - 9 = k. Suppose p = -k*s + 12, 2*p = -2*p - 4*s + 32. Does 4 divide p?
False
Let k(a) = -a**2 - 5*a - 4. Let l be k(-6). Is 13 a factor of 15 + (-5)/(l/(-4))?
True
Suppose -8*x + 703 = -593. Is x a multiple of 9?
True
Let w = -5 - -4. Does 7 divide (-3)/(3/11)*w?
False
Let r(k) = -11*k. Suppose n + 5*x = -17, -3*x - 10 = 2*n - x. Let u be r(n). Suppose -3*s = -s - u. Is 11 a factor of s?
True
Suppose -1760 = -19*b + 9*b. Is b a multiple of 22?
True
Let v(y) = -4*y**2 - 2*y + 1. Let c(a) = a**2 + 1. Let s(j) = -3*c(j) - v(j). Let x be s(-4). Suppose 0 = -x*l + 41 + 27. Does 12 divide l?
False
Let p(g) = -g + 4*g - g - 7. Let v be p(5). Suppose -27 = -v*i - 0. Is 5 a factor of i?
False
Let i = -7 + 23. Let k be ((-40)/i)/(1/(-14)). Suppose -s - k = -p, -2*p - p + 4*s = -100. Is 18 a factor of p?
False
Suppose -9 = -2*q + 3*u, -5*q = -6*u + 2*u - 12. Let i = q + 1. Let m(v) = 38*v**2 + v - 1. Is m(i) a multiple of 19?
True
Let j = -50 + 86. Let q be (1/2)/((-3)/j). Does 5 divide 4 - 2/1 - q?
False
Let m(w) = -w**3 + 7*w**2 - 7*w + 3. Let y be m(5). Let j = -11 + y. Is 6 a factor of j?
False
Let p = 9 + 4. Does 5 divide p?
False
Let h(k) = 16*k - 12. Does 22 divide h(7)?
False
Is 15/10 - (-19)/2 even?
False
Let g(t) = t - 6. Let y be g(0). Let m(b) = -b - 4. Let z be m(y). Suppose -z*w + 15 = -1. Is 3 a factor of w?
False
Suppose 0*w + 684 = -4*w. Is 2 a factor of w/(-33) + 8/(-44)?
False
Let u = -1 - 1. Let j(m) = -4*m - 2. Let q be j(u). Suppose -l + q*l = 70. Is l a multiple of 7?
True
Suppose 0 = -4*l + 62 - 2. Is 6 a factor of l?
False
Suppose 5*a + 72 = 4*w, 48 = -3*a - w + 5*w. Is 19 a factor of (-4)/a - 340/(-6)?
True
Does 6 divide 372/60 - (-2)/(-10)?
True
Suppose 50 = 6*c - c. Let v = c - 6. Suppose 5*i - v*i = 10. Is 10 a factor of i?
True
Suppose -2*s = -0*s + 5*i - 13, 48 = 5*s - 3*i. Is s even?
False
Let y = 4 - 8. Let w = y - -6. Suppose w*l - 3*l = -7. Is 6 a factor of l?
False
Is 21 a factor of 4 + (-1)/(6/(-1488))?
True
Let y = -1 - -3. Suppose 2*g - 22 = -5*a + 10, y*g - 2*a