e
Suppose 5*s = s, 5*g = s - 80. Let o be 2/(-4) - 344/g. Suppose 23*i - 710 = o*i. Is 26 a factor of i?
False
Suppose -20 = -2*a - 2*g + 5*g, -3*a = -2*g - 20. Let u(n) = 6*n**2 + 3*n + 14. Is u(a) a multiple of 52?
False
Let w(s) = 432*s + 886. Is 19 a factor of w(10)?
True
Let j(y) be the third derivative of 0 - 1/2*y**3 - 1/60*y**5 - 1/3*y**4 + 0*y + 7*y**2. Is 9 a factor of j(-6)?
True
Suppose 22*c - 8 - 36 = 0. Suppose 11 = -c*b + 5, 0 = -2*y + 3*b + 339. Is 11 a factor of y?
True
Let k(b) = -5*b**3 + 32 - 32*b - 4*b**3 + 4*b**3 - 17*b**2 + 4*b**3. Does 9 divide k(-16)?
True
Suppose 3*o - 8 = 1. Let i be (o*(-2)/(-12))/((-2)/(-68)). Suppose 151 = 2*z + i. Is z a multiple of 7?
False
Suppose 5 = 5*w, -6*j + 2*j + 3146 = -2*w. Let f = j + -360. Is 30 a factor of f?
False
Let u(h) = -99*h + 2830. Is 7 a factor of u(5)?
False
Suppose 3*j + 2450 = 8*j. Let o = -408 + 152. Let z = j + o. Does 13 divide z?
True
Let b = 1896 - -60. Is b a multiple of 7?
False
Let m = 7309 + 1543. Is 120 a factor of m?
False
Let t = 9891 + -7154. Is 17 a factor of t?
True
Suppose -5*z - 4089 = -3*l - z, -2724 = -2*l + 2*z. Is l a multiple of 12?
False
Suppose 5*n - n + 1159 = 13*a, -115 = -a - 4*n. Does 91 divide a?
True
Is -312*(-2 - (-12)/24) a multiple of 12?
True
Let h = -2618 - -4558. Is h a multiple of 30?
False
Let n(u) = -27*u**3 + 2*u**2 + 499*u + 3520. Is 247 a factor of n(-7)?
True
Suppose -1280 = -z - 4*z. Suppose 0 = 2*i + z - 394. Is i a multiple of 25?
False
Does 21 divide 3 + 62667/7 - (-11 - (-1280)/112)?
False
Suppose -14*t = -8*t - 3360. Suppose 0 = -12*i - 2*i + t. Does 5 divide i?
True
Let z(y) = -76*y**2 + 1396*y - 18. Does 42 divide z(15)?
True
Is 14 a factor of (-1410660)/(-1326) + (-4)/(-26)?
True
Let d = 65 + 246. Suppose -445 = 306*c - d*c. Does 10 divide c?
False
Let v(b) = -3*b + b - 9 - 293*b**2 + b - b. Let m be v(-3). Does 5 divide ((-2)/(-6))/((-16)/m)?
True
Let o(d) = d**2 - 9*d + 26. Let n be o(5). Suppose -2 - 28 = -n*h. Is 17 a factor of (54/h)/(((-33)/10)/(-11))?
False
Let o = 3655 + 3111. Is o a multiple of 20?
False
Let v = 395 + -403. Let o(s) be the first derivative of -7*s**2/2 + 16*s + 4. Is o(v) a multiple of 9?
True
Let t(g) = -2*g**2 - 52*g - 85. Let w be t(-24). Suppose -w*i + 45*i = 6868. Does 23 divide i?
False
Let x = -188 + 1654. Suppose 5*g = -4*q + x, -3*q - 2*g + 3*g + 1090 = 0. Is 28 a factor of q?
True
Suppose -2*n = 2*h, -4*n + 0*n - 4 = 2*h. Suppose 3*w - 476 = 4*q, h*w - 4*q - 423 = -99. Is 4 a factor of w?
True
Let x(u) = -u**2 + 6*u + 7. Let o(f) = f - 1. Let s(b) = -5*o(b) + x(b). Let c be s(-3). Suppose 3*k - y - 412 = 0, 5*k - 5*y + 2*y - 692 = c. Does 32 divide k?
False
Suppose 8*l + 6*l = 18*l. Suppose l*t = 2*t - p + 121, p + 239 = -4*t. Does 22 divide (-10)/(0 - (-4)/t)?
False
Does 3 divide 6066*(238/588 + (2 - (-40)/(-21)))?
True
Let t be -2 + 3*(-4 + (-32)/(-12)). Let f(w) = -232*w + 250. Is 31 a factor of f(t)?
False
Suppose 6*p + 107 = 119. Suppose -m + 68 = -p. Is m a multiple of 35?
True
Suppose 231183 = 27*m + 24*m. Does 39 divide m?
False
Let s(y) = -3*y**2 - 12*y + 2. Let h be s(-4). Suppose -h*p + 10 = 6. Suppose 0 = 3*o + p*r - 53, 0 = 4*o + 4*r - 5*r - 89. Does 7 divide o?
True
Let p be -1*(0 - -1) + 11. Suppose 4453 + 2477 = p*j. Is j a multiple of 21?
True
Suppose 24*z - 4*z = 19200. Suppose -r = -4*n - 0 + 4, 0 = 5*r - n + 1. Suppose r = -10*c + 7*c + z. Does 64 divide c?
True
Let g(v) = v**3 - 5*v**2 + 8*v - 14. Let b be g(4). Suppose b*j = 2 + 8. Suppose 4*n - 3*t - 148 = t, n + j*t - 49 = 0. Is n a multiple of 10?
False
Let x(t) = 49*t + 3. Suppose -8*s = -0*s. Suppose s = -4*b - 8 + 12. Is x(b) a multiple of 25?
False
Suppose -21065 = -4*o + 3*u, -81*u = -85*u - 28. Is o a multiple of 15?
False
Suppose a + 26897 = 2*y, 2*y - a = a + 26896. Does 202 divide y?
False
Suppose 4840581 = 67*o - 3*o + 49*o. Is o a multiple of 109?
True
Suppose -3*p = -4*g - 1, -g - 2*p + 7*p = 13. Let q = 111 + -51. Is (q*g)/(0 + (-5 - -6)) a multiple of 30?
True
Let i(x) = 107*x**2 - 415*x - 2521. Does 27 divide i(-6)?
False
Suppose 2*d - 17*r + 10820 = -13*r, 2*r - 10816 = 2*d. Is (128/(-3) + 0)*d/106 a multiple of 16?
True
Suppose 1267 = -18*i + 5875. Let s = i - -251. Is s a multiple of 26?
False
Suppose -20 = 5*t, -2*a = -2*t - 638 - 1408. Is a a multiple of 2?
False
Suppose -2*v - 3*w = -5428, 42*w - 41*w = v - 2704. Does 9 divide v?
False
Let a = 365 - 320. Suppose -r - 3*r = 0. Suppose r = l - a + 5. Is l a multiple of 20?
True
Suppose -3*j + 5*z + 12 = -25, 16 = -j - 4*z. Suppose -r - 5*i + 21 = r, -j*r + 5*i = 33. Is 5 a factor of ((-63)/6)/(1 - (-3)/r)?
False
Let l(d) = -10*d**3 - 5*d**2 - 18*d - 70. Let w(j) = 2*j**3 + 6*j**2 - j - 8. Let x be w(-3). Is l(x) a multiple of 18?
False
Let o(q) = q**3 + 10*q**2 - 9*q + 19. Let f be o(-11). Let b = f - 11. Let a(d) = d**2 + 10*d - 30. Is a(b) a multiple of 22?
False
Suppose 9*f - 500 = -149. Let j be f + (-2)/(6/9). Let p = 1 + j. Does 8 divide p?
False
Let n = -321 + 90. Let j = 249 - n. Does 36 divide j?
False
Suppose -15*y + 19*y - 36 = 0. Suppose -y*k = -2169 - 648. Is 47 a factor of k?
False
Suppose -47600 = 31*j + 25*j. Let w = -686 - j. Does 4 divide w?
True
Let i(d) = -d**2 + 25*d - 49. Let v be i(21). Suppose 459 = -32*w + v*w. Is 51 a factor of w?
True
Does 7 divide (4 + 57/(-12))/((-3)/8892)?
False
Let d(j) = -j**3 + 13*j**2 - 21*j + 5. Let f be d(11). Is 3 a factor of 3 + (6/f - (-1652)/32)?
False
Let n = 25230 - 12476. Does 173 divide n?
False
Let z(f) = 2013*f**2 + 160*f - 159. Is 38 a factor of z(1)?
True
Suppose -443634 = -138*o + 169361 - 21251. Is o a multiple of 4?
True
Let x = -1958 + 3093. Does 14 divide x?
False
Let p(s) = s - 2. Let v be p(3). Let r(i) = 30*i**2 + 59*i - 207. Let u be r(3). Does 9 divide (u/10)/(v*2)?
False
Suppose 0 = n - 2*q, 0 = 5*n - q - 0*q. Let v be (0 - n) + 13 - (-7 - -5). Does 4 divide ((-65)/v + 3)*-24?
True
Let n(z) = 14*z - 4. Suppose -5*r + 5*j - 1 = -46, 2*j - 7 = -3*r. Suppose 0 = -u - r*u + 12. Is 8 a factor of n(u)?
True
Suppose 149*n - 1242916 = -29*n + 70012. Does 13 divide n?
False
Suppose 3*g + 0*d = -3*d - 39, -2*d = -g + 2. Let k(s) = 11*s - 63*s + 45 + 15*s + 18*s + 11*s. Is 11 a factor of k(g)?
False
Let n(t) = -t**3 + 20*t**2 - 18*t + 22. Let a be n(12). Suppose 6*j - 2686 = -a. Does 36 divide j?
True
Suppose 26 = -9*q + 71. Suppose 2*x + 369 = -0*x + 5*l, -931 = q*x - 4*l. Let v = -75 - x. Is v a multiple of 19?
False
Suppose -29*l = -8910 - 2135 + 605. Is l a multiple of 12?
True
Suppose 0 = 4*t - 2*w + 1295 - 13011, 4*w = 5*t - 14645. Is 142 a factor of t?
False
Let q = 54 + -53. Let u be (1 - 4) + (0 - (-8)/q). Suppose -3*g = 5*m - 327, 4*m + u*g - 405 = -146. Is 14 a factor of m?
False
Does 38 divide 0 + 4 - (37260/(-7) - (-17)/(-119))?
False
Let j be ((-2)/(-3))/(10/3180). Suppose 5*w = 9*w - j. Suppose -4*t + 11 = -w. Is t a multiple of 4?
True
Let g(a) = -17*a**2 + 12*a - 76. Let s(z) = 51*z**2 - 37*z + 230. Let h(f) = 11*g(f) + 4*s(f). Is 10 a factor of h(6)?
True
Suppose -5*x + c = -1015, -2*c + 812 = 4*x - 0*c. Suppose -3*a - x = -908. Is a a multiple of 11?
False
Let n(z) = z + 3. Let k be n(-5). Let r = 201 + k. Let s = 369 - r. Is 17 a factor of s?
True
Suppose -5*s = -4*y + 14 + 9, 0 = 5*y + s - 7. Does 14 divide (266 - y) + (-5)/(15/(-6))?
True
Suppose 15*v - v - 10724 = 0. Suppose 3342 = 8*o + v. Is 7 a factor of o?
True
Does 53 divide 1187/(29/4 + -7 + 0)?
False
Suppose 47250 - 157580 = -5*u. Is 59 a factor of u?
True
Suppose -30 = -19*c + 141. Suppose h - c = 13. Suppose h*f - 17*f - 185 = 0. Is f a multiple of 4?
False
Let y = 5250 + -711. Is 51 a factor of y?
True
Suppose 0 = -5*q + 2*r + 24158, -10*r + 13*r = -q + 4835. Is 16 a factor of q?
True
Does 39 divide (-20)/90 - 436652/(-36)?
True
Let p(v) be the first derivative of -v**3/3 - 5*v**2 - 13*v + 69. Does 8 divide p(-7)?
True
Let g(v) = -3*v - v**2 - 8*v - 32 - 4*v. Let l(x) = -x**3 + 9*x**2 + 42*x - 231. Let q be l(11). Does 4 divide g(q)?
True
Let k(o) = 80*o - 2. Let j be k(3). Suppose 5*s - 531 = -4*g, -4*g - 93*s + 541 = -90*s. Suppose g = 2*u - 5*v, -177 - j = -5*u - v. Does 15 divide u?
False
Is 37983/55 + (0/(-11) - (-2)/5) a multiple of 9?
False
Let j be 374 - (-3 + -11)/7. Suppose -3*m = 