/72 - s**5/60 - s**4/8 + s**3/6 - 4*s. Let d(g) be the second derivative of b(g). Is d(-5) a multiple of 3?
False
Let s be 2/5 - (-4)/(-10). Suppose 4*a - 27 - 145 = s. Does 15 divide a?
False
Suppose 3*d + 36 = 2*x + x, d - 15 = -2*x. Suppose 5*t = -5*s - 35, -4*t - 3*s - x = -7*t. Does 3 divide 1 + (3 - t) + 0?
True
Let y(c) = c**3 + 10*c**2 + 6*c + 18. Is y(-7) a multiple of 11?
False
Is 13 a factor of (1/(-1))/(2/(-4))*13?
True
Is 1*7*288/28 a multiple of 8?
True
Let v(q) be the second derivative of q**4/12 + 3*q**2 - 3*q. Is 11 a factor of v(-4)?
True
Is 66 a factor of 6/12*722 + 5?
False
Suppose 10*k - 5 = 5*k. Let p be 6*k/4*-2. Is (18/(-4))/(p/28) a multiple of 14?
True
Suppose -3*r - 2*r = 0. Suppose -2*x - 2*x = r. Suppose x = 2*y, 0 = -3*u + 3*y + y + 48. Is 8 a factor of u?
True
Let k be (-2 - -45)/(-1)*-1. Suppose -3*b + k = -2*b. Does 17 divide b?
False
Suppose -3*u - 2*p = -14, -5*u = -7*u + 4*p + 4. Suppose 0 = 2*c + u. Is 4 a factor of 4*(-2)/4*c?
True
Suppose -84 = 11*s - 8*s. Is 3 a factor of (-30)/(-12)*s/(-10)?
False
Let g = -9 + 16. Let z = g + -39. Let m = 47 + z. Does 15 divide m?
True
Let q(x) = 12*x + 224. Is q(0) a multiple of 32?
True
Suppose 0*n - 5*n + 10 = 0. Is 7 a factor of 20 - (n - -1) - 3?
True
Suppose -4*s + 4 = -3*s. Suppose 152 = 4*n - 4*t, -s*n + 70 = -2*n + 4*t. Is n a multiple of 12?
False
Suppose -5*u + 347 - 17 = 0. Is u a multiple of 41?
False
Let x = -138 + 198. Is x a multiple of 12?
True
Let q(n) = -n**2 + 11*n - 3. Suppose -3*t + 18 = -0. Is q(t) a multiple of 12?
False
Suppose 4*w = -c + 41, -5*c + 3*c + 17 = -5*w. Does 5 divide c?
False
Let p be 12/(-42) - (-38)/(-14). Let t = 0 - p. Is t even?
False
Let s = 8 - -37. Is s a multiple of 15?
True
Let j = 16 - 7. Is 7 a factor of j?
False
Is 3 a factor of 440/30 - (-3)/9?
True
Let z be 222/42 + (-2)/7. Is (21/(-6))/(z/(-90)) a multiple of 21?
True
Let q(v) = -2*v - 17. Suppose -48 = 5*d - 2*d. Is q(d) a multiple of 5?
True
Suppose a - 2 = -3. Let h be (1 + -1)/(a - 0). Suppose -2*k + 78 - 30 = h. Is k a multiple of 9?
False
Suppose -2*m - 3*m = -3*n + 1, -2*m - 5*n = 19. Let b be (3/m)/((-12)/(-16)). Does 17 divide 2/b*-3*15?
False
Let x(h) = 3*h**2 - 6*h + 3. Is 19 a factor of x(6)?
False
Let h be (3/4)/(1/(-4)). Let l(p) = 4*p**2 + 4*p + 15. Let d(y) = -7*y**2 - 7*y - 31. Let u(o) = h*d(o) - 5*l(o). Is 9 a factor of u(0)?
True
Let r(k) = -103*k**3 + 8*k**2 - 8*k. Let d(h) = -34*h**3 + 3*h**2 - 3*h. Let c(z) = 11*d(z) - 4*r(z). Is c(1) a multiple of 19?
True
Let x(u) = -u**2 + 6*u - 4. Let n be x(4). Suppose n*r - 8 - 40 = 0. Is r a multiple of 4?
True
Let z = -2 - -28. Is z a multiple of 10?
False
Let n be (-110)/8 - 2/8. Let i be 4/n - (-173)/(-7). Let y = -12 - i. Is y a multiple of 5?
False
Suppose -2*s + 260 - 92 = 0. Is 21 a factor of s?
True
Let t(v) = -3*v - 2*v - 8*v**2 - 10 + 4*v - v**3. Let f be t(-7). Is 9 a factor of (2 + 1)/((-6)/f)?
False
Let l = -53 + 124. Let f(w) = -6*w**2 - 3*w - 3. Let d be f(-3). Let s = d + l. Is 10 a factor of s?
False
Let l = -34 - 34. Let t = -47 - l. Suppose -8*y = -7*y - t. Does 10 divide y?
False
Is 38 a factor of 4/(8/118*4/8)?
False
Let h = 54 - 5. Does 2 divide h?
False
Let g(j) = 50*j**2 + 1. Is 17 a factor of g(1)?
True
Let u = 48 + -1. Is u a multiple of 8?
False
Let s(u) = -u + 0*u + 2*u - 3 + 0*u. Let m be s(5). Suppose 19 = m*c - 17. Is 18 a factor of c?
True
Let y(x) = -12*x - 9. Is 17 a factor of y(-10)?
False
Let w = 6 - 2. Suppose -2*b = w*x - 30 - 92, 2*x = 5*b - 269. Suppose -c = -3*c + 4*m + 40, 2*c + m = b. Is 13 a factor of c?
True
Let p be 2/(-7) + (-48)/(-21). Suppose -3*u + 71 = -5*y - 134, -p*u + 4*y = -140. Is 16 a factor of u?
False
Suppose 0 = -3*i + 9, 0 = -4*g - 2*i + i - 465. Let n = 65 + -142. Let b = n - g. Is b a multiple of 20?
True
Let s = -60 + 120. Let b = s - 6. Is 14 a factor of b?
False
Suppose 2*b + 2*j = 22, -j + 77 = 5*b + 10. Does 14 divide b?
True
Let w be (-3)/2*40/(-5). Suppose 0 = 3*o - 4*o + w. Is 10 a factor of o?
False
Let z(h) = -9*h**3 - 3*h**2 - h - 2. Does 20 divide z(-2)?
True
Let v(c) = c**2 + 3*c - 3. Let a be v(-4). Suppose z = 5*j - 5, -j - 4 = -z - a. Suppose 6 = -j*l + 3*l. Does 5 divide l?
False
Suppose -5*t + 8*t - 228 = 0. Is t a multiple of 12?
False
Let p = -4 + 8. Is 2 a factor of p/3 + 8/12?
True
Suppose -4*w + 14 + 67 = h, 4*w = -5*h + 341. Is h a multiple of 13?
True
Let p be 240/56 + 2/(-7). Suppose p*n = 5*n - 13. Does 13 divide n?
True
Let q = -77 + 170. Is 22 a factor of q?
False
Let l(y) = y**3 + y**2 + y - 1. Let f(q) = 4*q**3 + 3*q**2 + 4*q - 27. Let x(k) = -f(k) + 3*l(k). Is 12 a factor of x(0)?
True
Let o = -2 + 3. Let g(l) = 24*l**3 + 2*l - 1. Let u be g(o). Suppose -65 - u = -5*q. Is q a multiple of 9?
True
Is (-2862)/(-14) - 24/(-42) a multiple of 15?
False
Suppose p = -3*p + 244. Suppose -2*v = -3*z + p, 0 = v - 0 - 1. Does 7 divide z?
True
Suppose 0*q = 5*q - 10. Is ((-2)/(-1))/(q/20) a multiple of 10?
True
Let o(q) = -q**2 + 4. Let g be o(0). Suppose g*b = 2*b + 52. Is b a multiple of 7?
False
Is (4/8)/(3/570) a multiple of 10?
False
Let w = -15 - -7. Let r be ((-44)/w)/((-1)/(-6)). Is ((-6)/9)/((-2)/r) a multiple of 8?
False
Suppose 3*b + 13 = 10. Is (-3 + 1 - b) + 8 a multiple of 4?
False
Let o(l) = 11*l**3 + 3*l**2 - 3*l. Let i(u) = 12*u**3 + 4*u**2 - 4*u. Let r be ((-18)/(-10))/3*5. Let a(d) = r*o(d) - 2*i(d). Does 9 divide a(1)?
True
Suppose -n - 50 = -3*n. Is 6 a factor of n?
False
Suppose a = 4 - 23. Let u = a + 34. Suppose -b + 4*b = u. Is 2 a factor of b?
False
Suppose 0 = 3*c - 11 - 4. Suppose n + 3*n = -m + 16, c*n + 3*m - 27 = 0. Is 3 a factor of n?
True
Suppose -o - o + 8 = m, 0 = 4*m + 16. Let r(u) be the first derivative of u**4/4 - 7*u**3/3 + 5*u**2 - 8*u - 2. Is r(o) a multiple of 13?
False
Let m(b) be the third derivative of b**6/720 + 7*b**5/60 + b**4/24 + 3*b**2. Let q(d) be the second derivative of m(d). Is q(0) a multiple of 4?
False
Let h = 49 + 189. Does 24 divide h?
False
Suppose -4*s - 13 + 33 = 0. Suppose -s*g = -8*g + 69. Is g a multiple of 23?
True
Suppose -2*g = -112 + 18. Is g a multiple of 21?
False
Let o(l) be the second derivative of 8*l**2 + 1/6*l**3 - 1/12*l**4 + l + 0. Does 14 divide o(0)?
False
Let x(h) be the third derivative of -10*h**4/3 - h**3/6 + 9*h**2. Is 15 a factor of x(-1)?
False
Let k be (-12)/20 + (-4)/10. Let z be ((-4)/k)/2 - 6. Let g = z - -11. Is 5 a factor of g?
False
Let g = -9 - -29. Is 3 a factor of g?
False
Suppose -3*d - 24 = -0*d. Let w(h) = -h - 6. Let x be w(d). Does 15 divide (-75)/(-2) + x/(-4)?
False
Let p be 105/(-18) - (-1)/(-6). Does 11 divide (45/p)/((-2)/4)?
False
Suppose -3*l + 17 = 2. Let a be (l/2 - 3)*2. Is ((-2)/(-3))/(a/(-24)) a multiple of 16?
True
Let k be (-27)/4 - 3/12. Let z = 10 + k. Suppose o - 5*u = 5*o - 36, -2*u + 34 = z*o. Does 14 divide o?
True
Let c(a) = -a - 4*a**2 + 4*a**3 + 1 - 3*a**3 - 4. Let p be c(-3). Let o = p + 89. Is o a multiple of 13?
True
Let u be (-172)/36 + (-2)/9. Let b = u - -8. Let p = b + 14. Is 17 a factor of p?
True
Suppose 3*y - 84 = 2*y. Does 13 divide y?
False
Suppose 0 = 2*k - 3*g - 29, -g - 56 = -5*k - 16. Suppose 0*c - c = -k. Is c a multiple of 3?
False
Suppose x - 3 = 2. Suppose -5*f = -x*q - 25, -2*q - 5 = -3*f + 11. Does 3 divide f?
True
Let m(j) = -6*j**3 - 3*j**2 + 7*j + 3. Does 39 divide m(-3)?
True
Let k = -1 - -3. Does 6 divide k*1*11/2?
False
Let s(b) = b**2 - 5. Let m be (1 + -16)/3 + 1. Is s(m) a multiple of 10?
False
Suppose -x = x - 2*c - 174, 20 = -4*c. Suppose 3*i - x - 65 = 3*g, 3*g + 94 = 2*i. Is 15 a factor of i?
False
Suppose 172 = 2*k + 36. Is k a multiple of 17?
True
Suppose -3*d - 190 = 11. Let o = 101 + d. Does 16 divide o?
False
Suppose 2*j + 6 = 5*j. Suppose 7*p = 3*m + 3*p - 115, 80 = j*m - 2*p. Does 16 divide m?
False
Suppose -3*c = -3*s - 9 + 21, 5*s - 2*c - 20 = 0. Suppose s*p + 0*p - 160 = 0. Does 15 divide p?
False
Let n(q) = -1. Let z(h) = 3*h. Let p(o) = 5*n(o) + z(o). Does 10 divide p(5)?
True
Suppose -2*c = -3*m, 0*m + 2*c = -4*m + 14. Suppose -4*x + 22 = 2*t, -5*t + m*t = -2*x - 9. Is x/12 - 94/(-8) a multiple of 6?
True
Let d = 15 - -209. Is d a multiple of 32?
True
Let u be (-4)/10 + 204/10. Suppose 2*q - 3*q + 99 = 4*c, 4*q + u = 0. Is c a multiple of 13?
True