et m(g) = 3 + 81*g**2 + 16*g**2 - 3 - 29*g**2. Is m(a) a multiple of 17?
True
Let n = 62 + -57. Suppose 507 - 1412 = -n*b. Does 21 divide b?
False
Suppose -5*j - 108 = -3*w, -4*w + 0*j = j - 167. Suppose 3*x = 3*g + 318, x - 53 - w = 4*g. Is 9 a factor of x?
False
Let w = 20 - 4. Suppose 0 = 4*k - w - 464. Suppose -k = -2*n + 24. Is n a multiple of 36?
True
Does 19 divide ((-9)/1 - (-6370)/(-350))/((-2)/285)?
True
Let j be ((2 - 2)*20/80)/3. Suppose j = -3*f + d + 2893, 4*d = -0*f + 3*f - 2878. Is 14 a factor of f?
True
Let x = -4216 + 9088. Suppose -40*a = -11*a - x. Is a a multiple of 8?
True
Let t(z) = 9*z**3 + 4*z**3 - 12*z**3 + 21 - 13*z - 10*z**2 + 0*z**3. Let d be t(11). Is 22 a factor of (142/10 + d)*5?
True
Does 207 divide 1 + 19 + -24 - (-8027 + (0 - 1))?
False
Let x(t) = t**2 + 12*t - 2. Let l be x(8). Suppose 5*p - l = 3*p. Let r = -41 + p. Is r a multiple of 4?
False
Let y = -4887 - -5080. Is 6 a factor of y?
False
Let j(n) = -n**3 - 16*n**2 - 26*n + 44. Is j(-14) a multiple of 4?
True
Suppose -34 = -z - z - 4*v, -28 = -4*z + 2*v. Suppose z*d - 18 = 3*d. Suppose 107 = d*k - 145. Is k a multiple of 21?
True
Let c(x) = 375*x - 5222. Is 6 a factor of c(23)?
False
Let b = -1029 + 1849. Suppose o = -3*o - 5*n - 656, -5*o = 3*n + b. Is 28 a factor of o/(-6)*3 - 6/(-3)?
True
Suppose -20*z - 35458 + 187578 = -156280. Does 5 divide z?
True
Let d(l) = 208*l**2 - 2*l + 6. Let r be d(2). Let j = r - 470. Does 26 divide j?
True
Let m = 13 + -5. Suppose b = -d - m, 4*d + 5 = -5*b - 23. Does 9 divide ((-6)/(-4))/((-1)/d)?
True
Let o(c) = -25*c - 1938. Is 2 a factor of o(-93)?
False
Suppose -12*m + 2*m + 200 = 0. Let p be (-1544)/18 + m/(-90). Let c = p + 132. Does 23 divide c?
True
Let g = -327 + 332. Suppose -3*u = -i - 2431, 2*i + 807 = u + g*i. Is u a multiple of 27?
True
Let d(c) = -c**3 - 26*c**2 - 78*c + 1. Let z be d(-5). Suppose 23 = -5*m + 58. Let p = m - z. Does 31 divide p?
False
Let x = -11387 - -16971. Suppose -x = -15*z - z. Does 33 divide z?
False
Suppose 2*w - 276 = 2*s + 230, -5*w - 2*s = -1286. Is 8 a factor of w?
True
Let o(d) = 6*d + 17. Let w(z) = -z - 1. Let v(n) = -2*o(n) - 10*w(n). Let f be v(-13). Suppose -a - 2*a + 13 = m, -a + 26 = f*m. Does 10 divide m?
False
Suppose -3*c + 8705 - 2225 = 0. Suppose 0 = 21*n - 6*n - c. Does 8 divide n?
True
Let u(h) = 200*h + 10461. Is u(-44) a multiple of 11?
True
Let s(c) = 140*c + 426. Let u be s(-3). Let a(p) be the second derivative of p**4/3 - 11*p**3/6 - 11*p**2 - 2*p. Is a(u) a multiple of 5?
False
Let x = 82 + -121. Let r be (-4)/26 + (-6)/x. Suppose r*t - 5*t + 215 = 0. Is t a multiple of 13?
False
Suppose v - l = 265, -l - 533 = -0*v - 2*v. Suppose -271*g + 711 = -v*g. Does 20 divide g?
False
Let f(g) = 11*g - 2. Let p(t) = 14*t - 7. Let o(k) = -15*k + 8. Let j(s) = -4*o(s) - 5*p(s). Let q(l) = 4*f(l) + 5*j(l). Is 19 a factor of q(-2)?
True
Let n(o) = 16*o**3 - 10*o - 4. Let f be n(4). Suppose -m - 3*k = -177, m - 6*m + 4*k + f = 0. Is 12 a factor of m?
True
Suppose 4*z + 49679 - 18947 = -4*h, 3*z + 2*h + 23054 = 0. Is 8 a factor of (-26)/65 - (0 + z/20)?
True
Let d = -239 - -244. Suppose 0 = -c + d*h + 352, -315 - 44 = -c - 2*h. Is 27 a factor of c?
False
Does 26 divide (-3 + -29540 + -4)*(13/(-39) + 0)?
False
Suppose 0 = 7*f - 3*f + 5*i - 6448, -1612 = -f - 4*i. Let g = -315 + f. Is 54 a factor of g?
False
Let u be (-1)/3*4*9. Let r be ((-195)/u)/((-2)/(-16)). Suppose -4*k - k + r = 0. Does 13 divide k?
True
Let k(j) = 10*j - 20. Let r be k(2). Suppose -538 = -h - 5*t, r = -5*h - 0*t + t + 2794. Is h a multiple of 7?
False
Suppose 0 = -0*q - 4*q + 140. Let n be -2*(169/(-26) + -7). Let a = n + q. Is a a multiple of 16?
False
Suppose 8*v - 130 = 3*v. Suppose 130*h + 6*h = 544. Suppose -2*p + z - h*z + 1 = 0, 4*p - 2*z = v. Is 3 a factor of p?
False
Let m(u) = 130*u - 6328. Is m(75) a multiple of 29?
True
Let r = -163 - -175. Suppose -2*y + 5*l = -478, r = -4*l + l. Is 17 a factor of y?
False
Suppose -4*y + 3*y = 3, 0 = 5*a - 5*y - 1645. Suppose -6*d - a = -1118. Does 44 divide d?
True
Let w = 23507 - 15815. Does 13 divide w?
False
Is (-5)/7 + 396396/1078 a multiple of 42?
False
Suppose -c + 17939 = 5*n, 2*c - c - 17932 = -6*n. Does 36 divide c?
False
Let p(w) = 2*w**2 + w + 2. Let y be p(2). Let a(s) be the second derivative of 5*s**3/6 - 10*s**2 + 2*s + 3. Is 10 a factor of a(y)?
True
Let d(n) = -2*n**2 + 11*n - 64. Let x be d(21). Let y = -319 - x. Suppose -y + 84 = -2*m. Does 39 divide m?
True
Let f(w) = -7*w - 2. Let j be f(-5). Let k = j + -17. Is k a multiple of 16?
True
Let i(s) be the second derivative of s**4/12 - s**3 - 17*s**2 - 28*s. Let d be i(10). Suppose -d*x + 4*x + 192 = 0. Is x a multiple of 12?
True
Let m(f) = 8 - 24*f - 50 - f**2 + 5. Let o be m(-13). Let v = -101 + o. Is v a multiple of 5?
True
Suppose 5*q - 11925 = -4*y, -q - 14895 = -5*y + 4*q. Let r be ((-3)/(-2) - 1)/(10/y). Suppose -o - r = -4*i + 547, 0 = 5*i + o - 879. Does 12 divide i?
False
Let j(u) = 1056*u + 1. Let q be j(1). Let x = -432 + q. Suppose x = 8*i - 311. Is i a multiple of 17?
False
Let w = 6 - 2. Let o(m) = -2*m**3 + 19*m**2 - 22*m + 6. Let g be o(8). Is ((-40)/(-55))/w + 4484/g a multiple of 45?
False
Suppose -16*v = -5*v - 22. Suppose -u - 4*i = -v*u + 694, i = 4*u - 2791. Is 36 a factor of u?
False
Suppose -4*z + 15 + 25 = 0. Is -3 - 1 - (9730/z)/(-7) a multiple of 9?
True
Let n(r) = r**3 - 9*r**2 - 2*r + 21. Let c = 84 + -79. Suppose u - y + 0*y = 10, -c*u - y = -44. Is 2 a factor of n(u)?
False
Let h(u) = 89*u**2 + 33*u - 6. Is 104 a factor of h(-11)?
True
Suppose -2*f + 91*q + 5637 = 92*q, 3*f + q = 8453. Is 7 a factor of f?
False
Suppose 0*n - 60 = -5*n. Let b be ((-160)/6)/(n/(-108)). Suppose b = 10*t - 6*t. Is 5 a factor of t?
True
Is 11 a factor of (-15 - (-30778)/(-44))/(2/(-12))?
False
Suppose -10*i = -79*i - 78*i + 2693040. Is 5 a factor of i?
True
Let t = -67 + 76. Let k(r) = r**3 - 7*r**2 + 2*r - 17. Let j be k(t). Let v = j - -136. Is 34 a factor of v?
False
Let y(s) = -2*s**2 - 15*s + 2. Let i be y(-8). Let z be i/(-14) - 1744/(-14). Suppose 2*m = -u - 2*m + z, 16 = -4*m. Does 28 divide u?
False
Let k = -453 - -367. Is 33 a factor of (-5 - k)*220/30?
True
Suppose 3 - 2 = -q + 3*d, 0 = -2*q + 5*d. Suppose 200 = 4*n - q*s + s, 5*n = -5*s + 290. Suppose 256 = 5*f - n. Does 9 divide f?
False
Let y(b) = 2*b**3 + 15*b**2 - 9*b - 4. Let v be y(-8). Suppose 9*u - 12*u - v*t = -1029, 5*t - 1029 = -3*u. Is u a multiple of 49?
True
Suppose 60*r - 216810 = 77370. Is 23 a factor of r?
False
Let y(a) = -791*a - 1556. Does 150 divide y(-39)?
False
Let l = -9 - -18. Let k be (-348)/l*(-12)/(-8). Let s = 160 + k. Does 22 divide s?
False
Suppose -4504*k = -4507*k + 53139. Is k a multiple of 22?
False
Let v = -4739 + 2705. Let j = 3256 + v. Is j a multiple of 47?
True
Suppose -5*a + 36012 = 4*m, -25*m = -26*m - 7. Is a a multiple of 53?
True
Suppose -20*u + 21*u + 1 = 0. Let o be u/(-4 + (-51)/(-12)). Is 2 a factor of o/(-6)*21/2?
False
Let t(k) be the first derivative of k**3/3 + 11*k**2/2 + 25*k - 23. Let y be t(-12). Suppose 5*j = -4*o + 14 + y, j - 48 = -5*o. Does 9 divide o?
True
Suppose -3*z = 4*g - 1070 - 305, z + g - 460 = 0. Does 15 divide z?
True
Suppose -2*h - 21 + 5 = -2*q, -38 = 5*h - 4*q. Let s = 6 + h. Let i = s - -28. Is i a multiple of 8?
False
Let d be (-1 - -1)*-2*(-1)/(-2). Suppose 4*b + 6*h - 2*h = 768, d = -4*b + 4*h + 760. Does 53 divide b?
False
Let d = -5894 - -10437. Is 107 a factor of d?
False
Let t(g) = 2*g + 5. Let i = -52 + 68. Suppose a - i = -a. Does 13 divide t(a)?
False
Let y(o) = 5*o + 3*o**3 + 2*o**2 - 4*o**3 - 5*o - 6 + 8*o. Let j(s) = s**3 - s. Let n(k) = 3*j(k) + y(k). Does 27 divide n(3)?
True
Let c = 8 - 8. Suppose c = -3*n + 149 + 85. Is 9 a factor of n?
False
Let h(f) = -21*f**2 + f - 10. Let n be h(-3). Let u = n - -474. Does 10 divide u?
False
Let u be -12*21/(-6)*1. Suppose u*t = 45*t - 846. Is t a multiple of 19?
False
Suppose -2*r = -5*b + 30617, -r = 166*b - 171*b + 30621. Does 175 divide b?
True
Suppose 10*q - 12*q + 8 = 0. Suppose -2*p - 8 = -q*k + k, -3*p - 4*k = 46. Is 4 a factor of (16/p)/(1/(-10))?
True
Let f be (-168)/2 - (-3)/1 - -1. Let r = 162 + f. Is 82 a factor of r?
True
Let n = 62 - 50. Suppose -2*s = 2 - n. Suppos