tor of t(1)?
False
Let c be (-2)/(4/(-14)) - 2. Let x = c - -19. Is x a multiple of 16?
False
Let f = -9 - -11. Suppose -u = f*u + 120. Let j = u + 58. Is j a multiple of 10?
False
Is (-19)/1*(-5 - 3) a multiple of 28?
False
Let d = -45 - -85. Is d a multiple of 6?
False
Let w(b) = 44*b - 7. Is 5 a factor of w(1)?
False
Let k be -2 + 10/(-4)*-10. Suppose 0 = 4*t - k - 1. Is (t/4)/(3/28) a multiple of 7?
True
Let c(k) = 22*k**2 - 2. Is c(2) a multiple of 18?
False
Suppose t + 3*t - 42 = -2*z, -3*t + 3*z + 9 = 0. Let y = t - 6. Is 2 a factor of y?
True
Suppose 10 = -8*t + 3*t. Let k be (1 + 3)*(t + 1). Let p(u) = -3*u - 2. Is p(k) a multiple of 5?
True
Let u = -12 - -15. Suppose -60 = -q - u*q. Is 7 a factor of q?
False
Let a = 176 - 72. Is a a multiple of 30?
False
Let o(k) = 4*k - 1. Let i be o(2). Suppose v - 3*g - g - i = 0, 4 = 2*v + 2*g. Is 3 a factor of (27/3)/v + 0?
True
Let u = 1268 + -453. Does 15 divide u/55 - 2/(-11)?
True
Let h(b) = -14*b**2. Let c be h(-1). Let q = -8 - c. Is q a multiple of 6?
True
Suppose -2*m + 100 = -8*b + 12*b, -5*m + 42 = 2*b. Does 13 divide b?
True
Suppose -4*w - w - 5 = 0. Let h(t) = -54*t**3 - t**2 + t + 1. Is h(w) a multiple of 23?
False
Let v(h) = h. Let m be v(7). Let a = m + -7. Suppose a = 3*z - 55 + 10. Is z a multiple of 15?
True
Suppose 0 = -6*d + 3*d + 78. Is d a multiple of 8?
False
Suppose k = -4*r - k - 1022, 0 = -2*r - 2*k - 506. Is 4/(-14) - r/21 a multiple of 4?
True
Does 42 divide ((-80)/12)/((-2)/39) - 2?
False
Suppose 3*s - 4*j - 109 = 0, 4*s - 4*j - 115 - 37 = 0. Suppose -4*g - 15 = -s. Suppose w + g = 2*w. Is 7 a factor of w?
True
Let u(z) = -z**3 + 2*z**2 + 6*z - 7. Let d be u(3). Is d + (-6)/(18/(-75)) a multiple of 5?
False
Suppose l = 2*n - 10, 0 = -5*l - n - 0*n - 39. Let c = l - -11. Suppose 2*z = -2*y + 5*y - 20, c*z = 4*y - 26. Does 4 divide y?
True
Suppose -2*c = 2*a + 80, -3*a + 5 + 1 = 0. Let k(p) = p**2 + 4*p - 7. Let t be k(-5). Does 18 divide 0 - (-1)/(t/c)?
False
Let n(t) be the first derivative of t**4 - t**3/3 - t**2 + 3. Does 13 divide n(2)?
False
Let h be -1 + (-1)/2*-8. Suppose -107 = 4*x + 5*w, -h*x + 2*w = -8*x - 121. Let z = x + 33. Is 8 a factor of z?
False
Let n(s) = s**3 + 2*s**2 - 3*s + 1. Let q be n(-3). Let k = 3 - q. Is 2 a factor of (-2)/(12/(-15))*k?
False
Suppose b = 4*b + 9. Let l(j) = -25*j - 13. Let p(v) = -12*v - 6. Let t(n) = -2*l(n) + 5*p(n). Does 13 divide t(b)?
True
Let t(n) = -146*n + 1. Let c be t(-1). Suppose -6*z + 14 = 2. Suppose -4*d - 4*s + 236 = 0, -3*d + z*s = -s - c. Does 18 divide d?
True
Let w = -16 + -5. Let d be ((-114)/2)/(w/14). Suppose 2*h = -6, h + d = s - 1. Does 13 divide s?
False
Let m(w) = 8*w - 58. Is 31 a factor of m(15)?
True
Let h(b) = b**2 - 7*b - 10. Let p(k) = k**2 + 9*k. Let l be p(-10). Does 20 divide h(l)?
True
Let h be 8/(-2) - -3 - 1. Does 8 divide (-1)/((-1)/17) + h?
False
Suppose 0 = 3*y - 309 - 51. Does 12 divide y?
True
Suppose 0*x + 54 = -3*n + 2*x, 0 = 5*n + x + 90. Is 12/54 + (-86)/n even?
False
Let f be 6/30 - (-2)/(-10). Suppose m - 11 = -a, f*m + 4*a = 2*m - 46. Does 5 divide m?
True
Let g = -12 - -102. Does 18 divide g?
True
Let k(a) = 81*a - 4. Let f(d) = 81*d - 3. Let s(l) = -5*f(l) + 4*k(l). Is s(-1) a multiple of 25?
False
Suppose -2*u - 3*b - 15 = -4*u, -3*b = 5*u - 69. Let q(x) be the first derivative of -x**4/4 + 13*x**3/3 - 5*x**2 - 13*x - 2. Is 11 a factor of q(u)?
True
Suppose 3*h = -2*h + 140. Does 14 divide h?
True
Suppose -2*r + 3*r - 10 = 0. Is r a multiple of 2?
True
Let u(l) = 2*l**2 - 6*l. Suppose -2*k + 3 = -5*k. Let y = k - -5. Does 4 divide u(y)?
True
Let k(y) = 3*y**2 + 4*y + 5. Is k(-4) a multiple of 11?
False
Is 11 a factor of (-1)/(-6) + (-233)/(-6)?
False
Suppose -2*c = -2*n - 6*c + 50, -n - 3*c + 20 = 0. Let b = n - 11. Is b a multiple of 13?
False
Let w(l) = l - 10. Let k be w(14). Suppose k*p - 44 = 16. Is 6 a factor of p?
False
Is 4 + (-287 - 1)/(-4) a multiple of 15?
False
Let d = 39 + 3. Does 14 divide d?
True
Let m = 80 - -16. Does 48 divide m?
True
Let k(y) = 6*y - 2. Does 7 divide k(5)?
True
Let u(p) = -p**3 + 9*p**2 - 7*p - 10. Let k be u(7). Let s = k + -81. Is 15 a factor of 1 + 0 - (s - 0)?
False
Let j(o) = o**3 + 11*o**2 - o + 7. Let c = 17 - 28. Does 9 divide j(c)?
True
Suppose 0*b + 1 = -3*b + 4*r, 0 = -5*b - 3*r + 37. Suppose 0 = 5*f - f - 4*j, -b*j = 2*f - 35. Suppose -m + 6 = f*n, 3*m + 4*n - 20 = -2. Does 4 divide m?
False
Let w = -2 + 4. Let v(p) = -2*p - 4*p - 9 + w*p. Does 10 divide v(-7)?
False
Is 0/(0 + 5) - -43 a multiple of 7?
False
Suppose 4*g = -0*l + 2*l + 38, 2*l - 50 = -4*g. Let n(a) = -10*a**2 + 0 + a**3 + 2 - 1 - 10*a. Is 12 a factor of n(g)?
True
Suppose 3*c + 6 + 5 = 2*m, 25 = 5*m - 5*c. Suppose -2*w + 2*n = -30, -2*n = -m*w + 20 + 30. Is 5 a factor of w?
True
Suppose -4*c - 5*x = 13, -2*c + 4*c + 9 = -3*x. Let z be (c/6)/((-3)/(-12)). Suppose -3*h - z*h + 110 = 0. Does 8 divide h?
False
Let k = -66 - -106. Is 15 a factor of k?
False
Suppose -5*q + 1 = -3*z, -4*q + 2*q + 5*z - 11 = 0. Suppose 2*h + 7*c = 3*c - 56, 5*c = q*h + 20. Let r = h - -31. Is r a multiple of 4?
False
Suppose -126 + 42 = -4*r. Is r a multiple of 4?
False
Let z(d) = d**3 - 7*d**2 - 8*d + 4. Let p be (-1)/4 - 99/(-12). Let b be z(p). Suppose 0 = x + b*c, x - 8 = -x - 4*c. Does 8 divide x?
True
Let z(u) = -4*u**2 + 9. Let y(j) = -9*j**2 + 17. Let x(s) = 3*y(s) - 7*z(s). Let q be x(0). Is 13 a factor of 3/q - 194/(-8)?
False
Let b(j) = -2*j - 24. Let z = 20 + -36. Does 2 divide b(z)?
True
Let b(m) = 7*m + 4. Let c(a) = 21*a + 11. Let s(z) = 8*b(z) - 3*c(z). Let d be (2/(-3)*3)/2. Is 3 a factor of s(d)?
True
Suppose 2*p = -s - 37, -36 = p - s + 5*s. Let y = 8 - p. Is 12 a factor of y?
True
Suppose -4*x + 3 = 4*y + 15, 0 = -x - 4*y - 3. Let l = -2 + -5. Let w = x - l. Does 2 divide w?
True
Suppose -l - 4 + 0 = 0. Let i be ((-83)/4)/(1/l). Suppose 33 = 4*b - i. Does 13 divide b?
False
Suppose 3*k - 5*k = -534. Suppose -4*u + 89 + k = 0. Does 13 divide u?
False
Let c = 18 - -10. Does 11 divide c?
False
Let j = -9 - -6. Is 13 a factor of -2 - (41 - j)/(-2)?
False
Suppose 9*a = 55 + 71. Is a a multiple of 14?
True
Suppose -5*s - 4*f - f = -125, 0 = s + 2*f - 30. Let u = s - -2. Does 22 divide u?
True
Suppose 229 + 731 = 10*x. Is x a multiple of 24?
True
Let y(z) be the second derivative of 5*z**3/6 + 5*z**2/2 + 4*z. Is y(7) a multiple of 10?
True
Let q(d) = -d**3 - 3*d**2 + 6*d + 4. Let k(z) = -2*z**2 + 2*z - 1. Let t be k(2). Is 6 a factor of q(t)?
True
Suppose 4*d = d + 15. Suppose d*l = 2*y + y + 22, 5*y = 5*l - 30. Suppose -3*f = l*f - 110. Is f a multiple of 11?
True
Let v = 52 + -45. Does 4 divide v?
False
Suppose -20 = -3*j - 2*j. Let i(f) = -f**3 + 4*f**2 + 2*f - 4. Let r be i(j). Is (1 + -28)/(-5 + r) a multiple of 9?
True
Suppose -3*w + 0*f + 4*f = -34, 2*w - 2*f = 26. Is w a multiple of 3?
True
Let b(y) = -y**2 + 9*y - 5. Let l be b(7). Suppose 3*x = l, 4*x - 69 + 15 = -w. Does 7 divide w?
True
Suppose -5*g + 14 = 4. Let k(i) = i**3 - 2*i**3 - 3*i**g - 4 + 12*i + 10*i**2. Does 10 divide k(8)?
False
Does 10 divide (-1 + (-16)/(-6))/(24/504)?
False
Suppose -3*p + 77 = 4*u, -4*u = u + 3*p - 94. Suppose 16 + u = 3*n. Suppose -26 = -5*i + 4*l + n, 0 = -3*i - l + 12. Is 3 a factor of i?
False
Let t be ((-7)/14)/(1/(-4)). Suppose 0*s + w = t*s - 56, 4*s - 116 = 3*w. Is 7 a factor of s?
False
Suppose 4*x + 0*x - 240 = 0. Does 15 divide x?
True
Let t = 66 + -38. Is t a multiple of 11?
False
Suppose 0 = 4*u + 17 - 89. Is u a multiple of 18?
True
Let u(q) = 2*q + 6. Let f be u(-6). Let v(w) = -4 - 8*w + 3*w - 4*w + 5*w**2 + w**3. Is v(f) a multiple of 4?
False
Suppose 0 = 3*m + 5*h - 523, -5*m = h - 48 - 809. Is 11 a factor of m?
False
Let t(d) = 5*d - 17. Is t(7) a multiple of 5?
False
Suppose 4*p - 5*p = -64. Is 15 a factor of p?
False
Suppose 0 = 4*u - 29 - 63. Let c = -5 + u. Is 16 a factor of c?
False
Let u(l) = 2*l - 2 - 1 - 4 + 2. Let o be u(5). Let w = 11 - o. Is w a multiple of 4?
False
Let l = 2 + 11. Is l a multiple of 3?
False
Let g be (-6)/15 - 54/(-10). Suppose -g*s = -0*s - 65. Is s a multiple of 8?
False
Let c(u) = u**2 - 4*u + 4. Is c(7) a multiple of 5?
True
Suppose -2*i + 3*y = 4, 2*y - 3 - 1 = i. Is i a multiple of 4?
True
Let o(p) be the first derivative