3*u + 44 = u. Let j = u - -39. Is j a multiple of 10?
False
Let p(a) = 3*a**2 + 9*a - 29. Does 14 divide p(8)?
False
Suppose -13 - 15 = 4*i. Is 16 a factor of 357/i*(0 + -1)?
False
Let l(k) = 2*k**2 + 4*k - 2. Let d be l(-8). Let t = d - 50. Is 19 a factor of t?
False
Let y = 48 - 146. Let b = 197 + y. Is 32 a factor of b?
False
Let h(r) = r**2 + 2*r - 3. Let z be h(-3). Suppose z = 5*t - 4*t - 60. Suppose -10*s = -8*s - t. Does 14 divide s?
False
Let g be (-50)/(-14) - 6/(-14). Let u = -4 + g. Suppose 4*f + 2*n - 44 = u, -f - f - 5*n = -22. Does 11 divide f?
True
Suppose -1304 = -31*u + 27*u. Is 14 a factor of u?
False
Let p be 15/5 + (-416 - 2). Let v = p - -695. Suppose 0*j = -4*j + v. Is j a multiple of 13?
False
Suppose -4*i - 1302 = -25*i. Is 7 a factor of i?
False
Let o = 69 + -67. Let v(u) = -u + 4. Let m be v(4). Suppose o*h = -5*g + 31, m = -g + 4*g - 5*h. Is g a multiple of 5?
True
Let j = 291 + 1. Does 5 divide j?
False
Let q(t) be the third derivative of t**6/144 + t**5/30 - 7*t**4/24 - 3*t**2. Let y(a) be the second derivative of q(a). Is y(4) a multiple of 12?
True
Suppose -4*z + 2620 = -4*q, 0 = -2*z + 3*q - 153 + 1464. Is z a multiple of 33?
False
Let i(v) = 2*v**2 - 9*v + 2. Let a be i(6). Suppose 8 - a = 3*g. Let m = g - -6. Is 2 a factor of m?
True
Suppose 0 = -g - 3, -5*b - 2*g + 2745 = -299. Is 61 a factor of b?
True
Suppose 4*v + 3*l - 23 = 0, -5*v - 10 = -5*l + 5. Suppose -32 = -4*t + 3*y, -14 = 3*y - v. Suppose 0 = 3*h - t*h + 48. Is h a multiple of 6?
True
Let u(i) = 4*i - 3. Let h be u(-7). Let s = 10 - 61. Let b = h - s. Does 17 divide b?
False
Suppose 4*m - 5*m + 4 = 0. Suppose -m*l = -l. Suppose l = 4*w - 115 - 1. Does 14 divide w?
False
Suppose 1034 + 1732 = 4*x - 3*o, 5*x - 3454 = 2*o. Is x a multiple of 5?
True
Let u = 429 + 191. Does 14 divide u?
False
Let w = 58 - -8. Let l be 12/w + 31/11. Suppose 15 - 3 = l*a. Is a even?
True
Let l be (-10 + 7)*6/(-9). Let q(w) = -w + 5. Let i be q(l). Is 106/i - 4/(-6) a multiple of 18?
True
Suppose -84*s - 8 = -88*s. Let a(n) = n + 1. Let k(u) = u**3 - u**2 + 6. Let i(c) = -2*a(c) + k(c). Is i(s) a multiple of 2?
True
Let s(w) = 38*w - 2. Let k(f) = -f**3 - 5*f**2 + 7*f + 7. Let u be k(-6). Let l be s(u). Does 4 divide (l/(-10))/((-4)/10)?
False
Let x be (-1)/(1 + 12/(-9)). Let y = -36 + 58. Is y + -7 + x - -3 a multiple of 6?
False
Let s be (-15)/75 + (-92)/(-10). Let o(c) = 4*c - 31. Is o(s) a multiple of 2?
False
Let n(f) = -10*f + 15 - 17 - 16. Does 14 divide n(-6)?
True
Let w(d) be the third derivative of d**6/120 + d**5/6 - 7*d**4/12 - 7*d**3/2 + 5*d**2. Let a be w(-11). Is 352/a - (-3)/(-9) a multiple of 6?
False
Let j = 49 + -198. Let t = -104 - j. Is 17 a factor of t?
False
Suppose -2*l - a = 4*a - 19, 4*l - 3*a = -1. Suppose 2 + l = 4*s. Does 16 divide (1 - 13)*(-3 + s)?
False
Let r = -717 + 1786. Is 37 a factor of r?
False
Suppose 5*m = -17*m + 11440. Is m a multiple of 93?
False
Let y(g) = 10*g + 104. Let t be y(-11). Let f(z) = z**3 - 2*z**2 + 2*z. Let l be f(3). Is t/l - (-248)/20 a multiple of 12?
True
Is 8 a factor of 56/1 - (19 + -19)?
True
Suppose -41*v + 38*v = -543. Suppose 0 = -4*t - 4*w + 184, 5*t - w - v - 61 = 0. Is 12 a factor of t?
True
Let y be (-3 + -8)*(-1 - -2). Let s = y + 11. Suppose s*x + 84 = 3*x. Is 14 a factor of x?
True
Suppose 2*k = k + 3. Suppose -2*b + 5*a - k = 0, 3*b + 5*a = 6 + 2. Let v(d) = 48*d**3. Does 12 divide v(b)?
True
Let f(s) = 2*s**2 - 48*s + 90. Is f(31) a multiple of 12?
False
Let b(a) = 71*a - 132. Does 11 divide b(11)?
True
Suppose -4*f - 5*x = -1, 2*x - 7 = -4*f - x. Suppose 4 = 5*m - 3*u, 0*u = -f*u + 8. Suppose m*c + 5*w - 11 - 30 = 0, 2*c - 14 = 4*w. Does 8 divide c?
False
Suppose -2*b = 5*s + 23, b + 13 = -0*s - 3*s. Let o(t) = 11 - 4 - 1 + 6 - 22*t. Is o(b) a multiple of 20?
True
Suppose 3*b - 8*g + 3*g = 304, b - g - 102 = 0. Is b a multiple of 44?
False
Let d be (3/5)/(-5*4/(-100)). Suppose -d*b = -3*v - 5*b + 81, 0 = 2*v + 5*b - 54. Is v a multiple of 9?
True
Let p = -94 - -111. Suppose -200 = -p*t + 633. Does 6 divide t?
False
Is (-852)/(-9) + 15/45 a multiple of 11?
False
Let o(u) = -6*u - 30. Let v(k) = 6*k + 30. Let r(l) = -4*o(l) - 3*v(l). Is r(14) a multiple of 14?
False
Is (156*5 + 0)/(63/420) a multiple of 80?
True
Let z be (-4)/(-18) - (-260)/45. Suppose 0 = 2*f + 5*k + 780, 5*k + 14 = -z. Is (f/(-6))/(2/3) a multiple of 21?
False
Suppose 2*w + 2*w - 12 = 4*q, w + 6 = -2*q. Suppose w = -2*s + 1 + 35. Is 9 a factor of s?
True
Is (4 - (-30)/(-8))/((-10)/(-31880)) a multiple of 26?
False
Suppose 3 - 9 = -2*q. Suppose -q*x + x + 144 = 0. Is x a multiple of 14?
False
Suppose -11*g = -45 + 12. Let p = 194 - 110. Suppose g*x = 6*x - p. Does 14 divide x?
True
Suppose -2*m = 2*m - 20. Let o(n) = 4*n - 16. Let i be o(5). Suppose -53 = -5*c + i*w + 55, 0 = -m*w - 10. Does 4 divide c?
True
Is 10 a factor of 5 + (6 + 35 - -7)?
False
Let i be -2 + -1*(-3)/((-9)/(-21)). Suppose -i*c + 3*c + 112 = 0. Does 7 divide c?
True
Is (1/(-2) - 0)/(11/(-3366)) a multiple of 58?
False
Suppose 0 = -4*c + 4*i + 12412, i + 1489 = -c + 4596. Does 69 divide c?
True
Suppose -q = -6 + 1. Suppose 3*k + 2*i = -4 + 211, -k = q*i - 56. Suppose 3*z - t - k = 0, -4*z = -0*z - t - 96. Is 6 a factor of z?
False
Let i(g) = 13*g**3 - 4*g**2 + 12*g + 2. Let x(q) = 13*q**3 - 3*q**2 + 11*q + 2. Let d(k) = 6*i(k) - 7*x(k). Is d(-2) a multiple of 10?
True
Does 5 divide ((-775)/62)/(10/(-24))?
True
Suppose -3*x - 14 = 4*x. Let b(n) = -n**3 + n + 2. Let l be b(x). Does 9 divide 18/8*(l - -4)?
True
Suppose 2*s = 4*c - 10, -5*c + s = -3*s - 17. Suppose -q + 3*b + 162 = -c, -3*b - 6 = 0. Is q a multiple of 24?
False
Suppose 11 = 4*h - o, 1 = h - 4*o + 2. Suppose f + 4*w - 36 = 0, 45 = 4*f - h*f - 5*w. Suppose -f = -5*s + 110. Is 14 a factor of s?
False
Let c(z) = z**3 - 5*z**2 - 12*z + 16. Let t be c(11). Suppose -4*q - 30 = -g + 6, 44 = -4*q - g. Does 5 divide 2/q + t/50?
False
Suppose 4*k + 102 = -5*c - 203, -205 = 3*k - c. Is 4 a factor of (-870)/k + 3/(-7)?
True
Suppose 0 = -u + 2 + 1. Suppose -w + y + 1 = -0*y, 0 = u*w + 2*y - 23. Suppose -48 = -w*f + f. Is 6 a factor of f?
True
Let w = -292 - -461. Does 19 divide w?
False
Suppose 171*m + 82110 = 186*m. Is 14 a factor of m?
True
Let h(s) be the first derivative of -s**4/2 - 2*s**3/3 + 7*s**2/2 + 4*s + 28. Is 33 a factor of h(-5)?
False
Suppose -8*a = -5*v - 5*a + 3774, -3*a = -2*v + 1506. Is 4 a factor of v?
True
Let t = -383 + 158. Let h = t + 420. Is h a multiple of 38?
False
Is 13 a factor of (-29)/5*(-9 + 11 + -57)?
False
Suppose 70 = -3*h + 10. Let a(z) = z**3 + 2*z**2 - 4*z + 1. Let m be a(-3). Does 10 divide (-1)/m + (-425)/h?
False
Let p = 80 + -75. Suppose -5*j - p*r + 28 = -207, -100 = -2*j + r. Does 12 divide j?
False
Let z(g) be the first derivative of -g**3/3 - 8*g**2 - 3*g + 1. Let p be z(-10). Suppose -11 - p = -4*h. Is h a multiple of 17?
True
Suppose 0 = q - 9 + 6. Is 12/q*24 - 3 a multiple of 21?
False
Let r(n) = 3*n**3 + 5*n - 2. Let x(i) = i**3 + 7*i**2 + 7*i + 9. Let a be x(-6). Let o be r(a). Let z = o - 26. Is 34 a factor of z?
True
Let t = 133 + -95. Let v = 78 + t. Is 13 a factor of v?
False
Let i = 25 + -21. Suppose -4*l - 5*o - i = -o, -6 = 2*o. Suppose l*q = -8 + 20. Is q a multiple of 2?
True
Let a(k) = 3*k**2 - 18*k + 12. Is a(14) a multiple of 12?
True
Let p(v) = -v**3 - 9*v**2 + 21*v - 57. Is 3 a factor of p(-12)?
True
Suppose 2*s = -4*o + 7 + 209, -3*o = s - 104. Is 30 a factor of s?
False
Let f(y) = -25*y**3 + y**2 + 2*y + 1. Let u = -1 - -3. Suppose 3*l = -1 - u. Is f(l) a multiple of 18?
False
Suppose 3*b + 5 = 2*b. Let y = 108 - 45. Let o = y + b. Is 15 a factor of o?
False
Let a(p) = -p**2 + 19*p + 19. Let k be a(13). Let h = 163 - k. Is 11 a factor of h?
True
Let g(o) = -2*o**2 + 7*o - 7. Let q be g(11). Let y = 88 + q. Is 21 a factor of (18/(-24))/(1/y)?
True
Suppose -6*r + 1647 = 201. Is 4 a factor of r?
False
Let a = 867 - 537. Does 30 divide a?
True
Suppose 6*j + 272 = 10*j. Suppose -5*y + p = -j, 4*y - 3 = 5*p + 64. Is y a multiple of 13?
True
Let h(l) = -l**3 + 6*l**2 - 9*l + 26. Let f be h(5). Let z(b) = 3*b**2 - 7*b + 2. Is 4 a factor of z(f)?
True
Suppose -2*b + 115 = -57. Let r = -128 - -134. Suppose -2*u + 4*i = -b, -5*i - 91 = 4*u - r*u. Doe