uppose -3*p - 264 = -5*w - i*p, -282 = -c*w + 4*p. Is 6 a factor of w?
True
Let a(u) = u**3 - u**2 + 8*u + 998. Is 36 a factor of a(0)?
False
Let d(l) = 48 + 38 + 36*l**2 - 24*l + 0*l**3 - 76 + l**3. Let s(k) = -k**3 - 18*k**2 + 12*k - 5. Let a(y) = 3*d(y) + 5*s(y). Does 7 divide a(8)?
False
Suppose 3*q - 4 = 2. Let h(v) = 20*v**2 - 5*v + 14. Is h(q) a multiple of 14?
True
Let l = 24 - 24. Suppose -456 = -l*q - 4*q. Let i = q - 9. Does 15 divide i?
True
Suppose 2*d + 47 = 3*t - 12, -3*t - d + 65 = 0. Let k(w) = w**2 - 3*w - 78. Is 12 a factor of k(t)?
True
Suppose -19*k = -16*k - 1950. Suppose 646*s + 392 = k*s. Is s a multiple of 49?
True
Let z(p) = -3*p**3 + p**2 + 3*p - 12. Let q be z(-3). Suppose -4*o + o + 3*x = -q, -4*o + 77 = x. Is o even?
True
Suppose -5*o = l - 22727, -2*l = -2*o + 5921 + 3153. Is o a multiple of 32?
True
Suppose 21*c + 447 = 3009. Let v = c - 35. Does 3 divide v?
True
Let r be ((-56)/(-6))/(2/12). Suppose -y - y = -r. Is -1 + 0 + y - -1 a multiple of 7?
True
Let b(c) be the second derivative of 5*c**4/12 - 13*c**3/6 - 19*c**2 + 4*c - 25. Does 40 divide b(16)?
False
Let u(c) = -7*c + 1. Let p be u(-1). Let h be 3 + 4280/55 + 4/22. Suppose -25 = p*a - h. Is a a multiple of 7?
True
Suppose -3*f - 7967 = -2396. Let d be (-3)/6 - f/6. Suppose 5*m = d + 621. Does 46 divide m?
False
Let k be 4*(7 - 8) - 3/(-1). Is 45 a factor of 12/(-3)*43*k/2?
False
Let a = 91 + -88. Suppose 0 = 5*r - 3*r - 10, -2*c + a*r + 1305 = 0. Is c a multiple of 66?
True
Let v = -12536 + 24159. Is 243 a factor of v?
False
Suppose 0 = 10*p - 55*p + 221535. Is 8 a factor of p?
False
Suppose -2*b - 36 = -6*b + 5*n, -4*b + 4*n = -32. Suppose b*h + 154 = k, -3*k = h - 0*h - 397. Suppose -3*p - g = -k, 0 = p - 3*p + 5*g + 95. Does 11 divide p?
False
Suppose 3*w = 6*u + 3168, u - 6*u = -5*w + 5250. Does 36 divide w?
True
Let k = -59 + 57. Does 11 divide ((-31)/k - -2)*1188/45?
True
Let z(j) = j**3 + 3*j**2 - 6*j - 13. Let w be z(-2). Suppose t - w*h - 161 = 0, -h = -2*t + h + 310. Does 4 divide t?
True
Let v(d) = -d**3 - 46*d - 1259. Is v(-21) a multiple of 76?
True
Suppose 412*j - 413*j - 352 = 0. Does 22 divide ((-2)/(-2))/((2/j)/(-1))?
True
Suppose -3*q - 2*q = 0. Let v be (-8 + 8 - (-4)/(-1)) + 6. Suppose -v*w + 114 = -q*w. Is 20 a factor of w?
False
Suppose -45*p = -42*p - 12. Suppose -183 = -p*w - 5*j, -4*w + 5*j + 43 = -110. Is 7 a factor of w?
True
Let g(v) = 3*v**2 + 8*v - 15. Let m be g(-13). Let z = -152 + m. Does 5 divide z?
False
Suppose -61*b = -49*b - 4416. Let t = -210 + b. Is t a multiple of 3?
False
Let h = 99 - 99. Suppose 89*x - 94*x + 2080 = h. Does 11 divide x?
False
Let x be ((-1)/3)/((-7)/966) + -1. Suppose 5*m - 215 = -x. Suppose h - m - 29 = 0. Does 21 divide h?
True
Let x(g) = -41*g - 12. Suppose -14*w = 8*w + 132. Is 31 a factor of x(w)?
False
Let d be 3 - 8 - -4 - -81. Let c = -67 + d. Suppose -3*y = -c*y + 1620. Does 22 divide y?
False
Suppose 3*c = -3, -2*g + 1496 = -2*c - 750. Is g a multiple of 102?
True
Suppose -4*q - 2*w = -26042, 1641*q - 1645*q + w + 26039 = 0. Is 62 a factor of q?
True
Let t = -10979 - -20884. Is 35 a factor of t?
True
Suppose -23*i - 9847 = -5*l, 6*i - i = -l + 1979. Is l a multiple of 30?
False
Let m(l) = -l - 1. Let o(i) = -i**3 - 10*i**2 - 6*i - 6. Let j(g) = -2*m(g) + o(g). Suppose -5*h = 5*t + 60, 5 + 3 = -4*h. Is 6 a factor of j(t)?
True
Let n = 15 - 13. Suppose 5*f + 3*u = 7*u - 2, 5*f - n*u = 4. Suppose f*b + 0*x = -4*x + 16, 0 = 2*x + 4. Is 6 a factor of b?
True
Let o = 254 - 249. Suppose -10*v + j + 131 = -5*v, -o*v = 5*j - 155. Is 3 a factor of v?
True
Let d = -196 - -204. Let z(h) = 7*h**2 - 21*h - 19. Does 9 divide z(d)?
True
Suppose -5*i = 2*c - 16, 9 - 1 = 2*c + i. Is 16 a factor of c*-60*((-20)/(-25))/(-1)?
True
Let r(n) = 68*n - 55. Suppose -5*f = o - 27, 3*f = 4*o - 2*o + 24. Does 25 divide r(f)?
False
Let n = 473 - 475. Is 13 a factor of (2 + (-9)/n)*26?
True
Let r(o) = 122*o - 964. Is r(20) even?
True
Let w be (-112)/6*(0 - -3). Let o = -52 - w. Is (4/(-6)*o)/(1/(-9)) a multiple of 4?
True
Let u be 39/(-26)*(69/(-3) - -3). Suppose -2*y - 3*d - u + 147 = 0, -324 = -5*y + 3*d. Is 8 a factor of y?
False
Suppose 2*p = -5*m - 8 - 68, -70 = 4*m - 3*p. Let x = m + 20. Does 40 divide (3 + (-14)/x)*-80?
True
Let k(q) = 122*q**2 + 211*q - 1477. Does 13 divide k(7)?
False
Let x = -38 + 46. Let t(c) = -9*c + c**2 + x*c + 17 + 10*c. Is 7 a factor of t(-14)?
False
Suppose -15*t + 1015 + 335 = 0. Suppose -t = -14*w + 568. Does 47 divide w?
True
Let l = -15243 - -22100. Is l a multiple of 35?
False
Let o be ((-70)/56)/(3/(-12)). Let h(l) = -l**3 + 2*l**2 - 1. Let b be h(1). Suppose b = 3*k - o*k + 284. Is 22 a factor of k?
False
Suppose 0 = 4*b - 16, 3*b = -3*x + 4225 + 8327. Is x a multiple of 44?
True
Suppose 67840 = 11*w - 3979. Is w a multiple of 17?
False
Suppose 3*m - 12 = -3. Let x = 19 + -19. Suppose -2*t - 5*o + 93 = x, m*t - 88 = t - 4*o. Does 34 divide t?
True
Suppose 2*y = 3*y - 4*w - 1287, 2*y + 5*w = 2613. Let a = y + -231. Does 12 divide a?
True
Is 495/(-33) + 15 + 4020*1*2 a multiple of 67?
True
Let f(w) be the third derivative of -w**5/60 - 5*w**4/6 - 8*w**3/3 + 16*w**2. Let y be f(-17). Suppose 70 + y = 7*q. Does 15 divide q?
True
Let t = 251 - 246. Suppose 509 = t*s - 1101. Does 39 divide s?
False
Let h = 458 - 452. Suppose -h*t = -1467 - 2313. Is t a multiple of 21?
True
Let w = 102 + -96. Let o be 8098/3 - (-1)/9*w. Suppose -9*c + o = 11*c. Is c a multiple of 13?
False
Let m(j) = -j + 16. Let r be (-11)/(2/(-14)*49/(-14)). Let p = r + 19. Is 4 a factor of m(p)?
False
Is (-14)/((-26576)/(-13299) - 2) a multiple of 31?
True
Suppose 19*l - 197398 - 11716 = 0. Does 18 divide l?
False
Let x = -20 - -28. Suppose -11*f + 3 = -x*f. Is 6 a factor of (-4 - -1)/f + 105/5?
True
Let f be ((-4270)/10)/(3/39*-1). Suppose -8*j = 5*j + f. Let b = -205 - j. Is b a multiple of 11?
False
Let b = 20 - 16. Let z(g) = -g**2 - g + 18. Let n be z(3). Does 15 divide b/n + (-1212)/(-18) + 6?
False
Suppose -25 = -2*q - 5*n, 17 = q + n - 0*n. Suppose 16 - q = -c. Suppose -i - 46 - 6 = -c*o, 0 = -5*o - 4*i + 86. Does 7 divide o?
True
Suppose -112*r = -148373 - 136555. Is 21 a factor of r?
False
Let x = 168 + -166. Let i(y) = 59*y**2 + 23*y - 2. Is 35 a factor of i(x)?
True
Suppose 28 + 32 = 3*p. Suppose -d = -p*d + 57. Suppose 434 = -y + d*y. Is 49 a factor of y?
False
Let v(g) = 2*g + 2 + 3*g + 4*g. Let l(j) = 2*j**2 + 36*j + 44. Let z be l(-17). Is 19 a factor of v(z)?
False
Let z = -29 - -42. Suppose -w + z = -21. Let q = 44 - w. Does 2 divide q?
True
Let o = 599 + -510. Suppose 3*r - o - 28 = 0. Is 2 a factor of r?
False
Suppose 5*u - 20 + 5 = 0, -4*b - 3*u - 355 = 0. Let n = 226 + b. Is 3 a factor of n?
True
Let q = -210 - -511. Suppose q = 4*v - 3*v. Suppose -5*j + v = -209. Does 34 divide j?
True
Let c be 20/40 - 754/4. Let l be (c + 16)*2/(-8). Suppose -2*z - l = -3*z. Is 25 a factor of z?
False
Let r(h) be the second derivative of h**3/6 + 3*h**2/2 + 6*h. Let q be r(0). Suppose c - 5*k - 69 = 0, 0 = -3*c + k + q*k + 152. Is c a multiple of 22?
True
Let v = -182 - -90. Let f = -36 - v. Let i = 112 + f. Is i a multiple of 27?
False
Let y be 1 + 212 - (6/3 + 1). Suppose -19*w = -y - 113. Is w a multiple of 9?
False
Let k be ((-3)/(-2))/(18/24) - -2. Suppose -5*c = k*m - c - 36, 4 = -4*c. Is (7 - 10) + m/2 - -10 a multiple of 3?
True
Suppose 2 = -i + 5. Suppose i*a - 6 - 12 = 0. Suppose 2*u - 38 = -a. Is u a multiple of 8?
True
Let m be -3*16/(-20)*(-10)/(-12). Let r be ((-670)/4)/((-2)/4). Suppose -s + 2*b = -0*b - 79, -r = -5*s - m*b. Is s a multiple of 10?
False
Suppose -h - 3*n - 16 = 0, 12 = h - 3*n + 4. Let w be (4/(-6))/(h/(-42)). Let u(a) = -a**3 - 7*a**2 - 9*a + 5. Is 17 a factor of u(w)?
True
Let n(c) = -3*c - 34. Let l be n(5). Let v = -47 - l. Suppose 0*z + 3*z - 9 = 0, -5*b + v*z + 99 = 0. Is b a multiple of 10?
False
Let p(q) = 2*q**3 - 12*q**2 - 42*q - 15. Does 93 divide p(12)?
True
Let r(j) = -j**3 + 14*j**2 - 9*j - 36. Let v be r(13). Suppose 19384 = v*n + 4776. Is 83 a factor of n?
True
Let h(m) = -m**3 + 64*m**2 - 15*m - 205. Does 32 divide h(40)?
False
Let r(y) = -y**2 + 30*y - 159. Let j be r(7). Suppose 4*m - 1335 = -5*c + 6461, -3124 = -j*c + 4*m. Does 10 divide c?
True
Let