 = -42 + 39. Is 11 a factor of 0 + k + 8 - -116?
True
Let k be (2/3)/(1*(-2)/6). Does 2 divide 15*6/9 - k?
True
Let v(a) = 75*a + 12. Is 9 a factor of v(8)?
True
Suppose -f + 5*f = 296. Let x = -11 + f. Does 7 divide x?
True
Suppose -1833 = 30*u - 42873. Is 6 a factor of u?
True
Suppose 4*x = -3*f + 686, -4*f - 269 + 1189 = 4*x. Is 18 a factor of f?
True
Let k(h) = 58*h + 20. Let q = 57 - 55. Is k(q) a multiple of 8?
True
Let y(a) = -4*a - 2. Let o(f) = 5*f**3 + f**2 - f - 1. Let n be o(-1). Let u be y(n). Suppose -2*x = u - 48. Does 6 divide x?
False
Is 20 a factor of (-544)/(2*6/(-12))?
False
Let c(s) = 3*s + 384. Let p(u) = -2*u - 256. Let r(x) = -5*c(x) - 8*p(x). Is 32 a factor of r(0)?
True
Let m = 1014 + -787. Is 12 a factor of m?
False
Let t(p) = p + 10. Let o be t(-10). Suppose 0 = -o*v + 5*v. Suppose v*l - 46 = -2*l. Is l a multiple of 23?
True
Let d be (-4)/18 - 209/(-9). Suppose 5*s = -y + 2*y + d, -5*s = -3*y - 29. Is 7/(y + (-48)/(-15)) a multiple of 25?
False
Let g be (8/28)/((-1)/7). Let k(i) = -34*i + 5. Is k(g) a multiple of 23?
False
Let p(i) = 4*i**3 + 4*i**2 - 9*i - 1. Let f(t) = 3*t**3 + 5*t**2 - 9*t - 2. Let g(z) = -5*f(z) + 4*p(z). Let c be g(8). Does 4 divide (-3)/7 - (-230)/c?
True
Let r = -33 - -80. Suppose -5*m = -3*x - x - r, 4*m - 20 = x. Does 2 divide (13 - 10)/((-3)/x)?
True
Suppose -4*y - y = -225. Let t = 51 - y. Is t a multiple of 2?
True
Let w = -651 + 868. Does 16 divide w?
False
Let t = -229 + 637. Does 22 divide t?
False
Let m(w) = -2*w - 14. Let l be m(-6). Let a be (4 + l)*22/(-4). Let v = a + 34. Does 23 divide v?
True
Suppose -30*v - 10830 = -36*v. Is 19 a factor of v?
True
Let d be -1 - (2 - (-3 + 0)). Let r = -3 - d. Suppose r*b + b = 124. Does 11 divide b?
False
Let y be 4/18 + 48/27. Suppose -3*f + y*f = -22. Is 6 a factor of f?
False
Let r(i) = -i**3 + 18*i**2 - 11*i - 5. Let g be r(17). Suppose -j + g = -69. Is 30 a factor of j?
False
Let i(m) be the second derivative of -m**3/6 + 3*m**2/2 + 2*m. Let b be i(0). Let o(a) = 3*a**2 - a + 2. Does 12 divide o(b)?
False
Let o = -65 - -125. Is 5 a factor of o?
True
Let q(j) = -j**3 - j**2 - j - 93. Let c be q(0). Let r = c - -209. Is r a multiple of 25?
False
Let n = -271 + 501. Is 46 a factor of n?
True
Suppose 1567 = 60*x + 67. Does 5 divide x?
True
Let y(m) = -m**2 + 8*m + 1. Let c be y(9). Let v be (-20)/c + (-3)/(-6). Suppose -2*k - 39 = -v*k. Is 13 a factor of k?
True
Let j be (-4)/(-6) - 29*12/(-18). Is 15 a factor of (600/80)/(-1*(-2)/j)?
True
Suppose -57*c = -66*c + 1503. Is 21 a factor of c?
False
Suppose -4*x + 5*x = -28. Let p be x/(-2)*1/2. Suppose p*m - 236 = 65. Is 8 a factor of m?
False
Suppose 11 = -5*s + 26. Let y be s/(-6)*-274 - 1. Let d = 236 - y. Does 20 divide d?
True
Let v(m) be the third derivative of m**5/60 + m**4/3 + 11*m**3/6 - 18*m**2. Is 22 a factor of v(-11)?
True
Suppose 4*c + 6 + 2 = 0, 0 = -3*u - c + 1. Let h be 2 - u/((-2)/24). Suppose -3*b + 62 = h. Is 4 a factor of b?
True
Let z be (-6)/(-33) + 53/11. Let s be 0 + 0 + (0 - (-8)/2). Suppose -s*i + 129 = z. Is i a multiple of 7?
False
Let g(z) be the third derivative of -z**4/8 + z**3/6 + z**2. Let v(u) = -u - 3. Let d be v(0). Is 5 a factor of g(d)?
True
Is -2 - 68/(-3) - (-44)/(-66) even?
True
Suppose -3*v = -v + 5*x - 318, 5*x = -5*v + 825. Is v a multiple of 45?
False
Let q = 50 + -46. Suppose -4*y - 234 = -4*n + 3*n, -4*y = q*n - 876. Is n a multiple of 52?
False
Suppose 0 = -2*j + 5*f + 133, 259 = 5*j - 5*f - 111. Is 22 a factor of j?
False
Suppose 0 = 35*q - 33*q - 220. Does 5 divide q?
True
Let t = 462 + 2046. Does 22 divide t?
True
Is ((-111)/(-4))/((-15)/(-180)) a multiple of 38?
False
Let b be 3/2*(-8)/(-12). Let u(s) = 4*s - 1. Let z be u(b). Suppose -4*f = -3*k + 100, -93 = -z*k - 0*f - 3*f. Is 18 a factor of k?
False
Suppose 0 = 3*a - 7*a + 28. Is 25 - 0 - (-3 + a) a multiple of 19?
False
Let k(a) = -a**2 + 3*a + 1. Let b be k(2). Let v(u) = -2*u - 2 + b*u**2 + 0*u + 3*u. Does 4 divide v(2)?
True
Let a(g) = 7*g - 2. Let p be a(-3). Let b = p + 13. Let u(k) = -k - 4. Is u(b) a multiple of 3?
True
Let a(o) = o**3 + 11*o**2 + 3*o - 46. Does 6 divide a(8)?
True
Suppose 2*q + 3*r = 28, -q + 5 + 4 = 4*r. Is 10 a factor of (-1 + q/7)*35?
True
Let t be -1 + 2 + 4/(-4). Suppose t = 13*s - 14*s + 62. Does 12 divide s?
False
Suppose 8*f - 5*f = -72. Let j be (f/15 + 1)*-5. Is j/2*70/3 a multiple of 7?
True
Let l(u) = 46*u - 74. Does 21 divide l(8)?
True
Suppose 172*c + 18 = 169*c. Let j(i) = -i**3 - 6*i**2 - 10*i - 5. Is j(c) a multiple of 12?
False
Suppose 5*i - 882 = 993. Is i a multiple of 75?
True
Let x be 5*(4/(-10) - 16/10). Does 3 divide 27 + -30 - (1 + x)*2?
True
Suppose p - 5*z = 9, -5*z + 30 = -4*p + 6. Suppose -y - 2*g + g + 27 = 0, -5*g + 111 = 4*y. Let u = y - p. Is u a multiple of 13?
False
Suppose 0 = w + 5 - 205. Let o be (2/(-5))/((-2)/w). Is (32/o)/(4/210) a multiple of 14?
True
Let a = 803 + -395. Is a a multiple of 34?
True
Suppose 39*k - 19*k = 10140. Is k a multiple of 53?
False
Suppose -49 = -5*r - 2*i, 3*r = -2*r + 2*i + 41. Is 22 a factor of 90 - r/(27/6)?
True
Let r(v) = 4*v - 6. Let j be r(2). Does 35 divide j/4 - (-5595)/30?
False
Suppose -4*p + l = -1623, l = -14 + 11. Is p a multiple of 8?
False
Let u be 28/7 - (1 + -4). Suppose -4*i + 19 - u = 0. Suppose -4*g = -i*g - 91. Is g a multiple of 30?
False
Is 3 + (-5)/15*-3*511 a multiple of 25?
False
Let w(i) = i**3 - 13*i**2 + 13*i - 9. Let d be w(12). Suppose 0 = y - d*h - 2*h, 5*y = -3*h + 140. Does 5 divide y?
True
Let v = -42 - -40. Let z = 143 - v. Is 29 a factor of z?
True
Let x(p) = 194*p**3 - 3*p**2 - 4*p + 3. Is x(2) a multiple of 5?
True
Let i be ((-12)/5)/(6/30). Let b be (32/i)/(2/(-3)). Does 15 divide (-2 - b)*20/(-8)?
True
Suppose 3*u - 39 = -129. Let s(z) = -14*z + 2. Let y be s(-3). Let x = u + y. Is 10 a factor of x?
False
Does 11 divide (-8)/(-10) - ((-13486)/55 + -16)?
False
Suppose -2*w - 2*w + 4*f + 36 = 0, 5*f = -w - 21. Does 7 divide (w - 2)*(-10 + -47)*-1?
False
Let r(b) = -13*b - 2. Let v be r(-5). Let u = 136 - v. Is u a multiple of 12?
False
Let f be (4 - 11)/((-1)/6). Suppose -a - a = f. Is ((-70)/a)/((-2)/(-57)) a multiple of 19?
True
Suppose 5*w = -5*t - 80, -2*t + 0*t + 4*w = 20. Let s be 4/(-12) - t/6. Suppose 3*a = -3*d + 84, 6*a = s*d + 2*a - 86. Is 8 a factor of d?
False
Suppose 8*d + 3*d = 36289. Is 166 a factor of d?
False
Suppose 2*b = -5*q + 13, -3*q - 5 = 2*b - 12. Suppose 8*g = -q*g + 385. Is g a multiple of 4?
False
Let y = -15 + 17. Suppose -173 = -0*p - y*p + x, 311 = 4*p + 5*x. Does 14 divide p?
True
Suppose u - 4 = o + 2*o, -5*u - 2*o + 3 = 0. Let n be 16 - u - (-2 - -3). Suppose 0 = k + 2*s - 14, -3*s + 1 = -n. Is 4 a factor of k?
True
Let d(o) = -o**3 - 7*o**2 + o - 27. Is d(-9) a multiple of 3?
True
Suppose -1 = s + 5*a, 2*s - 4*s = -5*a + 62. Is (-1224)/s - 4/14 a multiple of 5?
False
Let d(z) = -z**3 + z**2 - 7*z - 7. Let q be d(4). Is 42 a factor of ((-5)/5 + q)*-1?
True
Let d(s) = s**3 + 10*s**2 + 7*s. Suppose 0 = 22*b - 21*b + 6. Is 12 a factor of d(b)?
False
Suppose -17 = -s - 4*v, -s - 1 = -3*s + 3*v. Suppose p + s*b - 220 = -2*p, 304 = 4*p - 4*b. Suppose 4*d = 65 + p. Does 13 divide d?
False
Let x(m) = 35*m + 3. Suppose 3*y + 4 = -4*j, -4*y + y - 6 = 3*j. Let q be x(y). Let t = -92 - q. Is t a multiple of 11?
False
Suppose 5*y = -0*y + 165. Let u be 10/(-35) - y/7. Does 2 divide (-1 - (u - -3))*2?
True
Let d(g) = -g**3 + 18*g**2 + 5*g - 32. Let z be d(18). Suppose -c = -2*c + 5*x + 49, -z = -c - 4*x. Is c a multiple of 6?
True
Let g(f) = f**2 - 3*f - 1. Let z be g(5). Suppose 2*r = z + 127. Is r a multiple of 17?
True
Is 10 a factor of -3 + 7 + 0 + -2 + 208?
True
Let g(f) = f**3 + 8*f**2 - 10*f + 8. Suppose 2*u - 5*u = 27. Does 4 divide g(u)?
False
Let o = -20 + 24. Is o/14 - ((-6024)/(-28))/(-3) a multiple of 9?
True
Let k(p) = -17 + 926*p - p**2 + 1 - 915*p. Does 10 divide k(7)?
False
Suppose 48 = -4*p - 20. Let v = 14 + 16. Let q = p + v. Is q a multiple of 10?
False
Is 5 a factor of 1/(4 + 319/(-80))?
True
Let v(a) = -5*a**3 - 2*a**2 + 2*a. Let w be v(-3). Suppose 3 = p + u, u = -10*p + 5*p + 15. Suppose 0*o = -p*o + w. Is 19 a factor of o?
False
Suppose -286 = 2*b + 2*r, -5*r = -6*b + 3*b - 461. Let n = -77 - b. Is n a mul