s 8 a factor of (c*1)/(49 - 44)?
False
Is -27*(-140132)/116 + 4/58 a multiple of 193?
True
Let l be -4*(2 + (-49)/(-2)). Let s(a) = -a**3 - 15*a**2 + 41. Let w be s(-14). Let d = l - w. Is 17 a factor of d?
False
Suppose -2*c + 7*c = 2*i + 588, 0 = i - 5*c + 299. Let z be -1 - 165908/285 - 4/(-30). Let m = i - z. Is 21 a factor of m?
True
Suppose -3*n - 4 = -n, -5*w - 2*n - 119 = 0. Let y = w - -18. Is (-5*6)/y*11 a multiple of 33?
True
Suppose -k + 4 - 5 = 0. Let b be 16*7*k/(-2). Is 3/3 + -3 + (b - 1) a multiple of 9?
False
Let p = -109 - -111. Let l be ((-6)/1)/(p/(-144)). Suppose 0 = -15*c + 288 + l. Does 6 divide c?
True
Let z = 40223 - 21309. Is z a multiple of 74?
False
Let f = -34 + 44. Suppose -19 = -4*x - 4*o + 9, 5*x - 4*o + f = 0. Suppose 18 = 5*i + x*r, -i - 3*i + 20 = -4*r. Does 4 divide i?
True
Suppose -5*o - 11 = -31. Let m(x) = 17*x**2 + 20. Let g be m(o). Suppose -g*b - 216 = -296*b. Is 31 a factor of b?
False
Suppose -18 = -r + 7*r. Let s be ((-1)/r)/(-1 - 14/(-12)). Suppose s*z = -0*z + 114. Is 29 a factor of z?
False
Let s be -263 - ((-125)/(-40) - (-5)/(-40)). Let v = s - -1044. Is 68 a factor of v?
False
Let i = 31835 + -25731. Is 218 a factor of i?
True
Let y(a) = 10 + 0 + a + 5*a - 5*a. Let n be y(-5). Suppose -6 = -2*q, n*i = 3*q + 189 + 182. Is 14 a factor of i?
False
Suppose 12*p - 172*p + 4851156 - 1388116 = 0. Does 14 divide p?
True
Let w = -354 - -2963. Suppose w = 4*x - 1463. Is x a multiple of 11?
False
Let y = -10900 - -19765. Does 15 divide y?
True
Is 46 a factor of (2/8 + 1)/((-10)/(-16)) + 9106?
True
Let g be 11/3 + (-6)/(-18). Suppose 0 = -2*f + 4*j - 50, g*f = j + 2*j - 115. Let x = f - -141. Does 14 divide x?
False
Suppose 0 = -18*g + 7*g + 209. Suppose -1654 = -g*p - 476. Does 2 divide p?
True
Let g = 4225 + -3259. Is g a multiple of 3?
True
Let l = 67 - 73. Let n = l + 9. Suppose 48 = -b + n*b. Does 7 divide b?
False
Let x(y) = -15*y**2 - 4*y - 213. Let h(j) = -3*j**2 - j - 43. Let m(k) = -11*h(k) + 2*x(k). Is 77 a factor of m(-11)?
False
Suppose -30251 = -9*p + 9889. Is 10 a factor of p?
True
Let z(p) be the second derivative of p**5/60 - 13*p**4/12 + 23*p**3/6 - 33*p**2/2 - 12*p. Let q(c) be the first derivative of z(c). Does 15 divide q(28)?
False
Is ((7896/(-15))/2)/((-29)/290) a multiple of 51?
False
Let s be 3/(9/(-33)*-1). Suppose c = 2, -s*w + 9*w + c = -1106. Does 40 divide w?
False
Suppose -2*s + 10 = 0, 2*u - 24451 = -8*s + 7*s. Is u a multiple of 168?
False
Suppose 19*k = 2*y + 16*k + 10, -49 = 3*y + 4*k. Let x(q) = -16*q**3 - q**2 + 4*q - 3. Let v be x(3). Does 16 divide v*((2 - y/(-3)) + 1)?
True
Let b(u) = 4734*u**2 - 473*u - 475. Is 59 a factor of b(-1)?
False
Let h be (7/1 + -633)/(3 + -1). Let t = -14 - h. Is 15 a factor of t?
False
Let a be ((-30)/(-9))/((-3)/(-9)). Suppose a*u - 466 = 414. Is 44 a factor of u?
True
Let v(q) = 4*q + 29. Let b be v(-8). Let f(o) = -105*o + 90. Does 20 divide f(b)?
False
Let q be (7 + -1)*26/(-39). Does 17 divide (q - (-14)/4)*2*-179?
False
Let c be (367/3)/(3/18). Let a = 744 - c. Does 2 divide a?
True
Does 116 divide (8/12*9)/((18/(-4443))/(-3))?
False
Does 4 divide 10 + -8 - 6196*8/(-16)?
True
Let f(l) = -2*l**2 - 23*l - 42. Let j be f(-2). Is 9 a factor of 355 - (2/(-4))/(j/8)?
False
Suppose 0*x - 4*x - 16 = 0. Let m be 0 + (-2)/7 + (-18)/(-14). Is (2 + x + 29)*m a multiple of 9?
True
Let o = -624 - -624. Suppose -24*y + 9405 - 765 = o. Is 30 a factor of y?
True
Let b = -5025 - -10228. Is 38 a factor of b?
False
Let x = 2254 + -2245. Let m(d) be the third derivative of d**4/8 - 3*d**3/2 - d**2. Is m(x) a multiple of 18?
True
Let n(u) = -u**3 + 3 + u**2 - 3*u + 3*u**2 + 3*u. Let h be n(4). Suppose -h*z - 4*a = -41, 0 = z - a + 6*a + 1. Is z a multiple of 4?
False
Let m(g) be the second derivative of g**3 + 45*g**2/2 + 10*g + 2. Let u be m(-7). Is 10 a factor of 172 - u - 3/(-1)?
False
Suppose 43 = 4*v + 3*w, 2*v + w - 26 = -v. Suppose -4*b + v + 113 = 0. Suppose b = 3*z - 87. Is 4 a factor of z?
False
Let a(t) be the third derivative of 301*t**4/12 - 3*t**3 + 61*t**2. Is a(1) a multiple of 35?
False
Let g(o) = 6*o**2 + 4*o + 2. Let j be g(-4). Suppose i = -867 + 871. Is 14 a factor of j/3 - (i - 70/15)?
True
Let t be (1 + 4)*(-5 + 1). Let r be (1 - (-12)/t)*-5. Is 5 a factor of (20/(-15))/(r/72)?
False
Suppose -2*m = -m. Let t(w) = -170*w + 1193. Let b be t(7). Suppose 0 = b*o + o + 4*p - 40, m = 2*o - 2*p - 12. Does 2 divide o?
True
Suppose 31*s - 105143 = 35312 - 18935. Does 49 divide s?
True
Suppose -20 = -5*a, a - 687 - 221 = -2*s. Let t = -362 + s. Does 6 divide t?
True
Let l be (5/(-2))/((-12)/7608) - 3. Suppose -12*s + 1778 = -l. Is s a multiple of 10?
True
Suppose 71*p + 3*m = 68*p + 96606, 2*p = m + 64398. Is p a multiple of 20?
True
Let c = -40 + 4842. Suppose 11*u = c + 4119. Is 22 a factor of u?
False
Let y = 5132 + -4753. Is y even?
False
Let z(s) = -49*s - 56*s - 15*s + 56*s - 39. Is 2 a factor of z(-2)?
False
Let b = 21 - 6. Let x = b + -33. Let g = 42 + x. Is g a multiple of 8?
True
Let u = 18153 - 8049. Does 52 divide u?
False
Suppose 231*r + 47*r - 1208188 = 0. Is r a multiple of 41?
True
Suppose -5*m + 3 = -12. Let t be 4 + 3/(3/m). Suppose -2*w = -t*w + 5*r + 440, 5*r - 176 = -2*w. Does 19 divide w?
False
Suppose -3*z = 5*q + 690, -3*z + 313 = -4*q - 266. Suppose 859 = 4*b + 6*s - 7*s, 4*s - 219 = -b. Let h = b + q. Is h a multiple of 7?
False
Suppose 3224 = -43*i + 12*i. Let c = i + 470. Is c a multiple of 10?
False
Suppose x + 933 - 196 = 0. Let o = 9 - x. Is o/30 + (-18)/(-135) a multiple of 2?
False
Let z(w) = -w**3 - w**2 + w - 6. Let g be z(5). Let k = g - -43. Let n = k - -171. Is 7 a factor of n?
True
Let p(u) = -u**2 + 45*u - 219. Suppose 2*a - d + 6*d = 89, -3*a - d = -114. Is 7 a factor of p(a)?
True
Let k = -30235 - -58713. Is k a multiple of 13?
False
Does 35 divide 8 + 55/25 + -10 + 1748/10?
True
Let c(n) = n**2 + 10*n - 24. Suppose -2*h - 2*h - 56 = 0. Is c(h) a multiple of 8?
True
Let h(o) be the first derivative of -3*o**4/4 - 7*o**3/3 - o**2/2 - 7*o - 4. Let j be h(-3). Suppose -34 - j = -2*r. Does 8 divide r?
True
Let w(o) = 67*o + 3. Let i be w(-1). Let f = i + 64. Let q(u) = -2*u + 11. Does 3 divide q(f)?
False
Let w(n) = -n**2 - 8*n + 12. Let b be w(-9). Suppose b = 3*r - 6. Suppose -33 + 125 = 4*k - 2*v, -3*k - r*v = -78. Is 12 a factor of k?
True
Let o(p) = -4*p - 65*p**2 + 66*p**2 + 2*p - 6. Suppose 5*n = 29 + 1. Is o(n) a multiple of 18?
True
Suppose n - 4232 = -5*z, -13*z + 15*z + 5*n = 1702. Let k = -499 + z. Is 9 a factor of k?
False
Let z(o) be the second derivative of o**7/420 + o**6/360 - 3*o**5/20 - 4*o**4/3 - 34*o. Let c(p) be the third derivative of z(p). Is 34 a factor of c(3)?
False
Let y(c) = c**3 + 2*c**2 - 4*c + 1. Let q be y(-3). Suppose 92 = r - q*v, 3*r + 6*v = 7*v + 232. Does 36 divide r?
False
Let k = 461 + -250. Suppose -14*q + k = -237. Is q a multiple of 16?
True
Suppose -539 = -5*o - 174. Let l = 73 - o. Suppose -3*c + 109 = m - 0*m, -4*c - 2*m + 146 = l. Does 6 divide c?
True
Let w(l) = -l**3 - 7*l**2 - 49 + 9*l**2 - 4*l + 0*l**3 - 34*l**2. Does 12 divide w(-32)?
False
Suppose -146 + 101 = 5*l. Is l/6 + (1239/14 - -4) a multiple of 11?
False
Suppose -5*l - 575 = r - 1880, 4*l = 16. Is r a multiple of 17?
False
Suppose -3*z + 741 = n, 3*n - 747 = -3*z - 0*z. Suppose u = 4*a - 318, -18*u - z = -3*a - 21*u. Does 16 divide a?
True
Let h(j) = j**3 + 7*j**2 + 10*j + 20. Let m be h(-6). Let v(c) = 9*c**2 - 6*c + 12. Is 16 a factor of v(m)?
False
Suppose 2*p - 8 = 2*a, 3*p + 2*p = -a + 20. Suppose -10*z + 6*z + 128 = a. Is 4*-1 + 1 + -8 + z a multiple of 7?
True
Suppose 5*t - h - 17 = 0, 3*t + 3*h = t + 17. Suppose 25*j = 23*j + t. Suppose -j*a + 384 = -0*a. Is a a multiple of 32?
True
Is 523/(-6 - (-2616)/432) a multiple of 36?
False
Suppose -6*g + n + 8172 = -5*g, 5*g - 40876 = -3*n. Is g a multiple of 16?
False
Let m = 64 - 69. Let n be ((-5)/m)/5 - (-298)/10. Let u = 41 - n. Is u a multiple of 11?
True
Let n = -90 + 42. Let z = -46 - n. Is 32 a factor of (-3)/z*(-548)/6?
False
Let d(g) = -g**3 - 14*g**2 - 6*g + 7. Let h be d(-10). Let k = h + 486. Is 49 a factor of (-1)/2*-2 - (7 - k)?
True
Let j be (-2)/(-4) - 370/(-4). Let b(n) = -234*n - 212. Let z be b(-1). Let w = j + z. Doe