 + a = 2*v. Does 7 divide l(v)?
False
Is (1/3)/(10/(6 + 714)) a multiple of 24?
True
Let x(i) = i**3 + 2*i**2 - 4*i. Suppose -2*u + 22 = 18. Is 8 a factor of x(u)?
True
Let p be 238/22 + (-2)/(-11). Let o(w) = 3*w**2 + 2*w - 11. Let y be o(-4). Let x = y - p. Is 6 a factor of x?
True
Suppose -55*k + 219 = 18*k. Is k a multiple of 2?
False
Let b(z) = 92*z + 39. Is 20 a factor of b(2)?
False
Let k(f) = 49*f - 53. Is 26 a factor of k(17)?
True
Let n be 16/72 - (-38)/(-9). Let y be 2/n + 30/(-20). Does 20 divide y + 4 + 95 - -3?
True
Suppose -747 = -4*w + 333. Is 23 a factor of w?
False
Suppose 4*v - 702 - 66 = 0. Does 12 divide v?
True
Let m(s) = s**3 - 6*s**2. Let j be m(6). Suppose j*q = 2*o - 2*q + 20, 2*q = -o + 5. Let r = o - -13. Is r a multiple of 8?
True
Let b(t) = -t + 9. Let u be b(8). Let c be u*31 - (6 + -3). Suppose -4*q = -0*q - c. Is q even?
False
Let s(w) = -4*w - 6. Let n be s(3). Is 13 a factor of (-3)/n - (-125)/6?
False
Let k = 18 - -16. Let s = 54 - k. Is s a multiple of 11?
False
Let x(o) = o**2 - 37*o - 2. Is 24 a factor of x(-13)?
True
Suppose 2*l - 11 = 15. Suppose 11 + l = -3*q. Is q + 106 - (-2 + 3) a multiple of 22?
False
Let w be 4496/44 - -1 - (-2)/(-11). Let h = w - -67. Does 9 divide h?
False
Let y(i) be the first derivative of i**4/4 + 8*i**3/3 + i**2 + 13*i + 9. Is 16 a factor of y(-7)?
True
Let d = 29 + -29. Suppose 0 = -4*p + 5*f + 129, d = 2*p + 3*p + 4*f - 192. Does 12 divide p?
True
Let l(r) = 3*r**2 + 3*r - 6. Let b(u) = u. Let m be b(4). Suppose c = m*c - 12. Is l(c) a multiple of 27?
True
Let o = 5610 + -3993. Is 33 a factor of o?
True
Suppose 0 = 3*s - 4*r - 71, 2*s = -3*s + 2*r + 123. Suppose 5*f - 50 = s. Does 2 divide f?
False
Is ((-219)/(-3) + 0 - 4)/1 a multiple of 23?
True
Let u(h) be the first derivative of -3*h**4 + 2*h**3/3 - h**2 - 2*h - 9. Let x be u(-2). Suppose 24*t - x = 22*t. Is 11 a factor of t?
False
Let t(d) = -9*d**3 - 3*d - 3. Let x be 1/(4*1/12). Let q(k) = 5*k**3 + 2*k + 2. Let y(h) = x*t(h) + 5*q(h). Is 15 a factor of y(-2)?
True
Suppose g - 4*x = -3*g + 28, 4*x + 22 = g. Let t be (6*1)/((-138)/(-92)). Suppose -t*i + 44 = -g*i. Is 12 a factor of i?
False
Suppose 8*x = 7*x - 3*d + 349, 0 = -5*x + d + 1825. Is 9 a factor of x?
False
Suppose -3*d + 6 = -18. Let b be (2 - 12/d)*10. Suppose -3*l = -b*l + 126. Does 11 divide l?
False
Suppose 1164 = -6*m - 0*m. Let s = m + 454. Does 45 divide s?
False
Let i(k) = 25*k - 116. Is 10 a factor of i(17)?
False
Let w = -1318 + 1578. Is w a multiple of 7?
False
Let o = 1986 - 997. Does 88 divide o?
False
Suppose 4*w - 3*j = -41, -5*w + 4*j - 3*j - 43 = 0. Let f = 16 - w. Does 8 divide f?
True
Let m = -1103 + 1921. Is m a multiple of 15?
False
Let t(d) = 7*d - 9. Let c(b) = 2*b**2 - 5*b + 2. Let k be c(3). Suppose -10 = -k*i + 15. Does 13 divide t(i)?
True
Suppose -5*t = 5, q = -2*t + 1065 + 132. Does 33 divide q?
False
Let b(q) = q**2 - 18. Let r be (-10)/(-20)*16/2. Suppose 4*t + 26 = t + 2*z, 0 = -r*t + z - 28. Is 6 a factor of b(t)?
True
Suppose 5*m - 43 = -48. Is m/((-8)/86*1/4) even?
False
Let l(s) = -1699*s + 1. Let w be l(-1). Suppose -w = -5*n - 165. Suppose 0 = 4*q - m - n, 0 = 2*q - 3*m - m - 136. Does 26 divide q?
True
Let u(y) = 1015*y + 27. Is u(3) a multiple of 23?
False
Does 6 divide ((-139)/6)/(90/(-1080))?
False
Let v = 11 - 11. Suppose u + 16 - 5 = v. Let k(j) = -2*j + 3. Is k(u) a multiple of 19?
False
Let a be 1/((0 - 4)/(-40)). Let m = -4 + a. Does 13 divide m/(-27) + (-434)/(-9)?
False
Let x be (-4)/6*159/(-2). Let r be (-68)/2 + 8/4. Let i = x + r. Does 19 divide i?
False
Suppose r = -3*b + 21, 0 = -5*r + 5*b + 5. Let p(v) = v**3 - 10*v**2 - 2*v + 4. Let i(j) = j**2 - 1. Let w(k) = -4*i(k) - p(k). Is 3 a factor of w(r)?
True
Let w be (-26)/(-2 + (0 - 0)). Let j be (6/(-5))/((-18)/225) - -1. Let u = j - w. Is u a multiple of 3?
True
Let o(s) = -s**3 - 3*s**2 - 2*s. Let b be o(-3). Suppose -b = y - 18. Does 4 divide y?
True
Does 14 divide 3881/2 - (-30)/(-20)?
False
Let d(a) be the second derivative of a**4/12 + 3*a**2/2 - 11*a. Let t be d(0). Is 19 a factor of 7/((-7)/t) + 22?
True
Is 2 a factor of 48789/139*(8/6 - 1)?
False
Let v = 28 - 29. Let j(x) = -14*x**3 - x**2 + 1. Let r be j(1). Does 10 divide (v - -46) + (-10 - r)?
False
Let x(u) = 11 - 6*u - 8*u - 5 + 2*u**2. Let i = 61 - 54. Is x(i) a multiple of 2?
True
Suppose -7*z = -2*z + 145. Let w = z - -106. Is w a multiple of 9?
False
Let v = 137 + -3. Let k = v - 88. Suppose -4*h + 146 = -k. Is 16 a factor of h?
True
Let h(a) = -a - 42*a**2 + 25*a**2 + a**3 - 13 + 18*a. Is h(16) even?
False
Suppose 9*q + 7040 = 26957. Does 68 divide q?
False
Let g(c) = 2*c - 6. Let m be g(-7). Let w = -89 - m. Let i = w + 125. Is 28 a factor of i?
True
Suppose -79*f = -65*f - 20762. Does 67 divide f?
False
Let d(u) = -u + 8. Let v be d(5). Suppose -a = -2*p + 212 - 79, -v*p - 3*a + 213 = 0. Does 19 divide p?
False
Suppose -2*t + 212 = -4*k - 84, -5*k - 381 = 3*t. Is 33 - ((-2)/(-9) + k/(-27)) a multiple of 5?
True
Suppose 6*r = 3*v + 5*r - 235, 0 = -4*v - r + 318. Is v a multiple of 4?
False
Suppose 0 = -3*h + 4*t + 5, 0 = -3*h - 0*h - 2*t + 11. Suppose 139 = 4*q + 5*z, h*z - 106 = -3*q + z. Is 18 a factor of q?
True
Let o = -176 - -336. Suppose 4*j - o = -j. Does 8 divide j?
True
Suppose -7*m + 4*m + 612 = 0. Is 68 a factor of m?
True
Let z(y) = y - 16. Let t be z(29). Let b(r) be the second derivative of -r**5/20 + 7*r**4/6 - 5*r**3/3 + 9*r**2/2 - r. Does 16 divide b(t)?
True
Let l = -45 + 29. Let f be 2*4/l*0. Suppose f*d - d + 4*z = -2, -3*d - z + 19 = 0. Is d a multiple of 6?
True
Let f = -99 + 57. Let a be (f/35)/((-1)/35). Suppose -2*l + 0*l = -a. Is l a multiple of 8?
False
Suppose -3*y = -15 + 75. Is (y/16)/(1/(-52)) a multiple of 11?
False
Suppose 0 = -2*i + 17 + 13. Let k(s) = 2*s - 8 + 9 + 29*s**2 + i*s**2 - s**2. Is 14 a factor of k(-1)?
True
Let o(d) = -5*d**3 + 3*d**2 + 10*d + 2. Let n(b) = 9*b**3 - 7*b**2 - 20*b - 5. Let s(p) = -6*n(p) - 11*o(p). Is 8 a factor of s(-4)?
True
Let y(m) = 204*m**2 + 10*m - 31. Is 38 a factor of y(3)?
False
Suppose -5*a - 414 = 7*j - 3*j, 3*a = -3*j - 249. Let s = a + 124. Is s a multiple of 7?
True
Let d(u) = 15*u**2 + 6*u + 6. Let p be d(-4). Suppose p + 30 = 6*j. Does 22 divide j?
False
Let i(s) = -18*s - 4. Let w be i(-4). Let g be 2*(-5 + (-111)/6). Let l = g + w. Is l a multiple of 21?
True
Suppose -4*a + 554 = -50. Let y = a - 46. Suppose -y = -5*w - o, 2*w - 7*w + 120 = -2*o. Is 10 a factor of w?
False
Suppose -y - b = -6*b - 592, -2*y + 1196 = 2*b. Does 18 divide y?
False
Suppose -y = -3*q - 0*q - 9, -1 = q. Let i(t) = 4*t + 0*t - y + 1. Is i(3) a multiple of 7?
True
Suppose 0 = o - 4, 0 = -t - o + 185 + 27. Let r = 112 - t. Let m = r + 144. Is m a multiple of 18?
False
Suppose -440 = -5*x + 365. Suppose -4*p + x = -5*d, -2 - 13 = 3*d. Let n = p + -26. Is n a multiple of 4?
True
Suppose -8*v = -1466 - 2934. Is v a multiple of 19?
False
Let r(v) = 9*v**2 + 6*v + 5. Let k be 3/(-2) - 6/4. Does 17 divide r(k)?
True
Suppose 3*s - 17 = 91. Suppose 4*z - 72 = 5*t, 2*z - 4*t + 3*t - s = 0. Is 3 a factor of z?
True
Let t(j) = 9*j + 8. Is t(5) even?
False
Suppose 2*y - 928 = -2*o - 2*o, o - 230 = -y. Is o a multiple of 18?
True
Let z = -2820 + 2861. Is z a multiple of 3?
False
Let v(i) = -3*i + 3. Let y be v(3). Let z be ((-4)/y)/(20/90). Suppose -3*t = -z*j + t + 104, -3*j + t + 98 = 0. Does 16 divide j?
True
Let c(x) = -148*x - 1. Let n(q) = 74*q. Let l(s) = -3*c(s) - 7*n(s). Does 12 divide l(-1)?
False
Suppose 46 = 6*z - 80. Does 10 divide ((-45)/z - -5)/(4/14)?
True
Let m(q) = 21*q**3 - 5*q**2 + 7*q + 3. Does 26 divide m(3)?
True
Suppose 5*o - 363 = -5*m + 132, -5*o + 501 = 3*m. Is 6 a factor of o?
True
Suppose -2*m + 451 = -229. Is 20 a factor of m?
True
Let o = -298 - -382. Is o a multiple of 12?
True
Let b be ((-8)/10)/((-4)/70). Suppose -3*q = -2*s + 20, -2*q - b = -6. Suppose -s*f + 158 = 5*g - 3*f, 0 = -5*f - 10. Does 16 divide g?
True
Suppose -46*z + 8482 = -3248. Is 5 a factor of z?
True
Let o(v) = -47*v + 223. Is o(-12) a multiple of 11?
False
Suppose 5*u + 1870 = 5*k, -1490 = -5*k - u + 380. Is k a multiple of 7?
False
Let h = -1699 - -5642. Does 142 divide h?
False
Let u = -68 + 57. Let o(f) = -f**3 - 10*f**2 + 8*f + 12. I