88, n + b*w - 47 = 45. Suppose -3*x - 2*k = -5*x + n, -2*k = x - 25. Is 5 a factor of x?
True
Let w = -207 + -79. Let u = w - -344. Does 18 divide u?
False
Let z(v) = 11*v**2 - 28*v**2 + 18*v**2. Suppose -m = -c - 0*m + 9, -c + 4*m = -15. Does 49 divide z(c)?
True
Suppose -120*z + 2928 = -136*z. Let t = z - -199. Does 10 divide t?
False
Let m = -32843 - -60268. Does 61 divide m?
False
Let u(s) be the third derivative of -s**6/120 + 23*s**5/30 + 2*s**4 + 85*s**3/6 + 161*s**2. Is 26 a factor of u(47)?
False
Suppose -8*y + 4089 - 1529 = 0. Does 20 divide y?
True
Suppose 4*a + 17512 = 5*k, 5*a = -5*k + 9220 + 8265. Does 126 divide k?
False
Let c(v) be the third derivative of v**4/6 - 2*v**3 + 4621*v**2. Let n be (0 - -4) + (1 - 1). Does 4 divide c(n)?
True
Let p be 86/(-129) - 8/6. Let a(z) = -26*z**3 - 3*z**2 + z + 4. Does 42 divide a(p)?
False
Suppose 2*c + 4*v = 2, c + 9 + 2 = v. Let a = -7 - c. Suppose a = -7*j + 9*j - 16. Is j even?
True
Let c(j) = -3280*j + 2863. Does 13 divide c(-19)?
False
Let p be (-1 + 0)*2*7/(-14). Does 15 divide -6*((p - 6/4) + -3)?
False
Let j(u) = -24*u + 6. Let p = -35 - -74. Suppose 5*h + v = h - p, v = 2*h + 15. Does 11 divide j(h)?
False
Let c be -3 + (-5 - -7 - -76). Let f = c + -65. Suppose 9*b + 325 = f*b. Is 16 a factor of b?
False
Let t be -3 - (152/(-8) + 8). Is (17 - t - 6) + 86 a multiple of 22?
False
Let b(q) = -34*q - 214. Let w be b(11). Let t = 664 + w. Is t a multiple of 4?
True
Suppose 0 = -5*r - r + 66. Let q = 12 - r. Is (2 + -83)*q*1/(-3) a multiple of 3?
True
Let v = 181 - -1206. Suppose 0 = -8*d + v - 43. Is 42 a factor of d?
True
Suppose 5*o = 4*y - 158 + 23, -5*o - 95 = 4*y. Let h(b) = -b**3 - 22*b**2 + 19*b + 10. Is h(o) a multiple of 34?
True
Let d = -177 - -112. Does 29 divide (-3)/5 + (-234)/d - -181?
False
Suppose -7*v + 92421 = -3*p, 19*v + 52812 = 23*v - 5*p. Is v a multiple of 163?
True
Let l(o) = 242*o - 2. Let r(v) = 725*v - 5. Let k(h) = -11*l(h) + 4*r(h). Let f be 7/((-35)/(-15)) - 2. Is k(f) a multiple of 15?
True
Let o(c) be the second derivative of -c**5/20 + 7*c**4/6 + c**3/2 + 27*c**2/2 - 20*c. Let b be o(12). Suppose -2*t - 3 = -b. Is t a multiple of 29?
True
Let o = 1392 - -150. Is o a multiple of 22?
False
Let p = -286 - -288. Let q(s) = 83*s**2 - 9*s + 19. Is q(p) a multiple of 11?
False
Let o be -5 - (-296 - -4)/2. Suppose -o = -16*u + 35. Does 11 divide u?
True
Let f(n) = 9*n**2 - 4*n**2 - 1 + 5*n + n**3 - 8*n - 8*n. Let i be f(-6). Is 5 a factor of (4 + i/(-3))*-6?
False
Suppose 0 = u + u + 122. Let s = u + 41. Is 10/(32/s + 2) a multiple of 3?
False
Suppose -86306 = -151*v + 102746. Is 6 a factor of v?
False
Let s = -6543 - -11154. Does 3 divide s?
True
Let j = -19322 - -30646. Is 10 a factor of j?
False
Let z = -396 + 399. Suppose -b = z*y - 264 - 910, b + y = 1176. Does 21 divide b?
False
Suppose 0 = 5*u - 2*p - 1265, -245 = -7*u + 6*u + 2*p. Does 3 divide u?
True
Is 16 a factor of 14 + -14 - -1 - -13163?
False
Suppose 4*s - 231 - 369 = 0. Suppose s = -x + 2*x. Is 23 a factor of 234/(-10)*-1 - 60/x?
True
Does 52 divide 1/(2/1569)*12/6?
False
Let c = -2162 + 2171. Let v(l) be the second derivative of l**3/6 - l**2/2 + l. Is 2 a factor of v(c)?
True
Suppose 752 = -3*y + 749, 5*y - 216455 = -5*j. Is j a multiple of 141?
False
Let w = 527 - -6733. Is w a multiple of 10?
True
Let x(l) = -76*l**3 + 5*l**2 + 7*l. Let k be x(-3). Suppose -10*p + k = -8*p. Does 66 divide p?
False
Suppose -71 = 2*y + 33. Let x = -136 - -322. Let u = x + y. Is u a multiple of 21?
False
Suppose 14 = -4*f + 78. Suppose 2*y + 5*z = -f, 0 = -y + 4*y + 5*z + 14. Suppose 0 = -4*q - 10 - 6, 2*i - 78 = y*q. Is i a multiple of 2?
False
Let f(t) = 45*t - 26. Let m be f(3). Suppose -m*h - 3 = -110*h. Suppose i - 660 = -4*r, -2*i + 500 = h*r - 0*i. Is r a multiple of 11?
False
Suppose 0 = -5*w - 12*g + 17*g + 130, -109 = -5*w - 2*g. Suppose 5*i - 1809 = -3*r, 0 = 2*r - 19 + w. Does 11 divide i?
True
Suppose -35*s = -32*s + 1386. Let r = 599 + s. Is r a multiple of 2?
False
Let c(v) = -v**3 - 17*v**2 - 15*v - 20. Is c(-22) a multiple of 65?
True
Suppose 0 = m + 4*a - 1535, 5*a - 19 + 14 = 0. Does 20 divide m?
False
Let t = -3582 - -4074. Is 6 a factor of t?
True
Suppose -4*t = -t + 576. Let a = 384 + t. Is a a multiple of 16?
True
Suppose -2*m + m + 4*m = 7716. Does 54 divide m?
False
Let g = -248 + 477. Let d = 165 + -162. Suppose -s + g = 4*p, 0 = d*p - s + 4*s - 183. Is 8 a factor of p?
True
Suppose -13*i - 35*i = -5*i - 2619087. Is 324 a factor of i?
False
Let c(f) = -2*f**2 - 11*f - 4. Let y be c(-5). Let b be (y*117)/(2/(-4)*-2). Suppose h + b = 4*h. Is 13 a factor of h?
True
Let p(g) = 179*g**2 + 93*g - 79. Is 43 a factor of p(-7)?
True
Let k = -126 - -151. Does 22 divide (170/k - 2 - -4)*5?
True
Let h be 17 + (-11)/4 + 11/(-44). Is (-32)/3*(-63)/h a multiple of 23?
False
Suppose -3*v + 84558 = -51*q + 53*q, -3*v = -5*q - 84579. Does 54 divide v?
True
Let o(j) be the first derivative of 2*j**3 + 3*j**2 + 2*j - 15. Let f be o(5). Let q = -56 + f. Does 21 divide q?
True
Let r be (1 + -5)*(-11)/(-2). Let t = -21 - r. Is 296/12 + (1/3 - t) a multiple of 9?
False
Let q = 33 + -19. Suppose q - 16 = -c. Let t(g) = 10*g**3 + g**2 + g + 2. Is t(c) a multiple of 11?
True
Let f(v) = -1473*v + 12. Is 53 a factor of f(-6)?
False
Suppose 9 = 3*m + w, -3*w = -9*m + 4*m + 29. Suppose 0*v + 5*v = 3*t - 259, t = -m*v + 92. Does 15 divide t?
False
Let t(m) = 4*m - 2. Let p be t(-8). Let j be p/(-4)*(-15)/(-20)*8. Let c = -47 + j. Is c a multiple of 4?
True
Let l(x) = -x**2 + 8*x - 12. Let u be l(2). Suppose 3*f + 5*a - a - 448 = u, 2*a - 300 = -2*f. Is f a multiple of 3?
False
Suppose -11*u = -13*u - 2*v + 1432, 3*u = 3*v + 2142. Let h = u - 10. Does 67 divide h?
False
Suppose -4*m + 4*x + 8824 = 0, 7*x + 13459 = 4*m + 4623. Is 27 a factor of m?
False
Let x = -345 - -347. Suppose -x*g + 2646 = 4*a, -3*a - g = -1270 - 717. Is 97 a factor of a?
False
Suppose -4*w = 2*x - 4150, 4*w - 125 = 3*x + 4050. Is w even?
True
Let r(w) = 26*w + 3. Let q be r(2). Suppose 4*t = t - g + 23, -5*t - 5*g = -q. Suppose 307 = -t*u + 1381. Is 37 a factor of u?
False
Let f be 6*9/(-54)*-125. Let x = 12 + -8. Suppose x*l + 29 - f = 0. Is l a multiple of 6?
True
Let k(g) = -g**2 + 15*g + 4. Let s = 82 - 72. Is k(s) a multiple of 38?
False
Suppose -r = -4*x + 64, -4*r - 76 = -21*x + 17*x. Does 24 divide 9478/56 - x/12?
True
Let a(n) = -4*n - 28. Let j be a(-7). Suppose 3*o - 423 = -s, -o + 2*s + 2*s + 154 = j. Is 30 a factor of o?
False
Let j = -671 + 138. Let f be ((-12)/9)/((-2)/(-1197)). Let v = j - f. Is 53 a factor of v?
True
Let o = -333 + 498. Let d = 439 - 460. Let l = d + o. Does 36 divide l?
True
Suppose 12754 = 6*a + 5*s, 21*a - 23*a - 3*s + 4254 = 0. Is a a multiple of 14?
False
Does 104 divide (-1560)/(10 + -12)*56/12?
True
Let x(f) = -3*f**3 - 19*f**2 + 20*f + 4. Let o(a) = a**3 + a**2. Let v = -37 - -36. Let g(t) = v*x(t) - 2*o(t). Is 8 a factor of g(-18)?
True
Let x = 1533 - 1507. Is 2 a factor of x?
True
Let q = -36 - -1090. Is 66 a factor of q?
False
Suppose 6*g - 5*g + 1189 = 3*c, c - g = 395. Let h = -217 + c. Does 10 divide h?
True
Let h = -4903 - -7478. Is h a multiple of 10?
False
Let x(q) = 6*q**2 + 13*q + 52. Let r be x(-5). Suppose 136*t + 240 = r*t. Is 13 a factor of t?
False
Let f(j) = j**2 + 44*j + 529. Is 3 a factor of f(-16)?
True
Suppose -330*c - 5126795 + 18341315 = 0. Does 213 divide c?
True
Suppose -4*u + 15 = 3*h - 3*u, 5*u = 0. Suppose h*r - 11*k + 10*k = 1820, -3*k = 3*r - 1092. Does 55 divide r?
False
Let y(r) = -490*r + 1420. Is y(-95) a multiple of 123?
True
Let n(o) = -17*o**3 - 4*o**2 - 7*o + 2. Let t(y) = 4*y**3 + y**2 + 2*y. Let i(c) = -2*n(c) - 9*t(c). Let z = -8 + 6. Is 5 a factor of i(z)?
False
Let d = -3935 + 14715. Is 20 a factor of d?
True
Let g(p) = 8 - 3 - 5*p + 12*p. Let k be g(-5). Is (-3)/90*-844 + 4/k even?
True
Let i(t) = t**3 + 21*t**2 + 6*t - 42. Let m be ((-510)/24)/(-5) - (-3)/4. Suppose -m*j - 24 = 5*x + 81, x = -4*j - 24. Is i(x) a multiple of 34?
True
Let x be (8/(-4) - -3)*-17. Let n(y) = -y**2 - 21*y - 25. Does 20 divide n(x)?
False
Suppose 5*v - 3*r = 114, 0 = -3*r - 9. Suppose -7*n = -7 - v. Suppose 110 = -2*s + n*s. Is s a multiple of 11?
True
Suppose a + 2*d - 39 - 76 