 -5*k + 128 = -k. Let r = k - l. Is r a multiple of 14?
False
Let m = 75 - 174. Is m/2*(-4)/6 a multiple of 12?
False
Suppose 2*j - w - 3*w = 358, 3*j - 581 = -5*w. Does 11 divide j?
True
Let m(a) = a**3 - 11*a**2 + 0*a**2 + 0*a**2 - 8 + 4*a. Suppose 0 = -4*s - 2*o - 0*o + 42, 4 = -4*o. Does 18 divide m(s)?
True
Let a(q) = 4*q - 2. Let y be a(-3). Let h = 33 + y. Suppose -5*k - 67 = -6*p + 2*p, -p + 2*k = -h. Is p a multiple of 7?
False
Suppose z - 40 = -z. Is z a multiple of 20?
True
Let q(s) = s**3 - 6*s**2 - 8*s - 6. Is 28 a factor of q(8)?
False
Let a(c) = 3*c**2 - c. Suppose -n = -6*n - 5. Let x be a(n). Let z(y) = y. Does 4 divide z(x)?
True
Let l(x) be the third derivative of -x**4/24 + 17*x**3/6 + x**2. Is 17 a factor of l(0)?
True
Let n be (1/(-2))/((-3)/36). Let t = n + -4. Does 11 divide (-7 - t)*-1*3?
False
Let u(o) = 87*o**2 + o + 1. Let l be u(-1). Suppose l = 5*v - 83. Does 18 divide v?
False
Suppose 140 = 5*s + 5*l, 2*l = -3*s + 95 - 13. Is 9 a factor of s?
False
Let j(a) = 4*a**2 + 8*a + 9. Let p(y) = 5*y**2 + 8*y + 9. Let s(l) = 4*j(l) - 3*p(l). Let m be s(-6). Let w = 1 - m. Is 4 a factor of w?
True
Suppose 40 = 14*g - 30. Does 4 divide g?
False
Suppose 3*i = 2*i - 16. Let d = -11 - i. Is d a multiple of 4?
False
Suppose 4*i = -i + 10. Suppose -m + i*m - 4 = 0. Suppose r = -4*c + 16, 0*r + r = m*c. Is r a multiple of 8?
True
Let s be (-2 - -1)*-2 - 0. Suppose -s*x = -46 - 42. Is 22 a factor of x?
True
Let t = 19 - 14. Suppose 0 = -t*d + 6*d - 14. Is 5 a factor of d?
False
Let x(b) be the third derivative of b**5/60 - 7*b**4/24 + b**3/2 - 3*b**2. Let u be x(7). Is 3 a factor of (((-126)/3)/u)/(-2)?
False
Suppose 10*t = 146 + 94. Is t a multiple of 4?
True
Let q be (-1)/(2 - (-31)/(-15)). Suppose -2*n + 3*i = -q, -1 = -i - 0*i. Is 5 a factor of n?
False
Suppose -4 - 6 = k. Let n be (0/k)/(1 - 0). Suppose 3*z = -n*z + 30. Does 3 divide z?
False
Suppose -5 = -3*m + 7. Suppose m*x + 4*n - 172 = 0, 2*n + 0*n + 129 = 3*x. Is x a multiple of 13?
False
Suppose -2*o + o + 87 = 0. Let b = 127 - o. Does 8 divide b?
True
Let o be (-9)/6*16/(-6). Suppose 0 = o*z + y - 6*y - 32, -3*z + 27 = -3*y. Is 6 a factor of z?
False
Let o = 10 - 7. Suppose -5*a + 42 + 143 = 5*x, 148 = 4*a - o*x. Suppose 3*h + a = 166. Is 24 a factor of h?
False
Let w(b) = -b**3 + 5*b**2 + b + 7. Is w(5) a multiple of 7?
False
Let o(w) = w**3 - 14*w**2 + 5*w - 14. Let h be o(14). Let f = 3 + h. Is 13 a factor of f?
False
Let m = 27 - -51. Does 8 divide m?
False
Suppose -90 = -m + 2*p, -m + 6*p - 3*p = -92. Suppose -4*w = -222 + m. Does 17 divide w?
True
Let o(p) = -3*p**3 - 2*p**2 + 4*p - 9. Let i(j) = -4*j. Let k be i(1). Let w(d) = -4*d**3 - 2*d**2 + 5*d - 10. Let g(q) = k*w(q) + 5*o(q). Does 11 divide g(4)?
False
Let x = 49 - 21. Is 10 a factor of x?
False
Let i = 1 - 7. Let d be 12*1/i*-3. Is 16*(-3)/d*-4 a multiple of 13?
False
Let h = -121 - -239. Is 13 a factor of h?
False
Let k = -8 + 4. Let r = k + -3. Let n(v) = -v - 2. Is 5 a factor of n(r)?
True
Let u be 3 - 3 - (-1 + 1). Let f(v) = -v + 27. Let w be f(u). Suppose 0*z - 3*z + w = 0. Is 9 a factor of z?
True
Let v = 725 - 515. Is 36 a factor of v?
False
Let k be (16/10)/((-6)/(-1905)). Let l = k - 272. Suppose -5*i + l = 26. Is 21 a factor of i?
True
Suppose 2*q = 4*q + 3*m - 131, 3*q - 194 = -2*m. Does 16 divide q?
True
Suppose -5*o + 11*o - 144 = 0. Is 12 a factor of o?
True
Suppose -3*f + 5*b + 371 = 0, 248 = 2*f - b - 2*b. Is f a multiple of 16?
False
Let t(a) = -2*a**2 - 8*a + 4. Let w be t(-6). Let n = w - 1. Let l = n + 40. Is l a multiple of 18?
False
Suppose -3*y - 5*g + 103 = 0, -17 = 5*y + 5*g - 182. Let r = y + 8. Is r a multiple of 13?
True
Let g(n) be the first derivative of n**2/2 + 15*n + 3. Let z be g(0). Suppose -3*r - 2*r = -z. Is 3 a factor of r?
True
Let h(c) = c**3 + 9*c**2 + 8*c + 2. Let a be h(-8). Suppose 0*i + a*u - 4 = i, -2*u = -2*i - 2. Is (3 - 4)*i*-13 a multiple of 13?
True
Let z be (1/(-2))/((-4)/(-32)). Let d(f) = -f - 2. Let y be d(z). Suppose 5*r - 196 = 3*v, -y*r + r - 2*v = -34. Does 19 divide r?
True
Let f = 40 - -29. Suppose 7*z - 4*z - f = 0. Is z a multiple of 5?
False
Suppose 20 = -j - 4*w, -j + 4*j = 4*w + 20. Suppose 0 = 2*s - 2, j = x - 2*s - 2 + 1. Does 13 divide (x/9)/((-1)/(-78))?
True
Let a be 0*((-15)/6)/5. Let w be -2*(a - (-6)/(-4)). Is 3 a factor of w + -2 + -2 + 4?
True
Suppose -4*r - 82 = -5*x, -2 - 2 = -2*r. Let j = 51 + -27. Suppose t - x = j. Is t a multiple of 21?
True
Let k(y) = y**2 - 3*y - 5. Does 5 divide k(5)?
True
Let v = -15 + 18. Suppose -p = -2*h + 55, 4*h + 8*p - v*p = 89. Does 13 divide h?
True
Let d be -3 + 3 - (5 + -1). Let u(h) = h**2 + 3*h. Let v be u(d). Suppose -v*s + 15 = s, -3*s = o - 14. Is 5 a factor of o?
True
Let y(k) = k**2 - 3*k - 8. Let g be 9 + 2 + -2 + -1. Let f be y(g). Suppose 2*s = f + 18. Does 11 divide s?
False
Suppose 3*q = -g + 580, -5*q - 3*g + 871 = -101. Does 32 divide q?
True
Let u = 63 + -89. Let x = u - -47. Is 7 a factor of x?
True
Let k(d) = -7*d - 17. Does 13 divide k(-8)?
True
Let b(g) = -8*g - 39. Does 17 divide b(-16)?
False
Let d(y) = y - 4. Let h be d(4). Suppose h = 3*f - 6*f + 39. Is f a multiple of 6?
False
Let i be (116/(-8))/((-2)/4). Suppose 5*v = 2*u - i, u + 5*v + 4 + 19 = 0. Suppose -8 = -u*n + n. Does 8 divide n?
True
Let l = 119 + -41. Is l a multiple of 26?
True
Is 22/(3 - (-22)/(-8)) a multiple of 14?
False
Suppose -28 = -2*g - 2. Let o = g - 0. Is 3 a factor of o?
False
Let c be 1/(-1*3/(-57)). Let p = 40 - c. Is 7 a factor of p?
True
Let n(p) = -5*p**2 + 4*p**2 + 38 - 2. Let j be n(0). Suppose 2*a + j = 4*z, 4*z + 2*a + 10 = 46. Is z a multiple of 3?
True
Let b = -1 + 1. Suppose -3*o = -b*o - 15. Suppose -16 = n - 3*n + 2*c, -5*c = o. Does 4 divide n?
False
Suppose 3*z = -i - 3, 2*i + 3*i = 5*z + 5. Is 5 + -3 - 4*z a multiple of 5?
False
Suppose 3*h - 2*p - 1448 = 0, -14*h + 15*h - 476 = 2*p. Is 15 a factor of h?
False
Let v(l) = -10*l**3 + 4*l + 3. Does 9 divide v(-2)?
False
Let c(d) = 2*d**2 - 3*d - 2. Let u be c(3). Suppose 2*q = u*q. Suppose q = -5*s, -3*k = 3*s - s - 42. Is k a multiple of 7?
True
Let t = 36 + 14. Does 32 divide t?
False
Suppose -c - 39 = -4*c. Suppose -94 = -3*d - p, -3*d + 4*d + 4*p - c = 0. Is d a multiple of 18?
False
Let z(f) = f**2 + 5*f + 6. Let m be z(-6). Suppose 0 = -2*g - y + m, -5*g + y = -0*y - 44. Is g a multiple of 6?
False
Suppose u - 3*u = 12. Let q(i) = i**3 + 5*i**2 - 6*i + 2. Let k be q(u). Suppose -k*z - z - g = -60, 0 = -3*g. Does 10 divide z?
True
Suppose 0*z - 8 = -z. Suppose -z = -i + 22. Is 15 a factor of i?
True
Suppose -40 = 3*i - 8*i. Does 29 divide 2/i - (-374)/8?
False
Let u = -14 + 13. Is 9 a factor of (-1 - u - -31) + 1?
False
Suppose 0 = z + 3*y + 23, -5*y - 18 = 3*z + 39. Is 9 a factor of 2/(-7) - 382/z?
True
Let f be (-6)/10 + 1015/25. Suppose -5*s = -3*s - f. Is 7 a factor of s?
False
Suppose -4*t - 3*q = -291, 4*q + 356 = t + 4*t. Is 12 a factor of t?
True
Suppose -2 = 4*r - 22. Is 14 a factor of r/(-20) + 114/8?
True
Let w = -6 - -8. Suppose 3*r - 75 = -5*h + w*h, -5*h + 2*r + 90 = 0. Is 12 a factor of h?
False
Suppose -3*r - 22 = 14. Let c(m) = m**3 + 2*m**2 - 3. Let z be c(-3). Is 8 a factor of 3/r - 255/z?
False
Let s(w) be the third derivative of w**6/120 - w**4/24 + w**3 + w**2. Is s(0) a multiple of 3?
True
Suppose -3*f + 116 = 4*q, -f - 4*q + 17 = -7*q. Is 4 a factor of f?
True
Is 34 a factor of 1/(4*(-4)/(-544))?
True
Let p be 1/(2/54*3). Let q be (3/p)/(3/261). Suppose -a + 7 = -q. Is a a multiple of 18?
True
Suppose 3*p - 4*g = 16, -3*p + 25 = 2*p - 5*g. Does 2 divide p?
True
Suppose 858 = 4*g + 2*j, 5*j + 8 = -7. Does 27 divide g?
True
Suppose -5*v = 2*d - 0*d - 619, -2*v + 238 = -4*d. Let a = v + -78. Does 15 divide a?
True
Let u = -5 + 3. Does 11 divide -4*u/(-8)*-11?
True
Let a(k) = 5*k + 3. Let i be a(4). Suppose -2*q - u = 2*u + 35, u + 16 = -q. Let x = q + i. Does 5 divide x?
True
Let n(x) = -x**3 - 5*x**2 + 8*x + 3. Suppose -3*s = s - 8. Let z(g) = g**3 + 6*g**2 - 7*g - 3. Let c(d) = s*n(d) + 3*z(d). Is 13 a factor of c(-8)?
False
Suppose 12 = 4*b, 3*l = -l - 3*b + 289. Is l a multiple of 10?
True
Suppose k + k + 16 = 5*x, 12 = 5*x - 4*k. Let s = x + 2. Is s a multiple of 6?
True
Let l be ((-4)/(-1 + 2))