s 8 divide l?
True
Let d be 0 + (-2 - -4) - 1. Let t be -2 - (-2)/(d + 1). Does 14 divide (2 + -1)*t*-31?
False
Let u(w) be the third derivative of -w**8/20160 + 7*w**6/240 + w**5/20 - 3*w**2. Let l(d) be the third derivative of u(d). Is l(0) a multiple of 7?
True
Let d(x) = 7*x**2 + 3*x - 6. Is 33 a factor of d(3)?
True
Suppose -2*m - 2 = 4. Does 2 divide (m - (-32)/12)*-24?
True
Let j be 40/(-6)*(-5 - -8). Let g = 29 + j. Does 7 divide g?
False
Suppose 3*h + 14 = u, -2*u = -u - 2*h - 11. Is 2/(-5) - (-167)/u a multiple of 11?
True
Let z(r) = 3*r - 9. Suppose 3*w + 5*g = 21, -4*w - g = g - 28. Is 9 a factor of z(w)?
False
Let b(a) be the first derivative of -a**2/2 - a - 1. Is b(-8) a multiple of 2?
False
Suppose -4 = v - 17. Is 8 a factor of v?
False
Let f(q) = 2*q**2 + 7*q + 5. Let y be f(-4). Let i = y - 1. Suppose 2*h + i = 24. Does 8 divide h?
True
Let d(i) = i**2 + i - 5. Does 9 divide d(5)?
False
Let h = 15 + 54. Is 3 a factor of h?
True
Suppose 7*s = 4*s + 96. Does 8 divide s?
True
Let k(y) = y**3 - 4*y**2 + 4*y - 2. Let i be k(2). Does 8 divide (-1)/2*i + 7?
True
Suppose -2*m - 9 = 1. Let q = 45 + m. Is 12 a factor of q?
False
Suppose -49 - 31 = -4*z. Is 24 a factor of ((-72)/z)/(3/(-20))?
True
Let l = -6 + 20. Let u = 46 - l. Suppose -28 = -4*f - s + 19, 3*f = -4*s + u. Does 4 divide f?
True
Let h(i) = i**3 - 4*i**2 + 2. Let m be h(4). Let d(a) = 2*a**2 + 3*a**2 - 4*a**m - 6. Is 14 a factor of d(-5)?
False
Suppose 10*o - 353 = 697. Is 35 a factor of o?
True
Let b = -4 - -7. Suppose 0 = 3*a - 6 + b. Is 23 a factor of (-4 - -3)*(-47 + a)?
True
Suppose 11 = 5*h - 4. Suppose 0 = -5*w - u + 3*u - 6, -u + h = 0. Suppose 5 = 3*x + 3*q - 13, 2*x + 4*q - 2 = w. Does 5 divide x?
False
Let s = -5 - -12. Let k = s - 2. Suppose 2*b - 38 = 3*v + 14, 5*v - 130 = -k*b. Does 13 divide b?
True
Suppose -18 = -2*p - 2*a, -2*p + 3*a + 23 = -0*p. Does 6 divide p?
False
Suppose -3*m + 6 = 2*q, 2*q - 8 + 4 = -4*m. Suppose 0 = z - 3*z + q. Is z a multiple of 2?
False
Suppose -3*o = 15, -p - o = 2 - 12. Does 8 divide p?
False
Let p be (36/(-30))/((-4)/10). Suppose p*j - 124 = -j. Is j a multiple of 18?
False
Suppose 3*p + p - 5*a = -13, 15 = 3*a. Suppose 2*l = 5*t + 58, p*l + 0*t - 70 = -t. Is l a multiple of 11?
False
Let k be (-21)/(-12) + (-1)/(-4). Suppose k*m + m - 3*p = -6, -2*p = 3*m - 14. Suppose -m*f + 7*f = -3*r + 87, 2*f = -6. Is r a multiple of 17?
True
Does 14 divide -33*33/(-3) + (-8)/(-2)?
False
Let o(l) = l**3 - 6*l**2 + 5*l - 5. Let x be o(5). Let j = 7 + x. Is j a multiple of 2?
True
Let k be (-5464)/4*1/1. Is 14 a factor of k/(-14) - 20/35?
False
Suppose -13*z + 540 = -10*z. Let s be ((-4)/(-6))/(1/6). Suppose -y + 5*g = 4*y - z, -s = g. Does 16 divide y?
True
Let z(b) = -18*b + 1. Let o = 18 + -26. Let n be z(o). Suppose -2*u - 5*x = -n, 0*u + 4*u = -x + 281. Is 19 a factor of u?
False
Let t(l) = l**2 + 5*l + 10. Let n(k) = -k**2 - 4*k - 11. Let d(w) = -3*n(w) - 4*t(w). Let p(u) = -u. Let j be p(6). Does 5 divide d(j)?
True
Let b be 1*(3 + 6 + -1). Suppose o + b = 2*o. Is 8 a factor of o?
True
Let y be (-2)/(2 - (-36)/(-15)). Suppose -5*j = -y*h + 10, -j + 2*j = 3*h - 10. Does 2 divide h?
True
Let s = 31 + -20. Does 17 divide (-4)/(-22) - (-372)/s?
True
Let t = 301 + -142. Is 12 a factor of t?
False
Let z = 73 - 34. Is 27 a factor of z?
False
Let v = -272 + 400. Does 11 divide v?
False
Let p = -3 - -1. Let q(d) = d. Let n be q(p). Is (6 - n*1)/2 a multiple of 4?
True
Let p = 13 + -6. Does 7 divide p?
True
Let c(r) = r + 6. Let y be c(-3). Is 13 a factor of y*52/9*3?
True
Let s = 74 - 32. Does 3 divide s?
True
Let c = 6 - 8. Let f(w) = 9*w**2 + 3*w + 2. Is 14 a factor of f(c)?
False
Let g = -15 + 21. Suppose a = g*a - 100. Is 6 a factor of a?
False
Is (-2)/(-5) - 415/(-25) - -3 a multiple of 16?
False
Suppose -z + 8 = b + z, 2*z - 10 = -2*b. Does 11 divide (b + -3)*(-82)/2?
False
Let u(p) = p**2 + 13*p. Does 45 divide u(5)?
True
Let k = -7 - -4. Let s = k + 3. Let b(q) = q**3 - q**2 + q + 23. Does 9 divide b(s)?
False
Let w(g) = -g**3 - g**2 + 28. Let i be w(0). Suppose -3*p = p - i. Does 6 divide p?
False
Suppose -f = -0*f - q + 4, f = 3*q - 12. Let n be (-46 + 1)*(f + -2). Suppose 5*j = n - 0. Is 9 a factor of j?
True
Let v(b) = -b**3 - 9*b**2 - 9*b - 3. Suppose 2*q = -17 + 1. Let d be v(q). Suppose -d*w = -3*w - 18. Is 9 a factor of w?
True
Suppose 5*o = -3*k + 94, 5*k - 2*k - 9 = 0. Is 10 a factor of o?
False
Suppose -2*t = -t - 4. Suppose -t*p + 66 = 14. Is 13 a factor of p?
True
Let t(a) = -2*a**3 - 6*a**2 - 4*a - 2. Let c be t(-4). Let s = 94 - c. Does 14 divide s?
False
Let f(p) = -3*p + 3. Is 3 a factor of f(-4)?
True
Let y(k) = -3*k**3 + 8*k**2 + 2*k. Let r(i) = 7*i**3 - 17*i**2 - 5*i + 1. Let z(c) = -4*r(c) - 9*y(c). Is 17 a factor of z(-6)?
False
Suppose -3*u = -u - 3*c - 87, -189 = -4*u + c. Suppose -2*h - 18 = -u. Is 7 a factor of h?
False
Suppose 2*m = 5*s + 290, 132 = m + 2*s + 2*s. Is m a multiple of 14?
True
Suppose 0 = -2*p - p - 3*o + 321, 322 = 3*p + 4*o. Does 23 divide p?
False
Let q = 15 + -15. Let h = q - -18. Does 18 divide h?
True
Let g = -47 - -84. Is 18 a factor of g?
False
Let f(o) = 7*o**2 + 3*o + 4. Does 9 divide f(-4)?
False
Is 12 a factor of (9020/28)/11 - (-2)/(-7)?
False
Does 6 divide (-36)/(-3)*(13/4 - 2)?
False
Suppose -o - 138 = -4*o. Does 23 divide o?
True
Let y = -6 + 2. Let t(v) = v**2 - 7*v - 6. Let s be t(y). Let x = -16 + s. Is x a multiple of 22?
True
Suppose -10 = -4*m + 14. Is m a multiple of 4?
False
Suppose 5*x = -x + 450. Is x a multiple of 13?
False
Let l(x) = 44*x + 6. Let m be l(6). Suppose t + 2*t = -m. Is t/(-24) - (-2)/8 a multiple of 2?
True
Let z(a) = 3*a**3 - a**2 - 3*a + 5. Let o(x) = -x - 14. Let s be o(-16). Is 16 a factor of z(s)?
False
Suppose 0 = -2*y + 2, -w + 2*w - 2*y = 153. Does 20 divide w?
False
Let n(s) = s**2 + 11*s + 14. Let u be 43/(-4) - (-1)/(-4). Is 10 a factor of n(u)?
False
Let v be ((-8)/10)/((-6)/135). Suppose 0 = a - 5*a + 12, -i + 5*a = v. Is 6 a factor of i/4*1*-24?
True
Let b(g) = g + 8. Let r be b(-8). Let j = r - -2. Is 8/(1/(j/4)) a multiple of 4?
True
Suppose 200 = -0*c + 2*c. Let w = 146 - c. Let p = w + -21. Is 9 a factor of p?
False
Let l = 175 + -99. Does 34 divide l?
False
Let c(w) = -1 - w**3 + 3 + 3*w - 4*w**2 - 3. Let p be c(-5). Let h = -5 + p. Is 4 a factor of h?
True
Suppose 0 - 10 = -2*z. Suppose -30 - 5 = -z*g. Is 7 a factor of g?
True
Let t(o) = -o**2 + 9*o - 5. Let g be t(8). Suppose g*p = -r + 10, -r + p = -2 - 16. Is r a multiple of 16?
True
Suppose k - 18 = -a - 4*k, -4*a + 4*k = 0. Let x(m) = -a*m - 5*m - 3*m - 2. Is x(-2) a multiple of 20?
True
Suppose 0*v - 5*v = -270. Suppose -3*t = -0*t - v. Does 9 divide t?
True
Let r be (0 + 6)*(1 - 0). Is 80/r - (-2)/(-6) a multiple of 13?
True
Let s = 53 + 3. Does 4 divide s?
True
Suppose 0 = -101*b + 103*b - 370. Is b a multiple of 34?
False
Let o = -79 + 110. Suppose -5*u + 18 = 2*s, -2*u + 3*s - 3 - 5 = 0. Suppose -u*k + o = 3*q, -3*q - 5 = -2. Is k a multiple of 5?
False
Suppose -5*i + 2 = -4*i. Suppose -4*m = 3*z - 242, 4*m = 6*m + i*z - 122. Let h = m - 41. Is h a multiple of 12?
False
Suppose 2*f = 2*g - f + 13, 22 = -5*g + 4*f. Let k = g + 4. Does 14 divide -3 + 129/(1 + k)?
False
Let g = 121 - 61. Is g a multiple of 15?
True
Suppose 5*t = -2*s + 109, -5*s + 0 = t - 8. Suppose -t = -5*a + 52. Does 11 divide a?
False
Let j(c) be the second derivative of c**4/12 + 2*c**3/3 + 5*c**2/2 + 13*c. Suppose 2*s + 11 = -3*b, -b - 4*b - 31 = -3*s. Is 5 a factor of j(b)?
True
Suppose 2*m = m + 6. Let b(x) = -2*x**2 - 4*x + 4. Let t(o) = -3*o**2 - 4*o + 4. Let r(q) = 4*b(q) - 3*t(q). Does 16 divide r(m)?
True
Is 12 a factor of -26*(-2 - 6/(-4))?
False
Let b(p) = 9*p + 63. Does 66 divide b(15)?
True
Suppose -7*g - 79 = -660. Is 12 a factor of g?
False
Suppose -3*x = 2*h - 5*h + 177, 2*x + 172 = 3*h. Is h a multiple of 18?
True
Let f = 199 + -117. Suppose 0 = 5*d - 0*n + 4*n - 97, 0 = 5*d - n - f. Is d a multiple of 17?
True
Let b(k) = 39*k. Let j be (-2*(-2)/(-4))/(-1). Does 10 divide b(j)?
False
Suppose 4*m = -12, -v + 2*m + 10 + 1 = 0. Suppose 5*j + 3*f = -5, 5*j - v = -0*j - f. Suppose 3*b - 90 = -j*b. Is b a multiple of 9?
True
Is 12/(-10)*(-150)/20 even?
False
Let r = 1 + 4. Suppose 0 = -