 t?
False
Let n be (-9*2/(-15))/((-33)/(-55)). Suppose -3*h - n*i - 21 = -1755, -1161 = -2*h - 3*i. Is h a multiple of 16?
True
Let a(d) = d**2 + 10*d + 33. Let z = -72 + 181. Let l = 96 - z. Is 16 a factor of a(l)?
False
Let w be (-1240)/93*45/4. Let g be (-3 + 1)/((-5)/570). Let r = g + w. Is r a multiple of 13?
True
Let z = -270 + 253. Does 30 divide (-42)/(-7) - z - -7?
True
Let a be ((-3042)/24)/(9/24). Let m = 368 + a. Does 15 divide m?
True
Suppose -5*u + 1240 = 1230. Suppose 3*z = 12, u*a - 1000 = -3*z - 2*z. Does 70 divide a?
True
Let h(l) = 3*l**3 + 142*l**2 + 17*l - 188. Does 3 divide h(-47)?
False
Let b(y) = -13*y + 19*y + 11 - 22*y**3 - 10*y - 11*y. Let o be b(8). Is 8 a factor of 4/(-7) + o/(-119)?
False
Let m = -154 + 156. Suppose -m*f - x + 90 = 0, -5*f + x + 86 = -3*f. Is 26 a factor of f?
False
Suppose -3*j + 1 = -11. Is 60 a factor of 1 + j + 1 + 7 + 84?
False
Let m(w) = -w**3 + 366*w**2 + 36*w + 54 - 13 - 385*w**2. Suppose -4*g + 1 = 85. Is 11 a factor of m(g)?
False
Let r = 2172 - 654. Is r a multiple of 46?
True
Let x(k) = -k**2 + 2*k + 4. Let j be x(-6). Let g be 4/(-3) + j/(-33). Is 17 a factor of (2 + g)*(-845)/(-10)?
False
Let c(m) = 909*m**2 - 740*m + 3757. Is 37 a factor of c(5)?
False
Suppose -33*s = -30*s - 23691. Is 149 a factor of s?
True
Let j = 13 + -9. Suppose 0 = -j*o - o + 25. Suppose -243 = -o*g + 57. Is 20 a factor of g?
True
Let x = -43670 + 63044. Is x a multiple of 8?
False
Suppose 12*m - 156 = 9*m. Suppose 3*w - 2*w + 2*z = m, -2*w - 3*z + 100 = 0. Is 7 a factor of w?
False
Suppose 0 = -4*q + 14*t - 18*t + 41444, 2*t = -4*q + 41440. Is 8 a factor of q?
False
Suppose -4*v + 44 + 18 = 3*x, -v + x + 12 = 0. Is 2/(v/(-3)) + (-10538)/(-154) a multiple of 30?
False
Let u = 4013 + -2235. Does 39 divide u?
False
Let u(q) = -q**3 - 4*q**2 - 5*q + 144. Is 4 a factor of u(-10)?
False
Suppose -147 = -544*t + 541*t. Suppose -2*g - 5*p = -t, 10*p - 9*p - 93 = -3*g. Is g a multiple of 4?
True
Let l be 20/35 + (-10)/(-7). Suppose -3*a - 1234 = -4*i, 184 = l*i - a - 434. Is i a multiple of 18?
False
Suppose 0 = -4*k + 16 + 4. Suppose 21*s + 5*r = 24*s - 776, 272 = s - k*r. Does 12 divide s?
True
Suppose v + 5*d = 2995, 2*d + 737 = -4*v + 12825. Is 74 a factor of v?
False
Let n(h) = h**3 + 19 - 13*h**2 + 48*h**2 + 5*h - 27*h**2. Does 11 divide n(-6)?
False
Let f be (-1357)/(-8) - 9/(-24). Let p = -119 + f. Is 51 a factor of p?
True
Let p = 5687 - 3659. Does 4 divide p?
True
Suppose 0 = 313*r - 309*r - 7136. Is 8 a factor of r?
True
Let x(s) = -6*s - s - 3*s + 45 + 5*s. Let y be x(8). Is 5 a factor of y - (2 - 2)/(-4)?
True
Let b = -530 - -1361. Let a = b + -280. Is 32 a factor of a?
False
Suppose -9*r + 4*r = 25. Let l(j) = -52*j - 105. Is l(r) a multiple of 4?
False
Let k be 42/(-15) + 2 + (-2)/10. Let w(d) = -3*d + 1. Let z be w(k). Suppose -5*v + 3*l = -147, -8*v + 6*v + z*l = -70. Does 6 divide v?
False
Suppose 3*g - 213 = -2*w + 2*g, -13*g - 93 = -w. Does 3 divide w?
False
Let j = 4 - 2. Let k = 242 - j. Suppose 6*i + 30 - k = 0. Is i a multiple of 26?
False
Suppose -2*q + 3*q = -4*t - 303, q + 227 = -3*t. Let b(o) = -o**2 - 7. Let z be b(5). Let p = z - t. Is p a multiple of 5?
False
Suppose 180*m - 285*m = -52500. Does 5 divide m?
True
Is 23 a factor of (-811608)/(-2940) + (-4)/70?
True
Let s(h) be the second derivative of -62*h**3/3 - 75*h**2 + 27*h. Is s(-14) a multiple of 26?
True
Let u be (4 - -2)*1*2/6. Suppose u*w = 4 + 6. Suppose -2*s = 2*s + w*y - 97, 5*s = 3*y + 149. Is s a multiple of 28?
True
Suppose -r + 67 = -2*i + 440, 4*r = 4*i - 744. Suppose i*u = 182*u + 390. Is u a multiple of 26?
True
Let w be (18/12)/((-2)/(-8)). Suppose w*d - 7*d - 5 = 0, -4*d - 48 = -c. Is 7 a factor of c?
True
Let k(i) = 134*i + 18. Suppose 25 = 5*p + 5*r, -4*p + 6*p - 4*r = 34. Is 102 a factor of k(p)?
True
Let w = 81 + -60. Let k = w - -159. Is 18 a factor of k?
True
Let b = 19668 + -17889. Is b even?
False
Let o(a) = -a**2 + 7*a - 2. Let h(s) = s - 1. Let p(x) = 6*h(x) - o(x). Let d be p(-6). Suppose -64 = -2*j - 4*g, -26 - d = -2*j + 5*g. Is 8 a factor of j?
True
Let y = -958 + 15889. Is y a multiple of 63?
True
Let g(m) = 9*m**3 - 21*m**2 - 8*m + 26. Is g(10) a multiple of 21?
True
Suppose -5*y = -30 - 55. Let d = y + -15. Suppose -3*w - 3*u + 67 = d*w, -47 = -5*w + 2*u. Is w a multiple of 5?
False
Suppose -5*y + 19128 = -3*p, -y - 4*p - 1767 = -5611. Does 22 divide y?
True
Let c be (-2)/(-4)*-8 - -17. Let n = c + -6. Let q = n - -8. Is q a multiple of 3?
True
Suppose 5*l = -2*g + 90694, -2*l + 4*g - 3006 = -39250. Does 8 divide l?
True
Let b = 13406 - 3966. Is 32 a factor of b?
True
Let o be 1/(32/34 + (-4)/4). Is o/(68/(-768))*(3 + -2) a multiple of 64?
True
Let a(l) = -l**3 - l**2 + 894. Is 38 a factor of a(0)?
False
Let f(r) = 771*r**3 - 5*r**2 - 3*r + 6. Let k be f(2). Suppose 0 = 18*s + 11*s - k. Is s a multiple of 2?
True
Suppose 0 = 5*l + 6*v - 10*v - 2830, 25 = 5*v. Is l a multiple of 38?
True
Let c(t) = -707*t - 609. Does 15 divide c(-12)?
True
Let t(m) = -m**2 + 2*m + 22. Let u(y) = 3*y**2 - 5*y - 65. Let v(d) = -7*t(d) - 2*u(d). Let s be v(11). Suppose -4 = -3*r + s. Is 7 a factor of r?
False
Suppose 0*x + 4*q = -3*x + 26, 2 = q. Suppose -4*f + x*f + 228 = 4*t, 5*t + 3*f - 307 = 0. Let a = -31 + t. Does 7 divide a?
True
Suppose -a = -69 - 2800. Suppose 0 = -35*q + 7631 + a. Does 10 divide q?
True
Let j(b) = -b**2 - 13*b - 8. Let k be j(-12). Suppose -k*u = -5*w + 110 - 725, 2*w + 310 = 2*u. Is u a multiple of 5?
True
Let q(d) = 5*d**3 - 17*d**2 + 27*d - 73. Does 8 divide q(10)?
False
Suppose 3*a + 190 + 44 = 0. Let h = -70 - a. Suppose 5*d + 450 = h*d. Does 43 divide d?
False
Let r be (1 - 1515/(-10))/((-3)/6). Let s = 87 - r. Does 56 divide s?
True
Let t(b) = -b**3 + 9*b**2 + 2*b + 2. Suppose -6*h = -68 - 268. Let g = h + -47. Does 10 divide t(g)?
True
Let q(h) = -h**3 + 19*h**2 - 15*h - 24. Let j = -15 - -33. Is 3 a factor of q(j)?
True
Let m = 38111 + -26291. Is 47 a factor of m?
False
Suppose 3*v - 1 - 5 = 0. Suppose -4*d + 16 = -v*n, -7 = -2*n - 5*d + 4. Let h(z) = 30*z**2 - z - 5. Does 15 divide h(n)?
False
Let g(s) = s**3 + 4*s**2 - 5*s + 5. Let q be g(-5). Let j be ((-2)/(-8))/(q/40). Suppose -j*t = 6 - 52. Does 3 divide t?
False
Suppose -4*i + 1635 = 3*a, -2*a + 2042 = 69*i - 64*i. Is i a multiple of 3?
True
Suppose 22 = -4*a + 4*t + 34, 5*a = -t + 27. Let o = 15 - 27. Does 28 divide ((-20)/o)/a*165?
False
Let z be ((8/(-3))/4)/((-4)/(-66)). Let c(r) = -r**3 - 12*r**2 - r + 29. Let v be c(-12). Let a = v + z. Is a a multiple of 8?
False
Let k = -322 + 571. Let d = 945 - k. Is d a multiple of 10?
False
Let n = -221 - -235. Let b(v) = 57*v - 303. Does 55 divide b(n)?
True
Let x(t) be the second derivative of 5*t**4/12 - 7*t**3/6 - 30*t**2 - 18*t. Let a be x(-7). Suppose -5*j - 330 = -5*r, a = 4*r + 3*j - j. Is 18 a factor of r?
False
Let v(h) = -34*h**3 - 10*h**2 - h - 38. Is v(-4) a multiple of 25?
False
Let p(w) = 601*w + 6635. Is p(-6) a multiple of 6?
False
Let b(p) = p**3 - 90*p**2 + 101*p + 460. Is b(89) a multiple of 10?
False
Does 19 divide (-3076)/(-10)*(1128 + -1098)?
False
Let g = 27470 - -17242. Is g a multiple of 276?
True
Let l(r) = r**3 - 39*r**2 + 98*r - 65. Does 19 divide l(44)?
True
Is (((-14312)/6)/(-2))/((-106)/(-1431)) a multiple of 19?
False
Suppose -b + 0*b + 16 = 2*h, -3*b + 2*h + 32 = 0. Suppose b*r = 5*r + 14. Suppose 0 = -0*f - r*f + 54. Does 8 divide f?
False
Let g(k) = 35*k - 103. Let z(x) = 17*x - 51. Let i(p) = -4*g(p) + 9*z(p). Let u be i(4). Suppose -d + 106 = l, u*l = -3*d + 199 + 111. Does 11 divide d?
True
Suppose -o + 3*k = -48, -8*o + 82 = -6*o + k. Let f = o + -25. Does 5 divide 2/1*f + -4?
True
Let c(b) = 13*b**2 - 109*b - 816. Is 38 a factor of c(-18)?
True
Suppose t = -2*v + 72, -3*t - t - v = -295. Is (-3515)/t*22/(-5) a multiple of 11?
True
Let a be ((-28)/6)/(20/12)*5. Let y(t) be the second derivative of -8*t**3/3 - 39*t**2/2 - 16*t. Is 13 a factor of y(a)?
False
Let z(a) = 113*a**3 - 5*a**2 + 2*a - 15. Let d be z(3). Suppose 4*t - g - d = 0, -9*t + 2*g = -7*t - 1506. Is t a multiple of 68?
True
Suppose -v = -2*l + 78753, 15*v + 78726 = 2*l + 17*v. Does 17 divide l?
True
Let s be 15/(-13) + 1 + (-6296)/(-26). Let x = s - -98. Does 17 divide x?
True
