13 + -2)*(0 - p/(-9)). Is 12 a factor of 23 + (4/(4/(-3)) - n)?
False
Suppose 121*l = -3*l + 406224. Is 39 a factor of l?
True
Suppose -c + 2*c = -2*i + 14, -4*c - 3*i = -31. Suppose -c*p + 9*p = -2*l + 184, 2*l = -p + 32. Suppose -p = -5*h + 92. Is 13 a factor of h?
True
Let k be (-4)/(-10) + 2 + 88/(-20). Let j be (-2 - k) + 7 + -5. Is 24 a factor of (-4 + 6)/(j/189) - -3?
True
Suppose -4*q + 11*q - 2821 = 0. Let p = 687 - q. Is p a multiple of 12?
False
Suppose -55*b = -52*b + 435. Suppose 4*i + 919 = -5*y, -2*i - 477 = -y - 0*y. Let j = b - i. Is 9 a factor of j?
False
Suppose 21*n - 19*n - 550 = -2*s, 2*s - 5*n - 536 = 0. Is 39 a factor of -1 + (4 + s)/(0 - -1)?
False
Let x(f) = -4*f + 55. Let w(t) = t**2 - 7*t. Let s be w(6). Is x(s) a multiple of 2?
False
Let j = 23 - 22. Suppose m = -j, -f + m = 4*f - 401. Suppose 0 = x - 11*x + f. Does 8 divide x?
True
Does 90 divide (-1545)/1236 + (-122410)/(-8)?
True
Let f = 471 - 1134. Does 13 divide f/(-3) + 3 + -3?
True
Suppose -878 = 6*j - 2984. Let r = j - 154. Suppose r = 4*f - 5*c, -c = 2*f - 3*c - 100. Is 11 a factor of f?
False
Let j(d) = -13*d**2 - 44*d + 80. Let b(f) = -3*f**2 - 11*f + 20. Let g(n) = -9*b(n) + 2*j(n). Let s be g(-15). Suppose 12*a - 10*a = s. Is 4 a factor of a?
True
Let r(l) be the first derivative of -164*l**2 - 80*l - 284. Is 6 a factor of r(-3)?
False
Suppose 8*b + 5*i - 22 = 9*b, 2*b - 2*i = -4. Suppose 5*d = 2*k - 1138, -b*d - 1396 = -3*k + 302. Does 12 divide k?
True
Let c(w) = -3*w - 19. Let i be c(-8). Suppose -6*v + 4*x = -v - 437, -4*v + 355 = -i*x. Let j = 163 - v. Is 13 a factor of j?
True
Let i(t) = 3*t - 221. Let x be i(-7). Let f = 674 + x. Is f a multiple of 24?
True
Let s = -3912 - -11124. Is 13 a factor of s?
False
Let k = 5792 + -1139. Is 47 a factor of k?
True
Let q be (18/45)/((-1)/(-5)). Suppose 0 = -4*t + 8 + 12, -383 = q*c + t. Let b = -80 - c. Is 14 a factor of b?
False
Let s(l) = 16*l**2 + 2*l + 17778. Is 37 a factor of s(0)?
False
Suppose -4*u + 9*u - 4295 = 0. Suppose 0 = 5*i - 76 - u. Is i a multiple of 26?
False
Let g(p) = 3*p**2 - 48*p + 4. Is 17 a factor of g(-5)?
False
Let r(p) = 189*p + 927. Does 15 divide r(36)?
False
Suppose p + 841 = 5*k, -23*k + 5*p = -25*k + 331. Suppose -5*r - 4*f = -210, 0 = -4*r + 2*f + f + k. Is r even?
True
Suppose 2*b + 890 = z - 0*b, -5*z + 3*b + 4415 = 0. Suppose -48*q - z = -53*q. Suppose -5*n + q = -n. Is 4 a factor of n?
True
Let a be 3/(-6)*(-2246 + -2)/2. Suppose -560 = -2*l + a. Does 11 divide l?
True
Let h be 4/(-2)*(-415)/166. Suppose -r + 2754 = 5*x, -2*r = x - h*r - 554. Is x a multiple of 5?
False
Let k(y) = -y**2 + 21*y + 27. Suppose 3*p = 32 - 17. Suppose p*u - 4 - 66 = 0. Does 25 divide k(u)?
True
Let i(m) = 12*m**2 + 74*m - 538. Does 76 divide i(21)?
True
Suppose 23094 = -10211*y + 10220*y. Is y a multiple of 36?
False
Let i = -3551 - -822. Let v = 4140 + i. Is v a multiple of 12?
False
Let c(g) = -55*g**2 + 3*g - 4. Let m be c(-3). Let p = -358 - m. Let l = p + -84. Does 11 divide l?
True
Let i(x) = -x**3 - 21*x**2 - 19*x + 15. Let c be i(-20). Let b = c + 4. Does 12 divide 1 + (b - 1) + -2 + 15?
True
Let x = 70224 - 30551. Does 190 divide x?
False
Suppose -101*z + 7389 = -262*z + 180947. Is 17 a factor of z?
False
Suppose 0 = 342*n - 311*n - 197656. Is 65 a factor of n?
False
Let g(u) = u**2 + 22*u - 24. Let z(v) = -v**2 - 21*v + 25. Let o(l) = -6*g(l) - 7*z(l). Let a be o(-17). Suppose -7*i = -a - 711. Does 17 divide i?
True
Suppose -q + 536 = 178. Let j = q - 326. Is 31 a factor of j?
False
Let w = 14073 - 8089. Does 136 divide w?
True
Let t(y) = 4*y**2 + 18*y + 72. Suppose 0 = -10*a + 35 - 115. Is t(a) a multiple of 8?
True
Suppose 2*l - 14*l = -1176. Let q = -34 + l. Is 4 a factor of q?
True
Suppose 116*a - 324688 = 17*a + 8*a. Does 16 divide a?
True
Suppose 3*h - 110 = -8*h. Suppose -5*x = -3*u + 880, x = 3*x + h. Is 15 a factor of u?
True
Is 16 + 396/(-24) + (-3)/(12/(-1690)) a multiple of 2?
True
Suppose 2*v = -r + 13 - 0, 4*r + 8 = 4*v. Suppose -v*h - 6*i + 311 = -3*i, -2*h + 2*i = -118. Let s = 77 - h. Is s a multiple of 5?
False
Suppose 0*j + 2*j + 5*a - 10309 = 0, 3*j - 15457 = -a. Is j a multiple of 32?
True
Let m = 286 + 2479. Does 79 divide m?
True
Suppose -3*c - 2*r + 8991 = 0, 0 = 4*c + 3*r - 1324 - 10663. Is c a multiple of 30?
False
Let d(x) = -3*x**2 - x - 16. Let b(v) be the first derivative of -v**3/3 + v + 44. Let h(n) = 2*b(n) - d(n). Is 18 a factor of h(-9)?
True
Let w(o) = 3*o - 20. Let h = 33 - 25. Let k be w(h). Suppose k*z - 404 = -2*b + 232, -3*z = 3*b - 477. Does 10 divide z?
False
Let o(b) = b**3 - 3*b**2 + 13*b - 11. Suppose -5*g + 10 = 0, -5*q - 5*g = -2 - 23. Is 7 a factor of o(q)?
True
Let x = 11355 + 978. Does 17 divide x?
False
Let j(m) = m**2 - 111*m + 5009. Is 45 a factor of j(98)?
True
Let b(c) = c**2 - 5*c - 3. Let s be b(6). Suppose -3*o = 2*t - 47, 27 - 104 = -5*o - s*t. Suppose 19 = -12*q + o*q. Is q a multiple of 3?
False
Suppose 0 = -3*b - 3089 + 356. Let c = -648 - b. Is 4 a factor of c?
False
Suppose 0*k + 7*k - 1246 = 0. Let w = k - 87. Let s = -63 + w. Does 7 divide s?
True
Suppose 791*u - 896*u = -1458450. Is 131 a factor of u?
False
Let x = -41 - -46. Suppose -x*k - 28 = -12*k. Is 1 + 1 - (-588)/(-1 + k) a multiple of 25?
False
Let y(i) = -2*i**2 - 62*i + 53. Suppose 2*k + 56 = -n, -15*k + 11*k - 5*n - 100 = 0. Is 2 a factor of y(k)?
False
Suppose -8*s + 126625 = -8*s + 25*s. Does 5 divide s?
True
Let t = 80 - 72. Suppose -t*f - 5*f = -611. Is 4 a factor of -5*(-1)/5 + f?
True
Let v(i) be the first derivative of -34 + 38*i + 1/4*i**4 + 1/3*i**3 - 2*i**2. Is v(0) a multiple of 19?
True
Let o = 2493 - 1563. Does 93 divide o?
True
Let c(i) = -i**2 - 2*i + 26. Let z be c(-6). Let d be (-3)/z*(-28)/6. Suppose -672 = -d*y + y. Does 17 divide y?
False
Suppose -11 = 4*f + f - 2*h, -2*f - 2 = -2*h. Let b be f - -5 - (-33 - -1). Is 2/((-4)/(-178)) - b/(-17) a multiple of 24?
False
Let d(j) = j**3 + 16*j**2 + 37*j - 5. Let q be d(-14). Let t = -54 - -211. Let y = t + q. Is 3 a factor of y?
False
Let b(u) = -u**3 + 50*u**2 + 78*u + 107. Does 100 divide b(44)?
False
Suppose -57*v = -58*v + 4*x + 1274, x + 3778 = 3*v. Does 3 divide v?
False
Suppose -32*o = -17*o - 45. Suppose o*z - 4*z + 54 = 0. Is 28 a factor of z?
False
Is 7*72/84*1*1214 a multiple of 12?
True
Suppose -2 = 4*y - 10, 4*l = y + 1014. Suppose -7*m = 5*a - 4*m + 318, -2*m = 4*a + l. Let g = -38 - a. Is 15 a factor of g?
False
Suppose 5*g - 22 = -4*q, 2*g + 3*q - 15 = -g. Let u be g*1*25/10. Suppose u*p - 433 = -3*i, -i + 116 = -3*p - p. Is 34 a factor of i?
True
Let x be (-6)/(60/(-955)) + 3/(-6). Let u = x + -92. Suppose u*b + 0*b + 2*f - 756 = 0, -5*b + 1260 = -4*f. Is 28 a factor of b?
True
Let s be (7 + -5 - 2)/(2/1). Suppose -11*d = -s*d - 33. Suppose 201 = 6*i - d*i. Is 19 a factor of i?
False
Suppose 22*g - 19*g = 15. Suppose 3*f + 26 = g*m - 6, 0 = 2*m + 2*f. Suppose i = -m + 12. Is 2 a factor of i?
True
Let v be 5158*(-10)/(5 - 25). Suppose -3805 = -6*a + v. Is a a multiple of 14?
True
Is (1552/14)/((-138)/(-11109)) a multiple of 79?
False
Let h(i) = 6*i - 11. Let r be h(5). Let f = r + 5. Let m = -2 + f. Is 15 a factor of m?
False
Let a(x) = -133*x + 2020. Does 10 divide a(15)?
False
Let x(d) be the third derivative of d**6/360 - d**5/10 - 3*d**4/4 - d**3/6 - 19*d**2. Let y(h) be the first derivative of x(h). Is y(14) even?
True
Suppose -11*k + 10*k = 0. Suppose 4*o + 411 - 7 = k. Let t = -64 - o. Is t a multiple of 8?
False
Let w(d) = -d**2 - 2*d. Let m be w(-2). Let h = 1003 - 968. Let x = m + h. Is x a multiple of 4?
False
Suppose 0 = 4*f + q - 874, 5*q + 319 - 90 = f. Suppose -573 - f = -6*i. Is 44 a factor of i?
True
Let d = 22372 - 11557. Does 87 divide d?
False
Suppose 0*v - v = -204. Suppose 3*g - 20 = z, -2*z = -0*g - 5*g + 35. Suppose -g*x = 4*u - 269, -5*x + 93 + v = -3*u. Is 9 a factor of x?
False
Let p(u) = 94*u**2 - 22*u + 60. Let h be p(3). Suppose -9*n - 4*q = -12*n + h, n - 3*q = 285. Does 12 divide n?
True
Suppose 35*g + 31*g = 88*g - 142736. Does 8 divide g?
True
Suppose 0 = -4*f - 500 + 528, -4*d + 4*f = 16. Let t(o) = -o**2 - 5*o - 1. Let k be t(-4). Suppose -d*y = k*y - 660. Is y a multiple of 11?
True
Suppose 4*r + 46 - 14 = 4*x, 2*r = -4*x + 62. Is x 