ide y?
True
Let b(u) = -2*u**3 + 9*u**2 - 3*u + 5. Let i(c) = -c**3 + 8*c**2 - 2*c + 4. Let h(z) = -2*b(z) + 3*i(z). Let q be h(-6). Does 4 divide 2/q - 6/(-2)?
True
Suppose 0 = -3*s + 14 + 64. Let z = s + -12. Is 14 a factor of z?
True
Let r(v) = -v + 5*v**2 + 5*v - 3*v**2 - 2*v. Let k = 7 + -5. Is 12 a factor of r(k)?
True
Suppose -15 = -14*x + 13*x. Does 15 divide x?
True
Let t(s) = -s**2 - 9*s - 2. Does 4 divide t(-6)?
True
Suppose a = -3*a + 4. Let s be 1*(0 - (a - 1)). Let n = 4 - s. Does 2 divide n?
True
Suppose h + 4 = 3*h. Is 4/h*(-1 + 14) a multiple of 26?
True
Suppose -j - j + 48 = 0. Does 12 divide j?
True
Let d(g) be the third derivative of -g**6/120 - g**5/12 - g**4/4 + g**3/6 - g**2. Is 11 a factor of d(-5)?
False
Let z be -6 + (3 - (0 + 2)). Let c = z + 8. Suppose -8*d + 35 = -c*d - 5*y, -4*d + 3*y + 26 = 0. Is d even?
False
Let l(u) be the third derivative of u**5/60 + 3*u**4/8 - u**3/3 - u**2. Is 4 a factor of l(-10)?
True
Let h = -4 - 2. Is 10 a factor of ((-3)/(-2))/(h/(-60))?
False
Suppose -2*z + 17 = 5*r, -3*z + 3*r + 17 = 44. Is 7 a factor of 55/2 + z/8?
False
Let x(b) = b**2 + b - 2. Let o be x(2). Suppose 5*k - 64 = 5*a + o*k, 60 = -5*a + 5*k. Let t = a + 25. Does 10 divide t?
False
Does 2 divide (1 - 3)*1*(-20)/8?
False
Let z = -142 - -258. Let k = -80 + z. Is 21 a factor of k?
False
Let k = -12 - -26. Does 7 divide k?
True
Let c = 287 - 94. Is 12 a factor of c?
False
Let g(i) = -7*i + 1. Let s be g(-1). Let o = 2 + s. Does 5 divide o?
True
Suppose -2*s = 3*s - 20, -2*i = s - 14. Suppose -i*a = 5*y - 360, 2*a + 236 = 3*y - 0*a. Is 21 a factor of y?
False
Suppose 0*w - w - 2 = 0. Is 10 a factor of (-784)/(-26) - w/(-13)?
True
Suppose 4*c + n - 42 = 14, 4*c - 56 = 5*n. Is 3 a factor of c?
False
Let k = 2 - -7. Suppose 41 = -4*c + o + 140, -3*o - k = 0. Does 14 divide c?
False
Let k(o) be the second derivative of 2*o**4/3 + 3*o**2/2 - o. Does 18 divide k(2)?
False
Let h = 1 - -3. Suppose g - 28 = -h. Is 12 a factor of g?
True
Suppose 66 = o - 54. Suppose -3*q + 4*b = -o, -5*q - 4*b + 223 = -3*b. Does 11 divide q?
True
Let q(g) = -15*g**2 - g - 4. Let b be q(4). Let z be b/(-18) + 4/18. Let t = 26 - z. Is t a multiple of 7?
False
Let a = -4 + 2. Let b be (a*2)/(2/(-1)). Suppose -89 = -5*y + b*u - 0*u, 3*u - 47 = -2*y. Is 12 a factor of y?
False
Is 16 a factor of ((-3)/(-5) + (-1057)/(-105))*3?
True
Suppose -4*l + 4*n + 616 = 0, -n = -2*l + 2*n + 313. Suppose 4*h - l = -13. Does 22 divide h?
False
Suppose 4*g - 407 - 665 = 4*o, -o + 530 = 2*g. Does 38 divide g?
True
Let y(p) = 4*p**2 - 3*p - 3. Let f(k) = k**3 - k**2 + k + 1. Let z(b) = -4*f(b) - y(b). Does 2 divide z(-1)?
True
Let q(y) = 3*y - 9. Let u be q(12). Suppose -u = -4*t + 37. Does 4 divide t?
True
Suppose -c = 4*t - 2*c + 39, 7 = -t + 3*c. Let o(z) = -z**2 - 14*z - 11. Does 19 divide o(t)?
False
Let z = 12 + 51. Is z a multiple of 20?
False
Let q(z) = 4*z**2 - 15*z + 5. Does 29 divide q(6)?
False
Let w be (-2)/6*(-3 - 0). Suppose 2*c + 24 = -2*c. Does 3 divide w*-2 - (c - -1)?
True
Let h(w) = 6*w - 3. Let f be h(-8). Let n = f + 76. Does 14 divide n?
False
Let a = 143 - 66. Does 11 divide a?
True
Is 17 a factor of (-378)/(-15)*10/3?
False
Let p(j) = -24*j. Let y be p(3). Is (2/(-4))/(2/y) a multiple of 9?
True
Let v be 2/(-4)*-6*-1. Let l = v - -5. Is 10 + (l - 1) - 2 a multiple of 8?
False
Suppose -3*u - 6 - 6 = 0. Let d = u + 38. Does 14 divide d?
False
Suppose -2*p + 254 = 4*v, -p + v = 4*v - 123. Does 15 divide p?
True
Let d(g) = -9*g - 30. Does 3 divide d(-8)?
True
Suppose 0*m - 10 = -2*m. Suppose 2*k = -4*c + c + 21, m*c - 19 = 2*k. Does 5 divide c?
True
Let t = -2 + 2. Suppose t = -2*f + f, -2*f = -4*p + 120. Is 10 a factor of p?
True
Does 16 divide (-4)/10 + (-1206)/(-15)?
True
Let p be (2 - (2 + 1)) + 1. Let t = 3 + p. Does 10 divide (t + -2 - -12) + 2?
False
Suppose u = 5, 0*x - 2*x + 4*u = 12. Suppose 6 + 10 = x*i. Suppose i*j = j + 60. Does 10 divide j?
True
Is ((-1 - -5) + 4)*10 a multiple of 16?
True
Let i(c) = -2*c**2 - 4*c - 9. Let j be i(-9). Let b = -72 - j. Is b a multiple of 21?
True
Suppose 0*w + 30 = 5*w. Let u(b) = b + 2. Does 8 divide u(w)?
True
Let a(m) = 3*m - 2. Let h = -7 - -12. Is a(h) a multiple of 13?
True
Let s(w) = 4*w**2 - 2*w + 3. Let z(y) = y**2. Let f(o) = -s(o) + 5*z(o). Does 12 divide f(4)?
False
Let u(t) = -t**3 + 8*t**2 + 5*t + 4. Does 22 divide u(4)?
True
Let c(h) = -4*h. Let i be c(8). Let d = 64 + i. Does 16 divide d?
True
Suppose 2*p + 24 = -2*p. Let k(q) = -q + 2. Is 8 a factor of k(p)?
True
Let r(f) = 5*f + 1. Let w(j) = 2*j. Let z(d) = -2*r(d) + 6*w(d). Suppose q - 8 = -2. Is 5 a factor of z(q)?
True
Let l(t) = t**3 + t**2 - 2*t + 3. Is 16 a factor of l(4)?
False
Suppose n = -2*h + 51, n + 3*n = 5*h + 204. Does 32 divide n?
False
Let b = 1 - -1. Suppose a = -5*y + b*y + 36, -y + 89 = 4*a. Does 7 divide a?
True
Let b(x) = -x**3 - x**2 + 8*x + 4. Is b(-5) a multiple of 8?
True
Let c(r) = -3*r**2 + 16*r + 2. Let s(g) = -g**2 + 5*g + 1. Let t(h) = 2*c(h) - 7*s(h). Is t(-4) a multiple of 8?
False
Let g be 2/10 - 28/(-10). Suppose -4*f = -2*j - 40, -2*f - 10 = -g*f - 5*j. Let x = f - 0. Does 4 divide x?
False
Let g(c) = -13*c + 1. Is g(-3) a multiple of 10?
True
Suppose -2*g + 26 = 3*v + 2*g, v = -3*g + 12. Let b = 8 - v. Suppose 0 = 3*x + 3, -b*k + 2*x + 67 = x. Is k a multiple of 14?
False
Suppose -c + 909 = 2*c. Does 8 divide c?
False
Let q(o) = -o**2 - o. Let j be q(0). Suppose g + j*g = 50. Suppose -4*x + 16 = -3*l + g, -l - 3*x = -20. Is l a multiple of 14?
True
Suppose 316 = 8*d - 4*d. Does 13 divide d?
False
Let q = 20 + -30. Let j be q/6 + (-3)/9. Is 4/5*(-85)/j a multiple of 17?
True
Let y = -9 - -3. Does 15 divide (-2)/y - 104/(-3)?
False
Let v = 0 - -1. Let z be (1 + v/(-5))*5. Suppose -2*d - 4 = 0, 0 = z*o - d + 6*d - 22. Is 4 a factor of o?
True
Is (-31 - -9)/(1*-2) a multiple of 7?
False
Let t(n) = -n**3 + 3*n + 4. Is t(-3) a multiple of 11?
True
Suppose 5*v - 3 = 2. Let i be (v - 3)*(-74)/4. Suppose 0 = -2*q + 29 + i. Does 11 divide q?
True
Suppose 0 = -3*s + 15, -c + s - 3*s = -9. Is 7 a factor of c/((-1)/17 - 0)?
False
Let a be 4*(0 + 3 + -2). Suppose a*r - r - 33 = 0. Is r a multiple of 9?
False
Does 2 divide ((-5)/(-2))/(8/112)?
False
Let p(g) = -4*g - 8. Is 9 a factor of p(-9)?
False
Let u = -20 - -30. Is 10 a factor of u?
True
Let p(d) = 202*d**3 + d**2 - d. Let s be p(1). Let f = s + -132. Let v = f - 16. Does 18 divide v?
True
Suppose -1 = w - 2. Let r(p) = 16*p + 3. Let q be r(1). Suppose 0 = -2*x - w + q. Is x a multiple of 3?
True
Suppose 0 = -4*t - t + 10. Suppose 0 = -t*l - 5*r + 37, -5*r + 0 = -4*l - 1. Is 6 a factor of l?
True
Suppose q = 3*b - 172, q = -2*b + 4*q + 117. Let z = -30 + b. Is z a multiple of 7?
False
Let w(b) be the second derivative of 0 - 3*b**2 + 5/6*b**3 - b. Is w(6) a multiple of 9?
False
Suppose -i - 5 = -2*i. Suppose 4*t + 45 = i*t. Does 12 divide t?
False
Let h be -3 - 3*-2 - 90. Is 18 a factor of (-12)/(-9)*h/(-2)?
False
Let o(q) = 76*q**3. Does 19 divide o(1)?
True
Let j(c) be the third derivative of -2/3*c**3 + 0 + 1/3*c**4 + 2*c**2 + 0*c. Is 10 a factor of j(3)?
True
Suppose -31*x + 39*x = 1480. Does 22 divide x?
False
Suppose 16 = 4*q - 0*q. Suppose 2*w - 3*b + 6 = 0, -5*b + 6 = 5*w - q. Suppose 0 = 3*h + 4*d - 37, -2*d + w = h - 15. Does 3 divide h?
False
Let k = -117 - -132. Does 4 divide k?
False
Is (2 + -1)*-3 + 93 a multiple of 30?
True
Suppose -5*b + 2*q = -171 - 58, 94 = 2*b - 2*q. Is 15 a factor of b?
True
Suppose 2*w = 5*y - 1696, 5*y + w + 0*w = 1702. Is y a multiple of 38?
False
Let w(u) be the second derivative of u**4 + 0 - 2*u + 0*u**3 + 1/20*u**5 + 13/2*u**2. Does 13 divide w(-12)?
True
Let b(w) = -w**3 - 3*w**2 + 14*w + 14. Let g(n) = 2*n**3 + 7*n**2 - 27*n - 27. Let j(h) = -5*b(h) - 3*g(h). Is j(-8) a multiple of 30?
False
Suppose -4*q + 4*f = 0, -2*q + f + 3 = -2. Suppose -5*z + 6 = l, -4*l = -0*l + q*z - 99. Does 11 divide l?
False
Let d(h) = -6*h**3 - h**2 + 1. Let i be d(1). Let r(c) = -c**3 - 4*c**2 + 7*c - 5. Does 13 divide r(i)?
False
Let a = -12 + 5. Let v(p) = -1 + 3*p - 4 - 6*p. Is v(a) a multiple of 8?
True
Let z = 6 + 18. Suppose -2*g = -114 + z. Is 15 a factor of g?
True
Suppose -4*t = -3*i - 2*t + 15, 4*i - 2*t = 18. Suppose i*