126?
False
Let z(g) = g**2 + g. Let o be z(-1). Let s = 1225 - 1182. Suppose o = 4*d + s - 111. Does 10 divide d?
False
Suppose 4*l + 696 = -4*s, 4*s - 691 = 8*s + 5*l. Let o = s - -271. Is 4 a factor of o?
True
Let n(g) be the first derivative of 2*g**3/3 - g**2/2 + g + 1. Let q be (12/(-24))/((-3)/(-90)*5). Does 3 divide n(q)?
False
Is 13 a factor of (1 - (-5517)/3) + -29 + 22?
True
Let s be (4/6)/(4/30). Suppose -h + 851 = -s*p - 303, 2*h - 238 = p. Does 23 divide (4/10)/((-1)/p)?
True
Let g(b) = -1371*b - 2671. Is g(-11) a multiple of 73?
True
Let z(a) = -a**3 - 7*a**2 + 23*a - 14. Suppose 5*x + 15 = 6*x. Suppose -55 = 4*i - x. Is 15 a factor of z(i)?
False
Suppose -163 = -15*f + 92. Is 15 a factor of (f/(136/(-600)))/((-2)/4)?
True
Suppose 0 = 11*k - k + 11260. Let x be k*(-3)/30 + (-3)/5. Suppose -5*r + x = -3*r. Is 8 a factor of r?
True
Let k = 19113 + -5380. Is k a multiple of 21?
False
Let u(b) be the second derivative of -b**5/20 + b**4/12 + 2*b**3/3 - 2*b**2 - 8*b. Let s be u(2). Suppose 4*d = -s*d - 5*p + 235, -p + 58 = d. Does 20 divide d?
False
Suppose -3*j - 56 = j. Let y(h) = -h**3 - 12*h**2 + 20*h + 7. Is y(j) a multiple of 40?
False
Let n be (-1)/2*(-29 + -4 + -5). Suppose -39 = -5*v - n. Suppose -17 - 271 = -v*y. Is y a multiple of 17?
False
Let k be (0/30)/(-2 - -1). Let u(w) = w**3 + w**2 + w + 89. Does 14 divide u(k)?
False
Suppose 0 = -q - 3*h + 4, 4 = q + 7*h - 2*h. Suppose 0 = 3*k + 5*s - 0*s - 14, k + q*s = 0. Is 4 a factor of k?
True
Is 25 a factor of 9350/(-8)*((-261)/174)/(6/16)?
True
Let q = 492 + -541. Is 20 a factor of 252/q*(700/(-6))/5?
True
Suppose 43719 = 4*j - q, 4*j + 86*q - 97*q - 43669 = 0. Is 17 a factor of j?
True
Let g = 1 + 2. Suppose -g*c - 680 + 2843 = 4*u, 2*u - 3*c = 1077. Is 16 a factor of u?
False
Let w(q) = 10*q**2 + 12*q + 27. Let t be w(-6). Suppose 13*b + 2*b = t. Does 3 divide b?
True
Let v(t) = -6 + t**2 + 0*t**3 + 2*t**2 - 12*t - 2*t**2 - 5*t**3. Is 54 a factor of v(-4)?
True
Let r = -176 + 190. Suppose -8750 = -11*y - r*y. Does 35 divide y?
True
Does 5 divide ((-20)/(-8) - 7)/((-36)/27840)?
True
Let f = -159 + 159. Suppose -41*m + 15*m + 5122 = f. Is 69 a factor of m?
False
Suppose 8 = 2*k + 2*k. Let c(a) = -2*a**2 - a + a**3 + 6*a + 2*a + 12 + 10*a**k. Is c(-7) a multiple of 9?
False
Suppose -2*c + 172 = -168. Let h(j) = -2*j**3 - 8*j**2 + 32*j + 110. Let l be h(-6). Let y = c - l. Is 36 a factor of y?
True
Let t be 32/(-128) + 830/(-8). Let f = t + 206. Does 10 divide f?
False
Let o = 1291 + -3396. Is 1 + 16/(-12) - o/15 even?
True
Let b(h) = -4*h - 10. Let c be b(-6). Let u = -12 + c. Is (0 + u)*4/4 a multiple of 2?
True
Let w = 47 - -68. Let c = -24 + w. Does 24 divide c?
False
Let y(s) = s**2 - 6. Let k be y(-4). Suppose -k*g + 2880 = -2*g. Suppose -7*v + 5*v + g = 0. Is v a multiple of 22?
False
Let b = -40 + 45. Suppose 7*l = b*l + 88. Suppose -39*u = -l*u + 175. Does 8 divide u?
False
Let a be 20/(-30)*(-2 - 1). Suppose 0 = -2*s + 3*f + f + 204, 0 = -a*s - 3*f + 183. Is s a multiple of 12?
True
Let f(p) = -9 + 22 + 142*p + 117*p. Is f(3) a multiple of 31?
False
Let w(q) = -11*q**2 + 12*q + 24. Let t(a) = 67*a**2 - 70*a - 144. Let f(n) = 6*t(n) + 34*w(n). Is f(-3) a multiple of 20?
True
Suppose 38*f + 34*f = 1386504. Is 147 a factor of f?
True
Does 17 divide 3 + (-1585 - -33)/(6/(-69))?
False
Suppose 4*z + 107 - 163 = 0. Suppose -z*n = -8*n - 6210. Does 23 divide n?
True
Suppose 2*l - 2 = -2. Suppose 2*h = 3*g - 2*h - 411, -3*g - 5*h + 411 = l. Let b = -77 + g. Does 20 divide b?
True
Let f(i) = i**3 + 2*i**2 + 54*i. Let k(r) = -2*r**3 - 3*r**2 - 109*r + 2. Let n(u) = -7*f(u) - 3*k(u). Is n(-7) a multiple of 16?
False
Is (111/(-2))/(1 + -3 + (-930)/(-744)) even?
True
Is 29 a factor of (-43146)/(-6) + ((-16)/6)/8*-3?
True
Let s be 66/(-55)*(1 + (-13)/(-2)). Is (-12)/s*4509/9 a multiple of 14?
False
Suppose 2*g - 2 = 0, 4*k - 201 = -0*k - g. Suppose 5*f - 379 = 4*x, x - 241 = -5*f + 2*f. Let n = k + f. Is 26 a factor of n?
False
Is 37 a factor of (26/39*(5 + -1))/((-8)/(-4404))?
False
Let v(d) be the second derivative of -d**4 + 25*d**3/6 + 6*d**2 + 23*d. Let h(s) = -6*s**2 + 13*s + 6. Let z(m) = 5*h(m) - 3*v(m). Is 28 a factor of z(-5)?
False
Let c(v) = 3*v**2 + 46*v + 99. Let f be c(-13). Let u be (0 + 0)/(0 + 1). Suppose -7*j + f*j - 30 = u. Does 15 divide j?
True
Suppose 2*l + 5*d = 5897, -4*l - 3*d + 4646 = -7113. Suppose 0 = -12*n + l + 4408. Does 20 divide n?
False
Let r = -66 + 74. Does 5 divide (-51)/68 + 1014/r?
False
Let o(f) = 602*f**2 - 93*f + 438. Is 181 a factor of o(5)?
True
Suppose 5*z = -5*w + 30, -22*z + 2*w - 39 = -27*z. Is 36 a factor of 9/6*(-18)/z - -147?
True
Suppose 0*n + 18 = 9*n. Suppose -3*z = 3*r - r + 2, -n = -z + 2*r. Suppose 3*p = z, -4*d - 45 + 257 = p. Does 17 divide d?
False
Is 4611 - 9/(36/20) a multiple of 14?
True
Let l be (-3 - (-3 - -2))*(-56 + -2). Suppose 0 = 113*a - l*a + 1497. Is 12 a factor of a?
False
Let x = 251 - 248. Suppose -x*p + 9450 = 27*p. Is p a multiple of 46?
False
Let u(n) be the second derivative of 27*n + 0 - 1/3*n**3 + 32*n**2. Is 4 a factor of u(16)?
True
Suppose 223 = -3*c + 1834. Let q = 123 + c. Is 33 a factor of q?
True
Let m(r) = -28*r + 1985. Is m(-78) a multiple of 64?
False
Let k(u) = u**3 - 8*u**2 - 5*u + 10. Suppose 3*o = 5*s - 60, 3*o + 4*s + 16 = -17. Let z be (o/3)/(-1*2/4). Is 16 a factor of k(z)?
True
Suppose 0 = 3*l - m - 16, -3*l - m = 2*m. Suppose -4*p + l = -12. Suppose 2*q + 236 = p*v - 260, v - 110 = -3*q. Is 14 a factor of v?
False
Suppose 2*o = -5*u + 315, u - 5*o + 86 = 2*u. Suppose 108*z + 47 = -2*k + 105*z, 3*z = -k - 31. Let x = u + k. Is 9 a factor of x?
True
Suppose -4*j - 565 - 471 = 0. Let l(p) = p - 78. Let i be l(-11). Let w = i - j. Does 36 divide w?
False
Let m(y) = 37*y**2 - 13*y - 52. Suppose 0 = -12*r - 0*r - 84. Is 100 a factor of m(r)?
False
Suppose -2749 = -4*y - 1109. Let x = -205 + y. Suppose 0 = 4*s + 2*o + 2*o - 268, -x = -3*s - 5*o. Does 13 divide s?
True
Suppose 2*n - 5*x = -1381, 0 = -4*n - 3*x - 2*x - 2687. Does 43 divide -2 + n/(-15) - (-2)/(-10)?
True
Suppose k - 5*q = -9*q + 1480, 3*q + 7400 = 5*k. Is 8 a factor of k?
True
Let r = 257 + -192. Let m = 201 + r. Is m a multiple of 5?
False
Let i be ((-330)/1)/(14/(-4) + 2). Suppose b + 123 = 4*j, -2*b - 4*j - 276 = -2*j. Let k = i + b. Does 17 divide k?
True
Let d(a) = 8*a**2 - 662*a - 699. Is 11 a factor of d(98)?
False
Suppose 2*f + 1984 = 4*m, 5*m - 7*m + 1016 = 5*f. Let c = 72 + m. Does 48 divide c?
False
Suppose -24*h - 16 + 16 = 0. Suppose 0 = k - h + 4, -z + 171 = k. Is 7 a factor of z?
True
Let s(b) = 17*b + 13. Let w(r) = -r**3 - 5*r**2 - r - 2. Suppose 0 = 2*t - 3*l + 4, l - 13 = -t + 4*t. Let j be w(t). Is 32 a factor of s(j)?
True
Let n(s) = s**3 + s**2 - 4*s + 9. Let i be n(-3). Let f(g) = 3*g - 6. Let y be f(i). Suppose y*h = -0*k + 5*k - 858, 4*h = -4*k + 712. Is 29 a factor of k?
True
Let p(c) = -3811*c - 2059. Is 194 a factor of p(-2)?
False
Suppose -4*u - 8400 = -5*q, 1910 - 224 = q - 2*u. Does 27 divide q?
False
Suppose -5*f - 2*o = 29, 13*o = -4*f + 9*o - 28. Does 4 divide ((-32)/f)/(-1)*(53 - 58)?
True
Suppose 6 = -z + 10, 8 = 2*m + 5*z. Is 10 a factor of (-3192)/(-380)*(-400)/m?
True
Suppose -5*b - 4*j = -235, 0 = -2*j + j + 5. Suppose -3*z + 406 = 4*g + b, 4*z - 360 = -4*g. Is 8 a factor of g?
False
Let r = 55645 + -39277. Is 12 a factor of r?
True
Let f = 88 - 72. Suppose 20*j = f*j + 24. Does 3 divide j?
True
Suppose 37*n - 26*n - 99 = 0. Suppose u - 246 = 5*f - n*f, 0 = 5*u - 3*f - 1345. Is u a multiple of 38?
True
Let n = -180 - -682. Suppose v + v - z - 499 = 0, -2*v + 2*z + n = 0. Suppose j = 3*m + 38, -4*j + 2*m = 106 - v. Is 7 a factor of j?
True
Suppose 0 = -41*f + 10*f - 1240. Suppose -2*k + 44 = j + k, -4*k = j - 40. Let l = f + j. Is l a multiple of 16?
True
Let w(t) = 95*t - 830. Does 10 divide w(34)?
True
Let d(x) = 2*x**2 - 29*x + 47. Let l(g) = 2*g**2 - 31*g + 46. Let b(u) = -4*d(u) + 5*l(u). Is 4 a factor of b(20)?
False
Suppose 4*w - 223 = 5. Let s = 62 - w. Suppose -7*o + 241 = -2*o + q, 0 = 2*o - s*q - 118. Does 7 divide o?
True
Suppose -37*h = -10*h - 29413 - 67868. Does 5 divide h?
False
Suppose 125*c = 202*c - 127*c + 254100. Does 6 divide c?
True
Is (-31)/(589/76) + 7531 a