356. Is c a multiple of 38?
True
Let s(o) = 3*o - 5. Let y(d) = -7*d + 11. Let m(l) = 5*s(l) + 2*y(l). Let k be m(6). Does 7 divide (-80)/(-24)*k/1?
False
Let q(y) = 21*y + 2. Let i be q(2). Suppose -3*h + i = -37. Is h a multiple of 27?
True
Let k = 10 + -7. Suppose -k*h = 2*h - 20. Does 2 divide h?
True
Is -2*(-11)/(44/72) a multiple of 9?
True
Let g(n) = n**3 - 4*n**2 + n + 1. Let j be g(4). Suppose j*p = 3*v - 71, -3*p + 4*v - v = 39. Let d = p - -32. Does 8 divide d?
True
Suppose 12*b = 7*b + 15. Does 2 divide b*(-3)/(-9) - -4?
False
Let s = -8 + 24. Let n be (-1 + (-4)/6)/(6/(-18)). Suppose -t + 3*p = 5*p - s, -n*t = 5*p - 95. Is 11 a factor of t?
True
Let s = 10 + -15. Let c = 13 + s. Is 4 a factor of c?
True
Let g(k) = -k**3 + 7*k**2 + 2. Let x be g(7). Suppose -5*j + 4*a - 55 = 0, 3*a + 30 = -3*j + x*j. Let t = j + 30. Is t a multiple of 7?
False
Let l = 2 + -2. Let w = l - -2. Suppose 0*z + 4 = w*z. Does 2 divide z?
True
Let l = 3 - -6. Let i(n) = -n**3 + 10*n**2 - 9*n - 8. Let a be i(l). Let s = a - -48. Is s a multiple of 11?
False
Let u = -6 + 6. Suppose u = -3*k - 3, -2*k - k - 5 = -l. Does 26 divide ((-9)/(-15))/(l/190)?
False
Suppose 2*s - 6 = -2. Suppose 4*n = -2*t + 14, 3*n - 22 = -s*t + n. Is t a multiple of 9?
False
Let y(t) = -2*t - 8. Let h(s) = 5 + 2*s + 8*s**2 + s**3 + 1 + 3. Let f be h(-8). Is y(f) a multiple of 3?
True
Let c be 8/20 - (-324)/(-10). Let l = c + 77. Is 22 a factor of l?
False
Let x = 1 + -1. Suppose -2*t - a + 15 = -4*a, -t + a + 5 = x. Suppose 2*o + 0*o - 36 = t. Is 9 a factor of o?
True
Let q(r) = -r**3 + 11*r**2 + 12*r + 5. Let f be q(12). Suppose -18 = -3*z + n + 25, -f*z = 4*n - 83. Is z a multiple of 3?
True
Let g(i) = -i**3 + 1. Let q be g(1). Suppose 2*y - 25 = -n, q = 4*n - 5*y + y - 52. Is 10 a factor of n?
False
Suppose 499 = -2*k - x, -4*k - 999 = 2*x + x. Let j = -175 - k. Suppose 2*n - j = -0*n. Is 12 a factor of n?
False
Let f(i) = -3*i**2 - 12*i + 3. Let u be f(-7). Let o = u - -113. Does 17 divide o?
False
Suppose -3*r = -5*r + 182. Does 23 divide r?
False
Let p be (-4 - -1)*(-5)/3. Suppose -p*c + 139 = 3*g, -g - 91 = -3*g - 5*c. Suppose -4*s + g = -2*s. Does 10 divide s?
False
Let i(u) = u**2 - 26*u + 72. Does 24 divide i(30)?
True
Let c = 205 + -89. Does 29 divide c?
True
Let g(n) = -n**3 - n**2 - n. Suppose 3*t = -2 + 5. Let d(c) = -6*c**3 + 5*c**2 + 3*c - 1. Let k(r) = t*d(r) + 5*g(r). Is 6 a factor of k(-1)?
True
Let y(u) = 11*u - 5. Let j be y(3). Suppose 7*z = 6*z + j. Is z a multiple of 20?
False
Let w be 2/7 - (-6)/(-21). Let m be w/2 + 3/3. Is (-5)/(-1) + m + -1 a multiple of 2?
False
Let u = 13 + 0. Suppose 37 + u = d. Does 25 divide d?
True
Let l(m) = m**2 - 7*m - 10. Is 17 a factor of l(13)?
True
Suppose 5*a - 10 = 0, 3*q + 0*q = -3*a + 258. Does 12 divide q?
True
Suppose 5*x + 243 = 1643. Is x a multiple of 17?
False
Suppose -5*k - 5*m + 130 = 0, 4*k + 3*m = -2*m + 100. Is 15 a factor of k?
True
Let q = 248 - 27. Suppose -q + 11 = -5*z. Is z a multiple of 13?
False
Suppose p - 45 = -2*w, 3*w + 0*p - 75 = p. Is 6 a factor of w?
True
Let u be (1 + 4)/(3 + -2). Is 6 a factor of (-18)/(1 + u/(-2))?
True
Does 31 divide (-334)/((-44)/20 + (-2)/(-10))?
False
Suppose 3*s - c = 2*c - 9, 4*s + 2*c + 6 = 0. Let a be (40/12)/(s/(-3)). Suppose a = p + 1. Is p a multiple of 3?
False
Let f = 11 - 7. Suppose 0 = -u + 2*l + 29, 0 = l - 0*l - f. Suppose -11 = -2*i + u. Does 12 divide i?
True
Let k be 48*-2*(-3)/(-12). Let p = k + 46. Suppose 5*t = 48 + p. Is 7 a factor of t?
True
Suppose 0 = -0*d + 9*d - 1215. Is 37 a factor of d?
False
Suppose -1 = x - 5. Suppose -2*v = -0*v - x. Suppose b + 116 = 5*b + 4*o, 0 = b + v*o - 28. Does 15 divide b?
True
Let f(r) = 5*r**3 + 16*r**2 + 5*r - 3. Let l(g) = 11*g**3 + 33*g**2 + 9*g - 5. Let z(n) = -13*f(n) + 6*l(n). Is z(11) a multiple of 3?
True
Suppose 4*z + 4*g = 156, 5*z - 4*z + 5*g = 51. Does 3 divide z?
True
Let z(k) = 18*k - 65. Does 27 divide z(12)?
False
Let t(p) = -5*p - p**2 - 9*p - 1 + 0 + 5*p. Let o(q) = q - 4. Let f be o(-4). Is 3 a factor of t(f)?
False
Suppose 3*i = 8*i - 10. Suppose p - 49 = -3*b, -2*p = i*p + 20. Does 15 divide b?
False
Let j be (1 - 4)/(6/(-4)). Let z(t) = 4 + 16*t - 2 + 0. Does 15 divide z(j)?
False
Suppose 2*i - 5 = -3*i. Does 12 divide (120/25)/(i/5)?
True
Suppose 0 = 2*s + s - 114. Suppose 5*p - 103 = -s. Is p a multiple of 12?
False
Let w = 270 + -55. Does 36 divide w?
False
Suppose -5*o + 100 = 5*h, -o = 3*h + 9 - 27. Is o a multiple of 8?
False
Let q = 3 - 1. Suppose -q*a - 2*a = -24. Suppose 64 = -2*z + a*z - 2*o, 2*o = -2*z + 32. Is z a multiple of 7?
False
Let x = 63 - 45. Suppose -15*c + 4*c = -110. Let h = x - c. Is 4 a factor of h?
True
Let c = 2 - -34. Is c a multiple of 6?
True
Let z be (-2 - -1 - 0)*6. Is 3/z*(-78 - 0) a multiple of 13?
True
Suppose 0 = 2*g - 6*g - 12, 3*g - 15 = -4*k. Suppose 5*t = 3*v + 3, -v + 1 = t - k. Suppose v*c + 79 = -2*h + 187, 0 = 5*h. Is 17 a factor of c?
False
Suppose j - 2*c = -0*c + 11, c = -5*j + 11. Suppose -g = -4 - 2. Let q = j + g. Is 4 a factor of q?
False
Let m(q) = 27*q + 6. Does 15 divide m(3)?
False
Let v be ((-1 - 0)*2)/2. Let k = 11 + v. Does 4 divide k?
False
Suppose -14 + 2 = 3*k - 3*q, q = -5*k - 2. Let m be 2/(k/((-43)/2)). Suppose 5*j - m = -y, y - 3*j = j + 16. Is y a multiple of 10?
False
Let n = 92 - 37. Is n a multiple of 4?
False
Suppose 4*f + 12 = 56. Let c be 2/f + 128/22. Suppose -t = -5 - c. Is 11 a factor of t?
True
Let x be 3 + 2/(-2) - -3. Suppose x*b - r = -23 + 201, -r = -2. Suppose 3*m - m - b = 0. Does 18 divide m?
True
Let c(d) = -d**3 - 2*d**2 + 2*d. Let b be c(-3). Let k = b - 1. Suppose 7*i - 3*i - 5*o - 63 = 0, 4*o + 24 = k*i. Does 9 divide i?
False
Let m(y) = 2*y**2 - 2*y + 1. Let l be m(2). Suppose 3*c - 47 = 5*d, 3*c + 34 = l*c - 4*d. Is 3 a factor of c?
True
Let z = 54 + -39. Is z a multiple of 15?
True
Suppose 3*c = 70 + 50. Is c a multiple of 8?
True
Let s be (-62 + 2)*2/(-3). Suppose -4*q + s = 5*t, -4*q = q - 5*t - 5. Let o = 6 + q. Does 4 divide o?
False
Suppose 10 = 2*z, -2*r + 70 = -z - z. Does 4 divide r?
True
Let d = 206 - 112. Does 17 divide d?
False
Is (-326)/(-4) - 7/(-14) a multiple of 12?
False
Let h(t) = 6*t + 1. Let i be h(-3). Let w = i - -34. Is w a multiple of 13?
False
Does 12 divide 143/4 - (-4)/16?
True
Let d(k) = -37*k - 6. Let a(s) = 36*s + 5. Let p(z) = 7*a(z) + 6*d(z). Is 13 a factor of p(1)?
False
Suppose -u + 2 = 0, 337 - 9 = 3*d + 2*u. Is 20 a factor of d?
False
Suppose 331 = 4*t + 115. Is t a multiple of 11?
False
Let r(s) = s**3 + 11*s**2 - 5. Let n(k) = -k**3 - 10*k**2 + k + 5. Let t(a) = 6*n(a) + 5*r(a). Is t(-6) a multiple of 3?
False
Suppose -h - 452 = -5*h. Suppose 2*c + 4*k = -3*c + h, -8 = -4*k. Is c a multiple of 7?
True
Let n be (4/(-6))/(8/276). Let a = -9 - n. Does 14 divide a?
True
Let u(k) = -k**3 + 3*k**2 + 2*k - 4. Let c be (-1 + -2)*(0 - 1). Let s be u(c). Suppose -5*a - 12 = -s*x, 3*x - 5*a = -0*x + 28. Is 8 a factor of x?
True
Let a(j) be the first derivative of j**4/4 - j**3/3 + 10*j - 8. Let g(y) = -y**2 + 3*y - 2. Let n be g(2). Is a(n) a multiple of 5?
True
Let j be 1/(-4) + (-17)/(-4). Suppose y + j*y - 235 = 0. Does 16 divide y?
False
Let y(d) = d**2 + 11*d - 4. Let f(i) = -1. Let w(b) = -3*f(b) - y(b). Is 8 a factor of w(-8)?
False
Does 5 divide 0 + 81 - -3 - -1?
True
Suppose 129 = 3*m + 3*k, k + 4*k = 4*m - 154. Is 41 a factor of m?
True
Let d(m) = -m**3 + 5*m + 2. Suppose -21 = -5*i - 61. Let o(z) = -z - 11. Let c be o(i). Does 7 divide d(c)?
True
Let i(q) = -3*q - 2. Does 2 divide i(-5)?
False
Let k be (-2 - -2) + -3 - -73. Suppose -3*v + 4*f + 248 = 0, 3*v + f - k - 168 = 0. Suppose v = t + 4*t. Is 16 a factor of t?
True
Let m = -16 - -23. Suppose 0 = m*s - 3*s - 128. Is s a multiple of 9?
False
Let m(t) = t - 4. Let b be m(6). Suppose b*l - o - 86 = 0, 3*o = l - 2*o - 43. Is l a multiple of 22?
False
Let v = -2 - -2. Suppose 5*x + v*x = -2*n - 6, 2*x = -5*n + 6. Suppose -2*c + 0 = 4, -2*c - 26 = -n*z. Does 5 divide z?
False
Suppose 3*n - 117 = -3*r + 57, 0 = 2*n + 3*r - 121. Does 10 divide n?
False
Let x be (-110)/25 - (-6)/(-10). Let a = x + 11. Does 3 divide a?
True
Let v(n) = -n**3 + 10*n**2 - 9*n + 2. Let m be v(9). Suppose -51 - 13 = -m*x. Is 7 a factor of 