?
False
Let q(u) be the second derivative of -3*u**2 + u + 1/20*u**5 + 0 + 0*u**4 + 2/3*u**3. Is q(4) a multiple of 22?
False
Suppose 24*b = 14*b + 2260. Is 27 a factor of b?
False
Suppose h + 1 = 3. Let q(t) = -3*t - 6. Let f be q(-3). Suppose a + h*n = 5 + 4, f*n + 34 = a. Is a a multiple of 19?
True
Let z(o) = -o + 7. Let a(u) = -3*u + 21. Let v(g) = -4*a(g) + 11*z(g). Let k be v(9). Suppose -140 = -5*f - k*d - 0*d, 35 = 2*f + 5*d. Is 15 a factor of f?
True
Let k be 4 - 87/((-15)/(-5)). Is (0 - 4)/4*k a multiple of 5?
True
Does 15 divide ((-660)/(-8))/((-14)/(-28))?
True
Let x(z) = 355*z + 35. Is 16 a factor of x(3)?
False
Does 14 divide 136/20*(-15)/(-12)*10?
False
Suppose -5982 = -21*d + 1956. Is d a multiple of 21?
True
Let y be (3/(-2))/((-1)/6). Let m(u) = -u**3 + 7*u**2 + 13*u - 13. Let d be m(y). Is -4 + 0/2 - d a multiple of 27?
True
Let d be 7/21 - 11/(-3). Suppose 3*f + 5*l + 34 = 0, 0 = d*l - 9 - 7. Is f/6 + (-24)/(-1) a multiple of 7?
True
Suppose -2*a = -5*w + 770, 0 = 4*w + 4*a + 23 - 611. Is w a multiple of 41?
False
Suppose 0 = -2*p - 2 + 6. Suppose 0*j + u = -4*j + 304, -158 = -p*j + u. Does 11 divide j?
True
Let n be (1 - (-44)/(-12))*12. Let a = -17 - n. Is 15 a factor of a?
True
Let x be ((-1)/((-7)/(-6)))/(15/(-70)). Suppose -x*t - 5*t = -594. Is t a multiple of 7?
False
Let h(t) = -2*t**3 - 4*t**2 + 5*t - 10. Let i = 29 - 34. Is h(i) a multiple of 31?
False
Let o(i) = -11*i - 47. Is o(-14) a multiple of 27?
False
Suppose -4*g = 5*b + 16, -4*g + 2*b + 0*b + 12 = 0. Suppose 31 - g = p. Is 8 a factor of p?
False
Suppose -x - 15 = -2*x. Let a = 10 + x. Suppose 3*r + a = 202. Is r a multiple of 19?
False
Let l(p) = 15*p**2 + 26*p + 40. Is 26 a factor of l(-12)?
False
Let o(m) = -3*m**2 - 53*m + 48. Let j(s) = -s**2 - 18*s + 16. Let d(r) = -8*j(r) + 3*o(r). Is d(-14) a multiple of 13?
False
Suppose 0*o = 3*o - 90. Suppose s - 4*a - 70 = a, -s - 3*a + o = 0. Does 9 divide s?
True
Let d = 36 + -19. Suppose 140 = 4*l - 4*c, -l + 4*c + 27 + d = 0. Suppose 0*s + 2*s - l = 0. Is s a multiple of 16?
True
Suppose -2*i + i + 2*d + 72 = 0, 2*d = -2*i + 138. Is 10 a factor of i?
True
Let w = -56 - -158. Is w a multiple of 17?
True
Let w(t) = 10*t**3 + 25*t**2 - 105*t - 10. Is w(5) a multiple of 3?
False
Suppose -4*i = -2*q + 2058, -q - 2*i = 3*i - 1057. Does 29 divide q?
False
Let v(o) = -o**2 - 5*o - 2. Let n be v(-2). Suppose 196 = n*j + 3*i, -4*i - i = 0. Does 16 divide j?
False
Let h = 3538 + -2428. Does 15 divide h?
True
Let h(l) = -l**3 + l**2 - l + 616. Is h(0) a multiple of 8?
True
Suppose -k - 11 = -2*b, 0 = 2*b + 2*k - 3 + 1. Suppose b*d = -d - 50. Let i = d - -17. Is i even?
False
Suppose -35*l + 20*l + 5850 = 0. Is 13 a factor of l?
True
Suppose -4*o + 16 = -8*o, -3*o + 5149 = 13*u. Does 9 divide u?
False
Suppose 17*f - 5*b = 13*f + 1165, 4*b + 20 = 0. Does 5 divide f?
True
Let h be (-8 - -3)*((-24)/15)/(-1). Is 24 a factor of 212 - (12/3 + h)?
True
Does 17 divide 60/30*(-34)/(-1)?
True
Let d = 127 - 33. Is 23 a factor of d - 6/3*1?
True
Let g(l) = l**3 + 9*l**2 - 14*l - 6. Let h = 54 + -63. Is 6 a factor of g(h)?
True
Let y be 4 - 8/(24/(-2805)). Is 26 a factor of 2/(-4) - y/(-6)?
True
Let a(c) = c**2 - c - 1. Let o(w) = -3*w**2 - 11*w - 8. Let k(f) = -4*a(f) - o(f). Let q be k(16). Is 7 a factor of q + 5 + (1 - -35)?
False
Let z = 5 - -10. Is 26 a factor of ((-265)/z)/((-1)/6)?
False
Let k(v) = -7*v**2 - 17*v + 6. Let j be k(-6). Let u = 241 + j. Does 50 divide u?
False
Let u = -3090 + 4692. Does 33 divide u?
False
Let h(w) = -w**3 - 6*w**2 - 2*w - 9. Let c(m) = -2*m. Let s be c(3). Let q be h(s). Suppose -3*z = j - 8*z - 69, 117 = q*j + 3*z. Is j a multiple of 11?
True
Let g(r) = 14*r**2 + 7*r - 12. Let o be g(2). Let c be (-3)/((-2)/(88/(-6))). Let h = o + c. Does 12 divide h?
True
Suppose -l = 2, 5*l - 398 = -2*w - 50. Is w even?
False
Suppose -2*v - 2*p = -44, v + 7 = 5*p - 1. Let z = v - 14. Suppose s - 46 = 5*y - 0*y, 3*y = z*s - 162. Is s a multiple of 14?
True
Let h be -9*2*(-8)/12. Suppose h + 1 = a. Suppose a = 2*d + 5*i - 6, d - 29 = 4*i. Is d a multiple of 3?
False
Let h be -6*(4 + 14/(-3)). Suppose -5*g + 2*g - h*k = -293, -k - 93 = -g. Is g a multiple of 17?
False
Let i = 828 + -580. Suppose -47*q + 43*q = -i. Is q a multiple of 12?
False
Suppose 0 = -5*p + 4*q + 135 + 14, 0 = -3*q - 3. Is p a multiple of 2?
False
Let w(q) = 5*q**2 - 45*q + 260. Is w(12) a multiple of 23?
False
Let w(v) = v**3 + 2*v**2 - 3*v - 3. Let q be w(-2). Let n be (-148)/q - 14/21. Is n/(2/6*-2) a multiple of 25?
True
Let l = -5710 - -2839. Does 14 divide l/(-54) - (-2)/(-12)?
False
Let z(p) be the third derivative of p**4/8 - p**3 - 3*p**2. Let l be z(3). Does 2 divide (l - 6) + 9 + -1?
False
Suppose 14706 = -46*h + 103*h. Is 4 a factor of h?
False
Let n = 1006 - 502. Does 63 divide n?
True
Suppose 5*z - 104 = -3*i, -i - 2*i = 6. Is 3 a factor of z?
False
Let r(o) = -40*o + 88. Does 14 divide r(-8)?
False
Let n = 923 - 889. Does 3 divide n?
False
Suppose 0 = 5*h - 10 - 0. Suppose -h*j - 4*g = -324, 158 = j + 5*g + 2. Does 41 divide j?
False
Let p(s) = -30*s + 4. Suppose -6 = -4*v - 2*j, 3*v = -4*j + 3 - 1. Suppose 0*k = -2*k - d - 5, 8 = -5*k + v*d. Is 32 a factor of p(k)?
True
Suppose w = 1 + 1. Suppose -2*r - 194 = -w*v, 0*v + 4*v - 5*r = 392. Is 25 a factor of v?
False
Suppose 2*k + 3*b = -4, b + b = 4*k + 8. Is 19 a factor of -3 + 102*-1*1/k?
False
Does 8 divide 3*(0/2 - (4 - 129))?
False
Suppose 15*b = 26*b - 5016. Is b a multiple of 57?
True
Suppose -468*q + 4408 = -460*q. Is 16 a factor of q?
False
Let u(r) = -2*r + 28. Let y be u(12). Suppose -w = -2*g + 13, 2*g - 3*w = w + y. Is 8 a factor of g?
True
Let j(y) = -y**3 + 31*y**2 - 29*y - 71. Is 78 a factor of j(14)?
False
Suppose 5*x - 230 = -5*o, 8*o + 118 = 3*x + 6*o. Does 16 divide x?
False
Suppose -14*j + 11*j + 5*z = -116, -5*j - 4*z = -181. Is j a multiple of 21?
False
Suppose o = 6*o - 135. Let l(y) = y**3 - 11*y**2 + 12*y - 11. Let h be l(10). Suppose o = c - h. Does 6 divide c?
True
Suppose c - 477 = -3*b + b, -b = 2*c - 234. Is b a multiple of 20?
True
Suppose 2*m - 11 = -95. Let r = -227 - -162. Let v = m - r. Does 9 divide v?
False
Let r be -1 + (0/4 - -1). Suppose r = -5*y + 33 + 7. Suppose -10*b + 46 = -y*b. Does 20 divide b?
False
Suppose 4*m + 6181 = 3*v, 135*v = 132*v - 3*m + 6216. Is v a multiple of 39?
True
Let q(n) be the third derivative of -n**6/30 + n**4/6 + 2*n**3/3 - 5*n**2 + 9*n. Let u be (2/(-3) - 0)*3. Is q(u) a multiple of 7?
True
Let p(q) be the third derivative of q**7/1680 + q**6/720 + q**5/12 + 3*q**2. Let m(n) be the third derivative of p(n). Does 11 divide m(5)?
False
Suppose -3 = d + 6. Let z be 1/((6/(-15))/2). Let h = z - d. Is 2 a factor of h?
True
Let x(k) = -157*k**2 - 13*k - 15. Let h(l) = 78*l**2 + 6*l + 7. Let m(u) = 9*h(u) + 4*x(u). Is 25 a factor of m(-1)?
True
Let n(s) = -8*s + 8*s + 237*s**2 + 2 - 1. Is 32 a factor of n(-1)?
False
Let v(g) = -g**3 - 6*g**2 + 6*g - 1. Suppose 0 = 8*j - 10*j - 14. Let o be v(j). Is 4 a factor of o*((-28)/(-8) - 0)?
False
Let p(o) = -17*o + 435. Does 9 divide p(6)?
True
Let n be 3/2 + 4/8. Suppose 3*p - 46 = n*p. Let t = -20 + p. Does 13 divide t?
True
Suppose 12 = -13*n + 16*n. Suppose f = n*f - 99. Does 3 divide f?
True
Suppose 317 = 19*y - 614. Suppose y = 3*s - 125. Is 41 a factor of s?
False
Suppose 2*i - 20 = 3*a - 4*a, -4*a = -i - 8. Suppose 0 = -i*u + 100 + 4. Does 2 divide u?
False
Suppose -5*l = -2*y + 1153, 139*y + 4*l - 1108 = 137*y. Does 5 divide y?
False
Let o(z) = z**3 + 17*z**2 + z + 156. Does 13 divide o(-17)?
False
Let m be 88 + (-1 - 4 - -3). Let g = 6 + m. Does 28 divide g?
False
Let a be (-1)/(-8) - (-8304)/128. Suppose a = 4*x - 75. Is 6 a factor of x?
False
Let l(r) = -8 - 22 + 15 - 15*r. Does 36 divide l(-13)?
True
Let f(h) = 45*h - 30. Suppose 6*r - 9 = 3*r. Is 23 a factor of f(r)?
False
Suppose 0 = -4*p - u - 3*u - 8, 5*u = 0. Let h be (488/(-12))/(4/(-6)). Is 15 a factor of (p - (0 + -1)) + h?
True
Let z(n) = 8*n + 13. Let c be z(-4). Let f be 3/6*(c - 3). Does 37 divide (13 - -1)*(f - -17)?
False
Let t be (48 - 14)*(8 + 0). Suppose -c = -5*c - t. Let b = -33 - c. Is b a multiple of 12?
False
Suppose l + 34 = -2*v - v, 3*l = -4*v - 47. Let x = 22 + v. Suppose -107 = -