 be 2/(-5) + 306/15. Suppose 3*n = 7*n + f, 5*n = -3*m + 11. Is g(m) a multiple of 13?
True
Suppose -5*j = 5*k - 75430, 12*k = 14*k - 3*j - 30167. Is 135 a factor of k?
False
Is (1526486/247 + 6 + (-2)/19)*1 a multiple of 38?
False
Let c = -10067 + 13529. Is c a multiple of 7?
False
Let r(v) = 156*v - 9918. Is r(64) a multiple of 6?
True
Let l be (-4)/12 + (-1210)/45*3. Let s = l + 180. Let r = s - 61. Does 18 divide r?
False
Suppose 0 = 10*s - 8*s - 834. Suppose 0 = -3*p + 3*r + s, 4*r = 8*r + 16. Does 5 divide p?
True
Does 4 divide (-3)/(-16) - ((-12701370)/(-32))/(-33)?
True
Let w = 1331 - 1252. Does 25 divide w?
False
Suppose 583*j + 841992 = 633*j + 141842. Is j a multiple of 67?
True
Let z(b) = 9*b**3 - 57*b**2 + 608*b - 40. Is z(13) a multiple of 29?
False
Let j(v) = 53*v**2 + 281*v + 132. Is j(24) a multiple of 12?
True
Is 32 a factor of (-1 - 229344/(-84)) + (-3)/(42/4)?
False
Let h be (0 - 3)*(-16)/(-3). Let r(j) = -j**2 - 16*j + 1. Let c be r(h). Does 2 divide (1/(c/11))/1?
False
Let j = -29227 + 42802. Does 15 divide j?
True
Is 26 - ((7 - -1) + -83173) a multiple of 23?
True
Let g(c) be the second derivative of -3*c**5/20 - c**4/3 - 3*c**3/2 + 3*c**2/2 + 24*c. Is 19 a factor of g(-5)?
True
Suppose -12*s + 23 = -11*s. Suppose -2*b + v + 870 = 0, -20*v + s*v - 12 = 0. Does 21 divide b?
False
Suppose -11 - 5 = 2*z - 2*a, z + 4*a = -13. Let j(p) = -4*p - 31. Let g be j(z). Suppose -g*o - 4*d = -210, 0*o + 148 = 3*o - 2*d. Does 4 divide o?
False
Suppose -3*y - 6221 + 9789 = -15512. Does 30 divide y?
True
Let n = 107 - 100. Suppose -3*k - 774 = -x, 3*k - n*k + 3832 = 5*x. Is x a multiple of 15?
False
Is ((88 - 39) + -47)/(1/10401) a multiple of 3?
True
Suppose 150*t + 45*t = -3*t + 40392. Is 17 a factor of t?
True
Let c be (-236)/10 + (-72)/180. Does 22 divide (-48)/(20/c - 37/(-48))?
False
Suppose -3*t = -5*t + 3*f + 16, -4*f - 18 = -t. Suppose t*h - 89 = 3*n - 22, -15 = 5*n. Is 3 a factor of h?
False
Suppose -3*s + 41 = q, -2*s + 3*q + 87 = 3*s. Suppose -4*h - j = -3, -h = h - 5*j + s. Suppose 3*l + 2*r - 164 = h, 2*r - 218 = -4*l - 0*r. Is 10 a factor of l?
False
Let g(s) = 15*s**2 - 3*s. Let c(z) = 8*z**2 - z. Suppose 0 = -4*q + 4, 4*q = -3*y - 6 - 17. Let b(d) = y*c(d) + 5*g(d). Does 8 divide b(6)?
True
Let s(i) = 2*i**2 - 11. Let k be s(5). Let z = k + -45. Let h(b) = 3*b**2 - 3*b + 7. Is 15 a factor of h(z)?
False
Let y(x) = 509*x - 1361. Is 33 a factor of y(45)?
False
Suppose 11*c - 15*c + 12 = 0, 5*c = 2*x - 947. Is 13 a factor of x?
True
Let h be (4/10)/(-3 + 32/10). Suppose -h*b = -5*o + 134, -3*o - o - 2*b = -118. Is 4 a factor of o?
True
Let d be (3/27*3)/((-4)/(-372)). Suppose 27*w + 28 = d*w. Is 17 a factor of 2/w + 4012/119?
True
Suppose -q = -6*q + i + 4132, 0 = -2*q - i + 1650. Let v = q + -527. Does 23 divide v?
True
Suppose 4*w - 5*w = -326. Suppose -322*b - 1656 = -w*b. Is b a multiple of 46?
True
Let a = -154 - 129. Is 47 a factor of 1/(-6)*a - 6/36?
True
Let v be 79*1 + (-19 - -15). Suppose 5*p - 5*f = v, 22 = -3*p - 3*f + 67. Is 32 a factor of 120*2/p*6?
True
Suppose 4*g = 8*g - 4*a + 1576, 3*g - 5*a + 1174 = 0. Let b = g - -584. Does 62 divide b?
True
Let s = -4 + 26. Suppose -p = -5*r + s, -3*p = 2*p - 15. Suppose r*x = -l, -2*l + 4*x + 9 = -47. Does 5 divide l?
True
Let c(z) = -z**3 - 10*z**2 - 34*z - 105. Does 30 divide c(-9)?
True
Is 39 a factor of (2 - 5) + ((-16)/4 - 0 - -6052)?
True
Suppose 0 = 29*h + 17 - 46. Let o(n) = 1532*n**2 - 7*n + 1. Is o(h) a multiple of 22?
False
Let f(l) = 5 - 39*l**3 - l + 69*l**3 - 31*l**3 + 5*l**2. Let c be f(5). Suppose 6*d + 4*d - 1440 = c. Is 16 a factor of d?
True
Does 66 divide (21 - 18)*33*(0 - -32)?
True
Let z = -4088 + 7085. Is z a multiple of 7?
False
Let u = -1491 + 1651. Let l = 15 + -11. Suppose 0 = 2*z - l*z + u. Is 16 a factor of z?
True
Is 6/(-4)*19220308/(-2157) a multiple of 45?
False
Suppose 4*x + 177 = 5*l + 5*x, -4*l + 5*x + 130 = 0. Suppose 3*f + l = 10*f. Suppose -f*t - 460 = -1210. Is t a multiple of 30?
True
Let h(o) = o**3 - 11*o**2 - 1. Let a be h(11). Let r be (20*1)/(-4)*(0 - a). Let w(z) = -z**2 - 8*z - 5. Is w(r) a multiple of 3?
False
Let z = 727 + -1432. Let i = 219 - z. Is 84 a factor of i?
True
Does 11 divide 1125 - (1 + -2 - ((-6)/(-3) - 6))?
True
Let i be ((-306)/170)/(1/(-10)). Suppose i*s + 8*s = 2314. Does 2 divide s?
False
Let q = -5590 + 7235. Is q a multiple of 3?
False
Let k = -1428 - -1442. Let l(f) = -2*f + 4. Let b be l(5). Let n = b + k. Is 4 a factor of n?
True
Let w(r) = 108*r - 2. Let m be w(1). Suppose 0 = 2*u + 118 - m. Is 2 a factor of (-368)/(-23)*u/(-8)?
True
Does 16 divide -5*(-128)/(-6)*(-4 - (-1040)/(-100))?
True
Let z = 53031 + -35481. Suppose 6*g - z = -12*g. Does 25 divide g?
True
Let s(z) = -z**3 + 5*z**2 + 8*z - 7. Suppose -3*g + 85 = -5. Suppose 0 = -8*h + 2*h - g. Is s(h) a multiple of 14?
False
Suppose 4*p + 0*x = x + 1119, 3*x + 828 = 3*p. Let r = p - 190. Let b = r + -85. Is 3 a factor of b?
True
Suppose -10*b + 2118 = -49945 - 24097. Is b a multiple of 112?
True
Let x = -117 - -102. Does 16 divide (-5 - (x + 5)) + -2 + 303?
False
Let p(c) = c**3 - 2*c**2 - 51. Let b be p(9). Suppose -5*q - 138 = -h - q, 0 = -4*h + 4*q + b. Is 7 a factor of h?
True
Let c(g) = 26*g**2 - 66*g + 16. Is c(8) a multiple of 9?
True
Let w = 6 - -6. Let d(o) = -12*o - 20. Let k be d(w). Let q = k - -305. Is q a multiple of 47?
True
Suppose 15*m + 5*m = 5362 + 16718. Is 12 a factor of m?
True
Let n = -14601 + 20990. Is 31 a factor of n?
False
Suppose 1784 + 3948 = 4*a - 3*d, -a + 1434 = -d. Suppose 2*h - 858 - 588 = 5*n, 0 = -2*h + n + a. Is 10 a factor of h?
False
Let x = 3030 - 1901. Let n = x - 621. Does 24 divide n?
False
Let o(i) = 12*i**2 + 47*i + 1486. Is o(-23) a multiple of 20?
False
Suppose -4*k + 837 - 209 = t, t + 5*k - 627 = 0. Suppose -2*h + 7*h - 1050 = -5*d, -t = -3*d - 4*h. Suppose c + c = d. Is c a multiple of 13?
True
Let v(l) = l**2 + 14*l + 24. Let y be v(-9). Let z be (-5)/(75/(-36)) + y/(-35). Suppose -5*w + 1110 = z*c, 4*c + c - 244 = -w. Is 26 a factor of w?
False
Let w(s) = 3*s**2 - 2*s + 1. Let m be w(1). Suppose 4*q - v - 634 = 0, -m*q + 328 - 6 = -3*v. Let i = q + -82. Is 19 a factor of i?
True
Suppose 2*d - 23 = 73. Let o = d - 44. Suppose -4*r + 158 = -c + 3*c, 2*r - 298 = -o*c. Is 13 a factor of c?
False
Suppose -213*k - 81*k + 774688 + 3996344 = 0. Is k a multiple of 11?
False
Let p be 250 + -1 - (1 + -2). Suppose -34 = -2*s + p. Is 11 a factor of s?
False
Suppose 0 = 3*r - 5*r + 720. Let a be ((-2)/(-6)*-8)/((-15)/r). Suppose -a = -4*u + 320. Does 17 divide u?
False
Suppose 6*w - 19*w + 18707 = 0. Suppose 3*y + w = 5*x, x = -2*x + 3*y + 867. Is x a multiple of 26?
True
Let b be (-23 + -642)*((-6 - -3) + 1). Suppose 93*i + b = 100*i. Is 5 a factor of i?
True
Suppose 183319 = 56*o - 361393. Is 42 a factor of o?
False
Let y be 10/(-75)*-6 + (-48)/10. Let j(h) = 67*h**2 + 3*h - 7. Is 26 a factor of j(y)?
False
Let n(y) = 3*y**2 + y + 9. Let d = 21 - 26. Let a be n(d). Let f = a - 23. Is 16 a factor of f?
False
Suppose -8*l + 18 = -11*l. Does 34 divide -404*3/l + -2 + 4?
True
Let a(i) = -i**2 + 14*i - 40. Let y be a(7). Let s(w) = -w**3 + 11*w**2 - 19*w + 12. Let k be s(y). Suppose -k*d + 231 = -150. Is 24 a factor of d?
False
Let l(n) = n**3 + 13*n**2 - n + 5. Let v be l(-13). Let t be (-3)/2 - 1611/v. Let p = -35 - t. Is p a multiple of 28?
True
Suppose -21 = 3*u, -340*z + 345*z - 3*u - 60501 = 0. Does 42 divide z?
True
Let k(l) = l**2 - 30*l - 60. Let f be k(32). Suppose -3*t + 3*q - 471 + 2316 = 0, 1849 = 3*t - f*q. Is t a multiple of 13?
True
Is 126 a factor of -2*-3*(-2)/90 - 2192205/(-225)?
False
Let i(c) = -8*c + 10. Let x be i(-13). Let a = 126 + x. Is 65 a factor of a?
False
Let l(g) = 2*g**2 + 17*g - 2. Let m(x) = 11*x**2 - x. Let o(u) = 11*u**2 - 2*u - 1. Let d(b) = -3*m(b) + 2*o(b). Let v be d(-1). Is 14 a factor of l(v)?
False
Suppose -9 = 13*y - 9. Does 7 divide 102/(-68)*(y - (-296)/(-6))?
False
Let i(d) = 180*d - 1017. Does 13 divide i(44)?
True
Suppose -2 = -5*i + 8. Suppose 2*k = 3*z - 4, -2*z + i*k = -7*z + 12. Suppose -z*w + 144 = w. Does 6 divide w?
True
Suppose 5*q + l = -16, q + 3*q + 2*l + 8 = 0. Let a be 3/4*q - (-144)/1. Let s = a + -84. Is 19 a factor of s?
True
Let y(a) = 