a) be the second derivative of -1/2*a**3 + 2*a + 0 - 3*a**2. Is 4 a factor of h(-5)?
False
Let x = 3 + -8. Let d(q) = -8*q**2 - 19*q + 5. Let m(y) = 2*y**2 + 5*y - 1. Let b(s) = 2*d(s) + 9*m(s). Is 8 a factor of b(x)?
True
Suppose -4*o = 4 - 0. Does 23 divide 1/(o*(-3)/87)?
False
Suppose -15 = 2*v - 3*o, 0 = -3*v - 3*o - 5 + 20. Let y = v - -5. Suppose 41 = 2*a - y*w, 5*a - 94 = 2*w + 2*w. Is 9 a factor of a?
True
Let c = -30 - -61. Does 2 divide c?
False
Let y(m) = -m**3 - 3*m**2 + 4. Let o be y(-3). Let a(g) = -g + 13. Does 3 divide a(o)?
True
Suppose 0*w + 2*w = 24. Is 12 a factor of w?
True
Suppose 6*c - c = -5*m + 670, m = 4*c - 526. Is c a multiple of 11?
True
Suppose 3 = -2*k + 1. Is 138/10 + k/(-5) a multiple of 7?
True
Suppose 5*g - 219 = -u, -g = -4*g + 5*u + 137. Is ((-6)/4)/((-3)/g) a multiple of 14?
False
Let h be (-3 - -4)*1*-5. Let x(l) = -l**3 - 6*l**2 - 8*l - 4. Is x(h) a multiple of 11?
True
Suppose -3*u + 350 = 4*u. Is u a multiple of 7?
False
Let g(v) = 6*v. Let h be g(11). Let o = h - 31. Does 16 divide o?
False
Let h(p) = p**3 + 4*p**2 - 6*p - 3. Let s be h(-4). Suppose 2*n + s = g - n, 2*n = 10. Is g a multiple of 18?
True
Let t(v) = v**2 - 4*v. Let h be t(6). Let q(o) be the first derivative of 3*o**2/2 - 6*o + 14. Does 16 divide q(h)?
False
Suppose 3*v = v. Suppose v = b - 14 + 3. Is 11 a factor of b?
True
Let h = 3 - 5. Let b(q) = -4*q**3 - q + 0*q**3 + 0*q**2 - 2*q**2. Is 13 a factor of b(h)?
True
Let y = 2 + 20. Is y a multiple of 3?
False
Let s(z) = z**2 + 4*z - 3*z**2 + 5*z - 6 + 3*z**2. Let c be s(-10). Suppose c*l = l + 96. Is l a multiple of 16?
True
Suppose 0 = 4*l - 0*l. Suppose -3*d + 7*d - 176 = l. Suppose -t - d = -5*t. Is t a multiple of 4?
False
Let h = -10 + 26. Let q be h/7 + (-4)/14. Suppose k - 3*o = 0, 0*k + k - 4*o = -q. Is k a multiple of 6?
True
Suppose 200 = 2*i - 2*l, 0 = 3*i - 2*i + 4*l - 120. Suppose 0 = 5*t - 294 + i. Is 20 a factor of t?
False
Suppose -4*a + 8*a = 52. Is a a multiple of 4?
False
Let j(p) be the first derivative of -4*p**2 - 3*p - 3. Is j(-6) a multiple of 20?
False
Let m(p) = p**2 - p + 8. Let w = -23 - -16. Is m(w) a multiple of 16?
True
Suppose -5*p - s = -2*p + 12, p - 12 = 5*s. Let h(j) = -10*j - 4. Is 12 a factor of h(p)?
False
Suppose 0 = -3*s + 5*s - 3*k - 113, 4*s - 201 = k. Let a = 73 - s. Is a a multiple of 6?
True
Is 10 a factor of (-150)/(-9)*36/15?
True
Suppose 4*p + 20 = 0, -4*p + 9*p = -k - 18. Suppose -s - 3*t = -21, -s + k = -5*t - 6. Is 9 a factor of s?
True
Suppose 2*j - 4*j + 4*i = -24, 3*j - 2*i = 16. Is 32 + 2/(j - 1) a multiple of 13?
False
Let r = 76 + 4. Does 16 divide r?
True
Let r be (1/(-1))/2*0. Suppose r = 5*i - 2*i - 4*t - 38, -4*i + 4*t + 48 = 0. Is 5 a factor of i?
True
Let h(r) = 5*r**3 - 5*r**2 + 8*r + 1. Let i(a) = 14*a**3 - 15*a**2 + 23*a + 2. Let v(k) = 17*h(k) - 6*i(k). Is v(-5) a multiple of 15?
True
Let q = 44 + 13. Does 19 divide q?
True
Suppose -q - 2 = -3*r + 5, 3 = r. Suppose 0 = -q*i - 0*i + 5*j + 28, -4*j - 16 = 0. Does 4 divide i?
True
Let q(z) = -12*z**2 + z. Let u be q(1). Let k = u - -34. Does 9 divide k?
False
Let f(t) = t**3 + 5*t**2 + 4*t + 2. Let n be f(-4). Suppose -4*d = -8, 5*d - 20 = n*k + d. Is (-5)/30 - 241/k a multiple of 20?
True
Let s = -59 + 123. Is 11 a factor of s?
False
Let l = -3 - -5. Suppose -x = -l*x + 79. Suppose -3*i + g - x = -5*i, g = 2*i - 69. Is i a multiple of 14?
False
Does 19 divide (-2732)/(-22) + 12/(-66)?
False
Suppose 17*g + 344 = 25*g. Is g a multiple of 11?
False
Let k(u) be the third derivative of -u**4/24 + 3*u**2. Let a(r) = -43*r - 1. Let c(s) = a(s) - 2*k(s). Is c(-1) a multiple of 20?
True
Suppose 3*v = -4*k + 9 - 341, -4*v + 4*k - 424 = 0. Let b = 159 + v. Suppose 5*r - b = -5*f + 9, -3*r - 83 = -4*f. Is 6 a factor of f?
False
Let o(c) = -c**3 + 7*c**2 + 8*c - 3. Let j be o(8). Does 18 divide (j/(-2))/((-1)/(-12))?
True
Let s be 4/(-18) - 75/27. Let f be -156*(-1)/s*-2. Let a = f + -52. Is a a multiple of 21?
False
Let s = -22 + 38. Is 8 a factor of s?
True
Let p(h) = h - 5. Let g be p(7). Suppose 4*z - 8 = -g*f - 2, 3 = f + 5*z. Suppose 24 = 3*o + 3*x, -5*o + o - f*x = -28. Does 4 divide o?
True
Let i = 26 + -16. Does 9 divide i?
False
Let v = -3 + 6. Suppose -2*f = 5*j - v*f - 24, 0 = 4*f - 4. Suppose -g = -j*g + 40. Is g a multiple of 10?
True
Let p be 1*(-2*11 + 3). Let a = 35 + p. Does 4 divide a?
True
Let h(c) = c - 1. Let u(l) = -l**2 - 3*l + 7. Let r be u(-5). Let d(x) = 4*x**2 + 5*x - 4. Let k(s) = r*h(s) + d(s). Does 5 divide k(1)?
True
Let h be (-4)/(-18) - (-349)/9. Suppose 5*d - h = 41. Is d a multiple of 6?
False
Let z be 82/(-8) - (-4)/16. Suppose 0 - 34 = -2*l. Let q = z + l. Is q a multiple of 7?
True
Let c(g) = -g**3 + 8*g**2 - 8*g + 8. Let p be c(7). Suppose -p = o - 9. Is 8 a factor of o?
True
Suppose -x = -2 - 4. Suppose 3*n = 18 - x. Is 2 a factor of n?
True
Let o(k) = -68*k**3 + k. Let p be o(-1). Let u = 17 + p. Is (-3)/((-9)/u) + -2 a multiple of 13?
True
Let w = -48 - -68. Is w a multiple of 10?
True
Suppose -36 = 4*o - o. Does 11 divide 6/(-3)*66/o?
True
Does 10 divide (-4)/10 - (-3872)/55?
True
Let s(f) = -f**3 - 5*f**2 - 4. Let m be s(-5). Is m/10 + 32/5 a multiple of 2?
True
Suppose -5*i + 3*h + 238 = -388, h + 2 = 0. Is 31 a factor of i?
True
Let a be 30*2 + -2 + 4. Let q = a - 35. Is 9 a factor of q?
True
Let f be (1*-4)/(2 + -4). Suppose 0*b - 4*a = -b + 20, f*a = -b + 14. Is 8 a factor of b?
True
Suppose -2*a - a = 0. Suppose a = -0*i + 5*i + 10. Let h(d) = 4*d**2 + 3*d. Is h(i) a multiple of 10?
True
Suppose -7 = -2*x - 1. Let z = 9 + x. Is 2 a factor of z?
True
Suppose -g + 4 = -4. Is (-29)/(-2) + 12/g a multiple of 16?
True
Let a = 155 + -224. Let k = 135 + a. Is 22 a factor of k?
True
Suppose 0 = -4*q + r - 6*r - 44, -5*q + 4*r - 14 = 0. Suppose 0*a - 40 = -a - 5*d, -75 = -4*a - 3*d. Let m = q + a. Is 9 a factor of m?
True
Let m(b) = 2*b**2 - 7*b + 2. Let c(k) = -k**2 + 6*k - 1. Let w(g) = 3*c(g) + 2*m(g). Is w(3) a multiple of 11?
True
Let g(y) = y**3 + y**2 + 12. Let b = 0 + 0. Is g(b) a multiple of 4?
True
Suppose 0 = 96*v - 101*v + 385. Is v a multiple of 11?
True
Suppose 4*r - 4 = -24. Suppose 150 = 5*p + 5*l, 3*l = 5*p - 162 + 4. Let q = p + r. Is 12 a factor of q?
False
Suppose 0 = -5*f + 2*f + 12. Suppose 7*h = f*h + 9. Let n(x) = 4*x + 2. Is 13 a factor of n(h)?
False
Let n(o) = 3*o - 7. Let k be n(-6). Let f = k - -7. Let c = f - -28. Is c a multiple of 10?
True
Let y(s) = -s + 4. Is y(-10) a multiple of 7?
True
Suppose 0*f + 3*f = 12. Suppose 0*o + o - f = 0. Does 3 divide o?
False
Suppose 110 = 4*t + 5*j, -5*j + j = -t + 38. Let v(i) = -9*i + 2. Let g be v(-2). Let b = t - g. Is 8 a factor of b?
False
Let g be 3*1/(-6)*-154. Suppose -5*y + 294 = 2*o, -2*y + 58 = -5*o - g. Is y a multiple of 22?
False
Let d = -43 + 274. Is 11 a factor of d?
True
Let b(r) = r**3 - r + 13. Suppose -2*t + 6*t + 2*o = -10, 25 = -5*o. Suppose 0 = -t*x + 4*x. Does 13 divide b(x)?
True
Let m(y) = -y**2 - 13*y - 7 - 6*y + 5*y - 3*y. Is 10 a factor of m(-14)?
False
Suppose -2*m + 8 = 0, -4*v + 4*m = 5*m - 60. Does 7 divide v?
True
Suppose -6 = 2*b - 3*b. Let a(l) = -l**2 + 3*l - 7. Let y be a(b). Does 10 divide (-685)/y + 4/(-10)?
False
Let l(v) = -36*v**3 - v - 1. Is l(-1) a multiple of 4?
True
Let l be (0 + -2)/(7/(-7)). Suppose 148 = 4*r + l*q, r - 3*q - 26 - 4 = 0. Does 12 divide r?
True
Suppose 16*t = 12*t + 212. Is 13 a factor of t?
False
Let i = -4 + 4. Suppose i*k - k + 4 = 0. Suppose 0 = k*h + 3*g - 49, -h - g + 6*g = -18. Does 11 divide h?
False
Let g(i) be the second derivative of i**4/6 + 3*i**3/2 - 9*i**2/2 - i. Let o be g(-9). Suppose 20 - o = -2*l. Is l a multiple of 19?
False
Let m = -33 - -41. Does 4 divide m?
True
Suppose 2*y - 3*y = -2*x + 5, -y - 1 = 2*x. Is 6 a factor of 4*(x - (-7)/2)?
True
Let k(n) = -n - 7. Let f be k(-7). Let u(q) = q**2 - q - 6. Let a be u(f). Let w(t) = t**3 + 6*t**2 + 6. Does 6 divide w(a)?
True
Suppose 10 = -r + 4*z, 2 = r - 2*z + 6. Is 23 a factor of ((-5)/(-10))/(r/212)?
False
Suppose 160 = 2*m - 4*y, 190 + 201 = 5*m - y. Does 13 divide m?
True
Let g be 116/14 - (-10)/(-35). Let w be (-4)/6 + g/12. Suppose w = 3*s + r - 61, -7 - 5 = -s - 2*r. Is s a multiple of 11?
True
Let q(r) be the first derivative of 2