 = -38 - p. Suppose -3*f + 2*f + 72 = -v, -294 = -4*f - s*v. Is 9 a factor of f?
False
Suppose -315*f + 64*f + 467416 - 40716 = 0. Does 85 divide f?
True
Let y(r) = 2*r**2 + 4*r - 3. Let n = -381 - -201. Let u be n/25 - (-2)/10. Is 13 a factor of y(u)?
False
Let i be -6*3/(-36) - (-351)/2. Let h = i + -158. Is 4 a factor of h?
False
Suppose 156*n - 126*n - 36455 - 29335 = 0. Is 8 a factor of n?
False
Suppose -75*m + 12*m = -451017 - 84798. Does 15 divide m?
True
Suppose 11*l = 17*l - 42. Is 14/l - 11 - -42 a multiple of 7?
False
Suppose -v - 15 = -2*l, 5*l + 3*v = 25 + 18. Let k be 8 + (l/10)/((-2)/5). Is 8/k*11/((-55)/(-390)) a multiple of 26?
True
Does 243 divide 9234/(-95)*(-2670)/2*5/10?
True
Suppose 2*f + 5*h = -118, h = -3*f - 127 - 37. Let k = -47 - f. Does 9 divide 0 - (-3)/k - (-26250)/490?
True
Let o be 2*(-3)/(-6)*(4 - 2). Suppose 5*x - n - 5 = 0, -o*n + 3 = x - 9. Is 9 a factor of ((-384)/112)/(x/(-7))?
False
Suppose -19*x - 159730 = -106*x + 304067. Is x a multiple of 135?
False
Suppose 4*o + 5*g = -227, 173 = -3*o + 8*g - 9*g. Let c = o + 288. Does 7 divide c?
False
Suppose 2*q + 1007653 = 21*q + 227361. Does 30 divide q?
False
Let g(i) = i. Let n(d) = -2*d**2 - 24*d + 56. Let p(w) = -12*g(w) - n(w). Is p(8) a multiple of 8?
True
Let s(i) = -1007*i - 2527. Is 91 a factor of s(-42)?
True
Let i(v) = 13*v**2 + 11*v - 20. Let s be i(-8). Suppose 0 = -5*y + 7*y + p - 292, 5*y + p - s = 0. Does 9 divide y?
True
Let z be 7/(-5)*(-16 + 11). Suppose -z*c + 1005 = -2341. Suppose -2*f + 236 = 3*n, -4*f - 3*n = -0*f - c. Is f a multiple of 11?
True
Suppose 9*h + 9 = 6*h, 3*h + 1629 = 5*b. Let u = b + -140. Is u a multiple of 23?
True
Let j be (-117)/12*8/(-6). Let r(k) = 4*k - 16. Is r(j) a multiple of 9?
True
Suppose 18803 = 84*v - 80*v - 3*y, -23499 = -5*v - y. Does 10 divide v?
True
Let l(v) = 2*v - 11. Let i = 41 + -26. Let u be l(i). Suppose 3*j - u + 4 = 0. Is j a multiple of 3?
False
Let k(q) = -5*q - 22. Suppose -2*c + 4*o = 4 + 6, 0 = c + 4*o + 5. Let z be k(c). Let h(i) = 20*i**2 + 4*i - 6. Is 31 a factor of h(z)?
True
Let w be (-1)/(-1) + -1 - (697 - -3). Let m = w + 1003. Does 10 divide (-4 - m/(-9))*3?
False
Suppose 8*t = 33*t - 27850. Let n = t + -621. Is 4 a factor of n?
False
Let s = 63 + 251. Let c = s - 93. Does 7 divide c?
False
Let c = 475 - 467. Suppose -2*p + p + 69 = 0. Suppose -11*r = -c*r - p. Is r a multiple of 6?
False
Let q = -38177 + 74954. Does 69 divide q?
True
Suppose -15*f - 44 = -19*f. Let k = f + -6. Suppose h = 3*h - j - 75, -k*h - 5*j = -225. Is h a multiple of 37?
False
Let w(m) = -m**3 + 15*m**2 - 8*m + 16. Suppose -8*a = -7*a. Let n be 18/12*((-56)/(-6) + a). Is w(n) a multiple of 20?
True
Is 25 a factor of (-112761)/(-170)*(1 + -2)*-2*5?
False
Let n(q) = 29*q + 103. Let h be n(4). Suppose 2*m = -i + 83 + 70, 5*i = -3*m + h. Is m a multiple of 23?
False
Let d(t) = 156*t - 872. Does 5 divide d(22)?
True
Suppose -18*n + 4008 = -3408. Does 4 divide n?
True
Suppose 48*b - 3*t = 51*b - 35928, b + 2*t - 11975 = 0. Does 254 divide b?
False
Let h = -11 - -4. Let i(f) = -391*f - 25 + 175*f + 203*f. Does 22 divide i(h)?
True
Suppose -2*f = -4*g - 0*g + 4, -6 = -4*f + g. Suppose -269 - 191 = -f*v. Suppose z = -z + v. Does 13 divide z?
False
Let c(h) = -h**3 + 8*h**2 + 20*h. Let r be c(10). Suppose r = -10*v + 681 + 5039. Is 38 a factor of v?
False
Let w(z) = 82*z - 552. Does 27 divide w(39)?
True
Let i(t) = -1116*t - 835. Does 128 divide i(-8)?
False
Suppose 0 = 2*k - 313 - 3245. Suppose -4*i + 2*l + 2346 = -26, 2*l + k = 3*i. Does 12 divide i?
False
Let c be 837/6*(-12)/(-18) - 1. Let h = c + -88. Suppose -x - k - 57 = -180, -4*x + 468 = -h*k. Is x a multiple of 19?
False
Let x(y) = 7*y**3 - 6*y**2 + 12*y + 10. Is x(8) a multiple of 87?
True
Suppose -137 - 1271 = -8*b. Does 14 divide b?
False
Suppose -449*c + 511464 = -425*c. Is 18 a factor of c?
False
Suppose -4*r + 413 = 1857. Let l be (-1 - (-1 + -1))/((-19)/r). Suppose y = 37 + l. Is 7 a factor of y?
True
Let o(l) = l**3 + 27*l**2 - 62*l - 20. Let z(y) = 9*y + 70. Let d be z(-11). Does 4 divide o(d)?
True
Suppose 5*i - 35246 = 2*f, 21*i - 5*f - 14090 = 19*i. Is i a multiple of 150?
True
Suppose 27*l + 188031 - 456654 = 0. Is l a multiple of 8?
False
Let c(z) = 5 + 3*z + 0*z**3 - 4*z**3 + 2*z**3 - 8*z**2 + 3*z**2. Is 4 a factor of c(-5)?
False
Suppose -20*l + 49*l = 51881. Let j = l + -1154. Is j a multiple of 31?
False
Let g(c) = 2*c**2 - 12*c + 22. Let k be g(3). Suppose 1118 = l + 5*v, 3*v = v - k. Does 12 divide l?
True
Let n(h) = 2267*h + 2751. Does 24 divide n(3)?
True
Let r(u) be the first derivative of 2*u**3 - 13*u**2 - 6*u - 79. Does 19 divide r(-3)?
False
Let q = 22277 - 6533. Does 16 divide q?
True
Let s be 3 - 1 - (-2 - -8)/(-1). Let w(b) = 5*b**2 + 10*b - 19. Is 27 a factor of w(s)?
False
Does 52 divide 1896/((-88)/(-11))*((-1076)/(-12) + -5)?
False
Let x(f) = 7*f - 149. Let l be x(19). Let p(d) = -d**3 - 10*d**2 + 54*d - 11. Is p(l) a multiple of 18?
False
Let b be (-8 - -8)/(9/(-3)). Suppose 3*w + 827 = 2*l, -2*w + 7 - 17 = b. Does 58 divide l?
True
Let n = 8379 - 5714. Is 14 a factor of n?
False
Let w be (274/(-6))/((-7)/(-63)). Let f = 288 + w. Let h = 259 + f. Is 34 a factor of h?
True
Let r(m) = -2*m**3 - 15*m**2 - 11*m + 5. Let k be r(-7). Suppose -35*g + k*g + 3690 = 3*t, 0 = 4*t - 4*g - 4900. Is 28 a factor of t?
False
Suppose 2 + 10 = -3*w. Is (-3 + (-147)/w)*4 a multiple of 27?
True
Let n = -343 - -347. Suppose -n*m = 7*m - 1045. Is m a multiple of 5?
True
Let y(u) = -72*u**3 - 87*u**2 + 71*u + 7. Does 10 divide y(-8)?
False
Suppose -188*n - 3054 = -190*n. Let b = n - 710. Is 24 a factor of b?
False
Suppose -2 = z - 5. Suppose 2049 = 5*v - l, 0*v = 4*v + z*l - 1643. Suppose v = 3*i + 26. Is 23 a factor of i?
False
Let r(c) = 4 + 2*c**2 + 31*c + 3 - 37*c. Let d be r(2). Suppose -5*u + 3*p + 146 = -0*p, -d*u + 90 = -p. Does 2 divide u?
False
Let z be (57/(-2))/(2/(-8)). Let o = 16373 + -16412. Let h = z + o. Is h a multiple of 39?
False
Let t(o) = 226*o + 1056. Does 16 divide t(37)?
False
Let q = -6609 + 20352. Does 27 divide q?
True
Let k = -201 - -103. Let q = -52 - k. Does 5 divide q?
False
Let j be -8*(335/(-20) + -1). Suppose -j*w + 625 = -137*w. Is w a multiple of 25?
True
Suppose 0 = -g + 4*g - 15. Let o(t) = -7 + 2*t**2 - 9 - g + 2*t. Is o(-9) a multiple of 17?
False
Let n = -1122 + 6084. Is n a multiple of 8?
False
Let q(a) be the second derivative of 31*a**3/6 + 2*a**2 + 10*a - 2. Does 19 divide q(6)?
True
Let h(v) = v + 2. Let x be h(3). Suppose -x*y - 3*d - d = -456, -y + 94 = -2*d. Is 46 a factor of y?
True
Is 15 a factor of (-4)/(-6)*6*(-9 + 18399)?
True
Let n(b) = 1997*b**2 + 172*b - 1. Is 12 a factor of n(-1)?
True
Let h = -3211 + 3710. Does 15 divide h?
False
Let f(v) = 12966*v**2 + 23*v + 25. Is f(-1) a multiple of 335?
False
Let o = -214 + 256. Let c(q) = 9*q - 175. Does 8 divide c(o)?
False
Let f be 0 - (-3*(-177)/(-9) - -4). Let g = -26 - 3. Let v = g + f. Does 13 divide v?
True
Suppose 4*f + 7820 = 5*l, 2*l - 3*f - 3119 = 9. Does 4 divide l?
True
Let f(j) = j + 9. Let m be f(-11). Let n(k) = -5*k - 6. Let b be n(m). Let l(p) = 7*p**2 + 6*p - 18. Does 27 divide l(b)?
False
Suppose -9*j + 11 = -34. Let c(n) = 2*n**2 - 13*n + 18. Let w be c(j). Suppose -o = 3*a - 229, 5*o - 124 - 109 = -w*a. Does 5 divide a?
False
Let a(k) be the third derivative of k**6/120 - k**5/5 - 5*k**4/6 + 7*k**3 - 36*k**2. Is a(15) a multiple of 67?
False
Suppose 2*n = 4*m - 30, 5*n - 13 = 3*m - 53. Let f(t) = 3*t**2 - t - 20. Is f(n) a multiple of 4?
True
Let l(g) = -36*g - 2324. Does 5 divide l(-96)?
False
Let i be (-26)/(-6) - 3/9. Suppose -i*p + 44 = u, u - 37 = 3*p + 42. Is 32 a factor of u?
True
Suppose -2*h - 5*w = -0*h + 31, -6 = -3*h + 3*w. Let i be -92 - (-81)/(-18)*(-2)/h. Let n = -77 - i. Is 18 a factor of n?
True
Does 12 divide (-12)/(1/8*(-152)/7866)?
True
Suppose -t + 2*t + 17 = 0. Suppose 84*g + 1159 = 21*g + 6388. Let z = g + t. Is 5 a factor of z?
False
Suppose -74*z + 1572480 = 118*z + 144*z. Is z a multiple of 8?
True
Suppose -6*m + 3*m = -93. Let d(k) = -k**3 + 32*k**2 - 4*k - 29. Is 12 a factor of d(m)?
False
Let c be 41 - -3*(-3 - (-8)/3). Let x = c + -40. Suppose x = 4*t - 3*g - 557, 0 = 5*t - 5*g - 294 - 396. Is t