 5*l + 53, 0 = -r + l + 24. Is 14 a factor of r?
False
Suppose 4*q - 34 = -562. Let d = 193 + q. Let f = d - 32. Does 19 divide f?
False
Suppose -409 = -4*k + 311. Does 15 divide k?
True
Suppose -2*o - 1 - 1 = 0. Let j be (-4 - (o + 0))*-13. Let g = 55 - j. Does 16 divide g?
True
Suppose -11*b + 1454 = -702. Does 29 divide b?
False
Suppose -25 = -4*o + 3. Is o a multiple of 7?
True
Let o(m) = -9*m**3 - 4*m - 4. Does 38 divide o(-2)?
True
Let v = -13 - -14. Let b(m) = 38*m + 1. Is 12 a factor of b(v)?
False
Suppose -3*o + 294 = 4*c - 8*o, 3*c - 3*o - 222 = 0. Does 12 divide c?
False
Let r = 5 + -4. Suppose -2*l = -i - 13, -3*l - 3*i - 4 + r = 0. Does 2 divide l?
True
Let o = -43 + 153. Is 10 a factor of o?
True
Suppose 0 = 5*i - 4*s - 1092, 2*s + 693 = 3*i + 39. Is i a multiple of 27?
True
Let p be (20 - 0)*4/5. Let r = p - 4. Is r a multiple of 6?
True
Let o be (1 + 0)*0/3. Suppose o = 4*a + 8, 7*w = 3*w + 5*a + 6. Let f(q) = 12*q**2 - q - 1. Is 12 a factor of f(w)?
True
Let b(w) = w**2 + 11*w - 9. Let y be b(-12). Suppose 3*s + 0*a - 138 = -y*a, -5*a - 40 = -s. Does 9 divide s?
True
Suppose -6*z - 20 + 98 = 0. Is z a multiple of 13?
True
Let b be 1*36 - -1 - 3. Let h = b + -20. Does 14 divide h?
True
Let g(c) = 256*c. Let q(m) = -27*m. Let p(b) = -5*g(b) - 48*q(b). Does 9 divide p(1)?
False
Suppose 9*u - 1313 = 550. Is u a multiple of 23?
True
Let g(u) = u + 7. Does 9 divide g(8)?
False
Let t(i) be the first derivative of -i**4/4 - 5*i**3/3 + 3*i**2 + 6*i - 1. Is 3 a factor of t(-6)?
True
Let d = 5 + -3. Suppose -4*h = 3*g - 11, -4*g + d*g + 3*h = -13. Suppose -5*q = -4*p + 62, -4*p + g*p - 3*q = 12. Is 9 a factor of p?
True
Let w(z) = z**3 + 11*z**2 + 3*z - 9. Does 29 divide w(-10)?
False
Let j(z) = -z**3 - 5*z**2 - 3*z - 7. Let u be j(-5). Suppose 2*l + 6 = 3*k - u, -18 = -4*k + 3*l. Suppose 0*q + k = q. Does 2 divide q?
True
Let w(t) = -4 + 4 - 37*t + 7*t. Is 15 a factor of w(-1)?
True
Let p(f) = 0*f**3 - 2*f + 5*f**2 + 8 + f**3 - 2. Does 6 divide p(-5)?
False
Suppose -w - 11 - 74 = -5*k, 183 = -2*w - 3*k. Let s = 129 + w. Is s a multiple of 13?
True
Suppose 2*l + 4 = 4*l. Suppose 0 = -l*y + 3*y - 21. Is y a multiple of 20?
False
Suppose 4*z - 3*m - 231 = 0, z - 5*m + m - 74 = 0. Is 27 a factor of z?
True
Suppose 2*q + n = 12, n = -2*q - 3*n + 18. Suppose 0 = 2*t - 2*r + 6 - 22, 3*t + q*r = 0. Suppose -108 = b - t*b. Does 12 divide b?
False
Let j = 11 + -5. Suppose -3*a = -j*a + 147. Is a a multiple of 11?
False
Suppose -1 = -d + 3. Let t be 1*(-12)/(-14)*49. Suppose -d*k = -t - 10. Does 13 divide k?
True
Let y(l) be the third derivative of 3*l**6/40 - 3*l**2. Does 24 divide y(2)?
True
Suppose 6 = 2*j + j. Suppose -1 + 3 = j*f. Does 7 divide (-3)/((-17)/(-20) - f)?
False
Let u(x) = x**3 + 8*x**2 + 6*x + 4. Is 11 a factor of u(-7)?
True
Let n(a) = -6*a + 5. Let b be n(-5). Suppose 3*p - 112 = b. Does 22 divide p?
False
Does 18 divide ((3 - 1) + 16)/1?
True
Suppose -2*a - 2*s = -3*a + 8, -3*a = 4*s - 14. Suppose 5*f + 2*v = 940, 4*f - 721 = -5*v + 14. Suppose r + f = a*r. Is 19 a factor of r?
True
Let t(l) = l - 5. Let h be t(6). Let o(f) = -f**2 + 3 + 1 - h - 6*f. Is 12 a factor of o(-3)?
True
Suppose -5*a + 3*a - 310 = -5*y, 4*y = 2*a + 246. Does 4 divide y?
True
Let l(k) = -k + 7. Is 2 a factor of l(3)?
True
Suppose 8*w - 12 = 7*w. Is 3 a factor of w?
True
Let t(p) = -3*p**2 - 5*p**3 + 3*p**3 - 1 - 3*p - p**3. Suppose 5*q - 5*c = -5, c + c = -2*q - 6. Does 14 divide t(q)?
False
Suppose 2*p = -5*z - 4, -4*z + 5*p - 8 = 15. Let h(r) = -11*r + 3. Is 5 a factor of h(z)?
True
Let v(g) = -g**3 + g + 21. Is v(0) a multiple of 7?
True
Let q be (42/2)/(3/2). Suppose v + 3 = q. Is 11 a factor of v?
True
Let n be ((-6)/(-9))/(2/12). Let u = n - -8. Does 6 divide u?
True
Let z = 145 - 85. Is z a multiple of 10?
True
Suppose 0*o - 3*o - 6 = 0. Let r be 0*o/(-4)*-2. Suppose -3*j = 4*l - 14, -l + 13 = -r*l - 4*j. Is 3 a factor of l?
False
Suppose -85 - 68 = -2*g - l, 0 = -l - 3. Does 19 divide g?
False
Suppose 5*v + 2*f = -0*v + 312, -4 = f. Is v a multiple of 15?
False
Let j(q) = q**2 - q + 6. Let g be j(-7). Suppose 3*r - 220 = g. Suppose 5*s - r = 26. Does 11 divide s?
False
Let c = -33 + 57. Is c a multiple of 12?
True
Let z(g) = 34*g**2 + 4*g + 1. Does 12 divide z(2)?
False
Suppose 3*z - b = 157, 0*b = -5*z + 5*b + 275. Let g = z - 30. Does 9 divide g?
False
Let v = 310 + -194. Suppose 5*n + m - 176 = 0, 0 = 3*n - 0*m - 2*m - v. Is n a multiple of 10?
False
Let b = -107 - -184. Is 11 a factor of b?
True
Let b be (-3 + 7)/(1/32). Suppose 3*m = 7*m - b. Is m a multiple of 8?
True
Is (-1)/(-2) - 132/(-24) a multiple of 2?
True
Is (-2 - -1)*4 + 32 a multiple of 7?
True
Let u be (-4 - -4) + 3 - -141. Is -4 - (-7)/(21/u) a multiple of 15?
False
Suppose 12 = x + 4*i - i, -4*x = -4*i - 80. Let k = -86 + 110. Is (3*6)/(x/k) a multiple of 8?
True
Let u(r) = -r**2 - 7*r + 21. Is 3 a factor of u(-9)?
True
Suppose 0 = 3*a - 2*v + 79, -5*v - 86 = -2*a + 5*a. Let u = a + 52. Is u a multiple of 13?
False
Let t = -18 + 13. Let x(m) = -6*m - 2. Does 14 divide x(t)?
True
Let i(c) = -c**2 - 11*c. Let m be i(-8). Let x = -30 + 17. Let s = m + x. Is s a multiple of 3?
False
Suppose -o + 5*a = -5, 5*a + 5 = 3*o + 2*o. Let r = 2 - o. Does 6 divide 7 - (-1 - (2 - r))?
False
Suppose 2*y - 2*o - 6 = -0*o, 2*o - 42 = -4*y. Let j = y + -6. Suppose j*g - 230 = -3*g. Does 13 divide g?
False
Suppose 4 = 5*s - 3*s. Does 7 divide (s + -3)/((-2)/14)?
True
Let u = 11 - -1. Is 3 a factor of u?
True
Let t = -10 + 17. Suppose -2*p = -0*p. Let l = t - p. Is l a multiple of 6?
False
Suppose 80 = 5*y - 5*k, 3*y - 5*k + k - 47 = 0. Is 7 a factor of y?
False
Let y = 466 + -260. Is y a multiple of 20?
False
Let p(v) = 23*v - 25. Does 8 divide p(7)?
True
Suppose -u + 88 = 2*x, 3*u - 4*u + 2*x = -104. Suppose h - u = -2*s, 0 = 5*s - h + 2*h - 234. Is 23 a factor of s?
True
Let h = 38 - 19. Does 9 divide h?
False
Does 32 divide (-53)/((-3)/27*3)?
False
Let d be (-1)/2*(0 - -12). Let m be (-327)/(-4) - d/(-8). Suppose -m = 5*f - 256. Does 28 divide f?
False
Suppose 4*q = -2*u + 3*q + 145, -q - 135 = -2*u. Is u a multiple of 35?
True
Let a(t) = -t. Let d be a(-8). Suppose -2*n - 3*k + 5 = -0*n, -4*n - 4*k = -d. Is n/(-2) - (-17)/2 a multiple of 4?
True
Let q(j) = -j**2 - 2*j + 7. Let p be q(-4). Does 3 divide p/(-3) + (-96)/(-36)?
True
Suppose 0 = -l + 14 + 16. Suppose -p + 2 + l = 0. Suppose 4*n - p = -r - 4*r, 11 = 2*r + n. Is r a multiple of 4?
True
Suppose -m = -2*m + 6. Let n be 9*(-1 - 0)/(-3). Does 8 divide (-2 - -2) + m*n?
False
Let d = 3 - -3. Suppose 2*a = d*a - 8. Is 2 a factor of a?
True
Let q(i) be the third derivative of i**6/360 + i**5/30 - i**4/12 + i**3/3 + 2*i**2. Let g(p) be the first derivative of q(p). Is 10 a factor of g(-6)?
True
Suppose 3 + 7 = 2*h. Let q(m) = m**2 + 7. Is 16 a factor of q(h)?
True
Let m(b) = 2 + 3 + 3*b**2 + b - 2*b. Is 13 a factor of m(5)?
False
Let z be (0 + 0)*3/(-6). Suppose 5*u + 3 + 37 = z. Let d = u - -15. Is d a multiple of 6?
False
Is 12 a factor of (1*-1)/((-11)/1364)?
False
Suppose 0 = 4*i + 8, 0 = 2*v + i + 4 - 10. Suppose 3*r - 9 = -a, 5*r - r - 28 = v*a. Is 38/r + (-2)/4 a multiple of 9?
True
Let o(k) = -k**3 + 7*k**2 + 8*k + 18. Is o(8) a multiple of 9?
True
Let k = 6 - -12. Is 6 a factor of k?
True
Suppose -2*b - 14 + 160 = 0. Does 15 divide b?
False
Let s = -42 - -24. Let c be (-4)/s - (-97)/9. Let j = 17 - c. Is j a multiple of 6?
True
Suppose -5*j = -405 + 145. Does 12 divide j?
False
Let s be (3/(-6) - -1)*2. Let h = 0 + s. Is 3 a factor of -3*(1 - h - 1)?
True
Suppose 0 = -2*b - 3*y + 9 + 6, y = 3. Suppose -3*d = -5*k - 136, b*k + 0 = -15. Let a = -5 + d. Does 16 divide a?
True
Suppose 0*z = 3*z - 36. Suppose -2*w = -w - z. Is w a multiple of 6?
True
Suppose -6 = 4*b - 7*b. Suppose b*s = 5*s. Is 5 a factor of (s + (-20)/(-6))*3?
True
Let l = -41 - -57. Does 6 divide l?
False
Suppose -12 = 4*a, 5*k - 3*k - 5 = a. Is 19 a factor of (1 + 0 - k) + 38?
True
Suppose -5*i + 171 = j, i + 0*i - 4*j = 51. Is 7 a factor of i?
True
Let k(u) = 3*u + 7. Suppose 4*g - 21 - 7 = 0. Let b be k(g). Suppose -p - 3*t + b = -0*p, 188 = 5*p - t. Is 19 a factor of p?
False
Let u(v) be the second derivative of v**2 - 1/4*v**4 - 2*v + 1/20*v**5 + 0 + 1/3*v