o = 36 - h. Is 21 a factor of o?
True
Let d(l) = 1 - l - 1 + 1 + 4. Let m be d(0). Let c = 16 - m. Is 3 a factor of c?
False
Let v(x) = 154*x - 314*x + 155*x + 47. Does 11 divide v(0)?
False
Let t be (0 + 1)/(8/688). Suppose -3*i - 4*s - 128 = -0*i, 2*i + t = -3*s. Let n = i - -76. Is 18 a factor of n?
True
Suppose 3*p + 2*m = 6*m + 10, -9 = -3*p + 3*m. Suppose p*d - 4 = 0, -5*d + 1 = 4*r + 11. Let z(g) = 4*g**2 + g + 7. Is 34 a factor of z(r)?
True
Let v(f) = -2*f**3 - 32*f**2 - 13*f + 59. Let r(x) = -x**3 - 16*x**2 - 7*x + 29. Let o(l) = 13*r(l) - 6*v(l). Does 21 divide o(-16)?
True
Suppose 2343 = 3*b - 4*z, 6*z = 3*z + 9. Is b a multiple of 15?
False
Suppose 190 + 450 = 5*j. Is j a multiple of 32?
True
Suppose 2511 = 10*o - 2459. Is 23 a factor of o?
False
Let n(r) = -3*r**3 - 5*r**2 - 4*r + 12. Let p(x) = -4*x**3 - 4*x**2 - 4*x + 13. Let f(m) = -3*n(m) + 2*p(m). Is f(-5) a multiple of 10?
True
Suppose 3*z = 5*q - 1728 + 535, 5*z - 709 = -3*q. Is q a multiple of 14?
True
Let g = -5 - -5. Let n = 3 - g. Does 2 divide n?
False
Suppose 20 = 4*c - 2*c. Suppose a + c - 57 = 0. Is 11 a factor of a?
False
Suppose -18*j = -16*j + 256. Let n be (-3)/(1*6/j). Let o = n - 46. Does 9 divide o?
True
Let y(m) = 4 - 7*m - 8 + 9. Let d be y(5). Let l = 46 + d. Does 12 divide l?
False
Suppose 3*c + 0*l - 54 = -2*l, -10 = -c + 2*l. Suppose 5*x - 140 = x. Let f = x + c. Does 17 divide f?
True
Let j be 2/(-3) - (-33)/9. Suppose 0 = -2*n + 3*n. Suppose n*a - 3*a + 84 = -4*s, 3*a = j*s + 81. Does 8 divide a?
True
Let r be 2 + 0 - (-1 + -1). Suppose -4*q = -t - 7*q + 78, r*t - 5*q - 261 = 0. Does 6 divide t?
False
Suppose 4*q + 132 + 62 = w, -3*q - 373 = -2*w. Is 5 a factor of w?
False
Let p(j) be the second derivative of j**3/6 + 9*j**2/2 - 32*j. Is p(-1) a multiple of 8?
True
Let s(c) be the third derivative of -c**6/120 - 3*c**5/20 + c**4/3 - 8*c**3/3 + 21*c**2. Does 2 divide s(-10)?
True
Let l be ((-8)/(-24))/(2/(-30)). Let f(m) = m**3 + 4*m**2 - 6*m - 3. Let h be f(l). Suppose -5*y = -4*z - y + 56, -h*z + 4*y + 38 = 0. Is z a multiple of 3?
True
Suppose -b - 7 + 4 = 0. Does 21 divide ((-48)/(-1) - -2) + b?
False
Let c = 42 - 40. Is 16 a factor of (-1 - c) + 7 - -76?
True
Suppose -11979 - 20827 = -94*a. Does 5 divide a?
False
Suppose -3*v = u - 16, -5*u + 4*v = 2*v - 12. Does 2 divide u?
True
Let u(q) = 32*q**2 - q + 2. Suppose -3*x + 4*i - 2*i = -12, 2*i = 4*x - 14. Let k be u(x). Suppose -5*n + k = -n. Does 8 divide n?
True
Let i(h) = -2*h**2 - 89*h - 114. Is i(-38) a multiple of 7?
False
Let q be 6/12*(206 + 0). Is 0 + q - (-1 - -2) a multiple of 17?
True
Suppose 98*l = 104*l - 486. Is 7 a factor of l?
False
Suppose 3*s + 8 = k - 0*s, -4*k - s = -6. Is ((-3)/k - -1)*-160 a multiple of 8?
True
Suppose -18*r + 40 = -23*r. Is 4 a factor of r/(-12) - (-30)/9?
True
Does 13 divide ((-626)/8)/((-95)/(-20) - 5)?
False
Does 25 divide (100/(-8)*2)/((-5)/15)?
True
Let p(j) be the third derivative of -j**5/24 - 3*j**4/8 - j**3/2 - 2*j**2. Let h(v) be the first derivative of p(v). Does 6 divide h(-4)?
False
Let x be (2 - 1)/((-5)/10). Is 1025/35 - x/(-7) a multiple of 3?
False
Let m be (27/18)/((-1)/(-2)). Suppose -5*c + 2*k = -40, 4*c - m*k - k = 32. Does 8 divide c?
True
Let z = -281 - -434. Suppose 2*t - 183 = 3*w - 677, -3*t = -w + z. Is 29 a factor of w?
False
Suppose -2*j - 2*c - 88 = 2*j, -4*j = 5*c + 88. Let w = 32 + j. Suppose 2*r - w = h - 43, 4*r + 112 = 4*h. Is h a multiple of 23?
True
Let h(o) = -63*o - 18. Does 18 divide h(-4)?
True
Let r(a) = a**2 + 2. Let c be r(-5). Does 35 divide (-35)/(9/c*(-3)/7)?
True
Let n = 666 - -1135. Suppose -h - n = -6*h + 4*j, -4*h - 5*j = -1449. Is h a multiple of 39?
False
Suppose -2*o - 68 = c - 7*o, -160 = 2*c + 2*o. Let s be (-1044)/(-26) - (-12)/c. Suppose -25 = 5*b, -b + s = -4*k + 165. Does 5 divide k?
True
Let r = 80 + -90. Is 7 a factor of (-1 - 13)*(r - -7 - 2)?
True
Suppose -3*a = -154 - 2. Let r = 118 - a. Let n = r - 33. Is 11 a factor of n?
True
Let z = -658 + 1182. Does 9 divide z?
False
Suppose -3*t - 318 = -j + 58, 4*j - 1476 = 5*t. Is 7 a factor of j?
True
Let l(o) = -105*o**2 + 4*o + 3. Let b(i) = 315*i**2 - 11*i - 8. Let q(w) = 3*b(w) + 8*l(w). Let d be q(1). Let p = -74 + d. Does 15 divide p?
True
Let k(s) = s**3 - 8*s**2 + 14*s - 12. Let f be (3/(-9))/(4/(-84)). Is 33 a factor of k(f)?
False
Let a(v) = -v**3 + 25*v**2 - 74*v - 51. Is a(13) a multiple of 123?
False
Suppose -3*d - d = 0. Suppose -3*p - o + 4*o + 18 = d, 0 = 5*p + o - 6. Does 6 divide 3 - 18*p/(-4)?
True
Suppose 4*m - 36 = -2*y, -y + 3*y + m - 48 = 0. Let n be -3 + (-1 - 35/(-5)*1). Is 24 a factor of (n - (3 + 2)) + y?
True
Let i be (-39)/(-12) + (-3)/12. Does 21 divide (525/9 - 1/3) + i?
False
Let j be (-7)/(-3) + 4/6 - -2. Suppose 3*r = 5*b - 1025, 0*b = 4*b + j*r - 783. Does 37 divide b?
False
Suppose -5*p = 3*d - 0*d + 164, -2*p = 2. Let h = 27 - d. Is 8 a factor of h?
True
Let c = 117 + -54. Does 27 divide c?
False
Suppose 5*g = -2*a + 4 + 158, -3*a - 4*g + 236 = 0. Is a a multiple of 3?
False
Let i = -15 + 23. Let r = 5 + i. Is 3 a factor of r?
False
Suppose 3*v = 2*v + 12. Let s be (12/(-2 - 1))/(-1). Is 9 a factor of v*4/s + 1?
False
Let r(z) = z**2 + z + 2. Let s = -5 + 7. Let b be (-3)/s*12/18. Is r(b) a multiple of 2?
True
Let n(r) = 4*r + 3*r - 2*r + 60 + 19*r. Does 15 divide n(4)?
False
Let v(m) = -m**3 - 21*m**2 + m + 30. Let i be v(-21). Suppose -i*o = -6*o - 198. Is o a multiple of 11?
True
Let g be (-2)/(-5) + 387/45. Suppose 10 = 5*j - 5. Suppose -g*k = -j*k - 276. Does 29 divide k?
False
Let n(k) be the first derivative of 4*k**3/3 + k**2/2 - k - 9. Does 10 divide n(-4)?
False
Suppose -5*c = -z + 1068, -5*z + 5298 = -11*c + 7*c. Does 23 divide z?
True
Let y(v) = -57*v - 340. Is 34 a factor of y(-28)?
False
Let n(m) = -m**3 + 11*m**2 + 0*m + 13 - m - 2*m - 23. Is n(10) a multiple of 15?
True
Let s = 2 + 0. Suppose 15 + 19 = s*w. Is w a multiple of 17?
True
Suppose -v + 4*t - 97 = 6*t, -2*t + 378 = -4*v. Suppose 2*w + 409 = 95. Let j = v - w. Does 31 divide j?
True
Let a be 310/(-6) - 1/3. Suppose -60 = -21*l + 23*l. Let n = l - a. Is n a multiple of 22?
True
Let h(a) = -212*a - 17. Does 40 divide h(-2)?
False
Suppose -4*n = -8, -3*n - 483 = 5*z - 5399. Is 5 a factor of z?
False
Suppose -p + 422 = 107. Suppose 4*x = t + 279 - 27, 5*t = -5*x + p. Is x a multiple of 4?
False
Suppose v + v + 3 = 3*m, -v + 4*m = 4. Suppose v = -9*o + 8*o. Suppose 0 = -o*c - 5*c + 140. Does 28 divide c?
True
Suppose 0 = 3*u + 2*i - 0*i - 28, u + 5*i - 18 = 0. Let h = u - 6. Let y(w) = 3*w**3 - 2. Does 11 divide y(h)?
True
Let m(o) = o**2 - 7*o + 4. Let y be m(7). Suppose 2*g + 3*g + 136 = p, -g + 628 = y*p. Is p a multiple of 15?
False
Let o(u) be the first derivative of -4*u**2 - 9 + 3 - 7*u**2 - 2*u - 11*u**2. Is 21 a factor of o(-1)?
True
Suppose -t + 19 + 101 = 0. Does 7 divide t?
False
Suppose -3*k = 3*s, 3*k - 4*s - 10 = -2*s. Let d be 4/14 + (-6)/21. Suppose -5*t = 25, d = -7*i + k*i + 3*t + 90. Is i a multiple of 3?
True
Suppose -n = 2*n - 9. Is ((-3)/n)/((-2)/(186 + -4)) a multiple of 7?
True
Let j(f) = -5 + 26 - 4*f + f + 2*f. Does 3 divide j(9)?
True
Does 66 divide ((-51)/(-12)*-94)/(9/(-18))?
False
Suppose -4*g = -0*g - c - 17, 0 = -4*c - 4. Suppose -g*s = 4*v - 0*v - 28, 5*s - 4*v - 80 = 0. Is s a multiple of 12?
True
Let r = 22 + -17. Suppose -4*y + 58 = r*f, -2*f + f = -3*y - 4. Does 6 divide f?
False
Suppose -1903 = -8*z + 73. Is z a multiple of 8?
False
Let u = 425 - 422. Is u even?
False
Let k = -546 - -64. Let u = k + 848. Is u a multiple of 61?
True
Let v = -2 - -17. Suppose h + v = 6*h. Let g = h - 0. Is g even?
False
Let k(m) = m**2 - 17*m + 34. Let y be k(15). Let s(g) = g**2 - g + 1. Does 13 divide s(y)?
True
Suppose -40 = -7*f + 2*f. Let d be (-2)/f + (-5635)/(-28). Suppose 0*n + d = 3*n. Does 13 divide n?
False
Suppose -3*t = -8*t - 10. Let c be (-5)/(-4)*(-6 - t). Is ((-10)/c)/(2/52) a multiple of 7?
False
Is 8 a factor of ((-30)/45)/((-5)/2460)?
True
Let i = 57 + -282. Let o = -378 - i. Let r = -108 - o. Is r a multiple of 10?
False
Let b be (-5)/(-10) - (-4)/(-8). Suppose b = -5*z - 7*t + 2*t - 245, -3*z + 3*t - 165 = 0. Let h = -1 - z. Is h a multiple of 9?
False
Let y be 5*5/((-25)/(-2)). Let q be (-1 - y) +