
Let q(z) = -3 + 5*z**3 + 25*z**2 - 4*z**3 - 32*z**2 + 8*z - 4. Let i be q(6). Suppose 0 = i*y - 209 - 111. Does 32 divide y?
True
Let a(n) = n + 6. Let f be a(-7). Suppose -34 + 10 = -6*g. Does 4 divide (-8 + g)*(f + -1)?
True
Let v(l) = l**3 - 2*l**2 - 6*l - 3. Let r be v(4). Suppose 11*j = r*j + 2160. Does 45 divide j?
True
Suppose 8*g + 85 = 13*g. Suppose 0 = -4*m - x - 56, 4*m + g = 5*x - 15. Let q(j) = j**2 + 10*j - 15. Is q(m) a multiple of 6?
True
Let z be 2 + 5*(-5)/5. Let f(h) = -11*h**3 - 8*h**2 - 23*h - 10. Let x(u) = 4*u**3 + 3*u**2 + 8*u + 3. Let r(m) = 3*f(m) + 8*x(m). Does 9 divide r(z)?
True
Let k = 14 - 18. Let l(j) = -4*j - 12. Let v be l(k). Suppose -v*z - 16 = 0, -2*w - 2*w + 168 = 3*z. Does 9 divide w?
True
Let t(c) = 5*c - 2. Let s(x) = -x**3 - 7*x**2 + 8*x + 1. Let n be s(-8). Let k be t(n). Suppose 66 = -k*y + 6*y. Is 7 a factor of y?
False
Suppose 23*h - 13*h = 0. Suppose 86 = 2*c - 2*t, h*c + 166 = 4*c - t. Does 3 divide c?
False
Let k be 1*9*(3 + -2). Suppose 0 = -5*l + k*l - 156. Is l a multiple of 13?
True
Let u = 18 + -14. Suppose 0 = -y - 1, u*l - 15 = 4*y - 5*y. Is 2 a factor of l?
True
Let y = 6 + -4. Let w(z) = z**2 - 7*z + 8. Let x be w(6). Suppose 4*b - 52 = -y*c + 2*b, 0 = -x*c + 3*b + 37. Does 22 divide c?
False
Suppose 6*k - 3*k - 123 = 0. Suppose -1 - k = -i. Is i a multiple of 14?
True
Suppose -5*g + 23 = -s, g - 5*g + 2*s = -22. Suppose t - 3*r + 126 = g*t, 2*t - 5*r = 56. Is 19 a factor of t?
True
Let m = -6 - -10. Suppose 2 = h + m. Is 9 a factor of 2 - (-34)/(h + 3)?
True
Suppose 5*f - 62*q + 66*q = 1370, 1105 = 4*f + 5*q. Is f even?
True
Suppose 5*j = -4*l + 37, -4*l - l + 40 = 5*j. Let v = -2 + 3. Suppose -f - v = 3*y, 4*y - 12 = -f - l*f. Is f a multiple of 5?
True
Let p(i) = -i**2 + 32*i - 84. Is p(20) a multiple of 39?
True
Let d = -286 + 447. Is 16 a factor of d?
False
Suppose 3*o - 24 = -0*o. Let h be -249 - (o - 4)/2. Let x = -173 - h. Is x a multiple of 26?
True
Suppose 2*l + 665 = 5*t + 5*l, -4*l + 524 = 4*t. Is t a multiple of 50?
False
Suppose 2*z = -2*i + 8, 0 = z + 5*i - 33 + 9. Let c = 1 - z. Suppose -2*y + 361 - 23 = 5*f, c*f - 3*y - 120 = 0. Is f a multiple of 17?
False
Let k(x) = -2*x**3 + 17*x**2 - 36. Does 10 divide k(8)?
False
Let h(n) = n**3 + 12*n**2 + 7*n + 5. Suppose -4*j + q + 4256 = -3*q, 0 = -5*q. Let b be j/(-95) - 1/(-5). Is h(b) a multiple of 16?
False
Let s = -10 + 10. Suppose -4*t - v = -353, s*t - 5*v = -t + 83. Does 13 divide t?
False
Suppose -5*r - 15 = 0, 0 = -3*a + 3*r - 6*r + 81. Suppose 0 = 2*l - a - 148. Does 8 divide l?
False
Suppose -2*c = 3*t - 61, -4*c + 82 + 42 = 4*t. Suppose 0 = 4*s - 40 - c. Is 9 a factor of s?
True
Let z = 9 + -63. Let r be -1*((-12)/(-4) - z). Let k = r + 132. Does 29 divide k?
False
Suppose -5*l = -0*l. Suppose l = y - 4*y + 78. Suppose -y - 2 = -2*i. Is 6 a factor of i?
False
Let s be (4/(-5))/(6/(-360)). Is 15 a factor of (2 + 0 + -22)*s/(-64)?
True
Let v = 8 - -154. Does 18 divide v?
True
Let p = 254 - -13. Suppose p = y + 2*y. Does 21 divide y?
False
Suppose 4*n - 25 - 67 = 0. Suppose -17 = 2*x - n. Does 3 divide x?
True
Suppose -4*w - 4080 = -4*n, 5*n + 3*w - 4606 = 494. Is 6 a factor of n?
True
Suppose m = 3*w - 7, -2 = 4*w - 5*m - 4. Suppose 3*r - 187 = -l + 2*l, w*l + 246 = 4*r. Is 16 a factor of r?
False
Let j(n) be the first derivative of -n**4/4 + 4*n**3/3 + 2*n**2 + 2. Let s(h) = -h**2 + h + 4. Let i be s(0). Does 16 divide j(i)?
True
Let q(p) = 6*p**3 + 16*p - 50. Does 53 divide q(7)?
True
Suppose -3*w - 5*u + u + 133 = 0, 0 = w - 2*u - 61. Suppose -2*r + 37 = -m, 4*m = 4*r - w - 21. Let k = r - -11. Is 30 a factor of k?
True
Let n = 183 + -109. Suppose 3*f = n + 10. Is 7 a factor of f?
True
Suppose 0 = -2*t - 7*t + 711. Is t a multiple of 10?
False
Let o be 0/(-4) + -2 + 55. Suppose j + 40 = -5*u - 9, -5*u - o = 2*j. Let f = -4 - u. Does 5 divide f?
True
Suppose 0 = 7*z + 502 - 2427. Is z a multiple of 25?
True
Let v(o) = 36*o + 319. Is v(0) a multiple of 11?
True
Let d(m) = -31*m + 33. Let w be d(4). Is ((-2)/7)/1 + (-1027)/w a multiple of 2?
False
Let s(q) be the first derivative of -q**4/4 + q**3/3 - q**2 - 4*q + 10. Does 21 divide s(-4)?
True
Let g = -817 + 1213. Does 7 divide g?
False
Suppose 2*q + 2*o - 472 = 0, -2*o = -0*q + 3*q - 706. Is q a multiple of 18?
True
Let g = 261 + -232. Does 13 divide g?
False
Suppose 528 = 88*v - 86*v + 2*s, -4*v + 1044 = s. Is v a multiple of 15?
False
Suppose 4*j + 8 = 0, -3*j - 6 = -2*s - 2*s. Suppose -2*c + c - 1 = s, -3*a + 398 = -2*c. Does 22 divide a?
True
Let j = -897 - -1012. Is j a multiple of 2?
False
Suppose 2*f + 5 = 3*f. Let w(o) = 2 + 7*o + 3*o + 0*o - 4 - 6*o. Is w(f) a multiple of 6?
True
Let f(s) = 3*s - 3*s + 9 + s. Suppose 0 = -5*d + 2*d + 21. Is f(d) a multiple of 10?
False
Does 8 divide 4 - ((-13)/((-65)/10) + -404)?
False
Is 6 a factor of -47*(-1 - (-25)/5 - 5)?
False
Suppose -5*y - 2 - 3 = 0. Let k(q) = -q**3 + 2*q**2 + q. Let r be k(y). Suppose 3*l - r*l = 36. Does 11 divide l?
False
Suppose 2*r - 4*r - 5*b + 1186 = 0, -r - b + 596 = 0. Is 13 a factor of r?
True
Is (-2752)/(-224) - (-4)/(-14) a multiple of 2?
True
Suppose -7*g - 11 = 3. Does 11 divide (31/g)/((-6)/12)?
False
Suppose 33 = -4*i - 55. Is 19 a factor of 6*(4 + i/(-4))?
True
Suppose 0 = k - 4, 40 = 2*o + 2*k - 4*k. Suppose 0*n = -4*n + o. Is 3 a factor of n?
True
Let h(q) be the second derivative of 29*q**3/6 - q**2 + 32*q. Is h(2) a multiple of 14?
True
Let v(b) = 0*b + 4*b + 3 - 3*b. Let k be v(0). Suppose -1 - 17 = -k*a. Is a a multiple of 6?
True
Let s be (-158)/(-18) - 18/(-81). Suppose -s*y + 12*y = 9. Is y even?
False
Let q be 0 + 1 - (-137 - -9). Suppose q = 4*y - 11. Let o = -5 + y. Is 15 a factor of o?
True
Let f(w) = -438*w - 181. Is f(-3) a multiple of 8?
False
Suppose 44 = -2*i + 32. Does 14 divide 2 + i*40/(-6)?
True
Suppose 34 - 94 = -10*z. Let p(b) be the first derivative of 7*b**2/2 - 18*b - 2. Does 6 divide p(z)?
True
Suppose -7*l = -2*q - 5*l + 308, -4*l - 466 = -3*q. Is 10 a factor of q?
True
Let k be (-2*4/24)/(1/(-6)). Suppose -6 + 18 = 2*q. Suppose q*w = 3*w + 15, -k*g + 135 = w. Does 11 divide g?
False
Let r(o) = 12*o + 3. Let v be r(2). Suppose -4*y - 2 = -2*d, 3*d - 5*d - y = -v. Is d a multiple of 11?
True
Is (-5)/3*1554/(-70) a multiple of 7?
False
Let u be 5/(-20) - (-1)/4. Suppose -9*d + 6*d + 12 = u. Is d a multiple of 2?
True
Suppose -p + 8 = 3*p. Suppose 4*x = 4*c, -3*c = p*c + 4*x - 18. Is 7 a factor of 54/c - (2 + -4)?
False
Let d = 1441 + -1000. Is d a multiple of 26?
False
Suppose 4*c + 2*o - 2890 = 0, -4*c + 4*o - 3*o = -2875. Is c a multiple of 18?
True
Let c(w) = -7*w - 61. Let o be c(-9). Suppose 4*p = -b - 0*b + 44, o*b + 3*p = 93. Is b a multiple of 8?
True
Let m be (-8 - -1)/(2/28). Let w = -41 - m. Is w*((-30)/(-9))/5 a multiple of 19?
True
Suppose -17*k + 3220 = -12*k + 3*p, -5*k - p = -3220. Is 46 a factor of k?
True
Let t = 27 + -38. Let i(y) = 4*y + 64. Is i(t) a multiple of 4?
True
Suppose -2*z = -2*n + 414, n + 5*z - 141 - 48 = 0. Is n a multiple of 6?
True
Suppose -18 + 114 = -4*z. Let u be (-1 - (-1)/(-1))*z. Suppose 2*m - 120 = -u. Does 12 divide m?
True
Let x(i) = 13*i - 9. Let q be x(-2). Let o = q - -90. Is o a multiple of 12?
False
Suppose 4*c - 88 = 2*c + 3*i, -130 = -3*c + 4*i. Is c a multiple of 10?
False
Let b(j) = j**2 - 7*j - 6. Let t be b(-4). Let a(z) = -20*z + t*z - 4 - 1. Is 27 a factor of a(3)?
False
Suppose 3*q = 4*k + 1664, -739 = -3*q - k + 900. Is q a multiple of 9?
False
Is 1/(-2*(-3)/(-6))*-1027 a multiple of 30?
False
Suppose -5*q - 4*v = -5*v - 829, -170 = -q - 4*v. Is q a multiple of 11?
False
Let t(m) = -3*m**2 + 6*m - 2. Let n(g) = g**2 - g + 1. Let f(o) = 6*n(o) + t(o). Let c be 44 + -40 + (1 + -2 - -1). Is 13 a factor of f(c)?
True
Let r(j) = j**3 + 4*j**2 - 4*j + 7. Let d be r(-5). Let g(v) = 51 + d*v - 3*v - 50 + 38*v**2. Is g(-1) a multiple of 11?
False
Let j = 326 + -302. Does 6 divide j?
True
Let f(o) = -o**3 - 6*o**2 - 6*o + 18. Suppose 6*g - 3*g + 22 = -l, -5*g - 25 = 0. Is 16 a factor of f(l)?
False
Let f(m) = 7*m**2 + 1. Let d be f(-1). Does 13 divide 124/(-2)*d/(-16)?
False
Suppose -36*t + 153*t - 209079 = 0. Is 131 a factor of t?
False
Let w(t) = 378*t**3 + 5*t**2 - t - 1. Is 4 a factor of w(1)?
Fa