3*g**3 + 10*g + 22. Let v be x(-11). Is 13 a factor of v/363 + (-2)/22?
False
Is 201966*16/576 + 2*1/(-12) a multiple of 5?
True
Suppose -6*g = -33*g + 81. Suppose 3*s = -n + 507, -3*n + g*s + 1059 + 450 = 0. Does 28 divide n?
True
Let q(n) = 1019*n**3 + 2*n**2 - n. Let l = 17 - 16. Does 68 divide q(l)?
True
Suppose 4*h + h + 20 = s, -5*h + 4*s - 20 = 0. Let o be (-161 + -1)*(22/h - -3). Suppose -24*b = -33*b + o. Is 15 a factor of b?
True
Let q(z) = z + 20. Let f(a) = a + 20. Let s(g) = -4*f(g) + 5*q(g). Let v be s(-8). Suppose v*m = 10*m + 22. Does 11 divide m?
True
Suppose -265073 - 2485137 = -185*u. Is 10 a factor of u?
False
Let p(v) = -v**2 + 21*v + 162. Let t be p(27). Suppose 10*y - n - 1130 = 8*y, -3*n + 6 = t. Is y a multiple of 27?
False
Suppose -205577 = -182*k - 85821. Is k even?
True
Let v(t) = t**3 - 6*t**2 + 38*t - 24. Does 18 divide v(12)?
True
Suppose 110*x + 471983 = 145*x - 180207. Is 68 a factor of x?
False
Let b(p) = 90. Let d(n) = -n + 180. Let m(s) = 5*b(s) - 2*d(s). Is m(-25) a multiple of 20?
True
Suppose 2*p + 0*p - 20 = -2*m, -2*m = -10. Suppose 0*l + p*l + u = 41, -2*l - u + 14 = 0. Is 12 a factor of 860/18 - (-2)/l?
True
Let u = 42 - -204. Let n = u + -55. Is 6 a factor of n?
False
Suppose 5*p + 3*x = 1351, 3*p - 5*x + 121 - 952 = 0. Suppose 4*u = 5*w - 0*u - 692, -p = -2*w + 4*u. Suppose 4*n = 120 + w. Does 28 divide n?
False
Let m(c) = -367*c - 266. Does 197 divide m(-14)?
False
Let l = -84 - -108. Is 13 a factor of 1/(-2) - (-4)/l*933?
False
Let f(d) = -d**3 - 21*d**2 - d - 18. Let o be f(-21). Is 18 a factor of 10695/35 - o/(-7)?
True
Let k be (5172/28 - -4) + (-6)/(-21). Is (-252)/(-5) - (k/35 - 5) a multiple of 10?
True
Let o = -15279 - -38979. Is o a multiple of 15?
True
Let z(p) = 138*p + 235. Is z(15) a multiple of 56?
False
Let i(t) be the second derivative of -t**4/12 - 17*t**3/6 - 13*t**2/2 - 44*t. Let k be i(-16). Let v(m) = 13*m**3 - 4*m**2 - 10*m + 3. Is v(k) a multiple of 48?
True
Suppose 0 = 4*u - 3*w - 97177, -13*u + 16*u - 2*w = 72883. Is u a multiple of 25?
False
Is 10 + 87084/114 - 14/(-133) a multiple of 43?
True
Suppose -7*z + 3*z + 12 = 3*m, 2*m - 8 = 4*z. Suppose -g + z*g + 25 = 5*q, -q = -4. Suppose 2*s = 2*u + u + 211, -g*s + 516 = 4*u. Is s a multiple of 26?
True
Let f(l) = 2*l - 57. Let j be f(26). Is (j + -2 + 0)*(-11 + 1) a multiple of 10?
True
Let w(l) = -59*l + 33. Let p be w(5). Let q = 899 + p. Suppose r - 5*o = -2*r + 395, 3*o + q = 5*r. Is r a multiple of 25?
True
Is (0/(-3 - -1))/2 - (-2120192)/64 a multiple of 82?
True
Suppose 41*r + 30*r + 42*r = 241255. Is r a multiple of 35?
True
Suppose 4*k - 14*k = 10. Does 52 divide (29 + -28)/(((-2)/k)/1014)?
False
Let x be ((-21)/14)/(6/(-20)). Suppose 3*c + 2*t = 588, -3*c = -c + x*t - 403. Is c a multiple of 24?
False
Suppose -5*h - h - 24 = 0. Is (-5862)/(-66) + h + 6/33 a multiple of 17?
True
Let o = -9545 - -27025. Is 22 a factor of o?
False
Is (-4)/38 - 1709773/(-1273) a multiple of 6?
False
Is 7 a factor of (-80791)/(-6) - 1 - ((-1665)/54 - -31)?
False
Suppose 5*n = 2*i + 82007, -3*n + 49191 = 14*i - 13*i. Is n a multiple of 24?
False
Let d = -66 - -65. Let x be (-126)/56 - d*(-1)/(-4). Does 4 divide (-17)/x*(14 + -12) - -2?
False
Let d(o) = o**2 - 8*o - 85. Let y be d(14). Is 14 a factor of (-1152)/(-12)*(0 - -2 - y)?
False
Let z(m) = -m**3 + 19*m**2 - 19*m + 18. Let t be z(18). Suppose -4*u + 462 + 106 = t. Is u a multiple of 47?
False
Let n be 3/(-2)*(-92)/69. Suppose p = 6*p - n*f + 764, 4*p + 602 = -3*f. Is 2 a factor of (-776)/p + (-6)/57?
False
Let t(h) = -h**2 + 14*h + 64. Let l be t(17). Let q(i) be the first derivative of 21*i**2/2 + 30*i - 17. Is 15 a factor of q(l)?
False
Suppose 0 = -4*b - b + 4*c + 630, -2*c = -5*b + 640. Let d(y) = y**3 + 16*y**2 + 38*y - 9. Let k be d(-13). Is 14 a factor of b*1*((-12)/10 + k)?
True
Suppose -25*k - 55 = -20*k. Is 14 a factor of k/(77/28) - -57?
False
Suppose 0 = 5*o + 5*v - 47295, 679*o - 56766 = 673*o - 2*v. Does 57 divide o?
True
Suppose -3*c - 3*t - 155 = -683, -2*c + 349 = 5*t. Suppose 3*f = -2*b + 133, 7*f + 3*b - c = 3*f. Is 17 a factor of f?
False
Let v = -214 + 220. Suppose -v*f = -15*f + 1044. Does 29 divide f?
True
Let v(c) = -8 + 0*c**2 + c**2 + 7*c - c**2 - 4*c**2. Let m be v(2). Does 4 divide (-2 - -7)*(-52)/m?
False
Suppose 2*y - 337 + 91 = -4*u, -3*y = 15. Suppose -3*r + z + 40 = 0, 0 = 7*r - 2*r - z - u. Does 33 divide (344/r - 0)*3?
False
Let p be ((-618)/24)/(3/(-6))*20. Suppose -299 = 5*l - 4*f - p, -4*f = l - 151. Suppose c + 2*y = l, 5*y - 290 = -2*c + 2*y. Is 38 a factor of c?
False
Suppose -659*q + 680*q - 1264998 = 0. Is 119 a factor of q?
False
Let o(z) = 105*z - 235. Let l(i) = -8*i + 18. Let t(s) = 40*l(s) + 3*o(s). Is t(-18) a multiple of 30?
False
Let v(l) = -2*l**3 + 2*l**2 - 2*l. Let d be v(2). Let o = 894 - 880. Is 8/d*-3 + o a multiple of 4?
True
Suppose 74 = 1468*d - 1466*d. Suppose n = -2*j + 21, 3*n + j = 21 + 17. Let h = n + d. Is 8 a factor of h?
True
Let i(n) = 13*n + 96. Let q be i(-7). Let b(o) = 7*o + 37. Does 6 divide b(q)?
True
Let j(k) = -k**2 + 28*k - 92. Let t be j(29). Let l = -7 - t. Is l a multiple of 4?
False
Is 25 a factor of (-89778)/(-10) - 639/355?
False
Suppose -3*c + 4*z + 61 = 0, -2*c + z + 38 = -z. Suppose 4*p = p + c. Suppose -g = 5*d - 102, 4*g = -p*d - g + 110. Does 10 divide d?
True
Let k be (29*-152 - -3) + 3. Does 4 divide (-1)/(-11) - k/341?
False
Let u = 1666 + -1666. Suppose o - 57 = 3*y, 5*o - 2*y = -0*y + 350. Suppose -4*a + o = -u. Is 9 a factor of a?
True
Let u = -23076 + 27104. Is 35 a factor of u?
False
Suppose 170*d = 7486 + 88904. Is 27 a factor of d?
True
Let x = -62 + 121. Let l be (-18)/(-12)*(-340)/(-6). Let p = l - x. Is p a multiple of 4?
False
Let u(w) = 3*w**3 + 2*w**2 - 5*w + 4. Let q be u(1). Let n be (q + (-3 - 0))*31. Suppose 2*x - 2*l = 32, 3*l + l = x - n. Is x a multiple of 11?
True
Let i(f) = f**2 + 26*f + 12. Let l(p) = -37*p**2 + 3*p + 2. Let m be l(1). Is 34 a factor of i(m)?
True
Suppose 30 - 120 = -6*m. Suppose l = -4*l + m. Suppose -l*u = -u - 3*s - 108, s = -u + 44. Is u a multiple of 8?
True
Let x(u) = u**2 + 31*u + 5. Let w be x(-31). Let k = -4 - -6. Suppose 4*n - 25 = -k*r + 223, -676 = -w*r + 4*n. Does 11 divide r?
True
Let d = 1899 + -1343. Suppose -2*q = -3*i + 2385, 3*i - d = 3*q + 1829. Does 50 divide i?
False
Is ((-5535)/(-30))/((-42)/44 + 1) a multiple of 33?
True
Suppose 4*t = t - 5*f - 19, -4*t - 5*f - 17 = 0. Suppose t*j + 4*a - 81 = a, 0 = 4*j - 3*a - 171. Is 23 a factor of j?
False
Let h = -1036 - -234. Let x = -505 - h. Does 22 divide x?
False
Does 15 divide (-4)/(-14) - 20/(-560)*487192?
True
Let k = 14531 - 6971. Is k a multiple of 12?
True
Suppose -4*b - 8572 = -3*y, 0 = 192*y - 188*y + 5*b - 11419. Does 34 divide y?
True
Suppose 7 = 4*l - 9. Suppose -4 = -2*d - l*j, -3*d + 2 = -j - 11. Suppose 29 = 3*i + q, 3*q + 47 = 5*i + d*q. Is i a multiple of 4?
False
Suppose -t - 3*t = 16. Let i be (15/6)/(-5) + (-1754)/t. Let b = i + -172. Is 14 a factor of b?
True
Suppose 10*j + 30 = 4*j. Let o = 25 + j. Does 5 divide o?
True
Let v(a) = -a**3 + 11*a**2 + 60*a. Let z be v(15). Suppose 4*j - 42 - 4486 = z. Is 41 a factor of j?
False
Let c = -1931 + 2757. Is 14 a factor of c?
True
Let m(u) = 379*u**3 + 7*u**2 - 378*u**3 - 7*u - 56 + 16*u**2. Is m(-23) a multiple of 8?
False
Let v(s) = 1269*s**2 + 55*s + 26. Is v(-4) a multiple of 108?
False
Suppose -13*j + 61280 = 4*j + 6540. Is 28 a factor of j?
True
Is (-422904)/(-60) - 6*(-1)/(-15) a multiple of 147?
False
Let a(g) = 2*g**2 - 22*g + 4. Let j be a(15). Suppose -3*r - 2*v - 193 = 13, 2*r - 2*v + j = 0. Let m = 110 + r. Does 4 divide m?
True
Let o = -5003 + 10612. Is 38 a factor of o?
False
Suppose 0 = 5*l + w - 1390, -w + 871 + 240 = 4*l. Does 7 divide l?
False
Suppose -3*y + 2544 = 5*y. Suppose 0 = -2*d + 742 + y. Does 14 divide d?
False
Suppose 3*f = -2*n + 161, -f - 3*n - 2 = -65. Let o(j) = -j**3 + j**2 - j - 12. Let q be o(0). Let h = f + q. Does 12 divide h?
False
Let m = 78 - 75. Suppose -4*y = -m*i + i + 30, -2*y - 5*i = 33. Is (-20)/(-90) - 88/y a multiple of 2?
True
Suppose -13902 = -38*k + 35*k - 5*w, -k = w - 4638. Is k a multiple of 9?
True
Is 201/(2314/4202 + (-624)/1144) a multiple of 86?
False
Suppose