3 - 4 - 16*y**2 - 4*y**3. Let h = -13 + -3. Is 12 a factor of x(h)?
True
Let q(t) = -7*t - 25. Let z be q(-8). Let d be (3 - 24/9) + z/(-3). Is d/40 - (-3)/(-4)*-47 a multiple of 27?
False
Let r = 16520 - 7280. Does 22 divide r?
True
Let k(b) = -14*b + 65. Let w be k(-20). Let x = w - 177. Is x a multiple of 21?
True
Let h be 2*(-3 + (-279)/(-3)). Suppose -2*w + 2 + h = 4*q, 4*q - 207 = 3*w. Is 24 a factor of q?
True
Let u = 516 + -2. Let a = 1450 - u. Is a a multiple of 26?
True
Let g(t) = -t**3 - 11*t**2 + 12*t + 36. Let b be g(-12). Suppose -b - 525 = -h. Is 51 a factor of h?
True
Suppose -2*g = -2*j - 7368, -3976 = -4*g - 5*j + 10778. Does 4 divide g?
False
Suppose u + 40 = -9*u. Is 68 a factor of (476/1)/(u - -5)?
True
Suppose 59 = 5*v + 4*r, -5*v = -4*r + 3*r - 54. Suppose -5*f + 14 = -v. Suppose -5*z - 100 = -7*z - 2*d, 0 = f*z + 2*d - 256. Does 3 divide z?
False
Let w(b) = 17*b + 95. Let g be ((-5)/15)/(1 - (-116)/(-114)). Does 38 divide w(g)?
True
Suppose -v + 6*v = 0, v + 10 = 2*r. Suppose t + 0*t = -r*g + 13, 11 = g + 3*t. Suppose -5*z + 1029 = g*z. Is 30 a factor of z?
False
Does 108 divide 14 + -6 + -10 + 1 + 4861?
True
Is 3180*(63/(-18) - -9) a multiple of 105?
False
Let d(m) = m**2 + 25*m - 30. Let t be d(-26). Let h be -1 - (-1 + (t - -9)). Is (-48)/120 - 407/h a multiple of 27?
True
Let v(c) = -23*c**2 - 2*c - 7*c - c**3 + 10 + 14*c**2. Let k be v(-8). Suppose -11*b - 175 = -k*b. Is 17 a factor of b?
False
Suppose -5*d = -4*j + 13521 + 8364, 2*d = 3*j - 16426. Is 20 a factor of j?
True
Let t be 4/(4/33)*605/165. Let m = 228 - t. Does 22 divide m?
False
Suppose 2*w = -x + 2, -5*x - 8*w + 5*w = -17. Suppose 2*q + x*b - 56 = -0*b, 124 = 5*q + 2*b. Is 3 a factor of q?
True
Let j be ((5 + -2)/1)/(6 + -5). Suppose j = -10*q + 7*q. Let i = q - -35. Does 11 divide i?
False
Let o(h) = 1096*h + 125. Let v be o(24). Suppose 25*w = v - 5754. Is w a multiple of 18?
False
Let f(r) = -2*r + 178. Suppose -427 = -32*y + 277. Does 4 divide f(y)?
False
Let m(t) be the third derivative of t**5/30 + 19*t**4/24 - 35*t**3/6 - 2*t**2. Let l be 6/(-8) + ((-910)/8)/7. Is 22 a factor of m(l)?
True
Suppose -2*i = 5*n - 25, 2*i + 22 - 2 = 4*n. Suppose 0 = -4*g - 5*c + 2052, -3*g + 273 + 1271 = n*c. Does 16 divide g?
False
Let a be 21/(-28) + (-3)/12. Let f be a/(7 - 4 - 2)*-69. Let s = f - 35. Does 17 divide s?
True
Let d(c) = -c - 10. Let y be d(-10). Suppose 2 = -y*t + 2*t. Suppose 0 = 4*z + t - 161. Is 20 a factor of z?
True
Let s = -1143 + 9618. Does 75 divide s?
True
Suppose n + n = -d - 1, -2*n + 6 = 2*d. Is -6*((-24)/d)/(4/28) a multiple of 26?
False
Let c = -1081 + 1548. Is 13 a factor of c?
False
Suppose -640*n = -669*n + 115797. Does 3 divide n?
True
Let w(s) = -3*s**2 + 24*s - 11. Let l be w(11). Let b = l - -112. Suppose -g + 30 = 3*n - b*n, 2*n = 5*g - 122. Is 26 a factor of g?
True
Suppose -z - 2*r = -264, 5*z - 4*z = -r + 260. Let l = 402 - z. Is l a multiple of 2?
True
Let l = -10640 - -15515. Is 75 a factor of l?
True
Let h(g) = -g + 63. Let j be h(4). Suppose -46*s = -j*s + 7345. Is 5 a factor of s?
True
Suppose 2*k - 243 = -4*p + 6965, 0 = -4*p + k + 7196. Suppose 3*q = 21*q - p. Is q a multiple of 3?
False
Is ((-6477)/68)/(((-27)/(-40))/(-9)) a multiple of 7?
False
Suppose 57*w = 67*w - 600. Is 8 a factor of w/330 + 2/(-11) + 111?
False
Suppose 0 = -5*h - 4*n + 274, -3*n - 546 + 705 = 3*h. Suppose 0*o + 8 = 4*o. Suppose 0 = o*r - h - 112. Is 11 a factor of r?
False
Let l(d) = 24*d**2 - 216*d + 50. Is l(-16) a multiple of 232?
False
Let i be (-14)/(-8 + 15) - -394. Suppose 0 = -b - 5*p + i, 6*p = 5*p. Does 28 divide b?
True
Suppose -20*h - 11418 = 13*h. Let r = h - -1354. Is 18 a factor of r?
True
Suppose -246*p + 349176 = 74*p - 266504. Does 21 divide p?
False
Let t(y) = -y**3 - 2*y**2 - 5*y + 18. Let c be t(-5). Suppose -3*l + 593 = 4*z, 0 = l - 3*z - c - 97. Is l a multiple of 52?
False
Suppose 0 = 4*z + 3*m - 2271 - 12032, -7145 = -2*z + 5*m. Is z a multiple of 11?
True
Let r(p) = 13*p**2 + 28*p + 17. Let h be r(-8). Let u = -84 + h. Does 25 divide u?
False
Let d(w) = 5*w**3 + 3*w**2 - 6*w + 3. Suppose -2*b - 4*u + 13 = -13, -3*b - 1 = -2*u. Does 9 divide d(b)?
False
Let j be (182/8)/13 - (-1)/4. Let x be (-2 - j)*(1 - (-14)/(-4)). Suppose 252 = -7*p + x*p. Is 20 a factor of p?
False
Suppose 0*n + n + 2*m + 2 = 0, -5*m = -4*n + 44. Suppose 9*p - n*p = -4*g + 563, 5*p - 950 = 5*g. Is p a multiple of 4?
False
Does 5 divide (380/(-60) + 7)*8031/2?
False
Let x(c) = 13*c. Let h be x(4). Let q(l) = 35*l - 559. Let w be q(16). Suppose -w = -o + h. Does 10 divide o?
False
Let o(i) = 3*i - 2. Let v be o(4). Let p(y) be the third derivative of -y**5/60 + 5*y**4/8 + 7*y**3/3 + 427*y**2. Is 10 a factor of p(v)?
False
Let f = 89819 - 37316. Does 109 divide f?
False
Let k = 394 + -212. Let l = k + -58. Let a = 223 - l. Is 10 a factor of a?
False
Suppose 18*s + s = -4*s. Suppose 0 = -o + 3, s*d = 2*d + o - 291. Is 8 a factor of d?
True
Suppose -g + 4*q + 2155 + 525 = 0, -4*g = -2*q - 10790. Does 6 divide g?
True
Is 110 a factor of 25850*(22/(-55) + ((-16)/(-20) - 0))?
True
Suppose 0 = 6*g + 69 + 39. Let m be (-10)/45 - (-374)/g. Does 21 divide (-2 + 2 + -5)*m?
True
Let j = -4456 + 4786. Does 2 divide j?
True
Let k = -33 + 40. Suppose 0*w = -k*w + 14. Suppose -3*s = -w*g + g - 46, -5*s - g = -82. Is 4 a factor of s?
True
Let c(t) = 14*t - 18. Let d(s) = 15*s - 17. Let q(p) = -6*c(p) + 5*d(p). Let v be q(-5). Suppose 0*i = -i + v. Is 17 a factor of i?
True
Let v = 6158 + -3846. Is 17 a factor of v?
True
Suppose 0 = 17*s - 28*s + 2948. Let z(v) = v**3 + v**2 - 7*v - 1. Let k be z(-6). Let h = k + s. Is h a multiple of 17?
False
Let z = -14 + 16. Let y(m) = 2*m - 52. Let h be y(23). Is (-2 - h) + z*50 a multiple of 26?
True
Let p = -7 - -20. Suppose -p*y = -2*y - 132. Let w(c) = -c**3 + 14*c**2 - 11*c + 14. Is w(y) a multiple of 19?
False
Suppose 270 = -43*f - 160. Does 32 divide f/(-2)*(-2 - (-14736)/40)?
False
Is 37315772/3798 + -2*(-2)/(-36) even?
False
Let o be 27/6 + 15/30. Suppose -x = -3*a - 4*x + 2250, 3004 = 4*a + o*x. Is a a multiple of 82?
False
Suppose 0 = -2*c + 4, -9*w = -10*w + 2*c + 932. Does 72 divide w?
True
Suppose 0 = 4*r + r + g + 34, 3*r = 2*g - 10. Let a be (16/6)/((-20)/r - 3). Is 14 a factor of 386/26 - a/(-52)?
False
Does 11 divide 0 - (5 - (10 - -5239))?
False
Suppose 5*y - 9 - 236 = 0. Suppose 6 + 21 = x. Let n = y - x. Is n a multiple of 11?
True
Let p = -418 - -853. Is 96/240*(0 - p/(-1)) a multiple of 18?
False
Let p be ((-195)/(-9))/(((-4)/438)/(-2)). Suppose -169 - p = -18*z. Is z a multiple of 25?
False
Suppose -43*u + 12844 = -39*u + 2*t, -t + 3209 = u. Does 27 divide u?
True
Suppose 4*s = -20 - 12. Let c be 101 - (0 - (-12)/s*2). Let g = -77 + c. Is g a multiple of 21?
False
Let j = -734 - -738. Suppose 0 = j*i - 1068 - 1140. Does 64 divide i?
False
Let b(m) = 15*m + 1. Let t be b(-2). Let p(v) = -62*v - 73. Does 75 divide p(t)?
True
Let l(p) = p**2 - 2*p - 12. Let y be l(3). Let v = y + 169. Is 43 a factor of v?
False
Let x = -437 + 1667. Suppose x = 2*z + 3*z. Suppose z = 7*y - y. Is y a multiple of 5?
False
Let b be (-1 - 1)*1*(-3 + 2). Suppose s + 0*z - 4*z = 100, -3*z = -b*s + 225. Is 3 a factor of s?
True
Let w = 20268 - 17482. Is w a multiple of 14?
True
Let j(v) = 13*v + 13. Let b be j(-2). Let g(m) = m**2 + 13*m. Let o be g(b). Suppose o*f - 55 = -5*f. Is f a multiple of 11?
True
Let u(v) = 97*v**2 - 2*v + 6. Let f be u(3). Let k be ((-2)/4)/(f/438 + -2). Suppose -m = -2*l - 34, 2*m - 3*l = k - 1. Is m a multiple of 21?
True
Let x(j) = -2*j**2 - 13*j + 29. Let c be x(-11). Suppose 24 = -4*k + k. Is (c/k - -1)/(3/56) a multiple of 17?
False
Let u be 2 - 1/((-2)/6). Suppose 0 = u*s - s - 3*d - 11, 3 = d. Suppose 3*r = -r + s*h + 225, -2*h = 2*r - 126. Does 15 divide r?
True
Let n(v) be the third derivative of -v**6/120 + v**5/30 + 5*v**4/24 - v**3/3 + 14*v**2. Let b be n(6). Let o = b - -303. Is o a multiple of 32?
False
Let v(y) = 5*y + 903. Is 32 a factor of v(37)?
True
Suppose -542 = -4*f - 2*n, -3*n = 2*n + 15. Let c = f - 69. Is 2 a factor of c?
True
Let d = 118084 - 81647. Is d a multiple of 83?
True
Let m(j) = -3*j**2 + 294*j - 603. Is 58 a factor of m(83)?
True
Suppose 0 = 4*w + a - 38272, 4*a + 