)/5. Is -6 + 54*(m + 0) a multiple of 16?
True
Suppose -17447*q = -17474*q + 891. Is 10 a factor of q?
False
Let v = 788 + -772. Does 36 divide 51*v*21/28?
True
Let w(l) = -l**3 + 3*l**2 + 12*l + 2. Let p be w(5). Suppose -922 = -p*d + 1562. Is 23 a factor of d?
True
Let i(w) = w**3 + 43*w**2 - 61*w - 940. Does 21 divide i(-40)?
True
Let f(q) = -2*q**2 - 9*q - 1. Let p be f(-4). Suppose -4*n + n + 5*a + 114 = 0, 0 = -5*n - p*a + 156. Is 10 a factor of n?
False
Let c = 721 - -6314. Is c a multiple of 35?
True
Suppose 19*w - 6827 - 1533 = 0. Does 31 divide w?
False
Let s(y) = 11*y**2 - 172*y - 23. Suppose -41 + 4 = -3*z - 4*j, -2*j = 4*z - 66. Does 25 divide s(z)?
False
Let i(w) = 19*w + 13. Let r(o) = o**2 + 3*o + 1. Let y be r(-5). Let x be i(y). Suppose -162 = -2*a - k - 45, 4*a - x = 2*k. Is a a multiple of 18?
False
Let z(j) = j**2 - 5. Let a = 84 - 80. Is 11 a factor of z(a)?
True
Let n be (-44590)/21 + 2/6. Let z = -1417 - n. Does 17 divide z?
False
Let b(o) be the third derivative of 7*o**5/15 + o**4/12 + 18*o**2. Let j be -3*2/6 - 1. Is b(j) a multiple of 19?
False
Suppose 0 = -5*t + 5*c + 29455, 4*t + 8*c - 23556 = 4*c. Does 95 divide t?
True
Let h be (1584/10)/(-2*4/40). Is (((-36)/(-8))/9)/((-4)/h) a multiple of 16?
False
Does 64 divide (-298220)/(-310) + (0 + 2)/(-1)?
True
Let g(k) = 8515*k - 1823. Does 13 divide g(6)?
False
Let s be ((-8 + 7)*1)/(1/5). Does 36 divide (0 + 2/s)/(2/(-1570))?
False
Let t(h) = h**3 + 7*h**2 - 9*h - 6. Let g be t(-8). Let w(d) = -1 - 4 + 38*d + 13. Is 14 a factor of w(g)?
True
Suppose -53261 - 324464 = -190*r + 659675. Is r a multiple of 60?
True
Let i(b) = -b**2 + 8*b - 4. Let v be i(9). Let a be 7 + v + 3 + (411 - 2). Suppose -3*d + 609 = 4*x - 0*x, 0 = 2*d - 2*x - a. Is d a multiple of 14?
False
Is 11/(-22)*-2660 - -8 a multiple of 8?
False
Let c(v) = v**2 - 17*v + 46. Let u be c(13). Let w be (-5 - u - 4) + 5. Suppose -w*d - 74 = -4*d. Is d a multiple of 3?
False
Suppose 5*g - n - 53069 = 0, n - 23912 = -5*g + 29159. Does 122 divide g?
True
Is 215*-24*2740/(-300) a multiple of 137?
True
Let m(o) = 36 - 21 - 2*o + 64. Suppose -2*q - 450 + 472 = 0. Is m(q) a multiple of 14?
False
Suppose 27*f - 35*f + 128 = 0. Suppose -f*d + 497 = -1023. Is 19 a factor of d?
True
Suppose -5*w + 36 = w. Is 99120/324 - w/(-81) a multiple of 34?
True
Let n = -48 - -49. Let t be (-1 - 3)/n + 4. Suppose 5*f + 4*l - 105 = t, -4*l = l. Is f a multiple of 5?
False
Let l = 16241 + -4191. Is l a multiple of 63?
False
Let d(p) = 24*p + 20. Let o be d(7). Suppose 5*s = -3*y - 5 + 120, o = 4*y - 2*s. Suppose -y*x + 46*x - 61 = 0. Is 19 a factor of x?
False
Let d(i) = 3*i**3 + 299*i**2 - 212*i + 64. Is d(-100) a multiple of 3?
False
Let c = -12 + 31. Suppose l - 28 = -c. Is 18 a factor of -14*(-8)/28*l?
True
Is 15 a factor of (17 - (14 + -18679)) + 8/1?
True
Let k(q) = 3*q**2 - 3*q + 4. Let o be k(1). Suppose -5*x - o*t - 195 = 0, -5*t = 5*x - 1 + 201. Let g = 59 - x. Is 14 a factor of g?
False
Let y be 6/(-1)*(-1)/6. Is 4/10*((-3)/y + 368) a multiple of 46?
False
Let k(a) be the third derivative of -a**5/120 + 7*a**4/24 + 29*a**3/6 - 2*a**2. Let x(o) be the first derivative of k(o). Does 3 divide x(-11)?
True
Suppose 1 = 7*h - 41. Is 4*h/(-48)*(-1 + -37) a multiple of 2?
False
Suppose 5*i - 53660 = -5*h, 305*i = 5*h + 308*i - 53656. Does 74 divide h?
True
Is 129801249/3269 + 18/14 a multiple of 36?
True
Suppose 15 = -b + 5*b + 3*m, 2*m = -3*b + 11. Suppose -4*k + 78 = 2*y, -2*y + 12 = -b*k - 31. Does 28 divide (5 - 2)/(3/y)?
False
Suppose -29688 = -4*j - 3*m, m = -2*j + j + 7421. Is 45 a factor of j?
True
Suppose -1334 - 25332 = -2*f - 6630. Is f a multiple of 207?
False
Does 13 divide 132908/24 + (-119)/(-102)?
False
Let a = 71 - -12. Suppose -5*b - a = 47. Let w = 32 - b. Is w a multiple of 43?
False
Let x be (-14)/(-5) - (-1 + 81/45). Let j = -8 + 10. Is 149 - x - (j + 1 + -1) a multiple of 17?
False
Let k = -62 + 89. Let l = k - -82. Suppose 0 = 3*s - 17 - l. Does 6 divide s?
True
Let c(d) = -4*d**3 + 61*d**2 - 4*d + 14. Let y be c(15). Suppose -77 + y = 2*o. Is o a multiple of 4?
False
Let r = 1463 + -878. Suppose n = -5*g - 0*g + r, 3*g - 351 = -3*n. Suppose -g = -6*l - 3*l. Is 4 a factor of l?
False
Suppose 62244 = 27*o + 25*o - 26*o. Is 18 a factor of o?
True
Suppose 21*i - 6*i = 90. Suppose -2*u + 32 = 4*d, -2 = -7*d + i*d. Does 2 divide u?
True
Let a(v) = -296*v - 1314. Does 96 divide a(-12)?
False
Let d(w) = 3*w**3 - 9*w**2 + 20*w + 13. Is d(9) a multiple of 16?
False
Let n = 76 - 401. Is 1148/10 - (-13)/(n/20) a multiple of 31?
False
Let h(z) = -2*z**2 - 33*z + 23. Let o be h(-17). Let c be (1 - (-4)/o)*3. Suppose -3*u = -12, 3*f - c*u = -0*u + 190. Does 35 divide f?
True
Let f(l) = 2*l**2 - 3313*l + 3373*l + 8*l**2. Is 6 a factor of f(-10)?
False
Suppose -4*u - 15750 = -2*v, -v + 16*u - 11*u + 7875 = 0. Does 25 divide v?
True
Suppose 0 = 3*a - 1 - 8. Suppose -a*g + 39 = 3*u, 6*u - u - 2*g = 44. Let f(d) = 2*d - 1. Does 4 divide f(u)?
False
Let x(j) = -j**3 - 6*j**2 - 79*j - 1622. Is 20 a factor of x(-26)?
False
Suppose 5*g + a = -25, -3*a - 13 = 3*g - 2*a. Let r be ((-6)/(-5))/(g/(-15)). Suppose d + 252 = 3*h + 4*d, r*h - 4*d - 259 = 0. Is 17 a factor of h?
True
Does 277 divide (20 - (41 - 26))*1/5 - -31160?
False
Let v(u) = 9*u**2 - 13*u - 14. Let g be v(-4). Let n be 4/(-26) - (-7)/g*-3246. Let r = -66 - n. Is r a multiple of 37?
False
Suppose 11*r - 86 = 13*r. Let a = r + 103. Is a a multiple of 3?
True
Let f be (-161)/4*6 + 2/4. Let w = f + 287. Is w even?
True
Let q = -31 + -11. Let r = q + 60. Does 2 divide (8/10)/(r/585)?
True
Let a be ((-44)/(-6))/((-32)/14064). Is 36 a factor of (-1)/(4/10 + a/7920)?
True
Suppose 2*w + 4*z = -12, 3*w - 2*z - 18 = z. Let x = 3 - 1. Suppose x*j - 359 = h, -3*h + 725 = 4*j + w*h. Does 15 divide j?
True
Suppose -293802 = 91*a - 891490. Is 14 a factor of a?
False
Let f(w) = 843*w**2 - 8*w + 124. Is f(3) a multiple of 8?
False
Suppose 4*l - 618 = -2*i + 61176, 0 = 5*l + i - 77232. Is l a multiple of 29?
False
Let x = -2651 - -3179. Does 33 divide x?
True
Let j = 3038 - 4441. Let d = -556 - j. Is 58 a factor of d?
False
Let o(i) = -2*i + 107. Let p(g) = 109. Let s(c) = 4*o(c) - 3*p(c). Is s(-3) a multiple of 11?
False
Suppose -94*j + 57*j + 254449 = 0. Is 10 a factor of j?
False
Let n = 17010 + 23218. Is 113 a factor of n?
True
Suppose -5*g = -29 + 9. Let y(b) = 2 - 19 - 11*b - 40*b + g. Is y(-3) a multiple of 10?
True
Let b(h) = -6*h**3 + 10*h**2 - 47*h - 7. Let f be b(-11). Suppose -1147 = 9*d - f. Does 11 divide d?
False
Let q = -272 - -281. Suppose q*x - 13*x = -104. Does 3 divide x?
False
Let a(u) = -6*u**3 + 6*u**2 - 9*u - 3. Let p(w) = -5*w**3 + 6*w**2 - 8*w - 2. Let f(t) = 4*a(t) - 5*p(t). Suppose 5*v = -0*v + 35. Is 16 a factor of f(v)?
False
Suppose 0 = -9*v + 7*v - 28. Let t be (14/v)/((-2)/74) - 0. Suppose 4*f + t - 405 = -4*o, o + 5*f - 108 = 0. Does 19 divide o?
False
Suppose 4*y - 4*w + 1394 = 37086, 4*y + 4*w - 35732 = 0. Is 16 a factor of y?
True
Let g(r) be the first derivative of 117*r**2/2 - 15*r - 18. Let y be g(2). Let l = 414 - y. Is l a multiple of 15?
True
Suppose -p + 501 = -h, 4*p - 3*h = 1728 + 270. Does 75 divide p?
False
Let a = 22591 - 12265. Does 25 divide a?
False
Let g(m) = 5*m - 68. Let h be g(14). Suppose 1441 = 4*c - t, -2*t = h*c - 411 - 297. Is c a multiple of 47?
False
Suppose 545 = -3*u - 5*k + 5240, 0 = -5*k + 30. Does 18 divide u?
False
Let k(a) = -4*a**3 - 4*a**2 - 5*a - 3. Let c be k(-4). Let t = -196 + c. Is 2 a factor of t?
False
Suppose -33*o + 51418 = -796121. Is o a multiple of 21?
True
Suppose -28 = -5*i - 3. Suppose 0 = 2*g + i*g. Suppose g = 8*t - 11*t + 117. Is 13 a factor of t?
True
Let k be 1/3 - (-24)/9. Suppose -4*v = k*v. Suppose -y - 6*r + r + 146 = v, -3*y = -5*r - 398. Does 15 divide y?
False
Let m = -4440 + 7544. Does 32 divide m?
True
Let v(f) = 62*f - 173. Let r(h) = -64*h + 175. Let a(c) = -7*r(c) - 6*v(c). Is 59 a factor of a(11)?
True
Suppose -3*s + d = -d - 16, 0 = 3*s + 3*d - 21. Does 11 divide (s/(-2) - -432) + 24/(-6)?
False
Let p = 3229 + 1483. Is 19 a factor of p?
True
Let t = -25 - -36. Suppose 0 = -6*s + t*s - 20. Suppose 6*w = s*w + 28. Does 4 divide w?
False
Suppose 3*l - 2*g - g + 657 = 0, -g = 3*l +