pose 73*c - 19*c - 1080 = 0. Let g(n) = -2*n**2 - 18*n + 17. Let a(y) = 5*y**2 + 37*y - 33. Let q(z) = 3*a(z) + 7*g(z). Does 15 divide q(c)?
True
Let s be (-160)/(-35) - (-3)/7. Suppose r = s*x - 982, -x = x + 5*r - 382. Is 7 a factor of x?
True
Let j(s) = 8*s - 9*s + 209*s**3 - 2*s**2 + 15 - 13. Is j(1) a multiple of 16?
True
Suppose -2*l - 5923 = 4*t - 32811, -5*l - 5*t = -67210. Does 42 divide l?
True
Let x(w) = 24*w**2 + 6*w + 8. Let s be x(-3). Suppose 2*j - a = 1053, -2*j = a - s - 837. Does 15 divide j?
False
Is 15 a factor of -13 + (39 - 8) + 2617?
False
Let u(j) = j**3 - 19*j**2 + 3. Let a be u(19). Suppose 2*d = 5*l + a*d - 2058, 4*l + 4*d - 1656 = 0. Does 20 divide l?
False
Suppose 5*q + 6 = 31. Suppose -5 = w, 0 = -0*z - 4*z - q*w + 2595. Does 18 divide z?
False
Let j(t) = -t**2 - 3*t - 2. Let r be j(-2). Let d = -59 - -63. Suppose 2*k = g + 9 + 74, d*g + 20 = r. Is 13 a factor of k?
True
Is (-5 + 95/10)*(-25600)/(-15) a multiple of 160?
True
Let d(x) = -3184*x - 415. Is d(-4) a multiple of 111?
True
Let j(n) = -n**3 + 2*n**2 + n + 1. Let g be j(2). Suppose -9 = -g*y, 5*h - 1 = y + 2*y. Suppose 360 = -0*q + 2*q - h*r, 180 = q - 5*r. Is q a multiple of 10?
True
Let x = 1476 - -9164. Does 14 divide x?
True
Let r = -88 - -195. Suppose 8*l + r = -229. Is l*10/(-15) - 0 a multiple of 7?
True
Let s(n) be the third derivative of -n**5/60 + 3*n**4 - 47*n**3/6 - 2*n**2 + n. Is 25 a factor of s(29)?
True
Suppose -38*f - 36277 + 60690 = -39427. Is 21 a factor of f?
True
Let j be 7 - (1/3)/((-18)/(-162)). Suppose -j = -4*w, 40 = -2*d + w + 363. Does 54 divide d?
True
Let w(u) be the second derivative of 0 + 1/20*u**5 - 7/12*u**4 + 2*u**3 - 5*u**2 - u. Is w(8) a multiple of 12?
False
Let r = -43 + 11. Let p be (-1)/(1 + r/28). Suppose 4*u + 63 = p*u. Is u a multiple of 21?
True
Suppose -3*k = 3*q + 15, 4*q - 2*k = -k - 25. Let c be -1*8/q*27. Is 10 a factor of ((-125)/(-10))/(3/(c/3))?
True
Let a = -89 - -146. Suppose 16*u - 3255 = a. Does 15 divide u?
False
Suppose 0 = 2*t + 8 - 18. Suppose -4*f = -t*m - 18 + 27, 5*f = -5*m + 45. Is m even?
False
Let z(c) = 68*c**2 + 3*c + 1. Let n be z(-2). Let d(s) = 517*s - 4139. Let g be d(9). Suppose -3*h + n + 246 = 3*i, -3*i = 4*h - g. Is i a multiple of 7?
False
Let g = -28 - -28. Suppose g = 2*s + 26 - 36. Is (-24)/(-30)*((-6150)/(-4))/s a multiple of 41?
True
Suppose 0 = -2*y - a, -11 = -4*y + 2*a - 19. Is 39 a factor of -12*3/(-12) - (-661 - y)?
True
Let n(p) be the second derivative of 17*p**4/12 - p**3/2 + 5*p**2/2 - 26*p. Is 13 a factor of n(2)?
False
Let o(w) = w**2 + 1. Let m(p) = -18*p**2 - 5*p - 5. Let i(g) = m(g) + 3*o(g). Let k be i(-1). Is 2 a factor of (10/k)/((-1)/18*3)?
False
Suppose -33693 = -3*a - 3*g, -3*g = 2*a - 5197 - 17274. Is a a multiple of 31?
True
Is 18 a factor of 1 + 22234/26 + ((-544)/221)/16?
False
Let d be (-3)/(-45)*6*45. Suppose -z - d = -16. Is 30 a factor of z/(-7) + (-836)/(-14)?
True
Let h(s) = 20*s**2 - 34*s - 83. Let u be h(-3). Suppose 0 = -3*a - 5*y + 617, 4*y + u + 382 = 3*a. Does 14 divide a?
False
Let o be (-11170)/30 + ((-24)/(-9))/2. Let f = -65 - o. Does 36 divide f?
False
Let k(v) = 0 + 5*v + 18*v - 11. Let b be k(6). Let t = b + -16. Is 12 a factor of t?
False
Let z be 2/7 - (1 + (-132)/(-21)). Is 9 a factor of z + (314 - (-3 + 7))?
False
Let s = 360 - 307. Let y = 157 + s. Is y a multiple of 33?
False
Let c(h) = 3*h + 0*h + 0*h**3 + 3*h**2 + 5*h**3 - 4 - h**2. Let g be c(3). Suppose -g = -z + 42. Is 43 a factor of z?
False
Is 84 a factor of 559769/56 - 29/(-232)?
True
Suppose -2*f - 5*p = -338, 2*f + 4*p = -36 + 376. Is f a multiple of 87?
True
Let m(u) = 5*u**3 + 20*u**2 + 16*u - 29. Let w be m(-7). Let v = w - -1123. Is v a multiple of 11?
False
Let v(l) = l**2 + 11*l - 28. Let i be ((-84)/35)/(4/(-15)). Does 19 divide v(i)?
True
Suppose 170 = 5*q - 5*o, -5*q + 176 = -0*o - 2*o. Suppose 0 = n - 0*n - q. Is 1/(n/(-39) + 1) a multiple of 3?
False
Suppose 3*z + 7 = 3*l + 1, -4*z = -5*l + 8. Let g be (-2)/(-5) + l - 6838/(-130). Let q = g - -138. Is q a multiple of 20?
False
Let b(f) = 12*f**3 - 3*f**2 + 26*f - 18. Does 3 divide b(3)?
True
Suppose r = 63 + 251. Suppose 7*n - r = 183. Let f = -48 + n. Is f a multiple of 13?
False
Suppose 0 = 13*m + 455 - 273. Is (48/m)/6 + (-1394)/(-14) a multiple of 10?
False
Let s = -3869 + 2667. Let f = -602 - s. Is (f + -4)/4 - 1 a multiple of 37?
True
Let q(x) = -197*x + 1749. Is q(-3) a multiple of 28?
False
Does 9 divide 344 - (-8 - -41)/3?
True
Is 2 a factor of 13/(-273) + 65945/105?
True
Let z = -105 + 106. Is z - 35/(-7 + 6) a multiple of 36?
True
Suppose 4*l = 0, -14 - 1 = -5*h - 5*l. Suppose 5*x - 26 = -3*f, h*x + 0*x = -3*f + 18. Is 18 a factor of (332/(-8))/(f/(-4))?
False
Suppose 0 = 14*z + 21*z - 140. Let y be (4 - -1)*6/10. Suppose x = -z*c + 536, -y*c - x = 2*c - 669. Is c a multiple of 32?
False
Suppose -687*v + 346*v + 348*v = 115339. Does 73 divide v?
False
Suppose -16*j + 3458 = -28926. Suppose 15*x - j = 13*x + 4*y, 0 = 5*x - y - 5069. Does 16 divide x?
False
Let y(w) = 18 + w + 0*w - 11 + 24. Does 9 divide y(-8)?
False
Let n be 5*(-76)/(-5)*1. Suppose 760*l - 764*l + n = 0. Does 14 divide l?
False
Let q = 272 + -187. Suppose 17*r + 67592 = q*r. Does 7 divide r?
True
Let p(l) = -26*l + 30. Let z be p(-14). Is 68 a factor of z/(7/21 - 0)?
False
Suppose -y - 1 = -3, 2*w + 4*y = 16. Suppose -w*d = 4*i - 116, 3*i - 43 = 3*d - 130. Suppose -28*o + d*o - 13 = 0. Is 13 a factor of o?
True
Let f = 176 + -170. Suppose -2*r = 5*i - f*r - 2351, 0 = 4*i - 2*r - 1882. Is i a multiple of 10?
False
Suppose -576*z = -571*z - 5575. Does 11 divide z?
False
Let r(u) = 813*u**2 + 14*u - 5. Is r(-2) a multiple of 87?
True
Suppose -x - 4 + 2 = u, -4*u = x - 4. Suppose 34*m - 17*m - 26*m = 0. Suppose m = -u*v - 46 + 298. Is 17 a factor of v?
False
Let k be -4 + 6 - (-3 + -21 + -1). Let v = k - -525. Does 10 divide v?
False
Suppose -41728 = -13*p + 10*p + 5*x, p + 4*x = 13932. Is 71 a factor of p?
True
Let j(h) = -14*h + 6. Let i be j(-1). Suppose -i*d + 5*d = -1320. Does 22 divide d?
True
Let m = 116 + -136. Is 6 a factor of (5 + m/12)/((-2)/(-18))?
True
Suppose -142*t + 145*t - 12 = 0. Suppose -150 = -2*d + i + 2*i, 4*d - 320 = -t*i. Does 3 divide d?
True
Suppose 6*g + 7*g = 7*g. Suppose 0 = j - g*j - 3, 5*q - j - 7917 = 0. Does 36 divide q?
True
Is 55/(-22)*((-2)/(-5) + 18918/(-45)) a multiple of 15?
True
Let x = 3013 - 37. Is 6 a factor of x?
True
Let n = -215 - -227. Suppose -n*l + 5554 - 1954 = 0. Is l a multiple of 28?
False
Let a be 1/((-1824)/368 + (1 - -4)). Suppose -23*w = a*w - 2668. Is w even?
True
Let l(g) = 42*g**2 + 24*g - 2. Let b be l(7). Suppose -4*f - 436 + b = 0. Is f a multiple of 43?
False
Let l(o) = 50*o**2 - 11*o - 110. Is l(-9) a multiple of 75?
False
Let f = -3602 + 5181. Is f a multiple of 4?
False
Let r(a) = -81*a - 1294. Is r(-32) a multiple of 9?
False
Let y = -169 - -178. Suppose 167 = -y*f + 1454. Is 13 a factor of f?
True
Suppose 2*g = -57*x + 58*x + 28402, 4*x - 56792 = -4*g. Does 13 divide g?
False
Let u(d) be the second derivative of d**5/6 + d**4/8 + 5*d**3/6 + 37*d**2/2 + 19*d. Let o(t) be the first derivative of u(t). Does 30 divide o(-5)?
True
Let b(p) = -4*p**3 - 2*p**2 + 5*p**3 + p + 604 - 156 + 0*p**2. Is 21 a factor of b(0)?
False
Let k = 34 - -8. Suppose 4*p = k + 62. Suppose 3*n - p = 2*n. Is 11 a factor of n?
False
Let p(n) = 2*n**3 - 7*n**2 + 6*n - 7. Let l be 1/(18/4) + (-560)/(-72). Suppose -20 = 4*c - l*c. Is p(c) a multiple of 14?
True
Is 14 a factor of -4 - 60/(-16) - (-10432692)/464?
True
Suppose 23*k - 19*k + 1324 = 5*i, 2*i = -3*k + 548. Is 103 a factor of i?
False
Let r = 19760 - 9869. Suppose 12*a = -9*a + r. Does 13 divide a?
False
Let k = 228 + 112. Is 17 a factor of ((-636)/48)/((-5)/k)?
True
Suppose -118*i + 77*i + 58*i = 157947. Is 37 a factor of i?
False
Let i(d) = 8*d**2 + 24*d + 176. Does 5 divide i(-7)?
True
Suppose -8*x + 30 - 6 = 0. Let g(s) = -s**3 + 8 - 2 - 1 + x*s + 4. Is 9 a factor of g(0)?
True
Suppose 0 = 18*v + 28100 - 82712. Is v a multiple of 2?
True
Let c = 258 - 109. Suppose 0 = 4*u - c - 87. Let a = -29 + u. Is a a multiple of 3?
True
Suppose -22*w + 32620 = 7*w - 9*w. Is w a multiple of 4?
False
Is 13 a factor of (11313/6 - -1) + (-177)