vide z?
False
Let d(n) = n**3 + 6*n**2 - 10*n + 7. Does 27 divide d(-7)?
False
Let d = -38 - -67. Does 4 divide d?
False
Is 13 a factor of (-152 + -3)*(1 - 3)/2?
False
Suppose 0 = -4*m + 24 + 24. Let u be m/(-8)*(-4)/2. Suppose -w = 2*o - 7, 13 + 32 = 5*o - u*w. Is 3 a factor of o?
True
Let i = -1 - 1. Is 5 a factor of (i/(-5))/(1/25)?
True
Let k(f) = 42*f**2 + 4*f - 3. Is 7 a factor of k(1)?
False
Let b(p) = 2*p - 26. Let c be b(13). Suppose 5*v = a + 13, 0 = -8*v + 4*v + 2*a + 14. Suppose -158 = -c*n - v*n. Is n a multiple of 27?
False
Let i be 6*(-42)/3 + -2. Is 7 a factor of (-2)/6 + i/(-6)?
True
Suppose -19*k + 243 = -16*k. Is k a multiple of 9?
True
Let f be -5*1/5*34. Does 17 divide 4/(-4) - (-1 + f)?
True
Let g(z) = 11*z - 1. Let c be g(1). Suppose c + 5 = 3*k. Does 2 divide k?
False
Let b(g) be the third derivative of -g**6/720 + 49*g**5/120 + g**4/24 + 2*g**2. Let p(l) be the second derivative of b(l). Is p(0) a multiple of 17?
False
Let v(x) = 1 + 15*x**2 - 3*x**2 + 2 - 2. Does 13 divide v(1)?
True
Let k = -40 + 103. Does 21 divide k?
True
Suppose -3*t = 2*t - 185. Let c = t - 5. Is 16 a factor of c?
True
Let s be (-1 + 2 + -1)/2. Suppose s*h + 84 = 3*h. Suppose 6*w = 5*w + h. Does 8 divide w?
False
Suppose -y + 2 = -19. Let v = y - 4. Does 7 divide v?
False
Let s(u) = -2*u**2 + 10*u + 13. Let d(n) = n**2 + n. Let y(v) = -3*d(v) - s(v). Let k be y(-9). Let t = k - 6. Is t a multiple of 17?
True
Is (-2 + 1 + 0)*-31 a multiple of 11?
False
Let y = 9 - 34. Let b = 3 - y. Does 19 divide b?
False
Let q(p) = -2*p**2 + 2 + 3 + p - 3 + 3*p**2. Is 22 a factor of q(4)?
True
Suppose -5*k = -k + 4. Let t(u) = -71*u. Is 23 a factor of t(k)?
False
Let m = -20 + 14. Suppose x - 3*f = 4, x + f = 6*f + 8. Let l = x - m. Is l even?
True
Let d(x) = -x**3 + 6*x**2 + 6*x + 4. Let m be d(7). Let o be (-4 - 122)*2/m. Let v = -44 + o. Is v a multiple of 17?
False
Is 102/(-12)*4/(-2) a multiple of 17?
True
Let h = 15 + -13. Suppose 2*v + h*v - 148 = 0. Is v a multiple of 20?
False
Suppose -2*i + 263 - 95 = 3*o, 3*i = 9. Let l = -84 + o. Let s = 49 + l. Is s a multiple of 12?
False
Let g be 2 - (-2)/(-1 - -2). Is g/(-3)*90/(-20) a multiple of 4?
False
Suppose z + 7 = 2*c, -3*c + 31 = -2*c + 5*z. Does 3 divide c?
True
Suppose -471 + 77 = -4*n + 5*c, -3*n - c + 305 = 0. Let k = -61 + n. Does 20 divide k?
True
Does 14 divide 16/(-12) - (-364)/12?
False
Let h(y) = -y**2 - 4*y + 3. Let j be h(-5). Let q be 0 + j + 5 + 1. Suppose -144 = -q*v - 28. Is v a multiple of 9?
False
Suppose 174 = 4*t - 0*t - 3*z, -2*z = 4*t - 184. Is 15 a factor of t?
True
Let z(n) be the third derivative of n**4/6 - 5*n**3/6 - n**2. Is z(4) a multiple of 3?
False
Suppose 4*j = 3*c - 4, -j + 2*c - 10 = -2*j. Let i be j/1*(31 - 0). Does 12 divide -1 + i*(-1)/(-2)?
False
Suppose -4*u - 2*h + 40 = 0, 36 = -0*u + 4*u + 4*h. Does 11 divide u?
True
Let s(l) = l + 10. Does 14 divide s(8)?
False
Suppose 0 = 4*x - 9 - 11. Suppose -5*n + 2*o + 18 = 0, 2*n - 3 - 21 = x*o. Suppose -36 - 24 = -n*m. Is 15 a factor of m?
True
Suppose s = 6*s + 10. Let v be (s/4)/((-2)/(-32)). Let t = 21 + v. Is 13 a factor of t?
True
Suppose -190 = -3*f - 13. Is f a multiple of 12?
False
Let b(o) = 6*o - 3. Let z be b(2). Suppose 5*q + 3*v - 13 + 0 = 0, 4*v - z = -5*q. Is q a multiple of 5?
True
Suppose 5*o - 42 = -4*q - 0*q, 0 = -3*o + 3*q + 36. Suppose 0 = -s + 31 + o. Suppose 0 = -2*b + b + s. Does 14 divide b?
False
Let x = 13 + -28. Let s = x + 21. Is 178/6 + s/(-9) a multiple of 11?
False
Suppose 2*q = -6 + 2. Let u = 1 - q. Is 3 a factor of u?
True
Let o(g) = g**2 - 6*g - 12. Is o(8) a multiple of 4?
True
Let v = 65 - 11. Does 7 divide v?
False
Let p be (4 + 66)*4/(-10). Let z = p + 58. Does 25 divide z?
False
Let f(s) = 2*s**3 - 3*s**2 + 5*s - 35. Let j(v) = v**3 - 2*v**2 + 3*v - 18. Let d(p) = -3*f(p) + 5*j(p). Let n be d(0). Is 5/(n/18) + -3 even?
False
Suppose 11 = -t + 35. Is t a multiple of 15?
False
Is 5 a factor of -5*1*(1 - 2)?
True
Suppose -10 = -5*w + 10. Suppose -w*t + 50 = t. Does 10 divide t?
True
Is -1*(-156)/3 + 4 a multiple of 24?
False
Let n(f) = 4*f**2 + 2*f. Does 6 divide n(-2)?
True
Let n be ((-2)/(-3))/((-1)/(-3)). Let f(w) = w**2 - 14*w - 7. Let m be f(15). Is n + m*2/4 even?
True
Suppose -1 - 5 = -2*s. Suppose 2*p = -3*y + 78, -y - s*y = 5*p - 111. Is 9 a factor of y?
False
Suppose -b - 99 = -4*b. Is b a multiple of 6?
False
Let u(l) = -10*l + 10. Is u(-5) a multiple of 15?
True
Suppose 14 + 11 = 5*d. Suppose 2*w + d*y - 23 = 3*w, -3*y + 7 = -4*w. Suppose -2*g = -40 - w. Does 12 divide g?
False
Suppose -120 = 4*n - 40. Is 156/10*n/(-6) a multiple of 13?
True
Let w(o) be the third derivative of -17*o**4/24 - 4*o**2. Is w(-1) a multiple of 17?
True
Let u(j) = 21*j + 2. Let x(g) = -g. Let q(f) = -u(f) + x(f). Does 10 divide q(-1)?
True
Suppose -4*f + 5*h = -125, 3*h = 3*f - 0*f - 93. Suppose -s - 4*s = -f. Suppose s = n - 4. Does 5 divide n?
True
Suppose 5*v - 24 = 81. Let n = -1 + v. Does 5 divide n?
True
Let j(b) = -b**2 - 2*b + 5. Let m be j(-4). Let v be (m - (-3 - 2)) + -25. Let q = 11 - v. Is 17 a factor of q?
True
Let d = -8 + 12. Suppose -d*n - 63 = 809. Is 9 a factor of n/(-12) - 1/6?
True
Let x be ((-54)/(-15))/((-6)/(-80)). Let p = -31 + x. Does 17 divide p?
True
Suppose 5*m + 7 = v - 18, -4*v = -20. Is 6 a factor of 6*(-1)/m*4?
True
Let b(c) = c**3 - 4*c**2 + 2*c + 2. Let d be b(3). Let z = d + 4. Suppose -z*u = -9 - 15. Does 4 divide u?
True
Let k(w) = 10*w**2 + 10*w - 48. Does 18 divide k(5)?
True
Let p(m) = 13*m**2 + 2*m + 116. Let w(x) = 7*x**2 + x + 58. Let s(v) = 6*p(v) - 11*w(v). Let y be (-2)/(-4) + (-5)/10. Is 23 a factor of s(y)?
False
Suppose -6*j + j + 20 = 0. Is 3 a factor of ((-14)/6)/(j/(-12))?
False
Let i be 0 - 0 - (-1 - 2). Suppose 158 - 41 = i*a. Is 13 a factor of a?
True
Let a(t) = t**2 + 3*t + 57. Let y(o) = o**2 + o + 1. Let h(r) = a(r) - 2*y(r). Does 22 divide h(0)?
False
Suppose -2 - 1 = -3*l. Is 4 a factor of 3 + (8 - -1) + l?
False
Suppose 2*p - 135 = -5. Suppose 250 = 5*s - p. Does 13 divide s?
False
Suppose 6 = -j + v + 364, -j = 3*v - 338. Does 52 divide j?
False
Let n(d) = -2*d**3 - 2*d - 10. Let w(o) = -o**3 - o - 5. Let m(p) = 3*n(p) - 5*w(p). Let x be m(0). Does 10 divide ((-4)/x)/((-2)/(-25))?
True
Suppose -4*x - 48 = 5*v - 6, 22 = -2*v + x. Let g(q) = q**2 + 9*q + 5. Let y be g(v). Suppose -3*w + y = 2*w. Does 3 divide w?
True
Let v be (17/(-2))/(2/4). Let s = 74 + -37. Let h = s + v. Is 10 a factor of h?
True
Suppose 0 = 3*f + 4*g - 1 - 5, 4*g - 12 = 0. Let z = 4 + f. Is 12 a factor of -1 - (z + -2 + -25)?
True
Suppose 7*j - 1176 = j. Is 10 a factor of j?
False
Let z(r) = -r + 7. Let o be z(7). Let c = 32 - o. Does 16 divide c?
True
Suppose z - f = -8, 0*f = -2*z + 5*f - 16. Is (-8)/(-3)*(-84)/z a multiple of 9?
False
Suppose -12 = -3*z - 4*t, 2*z + t + 6 = 3*t. Suppose z = -0*o + o - 26. Does 13 divide o?
True
Is 553/7 + 2 + 2 a multiple of 12?
False
Let q(y) = -y**3 - 18*y**2 + 15*y + 8. Is 14 a factor of q(-19)?
True
Suppose -7*p + 4*p = 3*b + 210, p = -2*b - 136. Let k be b/(-1) - (2 + -2). Is 6 a factor of k/9 - (-4)/6?
False
Let q(d) = d**3 - 5*d**2 + d - 2. Let p be q(5). Let m(r) = -2 + p - r - 4. Does 6 divide m(-9)?
True
Suppose 8 = k - 3. Let c = 25 - k. Suppose 4*a = 26 + c. Is a a multiple of 5?
True
Let u = -105 - -195. Suppose 0*n - u = -2*n. Does 12 divide n?
False
Let u = -1 + -4. Let v = 1 - u. Suppose -6 = -g + v. Is g a multiple of 7?
False
Let v(q) be the third derivative of -q**4/8 - 5*q**3/6 + 5*q**2. Does 11 divide v(-9)?
True
Suppose -45 = -5*n - 3*d + 29, -4*d = -12. Let c = 9 + n. Is 22 a factor of c?
True
Suppose -3*l - 8 = -59. Let s = l + 0. Does 6 divide s?
False
Is 43 a factor of 2/3 - (-4)/((-12)/(-481))?
False
Let s be 0/(2/4*2). Suppose s = -y + 3*y - 110. Does 25 divide y?
False
Suppose -g = -2*l - 2, -5*l = -g - 0 + 2. Suppose -g*u + 105 = 3*u. Is 21 a factor of u?
True
Suppose -4*o = 47 - 415. Is 33 a factor of o - (-1 + 4)/1?
False
Let v = 146 + -98. Is 4 a factor of v?
True
Let a be 0/2 - 100/(-1). Is (2/(-5))/((-5)/a) a multiple of 4?
True
Suppose -4*n + 2*n + 90 = 0. Does 5 divide n?
True
Suppose 9 - 24 = -p. Is 2 a factor of p?
False
Let z(f) = 2*f**3 - 7*f**2 + 5*f - 2. Suppose u = -u + 2*j + 14, 