 a multiple of 8?
False
Let a be (7/3)/((-1)/(-3)). Let p be 43/(-2)*(9 - a). Let r = -28 - p. Is 15 a factor of r?
True
Suppose -2*u + 5*n - 11 = 0, -13 + 33 = 4*n. Is 7 a factor of u?
True
Suppose 3*u = 3*v - 102, -15*u = -10*u. Is 5 a factor of v?
False
Let p(u) = -2*u + 1. Let l be p(1). Does 22 divide (-2 - l)/((-4)/120)?
False
Suppose -5*b = -j - 2*b - 9, -5*b = 5*j - 15. Suppose j = 6*h - 3*h - 12. Suppose -m + 6 = -4*g, 0 = -m - h*m + 5*g + 75. Is 6 a factor of m?
True
Suppose 0 = l - 97 + 3. Does 20 divide l?
False
Let q(f) = -3*f**3 + 7*f**2 + 9*f. Let z(i) = 2*i**3 - 8*i**2 - 9*i - 1. Let c(t) = -3*q(t) - 4*z(t). Does 7 divide c(-10)?
True
Suppose -4*o + 430 = 2*y, 0*o + 4*o = 5*y + 423. Is o a multiple of 12?
False
Suppose -5*r + 46 = p, p + 2 = -2*r + 18. Is r even?
True
Let p(a) be the third derivative of -a**6/5 + a**4/24 + a**3/6 + a**2. Is p(-1) a multiple of 8?
True
Let m = 7 + -4. Suppose 0 = 3*v - m - 6. Suppose 5*j + v*w - 63 = j, -j = w - 17. Is j a multiple of 9?
False
Let d(f) = 53*f**2 + 2*f + 1. Is d(-1) a multiple of 13?
True
Suppose 2*y - 4*y = 0. Suppose -h + y*h = -6. Suppose 0 = l - 23 + h. Is l a multiple of 6?
False
Suppose 0 = -2*j - u - u + 146, -148 = -2*j - 4*u. Is j a multiple of 18?
True
Suppose 4*a + 10*a = 224. Is a a multiple of 16?
True
Suppose 0 = -5*h + 97 + 103. Is 8 a factor of h?
True
Suppose y - 6 - 3 = -3*i, 4*y = 2*i + 36. Suppose y = 3*h - 3. Does 3 divide h?
False
Let j = 171 + 74. Let p = 417 - j. Suppose 4*b = -o + 137, 5*o - 32 + p = 5*b. Is b a multiple of 13?
False
Let i(z) = z**2 - 3*z + 4. Let t be i(5). Let b be 1994/7 + 2/t. Suppose -j = 4*j - b. Is 19 a factor of j?
True
Let j = -6 + 4. Let q be (-1)/2*j + -21. Let m = 40 + q. Is 10 a factor of m?
True
Let h be (-6)/(-9) - (-84)/9. Let f = -8 + 0. Is f/(-4)*(h - -1) a multiple of 11?
True
Suppose 0 = -3*m + 54. Is 6 a factor of m?
True
Suppose 0 = -3*f + 4*s + 362, -421 = -3*f + 5*s - 54. Is 19 a factor of f?
True
Suppose -5*s = -1 + 16. Let m be 2/3 + 32/6. Does 14 divide (s/(-3) + m)*4?
True
Suppose 3*d - 142 = 434. Is d a multiple of 6?
True
Suppose 16 = -g + 5*g. Suppose 2*r = g*j - 164, -j - 3*j - r = -170. Does 21 divide j?
True
Let s be (-107)/(-7) - 2/7. Suppose h = 3*p - 6, 0 = p + 4*p - s. Suppose -3*v + n + 66 = 0, 3*n = 12 - h. Is 9 a factor of v?
False
Let d(q) = 15*q**2 - 2*q + 1. Let p be d(1). Suppose -35 + p = -v + 4*g, 0 = -3*v + 3*g + 72. Does 15 divide v?
False
Let f be (136/(-10))/((-2)/5). Let j(i) = i + 3. Let g be j(0). Suppose -g*m + 17 = -f. Is 14 a factor of m?
False
Let l(a) = -10*a**3 - a**2 + 2. Let g(q) = -9*q**3 + 1. Let r(n) = -3*g(n) + 2*l(n). Let m be r(1). Suppose -14 = -d + m. Does 14 divide d?
False
Suppose -15*s = 791 - 2276. Is s a multiple of 11?
True
Let m be 1/2 - (-91)/(-2). Suppose -3*z = k + 34 - 89, 9 = -3*z. Let b = m + k. Is 12 a factor of b?
False
Suppose 9*p = 294 + 66. Does 8 divide p?
True
Suppose 496 = p + 3*p. Is p a multiple of 31?
True
Let d = 33 + -17. Does 8 divide d?
True
Does 13 divide (6/(-9)*3)/(2/(-26))?
True
Suppose 4*b - 4*h - 1000 = 0, -2*b - h = h - 508. Is b a multiple of 28?
True
Let x be (-12 - -9)*(-2)/6. Does 3 divide 11 - 2/((-2)/x)?
True
Let r(i) = i**3 - 6*i**2 + 5*i + 2. Let h be r(5). Suppose 2*y - 24 = -h*y. Does 2 divide y?
True
Let g = 18 - 12. Is g even?
True
Is 12 a factor of 100 + (-3 - (5 + -4))?
True
Suppose 43 = 5*l - 7. Is (-4)/l - 408/(-20) a multiple of 10?
True
Let y(w) = w**2 + 6*w + 5. Let o be y(-5). Let b = o - 45. Let l = 63 + b. Is l a multiple of 18?
True
Suppose -10 = -s + 16. Is 4 a factor of s?
False
Let q(t) = 17*t**2 - t. Suppose -5*a = -3 - 2. Suppose -3*m = a + 2. Is 9 a factor of q(m)?
True
Suppose -4*s + 24 = -2*s. Suppose 3*b - s = -b. Is b even?
False
Suppose -f - d - 24 = -4*f, 5*f - 42 = d. Does 9 divide f?
True
Suppose -34 = 3*m - 13. Let h = 11 + m. Is h a multiple of 4?
True
Let v(z) = -z**2 + 7*z - 4. Let d be v(6). Let i be (d - 0)/(3/(-348)). Is 8 a factor of i/(-28) - (-2)/(-7)?
True
Suppose -4 = 5*b - 6*b. Let c(i) = i**3 - 3*i**2 + 3*i. Is c(b) a multiple of 14?
True
Suppose -4*h + 17 + 19 = 0. Is 4 a factor of h?
False
Let a = -8 - -5. Let n(i) = i + 7. Is n(a) a multiple of 4?
True
Let g(m) = -m**3 + 10*m**2 + 15*m - 12. Suppose -4*n + 59 = 5*w - 5*n, 3*w = -3*n + 21. Is 8 a factor of g(w)?
True
Suppose -2*k - c = -340, 4*k - 369 - 311 = -3*c. Does 22 divide (-15)/(-20) - k/(-8)?
True
Suppose m = -2*t - 3*m + 84, 4*t + 3*m = 188. Let o be (2 - (-3 - -3))*-18. Let f = o + t. Is f a multiple of 13?
False
Suppose 3*m - 31 = -4*s + 67, -70 = -2*m + 2*s. Does 12 divide m?
False
Suppose -10 = -c + 3*c. Let z be 3/3*(-2 + 19). Let y = z + c. Does 6 divide y?
True
Let w(u) be the third derivative of -7*u**4/24 - u**3/2 + 2*u**2. Does 12 divide w(-3)?
False
Let l be (-1)/(-2) - (-62)/4. Let h = 38 - l. Does 13 divide h?
False
Suppose -26 = -2*c - 10. Suppose -7*a = -c*a + 11. Does 5 divide a + -2 + 3 + -2?
True
Suppose 4*m = -n - 12, 0*m = 4*n - 4*m - 32. Suppose 0*w - l + 5 = -w, 0 = -n*w - l. Let a(s) = 9*s**2 - 2*s - 1. Is a(w) a multiple of 4?
False
Let m(c) = 6*c**2 - c. Let a be m(1). Is (-4)/a*5/(-2) even?
True
Let c = 12 + -16. Is (26/c)/(2/(-8)) a multiple of 14?
False
Let n be (-5 - -3)*5/2. Does 2 divide 34/5 + (-1)/n?
False
Let a(t) = 0*t + 4 - t - 4*t + 1. Does 12 divide a(-6)?
False
Suppose -6*d + 206 = -268. Is 20 a factor of d?
False
Does 11 divide 3/(-6) - -1*381/6?
False
Let w(z) = 6*z. Suppose 3 = 2*a + a. Suppose i = a + 1. Is w(i) a multiple of 12?
True
Suppose -74 = 6*w - 8. Suppose 5*m - 5*t - 147 = -12, -4*t + 132 = 4*m. Let d = w + m. Is 19 a factor of d?
True
Suppose 2*k + k = 0. Suppose 3*s = -3*z - 10 + 103, k = 2*z + s - 59. Is 22 a factor of z?
False
Suppose 2*k = 6*k - x - 3, k = 3*x - 2. Suppose -s + k = -16. Does 10 divide s?
False
Let m be (-33)/3 + (0 - -2). Let f = 18 + m. Is f a multiple of 9?
True
Suppose 3*k = -q + 8, 5*k = -3*q + 6*q + 4. Suppose -19 = -3*l + q*g, 2*g + 2*g + 20 = 0. Suppose l*o + 33 = -0*c + c, -c - o = -17. Is c a multiple of 10?
False
Let g(m) = -m**2 - 4*m. Let x be (-1)/(-2*(-3)/24). Let p be g(x). Suppose p = v + l - 23, 17 = 5*l + 2. Does 10 divide v?
True
Let h(j) = -j**3 + 2*j**2 - 4*j + 7. Let r be h(5). Is 11 a factor of (-10)/4*r/10?
True
Suppose -40 = -u - 14. Does 4 divide u?
False
Let x = 349 - 193. Suppose b + 226 = 3*h, -2*h + 18 + x = 4*b. Does 22 divide h?
False
Let x(q) be the first derivative of -q**4/4 + 8*q**3/3 + q**2 - q + 4. Is x(8) a multiple of 10?
False
Suppose 0 = -3*g + 7*g - 36. Suppose i - g + 4 = 0. Suppose i*f = 5, 0 = -2*w + f + 9 + 4. Is 7 a factor of w?
True
Let t(w) = w**3 + 4*w**2 + w + 2. Let v be t(-2). Suppose g + 3*z = 22, 121 = 7*g - 2*g + 4*z. Suppose v = -f + g. Does 7 divide f?
False
Let p(c) = -5*c - 3. Suppose 3*n + 38 = -4*q, 7*n - 1 = 3*n + 5*q. Is 9 a factor of p(n)?
True
Let s = -1 + -20. Let x = 109 - 73. Let q = s + x. Is 10 a factor of q?
False
Let r = 7 - 11. Does 8 divide 75*-4*r/48?
False
Suppose -2*l + 2 = 3*q - 7, 2*q - 6 = -4*l. Suppose -q*b + 4*d = -5*b + 16, 29 = 3*b + d. Suppose 2*c = -b + 52. Is c a multiple of 11?
False
Let r(s) = -11*s + 3 - 15 + 4*s + s**2. Does 4 divide r(9)?
False
Suppose 4*c - y = 287, -c = y - 2*y - 74. Is c a multiple of 30?
False
Suppose 2*x + 291 = -5*i, -2*x = -5*x - 9. Let z = i + 176. Suppose 0 = -0*m - 4*m - 2*j + 154, 5*j = 4*m - z. Is m a multiple of 15?
False
Let u(k) = k + 4. Let o = 1 - -2. Does 5 divide u(o)?
False
Suppose 7*j - 2*j - 100 = 0. Does 19 divide j?
False
Let l(u) = u + 10. Let y be l(-9). Suppose x - y = -x - 3*z, -4*z + 3 = 3*x. Is 3 a factor of x?
False
Suppose 2 = t - 1. Suppose -5 = -t*q + 1. Is q a multiple of 2?
True
Suppose 3*x = 4*m - 2, 5*m - m = 8. Suppose -2*s - 54 = -d, -106 = -x*d + 5*s - 2. Let v = d + -30. Is 15 a factor of v?
False
Suppose -16 = g - 18. Suppose -w + 43 = -5*l, -g*w + 117 - 22 = -l. Is w a multiple of 16?
True
Suppose -4*b - 9*u + 4*u + 70 = 0, 3*u = 4*b - 86. Is 4 a factor of b?
True
Let g be (1/(-2))/1*-2. Suppose -g + 25 = 2*m. Suppose 32 = 2*h + 5*z - m, 88 = 4*h + 5*z. Is h a multiple of 11?
True
Let z(v) = -v**3 + 2*v**2 - v + 69. Does 35 divide z(0)?
False
Let w be (-14)/(-8) + 1/4. Let o = w + 0. Does 14 d