w - s = -q*w. Is 3 a factor of w?
True
Let u(o) = 2*o**2 + 13 + 12*o - o - o**2. Let n be u(-12). Suppose -z = -n + 9. Does 8 divide z?
True
Let w be 12/(-6) + (-3 - -1). Let b(q) = -6*q + 1. Does 9 divide b(w)?
False
Let a be -2*3/(12/(-346)). Let x = -99 + a. Is x a multiple of 27?
False
Let j(t) = -t**2 + 8*t - 8. Let a be j(7). Is 11 - a*(2 - 4) a multiple of 3?
True
Suppose 3*r - 7*i = -2*i - 29, i + 15 = -2*r. Let d be (-137)/(-9) - r/(-36). Suppose 27 + d = t. Is t a multiple of 15?
False
Let o be (-2 - (-98)/8)*-4. Let j be ((-7)/(-2))/((-2)/12). Let b = j - o. Is 10 a factor of b?
True
Suppose -2*h + 5*l = -3*h - 30, 0 = 3*l. Let j be 0 - (-4)/(0 - -2). Let x = j - h. Does 16 divide x?
True
Let a(d) be the third derivative of -d**7/720 - d**6/60 + d**5/60 - 2*d**2. Let z(t) be the third derivative of a(t). Is 15 a factor of z(-8)?
False
Suppose 0 = 5*w - 10 - 5. Let j(n) = 7*n. Is 7 a factor of j(w)?
True
Suppose 3*x - l - 11 = -6*l, 0 = -4*x + 4*l + 4. Let c(y) = 57*y - 2. Does 37 divide c(x)?
False
Let u(w) = -10*w + 2. Is 9 a factor of u(-7)?
True
Suppose -61 = -c + 71. Does 33 divide c?
True
Let a be (24/10)/(3/40). Suppose -a + 8 = -j. Suppose -42 - j = -2*m. Is 21 a factor of m?
False
Let y = 114 + -61. Is y a multiple of 6?
False
Suppose 3*n + 31 - 127 = 0. Is 10 a factor of n?
False
Suppose 5*u - 7*a + 2*a = -60, -4*u - 57 = 5*a. Let l be (-2)/12 + u/(-6). Suppose l*w = -2*w + 56. Does 7 divide w?
True
Let y(p) = p**2 - 2*p - 6. Is y(8) a multiple of 21?
True
Suppose 5*f - 13 = -6*g + 3*g, -3*f + 4*g + 31 = 0. Suppose f*q + b = -11 + 60, 3*q + b = 29. Suppose -q = -j + 11. Does 8 divide j?
False
Let b(r) = 5*r - 4. Let h be b(4). Suppose h = i + 4. Does 16 divide (3 + 6/(-8))*i?
False
Let t be (-2)/12 - 56/(-48). Is (-1 - -2) + 9/t a multiple of 4?
False
Suppose 5*i + 59 = 239. Is 18 a factor of i?
True
Let w = -3 + -4. Let g = w - -9. Is 2 a factor of g?
True
Suppose -2*j - 6 = -m - 22, -j - m + 2 = 0. Is 2 a factor of j?
True
Suppose w + 13 = 4*i, i - 2 - 17 = -5*w. Suppose -3 = w*r - 9. Suppose r*t = -0*t + 30. Does 15 divide t?
True
Is 4 - (2 + 1) - -17 a multiple of 6?
True
Suppose -2*t + 127 = -3. Let y = t - 24. Is y a multiple of 10?
False
Let d = 196 - 108. Does 8 divide d?
True
Let s(h) = h**3 - 12*h**2 + h. Let r be s(12). Let b = 0 - -1. Does 5 divide (1 - r/(-3))*b?
True
Let m(c) = -c**2 - 8*c. Let b be m(-7). Let i = -7 + b. Suppose 3*f - 2*f - 20 = i. Is f a multiple of 10?
True
Suppose 0 = -3*l + 46 + 197. Suppose -4*a + 39 + l = 0. Is a a multiple of 15?
True
Suppose 0*x - x - 1 = 0, -2*d - 4*x = -108. Is 14 a factor of d?
True
Let y = 77 + -23. Does 11 divide y?
False
Let w(a) be the third derivative of a**5/10 - a**4/24 - a**3/3 + 2*a**2. Does 12 divide w(-2)?
True
Let l(c) = -c**3 + 5*c**2 + 8*c - 5. Let h be l(6). Suppose -155 = -4*b - h. Let k = b - 11. Does 10 divide k?
False
Let o(y) = 19*y**2 + 2*y - 1. Is 20 a factor of o(1)?
True
Does 16 divide 64/(-10)*(-10)/4?
True
Let v(l) = -l**2 - 7*l + 9. Let z(y) = -y**2 - 3*y + 4. Let d(g) = 3*v(g) - 7*z(g). Let r be d(-1). Suppose r*a - 18 = -0*a. Is a a multiple of 6?
True
Let c = 32 - 0. Suppose -5*j = -258 - c. Does 29 divide j?
True
Let g(t) be the first derivative of t**4/4 + t**3/3 + t**2/2 + 2*t - 1. Let o be g(0). Suppose -o*m + 5*u + 61 = 0, -3*m + 4*u + 2 = -4*m. Is 12 a factor of m?
False
Let y(q) = 3*q + 1. Let m be y(-8). Let u = 3 - m. Suppose u = j + 2. Is 12 a factor of j?
True
Suppose 5*x + 96 = 3*r + 2*x, -r - 2*x + 47 = 0. Suppose 2*q - r = -1. Is 8 a factor of q?
False
Let c be 1/(-2) + (-91)/(-2). Suppose 3*h = -2*h - c. Let i = h - -17. Is 4 a factor of i?
True
Let y = -5 - -5. Let o be 1 + 3 - (y - 2). Suppose 0 = -5*d - 2*i + 50, -2*d + o*i - 2*i + 20 = 0. Is d a multiple of 5?
True
Let j(z) = z**2 + z - 4. Suppose -5*y - 20 - 5 = 0. Let m be j(y). Let w = 26 - m. Is w a multiple of 10?
True
Is (91/3)/(4/12) a multiple of 13?
True
Let m(o) = o**3 + 26*o**2 + 25*o + 23. Is 7 a factor of m(-25)?
False
Suppose 13 = g - 2*g. Let j = g - -19. Is 19 a factor of ((-4)/j)/(12/(-558))?
False
Let g(m) = -m**3 + 11*m**2 - 2*m + 15. Is 19 a factor of g(10)?
True
Suppose 3 = 2*d + o, d - 4 = -5*o - 16. Suppose -4*l - l - 44 = 2*g, -2*l + d*g = 10. Let v(y) = -3*y - 2. Does 9 divide v(l)?
False
Suppose 0 = -3*u + 6. Let s(n) = 8*n + 2. Is 18 a factor of s(u)?
True
Suppose 2 + 13 = 3*u. Suppose u*k + 23 = -5*q + 3*k, 3 = 3*k. Let f(z) = z**3 + 5*z**2 + 4. Does 4 divide f(q)?
True
Is (-9 + 13)*11/4 a multiple of 11?
True
Let n be (-138)/8 + (-3)/(-12). Let x = 82 + n. Does 17 divide x?
False
Suppose -5 = 7*p - 2*p. Let z = -3 - -9. Does 13 divide (p + -12)/(z/(-12))?
True
Suppose m = 5*m - 32. Suppose -m - 18 = -r. Does 14 divide r?
False
Let l = 9 - 7. Suppose -l*n - f = -35, -f = 2*n - 3*n + 13. Does 14 divide n?
False
Let a = -194 + 277. Is a a multiple of 21?
False
Suppose 0 = 5*c - 4*q - 91, 0 = 5*c + 4*q - 17 - 42. Let w be -1 - 3/(3/(-32)). Let s = w - c. Is 13 a factor of s?
False
Suppose -4*c + 25 = c. Suppose s - c - 5 = 0. Suppose w - s + 3 = 0. Does 3 divide w?
False
Let g be (-1 - 2)/(10 + -9). Does 7 divide (14 - -2)/(-2 - g)?
False
Let d = -20 + -5. Let h = 43 + d. Is 6 a factor of h?
True
Let d = -41 - -50. Does 2 divide d?
False
Let z = 151 + -93. Is z a multiple of 12?
False
Is 338/7 - 4/14 a multiple of 12?
True
Is 15 a factor of 59 - (5 - 0)*1?
False
Does 19 divide (-1516)/(-8) - ((-35)/(-10) + -4)?
True
Let u be (-4)/(-1 - -3) + -1. Let v be (1/u)/(3/9). Is 3 + 2 + (0 - v) a multiple of 3?
True
Let r be 1/(-3) - (-220)/12. Is 14 a factor of r + -1 + (-4 - -5)?
False
Suppose 9*d - 4*d + 83 = 3*i, 92 = 2*i + 4*d. Does 12 divide i?
True
Suppose 3*t - 114 = t - 3*b, 3*t - 166 = -2*b. Is t a multiple of 18?
True
Let h = -14 + 56. Suppose -4*q = 3*c - h, 0 = -c - 0*c + 5*q + 33. Does 5 divide c?
False
Let p = 10 + -6. Suppose 2*q + 7 = 2*g - 15, g + q - 11 = 0. Let o = p + g. Is o a multiple of 7?
False
Suppose -3*j = -68 - 157. Is 15 a factor of j?
True
Suppose -2*s + 48 = 4*h, -5*h - 10 + 5 = 0. Is s a multiple of 7?
False
Let k(i) = -i**3 + 8*i**2 - 4*i - 5. Suppose -2*x + 5*m = -18, -4 = -3*x - 4*m - 0*m. Is 14 a factor of k(x)?
False
Let m(r) = r**2 + 5*r + 1. Let k be ((-8)/(-10))/(2/(-10)). Let g be m(k). Let v = g + 7. Is v a multiple of 2?
True
Let t = -60 + 81. Does 6 divide t?
False
Suppose 4*j + 13 + 17 = 5*a, j = -5. Let h be (0 + a)/(2/3). Suppose 21 = 4*t + 5*w - 47, 16 = h*t - 5*w. Is t a multiple of 12?
True
Let w(j) = 6*j**2 - 1. Is 5 a factor of w(-1)?
True
Let y = -62 - -106. Does 24 divide y?
False
Does 9 divide 4/7 + (-185)/(-7)?
True
Let i(x) = -x**2 + 7*x + 12. Let r be i(9). Let s = r - -8. Suppose -s*n = -0*n - 86. Is 21 a factor of n?
False
Suppose -v + 14 = 3. Let a(j) be the first derivative of 3*j**2/2 - 12*j + 5. Is 21 a factor of a(v)?
True
Let y = -30 - -62. Is 25 a factor of y?
False
Let j(f) = -13*f - 1. Suppose 6 = -4*h + 2. Is j(h) a multiple of 12?
True
Let z = 30 - 27. Is z even?
False
Let f be (57/(-4))/((-1)/(-4)). Let s be ((-2)/(-3))/((-1)/f). Suppose -2*b - 3*l + 20 = 2*l, s = 2*b - 4*l. Is b a multiple of 15?
True
Suppose -50 = z - 3*z. Does 3 divide z?
False
Let q = -97 + 161. Suppose -h - 2*h + 63 = 4*j, 0 = 4*j + 4*h - q. Is j a multiple of 9?
False
Let g(q) = -q**2 - 7*q - 1. Let f be g(-6). Suppose 4*k = 0, 0*r = f*r + k - 25. Suppose -86 = -5*z + 2*l, -22 = -z + r*l - 3*l. Does 6 divide z?
False
Let y(s) = -6*s**3. Let o(a) = a**3 - 2*a**2 - 1. Let v be o(2). Let l be y(v). Suppose -2*h - 3*g = -51, -96 = -5*h + l*g - 3*g. Is h a multiple of 9?
False
Suppose -3*b - 1 = 2. Let r be b/(-3) - 24/(-9). Is (4 - r)/(2/108) a multiple of 18?
True
Let x(m) be the second derivative of -m**5/20 - m**4/3 - 5*m**3/6 + 2*m**2 + m. Is 12 a factor of x(-4)?
True
Let f = -8 - 2. Is 14 a factor of f/15 + 74/3?
False
Is (-102)/(-4) - 2/4 a multiple of 25?
True
Suppose 4*i + 5*j - 6 = 0, 4*j + 5 + 11 = 2*i. Let w = -3 + 2. Let l = i - w. Is l even?
False
Let x = 282 + -102. Is 15 a factor of x?
True
Let x(f) = 3*f**2 - 2 + 2*f**2 - 4*f**2 + 2*f. Let s be x(-4). Suppose 11*c - s*c - 45 = 0. Is c a multiple of 5?
False
Is (2 + -3)*(-30 - 3) a multiple of 14?
False
Let x(d) = 3*d**3 + d**2 + 2*d + 1. I