s 2 divide n?
False
Suppose 25*o = 19*o - 36. Let u(p) be the second derivative of p**5/20 + 7*p**4/12 - 7*p**3/6 - 3*p**2/2 - p. Is 25 a factor of u(o)?
True
Suppose 3*k = -0*k - 39. Let b = 14 + k. Let h(q) = 14*q**3 + q**2 - q + 1. Is 4 a factor of h(b)?
False
Suppose 2*c + 8 = 5*m, 7*m - 5 = -c + 5*m. Let i(o) be the third derivative of 11*o**6/60 + o**4/24 - o**3/6 - o**2. Does 5 divide i(c)?
False
Suppose -18*i = -20*i - 12. Is 275/3 - (-4)/i a multiple of 10?
False
Let m(n) = -52*n + 24. Does 58 divide m(-4)?
True
Let h = 15 - 11. Suppose 5*i + 4*u + 9 = h*i, 2*i + 5*u = -3. Does 7 divide i?
False
Suppose 2*j - 32 = -2*t, -1 = -j - 0. Let z = t + 24. Does 12 divide z?
False
Let u(s) = -3*s + 2. Let t be -3*2*(-1)/(-6). Let z be u(t). Suppose 3*d = m - z + 1, -2*d + 2 = 0. Is 3 a factor of m?
False
Let t(o) = o**3 - 2*o**2 + 13*o - 22. Is t(9) a multiple of 17?
False
Suppose 2*d = -t + 12, 3*d = -5*t + 33 - 8. Suppose 3*g - 3*p = 102, t*g - p + 6*p - 40 = 0. Is g a multiple of 10?
True
Suppose -4*l = 8, 5*m - l + 2*l - 18 = 0. Suppose 0 = -2*i - o + 171, -1 = -o - 0. Suppose m*v + v = i. Is 5 a factor of v?
False
Suppose 0 = 20*o - 15*o - 880. Is o a multiple of 4?
True
Let x = 9 + -13. Let i = x - -4. Suppose -y + 34 = 2*f, y + y - f - 73 = i. Is 18 a factor of y?
True
Let g(s) = s**2 + 5*s - 1. Let n be g(7). Let l = n - -37. Does 12 divide l?
True
Is ((-13)/(-4))/(1521/252 + -6) a multiple of 10?
False
Let n = -49 + 126. Let g = 119 - n. Suppose 4*c = c + g. Is 6 a factor of c?
False
Suppose 0 = 2*w + 2*w + 28. Let j(l) = -2*l - 6. Let o be j(w). Is 54/o - (-4)/16 a multiple of 2?
False
Suppose 2*a = -2*y - 42, -4*a + a - 43 = -2*y. Let n = 49 + a. Is 32 a factor of n?
True
Let k(q) = 2*q + 48. Let w be k(-21). Let u(x) = 3*x**2 - x - 18. Is u(w) a multiple of 28?
True
Let m = 607 + -324. Is m a multiple of 5?
False
Let b = 14 + -8. Suppose x + b + 5 = 4*m, 2*x - 8 = -2*m. Let j(q) = 10*q + 1. Is 6 a factor of j(x)?
False
Let k = -892 - -2479. Does 6 divide k?
False
Suppose -17*g + 586 = -1182. Is 25 a factor of g?
False
Suppose -63*t = -66*t + 5577. Is 29 a factor of t?
False
Is (1 + 314/6 - 0)*18 a multiple of 30?
True
Let a be (-1 + 0 - -1)*1. Suppose x - 25 - 44 = 0. Suppose -n + x = -a*n. Is n a multiple of 23?
True
Let s(i) = -6*i. Let t be s(-2). Suppose 3*d - d = 192. Suppose 8*y + d = t*y. Is y a multiple of 24?
True
Suppose 0 = 3*r + 3*t - 255, r + 3*t = -4*r + 417. Suppose 0 = -3*g - 3*j + 168, 4*g + 4*j - 3*j = 218. Let f = r - g. Is f a multiple of 9?
True
Suppose -2*b + 5*x - 700 = -6*b, x + 364 = 2*b. Does 10 divide b?
True
Is 40 a factor of 636/(-2332) + (-10123)/(-11)?
True
Let h = 641 - 191. Does 12 divide h?
False
Suppose 8*t - 706 = 630. Suppose -s + 57 = -t. Is s a multiple of 14?
True
Suppose -3*t + 1 + 2 = 0. Let p be t/(-3)*210/(-7). Suppose 3*c = -4*r + 85, -p = -r + c + 2*c. Does 4 divide r?
False
Suppose 1091 = 2*v + 443. Is v a multiple of 16?
False
Suppose 8*f = 4125 - 1605. Is f a multiple of 9?
True
Let u be ((-6)/15 - 0)/((-1)/5). Suppose 4*p + b = 480, -b - 240 = -u*p - 3*b. Does 24 divide p?
True
Suppose -3*c - 98 = 2*o + 2*c, 210 = -5*o + 5*c. Let w(i) = -i + 8. Let h be w(4). Let m = h - o. Is m a multiple of 16?
True
Let g(n) be the third derivative of 1/8*n**4 + 0 - n**3 - 2*n**2 + 0*n. Does 2 divide g(3)?
False
Let o(v) = v**2 + 3*v + 38. Let s be o(-11). Suppose -12*r = -6*r - s. Does 7 divide r?
True
Let w(c) = -7*c - 4. Let u(b) = -7*b - 5. Let h(n) = 3*u(n) - 4*w(n). Let l be h(2). Suppose -x + 2 = -l. Is 7 a factor of x?
False
Suppose 3*n - 25 = o, 0*o - 4*o = 2*n - 40. Let q(b) = -b**2 + b + 1. Let r(p) = p**3 - 16*p**2 + 17*p + 2. Let j(k) = -5*q(k) + r(k). Is 9 a factor of j(n)?
False
Let x = 20 + -22. Let c be (9/(-12))/(x/(-56)). Is 3/c + (-876)/(-7) a multiple of 34?
False
Suppose -11*l + r = -7*l - 227, l = 2*r + 48. Does 5 divide l?
False
Does 2 divide 903/(-215)*65/(-3)?
False
Let x = -371 - -751. Suppose -3*r + x = -157. Does 42 divide r?
False
Does 11 divide 657 - (3/9)/((-6)/(-144))?
True
Let a(r) = r**3 + 5*r**2 - 4*r + 7. Let u be a(-5). Let t = u + -15. Is 12 a factor of ((-123)/12)/((-3)/t)?
False
Let r(j) = 8*j**2 - 1 - 5*j - 5*j**2 - 3. Suppose m + w - 13 = -2*m, 4*m - 2*w = 14. Does 5 divide r(m)?
False
Let k be (-41 + 33)*((-87)/(-4) - -1). Does 17 divide k/21*-12 + -2 + 0?
True
Suppose 2*q - 6*q = -504. Suppose 0 = -3*x - 2*x + 5*o + 80, -5*o + 15 = 0. Suppose -q = -5*m + x. Is 8 a factor of m?
False
Does 5 divide 8/20 + (-528)/(-5)?
False
Let g(f) = 23*f**2 + 2*f - 3. Let z = -23 - -24. Is 11 a factor of g(z)?
True
Let j = 1370 + -481. Is 6 a factor of j?
False
Let o(q) = 30*q**2 - 14*q + 24. Does 11 divide o(2)?
False
Suppose -424 = -4*a + 2*d, a + 37 = -3*d + 129. Does 4 divide a?
True
Suppose 22*j - 7081 = -1581. Is j a multiple of 15?
False
Let j = 27 + -39. Let f(t) = -21*t**2 - 11 - 15*t - 3*t**2 + 23*t**2. Is 11 a factor of f(j)?
False
Let f(k) = -5*k**2 - 47*k + 49*k + 4*k**2. Let x be f(0). Suppose 5*u + x*u = 260. Is u a multiple of 26?
True
Let v(l) = l**3 - 10*l**2 + 9*l + 8. Let c be v(9). Is c/6 - 670/(-6) a multiple of 46?
False
Let o(p) = 165*p - 3. Let f = 54 - 53. Does 17 divide o(f)?
False
Let n(d) = 5*d + 1. Let x(p) = -1 + 5*p + 0*p - 9*p. Let w be x(-1). Is n(w) a multiple of 4?
True
Let t(a) = -64*a - 105. Is 43 a factor of t(-5)?
True
Let f be 6*36 + 4 + -4 + 0. Suppose f - 56 = 5*v. Is 20 a factor of v?
False
Suppose 0 = -6*z + 4*z. Let f be (z - -26)*(-4 - -6). Suppose 3*b = -3*y + 5*b + f, 5*b - 77 = -4*y. Does 18 divide y?
True
Let f be 11 - (5 - (-8)/(-2)). Suppose 0 = f*k + 37 - 127. Is 4 a factor of k?
False
Let c(b) = 67*b + 463. Is c(-6) a multiple of 9?
False
Let g(o) = 2*o**2 - 3*o - 35. Is g(7) a multiple of 42?
True
Suppose 5*i - 1324 = 3*i. Suppose 0 = -6*p + 4 + i. Is 8 a factor of p?
False
Let j(u) = 34*u - 126. Does 2 divide j(10)?
True
Suppose 3*y - 75 = -2*y. Let j = y + -13. Suppose j*f - 111 + 9 = 0. Is f a multiple of 17?
True
Let c(i) = i**2 + 5*i - 115. Is 13 a factor of c(19)?
False
Suppose 0 = -3*w - 0*w - 12. Let x be 0/(-3)*(-4)/w. Is 9 a factor of x + (-1 + 37 - 4)?
False
Let v = 3 - -4. Let m be 10/6*(v + 65). Suppose l = -2*h + 7*h + 30, 4*l + 4*h = m. Does 16 divide l?
False
Suppose 11*l - 9*l + 1380 = 3*q, 467 = q - 3*l. Does 62 divide q?
False
Suppose 9 = 2*s + 11. Is (-4)/((-12)/123) + 2 - s a multiple of 22?
True
Suppose 0 = z - 3*b - 177, 3*z + 4*b - 132 = 451. Is 4 a factor of 84/z + 712/18?
True
Suppose 1 = 2*w - 3. Let g be (-26)/(-4 + 36/10). Suppose 3*a = 0, -4*a + g = 5*j - w*a. Is 10 a factor of j?
False
Suppose -m - 8 = 7. Let j(n) = -n**3 - 15*n**2 - 5*n - 15. Is j(m) a multiple of 20?
True
Suppose 54*f - 39*f = 13125. Is 18 a factor of f?
False
Let c(o) = 94*o**2. Let k be c(1). Let i = -51 + k. Is 5 a factor of i?
False
Let h(b) be the second derivative of b**3/3 + b**2 - 6*b. Is h(6) a multiple of 14?
True
Let n be (18/(-2))/((-4)/72). Let c be (n/15)/((-3)/(-10)). Is 6 a factor of c/(-15)*(-2 - 3)?
True
Let n(i) be the third derivative of 11*i**6/60 - i**5/60 + i**4/24 - i**3/6 + i**2. Let q(d) = d**2 - 6*d + 9. Let j be q(4). Is 21 a factor of n(j)?
True
Let z = -135 + 165. Let d = z + -18. Is 3 a factor of d?
True
Let k = 7 - 2. Does 12 divide (1/3)/(k/780)?
False
Let i(m) = -2*m**2 + m + 7. Let u be i(0). Let p be 11 - (6/(-2) + u). Suppose q + 2 = p. Does 5 divide q?
True
Suppose -918 - 1102 = -10*i. Is i a multiple of 17?
False
Suppose 0 = 12*p + 104 + 112. Let k = p - -27. Is 3 a factor of k?
True
Let o = 10 + -9. Let q be (3*o)/(9 - 6). Is 13 a factor of 48/3 + q + -1?
False
Suppose -4*b - l + 5952 = 4*l, 3*b + 4*l = 4465. Is b a multiple of 10?
False
Suppose 2*o - 6 = -r, -2*o - 3*o = 2*r - 14. Suppose r*m - 141 = 27. Is 14 a factor of m?
True
Suppose -23*d + 4*d = -2489. Does 2 divide d?
False
Let u(g) = -3*g - 1. Let x be u(7). Let m = 2 - x. Is 8 a factor of m?
True
Suppose 0 = -2*o - 3 + 5. Does 25 divide ((-342)/(-36))/(o/10)?
False
Let q be (-2)/(-2)*-2 - -4. Does 18 divide ((-27)/6)/(q/(-24))?
True
Suppose -4*g + r = -r - 386, 0 = -5*g - 5*r + 445. Suppose -2*u + 3*u + g = 0. Let f = -60 - u. Does 17 divide f?
True
Let j(g) = 2*g + 21. Let f be j(-10). Is f/6*8*33 a multiple of