 be l*-2*(5 - (5 + -2)). Suppose -5*q + z = -19. Does 3 divide q?
True
Let b(g) = 117 - 75*g - 129*g - 70. Is 41 a factor of b(-6)?
True
Suppose 0 = 4*w - 28 + 20. Suppose 4*b + 8 = -5*z - 2, 3*b + 11 = -w*z. Does 4 divide (-12)/(-1 + b/(-15))?
False
Let l(k) = k**2 + 17*k - 23. Suppose 0 = 4*r - 16, 0*d + 4*d - 2*r + 12 = 0. Let c be -1 + d + ((-30)/2 - 2). Is l(c) a multiple of 15?
True
Let l be (24/108*-6)/(2/(-6)). Suppose 3*u + u - 4*s = 1188, -604 = -2*u + l*s. Is 5 a factor of u?
False
Let o(c) = 11*c**2 - 101*c + 778. Is o(41) a multiple of 40?
False
Let b be (-6461)/(-13) + -1 + -7. Let f = 839 - b. Is 35 a factor of f?
True
Let g(c) be the first derivative of 7*c**2/2 + 80*c + 29. Let z be g(11). Suppose 3*v - 5*d = z, -32 = -v - 3*d + 25. Is v a multiple of 3?
True
Let c = 3228 + -2552. Does 26 divide c?
True
Let l(p) be the first derivative of -p**4/4 - 4*p**3/3 - 7*p**2/2 - 3*p + 175. Let i = -14 + 10. Is l(i) a multiple of 7?
False
Let x = -105 - -99. Let j(h) = -2*h**2 - 13*h - 1. Let v be j(x). Suppose -s - 6 + 4 = 4*n, -2*s - v*n = -5. Is 5 a factor of s?
True
Suppose -34*m + 486720 = 20*m - 2*m. Does 52 divide m?
True
Suppose -108 = -3*v - 36. Suppose 0 = -v*o + 23*o + 77. Suppose 429 = 8*c + o. Does 8 divide c?
False
Let a = -115 - -279. Suppose 1550 - a = -7*p. Let m = p - -414. Does 36 divide m?
True
Is (154805/(-14))/(5/(-2)) a multiple of 51?
False
Suppose 5*v = -3*c - 4 - 14, -4*c + 5*v - 24 = 0. Does 18 divide (3 - 165)/(-6)*(-100)/c?
True
Suppose -v - 4 = 0, 3*i - 41*v + 46*v = 21484. Is i a multiple of 13?
False
Let g(b) = 9*b**3 - 219*b**2 + 73*b - 12. Let l be g(24). Suppose w - 4 = 6. Suppose l*s - 210 = w*s. Is s a multiple of 16?
False
Suppose 16*i - 29767 = 505913. Is i a multiple of 10?
True
Is (11/(-22))/((-8 + 4)/202576) - -4 a multiple of 22?
False
Let a(o) = -2*o**3 + 4*o**2 - 9*o + 15. Let k be a(3). Let b be -29 - k - (-3 - -1). Suppose 0 = -y - 4*l + 93, -2*l = -13 + b. Does 11 divide y?
False
Suppose -2*p - 5*t + 25 = -3, -3*p - 5*t + 32 = 0. Suppose -a - 300 = -p*b, -2*b - b - a + 218 = 0. Is b a multiple of 37?
True
Suppose -5*m + 550 = s - 1141, -2*m - 3406 = -2*s. Is s a multiple of 12?
False
Suppose 3*m + 2349 = 4*z, -4*z + 916*m - 917*m + 2353 = 0. Is z a multiple of 49?
True
Suppose -2*a = -2*b + 5*b - 1028, -b - 2028 = -4*a. Is 7 a factor of a?
False
Suppose -8*h + 16*h - 16 = 0. Let a(g) = 52*g**2 - 2*g - 3. Let v be a(h). Suppose -13*l + v = 19. Is l even?
True
Let c(f) = 4*f - 2*f + 4 + f + f**2 - 4*f. Let z be c(0). Suppose z*g - 283 = h, -4*h = 5*g - 0*g - 380. Does 12 divide g?
True
Let h = 11 - 17. Let o be (-2874)/(-14) - h/(-21). Let m = -101 + o. Is 32 a factor of m?
False
Let i(p) = p**2 + 151*p + 151. Let x be i(-1). Let h be 2/6 - 106/(-6). Let g = x + h. Does 2 divide g?
False
Suppose -835*u = -830*u - 93060. Suppose -23*h + u = -5*h. Is 11 a factor of h?
True
Let w = 47 + -54. Let i be w/(10/25 + 127/(-330)). Is i/(-35) - 8/(-10) a multiple of 6?
False
Let z(n) = 9 + 29 - 4*n + 3*n. Suppose 3*l - 16 = 4*l - 2*k, 0 = -2*l - 3*k - 18. Does 13 divide z(l)?
False
Suppose k = 66*k - 2304900. Does 10 divide k?
True
Let q be -3 + (-14)/3*-39. Let i = q + -8. Suppose -4*d = 5*c - 461 + i, 5*d - 342 = 4*c. Is 7 a factor of d?
True
Let j(u) = -u + 2. Let w be j(-3). Suppose 0 = w*o - 6 + 6. Suppose -5*a + 32 - 12 = 0, o = 2*m + 2*a - 62. Is 9 a factor of m?
True
Suppose -40*a + 3061 = -2059. Is a a multiple of 2?
True
Suppose 9*k + 46*k - 55 = 0. Let h(p) = 209*p + 1. Is 15 a factor of h(k)?
True
Suppose -5646 - 58288 = -14*m + 22320. Does 61 divide m?
True
Let i = 21875 + -11128. Is i a multiple of 49?
False
Is 77 a factor of (-14810121)/(-590) - (-2)/20?
True
Let r(b) = -10*b + 136. Suppose -5*h - 52 = 4*i, -i + h = -4*h - 12. Is 8 a factor of r(i)?
True
Let y = -1181 + 2185. Let w = y - 806. Is 18 a factor of w?
True
Let t be 51*2/(-6)*(-4 + 6). Let q = t + 38. Suppose x = -d + 43 + 37, -2*x + q*d = -160. Is x a multiple of 16?
True
Let i(n) = -15*n**3 - n**2 - n - 2. Let a be i(2). Let w = 16 + a. Let q = 161 + w. Does 18 divide q?
False
Suppose -679*k - 1 = -680*k. Let c = k - -160. Does 18 divide c?
False
Let z(n) = 40*n**3 - 16*n**2 - 3*n - 112. Is z(8) a multiple of 115?
True
Let f(z) = -z**3 - 5*z**2 + 30*z - 5. Let c be f(-9). Suppose -39*q + c = -1043. Is 7 a factor of q?
True
Let f = -5750 + 3038. Let x = f + 4298. Does 52 divide x?
False
Suppose 0 = -5*r - 5*z + 2830, -r = 2*z - 4*z - 551. Let p = 823 - r. Does 8 divide p?
False
Suppose 3*n - l - 15 = 0, -4*n + 5*l = -7*n - 3. Suppose -3*j + n*h + 10 = -7, 4*j - 20 = 4*h. Suppose 52 = 4*b - j*t - 0*t, b = t + 12. Does 16 divide b?
True
Suppose -187 - 2747 = -2*o - 2*v, 0 = -o - 5*v + 1447. Is o a multiple of 5?
False
Let z(h) = 11*h**2 + 204*h + 19. Does 32 divide z(-19)?
False
Let x = 51 + -50. Is 23 a factor of 756/8 - (15/6)/x?
True
Let f be 78/12*(-8)/4. Let y = -13 - f. Suppose -5*d - 3*u + 156 = y, 0 = -2*d + 3*u + u + 78. Is 11 a factor of d?
True
Suppose 27*d - 7*d - 14820 = 27580. Does 10 divide d?
True
Let v = -15 + -5. Let w = 19 - v. Suppose -m + 12 + w = 0. Does 10 divide m?
False
Suppose -5 = 5*u - 4*u, -5*u - 225 = -4*y. Let p = 56 - y. Suppose -p*x + 656 = 2*x. Is 8 a factor of x?
False
Let j = 288 - 289. Let y(z) = -462*z**3 - z**2 + z + 2. Is y(j) a multiple of 22?
True
Suppose -123*k = -1799310 - 2966940. Is 155 a factor of k?
True
Let z(i) = -5*i**2 + 2*i + 2. Let c be z(0). Suppose 924 = c*b - 532. Is b a multiple of 56?
True
Suppose 3*g - 20479 + 67831 = 3*c, -63140 = -4*c + 5*g. Does 20 divide c?
True
Let i be 1 - (-4)/(-3) - (-1494)/(-54). Let g = -28 - i. Suppose -5*h - 2*f + 156 = 0, 3*h - 4*f - 4 - 100 = g. Does 6 divide h?
False
Let h(g) = -g - 1. Let t be h(0). Let k(c) = -1004*c - 3. Let q be k(t). Is (q/(-44))/((-1)/4) a multiple of 13?
True
Let y = -2817 - -3352. Is 2 a factor of y?
False
Let s(p) be the second derivative of -2*p**3/3 + 121*p**2 - 4*p - 9. Does 33 divide s(-37)?
False
Suppose w + 5*c + 51 = 0, -2*w = -0*c - 4*c + 130. Let z(p) = -8*p**2 - 2*p + 2. Let q be z(2). Let g = q - w. Is 3 a factor of g?
True
Suppose h = -4*q - 13 + 48, -2 = 2*h. Let i = 46 + q. Is i a multiple of 3?
False
Let a(l) = l**3 - 11*l**2 - 40*l - 26. Let i be a(14). Is i/7 + (-54348)/(-147) a multiple of 4?
False
Let c = 750 + -750. Is 5 a factor of (c - (-825)/20)/(24/320)?
True
Suppose -3*h + 9*h + 162 = 0. Let x = h + 26. Does 18 divide (x*2)/(362/(-180) - -2)?
True
Let j(u) = -69*u + 4. Let k(h) = -206*h + 12. Let x(s) = -20*j(s) + 6*k(s). Does 22 divide x(2)?
False
Let r = 4962 + 1153. Is r a multiple of 5?
True
Suppose 0*c - 4383 = 2*r + 3*c, 5*c = 4*r + 8711. Let p = -1374 - r. Does 54 divide p?
True
Suppose 3*p + 19 = -t + 5*p, 0 = 4*p - 16. Let l be (-38)/(-1*(1 - 0)). Let f = l + t. Is f a multiple of 3?
True
Suppose 0 = -2*d + y + 15, -y = 3*d + 2*y. Let m be (4/d)/((-16)/(-80)). Suppose i + 0*i = -l + 31, i = m*l - 149. Does 12 divide l?
True
Suppose -143*l = -139*l + 2884. Let v = l + 1118. Is 13 a factor of v?
False
Let u = -5830 + 14865. Is 93 a factor of u?
False
Suppose 5*f + z - 12 = 0, 4*f - 2*z = -0*z + 18. Suppose 4*s - 82 = 2*m, 30 + 34 = f*s + m. Is s a multiple of 7?
True
Let s be 264/42 + 4/(-14). Let n = 429 + -234. Suppose n - 9 = s*c. Is 14 a factor of c?
False
Let o be -17 + 12 - 3/(6/(-26)). Suppose -13*a - t + 1028 = -o*a, 3 = t. Is a a multiple of 41?
True
Let k(b) be the second derivative of 5*b**3/2 + 5*b**2/2 + 96*b - 2. Let s = 0 - -2. Does 7 divide k(s)?
True
Suppose -o + 32 = 3*w, -3*o + o = w - 84. Suppose -41*y = -o*y + 1188. Does 33 divide y?
True
Does 8 divide ((-80)/8)/(2/(-482))?
False
Let w(r) = 2*r + 6. Let a be w(-7). Let t be (-2)/(-6)*(a - -56). Let f(l) = -l**3 + 15*l**2 + 15*l + 28. Does 12 divide f(t)?
True
Let b(q) = -q**3 + 27*q**2 - 37*q - 1. Let i be b(25). Suppose -6*l + 5*l = -i. Suppose 5*d = -4*t + l, -3*d + 144 = 4*t - 44. Is 5 a factor of d?
False
Suppose 10*c - 11400 = -14*c. Let z = c + -187. Is z a multiple of 17?
False
Let b be ((-540)/7)/6*(-1232)/6. Suppose 37*z = 26*z + b. Does 12 divide z?
True
Let s(g) = 17*g**2 - 15*g - 47. Let r be s(-5). Let u = 768 - r. Is u a multiple of 48?
False
Suppose 10*o - 260 = 5*o. Let z = 55 - 21. Let j 