 a multiple of 23?
True
Suppose -29 - 1 = -2*g. Is g a multiple of 4?
False
Let i = -217 + 352. Is 27 a factor of i?
True
Let x = 10 - 17. Let t = -7 - x. Suppose -3*o + t*o = -5*n + 78, -o + 29 = 2*n. Is n a multiple of 10?
False
Suppose 3*k - 180 = 39. Does 20 divide k?
False
Let b(c) = c**2 - 3*c - 10. Let l = 29 - 21. Is 10 a factor of b(l)?
True
Suppose -v + 2*i = 4*v - 537, -4*v - 4*i = -452. Does 9 divide v?
False
Suppose -s + 108 + 77 = 0. Does 16 divide s?
False
Let n be 5 - 5/((-10)/(-4)). Suppose 3*i = i - 3*a + 29, n*a - 22 = -i. Is i even?
False
Let a(d) = -d**3 - 3*d**2 - 2*d - 4. Let r be a(-3). Let m = 14 + r. Is m a multiple of 14?
False
Suppose -o - o = 0. Suppose -8 = -2*f - o*f. Is 4 a factor of f?
True
Suppose 2*w - 2*q + 10 = 0, -q + 15 = 5*w + 2*q. Let n = 8 + w. Does 4 divide n?
True
Let v be (-14)/(-4)*(-19 + 3). Let k = v - -81. Let q = k + -7. Is q a multiple of 9?
True
Suppose -a - d = 4*d + 16, 3*d + 6 = 0. Let u = a - -1. Does 14 divide (-158)/(-5) - 2/u?
False
Suppose 0 = -x + 6*x - 15. Suppose -x*h - 2*f = -47, 3*f = 2*h - 58 + 18. Is h a multiple of 10?
False
Let l = 0 + 3. Suppose 3*q - l*j - 215 = -2*q, -129 = -3*q + j. Is q a multiple of 12?
False
Let w be (-6)/4*(-66)/9. Let c(a) = a - 7. Let g be c(w). Suppose -g*s = -0*s - 48. Is 6 a factor of s?
True
Let i(f) = -f**3 - 6*f**2 + 5*f - 14. Let w be i(-7). Let a = w - -63. Is 14 a factor of a?
False
Suppose -m + 22 = 4*v - 2, -m - 2*v = -24. Is 7 a factor of m?
False
Suppose -5*w + 85 = -15. Does 10 divide w?
True
Suppose -114 + 24 = -5*f. Is f a multiple of 2?
True
Suppose 0 = 5*m - 556 - 44. Is 14 a factor of m?
False
Let g(a) be the third derivative of -a**4/8 + a**3/2 + 4*a**2. Let i be g(-5). Is i*-3*1/(-9) a multiple of 6?
True
Let k(n) = -n**2 + 5*n + 5. Let p = -6 - -11. Let j be k(p). Suppose 0 = x - 9 - j. Is 7 a factor of x?
True
Suppose -2*f + 5*g = 9, -f - 5*g + 11 = -7. Suppose -2*y + m = -19, -m - f*m = 5*y - 28. Is 6 a factor of y?
False
Let z = 11 + -6. Suppose 4 = f - 2*f. Is 72/z + f/10 a multiple of 7?
True
Let d(u) = -4*u**2 + u. Let n be d(1). Let z be (-3)/(-12) + n/12. Suppose x - 2*x + 11 = z. Is x a multiple of 10?
False
Let g(h) = 4*h + 1. Let c(x) = 3*x. Let f(m) = -5*c(m) + 4*g(m). Let u be f(0). Suppose u*i = i + 69. Is i a multiple of 16?
False
Suppose -5 = -y, 0 = -l - 5*y + 12 + 23. Let b = 1 + l. Does 4 divide b?
False
Let g(n) = -n + 13 - 5 + 13. Is g(0) a multiple of 7?
True
Let b(v) = -22*v - v**2 + 18*v - 2 + 2*v**2. Does 2 divide b(5)?
False
Suppose 11*a - 22 = 10*a. Is a a multiple of 7?
False
Is 7 a factor of (-78)/(-8) - (-2)/8?
False
Let k(f) = -f**3 - 7*f**2 - 3*f - 9. Let c be k(-7). Let n(q) = -q + 1. Let x be n(1). Suppose 4*s - 5*g - 25 = x, 3*g = -s - 2*s + c. Is 5 a factor of s?
True
Let h(u) = u**3 + 4*u**2 + 8*u + 2. Let m = -21 - -14. Let v be h(m). Let w = -142 - v. Is w a multiple of 20?
False
Let k = 23 + 10. Suppose 0 = 2*h - 5*h + k. Is 10 a factor of h?
False
Let v be (-12)/(-10)*(-60)/(-9). Let q = v + -5. Let p(u) = -u**3 + 4*u**2 - u. Does 3 divide p(q)?
True
Let p be (-12)/(-18) + (-322)/6. Let c = -19 - p. Does 14 divide c?
False
Let a = -2 - -4. Suppose 120 = 7*m - a*m. Is 8 a factor of m?
True
Does 4 divide (0 - -260)/(-5)*3/(-6)?
False
Suppose i + w - 388 = -i, 2*i + 4*w = 382. Is 39 a factor of i?
True
Suppose -4 - 6 = 2*y. Let h be y/(-2) + 1/(-2). Let c = 15 - h. Is 5 a factor of c?
False
Suppose -r + 0*r + 2*j + 76 = 0, 0 = -r + 3*j + 79. Suppose -4*c - 4*u - u = 185, 0 = -c - 3*u - 55. Let h = r + c. Is h a multiple of 10?
True
Let u(v) = v**2 + 3*v + 1. Is 10 a factor of u(-14)?
False
Let g = 14 + -13. Suppose -4*r + 2*x + 8 = 0, -5*x + 20 = 3*r - 12. Let i = r - g. Does 2 divide i?
False
Suppose 0 = 5*n + 4*o - o - 387, -2*o = 2. Does 13 divide n?
True
Let y = 876 - 401. Is 64 a factor of y?
False
Suppose 2*t - 555 = -3*q - 3*t, -q - 3*t + 189 = 0. Does 35 divide q?
False
Suppose 3*j = 0, 16*u - 3*j - 20 = 11*u. Is 4 a factor of u?
True
Let p be (-8)/(-3)*3/2. Let w = -2 + p. Let n(g) = 10*g**2 + g + 2. Does 26 divide n(w)?
False
Let f = 160 - 50. Is f a multiple of 22?
True
Suppose -5*l + 17 + 8 = 0. Suppose 2*t + 2*z = -2*t + 112, 0 = -l*t + 2*z + 140. Does 10 divide t?
False
Let o(y) = 3*y - 1. Let r be o(1). Suppose -r*m - 22 = -78. Is 7 a factor of m?
True
Let n = 1 + 15. Let b = n + -9. Is 2 a factor of b?
False
Let n(a) = a**3 + 9*a**2 + 7*a + 4. Suppose -4*z + 5*x = 6 - 74, -8 = z + 5*x. Let c = 4 - z. Is n(c) a multiple of 12?
True
Let x(b) = 3*b - 8. Let a(f) = 3*f - 9. Let i(s) = -5*a(s) + 6*x(s). Let t be i(2). Is 3 a factor of (1 - 2)/((-1)/t)?
True
Let g(h) = h**3 + 4*h**2 - 13*h - 7. Is 22 a factor of g(-5)?
False
Suppose 327 = 3*w - 198. Let n = w - 10. Let v = -113 + n. Is 19 a factor of v?
False
Is 19 a factor of 3*33 - (-36)/(-9)?
True
Let l = 11 - 8. Suppose z = l*z - s - 108, -s = 0. Is z a multiple of 18?
True
Suppose -20 = 4*u, 0*k + 2*k - 4*u - 36 = 0. Is 7 a factor of k?
False
Suppose 2*l = -3*h + 188, -3*h - 2*l = 3*l - 200. Let o(p) = -p + 7. Let d be o(5). Suppose -d*u = -5*s - 7, -u + h = 4*u - 4*s. Does 16 divide u?
True
Let m be 16/2 + -1 + 1. Let z(i) = i**2 - 6*i - 10. Is 6 a factor of z(m)?
True
Let v = 946 - 618. Is 43 a factor of v?
False
Let u(b) = 3*b**2 + 3*b + 14. Is u(-5) a multiple of 15?
False
Let u(m) = -19*m + 11. Is u(-2) a multiple of 9?
False
Let i = 13 + -7. Does 4 divide i*(-2 + 1 - -2)?
False
Suppose -5*i + 15 = -5*s, -6 = -5*s + 4. Suppose 1 - i = -z. Does 10 divide (-66)/9*(-6)/z?
False
Let j = 8 - 2. Does 12 divide (-568)/(-24) - (-2)/j?
True
Suppose 3*r + 29 = -x, 0 = 3*x + x + 4*r + 100. Let a = -6 - x. Is a a multiple of 7?
False
Let j(f) = 50*f**2 + f. Is 16 a factor of j(-1)?
False
Suppose 0 = 10*j - 5*j - 15. Does 14 divide 74 - (4 + j - 3)?
True
Let n(k) = -k - 4*k + 7*k + k**2. Let w be n(-2). Is 8 a factor of 13 - (1 - -1 - w)?
False
Let m = -5 + 7. Suppose -2*b + 84 = -b + 3*v, m*b - 4*v = 158. Let k = b - 29. Is 22 a factor of k?
False
Let k be 3/(-2) - 14/4. Does 8 divide (-1)/k + (-109)/(-5)?
False
Let p = 256 + -112. Suppose p = 4*a - 0*a. Is a a multiple of 8?
False
Is (-123)/(-1 + -2) - -1 a multiple of 14?
True
Let w(r) = -9*r**3 - 2*r**2 + 2*r. Suppose -2 = l - 0. Does 19 divide w(l)?
False
Suppose 2*i - i = 6. Does 6 divide i?
True
Let g = -41 + 1. Let p = g - -57. Does 8 divide p?
False
Let x(p) = -p**3 - 12*p**2 - 12*p + 6. Is 13 a factor of x(-11)?
False
Suppose n - 3*n = -64. Does 16 divide n?
True
Suppose 2*d + 2 = -4. Let k be 4*((-3)/(-4) - 0). Does 5 divide -2 + k*(-8)/d?
False
Suppose -2*z - 1 + 11 = 0, 3*h - 3*z - 495 = 0. Is 28 a factor of h?
False
Let h = 15 - 22. Let s(m) = 3*m**2 + 16*m - 7. Is 14 a factor of s(h)?
True
Let o(k) = k**3 + 10*k**2 - 3*k - 4. Does 8 divide o(-10)?
False
Let a be 3*(-2)/(-9)*-3. Is a/6 - (-80)/6 a multiple of 6?
False
Let x(i) = -i**3 + 7*i**2 + i + 4. Let h = 1 + 3. Suppose 2*f + h*j + 6 = -j, 3*f - 17 = -j. Is x(f) a multiple of 11?
True
Let s(z) = -z**2 + 6*z - 1. Let k be s(5). Is (-118)/(-4) - (-2)/k a multiple of 15?
True
Let n be -58*-2*(-4)/(-8). Suppose -3*p = -n - 20. Is 26 a factor of p?
True
Suppose w = 3*m - 124, 2*m = -w + 3*w + 88. Is 18 a factor of ((-30)/(-12))/(2/m)?
False
Let p(h) = 66*h**2 + h. Let s be p(-1). Suppose -2*c - 2*g + 58 = 2*g, -c = -5*g - 57. Let r = s - c. Is 9 a factor of r?
False
Suppose a + 3*a - 80 = 0. Let j = -17 + a. Is j a multiple of 2?
False
Suppose 5*y + 2*v - 17 - 55 = 0, 0 = -4*y + 4*v + 52. Suppose -13 = 2*u + 5*t, 0 = -u - 5*t + t - y. Is u a multiple of 3?
True
Suppose 3*u = 3*i - 0*i + 393, 0 = 2*i + 3*u + 277. Let v = i - -189. Is 20 a factor of v?
False
Is 11/(-33) - (-254)/6 a multiple of 14?
True
Let v = 21 - -8. Let z = v - 49. Does 14 divide (-10)/(-3)*(-168)/z?
True
Let d = 22 - 6. Let a = 36 - d. Does 10 divide a?
True
Let j(f) = 2*f**3 - 2*f**2 + f + 1. Let y be j(3). Does 8 divide (-6)/(-4)*y/3?
False
Suppose -v = b - 1, -v + 2*b = v - 14. Let r = 3 - v. Is 17 a factor of (-6)/8*(-67 + r)?
True
Let y be (0 - -3)*(-8)/(-6). Suppose -1 - 7 = -2*t. Suppose 0 = t*q - y, 5*m - 4*q + q = 57. Is m a multiple of 6?
True
Suppose -2*o + 8 = 2. Is (o + -28)*4/(-10) a multiple of 10?
True
Suppose 3*a = 4*v + 279, v 