 Let u = 3 + t. Let c = u + -31. Is c a multiple of 6?
True
Let k = 1 + -1. Suppose 2*s + s - 39 = -4*f, 3*f = k. Suppose -5*j + s = -17. Does 3 divide j?
True
Suppose 16 = -s - 4*h + h, 2*h = -3*s - 13. Does 14 divide 0 - ((-125 - s) + -2)?
True
Let v(w) be the third derivative of w**5/60 - w**4/2 + w**3 - 7*w**2. Does 17 divide v(16)?
False
Suppose -4*v + 8 = -0*v. Suppose 24 = v*o - 2*k, -2*o - 3*k = 3*o - 92. Is o a multiple of 5?
False
Suppose 0 = 21*c - 37*c + 3136. Does 7 divide c?
True
Let k = 270 + -164. Suppose -5*y - 16 = -k. Is y a multiple of 3?
True
Suppose 70 = 2*s - 4*q, 5*s - 2*q = -q + 130. Suppose -5*o = -w + 31, -s = -4*w + 4*o + 51. Is w a multiple of 13?
False
Let x(m) be the first derivative of -m**3/3 - 13*m**2/2 + 8*m + 2. Let v be x(-8). Suppose 2*b - v = -12. Does 9 divide b?
True
Let q = 231 - -140. Let m = q - 8. Suppose -m = -4*d - k, 5*d - 424 - 35 = 4*k. Does 36 divide d?
False
Let l = -1504 + 2205. Does 16 divide l?
False
Suppose -4*k = -d - 314, 2*d = k + 4*d - 83. Let n = 154 - k. Is n a multiple of 15?
True
Suppose -3347 = -2*g - b - 997, 5*b = 20. Is g a multiple of 23?
True
Let n(r) = -22 + 6*r + r - 2. Does 24 divide n(10)?
False
Is 14*((-590)/(-4))/5 a multiple of 8?
False
Does 5 divide 655 + 1 + -8 + 8?
False
Let z be ((-1)/2)/((-1)/136). Suppose 67*n - z*n = -21. Does 7 divide n?
True
Suppose p = -4*r - 4, p = 2*r + 2*r + 12. Let j be 451*(-3 - p)*-1. Does 19 divide 2/(-3) - j/(-33)?
True
Let c(s) = -6 + 4*s**2 + 26*s + 2 - 17*s. Is 4 a factor of c(-4)?
True
Suppose -5*s + 0*o + 5*o + 2145 = 0, -3*s = -2*o - 1290. Suppose 9*u = 12*u - s. Is 18 a factor of u?
True
Does 12 divide (-1322)/(-26) - ((-28)/(-26))/(-7)?
False
Is 18 a factor of 5 - (-2478)/7 - -1?
True
Suppose 0*y - w - 182 = -2*y, -3*w = -y + 91. Let c = -63 + y. Suppose c + 122 = 3*u. Does 13 divide u?
False
Let f(o) = 2*o**3 - 3*o**2 - 2*o - 1. Let x be 0 - -6*12/18. Does 17 divide f(x)?
False
Let z = -14 - -16. Let m be (-410)/(-6) + 3/(-9). Suppose -z*c - 2 = -m. Does 23 divide c?
False
Let i be (-4)/18 - (-224)/36. Let q be (-2)/i + 42/18. Suppose q*y - 4 = 0, 2*u - 2*y - 14 = 12. Does 15 divide u?
True
Suppose 0 = -4*k + 33 - 9. Suppose 2*r + 5*d - 103 + 14 = 0, -k = -2*d. Is r a multiple of 12?
False
Let g be -9*(2 + (-8 - 4)). Suppose 0 = 10*o - 7*o - g. Does 15 divide o?
True
Let d(q) = q**3 + q**2. Let c(n) = 4*n**3 + 11*n**2 - 4*n + 6. Let w(l) = c(l) - 5*d(l). Suppose -r - 22 = -6*r - y, y + 3 = 0. Does 11 divide w(r)?
True
Let f be (-1 - 5)/(-3 + 0). Suppose 4*q = -2*v - 1714, 5*q - f*v + 1694 = q. Is 11 a factor of 3/(-5) - q/10?
False
Let c(z) = -8 + 5*z + 0 - 4 + 0. Suppose 0 = -3*k + 4*o - 0 - 1, 3*k + 5 = 5*o. Is c(k) a multiple of 13?
True
Let f(d) = 1 - d + 18 + 23. Suppose -4*a = 2*a. Does 12 divide f(a)?
False
Let t(s) = 3*s**2 + 17*s + 11. Let q(o) = -o**2 - 6*o - 4. Let w(v) = 8*q(v) + 3*t(v). Is w(6) a multiple of 9?
False
Suppose 0*n - 9*n = 1215. Is (-4)/(-12)*-22*n/6 a multiple of 13?
False
Let h(d) = 24*d**2 + 7*d + 14. Let c be h(7). Suppose 14*b = 7*b + c. Does 37 divide b?
False
Let r = 2408 + -1238. Is 30 a factor of r?
True
Let p(k) = 24*k + 174. Is p(24) a multiple of 50?
True
Let j be (-6)/(-8) + (-3 - 1102/8). Does 4 divide (-5)/(j/636) + 2/7?
False
Let m = 14 - -1. Let h(z) = 6*z + 17. Does 9 divide h(m)?
False
Is 44/55 + 5024/20 a multiple of 42?
True
Let f be 0/(2 + -1 + 1). Suppose 2*u + 2*u - 156 = f. Does 15 divide u?
False
Suppose 119*x - 101*x - 6912 = 0. Does 24 divide x?
True
Let m(a) = 7*a**2 - 3*a - 3*a**2 - 3 - 3*a**2 - 3*a. Let s be m(7). Suppose -2*p - s + 22 = 0. Is 3 a factor of p?
True
Let s(n) = 86*n - 125. Is 21 a factor of s(4)?
False
Let o = 2034 - 1425. Does 13 divide o?
False
Let q(m) = m**3 + 13*m**2 - 46*m - 449. Let z be q(-14). Suppose 0 = 3*v + 2*v + 70. Does 5 divide (v + -4)/z - -1?
False
Suppose -25*c = 10490 - 27690. Is 16 a factor of c?
True
Suppose 5*u + 2*u = 21. Suppose -283 = -3*c + u*l + 101, l = 5*c - 628. Is c a multiple of 25?
True
Let d be (8/(-2))/(-2) - (0 + -2). Suppose -4*m = 5*j + 1 - 25, -d*m + 8 = j. Does 2 divide j?
True
Suppose -v - q = 4*q - 30, 4*q = -4*v + 40. Suppose 0 = -3*a + h + v, -3*h - 3 = -5*a + 12. Does 15 divide a + 18 - (-6 + 9)?
True
Let y(f) be the first derivative of -f**4/4 + 7*f**3/3 - f**2/2 + 9*f - 3. Let n be y(7). Is 18 a factor of n/6 + 483/9?
True
Let z(p) = p**2 - 4*p + 3. Let s be (-19)/(-5) + (-4)/(-20). Let g be z(s). Suppose g*t + 668 = 5*r, 5*r = -0*r + 4*t + 669. Is 29 a factor of r?
False
Let s(p) = 893*p**3 + 3*p**2 - 9*p + 7. Is 68 a factor of s(1)?
False
Suppose 2*k + 2*w + 0*w = 32, -2*k - w = -37. Let u(g) = g**2 + g - 2. Let p be u(1). Suppose -3*c + p - 3 = 0, 0 = -2*x + c + k. Is 10 a factor of x?
True
Is 5139*(5 - (-42)/(-9)) a multiple of 42?
False
Let p be -1*-2*195/(-10). Let y = p + 67. Suppose -32*s + 160 = -y*s. Is 13 a factor of s?
False
Suppose 9*z - 5 = 13. Suppose 84 = z*r - 44. Is 8 a factor of r?
True
Is 56 a factor of (-664)/(-12) - 4/(-6)?
True
Let a be 3/(-9)*(-9)/(-1). Let w be a/(3 - 27/6). Suppose -3*n + n + 4*f + 148 = 0, -5*f + 148 = w*n. Does 21 divide n?
False
Let x = 68 - -9. Suppose 75*i = x*i - 116. Is i a multiple of 29?
True
Let n(d) = -d**3 - 3*d**2 + 2*d - 2. Let z be n(-5). Suppose -7*q + 144 = -z. Is 9 a factor of q?
False
Is 91 a factor of 420/(-24)*676/(-10)?
True
Let b = 2 + 27. Suppose 0 = -4*k + 8, 3*k - 146 = -10*n + 6*n. Suppose 25 = 5*r, -3*g = -4*r - b - n. Does 12 divide g?
False
Suppose -139 = -3*q + 5. Does 8 divide q?
True
Suppose -3*p = -45*r + 43*r - 5116, 3*p + 2*r - 5132 = 0. Does 13 divide p?
False
Suppose 5*q - 2258 = -4*a, 5*a + 1520 - 180 = 3*q. Is q a multiple of 9?
True
Let v be 968/99 + 4/18. Suppose -8*o = -9*o + v. Is o a multiple of 4?
False
Let h(i) = i**2 - 2*i - 3. Let x be h(3). Suppose 7*l - 111 + 41 = x. Does 3 divide l?
False
Let f = -1 + 0. Let a be (-1 + 0)/(f/45). Suppose 4*t = -h + 9, h + 4*h - 2*t = a. Is 9 a factor of h?
True
Let d(p) = 6*p**2 + p - 20. Suppose 9*c = 7*c + 12. Is d(c) a multiple of 18?
False
Let j be (-6)/(-9) - (-39)/9. Suppose 3*s - 82 = i, 44 = j*s + 3*i - 74. Is 22 a factor of 2266/s - 4/26?
False
Let o(y) = -y**2 - 19*y + 24. Suppose -120 = 5*m - 4*j, 0 = m + m + 3*j + 25. Does 4 divide o(m)?
True
Let b(g) = -2*g - 7. Let r be b(-7). Let t = r - -5. Is 3 a factor of t?
True
Let b = -71 - -72. Let j(w) = -71*w**3 - 2*w**2 - 3*w. Let l(p) = 72*p**3 + 2*p**2 + 4*p. Let r(h) = -5*j(h) - 4*l(h). Is r(b) a multiple of 19?
False
Let s(t) be the first derivative of 2/3*t**3 - 9*t + 5/2*t**2 - 4. Does 11 divide s(-6)?
True
Let z be (-8)/(-4) + 27 - -1. Suppose 0 = 33*t - z*t + 192. Let f = t - -144. Does 16 divide f?
True
Does 65 divide (-1490619)/(-468) + 1/(-12)?
True
Suppose -3*j + 23 - 8 = 0. Let o be (j - 2) + -3 - 6. Is 18 a factor of (-6)/9 + (-250)/o?
False
Let l = 46 + -44. Does 3 divide (3 - (-26)/l) + 2/1?
True
Suppose 2 = a, 2*u - 5*a = -3*a + 326. Let m = u + -32. Let z = m - 82. Is z a multiple of 17?
True
Let k be -3 - -4 - 9/(-3). Suppose k*m + 12 = -0. Is 38 - 1*9/m a multiple of 11?
False
Let o = 563 + -395. Is 28 a factor of o?
True
Suppose 6*m - 9*m = 741. Let a = 353 + m. Is 18 a factor of a?
False
Let p(j) be the first derivative of j**3 + 3*j**2 + 4*j + 9. Let f be 7*(0 - 18/21). Is p(f) a multiple of 19?
True
Let q(u) = u**2 - 11*u + 15. Let s be q(10). Suppose 5*j - 51 = -4*l + 74, 0 = -s*l - 25. Is j a multiple of 29?
True
Let r be 2/(3 - (-4 + (-324)/(-46))). Let o be ((-132)/10)/(2/(-10)). Let h = o + r. Is h a multiple of 6?
False
Suppose 0 = -14*t + 13 + 155. Suppose 11*i = t*i - 10. Is 5 a factor of i?
True
Suppose -4*z + 2*z = 4*a - 6, -4*z + 4*a = 12. Let d(r) = 4*r**2 + 9*r - 4. Let y(w) = w**2 + w - 1. Let v(s) = z*d(s) + 5*y(s). Does 10 divide v(7)?
True
Suppose 0 = 5*k + 3 - 23. Suppose -k*y + 2 = -5*y. Is 9 a factor of -3*y/2 + 33?
True
Let j(z) be the second derivative of 15/2*z**2 + 0 + 1/20*z**5 - 6*z + 2*z**3 - 13/12*z**4. Is 6 a factor of j(12)?
False
Let j be ((-1)/(-2))/(6/24). Suppose j*d = -4*c + 4, 9 + 5 = 4*d + 5*c. Is 3 a factor of 80/(-30)*d/(-4)?
False
Let c(p) = 8 + 3*p + 4 - 13*p. Does 11 divide c(-8)?
False
Let q = 10 - 8. Suppose -q*x + 18 = 8. Suppose 91 = x*z + l, z - l