
Is 3684/8 + 3 - 5/10 a multiple of 14?
False
Let z = 105 - -51. Is 13 a factor of z?
True
Let n be (-1)/2*0/(-2). Suppose -3*o = -n*o. Let f = o + 11. Is 7 a factor of f?
False
Let w be (-2 - -6)*(2 + -1). Suppose w*i + d = -4*d, -5*d = -4*i. Suppose i = 2*s - 17 - 11. Is 14 a factor of s?
True
Let w(s) be the third derivative of -1/24*s**4 + 0*s + 0 - 2*s**2 + 1/60*s**5 + 20/3*s**3. Is w(0) a multiple of 14?
False
Suppose 0 = -4*d + x + 463, d = 2*d + 4*x - 120. Is d a multiple of 29?
True
Let k(o) = 6*o**2 + 7*o - 6. Let c be k(5). Suppose j - 167 = 3*a, j = a - 4*a + c. Suppose -4*m = -j + 53. Is 15 a factor of m?
True
Let k(m) = -133*m + 14. Is 35 a factor of k(-2)?
True
Let r(z) = -z**3 + 10*z**2 - 8*z - 7. Let m be r(9). Let y(d) = 9*d**2 - 4*d + 3. Is y(m) a multiple of 11?
False
Let f(t) = -t**3 - 12*t**2 - 10*t + 6. Let b be f(-11). Let d(o) = -o - 2. Let y be d(b). Suppose -y = 2*u - 3*u. Is u even?
False
Let p = 214 + 80. Is p a multiple of 11?
False
Let p = -23 + 32. Suppose 0 = -i - 3*r + 6, 5*r = -2*i + 20 - p. Suppose -5*l = -i*u + 32, -3*u + 4*l + 28 = -9. Is u a multiple of 17?
False
Suppose -p + 99 = -0*p. Does 15 divide p?
False
Suppose u - 3*u - 4*p + 382 = 0, p = 2. Does 17 divide u?
True
Let r(q) be the first derivative of q**3/3 + q**2 - 2. Does 3 divide r(-4)?
False
Let h(z) = z**2 + 3*z + 3. Let c be h(-3). Suppose 4*t - 110 = -3*k - 0*t, -c*t + 114 = 3*k. Is k a multiple of 21?
True
Let d be (-1)/3 - (-277)/3. Suppose -6*r + d = -2*r. Does 6 divide r?
False
Let g be ((-1)/(-3))/((-1)/(-15)). Suppose 3*i = 2*t - 35, -4*t + t + g*i + 52 = 0. Does 19 divide t?
True
Is 11 a factor of (-9)/(-12) - (-146)/8?
False
Suppose -14*v + 118 = -442. Is 3 a factor of v?
False
Let h(f) = 3*f**3 + f + 63. Does 7 divide h(0)?
True
Let z = -6 - -10. Suppose 145 = 3*t - 2*i, 4*t - 37 = -z*i + 143. Does 16 divide t?
False
Let w be -2 - (-2 - -1) - -119. Suppose 0 = 5*l - 2*d - w, d + 48 = -l + 3*l. Does 11 divide l?
True
Let u = 3 + 1. Let m be (-2 + u)/((-4)/(-10)). Suppose i - 3*z - 13 = 0, -m*i + 2*i - 2*z = -50. Is i a multiple of 16?
True
Let m = -61 - -75. Is 7 a factor of m?
True
Let v = 27 - -25. Is v a multiple of 26?
True
Let w = -1 + -3. Let y be (-1)/w - (-1)/(-4). Suppose -4*p - 2*d + 126 = 0, -4*p + 5*d + 28 + 77 = y. Is p a multiple of 15?
True
Suppose 2*k = 4*z - 104, -4*k - 1 - 18 = -z. Is z a multiple of 9?
True
Suppose -3*b = -b + 3*f - 62, 0 = b - 2*f - 31. Does 10 divide b?
False
Let b = 13 + -17. Is 10 a factor of (1 - 46)*b/6?
True
Suppose 4*o + 2 = c + 19, -3*o - 3*c = 6. Suppose -2*v = o*h + 2*h - 65, -4*h - 172 = -4*v. Does 20 divide v?
True
Let r = 52 + -19. Does 8 divide r?
False
Let d(b) = 2*b - 1. Let m(r) = -r + 1. Let s(n) = -3*d(n) - 2*m(n). Let j be s(-1). Suppose -2*x + 46 = 3*u + 2*x, x = -j*u + 88. Is u a multiple of 7?
False
Let y(r) = 3*r**3 - 2*r**2 + 1. Let f be y(1). Let p(j) = -j**3 + 2*j**2 + j + 2. Let s(t) = -t**2. Let i(n) = -p(n) - 2*s(n). Is i(f) a multiple of 4?
True
Suppose -2*d = 2*i - 1066, d - 2671 = -5*i - d. Suppose 2*a - i = -3*a. Suppose 0 = -3*g + 4 + a. Is g a multiple of 13?
False
Let d = 31 + 17. Does 5 divide d?
False
Let c be (-2*(-6)/(-4))/(-1). Let v(w) = 6*w**2 + 5*w - 4. Is 23 a factor of v(c)?
False
Suppose -3*q - x - 3*x = -2, 3*q + 3*x - 3 = 0. Suppose 0 = -2*p - q*t - 2*t + 4, -4*p + 8 = -2*t. Is p a multiple of 2?
True
Is 4/8*56/2 a multiple of 14?
True
Let t be ((-12)/(-10))/((-6)/(-75)). Let u = t + -10. Is u a multiple of 3?
False
Let s = -2 + 4. Suppose 3*y = s*o - 10 - 5, 0 = 3*y - 9. Does 6 divide o?
True
Suppose -4*f - 5*r = -12 + 2, r + 7 = f. Suppose 40 = f*m + 4*g - 71, -2*g + 27 = m. Is 7 a factor of m?
False
Let g be (1/1)/((-7)/(-21)). Suppose 0 + 1 = s, 5*i - g*s - 107 = 0. Is 11 a factor of i?
True
Suppose -2*f = -n - 0*f, -4*f = -n - 2. Suppose 0 = -d - 5*g + 53, n*d - 305 = -3*d - 5*g. Is d a multiple of 29?
False
Let i = 4 - 4. Suppose x + i*x - 7 = 0. Is 7 a factor of x?
True
Let c be (-4)/(-18) - 34/(-9). Suppose 64 = 5*f + c. Suppose 4 - f = -2*t. Is 4 a factor of t?
True
Let u = -317 - -506. Is u a multiple of 27?
True
Let z(t) = -4*t - 3. Let n be z(-2). Suppose 2*h - 16 = 2*c, -4*h - 4*c = -2*h - 10. Suppose n*a - 108 = h. Is 12 a factor of a?
False
Let v = 27 - 12. Is v a multiple of 8?
False
Is 4 a factor of 0 + 1 - (-3 + -4)?
True
Suppose 0 = -4*a + w + 24, 4*a + 3*w = -a + 47. Is a a multiple of 2?
False
Let z(q) = -17*q - 2. Does 16 divide z(-2)?
True
Let q(k) be the first derivative of -k**4/4 + 8*k**3/3 + 11*k**2/2 + 6*k - 6. Is 24 a factor of q(9)?
True
Suppose 4*i + 4*b - 628 = 0, b - 241 = -3*i + 240. Is i a multiple of 26?
False
Suppose -2 + 6 = a. Suppose 359 = a*u + 99. Suppose 5*m = -0*m + u. Is m a multiple of 13?
True
Let b(r) be the third derivative of r**6/120 + r**5/30 + 8*r**3/3 + 9*r**2. Does 8 divide b(0)?
True
Suppose u + 15 = 4*u. Suppose k - 10 = -3*m - k, -u*k = -m + 26. Does 3 divide m?
True
Let f = 40 - -8. Does 16 divide f?
True
Suppose 5*s = -2*d - 36, 17 - 7 = 5*d. Let w(u) = 5*u - 6. Let v be w(4). Let k = v + s. Is k a multiple of 2?
True
Suppose -4*x - 13 + 53 = 0. Let i(t) = t**2 - 6*t - 12. Does 14 divide i(x)?
True
Let d = 6 + -2. Is (d + -2)/((-4)/(-46)) a multiple of 7?
False
Let m = 19 - -1. Is 10 a factor of m?
True
Suppose 5*r - 50 + 20 = 0. Suppose 370 = r*v - 44. Is v a multiple of 16?
False
Does 10 divide (-4)/((-8)/4) + 68?
True
Suppose 2*q = -0*q + 16. Is 14 a factor of (-147)/14*q/(-3)?
True
Is 3 a factor of (12 + 11)/(1/1)?
False
Suppose 0*a - k - 12 = -2*a, -5*a - 5*k = -15. Let x be (a*-2)/(2/2). Let i = x - -32. Is i a multiple of 11?
True
Let p(i) = 2*i**2 - i. Let g = 2 - 1. Let w be p(g). Suppose 0 = -f + w, -34 = -t - 0*f - 2*f. Is t a multiple of 12?
False
Let y be (-3)/(-2)*(-8)/(-6). Suppose k = c + 8 + y, 0 = 4*k - c - 43. Is 11 a factor of k?
True
Let l = 15 + -21. Is 21 a factor of l/8 + 1044/48?
True
Let j = -163 - -86. Let s = j - -142. Suppose 3*f - 28 - s = 0. Is 13 a factor of f?
False
Suppose -30 = c - 6*c. Is c a multiple of 3?
True
Let m be (-3)/2*(-16)/6. Let i(b) = -b**3 + 11*b**2 - 11*b + 4. Is i(m) a multiple of 18?
True
Let z = 164 - 107. Is 19 a factor of z?
True
Suppose 0*a - 3*a - 2*g - 402 = 0, -3*a - 402 = -4*g. Let v = 93 + a. Let q = -26 - v. Is q a multiple of 15?
True
Let a(y) be the first derivative of -y**3/3 + 5*y - 3. Let l be a(0). Suppose -25 = -5*o, 5*o = -l*s - 14 + 194. Is 25 a factor of s?
False
Suppose x + 5*l - 16 = 0, 4*l = 3*x - 0*l + 47. Is 4 a factor of 34/9 + (-2)/x?
True
Let c be (0 + 2/3)*6. Is 11 a factor of 35 + 0 + (2 - c)?
True
Suppose -1750 = -24*h + 17*h. Is 10 a factor of h?
True
Suppose 28 = 3*p + 5*b, p - 5*p = 3*b - 19. Let o(x) = 6*x - 1. Let t be o(p). Suppose -86 = -4*s - y, -t*s = -2*y + 28 - 142. Is 10 a factor of s?
False
Let n(y) = y**2 + 5*y + 5. Let u be n(-5). Suppose 0 - 20 = -u*p. Let d = 15 - p. Does 5 divide d?
False
Let c = 11 + 7. Is c a multiple of 6?
True
Suppose -t = -4*m - 18, -15 - 1 = -4*t + 2*m. Suppose 2*f + 194 = 5*x, t*x - 5*f = 3*x - 55. Does 31 divide x?
False
Suppose -b - 6 + 10 = 0. Suppose -305 = -5*j + 4*q, q = -b*j + j + 200. Does 13 divide j?
True
Suppose 4*w - 18 = -10. Suppose -4*b + 14 = w*g, -3*b + 24 + 0 = 3*g. Does 5 divide g?
False
Let v be (-624)/(-84) - 8/(-14). Let t = 15 - v. Does 7 divide t?
True
Let r = 198 - 130. Is 18 a factor of r?
False
Let t(h) = -h**3 - 4*h**2 - 2*h - 6. Let l be t(-4). Suppose 0 = -l*c - 21 + 49. Is 6 a factor of c?
False
Let n(i) = -i - 8. Let v be n(-10). Suppose 1 = -v*u + u. Let d = u - -7. Is 6 a factor of d?
True
Suppose h + 13 = c + 3*h, 0 = 5*c + 2*h - 25. Suppose c*z - 8 = -z. Suppose -z*v + 99 = v. Is v a multiple of 14?
False
Let y be (2/4)/(11/22). Suppose -139 = b + 4*v, -4*v + 635 = -4*b + 39. Is b/(-14) - y/2 a multiple of 6?
False
Suppose 8*p - 4*p - 4 = 0. Is 5 a factor of p/(1 + (-32)/34)?
False
Let s be (26/(-2))/((-3)/30). Suppose 4*w - 4*z - 108 - 24 = 0, -s = -5*w - 2*z. Is 14 a factor of w?
True
Suppose 3*u = -0*u + 9. Suppose l - 3*q = u*l - 28, 4*q - 16 = 0. Does 8 divide l?
True
Let v = 23 + -4. Is v a multiple of 17?
False
Let g(q) = -6*q - 1. Let h(s) = s**2 + 7*s + 3. Let y be h(-5). Is g(y) a multiple of 21?
False
Let t(y) = -y