2. Let f be (-40)/4 + 11 - (5 + -5). Is 27 a factor of l/(-7) + (2*134)/f?
True
Suppose -5*p = 4 - 29. Suppose 2*t + 1022 = p*h + 222, -2*h - t = -320. Is 20 a factor of h?
True
Suppose 0 = 132*f - 61*f - 142852. Does 4 divide f?
True
Suppose -5*q + 185 = 5*h - 0*h, 5*q + 88 = 2*h. Suppose -u = -v + 45, -v = -u - 3*v - h. Let w = u - -115. Is 12 a factor of w?
True
Let x = 17934 + -17750. Is 3 a factor of x?
False
Let t = -25 + -9. Let y = t - -39. Is 55 + (2 - (y + -4)) a multiple of 8?
True
Let c = 62495 - 43847. Is c a multiple of 22?
False
Suppose -41 = -4*y + 551. Let r be (3 - 1)/((-10)/(-75)*3). Suppose 0 = r*v - 202 - y. Does 15 divide v?
False
Let l = -200 + 203. Suppose 5*d + 5*p - 7795 = 0, l*d = -2*d - 3*p + 7785. Does 21 divide d?
True
Let m(i) be the second derivative of 53*i**5/120 + i**4/24 + 37*i**3/6 - 16*i. Let h(y) be the second derivative of m(y). Does 10 divide h(3)?
True
Let s = -42362 + 99945. Is s a multiple of 25?
False
Let w(f) = 3*f**3 - 23*f**2 - 32*f - 24. Does 7 divide w(10)?
False
Let l(n) = 2*n**2 - 84*n + 69. Is l(72) a multiple of 57?
True
Let k = 9090 - -4966. Is 251 a factor of k?
True
Suppose -4*u - 7493 = -d - 648, 5*d = -5*u + 34075. Does 9 divide d?
False
Let o(t) = 1754*t + 1429. Does 25 divide o(3)?
False
Let l be 332/1 - (-14 + 16). Suppose 0 = -m + l - 99. Is m a multiple of 33?
True
Suppose -2*y + 115 + 145 = h, 0 = -5*h + 5*y + 1255. Let i = h + -51. Does 7 divide i?
True
Suppose 213*c - 208*c = 10. Suppose -c*z + 8 = 0, -708 = -2*o + 4*z - 5*z. Does 32 divide o?
True
Suppose w - 90 = -3*y, -3*w + 0*w = 3*y - 270. Suppose 2*m + 100 = a, -3*a - 3*m + w = -2*a. Is 24 a factor of a?
True
Does 8 divide (-100)/(-6) - 17 - (-4153)/3?
True
Let n = -12444 - -26865. Is 253 a factor of n?
True
Suppose -135*w + 36 = -126*w. Does 8 divide (-6)/4*(w - 36)?
True
Does 6 divide (-28 + 7)/(10/(-1670))?
False
Suppose 0 = -40*u + 23396 + 141084. Is u a multiple of 66?
False
Let z = -4836 + 8959. Suppose -1 = -4*r - 5, 4*k + r = z. Is k a multiple of 20?
False
Suppose -7*b = -11*b + 64. Let q = 19 - b. Suppose 44 - 14 = 3*l + 3*g, 0 = -5*l + q*g + 10. Is l a multiple of 5?
True
Suppose -4*i + 3*q = -53 - 39, 2*q + 70 = 3*i. Suppose m + 0*m = -5*f + i, -5*f = 5*m - 30. Suppose 0 = -3*s + g + 524, f*g - 75 = s - 273. Is 35 a factor of s?
False
Suppose -35*t - 1123146 - 76966 = -142*t. Does 8 divide t?
True
Suppose 152*z - 147*z = 15. Suppose 409 = z*f + 4*n, f - 3*n - 12 = 120. Does 5 divide f?
True
Let x = 9382 + -5987. Is 6 a factor of x?
False
Let v(y) = -7*y**3 + 2*y**2 + 5*y + 27. Let d(p) = p**3 - p**2. Let q(s) = -5*d(s) - v(s). Let f be q(8). Is (3 + f/(-9))/((-10)/15) a multiple of 17?
True
Let a be 15/(-30)*(-34 - 0). Suppose -a = -w - 57. Let x = w - -80. Does 20 divide x?
True
Let o be ((-3)/(-12))/(2*(-1)/(-24)). Suppose -g - 5*c = -148, -4*g + o*c + 540 + 75 = 0. Does 9 divide g?
True
Let q be (-9)/(-21) - (-33664)/112. Let j = q + -4. Does 27 divide j?
True
Let z(v) = -v**3 + 3*v**2 - 4*v + 1. Let a be z(-3). Let w = -68 + a. Is w/2 - (108/(-8) + -8) a multiple of 3?
True
Suppose 8*k = 6*k + 4*t + 56, 2*k + 2*t = 74. Let f(m) = m**2 - 32*m + 94. Does 39 divide f(k)?
False
Suppose -51*r + 46*r + 20 = 0. Suppose 412 = -8*p + r*p. Is (6/2)/(-3)*p a multiple of 27?
False
Let f(p) = -3 - 2 - 32*p + 8. Suppose 15 + 3 = -4*c + 2*j, 4*c + 5*j - 17 = 0. Is f(c) a multiple of 15?
False
Suppose -j - 32 = -4*z, j - 2*j = 4*z - 40. Suppose 0 = z*n + 441 - 1449. Suppose -2*p + n = 5*p. Is p a multiple of 4?
True
Suppose 14 = 3*x - 5*y - 19, -3*x - y + 51 = 0. Suppose -x = -4*m - 0. Does 18 divide 55 - (-2)/m*-2?
True
Suppose 2*n - 7*n + 2*b = -1737, 2*n = -b + 702. Suppose 0 = -8*o + 435 + n. Does 17 divide o?
False
Let u = -39 - -85. Suppose d - 4*w = -7*w + 37, 3*d - 4*w = u. Let h = 184 - d. Is 27 a factor of h?
True
Suppose 0 = -l - 3*i - 2*i - 10, -4*i - 16 = 0. Suppose 5*o - 2*j = 1808, -l*o = -14*o - 2*j + 1432. Is o a multiple of 20?
True
Let s be (-1)/(-3)*(-4 + (-64)/(-16)). Suppose 0 = 4*c - 3*y - 1643, s = 2*c + 9*y - 5*y - 794. Does 14 divide c?
False
Suppose -21*m - 2*m + 4*m + 9253 = 0. Is m a multiple of 2?
False
Let k = 2304 + -1346. Let x = -179 + k. Suppose 565 + x = 7*t. Is t a multiple of 16?
True
Let j(y) = 9*y**2 - 5 - 8*y - y - 5 + 3. Is j(5) a multiple of 14?
False
Let o(g) = 3*g + 17. Let a be 24/10 - (-3)/((-60)/8). Is o(a) a multiple of 3?
False
Let o(i) = -i**2 + 11*i - 6. Suppose -122 = 5*m + 38. Let k = m - -40. Is o(k) a multiple of 10?
False
Let i be (1 - -1)*(26 + -24). Suppose v = i*t - 2379, 3*t - 1767 = 3*v - 8*v. Does 27 divide t?
True
Suppose 3*x + 5*q - 19 - 405 = 0, 710 = 5*x + 5*q. Suppose 0 = v - 0*o + 3*o - 19, -o = -5*v + x. Is 4 a factor of v?
True
Let v = -17005 - -21325. Does 90 divide v?
True
Is 51 a factor of 62730/1025*35/2?
True
Suppose -4*v - 314*q + 319*q = -2418, -5*v + 2*q = -3014. Is 14 a factor of v?
True
Let k(g) = -g**3 - 12*g**2 + 12*g - 7. Let c be k(-13). Suppose c*f = -55 - 251. Is (-595)/f + 2/6 a multiple of 4?
True
Suppose -f - 2*g + 9588 = 3*g, 0 = -f - 2*g + 9582. Does 20 divide f?
False
Let i(j) be the first derivative of j**2 - 9*j + 23. Let x be i(7). Suppose 4*s + 4*q = 76, q - 89 = -x*s - 2*q. Is 7 a factor of s?
False
Suppose -13*s - 2031 = -2*z - 18*s, 0 = -3*z - 5*s + 3039. Does 84 divide z?
True
Let a(c) = -59*c**3 - 4*c**2 + 16*c + 2. Is 106 a factor of a(-5)?
False
Is (114/30)/(2/6770) a multiple of 10?
False
Let o be (1*-10)/(9*(-6)/27). Suppose -4*d - d + 4*b + 2435 = 0, o*b = -25. Is 21 a factor of d?
True
Suppose -5*o = -2*v + 11647, 376*v - 379*v - 2*o = -17518. Does 82 divide v?
False
Suppose 0 = 7*w + 2*r - 155567, -3*r - 2*r = w - 22205. Does 70 divide w?
False
Let f be 7952/(-70) + (-2)/5. Let o be -2*(f + (0 - -1)). Suppose -u - 76 = -h, 0 = 3*h - 6*u + 4*u - o. Does 15 divide h?
False
Suppose -11*x + 59357 + 27334 = 0. Is 111 a factor of x?
True
Suppose 5*u + 36 = u. Suppose 5*b = -210 - 10. Let q = u - b. Does 6 divide q?
False
Let k(l) = 524*l - 114. Let s be k(3). Suppose -291*m + s = -285*m. Does 14 divide m?
False
Let j = -21 - -26. Suppose 0 = 2*s - 3*s - 2*k + 36, j*s - 158 = k. Is s a multiple of 8?
True
Is 57 a factor of (37 + -13)/(1/(-1444)*-6) - 2?
False
Suppose 0 = -19*r - 481 + 2115. Suppose 10*c - 94 = r. Does 7 divide c?
False
Let f(a) = 4*a + 37. Let h be f(-10). Let u be (1 - 2)*0/(h - 1). Suppose u = -q - 4*q + 80. Does 4 divide q?
True
Let o = -15590 - -17013. Is 87 a factor of o?
False
Does 167 divide (-12790510)/(-370) - (-2)/37?
True
Let k(q) = -7*q + 34. Let a be k(7). Let j(x) be the second derivative of -x**4/12 - 3*x**3 + 15*x**2/2 - x. Is j(a) a multiple of 15?
True
Let x = -526 + 511. Does 9 divide ((-235)/x + -9)*(-168)/(-10)?
False
Suppose x + 72*s - 71*s = 1258, 0 = -2*x + 2*s + 2540. Is x a multiple of 16?
True
Is 4 a factor of (6915/45)/(1 + (-44)/48)?
True
Suppose -17 = -8*k + 31. Suppose 12*i + k*i = 5112. Suppose -i + 396 = z. Is 14 a factor of z?
True
Suppose -11*a = -23*a + 360. Is 26 a factor of ((-12)/a)/(2/(-650))?
True
Suppose -2*k = 2*x + 2*x - 600, 15 = 5*x. Suppose 0 = 4*v - 7*v - k. Let m = -57 - v. Does 24 divide m?
False
Let a = -9346 - -16345. Is 29 a factor of a?
False
Let q(m) = 2*m**2 - 2*m + 1. Let r = -135 - -131. Let n(d) = -6*d**2 + 5*d - 2. Let x(c) = r*n(c) - 9*q(c). Does 9 divide x(-2)?
True
Suppose 7 - 7 = -7*v. Let y be 9*(v - 4/6). Is (y - -1)*-5 - (-32)/16 a multiple of 10?
False
Let x(q) = -3*q + 37. Let r be x(11). Suppose 5*p - 512 = -r*m + 1110, -978 = -3*p - 4*m. Is p a multiple of 19?
False
Let a(x) = x + 41. Let c be a(-19). Suppose 1154 + 408 = c*w. Is w a multiple of 5?
False
Does 138 divide (690/(-4 + 3))/(33/(-1650))?
True
Suppose -59*u + 18734 = -21*u. Is 23 a factor of u?
False
Suppose -9*s + s = -9944. Suppose 3*a - z = -a + s, 3*a - 5*z = 928. Is 17 a factor of a?
False
Suppose -92*b = -31*b + 146*b - 13775643. Does 21 divide b?
True
Suppose -5*o = -n - 8935 - 53480, 4*o - n - 49932 = 0. Is 171 a factor of o?
True
Let q(h) = -3*h + 2. Let a = -25 - -23. Let d be q(a). Suppose -12 = -s + v, -6 - d = -s + 2*v. Is 5 a factor of s?
True
Let r be ((-8)/(-2))/((2 - 3)*-2). Suppose 5*w = w - r*j + 354, -w = 2*j - 81. Is 9 a factor of w?
False
Let v be (