le of 11?
False
Let j = 105 + -51. Let n = -55 + j. Is 43 + n/(5/(-10)) a multiple of 3?
True
Let q = -166 + 168. Suppose 5*g + 2*i = -2*i + 2230, 3*i + 915 = q*g. Does 45 divide g?
True
Suppose -3*b - 4*t = -11911 - 4970, 2*b = t + 11254. Does 9 divide b?
False
Let w(f) = -f**3 - 10*f**2 + 23*f - 27. Let b be w(-11). Let h = b - -183. Does 3 divide h?
True
Is 80 a factor of (240/(-14))/((-199)/91938)?
True
Let f = 111 + -108. Suppose 0 = n + f*n - 20, 3*n = 2*q + 1. Suppose 1212 - 477 = q*g. Does 15 divide g?
True
Suppose 0 = -13*f + 1582 + 472. Is 6 a factor of f?
False
Let y be (8/(-16))/(1/14). Let t(r) = 2*r**3 + 16*r**2 + 12*r + 3. Does 12 divide t(y)?
False
Suppose 3*s = 5*j - 198831, -34414 = -j - 4*s + 5343. Is 145 a factor of j?
False
Is (-2514)/(-4)*(93/36 - (-3)/4) a multiple of 5?
True
Suppose 0 = 4*k - 0*k - 188. Let i = -47 + k. Suppose 0 = 3*w + 6*q - 2*q - 163, -3*w - 3*q + 159 = i. Is w a multiple of 7?
True
Suppose -2*m + 556 = -3*c + 2*m, 0 = -3*m - 6. Let s = -47 - c. Is s a multiple of 14?
False
Suppose 8*x = -2*x - 50. Is 32 a factor of 7 + -4 + 504 - x?
True
Let v = -223 + 647. Let o = v + 688. Is 48 a factor of o?
False
Let k(l) = 9*l**3 + 4*l**2 + 66*l - 668. Is 5 a factor of k(8)?
False
Let s(t) = 2*t**3 + t**2 - 20*t + 7. Let f(d) = -d**2 - 12*d + 70. Let z be f(-16). Is s(z) a multiple of 35?
False
Let t(s) = s**3 - 5*s - 2. Suppose 0 = 2*j - 6*j - 8. Let p be t(j). Is 1 - (-4 - (2 - (p - 47))) a multiple of 9?
True
Does 14 divide 20/(-45) + 22056/54?
False
Let y(a) = 270*a + 766. Does 7 divide y(13)?
False
Suppose -5*h + 40 = 0, -n + 72 = 3*h + 56. Let f(v) be the third derivative of v**6/120 + 13*v**5/60 + 9*v**4/8 - v**2. Does 13 divide f(n)?
True
Suppose a + 6*a = -1064. Let v = 45 - a. Suppose -v - 1 = -3*k. Is 22 a factor of k?
True
Does 79 divide (4/((-32)/24))/((-5)/6715)?
True
Let r be (-56 - (-5 - -4))/1. Is 22/r - 2562/(-30) a multiple of 5?
True
Let h(i) = 9*i + 20*i**2 + 14 + 1 + 270*i**3 - 271*i**3. Is 55 a factor of h(18)?
True
Let z(r) = 42*r**2 - 210. Is z(-15) a multiple of 10?
True
Let b(u) = -4 - 8 - 1 - 3*u + 5*u. Does 3 divide b(8)?
True
Let n(p) = -4*p**2 + 47*p + 73164. Does 78 divide n(0)?
True
Let n = -92 - -47. Let q = -42 - n. Suppose -3*l - 5*h = -123, -2*h - q*h = -2*l + 82. Is 3 a factor of l?
False
Let w(r) = -r**3 + 6*r**2 + 6*r - 6. Let p be w(5). Let k = 298 + p. Suppose 3*l = k + 133. Is 40 a factor of l?
True
Let l be (7/(-2))/((-44)/2024). Does 12 divide (-6 - (-225)/35)*l?
False
Let b = -6 - 0. Let v be (44/(-14) + 2)*21/b. Is 28 a factor of -3 - 87*(3 - v)?
True
Let v(q) = q**3 - 23*q**2 + 20*q + 47. Let d be v(22). Let w(p) = 5*p**2 + 7 - 3*p**d + 2*p**3 + 10*p**2 + 3*p - 5*p**2. Is 9 a factor of w(9)?
False
Let t(h) be the first derivative of 7*h**3/3 - 9*h**2/2 - 18*h + 25. Is 18 a factor of t(-12)?
True
Let v(o) = -5*o**2 - 12*o + 6. Let d(p) = -11*p**2 - 25*p + 12. Let w(f) = -4*d(f) + 9*v(f). Let x be w(-6). Let g(z) = 2*z + 20. Is 8 a factor of g(x)?
True
Does 23 divide (-126515232)/(-3024) + (-3)/63?
True
Suppose 0 = 3*j - 2*s + 1041, -4*s + 6 = -2*s. Let d = j + 465. Is d a multiple of 30?
True
Suppose -5*s + 4*t = -0*s - 12054, 0 = s + 2*t - 2422. Suppose 5*c = 4*l - 1840, -3*c + 566 - s = -4*l. Is 31 a factor of l?
True
Is (63/36 - (-2298148)/80) + 15/(-25) a multiple of 108?
True
Suppose 291*w - 101760 = 267*w. Is 106 a factor of w?
True
Suppose 5*m - 15 = 0, 2*h + m = 4438 + 5025. Suppose 11*n - h = -11*n. Is n a multiple of 25?
False
Let o(a) = -24*a**3 - 13*a**2 - 59*a - 87. Is 17 a factor of o(-6)?
False
Suppose -2*r + 3*r = -3*v + 191, 0 = 4*v - 4*r - 244. Let c = -63 + v. Suppose 4*a + c*a - 600 = 0. Does 30 divide a?
True
Let j(x) = 19*x**3 - 2*x**2 - 2*x + 7. Let s(n) = -n**2 - 22*n + 78. Let a be s(3). Does 62 divide j(a)?
True
Suppose 0 = 4*x - 2*t + 174, -x - 2*x - 123 = -4*t. Does 22 divide (-524)/(-6) - 30/x?
True
Let v = 18979 + -10515. Is 8 a factor of v?
True
Let k = 25069 - 10246. Is k a multiple of 23?
False
Suppose g + 336 - 19 = 0. Let d = -129 - g. Does 11 divide d?
False
Suppose 3*k - 5*r = 38796, 103*k - 2*r = 96*k + 90495. Is k a multiple of 31?
True
Let j = 265 - 255. Suppose -x + j = -g + 61, 5*g - x = 267. Does 9 divide g?
True
Let c(l) = 91*l**2 + 10*l + 557. Is c(-14) a multiple of 249?
False
Let p be -55 + (-3 + 6 - 2). Let u be 38/9 + 12/p. Suppose -w + 104 = -2*o, u*w - 4*o - 404 = -0*o. Is 11 a factor of w?
False
Let a(n) = 747*n**2 + 7*n - 6. Suppose 6 = -3*w, 2*z + 1 = 3*w + 9. Is 71 a factor of a(z)?
False
Let k(i) = 117*i**2 + 39*i - 36. Does 6 divide k(5)?
True
Let g(h) = 22*h**3 - h**2 + 1. Let x be g(-1). Is (-5988)/x + (8/11)/(-4) a multiple of 34?
True
Let g(d) = -51*d - 34. Suppose 35 + 13 = -12*u. Is g(u) a multiple of 5?
True
Let c be -42*(6 - 20/3). Suppose 0 = c*p - 9206 + 1646. Does 10 divide p?
True
Let p = 4259 - 1139. Is p a multiple of 24?
True
Suppose 155*r - 5764089 = 9240221. Is 22 a factor of r?
False
Let p(v) = -4*v**3 + 3*v**2 + 4*v + 2. Let x be p(-1). Suppose -4*d + 59 - 175 = -a, -x*d - 117 = -a. Suppose b = 112 + a. Is 28 a factor of b?
True
Let u be (6/(-12))/((-3)/582). Suppose -4*x + 5*v + 467 + u = 0, 3*x = 2*v + 423. Suppose 3*j = -d + 126, 3*j - 8*d - x = -4*d. Is j a multiple of 43?
True
Suppose -47*u = -52*u - 3*g + 49577, 19820 = 2*u + 3*g. Is 13 a factor of u?
True
Suppose 2*h - 10 = -6. Suppose -w + h = -1. Suppose b + 2*j - 17 = j, w*b + 4*j = 52. Is b a multiple of 4?
True
Suppose 0 = 5*m - 3*j, 5*j + 0*j + 37 = -4*m. Let k(u) = -4*u**3 - 2*u**2 - 6*u - 11. Does 5 divide k(m)?
False
Let t(d) = -d**3 - 6*d**2 + 4*d - 5. Let g = -42 - -34. Is 11 a factor of t(g)?
False
Let x = -10 - -28. Let m = x + -16. Let y = 22 - m. Is y a multiple of 10?
True
Suppose -15*m + 3*m + 36 = 0. Suppose 0 = 3*y + 3*i - 6, 2*y = i + m*i + 10. Suppose 5*q = 4*n + 595, 0 = -q - y*n - 2*n + 148. Is 13 a factor of q?
False
Is 209 a factor of (-627)/(9392/(-2336) + 4)?
True
Let r(c) = 465*c + 13. Let j be r(4). Let f = -1332 + j. Is 9 a factor of f?
False
Suppose -11*i + 10*i + 9 = 0. Let j be -4 + (i - 2) + 740. Suppose 0 = -5*w - 293 + j. Is 9 a factor of w?
True
Let u = -600 - -486. Is (-360)/8*(u/15 - -1) a multiple of 7?
False
Suppose -64*s + 70*s = 24. Suppose -s*n = 4*a - 324, -2*n = n - 5*a - 227. Is 13 a factor of n?
False
Let d = 1931 + -1928. Suppose -o + 118 = -21. Suppose -d*f = t - 2*f - o, 20 = -4*f. Is t a multiple of 16?
True
Let t = 46 - 35. Let u(m) = 45*m - 8. Let j be u(t). Suppose -5*z + 173 = -j. Is 33 a factor of z?
True
Let g = 60 - 46. Suppose -4*h + 50 = b, 73 = -g*b + 16*b - h. Is b a multiple of 38?
True
Suppose -4*y - y = -4*p + 355, -p = 0. Let a = -24623 - -24770. Let b = a + y. Is b a multiple of 19?
True
Suppose -691239 - 150651 = -210*t. Does 29 divide t?
False
Let l(h) = -4*h**2 - 30*h + 16. Let n be l(-10). Let f = n + 89. Suppose -s + 1728 = f*s. Is s a multiple of 48?
True
Let t(d) = -31*d. Let v be t(-2). Suppose -5*u = -3*x - 379, 24 = u - 4*x - v. Is u a multiple of 2?
True
Let d = 138 - 138. Suppose d*q = -5*q + 650. Is q a multiple of 11?
False
Let q = 47 + -50. Let s be (q/2*6)/(-1). Suppose m - 49 + s = 0. Is m a multiple of 5?
True
Let s(z) = z**3 + 18*z**2 - 6*z - 12. Let u(x) = -x - 23. Let j be u(-5). Is s(j) a multiple of 8?
True
Let z(a) = 4*a**2 - 75*a + 2775. Is 3 a factor of z(25)?
False
Let z be -2 + (-3 - 1 - 0). Let u be ((-45)/(-6))/(z/12). Let g(j) = j**3 + 14*j**2 - 20*j + 10. Is 18 a factor of g(u)?
False
Let z(j) be the third derivative of -j**4/4 - j**3/2 + 14*j**2. Let f be z(4). Let d = 76 + f. Is d a multiple of 12?
False
Is 9 a factor of 4 - ((-49406)/147 - 6/(-63))?
False
Let n = -9830 - -12741. Is 3 a factor of n?
False
Suppose 73*m - 2*m = 4970. Is m even?
True
Suppose -99 = -9*c + 126. Let n = 83 - c. Is 4 a factor of n?
False
Let h be (-6*(-4)/15)/(10/75). Suppose 4*l - 2*a - 650 = 0, -h*l - 671 = -16*l - 5*a. Is l a multiple of 13?
False
Let p(x) = -28 - 34 + 83*x - 35 + 111 - 18. Let r be 6/3*2/4. Is 48 a factor of p(r)?
False
Let q(a) = 95*a**3 + a + 28. Is q(7) a multiple of 20?
True
Let o(w) = 35*w**2 - 129*w - 3802. Does 25 divide o(-28)?
True
Let p(k) = -54*k**3 - 2*k**2 + 2*k + 210. Is 70 a factor of p(-7)?
True
Let f = -601 + 1062.