 2/3 a multiple of 18?
True
Let b be (-2)/9 + (-228)/(-54). Let s(t) = t**2 - 1 - 2 + t**2 - 4*t. Is s(b) a multiple of 13?
True
Suppose 10*q - 5*q + 1295 = 0. Let x = -149 - q. Is x a multiple of 36?
False
Let b(j) = j**3 - j**2 - j + 1. Let r(g) = -3*g**3 + 2*g**2 + 4*g - 2. Let d(n) = -11*b(n) - 4*r(n). Is 6 a factor of d(-3)?
True
Let w be 3*(-5)/((-15)/8). Suppose -4*u + 13 = k - w, -18 = -2*k - 2*u. Is 4 a factor of k?
False
Suppose -3*d - 2*q + 152 = 0, 5*d + 40 - 264 = 4*q. Is 12 a factor of d?
True
Let n(y) = 304*y**3 - y**2 + y. Let k be n(1). Is 10 a factor of (-6)/15 + k/10?
True
Suppose 0 = -2*j + 4*p + 18, 4*p = -14 + 2. Suppose j*g + 5 = -4. Does 8 divide g/9*10*-6?
False
Let m = -3 + 4. Let g = 5 - m. Suppose 0 = -g*z - 3*t + 115, 6*z - 108 = 2*z + 4*t. Is 14 a factor of z?
True
Suppose i = 2*p - 12 + 75, -4*i + 5*p = -237. Does 30 divide i?
False
Let j = -11 - -18. Let y(z) = -z**3 + 8*z**2 - 6. Let x be y(j). Suppose -4*d + 69 + x = c, 3*d = 2*c + 95. Is d a multiple of 15?
False
Suppose 3*j = 621 - 87. Let t be j/14 - (-6)/21. Is 11 a factor of 6/(-3) + 0 + t?
True
Does 13 divide 0 + 2 + 200/4?
True
Let h(c) = -c - 2. Let t be h(-4). Let r be 1*-3 + t + 7. Suppose 40 = -2*z + r*z. Is 5 a factor of z?
True
Let g(n) = n + 7. Let r be (-3)/(-2)*(-6)/3. Does 3 divide g(r)?
False
Let r = 136 + -34. Is r a multiple of 17?
True
Is (-215)/(-8) - (-2)/16 a multiple of 10?
False
Let q(w) be the first derivative of -w**4/4 + 4*w**3/3 + 5*w**2/2 - 4*w - 1. Let g be q(5). Does 4 divide 22/(-4)*8/g?
False
Let t = 48 - 5. Does 43 divide t?
True
Let p = 290 + -127. Is 47 a factor of p?
False
Let b(t) = t**2 - t + 45. Does 9 divide b(0)?
True
Is 16 a factor of (969/(-68))/((-10)/8 - -1)?
False
Does 5 divide (1 - 0)/((-7)/(-70))?
True
Suppose -3*n - 2*n - 5*f = -100, 0 = 3*n - f - 52. Is n a multiple of 6?
True
Let o be (-1)/(-1 + 90/91). Let a = o + -49. Is (-8)/3*a/(-4) a multiple of 10?
False
Suppose 4*n = -0*n - 40. Let g = 119 + n. Suppose -37 = 4*a - g. Does 9 divide a?
True
Let x = -3 + 39. Is 6 a factor of x?
True
Suppose -2*w + 4*v = -42, -v = 5*w - 70 + 9. Is w a multiple of 4?
False
Suppose -18*j = -20*j + 52. Suppose -c - 5*k + 38 = 0, 0 = 2*c + k - j - 41. Is 11 a factor of c?
True
Let i(y) = 2*y**2 + 5 - 1 + 3*y**2 - 4*y - 4*y**2. Let z be i(4). Suppose -4*f + z + 124 = 0. Is 16 a factor of f?
True
Suppose -w - 48 = -4*w. Is 8 a factor of w?
True
Let p = -11 + 5. Let y = p + 15. Is y a multiple of 7?
False
Suppose o = -b + 139, -b = 5 - 0. Does 8 divide o?
True
Let a be (8/(-6))/((-4)/120). Suppose 2*u - 230 + a = 0. Does 30 divide u?
False
Suppose -2*f = -4*a + 16, 4*a - f + 3*f - 24 = 0. Let b = a + -4. Does 11 divide (b/(-1))/(3/(-33))?
True
Is 29/3 + -4 - (-2)/(-3) a multiple of 2?
False
Let o be 1 + (-1 - 2) + -3. Let t(h) = h**2 - 4*h + 4. Let p be t(o). Suppose -5*m + p = -21. Is 7 a factor of m?
True
Is (-3)/((33/72)/(-11)) a multiple of 22?
False
Let n be 62 - 4*2/4. Suppose 3*b + 2*j - n = 0, 2*j + j = -5*b + 101. Is b a multiple of 11?
True
Suppose 2*s - 54 = -2*h, 0*h + 2*h = 0. Does 9 divide s?
True
Let p(c) = c**3 + 5*c**2 - c + 4. Suppose 2*w + 11 = -w - d, 0 = -2*w - 5*d - 3. Does 12 divide p(w)?
True
Let w(s) = -3*s - 4. Let i be 1 - (3*-4)/(-2). Let j be w(i). Suppose 0 = 2*c - 31 + j. Does 5 divide c?
True
Let o(i) = i + 248. Is 8 a factor of o(0)?
True
Suppose -2*h - 42 = -3*h. Suppose -2*i - 6 = -h. Does 9 divide i?
True
Suppose -787 = -3*z - 4*s, 4*z - 500 - 566 = -2*s. Is z a multiple of 18?
False
Let o be 0/(-2*(-2)/(-4)). Suppose o = -d + 37 + 17. Is 25 a factor of d?
False
Let d = 45 - 39. Let f(z) = 4*z + 2*z**3 - z**3 + 0 - 1 - 6*z**2. Does 16 divide f(d)?
False
Let o(z) = -6*z - 2. Is 6 a factor of o(-2)?
False
Let h = 23 + -10. Is h a multiple of 2?
False
Let w be (-2)/(3/(-6)*1). Suppose -w*u = 6 + 18. Does 8 divide (-38)/u*(1 - -2)?
False
Let u(a) = -a**3 + 7*a**2 + 2*a + 7. Let t = 22 + -15. Does 5 divide u(t)?
False
Let t(i) = -i**2 - i + 1. Let b be t(-2). Does 13 divide 0/(-2) + (-37)/b?
False
Suppose 2*j = j + 2. Suppose -3*i + 11 = -3*f - 4, 5*i - j*f = 28. Is 2 a factor of i?
True
Let w = -18 - -82. Does 16 divide w?
True
Suppose l + v = 3, 4*l - 2*v = -3*v + 24. Let p(h) = -h**2 - 4 + l*h + 3 - 1. Does 6 divide p(5)?
False
Suppose 4 = 3*d - 5. Let q(o) = o. Does 2 divide q(d)?
False
Suppose 3*n + 29 = 4*n. Let m = n - 12. Is m a multiple of 8?
False
Let f = -307 + 215. Let p = 137 + f. Suppose 43 = 4*w - p. Is w a multiple of 9?
False
Suppose 5*f + 0*f - 25 = 0. Suppose f*l + 25 = 2*s, -3*s + l = -s - 21. Does 9 divide s?
False
Suppose 0*t = 2*t - 4. Does 3 divide t + 4/(16/12)?
False
Suppose 0*d + 18 = 2*d. Suppose 2*p = 45 + d. Let t = p + -10. Is t a multiple of 12?
False
Let w be (-3)/(-12) + 18/(-8). Let b(s) = -s**3. Let x be b(0). Does 7 divide (-14)/w*(x + 1)?
True
Let y = 21 - -27. Is 11 a factor of y?
False
Let b = 96 - 38. Does 29 divide b?
True
Let v = 3 - -2. Suppose v*s + 5*i - 30 = 0, 3*s - 3*i - 34 = 2. Suppose 0 = -2*y + 79 + s. Does 17 divide y?
False
Does 6 divide (1 - 0)*(8 + 4)?
True
Let n(u) = -3*u - 1. Let y(v) = -v + 1. Let f be y(3). Let h be n(f). Let z(r) = r**2 + 5. Is 15 a factor of z(h)?
True
Let h = 11 + 1. Is h a multiple of 6?
True
Suppose 3*f = 3*y + 4*f - 80, 0 = 5*y - 4*f - 122. Is 12 a factor of y?
False
Let v be ((-15)/(-2))/(2/(-4)). Let b = v - -50. Suppose -b = -z - 14. Does 13 divide z?
False
Let k(g) = 142*g - 4. Let v be k(-3). Is (-1)/(-4) - v/8 a multiple of 11?
False
Let r be (4/(-12))/(1/(-9)). Suppose r*h = -2 + 92. Is h a multiple of 10?
True
Let p(q) = q**2 + 12*q - 32. Is p(9) a multiple of 16?
False
Suppose 0 = 3*m + m - 212. Is m a multiple of 9?
False
Let u = 10 + -5. Suppose -u*c - 20 = 0, 0 = 2*p - 3*c - 11 - 29. Let a = 20 - p. Is a a multiple of 6?
True
Does 5 divide (-34)/(-3) + (-3)/9?
False
Let s(k) be the second derivative of -k**6/120 - k**5/20 + 5*k**4/24 + k**3/6 - k**2 - 2*k. Let p(t) be the first derivative of s(t). Is p(-5) a multiple of 10?
False
Let q(c) = -6*c + 6. Is q(-7) a multiple of 8?
True
Let j be (-766)/(-12) + 3/18. Suppose g - j = -g. Is 12 a factor of g?
False
Let k(v) = -51*v - 1. Let z be k(1). Let m = z - -73. Is m a multiple of 11?
False
Suppose -7*s + 8*s - 6 = 0. Is 3 a factor of s?
True
Let v(j) = j**2 - 3*j + 2. Let f(n) = 2*n - 1. Let g be f(2). Suppose -g*d = -3*k - 18, -3*d - 2*k + 21 = 8. Is v(d) a multiple of 6?
True
Let v(p) = -p**3 - 9*p**2 - p + 6. Does 15 divide v(-9)?
True
Is (-150)/(-3) + -1 + -1 a multiple of 12?
True
Let s = 4 - 4. Suppose -5*h + 77 = -u, s = 3*h + 2*u - 7 - 34. Suppose -2*t = -3*t + h. Is 15 a factor of t?
True
Let v(z) = 2*z**3 - 3*z**2 + 1. Let w be v(2). Suppose -2*x = -w*x + 42. Is 7 a factor of x?
True
Let k = 113 - 68. Is 16 a factor of k?
False
Suppose 5*h - 47 - 278 = 0. Is h a multiple of 24?
False
Let w(a) = 5*a + 61. Is 8 a factor of w(0)?
False
Let p(s) be the third derivative of 7/20*s**5 + 0*s**3 + 0*s + 0 + 0*s**4 + 3*s**2. Does 10 divide p(-1)?
False
Suppose j - 5*j = -16. Suppose 0 = 4*n, 0 = 4*h + h + j*n - 30. Suppose 7 = g - h. Is 13 a factor of g?
True
Let g(k) = 1 - 2 - 3 - 3*k. Suppose 4*j + 1 = -3*m - 27, 2*m + 5*j + 28 = 0. Does 7 divide g(m)?
False
Suppose -3*w + 2*t + 176 = t, w - t = 56. Does 20 divide w?
True
Let p = 49 + -39. Is 10 a factor of p?
True
Let q be (-8)/(-6)*15/10. Does 5 divide (65/(-52))/(q/(-16))?
True
Let j(a) = -a**3 + 6*a**2 + 8*a + 9. Is 3 a factor of j(7)?
False
Suppose 4*m = 9 + 3. Suppose 5*u - 2*k = 17, m*k + 7 = u + 1. Suppose 3 = p - u. Is p a multiple of 3?
True
Let w(c) = c**3 + 4*c**2 + c + 2. Let j(o) = -o**3 - 4*o**2 - o - 3. Let m be 6 + 1 + 1*-3. Let n(k) = m*j(k) + 3*w(k). Does 11 divide n(-5)?
False
Suppose -4*t + l - 49 = -5*t, -4*t + l = -216. Suppose f - 16 = t. Suppose 3*m = f + 21. Does 9 divide m?
False
Let d(c) = -137*c. Let b be d(1). Let m = -80 - b. Suppose 2*k - 3*s = m, 3*k + 8*s - 114 = 3*s. Is 13 a factor of k?
False
Suppose -p = -2*q + 3*p + 28, -5*p - 20 = 0. Suppose -12 = -3*k, q*b = b + 4*k + 159. Suppose 5*j = -4*v + 85 + b, 60 = 2*v + 5*j. Does 11 divide v?
False
Suppose -p - 22 = -3*v + p, -3*p - 6 = 0. Let g = 6 - v. Suppose 0 = -t - g*t + 16. Is t a multiple of 14?
False
Let o = 