rue
Let x(n) = 11*n**3 + 3*n**2 - 1. Let y be x(1). Suppose -3*i - 4*a = -113, -10*a = i - y*a - 42. Does 4 divide i?
False
Let i(l) = 650*l - 967. Is i(22) a multiple of 11?
False
Suppose -a + 3*x = -11 + 8, 5*x = -5. Suppose -1137 = -3*z + i, 0*z - z - i + 383 = a. Does 17 divide z?
False
Let b(d) = d**3 + 12*d**2 + 11*d + 1. Let t be b(-11). Suppose 0 = 3*o + 4*r + 11, -o - 2*r - t = -4*o. Does 3 divide (o/(4 + -3))/((-2)/18)?
True
Let s be -17 - (16/(-10))/((-30)/75). Is 6 a factor of (-1452)/(-20) + s/35?
True
Suppose 13*t = 2*t + 2464. Suppose -4*n + 0*q + 288 = -4*q, 0 = -3*n + q + t. Is n a multiple of 38?
True
Suppose 190*b + 247*b - 1647793 = 2772899. Is b a multiple of 18?
True
Let b = 11667 - 7985. Suppose -b - 314 = -36*r. Is r a multiple of 37?
True
Suppose -18648 = -3*t - 4*p, p + 11488 = 3*t - 7145. Does 17 divide t?
False
Let q(o) = -2*o**3 - 2012*o**2 + 19 + 9*o + 2009*o**2 - o**3. Is q(-6) a multiple of 26?
False
Suppose -27 - 138 = 3*f + 5*z, -2*z - 6 = 0. Let t = 66 - f. Does 13 divide t?
False
Suppose -72*n + 73*n - 4 = 0. Suppose n*w - w - 2*z - 1484 = 0, 4*z = 2*w - 992. Is 13 a factor of w?
True
Let g(q) = 7*q - 31. Let k be g(-33). Let o = k + 928. Is o a multiple of 74?
True
Suppose -4*c + 2*f = -50274, -7*f + 8*f = -5*c + 62860. Is 93 a factor of c?
False
Let j = -24094 - -35664. Does 178 divide j?
True
Is 1/(-3) + (-81249)/(-18) + 75/(-50) a multiple of 188?
True
Suppose -3*k - 2*v + 11 = 0, 2*v - 6 = 5*k - 3. Let g be 42/10 + k*6/(-30). Suppose 0 - 20 = -p + m, g*m + 58 = 3*p. Is p a multiple of 11?
True
Suppose -5*x + 1360 = 5*x. Suppose -2*n = 2*n + x. Let g = n + 45. Is g a multiple of 5?
False
Let y(u) = u**2 - 7*u + 7. Let j(a) = 3*a - 3. Let o(z) = -5*j(z) - 2*y(z). Let n be o(-1). Suppose n = 39*d - 41*d + 72. Is d a multiple of 8?
False
Let d = 10470 + -9602. Is d a multiple of 36?
False
Let h = 72 - 62. Let g be (4 + -1 - 4) + 2. Is 15 a factor of (h - 70)*((-7)/4 + g)?
True
Let r = 21799 + -7887. Is 8 a factor of r?
True
Let k = 265 - 102. Suppose 9198 + 14374 = 83*q. Let w = q - k. Does 11 divide w?
True
Let t = 10766 - 4886. Does 10 divide t?
True
Suppose 0 = -9*z - 49 + 4. Let d(o) = -33*o - 1. Is 21 a factor of d(z)?
False
Let o(k) = k**2 + 4*k - 3. Let h be o(1). Suppose -h*p + 3*l - 72 = 7*l, 5*p + 2*l + 156 = 0. Let u = -19 - p. Is u even?
False
Let y(j) = j**3 - 6*j**2 - 5*j - 5. Suppose -13*m = -2*m - 77. Let x be y(m). Suppose -4*q - 4*o + 355 = -x*o, o = -3. Is q a multiple of 14?
False
Let g(y) = -102*y + 3. Suppose 120 = -5*t - 10*t. Does 24 divide g(t)?
False
Let q(k) be the third derivative of k**5/60 - k**4/4 - 11*k**3/6 - 19*k**2. Let g be q(8). Suppose -10 = -g*c, 5*w - 2*c - 28 = 23. Is w a multiple of 6?
False
Suppose -3*j - b = -1506, 17*j - 3*b + 4*b = 8534. Is j a multiple of 5?
False
Let k be 1 - (0 + -1 + -2). Suppose k*j - 2796 = 46*t - 50*t, 0 = -j - 2*t + 701. Does 30 divide j?
False
Suppose -9090 = 8*s + 10*s. Let t = 525 + s. Is t a multiple of 3?
False
Is 20 a factor of (-342)/(-2565) + 2/(-6) + (-9632)/(-10)?
False
Let a(j) = -33*j + 8. Let p(i) = 1. Let t(g) = -a(g) + 6*p(g). Let b be t(5). Suppose -2*d = 3 - b. Is d a multiple of 10?
True
Let a(f) = 10*f**2 + 3*f - 23. Let k(u) = 51*u**2 + 13*u - 116. Let w(o) = 11*a(o) - 2*k(o). Does 27 divide w(4)?
True
Suppose 2*y = 3*h + 43, -5*y = 4*h - 117 - 2. Suppose a + 0*a = 143. Suppose -k = -y - a. Is 13 a factor of k?
False
Let w(v) = 3*v**2 + 4*v - 3. Let d be (-11 - -10)/((-1)/(-65)). Let t = 68 + d. Does 18 divide w(t)?
True
Let w(g) = 6*g - 5*g + 0*g + 4*g + 63. Does 3 divide w(-7)?
False
Suppose z = 4*z - 15, 0 = b + 2*z - 2137. Suppose 24*i + b - 9423 = 0. Does 9 divide i?
False
Let x = -13461 + 17256. Is x a multiple of 55?
True
Let j be (-20)/130 + (-542)/26. Suppose 5*a + 3*r - 155 = 0, 0 = 5*a - 4*r - 37 - 118. Let g = j + a. Does 5 divide g?
True
Is 135 a factor of (320/(-224))/(40/(-435008))?
False
Let a(q) = -97*q + 1086. Is a(6) a multiple of 7?
True
Suppose 5*t - 330 + 6815 = 5*a, 0 = -3*a - 2*t + 3911. Let r = a + -277. Is 36 a factor of r?
False
Let s(x) = 4*x**2 + 40*x + 4. Suppose 0 = -4*d - 9 - 3, -4*t + 2*d = 38. Does 5 divide s(t)?
False
Let l(d) = -d**3 + 101*d**2 - 24*d + 752. Does 24 divide l(100)?
True
Let l(k) = -206*k + 132. Let t(n) = n**3 - 12*n**2 - 5*n + 54. Let z be t(12). Is l(z) a multiple of 18?
True
Let b(r) = -108*r - 104. Let t(w) = 53*w + 51. Let x(d) = -4*b(d) - 7*t(d). Does 14 divide x(4)?
False
Suppose -3*g - 2734886 = -89*g. Is 77 a factor of g?
True
Let s = 155808 - 97924. Is s a multiple of 95?
False
Let t(p) = -p**3 - 12*p**2 - 7*p + 4. Let l(k) = k**3 + 12*k**2 + 6*k - 4. Let m(y) = 4*l(y) + 3*t(y). Is m(-3) a multiple of 4?
True
Let x = 54631 - 23551. Is 14 a factor of x?
True
Let u = 4003 - 2083. Let m = u + -1000. Does 46 divide m?
True
Let l(i) = -i**2 + 7*i + 11. Let y be l(6). Let x = 513 + y. Is 15 a factor of x?
False
Suppose -4*g + 37976 + 40808 = -4*u, -4*g = 5*u - 78847. Is 67 a factor of g?
False
Let m = -41 - -46. Let v(r) = r**3 + 6*r**2 - r - 11. Let f(q) = -q**3 - 5*q**2 + q + 11. Let w(j) = m*v(j) + 4*f(j). Is w(-7) a multiple of 40?
False
Suppose -39*i = -36*i - 123. Let o = 56 + i. Is 20 a factor of o?
False
Let u be 34*(29/2 - 1). Suppose 0 = 4*v - 5*p + 1229, 607 = -2*v + 646*p - 641*p. Let r = u + v. Is 7 a factor of r?
False
Suppose 2*b + 83686 - 25542 = 2*c, -5*c + 145376 = -b. Does 7 divide c?
False
Let x = 96 + -40. Suppose -4*w - 2*o + 218 = -4*o, -2*o - x = -w. Suppose 4*j - 470 = -w. Does 13 divide j?
True
Let d(s) = 308*s + 7397. Let m be d(-24). Let n be (56/(-6))/((-4)/162). Suppose 0 = -m*b - b + n. Is b a multiple of 7?
True
Suppose 4*s = 5*m - 25868, 4*m - s + 3*s - 20684 = 0. Is 12 a factor of m?
True
Let k(j) = 5*j + 43. Let m be k(-8). Suppose -2*g - m*f = -5*f - 496, -g + 2*f = -251. Suppose -747 = -8*l + g. Is l a multiple of 15?
False
Let l(g) = 2*g**2 + 10*g - 31. Is l(-24) a multiple of 3?
False
Is 91806/(17 + -6) - 9 a multiple of 5?
False
Let h = -1081 - -1729. Suppose 38*v + h = 40*v. Is 18 a factor of v?
True
Suppose -2*v + 19*y - 17*y = -14, 2*v + 4*y = 2. Suppose -3*l + 459 = -g, -3*l - 106 + 583 = v*g. Does 11 divide l?
True
Let b(i) = 52*i**2 + i. Let v be b(-1). Let t be v/(-17)*(-2)/3. Let z(f) = 8*f - 4. Does 2 divide z(t)?
True
Let w(u) = -u**2 + 30*u - 50. Let k be w(21). Suppose k - 352 = 3*x. Let j = x - -90. Is j a multiple of 7?
False
Suppose -2344 + 246 = 2*f. Let h = f + 747. Let d = -201 - h. Does 48 divide d?
False
Let c(s) = 9*s - 52. Suppose 3*r - 61 = 5*t - 9*t, 2*t + 3*r - 35 = 0. Let i be c(t). Suppose 0 = 2*q - 61 - i. Does 20 divide q?
False
Let r(l) = l**3 + 25*l**2 - 39*l + 9. Let m be r(-23). Suppose -3*a = 4*z - m, -a + 3*z + 3225 = 4*a. Is 18 a factor of a?
True
Let x be ((-14)/(-3))/((-16)/(-216)). Let c = x + -67. Is 14 a factor of ((-18)/c - 0)/(48/448)?
True
Let n be ((-470)/(-141))/(4/(-3) + 2). Does 58 divide n*(4 - 676/(-5))?
True
Suppose 2*a + 15 = 3*h, 0 = -100*a + 95*a. Is 78 a factor of 4 + (h/(5/(-3)) - -77)?
True
Let o(v) = 2*v + 26. Suppose -16*q + 15*q = -5. Is o(q) a multiple of 9?
True
Suppose 5*m = -222 + 552. Suppose -5*u + m = -29. Is u even?
False
Suppose 4*z - 32 = -4*s, -3*s - 6*z + 26 = -2*z. Suppose 0 = -s*a + 12 + 6. Suppose a*w = 16 + 23. Does 4 divide w?
False
Let w = -17 + 26. Suppose -f - 597 = -3*v, -4*f + 7*f = -w. Is -2 + (-2 - (2 + -6)) + v a multiple of 33?
True
Let b(f) = 2*f - 14. Let a be b(6). Let s(u) = u**2. Let c be s(a). Suppose -390 = -v - c*v. Does 26 divide v?
True
Let z(f) = 111*f - 224. Is 3 a factor of z(7)?
False
Suppose 5*l - 54878 = 14*t, t - 10 = -17. Does 22 divide l?
True
Suppose 5*c - 2*c - 18 = -5*h, 0 = -5*h. Let d be (-3)/4*72/c. Is (-498)/(-9) + 1 + (-6)/d a multiple of 11?
False
Suppose 316*g = 328*g - 17976. Does 6 divide g?
False
Let l(y) = 40*y**2 + 17. Let a be l(-5). Let m = a - 577. Does 11 divide m?
True
Does 29 divide (((-4368)/468)/(10/(-6)))/((-2)/(-580))?
True
Let c(o) = 527*o + 1610. Does 264 divide c(26)?
True
Let a(s) = -7 + 0 + 4*s**2 + 4 + 6 - 8*s. Let r be a(2). Suppose 5*i - 33 = -2*u, 6 = i - r*i. Is 8 a factor of u?
True
Is (11/3 - 4)*-273*2*47 a multiple of 47?
True
Let f(o) = -3 + 4*o - 709*o**3 - 23*o**2 + 5*o + 725