3447 + 13452. Suppose 2*w = 5*c + 2 - 22, -7 = -c + w. Is 5/10*u + c/4 a multiple of 3?
True
Let w(l) = -14 + 0*l - 12*l**2 + 5*l**2 + 2*l - 6*l**2 + l**3. Let z be w(13). Suppose z*r - 17*r + 75 = 0. Is r a multiple of 5?
True
Let n = -976 + 4112. Is n a multiple of 13?
False
Suppose 8*g - 6 = 7*g. Suppose -j = 2*j - g. Suppose -j*h + 30 = h. Is h a multiple of 2?
True
Let c = -633 - -936. Let f = c + 48. Is 39 a factor of f?
True
Suppose 54*q - 18515 = 49*q. Does 7 divide q?
True
Suppose -201634 = 4*k - m - 40734, 0 = 3*k - 2*m + 120680. Does 29 divide 3 + 0 - k/48?
True
Suppose 0 = -155*p + 349*p - 162*p - 40128. Is p a multiple of 19?
True
Suppose -8150 + 16052 = -3*m + 9*m. Does 28 divide m?
False
Is 74 a factor of -39*(0/4 - ((42 - 5) + -4))?
False
Let r(t) be the third derivative of t**6/120 + 7*t**5/30 + 2*t**3/3 + 28*t**2. Let z be r(-14). Suppose z*v = 7*v - 138. Does 4 divide v?
False
Let p(c) = -c**2 + 14*c - 11. Let z be 7/(42/12)*(5 - -1). Let b be p(z). Suppose -26*g - b = -27*g. Does 8 divide g?
False
Suppose -2639611 = -414*b + 30*b + 1739141. Does 3 divide b?
True
Let d = -59 - -63. Suppose 8*q - 1046 = 6*q - 4*n, 0 = 2*q - d*n - 1078. Is q a multiple of 60?
False
Suppose -12*i = -16*i + 20. Suppose -c - 1 = 0, 5*c + i = 2*o - 14. Does 15 divide ((-10)/6)/(o/(-63))?
True
Let n = 22151 - 20754. Is n a multiple of 10?
False
Suppose -8*w = -w - 14. Is 13069/35 + w/(-5) a multiple of 21?
False
Let a = -164 + 166. Is (4/(-6))/(2*a/(-2562)) a multiple of 4?
False
Suppose 0 = -23*t - 12*t - 17707 + 515407. Is 90 a factor of t?
True
Suppose -7*i + 2*i + 4980 = 0. Is 5 a factor of i?
False
Let s(u) = -50*u. Let f be s(-1). Suppose -320 = -2*n - f. Is n a multiple of 19?
False
Suppose 49*o - 3891 = 35*o + 2269. Is 29 a factor of o?
False
Suppose -16*f - 6308 = 3*f. Let v = -302 - f. Does 10 divide v?
True
Suppose -37*c - 13293 = -46*c. Suppose -9*h - 370 = -c. Is h a multiple of 41?
True
Let u(k) = 4*k + 31 + 0*k + 5. Let f(i) = 125*i - 735. Let o be f(6). Is u(o) a multiple of 9?
False
Suppose -2*j + 0*j = 2*j. Suppose -331 = -5*x - 4*y, j = -2*x - 6*y + 4*y + 132. Is x a multiple of 20?
False
Suppose 3*w - 25 = -4*z + 23, 34 = 2*z - w. Suppose -z*l - 900 = -20*l. Is l a multiple of 18?
True
Suppose 0 = -5*o + x + 3900, 0 = o - x - 251 - 529. Is 17 a factor of (-3 + 4)/(4/o) - -2?
False
Let o(w) = 1668*w**3 + 2*w**2 + w - 2. Let v be o(1). Suppose -4*t + v + 131 = 0. Is t a multiple of 30?
True
Suppose 3*i - 1386 = 3*v, 2*i - 8*v = -9*v + 930. Let g = i - 405. Does 9 divide g?
False
Let y(p) = -4*p**2 - 27*p - 7. Let g be y(-6). Suppose g = 4*t - 5*v + 2, -3*v = 5*t - 39. Suppose 24 = t*s - 216. Is 5 a factor of s?
True
Is 4 a factor of -113*(-296)/10 - (-5)/(50/(-8))?
True
Suppose -10*z + 16331 = -10889. Suppose 27167 = 41*c - z. Is 27 a factor of c?
True
Suppose 7*q - 17144 = 5711 - 2996. Is 57 a factor of q?
False
Does 8 divide (-17248)/33*279/(-12)?
True
Let d(p) be the third derivative of -25*p**4/6 - 25*p**3 + 35*p**2. Does 18 divide d(-6)?
True
Let j(g) = -2*g - 23. Let q be j(-6). Let d = q - -326. Does 35 divide d?
True
Suppose -2*q - 3*q = -55. Let t(b) = -b**2 + b + 11. Let n(x) = -5*x**2 + 5*x + 43. Let j(z) = -2*n(z) + 9*t(z). Is 17 a factor of j(q)?
False
Suppose 505256 = 80*b - 4744. Does 75 divide b?
True
Suppose -42*n = -14611 - 199967. Is n a multiple of 86?
False
Let p(j) = 9 - 8 + 2*j - 57*j**3 + 6*j**2 + 56*j**3. Suppose -3*v + 6 = r - 9, -2*r - 25 = -5*v. Does 5 divide p(v)?
False
Suppose -8*x + 80 = 16. Suppose -4*u + 2298 = 13*z - x*z, -4*u + 450 = z. Is z a multiple of 14?
True
Let r = -14 - -22. Let n(s) = 16305 - 8156 - s**2 + 9*s - 8151. Is 3 a factor of n(r)?
True
Let r(j) = 2*j**2 + 189*j - 960. Is r(48) a multiple of 8?
True
Let x = -2931 + 6607. Is 33 a factor of (4 - (-120)/(-32))*x?
False
Suppose x - 247854 = -5*b - 39776, -5*b = 2*x - 208076. Does 34 divide b?
True
Let c = -288 + -138. Let s = c + 611. Does 24 divide s?
False
Let k(j) = -j**3 + 63*j**2 - 471*j - 67. Is 16 a factor of k(54)?
False
Let d = -3531 - -5559. Let k = 3826 - d. Is k a multiple of 12?
False
Let p(w) = 27*w + 1370. Is 4 a factor of p(-46)?
True
Is 37/111*667365/5 a multiple of 21?
False
Let x(t) be the second derivative of -t**5/4 + 5*t**4/12 - t**3/6 + t**2/2 + 13*t. Let h be x(-4). Suppose -6*m + h = 3*m. Is 15 a factor of m?
True
Let d(s) = -239*s + 57. Let h be d(-3). Let k = 1210 - h. Is 49 a factor of k?
False
Let z(l) = 5*l - 11. Let b be z(2). Let h be (b/(-9)*-57)/(1/21). Let x = 229 + h. Is 16 a factor of x?
True
Suppose 4*l + 7*y = 4*y + 2009, l + 5*y = 481. Suppose 54 = 10*k - l. Is 7 a factor of k?
True
Let k be ((-96)/(-10))/((-2)/10). Let l = 54 + k. Suppose -l*j = -0*j - 126. Is 7 a factor of j?
True
Let u(l) = -18*l**3 - 37*l + 19. Is u(-6) a multiple of 25?
False
Suppose 159*u - 557312 = -496213 + 1240157. Does 88 divide u?
True
Let c(n) = 3*n**2 + 7*n. Let g be c(3). Let p = 48 - g. Suppose p = -3*j + 77 + 43. Is 4 a factor of j?
True
Let n be (-2)/(-38)*6044 - (-88)/(-836). Suppose 83 = v - s, 4*v - 5*s - n - 17 = 0. Does 16 divide v?
True
Suppose 2*g + 5*f + 100 = 7*g, -3*g = 3*f - 60. Suppose 0*l - g = 5*l, 4*n = 2*l + 200. Is 6 a factor of n?
True
Suppose 0 = -374*q + 376*q. Suppose -4*r + q*r = -2*j + 1968, 0 = r - 5. Is 14 a factor of j?
True
Suppose 0 = -4546*c + 4535*c + 18755. Is 31 a factor of c?
True
Let q(y) = 8*y**2 - 15*y + 259. Is q(23) a multiple of 78?
False
Let q(g) = -3*g + 15. Let n be q(5). Let o(d) = 4*d**2 - 3*d + 6. Let j be o(3). Suppose 12*b - 711 - j = n. Does 11 divide b?
False
Does 38 divide 242/(-5)*(34965/14)/(-27)?
False
Let x = -594 + 1829. Is x a multiple of 9?
False
Let p(x) be the second derivative of 27*x**5/20 - x**4/6 - 5*x**3/3 + x**2/2 + 2*x - 17. Is 34 a factor of p(3)?
False
Suppose 0 = -g - 3*g - 3796. Let u = -349 - g. Suppose 48*s = 51*s - u. Is s a multiple of 25?
True
Let w(h) = h**2 + 1. Let s(p) = -2*p**2 + 6*p - 14. Let r(t) = s(t) + 3*w(t). Let n be r(-6). Let o(a) = -a**3 - 13*a**2 - 22*a + 7. Is o(n) a multiple of 7?
True
Let w(i) = -15*i + 21*i + 56*i - 407 + 297. Is 9 a factor of w(11)?
False
Suppose k - 21826 = -3*r, 58*k = 55*k + 21. Does 8 divide r?
False
Suppose 5*z + 125 = 525. Is (-2 + 64/20)/(6/z) even?
True
Let m = 14359 - 5781. Is 47 a factor of m?
False
Suppose 9*k = 12*k - 27. Let m(y) = -y**3 + 9*y**2 + 22. Let a be m(k). Is 13 a factor of (-1164)/(-11) - ((-20)/a)/5?
False
Suppose 166752 = 226*h - 194*h. Is 17 a factor of h?
False
Let i(n) = -n**3 + 4*n**2 + 2*n + 3. Let p be i(3). Suppose -4*q = -2 - p. Suppose q*x - 6*u - 810 = -u, -5*u - 20 = 0. Is x a multiple of 17?
False
Let v(g) = g**3 + g**2 - 5*g + 1. Let c be v(-3). Is 8 a factor of (20/(-15) - c)*417?
False
Is 17 a factor of -1 + 12558 - (-263 - -274)?
True
Let m be (-636)/265*20/(-6). Suppose -6*z - h - 1088 = -m*z, 0 = -h + 4. Is 13 a factor of z?
True
Let n(y) be the first derivative of 3*y**4/4 - 2*y**3/3 - 10*y**2 - 16*y - 53. Is 4 a factor of n(6)?
True
Suppose 91*n - 118*n + 2646 = 0. Is n even?
True
Let h(l) = -19*l - 73. Let b be h(-4). Suppose 0 = 12*x + b*x - 3255. Is x a multiple of 2?
False
Suppose 2*u - 16 = -r, -25 = u + 4*u. Suppose -r = -i + 48. Suppose -10*x = i - 544. Is x a multiple of 3?
False
Let b = -491 + 197. Let z = b + 726. Is 24 a factor of z?
True
Suppose 0 = 57*y - 312266 + 4979. Is y a multiple of 5?
False
Suppose 11 + 430 = 21*u. Does 14 divide 19/(57/80)*u?
True
Suppose 2*r + 7 = 4*r + c, -2*r + 2*c + 4 = 0. Suppose r*j = 19 - 4, -4*a + 170 = -2*j. Is 9 a factor of 5616/a + (-2)/(-10)?
False
Let w(n) = 2087*n - 496. Is w(8) a multiple of 120?
True
Let a = -3941 - -7058. Suppose -3*q = -3*m + a, -22*q + 18*q = -m + 1054. Is m a multiple of 94?
True
Let y = 3702 + -2643. Let x = 1686 - y. Is 46 a factor of x?
False
Let l = -372 + 3687. Is 17 a factor of l?
True
Let h(r) = -r**2 - 6*r - 3. Suppose 3*b = -w - 12, -5*b - 2*w - 24 + 5 = 0. Let n be h(b). Suppose n*m - 3 = 29. Is 16 a factor of m?
True
Let q be 16/10 + (-10)/(-25) + 135. Let w = -95 + q. Does 19 divide (-7)/(w/(-774)) + 2?
False
Suppose -2*g = -3*w + 250, 7*w - g + 434 = 12*w. Let v = w - -114. Is v a multiple of 20?
True
Suppose -838*y - 2224 = -830*y. Let k = -193 - y. Is k a mult