 - 7 + 1 = -d*r, -5*f - r = -11. Is f a multiple of 2?
True
Let a(p) = -p**3 - p + 4. Let k be a(0). Let r = k - -35. Does 13 divide r?
True
Let u(j) = -j**2 - 4*j + 7. Let l be u(6). Let z = 12 - 47. Let o = z - l. Does 9 divide o?
True
Let c(l) = 19*l**2 + 3*l - 1. Does 17 divide c(2)?
False
Let z be (2 + -4)/2*-3. Suppose 0 = -2*w + z*u + 26, 4*w + 4*u - 38 - 14 = 0. Let c = -4 + w. Does 4 divide c?
False
Let c = 1 - -1. Suppose 55 = -c*f + 3*f. Let m = -39 + f. Is 14 a factor of m?
False
Let q(k) = 2*k**2 + 4*k - 7. Let r be q(7). Let l be (-3 + -1 - -2) + r. Let c = l + -80. Does 13 divide c?
False
Let p be 26/39 + 127/3. Let d be (2/(-2))/(1/16). Let k = d + p. Is 12 a factor of k?
False
Let r be (20/15)/(1/3). Does 2 divide r/12*(12 - 3)?
False
Suppose 0 = -2*w + 80. Is w a multiple of 40?
True
Suppose 2*c - 5*c + 272 = 4*l, 215 = 3*l + 5*c. Is l a multiple of 13?
True
Suppose 0 = -m - m + 16. Let y(r) = -r**3 + 9*r**2 - 7*r + 12. Is 10 a factor of y(m)?
True
Suppose b + 3*b - 64 = -s, 0 = -b - 3*s + 5. Does 2 divide b?
False
Does 14 divide (3/(-5))/(5/(-475))?
False
Let q = -8 + 5. Does 13 divide q/(-4 + 1)*33?
False
Suppose 0 = 2*i - 7*i + 345. Does 10 divide i?
False
Suppose -2*u + 0*u + 2 = 0. Is 4 a factor of u + 1 + 11 - -1?
False
Suppose 3*q + 5*h = h - 5, h = -3*q + 10. Suppose -3*i - 124 = -q*i. Is 17 a factor of i?
False
Suppose -540 = -v - 100. Does 44 divide v?
True
Suppose 21 = 5*i - 64. Is 5 a factor of i?
False
Let n(w) = -w**3 + 10*w**2 - 10*w + 9. Let s(y) = -9*y. Let m be s(-1). Let v be n(m). Is 4 a factor of (4 - v) + (-2 - -2)?
True
Let x(p) = p**3 + 9*p**2 + 3*p + 9. Does 32 divide x(-6)?
False
Let f = 49 + -15. Is f a multiple of 10?
False
Let j = -18 - -13. Let v(m) = 4*m - 4*m**2 + m**3 + 10*m**2 - 3 + 1. Is v(j) even?
False
Let g = 6 + -4. Let x be 14/g - (-4)/2. Suppose k = 4*k - x. Is k a multiple of 3?
True
Let s be 6/4*(-80)/15. Let r(t) be the second derivative of t**5/20 + 3*t**4/4 + 5*t**3/6 - 4*t**2 + t. Is r(s) a multiple of 10?
False
Let n(t) = 3*t**2 - 3*t - 3. Let l be n(-2). Is l/3 + 1*-2 even?
False
Is 25 a factor of (-1)/(-2) + 395/2?
False
Let q = 71 + -49. Suppose t - q = -6. Does 16 divide t?
True
Suppose -2*j + 3*w = -j - 4, 2*j = -3*w - 1. Suppose d - j = 1. Suppose -4*a + 6*a = 5*p + 20, -a + d*p + 12 = 0. Does 7 divide a?
False
Suppose 4*u = u + 9. Suppose 5*m = 2 + u. Suppose 45 = q - m. Is 23 a factor of q?
True
Let n = -174 + 226. Is 7 a factor of n?
False
Let h = -24 - -67. Is h a multiple of 15?
False
Let t(a) = 4*a + 9. Let j be t(-3). Let k(y) = -y**2 + y - 2. Let r be k(-2). Let o = j - r. Is 3 a factor of o?
False
Suppose 5*x - 435 = -t, 3*t - 69 - 4 = -x. Is x a multiple of 8?
True
Suppose u - 3*o + 5*o - 2 = 0, 4*u + o = 29. Let h(x) = 4*x**2 - x. Let d be h(1). Suppose 3*m + d*r - 12 = 0, 4*m - 5*r = 2*m + u. Is m even?
True
Let u = -28 - -82. Is u a multiple of 19?
False
Suppose -4*g = 4*f - f - 1717, -2*g = -2*f - 848. Is 32 a factor of g?
False
Let x be (-4540)/16 + 2/(-8). Let i = -109 - x. Suppose i = 5*q - 8*l + 3*l, 0 = -q - 3*l + 15. Is q a multiple of 10?
True
Let w be (8/12)/((-2)/(-24)). Suppose n = 3*o - 25 + w, -4*o = 3*n - 1. Suppose -2*v + 75 = -o*l - 65, -2*v + 2*l = -132. Is 22 a factor of v?
False
Let w = -5 - -11. Let s = w - 3. Let t(d) = 7*d**2 - 4*d + 1. Is t(s) a multiple of 26?
True
Suppose o + r + 3*r + 33 = 0, 2*o + 5*r = -57. Let j = -9 - o. Does 4 divide j?
True
Suppose 3*i = -3*h + i + 392, 0 = h - 4*i - 140. Is 11 a factor of h?
True
Suppose 5*s = 5*l - 30, 2*l - 36 = -2*s - 12. Suppose -3*j + l = -0*j. Is 2 a factor of j?
False
Suppose 0*f = -f + 37. Let w = f + -19. Is w a multiple of 18?
True
Let x(y) = -4*y - 8. Is x(-30) a multiple of 8?
True
Let g(j) = j**3 + j**2 - 9*j - 6. Is 12 a factor of g(7)?
False
Let w(n) = -2*n - 18. Does 12 divide w(-15)?
True
Suppose 0 = -5*l - 31 + 121. Suppose -5*p - d + 90 = 0, p - d + 0*d = l. Does 5 divide p?
False
Suppose 3*n = 5*n - v - 61, 49 = 2*n + 3*v. Is n a multiple of 6?
False
Suppose -k - 4 = -4*b, 4*k + 3*b = -0*k + 22. Suppose 0 = -2*d - k*a + 78, -4*d - a + 159 = d. Is d a multiple of 13?
False
Let j(w) = w**2 + 1. Let p be j(-2). Suppose -p*i = -153 - 167. Suppose 5*m - 42 = 3*z + i, 3*m - z = 62. Is 10 a factor of m?
True
Suppose -17*w + 21*w - 800 = 0. Is 39 a factor of w?
False
Suppose 0 = -4*z - z. Suppose -5*u - 2*b + 100 = z, 5*u + b = -2*b + 95. Is 11 a factor of u?
True
Suppose -20 - 5 = -5*n - 2*q, -4*n = -2*q - 2. Suppose -2*m - n*m = -30. Does 3 divide m?
True
Suppose 675 = 5*i + 240. Does 28 divide i?
False
Suppose 0*o = -5*o - 2*w - 92, 2*w - 16 = o. Is (o/(-3))/((-4)/(-14)) a multiple of 21?
True
Suppose -34 = -6*g + 26. Does 3 divide g?
False
Suppose 3*n - 5*n + 58 = 0. Is 10 a factor of n?
False
Let k be 435/(-6) - (-2)/4. Let t = -49 - k. Let v = -10 + t. Is 13 a factor of v?
True
Let n(i) = -147*i**3 + 3*i + 1. Is 29 a factor of n(-1)?
True
Suppose 4*g + 2 - 26 = 0. Let j(u) = u**2 - 3*u - 7. Is 11 a factor of j(g)?
True
Suppose 4*b - 5*g = 463 + 353, 4*b - g = 816. Is 34 a factor of b?
True
Is 35 a factor of 3/((-890)/(-175) - 5)?
True
Let v be 672/9 + (-4)/6. Suppose 0 = -q - 4*w + 28 + 4, 0 = 4*q - 2*w - v. Suppose -3*g - q = -74. Is 18 a factor of g?
True
Is (-1)/3 + (-368)/(-6) a multiple of 21?
False
Suppose 0*r - 2 = -r, 0 = -5*w + 3*r + 39. Does 7 divide w?
False
Let y(w) = 4*w**2 - w + 1. Let q be y(1). Suppose -q*i - 5*k = 8, -2*i + i - 2*k = 2. Let u = 25 + i. Does 16 divide u?
False
Let o = 6 - 4. Suppose -6 = -o*c + 14. Does 6 divide c?
False
Let z be 5 + (0/1 - 1). Suppose 0 = 2*v + a - 89, -57 = -v - z*a - 2. Is v a multiple of 16?
False
Suppose 0 = -3*i + 5*j + 17, 3*i + j = -3*j + 8. Suppose i*v = 7 + 9. Suppose -5*f = -5*u - f + 14, v*u + f - 28 = 0. Is u a multiple of 6?
True
Let l = -147 + 345. Is l a multiple of 20?
False
Suppose -2*x - 28 = 5*d, -5*x + 0*d - 51 = 3*d. Let m be (-39)/x*(-18)/3. Let n = -16 - m. Is 10 a factor of n?
True
Let t(c) = c**2 - 5*c. Let u be 26*(-3)/18*-3. Let p = u + -7. Is 6 a factor of t(p)?
True
Suppose 0 = 3*c - 2*g - 260, -2*c = -c + 2*g - 100. Is c a multiple of 15?
True
Let x be ((-3)/2)/(1/(-2)). Suppose -u = 5*h - 47, h + x*h = 3*u - 160. Suppose y + 3*y - u = 0. Is 5 a factor of y?
False
Suppose -5*c = -2*k - 16 - 49, -2*k = 3*c + 41. Let q = 42 + k. Suppose -6 + q = i. Is 11 a factor of i?
True
Let m = -5 + 7. Suppose 5*y + m*a - 117 = 5*a, 5*a + 43 = 2*y. Is 12 a factor of y?
True
Suppose 6*o - 5*o - 35 = 0. Suppose -2*i + 6*i + 5*s = 9, 2*i + 4*s = 0. Suppose v + i = o. Is 10 a factor of v?
False
Let a = -103 - -157. Suppose -4*z = -3*z - 3. Suppose 6*n - z*n = a. Is n a multiple of 13?
False
Does 34 divide (1/(-1))/(5/85)*-2?
True
Let n(s) = -s**2 - 6*s - 7. Let q(x) = x**2 - 5*x - 1. Let p be q(4). Let j be n(p). Let v(w) = -w**3 + 4*w + 3. Does 2 divide v(j)?
False
Let o(m) = 24*m - 4. Let v be o(4). Suppose -19*f = -16*f + 4*a - 174, 3*f = -5*a + 171. Let d = v - f. Is d a multiple of 15?
True
Suppose a = 4*x - 20, 0*x + 4*x - 8 = -2*a. Let f(i) = x*i**2 + 2 - 2*i**2 + 4*i - 2*i. Is 6 a factor of f(-2)?
True
Suppose -5*h = 2*y - 1086, y - 3*y - 3*h + 1090 = 0. Let x be y/12 - 2/3. Suppose 0 = 2*w + w - x. Is w a multiple of 13?
False
Let n = -5 - -10. Does 2 divide n/1 + (2 - 5)?
True
Suppose 3*d = 5*y - 2*y - 99, 4*y = 5*d + 135. Is 6 a factor of y?
True
Suppose 5*a + 174 = 5*j - 3*j, 0 = -2*a. Is j a multiple of 7?
False
Let x be 78/(-4) + 4/(-8). Let v be 192/x*(-20)/6. Suppose w - v = -3*w. Does 4 divide w?
True
Let u be -1*(1 + -3)*226. Suppose -5*c = -3*g + u, 5*c + 596 = 2*g + 2*g. Is (-4)/14 + g/14 a multiple of 6?
False
Let o = 66 + -111. Does 13 divide (-706)/(-18) - (-10)/o?
True
Let j = 80 - 24. Suppose j = 3*g + g. Is g a multiple of 4?
False
Suppose 3*c - 8 = -c. Let n(g) = 0*g + 2*g**2 + 9 + 4*g**c - 8*g + g**3 + 0*g**3. Is 16 a factor of n(-7)?
True
Let x(w) = 2*w**2 + w - 6. Is 13 a factor of x(-5)?
True
Let z = -9 + 4. Let v = z - -19. Is 14 a factor of v?
True
Let z(y) = y + 30. Does 5 divide z(-5)?
True
Let v(p) = p**3 - p**2 + 1. Let w be v(-1). Let b = 3 + w. Does 10 divide (-177)/(-12) - b/(-8)?
False
Let x be -1 + -1 + 6 + 1. Suppose -x*p = -3*b - 33, 4*p - 5*b = p + 23. Is -26*3/p*-2 