e
Does 16 divide 11/(924/66794) - (-35)/42?
False
Let v = -14 - -7. Let j(f) = -245*f + 19. Let i(d) = 1178*d - 94. Let l(b) = 6*i(b) + 29*j(b). Is l(v) a multiple of 41?
True
Let z(l) = l**3 - 4*l**2 + 72*l - 337. Is 13 a factor of z(16)?
True
Let q(t) = t**3 - 26*t + 45. Let h be (57/(-76))/(4/(-48)). Is q(h) a multiple of 15?
True
Suppose 8*t + 13*t = -22*t + 390440. Is 14 a factor of t?
False
Let y(s) = -s**3 + 2*s**2 + 3*s - 3. Let m be y(2). Let r = 0 + m. Suppose -3*c = -3*b - 243, -r*c + 99 = -4*b - 147. Is c a multiple of 13?
True
Suppose 7*z + 99189 + 24714 = 5*v, 2*v - 49567 = -3*z. Is 148 a factor of v?
False
Suppose 0 = -5*j + 5*p, j + 0 + 2 = 2*p. Suppose 0*k = -k + 1, j*k = 2*x - 324. Does 41 divide x?
False
Is ((-9192)/5)/(53/6625*-25) a multiple of 6?
True
Suppose 7*p = 1653 - 1492. Suppose 2*o + 26*u = p*u + 742, 0 = -2*o + 4*u + 714. Is o a multiple of 7?
False
Let u = 17 - 3. Let x = 35597 - 35578. Suppose -f + u + x = 0. Is f a multiple of 31?
False
Let i(j) = 3*j**2 + 52*j + 18. Suppose 0 = 31*h - 37*h - 114. Does 10 divide i(h)?
False
Suppose 2*z + 158760 = 5*z + 33*z. Does 63 divide z?
True
Let u(o) = -47*o**3 - 9*o + 7. Let g(y) = y**2 + y - 1. Let i(z) = -g(z) - u(z). Is i(1) a multiple of 3?
True
Let m = -17244 + 19846. Is 10 a factor of m?
False
Let u = 96312 - 60419. Is u a multiple of 22?
False
Let n = -27022 - -38086. Does 12 divide n?
True
Let c(b) = -b**3 - 10*b**2 + 12*b. Let l = -56 - -58. Suppose -l*j = -0*j - 3*o + 36, -40 = 3*j - o. Does 9 divide c(j)?
True
Let d = -1097 + 1913. Is d a multiple of 51?
True
Let c be (-18)/30 + 3/((-30)/(-76)). Suppose 0 = -c*f + 2026 + 739. Is f a multiple of 57?
False
Suppose -398 = -s + 641. Let q = s + -233. Is 13 a factor of q?
True
Suppose -a + 91 = -5*t - 57, 2*a - 221 = -5*t. Let l(s) = 10 - a*s + 235*s - 120*s. Is 23 a factor of l(-3)?
False
Let b(o) = o**2. Let g(c) = -7*c**2 - 6*c + 1. Let n(x) = -6*b(x) - g(x). Is 18 a factor of n(7)?
True
Suppose 0*l + 10*l = -l. Suppose c + 165 = -l. Is 6/24 - (c/12)/1 a multiple of 14?
True
Let n(b) = 2*b**2 + 18*b + 37. Suppose 33 = 11*x - 14*x. Is 27 a factor of n(x)?
True
Let o be (-10)/(-4)*(-8)/(-28)*7. Suppose o*b = -5*h + 4500, 2*h + 10 = 16. Does 13 divide b?
True
Suppose 8*q - 23 = 7*q. Suppose 0 = -21*i - q + 1010. Is 6 a factor of i?
False
Let d(r) = 2*r**2 - 2*r + 14. Let c be d(5). Suppose 123 = 3*n + 2*l, 2*n = n - 5*l + c. Does 2 divide n?
False
Suppose -18 = -3*c - 0*c - 3*r, r - 3 = 0. Suppose m = 4 - 1. Suppose 0 = c*g + g + k - 77, m*k + 89 = 4*g. Is 2 a factor of g?
True
Let o = -904 - -1589. Suppose o - 271 = 3*w. Is w a multiple of 23?
True
Suppose -21*t - 1000 = -13*t. Suppose -4*g - 5*i + 203 = -0*i, 3*g - 156 = -5*i. Let c = g - t. Is 33 a factor of c?
False
Let r(d) = -4*d**2 - 9*d + 2. Let f be r(-4). Is -3 - f*(-4 - -5) a multiple of 12?
False
Is ((-78)/24 + 6/3)*-1584 a multiple of 6?
True
Suppose -54*j + 42464 = -126178. Is j a multiple of 17?
False
Let w be (1/(-2))/(((-15)/5)/48). Suppose 3*o - 4 = w. Is o a multiple of 2?
True
Let l(i) = 21*i + 25 - 30*i + 10*i. Let u be l(11). Suppose -1 = -3*c - 10, 3*m + 3*c - u = 0. Is m a multiple of 9?
False
Let z = -1365 - -2282. Does 5 divide z?
False
Suppose -36725 = -3*i - 13*t + 8*t, -t = -4*i + 48959. Is 90 a factor of i?
True
Suppose -5*t + o + 1819 = 0, 5*t + 5*o - 81 - 1714 = 0. Suppose 4*q - q = t. Suppose 6*n = q + 29. Is n a multiple of 2?
False
Suppose 0 = 176*o + 158*o - 1026855 - 552297. Is 3 a factor of o?
True
Let i(j) = -131*j - 70. Let l be i(-4). Let a = l - 398. Is a a multiple of 5?
False
Let q(x) = 2*x**3 - 12*x**2 + 6*x - 14. Let b be q(9). Let a = -304 + b. Does 24 divide a?
False
Let p = -7958 + 13562. Is 25 a factor of p?
False
Let o(q) be the third derivative of -q**6/30 + q**5/15 - q**4/12 - q**3 + 13*q**2. Let i(y) = -y**3 - 2*y**2 - 3. Let a be i(-2). Is o(a) a multiple of 9?
True
Let y = 13137 + -1077. Is 60 a factor of y?
True
Suppose 0 = 12*b - 16 - 20. Suppose 417 = -b*x + 1497. Is x a multiple of 12?
True
Let r = 12 - 24. Let i be 0 + 9/(-6)*16/r. Suppose -18 - 6 = -3*u - 2*x, 0 = -u - i*x + 4. Is 2 a factor of u?
True
Suppose 4*q - 3*s - 15346 = -1331, -s + 14027 = 4*q. Does 12 divide q?
False
Let z(p) = -p**3 + 14*p**2 + 2*p - 25. Let j be z(14). Suppose 3*m + j = 6. Is (-2 + ((-8)/(-12))/m)*-90 a multiple of 15?
True
Let d(v) = -2*v**2 - 11*v - 4. Let n be d(-4). Is 13 a factor of 216 + (2/4 - (-36)/n)?
True
Let h = -49 - -55. Suppose -4*r + 9 = s, -r - s - 2*s = h. Suppose 2*i - 616 = -4*b, -r*i - 380 - 64 = -3*b. Is 42 a factor of b?
False
Let k = -400 - -403. Let w(a) = 23*a**2 - a + 1. Is w(k) a multiple of 19?
False
Suppose -3*h - 4*r = -352, 5*h - 58 - 486 = 4*r. Is -4 - (-3)/(6/h) a multiple of 36?
False
Suppose 3*m - 104 = 28. Let v = 40 - m. Let a = v + 108. Is 37 a factor of a?
False
Let g(t) = t**3 - 24*t**2 - 22*t - 544. Let q be g(28). Let w be (-3 - (-5 - -2))/2. Suppose w = -9*x - 4*x + q. Does 19 divide x?
True
Let m be ((1 - 2) + 0)/((-1)/94). Let v = -266 + m. Let t = -74 - v. Is t a multiple of 6?
False
Let i = -19533 - -24230. Does 4 divide i?
False
Suppose 34*l = 33*l + 2, -4*r = -5*l - 20438. Is r a multiple of 24?
True
Let b(i) = -i**2 + 2*i + 55. Let j be b(0). Let s = j + -43. Is 3 a factor of s?
True
Is 71 a factor of 93075/34 - (-9)/6?
False
Suppose 3*y + 3*y - 18 = 0. Suppose 5*i - 6*i = -t + 747, -4*t + 2990 = -5*i. Suppose 3*x + 2*k - 6*k = t, -y*k = -5*x + 1227. Is 29 a factor of x?
False
Let n = 507 - 584. Let k(r) = r**3 + 4*r**2 - 6*r - 5. Let x be k(-7). Let w = n - x. Is 10 a factor of w?
False
Suppose -4*d - 5*o = -18, -2*o + 31 = -14*d + 19*d. Suppose -13*h + 1446 = -d*h. Is h a multiple of 24?
False
Let y = -584 + 589. Suppose y*z + o - 1901 = 0, 34*z + 2*o = 33*z + 373. Is 18 a factor of z?
False
Let j = 209 - -1430. Is j a multiple of 4?
False
Let s = 25006 + 19209. Does 102 divide s?
False
Let r = -314 + 9092. Is 42 a factor of r?
True
Suppose -1372 = -5*n + 11848. Is n a multiple of 13?
False
Suppose 286418 = 52*r - 226510. Is r a multiple of 12?
True
Is (6 + 15995 + 1/1)/((-99)/(-66)) a multiple of 14?
True
Suppose 192 + 568 = 10*u. Let n = u - 65. Is n even?
False
Suppose -3770 = -6*d - 848. Let p = d + -281. Suppose -5*w + 2*o + p = 0, o - 200 = -4*w - 43. Is w a multiple of 29?
False
Suppose -459800 = -14*r + 7450. Suppose 46*d + 1083 = r. Is d a multiple of 18?
True
Let h(o) = 25*o + 32. Let s be h(5). Suppose -3*f + s = 4*b - 9*b, f = 5*b + 49. Does 5 divide f?
False
Let w(b) = b**3 - 14*b**2 + 28*b - 31. Let k be w(12). Let y = k + 214. Is 7 a factor of y?
True
Let v be (-200)/9 - (-4)/18. Let s = 22 + v. Is (1 + s - 3) + -6 + 120 a multiple of 28?
True
Let b(y) = -282*y + 2416. Is b(0) a multiple of 16?
True
Suppose u + 0*u - 461 = 6*s, 3*u - 5*s - 1448 = 0. Is 18 a factor of u?
False
Is 15 a factor of (-8981337)/(-1353) - ((-2)/(-11))/2?
False
Let r be (-3)/9 - 3/((-18)/296). Is 6 a factor of (9 - 1) + 4312/r?
True
Suppose -3*t = -6, -7*h - 3*t = -8*h + 12. Is 3 a factor of (1585/(-15))/(h/(-54))?
False
Let h be 3/((18/26)/3). Suppose -12*f - 49 = -h*f. Does 20 divide f?
False
Let m(n) = 19982*n + 900. Is 8 a factor of m(2)?
True
Let f be 0 + -3 - ((-78)/6 + 6). Suppose 1246 = 3*q + f*y - 520, 2*y = 3*q - 1790. Does 52 divide q?
False
Let c(n) be the first derivative of n**4/4 - 5*n**3/3 - 11*n**2 - 6*n + 41. Let r be c(8). Suppose 50 - 160 = -r*t. Is t a multiple of 8?
False
Let k(g) = -g**3 - 87*g**2 - 9*g + 75. Is 26 a factor of k(-87)?
True
Suppose -189*a - 1005516 = -240*a. Is 31 a factor of a?
True
Let r(a) = -a**3 - 24*a**2 + 9*a + 111. Let v be r(-26). Let m = -720 + v. Is m a multiple of 19?
False
Let q be (-9)/(-3) + 499 - 0. Let i = 729 - q. Is 57 a factor of i?
False
Is (24/14)/((-216)/(-4428) - 146544/3009195) a multiple of 18?
True
Let n be (-4)/18 - ((-798)/(-27))/(-7). Suppose h + 70 = -v + 3*v, -n*h - 2*v - 300 = 0. Does 7 divide (h/(-4))/(4/8)?
False
Suppose 0 = -35*k + 31*k - 48. Is 31 a factor of ((-33)/k)/((-8)/(-96))?
False
Let v = -567 + 573. Suppose -1927 = -v*f + 1721. Does 16 divide f?
True
Suppose -4*d - i - 27 + 51 = 0, -3*i + 7 = -d. Suppose 0 = 4*q - 3*h - 1918, -d*q + 2*h = -1458 - 936. Is 43 a factor of q?
False
Let t(l) = l**3 +