*d - 27. Is 9 a factor of d?
True
Let v(m) = 5*m**2 - 3*m - 3. Let d be (9/(-6))/(3/(-6)). Is v(d) a multiple of 11?
True
Is 39 a factor of (-125 - -177)*(0 - 6/(-8))?
True
Let d = -194 + 206. Is d even?
True
Suppose 2*t + 429 = 5*x + 134, -5*x - 3*t = -270. Is x a multiple of 19?
True
Let w = -214 - -394. Is w a multiple of 10?
True
Let q(m) = -12*m + 320. Is 3 a factor of q(5)?
False
Let n(m) = m**2 - 6*m + 2. Let g be n(7). Does 36 divide g/12 + 1719/12?
True
Let n be (5/25)/((-1)/(-10)). Suppose n*l = g - 55, 4*g + 5*l = -0*g + 155. Is 15 a factor of g?
True
Let y(w) = -w - 9. Let n be ((-28)/(-49))/(2/7). Suppose 7*o = n*o + 5*v - 80, 56 = -3*o + 5*v. Is 2 a factor of y(o)?
False
Suppose -2*x - 7 = -5*y, -x + 10 = 2*y - 0. Suppose -3*u + 3*o + 414 = 0, -u = -o - y*o - 153. Is 12 a factor of u?
False
Suppose d - 4*d + z = -1672, 3*d = 3*z + 1680. Suppose 4*k + d = 4*m - 0*m, -m = -2*k - 143. Does 17 divide m?
False
Let s be -1*(-2)/((-2)/(-21)). Let t = 18 - s. Is 8 + t + (-2 - -3) a multiple of 2?
True
Suppose -765*c + 758*c + 3360 = 0. Does 20 divide c?
True
Let h(s) = -62*s**3 - s**2 + 2*s + 1. Let t be h(-2). Suppose 0 = -5*f + 51 + t. Is f a multiple of 18?
True
Let v be 1 + (4/1)/2. Suppose d = 2*d - 2*t - 10, 3*d + v*t + 15 = 0. Suppose d - 27 = -3*s. Is 9 a factor of s?
True
Suppose -s - 25 = -3*v, -11 + 5 = -3*s. Let u(p) = -p**2 + 4*p + 98. Let q be u(12). Is -20*v/((-45)/q) a multiple of 3?
False
Let f(g) = g**2 - 12*g + 29. Let i = 120 - 109. Is 3 a factor of f(i)?
True
Let k be (-5 - -1)/((-4)/(-4)). Does 18 divide (-12)/5*150/k?
True
Let q(l) = -l**2 - 7*l - 5. Let t be q(-5). Suppose -2*j - 141 = -685. Suppose -32 + j = t*x. Does 24 divide x?
True
Suppose -3*c = -2*y - 401 - 424, -555 = -2*c + 3*y. Let p = 42 + c. Is 15 a factor of p?
True
Suppose 0 = -22*d + 1649 + 7239. Does 13 divide d?
False
Let v(a) = -a**3 - 9*a**2 - 2*a - 63. Let s be v(-10). Let g = s + 13. Is g a multiple of 14?
True
Let m(j) be the second derivative of -4*j**3/3 + 4*j**2 - 2*j. Is 16 a factor of m(-5)?
True
Let r be (-3)/((-9)/(-2)) - (-320)/3. Let n = r - 58. Is 12 a factor of n?
True
Suppose -4*c - 2*c = -144. Is 20 a factor of 10/4*c/(-15) - -104?
True
Suppose 2*w + 30 = -4*r, r + 3*r + 45 = w. Is 15 a factor of 83 + (-5)/(r/(-8)) + 3?
False
Let g(c) be the third derivative of 23*c**4/12 + c**3/6 + c**2. Suppose 5*h - 14 = -4. Is 30 a factor of g(h)?
False
Suppose -n - 29 = -5*y, 0 = 5*y - 0*y + 5*n - 35. Suppose y*r - 592 = 2*r. Let f = -86 + r. Is f a multiple of 14?
False
Let y = 77 + -73. Suppose -w + 1 + y = 0. Is 5 a factor of w?
True
Suppose 4*k + 136 = 4*v, -2*v - 114 = -5*v - 3*k. Suppose -l + 3*l = 4*f - v, -71 = -5*f - 4*l. Is f a multiple of 11?
True
Suppose -f = -314 - 75. Suppose -5*g + 144 = f. Is 30 a factor of (-2)/7 - 1484/g?
True
Suppose 4*v = -4*p - 12, -4*v - 12 = -p - 3*p. Suppose p = -5*s - 20, 4*s - 74 + 2 = -x. Is x a multiple of 11?
True
Suppose -2*r - 4*j + 34 = j, 0 = 3*r + 4*j - 51. Is r a multiple of 2?
False
Let u = -36 - -39. Suppose -v + 73 = 5*d - 4, 0 = d + u*v - 21. Is d a multiple of 7?
False
Let m(f) = 38*f - 4. Let x be m(2). Suppose d + d = x. Is d a multiple of 6?
True
Suppose -2 + 0 = -2*p. Let h = p + 67. Suppose 4*q = -0*q + h. Is q a multiple of 4?
False
Let l(a) = a**3 - 3*a**2 - 6*a + 10. Let j be l(5). Suppose -3*t + 0*t = -j. Suppose -n + 7 + t = 0. Is 3 a factor of n?
False
Let a(u) = 6*u + 15. Let d be a(9). Let g = d + -3. Is 6 a factor of g?
True
Let n = -77 + 97. Suppose -3*r = -r + 2*x - n, -2*r - x + 20 = 0. Is 10 a factor of r?
True
Suppose -4*o + 42 = -74. Suppose -5*t = -4*t - o. Does 29 divide t?
True
Suppose 7*h - 29 = 6. Suppose 2*m + 3*n - 27 = -0*m, -71 = -h*m - 4*n. Is m a multiple of 2?
False
Let d = 16 - 158. Let l = d + 71. Let h = -50 - l. Is 7 a factor of h?
True
Suppose -879 + 159 = -16*g. Is g a multiple of 45?
True
Suppose 0 = 82*u - 80*u - 20. Let d = 71 - 29. Let c = d - u. Is 16 a factor of c?
True
Suppose 2*l = 4*c - 4, 3*l = -4*c + l + 20. Suppose -4*o = -c*s - 36 + 11, -4*o - 3*s + 7 = 0. Let n(u) = 6*u - 4. Does 6 divide n(o)?
False
Let h(m) = m**2 - 10*m - 7. Let a be h(11). Suppose 5*v - 982 = 2*l, a*v - l = -v + 986. Is v a multiple of 33?
True
Does 33 divide 135/(-18)*1584/(-8)?
True
Let u be (-4)/18 - 20/(-9). Let y be -1 + 2 + (1 - u). Suppose -3*f - 4*n + 32 = y, 3*f + 56 = 8*f + 4*n. Is 10 a factor of f?
False
Let j be (-12)/(-5) - 6/15. Suppose 17 - 8 = 3*z. Suppose j*p = -z*p + 75. Is 5 a factor of p?
True
Let l(q) = -6*q - 23. Let s(v) = -25*v - 92. Let z(d) = 9*l(d) - 2*s(d). Is z(-14) a multiple of 11?
True
Let f(t) = -3*t**3 - 50*t**2 + 41*t + 48. Is 65 a factor of f(-20)?
False
Let p(i) = 2*i**2 + 24*i + 78. Does 21 divide p(-18)?
True
Let r be (-2)/10 - (-110)/50. Suppose -r*s = 5*d - 316, 5*d = -s - 2*s + 314. Is d a multiple of 9?
False
Let v(k) = 159*k**2 + 29*k + 82. Is 25 a factor of v(-3)?
False
Suppose -10800 = 16*o - 34*o. Is 40 a factor of o?
True
Suppose -3*p + 652 = p. Let i(z) = 2*z**2 - 20*z + 18. Let x be i(8). Is x/(-21) - p/(-3) a multiple of 32?
False
Let c(p) = -p + 13. Let i be c(9). Let t = 1 + i. Suppose 0 = t*v + 5*l - 105, 0 = 5*v - 6*l + l - 155. Is 12 a factor of v?
False
Suppose 51*b - 53*b + 4*y = -490, -b + 249 = -4*y. Is 103 a factor of b?
False
Let a(b) = -b + 5. Let f be a(0). Suppose f*q - 32 = 4*h, -7*h = -4*q - 2*h + 31. Suppose 15 = 5*x + i, -x + 0*i + 3 = -q*i. Is 3 a factor of x?
True
Suppose -42*v + 22058 + 20278 = 0. Does 28 divide v?
True
Let u(r) = 6*r - 7. Let f be u(-19). Does 25 divide (f/(-4) + 1)*4?
True
Let p = 31 + -28. Is 12 a factor of 357*(4 + -3 + (-2)/p)?
False
Let v be (-2 - (0 - 3))*4. Suppose -w + 15 = v*w. Suppose w*n + n - 104 = 0. Is n a multiple of 7?
False
Let r = 2603 - 960. Is r a multiple of 99?
False
Let s = 86 + -81. Suppose -s*z = -1086 + 251. Is z a multiple of 11?
False
Suppose 4*r - 580 + 20 = 0. Suppose -5*y + 0*y + r = 0. Is 9 a factor of 180/(-42)*y/(-6)?
False
Let r(v) be the third derivative of v**4/6 + 4*v**3 - 10*v**2. Let w be r(11). Suppose i - 184 = -i - 4*t, 4*t + w = i. Is i a multiple of 42?
True
Let c = -217 - -365. Suppose 0 = 3*p - 3*f - c - 5, -178 = -3*p - 2*f. Suppose -4*r = -64 - p. Is r a multiple of 10?
True
Is 19 a factor of (-29)/(87/(-18)) - -2844?
True
Let m(b) = 5*b + 0*b - 2*b + 9 - 2*b. Let a be m(-13). Let c(r) = -9*r + 4. Is 16 a factor of c(a)?
False
Let n be 5/(-75)*-171 + (-2)/5. Let o(x) = -x**3 + 11*x**2 + x + 19. Is 8 a factor of o(n)?
False
Suppose -16*y = -60*y + 147708. Does 9 divide y?
True
Suppose -2*h + h + 2 = 0. Suppose -5*w + h*v + 322 = 74, 136 = 3*w + 2*v. Is 13 a factor of w?
False
Let o = -1320 + 4568. Does 28 divide o?
True
Suppose -3*f + 101 + 181 = 0. Suppose 0 = -3*a - 2*l + 3*l + 56, f = 5*a - 2*l. Is 4 a factor of a?
False
Let k(v) be the first derivative of -v**7/840 + v**6/72 + v**5/60 + v**4/12 + 5*v**3/3 + 1. Let w(q) be the third derivative of k(q). Does 6 divide w(5)?
True
Let l = -2 - -7. Suppose 5*k = 2*j + 262, 0 = -0*k - 3*k + l*j + 142. Is k a multiple of 9?
True
Suppose 1764*t = 1768*t - 2176. Is t a multiple of 68?
True
Suppose 4 = g - 1, -2*u + 3*g + 75 = 0. Does 3 divide u?
True
Let u be (4/4 - -3)*5. Let q = -16 + u. Suppose -q*y + 2*y = -52. Is 13 a factor of y?
True
Let p(w) = w**2 + 8*w - 6. Let x be p(-9). Suppose 5*o - 4*y - 15 = 0, 15 = -0*y + x*y. Does 2 divide (o - 2)/(0 - -1)?
False
Suppose 2*v = 2*s + 4068, 4383 - 345 = 2*v + 4*s. Is 21 a factor of v?
False
Let z = 75 - 30. Suppose 11*j - 197 = z. Is 6 a factor of j?
False
Let w = 21 - 10. Suppose -13*z = -18*z + 10. Let s = w + z. Is s a multiple of 12?
False
Let o = -8 + 19. Let x = 13 - o. Suppose x*c = 62 + 56. Does 20 divide c?
False
Let y(i) = 2 + 3 + 4*i - 3*i. Let t be 7 + 0 - (0 - 0). Is y(t) a multiple of 6?
True
Suppose -2*y = 2 - 6. Suppose y*o + 20 + 0 = 0. Let x = o + 46. Is x a multiple of 9?
True
Let u(d) = 8*d**2 - 10*d + 117. Is u(7) a multiple of 2?
False
Let c(a) = a**3 - 4*a**2 + 3*a - 3. Let s be c(4). Is 6*(42/s - 2) a multiple of 16?
True
Is 6 a factor of 14 + (-1100)/77 + 38331/21?
False
Let r(n) be the second derivative of n**5/20 - 7*n**4/12 - n**3/6 - 5*n**2 + 4*n. Let y be r(7). Let k = 10 - y. Is k a multiple of 13?
F