 multiple of 8?
False
Let i be -1*(1 + -24) - 2. Suppose -4*b = -2*j + 1 - i, -b - 5*j = 17. Suppose -b*s = -6*s + 114. Does 14 divide s?
False
Suppose 5*m - 12 = 8. Suppose 0 = -m*g - 0*g - 24. Is (-75)/(-2) - g/4 a multiple of 11?
False
Let k(l) = -28*l**3 + l**2 - 1. Let i be k(-1). Let t(p) = p + 7. Let c be t(-6). Suppose 2*a + c = a - 4*n, -2*a + i = 2*n. Is 8 a factor of a?
False
Suppose -2*g + 4*i + 10 = -4*g, 3*g = -4*i - 9. Let y = g + 1. Suppose 3*u + u - 48 = -y*f, u = 5*f + 12. Is u a multiple of 12?
True
Suppose s + 15 = 3*t, t - 23 = -t + 5*s. Suppose -2*y - 89 = y + t*v, 2*v - 43 = y. Let q = 52 + y. Does 9 divide q?
False
Suppose 93 = 2*r - r + 2*n, 3*n + 234 = 3*r. Does 23 divide r?
False
Suppose -l - 1 - 22 = 0. Let k = -13 - l. Is k a multiple of 5?
True
Let h be (-2 - (-2 - -2)) + 4. Suppose 0 = s - 2*x - 13, h*s - x - 30 = -1. Is s a multiple of 9?
False
Suppose 0 = -4*a + 28 - 4. Let h be ((-119)/(-3))/((-2)/a). Is h/(-9) - (-4)/(-18) a multiple of 13?
True
Let x(p) = -p**3 + 6*p**2 - 4*p - 5. Let i = 1 + 3. Is 11 a factor of x(i)?
True
Let v be (-12)/(-15) - 2/(-10). Suppose d + v = 5. Suppose -n + 0*n = -d. Is n even?
True
Let p = 22 - 15. Suppose 0 = p*i - 2*i + 2*x - 91, -3*x = -9. Does 13 divide i?
False
Let p = -58 + 167. Suppose -2*n + n - 5*l - 51 = 0, p = -3*n - 4*l. Let b = 81 + n. Does 13 divide b?
False
Suppose 6*h - 3*h + 3 = p, -p - 2*h - 2 = 0. Let c(y) be the third derivative of y**6/120 - y**5/60 + y**4/24 + 7*y**3/2 - y**2. Is 21 a factor of c(p)?
True
Is ((-702)/91)/((-2)/14) a multiple of 6?
True
Let n(u) = 4*u - 5*u - 5*u**2 - u - u**3 - 5. Let z = -5 - 0. Is n(z) a multiple of 2?
False
Let q(u) = -1 + 3*u + 17*u**2 - 7*u**2 - 3*u. Is 8 a factor of q(2)?
False
Let b(a) = -a**3 - 4*a**2 - 7*a - 4. Let d be b(-4). Suppose 5*u - d = 301. Suppose 0 = -0*c + 5*c - u. Does 11 divide c?
False
Let h = -18 - -44. Does 13 divide h?
True
Suppose 2*g - 10 = 2*i, 3*g + 3*i = -2*g + 9. Suppose -2*j = 10, -2*w - g*w + 5*j + 255 = 0. Does 23 divide w?
True
Let y = -210 + 334. Suppose 5*r - 3*i - y = r, -2*r - i = -72. Is 17 a factor of r?
True
Let v(l) = -l**2 + 6*l - 1. Let x be v(6). Let t be (x - -1)*(-4)/4. Suppose -17 = -t*c - c. Is 13 a factor of c?
False
Suppose -5 = -5*g - 15. Is 25 a factor of -1 + (71 - g/2)?
False
Let c(w) = -246*w + 6. Is 42 a factor of c(-1)?
True
Let j(t) = 8*t**2 + 4*t - 2. Let x be j(-4). Suppose 11*v = 6*v + x. Does 3 divide v?
False
Suppose 3*f = 7*f - 12, 0 = 3*a - f - 195. Is a a multiple of 21?
False
Let y(v) = 2*v**2 + 6*v + 3. Let s be y(-4). Let h = 15 - s. Is h a multiple of 2?
True
Let z be (60/8)/5*2. Does 13 divide (0 - (-1)/z)*111?
False
Let i = -39 + 71. Does 8 divide i?
True
Let g be (-4)/(-14) + (-38)/(-14). Suppose -2*x - o = -42, -6*x + 2*x = g*o - 88. Is 7 a factor of x?
False
Let b = 10 + 1. Suppose -4*j + 79 - b = 0. Is 17 a factor of j?
True
Does 9 divide 3/(4/(-30) - 44/(-180))?
True
Suppose p + 0*p - 17 = 0. Is 14 a factor of p?
False
Let l(x) = -x**3 + 7*x**2 - 6*x. Let t be l(6). Suppose 5*f - 198 + 78 = t. Does 13 divide f?
False
Suppose 1 - 41 = -5*y. Is y even?
True
Let r be 379/(-13) + 4/26. Let t = -15 - r. Is 7 a factor of t?
True
Let i = 88 + -20. Is i a multiple of 17?
True
Let k(f) = -f**3 + 2*f**2 + 18*f. Let g(i) = -i**3 + 3*i**2 + 17*i - 1. Let j(a) = -6*g(a) + 5*k(a). Let c be j(9). Is 3 a factor of 61/7 + (-6)/c?
True
Suppose 159 = -0*n + 3*n. Let o = n + -34. Is 8 a factor of o?
False
Let k(c) = 4*c**2 + 40*c + 15. Is 32 a factor of k(-12)?
False
Suppose -2*c - 5 = -7*c. Let f be 4/(-8)*(c - 31). Suppose -26 = -q + f. Does 18 divide q?
False
Let h = -21 + 26. Is 2 a factor of h?
False
Let r = 92 + -41. Does 7 divide r?
False
Suppose -g + 4*g + 4*j = 21, 0 = -3*g - j + 30. Suppose -5*z + g = -19. Suppose 2*s - z*s = -104. Is 13 a factor of s?
True
Let f(p) = -2*p + 1. Let q be f(-2). Suppose y + z = 4*y - 64, -q*y = -2*z - 106. Does 8 divide y?
False
Suppose -9*k = -11*k + 8. Does 2 divide k?
True
Suppose 0*l - 52 = -4*l + 2*v, 0 = -l - 2*v + 3. Suppose -5*o - 1 = -l. Is 1*(0 + 1) + o a multiple of 2?
False
Let j(y) = y**3 + 3*y**2 - 3*y - 4. Let z be j(-3). Suppose -z*m = -206 + 1. Is 13 a factor of m?
False
Suppose 5*a - 635 - 580 = 0. Does 27 divide a?
True
Let h(p) = 5*p**3 + 2*p**2 + p. Let s be h(-1). Let v(l) = -l**2 - 5*l + 2. Is 3 a factor of v(s)?
True
Let h = -14 + 45. Let r = h + -17. Is r a multiple of 7?
True
Let k(m) be the third derivative of 2*m**5/15 + m**4/24 + m**3/6 + 3*m**2. Let a be k(-3). Let n = a + -38. Is 16 a factor of n?
True
Suppose -4*b + 24 = -4*i, 0 = 8*i - 5*i - 9. Let s(a) = a**3 - 10*a**2 + 13*a - 7. Is 14 a factor of s(b)?
False
Let a(y) = 4*y**2 - 7*y - 11. Let j = -9 + 5. Let c(s) = -5*s**2 + 6*s + 11. Let g(z) = j*a(z) - 3*c(z). Is g(9) a multiple of 20?
True
Let c(i) = -i**3 + 6*i**2 + i. Let v(r) = -2*r**3 + 12*r**2 + 2*r. Let d(p) = 5*c(p) - 2*v(p). Is 16 a factor of d(4)?
False
Let n(c) be the third derivative of c**6/120 + c**5/6 + c**4/4 + 3*c**3/2 - c**2. Is 12 a factor of n(-9)?
True
Suppose x + m - 9 = 0, 3*m = -2*x - 2*m + 24. Suppose 0 = v - x. Does 4 divide v?
False
Let t be 1 + -2 - (1 - 4). Suppose -4*b + p = -90, 2*b + t*p + 23 - 63 = 0. Is 16 a factor of b?
False
Let d(i) = i**2 - 8*i + 10. Let r be d(7). Suppose r*p - 2*p - 5 = 0. Does 3 divide p?
False
Suppose -11 = -4*p + 5. Suppose p = -3*u + 52. Is u a multiple of 11?
False
Let a(i) = i**3 + 4*i**2 + 5. Let z be a(-4). Suppose -301 = -z*n + 59. Does 19 divide n?
False
Suppose 0 = -0*n + 3*n + 5*s + 8, 2*n + 4 = -3*s. Suppose d = n*d - 78. Is 13 a factor of d?
True
Let j = -16 + 16. Let i = 91 + -43. Suppose j = 5*b + 8 - i. Is 4 a factor of b?
True
Suppose -q + 3*s + 120 = 33, 5*s = 2*q - 169. Is q a multiple of 12?
True
Does 16 divide (-730)/(-20) + (-1)/2?
False
Let m(u) be the first derivative of u**4/2 - 4*u**3/3 - u**2 + 4*u - 7. Is m(4) a multiple of 30?
True
Suppose -16*z = -13*z - 63. Is 3 a factor of z?
True
Let n be 16/6 - 4/6. Suppose w + 14 = 8*w. Suppose 4 = n*j - w. Is j a multiple of 3?
True
Let k be -2 + 7 + (0 - -3). Suppose -100 = -2*g - 2*c, k*c - 106 = -2*g + 3*c. Does 15 divide g?
False
Let w = -142 - -282. Does 14 divide w?
True
Let s(c) = -2*c - 3. Let n(g) = g**2 + 6*g - 2. Let m be n(-6). Let f be m*5 + 2 + 2. Does 9 divide s(f)?
True
Let m(h) = -3*h - 1. Let l be m(1). Let g(f) = 18*f - 1. Let j(t) = -16*t. Let s(o) = 5*g(o) + 6*j(o). Is s(l) a multiple of 8?
False
Let s(j) = -8*j - 9. Let q = 2 + -10. Is s(q) a multiple of 19?
False
Let c be ((-74)/(-3))/(2/33). Suppose -3*v + 4*p + 235 = -0*v, 5*v = -p + c. Let q = v + -40. Is 15 a factor of q?
False
Let l = 18 - 6. Suppose a = -4*o - 8, o - l - 1 = -4*a. Suppose i = -5*x + 16 - 4, 3*i + a*x = 80. Is 16 a factor of i?
True
Let w be 0*(3 + -1)/2. Suppose w = p + p - 60. Is 12 a factor of p?
False
Let v(m) = m + 6. Let l(z) = -1. Let j(t) = -3*l(t) - v(t). Is j(-8) a multiple of 2?
False
Let r be (0 + 0 + -8)*-8. Suppose -8*f + 4*f = -r. Is f a multiple of 15?
False
Suppose -2*s - s = -9. Suppose -3*z + s*c = -75, -4*c = 4*z - 86 + 18. Does 14 divide z?
False
Does 20 divide 4 - (3 + -4)*36?
True
Suppose -47 = 4*n + 45. Suppose 73 = 2*b - 29. Let f = n + b. Is f a multiple of 10?
False
Is 1146/54 + (-6)/27 a multiple of 7?
True
Does 4 divide (1 - -2)/((-6)/(-20))?
False
Does 17 divide 6/(-4) + 665/10?
False
Let g(q) = q**3 - 4*q**2 - 2*q. Let d be g(4). Let s = d + 11. Suppose 0 = -s*k + k + 50. Is k a multiple of 10?
False
Suppose -215 = -2*x + 2*k - 25, 3*k = -3. Let t = x - 62. Is 11 a factor of t?
False
Suppose 2*z - 22 = -0*z - 3*o, o - 64 = -4*z. Suppose -2*w + z = -w. Does 17 divide w?
True
Let r = -24 + 58. Let q = r - 14. Does 10 divide q?
True
Let o(u) = -9*u + 1. Suppose -4*r + z - 16 = 0, -3*r = -0*z + 5*z + 12. Let n be r/1 - (-4 - -2). Is o(n) a multiple of 8?
False
Let b = 66 + -4. Suppose -3*z = 0, -4*i = -0*i + 4*z. Suppose 4*p = 5*v - 0*v + b, i = p + 5*v - 28. Is 9 a factor of p?
True
Let a(z) = z**3 - 13*z**2 + 26*z - 5. Is a(11) a multiple of 13?
True
Suppose 0 = 7*o - 512 + 141. Is 13 a factor of o?
False
Let y = -95 - -183. Is y a multiple of 30?
False
Let p(h) = -22*h + 1. Let w(r) = 65*r - 3. Let v(t) = 17*p(t) + 6*w(t). Is 11 a f