6?
False
Let t be -5*(-6)/(-45)*-21. Is (7/t)/((-2)/(-40)) a multiple of 2?
True
Let t = 526 + -424. Is 102 a factor of t?
True
Let s(v) = -v - 4. Let x be s(-2). Let y be (-1 - x) + (12 - 2). Suppose -9 = -l + y. Is 10 a factor of l?
True
Let b = -2 - -358. Does 4 divide b?
True
Let k(q) = -8 + 5 - 2*q - 4 + 27*q. Is 24 a factor of k(3)?
False
Suppose 258 = 14*u + 62. Let g(m) be the first derivative of m**2 - 10*m - 1. Is 18 a factor of g(u)?
True
Suppose y = 5*g + 19, 3*y - 8*y = 2*g + 13. Let j be (y/2)/((-2)/8). Is 2 a factor of ((-3)/j)/(9/(-12))?
True
Let a be -4 + (-14)/(-6)*3. Suppose 5*j = -4*y + 7 + 71, -a*j = 2*y - 38. Is y a multiple of 6?
False
Is (18 - 5)/(3/27) a multiple of 4?
False
Suppose -68*b + 243097 + 43251 = 0. Is 108 a factor of b?
False
Let u = -279 + 455. Suppose 618 = 3*p + 2*a + u, 5*p + 5*a - 745 = 0. Does 9 divide p?
True
Let c = -12 - -15. Suppose -c*o = -3*t + 15, 0 = -3*t - 2*o + o + 3. Suppose -16 = -t*j - 10. Is j a multiple of 3?
True
Let p(d) be the second derivative of -d**3/3 - d**2 - 23*d. Let k(t) = -t**3 + 4*t**2 - 3*t + 3. Let c be k(4). Is p(c) a multiple of 3?
False
Suppose -q = 5*i - 2, 0*q - 4*i = -4*q - 16. Let s(p) = -48*p - 6. Does 23 divide s(q)?
True
Let w = 482 - -260. Is 26 a factor of w?
False
Let c(l) = l - 20. Let h be c(0). Let i = h + 17. Is 7 a factor of (-7)/(-4)*(i + 15)?
True
Let d be (-2)/((-2)/(-3))*(-2)/(-3). Is 16 a factor of d/(-6) - 1434/(-18)?
True
Suppose 85*a = 83*a + 3168. Does 88 divide a?
True
Let c be 670/(0 + 2 + 0). Suppose -3*z = 3*p - 231, -p - 4*p + c = -5*z. Is 18 a factor of p?
True
Does 13 divide (-14)/(-42) + (-3)/9*-791?
False
Let h be 6/15 - 134/10. Does 38 divide (-130)/h*(-34)/(-4)?
False
Suppose 4*b - 7*b = 105. Let h = 75 + b. Suppose 15 = c + 2*g, -5*c + h = -c - 2*g. Does 11 divide c?
True
Let s(u) = -5 + 6 - 3 - 11*u**3 + u**2 + 1. Let j be s(-1). Suppose -15*h + j*h = -48. Is 12 a factor of h?
True
Let u be 0 + (48 + 2)/2. Let w = -9 + 12. Suppose 2*h - 20 = h + w*c, -4*c = -h + u. Is h a multiple of 4?
False
Let h(v) = 223*v**2 + 10*v - 20. Is h(2) a multiple of 13?
False
Suppose -4*q - 8 = 0, 2*b = 2*q - 4*q. Let u = 6 - b. Suppose -3*x + u*x = 13. Is 13 a factor of x?
True
Let k(a) be the second derivative of 0 + 5/3*a**3 - 1/20*a**5 - 5*a**2 + 2/3*a**4 + 12*a. Is 10 a factor of k(8)?
True
Suppose 2*w = -5*p + 8752, 5*p + 4*w = 6730 + 2014. Is p a multiple of 8?
True
Let y be (-4)/(-34) - (-967)/17. Suppose -132 = y*z - 59*z. Is z a multiple of 22?
True
Let x = 93 - 96. Does 3 divide (-2)/x - 400/(-12)?
False
Suppose 0 = 44*n - 51*n + 49. Does 7 divide n?
True
Suppose 420 = -2*a + 3*a. Let s(p) = 6*p**3 + p**2 + 2*p - 2. Let l be s(1). Suppose -a = -l*v + 2*v. Does 19 divide v?
False
Suppose -n - 6 = 2*n + 3*c, -4*c - 14 = 2*n. Suppose -5*u - 20 = -3*l, 3*u = l - n*l + 26. Is l a multiple of 5?
True
Suppose -c + 2 = 0, 4*l + 2*c - 24 = -2*c. Suppose 0 = l*g - 147 - 273. Is g a multiple of 22?
False
Let z(g) = -64*g**2 + 135*g**2 + 10 - 69*g**2 + 16*g. Is 20 a factor of z(-15)?
True
Let i = 28 + -28. Suppose 5*w - u = 19, i = -5*w - 0*u - 3*u + 3. Suppose -w*v = 4*h + h - 134, -v = h - 26. Is 14 a factor of h?
True
Let y(s) = -s**3 - 8*s**2 + 18*s - 18. Let d be y(-10). Is (d/(-3) - 2954/(-21)) + 3 a multiple of 29?
False
Let f(r) = -r**3 + r**2 + 2*r + 105. Let t be f(0). Suppose -4*x + x + t = 0. Is 22 a factor of x?
False
Let w(a) = -4*a - 2. Let d be w(-2). Let r(y) = -y**3 + 6*y**2 + 4*y - 6. Let x be r(d). Suppose j = -x + 52. Is j a multiple of 17?
True
Suppose 4950 = 33*w - 0*w. Does 15 divide w?
True
Let f(d) = -50*d + 2. Let b be f(-2). Suppose 2*g = -2*v + 192, 0 = -v + 2*g - 0 + b. Is v a multiple of 14?
True
Let q(s) = s**3 + 29*s**2 - 6*s + 67. Is 19 a factor of q(-29)?
False
Let u be 18/4*(-22)/33. Let o be -1*(-2 - -2)/u. Suppose p + 2*p - 18 = o. Is 2 a factor of p?
True
Let x be ((-7)/14)/((-1)/28). Suppose -3*g - x = -0*g - 4*a, 3*a = 5*g + 5. Suppose -84 = -5*w + g*w. Is w a multiple of 9?
False
Let y(d) = -d**3 - 16*d**2 + 16*d + 47. Is 64 a factor of y(-17)?
True
Let n(r) = -16*r**3 + r**2 + 4*r + 3. Let i be n(-1). Let a(y) = -i*y + 14 - 2*y - 2*y**2 - 3 + y**2. Is a(-16) a multiple of 9?
False
Suppose -a + 2 = -2. Let t be a + (0 + 89)*-1. Let v = t + 177. Does 31 divide v?
False
Suppose 0 = -2*d - 2*d + 20. Let n(r) = -r - 8. Let s be n(-11). Suppose s*f + 32 = d*f. Is 8 a factor of f?
True
Let t(b) = 68*b**2 - 21*b - 45. Let s be t(-15). Is (-2)/18 - s/(-162) a multiple of 4?
True
Suppose 0 = -7*d + 3*d + c + 3, -3*d - c + 11 = 0. Is 24 a factor of (-1)/(-2) - (-267)/d?
False
Let x(v) = 14*v**2 + v - 6. Let y(l) = -14*l**2 - l + 7. Let q(z) = -5*x(z) - 4*y(z). Let d be q(2). Let t = 116 + d. Does 13 divide t?
False
Suppose 31*j - 29*j = 396. Is j a multiple of 33?
True
Suppose -2*y = -8*y - 288. Let g = y + 104. Is 14 a factor of g?
True
Let f be (-896)/(-10) + 2/5. Is (-3)/(-5) + 6/f*3021 a multiple of 26?
False
Suppose 5794 + 18713 = 7*w. Is w a multiple of 148?
False
Let w(v) = 3*v**3 + v**2 + 2. Suppose -p + 208 = 2*t, 4*t = -0*p - p + 412. Let l be t/42 - (-6)/(-14). Does 12 divide w(l)?
False
Suppose -14 = -0*w - 7*w. Let y(t) = 15*t. Let i be y(w). Suppose 0 = -3*f + l + i, -3*f + 4 = -3*l - 26. Is f a multiple of 5?
True
Let k(q) be the first derivative of q**5/30 - 5*q**4/24 + q**3/2 + 6*q**2 + 10. Let h(s) be the second derivative of k(s). Is h(7) a multiple of 11?
True
Suppose -t + 5 = g + 2, g + 5*t = 7. Suppose -g*o + 21 = -35. Is o a multiple of 6?
False
Let x(w) = -w**3 - 6*w**2 + 11*w - 4. Let a be x(-8). Suppose p - a = -2*p. Let d = 45 + p. Is d a multiple of 19?
True
Let r(k) = -k**3 + 13*k**2 + 15*k - 11. Let c be r(14). Suppose -c*d + 2*l + 236 = 0, -5*l = -3*d + 123 + 107. Is d a multiple of 40?
True
Suppose 3*b + 4*i - 25 = 0, 0*b - 35 = -3*b + i. Let l = -22 + b. Let j(d) = d**2 + 8*d - 25. Is 4 a factor of j(l)?
True
Suppose -d + 28 = 3*d. Let b = d + 33. Does 5 divide b?
True
Suppose -2*a + 6 = a. Suppose -3*y + 5*y - 10 = 2*w, 0 = -4*y + 20. Suppose -v - 4*c + 5*c + 5 = w, c + 11 = a*v. Is v a multiple of 3?
True
Let h be 6/(-4)*(-16)/(-8). Let y be 4 - 14 - h/3. Let n(u) = -u**2 - 9*u + 13. Is n(y) a multiple of 13?
True
Let m = 756 - 462. Is m a multiple of 18?
False
Let b(o) = -13*o**3 + o**2 + 3*o + 5. Let p(g) = g**2 + 7*g + 8. Let u be p(-5). Is 22 a factor of b(u)?
False
Suppose 0 = -l - 0*l - 2*f + 1098, 0 = -2*f. Is 9 a factor of l?
True
Suppose 42*o + 1632 = 46*o. Is 34 a factor of o?
True
Let x be (3 - 6*-3) + -1. Suppose 0 = -2*b + x + 32. Suppose -19 = -2*n + 5*u, -n + 5*u = 2*n - b. Does 3 divide n?
False
Let y be (-3)/(5 - 2) - -5. Suppose 2 = y*g - 14. Suppose -5*l = -2*o + 19 + 59, -3*o - g*l = -94. Is 17 a factor of o?
True
Let o(b) = -1 - 4*b + 9*b - 2. Let i = -40 + 45. Does 5 divide o(i)?
False
Let b(s) = s - 2. Let d be b(4). Let a = d - -50. Is 14 a factor of a?
False
Suppose 3*m = a - 2, -2*a - 3*a - 3*m + 10 = 0. Suppose g + a*r + 16 = 2*g, 0 = g + 4*r + 14. Does 3 divide g?
True
Suppose 5*b - 2*k + 13 = 0, k - 9 + 0 = 5*b. Let n be (-4)/b - (1 - 2). Suppose 105 = -n*p + 445. Does 19 divide p?
False
Suppose 0 = 12*g - 13*g. Suppose -4*h - 2*a + 406 = g, 2*a + 512 = h + 4*h. Is h a multiple of 34?
True
Suppose 3521 + 1295 = 8*k. Does 33 divide k?
False
Is -85*(0 - 1) + -8 a multiple of 2?
False
Let g(b) be the second derivative of -b**5/4 - b**4/4 - 2*b**3/3 - 3*b**2/2 + 4*b. Let q be g(-2). Let t = 85 - q. Does 26 divide t?
True
Suppose 191 = -2*x + 271. Let v = 1004 - 588. Is 4 a factor of (v/x)/(4/10)?
False
Suppose -156*o - 390 = -158*o. Is 3 a factor of o?
True
Is (5/(60/(-2456)))/((-18)/27) a multiple of 36?
False
Let c(g) = g**2 - g - 18. Let y be c(0). Let f = y + 17. Is (f/(-3))/((-8)/(-96)) a multiple of 3?
False
Let f = 17 - 12. Suppose -2 + 7 = j, 0 = 4*w + j - f. Suppose 21 - 6 = 5*x + 5*a, w = -5*x + 3*a + 7. Does 2 divide x?
True
Suppose -3*f - 5*c = f - 21, 3*f + 2*c - 14 = 0. Suppose g = -0*g - 3*m + 13, 0 = -m - f. Does 5 divide g?
True
Let p(d) = -d**3 + 25*d**2 - 45*d + 22. Is 2 a factor of p(23)?
False
Is (-5 - -317) + -1 + -5 a multiple of 9?
True
Let y(c) = -2*c + 1 - 6*c**2 + 3*c + 6*c**3 - 5*c**3 + 4*c. Let p be y(5). Let g(m) = 32*m**2 + m -