 be v(3). Let x = h + -66. Suppose -2*k = -x*k + 2072. Does 13 divide k?
False
Let x = -127 + 43. Is 23 a factor of (-48)/x*(-161)/(-2)?
True
Suppose -13*a + 55923 = -45230. Suppose 8*q - a + 149 = 0. Is 13 a factor of q?
False
Let y = -72 + 56. Let w be ((-18)/(-45))/(2 - y/(-10)). Does 24 divide (18/w)/((-8)/(-96)*9)?
True
Let h = -27 - -31. Suppose h = 2*b, -2*k - k - 4 = b. Is 14 a factor of (854/(-21))/(k/3)?
False
Suppose 241 = 16*m - 6111. Let p = m + 76. Is p a multiple of 18?
False
Let r = 12288 - -18987. Does 15 divide r?
True
Let a(b) = -2*b**2 - 50*b - 11. Let w be a(-24). Suppose -h = -158 + w. Is 11 a factor of h?
True
Is 112 a factor of ((-13)/1 - -1)*127/(3048/(-12096))?
True
Let a be 6/(-4)*(1 - 70/30). Suppose y = -0*w - 2*w + 2, -4 = -3*w - 2*y. Suppose -a*v + v + 41 = w. Does 3 divide v?
False
Let b(k) = k**2 - 21*k + 1. Suppose -16*w + 12*w + 32 = 0. Let n(f) = f**3 - 9*f**2 + 13*f - 12. Let v be n(w). Is b(v) a multiple of 15?
False
Suppose -21305 = -5*f - 3*p + 61030, 2*p - 32930 = -2*f. Is 41 a factor of f?
False
Let m(k) be the third derivative of -1/2*k**4 - 3*k**3 + 0 + 9*k**2 + 0*k. Is m(-8) a multiple of 12?
False
Suppose 0 = -40*z + 44*z - 4, 0 = 5*m - z - 3439. Suppose -971 = -4*d + 3*j, -4*d - 4*j + 304 + m = 0. Does 49 divide d?
True
Suppose 17*y - 18*y = -3. Suppose y*o - 5*o + 2*b - 14 = 0, 0 = -2*o - b - 26. Let c = 6 - o. Does 2 divide c?
False
Let w be 3*(-4)/(-6)*(-4422)/(-4). Suppose 20*u - 849 = w. Does 17 divide u?
True
Suppose -4*a = -4*u - 13952, -78*u + 72*u - 3503 = -a. Does 5 divide a?
True
Let z(v) = 110*v - 856. Let l be z(10). Suppose -3*m + 5*q = -563, 3*m - 2*m + q - 201 = 0. Suppose c - l = -d, -1048 = -5*d + c + m. Is d a multiple of 44?
False
Let q(o) = -1399*o**3 + 3*o**2 - 2. Is 56 a factor of q(-1)?
True
Let u(b) = b + 6. Let s be u(-3). Suppose s*a - 2655 = -4*r, 1581 = 4*r + a - 1064. Suppose 4*d - 14*d = -r. Is d a multiple of 6?
True
Suppose -2*u + 2*b + 8 = -3*u, -u - 4*b = 4. Let y be (55/(-44))/(13/u - -1). Suppose 2*n + 3*n - y = 0. Is 2 a factor of n?
False
Does 11 divide 90130/4*18/(8 + 1)?
False
Suppose a + n + 3 = 3*n, 2*a = 3*n - 3. Let x be (-12)/9*45/(-10) - a. Suppose 100 = 2*f - 3*b - 191, -x*b - 9 = 0. Is 35 a factor of f?
False
Let u(q) = 250*q**2 + 334*q - 15. Does 73 divide u(-6)?
False
Suppose -g - 570*m + 10380 = -566*m, 4*m + 31028 = 3*g. Does 4 divide g?
True
Let l = 142 - -95. Let i = 508 - l. Let r = i + -133. Is r a multiple of 5?
False
Let i(s) = 157*s**3 + 4*s**2 + s - 21. Is 33 a factor of i(3)?
True
Let y(d) = 6*d + 30. Let b be y(-33). Does 10 divide (288/b)/((-4)/434)?
False
Let m(x) = -5*x - 6. Let u be m(1). Let q(a) = -a**3 - 11*a**2 - 13*a + 37. Does 18 divide q(u)?
True
Let x be (-128)/(-40) + -4 + (-303)/15. Let z(l) = -l**3 - 22*l**2 - 63*l - 71. Is z(x) a multiple of 42?
False
Let v = -17456 + 24982. Is v a multiple of 45?
False
Suppose 0 = -363*i + 467*i - 881920. Is i a multiple of 19?
False
Let m = -28 - -104. Suppose -2*d - 5*x + 195 = d, 2*x + m = d. Suppose -3*z + 8*z - d = 0. Does 14 divide z?
True
Let h be -10 + (0 - -5) + 12. Let u be 3 - (3 + 0 + 110). Is h/(6/(-15) + (-54)/u) a multiple of 11?
True
Suppose 11073 = u - 5*t, -3*u - t = u - 44271. Is u a multiple of 8?
False
Suppose -1073706 = -98*s - 91746. Does 17 divide s?
False
Let y be (-8)/(-5)*70/(-28). Does 12 divide (-6 - 4/(24/633))*y?
False
Let z = -269 - -269. Suppose 5*c - 131 - 789 = z. Is c a multiple of 23?
True
Let q(c) = 13*c**2 + 46*c + 15. Does 5 divide q(-7)?
True
Suppose -3*w = 3*w + 48. Let g be ((-4)/(-7))/(w/(-28)). Suppose o + 145 = g*k, 5*k - o - 355 = 4*o. Does 26 divide k?
False
Suppose -29*c - 3*c - 29259 = -85131. Is c a multiple of 3?
True
Suppose 2*h = d - 6*d - 31, 5*h = -2*d - 46. Let b(n) = 2*n**2 + 9*n + 6. Let z be b(h). Let f = -15 + z. Is 12 a factor of f?
False
Let o(i) = 540*i**3 + i**2 - 5*i + 5. Let k be o(1). Let z = -301 + k. Is 30 a factor of z?
True
Suppose 0 = -4*a - o - o + 730, 0 = -3*o - 9. Suppose -175 = -a*p + 179*p. Is 2 a factor of p?
False
Let k = 78 + -82. Let j be k/(-7) + 258/14. Suppose -14*o + j = -191. Is 10 a factor of o?
False
Let u = -307 + 510. Let q = -154 + u. Does 4 divide q?
False
Let l be (-4)/(-18) - 3/54*-14. Suppose -4*v = 3*u - 806, 4*v = 7 + l. Let i = u + -129. Is 17 a factor of i?
False
Suppose 2*p - 1298 = 3*j - j, -7*p + 3*j = -4547. Is p a multiple of 2?
True
Let m = -969 - -1365. Let i = m - 293. Is i a multiple of 4?
False
Let v be (-200)/(-40) + -2*1. Suppose -72 = 2*h - 6*h + 2*y, 0 = -h + v*y + 8. Is 20 a factor of h?
True
Let s be 20/(-6)*12/(-8). Suppose 5*a = 3*i - 2*i - 192, 0 = s*i - 3*a - 1026. Let k = i - 3. Is k a multiple of 13?
False
Let d(p) = -p**2 - 26*p + 48. Let n be d(10). Let a = 375 + n. Is 2 a factor of a?
False
Let b be 1*(-1 + 2) - -1. Suppose -96 - 310 = -b*n. Does 26 divide (0 - 3)/((-21)/n)?
False
Let n = 1872 - -4996. Is 16 a factor of n?
False
Suppose -18*x + 13*x = -105. Suppose 3*r = -o + 12, 3*r + 0*r = -4*o + x. Is 3 a factor of (r/4)/(2/24)?
True
Let q be -3 + (-2 + 295 - (-5 - -2)). Let m = q + -84. Suppose 5*w + 26 = 1, 0 = 4*y - w - m. Does 19 divide y?
False
Suppose -2*l - l = -2*i - 5, -4*l = 5*i - 22. Suppose -4*o = m - 186, 0 = 3*m + i*o + 2*o - 590. Is m a multiple of 15?
False
Suppose -o + 2*l + 40 = 0, -4*o = 8*l - 11*l - 150. Let n be (-2)/(-8) + 57/12. Does 11 divide 373/n - o/(-90)?
False
Suppose 3*q - i = 23059, 663*q + i = 659*q + 30743. Is q a multiple of 7?
True
Let j = 19052 - 12780. Is 112 a factor of j?
True
Suppose 2*c - 179686 = 3*c - 27*c. Is 12 a factor of c?
False
Suppose -4*l + 70*b + 19256 = 74*b, 0 = 5*l + b - 24078. Is 112 a factor of l?
True
Let f(c) = 5*c**2 - 411*c + 84. Let j be f(82). Suppose 0*r + 2*r - 8 = 0. Suppose r*z - j*z - 34 = 0. Does 7 divide z?
False
Suppose -89*s + 85*s = -36. Is 11 a factor of s/(54/(-176))*6/(-1)?
True
Let k(s) = s**2 - 2*s + 304. Let b = -282 + 282. Does 16 divide k(b)?
True
Let c(n) = -21*n + 2123. Is c(66) a multiple of 7?
False
Suppose 50*o - 109*o - 90*o + 4827600 = 0. Does 20 divide o?
True
Let g(i) = -4*i**3 + 8*i**2 - 5*i - 8. Let l be g(8). Let v be ((-2)/(-6)*26)/((-8)/l). Does 19 divide ((-8)/10)/(3 + v/(-570))?
True
Let i be (-18)/24*(-90080)/24. Suppose -563 = -h - 2*y, -2*h - i = -7*h + 2*y. Is 13 a factor of h?
False
Let c(u) = -24*u + 74. Let y be c(3). Is (-374)/y*(-60)/330 a multiple of 13?
False
Suppose -72*k + 131*k - 61124 = 0. Is k a multiple of 14?
True
Let s = -53 + 74. Is -2 + 48/s - 845/(-7) a multiple of 11?
True
Let g be -3*2 + (20 - 10). Suppose m + 4*d = 128, -g*m + 6*m - 3*d = 311. Is 37 a factor of m?
True
Is (268 + -2 + 2)*((-1194)/(-8) + -4) a multiple of 37?
False
Let s = -2540 - -2900. Is 60 a factor of s?
True
Let r(q) = -110*q + 139*q + 3 - 9. Let x be r(5). Suppose 0 = -3*m + 5*t + x, m - 33 = -0*m - 5*t. Is m a multiple of 8?
False
Let d(f) = 25*f**3 - 2*f**2 + f. Let p be d(1). Suppose 3*l = 8*l + 15, 5*l + 19 = w. Suppose -52 = -w*x + p. Is x a multiple of 2?
False
Let g(h) = h**3 - 7*h**2 - 7*h - 3. Let m be g(8). Let b be (m - (-2 - 195)) + -2. Suppose 0 = b*n - 205*n + 870. Does 29 divide n?
True
Let r(z) be the first derivative of 13*z**3/3 + 5*z**2/2 - 2*z + 51. Is 19 a factor of r(4)?
False
Suppose 0 = 33*t - 27*t - 102. Let m(z) = 3*z**2 + 6*z + 148. Does 82 divide m(t)?
False
Suppose 2*t = -12*k + 11*k + 44156, -88324 = -4*t + k. Is 276 a factor of t?
True
Suppose 196*m = 98*m + 356720. Is 140 a factor of m?
True
Let w be 32/(-18) + 2/(-9). Let a be (3 - (-2 + 6*w)) + 3. Is 6 a factor of (-48)/5*(-150)/a?
True
Let w = 202 - -866. Does 68 divide w?
False
Suppose -4*x + 7779 = -z, -4*x + 7782 = 82*z - 84*z. Is 9 a factor of x?
True
Suppose 0 = 7*z - 2*z + 430. Let b = -162 - z. Does 9 divide (b/5)/(10/(-25))?
False
Let w be (10/8 + 1)/(6/(-96)). Let c = w + 20. Let z = 58 - c. Is 8 a factor of z?
False
Let r(v) = -v**3 + 11*v**2 + 43*v - 242. Does 14 divide r(11)?
False
Let k = -1722 - -2187. Is k a multiple of 9?
False
Let c(o) be the second derivative of -10*o**3/3 - 10*o**2 + o + 50. Is 10 a factor of c(-14)?
True
Let i be 277*(0 - (-4)/4). Let n = 17 + i. Does 42 divide n?
True
Suppose 0 = -6*d + 891 + 4425. Suppose -1854 = -2*s + 2*j, 3*j + d = -3*s +