8*x**2 - 3*x - 18. Let f be k(-7). Suppose -300 = -2*v - f. Is (-3)/(-1)*(-2 + v/3) a multiple of 12?
False
Suppose 0 = 4*j - 2*u + 718, 2*j + 2*u + 350 = -0*j. Suppose 64 - 1 = -k + 2*z, 0 = 4*k + z + 297. Let y = k - j. Does 21 divide y?
True
Suppose 2*t = 2*w - 14, w = -3*w - 4*t + 36. Suppose w*s - 7641 = -s. Suppose -u + 4 = 8, 5*q - u - s = 0. Is q a multiple of 30?
False
Suppose -4*l - 3*c = -21854, 4*c = -406*l + 411*l - 27302. Does 4 divide l?
False
Suppose -5*v - 4*v - 27 = 0. Does 4 divide 11/(-3) - v - 6244/(-42)?
True
Suppose j - 4*l = -6, 0 = 3*j + l + 21 - 3. Let n = j + 279. Is 21 a factor of n?
True
Suppose 0 = 5*q + 3*k - 10 - 1, 2*q = k + 11. Suppose -l = 3*g - q, 4 = l + 9*g - 5*g. Is l a multiple of 2?
True
Suppose 2*l = 0, -2*l - 384 = -w - 2*w. Suppose 0 = -4*h - 4*u + w, 4*h + 5*u = -3 + 128. Is 7 a factor of h?
True
Let m = -294 + 315. Is 13 a factor of (10 - 3)/m*-5*-117?
True
Let r = 48 + -84. Let w = -84 + 33. Let c = r - w. Is 3 a factor of c?
True
Suppose 0 = z, -3*f - 5*z + 9494 - 5526 = -7777. Is f a multiple of 45?
True
Let p be -55*((-84)/(-60) - 2/2). Let g(d) = -d**2 - 23*d - 19. Let b be g(p). Suppose -4*t = -b*f + 4*f - 258, -4*f = 4*t - 1008. Is f a multiple of 50?
True
Suppose -36*r - 5808 = -40*r. Is r a multiple of 3?
True
Let j = -59 + 66. Suppose -4*u = -4*t - 1568, -5*t - 408 = -j*u + 6*u. Is u a multiple of 12?
False
Let q = -60 - -61. Let m(h) = h**2 - 4*h + 3. Let z be m(q). Suppose 0*v + 136 = 3*v - 2*w, 4*v + 2*w - 200 = z. Does 8 divide v?
True
Suppose 4506 = -25*n + 28*n. Let z = n - 670. Is z a multiple of 52?
True
Let h be 1864/(-2)*(-12 + (-50)/(-4)). Let l = -128 - h. Is l a multiple of 32?
False
Suppose 32*d + 175*d - 239499 = 0. Is d a multiple of 6?
False
Suppose 11*g + 7148 - 2220 = 0. Let u = 522 + g. Does 4 divide u?
False
Suppose -522*l - 21963 = -523*l + 3*c, 5*l + 2*c = 109832. Does 28 divide l?
False
Suppose 0 = 273*w - 268*w + 500. Let s be 18/(-5) - (-5)/(w/8). Let d(a) = -50*a - 3. Is d(s) a multiple of 8?
False
Suppose -4*p - 212*h + 214*h + 5770 = 0, 0 = p - h - 1440. Is p a multiple of 6?
False
Let w(t) be the second derivative of t**5/20 - 4*t**4/3 - 25*t**3/6 + 13*t**2/2 - 12*t - 2. Is w(18) a multiple of 11?
False
Does 24 divide 30018 + ((-737)/(-66) - 10)*6?
False
Let v = -5 - 6. Let t(f) = -f**3 - 7*f**2 + 11*f - 15. Let l be t(v). Is 7 a factor of l/10 - (-5)/25?
True
Suppose -161 = 3*j + 5*b, 4*b = 3*j - j + 100. Suppose 2*m + 3*l = -32, 5*m - 26 = -l - 93. Let v = m - j. Is v a multiple of 13?
True
Let a(l) = -57*l**3 - 8*l**2 + 3*l - 2. Is a(-3) a multiple of 112?
True
Suppose -w + 3*h = -147, -3*h - 153 = -w + 2*h. Suppose k - 64 = -3*r, -4*r + w = 2*k - 3*r. Is k a multiple of 70?
True
Suppose -20*o = -6*o - 216734. Suppose -12*l + o = 4225. Is 7 a factor of l?
True
Let k(g) = -g - 13 + g**2 + 0*g**2 - g. Let b(n) = n + 13. Let q be b(1). Is k(q) a multiple of 31?
True
Is (-6)/(-33) - 4978125/(-495) a multiple of 66?
False
Let p = 113204 + -80014. Is p a multiple of 76?
False
Suppose -762417 = -382*c + 1854283. Is 38 a factor of c?
False
Suppose 26*k + 10559 - 80615 = 14*k. Is 15 a factor of k?
False
Let c = -60 - -156. Let p = c + -71. Is p a multiple of 3?
False
Let y(g) = 2*g**2 + 22*g - 12. Let c be y(-12). Let m be ((-8)/c)/((-4)/18). Suppose p + 0*b - 95 = b, m*b = -3*p + 267. Does 23 divide p?
True
Let u(v) = -82*v - 1230. Is u(-29) a multiple of 11?
False
Let i(m) = 63*m**2 + 85*m - 140. Is i(12) a multiple of 17?
False
Let c be (-6)/((-3 - 7/(-2))*-4). Suppose c*t - 5*m = 868, 0 = -0*t + 2*t + 4*m - 608. Does 37 divide t?
True
Let s(v) = 2*v + 3. Let k be (2/(-4) - -1) + (-1547)/(-26). Suppose 6*d - k = -6. Does 3 divide s(d)?
True
Suppose -89 = -6*y - 65. Suppose r = -2*z + 179, y*r + 2*z + 0*z = 722. Suppose 0 = -3*w + r - 43. Does 14 divide w?
False
Suppose -3*n - 81 = -5*i - 490, -4*n - 340 = 4*i. Let s = i + 68. Is 18 a factor of (-9)/s - (11124/(-10))/6?
False
Is (-40322)/(-15) + (-50)/375 a multiple of 8?
True
Let p = 15 + -1. Let k = p + -6. Is 25 a factor of 346/14 - (k/28)/(-1)?
True
Let p be (2/(-4))/((-19)/114). Suppose 0 = -5*k - 4*o + 350, -183 = -7*k + 4*k + p*o. Is 3 a factor of k?
True
Let t be (-45 + 44)/((-1)/223). Let z = t - 102. Is z a multiple of 13?
False
Suppose -4*y = -0 - 12. Suppose g + 49 = y*g + 5*j, 5*g - 131 = -4*j. Does 8 divide g?
False
Let p(u) = 3*u**3 + 2*u**2 - 2*u - 3. Let c(v) = 6*v**2 + 4*v**2 + v**3 - 9*v**2 - 1 - 2*v**2. Let z(y) = -2*c(y) + p(y). Is 11 a factor of z(-2)?
True
Suppose 10*i - 5*i = 5*n - 135, -24 = -n - 2*i. Let d = n - -219. Is 7 a factor of d?
True
Let w(c) = c**2 - 11*c - 25. Let x be 12/(-10) + 2 - 41/(-5). Let m be w(x). Let k = 20 - m. Is 9 a factor of k?
True
Suppose -m = 2*w - 6801, -4*m = -175*w + 176*w - 3411. Is 33 a factor of w?
True
Suppose -5*n + 4*i + 3 = -3, -6 = -4*n + 2*i. Is 15 a factor of n*((-1148)/(-4) + 0)?
False
Let r = -455 - -459. Is 7 a factor of 327/2 + -4 - (-2)/r?
False
Suppose 666 = 17*x - 150. Is (x/(-40))/((-6)/705) a multiple of 3?
True
Does 102 divide (-99)/(-18) - 6 - 61102/(-4)?
False
Let n(a) = -a**3 + 11*a**2 - 2*a - 4. Let z(q) = -q**3 - 42*q**2 + 88*q + 3. Let t be z(-44). Is n(t) a multiple of 5?
False
Suppose -62993 = -106*o + 180171. Does 37 divide o?
True
Let d = -2913 + 5504. Does 27 divide d?
False
Suppose 8*t - 6 = -2*r + 7*t, 2*t - 11 = -3*r. Does 12 divide r + 1 + (-190)/(-1)?
True
Suppose 0 = 4*o + o - 15. Let g be 102*(3 - (-49)/o) + 2. Does 27 divide 4/(-10) - (-23)/(805/g)?
False
Let j(m) = -m**3 - 5*m**2 - 3*m - 50. Let w be j(-6). Does 18 divide 1/w + (-205150)/(-200)?
True
Suppose -18*d = -68359 - 29183. Does 8 divide d?
False
Let p = 1895 - 1059. Suppose -3*x = 6, -6*x + 4*x = 2*o - p. Does 70 divide o?
True
Let u(d) = 4*d**2 + 21*d - 424. Is 111 a factor of u(-29)?
True
Let g = 129 - 129. Suppose -141*w + 131*w + 4950 = g. Is w a multiple of 9?
True
Suppose -1835 - 526 = -3*z. Suppose -5*k + z = -148. Is 67 a factor of k?
False
Let y(v) = -12*v**2 + v + 1. Let k be y(-1). Let i be (-18)/k*(-3 + 0 - -5). Suppose 0 = -0*c - i*c + 30. Is c a multiple of 5?
True
Let q = 1356 - -1381. Is 119 a factor of q?
True
Let b(n) = 19*n**2 + 30*n - 14. Let u be b(-20). Suppose -18*o + u - 2036 = 0. Is 11 a factor of o?
True
Let k = 4175 - 4102. Suppose -u - 2*u = -4*x - 17, 0 = 2*u - 3*x - 11. Let t = u + k. Does 14 divide t?
False
Suppose -28 = 4*g - 9*r + 14*r, 4*g - 8 = 4*r. Is 3 a factor of (1 - (-3)/(-9))*(16 - g)?
True
Let v = -53 - -57. Suppose -212 = v*b - 5*r, -204 = 4*b - 0*r - 3*r. Is 26 a factor of (-422)/(-8) + (-4)/(b/(-9))?
True
Let h(a) = 6*a**3 - a**2 - 1. Let i be h(1). Suppose 0 = g - i*t - 12, 3*t = -3*g - 0*g + 36. Suppose f + 70 = -5*y + 207, -g = 4*f. Does 6 divide y?
False
Let x = -2940 - -3772. Is 5 a factor of x?
False
Let f = 11126 + -2033. Does 14 divide f?
False
Suppose -34*r - 27*r = -4*r - 160056. Does 60 divide r?
False
Is (-4)/(((-220)/104753)/10) a multiple of 27?
False
Suppose 0 = 3*m + 6, -3*b + 611 + 1185 = -4*m. Suppose 0*d = -4*d - 8, -4*s = -4*d - b. Is s a multiple of 21?
True
Let l(w) = w**3 + 42*w**2 + 39*w - 77. Let m be l(-41). Suppose -m*j - 5415 = -5*z, 0 = -5*z - 5*j + 3*j + 5394. Does 72 divide z?
True
Let h(b) = 10*b + 147. Let x be h(-15). Is 13 a factor of (156/(-2))/x*62?
True
Let y(k) = 25*k**2 - k - 1. Let m be y(-1). Suppose -18 = -2*s - 4*c, 3*s - m = -4*c - c. Suppose 0 = -s*w - 4*w + 234. Does 26 divide w?
True
Let f(b) = 2*b**3 + 9*b**2 - 17*b - 9. Let m(g) = g**3 - 41*g + 4*g**2 + 33*g + 1 - 5. Let n(u) = -4*f(u) + 9*m(u). Is n(5) a multiple of 19?
False
Suppose -1854 = -4*d - k - 437, 1752 = 5*d + 4*k. Is 11 a factor of d?
False
Let x(g) = -2*g + 1. Let k be x(5). Let a be (1 - k)/((-56)/(-28)). Suppose a*b - 84 = 3*v - 1045, -v + 5*b + 337 = 0. Is v a multiple of 26?
True
Let r = -78 - 17. Suppose 4*w = 3*j - 477, 2*j - w - 468 = -j. Let t = r + j. Is 12 a factor of t?
True
Suppose -47*u + 52*u = 2*z - 9, -u - 5*z - 18 = 0. Let r be 2 - 2 - (4 + -3). Is (u/((-54)/6))/(r/(-291)) a multiple of 22?
False
Suppose 12*a + 25 = 7*a. Let j be (4/(-3) - -2)/(a/(-30)). Suppose -x - j*x = -35. Does 3 divide x?
False
Suppose -26*n + 27*n - 121 = 0. Suppose -283 = -2*s + k, s - n = 4*k + 10. Suppos