- r, 2*n + 41 = 5*s. Is s a multiple of 9?
True
Let x be 32/18 + 4/18. Suppose 3*c - 47 = -c + 3*p, 0 = 2*p + x. Let k = c + 11. Is 9 a factor of k?
False
Let o(q) = -2*q**2 + 14*q + 4. Does 8 divide o(6)?
True
Let k(m) = m**2 - 3*m + 17. Is 19 a factor of k(14)?
True
Let q(f) = -2*f**3 + 2*f**2 + 2*f. Let r be q(-2). Let o = r + 37. Does 18 divide o?
False
Let f(l) = -l**2 + 26. Let m be f(0). Suppose 3*x = -5*i - 31 - 39, 0 = x + 3*i + m. Is 5 a factor of x/6*9/(-2)?
True
Let z be 114/(-2 + 92/40). Suppose -4*h - 3*n + 387 - 10 = 0, 4*n = -4*h + z. Is 23 a factor of h?
True
Let z = 81 + -37. Suppose 42 = c - 5*i, -2*i = c + 2 - z. Suppose 4*u - c = -2*k + 22, -5*u - 2*k + 80 = 0. Does 8 divide u?
True
Suppose -2*n = 2*v - 104, 0 = -5*n - 0*n - 2*v + 272. Suppose 2*q - n = 24. Is q a multiple of 11?
False
Let c(k) be the first derivative of -k**2 + 3. Let n be c(2). Is 5 a factor of 252/30 + n/10?
False
Let o = 75 + 40. Is o a multiple of 34?
False
Let n(o) = -2*o**3 - 2*o**2 - 2*o + 5. Let s be n(-5). Suppose 0*p + s = 5*p. Suppose -5*i - 56 - 115 = -4*j, -j + i + p = 0. Does 18 divide j?
False
Let h(g) = -g**2 + 8*g - 1. Let y be (-2)/(-9) - (-33)/(-27). Let u be 5 - 0/(y + -2). Is h(u) a multiple of 7?
True
Suppose -g = -3*u - 10, 3*u - 15 = -0*u. Suppose g - 5 = 5*c. Suppose c*d - 113 = 7. Is 12 a factor of d?
False
Let p be (-4 - -3)/(4/(-16)). Suppose -r - 9 = -p*r. Does 2 divide r?
False
Let t be 3/6 - 13/2. Let q(g) = -g**2 - 13*g + 4. Does 23 divide q(t)?
True
Let j be 1 - (724/(-4) - 3). Suppose -2*h + 3*h + 275 = 4*m, 3*m - 5*h - j = 0. Is 20 a factor of m?
False
Suppose -4*x = -2*b + 32, -4*b + 5*x + 52 + 3 = 0. Let m be (-4)/b + 276/15. Suppose 5*a + 3*g + g = m, -2*g + 8 = 2*a. Is a a multiple of 2?
True
Let n(b) = -15*b - 9. Is n(-10) a multiple of 28?
False
Suppose 28 - 3 = 5*l. Let n(v) = -v**3 + 5*v**2 - 5*v + 2. Let c be n(3). Suppose 3*r - 33 = -l*j - 4, c*r + 3*j = 43. Does 4 divide r?
True
Suppose 5*z - 2*z + 4*h = 0, 0 = -2*z + 3*h + 17. Suppose s - 430 = -z*s. Does 24 divide s?
False
Let x be 1/2*-2 + -1. Does 26 divide -2 + (x/(-2) - -76)?
False
Let a be -45*((-6)/9)/1. Let t = 240 - a. Is t/27 + (-4)/(-18) a multiple of 7?
False
Suppose -2*p + 3*p = 4. Let d = p + 10. Is 14 a factor of d?
True
Suppose -y - 13 = -5*t - 0*y, -3*y - 7 = t. Suppose 0 = -t*d + 6. Does 10 divide d - (-1 - (-1 + 25))?
False
Let x be (-1)/(-2 + 10/6). Suppose x*u + 5*l = 133, -3*l = -u - 3*u + 129. Does 9 divide u?
True
Let n = 7 + 4. Is 11 a factor of n?
True
Let s(a) = a**3 - 3*a - a + a + 1 - 2*a - 3*a**2. Does 16 divide s(6)?
False
Let c(x) = -x**2 - 37*x - 36. Does 32 divide c(-14)?
False
Suppose -5*l - 48 = -123. Let h = -8 + l. Does 7 divide h?
True
Let p(k) = -2*k + 2. Is 7 a factor of p(-3)?
False
Let k = -42 + 79. Is 21 a factor of k?
False
Let o(k) = 2*k**2 - 7*k - 6. Let l(q) = -q**2 + 8*q + 7. Let d(t) = -3*l(t) - 2*o(t). Let a be d(-9). Suppose a = 4*i - 18 - 22. Is i a multiple of 10?
True
Let b(m) = m**2 - 10*m + 8. Is 15 a factor of b(-5)?
False
Let f(j) = -j**3 - 8*j**2 - 5*j - 4. Let g = 11 + -19. Let l be f(g). Is 3 a factor of ((-2)/2)/((-6)/l)?
True
Let j(t) = t + 5. Does 5 divide j(0)?
True
Let y(k) = k**2 + 6*k - 8. Let s(q) = q. Let v(j) = -3*s(j) - y(j). Is 11 a factor of v(-7)?
True
Let c(b) = -b + 13. Let z be c(10). Let t be (z - -2)*(-12)/(-10). Suppose 0 = -0*h + h - t. Does 3 divide h?
True
Let j = 2 + 0. Suppose -j*s = -5*s + 12. Does 4 divide s?
True
Suppose 3*w = 7*m - 3*m + 329, m - 445 = -4*w. Suppose 0 = 2*h - w + 47. Does 6 divide h?
False
Suppose 353 = 4*j - 3*n, 0 = -j + 3*n + 79 + 16. Does 7 divide j?
False
Is (-22)/(7/(63/(-2))) a multiple of 9?
True
Let v(f) = f**3 - 9*f**2 - 14*f + 15. Is v(11) a multiple of 18?
False
Does 29 divide 4 + 4 + -6 - -85?
True
Let m(z) = z**3 + 7*z**2 + 8*z + 8. Is m(-4) a multiple of 7?
False
Let a = 23 + 0. Does 7 divide a?
False
Let l(y) = -y**2 + 14*y - 10. Let g be l(10). Is 20 a factor of (g*-1)/((-6)/8)?
True
Suppose 0 = d + 4, d = -5*q - 0*d + 41. Is 11 a factor of 63/6*24/q?
False
Let i(x) = 4*x + 6. Let g be i(-7). Let w(k) = 89*k**2 + k + 2. Let m be w(2). Does 8 divide 4/g - m/(-44)?
True
Let z = -29 - -53. Is 24 a factor of z?
True
Let b(i) = 2*i + 26. Is b(17) a multiple of 12?
True
Let f = 2 - -2. Suppose f*d - 23 = 77. Let t = 47 - d. Does 11 divide t?
True
Let x(k) = k**3 + 6*k**2 - 6*k + 9. Let j be x(-7). Let g = j - 0. Suppose -3*w - 5*f + 19 = 0, 0 = -g*f + f + 2. Does 3 divide w?
True
Let c = 46 - 26. Suppose 4*n - 20 = -6*l + 3*l, -n + 3*l + 5 = 0. Suppose s = n*s - c. Is s a multiple of 2?
False
Does 10 divide (-6)/((-44)/20 - -2)?
True
Let c(w) = w**3 + 9 - 11 + 18*w**2 - 19 + 12*w. Is 20 a factor of c(-17)?
False
Suppose 5*r - 5*p - 105 - 105 = 0, -r - 3*p = -62. Is r a multiple of 7?
False
Let j be 4 - (2 - (-3)/(-3)). Suppose -s + 5 = -j. Does 18 divide 24/1*18/s?
True
Let h be -6*((-100)/24 + 4). Is -15*(-6 + h) + 3 a multiple of 26?
True
Let d(c) be the first derivative of -c**3/3 + 4*c**2 - 2*c - 4. Does 2 divide d(5)?
False
Is 17 a factor of (-6)/18 - (-232)/3?
False
Suppose -2*s = -4*i + 2, -2*i + 0*s - 4*s - 24 = 0. Let n = 2 + i. Suppose -5*b = -3*u + 8, n*b - b = -3*u + 28. Is u a multiple of 11?
True
Suppose -3*v = -t - 10, -2*v + 2*t + 8 = -0*t. Suppose v*r = 2*r + 21. Does 7 divide r?
True
Let d(w) be the third derivative of -9*w**4/8 + w**3/3 + w**2. Let k be d(-2). Suppose -4*j + j + i = -68, 3*j = -5*i + k. Does 12 divide j?
False
Suppose -1 = 2*o - 29. Suppose -o = y - 2*y. Is 8 a factor of y?
False
Let d(j) = -5*j**2 - 45*j + 16. Let f(g) = -g**2 - 11*g + 4. Let u(s) = -2*d(s) + 9*f(s). Let o(m) = -9*m**3 - 2*m - 1. Let c be o(-1). Is u(c) a multiple of 9?
False
Let m = 23 + -3. Let q be 2*5/(m/54). Suppose -q = 2*z - 79. Does 13 divide z?
True
Let z be (-3 - -6)/(-6)*-44. Suppose 0 = -4*h + 2*u + z, -2*h + 4*u + 6 = 2*u. Is 4 a factor of h?
True
Let d be (-60)/(-35)*7/2. Suppose 2*j = 16 - d. Is j a multiple of 4?
False
Let h(t) = 9*t**2 - 3*t. Is h(3) a multiple of 16?
False
Suppose 3*s + 3*i = 8*i + 15, -i = 2*s - 10. Let c = -4 + s. Is (2 + c)*(-48)/(-9) a multiple of 8?
True
Let y(g) = -2*g**2 + 40. Is y(0) a multiple of 11?
False
Suppose x + g - 9 = 0, 0 = 4*x - 3*x - 5*g + 9. Let j(l) = 4*l - 6. Let t be j(x). Does 12 divide (t/8)/(3/60)?
False
Suppose 2*d - 16 = 2*y, -5*d - 38 = -0*y + y. Is (0 - -1 - 2)*y a multiple of 12?
False
Does 15 divide 33*(12/(-9) - -3)?
False
Let m = -30 - -8. Let p = m + 25. Does 3 divide p?
True
Let p(w) = -w**2 + 5*w + 3. Let o be p(5). Suppose o*k = -z + 115, 2*z + 154 = 4*k + 3*z. Is 12 a factor of k?
False
Suppose -8 = -0*z - 4*z. Suppose -z*c = 2*c - 188. Is c a multiple of 12?
False
Suppose 5*g = 0, -3*b - 5*g = -2*b - 12. Does 4 divide b?
True
Let s(f) = 17*f**2 - 1. Is s(1) a multiple of 8?
True
Let w(a) be the second derivative of a**5/20 + 3*a**4/4 - a**3/3 + 3*a**2 - a. Is w(-9) a multiple of 12?
True
Let r(f) = -4*f**3 + f**2 + 2*f - 3. Let w be r(2). Is 5 a factor of (-276)/w + 4/(-18)?
True
Suppose 0 = z + z - 4. Suppose c + 66 = z*n + 22, -5*c + 74 = 4*n. Is n a multiple of 7?
True
Let r(j) = -j**3 + 10*j**2 - 6*j - 2. Is r(9) a multiple of 8?
False
Let k be (-10)/(-25) + 18/5. Suppose -k = -2*c + 18. Let b = c + 0. Is 11 a factor of b?
True
Let l(x) = 3*x**3 + 2*x**2 - 2*x + 1. Is 2 a factor of l(1)?
True
Is 3 + ((-68)/(-18) - (-10)/45) a multiple of 3?
False
Let s be 1 - (1 - (0 - 0)). Is (8 - -15) + (3 - s) a multiple of 26?
True
Suppose 3*z = 5*g + 6 - 2, 0 = 3*z - 3*g - 6. Let h(d) be the second derivative of -d**5/20 + d**4/3 + d**3/6 + d**2/2 + 11*d. Is 13 a factor of h(z)?
True
Suppose -4*n - 2*n = -72. Does 2 divide n?
True
Let h be 1*(-3 - -2)*-7. Let q(t) = t**3 - 8*t**2 + 9*t - 2. Does 5 divide q(h)?
False
Let a = -3 + -3. Let g = -3 + 4. Does 8 divide a*g*40/(-15)?
True
Suppose 0 = 4*l - 0*l - 144. Let p = l - 26. Suppose 3*z - 48 = q - 4*q, q - p = -3*z. Does 19 divide q?
True
Let t = 2 - 4. Let h = 3 + t. Is ((-1)/h)/((-5)/95) a multiple of 19?
True
Does 2 divide 322/28 + 3/(-2)?
True
Let y be (-402)/15*-5*1. Let o = y - 95. Suppose -4*h + g + o = 0, -2*h + 2*g + 16 = -2. Is h a multiple of 4?
False
Let l = 136 + -114. Does 20 divide l?
False
Let n(k) = -