ide v/2 - (1 + 0)?
True
Let t = -11 + 15. Suppose -t*o + 202 + 82 = 0. Is o a multiple of 20?
False
Suppose k = -4*c + 143, -3*c + 5*k + 63 + 50 = 0. Suppose -5*p - w = 2*w - c, -2*p + w = -21. Let s = 48 - p. Is 14 a factor of s?
False
Let w be (15/1)/(6/8). Suppose -2*m - u + 2*u = -w, -3*m - 3*u = -12. Is 8 a factor of m?
True
Let y = 1 + 1. Suppose 0 = y*u - 10 - 2. Does 6 divide u?
True
Let r(k) = k**3 + 7*k**2 + k + 9. Let q be r(-7). Does 6 divide 8 - 1/(1/q)?
True
Let y be 1 - 5/(5/(-36)). Let x = y + -23. Is 14 a factor of x?
True
Let t(f) = 0*f + 7*f**2 - 6 + f**3 - f**3 + f + f**3. Does 24 divide t(-6)?
True
Let d(z) = z + 1. Let q be d(2). Suppose 4*r + 4 = q*r + 5*x, 4*r - 20 = 2*x. Suppose 0 = l + f - 10, -2*f = l - r - 0. Is 13 a factor of l?
False
Let u = -7 + 35. Is 10 a factor of u?
False
Let a(r) = r**2 - 6*r + 2. Let h be a(6). Suppose -h*d + 0 - 2 = 0. Let q = 4 - d. Is 5 a factor of q?
True
Suppose 0 = 3*a + 5*j - 7, -4*a - 2*j = -a - 19. Let z = 17 - a. Is 8 a factor of z?
True
Let g be 72*(44/12 - 3). Suppose 3*t - 198 = -g. Is t a multiple of 11?
False
Suppose 313 = o + 5*k, -5*o + 2*o - 4*k + 884 = 0. Does 16 divide o?
True
Suppose -1 = -c + 2. Suppose -2*d - 11 = -c. Is 4 a factor of (34/d)/((-4)/8)?
False
Suppose -4*x - 26 = -2*z, 5 = -3*z - 3*x - 1. Suppose -j = -z*b - 18, 3*b = j + 2*j - 48. Does 15 divide j?
True
Let n be 5/(-2)*8/(-10). Suppose -3*r - j = -4*r + 34, 4*r = -n*j + 136. Is r a multiple of 15?
False
Let a(v) = -v**2 + 5. Let f be a(0). Suppose 2*h - 26 = -o, -3*h + 79 = -f*o + 209. Is o a multiple of 17?
False
Let u = -1 + 5. Suppose 2*p = 5*a - 188 + 69, 2*p - 106 = -u*a. Let l = -14 + a. Does 5 divide l?
False
Let v = 31 - -8. Suppose 0 = 3*b - 2*b - v. Is 9 a factor of b?
False
Suppose -2*q = -i + 2*q - 1, -3*i + 2*q - 23 = 0. Does 20 divide (-191)/i - 2/9?
False
Is 10 a factor of (-3 - 1006/(-6)) + 3/9?
False
Let h(x) = -x**2 + 7*x - 2. Let i(y) = -y**2 + 2. Let n be i(3). Let w = 10 + n. Is h(w) a multiple of 10?
True
Let k(r) = r**2 - 2*r + 1. Let l be k(1). Suppose -h - h + 26 = l. Is h a multiple of 8?
False
Let p(m) = m - 9. Let v be p(12). Let z(b) = -b**3 - b**2 + b. Let l be z(0). Suppose l = -2*u - 2*c + 26, -v*c - c = -4. Is u a multiple of 10?
False
Let z = 38 + -37. Let c = 4 + 1. Let x = z + c. Is 4 a factor of x?
False
Let t = -18 + 25. Let k = t - -90. Suppose -2*u - 29 = -k. Is u a multiple of 17?
True
Let i(m) = -m**2 - 2*m. Let b be i(-2). Suppose b = -4*o - 4*x + 72, 67 = 4*o + x + 2*x. Does 13 divide o?
True
Let z = 40 - 25. Is 2 a factor of z?
False
Is (11/2)/((-5)/(-10)) a multiple of 4?
False
Let o(q) = 39*q + 2. Is 20 a factor of o(2)?
True
Suppose -6*j + 2*j = 0. Suppose j = 8*b - 3*b - 10. Is 8 a factor of (-8)/(1/b*-2)?
True
Suppose 5*j + w - 570 = -w, 0 = -5*j + w + 570. Is 38 a factor of j?
True
Let d(j) = j**3 + j**2 - 3*j + 3. Let q be d(2). Suppose -p = q - 48. Does 14 divide p?
False
Let m = -9 + -2. Suppose 3*d = -3*w - d, 4*w = -2*d. Let y = w - m. Is y a multiple of 4?
False
Let k(x) = x - 5. Let d be k(5). Suppose d = 2*v + v - 105. Let t = 60 - v. Is t a multiple of 12?
False
Suppose -2*p = -5 + 1. Suppose p*o = 11 + 1. Does 6 divide o?
True
Let g(o) be the first derivative of o**3/3 - 5*o**2/2 + o - 3. Does 7 divide g(6)?
True
Let q = -24 - -101. Is 22 a factor of q?
False
Let a(g) = 20*g**2 + 41*g - 12. Suppose 0 = l + 3*l + 24. Let v(k) = -7*k**2 - 14*k + 4. Let j(u) = l*a(u) - 17*v(u). Is 9 a factor of j(-6)?
False
Let c be (0/(-3))/(-2 - -4). Suppose -4*k + k + 6 = c. Let p = k + 6. Is p a multiple of 5?
False
Let n = 13 - 14. Is 31 + n + -3 + -3 a multiple of 22?
False
Let p(f) = -34*f + 70. Is p(-11) a multiple of 18?
False
Suppose -y = 4*v - 3*v - 40, y + 2*v - 38 = 0. Is 6 a factor of y?
True
Suppose 3*a - a = 440. Suppose w = -3*o + a, 0*o - 5*o - 795 = -4*w. Suppose -w = -5*z - 45. Does 16 divide z?
True
Let s be (0 - -1) + (-17)/(-1). Let b(n) = n**3 + 10*n**2 - 12*n - 7. Let r be b(-11). Suppose r*l - 2 - s = 0. Is l a multiple of 2?
False
Let j(y) = y + 8. Let c be j(-8). Suppose 3*g - 138 = -c*g + 3*a, 3*a + 44 = g. Is 10 a factor of g?
False
Let t = -27 + 17. Is (-68)/(-10) + (-2)/t a multiple of 7?
True
Suppose -3*v - 102 = -4*q - v, -3*q + 81 = -3*v. Is q a multiple of 12?
True
Suppose 0 = -7*r + 2*r + s + 20, -35 = -2*r - 5*s. Let g be 2/r - (-16)/10. Does 17 divide 1/(g - (-243)/(-123))?
False
Suppose 0 = 4*v - 4 - 4. Suppose -v*i = -7*i + 10. Does 16 divide (i/5)/(1/40)?
True
Let q be 1*(-5)/(10/4). Let u = 6 - q. Suppose x - u = -x. Does 3 divide x?
False
Suppose 0 = -3*m - u + 93, 2*m - 62 = -5*u + 2*u. Is m a multiple of 10?
False
Let j(z) = 6*z**2 + 5*z + 1. Let i be j(-4). Let h = i + -4. Is 19 a factor of h?
False
Suppose 4*h - 4*f - 1200 = 0, 3*f - 2*f - 298 = -h. Is 46 a factor of h?
False
Suppose 4 = d - 4*t + 2*t, d + 2*t - 4 = 0. Suppose 4*z = u + 4*u - 121, -4*u + 104 = d*z. Does 25 divide u?
True
Suppose 3*p - 27 - 26 = -5*n, -3*p - 4*n + 58 = 0. Is p a multiple of 5?
False
Is 25 a factor of (-6 - 200/(-35)) + (-368)/(-14)?
False
Let w = -122 - -226. Is 27 a factor of w?
False
Suppose 4*b - 3*b - 2*x - 104 = 0, 4*x = -b + 116. Is b a multiple of 26?
False
Suppose 18 = -2*n - n. Let w = -2 - n. Does 4 divide w?
True
Suppose -4*x = -2*r + 10, 0 = -r + 6*r + 5*x - 25. Suppose 5*p = -r + 40. Suppose p + 53 = 3*i. Does 10 divide i?
True
Let s be 0/(-2) + 0 + 2. Let n = s + 9. Let w = 18 + n. Is 14 a factor of w?
False
Let d be (2/1)/((-6)/(-177)). Suppose 66 = 5*f - 3*o - d, -3*f + 2*o = -76. Is f a multiple of 22?
True
Let l = -214 + 449. Is 29 a factor of l?
False
Let d be 6/14 + 936/(-28). Suppose -4*v - 5*f = 191, 0*v + f - 59 = v. Let m = d - v. Is 7 a factor of m?
True
Suppose 99 = g - 4. Suppose 2*t + 9 - g = 0. Does 15 divide t?
False
Let n(s) = s**3 + 12*s**2 + 10*s + 4. Let z be n(-11). Is 135*(36/z + -2) a multiple of 18?
True
Let f be (-506)/9 + 20/90. Is 2 a factor of (-16)/f + (-12)/(-7)?
True
Let u(h) = -h + 12. Let q be u(9). Let r = 17 + q. Is 9 a factor of r?
False
Let x = 38 - 14. Let r = x - -20. Let b = 69 - r. Does 25 divide b?
True
Let x = 78 - 3. Is x a multiple of 30?
False
Let p be (-3 - 1)*(-2)/(-4). Let y be (p/(-8) + -1)*8. Does 13 divide 2*18 + y/2?
False
Suppose -2*x = -i + 35 - 15, i - x = 17. Is i a multiple of 7?
True
Let v(m) = -5*m + 11. Suppose 0 = -2*z - 7 - 5. Let w(n) = 3*n - 6. Let i(a) = z*v(a) - 11*w(a). Does 3 divide i(-1)?
True
Let j be 2/(-8) - 13/(-4). Suppose j = s + 1. Suppose 1 + 7 = s*m. Is m a multiple of 3?
False
Is 2/7 - 122/(-14) a multiple of 4?
False
Let o(k) = -k**2 - k - 1. Let d(y) = 9*y**2 + 11*y + 10. Let c(n) = d(n) + 6*o(n). Suppose 15 = 3*l - 8*l. Is 16 a factor of c(l)?
True
Let d = 11 + -13. Let o = -3 + 27. Is 8 a factor of o - (0/2 - d)?
False
Suppose 367 = 4*h + 127. Is 4 a factor of h?
True
Let m be 339/15 - (-4)/10. Let j = m + 40. Let r = j - 20. Does 19 divide r?
False
Let p(y) = -y**3 + 9*y**2 + 10*y + 4. Let t be p(10). Suppose 0 = t*d - 0*d. Suppose d = 4*f - 14 - 46. Is f a multiple of 15?
True
Suppose 2*h = 2*o - 132, -4*o + 299 = -0*h + 3*h. Is 17 a factor of o?
False
Suppose -c - 5*n + 3*n = -26, -3*n = 5*c - 109. Does 4 divide c?
True
Let w(f) = 46*f - 2. Is w(2) a multiple of 18?
True
Suppose -307 - 89 = -6*u. Does 6 divide u?
True
Let f(i) = 14*i - 11. Is f(3) a multiple of 8?
False
Suppose -4*x + 193 = 5*k + 35, -5*x - 117 = -3*k. Is k a multiple of 5?
False
Let w = -8 - -30. Is w a multiple of 22?
True
Let p(l) = 7*l - 13. Does 18 divide p(7)?
True
Let s(v) = 26*v - 1. Suppose -4*i + 23 = -x, -2 - 16 = -3*i + x. Let t = i + -3. Does 18 divide s(t)?
False
Let t(z) = -z**3 + z**2 - z. Let k be t(0). Let r(b) = b**2 + 2*b - 5. Let g be r(-4). Suppose g*w + 2*w - 80 = k. Is 8 a factor of w?
True
Suppose -2*l + 13 = x, -3*l - 3*x + 37 = 2*x. Suppose -l*w = -0*w - 196. Is w a multiple of 19?
False
Suppose 3*h - 2*h = -4*t + 493, 5*h = -3*t + 374. Is 14 a factor of t?
False
Suppose -p + 11 = 4*j, 2*j + 2*p = j + 8. Suppose -z + 4*u = -10, 2*u + 2*u = j*z - 24. Is 15 a factor of (24/(-7))/((-2)/z)?
False
Let w(c) = 4*c**2 - c + 6. Let b be w(-6). Suppose -2*k - b = -6*k. Does 13 divide k?
True
Let b = 116 - 78. Suppose -109 = 4*p - 1. Let k = b + p