se
Suppose 5*d = 45 + 85. Does 4 divide d?
False
Let o = 68 - 19. Does 6 divide o?
False
Suppose 2*u + 3*u - 25 = 0. Suppose -3*v = 0, a + u = 2*a + 3*v. Suppose a*s - 111 - 108 = -i, -2*s + 78 = -2*i. Is 16 a factor of s?
False
Suppose -2*j - x + 29 = 0, -7*j + 6*j + 2*x = -27. Is j a multiple of 17?
True
Let n(x) = -7*x - 19. Is n(-6) a multiple of 2?
False
Let s(q) = 3*q**3 + q**2 - 1. Let o be s(1). Suppose o*d = -4*i - 254 - 134, 0 = -2*i + 4*d - 172. Let j = -60 - i. Does 10 divide j?
False
Let f be -2 + (0 + -1 - 0). Suppose -6*i = 2*i - 48. Is 3 a factor of (f/i)/(2/(-24))?
True
Let s(l) = -57*l**3 + l. Let m be s(-1). Suppose -c = 4*c + 4*j - 102, -3*c = 5*j - m. Is 13 a factor of c?
False
Let b(m) = 26*m - 15. Is 9 a factor of b(3)?
True
Let g(p) = -p**3 + 9*p**2 + 11*p - 7. Let n be g(10). Let o = 3 + n. Is o a multiple of 6?
True
Let a(p) = -46*p + 6. Does 36 divide a(-3)?
True
Let v(c) = 3 - 3 - 16*c + 2 + 2. Let w be v(-5). Let j = -59 + w. Does 11 divide j?
False
Suppose -3*n + 18 = -3*c, -3*n - c = 4*c + 22. Is n/5 - 178/(-10) a multiple of 9?
True
Suppose -5*g - 3*s + 42 = -189, s + 147 = 3*g. Is g a multiple of 12?
True
Let w = -2 + 2. Suppose w = -y + 3*y + 4. Does 2 divide (-1)/y - 9/(-2)?
False
Suppose 1138 + 680 = 9*o. Is 16 a factor of o?
False
Does 4 divide (-1196)/(-156) + 0 + 1/3?
True
Let z(o) be the third derivative of o**5/60 + o**4/4 + 7*o**3/6 - 2*o**2. Let m be z(-5). Is 13 + ((-2)/1)/m a multiple of 6?
True
Suppose -2*k = k - 189. Does 21 divide k?
True
Let l be (-6)/(-4)*8/6. Suppose 0 = -l*b + 7*b - 145. Does 14 divide b?
False
Let t be 2 - (2 + -2) - 2. Suppose 6 = -t*g + 3*g. Suppose 6*p = -5*q + 5*p + 15, -g*p = 0. Does 3 divide q?
True
Is (-5)/((-5)/57) - 1 a multiple of 14?
True
Suppose -2*q + 5*q - 4*b = 269, 4*b = q - 95. Is q a multiple of 29?
True
Let i = 3 - -3. Suppose -4 - 6 = -5*c. Suppose -i*j + 5*n + 50 = -j, c*n - 45 = -3*j. Does 5 divide j?
False
Is 12 a factor of (-2)/5 + 735/25?
False
Let j(u) = u**2 - 10*u + 11. Let p be j(9). Suppose -p*n = 5*v + 58, 2*n + n + 4*v + 101 = 0. Let h = n + 83. Does 17 divide h?
False
Let h(x) = -x**2 - x + 8. Is 2 a factor of h(-3)?
True
Let o = 38 + 154. Is 48 a factor of o?
True
Let p = 52 - 30. Is 7 a factor of p?
False
Let v(h) = 8*h - 7. Let c(f) = 7*f - 8. Let g(w) = -4*c(w) + 5*v(w). Let b be 1*-3*10/(-15). Is g(b) a multiple of 21?
True
Let a = 288 - 76. Suppose u - a = -3*u. Is u a multiple of 16?
False
Suppose 2*r - 30 = -4*r. Let p(y) be the third derivative of y**4/4 - y**3/2 + y**2. Is p(r) a multiple of 18?
False
Suppose 6*g = g - 15. Let j(b) = b**2 - 5*b - 2. Does 7 divide j(g)?
False
Let k(s) = -2*s - 2. Let j be k(-2). Suppose 7*x = j*x + 25. Suppose -3*y + x*r - 2*r = -27, 3*y - r - 37 = 0. Does 7 divide y?
True
Let r = 0 - -55. Is 3 a factor of (-2)/(-5) + 143/r?
True
Let q = 36 + -24. Is q a multiple of 3?
True
Let c = -10 - -6. Let i(g) = g**2 - g + 34. Let v be i(0). Is 12 a factor of v/3 - c/6?
True
Let b(l) = -l - 1. Let u be b(-3). Suppose -1 - u = -3*q. Is q/(-4) - (-58)/8 a multiple of 3?
False
Suppose -2*u = -289 + 107. Is u a multiple of 25?
False
Does 7 divide (-784)/(-40) + (-6)/(-15)?
False
Let v = 7 + -3. Does 10 divide 1/v + (-79)/(-4)?
True
Let f(u) = -8*u + 4. Suppose -5*c - 12 = 3*g, 0 = -c + 5*g - 0 - 8. Let x be f(c). Let b = x - 13. Is 15 a factor of b?
True
Let w(p) = 3*p**2 - 10*p - 7. Is w(-8) a multiple of 39?
False
Let f = -8 - -6. Let d(g) = -g**3 - 3*g**2 - 2*g + 2. Let u(m) = m**3 + 2*m**2 + m - 2. Let j(z) = -5*d(z) - 6*u(z). Does 12 divide j(f)?
False
Suppose -3*h = h - 8. Suppose -b = h*b - 72. Does 12 divide b?
True
Let h be (-5)/(-25) + (-28)/(-10). Suppose -4*m + h = -m. Let b(o) = 49*o + 1. Is 19 a factor of b(m)?
False
Let x(k) be the first derivative of -k**6/120 - 7*k**5/30 - 7*k**4/12 - 7*k**3/6 + k**2/2 + 2. Let s(z) be the second derivative of x(z). Does 6 divide s(-13)?
True
Let m(g) = 133*g - 1. Is m(1) a multiple of 44?
True
Suppose 0 = 7*f - 8*f. Suppose 0 = -2*r - 4*m + 20, f = r - 4*m + 3*m - 10. Is r a multiple of 3?
False
Is (-100)/8*4/(-1) a multiple of 10?
True
Does 24 divide 1210/25 + (-2)/5?
True
Suppose -18 = 5*c + 22. Let h be (-1701)/(-12) + (-2)/c. Is 2/(-3) + h/6 a multiple of 8?
False
Let w = -4 - 2. Let i(a) = a**3 + 7*a**2 + 4*a - 5. Let b be i(w). Let u(o) = o**2 - 4*o + 9. Is u(b) a multiple of 15?
True
Suppose 0 = -2*t + 1 - 11. Let a = -3 - t. Suppose v = a*v - 4. Does 4 divide v?
True
Suppose -17 - 84 = -3*d - o, 4*d - 123 = o. Does 16 divide d?
True
Let w = -2 + 4. Suppose l - 5 = w. Suppose 112 = -3*a + l*a - 2*q, 0 = 5*a + q - 154. Is a a multiple of 19?
False
Let v be 2/12 + 17/6. Let l be ((-1)/(v/9))/1. Is (4/4)/(l/(-36)) a multiple of 4?
True
Let m(g) = -g + 15. Does 14 divide m(-13)?
True
Let h(m) = m**3 + 25. Suppose 0 = 3*o - 6 - 0. Let s be o/10 + 1/(-5). Is 11 a factor of h(s)?
False
Let f(l) be the first derivative of -l**4/4 - 5*l**3/3 + 3*l**2 + 5*l - 1. Let d be f(-6). Suppose 4*v - d*v = -9. Is 9 a factor of v?
True
Suppose 0*p = -12*p + 480. Is p a multiple of 2?
True
Let q(m) be the second derivative of -9*m**5/20 - m**4/12 + m**3/6 + m**2/2 + 3*m. Is 4 a factor of q(-1)?
True
Let x(l) = 11*l**3 + 3*l**2. Let z be x(-3). Let n be ((-6)/5)/(6/z). Suppose 4*v + n = 6*v. Is v a multiple of 9?
True
Let x be 0*2/(-4) - 5. Let r(o) be the first derivative of 2*o**3/3 + 3*o**2/2 + 3*o + 2. Is r(x) a multiple of 19?
True
Suppose 4*m - 6 = 370. Does 3 divide m/14 - (-4)/14?
False
Let y(d) = -3*d + 4. Let k(t) = -4 + 2*t + 11*t**2 + 4*t - 3*t - 10*t**2. Let j be k(-3). Is y(j) a multiple of 8?
True
Let d be 1 + -4 - (52 - -1). Does 11 divide d/(-10)*(0 + 5)?
False
Suppose 0 = n + 5*q - 6, -3*n + 6 = 4*q - q. Suppose 4*k - 7 - n = 0. Is 2 a factor of k?
True
Suppose -j + 179 = a, j - 3*j + 364 = 5*a. Does 32 divide j?
False
Let j(v) = 16*v**3 + 2*v - 1. Let k be 8/(-4)*(-5)/2. Suppose -3*i + k*n + 28 = 0, 20 = 4*i - 2*n + 6. Does 6 divide j(i)?
False
Suppose 8 = -3*q + 5*q. Suppose -4*k + 5*z = 24, -q*k - 3 - 5 = -z. Let i = 1 - k. Is i a multiple of 2?
True
Let p(s) = -23*s**3 + s. Suppose -2*h - u = 3*h + 3, 4*h = u - 6. Is p(h) a multiple of 11?
True
Suppose 3*i = 2*a + 3*a - 931, -2 = i. Is 11 a factor of a?
False
Suppose 0*u = -f - 5*u - 19, 0 = -4*f - u - 133. Is 17 a factor of f*(2 + 21/(-6))?
True
Let l = -50 + 80. Does 5 divide l?
True
Is 12 a factor of 1638/66 - 2/(-11)?
False
Let b = 6 + -4. Let u be 5/(-1*b/(-4)). Let n = -5 + u. Is n a multiple of 4?
False
Suppose 0 = -6*v + 171 - 45. Does 9 divide v?
False
Let w(n) = n**3 + 7*n**2 + 6*n + 4. Suppose -l - 20 = 5*q, 4*l - 4*q = -l - 13. Is w(l) a multiple of 12?
True
Does 9 divide -21*(1 - 42/9)?
False
Let q = 16 + -6. Let g = q + -6. Suppose 120 = 2*d + 2*d + g*k, -5*d = k - 150. Is d a multiple of 15?
True
Is (1*-79)/(-1) + -14 + 14 a multiple of 33?
False
Let q be 14/(-49) + 144/14. Suppose -d + 12 = -q. Is 7 a factor of d?
False
Is (-3)/(33/(-2)) - 8370/(-66) a multiple of 12?
False
Let c = 11 - 0. Is 11 a factor of c?
True
Let k(o) = -o**2 - 2*o - 1. Let s be k(-1). Suppose 5*g - 2*l - 148 = s, 2*g - l = 5*g - 80. Does 8 divide g?
False
Does 23 divide 250/8 + 0 - (-5)/(-20)?
False
Let g be 1/(-4) - (-17)/4. Suppose -2*l = -0*l - 6, 0 = -5*z + g*l - 32. Is (-504)/(-15) + z/(-10) a multiple of 13?
False
Let o(k) = -2*k**2 - 6*k - 1. Suppose -i = z - 6*i - 1, -5*z - 2*i = 22. Let b be o(z). Let n = b - -25. Does 6 divide n?
False
Suppose -4*s - 39 = -4*i + 217, 5*i = -s + 320. Is i a multiple of 16?
True
Suppose -86 = -5*y + 2*w, -7*w = -3*w + 12. Does 9 divide y?
False
Suppose 0 = -6*i - 0*i + 306. Let w = -23 + i. Is 14 a factor of w?
True
Suppose -2*b + 142 = 4*a, 2*a + 3*b = 45 + 28. Is a a multiple of 7?
True
Suppose 4*m - m = -3*a - 75, 0 = 4*a - m + 80. Does 17 divide (6/(-4))/(a/476)?
True
Suppose 5*b = b + 2*g + 30, 5*b - 2*g - 36 = 0. Suppose -55 = q - b*q. Let h = 0 + q. Is 6 a factor of h?
False
Suppose -93 + 291 = 2*c. Does 11 divide c?
True
Suppose 0 = -3*q - 0*q - u + 563, -4*q + 746 = -u. Is q a multiple of 21?
False
Suppose -3*h + 3 = -x, 4*h - 3 + 18 = -5*x. Suppose 7*i - 3*i - 52 = 0. Let n = i + x. Is 10 a factor of n?
True
Let l(v) = v**2 - 9*v - 8. Is 14 a factor of l(12)?
T