Let i = 255 + -147. Is 36 a factor of i?
True
Let j(x) = x + 1. Is j(5) even?
True
Suppose -2*q + 76 = -2*x - 80, -3*x + 228 = 3*q. Is q a multiple of 11?
True
Let c(k) = -k**3 - 4*k**2 - 6*k - 10. Does 3 divide c(-4)?
False
Let l be (-2 + -7)/3*1. Let p(w) = -w**3 - 2*w**2 + 3. Is p(l) a multiple of 12?
True
Let x = -3 + 17. Does 4 divide x?
False
Let q(h) = -h**3 + 2*h**2 + h + 77. Is 11 a factor of q(0)?
True
Let s be (-2 - -4 - 3)/1. Let j(q) = 2*q**2 + q + 1. Let d be j(s). Is ((-3)/d)/((-27)/198) a multiple of 6?
False
Suppose -j + 101 = 2*j - 2*z, 2*j - 94 = -4*z. Suppose 7*d + 15 = 2*d, -5*g - 2*d - 131 = 0. Let a = j + g. Does 11 divide a?
False
Suppose 3*y - 114 = -6. Let a = y - 12. Is 9 a factor of a?
False
Suppose 22 = 2*z + 5*c, -4*z + 21 - 5 = 3*c. Does 21 divide -1 + (3 + 40)/z?
True
Let i = 8 - 5. Let y = i + 18. Is 7 a factor of y?
True
Let j = 422 + -206. Is 24 a factor of j?
True
Is 18 a factor of (0 - -3)*295/5?
False
Let m = -10 + 171. Is 24 a factor of m?
False
Let v be (-3)/(-15) - (-472)/(-10). Let m = v - -86. Suppose 5*o - 11 = m. Does 10 divide o?
True
Let s(y) = y**3 - 7*y**2 + 9*y + 11. Let l be s(5). Let r(n) = -n**2 + 9*n - 5. Is 4 a factor of r(l)?
False
Suppose -2*k - k = 0. Suppose 2*x - g + 2*g - 8 = 0, -3*x + g + 7 = k. Suppose -x*v - 109 = -5*f, -2*f + v + 2*v + 40 = 0. Does 8 divide f?
False
Let o = 40 + 8. Is 16 a factor of o?
True
Suppose 9 = 4*m - 0*w + 3*w, 5*m = -4*w + 12. Suppose m = -3*p + 10 + 2. Suppose -2*j - 2*j = -4*k + 24, -k = -p*j + 3. Does 9 divide k?
True
Let p(j) = -j**2 - 4*j + 5. Let y be p(-4). Suppose -y*w + 0*w = -10. Suppose -x = w*x - 48. Is x a multiple of 11?
False
Let n = 4 + -1. Suppose n*u - u + 6 = 0, o - 11 = -u. Is o a multiple of 6?
False
Suppose -4*z + 51 = m, 0*m - 4*m + 243 = 3*z. Suppose -5*i = -2*u + m - 232, -99 = -3*i + 2*u. Is i a multiple of 14?
False
Let r = 562 + -387. Let o be 0 - (-4 + 4 + -2). Suppose 0 = -o*j + 2, -j - r = -4*g + 4*j. Does 20 divide g?
False
Does 39 divide (1 + 1)/((-462)/234 - -2)?
True
Let n be -6 + 5/((-5)/(-2)). Let p be n/14 + 65/7. Let r = 1 + p. Is r a multiple of 6?
False
Let u = 9 + -5. Is 7 - (-2 - 4/u) a multiple of 5?
True
Let d(p) = 6*p + 15. Is 15 a factor of d(8)?
False
Let o(m) = 5*m**2. Does 4 divide o(2)?
True
Let r = 76 - 48. Does 11 divide r?
False
Suppose 0 = 5*c - 3*p - 263, 4*c - 147 - 62 = p. Does 27 divide c?
False
Suppose 0 = k + 2*k - 39. Is k a multiple of 13?
True
Let o(d) = -8*d - 3. Let y be o(-7). Let r = -31 + y. Does 11 divide r?
True
Suppose -3*x = -5*m + 39, 2*m = m - 2*x. Let h(y) = y + 1 - 5*y + 4*y + y. Is h(m) a multiple of 2?
False
Suppose -30 = -2*p - 4*t, t = -3*p - 3*t + 37. Is 7 a factor of p?
True
Let n = 64 - 30. Is 18 a factor of n?
False
Suppose 0 = -3*n + n. Suppose 5*r + 0 - 35 = n. Does 2 divide r?
False
Let d(s) = s**3 + 7*s**2 - 10*s - 11. Let h be d(-8). Does 9 divide 203/h + (-18)/30?
False
Let w = 6 + -6. Suppose -5*t + 34 = -4*z, 2*t = -w*t - 2*z + 10. Let g = t - 0. Is g a multiple of 6?
True
Let y be 24 + ((-1)/(-1) - 4). Let t = y + -4. Is 5 a factor of t?
False
Let s be 2*1*(-2)/4. Let g be ((2 - 8)/2)/s. Suppose -g*v + 7 = 2*k - 3, 5*k = 5*v - 50. Does 6 divide v?
True
Suppose -2*j - 2*s - 2 = 0, 2*j - 5*s - 17 = 2. Suppose -15 - 13 = -j*t. Does 7 divide t?
True
Let h be 1137/6 + 2/4. Let n = h + -65. Does 10 divide (2 + 0)/(10/n)?
False
Let a(j) = -j**2 - 3*j + 20. Let b be a(-6). Suppose 17 = l - b*c, -2*c - 43 = -2*l - 9. Is 15 a factor of l?
False
Suppose 0 = v + 4, 3*j + 32 + 3 = -2*v. Does 23 divide (-2)/j + 1058/18?
False
Let s(q) = -5*q + 21. Is 14 a factor of s(-10)?
False
Let w(p) = p**3 - 8*p**2 + 6*p + 1. Let u be w(7). Let n be (-4)/u*(-3 - 0). Is n/(-9) - 338/(-18) a multiple of 19?
True
Suppose -3*d = -2*b - 0*d + 12, 5*b - 5*d = 30. Let v be 2*-1 - b/(-3). Suppose -4*i + 2*i + 46 = v. Does 15 divide i?
False
Suppose 60 = 3*q + 3*u, 3*q = -q + u + 65. Let c = q - 9. Does 7 divide c?
False
Let k = -20 + 14. Let g(s) = 5*s + 5. Let t(u) = -9*u - 10. Let q(z) = 5*g(z) + 3*t(z). Does 7 divide q(k)?
True
Let t(l) = 2*l**3 + 14*l**2 - l - 8. Does 7 divide t(-6)?
True
Let a = -6 - 23. Let t = 65 + a. Does 18 divide t?
True
Let a(l) = -1 + 3*l**3 + 5*l**2 - l - 4*l**3 - 1 + 2*l. Let f be a(5). Suppose 0 = f*h - 158 + 50. Is 16 a factor of h?
False
Let h(o) = 23*o**2 - 2*o - 1. Let v be h(2). Suppose 0 = 3*q - 2*y - 56, -5*q - y + v + 2 = 0. Is q a multiple of 6?
True
Let m = 19 - 38. Let u = 52 + m. Suppose -h = 3*s - u, -2*s = h - 0*s - 35. Is h a multiple of 14?
False
Let u(w) = -4 - 4 + 0*w + 0 - 6*w. Does 13 divide u(-8)?
False
Suppose 0 = -4*v + x + 7, -2*x + 0*x - 2 = -4*v. Does 4 divide v/((-1)/(-5) - 0)?
False
Suppose -2*p = -0*p - 6. Suppose -p*u + 20 = -3*d - 22, 3*u + 5*d = 74. Is 14 a factor of u?
False
Let b(d) = -d**3 - 4*d**2 + 6*d + 6. Let t be b(-5). Suppose 4*l - 4 = 4*h, h + t + 0 = 4*l. Is 13 a factor of h*13*(-4)/4?
True
Suppose -2*a = 8, -3*o + 4*o - 2*a - 10 = 0. Suppose 0 = -o*j + 3*m - 4, 3*j + 1 = 4*j - 3*m. Let k = 0 - j. Is k even?
False
Let y(u) = 4*u**2 + u + 2. Let f be y(-2). Suppose -6 = v - f. Is 7 a factor of -21*(v/6 + -2)?
True
Suppose -z + 215 = 65. Is z a multiple of 35?
False
Suppose 257 = 2*o - 5*d, o - 5*d - 373 = -2*o. Is o a multiple of 58?
True
Suppose 0*k - 2*k + 4*h + 26 = 0, 0 = 4*k - 2*h - 46. Is k a multiple of 2?
False
Let x(o) = 2*o**3 - 4*o**2 + 4*o - 3. Let i be x(2). Suppose -i*s + 122 - 7 = 0. Does 14 divide s?
False
Let p(k) = k**2 - 1. Let f be (-4)/(-14) + 6/(-21). Suppose 3*x - 15 + 3 = f. Does 15 divide p(x)?
True
Let i(z) = z**2 - 2*z - 3. Let c be i(4). Suppose -4*p + p + 501 = 5*x, 2*p - 353 = 3*x. Suppose -c*f = 37 - p. Is f a multiple of 9?
True
Suppose 222 - 50 = 4*x. Is x a multiple of 11?
False
Let r(k) = k**2 + 4*k + 1. Let v be r(-4). Let d = 12 - v. Suppose -5*m + d = -69. Is 8 a factor of m?
True
Let s(y) = -10*y**2 + 1. Let u be s(1). Does 5 divide (-119)/u - 4/18?
False
Let n(u) = 5*u**3 - 2*u**2 + 5*u - 5. Let s(h) = 3*h - 1. Let a be s(1). Does 23 divide n(a)?
False
Is (-1)/12*-3 - (-347)/4 a multiple of 8?
False
Suppose 2*b + 0*b - 5*c = 54, 4*b - 86 = -c. Is 22 a factor of b?
True
Suppose -c = 2*q - 101, -122 + 23 = -2*q + c. Does 7 divide q?
False
Suppose -5*j = -j - 3*t - 295, -5*j + 5*t + 370 = 0. Suppose b - j = -4*y, -5*b = y + 11 - 34. Does 18 divide y?
True
Let m = -58 + 136. Does 13 divide m?
True
Let f(o) = -o**3 - 12*o**2 - 6*o + 16. Let a be f(-11). Is (1 - (-15)/(-9))*a a multiple of 13?
True
Let a(p) = p + 3. Let h be a(11). Is 13 a factor of h - 3/(-9)*-3?
True
Let f(d) = -d**2 - 5*d + 7. Let s be f(-5). Let w = 1 + s. Suppose 2*x + w = x + 5*u, 3*x - 20 = 4*u. Is 6 a factor of x?
True
Let k(b) = 4*b**2 - 5*b + 12. Let x be k(-5). Let n = 261 - x. Is n a multiple of 31?
True
Let j = 138 - 96. Is 21 a factor of j?
True
Suppose -3 = v - 11. Suppose 2*z = v - 0. Suppose -f + z*f - 114 = 0. Is f a multiple of 14?
False
Let w = 24 + 6. Is 15 a factor of w?
True
Suppose -4*s + 172 = -268. Let l = s - 62. Suppose 2*m = 6*m - l. Does 6 divide m?
True
Let y(u) = 4*u**2 - 2*u + 7. Is 8 a factor of y(3)?
False
Suppose x - 3*p = 3, -x + 2*p = 4*p - 28. Does 18 divide x?
True
Let m = 109 + -96. Is m a multiple of 13?
True
Let s(y) = -y - 9. Let o be s(-12). Suppose o*j = -2*k + 414, -5*j + 3*j - 2*k = -278. Does 36 divide j?
False
Suppose v = 4*j - 2*v - 107, 20 = -4*v. Does 11 divide j?
False
Suppose 150 = 5*c - 2*q, c - 9 = -5*q + 21. Does 8 divide c?
False
Suppose -4*h = k - 61, -2*h + 5*h = -4*k + 36. Is 7 a factor of h?
False
Let t be (1 + -2)*(-4)/1. Suppose t*j - 7*w + 3*w = 52, -j - 3*w = -17. Suppose 0 = q - j - 6. Is 10 a factor of q?
True
Suppose -2*h = -8, -260 = -4*a + h - 4*h. Let y = 92 - a. Is y a multiple of 15?
True
Let r = -46 - -117. Is r a multiple of 17?
False
Let d(y) = 37*y**2 + 2*y + 1. Is d(-1) a multiple of 8?
False
Suppose g = -2*r - 22 + 75, 0 = 5*r - g - 122. Let s = -13 + r. Is s a multiple of 12?
True
Let g = -20 + 100. Is 16 a factor of g?
True
Suppose 20 = 4*s + 8. Let w = 1 + s. Suppose 1 - 45 = -w*k. Does 4 divide k?
False
Let c(p) = -p**2 + 3*p + 60. Is 30 a factor of c(0)?
True
Let o = -37 + 67. Suppose t + 2*i = o, -3*t + 6*i = i - 79. Is t a multipl