 -y - 65*k + 68*k = -639. Is 2 a factor of y?
False
Let k(l) = -74*l**3 + 3*l**2 - 2*l + 2. Let r be k(2). Is 18/(-5 - r/114) a multiple of 12?
False
Is 25 a factor of (-55664)/(-21)*(-6 + 12 + 0)?
False
Let k(f) = -11*f**3 + f**2 - 2*f + 3. Let r be k(2). Let q be (52/26 - (-1 - 109/(-2)))*-2. Let z = q + r. Is z a multiple of 3?
True
Let k(j) = 4*j**2 + 8*j - 108. Is k(-23) a multiple of 57?
True
Suppose -10*g = -78*g + 161881 + 310923. Does 11 divide g?
False
Let j be 70/(-4) - (-6)/24*6. Let n(m) = -m**2 - 36*m - 30. Is n(j) a multiple of 23?
False
Let s(g) = -11*g**3 + 7*g**2 + 322*g + 1551. Does 49 divide s(-5)?
False
Suppose 5*r - 3*h = 16029 - 2538, -3*h + 8109 = 3*r. Is r a multiple of 10?
True
Let t(w) = 155*w**2 + 3 + 2*w - 19 + 45 + 5 - 154*w**2. Let q be (-2)/5 + 156/15. Is 55 a factor of t(q)?
False
Suppose -5*z + 5 + 9 = -3*g, 0 = 5*z + g - 22. Let p(f) = 77*f**2 + z - 5 + 26*f**2 - 2*f - 14*f**2. Is 10 a factor of p(-1)?
True
Suppose 106*s + 59*s - 344960 = 11*s. Does 16 divide s?
True
Let a(t) = -20*t - 1172. Is a(-74) a multiple of 44?
True
Let d be (-1 - 5) + 1*338. Suppose 5*l - d = 5*v - 8*v, -4*v + 331 = 5*l. Is 21 a factor of l?
False
Let r(d) = -d**3 + 18*d**2 - 23*d + 22. Let k be r(17). Let x = k + 183. Suppose 2*y - 3*w = 37 + 2, -2*w - x = -5*y. Is y a multiple of 7?
True
Suppose 690*g = 98*g + 2113440. Is 119 a factor of g?
True
Let b(k) = 4*k - 89. Let h be b(21). Let m(z) be the third derivative of z**5/20 + z**4/6 - z**3/6 + 2*z**2. Does 6 divide m(h)?
True
Suppose 9 = p - 5*d, -d - 34 = 4*p - 175. Let y = p + -39. Let t = 3 - y. Is t even?
True
Let p = -802 + 1336. Suppose 2*f = a - 173, f + p = 2*a + a. Suppose 0 = -o - 2*w + 24, -2*w + a - 27 = 5*o. Does 32 divide o?
True
Suppose -3*t + 566 = 2*k - 1446, 2*t + 5*k = 1334. Let i = -10 - -13. Suppose 0*u + i*u = t. Does 14 divide u?
True
Let q(m) = 85*m + 1642. Is q(-6) a multiple of 283?
True
Let d(x) = 12*x + 440. Let w be d(-36). Suppose 3*a = -a + 4624. Suppose w*u - a = 4*u. Is u a multiple of 29?
False
Let y(x) = 11*x**2 + 8*x + 10. Let o be y(-2). Suppose -o*t + 30*t = -1344. Is 21 a factor of t?
True
Suppose -m = 2*m - 15. Suppose -4*k + 3*p = -m*k + 154, -25 = -5*p. Is 15 a factor of k?
False
Suppose 202562 - 265924 - 444892 = -174*g. Is 23 a factor of g?
True
Let v = -91 + 95. Suppose 3*s - 11 = -z, -s + v*z = 3*s - 20. Suppose -84 = -2*q + o - 26, -s*q = o - 104. Is 10 a factor of q?
False
Let f = 14647 - 5512. Is f a multiple of 35?
True
Does 25 divide -68 - -75 - (-19463 - 8)?
False
Let a = -15953 - -33867. Is 14 a factor of a?
False
Suppose -26*d = 84*d + 66714 - 232374. Is 98 a factor of d?
False
Suppose u - 801 = -3*k + 3758, 7596 = 5*k + 4*u. Is 10 a factor of k?
True
Let x = -13498 + 26113. Does 145 divide x?
True
Suppose 35 = 27*g - 73. Suppose g*n + 12528 = 31*n. Is n a multiple of 4?
True
Is 786258/72 - (4/10)/((-24)/(-15)) a multiple of 21?
True
Suppose -6184 = 16*n - 1912. Let t = 128 + n. Let b = t - -309. Is 34 a factor of b?
True
Suppose -7*l = -2*o - 6*l + 17, 2*o - 3*l - 15 = 0. Let p(x) = x**3 - 9*x**2 + 10*x + 20. Does 10 divide p(o)?
True
Suppose -i - 135 = -5*d, -i + 3*d + 459 = -4*i. Is (-3)/(-5) + (-54510)/i a multiple of 14?
True
Is 22 a factor of ((-113424399)/72)/(-53) - (10/(-16) - -1)?
False
Suppose 4*w + 2*z = 6*z + 2476, -5*z + 45 = 0. Does 15 divide w?
False
Suppose -45 = -2*b - 5*h, b - 3*h - 5 + 10 = 0. Is (-3276)/(-180) + (-2)/b a multiple of 13?
False
Let b = 655 - -114. Does 16 divide b?
False
Let a = -31 + 27. Let r(b) = b**3 + 4*b**2 - 4*b - 10. Let c be r(a). Suppose -c*z + 57 = -183. Is z a multiple of 11?
False
Suppose -3*y + 2 = 2*s, 2*s - y - 6 = -2*y. Let q = -53 + 44. Is (1908/(-4))/q + s + -1 a multiple of 9?
False
Let x be 2252/6*3/2. Let y = x - 413. Is y a multiple of 8?
False
Let w(p) = -249*p + 21586. Does 221 divide w(0)?
False
Let b(d) = d**3 + d**2 - 4*d + 3. Suppose -5*p + 2*l - 5*l + 19 = 0, 2*l - 6 = 0. Let i be b(p). Suppose 18 + 94 = i*c. Does 4 divide c?
True
Let n be 648/(-14)*(-8 + 54/12). Suppose -445 = 157*f - n*f. Is f a multiple of 35?
False
Let p(k) = k**2 - 5*k - 10. Let i be p(7). Let q = -764 + 766. Suppose 48 = 4*f + i*o, 3*f = -7*o + q*o + 26. Is f a multiple of 17?
True
Suppose -14*h + 4*l = -17*h - 5002, 2*h - l = -3320. Let u = -790 - h. Does 18 divide u?
False
Suppose 0*t + 14 = o + 3*t, 26 = 5*o + 4*t. Suppose 3*c + b = -4, 5*c + 2*b + o = -6. Suppose c*i + 84 = 7*i. Is 4 a factor of i?
True
Let u(n) = -796*n + 1. Suppose 2*m + 2*x = 6, -x - 3 + 10 = -3*m. Is u(m) a multiple of 15?
False
Is (5558/21)/((-36)/(-540)) a multiple of 22?
False
Suppose -7*f + 170 = -12. Let r be f + ((-2)/4)/(1/(-8)). Let q = 181 - r. Does 49 divide q?
False
Let o(r) be the second derivative of 7*r**5/20 + 2*r**4/3 - 9*r**3/2 - 3*r**2/2 + 99*r. Is 31 a factor of o(5)?
False
Suppose -3*d - d + 64 = 5*z, 0 = -4*d + z + 64. Let y be (32/(-10))/((-20)/1150). Is 40 a factor of (y/(-10))/(d/(-40))?
False
Does 10 divide ((-246250)/875)/(3 + (-129)/42)?
True
Let p(o) = 2*o**3 - 7*o**2 - 63*o + 280. Is 20 a factor of p(20)?
True
Suppose 73882 = -14436*g + 14477*g. Is 17 a factor of g?
True
Suppose -476436 - 3990084 = -120*f. Does 19 divide f?
True
Suppose 30 = 5*y + 15. Let s be (5/3)/((y - -2)/15). Suppose 3*x = -5*b + 50, 2*b + 11 = -s*x + 10*x. Does 7 divide b?
True
Suppose 5*n = -2*v - 0 + 19, 3*v = -3*n + 15. Suppose -3*t - 120 = -3*l + 6*l, -n*t = -3*l - 96. Let k = 112 + l. Is 10 a factor of k?
False
Suppose 0 = 15*m - 36 - 39. Suppose -317 = -6*b + 4*b - i, m*b - 5*i = 755. Is b a multiple of 12?
True
Let p(m) = -m**3 + 8*m**2 + 14*m - 3. Let d be p(10). Let s be d/(-12) - (-18)/24. Is (908/6)/(4/s) a multiple of 31?
False
Suppose -9*j + 139692 = 12*t - 5*j, 0 = -3*t - 3*j + 34935. Is t a multiple of 45?
False
Let h(z) be the second derivative of 10*z**4/3 - z**3/3 + 25*z**2/2 - 31*z + 4. Is h(4) a multiple of 9?
True
Suppose -8*r - 271 = -359. Is 21 a factor of r/(9/(-6804)*-9)?
True
Let s = 1525 + 1580. Is 15 a factor of s?
True
Let t = 22 - 22. Let w be (3 + (-2 - 0))*-39 + t. Is (1 + -31)*26/w a multiple of 15?
False
Let g(d) be the second derivative of d**3 - d**2/2 - d - 5. Is g(6) a multiple of 35?
True
Suppose 0 = 2*o - o + 415. Let l(d) = -9*d**3 + 9*d**2 + 22*d + 69. Let j be l(-4). Let n = o + j. Is 22 a factor of n?
True
Suppose -83*v = -270947 + 86438. Is 39 a factor of v?
True
Let s = 405 - 401. Suppose 555 = 3*a - r, a - 159 = -s*r + 26. Is 49 a factor of a?
False
Let l be (-5)/((-10)/(-12)) + 5 + -2. Let u be (3 - 4)*1/(l/3). Let y = u + 27. Does 14 divide y?
True
Let c = 14890 + -12096. Is c a multiple of 5?
False
Suppose 0 = -4*u + 7*u - 156. Suppose 0 = 3*b + l + u, -l - 4*l = -4*b - 101. Let n(r) = -4*r - 40. Is n(b) a multiple of 9?
True
Suppose 4*o - 5*z - 42 = 55, -128 = -5*o + 4*z. Suppose o*d + 2*a - 5098 = 23*d, a = 3*d - 3061. Is 12 a factor of d?
True
Let m(v) = -2*v**2 - 6*v + 1. Let t be m(-2). Suppose -3*l = t*o + 12 - 1, 0 = -4*l + o + 16. Suppose l = -j + 29. Is j a multiple of 4?
False
Let l(d) = -6*d**3 - d**2 - 3*d - 6. Let r be l(-3). Suppose 0 = t - r + 154. Is 0 - (-2)/t*(3 + 290) a multiple of 14?
False
Is (25226/18 - 2) + 28/(-63) a multiple of 16?
False
Suppose -7*j = -6*j + 2*z - 8, 11 = 2*j + 5*z. Suppose j*s - 10806 = 7194. Is s a multiple of 50?
True
Let k(d) = d**2 + d. Let r be k(5). Let j = r - 18. Is 37 a factor of 1*148/(j/3)?
True
Let x(w) = 18*w**3 + w**2 - 9. Let t be x(-3). Let c = -325 - t. Is c a multiple of 3?
False
Let z be 420/48 + 2/8. Suppose z*a - 4*a = 4*y + 2283, 0 = -5*y + 15. Is a a multiple of 27?
True
Is 6 + 52521 - 5/20*-36 a multiple of 264?
True
Let c be (1082/(-4))/(((-9)/(-6))/3). Let h = -81 - c. Is h a multiple of 12?
False
Is ((-79534)/(-57) - -14)*54/21 a multiple of 24?
True
Let g be 98 + (11 - (3 - -3)). Suppose g*h - 101*h = 12. Does 2 divide h?
True
Let q(n) = 318*n**3 - 8*n**2 - 19*n + 29. Does 89 divide q(3)?
False
Let y(h) = 187*h**2 + 20*h + 16. Does 80 divide y(7)?
False
Let u = 617 - 598. Let o(q) = -33*q + 85. Let n(b) = 17*b - 43. Let v(x) = -11*n(x) - 6*o(x). Is v(u) a multiple of 35?
False
Let g(q) = -q + 4. Let u be g(8). Let a be 8/u - (32 + -2). Let d = a - -91. Is d a multiple of 19?
False
Let h(n) 