*9. Let s be (-30)/(-24)*(o - (-1)/(-1)). Suppose -162 = -a - s*a. Does 9 divide a?
True
Suppose 0 = -2*k + 2*a + 2369 + 33331, -5*k = 4*a - 89304. Is k a multiple of 96?
True
Let f be (4/8)/(9/72). Suppose 2*h + 0*p - p = 502, 0 = f*p. Is 3 a factor of h?
False
Let i = -557 - -570. Suppose 3*f - 625 = -4*c, -i*f + 589 = -10*f - 5*c. Is 7 a factor of f?
True
Suppose -5*z + 4*z = 5*z. Suppose x + 5*y + 86 = z, 5*x - x = 3*y - 436. Let g = 160 + x. Is g a multiple of 5?
False
Let f(v) = -44*v**3 - 12*v**2 - 11*v - 120. Is f(-8) a multiple of 16?
True
Suppose 227*k - 921864 = 126529 + 946256. Is 114 a factor of k?
False
Suppose 46*r - 2005504 = 35654. Is r a multiple of 22?
False
Let j be (-484)/(-68) + 4/(-34). Suppose 2*l = j + 19. Is -1 + 50 - (14 - l) a multiple of 9?
False
Is 64 a factor of 1984*((-56)/(-10))/(92/230)?
True
Suppose -4*o - 8862 = -9466. Does 32 divide o?
False
Let m be (63/2 - 6)*(-4)/(-6). Suppose -43*b + 9100 = -m*b. Does 14 divide b?
True
Let h = 116 + -116. Suppose 3*c = -h*c - 3, 3*i + 3*c - 297 = 0. Does 10 divide i?
True
Suppose -5*k = d + 1, 0 = 3*d - 5*d + 2*k - 2. Let t be 324/189 - 2*d/7. Suppose -t*o = 111 - 287. Is 29 a factor of o?
False
Let z(h) = -h**3 - 18*h**2 + 19*h + 28. Let u(s) = -s**2 - s + 1. Let a(f) = -4*u(f) + z(f). Is 24 a factor of a(-16)?
True
Is 44 a factor of (8905/52)/((-18)/(-72))?
False
Suppose 0 = -4*n - 2*t - 13 - 5, n + 3*t = 3. Is n*(-322)/84*(-9)/(-1) a multiple of 14?
False
Suppose 0 = j + p - 6 - 0, 4*p = 2*j + 12. Suppose -105 - 85 = -j*z. Is 18 a factor of z?
False
Suppose -3*z + d + 55 = 21, -4*d = -3*z + 46. Suppose 2*o - 479 = -3*x, -11*o = -6*o + z. Is 6 a factor of x?
False
Let d be (-17)/(-5) - 14/35. Suppose -1385 = -4*f - 3*o, d*o + 481 = f + 116. Is 33 a factor of f?
False
Let z = 15 - 25. Let i = 10 + z. Suppose 0 = -i*y + y - 25. Is 25 a factor of y?
True
Let v be (50/15)/((-3)/9). Does 12 divide (632/v)/(18/(-45))?
False
Is (126/(-49))/(3/(-2415)) a multiple of 10?
True
Let s = -1882 + 1899. Let g be 2/6*9/(-3). Does 4 divide s + g - (0 + -1)?
False
Let h(y) be the first derivative of 13*y**3/3 - 5*y**2/2 - 64*y - 25. Does 13 divide h(8)?
True
Let q(a) = -9*a**3 + a**2 - 1. Let n be q(-1). Suppose 1008 = 3*c - n*c. Let v = -69 - c. Is v a multiple of 10?
False
Suppose 3*l + 932 = -5*b - 182, -4*l + 8 = 0. Let a = -160 - b. Is 16 a factor of a?
True
Let i(m) = 620*m**2 + 59*m + 13. Does 70 divide i(5)?
False
Suppose 4*d - 438 = 94. Suppose 0 = -o + 5, -2*t + 0*t + o = -d. Suppose -223 + t = -2*q. Is q a multiple of 25?
False
Let j be 6 - (1 + -5 - -7). Suppose -4*x + 3 = -c, -j*c = -2*x - 7 - 4. Does 2 divide c?
False
Let p = 123 + -112. Suppose 5*o + 11 - 3 = n, p = 4*o + 5*n. Is 3 a factor of 0 - -7 - (-4)/o - -24?
True
Suppose -6*c + 17 = 5. Suppose 52 + 104 = c*d. Is d a multiple of 6?
True
Let k(x) be the first derivative of x**3/3 - x**2 + 162*x - 2. Let t be k(0). Let h = t - 46. Is h a multiple of 14?
False
Is 46 a factor of (96370/(-20))/(1/(-8)*1)?
True
Suppose 64*d + 502 = -1674. Let s be 95/1*4/10. Let j = s + d. Is j even?
True
Suppose 116477 = -71*y + 76*y - 2*z, 5*y - 4*z = 116479. Is 16 a factor of y?
False
Let b(w) = -3*w**3 - 2*w**2 - 222 + 2*w**3 + 65*w + 256. Is 24 a factor of b(-11)?
True
Let o(b) = 3*b**3 - 11*b**2 + 23*b + 127. Is o(22) a multiple of 105?
False
Suppose 15*c - 79102 + 18367 = 0. Is 16 a factor of c?
False
Let v = -36 + 64. Suppose -3*i + 25 = v. Does 27 divide i/(15/5 + (-332)/110)?
False
Let v be 1832/(-6) - -6 - (-2)/6. Let g = -420 - v. Let y = 210 + g. Does 28 divide y?
False
Let g(w) = -2*w**3 - 2*w**2 + 2. Let o = -15 + 19. Let c be (2 - -8)*1/((-10)/o). Is g(c) a multiple of 12?
False
Is 19 a factor of 47 + 36977 + (-7)/(1 - 2)?
True
Let v(f) = -8 + 4*f**2 + 6*f**3 - 3*f**3 - f - 5*f - 2*f**3. Let x(s) = 2*s**3 + 4*s**2 - 7*s - 7. Let m(c) = 3*v(c) - 2*x(c). Is m(-6) a multiple of 22?
True
Let t = -1445 + 2769. Suppose 674 + t = 18*z. Does 5 divide z?
False
Is 193 a factor of ((-79902)/(-45))/(36/90)?
True
Let h be ((-6)/(-4))/(3 - 1365/448). Let t be 3*1/((-2)/h). Is 841/4 - 12/t a multiple of 42?
True
Let f = 505 - 497. Suppose -5*h = 2*r - 3129, 5*h - f*h - 2*r = -1875. Is 57 a factor of h?
True
Let n(u) = u**2 + u - 7. Let x be n(-3). Let j(y) be the second derivative of -27*y**5/10 + y**4/6 + y**3/3 + y**2/2 - 91*y. Does 11 divide j(x)?
True
Let t = 73 - -47. Does 10 divide 1*66 - t/20?
True
Suppose -2*n = -5*o + 23, -2*o = n - 4 + 2. Does 10 divide 138 + (1 - n) - (6 + -3)?
True
Suppose 163 = 46*s - 67. Suppose 0 = s*w + o - 6620, 3*w - 5277 + 1328 = 4*o. Is w a multiple of 7?
True
Let l = -527 + 519. Is (-16275)/(-24) + (0 + 1)/l a multiple of 11?
False
Suppose -2*k + 24292 - 1073 = -19673. Is 46 a factor of k?
False
Suppose 40 = 5*v + 4*u + 15, 0 = 2*v + 4*u - 10. Suppose -v*m + 1104 = -6*n + 4*n, 3*m + 5*n - 650 = 0. Is 10 a factor of m?
True
Let n be 3 + 5/10*16. Let r(p) = -5*p + 6 - 27*p - n*p + 10*p. Does 21 divide r(-3)?
True
Suppose 0 = 5*c - 33 + 48, 0 = -4*s - 3*c + 4311. Is s a multiple of 6?
True
Let h be 4 - (2 + -9)/7. Suppose 1046 = 5*w + h*l - 8*l, -l = 2. Is 16 a factor of w?
True
Let o(f) = 49*f + 302. Does 3 divide o(8)?
False
Suppose -6*m - 3*o - 33 = -4*m, 2*o = -3*m - 57. Let z = -128 - -2. Let j = m - z. Is 35 a factor of j?
True
Suppose 0 = -66*b + 24*b. Suppose -2 + 6 = 2*n + 2*p, 10 = 2*n - p. Suppose -w + n*w - 315 = b. Does 21 divide w?
True
Let a = 902 + 4141. Does 90 divide a?
False
Is ((-206)/10)/((-127)/23495) a multiple of 52?
False
Let o(t) = 105*t + 16. Let p be o(4). Let s = p + -292. Is -12 - -14 - s/(1 + -3) a multiple of 37?
True
Let f be 2*((-28)/(-8) - -2). Suppose -f*d + 2760 = -3*d. Suppose 3*a = i - 102, -5*a + d = 2*i + 97. Is i a multiple of 28?
False
Let d be 0 + -24 + -6 + 4. Let v = -22 - d. Suppose -2*m - 2*m + 5*f = -284, 0 = f + v. Is m a multiple of 11?
True
Let f(i) = -i**3 - 4*i**2 - 2*i - 4. Let p be f(-4). Suppose -5*b - 2 = -z, p*b - 6 = -6*z + 3*z. Suppose 3*g = -b*g + 129. Does 8 divide g?
False
Let c = -13068 + 33012. Does 18 divide c?
True
Let g = 7711 - -1406. Does 62 divide g?
False
Suppose 3*y + 301 = -4*p + 322, 0 = 2*y + 5*p. Let o be (-1)/(-4) - (-3582)/8. Suppose 11*s = y*s - o. Does 16 divide s?
True
Let d(y) = -y**2 + 7*y + 7. Let b be d(5). Let s(t) = -21*t - 43. Let p be s(b). Let r = p + 616. Is 13 a factor of r?
False
Suppose -b = -4*s - 5501, 116*b - 118*b + 4*s = -10970. Is 2 a factor of b?
False
Let z be (-4*12/(-8))/(6/4). Suppose -z*j + 3*j - 364 = -2*a, -3*a = -3*j - 540. Let k = a + -61. Is 8 a factor of k?
False
Let y(g) = 2*g + 46. Let q be y(-19). Suppose 3559 + 3953 = q*z. Is z a multiple of 62?
False
Let h = 443 - 441. Suppose 5*b = -3*v + b - 7, 0 = v - 2*b - 11. Suppose -v*u = -h*u + 5*y - 95, -4*u + 365 = 5*y. Is u a multiple of 15?
True
Suppose 3028*b - 3024*b = -2*a + 36338, -72766 = -4*a + 2*b. Is a a multiple of 23?
False
Suppose 3*d + 19 = -5*m, 3*d + 60 = -d + 2*m. Let y(s) = -s**3 - 12*s**2 - 10*s - 22. Is y(d) a multiple of 14?
False
Suppose 5*c = -4*b + 151, -5*c + 127 = 37*b - 39*b. Is c a multiple of 2?
False
Let m(u) = -u**3 - 16*u**2 - 17*u - 28. Let q be m(-15). Suppose -g + 288 = q*x - 296, -4*g - 4*x = -2320. Suppose 9*j = 13*j - g. Is 18 a factor of j?
True
Let z = -12434 - -14066. Is 9 a factor of z?
False
Let z(t) = -5*t - t - 3*t**3 + 0*t**3. Suppose q = -5 + 2. Does 21 divide z(q)?
False
Let r(k) = -k**3 - 12*k**2 - 13*k + 4. Let g be r(-11). Suppose -34 = -g*b + 24*b. Does 3 divide b?
False
Let l(r) = 8*r**2 + 4*r + 3. Let g be l(13). Does 39 divide g/3 + 37/(-37)?
True
Let a be -1*68/8*4. Suppose 4*b - 5*j - 16 = -3*j, -4*j + 8 = 0. Let x = b - a. Is x a multiple of 7?
False
Suppose -75 = -141*q + 144*q. Suppose -d - 27 = 5*c, c = 3*d + 2*c + 151. Is (d/(-6))/(q/(-75)) a multiple of 7?
False
Suppose 16*n = -5*x + 13*n + 5, 0 = 4*n - 20. Is ((-54)/(1 - x) - -1)*-24 a multiple of 17?
True
Suppose -34*o + 360 = 2*o. Suppose 6*h - 4*p = o*h - 2228, -4*p + 8 = 0. Is 30 a factor of h?
False
Let q(m) = -m**3 - 22*m**2 - 22*m + 24. Let w = 40 + -61. Let b be q(w). Suppose 0 = -2*v + 41 + b. Is 11 a factor of v?
False
Suppose -14*a + 15*a + 2*x - 250 = 0, -1033 = -4*a + 3*x. Is a a multiple of 8?
True
Suppose 3*k