 + -75. Let b be (5/((-50)/(-32)))/(k/(-275)). Does 41 divide (-32)/b*1730/(-4)?
False
Let b = 148238 - -35281. Does 10 divide 3/(33/2) - b/(-693)?
False
Suppose 4*t - 6 = -l - 18, t - 2 = l. Let p be 1 - 138/l - 21/14. Let n = p + 13. Is n a multiple of 4?
False
Let y = 62 - 53. Suppose 1 - y = -3*d + h, -5*h = -2*d - 12. Suppose -4*w = -d*t - 464, 2*t + 2*t + 8 = 0. Is 23 a factor of w?
False
Let w(d) = d**3 - 5*d**2 - 2*d + 6. Let s be (-3)/(-1) - (-3 - -2). Let k be w(s). Let r = 74 + k. Is 14 a factor of r?
True
Let o be 12/2 - (9 + -5). Suppose -18 = -o*n - 4*n. Suppose n*s - 57 = 36. Is s a multiple of 14?
False
Let l be (24/10)/(-4) - (-1104)/(-10). Let n = l - -111. Suppose n = -2*a - r + 463, -2*r - 1153 = 2*a - 7*a. Does 13 divide a?
False
Let j be ((-3)/(-9))/(6/4428). Let x = j + -164. Let o = -58 + x. Is 12 a factor of o?
True
Let q(k) = -58*k + 2. Suppose -2*b = -6, -2*t + 8*b = 4*b - 10. Suppose 0 = -4*a - 2*f - 3 - t, -4*f = -4*a + 16. Is q(a) a multiple of 15?
True
Let f(h) = 10*h**2 - 10*h + 6. Let t be f(-8). Suppose 7*g - 500 = 46. Suppose g - t = -6*m. Is 18 a factor of m?
True
Let n(j) = -j**3 - 6*j**2 + 6*j - 5. Let u be n(-7). Suppose -5 = 5*v, -5*w + 4 = -3*v + 1. Suppose 34 = u*y + 2*i, -y - 3*i + w*i + 21 = 0. Does 6 divide y?
False
Let q = 8120 - 2942. Suppose 548*a - q = 542*a. Does 9 divide a?
False
Let l = -79 - -95. Suppose 0 = -5*f - k + 229, -l = -4*k - 0*k. Is f a multiple of 17?
False
Let p(d) = 5*d**2 - 5*d + 6. Let u be p(1). Let q be ((-400)/24)/((-4)/u). Suppose -4*o + q = 3*b, -2*o + b = -o - 8. Is 6 a factor of o?
False
Suppose 4*f - 11 = -v, -2*v + v - 3*f = -8. Let b be (1 - 4 - v)*-1. Suppose -b*h + 115 = d - 39, 5*h + 616 = 4*d. Is 36 a factor of d?
False
Is 36 a factor of 108*(6*1 - 20833/(-249))?
True
Is 6 a factor of 739674/72 + -6*(-15)/(-40)?
False
Let c = 28 + -23. Suppose c*x - 10 = -3*w + 22, -4*w = 4*x - 32. Suppose -355 = -9*q + w*q. Is q a multiple of 8?
False
Let m(p) = 4*p**3 - p**2. Let c be m(1). Suppose -3*f - 5*g = -11, -3*f + f + c*g = -1. Suppose 4*i + 5*w - 39 = 0, f*i + i - 3*w - 63 = 0. Is 3 a factor of i?
False
Suppose -62 = 15*r + 148. Is (7/r*-24)/(3/26) a multiple of 13?
True
Let l(b) = b**3 - 10*b**2 - 6*b + 6. Let p be l(11). Suppose u - 2*g - p - 79 = 0, 2*g = 0. Is 20 a factor of u?
True
Let a(b) = -3*b**3 - 30*b**2 + 110*b + 6. Does 6 divide a(-16)?
False
Suppose 3*k + 4*v - 12705 = 0, 4*k + 2*v - 12711 = k. Is 9 a factor of k?
True
Let w(v) = v - 9. Let c be w(-17). Let l = 502 + c. Does 14 divide l?
True
Is 123 a factor of (15576/117 - (-6)/(-13))*162?
False
Let h(b) = -b + 4. Let k be h(-10). Suppose -k = -2*a + 104. Suppose -3*w + a = -2*w + p, 2*w + p - 121 = 0. Does 9 divide w?
False
Let a(c) be the first derivative of c**3/3 + 4*c**2 + 26*c - 30. Let f be 782/(-115) - 1/5. Does 3 divide a(f)?
False
Let z = 57 - 175. Let a = z - -159. Does 26 divide a?
False
Let q = -95 - -94. Does 8 divide -1 - -6 - (6/q - 355)?
False
Let o be (24/(-10))/(1/20). Let a be (70/105)/((-4)/(-678)). Let c = a + o. Does 4 divide c?
False
Let v be (-1)/3 + (-676)/(-3). Suppose -5*g + 2*i - 19 = 33, 2*g - 4*i + 24 = 0. Does 18 divide (-12)/5*v/g?
True
Suppose -2*l - 4*u + 18407 = 4313, 5*l = -5*u + 35240. Is 31 a factor of l?
False
Let h(t) = 3*t + 22. Let r be h(-7). Is 19 a factor of (7 + (-10)/r)/((-6)/728)?
False
Suppose -37 - 23 = -4*f. Let i be f/(-6) + (-78)/(-12). Suppose 208 = 5*p + i*n, 4*p - n - 3*n - 188 = 0. Does 9 divide p?
False
Let q(a) = 273*a + 776. Is 4 a factor of q(4)?
True
Suppose -t = k - 378 - 3658, -3*t + 12148 = -5*k. Is t a multiple of 48?
False
Suppose 103 = y - 2*p, 3*p + 201 = -y + 3*y. Suppose -4*t - y = -157. Does 2 divide t?
True
Let v = 72 - 25. Suppose -7*t = 19 - v. Suppose 19 = p - 2*x, t*x = x - 6. Is p a multiple of 3?
True
Suppose 8*r - 234 = 6*r. Let i(n) = 12*n + 1. Let l be i(-6). Let b = l + r. Does 34 divide b?
False
Let m(i) be the third derivative of -5*i**4/12 - 8*i**3 + 3*i**2. Let s be m(-16). Let v = s - 60. Is v a multiple of 14?
False
Suppose 2*u - 5*d + d = 130, -3*u + 2*d + 207 = 0. Let j be (-1 - -2)*(u + -5). Suppose 64*i = j*i - 132. Does 33 divide i?
True
Suppose 6*t - 16 = -28. Is 4 a factor of 1/(-3) + -1686*t/18?
False
Let k(z) = -7*z**3 - z**2 - 5*z - 20. Let b(w) = 8*w**3 + 6*w + 21. Let h(u) = 6*b(u) + 7*k(u). Let a be h(-10). Does 15 divide 1/(-2)*(0/(-7) - a)?
False
Let n be 23494/51*(-9)/(-6). Suppose 0 = 2*p - 2*x - 708, -2*p + 4*x + 25 = -n. Is 10 a factor of p?
True
Let m = -3195 + 8889. Is 4 a factor of m?
False
Let c = -70 + 110. Suppose 37*l + 648 = c*l. Does 27 divide l?
True
Suppose 156 = 5*p - 18*p. Is (30/p)/((-5)/44) a multiple of 14?
False
Suppose 264755 = -5*k + 3*h, 0 = 3*k - h - 21800 + 180649. Is 12 a factor of k/(-305) - 3/5?
False
Let s(a) be the first derivative of -3*a**2 + 15*a - 52. Suppose 22 = -2*f + f. Does 17 divide s(f)?
False
Let f = 230 + -752. Is 29 a factor of f*(3 - (-14)/(-4))?
True
Let n = 14028 + -10923. Is 135 a factor of n?
True
Suppose -111*o = 36*o + 40*o - 3002659. Does 96 divide o?
False
Let h(w) be the first derivative of 9*w**2 - 17 - 4*w - 5*w**2 - 16*w**2. Does 5 divide h(-1)?
True
Let j(v) = 3*v**2 - 6*v - 7. Let b be j(-3). Suppose 35*n = b*n + 198. Does 47 divide (-81)/(-2)*11/(n/(-16))?
False
Let a be ((-8)/10)/((-42)/(-22365)). Let t = 498 + a. Does 7 divide t?
False
Suppose 0*d + 3*z - 16 = -5*d, 2*d + 3*z - 10 = 0. Suppose -347 + 1267 = d*x. Does 10 divide x?
True
Let x(r) = 877*r**2 - 4. Is x(-2) a multiple of 39?
False
Suppose 0 = -6*j - 7*j. Suppose j = -y - 2*d + d - 21, 5*d = 5. Let l = 42 - y. Is l a multiple of 8?
True
Is 4 a factor of -6 + -1 + 972/27*25?
False
Let v(m) be the first derivative of 3*m**4/4 - 14*m**3/3 - 13*m**2/2 - 14*m - 100. Is 11 a factor of v(8)?
False
Let u(p) = -p**3 - 7*p**2 + 2*p - 14. Let o be u(-7). Let b = -26 - o. Suppose l = 3*r + 6*l - 249, b*l = 6. Is 39 a factor of r?
True
Let k(g) = g**3 + 5*g**2 + 5*g. Let m be k(-2). Let h be -5 + m + (-12)/(-3) + 2. Suppose 0 = b + 2*i - 1, h*i = -5*b + 2*b + 18. Is 2 a factor of b?
False
Let x be 23*((3 - 2) + 21). Let i = x + -227. Does 8 divide i?
False
Is 33 a factor of (-180540)/472*44/(-5)?
True
Suppose 60817 = 3*r + 4*y, -y - 40538 = -2*r + 3*y. Does 102 divide r?
False
Suppose -69 = -33*i + 10*i. Suppose -r + 8 = i, m + 4*r = 755. Does 15 divide m?
True
Let h(s) = -s**2 - 18*s - 69. Let c be h(-13). Is 3 a factor of (-657)/c + (-39)/156?
False
Suppose -5*j - 76*i + 73*i = -24105, 6*i = -2*j + 9618. Is j a multiple of 67?
True
Suppose -263*g + 3264 + 47149 = -26383. Is 2 a factor of g?
True
Let x(u) = -25*u + 42. Let y(q) = 2*q - 24. Let t be y(10). Let w be (2 + -1)*-9 + 7 + t. Is x(w) a multiple of 29?
False
Let m(n) = 4*n**2 - 13*n**2 - 32*n - 27*n - 184 + 8*n**2 - 14*n. Is m(-42) a multiple of 14?
False
Let d be ((-627)/9 + -1)*(-6)/(-2). Let q = 320 + d. Does 3 divide q?
True
Suppose -4*j + 3*a = -96, 96 = -7*j + 11*j + 5*a. Suppose b + 2*c = 91, -b + 62 = -3*c - j. Is 3 a factor of b?
False
Suppose -5*z - 10711 = -g, -5*g + 32*z = 33*z - 53399. Is g a multiple of 16?
False
Let l be 3 + -7 - -164 - (-2 - -5). Let n = l + -103. Suppose -270 = -4*u - n. Is 21 a factor of u?
False
Suppose 0 = 2*y + 3*d + 3 - 1, -2*d = 5*y + 5. Does 30 divide ((-1449)/23)/(2/4*y)?
False
Let v(w) = -431*w - 82. Let y be v(-5). Suppose -y = 36*a - 10281. Is 6 a factor of a?
True
Does 20 divide 26 + (-496)/93 + (-2)/3?
True
Suppose u = -23 + 9. Let l(c) = -c**3 - 13*c**2 + 14*c + 5. Let y be l(u). Suppose 4*x - 113 - 233 = -5*o, -y*o - x + 349 = 0. Does 18 divide o?
False
Let g(o) = -21528*o - 193. Is g(-1) a multiple of 17?
True
Suppose -10*i + 0*i = -32068 + 7268. Is 7 a factor of i?
False
Let i = -32 + 34. Suppose -i*a + 754 + 588 = 0. Suppose -a = -7*c - 188. Does 19 divide c?
False
Suppose -5*x + 5296 = -3*w + 49206, -2*x - 43898 = -3*w. Is w a multiple of 10?
True
Let l = 38 + -35. Suppose 3*f - l*n = -6*n + 12, -5*f - 2*n = -14. Suppose f*a = 42 + 46. Is 22 a factor of a?
True
Let s = -616 + 1011. Let f = -349 + s. Is 24 a factor of f?
False
Let o = 9560 - 5140. Is 85 a factor of o?
True
Let o = -150 + 162. Suppose -o*u = -8*u - 2804. Is 15 a factor of u?
False
Suppose -y = -2*y + 5. Suppos