 - 0*n - 220. Let y(l) = 0 - 8 - n*l**3 + 4*l + 3 + 8. Does 18 divide y(-1)?
True
Let r = -1301 - -2905. Is r a multiple of 7?
False
Let o(k) = 23*k**2 - 16*k + 71. Let c be o(7). Let i = 1669 - c. Does 54 divide i?
False
Suppose -268 + 226 = -6*a. Suppose 0 = a*d - 8*d + 2*r + 82, 4*r - 100 = -d. Does 11 divide d?
True
Suppose -3*v = -7*v + m + 15, 2*m - 15 = -v. Suppose v*o = -2*u + 617, 9*o - 4*o + 5 = 0. Suppose 3*r + 5 = u. Does 10 divide r?
False
Suppose -52*y + 22*y = -125400. Does 110 divide y?
True
Let u = 893 - -715. Suppose -22*s + 25*s = u. Is 43 a factor of s?
False
Suppose -77 = 5*h - t, 4*t = -3*h + 7*h + 68. Suppose 5*g + 5*v + 125 = -2330, 3*g - 4*v = -1438. Does 20 divide g/h + (-9)/(-15)?
False
Suppose 2*h = -3*r + 439, 0 = -4*h + 9*h - r - 1089. Let b = -105 + h. Does 14 divide b?
False
Suppose -123*d + 2865 = -118*d. Let y = d + 273. Does 47 divide y?
True
Suppose 0 = 440*w - 159*w - 4594350. Is w a multiple of 32?
False
Let t be -1372*(-4 - 172/(-16)). Is t/(-14) - (-15)/6 a multiple of 8?
True
Suppose -5*i = 0, 2*d = -d + i + 5769. Suppose -j + 203 = n - 276, 0 = -4*n + 3*j + d. Suppose 0 = 5*b + v - 468, -5*b = 5*v - 0*v - n. Is 31 a factor of b?
True
Suppose 22*r - 9851 - 60945 = 0. Is r a multiple of 23?
False
Let i be (-8)/(-100) + (-444)/(-75). Is (558 + 15)/(i/4) a multiple of 7?
False
Does 24 divide 50/30*185094/70?
False
Let t(p) be the second derivative of -p**6/360 + 17*p**5/120 + p**4/24 + 2*p**3 - 2*p. Let o(f) be the second derivative of t(f). Is o(7) a multiple of 7?
False
Let t(c) = 2*c + 31. Let b be t(12). Let j = 121 - b. Is 3 a factor of j?
True
Is 88335/105 + (-2)/14*2 - 3 a multiple of 17?
False
Let s(v) be the first derivative of -v**7/840 + v**6/45 - v**5/15 - v**4/24 - 3*v**3 - 7. Let q(x) be the third derivative of s(x). Is 13 a factor of q(6)?
False
Let m(i) = -11*i**2 - i + 30. Let g(b) = 5*b**2 + b - 15. Let j(n) = -13*g(n) - 6*m(n). Let k = -103 + 108. Is j(k) a multiple of 5?
True
Suppose 0 = -7*s + 2*s + 20. Let d(x) = -x**3 + 5*x**2 + 37*x + 32. Let t be d(8). Suppose s*i = 12*i - t. Is i a multiple of 8?
False
Let k = 116 - 111. Let j be (-7)/(-2)*(10/k + 54). Suppose -3*c + j = -2*c. Is 14 a factor of c?
True
Let c(b) = 12 - 1 - 5*b**2 + 7 - 11*b**2 - 34*b. Let s(i) = -5*i**2 - 11*i + 6. Let o(j) = 3*c(j) - 10*s(j). Is o(-6) a multiple of 14?
False
Let f(j) = 30*j + 3. Let b be f(17). Let x = b - 311. Is x a multiple of 20?
False
Suppose -2*u + 198 = 4*u. Let p = 33 - u. Suppose -12*n + 1489 - 241 = p. Does 15 divide n?
False
Let h = 44063 + -40202. Is h a multiple of 9?
True
Suppose -5*z + 11*q - 6*q + 920 = 0, -4*z = -3*q - 734. Suppose 2*u + z = 1404. Is u a multiple of 52?
False
Suppose 3*m - 26 = -3*z - 8, 4*z - 19 = m. Suppose z*l = 5*p + 80, 24 = 7*l - 4*l + 5*p. Is l a multiple of 5?
False
Let k(j) be the second derivative of j**4/4 - 4*j**3/3 - j**2 + 196*j. Let v be 4/6 + 40/12. Is 7 a factor of k(v)?
True
Let i be (-4731)/(-12) + 5/(-20). Let b = i - 256. Suppose -b - 25 = -2*n - 5*z, -2*n - 3*z + 165 = 0. Does 12 divide n?
True
Let z = -6 + 10. Suppose -4*a - 2*m - 1458 = 0, -2*m + 1443 = -z*a + m. Let d = -195 - a. Is 21 a factor of d?
True
Is -19 + 11074 + 3/(-18)*-6 a multiple of 16?
True
Does 16 divide (105220/(-30))/(12/(-18))?
False
Suppose -8*l + 3*l - 20 = 0, -3*l - 21 = -z. Is 71 a factor of (8236/(-87))/((-2)/z)?
True
Let u(n) = 29*n - 311*n - 5 + 6 - 193*n. Does 34 divide u(-1)?
True
Suppose 9*l + 5 = 41. Suppose 0 = -2*j, -2*g = -0*g + l*j - 10. Suppose -4*h = -0*h - g*q - 219, -5*h = 2*q - 315. Is 10 a factor of h?
False
Does 30 divide (-3 - 21/(-7)) + 9637 - (4 + -10)?
False
Suppose 4*w - 1776 = 4*g, -4*w - w - g = -2238. Suppose 5*z = 5*h - w - 428, 4*h + 3*z = 700. Is 25 a factor of h?
True
Let b(w) = -12*w**2 + 7*w**2 + 6*w + 6*w - 13. Let v(x) = -x**2 - x. Let j(i) = b(i) - 4*v(i). Is j(7) a multiple of 5?
True
Let b(i) = 117*i + 103. Let g be b(-5). Let x = g + 1049. Does 27 divide x?
True
Let q = -7006 - -31342. Is 117 a factor of q?
True
Let y(s) = -6*s + 113. Let i be y(18). Let p be (-818*1)/(3 - 5). Suppose -i*l - 4*h + p = 0, -l - 3*h - h + 69 = 0. Is 16 a factor of l?
False
Let r(d) = 5*d**3 - 4*d**2 + 4*d - 5. Let p(c) = 11*c**3 - 7*c**2 + 8*c - 11. Let m(g) = 4*p(g) - 9*r(g). Let w be m(8). Let y = 26 - w. Does 19 divide y?
True
Let q = -345 + 77. Let m = q + 274. Is m even?
True
Let v be 1/(((-6)/(-8))/((-285)/(-10))). Suppose -32*s - 1440 = -v*s. Is s a multiple of 16?
True
Let f be (3/(-1))/(7 - 312/42). Suppose -2*k + f*k = 4720. Does 51 divide k?
False
Suppose 4*m = 4*x - 0 - 12, 18 = 5*x - 2*m. Is (304 - x)/(-3)*5/(-10) a multiple of 6?
False
Let a(f) = 4*f**2 + 3*f - 4. Suppose h + 3*v = -3, 2*h + 3 = v - 3. Let m be a(h). Suppose 6*i = -5 + m. Is 3 a factor of i?
True
Suppose -4*h + 264 = -m, 8*h - 3*h - 1350 = 5*m. Let p = 776 + m. Suppose 0 = -2*s + 5*s - p. Is s a multiple of 42?
True
Let n be (1 + (-22)/4)*(-3 - 1). Let j be 0 + -2*n/4. Does 22 divide (-1*9)/((8 + -5)/j)?
False
Let o be -2 + (3 - (1 + -4 - -4)). Suppose o = 10*s - 7 - 1273. Is 16 a factor of s?
True
Suppose -45*y - 20*y + 115402 = -663818. Does 74 divide y?
True
Let f(h) be the second derivative of h**4/12 - 19*h**3/6 + 2*h**2 - 22*h. Let p be f(19). Suppose 28 = 2*q - 2*g - 2*g, -p*g = 4*q - 116. Does 3 divide q?
True
Suppose 3*u = 6*u + 2*j - 14, -3*u - 5*j + 17 = 0. Suppose -2*g = -8, -o - 22 = -3*o - u*g. Does 7 divide 9/o + (1 - -8)?
False
Let r = 119721 - 51609. Is 48 a factor of r?
True
Let y = 5121 + -820. Is y a multiple of 23?
True
Suppose -4*r = -4*n - 99616, -10 = 31*n - 36*n. Is 10 a factor of r?
False
Is -2 - (-4788 - (-10 + 8)) a multiple of 46?
True
Suppose -30*f + 102958 = -48362. Does 16 divide f?
False
Let h be -897*1/2*(-22 + -4). Suppose h = 25*l - 12*l. Is 39 a factor of l?
True
Suppose 11105*d - 19404 = 11091*d. Is d a multiple of 16?
False
Suppose -4*o = 3*h - 76247, -h + 152*o = 147*o - 25460. Is 65 a factor of h?
False
Let m(x) = 13*x**3 - 68*x**2 + 131*x + 6. Let z(d) = -3*d**3 + 17*d**2 - 33*d - 1. Let i(c) = -2*m(c) - 9*z(c). Is i(15) even?
True
Suppose 2*q + 5300 = 5*u + 21672, -u = -q + 8183. Does 101 divide q?
True
Let l(a) = -4*a**2 - 113*a + 174. Let s(v) = -v**2 - 28*v + 43. Let c(q) = -2*l(q) + 9*s(q). Is c(-21) a multiple of 8?
True
Let i(t) = 10*t - 17. Let m(b) = -5*b + 8. Let h(l) = -2*i(l) - 5*m(l). Let w be h(5). Let y = w + -13. Does 6 divide y?
True
Let v(b) = -b**3 - 16*b**2 + 2*b + 34. Let q be v(-16). Let p be ((-475)/15)/(q/6). Let f = p - -240. Does 29 divide f?
True
Let f(n) = -220*n - 30. Let g be f(-17). Suppose -24*k = -31*k + g. Does 58 divide k?
False
Let a = -549 - -384. Let x be (-5)/10 + a/6. Does 9 divide 12*((-34)/x - (-10)/35)?
True
Suppose 13 = 3*c - 11. Let k = -14 + c. Does 14 divide (-5 + 402/30)*(-40)/k?
True
Let x(w) = w**2 + w - 33. Let u(m) = m**2 + m - m**2 - m**2 + 3*m - 2. Let g be u(6). Is 20 a factor of x(g)?
False
Let l = -45 - -47. Suppose -5*b = -l*m + 107, -2*b - 174 = -3*m + b. Let r = m + -7. Does 6 divide r?
True
Suppose -126*v - 224 = -130*v. Suppose -29*d - 8397 = -v*d. Does 37 divide d?
False
Suppose -1129635 = -146*m - 19013. Is 150 a factor of m?
False
Let w(y) = -2*y**3 + 50*y**2 + 29*y + 102. Let c be w(25). Suppose 7*g - c + 99 = 0. Is g a multiple of 3?
False
Suppose 135*a - 537965 - 676531 = -192951. Is a a multiple of 47?
True
Let v = 1845 + -830. Suppose 27*d = 26*d + v. Is d a multiple of 14?
False
Let j(h) = -2*h**2 + 2*h. Suppose -5*i = -3*i - 2. Let g be j(i). Does 6 divide g - (-4)/(-18) - (-465)/27?
False
Let f be (-76)/(-133) + (-188)/(-14). Suppose f*h - h = -78. Let k = h + 12. Does 3 divide k?
True
Let l(n) = -n**3 + n**2 + 1. Let v(w) = 9*w**3 + 6*w + 6. Let t(f) = l(f) - v(f). Let o be t(-2). Let y = o + -80. Is y even?
False
Let g = 12 - 9. Let h be 71*g/(3/2). Let p = -58 + h. Is 12 a factor of p?
True
Suppose 46*v = 31*v + 30. Suppose 3*z = v*t + 328, -5*z - t + 3*t + 552 = 0. Is 14 a factor of z?
True
Suppose 27*p - 1804410 = -76*p - 20*p. Does 163 divide p?
True
Suppose o - 5*m = 115 + 883, -2*m - 4 = 0. Is 76 a factor of o?
True
Let r(j) = -8*j**3 + 147*j + 746. Does 13 divide r(-5)?
False
Let v(h) = h**3 + 8*h**2 - 8*h + 17. Let w(m) = m**3 + 6*m**2 - 16*