- 13 - 33 = -4*q. Does 10 divide h?
True
Suppose -z = z - 8. Suppose -3*g = g - z*m - 172, 4*g + m - 152 = 0. Does 5 divide g?
False
Suppose -5 = -5*k + s, 3*k = 4*k - 2*s + 8. Suppose k*i - 50 = -0*i. Let x = 1 + i. Does 13 divide x?
True
Let h(s) be the third derivative of 2*s**5/5 - 3*s**2. Is 8 a factor of h(-1)?
True
Let i = -13 - -13. Suppose 5*m - 4*u - 220 = i, u - 4*u = -3*m + 129. Is 16 a factor of m?
True
Let y(f) = 2*f - 2. Let s be y(2). Let v(i) = -3*i**2 - 4*i - 4. Let r be v(-3). Is s/(-1) - (r - 0) a multiple of 11?
False
Does 9 divide (-6)/4*-10 - -3?
True
Let p(b) = 14*b**2 - 2*b. Is 15 a factor of p(-2)?
True
Let t(r) = r**2 - 3*r - 5. Let v be t(5). Suppose -1 = o, v*c - 12 = c - 4*o. Suppose 0 = -c*n + 16 + 48. Does 16 divide n?
True
Let s(i) be the first derivative of -11*i**2/2 + i + 3. Is s(-2) a multiple of 23?
True
Let x be ((-3)/2)/(9/(-30)). Suppose -4*n - 2*p - 14 = -x*n, -5*p = -15. Suppose -k = -n - 7. Is k a multiple of 9?
True
Let s be (-3)/1 - (0 + -7). Suppose g - 7 = s. Let p = g - -4. Is p a multiple of 15?
True
Suppose -3*k = -k + 4*n + 16, k - n - 4 = 0. Suppose 5*b - 25 = -k*b. Does 5 divide b?
True
Is 3/(-9)*3*(-42)/3 a multiple of 2?
True
Let h(l) = -l**2 + 9*l + 4. Suppose 29 + 11 = 5*t. Is h(t) a multiple of 10?
False
Suppose 2 = 2*o - 4. Is o even?
False
Suppose 2*x = -4*d + 20, 22 = x - 2*d - 2*d. Is x a multiple of 14?
True
Suppose 0 = v - 25 + 4. Is v a multiple of 21?
True
Let t be 32 - (2 + (-4 - -2)). Let r = 112 - t. Suppose 2*y = -0*y + r. Does 15 divide y?
False
Suppose -2 = -2*w + r, -3*w + 10 - 2 = r. Suppose -2*n = -w*t + 18, 3*t - 4*n = n + 21. Does 6 divide t?
True
Let f(w) be the second derivative of -w**4/12 + w**3 + 3*w**2 - 3*w. Is f(6) a multiple of 4?
False
Suppose 9 = -4*m - j + 141, 2*m - 48 = 4*j. Suppose -25 = -n + m. Is n a multiple of 11?
False
Suppose -3*d = 2*d - 10. Suppose -5*g + 3*o = -181, -2*o - d*o - 102 = -3*g. Does 19 divide g?
True
Suppose 1 - 10 = -3*w. Suppose 4*o - 3*x = 177, -2*o + 5*o - w*x = 132. Does 15 divide o?
True
Suppose 0 = -4*d + 8*d. Let w be (2/(-4)*d)/1. Suppose 4*b + 3*u - 60 = w, b = -4*u + 27 + 1. Is 6 a factor of b?
True
Suppose -c + 92 = 6. Does 23 divide c?
False
Suppose 2*d - 157 = -3*a, -4*a + 3*d + 240 = -2*d. Is 43 a factor of a?
False
Let q be (-2)/(15/(-9) + 1). Suppose -5*b + 103 = -4*f, -q*b + 3*f + 6 = -57. Suppose 5*j = b + 41. Does 12 divide j?
True
Let j(c) = -c**2 - 9*c - 5. Suppose 2*s + 24 - 8 = 0. Let w be j(s). Suppose 0 = -2*x + 5*l + 1 + 45, -3*l = w*x - 69. Does 10 divide x?
False
Does 11 divide 2 + 34 + -3 + 4?
False
Let s be 16/24*(-63)/(-6). Does 3 divide s/(28/32) + 4?
True
Let o = 9 - 61. Let p = o + 97. Does 17 divide p?
False
Let g(l) be the second derivative of 0 + 2*l**2 - 2*l + 0*l**3 + 1/20*l**5 + 2/3*l**4. Is 3 a factor of g(-8)?
False
Let q = -24 + 64. Suppose b - 59 = -5*d + q, -2*d + 58 = 5*b. Suppose -d = -2*i - p, 3*p - 2 = -4*i + 31. Is 6 a factor of i?
True
Let x = -106 + 221. Is 14 a factor of x?
False
Let q = 5 - 2. Suppose 8*l = q*l - 5. Let z = l - -9. Does 8 divide z?
True
Suppose -o + 28 = -2*o. Does 21 divide o*(-2 + (-15)/(-12))?
True
Let g(m) be the third derivative of 1/60*m**5 + 0 + 1/24*m**4 + 0*m + 2/3*m**3 + 2*m**2. Does 4 divide g(0)?
True
Let p(q) = 166*q + 2. Is p(1) a multiple of 28?
True
Does 25 divide 7/((-35)/20) - -240?
False
Suppose -4*u + u + 39 = 0. Suppose 0 = 2*z - q + 2*q + u, 5*z + 52 = 4*q. Is 12 a factor of (2*-1)/(z/68)?
False
Let f = -16 - -51. Does 7 divide f?
True
Suppose 2*q = -p + 7, -p + 5*q + 5 = 4*p. Suppose -3*t = -3*y + 2*t + 57, -p*t = -5*y + 111. Is y a multiple of 6?
True
Let q = 82 + 2. Does 14 divide q?
True
Suppose -4*q = 4*j + 332, 0 = -4*j + q + 123 - 475. Is 6 a factor of -3*(2 + j/9)?
False
Let o = 239 + -201. Is 2 a factor of o?
True
Suppose 0 = 3*w + 3*u, -6 + 2 = -4*w - 2*u. Suppose -2*r = w*r - 68. Is r a multiple of 17?
True
Suppose s + 0*s = 0. Suppose s*n + 1 = n, -m - 91 = 2*n. Let b = -61 - m. Does 16 divide b?
True
Let u be (-2)/(-1*(-2 + 3)). Let i be (-96)/(-20) + (-2)/(-10). Let b = i - u. Does 3 divide b?
True
Let w(f) = 4*f**2 + 6*f + 5. Let v be w(-4). Let g = 4 - 0. Suppose g*s - v = -9. Does 7 divide s?
False
Let g be (240/70)/(1/14). Let f = 16 - g. Let z = -17 - f. Is z a multiple of 6?
False
Let m be 6/(-15) - 2/(-5). Let o be (2 - m)*(-1)/2. Is o/(4/5 + -1) a multiple of 5?
True
Let h be ((-44)/(-5))/((-10)/(-25)). Let u = h - 12. Is u a multiple of 5?
True
Suppose 0 = -5*k + 11*k - 414. Suppose 3*n = 5*m + k, -4*n = -2*m - 3*m - 97. Is n a multiple of 8?
False
Let h = 1 + -4. Is 11 a factor of -3*((-40)/6 - h)?
True
Does 25 divide 1792/36 - (-10)/45?
True
Suppose -12*g + 1340 = -2*g. Is 13 a factor of g?
False
Let m(r) = 16*r**3 + r**2 - 2*r + 1. Let d = 6 + -5. Is m(d) a multiple of 5?
False
Let z(m) = -67*m**3. Is 22 a factor of z(-1)?
False
Let a(p) = -p + 5. Let f be a(5). Suppose f = -5*i - 3*g + 50 + 22, -2*i = -5*g - 4. Let u = i - -14. Is u a multiple of 13?
True
Let b(w) be the third derivative of -w**6/120 - w**5/60 - w**4/24 + 5*w**3/6 - w**2. Does 4 divide b(0)?
False
Suppose -335 = -3*l + x - 6*x, -505 = -4*l + 5*x. Is 24 a factor of l?
True
Let v(d) = 2*d**2 + 13*d - 8. Let c(w) = -4*w**2 - 4*w - 2. Let l be c(-2). Is v(l) a multiple of 25?
False
Is 5 a factor of (0 - 3) + 23 + 0?
True
Let n = -31 - -71. Suppose -160 = -5*s + n. Is 8 a factor of s?
True
Let l(g) = -g - 1. Let o be l(-6). Does 18 divide (4/o)/(10/450)?
True
Let x = 33 + -20. Suppose -x = -5*o + 22. Does 4 divide (1 - -1) + o + 0?
False
Let m = 21 + 10. Does 3 divide m?
False
Let s(c) = 5*c**2 - 2 + 2*c + 5 + 0 + 2*c. Does 9 divide s(-3)?
True
Let k = -92 - -212. Is k a multiple of 15?
True
Let h(s) = 4*s - 1. Let i be h(5). Suppose 0 = 2*t + i + 1. Does 2 divide 414/45 + 2/t?
False
Let g = -99 - -144. Suppose 0 = -5*c + 2*c + g. Is c a multiple of 15?
True
Let s(m) = -m**2 + 6*m - 6. Let d be s(4). Suppose 22 + d = t. Let n = t + -2. Does 11 divide n?
True
Suppose 6*z = 2*z + j + 12, -z + 2*j + 3 = 0. Suppose 60 = 5*f - z*f. Is 30 a factor of f?
True
Let f = 303 + -181. Suppose f = 4*i - 162. Is i a multiple of 18?
False
Suppose 0 = 3*n + 2*n - 100. Is n a multiple of 5?
True
Let n(k) = 23*k + 5. Does 20 divide n(4)?
False
Let n = 668 + -469. Is 14 a factor of n?
False
Let c(s) be the third derivative of s**5/30 - s**4/24 - s**3/3 - s**2. Let q(b) = 7*b - 3. Let z be q(1). Does 13 divide c(z)?
True
Let z(h) = -1 - 8*h**2 - 3*h**2 + h**3 + 17*h**2 - 2. Is z(-5) a multiple of 11?
True
Suppose 0 = 5*c + 3*s + 2*s - 135, 4*s - 132 = -5*c. Is 12 a factor of c?
True
Let a = -43 + 119. Does 19 divide a?
True
Suppose -2*r - r = -105. Suppose r - 11 = 3*j + 3*m, -4*m = 2*j - 14. Let c(t) = t + 7. Is 8 a factor of c(j)?
True
Does 20 divide -1 - 1/(4/(-244))?
True
Suppose 11 = -3*z - 4. Let s(f) = f**3 + 5*f**2 - 7*f - 2. Is s(z) a multiple of 14?
False
Suppose -2*v + 0*v = -14. Does 3 divide v?
False
Let r(y) = y**2 + 5*y + 3. Let q(t) = -2*t + 19. Let w be q(13). Is r(w) a multiple of 6?
False
Let b(m) = -2*m**3 - 11*m**2 - 6*m - 7. Does 14 divide b(-7)?
True
Suppose -j + 6*j - 8 = 3*l, -j - 3*l + 16 = 0. Suppose -4*k - k = 5*s - 15, j*s = 2*k - 12. Suppose -2*w - 3*v = -32, 2*w + k*v - 22 = 8. Is 9 a factor of w?
False
Let p be (-4)/(-6)*(-186)/(-4). Suppose 0*f = -5*w + f + p, 5*f = -4*w + 48. Let l = w - -3. Does 7 divide l?
False
Let g = 5 + 58. Is g a multiple of 21?
True
Suppose -5*w = -2*v - 102, 3*v - 10 = 2. Is w a multiple of 3?
False
Let p(o) = 23*o - 47. Is p(8) a multiple of 23?
False
Suppose 0 = w - 4*w - 3*n + 51, -2*w + 34 = -5*n. Suppose w = -0*v + v. Does 10 divide v?
False
Suppose -5*j - 4*w = -438, 0 = -4*j - j - w + 447. Is j a multiple of 10?
True
Let z(g) = 22*g**2 + 2*g - 1. Suppose l = -3*l - 8. Let d = 3 + l. Is z(d) a multiple of 12?
False
Suppose -2*q + 2*w = -8, 2*w + 2 = -4*q - 0. Is 6 a factor of q*5/((-5)/(-6))?
True
Let s(d) = -4 + 0 + 5*d - 3. Does 14 divide s(5)?
False
Let t(u) = u**3 - 7*u**2 + 7*u. Let m be t(6). Does 3 divide (m - 5)*(-1 + 4)?
True
Let h(r) = -r**2 + 7*r - 3. Let n be h(6). Suppose 0 = 3*z - 6, x + 3 = z - n. Does 11 divide x + 4 - 32/(-2)?
False
Let c(s) = -s**3 + 7*s**2 + 10*s - 2. Is c(7) a mult