y = -g*y - 5499. Is 9 a factor of y?
True
Let g(z) = -14*z + 10. Let i(h) = h + 1. Let a(c) = -2*g(c) - 6*i(c). Let p be a(4). Suppose -r + 2*f = -5*r + 100, 2*r + 4*f - p = 0. Is r even?
False
Let v be (-2)/(6/(-6))*-156. Does 28 divide (v/(-42) - 8) + 6280/14?
True
Let j(c) be the third derivative of c**5/20 - c**4/2 - c**3/3 - 10*c**2. Let x be j(5). Suppose -67 = 12*i - x*i. Does 17 divide i?
False
Let f(n) = n**3 - n**2 - 3*n - 2. Let y be f(4). Let l be ((-9)/6)/((-2)/4 - 0). Suppose -s = -l*o + o - y, 3*o = 6. Is 18 a factor of s?
False
Let w = -52 + 54. Suppose -w*n + 404 = -16. Suppose 0 = 7*h - 12*h + n. Is 6 a factor of h?
True
Let d(u) = -u**3 - 6*u**2 - 10*u - 16. Let a(z) = -z**3 - 30*z**2 - z - 38. Let l be a(-30). Does 10 divide d(l)?
False
Suppose -5*i = p + 13, 5*i + 4*p + 0*p = -7. Is 23 a factor of (i*(2 + -3))/((-9)/(-4296))?
False
Suppose -5*g = -z + 33, z - g - 1 - 24 = 0. Suppose 0 = -z*b + 24*b - 55. Does 3 divide b?
False
Suppose -411*x + 408*x = -7539. Is x a multiple of 3?
False
Is 228 a factor of ((-45797)/(-82))/((-220)/(-72) + -3)?
False
Let x(s) be the first derivative of -45*s**2 - 76*s + 60. Is x(-2) a multiple of 26?
True
Suppose -x - 546 = -4*x. Let b(a) = -10*a**3 - 2*a**2 + a + 4. Let l be b(2). Let v = x + l. Is v a multiple of 50?
True
Let s be (-71)/(-4) - (-41)/164. Suppose s*v + 4*v - 5038 = 0. Does 22 divide v?
False
Suppose -699*l = -663*l - 423360. Is 20 a factor of l?
True
Let m = 34 + -10. Suppose 5*x - 3*t + m = -3, t = 3*x + 13. Does 10 divide (x + 23)/((-3)/(-30))?
True
Suppose 0 = -q - 0*q - 3. Let n = q - -51. Let z = n + -33. Does 15 divide z?
True
Let u = -1402 + 2242. Is u even?
True
Suppose -92*w + 6580 = -99*w. Let v = w + 1044. Is v a multiple of 8?
True
Let d = -11737 + 24874. Does 27 divide d?
False
Is 142 a factor of 738/984 + (-11417)/(-4)?
False
Let v = 493 + -333. Suppose 170 = -5*c + v. Let y = 39 + c. Is y a multiple of 14?
False
Suppose 5*w - 25225 = -5*c, -18*c + 13*c + 5037 = w. Is w a multiple of 182?
False
Suppose 11 - 11 = 30*d. Suppose 5*s + 5*w = -d*w + 65, -5*s - 2*w + 56 = 0. Does 5 divide s?
True
Let c be 26*(-1)/(-5) + (-53)/265. Suppose 3*j - c*j + 196 = -2*n, 4*j - 389 = n. Does 4 divide j?
False
Let p(j) = 37*j**2 - 6*j + 4. Let u be p(-6). Suppose 22*s = 3380 + u. Is s even?
True
Let y(a) = a**2 - 14*a - 31. Let p(c) = -28*c**3 + 2*c**2 + 3*c + 1. Let m be p(-1). Does 19 divide y(m)?
True
Let m = 178 + -782. Let y = -380 - m. Is 32 a factor of y?
True
Let g(y) = -y**2 - 17*y + 21. Let a be g(-18). Let r be a*(-5)/15*1. Is 7 a factor of 71 - (2 + -3)*r?
True
Let h(x) = -2*x + 107. Let y be h(-13). Suppose 1253 - y = 7*q. Does 16 divide q?
True
Let h(p) = p**3 - 4*p**2 - p + 7. Let r be h(4). Suppose -5*b - 73 = 2*z - 3*z, -5*z + 393 = r*b. Let a = z - 54. Does 3 divide a?
True
Suppose 17880 = 41*a - 1164027. Is 18 a factor of a?
False
Suppose 0*v - 362306 = -49*v. Does 8 divide v?
False
Suppose -5*b = -0*b - 9025. Let y = 49 - -591. Suppose -b = -5*k - y. Does 31 divide k?
False
Suppose 29*s - 28*s + 5*f - 1278 = 0, -4*s + 5*f = -5162. Suppose -1265 = -s*y + 1287*y. Is 55 a factor of y?
True
Let r(h) = 2*h**2 + 31*h + 81. Does 6 divide r(13)?
True
Suppose c + 2*w - 206 = w, -4*c + 5*w = -779. Suppose 2*t - c = t - 3*v, -v - 1 = 0. Suppose 2*a + 5*r - t = 2*r, -5*a - 2*r + 488 = 0. Is a a multiple of 24?
True
Let c = 190 + -187. Is (6*(-6)/10)/(c/(-160)) a multiple of 16?
True
Let r be (8/10)/(16/40). Suppose -30 = -5*f + 4*q, 2*f = -2*q - r*q - 16. Does 36 divide 2 - (-1 + f) - -71?
True
Let a(b) = 29*b + 23. Let u be a(-1). Let o(z) = -z**3 - 5*z**2 - 11*z + 8. Is o(u) a multiple of 28?
False
Let h(y) = -2*y**2 + 33*y - 14. Let d be h(16). Suppose 5*a = 8*a - 5*u - 871, -d*a = 2*u - 570. Does 7 divide a?
True
Let d be (2051/(-21) - -5) + (-4)/(-6). Let w = 173 + d. Is 27 a factor of w?
True
Let f(y) = 7*y**2 + 4*y - 11. Let a(z) = 6*z**2 + 3*z - 12. Let m(n) = 4*a(n) - 3*f(n). Let g be m(-6). Let v = g + -33. Does 15 divide v?
True
Let v(t) = 18170*t + 9820. Does 47 divide v(3)?
False
Let x = 443 - 326. Suppose g - x = a, -3*a = 5*g - 5*a - 573. Is g a multiple of 3?
False
Let f(k) = 208*k - 702. Is f(49) a multiple of 115?
False
Let c(o) = -2*o**3 - 2*o**2 - 2*o + 72. Let i be c(0). Is (-6)/((1/i)/((-30)/40)) a multiple of 9?
True
Suppose 5*g + 151*l = 150*l + 110155, -4*g + 88148 = -4*l. Is g a multiple of 72?
True
Let o(s) = s**3 - 2*s**2 - s + 172. Let d be o(0). Suppose 22*n = -u + 20*n + d, -640 = -4*u + 4*n. Is u a multiple of 12?
False
Let r = 60 + -44. Suppose 0 = -14*w + r*w - 20. Does 28 divide (w - -375)*1/2*2?
False
Let p(k) be the third derivative of 8*k**5/15 + k**4/4 - 8*k**3/3 + k**2 - 81*k. Is 58 a factor of p(3)?
True
Let l = 35 - -156. Let m = 317 - l. Is m a multiple of 18?
True
Suppose -4*u + 2*r = -1418, -5*u + 1774 = -r - 0*r. Let w = -3167 - -3170. Suppose -a - 179 = -x, -2*a = -2*x + w*a + u. Does 12 divide x?
True
Let z = 74113 + -38608. Is z a multiple of 179?
False
Let f(c) = -4*c**2 + 11*c - 4. Let m be f(3). Let x(q) = -q**3 - q**2 - q. Let d(h) = 4*h**3 - 4*h**2 + 11. Let p(t) = -d(t) - 5*x(t). Is 7 a factor of p(m)?
False
Is (-8263740)/(-1075)*(1/((-3)/(-7)) + 1) a multiple of 22?
False
Let p = 22967 + -14494. Is 55 a factor of p?
False
Is 11 a factor of 6030/(-670) + (1 - -674)?
False
Let m(o) be the third derivative of -17*o**6/120 - o**5/20 - o**4/4 - 2*o**3/3 + 137*o**2 + 2. Let q = 4 + -6. Is m(q) a multiple of 33?
True
Suppose -3*g = -h + g + 4, 0 = -3*g. Suppose 0 = 3*p - 4*t - 496, -h*t - 255 = -p - 79. Suppose p = -3*q + 5*q. Is 10 a factor of q?
True
Does 24 divide (198/(-5))/(63/(-7140))?
True
Does 55 divide 198875/6 + 22*11/1452?
False
Suppose 0 = 3*s - 3, 242*s = 2*d + 247*s - 82031. Is 310 a factor of d?
False
Let h = 650 - -67. Let g = h - 149. Is 11 a factor of g?
False
Let c = -116 - -149. Suppose -38*u = -c*u - 3625. Is 17 a factor of u?
False
Suppose 2*j = -0*j + 5*j. Suppose 23*z - 21*z - 252 = j. Does 14 divide z?
True
Suppose -671 = 6*h + 121. Let g = h - -304. Does 5 divide g?
False
Suppose 5*q - 9 - 31 = -5*l, l + 5*q = 20. Suppose 2*v + 1 + 7 = 0, 488 = 3*u - l*v. Is u a multiple of 6?
True
Let r(l) = 90*l + 221. Is r(45) even?
False
Suppose -4*m + o + 28 = -0*o, -5*m + 46 = -4*o. Let w(g) = g**3 - 5*g**2 - 4*g - 6. Let t be w(m). Is 41 - (4/6)/(4/t) a multiple of 5?
True
Suppose 28*g - 17 = 39. Does 17 divide (g - 1)*(0 + -3)*-34?
True
Suppose 5*w + 2*w - 924 = 0. Suppose -f = -3*x + 6*x - 422, x = 4*f + w. Does 7 divide x?
True
Suppose 14*z - 9*z - 55 = 0. Let a(c) = c**3 - 12*c**2 - 2*c - 14. Let k be a(z). Let d = k + 344. Is 17 a factor of d?
True
Suppose -2*x = 4*f + 12, -2*x + 8*f - 16 = 13*f. Let o(c) = -c + 1. Let p(b) = 11*b**2 - 4*b + 3. Let w(y) = -10*o(y) + 2*p(y). Does 11 divide w(x)?
True
Let p(h) = -103*h. Let k(v) = -360*v. Let g(f) = 5*k(f) - 18*p(f). Let a(x) = -15*x + 1. Let l be a(0). Does 18 divide g(l)?
True
Suppose 5101 = 14*l - 24159. Is 4 a factor of l?
False
Let d(i) = -8*i**3 + 10*i**2 + 8*i + 4. Let v be d(-6). Let y = -1131 + v. Is 88 a factor of y?
False
Let s be 33/6*(2 - (-1 + 1)). Let a be 3742/s + 20/(-110). Suppose 50 - a = -5*v. Does 9 divide v?
False
Suppose 0 = -0*q - 4*q + w + 18, -4*w = -5*q + 28. Let v be (q/1 - -54) + 2. Suppose -3*o = -o - v. Is 7 a factor of o?
False
Suppose -38*r + 534318 + 715824 = -15*r. Does 14 divide r?
False
Suppose 51*r + 61*r - 14840 = 6*r. Does 20 divide r?
True
Let q(s) = s + 971. Let f(x) = -3*x - 973. Let n(u) = 6*f(u) + 7*q(u). Is 44 a factor of n(0)?
False
Let s = -4316 + 7324. Is 4 a factor of s?
True
Let i(m) = 2*m**2 + m - 2. Let v be i(-2). Let l be 2/((-28)/(-70))*57/15. Suppose t = -v + l. Does 2 divide t?
False
Let t be 4/(-6)*6 + 18. Suppose -596 = t*h - 36. Is 69/(2/(h/(-12))) a multiple of 23?
True
Suppose 0 = 1182*p - 1179*p - 104691. Does 9 divide p?
False
Suppose 0 = -8*z + z + 49. Let h be ((-7)/4)/z + (-5)/(-20). Suppose h = 3*u - 0*u - 315. Does 7 divide u?
True
Suppose -5475 + 13972 = 20*s + 9*s. Does 16 divide s?
False
Suppose m = -3*z + 1, 4 = -m - 5*z + 1. Is 2770/m - ((-16)/7 - -2) a multiple of 11?
True
Let o = 113 + -110. Suppose 5*r - 2 - o = -b, r = 4*b - 62. Does 15 divide b?
True
Let o(i) = -i**3 - 