of 21?
False
Let b(h) be the second derivative of -h**4/12 - 7*h**3/6 + 2*h**2 + 2*h. Let w be (-1 - -1) + (-10)/2. Does 11 divide b(w)?
False
Let m(q) = -11*q - 1. Is m(-3) a multiple of 8?
True
Suppose -3*g = 5*n - 52, -4*g + 104 = -2*n - 0. Is 5 a factor of g?
False
Suppose -3*m + 3*y + 13 = -32, -3*y = 3. Suppose 3*j - 434 - 334 = 0. Is (-4)/14 + j/m a multiple of 10?
False
Let j = -10 + -7. Let q = j + 6. Let b = q - -18. Is b even?
False
Let v(b) be the third derivative of -b**5/60 + b**4/6 + 5*b**3/6 + 2*b**2. Let r be v(4). Suppose s + 7 = r*j, 3*j + 10 = -5*s + 31. Is 2 a factor of j?
True
Let d = 18 - 13. Let a be (1 + -1)*d/5. Suppose 5*k - 31 = p + 39, a = 3*k + p - 34. Is 13 a factor of k?
True
Suppose 2*k = -2*k. Suppose -t - 3*t + 8 = k. Suppose 0 = 3*u + 9, -5*u - 34 = -t*q - u. Is 6 a factor of q?
False
Suppose -9 = -4*u - x, 0*x + x = -5*u + 11. Suppose -u = f - 4. Is 5 a factor of 0 - f/(4/(-14))?
False
Let g = -44 - -79. Is g a multiple of 18?
False
Suppose c - 2*c - 3*o + 10 = 0, -2*c + 10 = o. Let i(v) = -2 - c - 2*v + 7*v - 2*v. Is i(5) a multiple of 3?
True
Let g = 1 - -1. Let c = 5 - g. Suppose -4*s + c*s = -21. Is 18 a factor of s?
False
Let w(k) = -36*k. Is 24 a factor of w(-2)?
True
Let z be 84/22 + 4/22. Suppose -3*r = 4*b - 118, 0*r - 3*b + 162 = z*r. Is r a multiple of 14?
True
Let o be 6/(-9) + (-48)/(-18). Suppose 4*j = 0, -22 = -o*s - 2*j - 2*j. Is s a multiple of 3?
False
Let v(r) = 3*r**2 + 5 - 1 - 4*r + 3*r. Let a be v(-4). Suppose k = -3*k + a. Does 7 divide k?
True
Let q = 228 - 188. Is 10 a factor of q?
True
Let t = 38 - 7. Does 19 divide t?
False
Let b(w) = w**2 - 3*w + 3. Suppose u - 15 = 4*p, 5*u - 4*p + p - 41 = 0. Is 12 a factor of b(u)?
False
Let n = 137 + 66. Is 24 a factor of n?
False
Suppose -3*t + 14 = -1. Is 2 a factor of t?
False
Suppose i - 74 = -i. Does 12 divide (2 - 2) + i + -1?
True
Let p(w) = -6*w**3 + 3*w**2 + 2*w + 2. Does 29 divide p(-2)?
True
Let w(v) = 9*v**2 + 1. Let q be w(1). Let z = q - -11. Is z a multiple of 15?
False
Let l(y) be the third derivative of -y**4/24 + 4*y**3/3 + y**2. Let i(o) = -o**3 + 3*o**2 + 2*o + 2. Let m be i(4). Is 5 a factor of l(m)?
False
Let i be (508/(-8))/((-1)/2). Suppose -3*v = -11 + 2. Suppose 4*l + i = v*s, 4*l = s - 24 - 13. Is s a multiple of 21?
False
Let s be (0 + (-6)/(-10))*5. Suppose 2*w - s = 2*c + 45, w - 112 = 5*c. Let l = 44 + c. Is 15 a factor of l?
False
Let t(n) = n + 11. Let s be t(-9). Suppose -81 = -3*i + s*u + 14, 3*u + 126 = 4*i. Does 11 divide i?
True
Let f = 16 - -16. Does 8 divide (15/10)/(6/f)?
True
Suppose -742 = -5*v - o, 3*v + 6*o = 3*o + 450. Suppose -v - 64 = -4*s. Is s a multiple of 22?
False
Suppose -2 - 2 = -x. Is (x - 1)/((-3)/(-14)) a multiple of 7?
True
Let l = 147 - 66. Is l a multiple of 27?
True
Suppose 4*u = 2*i + 12, u = 6*u - i - 15. Is 10 a factor of ((-5)/u)/(1/(-18))?
True
Let p be (-7)/28 + (-1)/(-4). Suppose 3*d - 81 = -p*d. Is 8 a factor of d?
False
Suppose 0 = -4*p - 9 - 27. Let y = 1 + p. Let k(w) = w**3 + 8*w**2 - 2*w - 1. Is k(y) a multiple of 8?
False
Let z(m) = -m**3 + 10*m**2 + 6*m - 18. Is z(7) a multiple of 15?
False
Suppose 1446 = 5*b - 2*q, -2*b + 2*q = 2*b - 1156. Is 29 a factor of b?
True
Let f = 300 + -148. Let r be 112/21 + 2/(-6). Suppose -h = -r*h + f. Is h a multiple of 19?
True
Let i(x) = -9*x - 6. Is 10 a factor of i(-4)?
True
Let x(i) = i**2 - 8*i + 13. Let z(q) = -2*q**2 - 10*q - 7. Let j be z(-6). Let y = -10 - j. Is x(y) a multiple of 11?
True
Let z = -96 + 219. Is 19 a factor of z?
False
Let k = 163 + 137. Is k a multiple of 30?
True
Let a(u) = 11*u**2 + u + 2. Does 11 divide a(-2)?
True
Suppose 0*o - o = -21. Suppose z - o = -0. Does 7 divide z?
True
Let h be (-4)/3*(-9 - -6). Let f(g) = 5*g - 4. Is f(h) a multiple of 7?
False
Let o(m) = 18*m**3 - m + 1. Let f be o(1). Suppose -4*n = -5*n + f. Is 18 a factor of n?
True
Suppose 2*u + 243 = 7*u - 4*m, 4*u = 4*m + 192. Suppose 2*j = w - j - u, 3*j = 5*w - 267. Does 18 divide w?
True
Let v = 61 - 40. Does 8 divide v?
False
Let l(f) = -f**2 + 7*f + 8. Let t be l(11). Let b be (-22)/(2 - t/(-15)). Suppose -5*p + b + 20 = 0. Is p a multiple of 4?
False
Suppose -6132 = -5*z + 5883. Does 27 divide 8/44 - z/(-33)?
False
Suppose -5*c - 4*z - 64 = -0*z, 0 = -5*c + 4*z - 56. Let x = c - -20. Is x a multiple of 7?
False
Let p = -101 - -218. Is p a multiple of 39?
True
Let z(n) = 2*n + 4. Let w be z(-3). Let l = 4 - w. Is 6 a factor of l?
True
Let s be (-4 - -1)/((-1)/(-5)). Let c be (9/s)/((-3)/15). Let r = 7 - c. Does 2 divide r?
True
Let r(j) = 3*j**2 - 2*j - 3. Let h be 2/(6/(-9) - 0). Let c be r(h). Suppose 6*g - c = g. Is 3 a factor of g?
True
Suppose 4*t = 3*t + 139. Does 37 divide t?
False
Suppose -3*w - 132 = -648. Suppose b - 61 = -2*i - 17, 0 = 3*b - 4*i - w. Is b a multiple of 30?
False
Suppose 2*x - 315 = -r, -5*x + 4*x = 4*r - 161. Is 27 a factor of x?
False
Is ((-6)/(-15))/(9/1440) a multiple of 16?
True
Let o be (-5)/(-3) - 2/(-6). Suppose 4*u - 4*k - 16 = 0, 4*k - 38 = -4*u + o. Suppose -4*f - i = -135, u*f + 5*i = 4*f + 114. Is f a multiple of 11?
True
Let j(o) be the first derivative of -o**4/4 + 2*o**3 - 3*o**2 + 6*o - 3. Does 14 divide j(4)?
True
Suppose 0 = -0*i + i - 2. Suppose 5*g = -5, -i*s + 7*s = -5*g + 15. Is 2 a factor of s?
True
Let l = 1 + -1. Let x be (l - -1)/((-4)/(-12)). Does 12 divide ((-72)/(-20))/(x/10)?
True
Suppose -4*i = -2*n + 456 + 14, 0 = -n - 2*i + 215. Does 45 divide n?
True
Suppose -9*d = 383 - 1103. Does 13 divide d?
False
Let g(n) = n**3 - 3*n**2 + 3*n. Let v be g(2). Suppose 5*z + v*s + 45 = -2*s, 20 = z - 5*s. Is 5/z - -13*2 a multiple of 11?
False
Let g = -5 - -3. Let m be (-3 - -3)/((-4)/g). Suppose -3*w + 2*w + 18 = m. Is 8 a factor of w?
False
Suppose -4*z = -0*z + 28. Let y(p) = p - 1. Let s(k) = 12*k - 24. Let f(i) = s(i) - 15*y(i). Does 6 divide f(z)?
True
Suppose -2*m - 1 = -23. Suppose y = m + 10. Suppose -x = -3, y + 53 = 4*w + 2*x. Does 17 divide w?
True
Suppose 4*h - 390 = 2*z - 0*z, 2*h + 2*z = 198. Let o = h + -45. Is o a multiple of 16?
False
Suppose 0*f - 3*f + 9 = 0. Suppose f = -m + 4. Is 12 a factor of (-3 + m)/((-2)/12)?
True
Let t = 134 - 81. Does 10 divide t?
False
Suppose 4*b - 19 = 3*b. Is b a multiple of 4?
False
Let i(u) = 28*u**3 + 2*u**2 - u. Does 16 divide i(1)?
False
Let a(l) = 26*l - 5. Does 13 divide a(2)?
False
Let j(s) be the second derivative of s**5/20 - 2*s**4/3 - 5*s**2 - s. Let z be j(8). Let k = z - -28. Is 9 a factor of k?
True
Let f = -352 - -562. Is f a multiple of 14?
True
Let w(t) = t**2 - 2*t - 3. Does 21 divide w(6)?
True
Suppose 2 = -p + 5. Suppose -5*o + 21 = p*z, 5*z - o - 7 = -0*o. Suppose 51 = 4*f + 3*h, -z*f + f - 4*h = -16. Does 4 divide f?
True
Suppose 0 = 7*n - 100 - 719. Does 9 divide n?
True
Does 9 divide (-7 - 18/(-6)) + 94?
True
Let t be 12/8*(-4)/(-3). Suppose t*u + 3 = 111. Let a = u + -13. Is 14 a factor of a?
False
Let z be -1*(-4)/(2/2). Suppose -5*s - z*h + 116 = 0, 2*s - h = -2*h + 47. Is s a multiple of 8?
True
Let i(v) = v**3 + 13*v**2 + 10*v - 3. Is i(-12) a multiple of 12?
False
Suppose 0 = 4*j - 56 - 20. Suppose 4*f - 5*r = 41, 3*f = f + r + j. Suppose 4*o - f = n - 0*n, 0 = 4*n - o - 9. Is n even?
False
Let a = 9 + -2. Is 2 a factor of a?
False
Let v(q) = 3 + q**3 - 2*q + q - 4*q**2 - 2*q**3 + 6*q. Does 15 divide v(-6)?
True
Let t = 91 + 29. Does 30 divide t?
True
Let b = -63 + 107. Is 4 a factor of b?
True
Suppose 4*b + 5*t - 19 = 0, 0*t = 2*b + 5*t - 7. Is 6 a factor of b?
True
Suppose 4*r - 3*j = 2*j + 168, 3*r - 131 = 5*j. Is 16 a factor of r?
False
Suppose 4*t + 2*a = 70 + 30, -5*a = -3*t + 62. Is t a multiple of 8?
True
Suppose 4*d = -5*m + 236, -49 = -m - 2*d + 3*d. Is 40 a factor of m?
False
Let m = 8 - 5. Let a be -6*(m + (-11)/(-2)). Let f = -10 - a. Is 17 a factor of f?
False
Let j = -111 - -287. Let r = 259 - j. Does 28 divide r?
False
Suppose 3*h + 9 = 6*h. Suppose -4*i + 4*t + 136 = 0, -i + h*t + 66 = i. Is 12 a factor of i?
True
Suppose 0*d - d + 22 = 3*o, 3*d + 3*o = 78. Is 8 a factor of d?
False
Let r = 226 + 44. Does 15 divide r?
True
Suppose -58 - 2 = -3*f. Does 2 divide f?
True
Let f = 20 - 29. Let d = f - -13. Is d a multiple of 4?
True
Let b(w) = -w**3 - 8*w**2 - 8*w - 4. Let l be b(-7). Let i