vide o?
True
Let i = -2004 - -3577. Does 55 divide i?
False
Suppose -m + 3*m = 0. Suppose m*q + 2*q = -z - 5, q + 7 = -5*z. Does 3 divide q/4 - 63/(-6)?
False
Suppose y + 56 = 163. Suppose 4*n - y - 45 = 0. Is 13 a factor of n?
False
Suppose 35*h = -23*h - 2146. Let c be ((-1)/(-2))/(2/(-324)). Let w = h - c. Does 10 divide w?
False
Let h = 22 + -20. Suppose n + 3*t + 1 + 3 = 0, 3*n + 2*t = h. Suppose -2*i + c + 39 = 0, -4*i + n*c + 80 = -2*c. Is 7 a factor of i?
False
Let o be (-1246 + 16)/((-3)/2). Suppose 15*v - o = 305. Does 15 divide v?
True
Suppose 132*k - 83760 - 403848 = 0. Does 83 divide k?
False
Let z(k) = -k**2 + 14*k - 19. Is 7 a factor of z(11)?
True
Suppose 0 = 2*m, -5185 = -5*a - 71*m + 69*m. Does 21 divide a?
False
Suppose 584 = 3*t + 4*l, 784 = -10*t + 14*t + 4*l. Is t a multiple of 25?
True
Suppose -6*k + 2*k = 0. Suppose b + 3*b + 16 = 5*l, -2*l - b - 4 = k. Suppose l = -n + 4*t + 15 + 29, t - 136 = -5*n. Does 7 divide n?
True
Suppose 3*d - 391 = -z, -2*z - 3*z = -4*d - 1917. Suppose -4*g + 7*g - z = -5*a, a + 595 = 5*g. Is 8 a factor of g?
True
Is 11 a factor of 2188/((-124)/(-12) + -9)?
False
Suppose 2*o - 2 = -0. Let w be -1 - -75 - o/1. Suppose -w = 4*t - 265. Does 6 divide t?
True
Let c = -28 + 197. Let h = -69 + c. Suppose -3*g - 2*g + h = 0. Is 20 a factor of g?
True
Suppose 5*v + 3 = 5*a + 23, 0 = 5*v + 5*a - 10. Suppose 5*x + 109 = v*f, 0*x + 107 = 3*f - 4*x. Does 5 divide f?
False
Let m(g) = g + 23. Is 5 a factor of m(51)?
False
Is 2 a factor of (1*-5)/((-90)/72)?
True
Suppose -d - 179 = -2*k + 130, 0 = 5*k - d - 771. Is 22 a factor of k?
True
Does 10 divide (-171)/(-9) + 1 + -2 + 1?
False
Suppose 2*b + 0*r - 3*r - 207 = 0, 304 = 3*b + 2*r. Suppose b = 4*j - 2*z, -2*j - 2*z = -4*j + 48. Is 6 a factor of j?
False
Let l = -105 - -146. Is l a multiple of 2?
False
Let k = 101 - -15. Suppose 4*m - k = -4. Is (144/m)/(2/14) a multiple of 8?
False
Let t = -789 - -1349. Is t a multiple of 70?
True
Suppose 5*q + i - 1 - 7 = 0, 5*q - 2*i - 14 = 0. Suppose 0 = -q*v + 6, -3*c - 189 = -4*c + v. Is c a multiple of 32?
True
Let d(x) = 15*x + 195. Is 10 a factor of d(33)?
True
Suppose -4 = 4*w + 3*s, 2*w + 3*w - 3*s = 22. Suppose p + 4*d - 12 = 0, -w*d + 4 = -4*p - 2. Suppose -r - 3*g + 18 = -4*g, -5*r - g + 78 = p. Does 16 divide r?
True
Let v = -2112 - -3456. Is 32 a factor of v?
True
Suppose -1107 = -2*g + 3*a - 8*a, a = 5*g - 2727. Does 48 divide g?
False
Let r(w) = -1 - 3*w - w**3 - 1 - 4*w**2 + 5. Let l(u) = -u**2 + u - 2. Let x be l(2). Does 9 divide r(x)?
False
Let f be 5*((-2)/5 - -1). Let v be (-96)/(-36) - (8/6)/2. Suppose -f*n - v*n = -80. Is 3 a factor of n?
False
Let j = 195 - 142. Let v be 0/(3 + (-4)/2). Suppose v = -b - 4*p + 27, 17 = 4*b - 3*p - j. Does 5 divide b?
False
Suppose -6*y = 697 - 1873. Is 16 a factor of y?
False
Let v be (9/3)/(4/12 + 0). Suppose u = -2*q - 0*u + 24, -u = -q + v. Is q a multiple of 2?
False
Suppose -3*v + 7*v - 12242 = 2*c, 12239 = 4*v + c. Does 17 divide v?
True
Let w(x) = 8*x**3 - 12*x**2 + 20*x - 16. Let k(y) = -7*y**3 + 11*y**2 - 18*y + 14. Let s(n) = -7*k(n) - 6*w(n). Let l be (3/2)/(6/16). Is s(l) a multiple of 6?
True
Suppose 0 = 5*i + 4*u - 9875, i - 2*u = 5*i - 7894. Is i a multiple of 84?
False
Let g = 21 - 21. Suppose g = -t - 5*t + 30. Let v(x) = 14*x - 16. Is v(t) a multiple of 18?
True
Is 20 a factor of 1*(6/(-20) + (-2778)/(-60))?
False
Let m be 39/15 - 4/(-10). Suppose 2*n = 2*h + 38, -2*n + m*n + 5*h + 5 = 0. Does 5 divide n?
True
Let o be 0*((-2)/6 - (-3)/(-18)). Suppose o = -4*t + 29 + 3. Does 8 divide t?
True
Suppose -a - 3*p = 10, -3*p - 5 = 2*a - 0*p. Suppose a*l + 0*l = 25. Suppose 0 = -l*k - 3*f - 32 + 97, 5*f + 105 = 5*k. Is 8 a factor of k?
True
Suppose 0 = 11*o - 4*o + 2590. Let b = o + 522. Is b a multiple of 13?
False
Let o = 332 - 188. Does 54 divide o?
False
Suppose -3*v = -t - 15, -2*t - 20 = -3*v - v. Let s(k) = k**3 + k. Let r be s(t). Suppose -73 = -f - r*f. Is f a multiple of 20?
False
Suppose -37*w + 4015 = -5309. Is w a multiple of 18?
True
Let b = -4 + 7. Let v(k) = 11*k - 13. Let a(g) = 5*g - 6. Let o(j) = 5*a(j) - 2*v(j). Is 5 a factor of o(b)?
True
Let r(l) = l**3 - l - 1. Let t(m) = 4*m**3 + 13*m**2 - 37*m - 9. Let s(b) = -3*r(b) + t(b). Does 6 divide s(-15)?
True
Suppose -3*g - 4 = -h, 3*h - 2*h + g + 8 = 0. Let v(l) = -3*l + 13 + 2 - 1 - 2. Does 14 divide v(h)?
False
Suppose -11*x = -7*x + 64. Is 11 a factor of 561/(-68)*x/6?
True
Suppose -3*f + 3*u - 52 = -2*f, 3*f + 4*u + 195 = 0. Let h = f + 89. Suppose -2*q + 28 = -h. Is q a multiple of 5?
False
Suppose 6*y - 12 = 3*y - 3*b, -3*y + 6 = -3*b. Let c(w) = 11*w + 7 - 6*w + y*w**2 - 11*w. Does 19 divide c(6)?
False
Let b = 26 - 202. Let u = -110 - b. Is 20 a factor of u?
False
Let r be (1*(0 - -3))/((-90)/(-5280)). Suppose 2*d + 0*n = 5*n + 102, -r = -3*d - 4*n. Is d a multiple of 8?
True
Suppose 3*i - 10 = -2*i. Let b be 0/(1/6 + (-152)/48). Suppose i*o - a - 54 = b, -6*a + 103 = 3*o - 2*a. Does 6 divide o?
False
Suppose 6*y - 7*y + 19 = -t, y - 15 = -3*t. Is 9 a factor of y?
True
Let y be 4 - 9 - 4*1. Let n(s) = s**3 + 11*s**2 + 9*s - 9. Is 9 a factor of n(y)?
True
Suppose 2*u + 2*u = 16. Let l(j) = -3*j**2 + j**3 + 3*j**2 + 6*j**2 + j - u + j. Is l(-3) a multiple of 17?
True
Does 47 divide ((-93539)/(-445))/((-1)/(-5))?
False
Suppose 2*j + c - 12 + 5 = 0, -5*j + 25 = 5*c. Suppose -2*m = j*r - 6*r - 12, -3*r - 24 = -4*m. Does 8 divide 1400/44 + m/33?
True
Let l(n) = -8 + 10 - 4 - 31*n - 2. Is l(-6) a multiple of 26?
True
Let o(v) = -v**3 + 5*v**2 + v - 7. Let p be o(4). Let t(g) = 4*g**2 + 4*g - 4. Let s be t(3). Suppose -3*k - s = -2*n, 3 + p = n - 3*k. Does 7 divide n?
True
Suppose -734*q = -731*q - 753. Is q a multiple of 10?
False
Let g = -15 - -15. Suppose 4*d - 15 - 49 = g. Does 8 divide d?
True
Let w(x) = -x**2 - 13*x - 14. Let r(g) = -g**2 - 13*g - 14. Let i(t) = 5*r(t) - 6*w(t). Does 13 divide i(-18)?
True
Suppose 12 = 3*g, 2*a = -10*g + 15*g + 1108. Is a a multiple of 12?
True
Let i be (-4 + (-11)/(-3))*-6. Suppose -a - 57 = -i*a. Suppose -a = -2*c + 3*z, 0 = 3*c + 2*z + 47 - 165. Does 9 divide c?
True
Let f(j) = j. Let u be f(2). Suppose 5*z - 225 = -2*c - 3*c, -u*c + 50 = z. Suppose -w + z = -0*w. Is 20 a factor of w?
True
Is 18 a factor of (-11630)/(-8) - -6*(-1)/8?
False
Let n(z) = 2*z + 10. Let o be n(-3). Suppose 5*x - 246 = -4*a, -o*a + 0*x + 5*x = -266. Is a a multiple of 8?
True
Let n = 2 - -2. Let b(m) be the third derivative of 2*m**4/3 - m**3 + 19*m**2. Does 21 divide b(n)?
False
Let o(h) = 53*h**3 + 8*h**2 + 2*h - 15. Does 9 divide o(3)?
True
Suppose 1652 = 2*v - 4*d, -2*v = -0*d + 2*d - 1646. Let f = v + -539. Is f a multiple of 29?
False
Let d(x) = 3*x**3 + x**2 - 2*x + 1. Let o be d(1). Let i be 0 + -1 - (-305)/61. Suppose 2*t + 2*t + i*p - 8 = 0, -o*t + 13 = -4*p. Is 2 a factor of t?
False
Let v(g) = 9*g**2 - 3*g + 42. Let d be v(-10). Suppose -4*a + 88 = -d. Is a a multiple of 35?
False
Let l = -25 + 15. Let r = l + -78. Let z = 186 + r. Is z a multiple of 30?
False
Let y be 7/(7/(-2)) - -146. Suppose -17*u + 11*u = -y. Is 6 a factor of u?
True
Suppose 5*s = 4*j - 0*s - 199, -4*s - 260 = -5*j. Is j a multiple of 28?
True
Suppose -16 = -4*g - 4*f, -5*f + 5 = g - 3. Let o = g + 2. Suppose -2*q + o = -m - 2, m = 5. Is 3 a factor of q?
True
Let w be ((-6)/(-4))/((-3)/(-4)). Suppose 0 = -w*j + 3*j - 8. Suppose 4*r = j*r - 60. Does 15 divide r?
True
Suppose -13 = 4*x + 3. Let l(z) = z + 3. Let s be l(x). Let n = s - -12. Is 3 a factor of n?
False
Suppose 4*p = 5*s - 22, 5*s + 30 = -5*p - 20. Suppose 5*i + 50 = -2*f - 16, -2*i = -4*f + 36. Let l = p - i. Is l a multiple of 2?
True
Suppose 0 = 9*i - 1829 + 47. Suppose 0 = 13*q - 10*q - i. Does 13 divide q?
False
Let r(h) = -3*h + 37. Let a be r(14). Let k(l) = l**2 - 2*l - 15. Is 3 a factor of k(a)?
False
Let x(q) = 10*q - 1. Let z(p) be the first derivative of 15*p**2 - 3*p + 4. Let i(d) = 17*x(d) - 6*z(d). Does 17 divide i(-5)?
True
Let q(a) = -a**3 + 5*a**2 - 6*a + 8. Let c be q(4). Suppose c = -4*y - 4*g + 52, 5*y - 57 = -0*y + 3*g. Does 10 divide y?
False
Let a(f) = -2*f**3 + 4*f**2 - 4*f + 2. Let p be a(2). Let r(s) = 3*s**2 - 7*s - 15. Is r(p) a multiple of 15?
True
Let l = -3470 + 5152. Does 58 divide l?
Tr