True
Let o(t) = t + 6. Let z be o(-2). Suppose z*g - 5*s - 220 = 0, 4*s = -3*g + 37 + 159. Is 10 a factor of g?
True
Let b(d) = -2882*d - 10238. Is 14 a factor of b(-5)?
True
Suppose -6*y + 20 = -2*y. Suppose -3*j + 45 = 2*n - n, -y*j = 0. Suppose 0 = -6*g + 147 + n. Is g a multiple of 16?
True
Let i(r) = -2915*r + 735. Does 37 divide i(-4)?
True
Let v be (-351 - 0)/(-9)*92/(-6). Let l = 864 + v. Is 14 a factor of l?
True
Let d be -3 - 15/(-5) - 0. Suppose 2*a - w - 1226 = 0, d = -5*w + 11 + 9. Does 32 divide a/6*(0/3 + 2)?
False
Let w = -78 - -78. Suppose -4*v + 4*x + 582 - 22 = w, 0 = 3*v - 4*x - 417. Is v a multiple of 3?
False
Let n = 65604 + -46011. Does 21 divide n?
True
Suppose 2*p = -m + 10171, 85*p = 86*p - 2*m - 5098. Is p a multiple of 96?
True
Let z(t) = -t**3 + 6*t - 11. Let c be z(4). Let i = c - -56. Suppose i*v + v - 60 = 0. Is v a multiple of 6?
False
Suppose 2*y - 2654 = 3*j + 1078, 3*j - 12 = 0. Suppose 3206*p - 3203*p = y. Is p a multiple of 26?
True
Let b(t) = -t**3 + 14*t**2 - 4*t + 32. Let u = 48 - 36. Is b(u) a multiple of 10?
False
Let c(s) = s**2 + 2*s - 5. Suppose -9*m - 31 - 14 = 0. Let k be c(m). Let j(o) = 22*o - 16. Is j(k) a multiple of 34?
True
Does 8 divide (611 - -3)*2 - 7*1?
False
Let d(n) = 7*n**2 + 8*n + 4*n**2 - 3*n - 4*n**2 - 2*n - 8. Is 3 a factor of d(5)?
False
Suppose -1080 + 72 = -9*k. Let i = k - 58. Does 3 divide ((-39)/9 - -3)*i/(-4)?
True
Suppose d - 2 = -i, -24 = -4*i + 5*d - d. Suppose -3*u - 6*j + 10*j = -249, -i*j + 332 = 4*u. Does 27 divide u?
False
Let k(x) = x**2 + 19*x + 1854. Does 84 divide k(-73)?
True
Suppose -7*p - 87 = o - 3*p, 0 = -3*p + 12. Let d = -19 - o. Is 14 a factor of d?
True
Let i(q) = -82*q - 75*q + 137*q - 125. Is 13 a factor of i(-29)?
True
Let q(s) = 13*s**2 - 31*s - 1438. Is q(-53) a multiple of 122?
True
Suppose 24 = 4*m + 3*r + 2, 0 = 2*r + 4. Let c be (136/408)/(1/13737). Suppose m*o + 12*o = c. Is 12 a factor of o?
False
Suppose -187*m = -183*m - 31080. Suppose -17*i = -59*i + m. Does 13 divide i?
False
Suppose -96*i + 12672352 = 182*i. Does 88 divide i?
True
Suppose 801421 + 168527 = 35*w + w. Is w a multiple of 21?
True
Let o = -473 - -681. Let r = o - 118. Does 25 divide r?
False
Let c = 17280 + -12520. Is c a multiple of 40?
True
Suppose -58*y + 47*y + 220 = 0. Suppose -8*r + y*r - 4032 = 0. Is r a multiple of 17?
False
Let f(b) = 6*b**3 - 3*b**2 + 9*b - 5. Let r be f(3). Let l = 381 - r. Let w = l - 56. Is w a multiple of 12?
True
Let s = -3347 - -3968. Does 27 divide s?
True
Let p = 581 + 1597. Does 11 divide p?
True
Is 27 a factor of ((-54)/(-4))/(-27)*-648?
True
Let s(m) = 735*m - 30. Let x be s(2). Suppose -o = -9*o + x. Is 9 a factor of o?
True
Let z(r) = 16*r**2 - 6*r**2 + 20*r**2 - 11*r + 8*r + 5. Is 14 a factor of z(3)?
True
Let g be (-2)/12 - 1/(-6). Suppose -14*w + 24*w - 6420 = g. Does 49 divide w?
False
Let r(h) = 207*h + 4. Let o be r(4). Suppose 2*m = -v + o, -v - 4*m = -3*v + 1648. Is v a multiple of 23?
True
Is (-117*17/85)/((-1)/405) a multiple of 65?
False
Let h(k) be the second derivative of 31*k**5/15 + k**4/24 + 15*k**2/2 + 11*k. Let n(r) be the first derivative of h(r). Does 41 divide n(-1)?
True
Suppose m = -3*m + 264. Suppose -k - s = -m, 0 = 2*k - 4*k + s + 141. Let j = k + -14. Does 15 divide j?
False
Let y = -11 - -16. Suppose -1 = -d + 1, y*d - 40 = -5*s. Does 29 divide (-484)/2*(-3)/s?
False
Let s(m) = m - 6. Let k be s(4). Let n be (1296/42)/(k/(-21) + 0). Let i = n - 172. Is 38 a factor of i?
True
Let q be 7*(4 - (1 - 1)). Let x be ((-120)/q)/(1/(-56)). Suppose x = -15*p + 20*p. Does 12 divide p?
True
Let z(m) be the third derivative of 1/2*m**3 + 0*m**4 + 0 - 1/60*m**5 + 0*m + 31*m**2 + 1/20*m**6. Does 5 divide z(2)?
False
Suppose -7*n + 35263 = -4245. Is n a multiple of 34?
True
Suppose o + 10 = -12. Let w = -19 - o. Is (w - 30/(-5)) + 4 a multiple of 4?
False
Let k = -3749 - -7533. Does 44 divide k?
True
Let q = 14 + -2. Let h = -12 + q. Suppose c + 4*c - 190 = h. Does 4 divide c?
False
Suppose 3*d + d + 524 = -2*x, d - x = -125. Let k = 331 + d. Is k a multiple of 25?
False
Suppose -5*i + 4*d + 19977 = 0, 11985 = 3*i - 10*d + 8*d. Is i a multiple of 11?
True
Let w(c) = -c**2 + 15*c + 11. Suppose 10 = 6*m - 5*m. Is w(m) a multiple of 2?
False
Let d be ((-1)/3)/(5390/(-2694) + 2). Let w = -46 + d. Is w a multiple of 31?
True
Suppose -2*z + 6*v - 5172 = 5*v, -12930 = 5*z + 5*v. Let p be 15/((-135)/z) + (-4)/(-6). Suppose -7*t + t = -p. Is 24 a factor of t?
True
Suppose -6*q + 4*w = -w - 30175, 5005 = q + 4*w. Does 75 divide q?
True
Suppose 0 = 3*b + 4*b - 140. Let j(v) = 3*v**2 - 47*v - 45. Does 43 divide j(b)?
True
Suppose 151*m - 502740 = 19*m + 6*m. Does 210 divide m?
True
Let f be (-4)/18 - 6/((-108)/22342). Suppose 139 + f = 20*i. Does 23 divide i?
True
Suppose 5 - 50 = -15*y. Suppose -b + y*i + 888 = 4*b, 0 = -4*b - 5*i + 740. Is 12 a factor of b?
True
Let v(k) = k**2 - 3*k - 12. Let h be v(6). Suppose 5 + h = -11*n. Does 38 divide 302/4 + n/(-2)?
True
Let b(k) = -k**3 + 13*k**2 + 4*k + 17. Let f be b(14). Let g = 367 + f. Suppose 6*l + g = 1030. Does 14 divide l?
False
Let b = 955 - 505. Does 60 divide (-9)/(90/(-8))*b?
True
Let k(v) = -v**3 + 8*v**2 + 3. Suppose -2*i - 1 = -17. Let t be k(i). Suppose t*c - 176 = c. Does 8 divide c?
True
Suppose -13*o + 71130 = 16530. Is 24 a factor of o?
True
Suppose 4*c + 6 - 12 = 3*d, -5*c = 4*d + 8. Suppose q - 5 = 0, 2*o + q = -c*q + 569. Does 15 divide o?
False
Suppose -82570 = 29*z - 75*z. Suppose -16*y + 2989 = -z. Is y a multiple of 13?
True
Let c(n) = -172*n + 3902. Does 33 divide c(20)?
True
Suppose -56 = -3*k - 5*k. Let r = k - 3. Suppose -r*l + 13*l = 189. Is l a multiple of 21?
True
Let c(o) = o**3 - 95*o**2 + 59*o + 3557. Does 9 divide c(94)?
False
Let j(o) = -o**2 + 38*o - 52. Let q = -837 + 865. Is j(q) a multiple of 49?
False
Suppose 125 = b + 21. Suppose f - b = -0*f. Suppose 11*y - f = 3*y. Does 13 divide y?
True
Suppose -5*x + 234 = -21. Let c = x - -87. Let s = c + -120. Does 18 divide s?
True
Let w = 183 - 1253. Does 13 divide w/4*36/225*-5?
False
Suppose 60*x + 69*x = 52245. Does 5 divide x?
True
Let u = 126 + -125. Let l be (5 - 17)/4 + 52/u. Let z = 97 - l. Is 6 a factor of z?
True
Suppose -14*z + 3612 + 36008 = 1932. Does 14 divide z?
False
Suppose -16 + 4 = 2*a. Let n(k) = -k**3 - 6*k**2 - 3*k - 13. Let o be n(a). Suppose 0 = 4*w - 0*c + 3*c - 173, 0 = -o*c + 15. Is 12 a factor of w?
False
Suppose 4*u - 1114 = 5*d, -5*d = -0*d - 10. Let c = -56 + u. Is 9 a factor of c?
True
Suppose 3 = 3*n, 0 = -p - 2*p - 2*n + 4346. Does 9 divide p?
False
Is 184 a factor of 2/(-22) - 191230/(-165)*(22 - -8)?
False
Suppose -42 = 5*u - 2*b, 4*u + b + 38 = -6. Let f be ((-26)/10 - (-12)/4)*u. Let n(s) = -5*s + 12. Is 8 a factor of n(f)?
True
Let p(v) = v**3 - 8*v**2 + 15*v + 8. Suppose -9*d + 209 - 47 = 0. Suppose -23*k = -d*k - 35. Does 16 divide p(k)?
True
Suppose -65*i + 260782 - 74947 = 0. Does 28 divide i?
False
Let s(z) = z**3 - 14*z**2 - 15*z + 4. Let w be s(15). Let o(u) = -43*u - 16. Let d be o(w). Let t = 386 + d. Does 22 divide t?
True
Let i = -61 - -63. Suppose i*r = -2*s + 1050, s = r + 5*s - 540. Does 13 divide r?
True
Suppose 281*z - 29970 - 54049 = 0. Does 183 divide z?
False
Suppose 5*d + 32 + 143 = 0. Let g = d - -79. Is 3 a factor of (-6)/(-33) - 854*(-2)/g?
True
Suppose -2*r + r + 4*u - 23 = 0, -u = -4*r - 62. Is 21 a factor of ((-210)/5)/(3/r)?
True
Suppose 1338024 = -117*l + 141*l. Is 21 a factor of l?
False
Suppose -65 = k + 51. Suppose 824 = -5*c + u, 0 = -c - 2*u - u - 168. Let f = k - c. Is f a multiple of 49?
True
Suppose -684729 = -95*r + 533646. Is r a multiple of 5?
True
Suppose 41*x - 43*x - 446 = 0. Let g = x - -121. Let q = g - -112. Is q a multiple of 5?
True
Let m = 4837 - -1562. Does 14 divide m?
False
Suppose -4*p + 10010 = -b - 4859, 0 = 2*p + b - 7427. Suppose -11*m - p = -262. Does 25 divide (-1 + m/(-8))/(30/80)?
False
Let y(m) be the third derivative of -65*m**4/24 - 367*m**3/6 + 4*m**2 + 17. Is 18 a factor of y(-8)?
False
Suppose y - 2926 = 28*m - 32*m, 2*y - 4*m - 5780 = 0. Does 7 divide y?
False
Let v = 1475 + -2614. Let i = v - -2183. Is i a multiple of 18?
True
Suppose -3*g + 4*t + 991 = 6*t, 4*t + 666 = 2*g. Suppose 0 = -4*r - 