 v**2/2 - 2*v - 6. Let x(z) be the first derivative of g(z). Is x(1) a multiple of 8?
False
Let k = 840 - -1260. Is k a multiple of 70?
True
Is (-2248)/(-40) + (-40)/(-50) a multiple of 19?
True
Suppose 5*v + 40 = -5*m, 5*m - 4*v = -0*m - 4. Let l = -5 - m. Let q(h) = -56*h**3. Is q(l) a multiple of 15?
False
Is (192*26/390)/((-2)/(-255)) a multiple of 4?
True
Let l(n) = -n**3 + 6*n**2 - 8*n + 20. Let t be l(5). Suppose t*k = 192 + 93. Is 19 a factor of k?
True
Let q(n) = 7*n**2 - 20*n + 73. Does 15 divide q(8)?
False
Let g(b) = -4*b**2 - 4*b - 4. Let y(p) = -5*p**2 - 3*p - 3. Let m(o) = -4*g(o) + 3*y(o). Suppose -3*c - 4*j - 16 = 0, -4*c + 5*j - 44 = -2. Does 15 divide m(c)?
True
Suppose 2 = -2*v + 8. Suppose 0 = -0*s + 4*s, 0 = -v*h - s + 405. Is h a multiple of 27?
True
Let r(w) = 7*w - 8. Let t(o) = -o**3 + 5*o**2 + 6*o + 4. Let v be t(6). Is r(v) a multiple of 5?
True
Is 12 a factor of 2 + (-1988)/(-8) + (-15)/10?
False
Does 9 divide (33/(-6) + 5)/(3/(-366))?
False
Let g be -2 + 0 - (-161 + (-2 - 3)). Suppose 0 = -5*w - g + 464. Is 4 a factor of w?
True
Let b(r) be the second derivative of -r**5/20 + 7*r**4/12 - 2*r**3/3 - r**2/2 - 2*r. Let s be 2/1*(-15)/(-10). Is b(s) a multiple of 8?
False
Let g(n) = -n - 6. Let m(h) = 6*h - 4. Let s be m(2). Suppose -s + 0 = k. Does 2 divide g(k)?
True
Let b(t) = -t**3 + 9*t**2 + 4*t + 8. Let x be b(10). Let z = -32 - x. Is 10 a factor of z?
True
Is 5 a factor of 226*(168/72 + 4/(-3))?
False
Suppose 283*p - 29700 = 238*p. Is p a multiple of 10?
True
Suppose 0 = 3*z - 5*f - 39, -13*z + 48 = -11*z + 4*f. Is 2 a factor of z?
True
Is 80 a factor of 7 + 4991/(14/2)?
True
Let j(x) = 25*x - 124. Let v be j(5). Suppose -f = -3, 10 + 18 = 2*h - 4*f. Is 25 a factor of 1505/h + v/(-4)?
True
Let s(u) = -458*u + 11. Is s(-2) a multiple of 54?
False
Let w = -3 + 5. Let g(a) = -a**2 - 5*a + 83. Let h be g(0). Is 2/w + (h - 3) a multiple of 21?
False
Let t be (-24)/((-2)/12*1). Let j = 18 - 18. Suppose j = 5*u - 11 - t. Is 9 a factor of u?
False
Does 28 divide (-157 - (0 + -3))/(1/(-2))?
True
Suppose 6254 - 64988 = -26*g. Is 9 a factor of g?
True
Let k = -37 - -41. Let i = 11 + -8. Suppose -80 = -i*c + 2*f + 25, 135 = k*c - f. Does 17 divide c?
False
Let a = -34 - 8. Let n = -187 - -111. Let h = a - n. Is 17 a factor of h?
True
Let q(k) = k**3 + 10*k**2 + 10*k - 11. Let s be q(-7). Does 43 divide (2*6/(-4))/(s/(-1892))?
True
Let c(s) = -2*s + 1. Let b(z) = 2*z**2 + 9*z - 3. Let d(w) = b(w) + 6*c(w). Let t = 7 + -5. Does 5 divide d(t)?
True
Let g = 1695 - 982. Is 29 a factor of g?
False
Suppose 3*c - 6*c = -108. Suppose 0 = -3*y + 17 - 2. Is 2 a factor of (c/(-30))/((-1)/y)?
True
Suppose -c + 136 = 5*g, -2*c = 2*c + 2*g - 490. Suppose -305 + c = -4*z. Is 23 a factor of z?
True
Let m be (4488 - 6/(-2)) + 3. Suppose 5*v = -v - m. Does 12 divide v/(-21) + 1/3?
True
Let l(m) be the third derivative of -m**6/120 - m**5/10 + m**4/4 - 2*m**3/3 + m**2. Is 2 a factor of l(-7)?
False
Let y be 0 - (2 + -2 - 0). Suppose -2*v + 3*h + 624 = y, -4*h - 500 = -2*v + 120. Is 53 a factor of v?
True
Let s(v) = 63*v - 66. Is s(6) a multiple of 7?
False
Let s = -85 - -408. Let x = -215 + s. Is 14 a factor of x?
False
Suppose -14*s + d + 1940 = -10*s, 0 = -d. Does 51 divide s?
False
Suppose 7*l + 6080 = 15*l. Is 19 a factor of l?
True
Does 21 divide 60/160 - 999/(-24)?
True
Let s(v) = v**2 - 4*v - 3. Suppose -6*x = -x - w - 24, -3*x = 2*w - 17. Let q be s(x). Suppose -o - 4*u = 17 - 45, -3*o + q*u + 112 = 0. Is 18 a factor of o?
True
Let w = 2844 - -2840. Does 20 divide w?
False
Suppose -4*l - 10 = 5*o, -2*o = -7*o + 3*l + 25. Suppose -5*i - 5*n - 208 = -583, o*i - 171 = 5*n. Is i a multiple of 9?
False
Let n(g) = -g**3 - 8*g**2 + 10*g - 3. Let q be n(-9). Let t = 17 + q. Let v = 15 + t. Is 20 a factor of v?
True
Let f(y) = -25*y + 672. Is f(0) a multiple of 48?
True
Suppose 371 = 2*m + 115. Suppose -w + m = 46. Is w a multiple of 4?
False
Let b be (-4)/18 - (-744)/(-54). Let j = b + 21. Suppose 0 = 4*g, j*d - 3*g = 2*d + 95. Is 4 a factor of d?
False
Suppose 3*w - 2*n - 6306 - 5276 = 0, -2*w = -2*n - 7720. Does 30 divide w?
False
Let s(l) = 10*l**2 - 6*l + 5. Let c be s(2). Let k = 102 - c. Does 8 divide k?
False
Let t(k) = 19*k - 195. Is t(26) a multiple of 18?
False
Let r(m) = m**3 - 6*m**2 - 2*m + 8. Suppose -g = -0 - 1. Suppose -4*f + 29 - g = 0. Is 9 a factor of r(f)?
False
Let x(c) = -2*c - 24. Let u be x(-13). Suppose 32 - 556 = -4*k - 4*w, 4*k = u*w + 554. Is k a multiple of 34?
True
Is 28 a factor of 2*13/(13/112)?
True
Does 2 divide (-10)/(-4)*(10 - 224/40)?
False
Let g = -1682 + 2389. Suppose 0 = -3*b + 256 + g. Suppose 4*j + 3*p - b = 0, -j + 6*j + 4*p = 400. Is 12 a factor of j?
True
Suppose -13*y + 13872 = 11*y. Does 33 divide y?
False
Suppose -5*g - i = -312, 48*g + 321 = 53*g - 2*i. Does 3 divide g?
True
Let q = 284 + -141. Suppose 2*k = 5*w + 117 - 47, 3*k - q = -2*w. Does 20 divide k?
False
Let y(q) = 33*q**2 - q + 1. Let d(v) = v - v**3 - 4*v**2 + 13 - 27 + 19. Let w be d(-4). Is y(w) a multiple of 11?
True
Does 14 divide (-4950)/(-176) + (-2)/16?
True
Suppose -561 = -3*k + 5*s + 89, -3*k + 2*s + 638 = 0. Let h = k + -130. Is h a multiple of 4?
True
Suppose -3*o + 64 = 5*o. Suppose 0 = o*i - 7*i - 10. Does 10 divide i?
True
Is ((-24)/(-15))/(6356/(-530) + 12) a multiple of 3?
False
Let k = 3723 + -1853. Is k a multiple of 55?
True
Let d(k) = -k**2 + 13*k + 12. Let p be d(12). Let a be p/18*6/4. Is (-12)/(8/5 - a) a multiple of 7?
False
Let d(b) = -29*b - 1. Let y be 1/4 - 14/(-8). Let l be d(y). Is (l - -4)*(0 - 1) a multiple of 24?
False
Let v(h) = 1106*h - 136. Is v(2) a multiple of 12?
True
Suppose -2290 + 114 = -5*q + g, g + 1740 = 4*q. Is q a multiple of 8?
False
Suppose 0 = 14*o - 992 - 11944. Does 12 divide o?
True
Let h = 199 - 156. Is h a multiple of 4?
False
Suppose -2*k + 3*v - 217 = 0, -3*k - 111 = -2*k - 4*v. Let y = -17 - k. Is y a multiple of 9?
True
Let v(d) = 2*d - 19. Let q be v(-10). Let j be -4*(-2)/24*-6. Does 17 divide j/13 + (-825)/q?
False
Suppose -11 = -3*o + 3*c + 1, 0 = 2*o + 5*c - 29. Suppose 0 = o*u - 3*u - 144. Let q = u - 21. Does 5 divide q?
True
Let l(j) = 2*j**2 + 8*j + 10. Let v be l(-2). Is (13*v/8)/((-4)/(-176)) a multiple of 13?
True
Let z(d) = -23*d**2 - 3*d - 3. Let m(x) = x**2. Let o(b) = 2*m(b) - z(b). Does 9 divide o(-1)?
False
Let s(y) = 9*y + 469. Is 13 a factor of s(0)?
False
Let j(g) = -g**2 - 8*g + 15. Let m be j(-9). Suppose 3*k = 105 + m. Does 14 divide k?
False
Let a(o) be the first derivative of o**4/4 - 4*o**3/3 + o**2 - 5*o + 3. Let q be a(4). Suppose -q*x + 46 = 2*b, 20 = 2*x - 7*x. Does 13 divide b?
False
Let t be (-8)/6*(22 + -19) - -30. Does 14 divide t/(-39) + (0 - (-407)/3)?
False
Let w(v) = v - 19. Let z be w(0). Let s = 29 + z. Is 2 a factor of s?
True
Suppose 669 = -42*r + 45*r. Let d = -123 + r. Does 20 divide d?
True
Let n(p) = -p**3 + 15*p**2 + 15*p - 17. Does 35 divide n(12)?
True
Let h = 37 + -36. Let g(b) = 39*b + 2. Does 18 divide g(h)?
False
Let r = -3468 - -5700. Is 62 a factor of r?
True
Let d(m) be the third derivative of m**5/60 + m**4/3 + 8*m**3/3 - 2*m**2. Let v(l) = 8*l. Let c be v(-1). Does 16 divide d(c)?
True
Suppose -3*h + 2*h + z - 5 = 0, 0 = -2*z - 2. Let a(k) = -k**3 - 7*k**2 - 7*k - 3. Let n be a(h). Suppose -n*p - 64 = -214. Is 25 a factor of p?
True
Let f = -84 + 88. Suppose 4*x = 2*c - f*c + 258, 5*x = 2*c + 318. Is x a multiple of 13?
False
Suppose 0*t = 3*t - 153. Suppose a + 0*a = o - 31, 3*a = 6. Let q = t - o. Is q a multiple of 14?
False
Let b be (-2)/(-1 - 0) + 3. Suppose -1 = -4*c - b. Is 34 a factor of ((-102)/9)/(c/3)?
True
Let o = 58 + -43. Let z = -10 + 5. Let g = o + z. Is 3 a factor of g?
False
Let o(x) = 5*x**3 + 15*x - 14. Is 7 a factor of o(3)?
False
Let n(f) = 2*f**2 - 2*f - 2. Let m be n(-1). Suppose -m*y = -0*y - 54. Is 3 a factor of y?
True
Let t = 29 + -25. Suppose -2*p = -7 + 1, -3*x = -t*p - 69. Let s = x - -1. Is s a multiple of 8?
False
Let b(s) = -11 + 13 + s**2 - 2 - 4 + 5*s. Is b(4) a multiple of 23?
False
Let j(f) = 2*f - 11. Let w(c) = -c - 1. Let b(a) = j(a) - 4*w(a). Is 10 a factor of b(8)?
False
Let y(d) = 7*d + 665. Let f be y(0). Suppose 5*k - f = -z, z = -3 + 8. Does 13 divide k?
False
Suppos