e 2*f - 4*r = -2*r + n, 129 = f + 5*r. Is f a multiple of 9?
True
Suppose 2254 = 9*p - 8*p - 2858. Does 142 divide p?
True
Let b(f) = f**2 - 10*f + 5. Let h be b(-2). Is (h + -21)*(-2 - (-255)/12) a multiple of 11?
True
Suppose l - 163 = -16. Suppose 14*w + 5 - 131 = 0. Let p = w + l. Does 13 divide p?
True
Suppose -825 = -2*o + 465. Is 9 a factor of o/24 - (-12)/96?
True
Let n be (6 + 48/(-9))/((-2)/9). Let c(t) be the third derivative of -t**6/40 + t**4/4 + 7*t**3/6 - t**2. Does 7 divide c(n)?
True
Suppose -8*x + 1 = -15. Suppose 5*k - x*k + f = 634, -3*k - 2*f = -635. Suppose 5*s = 4*v + k - 646, -s = -v + 110. Is v a multiple of 13?
False
Let q = -92 - -84. Is 6 a factor of ((-3056)/q)/((-4)/(-2))?
False
Let p(s) = -20*s + 3596 + 3*s**2 - 3596 + 0*s**2 + 7*s**2. Is 10 a factor of p(3)?
True
Let o(l) = 123*l**2 - 5*l + 8. Let s be o(2). Let h = s - 340. Is 18 a factor of h?
False
Is 29 a factor of 51968/280*(-275)/(-10)?
True
Let a(i) = -i**2 - i + 8. Let w be a(-6). Let g = -32 - w. Is 10 a factor of (-4)/1 + (-240)/g?
True
Does 51 divide ((-82236)/(-24) + 8)*2?
False
Let d(u) = -6*u + u**2 - 10 + 19*u - 8*u. Is 3 a factor of d(3)?
False
Suppose -5*h - 5*a + 6*a - 743 = 0, 749 = -5*h + 3*a. Let f = -113 - h. Suppose 0 = 2*z - 23 - f. Does 3 divide z?
False
Suppose -w = 3*c - 5*c - 938, 0 = 4*c - 16. Does 18 divide w?
False
Let a = 9354 - 6129. Is a a multiple of 75?
True
Let c = -21 - -30. Suppose -7*g = -c - 5. Let n(x) = 24*x**2 - 8*x + 11. Is 15 a factor of n(g)?
False
Let u = -82 - -90. Let d(h) be the first derivative of -h**3/3 + 11*h**2/2 - 17*h + 2. Is 7 a factor of d(u)?
True
Let t(m) = -m**2 - 39 - 6*m - 12*m + 12 + 0*m. Let l be t(-10). Let a = l + 8. Is a a multiple of 9?
False
Suppose -31*l = -29*l - 1230. Suppose 13*v = 8*v + l. Does 61 divide v?
False
Let y(f) = -18*f - 21. Suppose 0*v - a + 16 = -4*v, 3 = -3*v + 3*a. Is 63 a factor of y(v)?
False
Let r = -2038 - -4029. Suppose -r = -8*x + 4033. Does 15 divide x?
False
Let c = -1780 - -3640. Is 31 a factor of c?
True
Let f = 14037 + -7677. Does 59 divide f?
False
Let o be (-10)/(-2)*(-11)/33*-3. Does 23 divide 64/160 + 228/o?
True
Let a(x) = x**3 + 9*x**2 + 7*x - 1. Let i be a(-7). Let z(s) = -i*s + 21*s + 19*s. Is z(-7) a multiple of 28?
True
Is 59 a factor of 15/(-6) + (-20346)/(-4)?
False
Suppose -954 - 220 = -5*y + 2*p, 0 = -5*y - 5*p + 1125. Suppose 3*k - 14 - 1 = 0. Suppose -y = -k*f + 118. Does 5 divide f?
True
Let n(p) be the third derivative of p**8/20160 - p**7/5040 - p**6/72 + 11*p**5/60 + 4*p**2. Let i(d) be the third derivative of n(d). Is i(-5) a multiple of 20?
True
Suppose -4*d + 171 + 259 = 2*w, 3*d = -w + 320. Let f = d - -86. Does 14 divide f?
False
Let i(q) = 2*q**3 - 9*q**2 + q + 3. Let o(g) = -g**3 - 6*g**2 - 6*g - 5. Let f be o(-3). Let j be f + 18 + (-4)/(-2). Is i(j) a multiple of 28?
False
Let s(a) = 3*a**2 + 21*a + 2. Let g be s(-7). Let m(h) = -3*h + 5 + 0 + 4*h + 2*h. Is 8 a factor of m(g)?
False
Suppose -558 = 5*u - 408. Let k(g) = -34*g - 61. Does 73 divide k(u)?
False
Let v(j) = 3*j - 8. Let l be v(13). Suppose -5*z + 9 = -l. Suppose -z*f = -52 - 76. Does 4 divide f?
True
Suppose 125*j - 435*j + 67019 + 857401 = 0. Does 7 divide j?
True
Let w(j) = 5450*j**2 - 9*j + 10. Is 113 a factor of w(1)?
False
Suppose 46*c - 136*c = 241*c - 2216707. Does 2 divide c?
False
Let z(v) = -4*v + 17. Let j be z(3). Suppose 5 = -j*r, -3*u - 4*r - 53 = -202. Does 6 divide u?
False
Suppose -7*j + 41 - 27 = 0. Suppose -p - 5*x + 70 = 0, -18 = -4*x + j. Is 3 a factor of p?
True
Suppose -56 - 72 = -4*k. Suppose k*p = 47*p - 1050. Is 10 a factor of p?
True
Let y(f) = 2*f**3 - 4*f**2 + 13*f + 12. Let k(v) = v**3 + v**2 - v. Let r(p) = 2*k(p) + y(p). Is 15 a factor of r(6)?
True
Suppose 0 = -11*d + 17*d - 564. Suppose 10 = -14*w + d. Is w a multiple of 6?
True
Let f = 243 + -239. Is 18 a factor of ((-21)/6)/(f*3/(-264))?
False
Suppose 0 = 21*m - 72 + 51. Let o(v) = 468*v**3 + 3*v**2 - 7*v + 4. Is o(m) a multiple of 78?
True
Let a(p) = -198*p + 43. Let v be a(2). Let s = v - -834. Does 37 divide s?
True
Suppose -4*j = -0*j. Suppose -2*n = 2*n + 5*g - 75, j = -g - 5. Let y = 5 + n. Does 6 divide y?
True
Let i = 21434 - -824. Does 24 divide i?
False
Let h(p) = 19*p**2 + 24*p - 259*p**3 + 127*p**3 + 131*p**3 - 48. Let u be h(20). Suppose -28 = -5*d + 2*c - 0, 4*d = 4*c + u. Is 2 a factor of d?
True
Suppose -5*u - 15 = 5*k, 6 = -u + 7*k - 5*k. Is 4 a factor of (-55)/(u - 7) - (-84)/2?
False
Suppose 13*p - 421755 - 5577 - 162868 = 0. Does 19 divide p?
False
Let g(y) = 16 - y**3 + y + 14 + 3 + 8. Let s be g(0). Let i = 120 - s. Does 9 divide i?
False
Suppose 79*b + 35*b - 1978214 = -496442. Does 134 divide b?
True
Let i(p) = p**2 + p + 1. Let u(m) = 3*m**2 + 45*m - 10. Let w(y) = 5*i(y) - u(y). Let a be w(20). Is 18 a factor of (-365)/(a/(-3)) + -3?
False
Let o(r) = -446*r - 1008. Does 118 divide o(-21)?
False
Let s(b) = 9843*b - 1302. Does 81 divide s(4)?
True
Let j be ((-425)/51)/(1/3). Let b = 122 - j. Is 4 a factor of b?
False
Let b = 125 - -78. Let o = 282 - b. Does 60 divide o?
False
Suppose -2*i - 7*c + 671 = -6*c, -333 = -i + 2*c. Suppose -13*o = -1381 - i. Is o a multiple of 22?
True
Let l = -6 - -11. Suppose -3*q - 2*q - 5 = 0, 506 = 5*p + 4*q. Is 8 a factor of p/10 - (-4)/l?
False
Suppose 4*b - 11 + 3 = -4*o, -o - 5*b = 18. Suppose 52 = o*x + 17. Suppose -11 = x*s - 56. Is 9 a factor of s?
True
Let x(h) = -5*h - 5 + 14 - 8 + 15*h**3. Suppose 0 = -4*b - b + 10. Is 32 a factor of x(b)?
False
Let w be 4/(-5 - -6) + 79*3. Let v = -180 + w. Is 15 a factor of v?
False
Suppose 5*r - 9502 = 2*r - 5*a, 3*r - 9467 = 2*a. Is r a multiple of 13?
True
Let b(c) = 2*c**2 + 9*c - 24. Let u(w) = -w**2 - 20*w + 10. Let i be u(-6). Let v = i - 106. Is b(v) a multiple of 35?
False
Let w = 109 + -112. Is 9 a factor of w + 1 + (-562)/(-2)?
True
Suppose 4*w + 3184 - 38076 = 0. Is w a multiple of 31?
False
Let u(m) = 30*m**3 + 3*m + 7. Let q(z) = -29*z**3 - 3*z - 6. Let g(i) = 5*q(i) + 4*u(i). Let c = -303 - -301. Does 36 divide g(c)?
False
Suppose -45*p + 44*p = -w + 3015, -5*w - 2*p = -15082. Let q = w - 2074. Does 6 divide q?
True
Let l = 5006 - -18860. Is 44 a factor of l?
False
Let z(s) = s**3 - 12*s**2 + 16. Let o = 188 - 124. Suppose 0 = -59*l + o*l - 60. Is 8 a factor of z(l)?
True
Suppose -11 + 23 = 4*g. Let a be 1 + g + 8/4. Is 7 a factor of 175/a - (-4)/(-24)?
False
Suppose 37*b = 19*b + 50634. Is b a multiple of 29?
True
Let j = 13444 + -9595. Suppose y - 1927 = -2*f, -5*y = 4*f - 8*y - j. Is f a multiple of 9?
True
Let k(p) = 175*p - 85. Let n be -1*16*(-10)/40. Is 28 a factor of k(n)?
False
Let z(o) be the second derivative of o**3/3 + 87*o**2/2 + 6*o. Let h be z(0). Let g = 215 - h. Does 30 divide g?
False
Let u(r) = -r**3 - 10*r**2 - 22*r + 4. Let d be u(-9). Suppose 0 = 4*b + 3*o - 0*o + 81, -d = 4*b - 5*o. Let v = 20 - b. Is 11 a factor of v?
True
Let d be (52/(-6))/((-24)/(-72)). Let v be 110/(-4)*(-32)/10. Let k = v + d. Does 27 divide k?
False
Let u = -3207 - -4687. Is u a multiple of 74?
True
Let n(p) = 1 - 405*p**3 + 106*p**3 - 4*p - 4 - 2*p**2. Is 9 a factor of n(-1)?
False
Let q = -3641 + 4754. Is q a multiple of 7?
True
Let j(m) = 3*m**2 + 44*m + 1266. Is 19 a factor of j(-47)?
False
Let s(j) be the first derivative of 28*j**3/3 - 2*j**2 + 16*j - 213. Is s(5) a multiple of 64?
False
Suppose 0 = 3*g - 15*g + 1560. Let j = -106 + g. Does 16 divide (j*4)/((-12)/(-18))?
True
Let t(s) = -5*s - 30. Let b be t(-7). Let w = -7 + b. Is w/(-3) - (-154)/3 a multiple of 9?
False
Let l be (9/27)/(1/(-12)) - -59. Suppose l*b - 100 = 51*b. Is 25 a factor of b?
True
Suppose m = -s + 233, -3*m + 0*s + 679 = -s. Let l be m/(-54) + 4 + (-2068)/9. Let y = -130 - l. Is y a multiple of 25?
True
Does 8 divide (-16)/296 - (-1775338)/74?
False
Let v = 6846 - 2382. Does 53 divide v?
False
Let r(c) be the second derivative of -11*c**3/6 - 19*c**2/2 - c + 71. Does 8 divide r(-25)?
True
Suppose 0 = 4*y - 5*y + 581. Let p = y + -231. Suppose -b + 8*b = p. Is 10 a factor of b?
True
Let y = 259 - 253. Is (-663)/y*(5 + -9) a multiple of 17?
True
Let w(v) = 0 - 17 + 13 - 75*v. Does 37 divide w(-4)?
True
Let t = 7622 + -4802. Is 20 a factor of t?
True
Suppose 4*d = -5*z + 5*d - 12, -4*z = 5*d 