 6/(-5))/(4/g). Does 35 divide (525/(-6))/(-1)*z/(-10)?
True
Suppose -6 = -5*w + 9. Let j be 60 + (-24)/(-6) + -4 + -6. Suppose -w*p + j = y - 45, -2*y = -4*p - 228. Is y a multiple of 9?
True
Let z = 1882 + -1140. Does 106 divide z?
True
Let b = -860 - -864. Suppose -18*a - b*a = -28160. Does 16 divide a?
True
Let j = 30602 + -5277. Is j a multiple of 89?
False
Let u(f) = -f**2 + 35 - 7*f - 6*f**3 + 22*f**3 - 5*f - 7*f**3. Does 25 divide u(5)?
True
Suppose 3*h - 3*b = 36, 0 = -3*h + 2*b + 21 + 12. Suppose 0 = h*u - 18*u + 1944. Is 12 a factor of u?
True
Suppose 23*u + 5 = 22*u. Let p be u*7/((-35)/4). Is (6/p)/(21/84) a multiple of 6?
True
Let y = -28 - -31. Suppose -125 = 5*x - y*h + 79, 9 = 3*h. Let p = x - -46. Does 6 divide p?
False
Let g(k) be the third derivative of -11*k**4/12 + 8*k**3/3 - 168*k**2. Is 3 a factor of g(-4)?
False
Suppose -3*b - 9 - 6 = 0, 4*b = -4*z + 3316. Is z a multiple of 3?
True
Let n = -8092 - -12304. Is 52 a factor of n?
True
Suppose 3*p + 2*p + 217 = -4*l, -3*l - 162 = 3*p. Let s(g) = -g**2 + 19*g + 12. Let w be s(10). Let i = w + l. Is 19 a factor of i?
False
Suppose -3*r + 19440 = 5*r. Suppose -7*z = -z - r. Suppose z + 245 = 5*o. Is 26 a factor of o?
True
Let s = -16093 + 25336. Is s a multiple of 237?
True
Let n(c) = 71*c**2 + 490*c - 30. Is 14 a factor of n(-10)?
True
Let p(a) be the second derivative of -a**5/10 + 3*a**3/2 - 3*a**2 - 37*a. Is 31 a factor of p(-6)?
True
Suppose -46*g + 41*g = -70. Is 7 a factor of 142 + g/(-2) - (-15)/3?
True
Let i(b) = 282*b**2 + 161*b - 4. Is 34 a factor of i(-4)?
False
Let m = 167 + -845. Let j = -486 - m. Does 32 divide j?
True
Suppose 0*j - 20 = -j + 3*z, -2*z + 27 = 3*j. Suppose -26 - 7 = -j*k. Suppose 0 = r + 3*r + 5*a - 122, -k*r - 4*a + 92 = 0. Is 13 a factor of r?
False
Let g(y) be the first derivative of -y**3/3 - y**2/2 + 56*y - 1. Let a = 15 - 15. Is 4 a factor of g(a)?
True
Let b(s) be the first derivative of s**3/3 - 6*s**2 - 25*s + 18. Let r be b(-11). Suppose -4*z + r = -152. Does 19 divide z?
True
Let w(r) be the first derivative of -10*r**2 - r + 131. Is 4 a factor of w(-10)?
False
Suppose 2*t + 28*x - 26*x = 7534, x = -6. Is 81 a factor of t?
False
Let r = 5838 + 104. Is r a multiple of 31?
False
Let l(m) = -11*m**3 + 3*m**2 - m. Let p = -82 + 85. Suppose d + d + p*x = 8, -3*d - x - 2 = 0. Is l(d) a multiple of 17?
True
Let m(i) = -i**2 - 3*i + 29. Let y be m(-7). Let q = y - -1. Suppose 0 = -q*r + c + 110, -71 = -2*r - c + 39. Is r a multiple of 11?
True
Let l = 52 + 88. Suppose 0 = 3*w + j - 60, -5*w + 4*j + l - 23 = 0. Is 42 a factor of (-4102)/(-49) - (-6)/w?
True
Let q be 105/14*(-2212)/35. Is q/(-21)*49/14 a multiple of 2?
False
Let g(i) = 67 - i**2 + 25*i**3 - 19*i**3 - 65 + i. Does 48 divide g(2)?
True
Let v(q) = 307*q - 7835. Is 14 a factor of v(75)?
True
Suppose 5*g + 52 = -3*k, g - 30 = -5*k - 102. Let q(s) = s**2 + 16*s + 37. Is q(k) a multiple of 2?
False
Does 64 divide (2 - 21)/((-18)/3762)?
False
Let i be 6 - (1 + -4 + 1). Suppose 0 = -i*k + 120 + 1192. Is k a multiple of 41?
True
Let q = -268 + 270. Suppose -t + 63 = n, -5*t + n + 185 = -q*t. Does 16 divide t?
False
Let k = -10 - 405. Let z = 455 + k. Is 5 a factor of z?
True
Let v(s) = 2*s**3 - 3*s**2 + 2*s + 3. Let w be v(7). Suppose w = 10*j - 224. Suppose 0 = -t + j + 19. Is t a multiple of 34?
False
Let a = 37 + -101. Let f = a - -21. Does 12 divide (-3 - f - 2) + 3?
False
Suppose 0 = -6*j + 19 + 41. Suppose 2*a + 2*d = 942, -j*a = -5*a - 5*d - 2405. Does 28 divide a?
True
Let k be 36/(-198) + (-24)/(-11). Does 41 divide 5 + (-1 - k) + 718?
False
Let i be (-28)/(-7) + (-12)/3. Suppose s + 4*h - 3 + 13 = i, -h + 5 = -s. Is 4 a factor of ((-46)/(-8) - s)/(1/4)?
False
Suppose 301345 = 68*g + 18601. Is g a multiple of 66?
True
Suppose -12*v + 64155 - 18923 = 4*x, -v - x + 3768 = 0. Is 26 a factor of v?
True
Let k(u) = -8*u + 48. Let n(x) = 2*x - 22. Let r be n(8). Let f be 4/(r/18 + (-1)/3). Is k(f) a multiple of 36?
False
Let o(v) = -1429*v - 1861. Is 51 a factor of o(-25)?
True
Let l = 813 - 810. Let n(s) = 61*s - 162. Is n(l) even?
False
Let y be (-10 - -8) + 114 + 26. Suppose -5*w + 4*j + 28 = 0, -j - 2 = -0*j. Suppose 0 = w*x - y - 230. Is 36 a factor of x?
False
Suppose -6647 = -4*h + 3*m, 0 = h + 2*m + m - 1643. Let n = -902 + h. Suppose -9*z + 630 + n = 0. Does 14 divide z?
True
Let m = -565 + 309. Let o = -238 - m. Is 18 a factor of o?
True
Let h be 6/2 - (-1 - -11 - -4). Let g(a) = -a**3 - 10*a**2 - 11*a - 8. Is 18 a factor of g(h)?
True
Let n = -33 - -31. Let r be 4 + (2 - (-34)/n). Let a = r - -48. Is a a multiple of 3?
False
Let w(m) = -2104*m + 10206. Is w(-8) a multiple of 30?
False
Suppose 64 = 8*s - 8. Is (-666)/(((-4)/(-3))/((-6)/s)) a multiple of 34?
False
Let z = -83 + 83. Suppose z = -6*b - 3*b + 3240. Is 12 a factor of b?
True
Let o(k) = -k**2 - 4*k + 4. Let s be o(-4). Suppose 685 = t + s*t. Let d = -91 + t. Does 12 divide d?
False
Suppose -4*a - 24 + 12 = 0. Let j be 3 + (a + 5 - 1). Suppose 0 = 2*w + 3*o - 0*o - 209, -j*o - 188 = -2*w. Does 20 divide w?
True
Suppose -4*s - 54478 = 4*m - 279402, -5*m + 281164 = 4*s. Is 40 a factor of m?
True
Let n(c) = 367*c**2 - 323*c - 1578. Does 188 divide n(-5)?
True
Let n(k) = 2*k + 32. Let x be n(-15). Let a be 0 + 44*9*x. Does 22 divide (a/(-54))/(2/(-6))?
True
Let o(d) = 3*d**3 - 23*d**2 + 22*d - 787. Is 45 a factor of o(21)?
False
Let g be 7*((-6)/(-15) - (-3)/5). Let u = -4 + g. Suppose 367 + 53 = u*o. Does 20 divide o?
True
Let s(k) = -k**3 - 22*k**2 - 46*k + 14. Suppose -3*v + 74 - 134 = 0. Is s(v) a multiple of 19?
False
Let j(c) = 2*c**2 - 17*c + 12. Let k be j(8). Let d(w) = -6*w**2 + 6*w - 5. Let f be d(k). Let h = -50 - f. Is 27 a factor of h?
True
Let d(g) = -3*g - 71. Let q be d(-23). Let b be q - (5 + (17 - -2)). Is (0 + b/(-5))/((-5)/(-200)) a multiple of 13?
True
Let m(c) = c**2 + 9*c + 2. Let a be m(-11). Let y be a/(-132) - 26/(-22). Let u = 23 + y. Is 10 a factor of u?
False
Suppose 11*v + 21 - 65 = 0. Suppose v*x + 3*j = 12 - 0, -5*x = -2*j - 15. Suppose -2*w = -5*n - 34, 0*n + x*n = 12. Is w a multiple of 19?
False
Let o be (-1 + 573/(-9))*18/4. Does 18 divide 2*(o/(-6) + (1 - 5))?
False
Let i = 6315 + -2658. Is i a multiple of 53?
True
Suppose -42467 = -10*w - 7427. Is w a multiple of 29?
False
Is 70 a factor of ((-23100)/(-396))/((-4)/(-2 - 1270))?
True
Suppose -3*v + 6*f - 4*f + 49 = 0, 5*f = 20. Let i(j) = 7*j + 11. Let a be i(v). Suppose -3*s + a = s. Is s a multiple of 5?
False
Suppose -4*z = -2*r - 163720, -4*z = 2391*r - 2392*r - 163718. Is z a multiple of 34?
False
Suppose 56*b + 38043 = 3*l + 54*b, 0 = 4*l + 4*b - 50684. Is l a multiple of 10?
False
Let z = 4831 - 3748. Does 44 divide z?
False
Suppose 0 = 85*j - 89*j + 316. Let f = 138 - j. Is f a multiple of 48?
False
Let v(a) = 7*a**3 + 15*a**2 - 68*a - 18. Is v(6) a multiple of 42?
False
Let k be 13 - -2*(0 - -2). Let r = 19 - k. Suppose 5*m - 3*o - o = 220, -5*m = r*o - 190. Is 8 a factor of m?
True
Suppose 0 = 4*h - 9*h + 15. Let f be 4 + 3 + -8 + 2. Suppose h = 2*t - f. Is t a multiple of 2?
True
Suppose -3*y = -14*y - 23*y + 48586. Is 12 a factor of y?
False
Let h = -38687 - -41902. Is h a multiple of 26?
False
Suppose -2*o - 132 = 2*b - 754, -3*b + 925 = -o. Let k be (-30)/(-8) + 9/(-12). Suppose -6*r = -2*c - k*r + b, -r = -c + 153. Is 25 a factor of c?
True
Suppose 8*t + 17 = -7. Let n be t/24*2*-1*0. Let v(r) = 2*r + 58. Is v(n) a multiple of 13?
False
Let y(g) = -40*g - 7. Suppose 2*s = 2*n + n + 56, 3*s = n + 84. Let k = 24 - s. Is 18 a factor of y(k)?
False
Let w = -813 + 1615. Let p = w + -371. Is 14 a factor of p?
False
Suppose 33*c + 14125 - 342310 = 0. Does 63 divide c?
False
Let y = -15411 + 26053. Is y a multiple of 17?
True
Let p(w) = w**2 - 5*w - 6. Let a be p(7). Let q be (-2838)/(-14) - 1/((-28)/a). Suppose 3*n - q + 32 = 0. Is n a multiple of 9?
False
Suppose -26 = -46*m + 20*m. Let s(c) = 289*c + 17. Is 51 a factor of s(m)?
True
Suppose -m = -5, -2*m - 16390 = -3*o + o. Is 164 a factor of o?
True
Suppose -47*u + 383 = -1168. Is u a multiple of 14?
False
Let h(l) = -212*l + 1. Let m(b) = 439*b - 3. Let w(t) = -5*h(t) - 2*m(t). Let x = 5 - 4. Does 61 divide w(x)?
True
Let q = -12 + 9. Let h be (q - (-33)/6)*2. Suppo