 of 24?
True
Suppose -s - 2*s = -9. Let x be (-6)/18 - (-58)/s. Suppose 1 - x = -3*h. Is 2 a factor of h?
True
Suppose 2*a - 62 = 5*d, 57 = -5*d - 0*a - 3*a. Let s = d + 17. Does 3 divide s?
False
Let o(z) = z**2 - 4. Let a be o(-3). Suppose 0 = -a*r + 26 - 86. Is (-136)/(-10) - r/30 a multiple of 5?
False
Let v(a) = a**2 - 4*a - 8. Is 2 a factor of v(6)?
True
Suppose 0 = 4*i - 68 - 12. Is 3 a factor of i?
False
Suppose -3*z - 25 = 2*z. Let l be z*(-1 - 0) + 2. Let r = 1 + l. Is r a multiple of 8?
True
Let w = 1 - -1. Suppose -2*i + 3*q = -61, i - q = -w*i + 88. Is 15 a factor of i?
False
Suppose -3*a + 2*w = -22, 3*a - 28 = 4*w - 8. Is 4 a factor of 15/(-20) + 62/a?
False
Suppose -r - 4*g = -3*g - 3, -2*r - 4*g = 0. Suppose 0*n + r = -n + s, 0 = -2*n + 5*s - 24. Let q = 13 + n. Is 10 a factor of q?
False
Suppose 357 = 3*t - 4*g, 2*t - 3*t + 121 = -2*g. Is 23 a factor of t?
True
Let b(z) be the first derivative of 4*z - 7/2*z**2 + 2. Is b(-5) a multiple of 13?
True
Let k(p) = p**2 + 4*p - 6. Let i be k(-7). Let a = i + 2. Does 11 divide a?
False
Suppose 0*y + 5 = y. Let u(o) = -o**3 + 5*o**2 + 4*o - 6. Let z be u(y). Let i = -4 + z. Does 5 divide i?
True
Suppose 5 = p + 1. Suppose 0*d = p*d - 116. Suppose -5*n - 249 = -5*z - d, 188 = 4*z - n. Is z a multiple of 16?
True
Suppose -2*z + 2*o + 4 = 0, -5*o + 6 = -4. Suppose 74 = 3*b + 4*x, z*x = -2*b + 4*b - 16. Does 12 divide b?
False
Is 10 a factor of ((-457)/(-5) - -1) + (-15)/(-25)?
False
Let z be 0 + (1 - (-2 - 1)). Let w(b) = -b**3 + 4*b**2. Let i be w(z). Does 4 divide 4 - (i + 3/(-3))?
False
Let n = 10 + -8. Let o(a) = 4 + n + 3*a + a**2 - 2*a**2 + 11*a. Does 23 divide o(10)?
True
Let v = 55 + -43. Does 3 divide v?
True
Suppose -2*o + 14 = -o. Suppose -4*f - 2*q = -160, -52 = 5*f - q - 252. Let v = f - o. Is 8 a factor of v?
False
Suppose 3*h + 10 = -5*f, 2*f - h = -2*f - 8. Let a be f/(-6) + 32/(-6). Let w = 8 + a. Is w a multiple of 2?
False
Suppose 111 = m + 3*m + 3*p, m - 18 = -4*p. Is 15 a factor of m?
True
Let s = -3 - 10. Suppose 5*n - 21 = 6*n + 5*h, 31 = -n + 5*h. Let l = s - n. Is l a multiple of 13?
True
Let m(u) = -u - 11. Let i be m(-11). Let d = i + 8. Is d a multiple of 3?
False
Let z(y) be the third derivative of y**5/30 - 5*y**4/24 + 2*y**3/3 - y**2. Let b be z(3). Suppose 2*l = -2*c + 30, l - 18 - b = c. Does 10 divide l?
True
Suppose f + 8 = -r + 3, -5*f + r = 1. Does 5 divide (4 + -3)/(f/(-16))?
False
Suppose 9*u + 33 = 6*u. Let o = 9 + u. Does 8 divide 270/35 + o/(-7)?
True
Suppose 2*j + 0*t - 125 = -5*t, 62 = j + 2*t. Is j a multiple of 19?
False
Let a(p) = p**3 + 11*p**2 - 11*p + 16. Let c(f) = -f**3 + 5*f**2 + 3*f + 6. Let y be c(6). Let w be a(y). Is 7 a factor of 2/w - (-135)/10?
True
Let z be (1 - 1)/(5 + -4). Suppose 0*g - 4*g = z. Suppose -i + 16 + 14 = g. Is 15 a factor of i?
True
Let y be (-2 + 12 + -1)/(-1). Let d = 17 + y. Is d a multiple of 4?
True
Let w be (-4)/(-1 - 3 - -3). Suppose 2*k + 2*k + 3*a - 52 = 0, -w*k - a + 44 = 0. Let j = k - -14. Is j a multiple of 12?
True
Let t = -146 - -450. Suppose 12 + t = -2*d. Is d/(-10) - (-3)/15 a multiple of 8?
True
Let p = 2 - 0. Suppose -4*b - 10 = p*z, 4*b + 11 = -z - 0*z. Is (b/2 + 2)*22 a multiple of 11?
True
Let l(t) = 3*t - 7. Let j(y) be the second derivative of -y**5/20 - 5*y**4/12 + y**3 + 7*y**2/2 - 3*y. Let r be j(-6). Is l(r) a multiple of 5?
False
Suppose 2*z + 1 = 2*v - 1, -z - 1 = -4*v. Suppose -5*n - 2 + 7 = 0, v = o + n - 44. Is o a multiple of 19?
False
Let i(n) = -n + 5. Let b be i(6). Let u = 3 + b. Is u even?
True
Suppose 0 = k - 5*x - 20, -53 - 7 = -5*k + 5*x. Does 5 divide k?
True
Suppose 9*s - 4*s = -15. Let q(l) be the first derivative of -7*l**2/2 + 1. Is 7 a factor of q(s)?
True
Let g be (4/8)/((-2)/412). Let y = 247 + -88. Let r = y + g. Is 15 a factor of r?
False
Suppose 5*d + 0*p = -2*p - 23, -5*p = -5. Let q = d + 7. Does 11 divide q/(-2) - 1*-15?
False
Let z(p) = -4*p**2 - p**2 + 10*p + 4 + 4*p**2. Does 15 divide z(5)?
False
Let f be -8 - (2 - (-2 - -2)). Let x = -4 - f. Is x*4/(16/6) a multiple of 4?
False
Suppose -3*m - 4*m + 336 = 0. Does 16 divide m?
True
Let f(t) = -t**3 + 7*t**2 - 4*t + 3. Is 15 a factor of f(6)?
True
Suppose -2*m + 55 = 3*m. Does 3 divide m?
False
Let y(b) be the third derivative of -b**6/360 - 3*b**5/40 + 7*b**4/24 - b**3/6 + 2*b**2. Let k(j) be the first derivative of y(j). Is k(-5) a multiple of 10?
False
Let l = 4 + 26. Does 16 divide l?
False
Let d(k) = -3*k**3 - 2 - 3 + 2*k + 6. Let r be d(-1). Suppose -r*n + 5*n - 108 = 0. Is n a multiple of 17?
False
Let x = 30 - -14. Does 11 divide x?
True
Let r(j) = 11*j**2 - 4*j - 4. Is r(-2) a multiple of 21?
False
Let o(q) be the third derivative of q**4/4 - q**3/6 - q**2. Let v be o(1). Suppose v*s + 3*i = 66, 0*i = 4*s - 4*i - 72. Is 15 a factor of s?
True
Suppose 0 = 3*n + 2*s - 8, -5*n - 2*s + 2 + 14 = 0. Suppose -48 = -n*i - 16. Does 8 divide i?
True
Is 3*-3*(-2 - 1 - -2) a multiple of 9?
True
Let t = 4 + -1. Suppose 2*p = -3*c + 12, 3*c - 18 = -t*p + 5*c. Suppose -b + p*b = 210. Does 17 divide b?
False
Let w be 90/1 - 0/1. Suppose 7*q - w = 5*q. Does 15 divide q?
True
Let l be (1/2)/((-10)/20). Is 29 a factor of 28 + (0 - l/1)?
True
Suppose -4*m + 24 = 3*i, -m + 4*m = 0. Let h(r) = -5*r - 8 + 2*r**2 - r**3 - 2*r - i*r**2. Is h(-6) a multiple of 23?
False
Let l = 72 + -50. Let c = l + -9. Does 7 divide c?
False
Let y = -27 - -51. Is y a multiple of 8?
True
Let m(y) = 3*y + 1. Let q be m(1). Suppose 5*a = q*a + 2. Is -1*(1 + a) + 16 a multiple of 4?
False
Let o(j) = 75*j + 7. Let w(c) = -37*c - 3. Let v(h) = -2*o(h) - 5*w(h). Is v(1) a multiple of 12?
True
Suppose 0 = -2*p + 3*p - 39. Is p a multiple of 10?
False
Suppose k + 5 = 3*v, -5*k + 3*k - 10 = 2*v. Suppose 3*g - 5*n - 178 = v, -10 = 2*n - 0*n. Does 13 divide g?
False
Let x(b) = -2*b + 0*b**2 + 2*b**2 + 2*b**2 + 2 + b**2. Is x(2) a multiple of 10?
False
Let f be 0 - (2 - (-2 + 6)). Suppose -4*k - f = 2*a, -5*a = -3*k - 2*k - 70. Let o = a - 4. Does 4 divide o?
False
Is 25 - 0/(8/(-2) + 3) a multiple of 20?
False
Suppose 3*m + 4*p - 24 = 7*m, 5*p = 2*m + 9. Let f = m - -15. Does 4 divide f?
True
Let x = 13 - 5. Is x a multiple of 2?
True
Suppose -5 = w - 2*w. Let i = w + -3. Is 2 a factor of i?
True
Let n(b) = b - 37. Let u be n(0). Let j = u - -2. Let f = -16 - j. Does 5 divide f?
False
Suppose -2*i + 2*w = -34, 5*i - 53 = -5*w - 8. Suppose -11 = -4*y + i. Is 2 a factor of y?
True
Let p(w) = 64*w**3 - w**2 + w. Let j = -5 + 6. Is p(j) a multiple of 18?
False
Let l = 18 - 36. Suppose 1 = m, 0 = 2*q - 3*m - 12 + 73. Let h = l - q. Is 4 a factor of h?
False
Let r = -3 + 17. Does 14 divide r?
True
Let n = 31 - 0. Is n a multiple of 5?
False
Let m(c) = c**2 - 5*c + 40. Is m(0) a multiple of 6?
False
Let f(k) = k**2 - 1. Let t be f(-2). Is t + (0 + 1 - -2) a multiple of 3?
True
Suppose 0 = 3*u - 183 - 39. Is u a multiple of 7?
False
Let k(i) = -2*i**3 - 4*i**2 - 1. Let m = 1 - 2. Let j = m - 2. Does 9 divide k(j)?
False
Let s(g) = 10*g - 3. Is 19 a factor of s(6)?
True
Suppose k = 2 - 0, 0 = 5*t - k + 2. Suppose 6*v - 3*v = t. Suppose -2*u + 2*x = -v*x, 5*x - 16 = -3*u. Does 2 divide u?
True
Let n(h) be the third derivative of h**6/120 + h**5/10 + h**4/12 + 5*h**3/6 + 2*h**2. Is n(-4) a multiple of 23?
False
Let m be 2/(-3) + (-6)/(-9). Suppose -f - f - 156 = m. Does 13 divide f/(-4)*8/6?
True
Let o = 156 - 109. Is o a multiple of 19?
False
Suppose w + 5*h = 0, 2*w + 3*h = 5*w. Suppose w = 4*i - 111 - 37. Does 19 divide i?
False
Suppose 3 = 3*i + 9. Let k(g) = 0 + 4 - 5*g - 10 + 3. Is k(i) a multiple of 7?
True
Does 19 divide (-2)/(-5) - (-1415)/25?
True
Let q = -1 + 3. Let v be ((-15)/(-2))/(q/40). Suppose 4*f - 2*t - v = 0, 5*f = 3*t + 114 + 75. Does 22 divide f?
False
Let h(g) = 4*g**2 - 12*g - 5*g**2 - 1 + 0*g**2. Is h(-10) a multiple of 19?
True
Let v(w) = -1 + 3 + 4*w**2 + 5 - w**3 - 5*w**2. Let j be v(0). Let f = j - 3. Does 2 divide f?
True
Let h be 3/(-3) - (-4 + 0). Suppose -3*k + 0 + h = 0. Does 9 divide 94/8 + k/4?
False
Suppose -179 = -3*z + 49. Does 20 divide z?
False
Suppose -4*z = -1 + 33. Let j(b) = 3*b + 2 + 8 - 4*b - 2*b. Is j(z) a multiple of 17?
True
Suppose 4*y = -4*k + 244, -4*k + y = -2*k - 128. Does 7 divide k?
True
Let b = 3 -