Suppose -6*s - 5*s - 3245 = 0. Let y = -187 - s. Is y a multiple of 4?
True
Let i = 21333 + -20942. Is i a multiple of 23?
True
Let a(o) = 95*o**2 + 51*o + 734. Is 100 a factor of a(-13)?
False
Suppose 0 = -0*i - 4*i. Suppose i*c + 190 = -5*c. Let a = 65 + c. Is a a multiple of 20?
False
Suppose -13*y = -18*y + 10. Suppose 5*r - 35 = -u + 5*u, -y*u - 4 = 2*r. Suppose 5*i - 3*l - 58 = 0, i - 4*l - 12 = r. Is i a multiple of 2?
False
Suppose 35*z + 108 = 38*z. Let j be (-3)/18 - 66/z. Is 7 a factor of ((-175)/(-20))/(j/32*-2)?
True
Is -218 - -229 - (-43491)/3 a multiple of 52?
True
Let q(i) = 1247*i**2 - 274*i - 1249. Does 32 divide q(-5)?
True
Suppose -25*k + 8044 = -23*k - 5*z, 20172 = 5*k + 3*z. Is 63 a factor of k?
True
Suppose 0 = -3*a + 18, 6516 = 4*i + 10*a - 12*a. Is i a multiple of 90?
False
Suppose -2*y = -3*w + 6, y - w = -5 + 4. Suppose 0 = -y*d - d + 140. Let g = 44 - d. Is g a multiple of 4?
False
Let o be (2 + 1)*249/9. Suppose -o*b = -81*b - 1144. Does 26 divide b?
True
Suppose -16*m - 7524 = -99284. Does 155 divide m?
True
Suppose -m = -5*u - 1944, -15*u + 11*u - 1553 = -3*m. Let a = u + 1467. Is 49 a factor of a?
True
Let z = -121 - -139. Does 2 divide z/(-8)*(-64)/48?
False
Let w be (-1)/(5/(-4090)) - -6. Suppose -676 = -4*y + f, 5*y - w = -0*f - 4*f. Is y a multiple of 12?
True
Let l(p) = -172*p + 273. Does 80 divide l(-39)?
False
Let w(j) = j**2 + 11*j - 71. Let u be w(-16). Suppose u*i - 7092 = -9*i. Suppose 82 = 2*x - i. Is 34 a factor of x?
True
Let i(w) = 159*w + 16. Let b(o) = o**3 - 2*o**2 - 15*o + 29. Let u be b(4). Is 3 a factor of i(u)?
False
Let h(q) = -18*q**2 + 21*q + 1 + 2 - 60*q**3 + 59*q**3. Let n be h(-19). Let u = n + 50. Does 5 divide u?
True
Let i(s) = 9*s**2 + 5*s - 1. Let u(k) = -4*k**2 - 3*k. Let f(g) = -4*i(g) - 10*u(g). Let n be -2*(-3)/(-6)*20/4. Is 27 a factor of f(n)?
True
Is 3 a factor of 21 + (-1426)/69 - (-2 + 44794/(-6))?
False
Let o(y) = y - 35. Let v be o(24). Does 30 divide v/(-66) + (-42978)/(-36)?
False
Let b = 67 - 64. Suppose b*x = -201 - 537. Is 12 a factor of (-4 - (-1 - 2))/(3/x)?
False
Let x(p) = 11*p**2 + 75*p + 533. Is 51 a factor of x(-47)?
False
Let v(p) be the third derivative of 11*p**5/60 + 19*p**4/24 - p**3/6 + 111*p**2. Is v(-4) a multiple of 11?
True
Let q be ((-337)/(-4))/((-1)/4). Let t = q - -577. Does 4 divide ((-4)/(-2))/(5/t*6)?
True
Let y = -1675 - -2687. Is y a multiple of 23?
True
Let r be ((-21)/(-3) - 0) + -2 + 5350. Suppose 18*a - 27 = r. Is a a multiple of 33?
False
Suppose 13*v - 11*v = 382. Let u = -159 + v. Is u even?
True
Let x(o) = o**3 - 8*o**2 - 6*o - 1. Let t(w) = -3*w + 12. Let c be t(1). Is 4 a factor of x(c)?
False
Suppose 0 = 879*g - 426*g - 29023710. Does 24 divide g?
False
Suppose -j = -3*j + 10. Suppose -j*f + 0*f = 15. Does 7 divide (-201)/f - (-12)/6?
False
Suppose 0 = 4*t - g + 176, -3*t + 2*t - 3*g - 44 = 0. Let k be (2 + -8)/(t/12 + 3). Suppose -4*x + 57 = -3*s, -3*s + 0*s - k = 0. Is x a multiple of 4?
True
Suppose -3*o + 0 = -18. Suppose o*h = -55 + 103. Suppose -7*z = -h*z + 6. Is 4 a factor of z?
False
Let f be 18/(-45) - (17224/(-10) + 1). Let d = f + -1208. Is d a multiple of 53?
False
Let q(u) = -5*u**3 - 130*u + u**2 - 5*u**3 + 127*u. Let p be q(3). Let g = -122 - p. Is 17 a factor of g?
False
Suppose -10001*t + 10043*t - 10584 = 0. Does 36 divide t?
True
Let u(x) = x**2 - 9*x - 18. Suppose o + 4 = 3*o. Let f(a) = 5*a + 9. Let h(w) = o*u(w) + 5*f(w). Is h(6) a multiple of 41?
True
Let c be (67/4)/(68/16 + -4). Let j = c + -23. Does 2 divide j?
True
Is (23664/(-435) + (-4)/(-10))*(-44)/3 a multiple of 22?
True
Suppose x - 5*s = 8, -5*s = 4*x - s - 8. Suppose x*g = 216 + 69. Is 9 a factor of g?
False
Suppose 0 = 3*z + g - 1005, -3*g - 640 = 2*z - 1310. Let w = 1103 + -600. Let v = w - z. Is v a multiple of 8?
True
Suppose -5*s = -5*y + 10, -2*y - 2 = -6. Suppose s = 10*v - 11*v + 3*m + 420, 5*m = -3*v + 1204. Is 24 a factor of v?
True
Let i(y) = 334*y**3 - y + 30. Does 18 divide i(4)?
True
Let s(l) = -26*l**3 - 3*l**2 + 2. Let a be s(1). Let p be (-388)/36 - -3 - (-6)/a. Let w(z) = -11*z - 24. Is w(p) a multiple of 32?
True
Let s = -8724 - -10132. Does 32 divide s?
True
Let f = 37144 - 9937. Does 143 divide f?
False
Suppose 0 = -0*p + p + 3*p. Suppose 2*z - 7*z + 15 = p. Does 10 divide (652/z)/2 + 2/(-3)?
False
Suppose -4*n = v + 292 - 1462, -4*v + 4617 = -5*n. Is v a multiple of 6?
True
Let y = 34 + -32. Suppose 0 = -4*g + y*g + 674. Suppose -g + 67 = -5*l. Does 27 divide l?
True
Suppose -4*h + 9*n = 6*n - 197152, -4*n + 147839 = 3*h. Is h a multiple of 7?
False
Suppose -2*x + 69982 = 5*z, x + 41976 = -2848*z + 2851*z. Does 14 divide z?
False
Let f be 1/(5/(-20) - (-18)/40). Suppose -4*b + 46 = 3*t, 0 = f*t + 6*b - 7*b - 115. Is t a multiple of 16?
False
Suppose -247907 = -67*g + 112553. Is g a multiple of 5?
True
Let b(a) = a**3 - 10*a**2 + a + 7. Let w be b(10). Suppose 3*d = w + 16. Suppose -d*c = -0*c - 858. Is c a multiple of 13?
True
Suppose -149*b + 857613 - 24026 = -1120250. Is 47 a factor of b?
True
Let f(x) = -x. Let y be f(-3). Suppose 4*p - 2 = y*p, 2*p = 5*s + 74. Let u = 55 + s. Is 33 a factor of u?
False
Suppose -35*v + 48422 = -153143. Is v a multiple of 18?
False
Let s(c) = -c**3 + 21*c**2 + 22*c + 32. Let k be s(14). Suppose 0 = -4*i - 2*w + 1694, 5*w - k = -4*i + 9*w. Is 4 a factor of i?
False
Suppose -17*p = 24*p - 71668. Does 26 divide p?
False
Suppose 7*l = 3*l + 24. Let q(w) = 11*w - 19. Does 17 divide q(l)?
False
Let a = 360 - 480. Is (-1)/2 - 118140/a a multiple of 24?
True
Let s = -13116 - -18653. Does 77 divide s?
False
Let d(b) = 5*b**2 - 4*b + 4. Let i be d(1). Suppose -2*o - i*q - 1 = 4, -o + 2*q + 2 = 0. Suppose o = -4*w + 66 + 78. Is 6 a factor of w?
True
Suppose -9*d + 20*d - 2493 + 502 = 0. Does 4 divide d?
False
Suppose -61*a - 102800 = -111*a. Is 8 a factor of a?
True
Suppose -8*g + 10 = -62. Let q be 1/(3/g) - -605. Suppose -4*c + q = 4*s, -2*s + 3*s + 748 = 5*c. Does 21 divide c?
False
Let c be (280 + 1)/(2/4). Let m = -235 + c. Suppose -7*k + m + 93 = 0. Is 24 a factor of k?
False
Suppose 2*z - 2801 = v, 0*z - 2*v - 7002 = -5*z. Is z a multiple of 40?
True
Let h = -74 - -137. Suppose o + 28 = h. Let s = o - -173. Is 16 a factor of s?
True
Let h = 277 - 101. Suppose 12*b = -h + 776. Does 25 divide b?
True
Let z(c) = -2*c**2 + 83*c + 11537. Is z(0) a multiple of 47?
False
Suppose -t - 3*i - 165 = 0, 0 = -3*t + 8*t - 3*i + 825. Let n = t + 464. Is n a multiple of 13?
True
Suppose -5*o + 4*v + 63 - 12 = 0, 4*v + 16 = 0. Suppose 24 = -u + o*u. Suppose 0 = -2*n + 86 + u. Is n a multiple of 15?
True
Let h(o) = 7*o**2 - 9*o - 3. Let j be 1/((2/16)/(22/(-44))). Is 10 a factor of h(j)?
False
Does 33 divide 6*(-10)/210 + 80812/14 + 3?
True
Suppose 3*y + 231 - 1053 = -7*d, 3*d - 846 = -3*y. Is y a multiple of 3?
True
Suppose -30 = -5*j + 3*y, -j + 5*y = -11 + 5. Let x(f) = 2*f**2 - 7*f + 23. Does 6 divide x(j)?
False
Let i(d) = -322*d - 473. Is i(-5) a multiple of 20?
False
Suppose 12*j = 4*j - 46*j + 475146. Is 8 a factor of j?
False
Suppose 3*d = 5*h - 35771 + 4777, 3*d - 31006 = -5*h. Is 31 a factor of h?
True
Is 6*(-22)/12 + (-5472)/(-3) a multiple of 5?
False
Is 3 a factor of (-2)/7*-1 + 1497780/1113?
False
Let h be (-114)/(-95)*(4 + -4 + -5). Let y(f) = 4*f**3 - 3*f**3 - 11 - 2*f + 3*f + 8*f**2. Is y(h) a multiple of 5?
True
Suppose -136658 = -16*j + 102359 - 28521. Is 26 a factor of j?
True
Let d(b) = 262*b**2 + 86*b - 660. Is d(10) a multiple of 15?
True
Let a(b) = -b. Let z be a(4). Let l be (12/z)/((-257)/254 - -1). Suppose -5*k + l = -421. Is k a multiple of 27?
True
Let m(p) = 16*p + 186. Let t be 33 + -32 + (-1 - 6). Is 3 a factor of m(t)?
True
Let g(s) = -s**3 - 53*s**2 + 130*s - 79. Does 10 divide g(-56)?
False
Is 10809 + (1 - 0*(-2)/16) a multiple of 23?
True
Suppose -j - 7*o + 12*o + 17602 = 0, 3*j - 52766 = 5*o. Is j a multiple of 45?
False
Let j be 0 + 18*((-1)/(-2) + 4). Let l = -81 + j. Suppose -5*i = 4*z - 859, 0 = -4*z + 4 - l. Is i a multiple of 37?
False
Let d(j) = j**3 - 29*j**2 + 2*j + 271. Does 17 divide d(31)?
False
Suppose -3*h + 6 = -0*h. Suppose h*l = -5*n + 24, l = -4*n + 9 + 9. Suppose -l*p + m + 19 = 0, -3*p + 2*m = -2*m - 41. Is p a multiple of 3?
False
Let l = -20 + 