 75 + -36. Let t(w) = v + 11*w**2 - 18 - 17 + 11*w. Is 17 a factor of t(-4)?
True
Let z(m) = -8 - 2*m + 0*m + m**3 + 8*m + 2*m + 5*m**2. Let x be z(-5). Does 8 divide ((-4)/(-3))/((-2)/x)?
True
Let n be (-4)/(-12) - (-12880)/(-30). Let f = 760 + n. Is 28 a factor of f?
False
Suppose 113*n - 43*n - 604200 = -80*n. Is n a multiple of 3?
False
Does 8 divide (-7 - -8919) + (2 - 74)/9?
True
Suppose o = 4*x - 25, -2*x + 2*o = -0*o - 14. Does 32 divide (-21)/(-63) + 766/x?
True
Suppose 4*v = 33 - 13. Let w = -7 - -112. Suppose 4*m - v*m = -w. Is 15 a factor of m?
True
Let o = -4220 + 4730. Is 2 a factor of o?
True
Suppose g = 5, 6544*g = -3*f + 6543*g + 12884. Does 53 divide f?
True
Suppose -26*c + 200 = -24*c. Let o = -101 + c. Is 7 a factor of ((-1)/o)/(-4 - (-759)/189)?
True
Let l = 5041 + -3901. Does 10 divide l?
True
Let z(g) = -12*g**2 - 59*g**3 - 5*g + 10 + 34*g**3 + 24*g**3 - 2*g. Suppose u - 24 = 3*u. Is z(u) a multiple of 21?
False
Suppose -3*l + 3*g + 270 = 0, 2*l = -g + 57 + 111. Let b = -61 + l. Is 18 a factor of (b*3 - 1)/(-3 + 5)?
False
Let f(l) = 2*l**3 + 2*l**2 - 7*l + 28. Let m be f(6). Let c = -445 + m. Does 7 divide c?
False
Suppose -21*k - 1377 = 576. Let n = k + 165. Does 24 divide n?
True
Suppose -162 = -15*f + 6*f. Let t = -14 + f. Suppose -t*v - 144 = -2*h + h, 5*v = -h + 144. Is h a multiple of 24?
True
Let v(l) = -252*l - 7. Let u be v(-2). Let s = u - 92. Is s a multiple of 10?
False
Let q be (3 + -1)*(-6)/(60/(-25)). Suppose 0 = t + q*s - 46, -3*s = 4*t - s - 256. Is 6 a factor of t?
True
Let s = 75 - 83. Is (-8)/18 + (-11180)/(-45) + s a multiple of 40?
True
Let n = -77 - -84. Suppose 0 = -n*i + 723 - 261. Is i a multiple of 32?
False
Let t(s) = 4*s + 2. Let g(v) = v - 1. Let x(d) = -3*g(d) + t(d). Let z be x(-12). Let w(y) = y**3 + 7*y**2 - 6*y - 22. Does 13 divide w(z)?
False
Suppose -19*c - 4*r - 428 = -17*c, -5*r + 235 = -c. Let z = c - -343. Does 49 divide z?
False
Let y(l) = 8978*l - 3992. Is y(4) a multiple of 20?
True
Let s be 1 - 120/136 - 249/(-51). Suppose -339 = -4*c - s*k, 0*k - 417 = -5*c - 4*k. Is c a multiple of 9?
True
Let s = -394 + 396. Suppose -s*f = g - 35, 17*g - 14*g + 2*f - 113 = 0. Is g a multiple of 2?
False
Is 1097026/(-1397)*(-22)/2 a multiple of 84?
False
Let q = -4 - -4. Suppose -3*c + 2*u + u + 21 = q, 0 = 5*u + 25. Suppose -5*g + 5*x = 3*x - 393, -4*g = -c*x - 314. Is g a multiple of 15?
False
Let c(s) = 396*s**3 - 8*s**2 + 57*s - 247. Is 4 a factor of c(4)?
False
Suppose 48*m + 4164 = -20700. Suppose y - 5*y + x = -27, 2 = 2*x. Is 14 a factor of 1/4*-2*m/y?
False
Suppose 6*d - d = -55. Let s be 0 - d - (-11 - -8). Suppose -4*a - 400 = -s*a. Does 2 divide a?
True
Let a(q) = q**3 - 44*q**2 + 41*q + 139. Let b be 471/11 + (-92)/(-506). Does 16 divide a(b)?
False
Let v = 286 + -284. Suppose -6*o + 9*o - 1651 = v*z, 4*z - 1106 = -2*o. Is o a multiple of 9?
False
Let x = 40 + -36. Suppose -3*l = j - 9, -l = -x*j + 3*j - 3. Suppose l*a - 292 + 67 = 0. Is a a multiple of 15?
True
Suppose 3*b + 3*q = b + 16, -b - 5 = -5*q. Let y be 219 - (6 + 2 - 1). Suppose -y = 3*d - b*d. Is 5 a factor of d?
False
Suppose -q + 8 = 3*q. Suppose -q*b = 3*b - 2*h - 103, 2*b = -3*h + 45. Suppose b*y = 3*y + 2376. Is y a multiple of 9?
False
Let g(x) = -74*x**2 - 4*x + 23. Let l(m) = 26*m**2 + 2*m - 8. Let f(w) = -3*g(w) - 8*l(w). Let c(i) = -i**2 - 4*i - 2. Let h be c(-4). Is 16 a factor of f(h)?
False
Let j be (-5)/(-10)*(-808)/(-4). Suppose j = 4*p - 91. Let h = p - -147. Does 15 divide h?
True
Suppose -32 = -l + 6*l + 4*y, 2*l + 23 = -5*y. Let j be l + (44 - 15/(-3)). Let x = -29 + j. Is x even?
True
Suppose -5*j - 12735 = -35*n + 34*n, -5*j - 35 = 0. Does 8 divide n?
False
Suppose -6*p + 2*p + 25880 = 0. Suppose -8*d + 13*d = p. Suppose -14*z = -162 - d. Is z a multiple of 13?
True
Suppose 0 = -3*m - 9, -m - 28 = 4*f - 5*m. Does 30 divide 10*(-4)/f + 290?
False
Suppose 458 + 1102 = -26*r. Does 18 divide (r/(-9))/(-4 - 110/(-27))?
True
Let x(f) = f - 31. Let z be x(-11). Let v = z + 39. Is 3 a factor of ((-4)/v)/((-12)/(-54))?
True
Let y(u) = -u**3 - 16*u**2 + 609*u. Does 19 divide y(-34)?
False
Suppose -89*z - 156989 + 3225976 = 0. Is 13 a factor of z?
False
Suppose 2*x + 3 = 2*c - 25, 0 = -2*x + c - 32. Let l(p) = p**3 + 17*p**2 - 17*p + 31. Let f be l(x). Suppose -f*q = -10*q - 33. Is 4 a factor of q?
False
Suppose 11*y + y - 84 = 0. Suppose 0 = y*f + 37 - 93. Suppose -164 = f*p - 12*p. Is p a multiple of 9?
False
Suppose -4*k = -12*k + 2000. Suppose 2*r - 172 = k. Suppose 6*y - r - 311 = 0. Is y a multiple of 15?
False
Does 9 divide (7 - 9) + 3836 + 8?
False
Suppose -x + r = -196, 0*r - 5*r - 779 = -4*x. Let f = -32 + x. Does 13 divide f?
True
Let r be 1*((-3)/6)/(8/(-16)). Is (0 + r)*152/((-4)/(-1)) a multiple of 2?
True
Let n(a) = -67*a + 5. Let s be n(1). Let x = 66 + s. Is 8 a factor of x/(-28) - 422/(-14)?
False
Is (55/(-198))/(5/(-3)) - (-49460)/24 a multiple of 9?
True
Let k(m) be the second derivative of 0 - 22*m - 4*m**2 + 13/6*m**3. Is k(3) a multiple of 17?
False
Suppose 267*a = 221*a + 217074. Does 84 divide a?
False
Suppose 9*q - 21 = -138. Let g(s) = -2*s**3 - 23*s**2 - 20*s - 21. Is g(q) a multiple of 44?
False
Suppose 0 = -10*q + 3470 + 220. Let w = q + -63. Is 18 a factor of w?
True
Suppose 17*b - 607 = 940. Is 60 a factor of b - (0 + 2) - -3?
False
Let y be (4/(-8))/(4/(-108528)). Suppose 0 = 8*c + 11*c - y. Does 9 divide c?
False
Let a(m) = 3*m**2 - 3*m + 12. Suppose 26 - 32 = x. Let j be a(x). Suppose 822 = 9*r + j. Does 10 divide r?
False
Let r(b) = b**3 + 23*b**2 - 57*b - 16. Let d be r(-25). Let z = d - 60. Is z even?
False
Let c = 24551 - 10663. Does 8 divide c?
True
Let b(y) = 7*y**3 - 27*y**2 + 50*y + 12. Let t(g) = 3*g**3 - 13*g**2 + 24*g + 6. Let a(z) = 4*b(z) - 9*t(z). Is a(4) a multiple of 4?
False
Suppose -3*t + 261 = 2*q, -3*q - 7*t = -4*t - 387. Suppose 6170 = q*h - 121*h. Is h a multiple of 8?
False
Let p(w) = 3*w**2 - 4*w. Let g be p(3). Suppose r - g = -2*c, 2*r - 5*c + 31 = 70. Suppose 0 = -2*f - 3*h + 76, 4*h + r = -f + 45. Is f a multiple of 14?
False
Let z(b) = 4*b - 21. Let v be z(13). Let f = v + -11. Let k = 15 + f. Does 26 divide k?
False
Let b(j) = -2*j**3 + 5*j**2 - 8*j - 15. Let x be b(-4). Suppose 3*c + x = 930. Is 22 a factor of c?
False
Suppose -22*k + 39*k - 357 = 0. Is 2 a factor of k?
False
Suppose -55*r = -1373637 + 56937. Does 95 divide r?
True
Suppose -2*l + 166 = f + 2*f, 0 = 3*l - 3*f - 249. Let r = l - -2. Is ((-2)/15 - r/(-75)) + 9 even?
True
Let r(j) = 2863*j**3 - 4*j**2 + 11*j - 8. Does 27 divide r(1)?
True
Suppose -59762 = -4*v - d, -12*d + 9*d + 6 = 0. Is v a multiple of 15?
True
Let m(s) = 34*s - 28. Let y be m(3). Let n = y - -169. Is n a multiple of 9?
True
Let a be (-2 - 13)/3 + 8. Let y be (a - (9 + -3)) + 16/2. Suppose y*o + 87 = 1002. Does 39 divide o?
False
Suppose 46*i = 47*i - 20. Suppose 10 = -i*h + 290. Is h a multiple of 7?
True
Let y = -317 - -589. Suppose 3*i - 828 = -3*z, i + z = 4*z + y. Let r = 429 - i. Is r a multiple of 13?
False
Suppose 0 = -389*j + 14074212 + 1340691. Is 16 a factor of j?
False
Let y(a) be the third derivative of a**4/12 - 9*a**3/2 + 15*a**2. Let v be y(17). Suppose -11*g + 220 = -v*g. Is 14 a factor of g?
False
Suppose 0 = 4*t - 5*j - 6586, 23*j = 21*j - 4. Does 137 divide t?
True
Let g(l) = -5*l**3 - 74*l**2 - 21*l - 28. Is 38 a factor of g(-20)?
True
Let g(w) = -42*w + 31. Let p be g(-18). Suppose 0 = -2*a + 3*o + 2*o + p, -3*a - o = -1189. Is 44 a factor of a?
True
Let z(s) = 226*s**2 - 73*s + 1016. Is z(14) a multiple of 206?
True
Let k be -2 + 3 + 2/(-2). Suppose 11*y = -k*y + 3784. Is 16 a factor of y?
False
Let j(x) = -x + 5. Let b be j(-7). Suppose -3*p = -5*k - 7, -2*p - k + b = 3*k. Suppose -4*y + 0*g - p*g = -248, 96 = 2*y - 5*g. Is 4 a factor of y?
False
Let r = -95 - -110. Suppose m + 4928 = r*m. Let q = m + -188. Is q a multiple of 8?
False
Suppose -2*b - 30 = -7*b. Let i(y) = -y**3 + 8*y**2 - 12*y + 3. Let u be i(b). Suppose -u*p + 70 = -p. Is p a multiple of 7?
True
Let a(z) = 197*z - 68*z - 81*z. Is 12 a factor of a(1)?
True
Let z(q) = -q**2 - 2*q + 4. Let x be z(0). Suppose 2*f = x*k - 40 - 16, 0 = 5*k + 3*f - 81. Does 8 divide 3/k + (-398)/(-10)?
True
Let a be (1316 - 1) + (8 - 4 - -