rue
Let n be (-171)/(-63) - (-2)/7. Suppose -n*v = -2*v - 14. Is 4 a factor of v?
False
Suppose 5*b - 44 - 26 = 0. Suppose -2*c + b + 80 = 0. Suppose -4*w - 5*v + 61 = 0, 2*v = -3*w - 2*v + c. Is 9 a factor of w?
True
Let g = 38 - 19. Is 19 a factor of g?
True
Let y be (3*1)/(2/2). Let b = y - -6. Let c = b - 5. Is c even?
True
Let o = 113 - 41. Is 24 a factor of o?
True
Does 26 divide (-281)/(-3) - 14/21?
False
Let c(n) = -n**3 + 11*n**2 - 2*n + 5. Let r be c(9). Let b = -76 + r. Let y = b + -31. Does 21 divide y?
True
Let n be 27/5 + 4/(-10). Suppose 0 = -h + n*h. Suppose 2*i - 8 = -h*i. Is i a multiple of 3?
False
Let v(y) = -7*y + 8. Let w be v(-8). Let d = -46 + w. Is 9 a factor of d?
True
Let j be 2/(-8) + 51/12. Suppose -18 = 5*v - 4*f - 2, -j*f + 12 = -4*v. Let t = v - -9. Does 5 divide t?
True
Suppose 165 = 8*h - 227. Is 31 a factor of h?
False
Let y(z) = 77*z**2. Let t be y(1). Suppose 5*f + 3*n = -n + t, -5*f = -3*n - 91. Is 6 a factor of f?
False
Let w = 224 - -80. Does 12 divide w/24 + (-4)/6?
True
Let r(m) be the first derivative of -m**5/20 + 5*m**4/12 + 7*m**3/6 + 4*m**2 + 3*m + 2. Let h(x) be the first derivative of r(x). Does 7 divide h(6)?
True
Let m be 2 - (-4)/((-12)/(-9)). Suppose l = q - l - 30, m*l = q - 39. Does 8 divide q?
True
Let i = -220 + 475. Does 17 divide i?
True
Let j(o) be the second derivative of o**5/20 - 7*o**4/6 + 7*o**3/3 + 3*o**2/2 - 3*o. Is j(13) a multiple of 8?
True
Let j = -6 - -9. Let t(y) be the second derivative of y**5/10 - y**4/4 + y**3/2 - y**2 - 2*y. Does 17 divide t(j)?
True
Let z(b) be the second derivative of 2*b**3/3 - 3*b**2 - 3*b. Is z(7) a multiple of 10?
False
Let z(m) = -3*m + 0*m**3 - 6*m - 1 + m**3 - 9*m**2 - 3. Let n be z(10). Is 16/n*(1 - -5) a multiple of 9?
False
Suppose -6*p + 24 = 2*p. Let s be 2*((-2 - -1) + 3). Suppose 6 = 3*o, -s*g - p*o + 88 = o. Is 10 a factor of g?
True
Suppose 4*n - 44 = 216. Is 13 a factor of n?
True
Let b(w) = -4*w**2 - 9*w. Let t(d) = d**2. Let f(v) = b(v) + 3*t(v). Let l be f(-9). Does 17 divide -1 + (l - 0) - -35?
True
Suppose -5*p + 5*q - 15 = 0, 3*q - q - 14 = -2*p. Suppose p*f + n = -n + 46, -8 = -4*n. Is 7 a factor of f?
True
Suppose 0 = 3*p - 9, -5*f + p + 107 = -0*f. Let m be 2/11 - 180/f. Let r(x) = 2*x**2 + 10*x + 4. Is r(m) a multiple of 19?
False
Suppose 0 = -2*l + 4, -116 = -4*f + 2*f - 2*l. Does 6 divide f?
False
Let w = -137 + 236. Is w a multiple of 15?
False
Let y(h) = -h**2 + 6*h + 3. Let n be y(7). Let f(g) = -11*g + 1. Is f(n) a multiple of 15?
True
Suppose -7*j = -3*j - 184. Does 13 divide j?
False
Let g(b) = -14*b**2 - 4 + 13 + 8 + b**3 + 9*b - 8*b. Is 23 a factor of g(14)?
False
Let q(s) = s - 2. Let c be q(4). Let a(m) = 6*m - 3. Let p be a(c). Is 6/p - (-92)/6 a multiple of 12?
False
Let k = -2 + 6. Is 13 a factor of 1/(-2)*(-66 + k)?
False
Let u = 1 + 0. Let s be 238/8 + u/4. Is 12 a factor of ((-28)/(-10))/(6/s)?
False
Suppose -3*j = -2*j - 5. Is 3 a factor of j?
False
Suppose 2*g + 3*q - 95 = 0, 74 - 16 = g - 2*q. Is g a multiple of 7?
False
Suppose 0 = 8*d - 354 + 106. Does 14 divide d?
False
Let b be (5 - 2) + 2 + -2. Suppose b*j - 90 = j. Is 16 a factor of j?
False
Let w(k) = 0 - 3 + 8*k - 2*k - 4*k. Suppose 1 = -4*q - 3, 2*q = 5*b - 37. Is 8 a factor of w(b)?
False
Let l be 3/9 - 321/(-9). Let n = l + -20. Is n a multiple of 6?
False
Let v = -32 - -80. Does 18 divide v?
False
Let d = -15 + 22. Suppose d*f - 63 = 4*f. Is f a multiple of 7?
True
Let z be -13 - -9 - (0 - 2). Suppose -6*t = -t - 10. Is 7 a factor of 17 - ((-10)/z - t)?
True
Suppose 0 = -2*p + 34. Suppose -5*y = 4*d - 6*d + p, -4*y = 2*d - 8. Is 10 a factor of 106/d - 8/12?
False
Suppose 513 = 4*c - 607. Does 28 divide c?
True
Let t(s) = -s + 14. Let o be t(9). Suppose 212 = o*a - 43. Is a a multiple of 26?
False
Let x(m) = m**3 - 14. Let j be x(0). Let k = -4 - j. Suppose 0 = -3*h + 40 - k. Is h a multiple of 5?
True
Let r(x) = x**2 + 6*x - 4. Let p be r(-4). Is (-435)/p + (-2)/8 a multiple of 18?
True
Suppose -5 = t, 5*n - 2*t - 1 = 8*n. Let i(o) = -4*o**2 + 2*o + n*o**2 - 2 + 3*o**2. Is i(-3) a multiple of 5?
True
Suppose -2*p - 62 = -4*f, 3*f - 4*p + 97 = 8*f. Is f a multiple of 13?
False
Let u(s) = 51*s**2 + 1 - s - 2 + 3*s. Let n be u(1). Suppose -80 = -4*o + n. Is o a multiple of 9?
False
Suppose -4*z + 3*t = -1252, 0 = 9*t - 7*t. Is 16 a factor of z?
False
Let d(t) = -t**2 - 5*t + 2. Let b be d(-5). Let g be b/2*(-4)/(-2). Suppose 0 = -3*n - 4 - g, 2*q = -5*n + 8. Is q a multiple of 9?
True
Suppose k - 2*b = 6*k - 9, 3 = 4*k + 3*b. Suppose 0*i + 3*i - 64 = 4*n, -k*i - 4*n = -56. Is i a multiple of 7?
False
Let i be 2/2*(3 + 3). Let c(f) = f**3 - 6*f**2 + 2*f + 6. Is c(i) a multiple of 13?
False
Let i(t) = -t. Let c(x) be the third derivative of -x**5/60 + x**4/24 + 7*x**3/6 + 2*x**2. Let u(y) = c(y) + 6*i(y). Does 3 divide u(-5)?
False
Suppose -7 - 5 = 4*l. Let j = l - -10. Suppose -x = -1 - j. Is 8 a factor of x?
True
Let i(o) be the second derivative of 4*o**3/3 - o**2 - 2*o. Suppose -6*l = -l - 15. Is i(l) a multiple of 11?
True
Let y(j) = 78*j + 4. Does 14 divide y(1)?
False
Suppose n = 5*d - 159, -4*d - 45 = 2*n - 161. Is d a multiple of 12?
False
Let g(c) = -c**2 + 13*c + 32. Does 16 divide g(13)?
True
Suppose j + 2*j - 144 = 0. Suppose -y + 107 = 4*y + n, 3*n - j = -2*y. Is y a multiple of 7?
True
Suppose -3*v + 2 = -112. Does 15 divide v?
False
Suppose -2*w + 71 + 241 = 0. Suppose -3*z - z = -w. Is z a multiple of 11?
False
Let z be ((-69)/6)/((-4)/8). Let s = -16 + z. Does 2 divide s?
False
Does 5 divide 1180/25 + 1/(-5)?
False
Let s(m) = m**3 - 5*m**2 - 5*m + 17. Is 10 a factor of s(7)?
True
Let q = 840 + -552. Is 19 a factor of q?
False
Does 16 divide 10/(-4)*1054/(-85)?
False
Let y(n) = 14*n**3 - 3*n + 2. Does 10 divide y(1)?
False
Let w = 39 - 71. Let x = w + 60. Suppose -2*b = -x - 4. Does 16 divide b?
True
Let h(l) = l**3 + l**2 - 3. Suppose u + 9 = 4*u + 2*q, -4*u - 3*q = -12. Does 12 divide h(u)?
False
Suppose 2*u + 0*u = -b + 85, b + 1 = 0. Does 7 divide u?
False
Let o(h) = h**3 + 4*h**2 - 2*h - 2. Suppose 0 = -2*a - 2 - 2. Let b be o(a). Suppose 4*q - 14 = -t + 16, q = t - b. Does 14 divide t?
True
Let t = -12 + 18. Suppose -314 = -t*o + 214. Is 26 a factor of o?
False
Suppose 186 = -0*r + 3*r. Is r/3 - (-10)/(-15) a multiple of 6?
False
Let a be (3 + (-38)/4)*-4. Suppose v = 2*v - a. Does 18 divide v?
False
Let g(d) = -2*d**3 + 6*d**2 - 5*d + 3. Let u be g(4). Let y = 115 + -24. Let c = y + u. Is 21 a factor of c?
True
Let t = 8 + -8. Suppose 0 = -2*n - t*n + 96. Is 8 a factor of n?
True
Suppose -n + 0*n + 2 = 0. Suppose -3 = -n*z + 19. Let j = z + 3. Is j a multiple of 14?
True
Suppose 444 = 4*t - 4*q, 5*t - 319 = -4*q + 245. Does 16 divide t?
True
Suppose j - 8 = 3*j, -3*s + 216 = -3*j. Suppose 4*x + 0*x = s. Does 13 divide x?
False
Let h = 1076 - 755. Does 47 divide h?
False
Let i be (-2)/((-1 + -5)/(-3)). Let w(x) = -x + 1. Let f be w(i). Is 8 a factor of f/4*9*4?
False
Let s = 51 - 30. Suppose g - 102 = -g. Let f = g - s. Is f a multiple of 11?
False
Let d be 1*(-12)/(-4) - -23. Let j be 2/(-6) + (-130)/(-3). Let i = j - d. Is i a multiple of 8?
False
Let y(a) = -2*a**3 - 3*a**2 + 2. Let m be y(-3). Suppose -2*q = -5*q + 153. Let r = q - m. Does 12 divide r?
False
Suppose w + 4 = 1. Let x be ((-1)/(-2))/(w/(-186)). Suppose 1 = 2*v - x. Does 16 divide v?
True
Let s be 3 + (1/(-3))/(7/(-63)). Let j(f) = -2*f + 6*f - f - 1. Does 17 divide j(s)?
True
Suppose -3*x + 52 = -4*t, -3*t + 86 = 4*x - 0*t. Suppose 8*i = 3*i + x. Suppose -9 = -3*r + 4*p, i*r - 3*p = 13 - 1. Is r a multiple of 3?
True
Suppose 3*o = 2*o + 16. Is 6 a factor of o?
False
Suppose 0 = -4*b - a + 518, b - a - a - 134 = 0. Suppose -3*c + b = 2*c. Is c a multiple of 8?
False
Suppose j + 4*q - 19 = q, 4*q - 48 = -2*j. Is 5 a factor of j?
False
Suppose 0 = -2*g + 3*i + 451, 4*i + 492 - 1344 = -4*g. Is g a multiple of 48?
False
Let y(r) = -2*r - 12. Let o be y(-6). Is 7 a factor of (o/1)/3 - -21?
True
Suppose 0*k = 3*k + 3. Let c be (-1596)/(-18) - k/3. Suppose -5*h - 29 = -c. Is 7 a factor of h?
False
Let i(z) = 3*z + 9. Suppose 0 = c - 6*c - 20. Let k(t) = -2*t - 5. Let x(p) = c*i(p) - 7*k(p). Is x(5) a multiple of 5?
False
Let y be 136/36 + 4/18. Let o = 27 