s - 5. Let r be (2 + 3/(-1))*2. Let i(d) = r*b(d) + g(d). Is 7 a factor of i(4)?
True
Let d(k) = 31*k**3 + 1. Suppose -5*q + 2*q + 2*g = -3, 5*g = 0. Does 9 divide d(q)?
False
Let g = 54 + -6. Does 24 divide g?
True
Does 26 divide 248/(-12)*(-3 - 0)?
False
Suppose 4*w - 12 = -4*b, -w + 1 = 4*b - 2. Suppose w*a = -a. Suppose a*k = -5*k + 140. Is 14 a factor of k?
True
Let s(m) = -m - 7. Let i(h) = 4. Let a(d) = -5*i(d) - 3*s(d). Let o be ((-3)/2)/((-2)/4). Is 10 a factor of a(o)?
True
Suppose 3*x = 4*x - 25. Suppose 8*k - x = 3*k. Does 3 divide k?
False
Suppose -29 = -4*u + 11. Let w = 23 - u. Does 13 divide w?
True
Let r(k) = k**3 - 13*k**2 + 14*k - 12. Suppose 4*u - 58 + 10 = 0. Does 11 divide r(u)?
False
Suppose 0 = 18*a - 13*a - 80. Is 14 a factor of a?
False
Let s = 22 - 7. Let a = -33 + 56. Suppose -b + a = -s. Is b a multiple of 17?
False
Let p(r) = -23*r - 19. Is p(-4) a multiple of 9?
False
Let y be (1 + 1)/(6/15). Let p = y + 39. Is 17 a factor of p?
False
Suppose 0 = 2*j + j - 6. Suppose 0 = j*f + 3*f - 70. Is f a multiple of 14?
True
Let d be ((-18)/(-24))/((-2)/(-8)). Let r(m) = -m**2 + d*m + m**3 + 4 - 5 + 0. Is r(3) a multiple of 13?
True
Let s be 13 + -5 + 2 + 3. Suppose -2*w - 3*w + s = -4*o, w = 4*o - 7. Is w a multiple of 5?
True
Is 2 a factor of (1 - 2) + 12 + 3?
True
Suppose 0 = 3*s + 7*c - 3*c - 20, 0 = -s + 3*c - 2. Suppose -z + s = -0*z. Is 4 a factor of z?
True
Let t(f) be the second derivative of -f**7/840 - f**6/180 - f**5/60 + f**3/6 + 3*f. Let v(n) be the second derivative of t(n). Is 15 a factor of v(-4)?
False
Suppose 17 = 3*m - 3*l + l, 0 = -4*m + l + 16. Let v = m - 0. Suppose v*h = 38 + 34. Is 12 a factor of h?
True
Let h = 8 - 6. Suppose 155 = 5*v - 5*w, -v + w = -h*w - 29. Does 8 divide v?
True
Let y be -3*(-4)/(-6) + 7. Suppose -y*p - 40 = -p. Let o = 6 - p. Is 8 a factor of o?
True
Suppose 3*y = -3*q - 6, 2*y + 0*y - 4*q = 2. Is 41 + y + 0 + 3 a multiple of 14?
False
Suppose -5*p = 3*g - 519, -2*p - 2*g = -168 - 42. Is p a multiple of 17?
True
Let w = -8 + 26. Suppose -l - 4*j - w = -60, 0 = 5*l + j - 134. Suppose 4*v = 3*h - 58 - 10, -h + l = -3*v. Does 10 divide h?
True
Let s = -19 - -22. Let u(y) = -y**3 + y**2 - y + 1. Let l(f) = f**3 - 3*f**2 - f + 3. Let x(g) = l(g) - u(g). Does 10 divide x(s)?
True
Suppose 3*q + 71 = 2*c - 91, -c + 78 = -3*q. Is 14 a factor of c?
True
Let z be 8 + (-3 - (1 + -1)). Let t = 19 - z. Does 14 divide t?
True
Let i be ((-1)/2)/(2/(-5456)). Is ((-1)/4)/((-11)/i) a multiple of 10?
False
Is 10/((-4)/(-96)*3) a multiple of 20?
True
Is 4 a factor of (4/3)/((-2)/(-18))?
True
Let p(z) = 10*z + 34. Is 6 a factor of p(13)?
False
Suppose d = -1 + 2, 2*n + 100 = 4*d. Let u(q) = q**3 + 12*q**2 + 12*q - 10. Let y be u(-10). Let l = y + n. Is 11 a factor of l?
True
Let v(c) = -c + 1. Let h be v(-3). Let i(t) = 97*t**3 + t**2 - 1. Let f be i(1). Suppose -4*n - f = -5*l - 7*n, h*l = n + 81. Is l a multiple of 13?
False
Let g = 3 - 1. Suppose -g*a = -0*a + 3*v - 78, -3*a = v - 124. Is a a multiple of 14?
True
Let z(l) = l - 6. Let c be z(8). Suppose 4*q - 33 = -b, -4*q - q = c*b - 54. Does 13 divide b?
False
Suppose 0 = 3*l - 0 - 6. Suppose -10 - 4 = -l*r. Suppose -3*x + r = -17. Is 4 a factor of x?
True
Let b(v) = -v**3 - 3*v**2 + 7*v + 6. Let l be b(-4). Let i be 270/4 - 3/l. Does 17 divide (-3)/(-2)*i/3?
True
Let v be 1/1 + 44 - 1. Suppose -5*f + v = 14. Is f even?
True
Suppose -w + 14 = -z + 4*w, -4*w = -2*z - 4. Is 3 a factor of z?
True
Let w be 80/14 + (-4)/(-14). Let b(t) be the third derivative of -t**4/24 + 3*t**3/2 + 2*t**2. Is 3 a factor of b(w)?
True
Let l(y) = -y**3 - 15*y**2 - 13*y + 25. Is l(-14) a multiple of 4?
False
Suppose -353 = -2*d - 113. Is d a multiple of 30?
True
Let x(k) = 6*k**2 + 7*k - 7. Does 17 divide x(3)?
True
Let i = -22 - 2. Let d be 1*(0 - i - 1). Let n = 40 - d. Is n a multiple of 13?
False
Let s be 19/((-9)/(-6) - 1). Suppose -71 = -5*o + 2*c, 3*c - 3 + s = 2*o. Let d = o + -5. Is 4 a factor of d?
True
Let q(p) = -3*p - 17. Let l(d) = 5*d + 25. Let s(a) = -5*l(a) - 7*q(a). Is s(-7) a multiple of 11?
True
Let j(n) be the first derivative of -n**3/3 + 9*n**2/2 - 10*n + 2. Is 2 a factor of j(7)?
True
Let b be 32/2 - (3 + -1). Let d = -29 - -27. Let z = b + d. Is z a multiple of 12?
True
Let g be (9/(-4) + 3)*28. Let s = g - -24. Is 15 a factor of s?
True
Let d(w) = -w**2 - 11*w - 11. Is d(-7) a multiple of 4?
False
Suppose -72 = 3*q - 18. Let p = q - -6. Does 8 divide ((-16)/3)/(4/p)?
True
Let v(u) = -u**3 - 7*u**2 - u - 4. Let j be v(-7). Let a be -5*j/6*-2. Suppose -d + 20 = 4*b - 9*b, 4*d - 80 = -a*b. Is d a multiple of 7?
False
Suppose 2*w - 3*w + 2 = -4*t, -2*w + 5*t = -4. Suppose -w*z = z - 120. Does 10 divide z?
True
Let t = 43 - 31. Does 6 divide t?
True
Let o be (-2)/(-4) + 422/(-4). Let d be 42/(-5)*o/14. Suppose -3*x + d = -39. Does 17 divide x?
True
Suppose -2*w + 10 = 0, 184 = 4*o + 5*w - 41. Let v = 1 + 82. Let c = v - o. Does 12 divide c?
False
Let n be (1/2)/((-1)/4). Is 27 a factor of n/(-9) + 932/18?
False
Let s be (-4)/6*(-6)/4. Let n(h) = 2*h + 18. Let k be n(0). Is 4 a factor of s/(-2 + k/8)?
True
Let k(p) = 13*p + 2. Is 32 a factor of k(8)?
False
Let f(s) = -s + 16. Is 4 a factor of f(12)?
True
Suppose -8*j + 29 + 235 = 0. Does 11 divide j?
True
Suppose -2*x = -0*x - 10. Is x a multiple of 5?
True
Suppose 3*h = h. Let q(i) = i**3 + 5. Is q(h) a multiple of 3?
False
Suppose -1 = 2*p + 21. Let l(x) = x**2 + 11*x + 10. Let z be l(p). Let n = z + 16. Is n a multiple of 8?
False
Suppose 2*k + 3*k = 0, -5*n = -k - 15. Suppose 0 = n*y - 2*x - 20, 16 = 3*y + 2*y + x. Suppose 0 = -4*o + 2*o + y*f + 40, 0 = 2*o - 5*f - 41. Does 9 divide o?
True
Let u = -18 - -23. Let c(j) = -2 - 1 + j + 4. Is c(u) a multiple of 2?
True
Let n = 3 - 11. Let x = n + 12. Is x a multiple of 3?
False
Suppose -2*k - 6 = -5*k. Suppose 0 = -k*w + 7*w + 185. Let a = w - -74. Is a a multiple of 18?
False
Suppose 4*g = 16 + 12. Does 7 divide g?
True
Suppose 2*w - 2*d + 6 = 0, -d = 4*w + w - 9. Is 20 + (0/w - -1) a multiple of 11?
False
Suppose 5*b - 44 = 4*b. Does 9 divide b?
False
Suppose 0 = x + 4*s - 39, -2*x + 4*s + 99 = 3*x. Does 2 divide x?
False
Suppose 6 = 5*a - 9. Suppose 0 = -a*l + 2*l - 2. Does 10 divide l + 7/(21/36)?
True
Suppose 0*j + 4*j + 24 = 0. Is (-9)/j + 15/2 a multiple of 9?
True
Does 8 divide 322/6 - (-2 + (-30)/(-18))?
False
Let r(u) = -4*u**2 + 14*u + 12. Let t(l) = l**2. Let n(d) = -r(d) - 5*t(d). Is 14 a factor of n(-10)?
True
Suppose 2*w + 149 - 421 = -2*x, -4*w = 0. Is x a multiple of 17?
True
Let l(h) = h + 5 - 3 + 3*h. Let p be l(2). Does 16 divide 316/10 - (-4)/p?
True
Let h(g) = 4*g + 1. Let s be h(1). Suppose -3*p + 95 = 4*a, s*p - 108 = p + 4*a. Let z = p + -19. Does 10 divide z?
True
Let u = -11 + 15. Suppose 10 = p + 4*p. Suppose p*s - 3*g - 57 = -0*g, u*s - 139 = g. Does 16 divide s?
False
Suppose -g - 2*n = -80, 0*n - 280 = -3*g + 2*n. Is g a multiple of 5?
True
Let x(a) = -13*a - 3. Let f = 9 - 13. Is 17 a factor of x(f)?
False
Let g(f) = -f - 5. Let z be g(-8). Let k(c) = -1 + 0*c + 11*c + z. Is 13 a factor of k(2)?
False
Let u(x) be the second derivative of -5*x**3/6 - 3*x**2/2 + 8*x. Is 22 a factor of u(-5)?
True
Suppose 5*c - 38 = 3*c. Suppose 0 = 5*p + 4*g - 94, g - 2*g = p - c. Does 15 divide 0 + p + (-3)/(-1)?
False
Let i be (-2)/9 - 4/(-18). Suppose 3*u + 4*j - 69 = i, 0*u - 2*j - 92 = -4*u. Does 14 divide u?
False
Does 18 divide 45/2*64/20?
True
Is 15/20 - (-10)/8 a multiple of 2?
True
Let a(k) = -3*k**3 + 2*k**2 - k + 1. Is 15 a factor of a(-3)?
False
Let a be 11 + -2 + 0 + 4. Let z = 1 + -4. Let d = z + a. Does 5 divide d?
True
Let i = -9 + 11. Does 10 divide i + (-37)/(-1) - 3?
False
Suppose 3*z - 56 = 25. Is z a multiple of 9?
True
Let l = 35 - 15. Is 20 a factor of l?
True
Suppose 5*a + 3*u - 99 = 144, 3*u = a - 45. Does 16 divide a?
True
Let r be 6/(-2)*25/(-3). Let c = r - 10. Is c a multiple of 15?
True
Let k = -30 - -82. Does 17 divide k?
False
Let f(t) = -648*t**2 - 135*t. Let i(s) = 19*s**2 + 4*s. Let v(x) = -4*f(x) - 135*i(x). Let n(l) = -l**2 - 3*l - 3. Let m be n(-2). Is v(m) a multiple of 8?
False
Let o = 232 + -157. Does 3 divide o?
True
Let d(i) = -92*i - 3. Let b be d(-5). Suppose 0 = 3*s + 791 + b. Is 1