q be ((-7)/(-2))/7*8 - 1. Let r(w) = -14*w**2 + 20 + 14*w + w**q - 6 + 3 + w**2. Is r(12) a multiple of 4?
False
Suppose 4 = 2*s + a, -5*a + 3*a = 2*s - 2. Suppose 3*r - 1 = 5*t, 3*t + s*r = r + 7. Let y(z) = 23*z**2 + z. Is y(t) a multiple of 12?
True
Suppose -3*c = -7*c + 2*o + 4638, -1165 = -c - 5*o. Suppose c = 5*l - 5*q, 3*l - 5*l = 5*q - 464. Is 58 a factor of l?
True
Let p(x) = -53*x + 7. Let j be 2/((-36)/8 - -4). Is 14 a factor of p(j)?
False
Is 125 a factor of 8505 + ((-4389)/847 - (2 + 48/(-22)))?
True
Does 35 divide (1634/(-129))/(3194/6396 + 2/(-4))?
False
Suppose l + 3*j = 4*l - 12, -2 = 4*l + 5*j. Suppose 0 = q - l*i + 934, 5*q = 2*q + 2*i - 2794. Does 30 divide ((-28)/(-35))/(-1 - 934/q)?
False
Let z = -10720 + 27452. Is z a multiple of 47?
True
Let u be 8/3*(0 + 84/8). Let a(s) = 11 + 8 + s - u. Does 6 divide a(16)?
False
Let s(a) = 304*a**3 - 2*a**2 - 14*a + 26. Is 7 a factor of s(2)?
True
Suppose -h - 5*g + 30 = 0, -3*g = -5*h - 2*g + 254. Suppose 0 = 54*m - h*m - 620. Does 31 divide m?
True
Is (3 + 3/1)*(-745792)/(-192) a multiple of 86?
True
Let g = 17235 + -15197. Does 33 divide g?
False
Let n(w) = 21*w**2 + w - 1. Let a be n(1). Let z = a - -34. Is z a multiple of 2?
False
Is 12/(-54)*-9285*6/2 a multiple of 10?
True
Let n(o) = o**3 + 82*o**2 - 154*o + 278. Is 9 a factor of n(-82)?
True
Let q be (-1)/5 + 251/5. Is 2 a factor of (-981)/6*(-4 + q/15)?
False
Let a be 4*(-5)/50*-15. Suppose -a*t + 3*t + 390 = 4*u, 676 = 5*t - 2*u. Is t a multiple of 18?
False
Let h(z) = 17*z**3 - 17*z**2 + z - 100. Let s(l) = -24*l**3 + 26*l**2 - 2*l + 150. Let m(r) = 7*h(r) + 5*s(r). Is 29 a factor of m(9)?
False
Suppose 6 - 96 = -18*j. Suppose -3*l - 1097 = -5*r, -4*r = -j*l + l - 884. Does 7 divide r?
True
Let h be -10*10/(-6)*3. Does 13 divide (h/8 - 3)/(2/56)?
True
Let o = 111 + -109. Suppose 7 = -o*d + 81. Suppose -1297 = -7*v - d. Is 30 a factor of v?
True
Let t be 1 + 596/28 - 2/7. Suppose -600 = -26*p + t*p. Let h = -22 + p. Is 16 a factor of h?
True
Suppose -l = -4*n - 432, 5*n + 284 + 1488 = 4*l. Suppose 12*s + l = 19*s. Does 4 divide s?
True
Let x(c) = c + 3. Let f be x(11). Suppose -f*k = -17*k + 30. Suppose -343 = -k*z + 747. Is z a multiple of 17?
False
Suppose -s - 6 = 0, -9515 = -3*d - s + 10543. Does 19 divide d?
True
Let w(h) = -34*h - 131. Let c be w(-7). Let z = c + -4. Is z a multiple of 38?
False
Does 22 divide 51081/54 + (-18)/(-324)?
True
Let l(p) = p**3 - 25*p**2 + 53*p - 1. Let s be l(23). Let t = s + -32. Is 32 a factor of t?
True
Does 47 divide (-118908)/(-11) + 2 + (-21)/(1155/100)?
True
Let r(m) be the third derivative of m**5/15 - m**4/2 + 25*m**3/3 + 7*m**2 - 5. Does 10 divide r(8)?
True
Suppose c - 3*c = 5*b - 2069, b - 4*c - 405 = 0. Let i be -636*(-2 + (-42)/(-24)). Suppose -b = -4*f + i. Does 13 divide f?
True
Suppose 108*g = 204*g - 17*g - 46373. Is g a multiple of 3?
False
Let a be (-7838)/(-8) - (161/28 + -6). Suppose -4*p + 2114 = 5*w - 345, 2*w - 2*p = a. Does 20 divide w?
False
Suppose -9*h - 6256 = 7*h. Let n = -315 - h. Is n a multiple of 15?
False
Let u(x) = 12*x + 833. Does 4 divide u(20)?
False
Let f(r) = -8*r + r**3 - 8*r**2 + 470 - 485 + 9*r. Is f(9) a multiple of 6?
False
Let g = 1206 - -44. Let q = -725 + g. Is q a multiple of 35?
True
Suppose 4*w - 85 = f + 299, w - 2*f = 96. Let b = 5181 - 5115. Let k = w - b. Is 5 a factor of k?
True
Suppose -24*p + 488046 = 7*p - 130404. Is p a multiple of 75?
True
Let s(n) = -n**3 - 3*n**2 - n + 1. Let q be s(-1). Suppose q = -37*x + 42*x - 690. Is 3 a factor of x?
True
Suppose 3*r = -5*c + 10432, r + c - 6*c = 3464. Is 18 a factor of r?
True
Suppose 21*n - 922 = 3299. Is n a multiple of 17?
False
Let n(p) = p**2 + 32*p + 80. Let o(s) = 2*s**2 + 33*s + 80. Let w(b) = 3*n(b) - 2*o(b). Is 13 a factor of w(23)?
False
Let d(t) = 6*t**2 + 10*t + 381. Is 9 a factor of d(-12)?
True
Is (-2)/((-1)/1022*((-16)/22)/(-2)) a multiple of 11?
True
Let p = -6189 - -6645. Is 6 a factor of p?
True
Is 57 a factor of 773*34 - (-6 + (-121)/(-11))?
True
Suppose 4 = -4*t + 5*x - 3, t - 3*x = -7. Suppose 339 = t*h - 337. Does 22 divide h?
False
Let u = 5075 + -3863. Is u a multiple of 6?
True
Let f be 4*(0 - -1) - 0. Suppose -3*q - 4*y + 8 = -0, f*q = -3*y + 6. Suppose -7*r + 3*r = q, 5*c = r + 125. Is c a multiple of 5?
True
Let s(c) = -13*c - 78. Let h be ((-324)/(-36))/((-6)/20). Is 26 a factor of s(h)?
True
Let w = 69 - 45. Suppose -2*p = p. Suppose t + w = 2*i, 4*i - t + 0*t - 46 = p. Is i a multiple of 3?
False
Let c(j) = -j**3 - 33*j**2 + 70*j + 2. Let r be c(-35). Suppose -2*i - u - r*u + 641 = 0, 2*i - u - 645 = 0. Is i a multiple of 11?
False
Let y = -20557 - -35488. Is 188 a factor of y?
False
Suppose -2475 = 4*o - 7*o. Let d be (-42)/9*45/(-35). Suppose d*y = y + o. Is y a multiple of 33?
True
Suppose -117*c = -1355236 + 307852. Is 8 a factor of c?
True
Suppose 0 = 37*f - 38*f - 564. Does 3 divide (-1)/(3 + f/186)?
False
Does 13 divide 3212/73*((-106)/(-8) + 3)?
True
Let m = 122 - 25. Suppose -4*w + b = -423, 4*b - 13 = -w + m. Let i = w + -26. Does 20 divide i?
True
Suppose -4697 = -6*u - 1100 + 2607. Is 15 a factor of u?
False
Let l(a) be the third derivative of -61*a**4/24 + a**3 + 825*a**2. Suppose 0 = 4*n - 4*m + 20, 0 = -3*n - 2*m + 1 - 6. Is 15 a factor of l(n)?
False
Let o = -99 - -132. Suppose o*l = 30*l + 510. Is l a multiple of 10?
True
Suppose -467*g + 10231095 = 715970. Does 74 divide g?
False
Let d = -30 + 28. Let g be (3 + -4 + d)*-1. Does 14 divide g/(-2)*1876/(-42)?
False
Let p(i) = 2*i**2 + 234*i + 763. Is 177 a factor of p(-119)?
True
Let q = -1057 + 1361. Is 11 a factor of q?
False
Suppose -4*v + 64*l - 66*l + 28574 = 0, v - 7139 = -5*l. Is v a multiple of 6?
False
Let l = 27666 - -1656. Is 162 a factor of l?
True
Let z be (-26)/(-4) + 1/(-2). Let k(f) be the second derivative of 11*f**3/3 + 43*f**2/2 - 2*f - 195. Is k(z) a multiple of 34?
False
Suppose b - 3*d = 184, -6*d + 3 = -5*d. Let z = -106 + b. Is z a multiple of 20?
False
Suppose -l + 4*u - 3 = 0, 2*l + 3*l = 4*u + 33. Suppose -l*z + 6*z + 18 = 0. Does 29 divide 8/z*7/(56/348)?
True
Let j be 4 + (455/5 - -2). Suppose 0 = j*q - 100*q + 228. Does 6 divide q?
False
Let g = -21 - -21. Suppose 0 = 4*r + 4*b + b - 977, 5*r + 3*b - 1231 = g. Is r a multiple of 29?
False
Suppose -1 = 2*t - 5. Let x(r) = -2*r + 11*r + 132 - t*r - 8*r + 2*r**2. Does 12 divide x(0)?
True
Let u = -473 + 473. Suppose -15*n + 20*n + 5*y - 280 = 0, -5*y = u. Is n a multiple of 33?
False
Let c be (-8 - 74)*(-2)/(-4). Suppose 0 = -0*j - j - 2, -5*a + 3*j = 339. Let d = c - a. Is 22 a factor of d?
False
Let f = 8523 + -8198. Is 23 a factor of f?
False
Let y(r) = -11*r**3 + 4*r**2 - 2*r - 10. Let k be y(-3). Let u = k - 211. Suppose 0 = -3*n + n + u. Is n a multiple of 40?
False
Suppose -178*f = -171008 - 176270. Is f a multiple of 6?
False
Let d(i) = -7*i**2 + i + 10. Let k(s) = -8*s**2 + s + 9. Let u(o) = 5*d(o) - 6*k(o). Let r be u(-3). Suppose -4*v + 236 = -r. Does 22 divide v?
True
Let w = -459 + 775. Suppose 3*o - 5*d - 442 = 0, -21*d = 2*o - 19*d - w. Is 36 a factor of o?
False
Let i = 554 - 168. Let t = i - 88. Is 43 a factor of t?
False
Suppose 0 = -0*a - 3*a - 192. Let r = a + 67. Suppose 12 = 3*q, -102 = -b + q - r. Does 9 divide b?
False
Suppose -z + 1 = 0, 19*z - 20547 = -v + 17*z. Is v a multiple of 35?
True
Let o(t) = -63*t - 1630. Is o(-50) a multiple of 7?
False
Let k = 564 - 593. Is 35 a factor of 13*(1 - k) + 6 + -11?
True
Let s(u) = 9*u**3 - 16*u**2 + 56*u - 42. Is 35 a factor of s(8)?
True
Suppose -v = 254*i - 253*i - 4467, 5*v = 3*i + 22311. Is v a multiple of 18?
True
Let l be ((-4)/(-6))/((-3)/(513/(-2))). Let g = l + -55. Does 39 divide 1/(g/4) + (38 - 1)?
True
Suppose -4*n - 3 = -r, -6*n = -2*n + 3*r - 9. Suppose -2*h - 2*a - 4858 = n, -2*a = -h + a - 2441. Is 38 a factor of h/24*(-6)/4?
True
Let b be ((-12)/(-10))/(3/10). Suppose 0 = -4*r - 4*g + 28, -448*g - 10 = -4*r - 443*g. Suppose b*u + r*v - 3 = 30, 2*u + 2*v - 14 = 0. Does 2 divide u?
True
Let u = -25236 + 40350. Does 11 divide u?
True
Let c = 1521 + -464. Suppose 1939 = 2*g - c. Does 45 divide g?
False
Let a be 1/2*(-1 - -3). Let c(s) = 313*s - 45. Let w(k) = -105*k + 17. Let n(o) = 3*c(o) + 8*w(o). Is 20 a factor of n(a)?
True
Let