e l?
False
Let g be 6*(2 - 2 - -48). Suppose -3*i = -3*f - g, 113 - 575 = -5*i - f. Is 31 a factor of i?
True
Let s = 63 + -50. Suppose s*u + 450 = 16*u. Is u a multiple of 53?
False
Let u = -79 + 547. Is u a multiple of 12?
True
Suppose 4*x = -2*d + 6, x = -3*x + 3*d + 21. Suppose -5*q + x*q + 74 = 0. Is 6 a factor of q?
False
Suppose -735 = -2*c + 3*k, -3*k = -27*c + 32*c - 1785. Does 3 divide c?
True
Suppose 0 = -23*h + 4*h + 16910. Is h a multiple of 5?
True
Let n be ((-6)/(-4))/(2*6/216). Suppose -25*j - 126 = -n*j. Does 14 divide j?
False
Let q = 1562 + -902. Is 66 a factor of q?
True
Let y = 6 + -1. Let h = y + -26. Is 21 a factor of (-435)/h + 8/28?
True
Let g(v) = -v**3 + 5*v**2 - 4*v + 2. Let h be 1/3*(13 - 1). Let n be g(h). Suppose -108 = -5*o - 4*m + 62, 3*o = -n*m + 100. Does 13 divide o?
False
Suppose -10*b + 8*b - 170 = 0. Let p = b - -120. Is 815/p - 4/14 a multiple of 9?
False
Suppose -23*n = -30*n + 525. Is 3 a factor of n?
True
Suppose 0*k + 39 = 3*k - 3*q, 3*k - 35 = q. Let x(m) be the first derivative of -m**4/4 + 10*m**3/3 + 15*m**2/2 - 2. Does 22 divide x(k)?
True
Let p = 18 - 94. Let s = 7 - 26. Let u = s - p. Is 19 a factor of u?
True
Suppose 51 = 3*s + 3*j, 0 = -3*s - j - 0*j + 59. Let f = s + -21. Suppose 24 = -f*c + 6*c. Is 2 a factor of c?
True
Let r(g) = 683*g - 303. Is 48 a factor of r(4)?
False
Let r(c) = -c**3 + 11*c**2 + 13*c - 7. Let n be r(12). Suppose 0 = -2*s + 28 + 60. Suppose 3*i = n*i - s. Does 22 divide i?
True
Suppose -46816 = 24*u - 62*u. Is 16 a factor of u?
True
Suppose 3*p - 459 = -4*f + 2*p, -p = 3*f - 345. Is 6 a factor of f?
True
Let r(k) = k**3 - 4*k**2 + 10*k + 6. Let b = -21 + 29. Let x be r(b). Suppose 4*l - 350 = 3*a, -x = -l - 3*l - a. Is 15 a factor of l?
False
Let m = -14 + 18. Does 29 divide (4 - 276/m)*-1?
False
Suppose -5*z + 10 = -5. Suppose -517 + 151 = -z*q. Let x = q - 62. Does 15 divide x?
True
Let h = 1 + 11. Is 37 a factor of 4*h - (12 - 12)?
False
Suppose -3*n + 3*m - 6 = 0, 0 = -3*n + 2*m - 2 - 0. Suppose -7 - 29 = -n*b. Does 18 divide b?
True
Suppose 4*i = 3*k + 54 + 23, i = 5*k + 32. Suppose 54 = 4*n - 3*z - 74, 0 = -n - 3*z + i. Suppose 0 = -q - 2 + n. Is 4 a factor of q?
False
Let z be (5/(-10))/((-1)/(-16)). Let h be (-2)/z - 2559/(-4). Suppose 0 = -6*x - 136 + h. Does 12 divide x?
True
Suppose 3*p - 1111 = 4*a, -127*p + 130*p - 1079 = -4*a. Is 18 a factor of p?
False
Suppose -3*n + 450 = r, -22*r + 5*n = -25*r + 1346. Is r a multiple of 3?
True
Let j = 57 + -55. Suppose 0 = -o - y + 3*y + 47, j*o + 4*y = 62. Is 8 a factor of o?
False
Suppose 0*n - 5*n = 15, 2*p - 4*n - 20 = 0. Suppose 0 = -2*a - 4*t + 66, 0 = -4*a - p*t + 141 - 25. Does 7 divide 2/3 - a/(-3)?
False
Let u = 81 - -266. Suppose -298 = -5*z + u. Does 22 divide z?
False
Let u(w) = -6*w - 9*w - 3*w + 0*w - 3. Let j be ((-8)/20)/((-2)/(-10)). Is 22 a factor of u(j)?
False
Let k = -112 + 50. Is (((-16)/6)/(-1))/(k/(-4371)) a multiple of 16?
False
Let o be (8 + -10)/((-2)/122). Is 17 a factor of 1*o + (-1 - (2 - 0))?
True
Let l = 41 - 35. Is 19 a factor of ((-38)/l)/((-3)/18)?
True
Let b(i) = 129*i**3 + 4*i - 3. Is 10 a factor of b(1)?
True
Let x(g) = -33*g**3 + 3*g - 1. Does 23 divide x(-2)?
False
Suppose 17*h - 16*h = 10. Is 1046/10 + (-6)/h a multiple of 26?
True
Suppose -3*p = 2*p + 265. Suppose -3*h = -g - 20, 0 = -4*g - g + 3*h - 148. Let o = g - p. Does 21 divide o?
True
Let h(q) = -6*q**3 + 8*q**2 + 14*q - 8. Let a be h(13). Is a/(-93) - (1/3 - 0) a multiple of 25?
True
Let t(q) = 183*q**2 + 3*q - 27 - q - 180*q**2. Is t(4) a multiple of 8?
False
Let h(p) = -4*p**2 - 11*p - 22. Let d be h(-4). Let g = d + 59. Does 10 divide g?
False
Suppose 0 = -5*c - 0*c - 25, -3*c = -2*l + 27. Suppose -j + 4 = -l. Is j a multiple of 2?
True
Let z = 7 - 17. Is 2 a factor of 3/(1*(-15)/z)?
True
Is (-11 + 9)*2190/(-12) a multiple of 57?
False
Let o(h) = h**2 - 2*h + 2. Let p be o(-5). Let l be (95/(-38))/(26/(-8) + 2). Suppose l*v = -2*m + 56, -5*m + v - p = -159. Is m a multiple of 6?
False
Suppose t - 3*t = 5*m - 3565, 0 = 5*t - 3*m - 8835. Does 30 divide t?
True
Let m be (-105)/(-10)*(-2 + 4). Suppose 0*c - 4*l = -2*c - 16, -3*c = 3*l - m. Suppose 4*a = -4*u + 176, 6*a - 4*u = c*a + 184. Is 15 a factor of a?
True
Suppose 35 = 4*p + 2*y - 75, -4*y + 70 = 3*p. Let t be (p + -2)*(-65)/(-20). Let h = t - 59. Does 17 divide h?
False
Suppose -2*m = m + 6, 4*i - 274 = 5*m. Suppose 2*t - 5 = -13*z + 14*z, -4*t - 25 = 5*z. Is -4 + i + 2 + t a multiple of 13?
False
Let x = -48 - -60. Is 14 a factor of (-9)/x - (-318)/8?
False
Let f(i) be the second derivative of -i**5/20 + 7*i**4/12 + 2*i**3/3 + i**2 + 5*i. Is 8 a factor of f(5)?
True
Let b(x) = -x**2 + 18*x + 10. Let o be 2/((-62)/22 + 3). Is b(o) a multiple of 29?
True
Let a = -52 - -70. Is a a multiple of 9?
True
Let l(u) = 2*u + 17. Suppose 2*f - 18 = 2. Let o be ((-14)/5)/((-4)/f). Is l(o) a multiple of 11?
False
Let n(w) = 11*w + 531. Does 16 divide n(-27)?
False
Suppose -1416 = -14*s - 338. Suppose -25 = -2*z + s. Does 4 divide z?
False
Let h(k) = 76*k**2 - 56*k. Is 12 a factor of h(-6)?
True
Let y(x) = -113*x - 56. Let l be y(-6). Suppose 0 = -d - 1, -l = -4*g - 2*d. Is g a multiple of 18?
False
Let m(g) be the second derivative of g**3/3 - 2*g**2 - 2*g. Let n be m(4). Suppose -n*o = o - 175. Is o a multiple of 14?
False
Let y(d) = -2*d**3 - 2*d**2 + 3*d - 2. Let l be y(-3). Let r = -20 + l. Suppose r*o - 194 = 11. Is o a multiple of 13?
False
Let x = 5 + -6. Is (-264)/(-3*(x/(-2) - 0)) a multiple of 44?
True
Let g(u) = u. Let h be g(4). Suppose 0 = -h*o + 12. Does 2 divide o?
False
Let i be (-81)/9 - (-2)/(-1). Let y = i + 4. Does 16 divide (-6)/(1 - (-8)/y)?
False
Suppose -2*q = -a + 1, -2*q + 5*q - 3 = -3*a. Suppose q = f - 6*f + 405. Is 19 a factor of f?
False
Let l(u) = -u**3 + 3*u**2 + 8*u - 6. Let r(p) = -3*p**3 + 8*p**2 + 24*p - 19. Let f(v) = 7*l(v) - 2*r(v). Is f(-3) a multiple of 8?
False
Is 9 a factor of (36/90)/((-2)/(-1080))?
True
Suppose -2*t + 5*w = 29, 4*t + 3*w = 6*t + 19. Is (-2)/4*(0/t + -34) a multiple of 7?
False
Let u(i) = 3*i**2 + 4*i - 15. Let y(p) = 2*p**2 + 2*p - 8. Let j(q) = -3*u(q) + 5*y(q). Let z be j(4). Suppose -d + z = -24. Is d a multiple of 11?
False
Let t = 673 - 121. Is t a multiple of 46?
True
Suppose -3*l + 5*k = -13 - 23, k + 3 = 0. Suppose u = l*u - 240. Does 4 divide u?
True
Is 7 a factor of (-1)/(-3)*-3 + 469 - -2?
False
Let y(h) = 21*h - 21. Let c(b) = -589*b + 589. Let a(g) = -2*c(g) - 57*y(g). Is 21 a factor of a(-9)?
False
Does 7 divide 6661/7 - (-4)/(168/18)?
True
Suppose 324 = 3*t - 147. Is t a multiple of 15?
False
Let l be (-28)/126 - (-2)/9. Suppose 2*d + 5*j - 77 = -l, -3*d - 5*j = -113. Suppose -2*z + 2*r + d = 2*z, -2*r = 3*z - 27. Is z a multiple of 2?
False
Let n(w) = 3*w**2 - 12*w + 13. Let j be (-1)/(-3)*(-72)/(-4). Is n(j) a multiple of 9?
False
Suppose -4*h + 2*h = 166. Let t = h + 198. Does 36 divide t?
False
Let m(x) = 5*x**2 - 8*x + 18. Let q(k) = -3*k**2 + 5*k - 12. Let t(h) = 5*m(h) + 8*q(h). Let r be t(-6). Suppose -3*o + 24 = -r. Does 6 divide o?
True
Let d(y) = -y**2 - y - 1. Let p(k) = 5*k**2 - 6*k + 5. Let a(x) = -4*d(x) - p(x). Let w be a(9). Does 6 divide 33/6 - (-4)/w?
True
Suppose 22*s - 834 - 20176 = 0. Is s a multiple of 31?
False
Let p(h) be the third derivative of -h**5/120 + h**4/6 - 5*h**3/6 + 2*h**2. Let z(o) be the first derivative of p(o). Is z(0) a multiple of 4?
True
Let k(v) = -20*v + 13 - 11 - 45 + 16. Is k(-3) a multiple of 2?
False
Let y(n) = 2*n - 5*n + 7*n**2 + 630*n**3 - 631*n**3. Let r = 13 - 8. Is y(r) a multiple of 7?
True
Let v(j) = -j**3 + 3*j**2 - j + 5. Let p be v(4). Is 14 a factor of (56/3)/((-5)/p)?
True
Suppose -24 - 44 = -p - 2*h, -5*p = -h - 362. Does 8 divide p?
True
Let o(t) = -t**3 - 7*t**2 + t + 4. Let c = 15 + -22. Let w be o(c). Let z(j) = 4*j**2 + 5*j + 3. Is z(w) a multiple of 12?
True
Let d = -297 + 529. Suppose -d - 168 = -4*h. Is 24 a factor of h?
False
Let b be 25/1 - (-1 + -1). Let u be 6/b - (-572)/18. Suppose 3*q - u + 5 = 0. Does 3 divide q?
True
Suppose -192 = 13*x - 29*x. Let w(z) be the first derivative of z**3/3 - 5*z**2 - 6*z - 1. Is 6 a factor of w(x)?
True
Let b = -8 - -9. Let c be (-12)/(-2) - b*2. Suppose 5*s = c*w + 46, 2*s + 4*w + 3