 t?
True
Let g be 75 - (1 + -2 - 0). Let v(t) = -t**2 - 24*t - 54. Let i be v(-24). Let u = g + i. Does 22 divide u?
True
Let o(y) = y + 13. Suppose -2*w + 35 = 3*w. Let u(n) = -2*n - 13. Let q(k) = w*o(k) + 6*u(k). Is 5 a factor of q(-5)?
False
Suppose o = p + 148, 0*o = -2*o + 5*p + 284. Does 38 divide o?
True
Let p(z) = -z**3 + 7*z**2 + z + 5. Is 4 a factor of p(5)?
True
Suppose 5 = 2*d + 25. Does 4 divide (-3)/6 - (565/d - 5)?
False
Suppose 0 = -2*j - 268 - 16. Let g = 214 + j. Is 9 a factor of g?
True
Let b be 2/(6/21) - -5. Suppose -b*u = -7*u - 1110. Does 40 divide u?
False
Suppose -11*u - 90 + 1773 = 0. Is u a multiple of 5?
False
Suppose -5*f + 1043 = 4*t - 7*t, 0 = -5*t - 5. Suppose -2*b = -4*b + f. Does 17 divide b?
False
Let y be ((-28)/(-5))/(14/(-70)). Let b = y + 33. Suppose b*a + 116 = 9*a. Is 10 a factor of a?
False
Suppose -3*o + 3*k = -330, 2*o - 6*o - 3*k + 412 = 0. Let i = o - 0. Is i a multiple of 33?
False
Let l = -309 - -479. Let i = l + -80. Suppose 3*u - 5*g = 49 + 4, -4*u - 3*g + i = 0. Does 7 divide u?
True
Does 32 divide (-528)/((-80)/10) + (-2)/1?
True
Let q = -17 - -23. Suppose -3 = -q*n + 1065. Does 34 divide n?
False
Suppose 8*y - 3*y - 245 = 0. Let o = y - 13. Does 29 divide o?
False
Suppose -22 = 8*p + 58. Is 5 a factor of 3/(27/p + 3)?
True
Let o(i) = 8*i + 90. Suppose 3*d + 0*d = -d. Is o(d) a multiple of 30?
True
Let q(f) = -f - 4. Let y be q(-7). Suppose -3*m + 0*l + 49 = 5*l, 0 = -y*m + 2*l + 35. Does 7 divide m?
False
Suppose -2*k - 4*z = -0*z + 60, k + 15 = z. Does 6 divide (k/(-3))/((-8)/(-36))?
True
Is ((-114)/152)/(2 - 434/216) a multiple of 5?
False
Let l be 18*1*(-11)/3. Let b = 29 - l. Is 12 a factor of b?
False
Is 5 a factor of (2 + -30)*2/((-48)/354)?
False
Let n(h) = 4*h**2 + 6*h + 12. Does 71 divide n(5)?
True
Let a = -2392 + 4236. Is a a multiple of 11?
False
Let h = -8 - 0. Let f(m) = -m - 8. Let q be f(h). Let z(o) = o**2 + o + 36. Does 9 divide z(q)?
True
Suppose 49*g + 59 - 39749 = 0. Does 45 divide g?
True
Let x = -2975 - -6061. Does 50 divide x?
False
Suppose 125*o = 128*o - 444. Is 8 a factor of o?
False
Suppose 5*r + c - 218 = 0, -5*r - 96 + 306 = 5*c. Suppose 2*m - 12 = -p + 36, -2*m + r = 2*p. Is m a multiple of 6?
False
Let d be ((-6)/(-4))/(8/336). Suppose d = n - 0*n. Is n a multiple of 21?
True
Let k be (-5418)/(-28) - (0 - (-3)/2). Suppose -q - 3*j + 2*j + 64 = 0, 0 = 3*q - 5*j - k. Is 32 a factor of q?
True
Let z = -243 - -453. Is z a multiple of 10?
True
Suppose 6*c - 2*t + 1471 = 11*c, 0 = -3*c + 5*t + 864. Is c a multiple of 41?
False
Let y(f) = -f. Let w be y(-3). Let p be (2 - 4)*w/2. Is (1/2)/(p/(-42)) a multiple of 7?
True
Let j = 425 + -85. Does 20 divide j?
True
Suppose 0 = -4*h + 11 + 5. Suppose -3*a + h*a - 5 = 0, -5*a + 213 = -4*d. Let r = -23 - d. Is 8 a factor of r?
True
Suppose -2*m - 6494 = -4*q, -q + 299 + 1320 = -5*m. Is 14 a factor of q?
True
Let k(b) = -25 - 9 + 6 + 36*b. Is 19 a factor of k(5)?
True
Let o be (-10)/((-1)/(2/4)). Suppose 3*s = c - 0*s + 2, 3*s - 10 = o*c. Is 19 a factor of 59 - 3/((-3)/c)?
True
Let h(v) be the second derivative of -v**5/20 + v**4/4 - v**2 - 4*v. Let o be h(2). Suppose r = p - 33, 0 = o*r - r - 5. Is p a multiple of 19?
True
Suppose -10 = -2*x - 2. Suppose 2*a - 7 - 19 = -x*t, -t + 20 = 5*a. Suppose a*q - 54 = 78. Does 22 divide q?
True
Suppose -27*r - 216 = -31*r. Does 6 divide r?
True
Does 28 divide ((-4)/(-3)*-98)/(5/(-15))?
True
Let c = 167 + 97. Is 44 a factor of c?
True
Suppose 5*t + 2*j - 6*j - 8004 = 0, -1592 = -t + 3*j. Suppose -8*p - 4*z + t = -3*p, -2*p = -2*z - 656. Is p a multiple of 54?
True
Suppose 4*n - 4432 = -5*q + 333, -3*q - 5*n = -2859. Is 30 a factor of q?
False
Let o(v) be the third derivative of -5*v**2 - 5/24*v**4 + 0*v + 5/3*v**3 + 0. Is o(-7) a multiple of 13?
False
Let n be 56 - (0 + 3)*(-9)/27. Let w = 117 - n. Is 27 a factor of w?
False
Suppose -628 = -3*o - 88. Is o a multiple of 10?
True
Suppose -n - 2 + 37 = 0. Is 8 a factor of n?
False
Suppose 2*y + 8 = 2. Let n be 74/(-4)*(y - -5). Let l = -10 - n. Is 9 a factor of l?
True
Let n(y) be the first derivative of y**3/3 + 11*y**2/2 - 27*y - 11. Does 11 divide n(-15)?
True
Does 2 divide (-16)/112 + (-564)/(-28)?
True
Let p = 122 + 1007. Is p a multiple of 84?
False
Suppose -3*g + 11 = -4. Suppose g*m = -18 - 12. Let q = 90 + m. Does 17 divide q?
False
Let t(y) = 55*y**2 - 17*y + 44 - 3*y - 54*y**2. Does 5 divide t(19)?
True
Let v = -93 + 93. Suppose -5*f + 3*w + 519 = v, w + 3*w - 323 = -3*f. Is f a multiple of 8?
False
Suppose -278 = -2*d - 106. Is d a multiple of 41?
False
Suppose -x - w + 35 = -27, x + 3*w - 52 = 0. Let i = -32 + x. Suppose 3*t - 16 = 3*s + i, 4*t = s + 71. Does 6 divide t?
True
Suppose 0*b + 4*b = 0. Suppose k - 5*f - 15 = 0, 0 = -2*k - b*k + f + 30. Let w = k + 5. Is w a multiple of 10?
True
Suppose -2*y - n = -23, y + 3*n = 7*n - 11. Let f(k) = -9 + 8*k - 3*k**2 + k**3 + 3*k**2 + y*k**2. Is 11 a factor of f(-7)?
True
Let z = -5 + 52. Let q = 1255 - 1177. Let f = q - z. Is f a multiple of 11?
False
Suppose 2*w + 3*r = -2*r + 100, 0 = -2*w - 4*r + 104. Is 6 a factor of w?
True
Let s be ((-4)/10)/(2/(-60)). Let o = s + -12. Suppose o = -4*h - h + 120. Is h a multiple of 8?
True
Suppose -2*y = -y - 88. Let p(m) = -8*m - 61. Let g be p(-6). Is y/2*g/(-26) a multiple of 8?
False
Suppose -4*m + 0*m = 0, 5*d - 640 = -4*m. Suppose 3*r - d = -0*w + 4*w, 34 = r + 3*w. Is 10 a factor of r?
True
Let y be 11/(-22)*8/(-1). Suppose 3*q = o + 68, -44 = y*q - 6*q + o. Does 7 divide q?
False
Suppose 41*y - 10 = 43*y. Does 2 divide 245/14*-4*1/y?
True
Let p = 20 + 22. Let d(f) = -81*f + 37. Let c be d(-1). Suppose -2*q + p + c = 4*s, 5*s + 340 = 5*q. Is 18 a factor of q?
True
Suppose l = 4*c + 4 - 12, -3*c - 4 = -2*l. Let m(y) = 22*y + 31. Is 21 a factor of m(l)?
False
Suppose -3317 = -6*w + w - 2*j, -2*j = 8. Does 19 divide w?
True
Suppose 0 = 2*u - 1 + 15. Let t = u + 13. Suppose -t + 17 = v. Is v a multiple of 5?
False
Suppose 3*g + 6 - 15 = 0. Suppose 0 = 5*z - f - 189, -3*z + g*f + 49 = -2*z. Is z a multiple of 17?
False
Let m = -33 + 31. Let x be 1/m*(-119 + -15). Suppose 3*l - 69 = 3*q, 5*l = -2*q + x + 76. Is l a multiple of 15?
False
Let o = 152 - 128. Is 4 a factor of o?
True
Suppose 379 = -3*y - 4*w, -4*w + 626 = -5*y - 5*w. Let b = -25 - y. Is b a multiple of 50?
True
Suppose 2*b + 6 = 0, -2*u + b + 673 = 3*u. Let c = u + -283. Let o = -100 - c. Is 36 a factor of o?
False
Let k be 2 + 16/(-10) - (-6)/10. Suppose -2*g - 44 = -2*m, 4*m - 69 + k = -g. Is m a multiple of 4?
False
Let z(f) = -f**3 - 15*f**2 + 18*f + 34. Let s be z(-16). Let q(l) = 35*l - 1. Is q(s) a multiple of 20?
False
Let i = -187 + 397. Suppose -70 = -k + i. Suppose 6*w - 5*w + 182 = 2*c, 3*c = 5*w + k. Does 25 divide c?
False
Let u(y) = y**2 + 11*y - 1. Let t be u(-11). Let x be (9/(-6) + t)*-74. Suppose -3*g = -6*g + 6, 3*c = 2*g + x. Is 21 a factor of c?
True
Let n = 17 + -5. Suppose -n = -5*u + 33. Is u a multiple of 2?
False
Let j be (0 + 0)/(9/(-9)). Suppose -3*t + 135 = -j*t. Suppose 161 = 5*x - f - 20, t = x + 2*f. Is 26 a factor of x?
False
Suppose -3*i - 6 = 6. Does 13 divide (-495)/(-36) + 3/i?
True
Let i = 909 - 600. Is 12 a factor of i?
False
Let d = 642 - 293. Let c = d - 220. Is 13 a factor of c?
False
Suppose -3*s = 3*o - 1464, 4*o = -5*s + 2233 + 202. Is s a multiple of 46?
False
Suppose -p + 9 = 5*n, -3*n + 2*n = p - 5. Let d(w) = 2*w**3 - 2*w**2 - 4. Let f be d(2). Suppose 5*x - 91 = -p*h, 5*x + 9*h - 90 = f*h. Is 12 a factor of x?
False
Let m(p) be the third derivative of 11*p**4/8 - 43*p**3/3 + 6*p**2. Is m(6) a multiple of 20?
False
Let r(z) = 392*z**3 + 3*z**2 - 4*z + 2. Is 3 a factor of r(1)?
True
Let m be ((-26)/(-4))/((-6)/(-204)). Suppose 0 = 2*r - 3*t - 94, 3*r + 2*r - 4*t = m. Is 13 a factor of r?
False
Suppose -4*v + 5*w = -68, 28 = 2*v - 5*w + 4*w. Let x be v + 1*(-4 - -1). Suppose 380 = x*l - 4*l. Does 25 divide l?
False
Let u(c) = 59*c + 8. Is u(6) a multiple of 46?
False
Let g(z) = 3*z + 1. Let j be g(1). Suppose -7*f + 21 = -j*f. Suppose -f*x + 2*x = -15. Does 3 divide x?
True
Suppose -5*o + 3*g = -528, 0*g - 4*g = -5*o + 529. Let l = -85 + o. Does 10 divide l?
True
Let a(x) be the second derivative of x**7/2520 - x**6/144 + 