85. Is 11 a factor of t?
False
Let i(h) = -h**2 + 9*h - 13. Let c be i(14). Let p = c + 269. Is p a multiple of 23?
False
Let v(y) = y**2 - 13*y - 4. Let a(h) = -1. Let j(i) = -4*a(i) - v(i). Does 19 divide j(10)?
True
Let u(k) = -151*k - 18. Is u(-1) a multiple of 16?
False
Let g = 33 + -27. Does 29 divide 3*(-4)/g + -1 + 128?
False
Let t = -6 - -5. Let r be ((-13)/(-2) - 5)/(3/4). Does 11 divide (-536)/(-16) + t/r?
True
Suppose -4*i = 3*z - 855, 3*i - 2*z + 37 = 674. Does 28 divide i?
False
Let s(g) = 9*g**3 + g**2 - g + 5. Let i = 13 + -17. Let c(x) = 5*x**3 + x**2 + 3. Let z(l) = i*s(l) + 7*c(l). Is z(3) a multiple of 3?
False
Let w(q) = q**2 + 11*q + 2. Let g be w(-10). Let u be 2/(-4) + (-188)/g. Suppose -80 = -5*r - 5*z, 5*r - 113 + u = -3*z. Is 10 a factor of r?
False
Suppose 0 = -3*c - 0*c + 3. Suppose -14*x + 3*x = -33. Is 3/(c/(38/x)) a multiple of 19?
True
Let v(b) = b**2 - 9*b - 1. Is 12 a factor of v(-15)?
False
Let y = -41 + 32. Is 12 a factor of -4*y*(-2)/(-3)?
True
Let i(z) be the second derivative of -z**7/2520 + z**6/72 + z**5/8 + 7*z**4/12 - 7*z. Let y(v) be the third derivative of i(v). Is y(11) a multiple of 3?
False
Does 7 divide 42/((-2)/(160/(-12)))?
True
Let u(x) = -x**3 - 12*x**2 - 15. Let o be u(-12). Let k = o + 15. Suppose y + 64 = i + 16, k = 3*i + 3*y - 162. Is i a multiple of 14?
False
Let l be 13 + (-1 - -10)/(-3). Suppose -t - 2 = -z - l, 12 = t - 3*z. Let x = t + 6. Is x a multiple of 3?
True
Is -5 + (-485)/(-95) - (-50781)/57 a multiple of 26?
False
Let d = 75 - 72. Suppose f - 435 = 3*r - 8*r, -5*f - 261 = -d*r. Does 10 divide r?
False
Does 21 divide (-5724)/(-265) - (-3)/(-5)?
True
Let p = 68 + -139. Let g = -34 - p. Is g a multiple of 19?
False
Suppose -3*r + 870 = 3*f, 4*r - f + 1151 = 8*r. Is r a multiple of 41?
True
Let z(a) = -2*a**3 - 28*a**2 - 26. Let b be z(-14). Let o = b + 176. Does 30 divide o?
True
Suppose -92*a + 97*a = 2385. Is 9 a factor of a?
True
Let n(b) = -b + 2. Let y(c) = -21*c + 50. Let j(v) = 6*n(v) - y(v). Is j(7) a multiple of 6?
False
Let c = 41 + -5. Suppose -4*f = 4*z - 48, -4*f + 0*f - c = -3*z. Is (-43)/(-2) + (-18)/z a multiple of 5?
True
Let j(k) be the third derivative of -k**5/60 - k**4/24 - k**3/6 - 11*k**2. Let f be j(-1). Is f - (3 + -9 + 2) a multiple of 2?
False
Let o(c) = -21*c + 7. Let z be o(13). Let a = z - -474. Does 12 divide 4/12 - a/(-6)?
False
Suppose 4*a - c - 20 = a, 0 = 4*a + 5*c + 5. Suppose 0 = -a*z + 539 - 44. Is z a multiple of 9?
True
Is 13 a factor of (-961)/(-2) + (-125)/(-50)?
False
Let g(n) = 126*n**2 + 13*n + 14. Let o be g(-4). Does 38 divide o/13 - 6/39?
True
Suppose -4*d - 279 + 87 = 0. Is 16 a factor of (1 - 46/6)*d/5?
True
Let o(r) = r**2 + 2*r - 1. Let b be o(2). Suppose 12 = -4*m + b*m. Suppose 5*x = -20, -x - 160 = -4*d + m*x. Is d a multiple of 24?
False
Let x(j) be the first derivative of j**3/3 + j**2/2 + 7*j - 3. Let y be (-8)/12 + 44/(-6). Is x(y) a multiple of 25?
False
Suppose 6*v + 0*v = 0. Suppose c + c - 128 = v. Is 25 a factor of c?
False
Let t(l) = -l**3 - 3*l**2 - l - 3. Suppose 3*x - 3 = -12. Let b be t(x). Suppose b = -4*p + 6 + 70. Does 4 divide p?
False
Let b be 8/20 - 954/(-15). Suppose -3*y + b = 2*y - 3*a, 4*y - 5*a = 59. Suppose -8*w - 42 = -y*w. Does 7 divide w?
True
Suppose 5*s - 19 = -i, s - 2 = -0*s. Let h = i + -3. Is 115/9 - h/(-27) a multiple of 4?
False
Suppose -2*k + 2*y = -192, -4*k + 3*y = 4*y - 369. Suppose -k*v + 845 = -88*v. Does 13 divide v?
True
Suppose 33 = -3*v + 3*q, -3*v + 4*q - 34 = 4. Let y = -715 - -742. Let d = y - v. Is 19 a factor of d?
False
Let z(h) be the second derivative of h**4/12 - h**3 - 3*h**2/2 - 7*h. Is 15 a factor of z(-3)?
False
Let f(d) = -61*d + d**3 - 54*d + 3 + 12*d**2 + 129*d. Suppose 2*a + 5*l = a - 25, -l = a + 13. Does 13 divide f(a)?
False
Let t(w) = -w**2 + 2. Let m be t(0). Let k be 103*2/(-4)*m. Let q = k - -175. Is q a multiple of 20?
False
Is (4/10)/(-2)*-655 a multiple of 6?
False
Let p be 4/(-6)*3 - 2. Let h(m) = 2*m**2 + 4*m - 2. Let w be h(p). Does 17 divide (-8)/28 + 242/w?
True
Let i(u) = -4*u**2 + 14*u - 6. Let g be i(-7). Let b = -186 - g. Does 30 divide b?
False
Let b be 3 - 1/((-4)/(-12)). Suppose 5*q - q - 20 = b. Suppose -q*x + 245 + 65 = 0. Does 13 divide x?
False
Suppose -w = 3*o - 132 + 40, 2*o = 5*w - 528. Let c = w - 20. Does 42 divide c?
True
Let h be 5 + (-1955)/(-30) - 1/6. Suppose y - h - 83 = 0. Is y a multiple of 35?
False
Suppose -515*d + 516*d = 892. Does 45 divide d?
False
Let z = -2390 - -4334. Is z a multiple of 72?
True
Does 53 divide 4 - (-108 - (-36)/6)?
True
Suppose 0 = 243*l - 230*l - 11349. Is 38 a factor of l?
False
Suppose -3*j - 5*l + 58 = -9*l, 2*j - l = 32. Does 10 divide (45/35 - 4/j)*30?
True
Let b(z) = 49*z**2 - 20*z + 81. Is 23 a factor of b(6)?
True
Let j(t) = t - 4. Let l be j(6). Let u(d) = -3 - 17*d - 1 + l. Does 9 divide u(-1)?
False
Suppose 3*y - 9 = 75. Let s = 9 + y. Is 27 a factor of s?
False
Does 21 divide (3220/16)/((-9)/(-108))?
True
Let h(c) = -c**2 - 15*c - 2. Let f be ((-4)/4)/((-5)/(-70)). Is 4 a factor of h(f)?
True
Suppose 3*a - 3140 + 485 = -5*d, 0 = -3*a + 15. Is 47 a factor of d?
False
Let f(p) be the third derivative of 7*p**2 - 1/24*p**4 - 2/3*p**3 + 0 + 1/60*p**5 + 0*p. Is 22 a factor of f(6)?
False
Suppose -12*y = -7*y + 20, -82 = -3*v + 4*y. Is v a multiple of 11?
True
Suppose 0 = n + 4*p + 17, 24 = -n - n - 3*p. Let z be (-330)/(-8) + n/(-12). Is 20 a factor of (-4)/8*0 + z?
False
Let y(f) = -26*f**2 - 171*f + 1. Is y(-5) a multiple of 4?
False
Let l be (4 - 28819/(-35)) + 6/10. Suppose l = 7*f - 3*f. Does 53 divide f?
False
Suppose h = -5*j + 1, 5 = j + 4*h + 1. Does 7 divide 56 - (j/(-3))/(-3)?
True
Suppose 0 = -35*j + 19*j + 18496. Does 17 divide j?
True
Suppose 0 = 7*k - 2*k - 70. Let z = 249 - 221. Let l = z + k. Is 21 a factor of l?
True
Suppose p - 198 = 16*x - 17*x, 8 = -4*x. Is 25 a factor of p?
True
Suppose h - 51 = -45. Suppose 0 = -h*i + 865 + 59. Is 14 a factor of i?
True
Suppose 4*x = q + 4648, 5*x + 5*q - 5801 = 4*q. Is 31 a factor of x?
False
Suppose 6*c - 10*c + 12 = 0. Suppose -2*u - 2*i = -452, 556 + 369 = 4*u - c*i. Is 13 a factor of u?
False
Let b = 13 - 22. Let i = 31 - b. Suppose -3*c = -23 - i. Is 6 a factor of c?
False
Let o = -488 + 2434. Is 41 a factor of o?
False
Let s(o) = 33*o - 9. Let z be s(11). Suppose -4*g + 184 + z = -3*f, 4*f + 672 = 5*g. Is g a multiple of 17?
True
Let x(s) = -s - 4. Let j be x(-7). Let m = -15 - -22. Suppose -j*i + 68 = 2*r, 2*i + 101 = 3*r + m*i. Does 15 divide r?
False
Let u = 1151 + -463. Does 14 divide u/7 - 28/98?
True
Let m = -155 + 488. Is 37 a factor of m?
True
Let g = -317 + 897. Suppose g = 5*f + 5*j, -f - 5*j + 100 = -12. Does 22 divide f?
False
Let p(o) = -47*o + 3. Let s = 112 + -115. Is p(s) a multiple of 9?
True
Suppose 9*m + 420 = 15*m. Does 10 divide m?
True
Suppose 14 = c + 9. Suppose -c*m + 9 = -3*b, -2*b - 2*b + 23 = 5*m. Suppose b*x - 5 = 7. Is 2 a factor of x?
True
Suppose 15 + 20 = 5*p. Suppose -p*x = -5*x. Is 14 a factor of 14 + x*3/(-12)?
True
Suppose -2*j = 3*j - 10. Let k(x) = 0*x**j + 4*x**3 + 5 - 3*x**3 - 7*x**2 + x**2. Is 5 a factor of k(6)?
True
Let w = -426 + 1046. Is 21 a factor of w?
False
Let v(c) = c. Let t(g) = 22*g + 17. Let i(f) = -t(f) + 6*v(f). Is i(-7) a multiple of 19?
True
Let u(c) = 7*c**2 + 2. Does 57 divide u(4)?
True
Let f = 382 - -8. Is 13 a factor of f?
True
Let x(a) = a - 3. Let c be 4 + -2 + 3*2. Let z be x(c). Suppose -l + 0*l + 27 = 4*o, -3*l + 39 = z*o. Does 4 divide o?
False
Suppose -5*w + 30 + 80 = 0. Let v be ((-4)/8)/((-2)/108 - 0). Let m = v - w. Is 5 a factor of m?
True
Let w be 134110/170 - (-6)/51. Suppose 3*q - w = -u, u - 5*u - 1052 = -4*q. Is q a multiple of 17?
False
Let z(m) = 74*m**2 - 2*m - 3. Is 12 a factor of z(-1)?
False
Suppose -56*r - 1674 = -65*r. Is 12 a factor of r?
False
Let a = -94 + 230. Does 4 divide a?
True
Is 11 a factor of (3 - (-743)/(-4))/((-9)/36)?
False
Suppose 0 = 6*o + 36 - 54. Let z(j) = 15*j + 4. Let w be z(3). Suppose f - o*n - 111 = -2*f, -w = -f - 3*n. Is f a multiple of 8?
True
Let d be 2/(-8) - 1131/52. Let v = d - -16. Is 4/v + (-838)/(-6) a multiple of 30?
False
Let y = -7 - -10. Suppose -y*t = t. Suppose 3*b - 5*b + 54 = t. Is b a multipl