be a(1). Suppose -m - 28 = -3*y. Is 10 a factor of y?
True
Suppose 7*l - 5*l = 2. Suppose t - l - 163 = 0. Is t a multiple of 4?
True
Let q(v) = v**3 - 4*v**2 + 3*v. Let w = 18 + -16. Suppose -3*p - m + 16 + 3 = 0, -w*m = -4*p + 12. Is 20 a factor of q(p)?
True
Suppose -3*k = -2*k. Suppose -3*i - 4*i = k. Suppose i*c - c + 172 = 0. Is 43 a factor of c?
True
Suppose 0 = -r + 5, 2*b - 30*r + 28*r = 6. Let u = 275 - -25. Suppose -u = 4*g - b*g. Is g a multiple of 11?
False
Let o = -3648 + 6337. Does 23 divide o?
False
Suppose -6*a - 11*a + 13600 = 0. Let t = a + -140. Is 55 a factor of t?
True
Let h(o) = 11*o + 332. Let c be h(-49). Let t = 74 - -239. Let k = t + c. Is 33 a factor of k?
False
Let t be (4 - (14 - 6)) + -223. Let j = t - -241. Does 13 divide j?
False
Does 117 divide (-17381)/382*(-1584)/14?
True
Let d(l) = -166*l + 12767. Does 20 divide d(0)?
False
Suppose -3*g - 12 = 0, 34 = -b - 5*g + 6. Let n be 1401/6 - (-12)/b. Suppose 3*l - 80 = n. Is l a multiple of 21?
False
Does 61 divide 10*(-19124)/(-70) - -13?
True
Suppose -50*y + 53640 = -40*y - 43100. Does 5 divide y?
False
Let m(y) = -y**3 - 29*y**2 + 82*y - 72. Does 20 divide m(-39)?
True
Let f be (-63 - -63)/((-1)/(-2)*2). Let x(g) be the second derivative of -g**4/12 - g**3/3 + 59*g**2 + 2*g. Is x(f) a multiple of 15?
False
Suppose -30*g - 17*g + 175600 = -7*g. Is 5 a factor of g?
True
Let z be ((-16)/3 - -6) + 4974/(-9). Let r = -465 - z. Is r a multiple of 19?
False
Suppose -14*n - 16*n = -120. Let z(i) = 21*i + 9. Let x(g) = 20*g + 10. Let w(y) = 3*x(y) - 2*z(y). Is 28 a factor of w(n)?
True
Let y = 11620 - 1396. Does 144 divide y?
True
Let g be (-14658)/49 - ((-6)/(-7) + -1). Let r = g - -388. Does 16 divide r?
False
Suppose 2*u + 3*u - 2*a = 43, -4*a - 32 = -4*u. Suppose 0 = -4*c - t - 31, -4 = -2*t - 2*t. Let l = u - c. Is 2 a factor of l?
False
Let w(u) = 150*u - 6479. Does 162 divide w(94)?
False
Let w(f) = 8344*f**2 + 74*f - 74. Does 7 divide w(1)?
True
Let v(y) = -y**3 - y + 1. Let b = -61 + 60. Let a(u) = -2*u**3 - 10*u**2 + 2*u + 10. Let w(j) = b*a(j) + v(j). Does 11 divide w(-9)?
True
Suppose 302554*c - 302567*c + 748176 = 0. Is c a multiple of 52?
False
Let i be (-2 + -4 + 5)*0. Is 52 a factor of (-60 - i)*20/(-5)?
False
Suppose 296*h - 1270997 = 86*h + 135793. Does 29 divide h?
True
Let a(v) = 4*v - 25. Let g be a(7). Suppose -4*b + g*b = -d - 38, 3*b = -2*d + 104. Is 9 a factor of b?
True
Suppose q = 5*x - 87103, -39*x = -40*x + 2*q + 17426. Does 134 divide x?
True
Is ((-20082)/(-9))/(6/9) a multiple of 7?
False
Let d be 27/2 - 2 - (-13)/26. Let c be (-11)/(-3) + d/(-27)*-3. Does 12 divide 80*c/(40/6)?
True
Suppose 0 = 4*t - 1770 + 170. Suppose -390 = 4*j + b, -4*j + 2*b + 2*b = t. Let s = 117 + j. Is s a multiple of 19?
True
Suppose -101 - 179 = -o. Suppose 6*z - o = 13*z. Is 16/z + 622/5 a multiple of 30?
False
Let n(j) be the third derivative of -j**4/24 + 5*j**3/3 - 2*j**2 + 3*j. Does 5 divide n(5)?
True
Suppose 4*n + 189 - 509 = 0. Let y be 4 - (-3)/(15/n). Suppose 17*z = y*z - 102. Is z a multiple of 9?
False
Suppose y - 8 = -3*y. Suppose 6*k + 3*g - 3 = y*k, -5*k + 21 = -2*g. Is 96 + 6 + 9/k a multiple of 12?
False
Suppose -13*n = -24314 - 36201. Does 19 divide n?
True
Suppose 496*h = 507*h - 36795. Is h a multiple of 88?
False
Suppose -271*x + 9427 = -260*x. Is 19 a factor of x?
False
Let d(o) = 98*o**2 - 12*o + 122. Is d(6) a multiple of 22?
False
Suppose -5*p + 87180 = 3*j, 34*p = 29*p - 30. Is 285 a factor of j?
True
Let w(s) = -3*s + 5. Let y(j) = -13*j + 19. Let i(l) = -9*w(l) + 2*y(l). Let a be i(4). Is 165*(10/15 + (-1)/a) a multiple of 12?
False
Is 18 a factor of 5938 + (7/((-42)/24))/(-2)?
True
Let h = -78 + 82. Suppose 0 = -s + h, -s + 5 + 19 = 5*p. Suppose -p*o = 5*z - 0*o - 646, 0 = 4*z - 4*o - 488. Is 18 a factor of z?
True
Let f = 4831 + 9913. Does 76 divide f?
True
Let g(j) = j**3 - j**2 - 2*j + 10. Let t(l) = l**3 + 5*l**2 + 3. Suppose -72 = 5*x - 47. Let i be t(x). Does 8 divide g(i)?
False
Let g(w) = -w**3 - 5*w**2 + 14*w + 2. Let j be g(-9). Let v = -128 + j. Does 4 divide v?
True
Let d(b) = -19*b + 31. Let k(v) = 38*v - 64. Let g(c) = 7*d(c) + 3*k(c). Is g(-10) a multiple of 12?
False
Is (-80990)/267*(-126)/5 a multiple of 84?
True
Suppose 0 = -24*l + 9*l - 135. Does 16 divide -2*8*((-18)/l)/(-1)?
True
Let l(u) = 3*u - 1. Let t be 2/((84/(-245))/(-6)). Is l(t) a multiple of 2?
True
Let z(v) = 5*v - 122. Let b be z(26). Suppose -13*t + b*t = -1815. Does 8 divide t?
False
Suppose -5*v + 2*f + 17131 = -8997, 5*f - 26135 = -5*v. Is 78 a factor of v?
True
Suppose 7*z = 26*z - 72477 + 486. Is z a multiple of 3?
True
Let f(i) be the first derivative of 25*i**2/2 - 3*i + 8. Let t be (-2)/3*(-3 + (-12)/(-8)). Is 16 a factor of f(t)?
False
Let b = -7472 + 9642. Is b a multiple of 13?
False
Suppose 0 = -n - 3*t + 2*t, -n + t = -8. Let x = -4404 - -4286. Is 24 a factor of -1*(x - n) - 2?
True
Suppose -4*b + o = -7, -4*b + o + 3 = -2*b. Suppose 0 = 3*r - b*z + 627 - 2300, -r = 2*z - 547. Is 21 a factor of r?
False
Let j = 529 - 526. Is 4 a factor of 8 + 140 + (-24)/j?
True
Let n be ((-1206)/(-27))/(10/195). Let w = 1288 - n. Is 12 a factor of w?
False
Is 28 a factor of 299160/48*(-8)/(-10)?
False
Suppose -2*i - 2*p + 14422 = 0, -5*i - p + 13692 = -22347. Does 14 divide i?
False
Let k(i) = -7*i - 1. Let c be k(-19). Let d = c + -128. Suppose 4*z + v - 48 = d*v, 3*z = 5*v + 25. Is z a multiple of 7?
False
Let u(q) = q**2 - 9*q + 16. Let g be u(2). Suppose -g*p + 8*p - 2730 = 0. Is 77 a factor of p?
False
Let x = 83 + -98. Let m be -2 - (-32)/12 - x/(-9). Is 190 + (-1)/m*-5 a multiple of 16?
False
Let q = 33 - 36. Let d be (q/(-6)*4)/((-6)/39). Let w(x) = -3*x + 18. Is 7 a factor of w(d)?
False
Let u(y) = -7*y + 116. Let q be u(16). Is 9 a factor of (2/5)/(q/2600)?
False
Let y be 1155/(-539) + 12/(-14). Does 35 divide 4 - (15 + y - 2) - -1336?
True
Let l = 30573 - 16353. Is l a multiple of 158?
True
Suppose 0 = 19*q - 18*q - 470. Suppose 4*u + q - 1400 = -3*y, -1515 = -5*y + 5*u. Is 9 a factor of y?
True
Let m be (-12)/(0 + -6) - 3. Is 33 a factor of (74*4/(-8))/(m/7)?
False
Let o(l) = -10*l**3 + 2*l**2 + 2*l + 2. Let r be o(-1). Suppose -u = 3*p - 34, -3*u + 2*p + 158 = r. Let z = u + 80. Is 9 a factor of z?
True
Let c(x) be the first derivative of x**2/2 - 5*x - 17. Let j be c(5). Suppose -d + 63 - 48 = j. Is d even?
False
Let s = 6 - 1. Suppose -2*b + v + 766 = 121, -4*b + s*v = -1287. Is 19 a factor of b?
True
Let h = 798 - 804. Is (h/10)/(4/(-13860)*7) a multiple of 12?
False
Let k(l) = -108*l**3 - 17*l**2 - 9. Let a(z) = -54*z**3 - 8*z**2 - 4. Let w = -44 - -31. Let m(o) = w*a(o) + 6*k(o). Is m(1) a multiple of 9?
True
Does 14 divide ((-20)/(-12) + 5)*43380/120?
False
Let i = 74 - 70. Does 53 divide ((i - 3) + -2)*-347?
False
Let n be 4 + (-76)/16 + 1057/(-4). Let j = 565 + n. Let b = j - 71. Is b a multiple of 22?
False
Let l(c) = -6*c**2 - 6*c + 1. Let v(a) = -18*a**2 - 17*a + 2. Let r be (3/4)/(13/(-52)). Let t(k) = r*v(k) + 8*l(k). Does 4 divide t(-2)?
True
Let a = -4641 - -4976. Does 67 divide a?
True
Let z = -10 + 13. Suppose 0 = -0*m - z*m. Suppose 122 = -m*f + 2*f - 2*t, -4*t = f - 66. Is f a multiple of 13?
False
Suppose 12*j - 8*j = 16, -2*y - 2*j + 458 = 0. Let l = -81 + y. Does 20 divide l?
False
Let u be (-1)/(-2) + (-729)/6. Suppose 3*j + 5*l = l - 660, -855 = 4*j - 3*l. Let f = u - j. Is f a multiple of 19?
True
Let t(d) = -20*d - 22. Let h be t(6). Let i = -34 - h. Does 5 divide i?
False
Let l(g) be the third derivative of g**4/24 + 13*g**3/3 + g**2 + 103*g. Suppose 0 = 3*w + w - 2*a + 40, 3*w = -5*a - 56. Is l(w) a multiple of 8?
False
Let v(m) = m**3 + m**2 - m + 3. Let j be v(0). Suppose -j*p + 8*p - 1020 = 0. Does 37 divide p?
False
Let s(x) be the first derivative of -56*x + 1/3*x**3 + 10*x**2 - 11. Is 4 a factor of s(-24)?
True
Let u be ((-12)/8 - -3)/((-9)/24). Is (-2)/(-1) - (-5 - (147 + u)) a multiple of 23?
False
Let l(j) = j**3 + 12*j**2 + 12*j + 15. Let i(x) = 20*x - 6. Let a(w) = 7*w - 2. Let p(z) = 8*a(z) - 3*i(z). Let v be p(3). Does 19 divide l(v)?
True
Let d(l) = 491*l + 2518. Does 5 divide d(8)?
False
Let z be 453/6 + ((-9)/(-6) - 2). Suppose -5*b + z = -2*b. Is 2 a factor of b?
False
Suppose -2*p + 10 = -0. 