the second derivative of q**4/6 + 11*q**3/6 - 11*q**2/2 + 2*q + 19. Is s(p) a multiple of 7?
False
Let p = 2739 - -4063. Is 179 a factor of p?
True
Let q = -638 + 1471. Let p = q + -13. Is 114 a factor of p?
False
Let w(m) = -2*m**2 - 37*m - 97. Let o be w(-12). Suppose 0 = 23*u - o*u + 2844. Is 2 a factor of u?
False
Suppose -10968 = -3*l - 4*s, -4306 = -l - s - 651. Is 26 a factor of l?
False
Suppose -940680 = -3*h - 42*h - 150*h. Is 87 a factor of h?
False
Suppose 6233 = 12*m - 5383. Let l = -368 + m. Is l a multiple of 20?
True
Let b = 76 - 73. Suppose 0*t + t - 5*r = -24, 2*r + 72 = -b*t. Does 38 divide 165 + 2 + 0 + t/(-8)?
False
Does 49 divide (2 + -2 + 301)*(3 + -13 + 17)?
True
Let d(b) = -3*b**2 - 34*b - 86. Let t be d(-16). Let y = -291 - t. Is y even?
False
Let p = -8446 - -14881. Is p a multiple of 55?
True
Suppose 0 = 2*q + 4*q - 138. Suppose 24*i - 45 = q*i. Let p = -34 + i. Is 3 a factor of p?
False
Let l = 6296 + -4916. Does 15 divide l?
True
Is ((-66)/(-4))/(-16 - -12 - 19315/(-4828)) a multiple of 66?
False
Let g = -732 + 732. Suppose g = 5*f - 9*f + 4524. Is 29 a factor of f?
True
Suppose 0 = -13*y - 13, 3*h = -5*y + 4926 + 3004. Is 21 a factor of h?
False
Let z = 99 - 75. Suppose 0 = -18*a + z*a - 1752. Is 21 a factor of a?
False
Let l(v) = 6*v**2 - 45*v + 225. Is l(24) a multiple of 5?
False
Suppose -11*m + 8*m + 27 = 0. Suppose 5 = -h, -h + 28 = 3*q - 0*q. Suppose 8*y + q = m*y. Is 2 a factor of y?
False
Suppose 0 = 57*y - 6311360 + 2235518. Is y a multiple of 12?
False
Let k = 56 + 18. Let p(b) = -129*b**3 + b**2 - b - 1. Let s be p(-1). Let l = s - k. Is 14 a factor of l?
True
Let g = -48 + 94. Suppose -5*k + 118 = -3*o, -o - 16 = 4*k + g. Let i = 54 - o. Is i a multiple of 10?
True
Let s be (-27)/9 - -30 - (-1 - -4). Let g = 144 - s. Let u = g + -92. Is 3 a factor of u?
False
Suppose -3*v + 6 = 0, -3*z - 4*v = -0*v - 329. Let r = 160 + z. Let x = 389 - r. Is x a multiple of 11?
False
Suppose s - 640 = 2*n - 35, -3*n = -3. Does 55 divide (-8)/((-8)/s) + -2?
True
Let r(x) = 2*x**3 + 8*x**2 + 15*x + 49. Let g be r(-8). Is 100/250 + (-2)/10*g a multiple of 19?
False
Suppose -5*w + 4 = -3*w. Suppose 3*g - 5 = w*g - 3*t, 2*g - 2*t = 2. Suppose 5*j + 138 = c, -g*c = 2*j - 84 - 180. Does 19 divide c?
True
Let g(c) = -41*c**2 - 10*c + 6. Let x be g(-6). Let r = -996 - x. Does 69 divide r?
True
Let t(i) = i + 25. Let s be t(8). Suppose -s*d + 25*d = 40. Does 22 divide (-20)/(-25) + (-546)/d?
True
Suppose -21 = -8*l + 27. Let q(x) = 179*x - 54. Does 20 divide q(l)?
True
Suppose 4*r = -3*g + 124923, -6*r + g = -4*r - 62479. Is r a multiple of 137?
True
Let o = -26134 + 29676. Does 7 divide o?
True
Let k(r) = -r**3 + 6*r**2 + 6*r + 3. Let j be k(7). Let u be 7 + j/26 + (-121)/143. Suppose -2*n + 5*g = -u*n + 204, -272 = -5*n - 2*g. Is n a multiple of 5?
False
Let k = 93 + -88. Let b(a) = -a + 8. Let v be b(k). Suppose 0 = -v*y - 25 + 133. Does 9 divide y?
True
Let j = 140 - 167. Let o = 27 + j. Is 28 a factor of o*1/3 + 187?
False
Let a(l) = 78*l**2 + 174*l + 76. Does 9 divide a(-11)?
False
Let s(t) be the first derivative of -t**5/20 - 13*t**4/12 - 7*t**3/6 + 35*t**2/2 + 42*t + 20. Let a(g) be the first derivative of s(g). Does 18 divide a(-13)?
True
Suppose 0 = -66*g + 71*g - 1565. Suppose 25 = 2*k - g. Is 7 a factor of k?
False
Let c(v) = 4*v**3 - 722*v**2 - 319*v - 343. Is c(181) a multiple of 16?
True
Let u = 263 - 260. Suppose -v + 6*v - u*i - 1751 = 0, -2*i = 3*v - 1062. Does 8 divide v?
True
Let k(c) = -c**3 - c**2 - 4*c - 3. Let v be k(-3). Let q = v + -25. Suppose -2*u = -4*r - 246, -q*u + 136 = 4*r - 110. Is u a multiple of 34?
False
Suppose 642*o - 9856 = 610*o. Is 3 a factor of o?
False
Let b = 113 + -109. Let t(l) = -l**3 + 6*l**2 - 9*l + 4. Let m be t(b). Suppose 4*u - 5*u + 3 = m. Is u even?
False
Let r(z) = -12*z**2 - 6*z - 69. Let m be r(-8). Let i = m + 1167. Is 7 a factor of i?
True
Let p(o) = -2482*o**3 - o**2 + 11*o + 24. Is p(-2) a multiple of 8?
False
Suppose 19*y - 21*y = 0. Suppose -6*h + 7*h + s = 108, 3*h - s - 344 = y. Is h a multiple of 14?
False
Suppose 4*b + 3*m = 428, -2*m - 69 - 49 = -b. Let r = 380 - b. Is 15 a factor of r?
True
Suppose 10*c + 388 = 6*c. Let z = c - -147. Is z a multiple of 5?
True
Does 22 divide ((-3029)/4 - 1)*152/(-114)?
False
Suppose 2*m = 5 - 13, 3*a = m + 16. Suppose -g + 23 - 231 = -a*y, -5*y + 249 = -4*g. Is 53 a factor of y?
True
Suppose -11*f = -7*f - 1996. Suppose -3*g + 5*g - 4*y - 484 = 0, -y - f = -2*g. Does 49 divide g?
False
Let m(f) = -42*f + f**2 + 67*f + 24 + 81 - 53*f. Is 22 a factor of m(25)?
False
Let i(h) = -h**2 - 47*h + 141. Let b be ((-2460)/(-8))/(-15)*2. Is 43 a factor of i(b)?
True
Let n = 266 - 144. Let s = 35 + n. Does 15 divide s?
False
Suppose z - 4*i - 143 = 0, -4*i = 76 - 92. Is 3 a factor of z?
True
Suppose 56*l - 4680 = 50*l. Does 12 divide l?
True
Let q(m) = -21*m**2 - 23*m - 5. Let d(i) = -25*i**2 - 23*i - 4. Let x(g) = 5*d(g) - 6*q(g). Let k(l) = 7*l**2 + 1. Let z be k(1). Is x(z) a multiple of 19?
False
Let c = -74 - 32. Suppose 0 = 2*h - 3*s - 330, 5*s + 658 = 17*h - 13*h. Let p = h + c. Is p a multiple of 10?
False
Is 66 a factor of ((629/(-37))/34)/(-1 - 32099/(-32100))?
False
Suppose -2*p + 1248 = 2*f, -2*f = -17*p + 18*p - 1240. Does 8 divide f?
True
Suppose -57*k - 20*k + 1073590 = -28*k. Does 14 divide k?
True
Suppose 57*z - 59054 = 106873. Does 68 divide z?
False
Let p be (19 - 4) + (-1 + -1 - 0). Suppose -p*i + 12*i = -42. Does 4 divide i?
False
Let h(g) = 62*g + 127. Let r be h(4). Suppose -10*s + 15*s = 4*w - r, -5*w = 4*s - 520. Does 4 divide w?
True
Let l be 152/(-32) + (-1 - 0)/4. Let v(b) = 8*b**2 - 5*b - 5. Let d be v(l). Is 17 a factor of (d/165)/(1/306*2)?
True
Let s = -4440 + 19309. Does 25 divide s?
False
Let p(i) = 340*i**2 + 10*i + 174. Is 196 a factor of p(-5)?
True
Does 50 divide 134938/29 - (-44)/(-1276)?
False
Suppose -2*b + 5*b + k = 27, 3*b - 3*k = 15. Does 60 divide 7*b - (-7 - -3)?
True
Suppose -2*n - 6*r + 14414 = -9*r, 30 = -5*r. Is n a multiple of 22?
False
Let k = -13 + -5. Let g = 46 + k. Suppose -g = -2*u + 20. Is u a multiple of 10?
False
Let f(n) = -3*n**3 + 2 - 7*n**2 + 3872*n - 3 - 3895*n. Is f(-4) a multiple of 21?
False
Suppose -6*w + 1124 = -2*w. Suppose 11*o - 12*o + w = 0. Suppose 2*k + 295 = 5*d + 7*k, 4*d - 5*k = o. Does 16 divide d?
True
Let o = 3 + -10. Let p(b) = -b + 1. Let n(r) = -23*r - 12. Let a(d) = n(d) + 2*p(d). Does 40 divide a(o)?
False
Suppose -62*x + 31*x = -16699 - 64397. Is x a multiple of 79?
False
Suppose 17*a - 53648 = 46992. Does 16 divide a?
True
Let f be ((-120)/(-36))/(-1 - 308/(-300)). Suppose 0 = 116*z - f*z + 2916. Is 6 a factor of z?
True
Is (10344/10 - -4)/(48/120) a multiple of 44?
True
Does 6 divide (-3502)/(-4) + (-20)/280*-7?
True
Let q(t) = -27*t - 7. Let u be q(-1). Suppose -1022 + 21422 = u*i. Does 10 divide i?
True
Let o = 6510 + -4847. Is 4 a factor of o?
False
Let m = -5148 - -5172. Is m a multiple of 3?
True
Let g be 5 - ((-6 - -13) + -5). Suppose g*u - 65 = 250. Is u a multiple of 17?
False
Let g = -11265 + 30701. Does 40 divide g?
False
Suppose -t + 371 + 758 = -11. Is 30 a factor of t?
True
Let u = -603 + 1107. Let q = u - 292. Is 17 a factor of q?
False
Suppose 4*f - 3*m - 732 = 0, -3*f = 21*m - 19*m - 549. Let d = f - 138. Is 2 a factor of d?
False
Suppose 0 = -36*g + 29*g + 1204. Suppose -226*m = -222*m - g. Is 40 a factor of m?
False
Let a(i) = -6*i - 12. Let r be a(-5). Let v be 68/r - (-32)/144. Is 9 a factor of ((-4)/3)/(v/(-54))?
True
Let p = 5 + -5. Suppose f = -p*f + 12. Suppose -13 + 1309 = f*n. Does 6 divide n?
True
Let l(u) = 3*u**3 + 125*u**2 + 97*u - 94. Is 70 a factor of l(-30)?
False
Is 7 a factor of -12 + 0 + (814 - 144)?
True
Let r be (-66)/8 - 12/16. Let o(b) = -37*b - 9. Let g be o(r). Let c = -116 + g. Is c a multiple of 16?
True
Suppose -18 = -r - 2*t, -r + 4*t - 4 = 8. Let f be ((-257)/(-2))/(r/32). Suppose 494 = 4*d - f. Does 18 divide d?
True
Is 2 a factor of -83*161/(-6 - 1)?
False
Suppose 6*a = a - 5*t + 107360, 15*t - 107350 = -5*a. Does 18 divide a?
False
Suppose -33*t = 5*s - 37*t - 47762, 0 = -4*s - t + 38239. Is 118 a factor of s?
True
Let n(b) = -38*b - 537. Let k be n(-14). Let u = -4 - 1. Is 4 a factor of k + 62 