17*y**5/30 - 23*y**4/24 - 25*y**3/6 - 272*y**2. Does 10 divide o(-9)?
True
Let j = 108 - 104. Let h be -2*(-18)/j + -5 + 2. Is 7 a factor of (39/h)/((-5)/(-10))?
False
Let g be 14*((-3)/(-12) - 2/(-8)). Is 12 a factor of 94 + -3 + (g - (-1 - -3))?
True
Let a(s) = -2*s**3 + 161*s**2 + 27*s - 1. Is 16 a factor of a(80)?
False
Suppose 45*g = 43*g + 22726. Is 93 a factor of g/6 - (-132)/792?
False
Let z(i) = 2*i**2 + 4*i + 5. Let x be z(-2). Suppose 3*b - 5*k = -210, -184 = x*b + k + 194. Let m = 17 - b. Does 23 divide m?
True
Let w = 7582 - -10527. Is 13 a factor of w?
True
Suppose p - 20 = -w + 4, -4*w + 36 = p. Let g = p + -16. Suppose g*i = -i - 5*x + 115, 33 = i + 3*x. Does 12 divide i?
False
Let g = -185 - -180. Does 72 divide (4 + g)/(1000/(-998) - -1)?
False
Suppose 0*t = -12*t + 2*t. Suppose -3*a - 16 + 31 = t. Suppose a*r = 21*r - 3216. Is 26 a factor of r?
False
Let q(r) = 5*r**3 - 2*r**2 - 22*r - 160. Is 13 a factor of q(10)?
True
Let n be 8/(-18) - (-275)/(-495). Let z(a) = -554*a + 11. Is 6 a factor of z(n)?
False
Let j(r) = r**3 + 4*r**2 + 14. Let w be j(-10). Is 45 a factor of (0 + -10)/(-2 + (-1168)/w)?
False
Let b(i) = 4*i**2 - 18*i - 9. Let v be b(26). Suppose 1197 + v = 2*z. Is z a multiple of 107?
True
Suppose -14*c + 22*c = 8. Is 9 a factor of c*210/(-5)*-9?
True
Is 59 a factor of ((-7)/(-2))/((-325692)/(-32568) - 10)?
True
Suppose 11160 = -3977*c + 3978*c. Is c a multiple of 16?
False
Let g(d) = -d - 1. Let t(k) = -k - 28. Let u be t(-24). Let q be g(u). Suppose 2*l + q*l = 5*j + 160, -2*l = 4*j - 46. Is 9 a factor of l?
False
Suppose -3*h + 6 = 0, 5*v - 4*h + h + 1 = 0. Suppose v = w, -4*w + 2931 - 1077 = 5*l. Does 10 divide l?
True
Let q be 1/(-2)*2*6/2. Let d be q/(-2)*(-7)/(63/6). Does 15 divide 12*(39/4 + d)?
True
Suppose -5*p + 2*g - 175 = 0, -19 = 2*p - 5*g + 30. Let l(z) = -5*z + 235. Is l(p) a multiple of 12?
True
Let z(i) = -17*i**2 - 7*i - 5. Let d(a) = -9*a**2 - 4*a - 3. Let u(o) = 5*d(o) - 3*z(o). Suppose 2*j - 16 = 5*v, 5*j - 3*v + 2 = 4. Is u(j) a multiple of 14?
False
Let r(d) = -24*d + 2. Let c be r(0). Suppose -5*x + 93 = -6*m + 7*m, -4*m + c*x = -306. Is 2 a factor of m?
True
Let y be 6/(-24) - 857/(-4). Let o = y + -341. Let k = o + 141. Is k even?
True
Let d be 1/(5/3) + 1802/5. Let u = 413 - d. Does 2 divide u?
True
Let z = 41627 + -40066. Does 7 divide z?
True
Let l be (-5 + 5)/4*(-1)/2. Suppose l = -6*s + 3*s + 552. Let o = s - 85. Does 12 divide o?
False
Suppose -5*n - 5 = 0, 3*n + 151 = -4*v + 28. Let c be (-786)/(-9)*v/2. Does 11 divide c/(-20) - (-1)/2?
True
Let r be ((4 - 5) + -1)*2933/(-14). Suppose -6*u + 3*u = 2*d - 254, 5*u - r = d. Is 13 a factor of u?
False
Suppose 30*v + 4*g = 35*v - 9290, 2*v - 2*g - 3716 = 0. Does 4 divide v?
False
Let u(g) = -29*g**3 - 34*g**2 + 11*g + 36. Does 53 divide u(-5)?
True
Let j(x) = -x**3 - 17*x**2 - 22*x + 25. Suppose 25 + 213 = -14*p. Does 27 divide j(p)?
False
Let a(k) = -3*k + 5*k + 10*k**2 - 3*k - 3*k. Let g be a(-3). Suppose 4*b = 3*o + 137, 0*o + g = 3*b - 3*o. Does 9 divide b?
False
Let l = 263 + -223. Is 20 a factor of ((-14490)/l)/(6/(-16))?
False
Suppose 1140 = 6*u + 438. Let r = u + -86. Does 2 divide r?
False
Let x(s) = -s**3 + 9*s**2 + 10*s - 60. Let p = -63 + 71. Is x(p) a multiple of 4?
True
Suppose -5*s - 5 + 25 = 0. Suppose -s*u + 418 = 3*c - 862, 5*c + u - 2156 = 0. Is 72 a factor of c?
True
Let k(p) = 9*p**3 + 5*p**2 + 18*p - 3. Let s(u) = 11*u**3 + 5*u**2 + 19*u - 2. Let y(q) = -6*k(q) + 5*s(q). Is y(8) a multiple of 16?
True
Suppose y - 246 = -65. Does 3 divide y?
False
Let c(y) = -y**3 - 9*y**2 - 5*y + 16. Let d be c(-8). Let u(o) = 9*o**2 - 8*o - 20. Is u(d) a multiple of 31?
True
Suppose 1021 = 5*s + 2*x, 3*s - 2*s + 5*x - 218 = 0. Suppose -23 = 3*c - s. Does 23 divide ((-20)/c)/((-2)/438)?
False
Suppose -54*q - 16*q + 1664600 = -0*q. Does 137 divide q?
False
Let x(h) be the first derivative of h**6/360 - 11*h**5/120 - 7*h**4/12 + 10*h**3/3 + 4. Let w(a) be the third derivative of x(a). Does 4 divide w(13)?
True
Let y(j) = -1877*j - 3040. Is y(-5) a multiple of 69?
False
Suppose -27*h + 55*h = -167104. Does 26 divide (-10)/(-4)*h/(-40)?
False
Let v(r) = -3*r**2 - 11 + 3*r**2 + 40*r - 42*r + r**2. Is 8 a factor of v(-5)?
True
Let w be ((-28)/42 + 2/(-6))*-1476. Suppose 4*y = -v + 1484 - 32, -4*y + w = -5*v. Is y a multiple of 28?
True
Let g(n) = n**3 + 4*n**2 - 2*n + 9. Let x be g(-5). Let t be -1*(-1 - x - 4). Is 14 a factor of t/3 + 1300/75?
False
Let g(t) = -t**3 + 74*t**2 - 54*t - 465. Does 9 divide g(73)?
False
Suppose -33*f = -6794 - 16174. Suppose -y - 2*w + f - 236 = 0, 2*y + 2*w - 920 = 0. Does 23 divide y?
True
Suppose 726959 = 66*w + 33497. Is 133 a factor of w?
True
Suppose -20001 = -4*m - c, -m - 5*c + 1415 + 3552 = 0. Does 6 divide m?
False
Suppose -f + 2 = 0, 2*d + f - 2*f - 52 = 0. Suppose -d*o = -8*o - 5016. Is o a multiple of 66?
True
Let n(l) = 28*l - 40. Let w be n(-20). Let k = 897 + w. Is k a multiple of 83?
False
Let v be (-2268)/105*(-175)/2. Suppose 22*g - 32*g = -v. Does 21 divide g?
True
Does 75 divide (-123 + 2637)*93/9?
False
Suppose 2 = -3*z + i, 0 = 4*z - 11*i + 16*i - 29. Let q = z - -131. Is 12 a factor of q?
True
Let l = -5275 + 5950. Does 135 divide l?
True
Suppose -5*p + 2453 - 58 = 0. Let n = p + 1281. Suppose 9*t - 5153 = -n. Does 35 divide t?
False
Suppose -5*r - 31 - 9 = 0. Let a = r + 50. Suppose 2*h - 70 = a. Is 10 a factor of h?
False
Let m(x) = 1905*x + 5346. Is m(7) a multiple of 15?
False
Let x = 39840 + -7417. Is 8 a factor of x?
False
Let z be (-1)/3*-3*6. Suppose 5*a - z*a - 2*p = -66, 0 = 4*a + 2*p - 270. Does 21 divide a?
False
Let n(b) = -37*b - 12. Let p be n(-4). Let f = p - -167. Does 12 divide f?
False
Let j(v) = 6*v**2 + 32*v + 10. Let h be j(-5). Suppose -5*r - 162 + 2077 = h. Does 20 divide r?
False
Suppose -2*u + f - 7 + 10 = 0, 5*f - 25 = 0. Suppose -h + 6*o = 4*o - 38, -154 = -3*h - u*o. Is 24 a factor of h?
False
Suppose 0 = 5*w + r - 23, 3*w - 8*r + 3*r = -3. Suppose -w*x = -2*x - 98. Suppose -4*p = -l + 29, -l - p = l - x. Is l a multiple of 3?
False
Let q = 6 - -2. Suppose -3*o - 52 = -q*o + 4*w, 2*o - 14 = 5*w. Does 13 divide (1352/12)/(8/o + 0)?
True
Let q = -323 + 354. Suppose q*x = 2610 + 5946. Is 13 a factor of x?
False
Let l = 359 - 661. Let u = -270 - l. Is u a multiple of 15?
False
Let p(z) = 2*z + 39. Let w be p(-19). Let t be (4 - -30) + (w - -1) + 0. Suppose 39*g - t*g = 315. Is g a multiple of 12?
False
Let t(j) = -3*j**3 - 38*j**2 + 53*j - 13. Is t(-20) a multiple of 11?
False
Let b = -2351 + 4235. Suppose -b = -11*z + 734. Is 34 a factor of z?
True
Let j be (-24)/(-28) - (-16185)/(-91). Is 6/33 - j/66*142 a multiple of 24?
False
Let r(l) = 2*l**3 - 17*l**2 + 14*l + 489. Is r(21) a multiple of 18?
True
Is (-2405636)/(-4335)*15/2 a multiple of 31?
False
Let d be -2 - -1226*(-2)/4. Let k = 6540 + -6552. Is 14 a factor of (-99)/k - 8 - d/4?
True
Is (-10 - -26)*(22 - -8) a multiple of 24?
True
Let r be 6/33 - 456/(-33). Suppose 5*d - r = -2*k - 3, 4*k + d - 13 = 0. Suppose 0 = -2*w + k*w - 104. Is 33 a factor of w?
False
Suppose 426*n - 170*n - 3045120 = 0. Is 61 a factor of n?
True
Suppose f = -t + 4*t + 189, -130 = 2*t - 2*f. Let k = 14 - t. Suppose -2*b + 2*m + k = 0, -3*m = -4*b - m + 144. Is 28 a factor of b?
False
Suppose 2*k + 2*v + 26299 = 73547, -47213 = -2*k + 3*v. Is k a multiple of 113?
True
Let a(o) = -o**3 + 52*o**2 + 44*o - 825. Does 60 divide a(51)?
True
Suppose 0 = -2*i - b + 4*b + 477, -4*b = 3*i - 673. Let o = i - -136. Is o a multiple of 55?
False
Let t = -4157 - -8297. Is t a multiple of 92?
True
Let w = 253 + -236. Suppose w*x = 23*x - 216. Does 4 divide x?
True
Let d(p) = -p**3 + p**2 + 5*p - 6. Suppose -l - 14 = -8*l. Let f be d(l). Suppose f = 10*a - 4191 + 491. Is 37 a factor of a?
True
Suppose 5*r - 28636 = 11049. Is 57 a factor of r?
False
Suppose -179978 = 69*t - 1615523. Is t a multiple of 219?
True
Let z(h) = -245*h + 6262. Is 3 a factor of z(20)?
True
Let h(b) = 2*b + 22. Let c be h(-6). Suppose 3*j = 8*j - c. Suppose -g + j*n = -109 + 10, 4*n = -4*g + 360. Is 25 a factor of g?
False
Let z(a) = a**3 - 11*a**2 + 8*a + 8. Let x be z(10). Is 5 a factor of x/(-10)*(-1430)/(-39)?
False
Let o = 320 + 341. Suppose w - o = 10. Is w a