ide n?
False
Suppose -56*f - 5460 = -63*f. Does 10 divide f?
True
Suppose -221 = -4*d + 991. Let u = 64 + d. Is u a multiple of 11?
False
Suppose -j + 600 = 2*q, -3*j = -5*q + q + 1190. Is q a multiple of 23?
True
Let j(k) = -k**2 - 13*k + 365. Is j(0) a multiple of 73?
True
Suppose 2*q - 3*x + x = -46, 2*q + 5*x = -32. Let w = 42 + q. Is 8 a factor of w?
False
Suppose z - 97 = -4*j + 2*z, 0 = 5*j - 3*z - 130. Suppose 4*l - 18 = 18. Let n = l + j. Is 26 a factor of n?
False
Suppose -a + 3*n = -0*n - 14, a - 14 = 4*n. Suppose -a*o - 140 = -18*o. Does 7 divide o?
True
Let k(o) = -o**3 + 11*o**2 - 10*o - 13. Let h be k(10). Let g be 3/(-18) - h/6. Suppose m - 5*s - 46 = 0, 4*m = -3*s - g*s + 159. Is m a multiple of 11?
False
Let y(z) = -21*z**2 - 427*z + 5. Is y(-18) a multiple of 5?
False
Is 34 a factor of 342 + 1 - (18 - 12)?
False
Let t(q) be the first derivative of q**4/4 + 2*q**3 + 3*q**2/2 + 8. Does 4 divide t(-4)?
True
Is 14 a factor of ((-15)/10 + 1)*-2262?
False
Let u = -85 - 7. Let o = u + 6. Let z = 126 + o. Does 10 divide z?
True
Let w(a) = a**2 + 16*a + 3. Let h(g) be the second derivative of -5*g**4/12 - g**3/6 + 2*g**2 + g. Let k be h(2). Does 7 divide w(k)?
False
Let r be (39 - -1)/(2 - 0). Does 2 divide (r/6)/((-8)/(-36))?
False
Let z = 506 + -340. Suppose z = 3*c + 46. Suppose 3*u - c = -10. Is u a multiple of 5?
True
Let x(w) = 5*w**3 - 2*w**3 - 5 + 15*w - w**3 + 19*w**2 - w**3. Is x(-18) a multiple of 14?
False
Is 4 a factor of -1308*2/12*-3?
False
Let s be 167/((2/(-4))/((-1)/2)). Suppose 3*i - 24 = 2*x - s, 0 = -5*x + 5*i + 345. Is 8 a factor of x?
True
Does 24 divide 6629/63 + 8 + (-2)/9?
False
Suppose 2*a = 1687 + 143. Is 68 a factor of a?
False
Let o(a) = 18*a - 46. Is o(4) a multiple of 5?
False
Let h(f) = f + 12. Suppose -5*o = 4*y - 3, -8 = -2*y + 3*o - 1. Suppose y*j + 14 = 32. Is h(j) a multiple of 16?
False
Let y be (-11)/(3/(1 - -2)). Let l be (-1)/((33/18)/y). Suppose l*q - 11*q + 55 = 0. Does 11 divide q?
True
Let v be ((-604)/(-3))/(1 - (-12)/(-18)). Suppose -2*y + v = 4*p + 3*y, -12 = 3*y. Is p a multiple of 12?
True
Is 3145/10 + 2/4 a multiple of 63?
True
Let b = 108 + -114. Is 35 a factor of b/(-21)*1 - 4136/(-28)?
False
Let c(z) be the third derivative of -z**4/24 + 8*z**3/3 + 16*z**2. Does 4 divide c(6)?
False
Let d(u) = 88*u - 36. Is d(9) a multiple of 63?
True
Let r(p) = p**2 - 2*p - 7. Let d be r(7). Suppose -2*q - 4 = -4*c + 12, 2*c + 4*q = d. Does 3 divide c?
True
Let a(g) = g**2 + 2*g. Let k be a(-3). Let b = 7 - k. Suppose 0 = -b*j + 3*j + 30. Is 7 a factor of j?
False
Let y(j) = j**3 + 7*j**2 - 9*j - 3. Let u be y(-8). Suppose u*h - 2*h = 114. Does 9 divide h?
False
Let w = -342 - -592. Suppose -5*y - 70 = -w. Does 18 divide y?
True
Let y = -72 + 64. Is 40 - (-9 + (-3 - y)) a multiple of 22?
True
Suppose 5*a + 2*k = 598, -3*k + 477 = -9*a + 13*a. Is a a multiple of 20?
True
Suppose 5*d - n + 67 = -129, n = -4. Let f = -28 - d. Does 12 divide f?
True
Let l(v) = v**3 - 3*v**2 - 4*v. Let f be l(5). Is 7 a factor of 2376/f + -2 + 1/(-5)?
True
Suppose 0 = 46*z - 91555 - 13739. Is 109 a factor of z?
True
Let c be (-1 + -6)/((-12)/60). Let g be 36/(-10) - 14/c. Let y(x) = 4*x**2 + 3*x + 8. Does 20 divide y(g)?
True
Let j = 256 + 68. Does 18 divide j?
True
Let f = 65 + -53. Does 4 divide f?
True
Let z(a) = -274*a + 314. Is z(-4) a multiple of 10?
True
Let x(b) = -38*b - 42. Let f(i) = 13*i + 14. Let o(s) = 17*f(s) + 6*x(s). Let h = -18 + 5. Does 11 divide o(h)?
True
Suppose -10*d + 2829 = -5991. Is 21 a factor of d?
True
Let y(x) = -x**3 + 4*x**2 + 5*x + 2. Let w be y(5). Suppose 0*q = q - w. Suppose -3*o = t - 94, q*o + 2*o + t = 124. Is o a multiple of 15?
True
Let v(f) = -186*f - 105. Is v(-3) a multiple of 17?
False
Suppose 0 = -17*g - 104 + 444. Suppose -3*k - 4*z = -47, -6*z + 4*z + 43 = 3*k. Let a = g - k. Is a a multiple of 7?
True
Let c(j) = 9*j**2 - 2 + 4*j**3 - 13*j + 6 - 3*j**3 + 11. Let p be c(-10). Does 40 divide (-2751)/(-45) + (-6)/p?
False
Suppose 2*z - 15 + 7 = 0. Let b be (1/2)/(11/154). Suppose -4*t - z*a + 68 = 0, -2*a = 2*t - b*a - 20. Is t a multiple of 12?
False
Suppose 2*s - 9 - 6 = -v, -30 = -s + 4*v. Let d be (-54)/s + 3/(-5). Let a = 7 - d. Does 8 divide a?
False
Let w = 990 - 500. Is w a multiple of 49?
True
Suppose f + h - 6 = 0, -f - 2*f - 2*h + 14 = 0. Suppose 57 + 23 = f*n. Is 37 a factor of n?
False
Let f(l) = 2*l + 44. Let o be f(-22). Suppose 4*p - 2*v = v + 139, -2*p + v + 69 = o. Is p a multiple of 4?
False
Let j(s) = s**2 - 6*s + 1. Suppose 24*y = 27*y + 9. Does 10 divide j(y)?
False
Let a = -48 + 49. Let b(i) = 70*i + 5. Does 31 divide b(a)?
False
Let d(l) = 10*l**3 - 3*l**2 + 2*l - l**3 - 10*l**3 + 12*l**3. Does 31 divide d(2)?
False
Suppose 5*a = 4*b + 4*a - 16, 4*b + 3*a = 0. Let n(p) = 15 + p**b - 7 + 10*p**2 - p**2 - 4*p. Does 11 divide n(-9)?
True
Suppose 3*p + 10 = 8*p. Suppose -c - 5*u + 41 = 2*c, p*c - 19 = 5*u. Does 12 divide (-9)/((15/c)/(-5))?
True
Suppose -h = 2*h - 48. Let g(w) = -2*w + 48. Let v be g(0). Let r = h + v. Is 9 a factor of r?
False
Let r = -742 + 1417. Is r a multiple of 27?
True
Suppose 3*i - 265 = -2*a, -3*a + 15 = -0*a. Let f(v) = 54*v**2 - 2*v - 1. Let r be f(-1). Let u = i - r. Is 6 a factor of u?
True
Suppose -c + 2*u = -134, -4*c - 3*u + 115 = -366. Suppose 2*q = -b + c, 0 = -b - 4*q + 3 + 129. Is b a multiple of 29?
True
Let i be 73/9 - (-3)/(-27). Is (-1)/(2/i) - 1218/(-21) a multiple of 18?
True
Suppose 13*n - 1417 - 663 = 0. Is 10 a factor of n?
True
Let d = -2 + 6. Let k(z) = z**3 - 3*z**2 - 5*z + 6. Let c be k(d). Suppose c*r - 39 = -r. Does 5 divide r?
False
Suppose -3*d + 2*o + 170 = -5342, o - 7353 = -4*d. Does 95 divide d?
False
Suppose -4598 = -6*z - 806. Does 5 divide z?
False
Let m be (-2)/(1*(-2)/4). Let f be m/12 + 6/9. Is 2 a factor of f*2*(-15)/(-6)?
False
Let h(z) = 2*z**2 - 4*z + 1. Let j be h(3). Suppose 2*g + 13 = j*g + u, -22 = -4*g + 5*u. Suppose -4*s + g*i = -100, 0*s - 70 = -3*s + i. Is s a multiple of 8?
False
Let s = 35 + 58. Is 36 a factor of s?
False
Suppose -2*p + 355 - 115 = 0. Let y be -8 - -5 - (-70 + 1). Let a = p - y. Is a a multiple of 27?
True
Let g = 17 - -33. Suppose r + 48 - 8 = 0. Let v = r + g. Is v a multiple of 4?
False
Let z = 2202 - 1746. Does 21 divide z?
False
Let a = 47 + -44. Is 25 a factor of 5/60*a - 199/(-4)?
True
Let m(p) = -p**3 - 7*p**2 - 7*p + 2. Let t be m(-5). Let x = t + 17. Suppose -4*s + 42 = -2*l, x*s + l = 33 + 6. Is 3 a factor of s?
False
Let f(n) = -n**3 - 15*n**2 - 15*n - 13. Let a be f(-14). Let i be a/(-2) + 22/(-4). Let g = i + 54. Is 8 a factor of g?
True
Does 20 divide ((-2)/(-6) - (-25 - -24))*270?
True
Suppose -5*b + 0*s = -s - 106, 2*s = b - 14. Suppose -m + 14 = -b. Is m a multiple of 12?
True
Let s(g) = g**3 - 3*g**2 - 3*g - 5. Let j be s(4). Is (-33)/(-1 + j/2) a multiple of 22?
True
Suppose 3*l - 8*l - 1455 = 0. Does 30 divide -5 - (-4 - -3) - (-1 + l)?
False
Let p = -11 + 23. Let f be -1*2*(-13 + p). Suppose 1 = f*k - 1, 2*k + 46 = 4*v. Is 8 a factor of v?
False
Let n(b) = b**3 + 10*b**2 - 2*b + 7. Let x be n(-10). Let i = x + -22. Let w(u) = -u**3 + 5*u**2 + 4*u + 3. Is 3 a factor of w(i)?
False
Let c = -16 + 34. Let h = 22 + c. Is 8 a factor of h?
True
Let d = -9 + 14. Let y(m) = m**3 - 3*m**2 - 7*m + 1. Is y(d) a multiple of 15?
False
Let n = 20 - 17. Suppose 3*q - n = 3*f, 0*q + 2*q = 4*f - 6. Let w(r) = r - 2. Does 2 divide w(q)?
False
Let c(q) = 23*q**3 - q + 1. Let k(h) = -5*h**2 - 12*h + 1. Let a(g) = 4*g**2 + 11*g - 1. Let w(r) = -4*a(r) - 3*k(r). Let v be w(-8). Is c(v) a multiple of 8?
False
Suppose -3*v - v - 16 = 0. Let o be v - (-35)/((-10)/(-2)). Suppose o*n + 5 = 65. Does 10 divide n?
True
Let r = -765 + 1287. Is r a multiple of 26?
False
Suppose 57*k - 17*k - 9200 = 0. Does 8 divide k?
False
Let p = 68 + -28. Is 20 a factor of 3*-6*p/(-36)?
True
Let k = -61 + 151. Suppose 0 = o + 2*o - k. Does 5 divide o?
True
Let r(s) = 6*s - 8 + 0 + 17 - 1. Does 8 divide r(4)?
True
Let q(l) = 2701*l**3 - 2*l**2 + 11*l - 10. Is 108 a factor of q(1)?
True
Does 8 divide ((-12)/(-1))/((-51)/(-4046))?
True
Let z = -388 + 676. Suppose 113 = -7*s + z. Is s a multiple of 7?
False
Let w = -9 - -91. Is 19 a factor of (-30)/20 + w/4?
True
Suppose -3*a - 3*q =