s y a multiple of 3?
False
Let z be (-2)/(-7) + 2546/7. Suppose -9*o - 542 = -1658. Suppose -s - 4*u = -o, z = 3*s - 2*u - 50. Does 26 divide s?
False
Let g = -220 - -221. Is 11 a factor of (g - 91)/(0 - 1)?
False
Let a = -265 + 381. Let s be 6/4*(-3 - a/(-12)). Suppose 56 = 3*v + 2*o, -26 + s = -4*o. Does 16 divide v?
True
Suppose -5*q = 2*q - 14. Does 5 divide (q - 64/12)*-75?
True
Let t be (6 + -4)/(1/137). Let s = -150 + t. Does 5 divide s?
False
Let l be ((-8424)/120)/((-2)/(-10)). Let j(c) = -c**3 - 11*c**2 - c + 7. Let k be j(-9). Let w = k - l. Is w a multiple of 41?
True
Let i(o) = o**2 + 26*o - 254. Let p be i(-39). Let c = -6 - -11. Suppose -78 + p = c*y. Is y a multiple of 7?
True
Is 12 a factor of 7/(84/(-8))*(-19898 - -50)?
False
Let c(p) = p**2 - 10*p + 7. Let n be c(10). Let m(u) = 24*u - 6. Let a be m(n). Suppose -a = -5*o + 428. Is o a multiple of 20?
False
Suppose 4*o + 69 + 11 = 0. Let f be -2 + o*2/(-4). Let k(u) = u**2 + 7*u + 11. Is 37 a factor of k(f)?
False
Let f = -19124 - -32340. Is 16 a factor of f?
True
Suppose 0 = 5*x - 15, 2*x - 15669 = -5*z + 2707. Is z a multiple of 32?
False
Suppose -47*r - 44*r = -32*r - 408280. Is 40 a factor of r?
True
Is 19 a factor of (38/4)/(5*1 + 525883/(-105186))?
True
Let j(k) = k**3 + 2*k**2 + k + 66. Let c(n) = -3*n + 1. Let o be c(-1). Let b be (-24)/(-16) - ((-6)/o)/(-1). Is 33 a factor of j(b)?
True
Let v = -26 + 34. Let m be (-934)/6 - v/(-12). Is (1 + 2)*m/(-15) a multiple of 6?
False
Let u = 9 - 7. Suppose -3*d - 2*s = d - 2962, -u*d - 4*s = -1478. Suppose 147 - d = -3*c. Is c a multiple of 33?
True
Suppose -8*m + 37 - 101 = 0. Is (-181447)/(-392) + (-1)/m a multiple of 56?
False
Suppose 1102 = -8*x + 37*x. Suppose x*s - 25560 = 8*s. Does 33 divide s?
False
Let y(g) = -115*g + 1691. Is 80 a factor of y(-35)?
False
Suppose -26*v - 86647 = -315837. Does 41 divide v?
True
Suppose -3*i = 2*b - 18, -3*i - 4*b + 3 = -15. Does 9 divide 3/i - 0 - 565/(-10)?
False
Let b = 40983 + -28467. Does 23 divide b?
False
Suppose -y - 2 + 3 = 0. Let f be y*(3/1 + 0). Suppose -5*b - t + 3*t = -780, f*b = 3*t + 477. Does 29 divide b?
False
Let k(z) = -147*z**2 - 3*z + 4. Let i be k(1). Let g = -108 - i. Is g a multiple of 38?
True
Let r(f) = -f**2 + 70*f + 26. Let y be r(0). Suppose 0 = 5*b - 5*p - 10, -4*b + 4*p + 9 = b. Is 30 a factor of (99 + b)*39/y?
True
Let z(d) = d**3 + 17*d**2 - 36*d + 44. Let x be z(-19). Is 9/x*396/27 even?
True
Suppose 2*f + 4382 = u, -5647 = 2*u + 5*f - 14465. Does 26 divide u?
True
Suppose 9*t - 38 = -11. Suppose -5*s - 381 = w - 0*w, t*s + 243 = 3*w. Let f = s - -101. Is f a multiple of 3?
True
Suppose 14*c = 15*c - 46. Suppose -b + 66 + c = 0. Is b a multiple of 8?
True
Let u be 490*(12/16 + (-2)/8). Suppose -2*a = -u - 379. Is a a multiple of 13?
True
Let h = -1548 - -1750. Is h a multiple of 8?
False
Let a(l) = 4*l**3 + l**2 + l - 1. Let g be a(1). Let c = 2412 - 2092. Suppose -2*z = -f - 106 - 25, f + c = g*z. Is 9 a factor of z?
True
Suppose -123*b = -488*b + 888045. Is 7 a factor of b?
False
Suppose -1 = -z - 4*l - 3, -l = 1. Is 4 a factor of (-47)/((-4 - -1) + z)?
False
Let t(i) = i**2 + 5*i - 12. Let v be t(-8). Suppose -m + v = -4*m, -2*j + 3*m + 332 = 0. Does 5 divide j?
True
Suppose -8*v + 1030 = 2*v. Let t = v - 70. Does 14 divide t?
False
Let w(x) = -x**3 + 13*x**2 + 14*x + 3. Let t be w(14). Let l(v) = 2*v**3 + t*v**2 + 1 - 3 + 2*v + 2*v**3 + 2*v. Does 29 divide l(3)?
True
Let u(v) = -248*v + 121. Let s(f) = -744*f + 364. Let b(i) = 4*s(i) - 11*u(i). Does 27 divide b(-2)?
True
Let u = -24543 + 26811. Is u a multiple of 14?
True
Let i(h) = -111*h - 29. Suppose 4*t + 2*a - 1 = t, t = -4*a + 17. Does 32 divide i(t)?
False
Suppose 45*i + 33276 = 163*i. Is i a multiple of 21?
False
Let i(t) = 2373*t**2 - 109*t - 486. Does 13 divide i(-5)?
True
Let x(y) = -2739 + 2937 - 3*y - 95*y. Does 47 divide x(-7)?
False
Let u(l) = -12*l**3 - l**2 + 7*l + 7. Let s be u(-1). Suppose -35 = -s*m + 6*m. Suppose 2*f = -2*c + 16, -3*c + m*c - 14 = 2*f. Does 2 divide f?
False
Suppose 0 = -k - 4, 0 = -3*v - k - 0*k + 86. Let t be v/4*36/5. Suppose -3*n + 12 = 0, -u + 13 + t = n. Does 20 divide u?
False
Let z be (-12)/6*(0 + (-1 - 0)). Suppose 424 = z*d - r - 633, -2*r = -10. Is 59 a factor of d?
True
Let t be 5/((-60)/(-8))*3. Suppose t*p - p = 8*p. Is 83 + 2/(4/(-6)) + p a multiple of 10?
True
Let s be (-1340)/(-11) + 2/11. Suppose -w - x + s = 0, -3*x - 364 = -2*w - 95. Is w a multiple of 37?
False
Let b = 731 + 74. Let v = b - 689. Does 5 divide v?
False
Let d = 8 + -272. Let g = d - -450. Is g a multiple of 7?
False
Suppose -33900 - 746421 - 354123 = -51*r. Is 134 a factor of r?
True
Suppose -17879 - 1842 = -13*z. Is 41 a factor of z?
True
Let i(c) = -5*c**2 + 32*c + 19. Let d(p) = -p**2 + 2*p + 1. Let u(x) = -4*d(x) + i(x). Does 16 divide u(14)?
False
Let r(u) be the first derivative of u**3 + 13*u**2 - 109*u - 138. Is 36 a factor of r(11)?
True
Let n be 24/(-40) + 1236/10. Let x be (0 - 58) + 4 + -5. Let i = n + x. Is i a multiple of 20?
False
Let d be (-4 + 1)/(9*(-7)/84). Suppose 3*s = -0*p + d*p - 273, 5*s + 345 = 5*p. Does 6 divide p?
True
Let j(v) = -15*v - 26. Let l be j(-2). Suppose 0 = l*k - 4*s - 136, 2*k + 2*s - 68 = -4. Is k a multiple of 11?
True
Let l(m) be the second derivative of 1/3*m**3 + 1/20*m**5 - 2*m + 27*m**2 + 0 + 2*m**4. Is 3 a factor of l(-24)?
True
Let k(s) = 91*s**2 - 19*s - 302. Is 59 a factor of k(-7)?
False
Let s be (3 + 2/(-1))/(10/1480). Suppose t + 12*i - s = 17*i, 3*t - 3*i = 492. Is t a multiple of 21?
True
Let v be 11/((-66)/(-54)) + 144. Is 7 a factor of 378/(-9)*v/(-54)?
True
Let d(m) be the third derivative of -m**6/120 + 7*m**5/60 + m**4/6 + m**3/3 - 3*m**2. Let x be d(8). Is 12 a factor of (4 + (x - -1))*24/(-5)?
True
Let q be 8 + 60/(-8) + 3194/4. Let p = 1412 - q. Is p a multiple of 21?
False
Let d = -8481 + 14454. Does 33 divide d?
True
Is 2/(8/252868) + 3 + 3 + -6 a multiple of 23?
False
Let x = 92 - 89. Is (2 - 77)/(x/(-18) - 0) a multiple of 7?
False
Let t = -57 - -59. Suppose a + 136 = 4*b, -t*b + 68 = 5*a - 7*a. Let q = -11 + b. Is q even?
False
Let b(m) = -3*m + 226 - 224 - 9*m. Let z = 26 - 28. Is b(z) a multiple of 19?
False
Does 13 divide 69*(8*-1 - (-7398)/162)?
False
Suppose 3*x = -2*r + r + 7, -r = -x + 5. Suppose -x = -3*g + 9. Suppose 0 = -g*l - 0 + 20, 0 = -u - 2*l + 167. Is u a multiple of 34?
False
Let t = 432 + -308. Let u = t + -40. Does 21 divide u?
True
Suppose 8*j = 12929 - 1057. Let r = j + -134. Does 46 divide r?
False
Suppose 11 - 5 = r - 2*t, -4*r + 4*t = -16. Suppose 0 = -r*p - 2*o + 1998, -o = 3*p - 21 - 2978. Is 20 a factor of p?
True
Let w be (-43 + 40)/(1 - (-10)/(-4)). Suppose 2 = 5*l + 4*q, 0*l - l = w*q + 2. Suppose -u - t + 72 = 0, -l*t - 1 + 9 = 0. Is 4 a factor of u?
True
Suppose 7440 = -8*z - 4*z. Is 46 a factor of -1 + -2 - (z - 27)?
True
Let w = 24 + -17. Let q be (-5 - -4) + -5*w. Is (-714)/q + 1/6 a multiple of 4?
True
Let j be -2 + (-16 + 1 - -2). Suppose 1 = -5*y - 9, 0 = 3*d + 4*y - 262. Let h = j + d. Does 25 divide h?
True
Let n be 24 - 4 - (1 - 0). Let d = n - 24. Let r(l) = -l**3 - 5*l**2 - 11*l - 4. Is 28 a factor of r(d)?
False
Suppose -n + 2*n = -95. Let x = n - -44. Let b = 59 + x. Is b a multiple of 8?
True
Let j = -23 + -2. Let v be (j/4 + 1)/(10/(-1280)). Suppose -9*p + v = -201. Does 13 divide p?
False
Let c be 9/6*((5 - 4) + 1). Suppose -k - c = -27. Is 3 a factor of k?
True
Let g be 7652/9 + -2 - (-2)/(-9). Let z = 1094 - g. Is z a multiple of 41?
True
Suppose -11*q = -10*q. Suppose 2*c + 3*v - 1211 = 0, -3*c + 0*v + 4*v + 1774 = q. Is 26 a factor of c?
True
Let k(y) = 510*y + 6278. Is 73 a factor of k(0)?
True
Let k(z) = 67*z**3 + 10*z**2 - 112*z + 332. Does 180 divide k(8)?
True
Let z(j) = 1. Let a(n) = -n**2 - 3*n + 5. Let c(m) = -a(m) + 5*z(m). Let u be c(-4). Suppose u*y = 452 - 32. Is y a multiple of 21?
True
Let k(c) = 5*c - 5. Let y be k(13). Suppose -65*a + y*a = -405. Let f = a + -9. Does 23 divide f?
False
Let d(m) = -87*m + 100. Let t be d(20). Let o = t + 3341. Does 63 divide o?
True
Let f be (2/6*-113)/(28/(-84)). Suppose -b = g - 39, 2*b = 3*g + b - f. Suppose 196 = 3*k - g. Does 26 divide k?
True
Let p(q) = 13*q - 13. Let c(y) = -2*y + 31. Let j be c(1