tor of f?
True
Let s = 90 - 77. Suppose s*i = 3*i. Suppose 2*v + 2*r - 536 = i, 3*v - r - r = 784. Is 33 a factor of v?
True
Let c(x) = 22*x + 3104. Is 42 a factor of c(46)?
True
Does 126 divide 2*(13 + (-81)/6)*(-17147)/1?
False
Let l = 210 - 95. Is 5 a factor of l?
True
Suppose 189*h - 155648 - 1037985 = 1103662. Is 234 a factor of h?
False
Let p(k) = -3*k**3 - 53*k**2 + 63*k + 1015. Is 14 a factor of p(-27)?
True
Suppose 7*q - 6*q = 2*p + 12, -4*q + 23 = -3*p. Suppose 3*y = 5*b + 3186, -q*b = -5*y + 5958 - 667. Is 7 a factor of y?
True
Let o = 305 - -4084. Is 150 a factor of o?
False
Let x = 6917 - 17. Is 218 a factor of x?
False
Is 90 a factor of (2*-1)/(((-4)/38160)/(18/36))?
True
Let w(b) = b**2 - b. Let k(o) = -16 - 3*o**2 - 3 - 6 - 17*o. Let c(q) = -k(q) - 4*w(q). Does 6 divide c(20)?
False
Suppose -q = 4*q - 3*o - 32, -4*q = -5*o - 36. Let d be 5*(1 + q + -4). Suppose -d*b = -6*b + 24. Is b a multiple of 8?
True
Suppose 74953 = 3*t + 2*z, 13*z - 8*z + 124930 = 5*t. Is t a multiple of 58?
False
Let o = 11162 - 5072. Is o a multiple of 210?
True
Let r(z) = 3*z**2 - 4*z - 1. Let m be r(2). Suppose -3*j = -3*q + 3, 2 = 2*q + m*j + 5. Suppose h + 4 = 2*p - 28, q = -5*p + 3*h + 81. Is p a multiple of 15?
True
Suppose -165631 = -23*w + 50546. Is 13 a factor of w?
True
Suppose 1 = -4*k + 25. Let r be (-3)/(5*(-10)/50). Suppose -r*d + k*d - 183 = 0. Is 29 a factor of d?
False
Let i(x) = 230*x + 100. Let u be i(6). Suppose -u + 4632 = 4*o. Is 8 a factor of o?
False
Let r = -279 + 205. Let b = r - -114. Is b a multiple of 5?
True
Suppose 12*z - 11*z - 54 = 0. Let f = z + -9. Does 6 divide f?
False
Let x be 0/(1/((55/(-10))/(-11))). Suppose x = -39*i + 26*i + 1040. Is i a multiple of 2?
True
Let c = -1 + 347. Suppose -350*l + c*l + 80 = 0. Does 5 divide l?
True
Let p = 741 + -23. Let x = -359 + p. Is x a multiple of 15?
False
Suppose -2*t + 66 = -g, 2*g + g - t = -178. Let b = g - -52. Is 2*(-3)/(b/(-1))*-29 a multiple of 3?
False
Let v be 8/(-36) + 1982/18*-7. Let b = -539 - v. Suppose 2*a - 23 - 129 = -2*i, -i = 3*a - b. Is a a multiple of 16?
False
Suppose 0 = -16*l + 15*l. Suppose l = 29*u - 26*u - 1176. Is u a multiple of 49?
True
Suppose -3*o + 9*m = 14*m - 1316, -909 = -2*o + 3*m. Is 21 a factor of o?
False
Suppose -33 = -2*l - 37. Is 3 a factor of 1/(l/6) - (-294)/14?
True
Let a = -2749 - -5468. Is a a multiple of 51?
False
Let a(w) = 4*w + 20. Let u(z) = z - 1. Let x(n) = -a(n) + 6*u(n). Let q be x(15). Suppose -q*m = -c + m + 214, 2*m = -2*c + 452. Does 28 divide c?
True
Suppose -9*o = -101408 - 29344. Is 32 a factor of o?
True
Let o be 12/(-96) - (305/(-8) - 1). Suppose 3*f = 5*k - 251, 4*k - 3*k + 5*f = o. Is 30 a factor of k?
False
Suppose -2*o + 7 = 3*t, 3*o - t + 2 = -3*t. Let z be -3*(-4)/(12/9) + o. Suppose 6*b = b - 5*k + 385, z*b - 3*k = 425. Is b a multiple of 23?
False
Let b(p) = 29*p - 48. Let h(d) = d**3 - 28*d**2 - 29*d + 9. Let i be h(29). Let c be b(i). Suppose 9*s - c = 165. Is s a multiple of 3?
True
Let q be 50/(-275) - ((-700)/11)/(-2). Is 18 a factor of (-2136)/(-10) + (-6 - q/5)?
False
Let k = 130994 - 83673. Is 12 a factor of k?
False
Let q be (-10)/(-125)*15*(-8 + -2). Is q/(-90) + 24176/30 a multiple of 24?
False
Let i be (-53)/((-5)/(-165)*-3). Suppose c + 4*d = 123, 4*d - i = c - 6*c. Does 26 divide c?
False
Suppose -i = -4*v - 1, -2 = v - 4*i + 17. Let g(o) = 37*o**2 + 20*o - 19. Does 19 divide g(v)?
True
Let q = 194 + -106. Let b be q/(-2 - 3/(-3)). Let r = b - -98. Does 10 divide r?
True
Suppose -24596 - 470496 = -13*l. Does 23 divide l?
False
Suppose -5*m + 28*v + 16662 = 27*v, 0 = -4*m - 4*v + 13320. Let g = m + -1932. Is 40 a factor of g?
True
Let q(t) = -t**3 - 9*t - 28. Is 26 a factor of q(-16)?
True
Suppose -20 = -5*y + y. Suppose -5*x + v + 15 = 0, -4*x + 3*v + y = 4. Suppose 5*k = o + 850, -x*o + 2*o + 328 = 2*k. Does 13 divide k?
True
Suppose -4*u = 4*f - 25164, 1185*u - 1190*u - 6285 = -f. Is f a multiple of 37?
True
Let l be 2457/195 - (0 - (-9)/15). Suppose l*o = -o + 4316. Does 3 divide o?
False
Suppose -1068 = -17*s + 16*s. Suppose -s - 444 = -6*k. Is k a multiple of 36?
True
Suppose -d = -2*d - n - 4, d + 16 = -5*n. Let i be 3*d + 119 + (-6)/1. Is 55 a factor of i*(0 - -1)/2?
True
Let l(z) = -64*z**2 - z + 1. Let y be l(1). Let t(r) = -31*r + 1286. Let g be t(43). Let i = g - y. Is i a multiple of 8?
False
Suppose -388*k + 397*k - 5663 = 34612. Does 11 divide k?
False
Let m(v) = 5*v**2 - 10*v - 10. Let f(d) = -4*d**2 + 10*d + 10. Let p(y) = -3*f(y) - 2*m(y). Let g be p(7). Let h = g - -15. Is h a multiple of 9?
False
Let u(x) = 3*x**2 - 38*x - 21. Let p be u(13). Does 4 divide p/(-10) - (-1802)/85?
False
Let z be (-46)/(-161) - (-808)/14. Suppose 2*b + 1 + 1 = 0, 0 = g + 2*b - z. Is ((-6)/(-15))/(1/g) a multiple of 8?
True
Let m be 20/(-30) + (-292)/(-6). Let x = m + -66. Let a(f) = -f**2 - 17*f + 26. Does 5 divide a(x)?
False
Is (-696055)/(-40) + 192/(-512) a multiple of 13?
False
Let c(o) = -243*o**3 + o**2 + 5*o - 2. Let j be c(-2). Suppose 10*v - j = 2*v. Is 4 a factor of v?
False
Let d(g) = 10*g - 28. Let r be d(7). Suppose -2*z - 5*p = -0*z - 28, 3*z = -4*p + r. Suppose z = -q + 4*q - s, 3*s = 3*q - 24. Is q a multiple of 2?
False
Let q = 24 + -20. Suppose 3*f + 2*f = q*z + 19, -8 = 5*z - f. Is ((-29)/(-4))/(z/(-4)) a multiple of 25?
False
Let y(i) = i**2 - 20*i - 165. Let q be y(32). Suppose -q = -u - g, 218 = u + 12*g - 10*g. Is 32 a factor of u?
False
Let x be (-2)/(-3) + (-360)/(-108). Suppose x*y = 460 - 140. Does 16 divide y?
True
Let s(h) = -6*h + 49. Let b = 200 + -212. Is s(b) a multiple of 18?
False
Let c = 3003 + -2982. Is c a multiple of 14?
False
Is -109 - -108 - 5588/(1 - 3) a multiple of 4?
False
Let s(l) = -l**3 + 19*l**2 - 7*l + 21. Does 6 divide s(5)?
True
Let b = -2062 + 4732. Is b a multiple of 28?
False
Suppose 0 = d - 2, -v - 5*d = -716 - 278. Does 36 divide v?
False
Let i(u) = 5723*u**2 + 54*u + 1. Is 187 a factor of i(2)?
True
Let n = 82 + -225. Is 19 a factor of 1*(-3 + (-3 - n))?
False
Let b(i) = 14 + 26*i + i**2 - 24*i + i**3 - 13*i**2. Let k be b(12). Suppose k = 12*r - 11*r. Does 10 divide r?
False
Let v = -9 - -11. Let m be v + (5/(-20) - 51/(-12)). Does 11 divide m + -2 - 146/(-2)?
True
Suppose -4*l + 4 = -5*y + 41, 1 = -y + 5*l. Suppose -y*v - 2*v = -1012. Suppose 4*k - v = -0*x - 4*x, -4*k + 38 = x. Is 10 a factor of x?
False
Suppose 0 = -5*z + 5, -4*p + 16 - 3 = z. Suppose p*a - 1 = -22. Let g(l) = 3*l + 31. Is g(a) a multiple of 5?
True
Let k be ((-7)/((-35)/(-438)))/(9/(-30)). Let t = k + -54. Does 6 divide t?
False
Suppose -14453590 = -244*d + 708570. Does 239 divide d?
True
Let u(y) = -y**3 - 6*y**2 - 5*y + 8. Suppose 1 = -7*d - 34. Let i be u(d). Suppose -6 = 2*s + 4*l, 2 = 5*s + 5*l - i. Does 5 divide s?
False
Suppose 0 = -h + 2*l + 112 + 62, 5*l - 321 = -2*h. Suppose 0 = -6*u + 2*u + h. Suppose u*g - 43*g = -53. Is 32 a factor of g?
False
Let d(m) = 639*m - 2028. Is 19 a factor of d(18)?
False
Let r = 70 - 53. Let a(q) = q**2 - 3*q + 22. Is 9 a factor of a(r)?
False
Suppose 84*u = 703901 + 1094090 - 72295. Is u a multiple of 214?
True
Let j(t) = 5*t. Let o be j(-6). Let b be (-1)/5 + 2/(o/(-33)). Suppose 5*l + 4*i - 185 = 2*i, 150 = 4*l + b*i. Does 8 divide l?
False
Let j(u) = -2*u**2 + 35*u + 15. Let c be j(17). Suppose 13 = 5*y - c. Is 9 a factor of y?
True
Let w(i) = -5*i + 124. Let k be w(-5). Let c = -93 + k. Is 4 a factor of c?
True
Suppose -4*y - 5*i - 21 = 0, 0 = y - 3*i - 19 + 3. Let h(x) = 385*x**2 + 22*x - 21. Does 8 divide h(y)?
False
Suppose -3*y + 3150 = 4*m - 4046, 0 = -2*m + 10. Does 23 divide y?
True
Suppose j - 257 = -4*p, -9*p = -17*p + 2*j + 494. Let u = 6 - 4. Suppose u*g = p - 3. Does 10 divide g?
True
Let r be 36/15 + -3 + 46/10. Suppose 3*y + 3*d + 6 = 0, -2*y + 7*y - r*d = 26. Suppose 0 = 3*a - 6, y*u + 5*a = 110 - 2. Does 8 divide u?
False
Suppose 4*q - 933 - 3695 = -2*k, 0 = -3*k + 5*q + 6920. Is 33 a factor of k?
True
Suppose -18*v + 560 = -304. Suppose m - 93 = r, -2*m + 147 = r - v. Is m a multiple of 4?
True
Let w(z) = 2*z + 22. Let u(x) = x**2 + 9*x - 4. Let i be u(-7). Let k be (-66)/i + 4/3. Is 21 a factor of w(k)?
False
Let t(i) = 24*i + 209. Let p be t(-46). Let b = -378 - p. Is b a multiple of 47?
True
Le