 a factor of o?
True
Let r(x) = -2*x + 8. Let j be r(-6). Let f = -10 + j. Does 7 divide f?
False
Let z be (121/33)/(1/(-3)). Let w = z - -26. Is 15 a factor of w?
True
Suppose -p - 8 + 3 = -2*y, -5*p = -3*y + 11. Suppose y*s - 6*o + 2*o = 6, -39 = -3*s - 4*o. Is s a multiple of 3?
True
Suppose 4*p + 3*o - 78 = o, -4*p + 4*o + 84 = 0. Does 4 divide p?
True
Is 9 a factor of 2/(-4) + (-430)/(-20)?
False
Let r = -10 - -4. Let w(s) = -2*s - 3. Does 9 divide w(r)?
True
Suppose 2*q - 225 = -q. Suppose 4*t + q = -t. Is 68/6*t/(-10) a multiple of 17?
True
Let l = -178 - -328. Does 25 divide l?
True
Let u = -142 + 14. Is 33 a factor of (9/3 - u)*1?
False
Suppose 4*g = -12, -2*g - 713 = 4*a + g. Is 7 a factor of ((-1)/2)/(8/a)?
False
Let o be -1 + 1 - (-6)/3. Does 15 divide (4*-7)/(o/(-4))?
False
Let h = 86 + -128. Let x(u) = u**2 - 2*u + 3. Let s be x(9). Let f = s + h. Is 8 a factor of f?
True
Is (3 + -4 - -4)*10 a multiple of 4?
False
Suppose -4*d + 5*a + 2045 = d, d = 2*a + 411. Does 37 divide d?
True
Let o(z) = -z**2 + 8*z - 7. Is 2 a factor of o(5)?
True
Suppose -5*m + 55 = -70. Suppose -5*v + 5 = -m. Suppose 62 = 5*r + 4*d, d = r - v*r + 53. Is 10 a factor of r?
True
Let u be 2/4 - (-756)/8. Suppose 4*w - 3*j - u = 0, -5*j = 2*w + 5 - 20. Is w a multiple of 4?
True
Suppose 10 = -w - 0*w. Let o(i) = -i**2 - 15*i - 10. Let v be o(w). Suppose -2*m + 0*z + 2*z + v = 0, -5*m - 2*z + 107 = 0. Does 12 divide m?
False
Suppose -n - 3*o + 191 = 0, 0*o + 4*o = -12. Is 15 a factor of n?
False
Suppose -3*b = -0*b - 18. Let t(d) = d - 4. Let q be t(b). Suppose 3*h + q*h = 85. Is 17 a factor of h?
True
Suppose 0 = 4*o + 2*m - 8, 0*m + 5*m = -3*o - 8. Suppose -9 = -o*s + 3. Suppose -s*c + 68 = x + 13, -c + x + 17 = 0. Is c a multiple of 18?
True
Let b(l) be the first derivative of 18*l**3 + l**2/2 - l + 4. Is b(1) a multiple of 18?
True
Suppose 5*z - 8 = 17. Is z even?
False
Let w be (0 - 1)/(4/(-12)). Let n be (-20)/(-6) - (-2)/w. Suppose n*a - 31 - 41 = 0. Is a a multiple of 18?
True
Let h(n) = -n**2 + 15*n - 8. Let q be h(11). Suppose -14 = 5*x + q. Let j(v) = -6*v - 12. Is 24 a factor of j(x)?
True
Suppose 5*b - 33 = m, -2*m - 11 = -b - 4*m. Does 7 divide (-14)/b + 2*9?
False
Suppose -s - 3*a + 174 - 26 = 0, -s + 3*a + 130 = 0. Does 26 divide s?
False
Let d(p) = -p + 17. Let b be d(7). Let t be 4/(-14) + 60/14. Suppose -3*l + t*a = -4*l + b, a = 4*l - 91. Does 12 divide l?
False
Suppose 2*s + 3*s = 25. Let w(j) = -j**3 - 6*j**2 - j - 3. Let f be w(-6). Does 14 divide (s*7)/(f/3)?
False
Let g(p) be the third derivative of -p**6/120 + 4*p**3/3 + 2*p**2. Suppose 0 = -2*a + 5*i - 2 + 12, 4*i + 8 = -a. Is g(a) a multiple of 3?
False
Let w = -16 - -28. Let o = 12 + w. Does 12 divide o?
True
Suppose 4*z - 5*d - 485 = 0, 3*z + 3*d - 410 = -80. Suppose -j - z = 4*k - 744, -5*k - 4*j = -800. Let o = -108 + k. Does 13 divide o?
False
Let x(y) = -y**3 - 4*y**2 + 3*y - 4. Let a be x(-5). Suppose 2*h = a*h - 72. Does 14 divide h?
False
Let s be (3/(-2))/((-39)/728). Suppose 3*o - 14 = 2*m - 2*o, -m + 2*o = 5. Suppose -7*v = -m*v - s. Is 7 a factor of v?
True
Let c be (3 + -3)/(1/1). Let m be 68 - (2 + -2 + c). Suppose -2*q = -6*q + m. Is 6 a factor of q?
False
Suppose 74 = 2*z + 3*t - 65, -285 = -5*z + 5*t. Does 14 divide z?
False
Let s(u) = u**3 + 5*u**2 - 8*u - 6. Let o be s(-6). Let i = o + 31. Is 21 a factor of i?
False
Suppose -w - f = -30, -2*w = -5*w + f + 102. Is 16 a factor of w?
False
Let p = 7 + -4. Let k be ((-5)/p)/(1/(-42)). Suppose 5*j - 5*d - k = 0, -2*j - d + 5*d = -24. Is 6 a factor of j?
False
Suppose 3*m = 8 + 1. Suppose -u + m*l + 31 = 0, -3*l - 79 = -5*u + u. Is u a multiple of 16?
True
Let a = 10 + -2. Let c(d) = d**2 - 9 + 4*d**2 - 5*d - 4*d**2. Is c(a) a multiple of 15?
True
Let l = 228 - 96. Is l a multiple of 16?
False
Let q(v) = -v**3 + 10*v - 7. Does 34 divide q(-5)?
True
Let p(l) = -l**2 + 8*l - 3. Let g be p(3). Suppose 2*r - r - g = 0. Is r a multiple of 12?
True
Suppose -3*o - 20 = -8*o. Suppose f - 17 = o*t, -19 = -3*f + 5*t - 3. Does 2 divide f + 2 + 5 + 0?
True
Suppose 85 - 215 = -5*g. Let k(m) = -3*m + 3. Let q be k(-9). Does 2 divide 12/q - g/(-10)?
False
Let d(c) = c**3 - 6*c**2 + 2*c - 8. Let a be d(6). Suppose -a*j = 3*m - 0*j - 29, -2*m = -5*j + 19. Is m/(-9)*(-1 + -146) a multiple of 18?
False
Suppose 22 = 5*l + 7. Is 22/l - 2/6 a multiple of 5?
False
Suppose 25 = 5*y - 5*a, -y + 3*y = -a + 16. Is 6 a factor of y?
False
Let s(g) = 3*g - 9. Is 5 a factor of s(13)?
True
Let a = 5 - 13. Let s = -5 - a. Does 2 divide s?
False
Let p = -43 + 70. Is 9 a factor of p?
True
Let z(x) = 7*x + 1. Let c(h) = 15*h + 3. Let l(i) = 3*c(i) - 7*z(i). Let m be l(3). Let n = 22 + m. Is n a multiple of 6?
True
Let u(y) = -87*y**3 - 2*y**2 - y. Is u(-1) a multiple of 10?
False
Suppose 0*k + 46 = k. Let b = k - 33. Is 12 a factor of b?
False
Suppose -3*s - x + 55 = 2*s, -39 = -2*s + 3*x. Does 3 divide s?
True
Suppose -4*f - u - 3*u = -56, -52 = -5*f + u. Does 4 divide f?
False
Let i = -6 + 15. Let g = i - 5. Does 8 divide g/18 + 140/18?
True
Suppose -9*w + 10*w - 28 = 0. Is 28 a factor of w?
True
Suppose 3*x - 5*l = 2*x + 160, 4*l = -4. Let t = x + -239. Is 11 a factor of ((-8)/3)/(8/t)?
False
Suppose 6*r - 2*r = 12. Suppose -4*x + 4*c = -44, -x + 2*c + 46 = r*x. Is 11 a factor of x?
False
Let u(s) = 27*s + 1. Suppose 4*a = a + 3. Does 14 divide u(a)?
True
Let s = 4 + 1. Suppose -s*j = -j - 16. Is (38/8)/(j/16) a multiple of 8?
False
Suppose 41 - 11 = -3*s. Let g = -2 - s. Is 6 a factor of g?
False
Let v = 218 + 156. Is v a multiple of 33?
False
Let z(g) = 90*g**3 + g**2 + g - 1. Let n be z(1). Suppose u = -5*q - 2*u + 87, 5*q = u + n. Is q a multiple of 9?
True
Let f be (2 - 0) + (0 - -1). Suppose 3*p = f*k - 15, -2*k + 20 = -0*k - 4*p. Let q(d) = d**3 + d**2 - d + 30. Does 13 divide q(k)?
False
Let x(p) = -8*p + 3*p**3 + 7*p - 3 + 0*p**3 - 3*p**2. Is 16 a factor of x(3)?
True
Let l(o) = o**3 - o**2 - 2. Let r be l(2). Does 16 divide (-3)/(5 - r)*-16?
True
Let l(o) = o**2 - o. Let w(i) = -8*i**2 + i - 1. Let u(n) = -l(n) - w(n). Let k be -2 + 4 - (2 + -1). Does 4 divide u(k)?
True
Let c(l) = -l**3 + 9*l**2 - 7*l + 4. Let i be c(6). Suppose 5*x - i = -10. Does 12 divide x?
True
Let u(a) = a + 5. Suppose 4*i - 14 = 6. Is 10 a factor of u(i)?
True
Suppose 4*v = 2*l + 4, -l - 2*v + 20 = -5*l. Let m be 4/(-6) - (-114)/9. Let s = l + m. Does 3 divide s?
True
Does 9 divide 956/14 - 4/14?
False
Let w(s) = -1. Let a(m) = -2*m + 20. Let b(o) = 2*a(o) + 36*w(o). Let p be b(-3). Does 6 divide (p/(-24))/(2/(-51))?
False
Let d(i) be the third derivative of i**5/20 - i**4/8 + 2*i**2. Does 10 divide d(-3)?
False
Is 21 a factor of (1 - (-6 - -2))*(-1314)/(-45)?
False
Let g(w) = -w**2 - 2*w - 1. Let i be g(-1). Suppose i*c - 44 = -2*c. Suppose -5*u + 133 + c = 0. Is 13 a factor of u?
False
Suppose 244 = 7*j - 3*j. Let u = -5 + j. Let c = -32 + u. Is 11 a factor of c?
False
Suppose 3*p = 3*o + 57, 3*p - 3*o = 5*p - 28. Is 17 a factor of p?
True
Let r be (-10)/((2/4)/1). Let p = 16 - r. Is p a multiple of 17?
False
Suppose -v = -5*v + 8. Suppose 6*k - v*k - 20 = 0, 5*k + 135 = 4*j. Is j a multiple of 20?
True
Let x = 191 - 61. Does 26 divide x?
True
Suppose -4*x = 4*x - 816. Does 6 divide x?
True
Let y(n) = 2*n**2 - n - 6. Let c be y(5). Let r be -2 + 5 - (-4 + 1). Let i = c - r. Is i a multiple of 13?
False
Let r(t) = -3*t**2 - 3 + 4*t + 0*t**2 + t**3 - 2*t**3. Let n be r(-4). Is n*(20/(-2) - 1) a multiple of 13?
False
Let k(q) = q**2 - 2*q + 1. Let z be k(3). Is (-6)/((-14)/z - -2) a multiple of 4?
True
Suppose 0 = 2*u - 0*u - 5*b - 467, 4*u - b = 889. Is u a multiple of 13?
True
Suppose 4*x = 3*q + 17, -2*q + 0*q = -2*x + 8. Let m = 17 + x. Is m a multiple of 22?
True
Let b(m) = -m - 2. Does 3 divide b(-5)?
True
Let g be -2 - 1*10/(-2). Suppose -g*b = -10 - 8. Is 6 a factor of b?
True
Suppose 0 = -0*l - l + 108. Suppose -2*i + 54 = 2*c, l = 2*c + 2*c + i. Is 9 a factor of c?
True
Does 12 divide (-2 + 10)/((-4)/(-30))?
True
Let s(c) = 16*c**3 - 4*c**2 + c - 1. Let n(h) = -32*h**3 + 7*h**2 - h + 2. Let y(w) = 3*n(w) + 5*s(w). Does 7 divide y(-1)?
False
Suppose -o + 2 - 8 = 0. Let h = 10 + o. Does 3 divide h?
False
Let g(n) = n**3 + 17*n**2 + 4*n + 36. Does 31 divide