i. Is 5 a factor of i?
True
Let n be (-1)/2 + (-45)/(-10). Suppose 0*l = -n*l + 8. Does 5 divide (4/(-4))/(l/(-18))?
False
Suppose 5*y + 241 = -0*x + 3*x, 0 = -5*x - 5*y + 335. Suppose 0 = -4*t - 4*v + x, 6*v - 2*v = -4. Is t a multiple of 9?
False
Suppose 5*h - 142 = 143. Does 19 divide ((-8)/(-12))/(1/h)?
True
Is 9 a factor of (-2 + -22)/((-6)/20)?
False
Let i be 9/45 - 14/(-5). Suppose o + c - 6*c - 15 = 0, -i*c = -o + 13. Does 3 divide o?
False
Let w be 1/3 - (-33)/9. Suppose -20 = -o + i, 0*o + w*i = 2*o - 44. Is o a multiple of 8?
False
Let y(w) = 3*w**2 - 2*w. Let z be y(2). Suppose 3*t - 4 = z. Does 6 divide (-15)/2*(-8)/t?
False
Let d(u) = 2*u - 3. Let s be d(3). Suppose -s*y - 45 = 2*y. Does 7 divide (-21)/y*1*3?
True
Let z(f) = -f**3 + 10*f**2 + 17*f - 15. Let s be z(11). Suppose -g = -5*i + s + 111, -118 = -4*i - 5*g. Is 16 a factor of i?
True
Suppose -c + 20 = 3*c. Is 6 a factor of (5/2)/(c/20)?
False
Suppose 4*j = -6*n + 3*n + 17, 5*j = -n + 24. Suppose 0 = 4*l - j*l - 1. Does 17 divide l*(0 - -2) + 41?
False
Let v(r) = r**3 - 6*r**2 - 3*r + 8. Is 18 a factor of v(7)?
True
Suppose -c - 4*c + 270 = 0. Is c a multiple of 27?
True
Let h = -11 + 29. Let v be 2/(-5) + h/(-5). Does 18 divide (-34)/(-2) + (-3 - v)?
True
Let d(c) = -c + 1. Let z be d(3). Let a(f) = f**2 + 4*f + 3. Let u be a(z). Let i(j) = 32*j**2 - 1. Is i(u) a multiple of 12?
False
Suppose 0 = 2*f - r + 17, 2*f - 2*r = r - 27. Let j be 4/(-6) - (-14)/f. Is (9*2)/j*-3 a multiple of 9?
True
Let k = -17 + 15. Let d(a) = 9*a**2 + a + 2. Does 9 divide d(k)?
True
Suppose 14*z = 17*z - 354. Is z a multiple of 9?
False
Suppose -2*g = 1 + 19. Suppose 2 = -4*r + 66. Let x = g + r. Is 6 a factor of x?
True
Suppose -7*d = 2*d - 1791. Does 19 divide d?
False
Let r be -2 - 9/((-2)/2). Suppose -o + r = -4. Is 5 a factor of o?
False
Let b = -6 + 9. Suppose -4*f - 2*l + 2 = 0, -2*f - b*l + 10 = 3. Is f/(-4) - (-51)/4 a multiple of 11?
False
Let a = -122 + 298. Is a a multiple of 44?
True
Suppose 3*x = -3*d + 87 + 114, -204 = -3*d - 4*x. Does 16 divide d?
True
Let b be 3 + -1*(-66)/(-3). Let o = 40 + b. Is 21 a factor of o?
True
Does 22 divide 37 + (4 - (-3 + 6))?
False
Let z(m) = 10*m**3 + m**2 + 2*m + 7. Let w be z(3). Suppose 5*n = i - 2*i + w, 5*n = -4*i + 298. Is n a multiple of 17?
False
Suppose -128 = -g + 59. Is 32 a factor of g?
False
Let d(t) be the third derivative of -t**5/60 + 7*t**4/12 + 3*t**3/2 + 4*t**2. Does 33 divide d(10)?
False
Let j(g) = 24*g + 1. Let w be j(6). Suppose 2*y = -3*y - w. Let t = y + 40. Does 4 divide t?
False
Suppose 3*h = 99 + 3. Does 13 divide h?
False
Suppose 0 = -2*a - 1 - 3. Let f be -2 + 2 - (6 + a). Let m(l) = l**3 + 5*l**2 - 2*l + 5. Is m(f) a multiple of 9?
False
Let h(b) = 2*b**3 + 2*b - 1. Let s be h(1). Suppose 4*g - 2*g - 56 = -4*l, s*g - 2*l - 76 = 0. Is 13 a factor of g?
True
Let u(i) = -i**2 + 7*i + 8. Let t be u(8). Suppose t*j - 2*j + 42 = 0. Is 7 a factor of j?
True
Let x(j) = -2*j - 3. Let w(s) = -s**2 - 5*s - 7. Let o(u) = -3*w(u) + 7*x(u). Let v be o(1). Suppose -5*i = -v*i - 11. Is 11 a factor of i?
True
Suppose 13 = -4*f - 3. Let h be (-1)/f - 19/(-4). Let p(l) = 5*l + 2. Does 8 divide p(h)?
False
Suppose -c + j + 61 = -4*j, 0 = 5*c - 4*j - 263. Is c a multiple of 30?
False
Let j be (-124)/(-6) + 2/6. Suppose -3 = 3*c - 15. Suppose -j = -c*z + 3. Is 6 a factor of z?
True
Let w be -1 - ((-2)/2 - -20). Suppose -3*u - 38 = 82. Does 8 divide u*-4*(-2)/w?
True
Let j = 12 - 20. Let t = j - -14. Does 4 divide (-4)/6*(-45)/t?
False
Is 14 a factor of (-376)/(-24)*(4 + -1)?
False
Let n = -1 + 2. Does 17 divide 15 - (-4)/(n + 1)?
True
Suppose -50 = -3*p - j - j, -3*p + 5*j + 22 = 0. Is 14 a factor of p?
True
Let n = -26 + 80. Is n a multiple of 13?
False
Let f(k) be the first derivative of -k**4/6 - k**3/3 + k**2/2 - 3. Let r(g) be the second derivative of f(g). Does 15 divide r(-8)?
True
Let u be (-4)/5*25/(-10). Does 4 divide 8*(0 - (-3)/u)?
True
Let c(i) = 4*i**2 + 3*i + 2. Let v(s) = 3*s**2 + 3*s + 2. Let z(f) = -4*c(f) + 5*v(f). Let o be z(3). Suppose 16 = 2*d + o*d. Is d a multiple of 2?
True
Suppose -2*c - 2 - 4 = 0. Let d = 6 + c. Is 7 a factor of (-18)/(d/(-3)) - -3?
True
Is (5 - -1)/((-2)/(-6)) a multiple of 9?
True
Let x be (-198)/5 + (-2)/5. Suppose -3*m - 306 = -8*m - w, -300 = -5*m + 5*w. Let s = x + m. Does 14 divide s?
False
Suppose -3*c + p + 14 = 2*p, -3*p = 4*c - 17. Suppose -4*g + 4 + 3 = r, -c*g + r = -20. Is g a multiple of 2?
False
Let p = -39 - -46. Is p even?
False
Suppose 4 + 2 = 3*n. Let o be 8/5 + n/5. Suppose -b + 6*b = 3*m - 8, -5*m + 34 = o*b. Does 4 divide m?
False
Let h(t) = 1. Let o(w) = -w - 12. Let y(m) = -6*h(m) - o(m). Is y(7) a multiple of 13?
True
Let x be (-34)/(-3) - (-3)/(-9). Suppose -9 = -3*k, -g + 4*k - 39 + x = 0. Is 9 a factor of ((-12)/g)/(2/24)?
True
Let y = 2 - -1. Suppose 0 = -3*m - y*d + 33, 0 = d - 6 + 1. Is m a multiple of 6?
True
Let f = -11 - -10. Does 13 divide (f/(-2))/((-9)/(-702))?
True
Suppose 5*w - 2*w - 100 = -5*a, 0 = w. Is (-18)/(1/a*-6) a multiple of 10?
True
Suppose r - 86 = -0*r + 5*y, 232 = 2*r + 2*y. Is r a multiple of 47?
False
Is 13 a factor of 1*(1 - -64 - 0)?
True
Suppose 0 = 2*k + 3*k - 20. Suppose -k*j = -2 - 10. Suppose 5*b + 43 = j*f + 14, 0 = 4*f + 3*b. Is f a multiple of 3?
True
Let j(k) = -k**2 + 7*k + 8. Let p(l) = -7*l**3 - 2*l - 1. Let i be p(-1). Let b be j(i). Suppose b = 4*q - 8 - 16. Does 3 divide q?
True
Suppose -4 = -0*t - t. Suppose -t*u + 216 = -0*u. Is u a multiple of 18?
True
Suppose 3*n + 13 - 80 = -m, 3*n - 77 = m. Is n a multiple of 15?
False
Suppose -6*m = -4*m. Suppose m = -k - 5*o + 48, 5*k - 3*o - 94 = 146. Does 16 divide k?
True
Let q(r) = 3*r**3 - 7*r**2 - 18. Does 56 divide q(6)?
False
Is (46/2)/(4 + -3) a multiple of 3?
False
Let u = 10 + 9. Suppose -3*n + 0*n = -n. Suppose -t + u + 22 = n. Is t a multiple of 17?
False
Let u(g) = g + 11. Let w be u(-11). Let f(d) = -d**3 - 8*d**2 - 8*d + 4. Let h be f(-6). Let n = w - h. Does 10 divide n?
True
Suppose 0 = -0*n - n + 3*b + 31, -b - 82 = -2*n. Let r(o) = 3*o**2 - o - 1. Let c be r(-1). Does 23 divide n - (-1)/(1/c)?
True
Let h(l) be the second derivative of 23*l**5/20 + l**3/6 - l. Is h(1) a multiple of 8?
True
Let w(z) = -z**3 + 18*z**2 - 6*z + 17. Is w(17) a multiple of 17?
True
Let y be 1/((4/1)/8). Does 12 divide y/(3*4/288)?
True
Let y(h) = 2*h**2 - h - 3. Let o(i) be the first derivative of i**3/3 - i**2/2 - 2*i - 3. Let f(k) = -5*o(k) + 4*y(k). Is 11 a factor of f(-3)?
True
Suppose j - 87 + 24 = 0. Let r = j - 34. Is r a multiple of 13?
False
Let c(p) = p**3 + 4*p**2 + p. Let o be c(-4). Is 30/7 + o/14 a multiple of 4?
True
Suppose -2*b - 2*b = 0. Let o(f) = f + 6. Is 3 a factor of o(b)?
True
Suppose 0 = -4*g + y + 255, -4*g + 0*g - 4*y = -260. Is g a multiple of 12?
False
Let u(q) = 5*q**2 - 2*q + 1. Let s be u(1). Let r = -5 - -16. Suppose 0 = -s*j + r + 9. Does 5 divide j?
True
Suppose 5*r - 1014 = 381. Is r a multiple of 31?
True
Let f(p) = -p**2 + 5*p. Let h be f(4). Suppose -84 = -2*r - j, 0*r + h*j = r - 51. Does 15 divide r?
False
Let c(s) = -9*s - 1. Let d(y) = 10*y + 2. Let i(a) = 5*a**3 - a**2 - 2*a - 1. Let t be i(-1). Let j(l) = t*c(l) - 4*d(l). Does 9 divide j(6)?
True
Suppose -5*z + 2*z = 3*m - 3, -5*z + 2*m + 5 = 0. Is 12 a factor of z/(-4) + 372/16?
False
Let s(x) = x**3 - 7*x**2 - 5*x - 9. Let f = -16 + 24. Is s(f) a multiple of 10?
False
Is 8 a factor of (-322)/(-6) - (-8)/(-12)?
False
Let d = -5 + 10. Suppose z + d*c - 24 = 0, -68 = -5*z + 2*c - c. Is 7 a factor of z?
True
Suppose 5 = 5*s, 0 = 13*d - 8*d + 5*s - 180. Is d a multiple of 5?
True
Let g = -25 + 69. Is g a multiple of 11?
True
Suppose -d + 121 = -z, 0*d = -5*d - 5*z + 645. Is d a multiple of 25?
True
Suppose -126 = 4*u - 5*u. Is 18 a factor of u?
True
Let t(i) be the third derivative of i**4/4 + i**3/6 - 2*i**2. Is t(2) a multiple of 5?
False
Let k(y) be the second derivative of -2*y**3/3 - y**2 + y. Let j(r) = -r**3 - 5*r**2 - 4*r. Let s be j(-3). Is k(s) a multiple of 11?
True
Suppose 5*v - 259 = 3*i, -4*v - i + 197 = -0*i. Is 10 a factor of v?
True
Let m = -2 - -3. Let u be m/(-3) - (-28)/(-6). Let g = 19 + u. Is 7 a factor of g?
True
Suppose 5*c = -3 - 27. Let g be -2 - 44/(c/3). Suppose -