alse
Suppose 0 = -3*n + 2*d + 22, -2*n - 5*d + 3 = 1. Suppose -8*i + 5670 = n*i. Does 45 divide i?
True
Suppose -77*d + 62046 + 415710 = -85653. Does 27 divide d?
True
Suppose -10 = 5*a + 4*b, 3*a - b + 5*b + 14 = 0. Suppose -32*s + 41*s = 234. Suppose -s - 20 = -a*z. Does 5 divide z?
False
Suppose 0 = -0*t - 4*t. Let x(w) = w**2 + 2*w + 168. Let l be x(t). Let k = l + -106. Is k a multiple of 17?
False
Suppose 550 = -4*m - 2*v + 4342, -2*m + 1884 = -5*v. Suppose 4*d + m = -25. Let f = -156 - d. Does 29 divide f?
True
Does 129 divide ((-15)/(-110)*11)/(9/93612) + 7?
True
Let t(r) = 8*r**2. Let z be t(-2). Suppose -p - m + 19 = 2*m, -3*p = 4*m - z. Suppose p*l - 208 = 2*l. Is l a multiple of 27?
False
Suppose -2*q = -q + 2, 1705 = g + 5*q. Suppose 4*c + i = g, 0*i - 2*i = -4*c + 1706. Is c a multiple of 9?
False
Suppose 5*r = -3*t + 14685, 4*t + 10*r - 9*r - 19597 = 0. Does 141 divide t?
False
Suppose 3*f = 2*l - 0 - 3, 0 = 4*f - 4. Does 3 divide (-5)/(-18 + l)*261?
True
Let z(y) = 51*y**2 + 25793. Is z(0) a multiple of 99?
False
Let n = 3847 + -919. Suppose 11*y - n = 5*y. Is y a multiple of 61?
True
Let n(m) = -m**3 + 24*m**2 + 26*m - 16. Is n(24) a multiple of 16?
True
Let g be (-4542)/(-6) + 0 - (-2 - -3). Suppose -68*s - g = -74*s. Does 18 divide s?
True
Let r = 93 + -104. Let y(h) = 2*h**3 + 23*h**2 - 11. Is y(r) a multiple of 5?
True
Let n = 2669 + -892. Suppose 4*z = -3*p + 1324, -7*z + 10*z = -4*p + n. Does 14 divide p?
True
Suppose 11*g = 6*g - 2*s + 1515, 0 = -2*g + 3*s + 606. Suppose g = i + 6*y - y, i = -4*y + 299. Does 27 divide i?
False
Let k be (-2982)/(-56) + -1 + 3/4. Suppose -3*b + k = -46. Does 4 divide b?
False
Let o = 425 + 244. Is o a multiple of 35?
False
Let o be (-57360)/(-20)*(2 + 6/(-4)). Let b = o + -959. Is 25 a factor of b?
True
Let n be 2 - 0 - (-1 + -1). Suppose -1330 = -w - n*w. Does 18 divide w?
False
Suppose 37*k - 924335 = 1828428. Is 12 a factor of k?
False
Suppose 2*x + 2*u - 26940 = 0, 71*x - u - 13458 = 70*x. Does 198 divide x?
True
Let p(f) = 167*f**2 - 4*f - 38. Does 17 divide p(4)?
True
Does 24 divide (4/(-6) - 31403/(-21)) + (-64)/(-224)?
False
Let r(c) = -c**3 - 11*c**2 - 10*c - 3. Suppose -5*l = 5 - 20. Let k(x) = 2*x**3 + 21*x**2 + 19*x + 6. Let v(d) = l*k(d) + 5*r(d). Is v(-5) a multiple of 17?
False
Suppose -2154 - 2316 = -30*i. Is 1*(4 + 0)*i/2 a multiple of 20?
False
Let p be 24/9*-9*35/(-60). Let a = 21 - p. Is 7 a factor of a?
True
Let i = 17 + -12. Suppose -4*x + i*b + 109 = 0, 8*b - 3*b + 88 = 3*x. Suppose -22*o = -x*o - 96. Is o a multiple of 20?
False
Suppose 5*j = t - 20 - 150, 2*t = j + 304. Let f = 242 - t. Is 5 a factor of f?
False
Is 135 a factor of 90/(10/(-6)*(-5)/75)?
True
Let d(c) = 54*c + 8013. Is d(-83) a multiple of 33?
True
Let p(v) be the second derivative of -v**5/10 - v**4/4 - v**3/3 + 15*v**2/2 + 4*v + 9. Does 12 divide p(-3)?
True
Suppose p - 3*p = 5*j + 1201, 1192 = -5*j + p. Let x = -59 - j. Is x a multiple of 9?
True
Suppose 5*x = 2*h - 336, -4*h - 6*x + 620 = -3*x. Let y = h + -36. Does 69 divide y?
False
Suppose -5*s + 7524 = 4*b, 20*s = -3*b + 17*s + 5640. Does 3 divide b?
False
Let g(h) = -40*h + 1. Let a be g(2). Let c = 883 + -973. Let x = a - c. Is 11 a factor of x?
True
Is (-2508)/(-10)*21*3/(-42)*-20 a multiple of 19?
True
Suppose -9*l = -2*l + 5*b - 274808, 2*l - 78544 = 2*b. Does 32 divide l?
True
Let d(s) = -97*s + 3. Let p be d(-3). Let w = p + -209. Is w a multiple of 12?
False
Let p = 4522 + -3018. Is 6 a factor of p?
False
Let b = -2286 + 8397. Suppose 6*u - b = 1923. Does 13 divide u?
True
Suppose 4*m - 11 = 3*m - h, -29 = -m + 5*h. Is 7 a factor of m?
True
Suppose 2*k = -5*k + 12*k - 19*k. Suppose r - 172 = 4*v, 700 = 4*r - 0*v - 4*v. Suppose -42*l + 38*l + r = k. Does 4 divide l?
True
Let c = -4552 - -12223. Does 12 divide c?
False
Let t be 3 + (5 - 0 - -2). Let j = t - -189. Is 50 a factor of j?
False
Suppose -r + 1143 = 4*f, 3*f - 5739 = -5*r + 7*f. Suppose -k + r = 4*m, -587 + 1719 = 4*m + 4*k. Is 59 a factor of m?
False
Let o(u) = -97*u - 25. Let i be o(-25). Suppose -i = -26*w + 16*w. Is w a multiple of 48?
True
Suppose 0 = 4*x - 3*x - 10. Let r = -8 + x. Suppose -j - 383 = -4*j - 5*q, 0 = r*j - 5*q - 222. Is 36 a factor of j?
False
Let h(z) = z**2 + 11. Let k be h(8). Suppose 82*s = 87*s - k. Let d = -7 + s. Does 4 divide d?
True
Let i be (2/1)/((-8)/(-12)). Suppose 0 = -i*o + 2*m + 138, 2*o + 3*m - 201 = -2*o. Does 8 divide o?
True
Suppose -75*a = -79*a - 28, 0 = w - 5*a - 8325. Is w a multiple of 5?
True
Let q(r) = -r**3 - 11*r**2 + 2*r + 9. Let a be q(-11). Does 6 divide (-2507)/a + (-12)/(-78)?
False
Let t(h) = 233*h**2 + h - 2. Let z be (-8)/(-6) - (280/30 - 9). Is t(z) a multiple of 29?
True
Let y(z) = -z**2 + 5*z + 8. Let u be y(6). Let d(l) = 7*l**2 - 27*l - 101. Let s be d(-3). Suppose 0 = u*j + 4*n - 34, n = 4*j + 11 - s. Does 3 divide j?
True
Let p(a) = a**2 + 12*a + 12. Let o be p(-14). Let z = o - 12. Is 4 a factor of z/(-2)*((-84)/(-8))/(-7)?
False
Suppose -226 = 2525*r - 2527*r. Does 14 divide r?
False
Suppose 10*g = -2*g + 924. Let n = 101 - g. Suppose -n*u + 14*u + 320 = 0. Is 16 a factor of u?
True
Let n be -1*(0 - 0/(-1)). Let w(v) = 8*v**2 + 4*v - 201. Let g(d) = 13*d**2 + 6*d - 303. Let q(i) = 5*g(i) - 8*w(i). Does 31 divide q(n)?
True
Suppose -2*l = -1 + 9, 535 = 3*z - 4*l. Suppose 4*g - c - 872 = 0, -4*c - 249 = -2*g + z. Does 14 divide g?
False
Let m(x) = -81 + 163 - 2*x - 63. Let g be m(10). Is 23 a factor of (-69)/(g - 0/4)?
True
Suppose 3*f + 2*k = k + 12, -5*f + 20 = -k. Suppose f*x - 48 - 176 = 0. Let l = x + 9. Is l a multiple of 10?
False
Suppose -612 - 342 = -c + 3*m, -2*c = -4*m - 1896. Is c a multiple of 26?
True
Suppose -4387 + 18367 = 12*h. Suppose 5*v + h = -0*v. Let p = v + 433. Does 25 divide p?
True
Let l = -53 - -19. Suppose -152 = 193*v - 174*v. Is 3 a factor of l*1*v/16?
False
Let j be -171*(33/(-9) - 2/(-3)). Let o be (j/(-12))/(1/(-4)). Suppose -4*u + 5*a = -0*u - o, u - 24 = 5*a. Does 26 divide u?
False
Suppose 0 = -29*f + 124 + 21. Suppose 4*g - 835 = -5*l + f*g, 3*g = 15. Is 6 a factor of l?
True
Suppose 5*v - 2*v - 3044 = -4*p, 2*v = 5*p - 3828. Suppose -p = -4*b - 2*c + 6*c, 0 = -4*b - 2*c + 740. Does 17 divide b?
True
Suppose 0 = 8*j - 3*j + 210. Let r = j - -53. Does 3 divide r?
False
Let s(x) = -8*x**2 - x**3 - 3*x + 30 + 8*x**3 + 11*x**2 - 10*x**3. Is 11 a factor of s(-5)?
True
Let n(r) = -8*r - 35. Suppose 5*v + 49 = -t, -9 = 2*v - 2*t + 1. Let u be n(v). Suppose -2*s - d + 21 = 0, u = 3*s + 5*d - 5. Does 3 divide s?
True
Let f(j) be the second derivative of -23*j**3/6 + 27*j**2/2 - 15*j. Let l be f(-9). Suppose 4*w + l = 6*w. Is 13 a factor of w?
True
Let p(o) = o**2 + 5*o. Let t = -18 - -12. Let u be p(t). Let a = u - 3. Is a a multiple of 2?
False
Let d(z) = -3*z**3 + 2*z**2 + 15*z + 2. Let m be d(5). Let n = -102 - m. Does 60 divide n?
False
Let q be (-224)/(-56) + 0/(2 - 1). Let b be (20/15)/(q/150). Is -6 + b/8 + (-254)/(-8) a multiple of 14?
False
Let q = -1739 + 1075. Let t = q + 703. Does 13 divide t?
True
Suppose 3752 = 42*i - 34*i. Let r = i - 259. Does 7 divide r?
True
Suppose 384*s = 387*s - 21666. Is 90 a factor of s?
False
Let g(f) = f**2 + 3*f - 2. Let p be g(-2). Let r(i) = -2*i - 3. Let t be r(p). Suppose -5*y - 932 = -4*n - 0*y, 0 = -t*n + 2*y + 1182. Is 17 a factor of n?
True
Suppose 1 = -w - i - 49, -218 = 4*w - 5*i. Let u = w - -8. Let z = u + 104. Does 15 divide z?
True
Does 6 divide (-4)/(-20) + 3539/5 + -5?
False
Let t = 4778 + -2803. Is 79 a factor of t?
True
Let s = -158 - -161. Suppose 4*a = 2*q - 670, 1610 = 8*q - 3*q + s*a. Does 18 divide q?
False
Let p(w) = 43*w**2 + 115*w - 668. Does 26 divide p(6)?
False
Suppose -4*r + 12 = 0, -h + 5*r - 114 = 2*h. Let k = h + 90. Let n = k - 33. Does 6 divide n?
True
Let o = 5148 - 644. Is 13 a factor of o?
False
Let d(x) = -5*x**2 + 41*x - 64. Let c(b) = -b**2 + 10*b - 16. Let k(o) = 9*c(o) - 2*d(o). Let t be k(-11). Let q = t - -7. Is q a multiple of 8?
True
Let q be (-3 - 17/(-4))*24. Let g be (0 + 2)/(-2) - q/10. Is 25 a factor of (-135)/(-20)*g/(-1)?
False
Let r(x) = 4*x**2 - 21*x - 10. Let w be r(6). Suppose -12 = 3*t, 3*i - t - 9 = w*i. Is 22 a factor of 1/i*(-333)/9?
False
Let s(y) = -y**2 - y + 85. Let i(r) 