 -11 + 2 = -2*s + z, -4*s = -3*z - 21. Suppose s*i - 108 = 15*i. Let a = 24 + i. Does 6 divide a?
False
Does 6 divide (-288 + -396)/(6/(-9))?
True
Let t = -3236 - -40661. Is t a multiple of 75?
True
Let g = 232 + -234. Is 10 a factor of (-1)/g + ((-2184)/(-16))/7?
True
Let y = -70 - -72. Suppose 0 = -y*h - 4*u - 46, -h = 4*u + 12 + 19. Let n(z) = -3*z - 5. Is 5 a factor of n(h)?
True
Let t be 0/((-8)/(-4)) + 922. Suppose 4 = r, m = -2*r - r + t. Is m a multiple of 70?
True
Suppose 54614 + 34666 = 36*x. Is x a multiple of 31?
True
Suppose -3*a - 2937 = -4*z, z + 2*z = 2*a + 2203. Suppose 2*m - z = -3*m. Is (-8 - m)*(-3)/5 a multiple of 31?
True
Let b(z) = 300*z + 1890. Does 30 divide b(3)?
True
Let b(l) = 4*l**3 - 6*l**2 + 9*l - 1. Let i(t) = -10*t**3 + 13*t**2 - 19*t + 2. Let q(x) = 9*b(x) + 4*i(x). Is 7 a factor of q(-3)?
False
Suppose -2*y = -3*n - 0*n + 1697, y = -4. Let f = n + -297. Is f a multiple of 16?
False
Does 101 divide (51741*(-16)/(-432))/((-1)/12*-4)?
False
Let s = 701 - 697. Suppose 10*n - s*n = 5538. Is n a multiple of 13?
True
Let v(a) = -2*a**2 - 5*a + 43. Let d be v(6). Let n = d - -29. Let y = n - -66. Does 6 divide y?
True
Suppose d + 30 = 3*d. Suppose -5*q = -10 - d, q = -4*k + 265. Suppose 113 = o - k. Does 32 divide o?
False
Let f(c) = -2*c**2 + 33*c - 60. Let q(p) = -p**2 + 16*p - 30. Let s(o) = 2*f(o) - 5*q(o). Does 59 divide s(21)?
True
Does 215 divide (1785/(-35))/((-4382)/1094 - (-12)/3)?
False
Let f be (-3076)/(-7) - ((-105)/(-49))/5. Let p = 775 + f. Is 35 a factor of p?
False
Suppose 2*i + 4737 = 3*y - 3*i, -2*y = -3*i - 3159. Suppose 6*q + y = 15*q. Let s = -104 + q. Does 18 divide s?
True
Suppose -18*t = -19*t + 25. Suppose 27*h - t*h - 116 = 0. Is h a multiple of 7?
False
Suppose 0 = -3*z + 2*i + 64496 - 821, z - 3*i - 21225 = 0. Is z a multiple of 11?
False
Let b(m) = 7696*m**2 + 5*m - 4. Let p be b(1). Suppose -14*t - 1901 = -p. Does 41 divide t?
False
Let p be 2/15 + (868480/(-150))/(-16). Let b = p + -162. Is b a multiple of 20?
True
Let l(f) = f + 2. Let r be l(2). Let x = 838 - -3714. Is (x/6)/r - (-17)/51 a multiple of 38?
True
Suppose 198 = -3*k + 198. Suppose k = -2*a + 14*a - 2484. Is 23 a factor of a?
True
Suppose 84*v + 54 = 81*v. Is (32 + 1 + -1)*v/(-36) a multiple of 4?
True
Suppose 13*o + 12*o = -4*o + 116. Let j = -41 + 61. Suppose -5*d + j = 0, o*d = 2*m + 5*d - 292. Is 12 a factor of m?
True
Let h = -238 - -236. Is 62 a factor of ((-240)/h - 6) + (-2 - 2)?
False
Suppose -22685 = 7231*d - 7248*d + 30644. Does 64 divide d?
False
Let a = -108 + 113. Suppose 0 = k + a*v - 20, k + k - 12 = -3*v. Suppose k = 3*x - c - 140, -4*c + 3 = -c. Is x a multiple of 11?
False
Suppose 2*i - 24 = 32. Suppose -10693 = 11*p - i*p. Is 59 a factor of p?
False
Let o(f) = 14034*f**3 + 15*f**2 - 24*f + 9. Does 18 divide o(1)?
False
Let o(z) = 38*z**2 + z - 5. Let v(t) = 38*t**2 - 6. Let q(n) = 4*o(n) - 3*v(n). Does 3 divide q(1)?
False
Let s(y) = y - 39. Let f be s(14). Is 1648/10*f/(-10) a multiple of 9?
False
Let o be (0 - 3) + (70 - 14). Let r = o + 20. Does 15 divide 1 + -1 + r + 17?
True
Suppose 5*a - 40 = 360. Suppose a = 2*s - 2*q, -q - 24 = -s - 4*q. Is s/(-252) - 1121/(-7) a multiple of 21?
False
Suppose 741 = 7*n - 1499. Let s = -156 + n. Is s a multiple of 41?
True
Let s(o) = -o**3 + 21*o**2 - 15*o + 43. Is 5 a factor of s(14)?
True
Let b = 255 - 787. Let y be (-4)/(-5) + b/(-10). Suppose 0 = 2*x - 4*m - y, -5*x = -x - m - 94. Is x even?
False
Suppose -m - 16218 = -3*u, 4*m + 10822 = -44*u + 46*u. Is u a multiple of 47?
True
Suppose x - 4*a - 17 = -2*x, 5*a + 22 = 4*x. Suppose 0 = -3*u + x*c + 45, -4*c = -u + 5*u - 100. Does 2 divide u?
True
Let f = -198 - -204. Is 3 - (-57)/(-18) - (-2443)/f a multiple of 46?
False
Suppose 31*a - 33 = 20*a. Let v(l) = 31*l**3 - l**2 + 6*l + 1. Is v(a) a multiple of 11?
True
Let v(g) = 105*g**2 + 3*g - 2. Suppose -4*q = q - 5*d - 25, -2*q - d + 16 = 0. Suppose q*t - 4 = 3*t. Is 15 a factor of v(t)?
False
Suppose -11 - 17 = -7*v. Suppose 4*a - 576 = v*i, i = -2*a - 2*a + 596. Suppose 715 = 7*t + a. Is 14 a factor of t?
False
Let f = 132 + -125. Let g be (30 - -2) + f/7. Is ((-11)/g)/(((-2)/(-552))/(-1)) a multiple of 23?
True
Let h(k) = k**2 - 18*k - 13. Let m(g) = 2*g**2 - 36*g - 27. Let n(z) = -5*h(z) + 3*m(z). Let d be n(19). Is 16 a factor of ((-432)/(-90))/(d/70)?
True
Let v = 29 - -59. Let x = v - 91. Let q(r) = -5*r**3 + 2*r**2 - 2*r + 5. Does 17 divide q(x)?
False
Suppose 105*i - 3588741 - 285129 = 0. Does 26 divide i?
True
Let b = -15755 - -17300. Does 5 divide b?
True
Suppose 5*l - 346*b + 344*b - 156560 = 0, 0 = -l - 5*b + 31285. Is 11 a factor of l?
False
Let i = 6102 + -3638. Is 44 a factor of i?
True
Let w be (-42)/(1 + -3)*(-39)/(-9). Suppose 4*g + q - w - 78 = 0, -g - q + 43 = 0. Let t = 152 - g. Is t a multiple of 22?
True
Suppose 24*b - 23*b = -329. Does 30 divide b/(-14)*16*(-1 + 2)?
False
Suppose 0 = 62*q - 69*q + 406. Suppose 2*x = 5*t + x + 225, 2*t - x = -90. Let z = t + q. Is 2 a factor of z?
False
Suppose 525 = 12*i + 9*i. Suppose -i*b + 26*b = -3*x + 376, x + 3*b = 112. Is 21 a factor of x?
False
Let k(z) = -3*z**3 - 210*z**2 + 28*z + 928. Is k(-74) a multiple of 56?
True
Suppose -335328 = -94*z + 150*z - 98*z. Does 229 divide z?
False
Let f = 10819 - 5642. Is 51 a factor of f?
False
Suppose -3*t + 0*o = -2*o - 1100, -1816 = -5*t - o. Let x(f) = 5*f + 2. Let d be x(1). Suppose -350 = -d*g + t. Does 34 divide g?
True
Let i(s) = -78*s**3 - 2*s**2 - 4*s - 9. Let p be i(-2). Let z = -313 + p. Is 8 a factor of z?
False
Suppose 0 = 158*v - 165*v - 7. Does 24 divide (2200/(-14))/v - (-24)/(-168)?
False
Let r = 365 - 290. Suppose -y + 294 = 3*c, -1050 = -4*y + 5*c + r. Is y a multiple of 15?
True
Suppose -946 = 9*z + 755. Let o be -1 + 1 - z/7. Let j = o + 24. Is j a multiple of 17?
True
Suppose -18480 = -1794*s + 1774*s. Does 132 divide s?
True
Suppose 6*l - 37*l + 448247 + 132879 = 0. Is 91 a factor of l?
True
Suppose 355 = 6*p + 259. Let s = -31 - -75. Suppose -s = -p*u + 14*u. Is 11 a factor of u?
True
Suppose -3*o + i = -1 + 14, -3*o + 4*i - 25 = 0. Let g(r) be the third derivative of -r**6/60 - r**5/30 + 2*r**3/3 + 5*r**2 + 4*r. Is 5 a factor of g(o)?
True
Let f(a) be the second derivative of -a**3/2 - 18*a**2 - 13*a. Let k be f(-13). Suppose -i - k*i = -480. Is i a multiple of 24?
True
Suppose 2*q + 16 = b - 12, 0 = -2*b. Let k be (164/3 + -2)*21/q. Let g = 133 + k. Is 9 a factor of g?
True
Suppose -44588 = -3*q - 5*s, 0 = 421*q - 417*q - s - 59420. Is 19 a factor of q?
False
Let d = 87 - 81. Suppose -5*i = -b - 3433, -i + b - 3437 = -d*i. Does 9 divide i?
False
Let m = 55 - 8. Let o(w) = -w**2 - 4*w + 16. Let t be o(-6). Suppose -2*n - 3*v + 73 = -t*v, -m = -n + 4*v. Is 5 a factor of n?
True
Let j(z) be the first derivative of 7*z**3/3 + 13*z**2/2 - 42*z - 128. Is j(6) a multiple of 24?
True
Suppose 0 = -17*k + 41990 + 52360. Does 111 divide k?
True
Let y be (-11)/((-33)/(-10))*558/(-4). Let v = y - 304. Does 17 divide v?
False
Let q(z) = 3*z**3 + 3*z**2 - 2*z. Let a be q(1). Suppose 4*j + 403 - 1728 = -5*b, a*b = -j + 334. Is j a multiple of 10?
True
Let l be (-4648)/(-2) + (-33 - -30). Suppose l - 876 = 5*o. Does 17 divide o?
True
Let u(a) = 4*a**2 - 2*a. Let y be u(-2). Suppose -8*j = -4*j + y. Does 11 divide (-1)/(j + -1) - 395/(-6)?
True
Let p = -1688 + 990. Let d = 895 + p. Does 95 divide d?
False
Suppose -34291 - 121553 = -54*o. Is o a multiple of 78?
True
Suppose 3*n = 4*f - 129, 0 = -2*n - 8 + 2. Let y = -332 + 481. Let r = y - f. Is r a multiple of 11?
False
Let n be ((-43)/(-4))/(4/16)*1. Let w = n - 43. Suppose 4*a - 3*x = 159, 3*a + w*x = -5*x + 141. Does 14 divide a?
True
Let s(b) = -2572*b + 1763. Is s(-21) a multiple of 115?
True
Suppose 504*s - 547*s + 55900 = 0. Is 25 a factor of s?
True
Let q(f) = -f**2 - 11*f - 16. Let o be q(-6). Suppose -o*m + 897 + 2043 = 0. Does 41 divide m?
False
Let c be (-2)/3 - 1220/(-183). Suppose 0 = 4*r + c*r - 8250. Does 11 divide r?
True
Suppose -12004 = -3*v - w, 3*v - 21*w - 11969 = -17*w. Does 43 divide v?
True
Let h = -62854 - -159961. Does 16 divide h?
False
Let o(z) = 7*z**2 + 10*z - 396. Let t(b) = -b**2 - 2*b + 1. Let p(n) = -o(n) - 6*t(n). Does 15 divide p(0)?
True
Let x(g) = -g**3 +