 of 6?
False
Suppose -z - 3*d = z + 1080, -4*d - 1076 = 2*z. Does 10 divide z/(-18) - 2/6?
True
Let s(l) = -l**3 + 2*l**2 - l. Let t be s(-2). Let m be (-2 + t)/(-2) + 1. Let k = 11 + m. Is k even?
True
Suppose -2*q + d + 71 = -27, d = -3*q + 137. Does 19 divide q?
False
Let r(t) = t**3 - 4*t**2 + 4*t - 3. Does 5 divide r(4)?
False
Let m be (-3 + 4/4)/1. Let h = m - -11. Is h a multiple of 9?
True
Let c(k) = k**3 - 6*k**2 + 5*k + 4. Let f be c(5). Suppose 2*v + 12 = f*t, t + 5*v = 2*t + 6. Does 11 divide ((-11)/2)/((-2)/t)?
True
Let p be 3/(((-30)/(-4))/5). Suppose 0 = -2*g - 5*i + 45, -3*i + 57 = p*g + 10. Suppose -4*x - f = -200 - g, -3*x = -5*f - 163. Does 16 divide x?
False
Suppose 3*a = 8*a. Suppose a = -4*g - 3*p + 117, 2*g - 43 = -p + 18. Is g a multiple of 11?
True
Is 5 a factor of 30/(-4)*(-24)/20?
False
Let u = 23 + -21. Suppose -h - u*r - 84 = -5*h, r - 91 = -5*h. Is h a multiple of 15?
False
Let x = -1 - -1. Suppose 0*m + 9 = 2*m + 3*a, x = -5*m + 4*a - 35. Is 10 - (1 + m - 0) a multiple of 12?
True
Let k(h) = 204*h**3 + h. Let b be k(1). Suppose 5*c + b = 5*t, -4*c - 165 = -5*t + 37. Suppose 0 = -3*w + 2*w + t. Is 13 a factor of w?
False
Suppose 6*n - 11*n - 15 = 0. Is 9 a factor of (1/(-2))/(n/108)?
True
Let d(g) = 2*g**3 - 2*g + 3. Let l = -4 + 6. Is 15 a factor of d(l)?
True
Let i be (-4)/14 - 405/(-21). Let q be (-1)/(-3)*3*31. Let o = q - i. Is o a multiple of 6?
True
Let k be 1 + (-4)/(8/(-82)). Suppose 3*h - k - 30 = 0. Does 8 divide h?
True
Suppose -340 = -2*y - 5*b, -505 = 3*y - 6*y - 5*b. Is y a multiple of 33?
True
Let o(a) = 38*a**2 - 4*a + 3. Is 37 a factor of o(1)?
True
Let m = 64 + -10. Does 13 divide m?
False
Let n(o) = -15 - 7*o**2 + o**3 + 7 - 3. Does 18 divide n(8)?
False
Let n(s) = -4*s**3 - s**2 - 2*s - 1. Is n(-1) a multiple of 2?
True
Suppose 26 - 91 = 5*a. Suppose h - 3 + 58 = 0. Let g = a - h. Does 27 divide g?
False
Let i(b) = -12*b + 8 + 52 + 13*b. Is i(0) a multiple of 23?
False
Let f = 138 + -90. Is 5 a factor of f?
False
Suppose -6 = 6*d - 138. Is 10 a factor of d?
False
Let q(c) = 9*c + 1. Let s be q(2). Suppose 3*t + 5*w - 17 = 2*t, t + 3*w - s = 0. Is 8 a factor of t?
False
Suppose 56 = 9*v - 2*v. Let g = 12 - v. Is g a multiple of 3?
False
Let r be 2/(-6) + (-64)/(-12). Suppose 4*d - 7 = r. Suppose -d*i = -8*i + 110. Is i a multiple of 16?
False
Let j(m) = -m**3 + 5. Let a be j(0). Suppose a*x - 20 = 5. Does 5 divide x?
True
Suppose 0 = -v - 4*f - 1, 9 = -5*v + 3*f + 27. Let g be (9/v + -4)*-1. Suppose 4*n - 5*i - 44 = 0, 3*n + 4*i - g - 1 = 0. Is 3 a factor of n?
True
Let g(y) = y**2 + 4*y + 2. Let z be g(-5). Let b be (-3 - 0)/((-2)/180). Is 11 a factor of b/z - 6/(-14)?
False
Let p = -83 - -198. Is p a multiple of 28?
False
Let o(k) = -k**2 - 35*k - 30. Is 18 a factor of o(-15)?
True
Suppose -3*u - 4*o + 57 = 0, 10 = u + 4*o - 1. Suppose -194 = -4*w + v + v, -2*v = 6. Let h = w - u. Does 12 divide h?
True
Let k = 23 - 19. Is -1 + 10 + 8/k a multiple of 11?
True
Let i = -7 + 14. Suppose -3*f - 4*a = -23, 2*f - i = -0*f - a. Does 7 divide 2 + (-9)/(-1)*f?
False
Let d(i) = 10*i + 1. Let n be d(7). Suppose -u - 3*u = 124. Let g = n + u. Is g a multiple of 20?
True
Let r(f) be the first derivative of -f**3/3 + 4*f**2 + 1. Let m be 24/(-84) - (-102)/14. Is 3 a factor of r(m)?
False
Let a be 8/20 + 8/5. Let b be (4 - -18) + 1*a. Does 17 divide 0/(-1 + -2) + b?
False
Let z(w) = -12*w - 96. Does 8 divide z(-12)?
True
Let s(i) be the first derivative of 2*i**3/3 - 5*i**2/2 - 8*i - 1. Does 17 divide s(6)?
True
Let a(g) = g**2 + 4*g - 6. Let j be a(9). Suppose -3*h = -j - 15. Suppose 2*k - 66 = -3*b - k, 2*b + k = h. Is b a multiple of 10?
True
Let n(k) = -k**3 + 9*k**2 + 5*k - 9. Is n(9) a multiple of 18?
True
Let f = -23 - -70. Let k = f + -25. Does 6 divide k?
False
Let m(o) = -5*o**2 + o - 6. Let a be m(-5). Is 8 a factor of 3/(-2)*a/12?
False
Suppose -5*t = -86 - 34. Suppose 3*i = 2*i + t. Does 24 divide i?
True
Is (0/(-2) + -1)*(-5 + 0) a multiple of 4?
False
Let t(g) = -g**3 + 5*g**2 + 9*g + 2. Let b be t(-7). Suppose 0 = 4*y + 79 - b. Let k = y - 60. Is k a multiple of 22?
False
Suppose 2*o - 80 = -2*o. Does 3 divide o?
False
Suppose 5*k = -g - 146 + 374, -3*k + 142 = -2*g. Suppose -u = -3*u + k. Does 6 divide u?
False
Let s = -31 - -40. Is s a multiple of 3?
True
Let x = 2 - 3. Let m(i) = -4*i**3 + i + 1. Let p be m(x). Suppose -3*q - 10 = -p*q. Is q a multiple of 5?
True
Let y(n) = -n**3 + 5*n**2 + 7*n - 4. Let j be y(6). Suppose 22 = 5*i + j. Suppose -a = -3*h + 5, -5*a + 4 = -i*h - a. Is 3 a factor of h?
True
Does 7 divide ((-7)/3)/(1/(-3))?
True
Suppose 2*i = 3 + 1. Let x be 2*27 + 2 + i. Suppose -x = -2*o + 2*c, -2*o + 5*c + 61 + 6 = 0. Is o a multiple of 13?
True
Suppose -468 = -3*u - 4*d + 403, 3*u - 916 = 5*d. Does 27 divide u?
True
Let o = -16 - -30. Is -1 + o + -6 + 2 a multiple of 4?
False
Let y = 64 - 42. Let c = y + -7. Is c a multiple of 15?
True
Suppose -2*p - 2*d + 154 = p, 0 = 2*p - 2*d - 86. Is 24 a factor of p?
True
Suppose 5*x = -4 + 14. Suppose y = -4, -44 = -x*v - 4*y + 24. Does 12 divide v?
False
Is 13 a factor of (-4)/8*3*-26?
True
Let k(q) be the first derivative of q**3/3 + 5*q**2/2 + 4*q + 2. Let b be k(-6). Let o = b - 2. Is o a multiple of 7?
False
Suppose 0 = -5*y - 4*h + 519, 2*h = -14 + 6. Suppose -2*f - 1 - 43 = -u, 3*u - f - y = 0. Is u a multiple of 9?
False
Suppose 0*o + 36 = -3*o. Let r = 18 + o. Does 4 divide r?
False
Let z = -32 + 40. Is 2 a factor of z?
True
Suppose 0 = 4*h - 4 - 8. Suppose -h*r + 126 = 45. Is r a multiple of 9?
True
Suppose -170*q - 680 = -175*q. Does 17 divide q?
True
Let l(z) = -z**3 + 5*z**2 + 1. Let n(u) = u + 0*u - 6 + 16. Let k be n(-7). Is 10 a factor of l(k)?
False
Let n(u) = u**2 - 11*u + 12. Let v be n(10). Suppose d - 38 = -v*h, -2*h + 1 = -1. Is 12 a factor of d?
True
Let i(f) be the third derivative of -7*f**4/24 - 5*f**3/6 + 2*f**2. Is i(-6) a multiple of 13?
False
Let b = 130 - 58. Is 6 a factor of b?
True
Let t be (4/6)/((-2)/(-6)). Suppose t*k + 5*c - 128 = 0, 2*c = -3*k - 0*k + 214. Does 16 divide k?
False
Suppose l + 4*l + 55 = -3*r, -3*r + 5*l = 65. Does 16 divide (1 - (-18)/(-10))*r?
True
Suppose -3*y = -5*y - 4*w + 206, -3*y + 291 = -3*w. Is 19 a factor of y?
False
Let p be 22/2*(-2 - -3). Let d = 16 - p. Is 86/d + (-1)/5 a multiple of 11?
False
Let y = -41 + 81. Does 3 divide y?
False
Let b = -3 - -8. Suppose -5*a + 3*u = 350, -2*a - 98 = -a + b*u. Let q = -31 - a. Does 21 divide q?
True
Let u(t) = 2*t**2 + 3*t. Let l be u(-5). Suppose -3*w + l = 11. Is 4 a factor of w?
True
Is (-470)/(-13) - 6/39 a multiple of 4?
True
Suppose -q = -7*q + 840. Is q a multiple of 14?
True
Let g(m) = 2*m**2 - 10*m + 9. Let u be 12 + 0 + 2 - 1. Let k = -7 + u. Is g(k) a multiple of 13?
False
Let u(r) = 2*r**2 - 3*r. Let x be u(2). Suppose -3*s + 47 = k - 50, 3*k + 61 = x*s. Suppose 2*o - 2*g - s = 0, -4*o + 3*g = 2*g - 73. Is 8 a factor of o?
False
Suppose -4*i - 7 = 3*z, -4*i + 23 = -z - 2*z. Let x(p) = 4*p**3 - p**2 - p - 2. Is 24 a factor of x(i)?
True
Is 30 a factor of (1/1 + 148)/(-2 - -3)?
False
Let o = -8 - -1. Let j(g) = -g**2 - 6*g + 3. Let s be j(o). Does 11 divide s/6*153/(-6)?
False
Suppose 2*f = -3*c + 392, 4*c = 5*f - 0*f + 538. Is 22 a factor of c?
True
Let z = 134 + -94. Suppose 3*f = 4*f + z. Let p = -1 - f. Is p a multiple of 13?
True
Is ((-58)/8)/(1/(-4)) a multiple of 15?
False
Suppose q + 4*q - 85 = -n, 5*n - 3*q - 481 = 0. Does 16 divide n?
False
Let m(g) = -g**3 + 5*g**2 - 2. Let v be m(4). Suppose v = d - 31. Does 18 divide d?
False
Suppose -r + 12 = -3. Let o = 0 - -5. Suppose -2*f = -o*q - 4*f + 27, q = 2*f + r. Is 7 a factor of q?
True
Let p(z) = z**2 + 7*z. Let x be ((-21)/3)/((-2)/(-2)). Let c be p(x). Suppose -a + 5*a = c, -30 = -2*u - a. Is 5 a factor of u?
True
Let w(m) = -m**3 - 3*m**2 + 2*m - 4. Let o be w(-4). Suppose 80 = 5*p - 2*c - 8, 4*c = o*p - 80. Suppose p = -0*t + 2*t. Is t a multiple of 7?
False
Suppose b + 0 = 1. Does 8 divide 30/1 - (-3)/b?
False
Let i(j) be the second derivative of -j**3/3 - j**2 - 2*j. Does 12 divide i(-13)?
True
Suppose -4*r = 5*l - 680, 6*l - 5*r - 680 = l. Suppose -4*q + l = 2*b, b + 2*q = -b + 132. Is b a multiple of 32?
True
Suppose -36 = -0*y - 2*y. Is y a multip