0)/((-12)/n). Let c(j) = j**3 - 10*j**2 + 4*j - 15. Is c(w) a multiple of 20?
False
Let y(u) = -8*u + 135. Let z(j) = 7*j - 136. Let i(t) = 2*y(t) + 3*z(t). Is i(32) a multiple of 22?
True
Suppose 84*x + 2 = 85*x. Is 3 a factor of x*((-2)/8 - 364/(-16))?
True
Let i(t) = t**3 - 71*t**2 + 215*t - 203. Is i(69) a multiple of 54?
False
Let b(j) be the second derivative of j**5/20 - 3*j**4/4 + 13*j**3/6 + 9*j**2/2 + 6*j. Let r be b(7). Does 6 divide 1/(-3)*r + (-325)/(-15)?
False
Let a(m) = -21*m**2 - 4*m + 9. Let c be a(2). Let g = c - -93. Suppose -g = -17*y + 16*y. Does 2 divide y?
True
Is (-2 + -3)*130064/(-110) a multiple of 12?
False
Let z = 20861 - 5450. Is 17 a factor of z?
False
Let q be (-1 - 0)*((-274)/(-2) + 2). Let r = 402 + q. Does 14 divide r?
False
Suppose 102*a = -230*a + 1162841 + 1688375. Is 42 a factor of a?
False
Suppose -2*v + 5 + 1 = 2*r, 6 = 2*v - r. Suppose 4*p + 14*q = 10*q + 1512, 1120 = v*p - 4*q. Is p a multiple of 47?
True
Let f = -211 + 208. Let z(l) = -69*l. Is 23 a factor of z(f)?
True
Let m be (19 - 21)*(-9)/2. Is 11 a factor of (59 - 3*3/m) + -4?
False
Suppose 2*f + 4*k = 3*f - 1980, -4*f - 3*k + 7882 = 0. Suppose 8*q = 4*q + 2*a + f, 0 = -4*a + 16. Is 55 a factor of q?
True
Let y = -19 + 25. Let t be 222 + y - (-8)/(-2). Is 7*(1948/t - 4/32) a multiple of 4?
True
Let a = 20 + -17. Suppose -26 = -a*f - 14. Let z(s) = 28*s + 9. Does 11 divide z(f)?
True
Suppose 11*x + 123 = 1091. Suppose 5*a - 5*h = 460, -a + 2*h = -h - x. Does 51 divide a?
False
Let z = -1288 + 1354. Is z a multiple of 6?
True
Suppose 2*c - 8 = 0, -5*q - 4*c - 610 - 884 = 0. Let p = 66 - q. Is p a multiple of 46?
True
Let w(b) = b**3 + 19*b**2 + 18*b - 22. Let p be w(-13). Let s = p + -713. Does 3 divide s?
True
Suppose -3*a = 3*y - 2949, a = -a + y + 1966. Let x = a + -1415. Is ((-18)/(-8))/((-6)/x) a multiple of 17?
False
Let p = -11010 + 14636. Does 74 divide p?
True
Suppose 2*k - 81 = -5*w, 175 = 3*k - 2*w + 25. Let y = k - 65. Let i = 22 + y. Is i even?
False
Let s(x) = -16*x**3 - 2*x - 2. Let z be s(-1). Suppose 4*g = -4*o + 16, -4*o - 3*g + z = -1. Let b(w) = -w**3 + 7*w**2 - 5*w. Is 5 a factor of b(o)?
True
Let d(v) be the second derivative of v**6/180 - v**5/15 + v**4/6 + 5*v**3/3 + 20*v. Let a(s) be the second derivative of d(s). Is a(7) a multiple of 45?
False
Suppose 0 = 3*w - 4*w + 3. Suppose 5035*o - 5030*o - 15 = 0. Suppose 132 = w*t + o*t. Does 5 divide t?
False
Let x be 15 - (2 - 0) - (-3 - -8). Is 16 a factor of 2/3 + 2157/36*x?
True
Suppose 18*n = 9*n - 63. Is 4 a factor of (n - (-1 + -6)) + 65?
False
Suppose 3*d - 7*y + 4*y - 702 = 0, -5*d - 5*y = -1170. Suppose -l = x + 240, l + d + 8 = x. Let a = -148 - l. Is a a multiple of 5?
False
Let o = 10274 - 9471. Is o a multiple of 2?
False
Let p(u) = 38*u - 17. Let w be p(9). Let t = -217 + w. Does 18 divide t?
True
Suppose -4*t = -0*o - 4*o - 4, -4*t - 5*o = -40. Suppose 2*f - 122 = -f + 2*m, -5*f = t*m - 195. Suppose -f = -3*k + 23. Does 7 divide k?
True
Suppose -377 = -3*v + 4*q, 29*q - 27*q = 2. Suppose 0 = 2*x - 5*t + 120 - 34, 78 = -2*x + 3*t. Let l = x + v. Is 28 a factor of l?
False
Suppose 0 = -5*o - 4*w - 6, 3*w + 24 = 4*o - w. Let y(z) = 243*z - 1670. Let i be y(7). Suppose -o*s + 4*r + i = -5, -4*s + 81 = r. Does 4 divide s?
True
Let r = 601 + -901. Is ((-21)/(-15))/((-20)/r) even?
False
Let o(v) = -v**2 + 2*v + 57 - 14 - 33*v. Is 14 a factor of o(-17)?
False
Let r(q) = -3*q - 62. Let n be r(0). Let g be 38/209 - n/22. Suppose g*j - 110 = 34. Is 12 a factor of j?
True
Let b(l) = 95*l**2 - 17*l + 72. Does 24 divide b(7)?
True
Let w = -66 + 72. Let f be 1425/(-60)*8/w*-3. Suppose -u - 36 = -j, 11 = -2*j - u + f. Does 29 divide j?
False
Suppose -88 = x - v, -2*x - 4*v - 182 = -3*v. Let u = x + 15. Let h = -15 - u. Does 15 divide h?
True
Let w be (6*-1)/((-9)/((-36)/(-8))). Let p be 3 - 5 - (-6)/w. Suppose -4*d = 2*r - 380, p = 3*d - 6*d + 15. Is r a multiple of 36?
True
Let z(k) = k**3 + 32*k**2 - 2*k - 62. Let r be z(-32). Suppose 8*j + 2*a + 1064 = 12*j, 5*j = r*a + 1330. Is j a multiple of 23?
False
Let a(t) = t**3 - 98*t**2 + 849*t - 85. Is 9 a factor of a(89)?
False
Suppose 0 = 3*k - 4*y - 5317 - 991, 4*k - 8402 = y. Is k a multiple of 100?
True
Let t = -149 + 179. Does 14 divide 120*(30/50 - (-52)/t)?
True
Let t(s) = -s**2 + 5*s - 4. Suppose 2*x + 10 = 4*x. Let z be t(x). Is z/(8/(-86))*2 a multiple of 37?
False
Let i(u) = -u**2 - 14*u + 922. Is 59 a factor of i(19)?
True
Let d(t) = 51*t - 45. Let q(s) = -151*s + 136. Let p(h) = 11*d(h) + 4*q(h). Is p(-13) a multiple of 76?
True
Suppose 2*v + 1530 = 3*i + 163, 2*i = 5*v + 893. Let n = -818 + i. Let y = -190 - n. Is 11 a factor of y?
False
Let v(t) = t**2 - 2*t + 1575. Let r be v(0). Let f = 2452 - r. Suppose -5*i - 52 = -f. Is 55 a factor of i?
True
Let g(o) = 2*o + 29. Let t be g(12). Let m = t + -53. Suppose 4*x - 168 = 3*j - m*j, 5*x - 2*j = 203. Is x a multiple of 21?
False
Let t = -192 - -60. Let q = t + 212. Is 5 a factor of q?
True
Suppose -5*t - 3*t + 16 = 0. Suppose 116 = t*s - 372. Suppose -58 = 3*b - s. Does 11 divide b?
False
Let u = 342 - 338. Suppose i + 2*i - 996 = 0. Suppose 13 = -3*b - 4*s + i, 5*b + u*s = 521. Does 19 divide b?
False
Let w = 124 + -112. Suppose -3*o = -w, -5*p + 0*o + 443 = 2*o. Does 29 divide p?
True
Let r(o) be the first derivative of o**3/3 + 2*o**2 - 3*o - 13. Let j(s) = -s**2 + s. Let k(b) = -2*j(b) - r(b). Does 13 divide k(-5)?
False
Let a(f) = -5*f + 60. Let z be a(11). Let b be (-2 - -3)/(-2)*-8. Suppose -4*k - 254 = -z*d, -2*k - 208 = -8*d + b*d. Is d a multiple of 9?
True
Suppose n - 6*t + 24 = -4*t, -t - 142 = 5*n. Let v(x) = -17*x + 64. Does 45 divide v(n)?
True
Let a(p) = 51*p**3 + 8*p - 4. Does 20 divide a(2)?
True
Let c = 3 - -57. Suppose 5*k = -t + c, -t + 84 = t - 2*k. Suppose -34*h = -39*h + t. Is h a multiple of 2?
False
Suppose 22*a + 14*a - 9*a - 147528 = 0. Is 43 a factor of a?
False
Let f = -851 + 857. Suppose -4847 - 739 = -f*d. Is d a multiple of 15?
False
Let o be (17 - 9)/2*154/8. Let c = o - 37. Is 40 a factor of c?
True
Suppose -4*c - 184*r + 142208 = -181*r, r = -3*c + 106656. Is c a multiple of 88?
True
Suppose 0*g = -16*g + 80. Suppose 4*o - 466 = o - 5*v, -g*o - 2*v + 802 = 0. Is o a multiple of 6?
True
Let a be 0 - -5 - (17 + -16). Suppose -8 = -3*u + a. Is 5 a factor of u/(16/(-10))*3*-2?
True
Suppose 6 = 7*h - 4*h. Suppose -h*v = -3*j + 22, -j + 3*v + 0 = -5. Is 26 a factor of j/2 - 2 - (4 - 106)?
True
Suppose 0 = 238*v - 214*v - 9480. Is 5 a factor of v?
True
Let w = 746 + 3248. Does 40 divide w?
False
Suppose -h + 4*h = h. Suppose h = 4*q + q - 2*n, -3*n = 0. Suppose q = m - 4*o - 164, 5*m + o + 163 - 962 = 0. Is 8 a factor of m?
True
Suppose 166*z = 161*z + 950. Is 8 a factor of z/1805 - 25228/(-38)?
True
Let z = -3172 + 6671. Does 102 divide z?
False
Is 7 a factor of (61/(-183))/(1/(-5514)*2)?
False
Let g be ((-195)/312 - 6/(-16))*-12. Suppose g*q = -2*a + 249, -11 = -q - 6. Is a a multiple of 11?
False
Let h(l) = -2*l**2 - 20*l - 20. Let a be h(-9). Is (-2128)/a - (-41 - -38) a multiple of 97?
True
Let y(v) = -4*v - 21. Let g be y(-5). Let t be g*37 - (-18)/(0 - 6). Let o = t + 55. Does 2 divide o?
False
Let m(w) = 3*w**2 - 15*w - 487. Does 58 divide m(-30)?
False
Let b(r) = r**3 + 4*r**2 + 3*r + 10. Let t be b(-3). Suppose t*y + 120 = 7*y. Is ((-244)/y + 1/(-2))*5 a multiple of 4?
True
Let a(p) = -p**2 - 41*p - 60. Let d be a(-21). Suppose 806 = 3*t + 2*s, -5*s = -2*t + 190 + d. Does 10 divide t?
True
Suppose 16*q = 12347 + 8085. Suppose 1457 - q = g. Does 15 divide g?
True
Let u = 510 + 3716. Is 6 a factor of u?
False
Let u = 397 + -393. Let a(z) = -2*z**3 + 12*z**2 - 9*z. Is 4 a factor of a(u)?
True
Suppose -11*o + 10800 = -1718. Does 9 divide o?
False
Let a(g) = g + 31. Let p(x) = -x + 2. Let d(b) = -5*a(b) - 15*p(b). Is 6 a factor of d(34)?
False
Suppose q = -q - 5*m + 88, 5*m + 236 = 4*q. Suppose 8*v - 11*v + q = 0. Suppose -12*a = -13*a + v. Is 3 a factor of a?
True
Let a(b) = 167*b + 392. Is 111 a factor of a(5)?
False
Let s be (-1 - 4/(-1)) + -1 + 0. Suppose -2 = s*u - 8. Let n(d) = d**3 + 5*d**2 - d. Is n(u) a multiple of 23?
True
Let l be 9/(0 - (-5 + (-113)/(-22))). Let f = l - -210. Is f a multiple of 36?
True
Suppose -40*o -