actor of 1*-70*25*24/(-60)?
True
Suppose 5*k - 55 = -2*y, 0 = -y - k - 4*k + 35. Let d = -2 + y. Does 24 divide 1 - ((-14)/63 + (-3002)/d)?
True
Let z be 3 - ((-2935)/(-25) + (-2)/5). Let g = 265 - 136. Let j = g + z. Is j a multiple of 3?
True
Suppose 3*f = -6*f + 18. Let g be (550/44)/(f/112). Suppose -5*c - 2*t = -6*t - g, 3*t = -2*c + 280. Is 28 a factor of c?
True
Let n = -25752 + 34040. Is 102 a factor of n?
False
Suppose 3*s = 2*s + 97. Let z(u) = -u**2 - 2*u + 37. Let k be z(4). Suppose l - s = -k. Is l a multiple of 12?
True
Let u(o) = 2*o + 0*o + o**3 + 0*o + 7 - 150*o**2 + 153*o**2. Is u(3) a multiple of 11?
False
Is (-92 - -64)*75/(-3) even?
True
Suppose -6*m + 4*m = -5*f + 3077, 2*f + m - 1238 = 0. Suppose -f = -7*i + 13. Is i a multiple of 9?
True
Suppose 23*r - r - 9152 = 6*r. Is 15 a factor of r?
False
Suppose 0 = 10*d - 12*d - 6, -14 = -w + 3*d. Let s be -2 + 12/(2 + 0). Suppose -320 = -s*h - k, -42 = 3*h + w*k - 282. Is 40 a factor of h?
True
Let d be ((-2)/3)/(((-96)/54)/8). Suppose -6*r + d*q = -r - 15, -3*q = 4*r - 12. Suppose r*m = 4*f - 0*f - 282, 0 = f + 5*m - 82. Does 18 divide f?
True
Suppose -26042 = -o + d, 237*d = 5*o + 240*d - 130186. Is o a multiple of 40?
False
Let k(q) = 2264*q**3 + 9*q**2 + 3*q - 9. Is k(2) a multiple of 26?
False
Suppose -14*z = 20*z + 6*z - 74120. Does 17 divide z?
True
Let m = 153 + 60. Suppose 3*z - 4*z - o + m = 0, 0 = -2*z - 3*o + 425. Is z a multiple of 5?
False
Suppose 2*s - 211 = 199. Is (2 + 1)*(-5)/((-75)/s) even?
False
Let q be 364/(-63) + 6 - 16/(-9). Suppose 5*y = -4*k + 5607, 2*k - q*y = -2*k + 5614. Suppose 83 - k = -11*f. Is f a multiple of 16?
False
Suppose s + 5*r - 21 = -7, 3*s = -r + 42. Suppose 26 = -4*z - s. Let y = 30 + z. Is 20 a factor of y?
True
Let c be (11/11 - 8)*(-1)/(-1). Is 14 a factor of 339 + c + (-8)/(-2)?
True
Does 3 divide (-19 - -1)/(264/(-64592))?
True
Let c be 6/(3 - (3 - 2)). Let j(x) = 2*x - 2. Let k be j(c). Is 16 a factor of (-48)/5*5*k/(-4)?
True
Does 9 divide 8/9 - 4314454/(-1926)?
True
Suppose 0 = 5*i - 5*u + 5, -u - 6 = -5*i + 1. Suppose i*m - 11*m = 18. Does 19 divide (3 - 2)*(105 + m)?
False
Suppose 40*s - 909 = 35*s + 3*j, 5*s - 907 = 4*j. Does 61 divide s?
True
Suppose 10*t + 212*t + 17*t - 2401711 = 0. Is 139 a factor of t?
False
Let v(a) = -9*a + 681. Is 25 a factor of v(-38)?
False
Suppose 62*d - 166132 + 58438 = 0. Does 18 divide d?
False
Suppose 0 = -5*n - 8 - 7, 28 = -4*h - 4*n. Does 15 divide 1751 + (-6 - -1 - h)?
False
Let f be 0 + 1/((-3)/1647). Suppose 37*v + 3337 = -4988. Let h = v - f. Is 19 a factor of h?
False
Let x(d) = -65*d**3 - 15 - 26*d**2 - d - 26*d**3 + 93*d**3. Is 33 a factor of x(14)?
True
Is 65 a factor of (-8)/76 + (-21489080)/(-760)?
True
Let i be (-9 + 13 - 1)*(-1)/1. Let x(d) = -64*d - 9. Is 3 a factor of x(i)?
True
Let x be 2*(-3 - 1)*20/8. Let f = x - -286. Is f a multiple of 14?
True
Suppose y - 8 = 5*y, y = 5*r + 13. Let q be (r/6)/(10/(-280)). Let a = q + 126. Is 20 a factor of a?
True
Suppose 3*n + 45*n - 1465695 = -51*n. Is 35 a factor of n?
True
Is 76 a factor of (-656636)/(-54) + (15050/(-945) - -16)?
True
Does 139 divide ((-194)/8)/((150/3336)/(-25))?
True
Let p = 11 + -8. Suppose -5*m + 44 = j - 7, p*m - 153 = -4*j. Does 12 divide j?
True
Suppose 7*q - 1 = 13. Suppose -2*w + a = 4*a - 163, 2*a = -q. Let h = -63 + w. Is 20 a factor of h?
True
Let a(c) = -c**3 - c**2 - 7*c - 7. Suppose 4*h = 12 + 12. Suppose 12 = 3*w - h*w. Does 12 divide a(w)?
False
Let o(j) be the third derivative of -j**6/120 - j**5/15 + j**4/12 - 7*j**3/6 - 6*j**2. Let r be o(-6). Let d = r - 45. Is d a multiple of 4?
True
Let o be 3 - (-1 + 1 + (2 - -1)). Suppose 3*s - 4*w + 14 = o, -2*s - 4*w + 29 = w. Suppose 240 = s*y + 4*y. Is y a multiple of 8?
True
Suppose 23*b = -3*b + 31850. Is 12 a factor of b?
False
Let i(j) be the third derivative of j**4/6 - 5*j**3/6 + 4*j**2. Let d be i(2). Suppose -3*l + 71 = 4*c + 11, -c = -d*l - 15. Does 5 divide c?
True
Suppose 18*a - 1 - 35 = 0. Suppose 2*o + 118 = 2*z, -z = 2*z + a*o - 152. Is 16 a factor of z?
False
Suppose -4066 = -2*k + 4*h, 0 = 4*k + 136*h - 135*h - 8087. Is k a multiple of 7?
True
Let k = 222 + -115. Suppose -3*b + 26 = u, 80 + k = 5*u - 4*b. Let v = u - 13. Is 13 a factor of v?
False
Is 19 a factor of (43 + -42)/(3/(-28)*(-2)/2844)?
False
Let n(r) be the first derivative of -r**2/2 + 6*r - 8. Let g be n(12). Let b = 12 - g. Is 3 a factor of b?
True
Suppose -26892 = -7*j - 5*j. Suppose -26*s + 99 = -j. Is 45 a factor of s?
True
Let n = -309 + 609. Let j = 372 + n. Does 32 divide j?
True
Let v(r) = -2*r - 4. Let g be v(-4). Suppose -689 = -2*w + g*b + 291, 5*w - 4*b = 2450. Is 8 a factor of w?
False
Suppose 5*r = 5*w + 3*r - 16192, 0 = 4*r + 4. Suppose 4*l = 0, 4*l + w = 2*f + 718. Is 15 a factor of f?
True
Is 7 a factor of 461800/90 + 4/(-36)?
True
Suppose 26*n - 24*n + 5*o - 28 = 0, 4*n - 4*o = 0. Suppose -2*j + 170 = d, j = n*d - 3*j - 680. Does 56 divide d?
False
Let w(y) = 17*y**2 + y - 13. Let g(t) = -8*t**2 + 7. Let h(p) = -5*g(p) - 2*w(p). Is 15 a factor of h(6)?
True
Let w(t) = t**2 - 8*t + 10. Let d be w(6). Suppose -64 = -3*m + m. Does 11 divide (1/4 - (-3160)/m) + d?
False
Suppose 15 = f - 5*c, -2*c = -0*f - 4*f + 24. Let j = -610 - -724. Suppose -f*x - 4*i = -j, x + 2*x - 74 = -i. Does 13 divide x?
True
Suppose -2*x = 6*h - 4*h + 140, -5*h + 300 = -5*x. Let g(b) = 11*b**3 + 4*b**2 - 13*b + 3. Let f be g(2). Let i = x + f. Is i a multiple of 2?
True
Let x(a) = -7*a**2 + a - 15. Let j(t) = -4*t**2 + 1. Let f(c) = j(c) - x(c). Suppose -4 = -h - 5*r, -2*r = -3*r + 2. Does 16 divide f(h)?
False
Does 4 divide 41529/218 + (-6)/4?
False
Let o(z) = -z**3 - 16*z**2 - 23*z - 30. Suppose 4*v + 69 = 13*f - 18*f, -f = -v + 21. Does 26 divide o(f)?
True
Suppose -w + 186 + 62 = -551. Is 59 a factor of w?
False
Let s = 2700 + -749. Suppose 0 = 13*n - s - 3938. Is 7 a factor of n?
False
Let u(d) = 120*d + 3325. Does 5 divide u(10)?
True
Suppose -84 = -42*d + 38*d. Does 15 divide ((-3)/2)/(d/(-5320))?
False
Suppose -16*t = -66*t - 63*t + 2245084. Is 88 a factor of t?
False
Does 37 divide ((-3)/(-33))/((-5)/(-275)) + 5326?
False
Suppose -19*p = -8*p - 110. Let r = p - -38. Does 22 divide 36/r - 129/(-4)?
False
Suppose 98795 + 49060 = 17*y - 10211. Is 30 a factor of y?
False
Let a(j) = j**3 - 18*j**2 - 8*j - 42. Let f be a(19). Let k = f - 83. Is k a multiple of 2?
True
Suppose -5*y - 24 = y. Let q be (-5 - -1)/(-16) + (-11)/y. Suppose -a + 33 = q*s - 16, 5*s = -3*a + 135. Does 28 divide a?
False
Let i(l) = 79*l. Let f(k) = 1. Let h(y) = 3*f(y) - i(y). Let r = -9286 - -9284. Is 25 a factor of h(r)?
False
Let f be (-14)/(-28) - 26/(-4) - 4. Suppose -5*k + 1540 = m + 3*m, -f*m = -2*k + 616. Does 54 divide k?
False
Let b(j) = 725*j**3 + 4*j**2 - j - 6. Let z be b(2). Suppose 22*d - z = -0*d. Is 5 a factor of d?
False
Let m(a) = 63*a - 1200. Does 32 divide m(58)?
False
Let u(i) = 325*i**2 + 2*i + 2. Let q be u(-1). Let j = q + -148. Let f = j + 104. Is 13 a factor of f?
False
Let c(n) = n**2 - 15*n - 103. Let p be c(20). Let z(s) = -34*s - 40. Is z(p) a multiple of 9?
False
Let p = 43966 + -17066. Is 18 a factor of p?
False
Let p(t) = 34*t**3 + 5*t**2 - 58*t + 232. Is p(4) a multiple of 2?
True
Let x = 35783 + -6013. Does 13 divide x?
True
Let b = -37767 - -38685. Is 308 a factor of b?
False
Let z be ((-27)/(-2))/((-6)/(-216)). Let t = z + -279. Is 11 a factor of t?
False
Let k be -12 + 13 + (1 + -1)/4. Let g(c) = 395*c - 35. Is g(k) a multiple of 30?
True
Let u = -1138 + 643. Let c = -427 - u. Is c a multiple of 20?
False
Let p = -5137 - -8587. Does 23 divide p?
True
Let b be 3310/35 - 9/(-21). Let x = b - -249. Let i = x + -226. Is 22 a factor of i?
False
Suppose 0 = 7*g - 17577 + 434. Is 79 a factor of g?
True
Let u = 54859 - 22343. Is u a multiple of 66?
False
Let b = -7985 - -14176. Is b a multiple of 14?
False
Let k(f) = 14 + 1 - 137*f + 138*f. Let r be k(-12). Is 7 a factor of (-1 + r)/(2/112)?
True
Let c = 56 + -48. Suppose c*y + 2*y - 360 = 0. Does 10 divide (y/10)/(1/25)?
True
Let k(u) = 2*u**2 + 33*u + 94. Let w be k(-13). Suppose 0 = -4*s + w*o + 228 + 526, -4*o = 4*s - 740. Is 17 a factor of s?
True
Let g(o) = -4*o**3 + 9*o**2 - 14*o + 22. Let w(h) = 5*h**3 - 10*h**2 + 14