vide c?
True
Let c = 11180 + -5692. Is c a multiple of 98?
True
Let n(a) = a**3 - a**2 + a + 1. Let i(z) = -16*z**2 + 6*z - 7. Let p(d) = i(d) + n(d). Is 8 a factor of p(17)?
False
Let n(q) = 49*q**2 + 27*q + 72. Suppose -10*v + 4*v = 24. Is n(v) a multiple of 11?
True
Let j(u) = 3*u**3 - u**2 - 3*u + 6. Let p be j(2). Suppose -1515 = -p*x + 3665. Is 37 a factor of x?
True
Let l(n) be the first derivative of -n**6/120 + 3*n**5/10 + n**4/12 - 31*n**3/6 - 17*n**2/2 - 27. Let s(g) be the second derivative of l(g). Is s(18) even?
False
Let r = 275 - 271. Suppose -q - r*a = -28 - 91, 4*q + 3*a = 450. Is q a multiple of 8?
False
Is 1989195/(-78)*((-90)/25 - -2) a multiple of 18?
False
Suppose -5*q - 5*x = 9 - 24, 5*x = -q - 1. Suppose -2*m - w = -203, q*m + m - 508 = -2*w. Is 13 a factor of m?
False
Let u = -390 - -500. Is (-2)/(-11) + 0 + 51900/u a multiple of 41?
False
Suppose 3*t - 51*p = -47*p + 15591, 8*t - 2*p = 41550. Is 20 a factor of t?
False
Suppose 0*k + 567 = 7*k. Suppose -k = -2*h - 77. Suppose -h*t = 2*m - 46, -7*m = -2*m - 5*t - 125. Is 4 a factor of m?
True
Let i(p) = 2 + 4*p - 2*p - p**2 + 4*p + 0. Let k be i(0). Is 43 a factor of (-16995)/(-60) + k/(-8)?
False
Let n(x) = 343*x + 4. Let v be n(-1). Let l = -72 - v. Does 17 divide l?
False
Does 74 divide (-3)/2 - (-27)/(-4)*-2346 - -2?
True
Let w(k) = -k**3 + 7*k**2 - 6*k + 18. Let d be w(6). Let q be 3/((-81)/(-372)) - (-4)/d. Let y = 28 - q. Is 7 a factor of y?
True
Let k(o) = -3*o**2 - 97*o - 58. Does 2 divide k(-30)?
True
Suppose 3*l = 2*q - 6011 - 202, -6*q + 5*l + 18643 = 0. Is q a multiple of 42?
True
Let s(p) be the second derivative of -p**5/20 + 3*p**4/4 + p**3/2 + p**2 + 4*p. Suppose -4*b - 13 + 49 = 0. Is 11 a factor of s(b)?
False
Let m = 31 + -29. Let j(t) = 6*t + 20*t**2 - 5*t - 2 + 0*t**m. Is j(2) a multiple of 20?
True
Let y = -1942 - -4135. Does 51 divide y?
True
Let u = -55 - -53. Let b(m) = -10*m - 15. Let v(w) = 9*w + 14. Let x(h) = u*b(h) - 3*v(h). Is x(-3) a multiple of 8?
False
Let g = 7462 - 6374. Is g a multiple of 16?
True
Let x(z) = 750*z**2 - 69*z + 401. Is 107 a factor of x(6)?
False
Let p = -94 - -1881. Does 11 divide (-26)/91 + (-2 - p/(-7))?
True
Let v = 426 + 1274. Suppose 4*x = 4*d + 5820, -x - 2*d = -v + 242. Does 28 divide x?
True
Let y(g) = 30*g + 251. Let t be y(-9). Let l(p) = p**2 - 13*p + 88. Is l(t) a multiple of 24?
True
Suppose 3*h = 3*u + 6, -3*u + 2*u + 2*h = 4. Suppose -3*a + 5*a - 2*c - 6 = u, 3*a - 9 = -c. Let z(t) = 4*t**3 - 3*t. Is 33 a factor of z(a)?
True
Is -44*(8 + 10795/(-68)) a multiple of 187?
False
Let f = 114 - -76. Suppose -4*h + 2*v + 348 = 0, f = 2*h + 3*v - 0*v. Does 8 divide h?
False
Let r(j) = j**2 - 4*j + 17. Let h be r(4). Suppose -570 = -22*o + h*o. Is o a multiple of 57?
True
Let r(f) = -f**2 + 10*f - 19. Let j(y) = y**2 + 2*y - 9. Let u be j(-5). Let w be r(u). Suppose -4*b + 169 = 2*a + 43, 5*b = w*a - 240. Is 6 a factor of a?
False
Is (62/4)/(1/240) a multiple of 124?
True
Let g be (8/12 - (-3 - -3))*6. Let i(p) = -2*p + g - p + p. Does 5 divide i(-13)?
True
Let y(u) = u**3 - u**2 - 5*u + 2. Let i be y(3). Let s be -1 + (2 - i/(-5)). Suppose -3*c + 440 = s*c. Does 11 divide c?
True
Suppose -4*q = -5*m - 4 + 41, -3*q = 4*m - 11. Suppose 5*z + 3*i = 99 + 352, 0 = m*z + 2*i - 449. Is z a multiple of 16?
False
Let f(v) = -723*v - 3856. Does 5 divide f(-7)?
True
Suppose 19*x - 58805 = -2375. Is x a multiple of 27?
True
Let d = 37 - 32. Suppose 3*v - 174 = d*r, -2*r - 92 - 28 = -2*v. Does 7 divide v?
True
Let g(b) = 24*b - 163. Let d be g(11). Suppose -6*s = -1687 - d. Does 21 divide s?
False
Suppose -x - 43 + 38 = 0. Does 48 divide (-68768)/(-280) + 3/x?
False
Let p(n) = -6*n**3 + 215*n**2 - 26*n - 23. Does 14 divide p(33)?
False
Let l(t) = -t + 117. Let m = -313 + 287. Is 8 a factor of l(m)?
False
Suppose 0 = 8*o - 3*o + 220. Is 6 a factor of (1 - 156)*o/110?
False
Let u = 1673 + -1073. Suppose -5*d - r - 3*r = -u, -3*d + 363 = 3*r. Let n = -61 + d. Is n a multiple of 19?
False
Let v(p) = -19 + 6*p + 2 - 32*p. Suppose -24 = 5*r - 3*b + 12, 5*r + 5*b = -20. Does 44 divide v(r)?
False
Is 26 a factor of -1 + 6648/15 + (-58)/290?
True
Suppose -21 = -40*f + 61*f. Does 25 divide (-309)/f + 300/50?
False
Let p = 34484 + -23464. Is 38 a factor of p?
True
Suppose 1583*d - 1625*d = -159726. Is 15 a factor of d?
False
Suppose 31*r - 2037615 = -32101. Is r a multiple of 238?
False
Let p = -10148 - -17359. Is p a multiple of 73?
False
Let z = 362 - 63. Let o = z + 262. Is o a multiple of 33?
True
Suppose 0 = 4*r - 3*f - 72647 - 43913, -3*f - 145703 = -5*r. Does 13 divide r?
False
Let m(c) = 5*c**2 - 9*c - 7. Let a be m(-6). Suppose 2*b - 3*r - 182 = 244, 5*r = b - a. Does 12 divide b?
False
Suppose 3*f + 8*f = 55. Suppose 3*a + g = 786, 1293 = f*a - g - 3*g. Is a a multiple of 9?
True
Suppose 3*o - v = -o - 13, -4*v = -5*o - 30. Let z be 2*(1 + o) + 1. Does 9 divide (z - 237)*-1*1/2?
False
Suppose 0 = -2*t + 427 - 85. Let f = 491 - t. Suppose 0 = 12*g - 7*g - f. Is 10 a factor of g?
False
Does 207 divide ((-74)/(-4) - 12)*320 + -10?
True
Let z = 199 + -201. Does 9 divide 3*254/3 + (z - 0)?
True
Let g be (12 + -13)/((-98)/(-100) + -1). Let k be 3 - (1 - (-2 + 180)). Suppose 2*s + g = k. Is 15 a factor of s?
False
Is (297940/(-16))/(-5) - 16/64 a multiple of 76?
True
Suppose 3*z + i - 89 = 0, 5*i = -11 + 36. Suppose -c + z = -8*c. Is (-1)/c - (-2988)/16 a multiple of 17?
True
Let l(w) = -30464*w + 24. Let x be l(-1). Suppose 45*g - 5647 - x = 0. Is 9 a factor of g?
False
Suppose v - 5*j - 11 = -1, 0 = 2*v - 2*j - 4. Suppose 5*d = 2*n - 982, v = 5*n - 5*d - 959 - 1466. Does 26 divide n?
False
Let o(a) = a. Let v(r) = -130*r - 2. Let s(j) = 12*o(j) - v(j). Suppose -d + 2*d - 1 = 0. Is 24 a factor of s(d)?
True
Suppose -4*s = 2*h + 14, 5*s + 13 = -5*h + h. Suppose o = h*x + 228, 2*o + 2*x - 110 - 362 = 0. Does 5 divide o?
False
Suppose -10 = -2*y - 2*h, -4*h = -y - 0*y. Suppose 9*k - 25 = y*k. Suppose -173 = -2*t + f, -3*t = -4*t + k*f + 64. Does 9 divide t?
False
Does 99 divide (-5)/4*(-23)/((-92)/(-752))?
False
Is (-674181)/(-189) + (-30)/315 a multiple of 11?
False
Let o = 9 - 7. Let n be 4/o + (-6)/3 + 5. Suppose 591 = n*v + 21. Does 19 divide v?
True
Suppose 9*k = 12 + 24. Suppose -k*s + 5*b - 232 = 95, 5*s = -b - 445. Is 22 a factor of (s/(-12))/(4/336*4)?
True
Suppose -5*s + 11*g = -6*s + 578, 4*s - 2359 = 3*g. Does 6 divide s?
False
Let q(x) = 9*x**2 - 6*x - 24. Let d = 496 + -488. Is q(d) a multiple of 56?
True
Suppose -5*b = -2*j - 1541 + 218, 4*j + 2613 = -b. Let g = -460 - j. Is g a multiple of 45?
False
Let a(s) = 282*s**2 + 2*s - 3. Let q be a(-2). Suppose 5*h - 4981 = -q. Suppose h = 5*t - 13. Is 8 a factor of t?
False
Suppose -12*v = -22772 + 8360. Does 21 divide v?
False
Let c(u) = -u - 2. Let l be c(-8). Let p(x) = 2*x**2 - 15*x + 12. Let r be p(l). Is 10 a factor of ((-2)/r)/(5/735)?
False
Let v(a) = a + 2. Let i be v(0). Let s be 28*(i + 1 - 5). Let m = -33 - s. Does 22 divide m?
False
Let a be 9 + -8 + 400 - 6/2. Let v = a + -325. Is 11 a factor of v?
False
Suppose -105112 - 162176 + 51479 = -23*i. Does 11 divide i?
True
Let j = 28347 + -18885. Is j a multiple of 19?
True
Let s be 3*((-115)/(-15) + -7). Suppose -5*o - 526 = -s*t - 0*o, 0 = 2*t + 4*o - 562. Is 24 a factor of t?
False
Let i(z) = 2201*z - 2215. Does 82 divide i(8)?
False
Suppose -3*o = 48*j - 44*j - 23831, -5*o + 3*j + 39728 = 0. Is o a multiple of 172?
False
Let g = -46 - -23. Let w(q) = -q**2 - 36*q + 14. Is w(g) a multiple of 17?
False
Is 435 a factor of (-2098325)/(-40) + 5 - (-8)/320*-5?
False
Suppose b - 7*b + 6 = 0. Suppose 67 = g - b. Does 4 divide g?
True
Let m = -2802 - -5778. Is m a multiple of 6?
True
Let i(t) = 1 + 0 + 74*t - 11*t + 144*t. Let n be i(5). Suppose 11*r = 4*r + n. Is 29 a factor of r?
False
Suppose -890451 - 1628233 = -92*c. Is c a multiple of 10?
False
Let d(a) = -2*a**3 + 73*a**2 - 99*a + 592. Is d(34) a multiple of 5?
False
Suppose u + 4*h - 56820 = 0, -2*u + 26*h = 23*h - 113618. Is 28 a factor of u?
True
Suppose -10*o = -2*o. Let z be (o + 0 - -4)*1. Suppose 2*s - 78 - z = 0. Is 5 a factor of s?
False
Let n(d) = d**2 + 6*d + 6. Let y be n(-7). Suppose 3*s = y - 1. Suppose -g = -4*u - 128, -7*u + 2*u - 523 = -s*g