vide v?
False
Suppose 4*o + 2*i - 3 = 9, 5*o - 3*i - 15 = 0. Suppose -2*w - 45 = -o*w. Does 15 divide w?
True
Let i = 8 + -8. Suppose i = 4*d - 6*d + 54. Let v = d - 6. Is v a multiple of 7?
True
Let g = 49 - 23. Does 13 divide g?
True
Suppose -3*i - 4*y - 90 = 0, -i + y - 7 - 23 = 0. Let t = i - -55. Does 19 divide t?
False
Is 10 a factor of -2*(-1546)/28 - (-15)/(-35)?
True
Let x(t) = -t**3 - 3*t + 4. Let r be (6/(-10))/(2/10). Is 10 a factor of x(r)?
True
Let c = -82 - -118. Does 11 divide c?
False
Let i = 59 + -16. Suppose i = -4*a + 163. Let v = a - 18. Does 7 divide v?
False
Let a = -214 + 374. Is 32 a factor of a?
True
Suppose 4*x = 4*b + 32 + 264, x = -3*b + 66. Let a = x - 33. Is 13 a factor of a?
True
Let a be (4/(-8))/(2/24). Let q(m) = m - 1. Let t be q(a). Does 14 divide (-2)/t + 96/7?
True
Suppose -3*k = -4*k + 4*p - 37, 0 = -5*k + p - 128. Let o(l) = l**2 + l + 42. Let q be o(0). Let t = q + k. Is 17 a factor of t?
True
Let y(c) be the second derivative of -7*c**3/6 - c**2/2 + c. Is 3 a factor of y(-1)?
True
Suppose 3*h = -2*k + 4*h - 5, k + 4*h = 2. Let p(s) = -s. Let y be p(2). Is 17 a factor of ((-68)/(-2) - k) + y?
True
Suppose -35*h = -37*h + 50. Is h a multiple of 6?
False
Let w(u) = u + 3. Is 9 a factor of w(10)?
False
Let j(a) be the first derivative of 8*a**3/3 + a**2 - 2*a + 2. Is j(-2) a multiple of 11?
False
Suppose c - 5 = 0, -25 = -2*u + 2*c - 5*c. Suppose -4*g + 97 = 3*y, g - u*y + 10*y - 20 = 0. Is g a multiple of 22?
False
Let m(j) = j**2 + 15*j + 36. Is 7 a factor of m(-17)?
True
Suppose -2*t - p + 88 = 2*t, 0 = -5*t + 4*p + 131. Is 15 a factor of t?
False
Let w be 26/5*15*2. Suppose -3*s = -0*s + w. Does 13 divide 0/5 + s/(-2)?
True
Suppose 3*d = 2*t - 1, 0*t + 2*d = -t + 18. Let w be 20*5 + -6 + 5. Does 16 divide w/(-12)*t/(-3)?
False
Let g = -61 + 81. Does 2 divide g?
True
Let j = 98 + -84. Suppose g = 5*g - 104. Let l = g - j. Does 12 divide l?
True
Let c(b) = -7*b + 2. Let h be c(6). Let x = -29 - h. Does 6 divide x?
False
Let s be (5/(-20))/((-4)/32). Suppose 6 = 3*n - 3*j, 2 + 6 = -4*j. Suppose n*l = -s*l + 20. Does 5 divide l?
True
Suppose -3*c = -c - 4. Suppose 0 = 3*h - 4*x - 16, -4*h + 2*h + 20 = c*x. Is h a multiple of 8?
True
Let g(y) = 4*y**2 + 14*y - 9. Let l(s) = -11*s**2 - 41*s + 26. Let w(o) = 17*g(o) + 6*l(o). Let i = 21 + -15. Does 19 divide w(i)?
False
Let f = -198 + 52. Let m = -102 - f. Does 13 divide m?
False
Suppose 0*s - n + 8 = s, 3*n = 3*s - 36. Is 3 a factor of s?
False
Let y(v) = v**2 - v + 38. Let g(m) = -m**3 - 5*m**2 - m + 1. Let t be g(-5). Suppose 0 = 3*d - t*d. Does 19 divide y(d)?
True
Suppose 4*n - 145 = 19. Suppose -2*c + 3 = -n. Is c a multiple of 11?
True
Let o(g) = -4*g + 9. Does 13 divide o(-5)?
False
Does 40 divide (-30 - -6)/(((-9)/10)/3)?
True
Let p(x) = 5*x**3 + 2*x**2 - x - 2. Let l be p(2). Let d = -5 + 7. Suppose -3*j + 26 = 4*c - 90, 2*c - d*j = l. Is c a multiple of 13?
True
Suppose -3*n + 288 = m + 2*m, 3*n - 304 = m. Is 10 a factor of n?
True
Let j = -9 + 85. Does 24 divide j?
False
Suppose -14*n = -6*n - 3408. Does 27 divide n?
False
Suppose 3*l - 65 = -4*u, -2*u - 11 = -3*l + 24. Is l a multiple of 6?
False
Suppose h = 5*u - 0*u + 505, 0 = -4*h. Let c = u - -186. Suppose t + 4*t = c. Is t a multiple of 8?
False
Let o(w) = -w**2 - 9*w - 10. Let j be o(-7). Suppose 5*g + 7 = 3*q - 132, -j*q + 4*g + 188 = 0. Does 19 divide q?
False
Suppose -84 = -2*p - 3*r, p - 3*r - 168 = -4*p. Is 4 a factor of 1/(3/p) + -2?
False
Let u(h) be the second derivative of -h**7/2520 + 7*h**6/720 - h**5/40 - h**4/6 + 2*h. Let r(y) be the third derivative of u(y). Is 7 a factor of r(5)?
True
Suppose -2*a = -5*q + 23, 3 = q + 2*a - 4. Is q a multiple of 3?
False
Suppose 9 = 4*u - 3. Suppose -2*p - 3 = 3*o, 2 = -4*p - 5*o - u. Suppose p = -m + 2*f + 26, 3*m - 2*m - 26 = -5*f. Does 26 divide m?
True
Suppose -3*i + 10 = -i. Suppose 0 = -n + i*x - 8, 2*x - 4 + 0 = 0. Suppose 25 = -2*l + 7*l, -c + n*l = -4. Does 14 divide c?
True
Suppose -3*p + 4 = -p. Suppose 4*w = -0*w - p*a + 242, -5*w + a = -306. Is 27 a factor of w?
False
Let w(u) = 9*u**2 - 11*u. Is w(5) a multiple of 4?
False
Suppose 345 = 5*a + 3*l, 4*a - 17 = -3*l + 262. Suppose -c = c - a. Does 15 divide c?
False
Let p = 9 - 5. Suppose p*z - 3 - 133 = 0. Is z a multiple of 12?
False
Let a be (-3)/((-36)/93)*4. Let i = -9 + a. Does 11 divide i?
True
Suppose -a + 2 = -11. Let k = -2 + a. Does 4 divide k?
False
Let l be (-2)/(-6) - (-56)/12. Suppose 176 = 4*p + l*i, -26 = 4*i - 10. Is p a multiple of 13?
False
Does 6 divide ((-4)/6)/((-5)/45)?
True
Is (11/(-4))/((-4)/80) a multiple of 15?
False
Let n be 2/(6/9 - 0). Suppose n*g + 28 = 4*c + 11, g = 3*c - 14. Is 2 a factor of c?
False
Does 9 divide (-6 - 45/4)/(3/(-8))?
False
Let v(x) = -x - 5. Suppose 10 = -s - s. Let h be v(s). Suppose -j = 2*j + 2*t - 82, 3*t - 6 = h. Is 13 a factor of j?
True
Suppose 3*i = -0 - 102. Suppose 0 = -r + 11 - 3. Let n = r - i. Is n a multiple of 14?
True
Let v(f) = f**3 - 5*f + 3. Is 11 a factor of v(4)?
False
Let g(v) = -v. Let y be g(0). Let z be 6/1 - y/(-1). Does 13 divide (39/z)/(-1)*-4?
True
Suppose -6*f + 90 = -4*f. Is f a multiple of 8?
False
Let n be 1 + (-13 - -3 - -3). Let a be -2*((-3)/n + 0). Is 18/(a + 6/4) a multiple of 18?
True
Suppose 3*y + 5 - 14 = 0. Suppose -6*z + z - l - 363 = 0, 0 = z + y*l + 81. Does 14 divide z/(-5) - (-6)/(-15)?
True
Let r = -1 - -1. Let p(u) = -u**3 + 4*u**2 - 3*u + 1. Let h be p(2). Is h*(r - -2)/2 a multiple of 3?
True
Let t = -306 + 634. Is t a multiple of 27?
False
Does 13 divide 1 + (-3)/((-1080)/(-362) - 3)?
True
Suppose -2*c = -3*c. Suppose c*j + 4 = 2*j. Does 2 divide j?
True
Let p be (-2)/(15/9 - 1). Let z = p - -5. Suppose 0 = z*u + 3*u - 45. Is 9 a factor of u?
True
Is -3 + -1 + (-400)/(-10) a multiple of 26?
False
Let a(m) = 2*m + 85. Let y(t) = -t - 42. Let z(k) = -6*a(k) - 13*y(k). Does 9 divide z(0)?
True
Let l = 184 - 37. Is 21 a factor of l?
True
Suppose 4*t + 14 = 2*t - 4*o, -3*t - 2*o = 21. Let x = t - 6. Let d = 12 - x. Does 10 divide d?
False
Let k(f) = f**3 + f**2 + 27. Let r be (-2)/(-8) + 12/(-48). Is k(r) a multiple of 27?
True
Suppose 1482 = -34*v + 37*v. Is v a multiple of 13?
True
Let w(n) = -5 + 0 + 5*n - 4*n**2 + 5*n**2. Let u be w(-7). Suppose -2*b = u - 37. Is b a multiple of 5?
False
Let s(f) = -f**2 - 4*f + 4. Let l be s(-5). Let h(i) = -22*i**3 + i**2 - 1. Does 11 divide h(l)?
True
Suppose -5*t = 5*l - 175, l - 3*t - 8 = 47. Is l a multiple of 16?
False
Suppose 0*o + h = 3*o - 55, 5*o = 4*h + 80. Let w be (o/(-6))/((-1)/3). Is 644/20 - 2/w a multiple of 16?
True
Does 13 divide 3*((-1)/4 + (-1150)/(-24))?
True
Does 25 divide ((-26)/4)/(4/(-3 - 141))?
False
Suppose 6 = -3*g + 15. Suppose f - g = -z, -2*f = z - 2 - 2. Let l = f - -14. Is 8 a factor of l?
False
Let k(p) = 4*p**2 + p + 7. Let n(a) = -7*a**2 - a - 13. Let h(f) = -5*k(f) - 3*n(f). Does 12 divide h(4)?
True
Does 2 divide (3 + 9)*1/2?
True
Suppose 3*c + 2*q - 3 - 7 = 0, -3*c = 3*q - 15. Suppose 13 = 4*k - 7. Suppose 150 = -c*f + k*f. Does 15 divide f?
True
Let o(b) = -5*b - 2. Does 8 divide o(-5)?
False
Let c be (-24)/10 + (-6)/10. Let h = 4 + c. Is h + -4 + 50/5 a multiple of 6?
False
Let v = 4 - -6. Let r be (-36)/v + 6/(-15). Is (4 - 0)*(r - -5) a multiple of 4?
True
Let g = 19 - 11. Suppose 2*y + 0 - g = 0. Suppose -169 = -y*n - 53. Does 10 divide n?
False
Suppose -3*z = -3*g - 18, -5*z + 2*g = 4*g - 2. Let o = -2 + z. Suppose o = k - 0 - 18. Does 12 divide k?
False
Let m = 9 - 5. Let p = 8 + m. Is 3 a factor of p?
True
Suppose 4*c - 3*j + j = 24, -2*c = 4*j - 2. Suppose -l = -2*o + 38, c*o - 75 = 2*o - 3*l. Suppose 5 = z - o. Does 10 divide z?
False
Let g(h) = -h**2 + 8*h - 9. Let x be g(6). Suppose x*j - 30 = 72. Let k = -9 + j. Is 10 a factor of k?
False
Suppose 2*q - 3*q + 84 = 0. Does 28 divide q?
True
Let m = 11 - -4. Is (m - 1) + (-3)/3 a multiple of 12?
False
Let s(q) = -4*q + 4. Let u be (4/(-5))/((-1)/5). Suppose -k = u*k + 20. Is 9 a factor of s(k)?
False
Suppose 3*i = -3*c + 39, -2*i + 2*c = i - 49. Does 4 divide i?
False
Let j = -86 + 119. Is j a multiple of 11?
True
Suppose -2*f = -2*w + 8, -6*w + 2*w + 16 = 3*f. Let t(h) = h**3 - 3*h**2 - 5*h + 6. Let q be t(w). Suppose q*i + 5 = 21. Does 5 