ve of -3*q**5/20 - q**4/3 - q**3/3 - 3*q**2/2 + 6*q. Is f(-3) a multiple of 24?
True
Suppose 16 + 12 = 4*c. Suppose u - 4*q - 4 = 2*u, -3*q + c = 2*u. Is u a multiple of 4?
True
Let q(l) = l - 8. Let c be q(-2). Suppose 0 = 3*k + 5*y + 3 - 103, 0 = k + y - 32. Let f = c + k. Does 14 divide f?
False
Let u(s) = -s**3 + 3*s**2 + 3*s - 3. Let x be u(5). Let d = x - -86. Does 16 divide d?
True
Suppose 12 = -3*l - 9. Let o be l/(1/16*-2). Suppose -4*c - 5*z + o = 0, -2*z - 20 = -5*c + 50. Is c a multiple of 14?
True
Is 19 a factor of (108/90)/(3/190)?
True
Suppose 2*g + 29 = 5*y, 0*g + g - 3 = -y. Suppose -21 = -y*b + 14. Does 5 divide b?
False
Is 16 a factor of 109 + (-14)/(-7)*3/(-2)?
False
Let r(s) = 65*s - 1. Let p be r(1). Let y = p - 26. Does 16 divide y?
False
Let q = 5 - 8. Let a be 0 + 5 + q + 2. Suppose -f = -4*x - 36, 4*x + 114 - 18 = a*f. Does 7 divide f?
False
Suppose 0 = t + 6 - 70. Is t a multiple of 13?
False
Let m = -33 + 47. Suppose 3 + 1 = 2*v. Suppose -q - m = -v*q. Is 7 a factor of q?
True
Suppose 4*n = 74 + 18. Let l = 47 - n. Is 12 a factor of l?
True
Suppose 4*w - 10 = 2*z, 5*w + 6*z - 17 = 4*z. Suppose 4*m + s - 25 = 0, -w = -m + s + 2. Let r = m + 8. Does 7 divide r?
True
Suppose k - 4 = -k. Let d be -2 - -2*k/(-4). Does 2 divide (d/(-9))/((-2)/(-12))?
True
Suppose 7 = -2*x - 3, 4*l - 158 = 2*x. Suppose -l = -2*n + 7. Does 10 divide n?
False
Suppose -c + 6 + 5 = 0. Let t be (-160)/(-30) - (-1)/(-3). Suppose -169 = -t*m + c. Does 18 divide m?
True
Let h = -9 + 7. Let j = 141 - h. Suppose 53 = 4*b - j. Is b a multiple of 18?
False
Suppose 0*n + 2*n = p + 372, -4*n + 768 = 4*p. Does 30 divide n?
False
Suppose -4*m + 54 = -m. Is 9 a factor of m?
True
Suppose -2*r - 5*g = -110 + 24, g - 190 = -4*r. Is 17 a factor of ((-32)/r)/((-4)/402)?
False
Suppose 223 = 4*b + 5*z, -b + 2*z + 53 = 6*z. Is b a multiple of 10?
False
Does 10 divide 168 + (-32)/(-14) + (-8)/28?
True
Let c = -55 + 137. Let u = c - 31. Is u a multiple of 17?
True
Suppose 3*k - 4*z + 3 = -0, 4*z - 12 = 0. Suppose 34 = k*h + 4*r - 184, -4*h + 269 = r. Does 21 divide h?
False
Suppose -5*d + 4 + 11 = 0. Let w be d/(11 - 2)*9. Suppose -w*q + 74 = -4*c, 4*q - 105 = 4*c - 9. Is 11 a factor of q?
True
Suppose -4*y = 227 - 627. Suppose -5*b = -0*b + 5*f - y, -5*f = -2*b + 54. Is b a multiple of 16?
False
Suppose -n + 4*n - 3*r - 24 = 0, 4*r + 12 = 0. Suppose -m = -n*m. Suppose 2*t + x - 30 = -3*x, 4*t + x - 53 = m. Is t a multiple of 6?
False
Let m be (-32)/(-10) + 8/(-40). Suppose v - 39 = -m*a, 4*v - 122 = -a + 6*a. Does 8 divide v?
False
Suppose 0*y = 2*y + 6. Let j be (y + -5)/(-1*1). Let b = 14 - j. Does 4 divide b?
False
Let f(l) = -58*l - 1. Let w be f(-1). Let t = -41 + 14. Let k = w + t. Is 10 a factor of k?
True
Let k(c) = 21*c**3 - 2*c**2 - c + 2. Is 20 a factor of k(1)?
True
Let l(r) = -r**3 + 5*r**2 + 3*r - 3. Let q be l(4). Suppose t = 4*w - 152, 107 = -w + 4*w + t. Let m = w - q. Is 6 a factor of m?
True
Suppose m = -5*i - 3*m - 198, 3*m - 9 = 0. Let g = i + 78. Is 12 a factor of g?
True
Let j be (-2 - -5) + -7 + 3. Is 20 a factor of (-9 - j)/(4/(-20))?
True
Let u(b) = -23*b - 2. Let p(l) = l**3 + 8*l**2 - 8. Let w be p(-8). Let m(a) = 15*a + 1. Let c(k) = w*m(k) - 5*u(k). Is c(-5) a multiple of 12?
False
Let p be (-66)/(-18) + 1/3. Let o be p/22 + (-488)/22. Is 14 a factor of (-876)/o - 4/(-22)?
False
Suppose 5*u + 6 = 2*s - 64, 3*s - 98 = 4*u. Is 10 a factor of s?
True
Let i(k) = -k + 3. Let m(x) = 1. Let q(l) = i(l) - 2*m(l). Let y be 2 - 0/2 - 6. Is 4 a factor of q(y)?
False
Let t be (-4)/22 + (-36)/44. Let q(o) = -2*o**2 + o**2 + 25*o**2 - o. Is q(t) a multiple of 7?
False
Suppose m + w + 1 - 3 = 0, 5*m + 4*w - 12 = 0. Let x(l) = 4 + 4*l - m - 2. Is x(5) a multiple of 9?
True
Suppose -2*v - 4*p = -174, 5*v - 8*p - 510 = -3*p. Let s = v + -51. Is s a multiple of 7?
False
Let p(n) be the second derivative of n**4/4 + 2*n**3/3 - 3*n**2/2 + n. Let j = -7 - -9. Is p(j) a multiple of 17?
True
Does 8 divide (4*-2)/(7/(-14))?
True
Let i(u) = -u**2 - 16*u - 15. Does 15 divide i(-6)?
True
Suppose 4*o = r, -2*o + 2*r = -o + 7. Let c(q) = 5*q**3 + q**2 - 2*q + 1. Is c(o) a multiple of 2?
False
Let y = -8 + 10. Suppose -y*t = t - 93. Is t a multiple of 23?
False
Let m(h) be the first derivative of 3*h**4/4 - h**3 + h**2 - 3*h - 2. Is 13 a factor of m(2)?
True
Let c = 154 + -74. Is c a multiple of 20?
True
Suppose -5*y = 5*s - 50, y + 10 = 5*s - 4*y. Is 6 a factor of 242/8 - s/24?
True
Let o(p) = -p**3 - 7*p**2 - 10*p - 8. Is o(-6) a multiple of 8?
True
Suppose 3*x + 9 - 43 = -4*f, -11 = -2*x - 5*f. Let d(a) = a**2 - 3*a + 4. Let t be d(3). Suppose -x = -t*w + w. Is 3 a factor of w?
True
Suppose 2*c - 145 = 275. Suppose 3*l + 2*l = c. Is 16 a factor of l?
False
Suppose 2*j = -j + 12. Let h(l) = l**2 - 5*l + 6. Let r be h(j). Suppose -r*g = -20 - 2. Does 11 divide g?
True
Suppose 24 = 3*v - 39. Is v a multiple of 16?
False
Let w(o) be the second derivative of o**5/20 + 9*o**2/2 - 3*o. Is w(0) a multiple of 7?
False
Let x = 66 - 44. Does 5 divide x?
False
Let j = 0 - -2. Suppose -j*q + 56 = -24. Is q a multiple of 19?
False
Suppose -5*f = 3*o - 519, 4*f + 32 = o - 124. Is o a multiple of 28?
True
Suppose 4*y = -6*j + 4*j + 484, -j = -2*y + 238. Is y a multiple of 12?
True
Suppose 3*q + 3 = -0*q. Let j be q/(-2) + 45/6. Let d = 12 + j. Is d a multiple of 10?
True
Let f be 3 + -3*4/3. Let q = f + 1. Suppose 2*i = -2*d + 28, -5*d + 10*d - 2*i - 105 = q. Is d a multiple of 19?
True
Let v = 13 - 10. Suppose l = -a, -3*a - 4*l = -2*l - v. Let g = a + 21. Is g a multiple of 8?
True
Let d(q) be the second derivative of q**5/60 - q**4/12 - q**3/2 + q**2/2 - 2*q. Let k(s) be the first derivative of d(s). Does 16 divide k(-5)?
True
Let k(i) = i**3 - 5*i**2 - 2*i + 7. Does 17 divide k(7)?
False
Let p(i) = 29*i - 13. Let b(g) = 7*g - 3. Let v(u) = 26*b(u) - 6*p(u). Let d be v(1). Let z = d + 0. Is z a multiple of 3?
False
Let h(o) = -o + 4. Let s be h(-3). Is 3 a factor of (10/(-8))/(s/(-28))?
False
Suppose -5*v + 5*s = -2*v - 44, 72 = 4*v - 4*s. Suppose 5*i + 3*y - 12 = v, y = -5. Is 10 a factor of i?
True
Let b = -3 - -5. Suppose -b*f = -23 - 3. Does 5 divide f?
False
Suppose -12*x + 311 = -277. Does 7 divide x?
True
Let y(i) be the third derivative of 7*i**4/24 - 3*i**3/2 + 6*i**2. Is y(9) a multiple of 18?
True
Suppose 0 = 5*p - 5 - 40. Is (-54 - p)/(3/(-2)) a multiple of 13?
False
Let x = -4 + 11. Suppose 3*r + a = 42, r + x - 21 = 3*a. Is r a multiple of 7?
True
Is 8/4 + 15 - -4 even?
False
Let y = 6 - -28. Does 17 divide y?
True
Suppose 0 = 22*f - 18*f - 404. Is f a multiple of 13?
False
Let t = -9 - -6. Is 2 - 0 - (-36 - t) a multiple of 9?
False
Let m = 0 + 22. Let k = m + -13. Does 5 divide k?
False
Suppose -2*u - 115 - 129 = y, 5*u + 3*y = -610. Is u/(-5) + (-12)/(-20) a multiple of 8?
False
Suppose -4*p - 5*v = 116 - 793, 2*v = 3*p - 502. Is 7 a factor of p?
True
Suppose 0*z - 4*z + 668 = 3*c, -z + 172 = 2*c. Is 22 a factor of z/2 + -4 + 8?
False
Let p(n) = 3*n - 1. Let k be p(2). Let z = -3 + k. Is -1*z - (-2 - 3) a multiple of 2?
False
Let n(y) = -y**3 - y**2 - y. Let p(o) = -4*o**3 - 11*o**2 - 6*o - 5. Let j(w) = 5*n(w) - p(w). Let x be j(5). Let q = x - 17. Does 9 divide q?
True
Let q = 3 + 125. Does 16 divide q?
True
Let z = 97 - 20. Is z a multiple of 16?
False
Suppose 0 = 3*b + 2*n - 1, 0 = 2*b - n - 6 - 4. Is 4 a factor of ((-34)/(-2) - b) + -1?
False
Suppose -2*h + 67 = 3. Does 4 divide h?
True
Let x = 16 - 14. Does 26 divide (-153)/(-6) - x/(-4)?
True
Let y(b) = b**2 - 8*b + 6. Does 5 divide y(9)?
True
Let d(n) = -n**3 - 13*n**2 + 8*n - 29. Is d(-14) a multiple of 17?
False
Let s(x) = x**2 + 7*x + 12. Let v be s(9). Suppose v = 3*d - 3*z, -4*d = -z - 190 - 6. Does 10 divide d?
False
Let d(r) = 6*r - 4. Let q(l) = 25*l - 15. Let f(j) = 9*d(j) - 2*q(j). Is f(7) a multiple of 12?
False
Let i = 6 + -13. Let g(z) = z**2 + 6*z + 9. Is 8 a factor of g(i)?
True
Let f = 204 + -133. Does 18 divide f?
False
Let c be ((-3)/(-5))/(1/5). Let i(d) = 2*d - 7. Let m(o) = o - 4. Let z(y) = 6*i(y) - 10*m(y). Is z(c) a multiple of 3?
False
Let p(u) = 2*u**3 - u**2 + u + 2. Let f be p(2). Let c = f - 5. Is c a multiple of 4?
False
Suppose 5*g - 23 = -8. Let m(d) = -2*d + 2. Le