tor of (-1 + 0 + 0)*w?
True
Let u(m) be the first derivative of m**5/60 - m**4/24 + 2*m**3/3 + m**2 - 1. Let c(a) be the second derivative of u(a). Is c(-3) a multiple of 16?
True
Is 40 a factor of (6 - 5 - 4/(-2)) + 157?
True
Let t = 22 + -8. Does 5 divide t?
False
Suppose 0 = 4*o - z + 31 - 7, z = 2*o + 14. Let p be 26/(-3)*(16 - -2). Does 10 divide 2/o + p/(-15)?
True
Suppose -338 - 409 = -9*p. Does 13 divide p?
False
Does 7 divide 3 - (-274)/(-6)*-3?
True
Let a(q) = q**2. Let m be a(1). Suppose 0 = -2*r + 11 - m. Suppose -2 = 2*o, r*o - 11 - 60 = -4*y. Does 5 divide y?
False
Suppose 3*v - 5 = a, -v + 5*v - 10 = -2*a. Suppose v*l = -5*h - 0*h + 45, -21 = -l - 3*h. Is 6 a factor of l?
True
Let z(m) = m**2 + 7*m + 4. Let n be z(-7). Suppose 0 = 3*p - 3*x - 26 - 1, -5*p + 40 = -n*x. Is p a multiple of 3?
False
Suppose i + 20 = -5*k, -4*k + 3*k - 4 = 5*i. Suppose 0 = q + 5*s - 23, 0*q + 5*q + 3*s - 27 = i. Suppose q*b = b + 22. Is 11 a factor of b?
True
Let o(a) = a**3 - a**2 - 2*a + 4. Let b(g) = g**3 - 2*g + 4. Let d(w) = -2*b(w) + 3*o(w). Is 12 a factor of d(4)?
True
Suppose -g + 49 = 4*m, -4*m + 181 = 5*g - 0*m. Does 11 divide g?
True
Suppose -3*t = -0*t + 18. Let g(i) = i + 4. Let k be g(t). Does 7 divide (2 - k)*(0 + 2)?
False
Does 44 divide (-11*8)/(-1)*(-4 + 5)?
True
Let a(p) = 31*p - 16 - 43*p + 4. Does 11 divide a(-6)?
False
Suppose z = -3*q - 15, -9 = 2*z + 3*q + 6. Suppose z = -o + 4*o - 9, -o = a - 16. Is a a multiple of 13?
True
Let i(q) = -3*q - 3*q**2 - q**2 - q**3 + 0*q**3. Let h be i(-2). Is 26*(h - 10/(-4)) a multiple of 11?
False
Suppose 0 = -6*f + f + 10. Suppose 2*h + 2*s = 2, 0*h - 5 = 3*h + 5*s. Is 5 a factor of f/3*(14 - h)?
False
Let w(j) = j**2 + 3*j. Let k be w(-2). Let a = k + -19. Does 10 divide 9 + -10 - a/1?
True
Suppose l = 76 + 100. Is 38 a factor of l?
False
Suppose -39 = -4*j + 21. Does 5 divide j?
True
Let w = -57 - -92. Is w a multiple of 7?
True
Suppose 3*f = 2*f + 7. Suppose 0 = -5*u + f + 3. Suppose 5*q = -l + 42, -u*l + 3*q + 40 = 2*q. Is 11 a factor of l?
True
Let c(k) = k**3 - 2*k**2 + 2. Let w be c(3). Suppose -5*q + 106 = w. Is 11 a factor of q?
False
Let r be 2 + (-38)/4*-2. Suppose 2*i + 2 - 15 = -p, -p = 4*i - r. Suppose 0 = v - 4*v + i*o + 123, -5*o + 96 = 3*v. Does 20 divide v?
False
Let r(m) = 30*m**2 + 1. Suppose q - v - 3 = 0, -2*q + 4*v + v = -12. Is 15 a factor of r(q)?
False
Let v(m) = -6*m - m**3 + 2*m**3 - 4*m**2 + 3*m - 7. Let g be v(5). Let j = 6 - g. Is j a multiple of 2?
False
Suppose 67 = -4*z + 5*z. Let q = 100 - z. Does 14 divide q?
False
Let z(v) = -25*v + 15. Is z(-3) a multiple of 18?
True
Suppose -2*o = -6 - 34. Suppose 2*l + s = 2 + 1, -9 = -4*l - s. Suppose -l*z + 2*a = 7*a - 23, -2*z = a - o. Is 9 a factor of z?
False
Let j be -2*1/(-1) + -1. Let i be 2 + 0*(j + -2). Is 16 a factor of 66/4*i + -1?
True
Suppose -21*g + 19*g = -252. Is g a multiple of 14?
True
Let t = 20 + -34. Let x(d) = d + 18. Is x(t) a multiple of 4?
True
Is 14 a factor of (-17 - 0)*(-2 - -1)?
False
Let x = 29 + 0. Is x even?
False
Let y be (-86)/(-3) - (-7)/21. Suppose -2*w - s + 0*s = -13, 0 = 4*w + 5*s - y. Is w a multiple of 4?
False
Let h be ((-6)/(-4))/(3/(-4)). Suppose k - 4*k + 6 = 0. Does 7 divide (h - -12 - k) + -1?
True
Suppose 2*y = -4*g + 46, -2*y = -0*y + 2. Suppose -g = 4*b, 0 = 2*l + 3*b - 0*b - 35. Is l a multiple of 11?
True
Does 40 divide 3/(12/(-4))*-398?
False
Let r(w) = w**2 + 22. Is 11 a factor of r(0)?
True
Let x be 3/(-6) - (-17)/2. Let k(c) = -c**3 + 8*c**2 + 4*c - 8. Is k(x) a multiple of 12?
True
Suppose 3 = -2*v - 3. Is (-21)/(v + (-6)/(-4)) a multiple of 5?
False
Suppose -5*j - 156 = -9*j - w, -2*j + w = -84. Is j a multiple of 4?
True
Suppose 8*p - 20 = 6*p. Is 4 a factor of p?
False
Let m(k) be the third derivative of -k**4/6 - k**3/3 - 2*k**2. Is 19 a factor of m(-7)?
False
Let s(m) = -m**2 - 12*m + 16. Suppose 2*h + 4*f + 14 = 0, 0 = 4*h + h - 3*f + 74. Let y be s(h). Suppose y*r - 108 = -0*r. Is r a multiple of 12?
True
Let k be 1 + 3/(6/4). Suppose k*m + 3 = 9. Suppose -4*y + d = -80, 2*y + 2*d = -m*d + 58. Is 8 a factor of y?
False
Let r(s) = 9*s**2 + 9*s + 11. Does 18 divide r(-5)?
False
Does 9 divide ((-25)/20)/(1 + (-18)/16)?
False
Let q(f) = 6*f**2 + 2*f - 4. Is q(-3) a multiple of 17?
False
Let y(n) = -n**3 + n**2 + 3*n + 1. Let j be y(3). Is (-159)/(-4) - 2/j a multiple of 20?
True
Does 14 divide (5/(-10) - -3)*68/5?
False
Let c(z) = -23*z - 4. Does 13 divide c(-3)?
True
Suppose -148 = -4*b + 3*a, -b + 23 = a - 21. Suppose -c - 5*o + b = 0, -4*c - 2*o + 55 = -15. Is 12 a factor of c?
False
Let v be 0*(3/(-1) + 2). Let b(d) = 0*d**2 - d**2 + v + 1 - 7*d. Is b(-5) a multiple of 10?
False
Let l(q) = q**3 + 7*q**2 - 8*q. Let g be l(-6). Suppose 0 = -r + 5*v + 5 - 38, -4*v = 4*r + g. Let x = -8 - r. Is 8 a factor of x?
False
Let d(f) = 131*f**2 - 2*f - 1. Let l be d(-1). Suppose t + l = -3*t. Let m = t - -49. Does 16 divide m?
True
Let n = -5 - -6. Let g be 4*(-1 + 12*n). Let i = g - 19. Is i a multiple of 11?
False
Let d(c) be the third derivative of c**4/12 + c**3/2 + 17*c**2. Let w(s) = s**2 + 4*s - 5. Let j be w(-6). Does 7 divide d(j)?
False
Suppose t = 3*c + 54, -32 - 73 = -2*t + 3*c. Suppose t = -5*d + 156. Is d a multiple of 7?
True
Let u(m) = 2*m**2 - 7*m + 4. Let c(q) = q**2 - q + 5. Let s be c(0). Suppose s = 4*h - 3, -8 = -4*k + 4*h. Is 3 a factor of u(k)?
False
Let t(b) = b + 3. Let k be 65/7 - 2/7. Suppose -k = -0*z - 3*z. Is t(z) a multiple of 6?
True
Let x be (-3 + 1)*(-1 + -1). Is 8*6/x + 3 a multiple of 5?
True
Let y = 45 + 67. Suppose 2*c + y = 6*c. Does 12 divide c?
False
Let a(c) be the third derivative of -c**6/120 - 3*c**5/20 - c**4/24 - c**3/3 + 5*c**2. Does 2 divide a(-9)?
False
Let a(q) = q - 7. Let u be a(6). Suppose 0 = -0*d - 7*d - 84. Is 14 a factor of 1 - (d + -2 - u)?
True
Suppose -8*z + 1956 = -708. Does 37 divide z?
True
Suppose 0*t - 13 = t. Let u = t - -21. Is u a multiple of 8?
True
Let v(o) = -o**2 - 12*o - 9. Let u be v(-6). Suppose w + 4*w + h + 72 = 0, -3*h = 3*w + 48. Let n = w + u. Is 13 a factor of n?
True
Suppose -q - 3*q = -592. Is q a multiple of 37?
True
Let k(g) = -g - 1. Let r be k(-2). Suppose -3*w + 6 = 0, -2*h + 2*w - r = -17. Is 10 a factor of h?
True
Suppose 5*y + t - 227 = 0, 3*y + 5*t = -2*y + 215. Does 8 divide y?
False
Let n(x) = x + 1. Let y be n(-5). Let a be (-2)/y + (-14)/4. Is (-15)/a*24/15 a multiple of 4?
True
Suppose 334 = 7*n - 2. Is 16 a factor of n?
True
Is 25 a factor of (-20)/(-1)*1/(8/20)?
True
Let x(s) be the third derivative of -s**5/60 - s**4/3 - 4*s**3/3 + 2*s**2. Let l = -8 + 2. Is 3 a factor of x(l)?
False
Let t = -250 + 449. Does 12 divide t?
False
Suppose -4*s - 163 = -2*b - 7*s, 2*b - 2*s - 148 = 0. Is 7 a factor of b?
True
Let r = 1 + 32. Let z = 57 - r. Is 13 a factor of z?
False
Let j(x) = -x - 3 - 1 + 0*x. Let g be j(-6). Is (-17)/g*(-5 + 3) a multiple of 12?
False
Let f = 7 - 4. Suppose -f*t = -5*i - 2*t + 118, 5*i = -t + 122. Let r = -13 + i. Is 4 a factor of r?
False
Suppose 5*b - 24 = b. Suppose -o = m - 68, 0 = 5*m + o - b*o - 330. Is 16 a factor of m?
False
Let z = -3 + 20. Let f(v) = -v**2 - 5*v + 8. Let i be f(-6). Suppose 0 = -i*b - 2*q + 15 + z, q = b - 16. Does 10 divide b?
False
Suppose 0*t + 5*t + 4*q - 8 = 0, 3*t + 4*q = 0. Does 2 divide t?
True
Let t = 15 - -5. Is 10 a factor of t?
True
Let j = 10 - 10. Suppose j*p + 24 = p. Does 13 divide p?
False
Let d = 4 + 3. Does 6 divide d?
False
Let u(f) = -f**2 + 2*f + 11. Let x be u(5). Does 27 divide 1/x - (-872)/32?
True
Let u(x) = x - 6. Let a be u(7). Suppose 2*y + 2 = 4*f, 2*y - 8 = f - a. Suppose i - f*n = 3*i - 70, 5*n = -5*i + 180. Is i a multiple of 12?
False
Suppose 100 - 15 = 5*g. Is 13 a factor of g?
False
Suppose -3*s - 4*x = -21, -x - 14 = -0*s - 2*s. Let h = s - 10. Is ((-10)/h)/(2/6) a multiple of 10?
True
Let d(a) = -3*a**2 + 3*a - 4. Let j be d(3). Let r be (j/4)/((-1)/(-6)). Let l = r + 59. Is l a multiple of 13?
True
Let i(o) = 2*o**3 - 2*o - 1. Let c be i(-1). Let x = -2 + c. Is (-1)/(1 + x/2) even?
True
Suppose -4*v - 5 = -21. Suppose -b + 6*b = 10. Suppose 0 = m - 4*z - 0*z - v, -8 = -m + b*z. Does 6 divide m?
True
Suppose 5*g = 2*l + 30, 2*l - 30 = -5*g - 0*l. Suppose 0*s = 3*s - g. Is 5*(1 + 0) -