of ((g/12)/5)/(6/(-8))?
True
Suppose -5 = 5*g + f, -4*g + 0*f + 7 = 3*f. Let q(p) = -21*p + 7. Let d(x) = 42*x - 15. Let r(y) = 3*d(y) + 7*q(y). Is 23 a factor of r(g)?
True
Let k(v) = 2*v**2 + 4*v + 4. Let a be 8/(-6)*3/(-1). Is 13 a factor of k(a)?
True
Suppose 0 = 4*j + n - 540, -j + 2*j - 4*n - 118 = 0. Is j a multiple of 8?
False
Let u = 325 - 12. Does 29 divide u?
False
Let g(l) = l**2 - 2. Let i be g(2). Let q(u) = 7 + 6 - i + u. Is q(0) a multiple of 2?
False
Suppose -8*j - 631 - 201 = 0. Let v = j + 117. Is v even?
False
Is 18 a factor of (-5)/(60/48) + (45 - -1)?
False
Suppose -7*h + 639 = -4*h + 4*u, -h - 5*u = -224. Let s be (-4 + -2)*8/(-24). Suppose -5*w + w + 272 = s*v, v = 3*w - h. Is 17 a factor of w?
False
Let k be (-1 + -2)/(6/(-10)). Suppose -3*o + 56 = -k*x, 69 = -2*o + 6*o - x. Is 3 a factor of o?
False
Let o(k) = k**3 + 19*k**2 + 18*k - 6. Let n be o(-18). Let l = 49 - n. Does 4 divide l?
False
Let r = -1045 + 1411. Does 8 divide r?
False
Let t be -10*11/((-220)/48). Suppose -11*u + t = -5*u. Is 4 a factor of u?
True
Is (-37)/3*(-12)/8*90 a multiple of 78?
False
Is 255/(-100)*-5 + 9/(-12) a multiple of 4?
True
Suppose 3*z + 11 + 10 = 0. Let u = z - 3. Let v = u + 12. Is v even?
True
Is 1*(-2 - -41)*(-332)/(-12) a multiple of 83?
True
Suppose 154 - 2326 = -12*s. Does 5 divide s?
False
Suppose 27325 = 21*a - 20933. Does 89 divide a?
False
Suppose -602 = -u + a, 4*u - 2284 - 152 = -3*a. Does 17 divide u?
False
Let w(y) be the first derivative of y**3/3 - 5*y**2/2 + 3*y + 3. Let d be w(5). Suppose 68 + 34 = d*l. Does 17 divide l?
True
Does 13 divide (-4)/(-26) + 0 + 152274/1066?
True
Let q(w) = -2*w + 15. Let g(v) = v - 8. Let y(t) = 5*g(t) + 2*q(t). Let x be y(15). Suppose -2*n = 4*o - 20, -2*o + 15 + 27 = x*n. Is 2 a factor of n?
True
Let j be (-48)/(-26) + (-2)/(-13). Let h(y) be the first derivative of 2*y**3 - 3*y**2/2 + 1. Is 9 a factor of h(j)?
True
Let j = -6 + 13. Let b be (-13)/39 - j/(-3). Suppose b*z + 20 = 40. Does 3 divide z?
False
Let s = -49 - -49. Suppose 0 = -3*g + 3*p + 255, s*p - 455 = -5*g - 5*p. Is 22 a factor of g?
True
Let d(i) = -23*i + 32. Let q be -2*1*2 + (-20)/5. Does 43 divide d(q)?
False
Let t be (-3047)/(-55) + (-2)/5. Let z = t - -166. Does 17 divide z?
True
Let c(a) be the first derivative of a**3/3 - a**2 + 11*a - 23. Is c(0) a multiple of 4?
False
Let k = -2 - 2. Does 9 divide (-304)/(-22) + k/(-22)?
False
Let q(d) = d**3 + 10*d**2 + 10*d + 13. Let j(k) = k**2 + 5*k + 12. Let b be j(-6). Let m = 9 - b. Does 4 divide q(m)?
True
Let a be (-5 - (0 + -5)) + (2 - 1). Is ((-4)/(-10))/a - (-1615)/25 a multiple of 13?
True
Suppose -576*i + 578*i = 120. Is i a multiple of 12?
True
Let d(q) = 23*q**2 + 25*q + 258. Is d(-14) a multiple of 46?
True
Let f = -626 - -638. Is f a multiple of 11?
False
Let k(b) = b + 4. Let g be k(-4). Let r(x) = x**2 - 8*x + 3. Let o be r(8). Suppose w = 2*w - 4*j - 2, -2*w - o*j + 48 = g. Does 15 divide w?
False
Is (13/((-182)/(-72)))/((-4)/(-714)) a multiple of 17?
True
Let u(a) = a**3 - 12*a**2 - 11*a - 20. Let k be u(13). Suppose -737 = k*y - 2561. Is 16 a factor of y?
True
Let g be (-102)/(-30) - (-6)/(-15). Is (14/6)/(1/g) a multiple of 3?
False
Suppose 2*i = 10, 2*y - 4*i = -0 - 26. Let q be 6/(-15)*-5 - y. Is 10 a factor of (29 + -4)*6/q?
True
Let s be (-1068)/(-84) + 4/14. Let k = s + -10. Suppose -4*a + 32 = -2*a + 3*d, -86 = -k*a + 5*d. Is 22 a factor of a?
True
Let k(t) = 12*t**2 - 3*t**2 + 7*t - 3*t**2 + 13 - 5*t**2. Is k(-9) a multiple of 13?
False
Let h(u) be the first derivative of u**5/60 + 2*u**3 + 3*u**2 + 6. Let d(g) be the second derivative of h(g). Is d(0) a multiple of 12?
True
Let g be -3 + -47 + 2 + -3. Let n = g - -75. Is 12 a factor of n?
True
Does 73 divide (-870)/(-4)*((-858)/65 + 14)?
False
Let r(n) = 398*n - 19. Is 26 a factor of r(2)?
False
Suppose -3*h - 133 - 70 = -2*p, 2*h = 5*p - 513. Suppose m + 92 = -m. Let z = p + m. Is z a multiple of 19?
True
Let y(k) = -108*k + 512. Does 47 divide y(-5)?
False
Is (16/5 + 0)*5740/328 a multiple of 7?
True
Let x(o) = -22*o + 717. Is 19 a factor of x(11)?
True
Let i(p) = -2*p**3 + 12*p**2 + 2*p - 7. Let d be i(6). Suppose 4*w - 181 = -d*l, 4*l = -w - l + 64. Does 13 divide w?
True
Let p = -103 - -418. Does 21 divide p?
True
Suppose -2*q + q = 3. Let g(h) be the third derivative of -h**6/40 - h**5/20 + h**4/6 + h**3/2 - h**2 + 18*h. Is 15 a factor of g(q)?
True
Let u(k) = 77*k + 22. Let a be u(4). Suppose 0 = 2*v + 3*v. Suppose v = -3*j - j + 2*m + a, -5*j - 5*m = -435. Is j a multiple of 12?
True
Suppose -2*s + 1910 = 4*l, -29*s - 2420 = -5*l - 25*s. Is l a multiple of 60?
True
Let k = 437 + 63. Suppose -2*l - 4*p = k, -3*l + 8*p - 739 = 3*p. Does 10 divide 4/14 - l/14?
False
Suppose g + 368 = -3*g. Is (-160)/(-12)*(g/(-10) + -2) a multiple of 26?
False
Let d(l) = l - 2. Let h = -3 + 8. Let g be d(h). Is (-1)/g - 708/(-18) a multiple of 13?
True
Suppose -19 = -5*k - 4*a, -4*k + 0*a = 2*a - 14. Suppose 280 = 4*j + k*j. Does 6 divide j?
False
Let z(d) = -3*d + 16. Let n be z(6). Let w = 10 - n. Is w a multiple of 12?
True
Suppose 0*r + 4*r - 108 = 0. Let f be (-2)/(-9) - (-1074)/r. Suppose 0 = o - 0*o - f. Does 10 divide o?
True
Suppose -8*v = -7*v - 67. Let b = v - 19. Is 8 a factor of b?
True
Let t(g) = -g**3 + g**2 - 2*g - 9. Let u be t(-4). Suppose -43*m = -42*m - u. Is 28 a factor of m?
False
Let p(x) = -x**2 - 1. Let g be p(1). Let j(w) be the first derivative of -3*w**4/4 - 2*w**3/3 - w**2/2 - 1. Does 10 divide j(g)?
False
Let n = 8 - 7. Let w(q) = q + 5*q + q**2 - n - 1. Is w(-8) a multiple of 7?
True
Suppose -204 = 7*g + 524. Let d be 2/(-8)*2*388. Let l = g - d. Does 16 divide l?
False
Let b be (-14)/21*(-9)/2. Suppose 2*y - b*n - 1745 = 0, 6*n + 9 = 3*n. Does 12 divide y/18 - (-18)/(-81)?
True
Let m be 2/(-1) + (0 - -17). Let a = m - 24. Is a/(60/(-28) - -2) a multiple of 16?
False
Let f be ((-63)/27)/((-2)/(-36)). Let h = f - -60. Does 17 divide h?
False
Let d be 6*-2 + 2/(-2). Let q(y) = -y**3 - 14*y**2 - 12*y + 8. Let v be q(d). Does 14 divide 1 - 0 - (v - 8)?
True
Suppose -14*m + 33*m - 7638 = 0. Is 5 a factor of m?
False
Suppose 3*i = -4*g + 7, 0*g + 8 = 4*i + 5*g. Let p be i*(2/2 + -2). Suppose 2*v - 4*r = 34, 0 = -8*v + p*v + 4*r + 109. Is 14 a factor of v?
False
Let n(d) = 14*d + 2. Let r(f) = 11*f. Let u(b) = 21*b - 1. Let t(m) = 5*r(m) - 2*u(m). Let h(p) = 2*n(p) - 3*t(p). Is h(-1) even?
False
Let t(m) = 100*m + 38. Is 15 a factor of t(4)?
False
Suppose 4*c - 4*o = 1432, 4*c = 6*c + 4*o - 734. Is c a multiple of 19?
True
Suppose 5*w + 4*l - 1198 = 0, -5*w + l = -6*w + 240. Is 17 a factor of w?
True
Suppose 22 + 344 = t. Let c = 653 - t. Suppose 2*z - 4*l + 122 = 4*z, -5*z + c = l. Is 14 a factor of z?
False
Let h(y) = y. Let k be h(4). Is 10 a factor of -2 + k - (-86)/2?
False
Let j be (4/(-12))/(2/6). Let f be (2 + j)*(-2 - -2). Suppose -u + v + 1 + 12 = f, -25 = -5*u - 3*v. Is u a multiple of 4?
True
Let u = 62 + -67. Let n(l) = -2*l + 23. Is 11 a factor of n(u)?
True
Let v(y) = -22*y + 2. Let w be v(-1). Let f = w - -40. Does 13 divide f - ((-2 - -4) + -3)?
True
Suppose 4*y = 5*g + 191, -2*y + 79 = -3*g - 34. Let u = g - -95. Is u a multiple of 30?
True
Suppose u - 5*u = -1400. Suppose 3*t + 2*t + u = 5*c, -t - 200 = -3*c. Is c a multiple of 17?
False
Does 9 divide (-99)/((-1)/(-6) + 7/(-14))?
True
Suppose 5*c - c = -16. Let p(u) = -2*u**3 - 5*u**2 - 5*u - 7. Does 13 divide p(c)?
False
Suppose 0 = -k + 343 + 3121. Is 63 a factor of k?
False
Suppose -110 = 3*u - 338. Let o = u - 20. Is 28 a factor of o?
True
Let g(v) = -4*v**2 - 6*v - 9. Let c be g(-2). Suppose -150 = -6*x + x. Let z = x + c. Is 17 a factor of z?
True
Let w(c) = c**2 - 9*c - 2. Let y be w(11). Let h = -5 + y. Suppose 2*i = 45 + h. Is i a multiple of 15?
True
Let z = -315 - -679. Is z a multiple of 7?
True
Let s(x) = 41*x - 475. Is 26 a factor of s(22)?
False
Let x(m) be the first derivative of -m**4/4 + 7*m**3/3 - m**2 + 8*m + 159. Let w(g) = g**2 - 2*g - 2. Let t be w(4). Does 8 divide x(t)?
True
Let l(o) = o**3 - 45*o**2 - 6*o - 85. Is l(46) a multiple of 39?
True
Let i = 89 + 1304. Is 14 a factor of i?
False
Let m = 2078 - 1211. Is 52 a factor of m?
False
Suppose 0 = -2*x + 5*b + 991, 2*x - 19*b = -20*b +