rue
Suppose -7*k = -24*k + 3077. Does 17 divide k?
False
Suppose 0 = t - 28 + 7. Is t a multiple of 5?
False
Let i be (-4)/10 - 8/(-20). Suppose 3*q - 4*q + 10 = i. Is q a multiple of 9?
False
Let b(y) = -11*y + 2. Is b(-2) a multiple of 4?
True
Let t be 65*-2*(-3)/5. Suppose 4*v - 10 = t. Is 11 a factor of v?
True
Let x = -3 - -7. Suppose 5*p = 2*l - 21 - 39, -4*l = -x*p - 144. Suppose 0 = -i - 2*h + 32, -3*h + 25 = 2*i - l. Is 12 a factor of i?
False
Suppose 4*x + 72 = 4*s, 5*s - 5 = 15. Is -6 - x - (0 - 1) a multiple of 3?
True
Suppose -c + 7*c = 390. Is 10 a factor of c?
False
Is -3 - (-4)/(-4) - -76 a multiple of 18?
True
Suppose o - 26 = -2*o + 5*v, -v - 36 = -5*o. Let n(k) = -k**3 + 7*k**2 + 3*k - 8. Is 3 a factor of n(o)?
False
Suppose 4*m + 8 = -5*t, -4*m + 32 = -t - 4*t. Let q = m - -15. Is q a multiple of 9?
True
Let m(u) = -u + 13. Let q be m(6). Does 9 divide -3*(-6)/9 + q?
True
Suppose -2*g + 3*s - 10 = 0, 5 = -4*g - 3*s + 21. Suppose -2 - g = -c. Suppose 0 = c*a - 0*a - 90. Is a a multiple of 15?
True
Suppose 0 = f - 2, q + 2*q + f = 26. Is q a multiple of 6?
False
Let d(q) = -12*q**2 + 22*q - 6. Suppose -7*h = -3*h - 64. Let f(y) = 4*y**2 - 7*y + 2. Let t(c) = h*f(c) + 5*d(c). Is t(2) a multiple of 14?
True
Let t(u) = -u + 5. Let w be t(-12). Let i = w - 11. Does 17 divide i*((-11)/(-3) + 2)?
True
Let v(b) be the first derivative of -b**3/3 + 13*b**2/2 - 10*b - 2. Does 11 divide v(10)?
False
Let o = -210 - -350. Suppose -q - 37 = -j, -q - 3*q + o = 4*j. Is 18 a factor of j?
True
Suppose -2*v + 43 = -47. Suppose 6*y - y - v = 0. Is 3 a factor of y?
True
Let w be (4/3)/(12/18). Let y(j) = 8*j**2. Is y(w) a multiple of 20?
False
Suppose s - 1 = -3*s - 5*o, 5*o - 4 = -s. Let p = -1 - s. Suppose 4*j - 65 = -3*i - p*j, 3*j = -3. Is 23 a factor of i?
True
Suppose 4*c - 16 = 32. Suppose -c - 3 = -3*w. Suppose -d + 38 = w*o, 2*d + o - 57 = -2*d. Is d a multiple of 5?
False
Let v = 19 - 15. Let r(l) be the third derivative of l**5/60 + 5*l**4/24 - l**3/6 + l**2. Is r(v) a multiple of 12?
False
Let r = 76 - 52. Is 24 a factor of r?
True
Let s be 3/(-21) - 1359/(-7). Suppose 3*k + 2*f - s = 0, 2*k - 5*f - 83 = 21. Is k a multiple of 13?
False
Let k(x) = 2*x - 8. Let h be k(6). Let u = 47 + -31. Let t = u - h. Does 5 divide t?
False
Let j = 129 - 62. Is j a multiple of 7?
False
Is ((-5)/(-2))/(10/440) a multiple of 22?
True
Let j(x) = -4*x + 22. Is 9 a factor of j(-24)?
False
Let t = 35 - 15. Is 14 a factor of t?
False
Let z(x) = x**2 + 6*x - 7. Let f be z(-7). Suppose -51 = -3*d - f*d. Does 10 divide d?
False
Let j(o) = 8*o + 2. Is 4 a factor of j(2)?
False
Let h = 42 - 4. Let j be h/4*(-10 + 4). Let a = j + 95. Is a a multiple of 19?
True
Let w = -8 + 2. Let f(k) be the third derivative of k**5/60 + 5*k**4/24 + 2*k**3/3 - k**2. Is 8 a factor of f(w)?
False
Suppose 2*s + 3 - 9 = 0. Suppose -35 - 136 = -s*m. Does 19 divide m?
True
Let o(f) = -16*f - 6. Let b(z) = -17*z - 6. Let k(a) = -4*b(a) + 5*o(a). Is k(-4) a multiple of 14?
True
Suppose -f = 4*j + 23, 3*j + 0 = -f - 27. Let n = f + 106. Is n a multiple of 18?
False
Suppose -o - 2*h - 2*h + 67 = 0, o - 67 = 4*h. Does 20 divide o?
False
Suppose 3*a = 5*d + 21, -a - 3*d - 10 = d. Suppose 4*z = a*z + 46. Is 9 a factor of z?
False
Suppose -3*b + 2*z = -2 - 9, 5*b + 2*z - 13 = 0. Does 2 divide b*((-14)/(-6) + -1)?
True
Let d be (154/6)/((-2)/(-12)). Is (d/21)/((-4)/(-18)) a multiple of 11?
True
Let r(d) = 6*d**2 + 3*d - 8. Let b be r(-7). Suppose -b = 4*l - 949. Is 16 a factor of (1/(-3))/((-3)/l)?
False
Suppose -28 = 2*a - 4*a. Is (-256)/(-14) + (-4)/a a multiple of 12?
False
Suppose 67 = 4*x - 3*m - 82, 2*x + 3*m - 79 = 0. Does 19 divide x?
True
Suppose 2*m + 27 = -5*s, 2*s + 3*s - 4*m + 21 = 0. Let z = 9 + s. Suppose 4*n - 112 = -n - o, -z*o - 14 = -n. Does 15 divide n?
False
Let n = 21 - 19. Suppose -4*z = -2*l - 100, -n*z + 4*l = -l - 66. Does 23 divide z?
True
Let j(n) = 3*n + 5. Let q(s) = s**2 - s - 2. Let o be q(-4). Let w be (-1)/2 - o/(-4). Is j(w) a multiple of 11?
False
Does 35 divide -5*(-315)/(3 + 2)?
True
Suppose 48 = t - 0*t. Is t a multiple of 16?
True
Let a(k) = k**2 - k + 3. Let w be a(12). Let h(j) = j**3 - 10*j**2 + 9*j - 1. Let b be h(6). Let c = w + b. Is 17 a factor of c?
False
Suppose -64 = -2*q - 16. Does 4 divide q?
True
Suppose -13 - 7 = 5*k. Suppose -4*c = 3*f + 16, -4 = -2*c + 3*c - 3*f. Is (-30)/k - (-2)/c a multiple of 3?
False
Suppose 0 = 2*h - 4 - 68. Is 9 a factor of h?
True
Suppose 0*v = 2*v - 6. Let o be (-8)/6*2*v. Let x(u) = u**2 + 4*u - 3. Does 21 divide x(o)?
False
Let y(j) = 2*j + 2. Suppose -3*g = 1 - 7. Suppose -3*k = g*k - 40. Is y(k) a multiple of 18?
True
Let a(x) = -x**3 - 16*x**2 + x + 32. Is a(-16) a multiple of 8?
True
Suppose -3*r = r + 12. Is r/((-12)/176 - 0) a multiple of 22?
True
Let b(t) = -t**2 - 18*t - 16. Is 32 a factor of b(-8)?
True
Let p(y) = -y**3 + 17*y**2 + 11. Is 11 a factor of p(17)?
True
Suppose 98 = 4*g - 226. Suppose -5*m + 89 + g = 0. Is 17 a factor of m?
True
Let b(a) = -7*a - 2. Let p be b(-11). Suppose 2*n = 7*n - p. Does 15 divide n?
True
Suppose 5*v = 1 - 11. Does 7 divide (16/v)/(2/(-5))?
False
Let b(v) = -v**2 + 2*v - 1. Let u be b(1). Let y = 18 - u. Suppose -y = -3*a + 6. Is a a multiple of 8?
True
Let y be (-3)/((-9)/75) - 3. Suppose -5*b + 3*v - y = -74, 3*b - v = 28. Does 8 divide b?
True
Let t be (-13)/(0 + -1)*1. Let i = t + -4. Let f = 20 - i. Is f a multiple of 11?
True
Let p = -16 + 26. Is p even?
True
Let a(l) = l**2 - 13*l + 7. Is 19 a factor of a(14)?
False
Let f(h) = -3 + 0*h - 3*h + 6. Let t be f(6). Let s = 39 + t. Is 11 a factor of s?
False
Let p(l) = -l**2 + 9*l - 3. Let z be p(8). Let w(x) = -x**3 + 6*x**2 - 3*x - 5. Is 2 a factor of w(z)?
False
Suppose u = 3*p - 3*u + 16, -4*p + 3*u = 19. Let f be (4/3)/(p/(-6)). Suppose -3*x + 16 = -f*x. Is x a multiple of 13?
False
Suppose 2*w - 4*w + 2 = 0, 2*p + 5*w - 15 = 0. Suppose p*s = 6*s - 2. Suppose 40 = s*t + 3*t. Does 3 divide t?
False
Is 48 a factor of (-38 + 19)*-2*42/4?
False
Suppose 3*q + 42 + 3 = 0. Does 7 divide (-6)/q - (-144)/15?
False
Let b be (4/(-3) + 1)*-18. Does 5 divide ((-24)/(-16))/(b/20)?
True
Suppose -h = -6*h + 50. Suppose -4*g - p = -14, 0 = p - 6*p + h. Suppose -g*u + 2 = -5*u, 0 = -i + u + 7. Does 3 divide i?
True
Is 17 a factor of ((-85)/(-4))/((-3)/(-12))?
True
Suppose 4*g + 4 = 88. Is 9 a factor of g?
False
Let a(j) = 3*j**3 + 7*j**2 - 5*j + 8. Let s(c) = -c**3 + c**2 + c. Let g(b) = -a(b) - 4*s(b). Is g(11) a multiple of 3?
True
Suppose 3*f - 2*b = -0*b + 13, 0 = f - 3*b - 9. Suppose -30 = -f*i - 3. Let d = i + -2. Is 5 a factor of d?
False
Let y(m) = -m**3 - 5*m**2 + 9*m + 3. Let s = -3 - -5. Let v be (-7)/2*4/s. Is y(v) a multiple of 19?
True
Let p = 101 + -51. Is p a multiple of 25?
True
Suppose 3*g + v = -3*v + 233, -228 = -3*g - 3*v. Is 18 a factor of g?
False
Suppose 2*o = -o + 2*d + 49, 5*d - 14 = -3*o. Suppose 0 = 2*y + o - 73. Is y a multiple of 30?
True
Suppose -8 = -2*t - 4*x, -3*t = -7*t - 4*x + 16. Let h = 88 + -18. Suppose h = z + t*z. Is z a multiple of 14?
True
Suppose -2*i - 16 = -2. Let r = 14 + i. Is r a multiple of 3?
False
Let z(r) = 3*r + 7. Let o(i) = 2*i + 3. Let s(d) = -5*o(d) + 2*z(d). Is 7 a factor of s(-4)?
False
Suppose w = 3*h + 2*w - 38, 20 = -5*w. Is h a multiple of 14?
True
Let p = -11 - -4. Let j(c) = c + 8. Let i be j(p). Does 2 divide -1*(2 - i)*-4?
True
Let a(i) = 2*i - 8. Let u be a(7). Let s(r) = -r**3 + 8*r**2 - 6*r + 4. Is 20 a factor of s(u)?
True
Suppose 104 = 4*a - 36. Suppose 5*o + a = 245. Let d = 69 - o. Does 20 divide d?
False
Let w = -51 - -73. Let j = 56 - w. Let x = j - 21. Is x a multiple of 13?
True
Does 14 divide 3/(-21) + 226/14?
False
Let r(o) = o**2. Let t be r(0). Let x = 0 - t. Suppose x = -7*q + 3*q + 120. Does 19 divide q?
False
Suppose -5*i = -191 - 29. Is i a multiple of 11?
True
Let o(v) = v + 1. Let r be o(2). Suppose 78 = 5*h - h - 2*z, -41 = -r*h - 2*z. Is h a multiple of 9?
False
Suppose -t + 18 = -26. Does 16 divide t?
False
Let m = -30 - -16. Suppose -n + 22 + 4 = 3*v, 4*v = 4*n - 136. Let u = m + n. Is u a multiple of 18?
True
Suppose 25 = z - 5*w, 0*z - w = -z + 9. Suppose -6*f + 4*g = -f + 5, z*g - 25 = 0. Suppose -5*y + f*c + 55 = 12, 5*c - 20 