 of b?
True
Suppose -3*i + 96 = 3*i. Is i a multiple of 8?
True
Let l(j) = j + 6. Let b(k) = 2*k + 6. Let q(m) = -4*b(m) + 3*l(m). Does 8 divide q(-5)?
False
Suppose 3*m + 2*m = 420. Does 16 divide m?
False
Suppose -26*b = -21*b - 270. Is 49 a factor of b?
False
Let f(l) = l - 5. Let s be f(7). Suppose -n = -4*u - 56, n = -2*u - s + 40. Suppose -n = -6*d + 2*d. Is 3 a factor of d?
False
Let q(w) = -w**2 + 9*w + 2. Does 11 divide q(4)?
True
Let l = 43 - 21. Is 11 a factor of l?
True
Suppose 96 = -0*x + 6*x. Is 7 a factor of x?
False
Let g be (-21)/(-1 + -2) + -3. Suppose s = g*d + 30, 3*s + d - 52 = -s. Does 3 divide s?
False
Let l = 16 - 9. Let z(t) = 2*t + 4. Is z(l) a multiple of 6?
True
Let w(y) = y**2 + 1. Let z be w(1). Let m = z - -1. Is m a multiple of 2?
False
Suppose 2*m = -2*q - 90, -5*m = -0*m - 10. Let l = q + 87. Is l a multiple of 20?
True
Let t(y) = y - 19. Let p be t(9). Let b = 5 + p. Let q = 12 + b. Is q a multiple of 2?
False
Let r = 0 + 0. Suppose r = -5*n + 2*s + 212 + 38, 0 = -4*n + 2*s + 200. Suppose -3*w + 45 = 3*u - 0, -3*w + 2*u + n = 0. Does 16 divide w?
True
Suppose 12*o = 16*o - 152. Does 19 divide o?
True
Let w(g) = g**3 - 5*g**2 - 5*g - 6. Let q be w(6). Suppose 3*s + 28 = 2*n, q*n + 4*s + 8 = -n. Is 6 a factor of n?
False
Let t(o) = -12*o**3 + 5*o**2 + 2*o + 2. Is t(-2) a multiple of 19?
True
Let c(d) = -d**2 - 19*d - 5. Let h be c(-16). Suppose 0 = r + 17 + 10. Let j = h + r. Is 10 a factor of j?
False
Let m(t) = -t**3 - 18*t**2 - 16*t + 15. Let s be m(-17). Let p(n) = -3*n**3 + 3*n**2 + n - 2. Is p(s) a multiple of 5?
False
Suppose 0 = -2*u + 7*u - 1225. Suppose -u + 77 = -3*g. Does 14 divide g?
True
Let a = -2 - -173. Is a a multiple of 6?
False
Suppose 0 = 4*y - 0*y - 16. Suppose 0 = 4*q + 3*b + 2*b - 13, 5*q + y*b - 23 = 0. Is q a multiple of 2?
False
Let g(h) = h**2 - 12*h + 6. Does 19 divide g(13)?
True
Suppose 3*i + 6 = 3*c, -5*i + i + 24 = 4*c. Suppose 0 = -5*y + 5*o, -2*y + 0*o - c*o + 18 = 0. Let j(h) = 5*h - 3. Does 11 divide j(y)?
False
Is 5 a factor of (-2)/8 - (-4191)/44?
True
Suppose -a = 2*a - 39. Suppose 4*g - 3*z - 7 = 0, -g - a = -2*g - 3*z. Suppose g*m + m = 25. Is m a multiple of 2?
False
Suppose 5*n - 6 = -3*b + 20, 5*n + b = 32. Is n a multiple of 7?
True
Let x(n) be the second derivative of -2*n - 2*n**2 + 0 + 1/20*n**5 + 1/2*n**4 - n**3. Is x(-6) a multiple of 14?
False
Let g(l) = -33*l**3 - l - 2. Does 8 divide g(-1)?
True
Suppose 5*n - 3*n - 114 = 0. Does 17 divide n?
False
Suppose 6*w = 2*w. Let i(t) = -6*t**2 - 16*t + 75. Let a(n) = -n**2 - 3*n + 15. Let o(y) = 11*a(y) - 2*i(y). Is o(w) a multiple of 15?
True
Let r = -152 - -160. Does 4 divide r?
True
Let k = 5 + 2. Is k/(-28) + (-81)/(-4) a multiple of 6?
False
Let q(v) = -11*v**3 - v**2 - 2. Let t be q(-2). Let z = -8 + t. Is z a multiple of 19?
False
Let f = 13 - 9. Let s = 10 - f. Is s even?
True
Let j(o) = o**3 + o. Let r(v) = -5*v**3 + 9*v**2 - 18*v + 9. Let s(m) = 6*j(m) + r(m). Is s(-10) a multiple of 16?
False
Let m(p) = p + 9. Let b be m(-5). Suppose -b*h = -6*h - 10. Is (-12)/(-3)*h/(-1) a multiple of 6?
False
Suppose -38 - 10 = -2*c. Is 10 a factor of c?
False
Suppose 2*n = -0*n + 6. Suppose p = -n*d - 164, -2*d + 2*p = -75 + 195. Is 12 a factor of ((-36)/(-14))/((-6)/d)?
True
Is (-3)/4 - (-355)/20 a multiple of 3?
False
Let x be 0 + (0 - (-2 + -537)). Let o = 319 - x. Does 16 divide o/(-6) - (-4)/12?
False
Suppose p - 10 = -8. Suppose p*q - 63 = -q - 3*r, -2*q - 5*r + 42 = 0. Suppose -5 = 2*y - q. Does 5 divide y?
False
Suppose 5*h = -5*k + 300 + 190, 310 = 3*k - h. Is k a multiple of 6?
True
Let q(j) = -4*j**2 - 2*j + 1. Let c be q(1). Let p be (3/c)/(2/(-10)). Suppose p*y - 4*o = 24, -y + 0*y + 8 = -5*o. Is y a multiple of 8?
True
Let z = 4 + 8. Suppose -2*p + 0*p = -z. Does 15 divide (-20 - 0)*(-9)/p?
True
Suppose 5*s - 35 = -2*s. Is 2 a factor of s?
False
Suppose -5*c + b + 60 = 0, 24 = 2*c - 0*b - 5*b. Let h(s) = s**2 - 7*s - 14. Is 18 a factor of h(c)?
False
Suppose 0*l + l + 3*o = 21, 4*l = -o + 117. Does 5 divide l/(-4)*32/(-24)?
True
Let m(b) = 2*b**3 + b**2 - 9*b + 10. Is 23 a factor of m(3)?
True
Let o = -16 - -20. Let p(a) = a. Let z be p(1). Suppose -w = 3 + z, 4*w + 40 = o*t. Is 5 a factor of t?
False
Suppose 5*r + 3*m + 207 + 125 = 0, -4*r - 244 = -3*m. Does 16 divide 27/12*r/(-3)?
True
Suppose -22*l + 115 = -17*l. Does 2 divide l?
False
Suppose 5*x = -0*x - 5. Let v(b) = -4*b. Let a be v(x). Suppose a*h + 4*i - 52 = 0, -3*i + 38 = 5*h - 7*i. Is 5 a factor of h?
True
Let i(j) be the first derivative of 47*j**2/2 + j + 2. Let a be i(1). Suppose 0 = 6*s - 3*s - a. Is s a multiple of 16?
True
Suppose 2*y - 14 = 4*v, -y - 2*v = -0*y - 7. Let w(o) be the first derivative of -o**3/3 + 5*o**2 - 3*o + 2. Is 6 a factor of w(y)?
True
Let q = 71 + -40. Let o = -19 + q. Is 10 a factor of o?
False
Let r = -7 + 26. Does 19 divide r?
True
Suppose -5*z + 10 = -40. Is z a multiple of 10?
True
Let j = -71 + 161. Is j a multiple of 20?
False
Suppose 4*m = -2*n + 10, 4*n - m - 11 = -0*m. Suppose 3*s + u - 116 = -3*u, 2*s - n*u - 66 = 0. Does 6 divide s?
True
Let b(a) = -a**2 + 9*a + 5. Let f = -22 + 40. Let p be 4/18 - (-140)/f. Is b(p) a multiple of 13?
True
Let z(t) = 3*t**2 - t + 3. Is z(3) a multiple of 9?
True
Let r(x) be the third derivative of 17*x**5/60 + x**4/24 + x**3/6 - 2*x**2. Does 17 divide r(-1)?
True
Let c(m) = -4*m - 9. Let n be c(-10). Suppose -n - 74 = -5*w. Is w a multiple of 21?
True
Let w(v) = 7*v - 1. Let m(d) = -4*d**3 - 2*d**2 - 2*d - 1. Let l be (-1 - -2)/(4/(-4)). Let t be m(l). Is 10 a factor of w(t)?
True
Let x(q) = -q - 3. Let t be x(-5). Suppose t*c - 3*c + 16 = 0. Let w = c + -7. Does 5 divide w?
False
Suppose -w = 2*g - 24, w + w - 27 = 3*g. Is 6 a factor of w?
True
Suppose -y + 405 = k + 4*k, y - 323 = -4*k. Does 38 divide k?
False
Let g = -246 + 471. Is g a multiple of 23?
False
Suppose 0 = -4*z + 2*z + 126. Is z a multiple of 9?
True
Suppose 4*n + n = 30. Let o = 11 - n. Suppose 0 = o*p - 2*r - 334, 0*p + 83 = p + 5*r. Is 24 a factor of p?
False
Suppose 0 = 3*o - 2*o - 2. Suppose c - o = -0. Is 196/9 + c/9 a multiple of 11?
True
Suppose 0 = 3*h + 2*h + 50. Let i = 13 + h. Let n = i - -8. Is n a multiple of 11?
True
Let h(u) be the second derivative of u**6/360 - u**5/120 + u**4/24 - u**3/2 + 2*u. Let n(b) be the second derivative of h(b). Is 2 a factor of n(3)?
False
Let z be -1*1*(1 + -94). Suppose -2*y = -b - z, -y + 4*b + 228 = 4*y. Is y a multiple of 19?
False
Let t = 16 + -12. Suppose 3*l = -t*c + 185, 0 = 2*c + 2*l + l - 91. Does 15 divide c?
False
Is 75/6*(-42)/(-15) a multiple of 4?
False
Let j(c) = -c**2 + 3*c + 4. Let r be j(3). Suppose -7*n + r*n = 33. Let q = n + 35. Is 12 a factor of q?
True
Suppose 0 = 6*x + 6 - 24. Does 3 divide x?
True
Suppose -6*b = -b - 10. Suppose 0 = 2*g - 5*w - 128, 0*g - b*g + 3*w + 128 = 0. Is g a multiple of 32?
True
Let b(p) = -p**3 - 8*p**2 + 8*p. Let v be b(-9). Let g be (4/(-6))/(6/v). Is g + 19 - (0 + 1) a multiple of 6?
False
Let q(w) = w**2. Let c be q(1). Let b(d) be the second derivative of 5*d**4/4 - d**3/6 - d. Does 14 divide b(c)?
True
Let h = -60 + 93. Is 8 a factor of h?
False
Suppose 3*q - 2*v - 45 = -6*v, 3*q + 2*v = 51. Does 4 divide q?
False
Let f = 122 + -73. Suppose -j + 5*k - 21 = 0, -3*j = 2*j - 4*k. Suppose -j*i = -f - 15. Does 5 divide i?
False
Suppose 28 = 3*p - 2*a, 3*p - 5*a = 41 - 7. Let k(z) = z - 4. Let f be k(p). Let v = 32 - f. Is 14 a factor of v?
True
Suppose 2*o + 22 = 4*o. Let v = 36 - o. Is v a multiple of 12?
False
Suppose -2*g - 8 = -40. Is g a multiple of 6?
False
Let l(z) = -36*z**3 + 2*z + 1. Let n be l(-1). Let j = n + -15. Suppose -x + 18 + j = 0. Is x a multiple of 13?
False
Suppose 0 = 8*w - 4*w + 2*x + 22, -3*x - 21 = 3*w. Is 17 a factor of (-38)/w*(0 - -2)?
False
Let z(t) = 4*t**3 - 6*t**2 + 2. Let m be z(4). Does 15 divide (5/3)/(6/m)?
True
Let c be ((-1)/3)/(3/(-18)). Suppose k + 9 = c*i + 25, i - 100 = -4*k. Is 6 a factor of k?
True
Suppose -32*y + 30*y + 266 = 0. Is 31 a factor of y?
False
Let t(v) be the third derivative of -v**7/840 + v**6/60 - v**5/40 + v**4/12 + v**3/3 + 3*v**2. Let d(i) be the first derivative of t(i). Does 4 divide d(5)?
True
Suppose 38 = 5*v - 7. Let u(y) be the first d