= -4*g - 9. Suppose 5*w = 5*a + 160, 31 = -3*a - g*w - 71. Let f = a - -45. Is 4 a factor of f?
True
Let w(n) = n**3 - 11*n**2 - 25*n - 19. Let c be w(13). Let g(v) = -v**3 - 7*v**2 - 3*v + 20. Let l be g(c). Suppose -127 = l*j - 165. Does 4 divide j?
False
Suppose 5*n + 24660 = 5*z, -10*z + 4*n = -5*z - 24658. Is z a multiple of 82?
False
Let u = -10 - -14. Suppose 239 = u*b - 5*n, -b + 2*n + 93 = 31. Suppose o - 80 = 5*f, -4*f = 5*o + b - 601. Does 35 divide o?
True
Let x be 1*2 - 0/(-8). Suppose 3*s = b - x*s - 346, 5*b - 3*s = 1730. Suppose -4*t = t + f - b, 0 = 4*t - 5*f - 300. Is 14 a factor of t?
True
Suppose 0 = 2*v + 3*b - 22, -v - 4*b + 21 = -0*v. Suppose 0 = v*o - 189 + 9. Suppose 4*d = -t + 108, o = 2*d - 0*d + 5*t. Is 18 a factor of d?
False
Let x(a) be the first derivative of -a**4/2 + a**3 + 4*a**2 + 3*a + 468. Let g be (2/(-4))/(2/12). Is x(g) a multiple of 12?
True
Let h = 22 - 20. Suppose -h*q + 0*q = -3*u - 1300, 3*q - 5*u - 1948 = 0. Is 8 a factor of (q/24)/(2/3)?
False
Suppose -4*l + 95 = 3*v - 16, -2*v = -3*l - 57. Suppose 3751 = v*p - 4202. Is 3 a factor of p?
False
Let n(g) be the third derivative of g**6/20 + g**5/15 - 5*g**4/6 + g**3 + 21*g**2. Does 16 divide n(3)?
True
Let s = -5883 - -8743. Is 115 a factor of s?
False
Suppose -u + 5*z = 20 + 5, -u - 5 = -z. Suppose 3*f = -f + 2*b + 204, -3*f + 3*b + 150 = u. Is f a multiple of 13?
True
Let j = -188 + 533. Let s = -57 + j. Is 36 a factor of s?
True
Is 29 a factor of (-1 + 4)/(78727/(-39369) + 2)?
False
Suppose 104786 = 10*c - 14114. Suppose 0 = 40*t + t - c. Is 29 a factor of t?
True
Let z be (143/39 - -1) + (-4)/6. Suppose 0 = 2*h + 32 - 30, z*f = h + 1081. Does 6 divide f?
True
Let t(k) = -k**2 - 5*k + 3. Let r be t(-5). Let u(w) = -3*w**3 - 3*w**2 + 2*w + 1. Let g be u(3). Is 23 a factor of (-2 + -1)/(r/g)?
False
Let q(l) be the second derivative of 301*l**3/6 - 13*l**2 + 38*l - 2. Is q(1) a multiple of 55?
True
Suppose 77 = 5*o + m, -3*o - m = 3*m - 36. Suppose -14*k + o*k = 154. Suppose 5*p - 3*h = 479 - 94, -5*h = -p + k. Is 14 a factor of p?
False
Suppose -6*k - k + 0*k = 0. Suppose 5*w + a + a - 22 = 0, k = 5*w - a - 19. Suppose -26 = -3*u + w. Is 10 a factor of u?
True
Let q be 6/15 - (-1573)/5. Suppose 0 = 3*p - 6*t + 3*t - q, 2*t - 108 = -p. Suppose -p - 502 = -4*z. Is z a multiple of 21?
False
Let c(b) = 367*b + 245. Let m be c(-1). Suppose 2*u - 5*k + 1 = -400, 0 = -4*u - 3*k - 867. Let n = m - u. Is 16 a factor of n?
False
Suppose 12 = -4*y + 7*y. Suppose y*z = -6*t + 3*t + 467, 4*z + 632 = 4*t. Suppose -5*g + 6*g = t. Is 13 a factor of g?
False
Suppose -6*w + 2060 + 1990 = 0. Let s = w - -491. Is s a multiple of 53?
True
Suppose 2*z = -z + 24. Suppose 0 = -18*v + 15*v - 240. Is 10 a factor of v/(-12)*12/z?
True
Suppose 5*n = 2*i - 5, 2 - 1 = -n - 2*i. Is (5 - 39/4)/(n/8) a multiple of 14?
False
Suppose -250 = 22*a + 2764. Let l = -57 - a. Does 32 divide l?
False
Suppose 22*w + 37*w - 707016 = -30*w. Does 12 divide w?
True
Suppose -4*b = -3*r + 80828, 69*r = 65*r + 5*b + 107769. Does 35 divide r?
False
Let p be (-689)/(-5) - 18/(-15). Let y = 654 - p. Does 23 divide y?
False
Suppose 2*i - 3*p = 2201, -142 = -i - 5*p + 913. Is i a multiple of 5?
True
Let p(t) = -t**3 + 4*t**2 + t - 4. Let z be p(4). Suppose 5*v - 906 = v - 2*s, -4*v + 3*s + 881 = z. Is 16 a factor of v?
True
Suppose -3 = -9*n + 8*n. Suppose 3*g + 150 = n*h, 0 = -g + 2*g - 4. Suppose h = i - 75. Is i a multiple of 24?
False
Let j(n) = 67*n - 55. Let z(o) = 66*o - 53. Let h(x) = -3*j(x) + 4*z(x). Does 8 divide h(3)?
False
Let x(i) = -1563 - 5*i - 34*i + 1452. Is 57 a factor of x(-16)?
True
Suppose -4*y + 7832 = -c, -778 - 3152 = -2*y - 3*c. Is 13 a factor of y?
False
Let r(f) = 126*f**3 + 11*f**2 + 23*f - 1. Let b be r(-3). Let s = -1916 - b. Is s a multiple of 43?
False
Let s be 0 - 1 - -25*1. Let b be -11 + 345 - 40/4. Let c = b + s. Is c a multiple of 53?
False
Let w = 11 + -1. Is -180*(w/35 + 134/(-28)) a multiple of 38?
False
Let p = 6960 - 60. Is p a multiple of 8?
False
Let f(s) = 46 - 116 + 44 + 36 + 8*s. Does 11 divide f(7)?
True
Suppose w - 23 = -5*q, -2*q - w + 0 + 8 = 0. Suppose -4*u - 5*p - q = 0, -p = -0*p - 3. Let a = 284 - u. Is a a multiple of 17?
True
Suppose -3*b - b - 320 = 0. Let c be (11/(-4))/(5/b). Suppose 0 = 5*i - 31 - c. Is i a multiple of 9?
False
Let n(y) = -y - 14. Let t be n(-11). Let c be (t/(-4))/((-6)/(-984)). Suppose c - 338 = -3*u - w, 0 = 5*u + 4*w - 349. Does 14 divide u?
False
Suppose 6*x = -8*x - 3122. Let q = 371 + x. Does 25 divide q?
False
Let v(a) = -68*a + 1147. Is v(-46) a multiple of 25?
True
Let t be (-360)/(-7) + (-18)/42. Suppose 5*m - t = -26. Suppose 144 = m*z - z + 3*b, -2*b + 148 = 4*z. Does 13 divide z?
True
Let k = -9 - -13. Suppose 9*j - k*j = 230. Let u = -5 + j. Is u a multiple of 13?
False
Let f = -36 - -36. Suppose f = -5*d + 29 + 6. Let t = d + 27. Is 23 a factor of t?
False
Does 70 divide (39/(-26))/(-3)*11416?
False
Suppose -14 = r + 4*d - 4, 2*d = 0. Let a(m) = m**3 + 13*m**2 - m - 22. Is 23 a factor of a(r)?
False
Let k(b) = -23*b**2 + 2*b. Let m be k(1). Let q = -21 - m. Suppose -3*d + 126 = -q*d - 4*p, -239 = -5*d - 3*p. Is d a multiple of 18?
False
Let k be (2564/(-10))/(76/190). Let s = k - -990. Is s a multiple of 31?
False
Let o(t) = 82*t + 50. Let d(b) = 83*b + 50. Let n(g) = -4*d(g) + 3*o(g). Is 18 a factor of n(-8)?
False
Suppose -4*s - 17 = -y, -5*y + 16*s - 14*s = -121. Suppose -y*t + 168 = -23*t. Is 21 a factor of t?
True
Let x be -7*22/77 - (-12)/2. Let c(y) = 36*y + 36. Does 6 divide c(x)?
True
Is 0 + 626/14 + (-20)/(-70) a multiple of 45?
True
Let l = 1121 + 839. Suppose -6*b - 5*u = -b - l, 3*b - 1166 = -u. Is 13 a factor of b?
False
Let a be -2 + 0 + -9 + 9 + -2. Let x(j) = 25*j**2 + 22. Does 35 divide x(a)?
False
Suppose -8 = -t - k + 21, -3*k - 57 = -3*t. Suppose 4*z - 2*j = 18, 0 = -2*j - 0*j - 10. Suppose -t = -z*g + 18. Does 18 divide g?
False
Let j(r) = -7*r**3 + 10 + 11*r + 2 + 11*r**3 - 5*r**3 - 9*r**2. Let h be j(-10). Does 15 divide (h/(-5))/((-1)/145)?
False
Suppose -4*c - 22 = 3*m + 12, 0 = -5*m - 5*c - 65. Is (-1722)/m + 2/6 a multiple of 6?
True
Let p be (3268/95)/(3 - (-56)/(-20)). Let f = 152 - 35. Suppose -f = -o + p. Is o a multiple of 36?
False
Suppose -81*i - 47040 = -145*i. Does 105 divide i?
True
Let p = 251 + -1042. Let n = -685 - p. Is 15 a factor of n?
False
Suppose -12163 = -3*a - 2*t, -5*a + 24479 = -6*t + 4282. Is a a multiple of 15?
False
Suppose 0 = 5*u - 5*l - 112685, 2*u - 3*u + 22534 = 2*l. Is u a multiple of 10?
False
Let a be ((-10)/(-4))/5*0. Let x be a - ((-4)/3)/(4/6). Suppose t + 6*i - 2*i = 23, -x*t + 16 = -2*i. Is t a multiple of 2?
False
Suppose -153*q + 151*q + 6 = 0. Suppose -2*i = 4*b - 1480, -4 = q*b + 5. Is i a multiple of 42?
False
Suppose 0*i + 4*i = -12*i + 981136. Does 296 divide i?
False
Suppose 158 = 2*k - 3*x, x - 310 = -3*k - 95. Suppose 0 = 4*q - 3*g - 496, k = 3*q - g - 299. Is q a multiple of 31?
True
Suppose 4*v + 0*v - 5*f = -56, 4*f + 29 = -5*v. Let g be 3 + v - 6/6. Let p(l) = -l**3 - 5*l**2 - 5*l - 13. Is 15 a factor of p(g)?
True
Suppose 87*g - 1313280 = 57*g - 114*g. Is 152 a factor of g?
True
Suppose 0 = -116*g - 48*g + 228288. Is 116 a factor of g?
True
Let y(p) = -51*p - 85. Let b be y(-10). Suppose -4*w = -a - b, -110 = -5*w + 4*w - a. Is 17 a factor of w?
False
Let g(v) = -2*v**2 - 2*v + 5. Let j be g(-6). Let f = j - -55. Suppose 77 = 3*c + 5*k, -117 = -f*c - 3*c + 3*k. Does 17 divide c?
True
Let b = -40507 - -61122. Does 60 divide b?
False
Suppose 0 = -n + 5*i + 1019 + 1531, -2*n = -5*i - 5135. Is 47 a factor of n?
True
Does 53 divide (28*9)/(82/3649)?
False
Let x = -912 + 494. Let w = 738 + x. Does 64 divide w?
True
Let v(g) = 3*g**2 - 2*g**2 + 2*g**2 + 21*g + 6*g + 23. Does 57 divide v(-15)?
False
Let b(h) = -63*h - 261. Does 69 divide b(-60)?
True
Let n = -11 - -11. Suppose n = 4*w - 27 + 7. Suppose -4*x - 2*g = -452, 7*x - g = w*x + 222. Is 28 a factor of x?
True
Let a = -979 - -5984. Is 18 a factor of a?
False
Let r(k) = k**3 - 25*k**2 - 41*k + 26. Let h be r(27). Suppose -5*n = -j - 401, h - 138 = 3*n - j. Does 27 divide n?
True
Let c(k) be the first derivative of 2*k**3/3 + 3*k**2/2 - 9*k - 17. Let j be c(-5). Let m = 69 - j.