1602)/(-54). Is 17 a factor of 806/8 + 0 + t/120?
False
Suppose 0 = 970*s - 938*s - 165024. Is s a multiple of 4?
False
Let f = 1007 + -2839. Let w = f + 2952. Is w a multiple of 48?
False
Suppose 17*q + 20 = 12*q, 6*q + 6294 = 3*w. Is 2 a factor of w?
True
Let t(l) = 14 + 10*l**2 - 4*l - 4*l + 4*l + 2*l. Is 14 a factor of t(-4)?
True
Let v(c) = 20*c**2 + 58*c - 46. Is 96 a factor of v(-31)?
True
Suppose -159 - 97 = -4*k. Let a = 157 + -137. Suppose 69*c - k*c = a. Is c even?
True
Let s(m) = 109*m - 3688. Does 2 divide s(34)?
True
Suppose 65*t - 61*t - 1568 = 0. Suppose t*v - 386*v - 7242 = 0. Is 16 a factor of v?
False
Suppose -9406 = -5*k - v, -5*k = -k - v - 7523. Let a = 2967 - k. Is (-4*1)/(a/(-180) + 6) a multiple of 25?
False
Does 18 divide ((-85)/(-17))/(20/1604)?
False
Let h(y) = -y**3 + 10*y**2 + 24*y - 113. Let t be h(11). Suppose -t*a = -16*a - 4732. Is a a multiple of 5?
False
Suppose 239*a - 115*a = 120*a + 15000. Does 30 divide a?
True
Let n(s) = -s**2 - 6. Let t be n(5). Let w = -26 - t. Suppose -y + 440 = 4*y - w*l, -5*y = 4*l - 449. Is 10 a factor of y?
False
Let w = -141 - -621. Let l = 597 + -567. Suppose -35*i = -l*i - w. Is i a multiple of 18?
False
Suppose -n = 4*j - 180, -40 - 5 = -j + 5*n. Let a = 59 - j. Is (a/(-70))/(1/(-205)) a multiple of 6?
False
Suppose v + v - 930 = 0. Suppose -2*a = -3*a - 5*s - 215, 0 = -2*a - 4*s - 424. Let f = v + a. Does 12 divide f?
False
Let q(h) = 21*h**2 - 31*h + 218. Does 14 divide q(19)?
True
Suppose 5*m - 68967 = -14*d + 11*d, -4*d + 3*m = -92043. Is 36 a factor of d?
True
Let a(x) = -2*x**3 - 28*x**2 - 225*x + 12. Is a(-17) a multiple of 130?
False
Suppose 1 = -f - 9. Is (208/f)/(12/(-150)) a multiple of 20?
True
Suppose -3*b + 5 = -4. Suppose 4*w + 28 = 2*a, b*a - 2*a = 4*w + 8. Suppose -3*l - a + 1 = -o, 3*o - 4*l - 72 = 0. Is o a multiple of 10?
False
Suppose 45 = -26*i + 149. Suppose i*u - 322 = 58. Is 5 a factor of u?
True
Is -58*((-106 - -8 - -2) + 3/(-2)) a multiple of 13?
True
Suppose -l = -2*y + 237, 2*l - 56 - 60 = -y. Is 8 a factor of y?
False
Let h = 2567 - 1807. Suppose h = 5*g + 5*j, g + 5*j - 58 = 78. Is 13 a factor of g?
True
Let w(g) = 195*g - 70. Let d be w(3). Let m = 570 - d. Is 11 a factor of m?
True
Let i be (4/(-5))/(((-16)/(-150))/8). Is i*(3/4 + -6) a multiple of 15?
True
Suppose 5*s + 3*f = 241188, -4*s + 987*f = 985*f - 192946. Is 21 a factor of s?
True
Suppose 6*u - n = 7*u - 11579, -2*n = -4*u + 46316. Is u a multiple of 50?
False
Let m be ((-12)/(-48) + 5/(-4))*-5. Suppose -u = -m*n + 599, n - 123 = -u - 2*u. Is n a multiple of 5?
True
Let u be 30/(-25)*10/(-3). Let f be (-558)/(3 + (-14)/u). Is 31 a factor of (f/90)/(1/5)?
True
Let z(q) = -75*q + 1. Let c be z(-1). Let b = -66 + c. Suppose -4 = -r + b. Is 2 a factor of r?
True
Suppose n - 19 = 4*b, -9*n - 4*b = -8*n + 13. Suppose -n*g = -g - 120. Does 12 divide g?
True
Let c(t) = 5*t - 54. Let h be c(-7). Let b(m) = -25*m**2 - m - 2. Let w be b(2). Let n = h - w. Is n a multiple of 7?
False
Suppose -47*f - 1719198 = -84*f - 42*f. Is 71 a factor of f?
False
Let u be 362*2/(-8)*2. Let c = 382 + u. Is 12 a factor of c?
False
Suppose -k - 4*f = 1, 3*k - 3 - 4 = -2*f. Suppose -d - 3*a - 781 = -3*d, 0 = 4*d + k*a - 1571. Is 86 a factor of d?
False
Suppose 16*a - 52958 = -9182. Is 171 a factor of a?
True
Let v = 986 + 1306. Is 6 a factor of v?
True
Let o(f) = -411*f - 1706. Is 90 a factor of o(-10)?
False
Suppose -438*t + 639354 = -212*t. Does 6 divide t?
False
Suppose 2976 = -4*i + 3*n, -i + 1470 = -3*i - 3*n. Let b = 1261 + i. Is 13 a factor of b?
True
Let k be ((-21)/(-6))/((-8)/(-16)). Let z(b) = b - 14. Let x be z(k). Let h(p) = -6*p - 20. Is 5 a factor of h(x)?
False
Let w be (-18)/21*(-3*5 + 1). Suppose -2*l + 94 = -2*b, 4*l - 209 + w = b. Suppose -52*u + 144 = -l*u. Does 24 divide u?
True
Suppose 1874*x = 1870*x + 3444. Is x a multiple of 41?
True
Let s(u) be the first derivative of -u**4/4 - 5*u**3 + 6*u**2 + 31*u - 50. Is s(-16) a multiple of 5?
True
Let t be (-8 + 0)/(-4)*211. Let p = 507 - t. Is 17 a factor of p?
True
Let i(u) = -u**2 - 10*u + 4. Suppose 0 = -14*f + 7*f - 56. Let o be i(f). Let d(g) = 6*g + 47. Does 41 divide d(o)?
False
Let c(q) = -q**3 + 2*q**2 + 132*q + 22158. Does 18 divide c(0)?
True
Let j(z) = -5*z**2 + 34*z + 21. Let c be j(7). Suppose -c*h + 10*h - 3*n + 1029 = 0, -4*h - 2*n + 1030 = 0. Does 10 divide h?
False
Let n(i) = 11*i - 206. Let p be n(19). Suppose -5*a - q - 3*q + 225 = 0, 0 = -p*q. Is a a multiple of 5?
True
Let x = -7065 - -10206. Does 5 divide x?
False
Suppose -501 = -4*j - y + 6*y, -3*j = -3*y - 375. Suppose 8*g + 212 + j = 0. Is 7 a factor of g*(-1 + 3/9)?
True
Suppose -16 = 3*a + 32. Let f = -12 - a. Suppose 42 = 2*z - f*u, -14 + 1 = -z + 4*u. Is z even?
False
Let b(p) = -3*p**2 - 13*p - 4. Let u be b(-3). Let g = u + 242. Is g a multiple of 9?
False
Let f = -3206 + 4442. Does 4 divide f?
True
Let y(b) = b**3 - 19*b**2 - 29*b + 31. Let t be y(15). Let v = t + 2324. Does 17 divide v?
True
Let k(l) be the first derivative of -5/2*l**2 + 1/4*l**4 + 4*l**3 + 41 - 13*l. Is k(-9) a multiple of 25?
True
Let h be (-6)/57 + 560/(-95) + 6. Suppose 61*y - 62*y + 1026 = h. Is 57 a factor of y?
True
Let y be (-314691)/(-24) - (-4)/(-32). Is 6 a factor of 1*(33/77 - y/(-14))?
False
Let k(c) = -351*c + 360. Does 46 divide k(-9)?
False
Let j(z) = -z**3 - 7*z**2 + 77*z + 51. Is j(-17) a multiple of 34?
True
Suppose 25 - 115 = -18*o. Suppose -o*w + 1046 = -h, 4*h - 832 = -139*w + 135*w. Is 11 a factor of w?
True
Let x be 26/8 - 3 - (-189)/12. Let q be (x/(-24))/(1 + 5/(-3)). Is 4997/57 - q/(-3) a multiple of 22?
True
Suppose 5*k - 76560 = -83*k. Does 12 divide k?
False
Is 6 a factor of (612/(-8))/(15/(-980))?
True
Let c = 75 - 73. Let i(t) = 27*t**c - 14*t**2 + 3 - 9*t + t**3 - 14*t**2. Does 3 divide i(4)?
True
Let m be (-16)/(3 - 5/1). Let l(h) = -3*h + 26. Let b be l(m). Is 4 a factor of 4*b/(-8) + (57 - 0)?
True
Let t = -4161 - -8487. Is 10 a factor of t?
False
Let o = 11681 + -5489. Does 72 divide o?
True
Let m be (-16)/(-24) + 908/6. Suppose -4*g + 3*h = -5008 - m, 4*h = g - 1290. Is 43 a factor of g?
True
Does 11 divide 73180*(-1 - (-153)/135) + 2/(-6)?
True
Let a(u) = -4*u + 2. Let o(m) = 9*m - 3. Let c(t) = -5*a(t) - 2*o(t). Let s be c(3). Suppose -86 = -s*f - 2*v, 2*f - 8 = -v + 77. Does 9 divide f?
False
Let g(o) = 1646*o + 1174. Is 18 a factor of g(4)?
True
Suppose -4*t + 2*s = -7150, -3*t - 58*s = -55*s - 5340. Does 7 divide t?
True
Let i(p) = 606*p - 862. Is i(10) a multiple of 226?
True
Suppose x - q = 18688, 0 = -2*x - 468*q + 469*q + 37382. Is x a multiple of 72?
False
Let i be (-3 - 110/6)/((-2)/6). Let r = i - 7. Let x = r - 2. Does 29 divide x?
False
Let k be 5/15 + (-1)/3*-41. Suppose -16*s = -k*s - 14. Suppose 6*w + 80 = s*w. Is w a multiple of 16?
True
Let n = -5319 - -5686. Does 7 divide n?
False
Let s(x) be the third derivative of 7*x**4/24 - 10*x**3/3 + x**2. Is 23 a factor of s(16)?
True
Let j(g) = -140*g**2 - 2*g + 1. Let h(b) = -140*b**2 - 2*b + 1. Let s(z) = -6*h(z) + 5*j(z). Let p be s(1). Let u = 239 - p. Is 14 a factor of u?
True
Suppose o - 31 - 961 = 0. Suppose -2*z = 2*l - 1016, -6*l + o = -4*l - 4*z. Is l a multiple of 35?
False
Let o(m) = m**2 - 110*m + 2481. Is o(83) a multiple of 7?
False
Let l = -116 - -123. Suppose l*m - 389 = 2117. Is 42 a factor of m?
False
Let q be (1 - 1)/(-14 - -16). Suppose q = 16*t - 191 - 1249. Is 10 a factor of t?
True
Let x be -3 - (-1 - 48/(-4)). Is (-80 - -38)*12/x a multiple of 17?
False
Let f(r) = -r**3 + 6*r**2 - 5*r - 1. Suppose g = -3 + 6, 9 = 3*o + g. Let c be f(o). Suppose 0 = 3*p - c*n - 380, 3*p - 580 = -2*p - 5*n. Is p a multiple of 12?
True
Let q(k) = 8*k + 64. Suppose -24*c = -20*c - 32. Is 19 a factor of q(c)?
False
Let n(s) = 4*s + 12. Let c be n(-4). Let t be -3 + 868/((-8)/c). Suppose -5*h - 131 = -t. Is 30 a factor of h?
True
Does 71 divide (-70)/(-945) + 2099022/162?
False
Suppose 5*x - 6412 = -4*q, 4*q = -0*q + 2*x + 6440. Suppose 0*i = 4*d - 4*i - 1284, -5*d + 4*i = -q. Is d a multiple of 44?
False
Let k be ((-170)/75*-3)/(3/375). Suppose 4*p = -i + 206, -5*i - k = -9*i - 3*p. Is i a multiple of 51?
False
Suppose -40*h + 34151 + 58249 = 0. Is h a multiple of 30?
True
Let x = 4003 - 