(g)?
True
Let r = -23907 + 35577. Does 22 divide r?
False
Is (-2)/36 + (35 - (-10371924)/648) a multiple of 121?
False
Let f be (-5)/(-30) - 1358/12. Let c = 681 + -556. Let a = c + f. Is a a multiple of 2?
True
Let w = 296 + -575. Let t = 741 + w. Is 10 a factor of t?
False
Suppose -m - 3*o - 6 = 0, 6*m - 4*o + 88 = 2*m. Let c(a) = -24*a + 8. Is c(m) a multiple of 22?
True
Let y = 3804 - 604. Does 40 divide y?
True
Let z(c) = -22*c + 46. Let s be z(8). Let d = -128 - s. Suppose 5*o - 449 = -p, -190 = -2*o + d*p - 5*p. Is o a multiple of 14?
False
Let m = 430 + -428. Suppose -2*p = 4, -2775 = -4*w - m*p + 489. Is 45 a factor of w?
False
Let u = 3192 - 3186. Let r(i) = 365*i**3 + i**2 - 2*i + 1. Let t be r(1). Suppose -u*x = -x - t. Does 16 divide x?
False
Let s(v) be the second derivative of 2*v**2 + 5/12*v**4 - 1/3*v**3 + 0 - 13*v. Does 5 divide s(2)?
True
Let s(x) = -x**3 - 13*x**2 - 5*x - 17. Let b be s(-11). Let a = -117 - b. Is a a multiple of 3?
True
Suppose -5*r = 4*t - 17073, 176*t + 13662 = 4*r + 181*t. Is 22 a factor of r?
False
Suppose -115*y - 612311 + 3726980 = 62*y. Is 33 a factor of y?
False
Let w be (-1)/(-4 + 1 + (-88)/(-28)). Let s = 59 - w. Suppose -s = -z - 2*z. Is 4 a factor of z?
False
Suppose 22*t = 38 + 50. Suppose t*u - 7*q = -9*q + 1702, 2*u = -3*q + 845. Is 24 a factor of u?
False
Let j = 119 + -51. Let c = j - -13. Is 13 a factor of c?
False
Suppose -3*d = i - 14641, 2*i - 29255 = 3*d - 0*d. Is 171 a factor of i?
False
Suppose 3*t - 24 = -t. Let v(j) = -j. Let p(q) = -7*q. Let y(a) = t*v(a) + p(a). Is y(-5) a multiple of 13?
True
Let h = 11 + -75. Let i = h + 68. Does 28 divide (i - (-70)/(-25))/((-9)/(-1050))?
True
Suppose -248 = -5*o + 3*l + 1585, -o + 4*l = -370. Suppose 1106 + o = 2*z. Is 71 a factor of z?
False
Let t = 188 + -186. Suppose 0 = t*l + l + a - 1077, 4*a = 3*l - 1092. Is l a multiple of 72?
True
Suppose 2*n = 5*l - 41, 5*l + 9*n - 55 = 4*n. Suppose -1354 = -l*m + 275. Is m a multiple of 19?
False
Suppose -92*d = 98*d + 155788 - 953408. Does 48 divide d?
False
Let z be (3 - 12)*(-4)/6. Suppose 2*o + 2*q - 16 = 0, -o - 3*q - z + 24 = 0. Let t = o - -59. Does 11 divide t?
False
Let l(f) = -112*f + 80. Is 40 a factor of l(-5)?
True
Suppose -192 = -c + 5*r + 160, 0 = -5*c + 3*r + 1760. Let u = c + -146. Is 12 a factor of u?
False
Let d(r) be the second derivative of r**4/4 - 21*r**3/2 + 33*r**2/2 + 112*r. Is d(22) a multiple of 5?
False
Let o = 570 - 568. Suppose 3*u + 2*u + 1148 = o*j, 8 = 4*u. Is j a multiple of 43?
False
Suppose 5*t - 140209 = 377*o - 381*o, -2*o + 70121 = -3*t. Is 14 a factor of o?
True
Suppose -56*k = -50*k + 750. Let v = 317 + k. Is v a multiple of 31?
False
Suppose z = 1329 + 2831. Is 20 a factor of z?
True
Let o(i) = -1133*i + 1078. Is o(-11) a multiple of 11?
True
Let r be (0 - 7/1)*-51. Let p = r + -66. Is 11 a factor of p?
False
Suppose 0 = 5*g - 4*z - 15 - 125, 19 = g + z. Let a be (-4 - g/9)*-3. Let k = 18 + a. Is k a multiple of 27?
False
Suppose 5*x - 195 = 3*p, 181*p - 180*p + x + 57 = 0. Let q be (-2 + 0)/(3/81). Let r = q - p. Is r a multiple of 6?
True
Suppose 18*l - 66133 - 9143 = 0. Let d = -2946 + l. Is 103 a factor of d?
True
Let u = -16 + 19. Suppose 0*j - u*j = -327. Let w = j + -77. Is w a multiple of 12?
False
Let i(r) = -7073*r + 50. Is i(-3) a multiple of 121?
False
Let x = -43 - -38. Let m(c) = 5*c**2 - 4*c - 34. Is m(x) a multiple of 3?
True
Let t = 2327 - -326. Does 49 divide t?
False
Let b = 11 + -6. Let g be (-5)/((-5)/(3 - (1 + -1))). Suppose b*i = 2*a + 25 + 10, 3*a + g = 2*i. Is i a multiple of 5?
False
Let k = 12859 + -8619. Is k a multiple of 20?
True
Let b = -4932 + 6957. Suppose p + 5 = -4*p, -4*n + b = -5*p. Is n a multiple of 9?
False
Suppose 0 = -3*f + 8 + 7. Suppose 3*p = 5*v - 11, -p = -0*v + 4*v - 2. Suppose -f*l + 3*r = -210, r + 6 = v. Does 39 divide l?
True
Let z = 44 - 64. Let n(d) = -2. Let c(b) = 8*b + 12. Let g(w) = -c(w) + 3*n(w). Is g(z) a multiple of 12?
False
Does 43 divide 1/(10 + -6) + 298*(-1938)/(-48)?
False
Does 6 divide (0 + -1)/2*3948960/(-433)?
True
Suppose 5*y + 15 = 8*y. Suppose 5*v + 5*q = 20, -v = -y*q + 3*q - 4. Suppose -z - v*g = -10, 5*g - 3*g + 70 = 2*z. Does 7 divide z?
False
Let p be (-51)/(-85)*(0 - (0 + -15)). Suppose p*n + 623 + 1240 = 0. Let m = n - -315. Does 12 divide m?
True
Let i = -4236 - -6536. Is 100 a factor of i?
True
Let k(r) = -1. Let o(x) = x - 19. Let p(j) = 5*k(j) - o(j). Suppose 5*c - 33 - 3 = -3*b, -5*b + 26 = -3*c. Is p(b) a multiple of 7?
True
Let w = 36 + -36. Suppose 4*i + w = -24. Is 11 a factor of (12/(-10))/(i/580)?
False
Let s(j) = -639*j**2 - 2*j + 6. Let c be s(3). Let m = -3804 - c. Does 28 divide (2/6)/(11/m)?
False
Let b(h) = -h**3 + 5*h**2 + 2*h + 2. Let y be b(3). Let s = 13 - 17. Let x = y + s. Does 11 divide x?
True
Let u(f) = 2*f**3 - 67*f**2 - 82*f - 76. Is 23 a factor of u(39)?
False
Suppose 0 = 46*i + 47373 - 474621. Is i a multiple of 72?
True
Suppose 5*t - 25 = -5*a, -2*a + 4*t = a + 20. Suppose -b - 19 + 94 = a. Does 14 divide b?
False
Suppose -h - h + 335 = x, -5*x - 2*h = -1691. Let i = 30 + x. Does 21 divide i?
False
Suppose 2*m - 8 = -4*x, -5*m + 0*m - x = -11. Suppose -4*r + 449 + 835 = 3*p, -m*p = -r - 867. Is 24 a factor of p?
True
Let n(x) = 4*x**3 - 13*x**2 + 16*x + 1. Suppose 2*o + 0*o = 5*h - 22, -2*h = 5*o - 3. Is n(h) a multiple of 3?
False
Suppose -162*x - 1659 = -165*x + 7146. Is x a multiple of 39?
False
Suppose 2 - 8 = 4*c + 2*k, -2 = 3*c + 4*k. Let r(m) = -2*m**3 + 4*m**2 + 9*m + 7. Does 21 divide r(c)?
True
Let k = 17834 - 14111. Is 73 a factor of k?
True
Suppose -30178 = -l - 2*z, 5*l + z = -8840 + 159685. Is 75 a factor of l?
False
Suppose -213*r = -212*r - 7. Suppose r*v - 1132 = 5910. Does 35 divide v?
False
Suppose o - 26808 = -4218. Does 12 divide (1/(-3))/((-30)/o)?
False
Let s = 15107 + 13307. Does 80 divide s?
False
Let r be (76 - 74) + (1 - 11)/(-1). Is 19 a factor of (-10 - r)/((-8)/528)?
False
Let m = 1257 - 1057. Does 5 divide m?
True
Is 88 a factor of (-50)/(-40) + (-122738)/(-56)?
False
Suppose 3*z - 2*d = 2*z + 3000, -3*z + 5*d = -8998. Suppose -10*j + 1204 = -z. Does 7 divide j?
True
Let i = 5815 + -700. Is 33 a factor of i?
True
Suppose 7182496 = 162*u + 44*u - 1559114. Is 41 a factor of u?
True
Let d = 23227 + -17251. Does 36 divide d?
True
Let r(u) = -7*u**2 - 9*u - 48. Let p(z) = -13*z**2 - 21*z - 97. Let y(g) = 6*p(g) - 11*r(g). Is y(-15) a multiple of 6?
True
Let s = 114 - 109. Suppose -3*n + s*c + 265 = 0, -491 = -8*n + 3*n - 4*c. Is 6 a factor of n?
False
Let l(r) = -11*r - 13. Let n be l(15). Let i = -129 - n. Is 11 a factor of i?
False
Let c be 5 + (3/(-3) - -4 - 6). Suppose 4*m + m + 4*o = 491, -2*m + 182 = -2*o. Suppose l = c*l - m. Does 20 divide l?
False
Suppose 3*u - 349894 = -4*p, -470982 = -5*p - 4*u - 33613. Does 23 divide p?
True
Let p = 152 + -149. Suppose 3*w - 721 = -4*i, -p*w + 280 = 5*i - 625. Does 12 divide i?
False
Let k = 9830 - 8164. Does 34 divide k?
True
Let h(w) = -19*w. Let r be h(-2). Let a(b) = -3*b - 4. Let z be a(-9). Suppose m - r = 2*l - 6*l, m - z = -l. Does 9 divide m?
True
Let k = 122 + -144. Let f(n) = n**3 + 24*n**2 + 16*n - 78. Is 25 a factor of f(k)?
False
Suppose 4*f = -10*b + 9292, -f + 5*b = 4*b - 2309. Is f a multiple of 15?
False
Suppose 2*p + 42 = -5*x, 4*x + 4*p = -0*x - 24. Let o(y) = y**3 + 8*y**2 + 3. Let r be o(-8). Does 12 divide r/((-105)/(-4144)) + 4/x?
False
Let q be 4/(-22) + 30272/121. Let b = -149 + q. Suppose -3*k + b = -d, -3*d + 117 = k + 2*k. Is k a multiple of 9?
False
Let x(d) = -d**3 - 14*d**2 + 4*d - 20. Let j be x(-15). Suppose j = 5*f - 150. Is f a multiple of 17?
False
Suppose -2*i = -3*z, i + 3*i - 22 = -5*z. Suppose 0 = -z*r + 2*o + 992, -2466 = -11*r + 6*r - 2*o. Is r a multiple of 38?
True
Is ((-9)/((-63)/(-2128)))/(6/(-324)*3) a multiple of 3?
True
Let g = -2013 + 28348. Is g a multiple of 115?
True
Let l(m) = 32*m**2 - 2. Let y be l(1). Suppose -y*x - 1962 = -36*x. Is x a multiple of 10?
False
Let j = -2564 - -1287. Let l = -454 - j. Does 18 divide l?
False
Let o(r) be the third derivative of -r**4/4 + 27*r**3/2 - 9*r**2 + 2*r. Is 2 a factor of o(-15)?
False
Suppose 591*f = 511*f + 675680. Does 206 divide f?
True
Suppose -7*q + 26*q = 38. Let p be (5 