-2*t**3 + 61*t**2 + 33*t - 40. Is 8 a factor of u(29)?
True
Suppose -4*l - 4*h + 2*h + 4796 = 0, 0 = -4*l - 5*h + 4784. Is 11 a factor of l?
False
Is 13 a factor of (-2076)/(-10) - (14/(-10) + 1)?
True
Let j be (138/8)/(((-21)/3)/(-28)). Suppose -3*o - 3 = 3*p - j, 2*o - 56 = -5*p. Is 4 a factor of o?
False
Suppose 742 = 5*i - p, 2*i + 58 - 353 = p. Suppose 0 = -4*x - j + i + 104, 2*x = 5*j + 121. Is x a multiple of 21?
True
Let h = 6 - 9. Is 8 a factor of 1/h + 292/12?
True
Suppose -4 = -2*u - 0. Let o = u + 2. Does 8 divide (-130)/(-8) + (-1)/o?
True
Let c be (6/(-4))/((-36)/48). Suppose -19 + 177 = c*w. Suppose 0 = -4*p + w + 69. Does 8 divide p?
False
Let b(a) be the second derivative of a**5/20 - 5*a**4/12 - 5*a**3/6 + a**2/2 - 3*a. Is b(7) a multiple of 32?
True
Let c = 5 + -3. Is 6 a factor of (-1 - c)/(-1) + 21?
True
Let l = 31 - 27. Suppose -199 = -l*b + 2*z + 61, -5*z = b - 43. Is b a multiple of 10?
False
Let g(r) = -2*r**2 - 48*r - 24. Is g(-7) a multiple of 26?
False
Let g = 3 + -4. Is 9 a factor of g + (-2 - 0) + 34?
False
Suppose 4*v = 5*c + 5, 0*v + 4*v = -2*c - 2. Let r be c/(-5) - (-782)/(-10). Is 18 a factor of (r/24)/((-1)/12)?
False
Let k(i) be the first derivative of -6*i**2 + 27*i - 49. Does 11 divide k(-5)?
False
Let g = -15 - -17. Suppose 0 = -2*b + 2*t + 58, -2*b - g*t = 3*t - 23. Does 8 divide b?
True
Let b(k) = 331*k**2 - 8*k + 1. Is b(-2) a multiple of 78?
False
Let t = 1028 - 456. Is 26 a factor of t?
True
Let z(u) = -28*u**3 - 2*u - 2. Let f be z(-1). Let j = 36 - f. Is 9 a factor of (-1251)/(-36) - 6/j?
False
Let k = -48 - -16. Let g be k*(-1 - (-1)/2). Let o = 8 + g. Does 24 divide o?
True
Is 22 a factor of (-11652)/(-24) + -10 - (-3)/2?
False
Suppose 4*p + 714 = 10*p. Does 7 divide p?
True
Let o(i) = -6*i + 3. Let m be o(1). Does 3 divide 16 + m + 1 - 0?
False
Let b be (6/(-9))/((-2)/9). Let q(i) = -1 - 4*i**3 - 3*i**b + 6*i**3 - i - i**2. Does 10 divide q(-3)?
True
Let p = 116 + -71. Is p a multiple of 9?
True
Suppose -4*d - 37 = -109. Suppose 6 = -4*q + d. Suppose -5*s = 15, -q*j + 2*s = -0*s - 63. Does 6 divide j?
False
Suppose -3*j + 138 = -0. Let w = -9 + j. Is 17 a factor of w?
False
Suppose 12 = 4*t - 0*t. Let z(h) = h**2 + 8*h + 15. Let a be z(-5). Suppose 3*f + t*f - 120 = a. Is 11 a factor of f?
False
Suppose 5*b + 32 = 2*z - z, 5*z - 5*b = 160. Does 16 divide z?
True
Let a(o) = -2*o**3 + 34*o**2 + 6*o - 124. Is 5 a factor of a(16)?
False
Suppose 2*z = 4*u + 54, 2*u - 78 = -z - 3*z. Is (-3 + 6 + 6)*z a multiple of 27?
True
Suppose -26*h = -42*h + 1872. Is 6 a factor of h?
False
Suppose b + 535 = 1507. Does 9 divide b?
True
Suppose 2*l = 1815 + 3497. Is 95 a factor of l?
False
Suppose -51 = -2*s + 23. Is 3 a factor of (-7 + s)*4/10?
True
Let d = 31 - 28. Suppose -x = d*x - 60. Suppose l = -2*l + x. Does 4 divide l?
False
Let f(d) = -d**3 - 1. Let p(y) = 3*y**3 + 10*y**2 + 3*y + 6. Let h be (1 - 4/2) + -1. Let q(m) = h*f(m) - p(m). Is 13 a factor of q(-10)?
True
Let i(q) = -q**3 - 8*q**2 + q + 5. Let c be i(3). Let y = c + 119. Is 12 a factor of y?
False
Suppose 10*l - 19*l = -3600. Is 5 a factor of l?
True
Let j = -27 - -26. Let f be (-2 + -8)*j/2. Suppose f*i - 48 = 2*i. Is i a multiple of 4?
True
Suppose -4*k + 67 = -w + 6*w, w = -1. Let i = 21 - k. Suppose 56 = 5*m + n, -53 = -5*m + i*n - n. Does 9 divide m?
False
Let b(m) = m**3 - 6*m**2 + m + 1126. Is b(0) a multiple of 14?
False
Let z be -1 + (-60)/(-2 + 0). Let y = 28 - -15. Let h = y - z. Is 13 a factor of h?
False
Suppose 3*p = 2*s - 64, -5*p - 90 - 18 = -3*s. Let j be (3/2)/((-9)/p). Suppose -j*c + 110 = c. Is 11 a factor of c?
True
Let m be (-14)/(-3) - 2/(-6). Suppose m*s = -4*h - 0*h - 429, -81 = s - 4*h. Let w = -58 - s. Is w a multiple of 7?
False
Let o(z) = 7*z**3 - 18*z**2 - 20*z + 3. Let s(p) = -6*p**3 + 18*p**2 + 20*p - 3. Let j(l) = -4*o(l) - 5*s(l). Is j(10) a multiple of 2?
False
Suppose 2*t - 2*u - 2 = 0, 2*t + 4*u + 13 = -9. Let j be (t + 6)/(4/(-12)). Let s(w) = -11*w + 20. Does 14 divide s(j)?
False
Is (-4 - -6)/(8/((-7040)/(-2))) a multiple of 10?
True
Let g be (-2 + 2)*5/(-5). Suppose 0 = -2*n - g*n - 34. Let i = n + 26. Is i a multiple of 3?
True
Let u(h) = -41*h - 138. Let q(g) = -14*g - 46. Let a(z) = 17*q(z) - 6*u(z). Is a(9) a multiple of 8?
False
Is 88 a factor of ((-573)/6 - -6)/((-1)/10)?
False
Let i(j) = -33*j + 262. Is i(-4) a multiple of 6?
False
Let v(b) = 9*b**3 - 2*b**2 + 2*b + 2. Let m = 1 + 1. Is v(m) a multiple of 14?
True
Suppose -3*u - 32 = -104. Is 3 a factor of u?
True
Let v(g) = -2*g**3 - 5*g**2 - 4*g - 2. Let u be 0 - (-3)/(12/(-8)). Is 2 a factor of v(u)?
True
Suppose -2248 = -2*c - 3*n, 206*n - 207*n - 5603 = -5*c. Is 59 a factor of c?
True
Suppose s = 4*n + 143 + 34, -3*s + 3*n = -558. Is 9 a factor of s?
True
Let f(n) = -30*n - 4. Let l(h) = -h**3 + 9*h**2 + 9*h + 6. Let m be l(10). Let u be f(m). Suppose 0 = -4*y + 2*s + u, -3*s = -5*y - 8*s + 145. Does 8 divide y?
False
Let m = 67 + -77. Does 8 divide m/(-15) + 46/3?
True
Suppose -1305 = -3*r + 1824. Is r a multiple of 6?
False
Let o(q) = -q + 10. Let d be o(7). Suppose d*n = 7*n + 252. Does 7 divide ((-8)/6)/(3/n)?
True
Let x = 18 + -20. Let k(c) = -c**3 + c - 1. Is k(x) even?
False
Suppose 0 = 4*r + 1 - 13. Suppose 0*q = r*q + 54. Let y = q + 48. Does 10 divide y?
True
Let g = -11 + 21. Suppose g = -k - 2*r, 2*k + 3*r = -2*k - 20. Does 11 divide (-1304)/(-26) + k/13?
False
Let r = -1605 + 2675. Suppose 5*f + 5*f - r = 0. Does 31 divide f?
False
Suppose 17*p - 12*p - 1180 = 0. Let d = p + -126. Is d a multiple of 22?
True
Suppose 13*u - 910 - 416 = 0. Suppose 0 = -0*z - 3*z + 4*i + u, 2*i = -2*z + 68. Is z a multiple of 23?
False
Suppose -5*m + 4 = -4*x, 3*m + 5*x = x + 28. Suppose m*p = 14 + 10. Suppose -5*s + p*s = 83. Does 12 divide s?
False
Let h be 2/5 - 2876/(-10). Let n = 0 + 4. Suppose c = n*c - h. Does 24 divide c?
True
Suppose 6*b = b. Suppose -4 = 4*g - b. Let f = 21 + g. Does 10 divide f?
True
Let v = -494 + 689. Is v a multiple of 71?
False
Let p be -21*(3/9 - 0). Let k(o) = -o - 3. Let b be k(p). Let m = b + 42. Is m a multiple of 23?
True
Suppose -4*l + 39 = 3. Let y = -9 + l. Suppose -2*a + y*b = -b - 24, 4*b - 48 = -4*a. Does 12 divide a?
True
Let h(b) = 38*b - 32. Let z(c) = -19*c + 16. Let j(n) = 4*h(n) + 9*z(n). Does 8 divide j(-6)?
False
Is 2 a factor of (9 - (-4 + 4)) + -2 + 5?
True
Let k = 180 - 53. Let q be ((-20)/2)/((-11)/(770/10)). Let s = k - q. Is s a multiple of 12?
False
Let y(o) = 2*o + 38. Let i be 40/((-21)/147 - 15/(-7)). Is y(i) a multiple of 6?
True
Suppose 3*y = -3*f + 201, -f - y - y + 66 = 0. Does 17 divide f?
True
Let i(q) = q**3 + 7*q**2 + 6*q + 2. Let h be i(-6). Suppose -h*v + 2*u + 0 = 10, -2*v - 9 = -u. Does 9 divide 318/12 + (-6)/v?
False
Let l(t) = 4*t**3 - t**2 + 1. Let b = 10 - 8. Let r be l(b). Let x = -12 + r. Is 14 a factor of x?
False
Suppose 5*r = -y + r + 835, -3*r = -12. Is y a multiple of 39?
True
Let a(w) = -10*w - 21. Let n = 33 + -24. Let l be a(n). Let c = -46 - l. Is c a multiple of 16?
False
Is (-5)/1 - 22/(132/(-5130)) a multiple of 10?
True
Suppose -6*s + 5*s - 26 = 0. Let l = 5 - s. Is l a multiple of 11?
False
Suppose 181 = o - 62. Is 12 a factor of o?
False
Is 7 a factor of (-37525)/(-158) - ((-1)/2)/1?
True
Suppose 0*s - 183 = s. Let d = s + 342. Suppose d = -z + 4*z. Does 16 divide z?
False
Suppose 7*a - 2*a - t = 10, 5*t = a + 22. Is (-38 + (a - 2))*(9 - 10) a multiple of 37?
True
Suppose 7*h + 9*h = -48. Does 9 divide (-8)/((-8)/h) + 30?
True
Let h(b) = 73*b**2 - 10*b - 3. Is h(-2) a multiple of 7?
False
Let f = -2925 + 4558. Is 71 a factor of f?
True
Let h(z) be the second derivative of -4*z**3/3 - 3*z**2 + z. Let v be (4/8 - -7)*4/(-6). Is h(v) a multiple of 34?
True
Suppose -z = 5*k - 38, 203 = 4*z - 5*k + 26. Is 43 a factor of z?
True
Suppose -780 = -a - 3*a. Let t = -30 + 35. Suppose -t*o + a = -0*o. Is 20 a factor of o?
False
Let h(j) = -j**2 + 7*j - 6. Let g be h(4). Does 32 divide (444/18)/(2/g)?
False
Let q be (-1965)/(-25) + (-3)/5 + -3. Let t = 171 - q. Does 12 divide t?
True
Let h be 6/5*(-350)/15. Is (1 - -2) + h/(-4) a multiple of 10?
True
Let k(g) = -g**3 - g**2 + 4*g + 2. Let s be k(-3). Suppose -22 + 7 = -l. Let d = l - s. Is d a multiple of 5?
False
