es 15 divide k?
True
Suppose 3 = 4*p - 73. Let h = 40 - p. Is h a multiple of 17?
False
Is -4 - -6*(0 - -18) a multiple of 26?
True
Let r = 9 - 5. Suppose 0*l = -2*l - 5*j + 20, 23 = 3*l + 4*j. Suppose 4*i + h + 0*h - 61 = 0, -l*i + 92 = -r*h. Does 8 divide i?
True
Let o(y) = -4*y + 4*y + y. Let i(x) = -4*x. Let q(s) = i(s) + o(s). Is 6 a factor of q(-4)?
True
Let n(u) = 50*u + 9. Let c(i) = 25*i + 5. Let d(j) = 11*c(j) - 6*n(j). Is d(-2) a multiple of 13?
False
Let s(m) = m**3 + 2*m**2 - 1. Let l be s(-3). Let q = 0 - l. Does 5 divide q?
True
Let t(y) = 3*y**2 + y + 4. Let f be t(-3). Suppose s + 0 - f = 0. Is 28 a factor of s?
True
Let z = 180 + -108. Does 19 divide z?
False
Suppose 0 = -0*g + 3*g - 198. Let z = g + -42. Is z a multiple of 6?
True
Does 8 divide 100/(-6)*12/(-5)?
True
Suppose 0 = 3*c, 0*m - 3*c - 100 = 5*m. Let d be m*(-1)/2*7. Suppose -5*l + 3*j = -d, -36 = -3*l + 4*j - j. Is 11 a factor of l?
False
Let x(i) = -4*i - 22. Is x(-10) a multiple of 9?
True
Let z(u) = 3*u**2 + 4*u + 3. Let c be z(-3). Suppose 4*x - c = x. Is 6 a factor of x?
True
Let j be (-3)/(-5) - 26/(-65). Is (-2 + j)/((-2)/126) a multiple of 14?
False
Suppose 2*u - 7*u - 4*m + 292 = 0, 182 = 3*u - m. Is u a multiple of 20?
True
Let h = 16 - 33. Let y = h - -25. Does 3 divide y?
False
Let t(v) = v**3 - 4*v + 1. Let g(x) = x**3 + 3*x**2 + x + 7. Let a be g(-3). Does 28 divide t(a)?
False
Let z be 5/2*8/5. Suppose 0 = 3*j - 0*j - z*r - 48, 0 = -2*j - r + 32. Let m = 40 - j. Is m a multiple of 24?
True
Let c(n) = n**3 + 5*n**2 - 4*n + 1. Let t be c(-5). Suppose 0 + t = 3*j. Suppose -15 = -3*z - w + j, 3*w + 14 = z. Is z a multiple of 8?
True
Let f(s) be the first derivative of 0*s - 1/2*s**2 - 1 + 16*s**3. Is f(1) a multiple of 29?
False
Suppose -z = -3*z + 6. Suppose -15 = -k - 2*k - p, 3*k = -z*p + 21. Is k a multiple of 4?
True
Let t be 2 + ((-2)/(-2) - -3). Suppose -4*a = 5*n - 58, -2*n + 7 + t = 5*a. Does 14 divide n?
True
Let c = -13 - -39. Is c a multiple of 25?
False
Suppose 2*y + 3*g - 125 = 0, -4*y + 5*g + 134 = -83. Is y a multiple of 9?
False
Let a(w) = -w - 3 + 1 - 2*w - 2*w**3. Is 10 a factor of a(-2)?
True
Does 31 divide (117 - (-12)/4) + -4?
False
Let i(a) = -a**3 + 16*a**2 + 6*a - 15. Let y be i(16). Let t = -47 + y. Does 17 divide t?
True
Suppose -5*b + 80 = -4*w - 179, 43 = b - 3*w. Suppose -b = -4*a + 17. Is 7 a factor of a?
False
Let i(a) = 2*a + 8. Let n be i(-16). Is 4/n - (-133)/6 a multiple of 15?
False
Let u(l) = 14*l**2 - 2*l - 6. Is 21 a factor of u(-3)?
True
Suppose 18 = 3*a + 4*l, 2*l - 2 = -8. Let y = a - 5. Suppose 4*q + f - 47 = 0, y*q - 40 = -5*f - 0*f. Is 10 a factor of q?
False
Let x = -32 + 50. Let g = -10 + x. Does 8 divide g?
True
Does 21 divide -55*1*(-2 + -1)?
False
Suppose -4*h - 92 = 4. Is 2 a factor of 2/(h/(-10) + -2)?
False
Let v(t) = -t**3 - 9*t**2 + 8*t - 13. Is 3 a factor of v(-10)?
False
Does 12 divide 252/(1 - -3) + -3?
True
Let h be (31 - 0)*2 + 1. Let u = -30 + h. Is 9 a factor of u?
False
Let r(s) = s**3 - 3*s**2 + 5*s - 3. Let q = -7 + 10. Let b be r(q). Suppose 0 = -3*g + g + b. Is 6 a factor of g?
True
Let j(i) = -i**3 + 7*i**2 + 4. Let m be j(7). Let z = m - 7. Is (26/z)/((-12)/18) a multiple of 13?
True
Let t = 27 + -13. Is 7 a factor of t?
True
Let c(m) = m**3 - 12*m**2 + 16*m - 9. Is c(11) a multiple of 23?
True
Suppose 5*x - 2*p = 19 + 2, -2*x = 4*p - 18. Let t be (-4)/10 - 292/(-5). Suppose -4*a + 23 = 4*w - 25, x*a + 4*w - t = 0. Is a a multiple of 5?
True
Let f = 11 + -17. Let z be (-4)/f - 61/(-3). Suppose -n - 1 = -z. Is n a multiple of 10?
True
Suppose 0 = -t + 23 + 22. Is 15 a factor of t?
True
Suppose a - 39 = -5*p, -a + 2*a - 2*p = 11. Is 19 a factor of a?
True
Is 24 a factor of -24*(-15)/(-6)*64/(-40)?
True
Let b(k) = -2 - 3*k + k**3 + 0 + 5*k + 5*k**2 + 0*k. Is 8 a factor of b(-3)?
False
Suppose 6*i - 4*i + 14 = 4*a, 0 = -4*a - 4*i - 4. Suppose 3*l = a*s + 76 + 12, -l + 6 = 4*s. Is l a multiple of 13?
True
Let z = 95 + 40. Suppose -u - 2*u = 3*y - z, 2*y - 99 = u. Is y a multiple of 8?
True
Let v = -113 + 337. Is v a multiple of 28?
True
Let z be (-56)/7*(-11)/4. Suppose 4*l - 2 = z. Is l a multiple of 3?
True
Let z be (-1)/(1/(-8)) + -3. Suppose -z*r + 195 = -0. Is r a multiple of 13?
True
Let l(v) = -7*v**3 + 3*v - 99. Let g(u) = -3*u**3 + u - 50. Let f(k) = -5*g(k) + 2*l(k). Is f(0) a multiple of 12?
False
Let x be (9/2)/((-6)/(-16)). Suppose -8 = -l + x. Does 10 divide l?
True
Suppose -7 = 2*b - 2*c - 205, -b = 2*c - 90. Suppose 32 = 4*m - b. Does 8 divide m?
True
Suppose -2*l + 18 = -4*n, -37 = -5*l - 2*n - 4. Suppose -4*z + 1 = -l. Does 2 divide 2 - (-2 + (z - 0))?
True
Let m(v) = 4*v**3 + 9*v**2 - 2*v - 8. Let s(b) = 9*b**3 + 19*b**2 - 4*b - 17. Let k(u) = 7*m(u) - 3*s(u). Suppose 20 = -0*j - 4*j. Does 15 divide k(j)?
True
Let d(o) = 2*o - o - 14*o**3 + 29*o**3 - 2*o**2. Suppose -10*h + 5*h = -5. Does 6 divide d(h)?
False
Suppose 2*i + 232 = 4*z, 0 = 4*z - 3*i - 141 - 91. Suppose z = 4*b - 182. Does 20 divide b?
True
Is 4 a factor of (-4 - -8 - 3) + 3 - -108?
True
Let b be (-2)/(-1) - (-1 - 1). Let i be b/16 + 6/8. Suppose -5*u = 5*r - 10, r + i = -5*u - 1. Is r a multiple of 3?
True
Suppose -2*d = -r, -3*r - 3*d + 3 = -15. Suppose -9 = -3*w, r*l + w = -w + 6. Suppose -5*s = 2*j - 237, 5*s + 4*j - 213 - 26 = l. Is 18 a factor of s?
False
Let v = -5 - -7. Suppose v*c + 21 = 2*w - 7, w - 2 = -3*c. Is 11 a factor of w?
True
Let h(r) = r**2 + 3*r - 1. Let v be h(-4). Let f = 17 + v. Is f a multiple of 10?
True
Let v(z) = z**3 - 6*z**2 + 7*z - 7. Let y be v(5). Suppose y*k = -2*k + 30. Suppose 2 - k = -r. Does 3 divide r?
False
Let n(m) = 16*m - 4. Let s be 2 - (5 + -1) - -6. Is n(s) a multiple of 18?
False
Let y(t) = 2*t + 9. Does 13 divide y(15)?
True
Let g = 9 + -3. Let h(r) = g - r - r - 5 + 3. Does 10 divide h(-3)?
True
Does 42 divide (-292)/(-1) - 12/4?
False
Suppose 56 = 2*r - 0. Suppose 10 = 5*n - 3*n. Suppose -d + n*d = r. Is 3 a factor of d?
False
Let n(m) = 8 + 6 + m**2 + 1 - 9*m. Does 25 divide n(10)?
True
Let t(s) be the third derivative of s**6/120 + s**5/12 - s**4/24 + 5*s**3/6 + 2*s**2. Let q(u) = u + 4. Let b be q(-9). Is 10 a factor of t(b)?
True
Suppose 2*y - w - 195 = 0, -4*y + 76 = -3*w - 313. Is y a multiple of 11?
False
Suppose 0 = 4*l + i - 4*i + 165, 5*l + 200 = 5*i. Is 7 a factor of 42/(-4)*60/l?
True
Let f = 43 - 31. Suppose f + 93 = 3*h. Is h a multiple of 12?
False
Suppose -62 = -c + 4*s, 4*c - 2*s - 141 - 121 = 0. Suppose -5*q + c = -2*b, 14 = q + 5*b - 10. Is 7 a factor of q?
True
Let o = -21 + 31. Let c be (-256)/o - (-9)/15. Let u = -10 - c. Does 15 divide u?
True
Let y(q) = -14*q + 12. Is 12 a factor of y(-7)?
False
Let r(q) = -2*q + 5. Let z be r(4). Let p = 2 + z. Let v(u) = -12*u - 1. Is 11 a factor of v(p)?
True
Suppose 2*s - 4 = -5*w + 2, w - 3*s = 8. Suppose 0 = -w*g - 0*g - 12. Does 7 divide 3*g/(-9)*5?
False
Let v(d) = -115*d**3 - 2*d**2 - d. Let g be v(-1). Suppose -5*k + 158 = -4*f, 3*k + 3*f = -k + g. Is 15 a factor of k?
True
Let o be (-2 - -11)*2/6. Let k(w) = -w**2 + 8*w - 3. Let g be k(o). Is -2 + 0 + g - 2 a multiple of 8?
True
Let n(k) = -k**3 - 2*k**2 - 1. Let g be n(-3). Does 12 divide g/32 - 326/(-8)?
False
Suppose 0 = -4*u + n - 12, -6 = -u + 3*u - 4*n. Is (u/(-9))/(1/21) a multiple of 7?
True
Let v be (268/6)/((-14)/(-21)). Let o = v + -15. Does 26 divide o?
True
Let q = 18 + -30. Let r be ((-4)/12)/(2/q). Suppose u = -5*s + r*u + 10, 0 = 2*s + u - 11. Is 2 a factor of s?
False
Let g = 4 + 0. Suppose -g*w = -2*w. Suppose w*y + y = 9. Does 9 divide y?
True
Let z be 3/(4/(24/(-9))). Let l be (z/(-1) - 1) + 29. Let b = -17 + l. Does 11 divide b?
False
Suppose 5*v - a + 2*a = 467, 0 = -5*v - 2*a + 469. Is 31 a factor of v?
True
Let q(k) = -8*k - 4. Let d be q(-11). Suppose d + 28 = 4*o. Does 12 divide o?
False
Suppose 3*v + 2*v = 15. Let c = v + -15. Let y = c - -39. Does 16 divide y?
False
Suppose 0 = 7*s - 3*s - 144. Is 10 a factor of s?
False
Let v(c) = 63*c**2 + c + 1. Let m be v(-1). Suppose -6*a + 5*a = 0. Suppose 5*g - 2*g - m = a. Is 7 a factor of g?
True
Let h = -1 - -33. Suppose 5*r = 5*p - h + 2, 3*r + 12 = 0. Suppose f - p*n + 10 = 40, 150 = 5*f - n. Is 15 a factor of f?
True
Let d(a) = a**2 - 3*a + 4. Let r be (7/1 - 3)