e
Suppose -i + 6*i - 4*g - 51 = 0, -5*g + 5 = 0. Let m(q) = 21*q - 10. Is 17 a factor of m(i)?
True
Does 18 divide ((-644)/84)/((-4)/3780)?
False
Suppose 0 = 20*g - 17*g - 12. Suppose o - 25*d = -23*d + 89, -5*o + g*d = -469. Is o a multiple of 16?
False
Let h(j) = 16*j**2 - 743*j + 262. Does 15 divide h(77)?
False
Let b(i) = 38*i - 161. Let o be b(14). Let a = o + 130. Is 32 a factor of a?
False
Let m(a) = a**3 + 59*a**2 - 471*a - 21. Is 23 a factor of m(-65)?
True
Let j be (1 - 0)*422 - (-2)/(-2). Suppose -3*u = -f - 5*u + j, -2*f = u - 848. Is f a multiple of 28?
False
Let x be (6/1)/((-4)/(-90)). Let t be x/(-30)*(0 - (-2)/(-3)). Suppose 26 = -t*o + 4*o - 5*j, j + 142 = 4*o. Does 12 divide o?
True
Let i(m) be the first derivative of -m**4/2 + m**3 + 4*m**2 + 26*m + 17. Is i(-4) a multiple of 10?
True
Suppose -4*l - 4*o = -480, 12*l = 13*l - 4*o - 110. Is 3 a factor of l?
False
Suppose 23 = -8*f + 183. Suppose 5*n - 4*o = -11, 4*n - 2*o = -6*o + f. Is 5 a factor of 0 + -1 + n + 104?
False
Let b(z) = -816*z + 52. Let m be b(-8). Suppose 5*o = 4*l + m, o - 9*l = -13*l + 1340. Is 44 a factor of o?
True
Does 10 divide 2518 - -29 - (-1)/4*-4?
False
Suppose 4*v = 269*y - 266*y + 6969, 2*y + 1746 = v. Is v a multiple of 5?
True
Suppose -z = -2*z + 951. Let m be z/21 - (-2)/(-7). Suppose m = w - 23. Is 17 a factor of w?
True
Let l(r) = 5*r**2 - 68*r + 33. Let g be l(14). Does 54 divide 386 - g - 2/2?
True
Let a = 340 + -720. Is 9 a factor of ((-36)/(-15))/((-8)/a)?
False
Let r be (-3)/((-12)/42 - 257/(-826)). Let p = -33 - r. Is p a multiple of 33?
False
Suppose -2*t = 2*h - 11794, 0 = -3*t - 36*h + 31*h + 17685. Is 5 a factor of t?
True
Let h = -44 + 44. Is h + (-24)/(-4) + 319 a multiple of 11?
False
Suppose -50*d + 64943 = -171786 + 20729. Does 45 divide d?
True
Suppose -j + 26 = 12*j. Let x = -26 - -44. Suppose -x = -j*v + 36. Is 10 a factor of v?
False
Let l be 4 - -18*(-1)/(-2). Suppose d + l = 14. Is 25 a factor of d/(-5) + (-3126)/(-30)?
False
Let a(p) = 12*p**2 + 23*p - 628. Does 22 divide a(-30)?
True
Suppose -12*p = 3*a - 14*p - 370, -585 = -5*a - 3*p. Is 6 a factor of a?
True
Let q(v) = 19*v - 3. Suppose -4*o = -h - 13 + 2, -3*h = -o. Is q(h) a multiple of 4?
True
Let k = 2502 - 98. Suppose -13*o + 7762 + k = 0. Is o a multiple of 31?
False
Let s = 552 - 522. Suppose -276 = -5*n + d, -5*n - 41 + 315 = d. Suppose -3*a - 5*u = -u - s, -5*a - 5*u + n = 0. Is 8 a factor of a?
False
Let y be (35/40)/(-4*(-4)/128). Is (-7)/y - 1660/(-4) a multiple of 69?
True
Let a(b) = 9*b**2 + 340*b - 137. Is 6 a factor of a(-43)?
True
Let b(a) = 3*a + 51. Let s be b(21). Let o = s + -112. Suppose -v = 3*f - 41, o*v - 7*v = 3*f - 49. Is f a multiple of 3?
False
Let f be (-13)/5 + 4 + (-2)/5. Let w be (f - 3)*(-4)/(-8)*-4. Is 35 a factor of (-6)/w - (5295/10)/(-3)?
True
Let z(h) = -2*h**3 + 5*h + 3. Suppose -2*m + 6*m - 20 = 0. Suppose -2*t + 11 = -5*d - 11, -m*d - 3*t = 17. Is 38 a factor of z(d)?
False
Let g be 5/((-105)/(-2401)) + 2/3. Let o = 117 - g. Does 12 divide ((-1680)/50)/(o/(-15))?
True
Let d(x) = -x**3 + 61*x**2 - 2*x + 296. Is d(60) a multiple of 59?
True
Is 3 a factor of (4 - 2)/(2/(-1682))*(-1197)/342?
False
Let u(q) = 1889*q + 7. Let f be u(4). Suppose -25*r + 72 = 22. Is (r/5)/(f/1080 - 7) a multiple of 7?
False
Suppose -7*t + 14*t = 5985. Suppose 4*f + 1005 + 423 = 5*x, t = 3*x - 3*f. Does 36 divide x?
True
Does 16 divide (1120/(-3))/((-51)/612)?
True
Let t(w) = -w**2 - 16*w + 39. Let q be t(-18). Is 25 a factor of (-400)/(-6)*-12*q/(-16)?
True
Is 11 a factor of (-1686)/(-3091) + (-1 - 42608/(-11))?
False
Suppose -2*h - 7 = -15. Suppose -h*u - 3*u = -742. Suppose u*b = 101*b + 230. Is b a multiple of 8?
False
Suppose -10*f - 8*f - 67*f = -113050. Is f a multiple of 70?
True
Suppose 2*w = -4*z + 34, -44*z + 39*z - 94 = -4*w. Does 6 divide 10218/42 + (-6)/w?
False
Let p be 1*(-1)/2 + 5/2. Suppose p*m + 4*c = 106, -49 = 2*m - 3*m + 2*c. Let w = -33 + m. Does 2 divide w?
True
Let l(b) = 121*b - 256. Does 38 divide l(4)?
True
Suppose -3*f + k + 398 = -3*k, -4*k = 3*f - 382. Suppose -z = -2*q - f - 95, 5*z - 1125 = -q. Does 15 divide z?
True
Suppose -22761 = -3*r + 3*n, -1781 + 9350 = r + n. Does 47 divide r?
False
Let u be (-10)/(-3)*35/(1400/7584). Let l = u - 28. Does 6 divide l?
False
Let k = 133 + -129. Suppose 10*q + 634 = 3*s + 8*q, -2*s + k*q = -428. Does 50 divide s?
False
Let l(c) = 4*c - 14. Suppose -z - 1 = -0, 5*p - 2*z - 22 = 0. Let y be l(p). Is 14 a factor of (-7)/(1*(-1)/y)?
True
Suppose -3*d + 85 = 316. Let k be d/2 + ((-7)/(-2))/7. Let o = k + 94. Does 20 divide o?
False
Suppose 5*k + 80 = -5*y, 4*k - 2*y = 5*k + 11. Does 43 divide (1290/(-9))/1*k/14?
True
Suppose 4*r - 1274 = -3938. Let f = r - -860. Is 12 a factor of f?
False
Let i(w) = 5*w + 1878. Let s be i(0). Let d = s - 1123. Is 32 a factor of d?
False
Suppose 45*f = -229*f + 6930556. Does 13 divide f?
False
Let p(b) = 110*b**2 + 124*b - 2. Is p(-2) a multiple of 190?
True
Let w(x) = 10*x**2 + 11*x + 22. Does 4 divide w(6)?
True
Let l(r) = -1176*r + 774. Is l(-8) a multiple of 122?
False
Let j(y) = y**3 - 21*y**2 - 54*y - 110. Does 44 divide j(33)?
True
Let n = -41 - -45. Suppose -l + 3*k = -10, 4*l - n = l - 4*k. Suppose 0 = 3*d + l*p - 153, -4*p = d - 3*d + 82. Is d a multiple of 4?
False
Let j(q) = -3*q - 19. Let i be j(20). Let w = i + 84. Suppose 2*p - 339 = -w*s, -2*s + 5*p + 15 = -109. Is s a multiple of 11?
False
Let n = -5 - -125. Does 3 divide 8980/n + (-1)/(-6)?
True
Let l = -488 + 722. Suppose -l = -4*k + 2*d, 9*d + 5 = 4*d. Does 3 divide k?
False
Let c = -13329 + 19685. Is c a multiple of 41?
False
Suppose 2*x + 10 = 5*u, 5*u + 0 - 10 = -2*x. Suppose -u*y - 2*w + 1180 = 0, 0*y - 1772 = -3*y - 5*w. Is 22 a factor of y?
False
Let t be (-10 - -10)*5/15. Suppose -15*m - 41*m + 84560 = t. Is m a multiple of 50?
False
Let q(g) be the third derivative of g**6/120 - 2*g**5/15 - g**4/12 - 3*g**3/2 + 34*g**2. Let x be q(6). Does 31 divide 4 - 5 - (x - 1)?
True
Let f = 45745 + -20881. Is 28 a factor of f?
True
Let w(a) be the second derivative of -a**5/20 + 3*a**4/4 - a**3 - 5*a**2 + 4*a. Let u be w(8). Suppose 0 = 4*l - u*l + 126. Is 21 a factor of l?
True
Let g(y) = 120*y**3 - y**2 - 4*y + 4. Let m be g(1). Suppose 6*h - 5*p = 7*h - m, 0 = p. Is 17 a factor of h?
True
Suppose -2*l + 3 = -3. Let p be 32/8 - (-54)/l. Suppose -h - 5*d + p = -19, 2*d = 4*h - 76. Is h a multiple of 7?
True
Suppose 14 + 34 = 8*b. Let h be (2*3/b)/(6/30). Suppose -3*g = 4*v - h*v + 297, -5*v - 3*g = -1431. Is 32 a factor of v?
True
Suppose -4*i = 12, -8*a + 5*i + 25 = -6*a. Suppose -a*r = -11*r - 6. Let d(l) = 20*l**2 + 1. Is d(r) a multiple of 11?
False
Suppose -2*i - 24 + 28 = 0. Suppose -12 = -2*c - i*c. Suppose c*b = -5*w + 71, -b + 3 + 21 = 2*w. Does 11 divide b?
True
Let a(h) = -19*h + 2218. Is 7 a factor of a(90)?
False
Let r = -505 + 902. Suppose 0 = -2*c + 3*m + 452, -4*m + r = 3*c - 264. Is c a multiple of 39?
False
Let j = -5220 + 9290. Is j a multiple of 9?
False
Suppose 0 = j - 0*j - c - 551, 1123 = 2*j + 5*c. Let a = 1175 - j. Is a a multiple of 69?
True
Let g(o) = o**2 - 2*o + 1. Let c be g(1). Suppose 5*j + 25 = 5*a - c*a, 2*j = -a + 2. Let p(w) = 11*w + 1. Is p(a) a multiple of 9?
True
Suppose 2500 = 4*u - 2*z, 5*u - 4*z + 921 = 4040. Let d = u + -218. Is 19 a factor of d?
False
Suppose -269 = -42*k + 319. Suppose 16*q - 836 = k*q - 4*x, 6 = -2*x. Is q a multiple of 10?
False
Let i be 3/10*4 - (-5)/(-25). Is (-10)/15 + i - (-761)/3 a multiple of 20?
False
Is (2 - 2) + 159 + -155 - (1 + -2364) a multiple of 24?
False
Suppose -29*w + 60106 + 9794 = 880. Does 101 divide w?
False
Let w = 91112 - 53263. Is 13 a factor of w?
False
Suppose 7*f - 121 - 187 = 0. Suppose -5*r + 2*r = -2*u - 32, 3*u = -12. Let k = f - r. Is 9 a factor of k?
True
Let k(v) = 4*v**2 - 5*v**2 - 1 + 4*v**3 + 3*v + 0*v**3 - 1. Let d be k(1). Suppose 66 = d*i + 2*y, 2*i = -0*y + y + 43. Is i a multiple of 17?
False
Suppose 95 + 61 = -2*n. Suppose 36*m - 506 = -2630. Let d = m - n. Does 17 divide d?
False
Suppose 4*q - 360 = -m, 3*q + 4*m = 5*m + 263. Let v(n) = -56 - n - q + 176. Is v(-21) a multiple of 13?
True
Suppose -4*f - 6 = -7*f + h, -2*h + 2 = f. Is 5445/33*(f - (-8)/(-5)) a multiple of 10?
Fal