e
Suppose 2*i + 5*i = 140. Does 3 divide 75/1 + i + -19?
False
Let g(j) = j**2 + 5*j + 2. Let y be ((-143)/66 + 1/2)*3. Let s be g(y). Suppose 0 = -0*k - 2*k + 3*o + 150, 0 = s*k + 2*o - 160. Is k a multiple of 26?
True
Let c(h) = -3*h**3 - 40*h**2 - 626*h + 6. Is 9 a factor of c(-12)?
False
Let b = 349 + -346. Is (4 + 478/2)/(3/b) a multiple of 14?
False
Suppose -2*u + 1690 = -3*j - 38, 3*j = 3*u - 2589. Is u a multiple of 41?
True
Let g(v) be the third derivative of -97*v**4/24 - v**3/6 - 4*v**2. Suppose o - 15 = -4*p, 0 = -4*o - 8*p + 3*p + 16. Does 16 divide g(o)?
True
Let g be ((-1)/2)/((-3)/84). Suppose g*n - 22*n = -3072. Is n a multiple of 12?
True
Suppose 5*a + 225 = -0*a. Let w be (-2)/(33/a + (-4)/(-10)). Suppose -f - w = -81. Does 25 divide f?
True
Suppose -5*p + 15 = -5*r, -9*p + 8*p - 2*r - 9 = 0. Let v(d) = -5*d + 20. Let l be v(-7). Is l + -9 - (-1)/p a multiple of 9?
True
Let o(p) = p**3 + 10*p**2 + 5*p - 21. Let y be o(-9). Is 36 a factor of y*((-9)/((-135)/550) + -3)?
False
Suppose 44*u = 1208039 + 301381. Is u a multiple of 15?
True
Suppose s - 4 = -4. Suppose g - 2*f + f = 8, 5*f = s. Does 4 divide g?
True
Let j(p) = -1015*p - 1236. Is j(-8) a multiple of 26?
False
Let i(y) = -7*y**2 - 19*y + 104. Let x be i(8). Let p = 737 + x. Is p a multiple of 12?
False
Suppose -22*g - 289000 = 39*g - 81*g. Is 34 a factor of g?
True
Suppose -5*t = -4 + 19. Does 8 divide 107 + (-23 - t)/5?
False
Let u = 741 + -663. Suppose -5*i = -3*i - 38. Let g = i + u. Is g a multiple of 29?
False
Suppose -87*o - 696 = -88*o. Let f = 1126 - o. Does 19 divide f?
False
Let g be (0 + -2 + 0)*(-97 + -1). Suppose -2*n + g + 182 = 0. Let s = -21 + n. Does 28 divide s?
True
Suppose b - 3774 = -14*y + 12*y, -4*y - 18870 = -5*b. Suppose -5*v + b + 76 = 0. Does 22 divide v?
True
Let k be 4*-1 - (0 - 1). Let v(b) = 12*b**3 - 13*b**2 - 16*b - 7. Let y(a) = -10*a**3 + 10*a**2 + 14*a + 7. Let s(l) = 4*v(l) + 5*y(l). Does 5 divide s(k)?
True
Let n(y) be the first derivative of y**2/2 + 33*y - 8. Let k be n(-7). Let s = 5 + k. Is 22 a factor of s?
False
Let s(j) = 1. Let b(q) = -59*q + 35 + 38 - 71. Let i(t) = -b(t) + 3*s(t). Is i(1) a multiple of 9?
False
Let t(v) = 6*v - 43. Let y be t(8). Suppose -y*i = 2*i - 294. Does 5 divide i?
False
Is (-17192)/(11 + -25) + 0/(-7) a multiple of 20?
False
Suppose 3*i = 0, 0 = s + 2*i + i - i - 1300. Does 10 divide s?
True
Let x(s) = -s**2 - 43*s - 34. Is x(-21) a multiple of 10?
False
Suppose 0 = -t - 83 + 87. Suppose 26*o = -t*o + 14040. Does 52 divide o?
True
Let o = 27280 + -19384. Is o a multiple of 14?
True
Let s(o) = 10*o + 24. Let k be s(-9). Let l = k - -51. Does 10 divide (2 - (-36)/(-2))*l/2?
True
Let c(n) = n**2 - 99*n - 3937. Is 19 a factor of c(-50)?
False
Let k(u) = -u**2 + 12*u + 12. Let d be k(13). Is 26 a factor of 395 + -5*(2 + d)?
True
Let v(p) = -p**3 - 89*p**2 + 87*p - 65. Is v(-91) a multiple of 44?
True
Let a be (-7)/(42/292)*(-5 - -2). Suppose -140*n = -a*n + 2922. Is n a multiple of 7?
False
Let f(n) = 8*n + 4. Let u be f(1). Is 52 + 2 + 5/((-20)/u) a multiple of 2?
False
Let r = 267 + -309. Let y(s) = 6*s**2 - 8*s + 4. Let w be y(5). Let d = w + r. Is d a multiple of 24?
True
Let o = -26014 + 36598. Is o a multiple of 28?
True
Let i(p) = -8*p**2 + 5*p - 4. Let h(s) = 24*s**2 - 14*s + 11. Let c(q) = 6*h(q) + 17*i(q). Suppose 40*y - 50*y - 30 = 0. Is c(y) a multiple of 19?
False
Suppose -2*t + l + 2468 = -4021, 0 = t + 5*l - 3228. Does 23 divide t?
True
Suppose -52 = -26*g + 22*g. Let m(v) = 2*v**2 + v - 52. Is m(g) a multiple of 13?
True
Is 77 a factor of 4 - ((-10)/15*6 - (-12 - -10084))?
False
Let u(i) = -249*i + 2214. Is 10 a factor of u(-36)?
False
Let f(n) = n**2 + 3*n - 6. Let m be f(4). Suppose 0 = -4*o - 3*i - 27, 6*i + 21 = -4*o + i. Let r = o + m. Is r a multiple of 2?
False
Suppose 9561 = 43*b - 8241. Is 8 a factor of b?
False
Let x(m) = m**2 - 7*m + 12. Let o be x(13). Let d = 94 - o. Suppose -4*a - 2*s + 713 = -3*s, 0 = 4*s + d. Is a a multiple of 53?
False
Let y(i) = -i**3 + 6*i**2 + 24*i + 4. Let u be y(7). Suppose 0 = 3*o - 3*m - 915, -o + 5*m - u = -448. Is 12 a factor of o?
True
Suppose -2*g + 3*q - 2*q = -20, -5*g = -3*q - 52. Is 26 a factor of -5 + 517 + 4 + (g - 4)?
True
Let i(f) = 10*f**3 - 22*f**2 + 135*f + 15. Does 12 divide i(7)?
True
Let i(q) = -q**3 - q**2 + 9*q + 5. Suppose -12*k - 14 = 22. Let o be i(k). Is (-1)/(1*o/100) a multiple of 4?
False
Is (12 + 4 - 10) + 25*746 a multiple of 13?
False
Suppose -137 = -4*f + 111. Let o = f + -58. Suppose -26 = -o*c + 22. Is 6 a factor of c?
True
Suppose 104 = 4*r + 4*l, -4*r + 121 = -3*l + 3. Suppose -4*q = 8 - r. Suppose -3*o = q*t - 117, -4*o + 21 = -4*t + 89. Does 20 divide t?
False
Suppose 0*j - j - 28 = -5*k, 0 = j - 3*k + 38. Suppose 3*l - v = -233, -112 = 4*l + v + 201. Let s = j - l. Does 4 divide s?
False
Let g = 19054 - 16902. Does 269 divide g?
True
Let d = -2 - -4. Let b(i) = -i**3 - 12*i**2 + 5*i - 87. Let n be b(-17). Suppose 5*a + 2*f = n, -a + d*f = 4*a - 1257. Is a a multiple of 37?
False
Is -4*76*(-3 - 531/(-36))*-3 a multiple of 19?
True
Suppose 13*s + f + 36086 = 16*s, 2*s = -4*f + 24076. Does 6 divide s?
True
Suppose 455 = -6*s + 11*s - z, 5*s = 3*z + 445. Suppose -4 = -r - 0*r, 4*a - r = -s. Let n = a + 57. Is n a multiple of 22?
False
Suppose -5*t = 3*q - 46704, 603*t + q = 600*t + 28020. Does 151 divide t?
False
Suppose a - 6*a = 10, -3*o = 5*a + 1078. Let t = -165 - o. Is t a multiple of 18?
False
Suppose 16 = 4*c - 0*c. Let k be 16/(-4)*(-4 - -3). Suppose -c*o + 2*l = -k, 0*l + 19 = 5*o + l. Is o a multiple of 3?
True
Let o(r) = -r**2 - 115*r + 820. Is o(0) a multiple of 5?
True
Let p(v) = 4*v**2 - 4*v - 13. Let r be p(-9). Let n = 514 - r. Is n a multiple of 9?
False
Let h be (-5)/(-1) + (0 - (-3 + 2)). Is 16 a factor of (-1)/(h/8 + 601/(-796))?
False
Let b = 10365 + -2839. Suppose 9*p = b + 160. Is 42 a factor of p?
False
Let n(w) = -2*w**2 - 39*w + 30. Let g be n(-19). Let o = g + -46. Suppose 3*q + 3*d = 645, -2*d - 647 = -o*q - 6*d. Is q a multiple of 19?
False
Let h(z) = -z**2 - 2*z + 20. Let p be h(-5). Suppose -5*j = -p*q + 55, 5*q - 22 = 4*j + 29. Does 8 divide (q/14)/((-1)/(-64))?
True
Let i(y) = y**3 + 10*y**2 + 6*y + 6. Let w be i(-7). Let t be 2*2*w/4*-1. Does 12 divide 2*-1 + (-1 - t)?
True
Let z(w) = 20*w**2 + 141*w + 26. Is z(12) a multiple of 44?
False
Let g be (-4)/20 + 6399/45. Let f = g - -34. Is f a multiple of 11?
True
Suppose 2*o = -2*t + 60752, -91*t + 3*o - 121509 = -95*t. Does 17 divide t?
False
Suppose 4*w + 10*w + 4060 = 0. Does 10 divide (-174)/w - (-3297)/5?
True
Is (34/(-8))/(13 - (-772779)/(-59444)) a multiple of 17?
True
Let n(m) = 33*m**2 + 107*m + 1150. Is n(-10) a multiple of 13?
True
Suppose -713*j + 1371648 = -675*j. Is 47 a factor of j?
True
Let d be 4 + -1 + 220 + -8. Is (1/7 - (-48)/56) + d a multiple of 9?
True
Let s(r) = r + 1. Let l(g) = -7*g - 7. Let z(h) = -l(h) - 6*s(h). Let a(c) = 5*c - 26. Let m(d) = a(d) - 2*z(d). Is m(13) a multiple of 4?
False
Let n(f) be the second derivative of 0 - 1/2*f**3 + 1/12*f**4 - 8*f + 2*f**2. Is n(-4) a multiple of 5?
False
Suppose 2*i - 8 = -2*y, -3*y + 4*y - 3 = -2*i. Suppose 301 = y*j - 794. Let s = j + -141. Is 13 a factor of s?
True
Let p(b) be the second derivative of 6*b - 7*b**2 + 0 + 0*b**3 + 5/12*b**4. Does 51 divide p(8)?
True
Let b = 18916 + 17266. Is b a multiple of 23?
False
Let i be ((-40)/(-8))/((-63)/(-12) - 4). Is 46 a factor of i*(-182)/(-8) + 1?
True
Suppose 843*q - 840*q - 2*t = 10844, t = 4*q - 14462. Does 31 divide q?
False
Suppose -2*f + 6*f + 168 = 0. Let u = f + 51. Is 45 a factor of (-2 + u)*35 - 3?
False
Let g(q) = q**2 - 16*q + 63. Let h be g(11). Let b(k) = -k**3 + 9*k**2 + 8*k - 14. Is 19 a factor of b(h)?
True
Suppose 0 = -3*m + 8*m - 2490. Let u = 1024 - m. Is 12 a factor of u/8 - (-4 + (-114)/(-24))?
False
Suppose -14*z + 45 + 25 = 0. Is ((-20)/2)/(34/(-1547)) - z a multiple of 15?
True
Let w(h) = 782*h**3 + h. Let b be w(1). Is 1 - 5036/(-18) - (-174)/b a multiple of 6?
False
Suppose -44*w + 348418 = 38*w. Is w a multiple of 81?
False
Let n = 7191 + -4986. Does 7 divide n?
True
Let n(m) = -m**3 + 86*m**2 - 1578*m + 63. Does 14 divide n(49)?
True
Let h(i) be the first derivative of 2*i**2 + 