ctor of (-2 - -23)/(21/v)?
False
Let s(y) = -6*y**2 - 95*y + 26. Let f be s(-16). Let n(z) = 74*z - 12. Is n(f) a multiple of 40?
False
Suppose 0 = -c + 4, -4*c - 61 = -g + 329. Let w = -230 + g. Suppose -y = -f + 3*y + 182, f = y + w. Is f a multiple of 17?
False
Suppose z + 4*z + 25 = 0. Let n(f) = -83*f - 13. Let q be n(z). Does 25 divide 8/(-32) + q/8?
True
Suppose -d + 3*d - 5*c - 128 = 0, d - 4*c = 70. Let x = 12 - d. Is 14 a factor of (x/5)/(3/(-20))?
True
Let x(t) = 1 - 30*t**3 + 5*t**3 + 16*t**3 - 3*t - 4*t**2 - 46*t**3 - 32*t**3. Is x(-2) a multiple of 91?
False
Suppose -4*b + 6 = -b. Suppose -4*w = -2*n - 18, -10 = 10*w - 5*w + 4*n. Suppose -2*c = b*j - 228, -w*j - 2*c + 109 = -j. Does 17 divide j?
True
Let w be (3*20/15)/(1 + 1). Let h be 0/(1*(1 - w)). Suppose h = -4*p - 2*p + 144. Is p a multiple of 24?
True
Suppose -94*y - 3062 = -163990. Does 30 divide y?
False
Let u(v) = -278*v**3 - 2*v**2 + 2. Let x be u(-2). Suppose -3*b - 514 = -x. Is b a multiple of 12?
False
Suppose 5*o - 611 = -4*v, -179*v = -2*o - 174*v + 284. Is o a multiple of 11?
False
Let s be 2/(-4) + 2415/(-138). Suppose 60 = m - 3*m - 3*j, -4*m - 120 = 3*j. Let p = s - m. Is 4 a factor of p?
True
Suppose -18*x + 33 = -93. Suppose 2*j - 200 = 2*b, 4*j + 4*b - 400 = x*b. Is j a multiple of 10?
True
Let b(h) = h**3 - h**2 - h - 10. Let w(x) = -115*x**2 + x**3 + 115*x**2 - 10. Let m(f) = 3*b(f) - 2*w(f). Does 20 divide m(5)?
False
Let b = 3423 - 2904. Is b a multiple of 3?
True
Suppose 101 = -4*j + 105. Is 15 a factor of j*6*(-5)/10 - -221?
False
Suppose -a = 2*x - 4164, -2*x + 13619 = 3*a + 1111. Is 28 a factor of a?
True
Suppose -16*j + 11 = -21. Suppose -5*l + 37 = 3*n, -n - 12 = -j*l + 5. Suppose -l*o = -5*o - 180. Does 12 divide o?
True
Let d = 189 - 117. Let o be (-5 - (-4 + -1)) + d. Suppose -6*j = i - 2*j - o, 300 = 4*i + 4*j. Is i a multiple of 19?
True
Let s be (177/118)/((-3)/1424). Let j = s + 1211. Does 4 divide j?
False
Suppose -22*q = -26*q + 1728. Let y be (-360)/(-135) + (-2)/(-6). Suppose q = 9*m - y*m. Is m a multiple of 36?
True
Let a be (11/(33/10))/((-7)/(-126)). Let k(y) = 2*y + 3. Let d be k(6). Let f = a + d. Is 8 a factor of f?
False
Let i = -202 + -58. Let x = i - -453. Is x a multiple of 30?
False
Let f(d) = 10*d**3 + 3*d**2 - 4. Let y be f(-3). Let p = -314 + 186. Let r = p - y. Is 17 a factor of r?
True
Let a(d) = d**2 + 21*d + 50. Let k be a(-21). Let c = 73 - k. Is c a multiple of 17?
False
Let p(d) = d**3 + 8*d**2 + 5*d - 10. Let g be p(-7). Let m be ((-2)/g)/((-2)/12). Suppose -51 = -3*i + 3*q, 19 = -i + m*i + q. Is i a multiple of 6?
True
Is 141 a factor of (11758 - -4)/(4 - (-6 + 10 - 2))?
False
Suppose -17365 = -2*z + 3*p + 26366, -4*p = -z + 21843. Does 9 divide z?
True
Suppose 9900 = 5*u - 5*s, -5*u = -151*s + 147*s - 9898. Is 22 a factor of u?
False
Suppose -g + 2*g - 153 = 0. Let l(o) = -2*o + 179. Let t be l(40). Let w = g - t. Is 30 a factor of w?
False
Let l = 3588 + -3136. Is l a multiple of 25?
False
Does 18 divide (1 - (-33)/(-27)) + 1219850/279?
False
Suppose 2*d - 9226 = 4*n + 7654, 5*n = -4*d + 33682. Does 11 divide d?
False
Let b be 41 - ((-12)/(-12))/(-1*1). Let o = 47 - b. Suppose 2*m - 141 = -4*p + 55, -o*m + 49 = p. Does 9 divide p?
False
Let y = 102 + -97. Suppose 15 = -y*a + 10. Does 19 divide (118*a)/(4/(-8))?
False
Let a be (-214)/(3 - (6 + -5)). Let p = -62 - a. Does 32 divide p?
False
Let i = 336 - 200. Let z = 16 + i. Suppose 2*s + 2*m - z = 0, -2*s - 5*m = -0*s - 140. Is 8 a factor of s?
True
Let k = 4321 - 2281. Does 60 divide k?
True
Let h(g) = -63*g**3 + 3*g**2 + 5*g - 6. Let s be h(1). Let m = -8 - 35. Let f = m - s. Is f a multiple of 9?
True
Let j = -74 + 96. Does 46 divide (-162 - j)*(-2)/2?
True
Suppose 10855 = 2*b + k, 2*b - 2*k = 7239 + 3631. Is 30 a factor of b?
True
Suppose -19921 = -54*z + 47*z + 9829. Is 33 a factor of z?
False
Let a(j) = -j**3 + 17*j**2 - 40*j - 19. Let b be a(14). Is b*73*2/3 a multiple of 20?
False
Let t = -1703 + 5873. Is 10 a factor of t?
True
Suppose -73256 = -75*t + 215471 + 351473. Is t a multiple of 15?
False
Suppose 5*i + 3*p = 624, 4*i - 4*p - 31 = 481. Let u be (-1079)/(-3) + 1/3. Suppose 6*j + i = u. Does 13 divide j?
True
Let d(g) = 2*g**2 + 37*g - 97. Suppose -101 = 3*v + r, -v + 4*r = -0*r + 12. Is d(v) a multiple of 59?
True
Let w = 317 - 287. Let i = w + 139. Is i a multiple of 8?
False
Suppose 0 = -w - 3*c - 12, -2 = -4*c - 18. Suppose w = 19*d + 10*d - 10005. Is d a multiple of 23?
True
Let w(v) = 25*v**2 - 220*v - 13. Is 4 a factor of w(13)?
True
Suppose -19742 = -3*c + 4*h, 5*c = 4*h + 35409 - 2495. Is c a multiple of 74?
True
Suppose -77262 - 118079 = -3*q - 23612. Does 14 divide q?
False
Does 67 divide (-429090)/(-105) - (-30)/70?
True
Let x(m) be the second derivative of 4/3*m**3 + 15*m + 0 - 9*m**2. Is 29 a factor of x(8)?
False
Suppose 0 = m - 2, -5*m - 1538 = 3*t - 5391. Is 61 a factor of t?
True
Let s be ((-71)/3)/(2/(-18)). Let j = -59 + s. Is 11 a factor of j?
True
Suppose 0 = -19*l + 4*l + 90. Is l + (3 - 5) - 29*-13 a multiple of 59?
False
Let c = 123 + -61. Suppose -2*y + 5*t + 7 - 42 = 0, -c = 4*y - 2*t. Is 23 a factor of (-3)/y - (2 - (-2158)/(-10))?
False
Let j = -94 + 99. Suppose 4*l + 5*s - 4 = 0, -3*s - 2*s = j*l - 10. Suppose -1350 = a - l*a. Is 36 a factor of a?
False
Let n(w) be the first derivative of 74*w**2 + w - 6 - 3*w - 6*w**2. Does 17 divide n(1)?
False
Let c be (1/3)/(6/810). Suppose 0 = c*v - 37*v - 880. Is v a multiple of 11?
True
Does 76 divide ((-2)/(-20))/(1/12)*(-27148720)/(-1272)?
True
Let l(z) = -6*z**2 - 5*z + 7. Let n be l(2). Is 6/n - 1*(-332)/36 a multiple of 9?
True
Is ((-12)/10)/((-42)/144830) a multiple of 9?
False
Let i = -1317 - -711. Let d = 1045 + i. Is 41 a factor of d?
False
Let z = -286 - -302. Let u(p) = p**3 - 14*p**2 + 23*p - 40. Is 20 a factor of u(z)?
True
Let c(x) = 12*x**3 + x**2 - 5*x + 3. Let y be c(-4). Let i = y + 1072. Suppose -6*n + i + 431 = 0. Is 21 a factor of n?
False
Suppose -4*h + 14 - 6 = 0. Suppose 4*z - 8 = h*q, q + 4 = 4*z + z. Let d(t) = -t + 72. Is d(z) a multiple of 24?
True
Let l = -62945 + 90144. Is l a multiple of 10?
False
Let h(k) be the first derivative of -k**3/3 + 8*k**2 - 27*k - 24. Let g be h(9). Let y = 84 - g. Is 7 a factor of y?
False
Suppose 2*t - 21 = s, -5*s + 4*s - 12 = -t. Let a(r) = -r**2 + 10*r - 3. Let n be a(t). Suppose 0 = f + n*f - 140. Is 5 a factor of f?
True
Let h(s) = s**2 - 5*s + 775. Is h(40) a multiple of 48?
False
Let o(p) = -12*p**3 - 6*p - 5. Let n be o(-1). Suppose 1540 = n*f - 6*f. Is 20 a factor of f?
True
Suppose -5*u - 5 = -4*h + 9*h, 3*h - 5*u - 13 = 0. Does 2 divide h + (7 - -280 - 4)?
True
Suppose 14*d - 13*d + 11146 = 5*m, -2*m + 3*d + 4448 = 0. Does 10 divide m?
True
Let a(n) = 7*n + 12. Let y be a(4). Let p be ((-88)/y)/((-1)/5). Suppose 5 = l - p. Is 8 a factor of l?
True
Let b(u) = 1021*u + 592. Is 215 a factor of b(3)?
True
Let a = 6562 - -13784. Is a a multiple of 22?
False
Suppose 0 = 4*j - 0*j - 212. Let q(p) = -128*p + 1462. Let a be q(11). Suppose -a*t + 104 = -j*t. Does 19 divide t?
False
Let j(l) = -5*l + 15. Suppose 3*h = -k, -2*k + 11 = -0*k - 5*h. Let s be j(k). Suppose s = -7*g + 440 + 253. Is 9 a factor of g?
True
Let n(x) = -2*x**2 + 65*x - 42. Let h be (-2 - (1 + 0))*(-29 + 22). Does 63 divide n(h)?
True
Suppose 0 = -8*k - 8338 - 1806. Let i = -892 - k. Is 5 a factor of i?
False
Let g(u) = -15*u**2 + 257*u + 68. Is 17 a factor of g(17)?
True
Let w = -226 + 266. Is w a multiple of 5?
True
Suppose -b = -4*m + 41205, 4*b + 0*b + 41184 = 4*m. Is m a multiple of 9?
False
Is 1*(-2 + 0 + 12 + 311) a multiple of 39?
False
Let f(o) = 386*o - 15. Let x be (-22 - -26)/(1 - (-3)/9). Does 19 divide f(x)?
False
Let i(k) = -k**3 + 7*k**2 - 10*k + 10. Let a be i(4). Suppose -13*u + a*u - 10 = 0. Suppose -4*b + u*z = -1096, 10*b = 8*b + 2*z + 552. Is b a multiple of 13?
False
Let d = -1 - -3. Suppose -6*r = 6*r - 2832. Suppose 2*t + 244 = d*l, 2*l - 13*t - r = -9*t. Is 14 a factor of l?
True
Suppose -f - 2252 = -3*t, 2*t - 5*f + 215 = 1725. Let k = 2084 - t. Is k a multiple of 15?
False
Suppose -3*t - 64 = 14. Does 23 divide ((-713)/(-31))/((-2)/t)?
True
Let a = 6164 + -746. Is a a multiple of 86?
True
Suppose -b + 448 = -5*j - 