6*g**2 + 8*g + 3. Let s be c(f). Let l(j) = 6*j - 6. Does 34 divide l(s)?
False
Suppose 2*l - 115*u = -110*u + 394, 3*u - 1016 = -5*l. Is l a multiple of 7?
False
Let n be (149 - 148)/((-2332)/2330 + 1). Let i = -575 - n. Does 55 divide i?
False
Suppose 16 = 5*g - g. Let c be (-6903)/78*3/(18/(-4)). Suppose 0 = g*i + c - 175. Is i a multiple of 6?
False
Let v(q) = -q**3 - 15*q**2 + 18*q + 9. Let j be v(-16). Let h = j + 146. Is 25 a factor of h?
False
Let f = 4003 - 3675. Does 5 divide f?
False
Let c(q) be the second derivative of 2*q**3 + 6*q - 2/3*q**4 + 6*q**2 + 0 - 1/20*q**5. Does 23 divide c(-10)?
True
Let g be 324/(-189) + -1*(-4)/(-14). Does 23 divide g - 2*(-3 - 38)?
False
Let m(x) = 29*x**2 + 3. Let j be m(-1). Is 1*26 + (31 - j) a multiple of 2?
False
Let o(g) = g**3 - 4*g**2 - 7*g + 3. Let u be o(6). Let t(i) = -90*i + 1121. Let d be t(12). Let j = d + u. Is j a multiple of 37?
True
Is (-2 + -3)/1 - (-131250)/21 a multiple of 23?
False
Let y(j) be the second derivative of j**3/2 + 29*j**2 - 28*j. Let c be y(-18). Suppose c*t + 24 = 128. Is t a multiple of 5?
False
Suppose 21*g - 3876 = 66688 + 37229. Does 46 divide g?
False
Let b = 328 - -2637. Does 23 divide b?
False
Is 44 a factor of ((-7062)/5)/(-49 - 9770/(-200))?
True
Suppose -15 = c + 5*o - 45, -5 = c - 2*o. Suppose 109 + 1051 = -c*d. Let w = d - -363. Is w a multiple of 28?
False
Let m be -4 + (-15)/(-4 + 1) + 5. Let u(n) = 254*n - 124. Does 35 divide u(m)?
True
Let h(r) = r**3 - 11*r**2 - 54*r + 290. Does 121 divide h(22)?
False
Suppose p - 5*p = -5*c + 319, p + 4*c = -64. Let f = p - -72. Is 17 a factor of ((-948)/48)/(1/f)?
False
Let w(z) = -5074*z + 87. Does 19 divide w(-2)?
False
Let k(g) = -16*g**2 - 60*g - 4. Let s be k(-4). Is s/25 + 5618/10 a multiple of 17?
True
Let j(f) = f**2 + 4*f - 2. Let z be j(1). Let p(k) = -2 + 2*k + 151*k**3 + 155*k**3 - 307*k**z - 9*k**2. Does 7 divide p(-10)?
False
Let w = -3316 + 4197. Is w even?
False
Let p(j) = j**3. Let t(l) be the second derivative of -l**5/4 - 5*l**4/12 + 4*l**3/3 + 11*l**2/2 - 14*l. Let s(y) = -4*p(y) - t(y). Is 3 a factor of s(-3)?
False
Suppose 43*o - 40*o = -336. Is 51 a factor of (-15952)/o + 3/(-7)?
False
Suppose -35*s + 83*s - 15*s = 1273470. Is 227 a factor of s?
True
Let n = 564 - 1979. Let j = -956 - n. Is 4 a factor of j?
False
Let n = -101 - -104. Let t(g) = 2*g**2 - 2*g - 1. Let v be t(-1). Suppose 0 = -2*s + 10, v*s - 35 = 2*a - n*a. Is a a multiple of 5?
True
Let m(i) = 34*i - 14. Let t be ((-4)/(-3) - 2)/(74/(-1887)). Is m(t) a multiple of 12?
True
Suppose 4*u = 3*y - 27, 0*u - u = 4*y - 17. Suppose y*b = 21 - 11. Suppose 0 = -b*h + 209 + 49. Is h a multiple of 6?
False
Let i(a) = a + 13. Suppose 5*w - 17 = 2*l - 56, -4*l - 57 = 5*w. Let y be 4 - 8/4 - w. Is 17 a factor of i(y)?
False
Suppose q = -8*x + 3*x - 330, -5*q + 4*x = 1766. Does 13 divide (-12 + 7 - q) + 7?
False
Let t(d) = 1518*d**2 - d. Let b be t(1). Let i = b + -853. Is i a multiple of 8?
True
Let y(j) = 554*j**2 - 31*j + 85. Is 265 a factor of y(5)?
True
Let a(y) = 62*y**2 + y. Let u be 10/(-4)*(-2)/5. Let m be a(u). Let i = m - 9. Is i a multiple of 6?
True
Let y = -3969 + 4521. Is 12 a factor of y?
True
Suppose 3*g - 1601 = -4*c + 2330, -1308 = -g + c. Is g a multiple of 7?
True
Suppose 202*c = 206*c + 48. Let d(h) = 3*h**2 + 15*h - 9. Is 9 a factor of d(c)?
True
Let z(c) = -17*c - 98. Let g be z(-6). Let l = 52 + g. Does 8 divide l?
True
Let t(w) = 654*w - 265. Is 19 a factor of t(7)?
True
Let t(x) = -5*x**2 - 223*x - 56. Is 52 a factor of t(-39)?
False
Let i(a) = 3*a**2 - 231*a - 429. Is 29 a factor of i(113)?
False
Let p(s) = 2*s**2 - 52*s + 4. Let u be p(26). Suppose 2*h + a = -2*a + 995, 2*h = u*a + 988. Does 8 divide h?
True
Let m(d) = 36*d + 18. Let x = 112 + -47. Suppose x = 9*g + 2. Is 10 a factor of m(g)?
True
Suppose -3009941 - 377121 = -113*y. Is y a multiple of 38?
False
Let f(i) be the third derivative of 21*i**4/4 + 8*i**3 - 34*i**2. Let w be f(8). Suppose w = -14*v + 2932. Is 17 a factor of v?
False
Let v(p) = 353*p**2 - 27*p + 45. Is 11 a factor of v(2)?
False
Let k be (1/(-2))/((-11)/(-264)). Let b(w) = 2*w**3 + 25*w**2 + 16*w + 13. Let c be b(k). Let d = 60 + c. Is 6 a factor of d?
False
Let r = 18196 + -16254. Is 11 a factor of r?
False
Let q = -309 - -410. Let i = q + 395. Does 19 divide i?
False
Suppose 3*x + 0*x - 2*q = 3578, 0 = -3*x + 4*q + 3580. Suppose 5*r = 15, -2*r = 2*n - 4*r - x. Is n a multiple of 22?
False
Suppose -t + x - 465 = t, -t - 237 = -5*x. Let y = 783 + t. Is 52 a factor of y?
False
Let d = -17 + 22. Suppose -5*c - 10 = -d*n, -3*n - 4*c + 8 - 2 = 0. Suppose -4*o = 4*u - 716, 3 = o - n*u - 164. Does 21 divide o?
False
Suppose 0 = 2*u + 2*b - 18194, -4*u + 9*b = 12*b - 36386. Is u a multiple of 18?
False
Suppose -u - 323 = -18*u. Suppose -u*g - 95 = -0. Let r(h) = 2*h**2 - 4*h - 14. Is r(g) a multiple of 4?
True
Let v be ((-2)/6 + 1)*9735/22. Suppose 0 = -3*d + 3*q - 2*q + v, -d + 99 = -q. Is d a multiple of 7?
True
Let y be 3*-8*(-575)/30. Let j = -249 + y. Is 11 a factor of j?
False
Let c(a) = -a**3 + 8*a**2 - 2*a + 5. Let y(u) = -7*u + 47. Let z be y(6). Does 5 divide c(z)?
True
Suppose -9*s = 3*s - 204. Is -396*((s - 17) + 1 + -2) a multiple of 53?
False
Suppose 3*c = -y + 1010, 0 = 2*c - c + 5*y - 346. Suppose -282 - c = -6*u. Is u a multiple of 12?
False
Suppose x = 1, -x - 447 + 4368 = 7*v. Let i(c) = -c**3 + 4*c**2 + 7*c - 4. Let k be i(5). Suppose 0 = k*n + 4*n - v. Is 11 a factor of n?
False
Suppose -1 = -c - 5. Let o be 1 + c + (-1)/(-1). Is 3 a factor of (-16)/(-4) + o + 13?
True
Let r = -229 - -231. Suppose -3*l = -j + 79 - r, -4*j + 5*l = -273. Does 2 divide j?
True
Suppose -4*s + 2*q + 20 = 0, 122*s - 127*s + 5*q = -25. Suppose 0 = -2*i - 4*u + 336, s*i = -0*i + 5*u + 780. Is 20 a factor of i?
True
Let j be ((-21)/(-28))/((-3)/(-154))*-4. Let g = j - -206. Is 26 a factor of g?
True
Let c(j) = -102*j + 1937. Is c(-36) a multiple of 6?
False
Suppose 2*x - 3*x - 3 = 0, -5*x + 385 = 4*g. Let j = g + -100. Suppose j = -15*r + 9*r + 42. Is 3 a factor of r?
False
Let z be (-42)/(-4)*(-48)/(-14). Let t(d) = 13*d + 47. Let v be t(-3). Suppose v*b + z - 164 = 0. Is b a multiple of 4?
True
Suppose -s - 3*f = 19, 1 = -2*s + 2*f + 3. Let v(n) = -113*n + 13 + 225*n - 113*n. Is v(s) a multiple of 2?
False
Let g = 1 - 0. Is -3 + 7 - (-77 - g) a multiple of 76?
False
Let a(k) = -2*k**3 - 5*k**2 - 5*k + 10. Suppose -5*b - 152 = 5*t + 283, 0 = -5*t - 20. Let u = 78 + b. Does 21 divide a(u)?
False
Suppose -2*p + 100 = -4*a - a, -4*a = -3*p + 164. Let q = 23 + p. Is q a multiple of 4?
False
Does 48 divide ((-32)/(-4) + (-240)/28)/(12/(-439026))?
False
Let b = -369 + 78. Let g = b + 628. Is 11 a factor of g?
False
Suppose -n + 3*z + 44 = 0, 0 = 2*n + z + 32 - 155. Let b be (-12)/(-15)*10/2. Suppose 0*q - b*j - n = -q, 2*q + 5*j - 79 = 0. Does 34 divide q?
False
Let c(o) be the third derivative of 2*o**5/15 - 7*o**4/8 - o**3/2 - 69*o**2. Does 30 divide c(9)?
False
Let k(j) = 2*j**2 - 9*j + 11. Let i = 16 - 48. Let s = i - -38. Is k(s) a multiple of 29?
True
Suppose -9*q = -4*q - 3*x + 1438, 3*q = 5*x - 850. Let f = -254 - q. Is 18 a factor of f?
True
Suppose -35003 - 8634 = 30*d - 259217. Is d a multiple of 113?
False
Let x(v) = 5*v**2 + 4*v + 4. Let f be x(5). Let o = 149 - f. Does 20 divide -1 + (0 - o) + 24?
False
Let s be (-48 - -34)/(-2 + 3 + 1). Is ((-888)/(-10))/(s + 324/45) a multiple of 12?
True
Let i = 246 + 13218. Does 6 divide i?
True
Let d(o) = 2*o**2 - 20. Let j be d(0). Does 3 divide 6*(-55)/j*4?
True
Does 4 divide 214/(-15 - 2743/(-182))?
True
Suppose -3*q = -q - 2*h + 118, 2*h = 3*q + 178. Is (-200)/q*(78 - (-2 - -2)) a multiple of 13?
True
Suppose 4*o - 7*o + 3*n - 87 = 0, n = -5*o - 133. Is (-3737)/(-9) - (75/o + 3) a multiple of 7?
False
Suppose 3 - 11 = -2*x. Suppose 3*c - 3315 = -5*d, -x*c + 7*d + 4449 = 4*d. Suppose -5*i + u = -1848, i + 2*i = u + c. Does 55 divide i?
False
Let d = -2948 - -4424. Is d a multiple of 18?
True
Suppose -3*a = -2*s + 2, 3*s - 7 = -5*a + 15. Suppose h = -4*b + 4*h + 2595, 1942 = 3*b + a*h. Is 36 a factor of b?
True
Suppose 135*t - 138*t + 6 = 0, -2*b = -3*t + 430. Let n(y) = 395*y**3 - 1. Let c be n(1). Let m = c + b. Is m a multiple of 13?
True
Le