ide (150/(-7))/(4 + 261/r)?
True
Let q = 83 - 79. Suppose o + 5*k - q*k = 5, o - 25 = -5*k. Suppose o = 13*m - 7*m - 864. Is 13 a factor of m?
False
Suppose 516*b = 542*b - 403416. Is b a multiple of 35?
False
Let s(q) = -4*q**3 + 4*q**2 - 6*q. Let c be s(-6). Let u = c + -438. Is u a multiple of 51?
False
Let b(d) = 904*d - 4352. Is 10 a factor of b(11)?
False
Suppose 0 = -3*h + 34*h - 162812. Is 12 a factor of h?
False
Let c(w) = -77*w**3 + w**2 + 13. Let h = 463 + -466. Is 12 a factor of c(h)?
False
Let f = -140 + 139. Let g = 287 - f. Does 36 divide g?
True
Suppose 142 + 43 = v. Suppose r - 29 = -p, -5*r + 0*p + 3*p + v = 0. Is r a multiple of 11?
False
Suppose 1116 = 9*w - 3366. Let z = w - 460. Is 8 a factor of z?
False
Suppose -220*c + 186319 = -82*c - 1760861. Is 170 a factor of c?
True
Suppose 5 = 5*n + 20. Does 31 divide (34 + n)/(1 - 0)?
True
Is 7 a factor of (-14)/14 - -3515 - (2 - -1)?
False
Let h(t) = t**3 - 8*t**2 + t - 8. Let o be h(8). Let c = 3 - o. Suppose l - 4 = -1, -c*l - 51 = -2*z. Does 8 divide z?
False
Let j(z) = 159 - 44*z - 156 + 59*z + 52*z. Let d be j(3). Suppose -1516 = -8*i - d. Is i a multiple of 17?
False
Suppose 0 = 3*p + 3*p - 42. Let u be (9 - 6) + p*2. Suppose -18*a + 19 = -u*a. Is a a multiple of 14?
False
Suppose 6729 - 1369 = 4*m. Is 4 a factor of m?
True
Let k(a) = a**2 + 17*a + 2. Let y be k(-8). Let r = y + 121. Let c = r - 9. Is 21 a factor of c?
True
Suppose -5*i + 4*i + 56 = 0. Let s = -52 + i. Suppose -s*g - 156 = -7*g. Does 27 divide g?
False
Suppose 3*q - 45 = -2*q. Let i be 1 + 12/q*6/2. Suppose 4*u + m - 173 = 0, -5*u = -4*u - i*m - 59. Is 22 a factor of u?
True
Let c be (-16)/(-64) - (-5279)/4*1. Suppose -2*h - 6*h + c = 0. Does 10 divide h?
False
Suppose 0 = -x + 3*k + 3, -7 = -x - 3*k - 22. Does 46 divide x/15 + 12985/25 + 1?
False
Let h(w) = -3*w**3 + 41*w**2 + 29*w + 49. Is h(-13) a multiple of 50?
False
Suppose 4*d + q - 5 = -0*d, -2*d = -q - 7. Suppose -m + d = 3. Let x = m - -21. Is x a multiple of 4?
True
Let r(v) = -v**3 + v + 48. Let a be r(0). Suppose 54*m = a*m + 3480. Does 58 divide m?
True
Let j(f) = 6*f**3 - 22*f**2 + 17*f - 14. Let x(q) = 13*q**3 - 46*q**2 + 35*q - 27. Let r(c) = -9*j(c) + 4*x(c). Is r(5) a multiple of 23?
False
Suppose -36898 = -21*o + 32654. Is o a multiple of 80?
False
Let l(x) = 43*x**3 + x**2 - 4*x - 1. Let j be l(3). Let w be (6/(-18))/(3 + (-148)/48). Suppose -5*n + j = w*z, 0*n + 4*n + z = 919. Is n a multiple of 26?
False
Let n(u) = 115*u + 17. Suppose -32*g = -42*g + 30. Is 40 a factor of n(g)?
False
Suppose 0 = 6*m - m - g - 63, -3*m + 39 = -g. Let l(a) = -a**2 + 11*a + 17. Let d be l(m). Is 36*d/(-60)*-4 a multiple of 12?
True
Let p(x) = 258*x**3 - 10*x**2 + 24*x + 12. Does 29 divide p(3)?
True
Suppose -12*o - 5*o = -9656. Let x = 904 - o. Is x a multiple of 21?
True
Suppose 0 = -9*h + 3984 - 186. Let t = 986 - h. Is t a multiple of 47?
True
Let x be (0/2)/(-5) + -2. Let l be (x + (-25)/(-10))*(4 - 2). Does 51 divide 81 + 18 + 3*l?
True
Let b(u) = -u**3 - 8*u**2 + 10*u + 9. Let j be b(-9). Let s = 10 + j. Is 12 a factor of (5 - 5/s)*(12 + -2)?
False
Let q be (6/((-24)/14))/((-1)/(-14)). Let z = 241 + q. Is 74 a factor of z?
False
Suppose -619062 = -84*n + 393222. Is 39 a factor of n?
True
Let q = -33461 + 61684. Is 8 a factor of q?
False
Suppose 543*s - 1251514 = -155*s. Is 84 a factor of s?
False
Let h(x) = -279*x - 63. Let b be h(2). Let k = b - -1173. Does 24 divide k?
True
Suppose c = 5*c + 2*i - 6602, 3 = -3*i. Suppose c = 11*s - 527. Suppose 8*x - s = 90. Does 3 divide x?
True
Let z(d) = 384*d - 188*d - 71 - 192*d. Does 2 divide z(22)?
False
Suppose -5*v + 2*c - 6 = -c, 0 = -2*v - 2*c + 4. Suppose 4*p + 4*w - 1048 = -0*w, 5*p - w - 1322 = v. Is 39 a factor of p?
False
Suppose -18*x = -537434 - 230617 + 22635. Is 68 a factor of x?
True
Let c = -271 + 56. Does 3 divide (-344)/c*(0 - -125)?
False
Let y(j) = -5*j**2 + 3*j - 1. Let u be y(1). Let z(w) = -10*w**3 - 2*w**2. Is 18 a factor of z(u)?
True
Let b = 116 + -110. Let k be (-222)/b*12/2. Does 11 divide ((-18)/15 - -1) + k/(-10)?
True
Is (0 - (-2 + -2035)) + -7 a multiple of 70?
True
Let c be (-50)/3*(-60)/40. Let j = 76 - c. Is 30 a factor of j/(-6)*(-2 + 80/(-4))?
False
Suppose 13*a = 8*a + 25. Suppose p + 306 = 4*c - 127, -a*c + 2*p = -539. Suppose -94 = -5*l + 5*g + 41, -4*g = 3*l - c. Is l a multiple of 9?
False
Let z = 84 - 72. Let w be (-1 - 15) + -8 + z. Is 20 a factor of w/9*357/(-14)?
False
Suppose 5955 = 4*b - 3*d, 3*b - 6*b + 4465 = -d. Is b a multiple of 8?
True
Suppose 13356 = 3*o + 5*f, 4*o + 3*f - 6986 = 10822. Suppose -10614 = -18*y + o. Is 14 a factor of y?
False
Suppose -12130 = 12*k - 70450. Does 4 divide k?
True
Suppose 10136 = -31*q + 30596. Is q a multiple of 6?
True
Let k(g) = -g**2 + 52*g - 190. Let o be k(4). Suppose m - 5*t = 4*m - 622, -211 = -m + o*t. Is m a multiple of 11?
True
Suppose -843 = -5*r + 3*w + 1213, 0 = 4*r + 5*w - 1630. Let c = -242 + r. Is c a multiple of 28?
True
Let c(w) be the first derivative of 30*w**2 - 101*w - 38. Is 22 a factor of c(7)?
False
Suppose -6*r + 13254 + 3714 = 0. Is 28 a factor of r?
True
Suppose -55 = -3*k - 49. Is 2 a factor of k?
True
Let g(o) = o - 5. Let s be g(7). Suppose f = s*l - f - 116, l - 53 = -4*f. Does 19 divide l?
True
Suppose 1858 = x - 4070. Is x a multiple of 38?
True
Suppose -2*g = -4, -35 = -5*j + 5*g - 185. Is 20 a factor of 7*((-276)/j + -7)?
True
Suppose 59 = -5*z + 3*a, z - 3*a - 11 = 3*z. Is 3 a factor of (-3275)/(-100) - (z/8 + 1)?
True
Let z(t) = 2145*t + 858. Let s(l) = 330*l + 132. Let b(i) = -33*s(i) + 5*z(i). Is 18 a factor of b(-4)?
True
Let i = -168 - -189. Is 21 a factor of 99544/483 + (-2)/i?
False
Let r be 6/(-4)*(-140)/21. Let j = 27 + r. Suppose 0 = -4*u + 87 + j. Is 5 a factor of u?
False
Let x = -421 + 417. Is 9 a factor of (x/(-5))/((-6)/47385*-9)?
True
Let l(q) = -2 + 1 + 21 + 8*q. Suppose 34 = 5*p - 21. Does 20 divide l(p)?
False
Let h be (6 - -3031)/1 + 7. Let v = h + -1480. Is v a multiple of 34?
True
Suppose 2*o + 0*d = 2*d + 1316, 0 = -2*d + 4. Suppose 107*b - 112*b + o = 0. Is b a multiple of 22?
True
Does 64 divide (740/60*-2931)/(-3 - -2)?
False
Suppose -8*f - 192 = 4*f. Let j be (-1*14)/(-2 + f/(-12)). Let a(l) = -l + 59. Is 4 a factor of a(j)?
False
Let w(l) = -26*l + 68. Let f be w(-29). Let j = -510 + f. Is 14 a factor of j?
False
Let c(u) be the third derivative of u**5/15 + 2*u**3/3 + 16*u**2. Let y be c(4). Let w = -19 + y. Does 24 divide w?
False
Suppose 0 = 3*r - 0*r + 4*x - 22834, -4 = 2*x. Suppose r - 2364 = 14*a. Is 15 a factor of a?
True
Suppose v + 4*y = 74, -489*v + 2*y = -491*v + 94. Is 19 a factor of v?
True
Suppose 0 = 2*g + 4*j - 1300, -3*g + 836 + 1064 = -4*j. Suppose -193*d = -198*d + g. Is d a multiple of 4?
True
Is (-29546)/((-8)/(-2) + (3 - 9)) a multiple of 204?
False
Suppose -1743*b = -1594*b - 163155. Does 15 divide b?
True
Let d(f) = 43*f**3 - 3*f**2 + 13*f - 37. Does 8 divide d(3)?
True
Suppose -820 = -4*a - 336. Let i = 16 + a. Let k = 244 - i. Is 54 a factor of k?
False
Let o be 0/((-1)/((-5)/15*-3)). Let s(b) = 15*b + 31. Is s(o) a multiple of 5?
False
Let v = 73 + -76. Is 13 a factor of (-340)/4*-13 - (v + -1)?
False
Suppose 5*n + 116 = 491. Let t = n + -72. Suppose -t*c + 399 = 4*v - 699, -4*c + 268 = v. Is 14 a factor of v?
False
Let j(x) be the third derivative of -1/8*x**4 + 0 + x**2 + 0*x - 4/15*x**5 - 1/6*x**3 - 1/120*x**6. Is 9 a factor of j(-16)?
False
Let y = 288 + 133. Suppose -m + y = -92. Is 19 a factor of m?
True
Suppose -5*r + 15 = 0, -4*d - 15 = -0*d - 5*r. Let w(t) = d*t - 4 - 188*t**2 + 205*t**2 + 2*t + 0*t. Is 7 a factor of w(2)?
False
Let t(x) = 4*x**2 - 721 - 6*x**2 - 12*x + x**2 + 721. Let z(g) = -10*g**2 + 2*g - 1. Let l be z(1). Is 6 a factor of t(l)?
False
Suppose 4*j + 42 = 34, -4*j - 24551 = -3*i. Is i a multiple of 28?
False
Let a = 26279 - 4061. Is a a multiple of 42?
True
Let m = 79486 - 45771. Is m a multiple of 55?
True
Let d be (-6)/1 - -22 - 1. Suppose 14*v - d*v = -228. Is v a multiple of 6?
True
Let s(p) be the second derivative of 5*p**4/24 - 14*p**3/3 - 5*p**2/2 + 37*p. Let h(d) be the first derivative of s(d). Is h(20) a multiple of 4?
True
Let y(s) = s + 6. Let r be y(-4). Suppose -2*g + 10 = 0, -r*x + g 