4?
False
Let v(x) be the third derivative of x**5/2 - x**3/6 - 5*x**2. Does 20 divide v(-1)?
False
Let x = -11 + 5. Let c be ((-3)/2)/((-3)/x). Does 5 divide (-1)/c*15*1?
True
Let q = 16 + -16. Suppose 5*o - 211 + 31 = q. Does 12 divide o?
True
Let c = 95 - 45. Is 5 a factor of c?
True
Suppose -3*o - 4*r + 70 = -19, 94 = 3*o + 5*r. Is 3 a factor of o?
False
Let z(n) = -n + 7. Let t be z(3). Suppose -2*o + 9 = -3*q, t*q - 5*o + 2 = -17. Let w(u) = 31*u**2 + u. Is w(q) a multiple of 14?
False
Suppose 5*b - 83 = 5*h + 137, b - 60 = 5*h. Is 8 a factor of b?
True
Let t be (-22)/3 + 6/18. Let m(q) = -q**3 - 7*q**2 - 5*q + 6. Let p be m(t). Suppose p = -3*b + 5*b - s, -b = -s - 20. Is b a multiple of 15?
False
Suppose -204 = -3*r - r. Is 17 a factor of r?
True
Suppose 0 = 2*t - 5*t + 249. Is 19 a factor of t?
False
Let w(d) = -7*d + 3. Let c be w(-5). Let u be c + (1 - (2 + -3)). Suppose i - 6 - u = 0. Is i a multiple of 24?
False
Let w(n) = 3*n**2 - 17*n - 5. Is 10 a factor of w(8)?
False
Let q be (-11 + 10)*3/(-1). Suppose 0 = -3*h + 5*c - 2558, q = 2*c + 7. Is 22 a factor of (-1)/(-2) + h/(-16)?
False
Let f(q) = -q**2 - 10*q - 7. Let g be f(-9). Suppose 5*d + 4*h - g*h = 294, 5*d - h - 288 = 0. Is 29 a factor of d?
True
Let a be (4/(-6))/(4/186). Is 14 a factor of 2/((-2)/a + 0)?
False
Is 4 a factor of (-161)/(-35) - 6/10?
True
Suppose -4*c - 4*q + 90 = -230, -244 = -3*c - 2*q. Is c a multiple of 14?
True
Let u(a) = -a**3 + 4*a**2 + 2*a - 1. Let x be u(4). Let k = 11 - x. Let r = k + 5. Is r a multiple of 9?
True
Let a(w) = w**3 - 6*w**2 - w + 6. Let d be a(6). Let q(t) = -t + 6. Is 6 a factor of q(d)?
True
Suppose 3*c + 3*t + 480 = 5*c, -4*t - 1200 = -5*c. Is c a multiple of 12?
True
Let q(s) be the third derivative of s**4/3 - s**3/2 - 4*s**2. Does 5 divide q(2)?
False
Does 4 divide -44*((-3)/1 + (-20)/(-8))?
False
Let d be 3/(4/(16/6)). Is 10 a factor of -2 - d/(-2) - -25?
False
Let h(i) = 4*i + 9. Is h(7) a multiple of 3?
False
Let d be -3 + 6/(-9)*-3. Let f(t) = -22*t + 4. Let z(n) = 1. Let b(y) = f(y) - 4*z(y). Is 11 a factor of b(d)?
True
Let m be 44/16 - (-2)/8. Let t = m - 0. Is t even?
False
Let q be 3/12 - (-19)/4. Suppose a = q + 5. Is a a multiple of 6?
False
Let b(l) = 10*l - 3. Is 26 a factor of b(3)?
False
Suppose -5*g = 107 - 592. Is 9 a factor of g?
False
Let r = 24 - 9. Suppose -6*d + d + r = 0. Suppose d*f = 45 - 6. Is f a multiple of 13?
True
Let f(m) = m**3 + 6*m**2 + 5*m. Let i be f(-4). Let y = -18 - -22. Suppose -o - i = -y*o. Does 4 divide o?
True
Let u be 0/(-1) + 62/(-1). Suppose -2*z - 124 = 56. Let c = u - z. Does 14 divide c?
True
Suppose 4*n - x - 10 = 5, -5*x + 40 = 3*n. Suppose -n - 15 = -2*q. Is q a multiple of 5?
True
Let r(z) = 99*z**2 + z. Is r(-1) a multiple of 14?
True
Let d = 9 - -14. Is d a multiple of 11?
False
Suppose 2*a + 3 = -1. Let u(q) = -6*q**3 - 3*q**2 - 2*q + 2. Is 14 a factor of u(a)?
True
Let q(i) be the third derivative of 1/20*i**5 + 2*i**2 + 0 + 1/3*i**3 + 1/12*i**4 + 0*i. Is 10 a factor of q(-2)?
True
Let u = 63 + -22. Is 9 a factor of u?
False
Suppose y - 6*y + 130 = 0. Is y a multiple of 8?
False
Let c be ((-38)/57)/((-2)/15). Suppose -c*g = 14 + 6, -g + 80 = 4*u. Does 7 divide u?
True
Let a be 3/(-15) + (-4)/5. Is 3 a factor of (a/3)/((-2)/18)?
True
Let r be (2/6)/(2/12). Suppose 0 = 4*z + 4*j + 16, 0 = -4*z - 0*j + r*j + 14. Is z - 2*10/(-4) a multiple of 4?
False
Suppose -5 + 61 = f. Does 7 divide f?
True
Suppose 9*a + 242 = 1070. Is 4 a factor of a?
True
Let a(x) = x**2 - 12*x - 4. Let v be a(6). Let i be (-2 - v) + (-1 - -2). Is 13 a factor of i/2*(-12)/(-9)?
True
Let z(o) = 3*o**2 + 2 - o**3 + 2*o**2 + 0 - 4*o**2. Is 14 a factor of z(-2)?
True
Suppose -3*b - 3*i + 375 = 0, b + 3*b = 4*i + 460. Does 24 divide b?
True
Let h(f) = -97*f + 1. Is h(-1) a multiple of 7?
True
Let b(x) = -x**3 - 8*x**2 - 5*x + 2. Is b(-9) a multiple of 35?
False
Suppose 5*m = 18 - 3. Suppose -3*z + z = -3*r + 33, m*r = 5*z + 60. Let q = z - -23. Is 14 a factor of q?
True
Suppose 2*y = 6*y - 8. Suppose -y*s = -3*s + 3*a + 5, s - 6 = 4*a. Is s even?
True
Let r(j) = 20*j - 14. Let s(a) = 30*a - 21. Let v(f) = 8*r(f) - 5*s(f). Is 15 a factor of v(5)?
False
Let d(a) = 9*a - 1. Let n(i) = 27*i - 2. Let s = -6 - -4. Let c(t) = s*n(t) + 7*d(t). Does 11 divide c(4)?
True
Suppose 18 + 20 = -2*i. Suppose 0 = q + 4, -4*a - 2*q - 140 = 2*q. Let c = i - a. Does 6 divide c?
True
Let y = 5 + -2. Let u = 5 - y. Suppose 3*s - 40 = u*s + 3*w, -2*s = -5*w - 75. Is s a multiple of 25?
True
Suppose 0*n + 2*y + 23 = 3*n, -5*n + 2*y = -45. Let c(x) = x**3 - 12*x**2 + 12*x + 5. Is c(n) a multiple of 6?
False
Suppose -v - 2 = 4. Let c(n) = -n**3 - 5*n**2 + 8*n + 8. Let y be c(v). Let x(k) = -2*k**3 - 7*k**2 - 4*k + 5. Is 15 a factor of x(y)?
False
Suppose -214 = -h + u - 74, 0 = 4*u - 16. Does 18 divide h?
True
Suppose 0 = -4*v - 0*v + 196. Let o be 0/((-3)/(-3)) - -81. Let i = o - v. Is i a multiple of 16?
True
Let g(o) = o**2 + 0*o**2 + 0*o**2 + o + 2 + 0*o**2. Let m be g(-2). Suppose 0 = m*n + 68 - 252. Does 20 divide n?
False
Let c(o) = 21*o**2 + 3*o + 1. Does 17 divide c(-2)?
False
Let f = -10 + 13. Suppose f*i = -12, -5*m + 2*m + i + 28 = 0. Is m a multiple of 8?
True
Is (-925)/(-5) + (2 - 4/1) a multiple of 10?
False
Let s(f) = -2*f**2 + 3*f + 2. Let l be s(-1). Suppose 3*d + 1 - 10 = 0. Does 10 divide l - (-1)/(d/39)?
True
Let q be 4/1 + -3 + -7. Is 13 a factor of q/(-18) + 82/6?
False
Let a be (-2)/6 - 174/(-9). Suppose -a = -2*u + 2*b - 5, b = -4*u + 38. Does 9 divide u?
True
Suppose 4*s + 0*f - 77 = -f, -f = -s + 18. Suppose -3*o - 5*i = 18, 4*o + i = 2*i - 1. Is s + (0 - o - -2) a multiple of 18?
False
Suppose 0 = 6*i - i - 25. Suppose 2*c + 3*p - 11 = -3, c - i*p = 17. Is 7 a factor of c?
True
Let h(i) = -7*i - 1. Let d be h(-4). Let g = d - -7. Is g a multiple of 17?
True
Let q(b) = b - 4. Let n be q(4). Suppose -5*o + 14 = -1. Suppose 3*x - 2*k - 75 = n, o*x + 4*k = -0*x + 57. Does 13 divide x?
False
Suppose 0 = -4*a + l + 187, -2*a + 2*l + 86 = -0*l. Is a a multiple of 48?
True
Suppose -4*u - 13 + 153 = 0. Is 20 a factor of 795/u - (-2)/7?
False
Let s(a) = 3*a**2 + a - 3. Is 7 a factor of s(-4)?
False
Let c(u) = -u**3 + 2*u**2 - 2*u + 221. Is c(0) a multiple of 13?
True
Let y = 1 - -1. Let j = 7 - 5. Suppose 0 = -v + 1, -3*v + 37 = j*z + y. Is z a multiple of 16?
True
Suppose 2*r = 10, -62 = -5*b - 3*r - 12. Let m(g) = b*g - 5*g + 5*g - g**2 + 2*g - 5. Is m(6) a multiple of 4?
False
Let j = 12 + -8. Suppose -j*u + 21 = 3*v, 4 - 22 = -u - 5*v. Suppose u = h - 5. Is h a multiple of 4?
True
Suppose -2*a + 5*u = -51 - 2, 33 = 2*a - u. Suppose 0*j - j = -a. Is j a multiple of 7?
True
Suppose -5*r = -7*r + 2*x, -5*x + 6 = -3*r. Let a = r + 0. Does 5 divide 3*((-8)/6 + a)?
True
Let z(t) = 3*t**3 - t**2 + t. Let c be z(1). Suppose c*d - 6 - 30 = 0. Does 9 divide d?
False
Let t = 261 - 185. Is t a multiple of 19?
True
Let n be ((-6)/3)/2 + 1. Suppose n*p + 25 = 5*p. Suppose -83 + 13 = -p*y. Does 13 divide y?
False
Let o(f) = 9*f**2 - 4*f - 7. Is 22 a factor of o(5)?
True
Let s(j) = 2*j**3 - 2*j**2 - j - 2. Let m(u) = u**3 - 10*u**2 - u + 13. Let g be m(10). Does 14 divide s(g)?
False
Suppose -2*f - 3*f - y = -187, -4*y - 66 = -2*f. Does 11 divide f?
False
Let p be -13 - -2 - (1 + -4). Let t = p + 7. Let j = 3 - t. Is 2 a factor of j?
True
Let k(l) = -14*l**2 - 2*l + 1. Let q be k(1). Let r be ((-1)/2)/(1/10). Is (q/r)/(1/5) a multiple of 6?
False
Suppose -3 + 0 = -3*t. Let i = t - -3. Suppose 5*u = i*x + 195, 0*u - u + 4*x = -39. Is u a multiple of 14?
False
Let u = 45 + -24. Is 7 a factor of u?
True
Let w be 0*(1 - (-3)/(-2)). Let a = 16 + w. Does 8 divide a?
True
Let f(t) = t**3 - 5*t**2 + 4*t. Suppose -5*g - 45 = -5*i, i - 4*g = 5*i + 4. Let u be f(i). Suppose u*o - 65 = -5*o. Is 13 a factor of o?
True
Let b(o) = 12 - 18*o + 19*o - 2. Let r be b(-5). Suppose -60 = -5*a - 0*a - r*s, 58 = 4*a - s. Is a a multiple of 8?
False
Suppose 3*b - 18 = 3*g - 6*g, -5*b - 3*g + 26 = 0. Suppose q + 75 = b*q. Is 25 a factor of q?
True
Let u = 107 + -6. Let m = -204 + 140. Let a = u + m. Is a a multiple of 13?
False
Let j(c) = c**3 - 8*c**2 + 5*c + 11. Suppose 0 = -5*w + 11 + 29. Is j(w) a multiple of 20?
False
Let j = -6 + 20. Let f 