vide j(s)?
False
Suppose l - 748 = 3*g, 15 = -5*g + 20. Is 10 a factor of l?
False
Let n(j) = -41*j**3 + 2*j**2 + 2*j. Let q be n(-1). Let k = 41 - q. Is ((-796)/(-7) - k) + 28/98 a multiple of 19?
True
Let h(z) = 4*z + 2 + 44*z + 18*z. Let r be (-3 + 10/4)/(3/(-6)). Is h(r) a multiple of 34?
True
Let h(s) be the third derivative of 59*s**4/12 + 17*s**3/6 + 42*s**2 - 2*s. Is h(1) a multiple of 11?
False
Let s(w) = w**3 + 7*w**2 + 12*w + 9. Let b be s(-5). Does 10 divide b*2*(-275 + -40)?
True
Let o = 1532 + 8709. Is 133 a factor of o?
True
Let y be 1 - 2/2 - (-15 - -11). Suppose -4*z - 4*r = -28, 4*z - y*r + 7 = -r. Suppose 4 = 2*q - 4, 0 = 5*o + z*q - 283. Does 7 divide o?
False
Let m be (0 + 1)*0/12. Suppose 2*p - 1064 - 456 = m. Is 76 a factor of p?
True
Suppose 2*r - 4237 = -2*p + 1243, -2*r + 13685 = 5*p. Does 4 divide p?
False
Suppose -4 = 3*a + 5*j, -4*a + 3*j = 6*j - 2. Does 27 divide ((-213)/a)/(16/(-32))?
False
Let d(m) = 7*m + 118. Let x be d(-17). Is 19952/32 - x/2 a multiple of 8?
True
Let c(v) = 21*v + 4054. Is c(123) a multiple of 8?
False
Suppose -58042 = -2*n + 2*z, -5*z + 8789 = n - 20268. Does 48 divide n?
False
Let y(q) = 8*q**3 - 75*q**2 - 152*q + 46. Let p(j) = 3*j**3 - 25*j**2 - 51*j + 15. Let g(w) = 11*p(w) - 4*y(w). Is 57 a factor of g(-22)?
True
Let q be -2 - (-5 + -2 - -3). Suppose -j + 1218 = q*j. Is j a multiple of 29?
True
Let s = 3 - 35. Let d be 0/3 - 524/(-2). Let v = d + s. Is 23 a factor of v?
True
Let v(r) = 6*r**2 + 18*r + 17. Let x be v(-1). Suppose q + 3*q + 864 = 4*y, q = -x. Is 4 a factor of y?
False
Suppose -6*v = -7*v + b - 3929, -b + 7860 = -2*v. Is (-20)/(-90) + (-2)/(18/v) a multiple of 19?
True
Suppose 31*g - 15 = 36*g, -2*g = -2*b + 234. Suppose -b*r + 4212 = -108*r. Is r a multiple of 32?
False
Suppose -4*p + 6542 = 14*q - 12*q, -2*q = 10. Is p a multiple of 9?
True
Suppose d + a = 0, 5*d - 4 = -4*a - 7. Let o be -1 - -4*(d + -20) - -3. Let l = -74 - o. Is l a multiple of 3?
False
Suppose -7*b + 11*b = -12. Let g be 14/28 - b/2 - -49. Suppose -g*m + 51 = -48*m. Is 2 a factor of m?
False
Let v = -17196 + 34111. Does 199 divide v?
True
Suppose -3*x - 6*c = -c - 370, x - 114 = 3*c. Is x a multiple of 3?
True
Is (-6437)/(21*15/35 - 10) a multiple of 31?
False
Let q(h) = 12*h**2 - 371*h - 476. Does 8 divide q(52)?
True
Does 11 divide -7 - (50973/12)/(-2 + (-35)/(-20))?
True
Let c(g) = -6*g**3 - 42*g**2 - 16*g - 20. Is c(-14) a multiple of 114?
True
Suppose 0 = -58*x + 159815 + 276239 - 28894. Is x a multiple of 180?
True
Suppose -416*f + 987 = -414*f + n, 5*n = 2*f - 945. Is f a multiple of 2?
True
Let o = 4553 - -2617. Does 11 divide o?
False
Let j(v) = 21*v**2 - 84*v + 102. Is j(15) a multiple of 41?
True
Suppose v + 0*v + 230 = 5*f, 3*v + 92 = 2*f. Suppose -288*w = -302*w + 322. Suppose f + w = 3*j. Does 2 divide j?
False
Suppose -175*r + 171*r - 308 = 0. Does 8 divide -6 + 12/14 + (-26730)/r?
False
Suppose -4*x + n = -12743, 4*x - 3414 - 9323 = -n. Does 2 divide x?
False
Suppose -60*t + 18*t - 18654 = -175062. Is 19 a factor of t?
True
Let a(l) = -2*l - 56. Let d be a(0). Let f = -22 - d. Let c = f + -20. Is c a multiple of 14?
True
Let z = 336 + -316. Does 30 divide (4 - z/3)*(-693)/4?
False
Suppose -2*t = x - 406 - 2093, 3*t = 4*x - 10062. Does 31 divide x?
True
Suppose 2*i = 3*m - 22176, -3*i - 3746 = -m + 3660. Is 56 a factor of m?
False
Let i(d) = 6*d**3 - 9*d**2 + 3*d - 2. Let f be i(2). Is 14 a factor of 480/(-36)*(2004/f)/(-1)?
False
Suppose 0 = 4*p + 2*x - 350 - 1298, -5*x = 3*p - 1229. Let d = -34 + p. Is d a multiple of 44?
False
Let g(m) = -346*m - 703. Is 59 a factor of g(-8)?
True
Suppose 0 = -4*c + 3*c - 65. Let b(d) = -d**2 - 15*d - 2. Let x be b(-15). Is 4 a factor of c/(-10) + -6 + (-95)/x?
True
Let j = 21 + -27. Is 6 a factor of (-1581)/j + (-9)/(-18)?
True
Suppose 6*d = 10*d - 112. Let p(r) = 6 + 18*r + d*r - 23*r. Is 6 a factor of p(1)?
False
Suppose -n = 3*r - r - 14, 0 = 4*r - 4*n - 52. Suppose 0 = 4*x - 121 + r. Suppose u - h = 82, -5*h = 4*u - 264 - x. Is u a multiple of 7?
False
Suppose 0 = 5*w + j + j - 12, 3*w - 7 = -j. Suppose -w*z + 5*z = -18. Is 4/(3/z*-1) a multiple of 4?
True
Is (-14 + 39)/((-2)/(-220) + 0) a multiple of 22?
True
Is 4 a factor of (-3)/(42/(-4)) - 27/(6426/(-1114724))?
True
Suppose -40 = -5*l + 5*w - 3*w, 5*w = 0. Suppose 0 = l*u - 2657 - 2143. Is 15 a factor of u?
True
Let i(p) be the third derivative of 5*p**4/6 + 100*p**3/3 - 109*p**2. Is 40 a factor of i(0)?
True
Suppose -u = -4*u + 6, 0 = 2*l - u - 182. Let c = -92 + l. Let k(h) = -h**2 + 2*h + 157. Is k(c) a multiple of 15?
False
Is 39 a factor of (-481)/((16 - 4)/(-108))?
True
Let o be (5/((-15)/(-14)))/(13/1053). Suppose 0 = -p + z + 66 + 8, 5*p - o = z. Does 4 divide p?
True
Let p(g) = 4*g + 56. Let m be p(-9). Let j(w) = -2*w**2 + 39*w + 14. Let u be j(m). Does 3 divide ((-290)/(-14) + u/(-21))/1?
True
Let d(a) = 3*a + 88. Let c(n) = 6*n + 176. Let z(b) = -4*c(b) + 7*d(b). Let v(g) = -7*g - 176. Let u(t) = 2*v(t) - 5*z(t). Is u(-27) a multiple of 10?
False
Suppose 4*a + 0 = 20. Suppose -a*q + 102 = 117. Let v(w) = -4*w**3 - 5*w**2 - 11*w - 15. Is 28 a factor of v(q)?
False
Let l(x) be the third derivative of -31*x**6/720 - x**5/10 - x**4/24 + 2*x**2. Let j(f) be the second derivative of l(f). Is 14 a factor of j(-4)?
True
Suppose -1581 = -7*h + 5748. Let f = h + -742. Does 31 divide f?
False
Suppose 5*n + m - 6875 = 0, -2*n + 1143 = 3*m - 1607. Let x = n + -637. Is x a multiple of 18?
True
Suppose 3*l + 100 = 2*i, l - 7*i + 42 = -2*i. Let q = l - -37. Suppose 5*c - 49 = 2*s - 189, 0 = q*c + 20. Is 12 a factor of s?
True
Let b(q) = q**3 + 28*q**2 + 4*q + 8385. Does 39 divide b(0)?
True
Suppose 0 = 4*x - 24, 170 = f + 25*x - 22*x. Is 5 a factor of f?
False
Let x(h) = 2*h**3 + 123*h**2 + 73*h + 202. Does 18 divide x(-58)?
False
Suppose -3 = -a + d, -10 = a - 3*a - 2*d. Suppose a*h - 2*g = -7*g + 16, -3*h - 4*g = -12. Suppose -b = 2*u - 54, 4*b - 80 = -h*u + 36. Does 5 divide u?
True
Let u = -2176 - -5060. Does 14 divide u?
True
Let u = -5111 + 5706. Is u a multiple of 85?
True
Let v(n) = n**2 - 11*n - 15. Let k be v(13). Let r(h) = -31*h - 56. Let q(a) = 68*a + 113. Let i(y) = 6*q(y) + 13*r(y). Is 5 a factor of i(k)?
True
Let g(p) = -7*p - 76. Let n be g(-11). Let s(f) = 389*f**2 - 2*f + 1. Let z be s(n). Suppose 2*l + 4*m - 258 = 0, 3*l + 6*m = m + z. Is 51 a factor of l?
False
Suppose 73*p - 850974 = -318804. Is 121 a factor of p?
False
Let f be (-6)/((-24)/4)*(11 - 1). Suppose -2754 = -f*n + 2826. Is 62 a factor of n?
True
Suppose -323 - 103 = -2*o - 2*b, o - 3*b - 217 = 0. Suppose o + 95 = v. Suppose -3*r + v = 3*x, -25 - 66 = -x + 2*r. Is 32 a factor of x?
False
Suppose 2*a + 2 = 2*g, -2 = -3*a - 2*g - 0. Suppose a = c + 3*s - 7, 2*c - c = 3*s + 1. Does 30 divide 1/(-2) + 778/c?
False
Suppose 124 = 2*x + 4*y, 251 = 5*x + 5*y - 64. Suppose 4*t = -x - 100. Let l = 27 - t. Is 21 a factor of l?
False
Let r(h) be the first derivative of -h**2/2 + 7*h - 8. Let b be r(14). Does 10 divide b + 4 - -93*1?
True
Let q = 62 - 48. Let k(h) = -3 - 19 - 2*h - q. Is k(-21) a multiple of 5?
False
Is 263 a factor of (-12616)/(-6) + (-828)/(-621)?
True
Let b(g) = -g**3 - 48*g**2 - 98*g - 753. Is b(-47) a multiple of 23?
False
Let p(a) be the third derivative of -a**5/60 - 7*a**4/24 - a**3 + 25*a**2. Let l be p(-5). Let h(t) = 8*t**2 - 13*t - 1. Is 15 a factor of h(l)?
True
Let q(v) = -21*v + 80. Let o be q(9). Let j = o + 112. Suppose -j*u + 168 = -2*k - k, 5*k + 162 = 3*u. Is 3 a factor of u?
False
Let d be (-51)/(-51) + ((-2)/1 - -417). Is d - 6 - (0 + 6) a multiple of 25?
False
Suppose 0 = -11*v - 6 - 5. Let y be (12/14)/(v/14). Does 17 divide (-3)/y + -1 + 1372/16?
True
Let g(h) be the first derivative of 27*h + 29 + 5/2*h**2. Is 6 a factor of g(4)?
False
Let b = 413 - 394. Suppose -3*s - 34 + 1 = -2*z, -z + b = -s. Is z a multiple of 24?
True
Let g(s) be the third derivative of -s**6/40 - s**5/12 - 3*s**4/8 + s**3/2 + 38*s**2. Is 12 a factor of g(-4)?
False
Let z be 12/27 + (-12762)/(-81). Does 5 divide z/(-79) - (0 + -47)?
True
Suppose 0*n + 2*n - 14 = -2*m, 5*m = 5*n - 15. Suppose 1095 = n*b - 480. Is 63 a factor of b?
True
Let r(x) = -x**2 - 7*x - 5. Let o be r(-2). Suppose -3*w + 2288 = o*w. 