 = -4*w + 96. Is z a multiple of 14?
True
Let m(o) = -4*o - o**3 + 2*o**2 + 9*o**2 - 3*o**2 - 1. Is 9 a factor of m(7)?
False
Let o = -41 + 8. Let g = o + 66. Does 11 divide g?
True
Let t(s) = -38*s - 2. Let m be t(-3). Suppose 0*f - 15 = -5*f. Suppose -r = f*r - m. Does 11 divide r?
False
Is 12/(-4)*(-5 + -2) a multiple of 21?
True
Let k(p) = p**2 - 7*p + 7. Let j(b) = -b + 16. Let c be j(11). Let t be k(c). Is 6 a factor of 19/1 + 3/t?
True
Let z be 2 + -3 + (-6)/(-2). Suppose 0*r + 2*u + 56 = z*r, 3*r - 49 = -4*u. Is r a multiple of 12?
False
Suppose 6*c - 9*c + 1158 = 0. Is 28 a factor of c?
False
Suppose 3*y + 8*a - 15 = 3*a, -a + 3 = -4*y. Suppose -2*s - 3*q + 35 = 0, -2*s - 5*q - 11 + 56 = y. Is 10 a factor of s?
True
Let n(c) = c**2 - 7*c + 15. Let x(r) = 5*r**2 - 28*r + 61. Let d(w) = -9*n(w) + 2*x(w). Is 5 a factor of d(-9)?
True
Let o(b) = b**2 + 2*b + 11. Let j(v) = 2*v**3 - v**3 + 7*v + 4 + 15*v**2 - 8*v**2 - 6. Let u be j(-6). Does 18 divide o(u)?
False
Let n(j) be the third derivative of 0 + 0*j**3 + 0*j + 13/12*j**4 - 2*j**2. Is 13 a factor of n(1)?
True
Let o = -23 + -6. Let b = 42 + o. Is b a multiple of 13?
True
Suppose 30 = 5*b - 180. Does 42 divide b?
True
Let i(n) be the third derivative of -n**6/360 - n**5/20 + n**4/12 + 2*n**2. Let s(o) be the second derivative of i(o). Is s(-5) even?
True
Suppose -2*i + i = -o - 6, -2*i + 24 = -5*o. Let n be 25*i/(-1 - -3). Let l = n + -5. Does 9 divide l?
False
Let i = -150 - -78. Let q = -38 - i. Is q a multiple of 11?
False
Let u = 5 - -55. Does 12 divide u?
True
Let h(v) = 28*v - 15. Is h(5) a multiple of 25?
True
Let q = 5 + 0. Suppose -4*b + 6*b - 2*w = 118, 271 = q*b + 3*w. Is 22 a factor of b?
False
Suppose 5*w = -4*q - 85, 0 = 5*w - 2*q + 7*q + 90. Let m be w/(-2*(-1)/(-2)). Let a = m + 1. Is 14 a factor of a?
True
Does 3 divide -20*6*(-4)/32?
True
Suppose -2*w - 3*x + 0 = 21, 0 = w - x - 2. Let f be 6/(-15) - w/(-5). Is 4 a factor of (-6)/(5/(-3) - f)?
False
Let c(i) = i**3 - 13*i**2. Let d be c(13). Suppose 4*u - 5*q - 35 = d, -5*u + 116 = 4*q + 21. Does 9 divide u?
False
Suppose 6*y = 2339 + 253. Is y a multiple of 24?
True
Suppose a - 27 = 3*u - 4*a, 23 = -2*u + 5*a. Let i(h) = -h**3 - 4*h**2 - 4*h + 2. Is 9 a factor of i(u)?
True
Is 1124/36 + (-6)/27 a multiple of 10?
False
Suppose -190 + 46 = -8*f. Is f a multiple of 2?
True
Suppose -h + 30 = 4*h. Suppose -30 = -h*r + r. Suppose r*o - o = 30. Is 6 a factor of o?
True
Suppose 0*p = 4*p - 180. Is p a multiple of 15?
True
Suppose 165 = 3*d - 3*w, -5*w - 39 = -0*d - d. Is 24 a factor of d?
False
Suppose 4*k + 3*y - 210 = 24, -5*y = 5*k - 290. Is k a multiple of 27?
False
Let z be (0 - (-1 - -2))*5. Let w = 247 - 412. Is z + 2 - w/5 a multiple of 15?
True
Let p = 5 - 1. Suppose -p*j + 0*j + 64 = 0. Does 7 divide j?
False
Let k(n) be the third derivative of -7*n**6/24 - n**5/60 + n**4/24 + n**3/6 + 2*n**2. Does 17 divide k(-1)?
True
Let t be 33/4*8/3. Let s = 33 + -22. Let y = t - s. Is y a multiple of 11?
True
Let x = -23 + -1. Let w = -10 - x. Is w a multiple of 7?
True
Suppose 3*x = -3*f - 0*f + 57, 4*f = 2*x - 44. Does 13 divide x?
False
Suppose -3*a + 5*b = -23, -5*a + 0 = -b - 53. Let p(o) = 2*o + 4. Does 13 divide p(a)?
True
Suppose 5*a + 0*p - 4*p = 6, 2*a - p - 3 = 0. Suppose -a*d + 29 + 30 = -5*c, -3*c = 9. Is 11 a factor of d?
True
Let u = -5 - -5. Suppose l + 5 + u = 2*a, 3*a + 3*l = 12. Does 7 divide a + -1 + 3*4?
True
Let x be (-4 - -5)/((-2)/(-6)). Suppose x*f = 7*f - 120. Does 10 divide f?
True
Let t(y) = 5*y**2 - y. Is t(4) a multiple of 15?
False
Suppose -3*q = -q - 16. Is q a multiple of 3?
False
Let j(z) = -z**3 + 7*z**2 - z - 1. Let i be (-1 - (-9)/2)*2. Let p be j(i). Does 16 divide 228/p*(-2)/3?
False
Let a = -9 + 33. Suppose 4*q + 3*o - 33 - 3 = 0, 0 = 3*q + 3*o - a. Is 8 a factor of q/(-2 - 11/(-4))?
True
Suppose 5*c = -0*c + 65. Let t(d) = d**3 - 5*d**2 + 5*d - 4. Let g be t(3). Let z = g + c. Is z a multiple of 6?
True
Let a(o) be the first derivative of -o**2 + o + 1. Is a(-4) a multiple of 3?
True
Let b(x) = 3*x + 3. Let p be b(3). Suppose -2*s - 4 = 5*v + p, 3*v + 24 = -2*s. Does 16 divide (-580)/s + (-2)/9?
True
Suppose 26 = -4*o + 74. Is 12 a factor of o?
True
Let j be 8*2 + (-3 - -6). Suppose j = 3*f + 7. Is 4 a factor of f?
True
Let i(z) = -z**3 + 6*z**2 + 8*z - 9. Let b be i(7). Let d = 3 - b. Let c = d - -19. Is c a multiple of 12?
True
Let u = -2 - 0. Let s(m) = -3 - 3*m**3 + m**3 + m - 4*m. Is 10 a factor of s(u)?
False
Let o be 0 + -1*4 + 1. Suppose 4*q = -14 + 18. Does 15 divide q + 62/(-6)*o?
False
Let d be -1 + -1 - 6 - 0. Let g(u) = 3*u**3 + 0*u**2 - 2*u**3 - 10*u + 7*u**2. Is g(d) a multiple of 11?
False
Suppose -5*d - 10 = -0. Let x = 9 - d. Is 4 a factor of x?
False
Suppose h + o + 1 = 2*o, -3*h + o - 1 = 0. Let w be (h - 0)*2/2. Suppose w = s - k - k - 34, -2*s = 3*k - 61. Is 12 a factor of s?
False
Let m(f) = f**3 - 9*f**2 + 9*f - 3. Let k be (-253)/(-33) - (-1)/3. Is m(k) even?
False
Let z = -26 - -37. Let b = -9 - -22. Let u = b + z. Is 12 a factor of u?
True
Let h = 9 + 16. Suppose -k = -0*k - h. Is 17 a factor of k?
False
Let g(n) = 21*n**2 - 6*n + 1. Let m(p) = -4*p**2 + p. Let u(b) = -2*g(b) - 11*m(b). Suppose 12*y - 4*y = -24. Is u(y) a multiple of 5?
False
Suppose z - 5 = 0, 4*n + 2 = -3*z + 5*z. Let w(m) = m**2 + 5*m - 1. Let p be w(-5). Is 13 a factor of 0/n*p - -31?
False
Let v = 22 + -20. Is 9 a factor of (54 - 2) + 0 + v?
True
Let w(t) = 0*t**2 + 9*t**2 + 4*t**2. Is 13 a factor of w(1)?
True
Suppose 10*k = 14*k - 72. Is k + (7 - 3) + -3 a multiple of 9?
False
Suppose n - 14 = -3. Let k be 1 + 0 + 1 + 0. Suppose n = k*w + 3. Is w a multiple of 4?
True
Let i(n) = n**2 + 3*n**2 + 6 + 5*n - n - 2*n**2. Is 18 a factor of i(-6)?
True
Let b = 0 - 0. Does 19 divide (b - -1)*-1*-19?
True
Let n be (-3)/(-1) + (1 - 2). Is 0 + -1 + n + 6 a multiple of 5?
False
Suppose o - n + 1 = 2*o, 5*o - n - 29 = 0. Let k(z) = 5*z**2 - 8*z + 9. Let s(c) = -14*c**2 + 23*c - 26. Let f(r) = -11*k(r) - 4*s(r). Does 10 divide f(o)?
True
Let a = -35 - -86. Is 17 a factor of a?
True
Let g be -4*(-2)/((-16)/(-10)). Suppose l + g*x = 50, -4*x + 20 = x. Let a = l + -21. Does 7 divide a?
False
Suppose -y = -5*s + 24, -y - 3*s + s = 10. Let x = -8 - y. Is 6 a factor of x?
True
Let n be (-1)/(1*1/139). Let s = -57 - n. Is 18 a factor of s?
False
Suppose 0 = -3*q + 19 - 4. Is q a multiple of 2?
False
Suppose l - 13 = -6*g + g, -4*g + 5*l + 22 = 0. Does 17 divide g - (-2 - 5)*2?
True
Let h be (0/(-7))/(4/(-2)). Suppose 2*b - 4*v - 16 = h, 3*v + 6 = 4*b - 11. Suppose -b*u + 10 + 6 = 0. Does 8 divide u?
True
Let v(t) = -3*t + 18. Does 13 divide v(-9)?
False
Let d = 6 + -12. Let r(h) = -5*h + 3. Does 11 divide r(d)?
True
Is ((-2)/((-2)/2) - -1)*16 a multiple of 8?
True
Let g(p) = -7*p - 3. Let b(q) = q + 1. Let m(f) = -5*b(f) - g(f). Let k be m(4). Suppose -12 = -x - 3*n, -2*x - 2*n = -k*n - 14. Does 9 divide x?
True
Suppose 0 = -3*d - d - 8. Let c(k) = k + 2. Let p be c(d). Suppose 0*g + 5*g - 110 = p. Is 11 a factor of g?
True
Let l = -8 - -13. Suppose -l*r + 144 = -0*a - 4*a, 3*a = -4*r + 109. Is r a multiple of 28?
True
Let a = -172 - -241. Is 26 a factor of a?
False
Suppose 0 = -3*v + 12 + 21. Does 2 divide v?
False
Suppose -4*o + 16 + 8 = 0. Let g be 8/o*171/6. Let u = -2 + g. Does 14 divide u?
False
Let m = -638 + 957. Does 41 divide m?
False
Let q = 133 + 21. Is 24 a factor of q?
False
Let j = -94 + 138. Let w = j + -31. Is 13 a factor of w?
True
Let o = -6 - -10. Does 2 divide o?
True
Let b(u) = -u**2 - 13*u - 4. Let v be b(-6). Suppose -i = -2*q + v, -26 = -5*q - 3*i + 47. Does 6 divide q?
False
Suppose -3*d + 4 + 2 = 0. Suppose -r + 0*r - 17 = 4*x, -d*x = 0. Let n = -2 - r. Does 15 divide n?
True
Suppose 8*r + 107 = 499. Is r a multiple of 7?
True
Let j(b) = 7*b**2 + b - 2. Let g = -14 + 15. Is 6 a factor of j(g)?
True
Let f = -26 - -14. Let j = 21 - f. Is 17 a factor of j?
False
Suppose -f = -5*f + 48. Let r be 1*-2 - f/(-2). Suppose 24 + 36 = r*z. Does 12 divide z?
False
Let h(j) = j**2 + j + 0*j**2 - 5 + 2 - 4*j. Is 5 a factor of h(6)?
True
Let v = 19 + -19. Suppose 3*k - 5*z - 47 = v, 2*k + z = 3*k - 13. Is k a multiple of 2?
False
Let c(w) = -12*w**2 - 3*w + 2. Let r(y) = 13*y**2 + 4*y - 3