2. Let c(f) = 6*f**3 - 2*f**2 + 5*f + 1. Let p(i) = 5*a(i) - 6*c(i). Let w be p(-3). Does 35 divide 210*w*4/24?
True
Let s(o) = 3*o**2 + 33*o + 5 + 2 - 31*o + 3*o**2. Is 39 a factor of s(6)?
False
Is 160 a factor of (429/(-26))/((-10)/16)*3880/12?
False
Let t be (-417)/5*(-29 + -2 + -4). Does 48 divide 8/(-3)*2/((-56)/t)?
False
Suppose 28*q - 51582 - 78 = 0. Does 15 divide q?
True
Let n = 6264 + -3520. Is 47 a factor of n?
False
Let n(a) = -67*a + 1. Let z(h) = -4*h + 1. Let o(g) = -n(g) + 5*z(g). Is 51 a factor of o(1)?
True
Let w(q) = 3*q**2 - q - 28. Let k(l) = l - 7. Let t be k(15). Let r be w(t). Let a = r + -60. Is a a multiple of 16?
True
Let g(o) = -o + 11. Let r be g(-3). Let j = -76 - -122. Let q = r + j. Does 12 divide q?
True
Suppose -3*q + 2*v + 11327 + 6755 = 0, 2*v - 30158 = -5*q. Is 45 a factor of q?
True
Let k(l) = -23*l - 66. Let r be k(-5). Suppose -r*b = -50*b + 115. Suppose -3*f = -2*a + b, -2*f - 3 = -9. Is 15 a factor of a?
False
Suppose 102*c - 36 = 96*c. Is ((-3)/(-2))/(c/500) a multiple of 25?
True
Is 15 a factor of (-1 - 0)*900/(-18)?
False
Suppose 0 = -3*h - 15, 5*x = -4*h + 76 + 139. Suppose 49*s - x*s = 328. Suppose -160 - s = -4*y. Is 18 a factor of y?
False
Let v be (-9 + 8 + 2)*(1 - 2). Let d(i) = 807*i**2 - i - 2. Is 13 a factor of d(v)?
True
Let k be 3 + (-1 - -5) - -5. Does 19 divide (-3)/k - (-6386)/8?
True
Suppose -7*a - 55 = -8*a. Let k be a - (-5 - (2 + -4)). Let r = k + -42. Does 5 divide r?
False
Suppose -97*r + 63*r = -56*r + 224224. Is r a multiple of 52?
True
Is 19 a factor of (-950)/(-4)*9116/530?
True
Let o be 8/(-12)*3*-1. Suppose o*k - 120 = -2*k. Is 29 a factor of 366*2*5/k?
False
Suppose -41*w + 43*w = 240. Suppose 0 = 114*h - w*h + 774. Does 5 divide h?
False
Suppose 10*s = 6*s - 80. Let p(v) = v**2 + 19*v - 2. Let c be p(s). Let o = 36 - c. Is o a multiple of 9?
True
Let y be -5*3/75 + (-5564)/5. Let i = y - -1575. Does 66 divide i?
True
Suppose 0 = 3*v - 3*t - 861, -4*v - 5*t + 647 + 483 = 0. Suppose 3*l + 3*r = v, 5*r + 183 = -10*l + 12*l. Does 9 divide l?
False
Suppose -5758 = -2*i - 2*h + 610, -5*i - 2*h = -15926. Suppose 4 = 4*s, -33*z - i = -37*z - 2*s. Is z a multiple of 25?
False
Let x(a) = 2*a**2 - 2*a + 13. Let b(y) = 3*y - 3. Let l(p) = -5*p + 5. Let f(n) = -8*b(n) - 5*l(n). Let c(r) = 5*f(r) + x(r). Is 6 a factor of c(-2)?
False
Let k(v) = 8*v**3 - 8*v**2 + 25*v - 3. Let b(w) = w**3 + 2*w**2 + 2*w + 1. Let l(c) = -6*b(c) + k(c). Is l(14) a multiple of 43?
False
Suppose 0 = 149*x - 10*x - 50040. Does 36 divide x?
True
Suppose -4*w = 5*b - 197921, -3*b + 60*w - 8475 = -126978. Is 31 a factor of b?
False
Let t(w) be the first derivative of w**3/3 - 15*w**2 - 144*w - 200. Does 9 divide t(36)?
True
Let r = -384 - -366. Let f(i) = -i**2 - 23*i - 27. Is 21 a factor of f(r)?
True
Let n be ((-16)/(-24))/(4/4596). Let p = n + -501. Is 11 a factor of p?
False
Suppose -186 = 3*n - 150. Does 23 divide (11584/192)/((-2)/n)?
False
Suppose -3170 = -f - 4*k, 4*f - 4*k = k + 12659. Is f a multiple of 29?
False
Let h = 26 - 26. Suppose h = m - 99 + 96. Suppose 83 = -v + m*v + b, 0 = 5*v + 5*b - 195. Is v a multiple of 11?
True
Suppose -123*m + 163056 = -28947. Is 10 a factor of m?
False
Let c = 823 - -1770. Is c a multiple of 43?
False
Suppose 4*a - 3*q - 209 = 0, -164 = a - 4*a - 5*q. Suppose 59*i - a*i - 594 = 0. Is 11 a factor of i?
True
Let j = -25811 - -29633. Is 78 a factor of j?
True
Let g(d) = d**3 + 2*d**2 + 2*d + 1. Let j be g(-2). Let l be j/(3 + 0) - (0 - 7). Let f(w) = 3*w**2 + 9. Does 9 divide f(l)?
True
Let d(y) = 154*y + 2. Let n(t) = -2*t**2 + 45*t - 17. Let k be n(22). Suppose k*m - 19 = -3*i - i, 0 = 2*m - 6. Is d(i) a multiple of 13?
True
Does 109 divide -12*(-5)/(-70) + 466965/35?
False
Let b = -79 + 127. Let q = b + -22. Let n = q + 89. Is 18 a factor of n?
False
Let r = -87 + 99. Let o(t) = 4*t - 59. Let q be o(r). Let a(n) = -14*n + 6. Is 40 a factor of a(q)?
True
Suppose 65*g - 60*g + 4*w - 41890 = 0, 3*g - 2*w = 25134. Is g a multiple of 71?
True
Let z(d) = 24*d - 1 - 66*d**2 + 69*d**2 - 4 - 4. Does 30 divide z(-11)?
True
Suppose 0 = -430*d + 429*d + 3. Suppose 20 + 316 = d*q. Is q a multiple of 14?
True
Is (-120)/(-80) + -17*(-1419)/6 a multiple of 10?
False
Suppose 4*u + p - 703 = 2*u, 5*p = 5*u - 1765. Let q = u - 137. Is q a multiple of 13?
False
Let r = -43 - -46. Suppose 0 = -v + 4*k + 630, 4*v - r*v = 2*k + 640. Is 9 a factor of (-1)/(4 - v/162)?
True
Suppose 2*y - 19887 = -l, 39749 = 2*l - 130*y + 129*y. Does 79 divide l?
False
Suppose 12*m - 151413 + 10869 = 0. Is m a multiple of 32?
True
Let h(a) = -a + 9. Let b be h(9). Suppose b = -5*l + 4*k + 2137, -5*l + k + 2135 = -4*k. Suppose -12*n + n = -l. Does 3 divide n?
True
Let q(x) = -x - 30. Let l = 4 - 11. Let a be q(l). Let j = -18 - a. Is 5 a factor of j?
True
Suppose 12 = 4*y - 6*y. Let m(k) = 10*k**2 - 5*k - 36. Is 15 a factor of m(y)?
False
Let k(c) = 293*c**2 + 150*c - 9. Is k(3) a multiple of 5?
False
Let a(j) be the second derivative of -j**5/20 - 13*j**4/12 - 4*j**3 - 54*j**2 + 4*j + 1. Is a(-12) a multiple of 4?
True
Suppose 4*n = -5*v - 43, 4*n = 6 + 6. Let y = v + 36. Is y a multiple of 13?
False
Is 16 a factor of 41 + 976290/84 + 2/4?
True
Let d(l) = -l**3 + 11*l**2 - l - 54. Let s be d(14). Let w = -260 - s. Is 9 a factor of w?
True
Let w be 15/(7/2*18/546). Is 13 a factor of 57830/w - 2*2/(-26)?
False
Suppose -j + 11611 + 411 = 4*z, z - 3*j - 2999 = 0. Does 72 divide z?
False
Does 9 divide ((-7724)/8 - 4)*(-280)/49?
False
Let z(b) = -3482*b + 87. Is 10 a factor of z(-1)?
False
Suppose -2*c = -h - 91594, 100*c + 5*h - 91630 = 98*c. Does 20 divide c?
True
Let w(j) = 3*j**2 + 7*j - 6. Let t be 88/(-18) - 3/27. Let c(d) = -d**2 - 6*d - 12. Let n be c(t). Is 23 a factor of w(n)?
True
Suppose 0 = -61*a + 65*a + g - 183234, 0 = 5*g - 30. Is 203 a factor of a?
False
Suppose 20*h = 21*h - 4. Suppose 0 = -h*d + 2*m + 468, 261 + 95 = 3*d + m. Is d a multiple of 9?
False
Let i be 17/(-34) + 3/((-12)/(-14)). Suppose i*r - 54 + 301 = 2*l, 3*l + 5*r = 323. Does 21 divide l?
False
Let k(o) = -10*o - 55. Let w be k(-6). Let t = w - -107. Is t a multiple of 7?
True
Suppose -4*c + 3608 + 304 = 0. Suppose 0 = -2*f - s + 3*s - 384, 4*s + c = -5*f. Let y = -86 - f. Does 11 divide y?
False
Let t(k) = 158*k**3 - 7*k + 1. Let f be t(3). Suppose -2*c - f = -5*i, 2*i + 3*c - 1577 = 110. Is 23 a factor of i?
False
Suppose 38*m - 39*m + 12034 = -3*r, 3*r = 6. Does 40 divide m?
True
Let o(w) = 4*w**3 + 2*w**2 - w + 5. Let k be -4 - 18/(-4) - 14/(-4). Is o(k) a multiple of 40?
False
Let v = -193 + 197. Suppose -v*f = 61 - 325. Is f a multiple of 26?
False
Let d be ((-54)/(-12) + -3)/((-6)/(-16)). Suppose -d*w + 0*i + 65 = 5*i, i = w - 14. Suppose -11*q = -w*q + 216. Does 6 divide q?
True
Suppose -21037 = -348*r + 370*r - 438597. Is r a multiple of 20?
True
Suppose -4*v + x = 8, x + 4 = -2*v - 2*x. Let f be v*(-1)/6*6. Suppose 76 = a - 2*d, 0 = -4*a + f*d + d + 324. Is 21 a factor of a?
True
Let s = -1521 - -2650. Suppose 4*x - 1299 = 4*g + s, 0 = -2*g - 10. Is 14 a factor of x?
True
Is 63 a factor of (-150457 - -6)*17/(-119)?
False
Suppose -17*u + 15*u = -4*k - 784, 2*k + 1592 = 4*u. Let t = u + -126. Is 7 a factor of t?
False
Let j(i) = 10*i - 62. Let m be j(10). Is 3 a factor of (8 - (5 + 2)) + m?
True
Suppose -208*d + 71*d + 972426 = 0. Is 26 a factor of d?
True
Suppose 3*c = 3*z + 70755, 94*z + 4 = 92*z. Is 7 a factor of c?
True
Suppose 6*d + 3476 = -310. Let o = -4 - d. Is o a multiple of 19?
True
Suppose 2*g = 19*g + 22*g - 96135. Does 8 divide g?
False
Does 86 divide 25 + -5 - (-234536)/38?
True
Let a(u) = -5*u - 52 + 117 - 65 + 34*u**2. Is a(4) a multiple of 68?
False
Let o be (((-13952)/24)/(-8))/((-2)/(-69)). Suppose -4*v = -a + 449, 4*v + o - 663 = 4*a. Does 15 divide a?
True
Suppose -89584 - 37586 = -22*j + 4*j. Does 15 divide j?
True
Let i be 65/30*-10*-63. Suppose -4*x + 5*h = -x - 1353, i = 3*x - h. Suppose -p - 736 = -5*j, 2*p + p - x = -3*j. Is 27 a factor of j?
False
Suppose q + 8 = 2*r - q, 2*r - 11 = 5*q. Suppose 2*o - 3*a = 0, -o - 3*a = r*o. Suppose -4*u - w + 79 = o, 5*u - 27 = -5*w + 68. Does 4 divide u?
True
Does 155 divide 37821 + (12*(-20)/150 - 6/(-10))?
True
Let q = 0 + 3. Let a be ((-2)/(-3) - (