Let w be (-1)/(7/(-52)) + 3/(-7). Suppose w*b = b. Suppose 5*q - 244 - 296 = b. Does 5 divide q?
False
Let n be ((-1628)/(-6))/(25/15 - 1). Suppose 3*u - n + 83 = 0. Is u a multiple of 12?
True
Suppose 0 = -2*q + 6*b - 1542 + 42936, -q = -5*b - 20689. Is q a multiple of 59?
True
Does 6 divide ((-768)/(-7))/((-29)/(-203))?
True
Suppose 3*o - 9 = 4*s - 6, o = -3*s + 1. Suppose w - 46 = -s*w. Is w a multiple of 12?
False
Suppose -2*k + 5*k + g - 1261 = 0, -844 = -2*k - 4*g. Suppose 5*z = -3*l + k, 13*l = -2*z + 14*l + 157. Is z a multiple of 8?
False
Suppose 19624 = -44*h + 66*h. Let m = h + -222. Does 10 divide m?
True
Let v be 0/1 - (8 + -7). Does 71 divide (-1 - v - -1) + 773 + 112?
False
Let t(j) = j**2 + 7*j - 4. Let h be t(-9). Suppose 7*u + 618 = 688. Suppose -h*b + 24 = -u*b. Is 4 a factor of b?
False
Let h(j) = 25*j - 1. Let d(f) = 12*f - 1. Let s(r) = -9*d(r) + 4*h(r). Let q be s(-9). Let u = q - 32. Is 14 a factor of u?
False
Suppose -5*f + 450 = -150. Suppose -66*h = -67*h + f. Suppose -4*z + h = 6*z. Does 4 divide z?
True
Let b(p) = 2*p**2 + 7*p - 1144. Does 21 divide b(-68)?
False
Is 11 a factor of 11/((-297)/(-17181)) + (-15)/(-9)?
True
Suppose -23*q - 7024 = 359. Let c = q - -560. Is c a multiple of 16?
False
Suppose 0 = 817*b - 828*b + 122881. Is 17 a factor of b?
False
Let f(m) = 254*m - 7366. Does 5 divide f(53)?
False
Let b(p) = 3*p**3 - 9*p + 18*p**2 + 0*p**2 - 260 + 232 - 4*p**3. Does 17 divide b(16)?
True
Suppose -3*k = -4*p + 8302, -763*p = -759*p + k - 8326. Does 32 divide p?
True
Suppose -5*x = -6*x + 828 + 13990. Is x a multiple of 62?
True
Suppose -37*a + 41064 = -1856. Does 6 divide a?
False
Suppose 2*l - 75 = 4*t + 141, 0 = -2*l - t + 241. Is l even?
True
Is (359 - 356)/(((-1)/(-2))/((-46956)/(-8))) a multiple of 43?
True
Let z = -6983 + 12725. Does 12 divide z?
False
Let d = 306 + -136. Suppose -5*x = -8*x - 258. Let n = x + d. Does 12 divide n?
True
Let z(x) = 41*x + 29. Let j(t) = 21*t + 14. Let d(l) = -5*j(l) + 2*z(l). Let q be 16/(-3) + 0 + 113/339. Does 13 divide d(q)?
False
Suppose 4*k - 4*h + h - 7 = 0, 20 = 2*k + 4*h. Let s(q) = q**2 + 13*q - 5. Let o(b) = b + 1. Let a(l) = k*o(l) - s(l). Is 2 a factor of a(-9)?
False
Let q = 189 - 185. Let o(y) = 5*y + 16. Let w(c) = -8*c - 24. Let b(t) = -7*o(t) - 5*w(t). Does 5 divide b(q)?
False
Is 15989 + ((-15)/(-120))/(3/24) a multiple of 39?
True
Let q(a) = -70*a + 5. Let j be q(-1). Let p = 265 + j. Is p a multiple of 17?
True
Suppose 0 = -10*x + 58*x + 576. Let r(g) = -2*g**3 - 6*g**2 - g + 1. Let u be r(-4). Let i = u - x. Is i a multiple of 13?
False
Let l(r) = 5*r**2 + 119*r + 96. Does 24 divide l(-38)?
False
Let y be 7*(35189/49 + -5). Suppose 50*c + y = 56*c. Is 16 a factor of c?
True
Let o be (-42)/(-28) - (-27)/(-2). Let b = o - -232. Is 5 a factor of b?
True
Suppose 6*y + 38*q - 13848 = 33*q, 11485 = 5*y - 5*q. Is 7 a factor of y?
True
Let v be ((-607)/4)/(17/(-136)). Let h = v + -701. Does 9 divide h?
True
Let f(b) = 2*b**3 - 11*b**2 + 6*b - 5. Let s be f(5). Suppose s = -5*j + 11*j + 300. Let a = 81 - j. Does 53 divide a?
False
Let s be (-4)/18 - (-1796)/(-18). Let w be (-1)/(4/16) - s. Suppose 2*z + 115 = 2*o + 23, 2*o + 2*z - w = 0. Is o a multiple of 12?
False
Let l(a) = a + 18. Let s(y) = -9. Let t(p) = 3*l(p) + 5*s(p). Let h be t(-5). Does 24 divide (h - 6)*4*(1 + -2)?
True
Let a = 7650 - 4743. Is 57 a factor of a?
True
Suppose c - 16 = -3*c. Let v = 5197 + -5195. Suppose -6*h + h + 15 = 0, c*d = v*h + 114. Is 10 a factor of d?
True
Let b(w) = -w**3 - 12*w**2 + 20*w + 5. Let s be (-10)/(-4) - 4*210/48. Does 10 divide b(s)?
True
Let p = 4094 + -1231. Does 33 divide p?
False
Let r(k) = 2*k**2 - 9*k + 13. Let t be r(2). Suppose -t*d + 2*j = -2*j + 12, -2*j = -2*d - 10. Is 3 a factor of d/(-12)*93/2?
False
Suppose 0 = -5*a + 2*y + 10660, -2*a + 5*y = -a - 2155. Suppose 22*k - 17332 + a = 0. Is 29 a factor of k?
False
Let m be (-7524)/234 - (-6)/39. Let j(g) = g**2 + 27*g - 91. Does 23 divide j(m)?
True
Suppose 0*g - 3347 = 4*o - g, -3*g + 845 = -o. Let c = 908 + o. Does 72 divide c?
True
Let p = -474 + 277. Let b = 392 + p. Suppose 3*u + 48 = t + b, -t - 197 = -4*u. Is u a multiple of 3?
False
Is 50 a factor of (-15)/(-9) + -5*(-262678)/195?
False
Suppose 56537 = 74*i + 1843 - 34106. Is 25 a factor of i?
True
Does 95 divide (-42)/39 + 1 + 6876352/364 + -1?
False
Suppose -62*l - 19640 = -67*l + 5*r, -5*l + 19634 = r. Is l even?
False
Let b(c) = -107*c + 969. Is 54 a factor of b(-27)?
False
Let x = 19397 + -11577. Is x a multiple of 17?
True
Suppose 9*p - 9266 = 6*p - t, -3*p = 5*t - 9286. Is p a multiple of 147?
True
Suppose 4*z = 4*s + 28832, -415*z + s = -418*z + 21620. Is z a multiple of 57?
False
Suppose 2*i + 40 = -6*i. Let j(l) = 3*l**3 + 12*l**2 - 11*l - 2. Let h(q) = 7*q**3 + 25*q**2 - 23*q - 3. Let w(n) = i*j(n) + 2*h(n). Does 7 divide w(-11)?
False
Let c(q) = -2*q + 14. Let f be (-8)/(96/(-126))*2/3. Let w be c(f). Suppose w*i + 161 = 7*i. Is i a multiple of 23?
True
Suppose -6*r + 5*a + 20 = -4*r, -5*a = r + 20. Suppose -k + 460 = -2*i, 5*k - 2278 = -r*k - i. Does 38 divide k?
True
Let k be 1151/10 - -1 - 14/140. Let c be (-2)/(-8) - (-318)/8. Suppose 6*g - c = k. Is g a multiple of 18?
False
Suppose 101*c + 138336 = 112*c. Is c a multiple of 16?
True
Is ((-14 - 29) + 13)*-42 a multiple of 18?
True
Let w = 70 - 136. Let a = -63 - w. Suppose 4*o - 4*j = 64, 4*j = -a - 1. Is o a multiple of 3?
True
Let w(j) = 11*j**2 - 31*j - 2446. Is 111 a factor of w(-47)?
True
Let x(t) = t + 6. Let n be x(-16). Let a(s) = 2*s**2 - 56*s**3 + 25*s**3 - 23 + 9*s**2 - 7*s + 16*s**3 + 16*s**3. Does 7 divide a(n)?
True
Suppose v = -l + 24266, -21*l = -4*v - 24*l + 97064. Does 7 divide v?
False
Suppose -7*j + 13*j - 1560 = 0. Let t = j + -98. Does 9 divide t?
True
Let y(u) be the third derivative of 13*u**4/12 - 47*u**3/3 + 3*u**2 + 41*u. Is 26 a factor of y(24)?
False
Let g(c) = 196*c**2 + 3*c + 2. Let w be g(-1). Suppose 6*r - 6003 = -w. Is 22 a factor of r?
True
Suppose 0 = 17*i - 27918 + 12000 - 21737. Is i a multiple of 2?
False
Does 14 divide (5 - (-528)/(-108)) + (-85678)/(-18)?
True
Suppose 0 = -7*m - 31 - 11. Let b be 8/3*(m/4 - -3). Suppose 9*l - 5*g - 760 = b*l, -5*g + 311 = 2*l. Is l a multiple of 51?
True
Suppose v = -3*x + 840, 0 = 15*v - 20*v - 4*x + 4255. Suppose 16*b - 12*b - 3420 = -2*a, a = b - v. Is 45 a factor of b?
True
Let g(k) = -2*k - 3*k + 24 + k**2 - 4*k - k. Let m be g(7). Suppose -c - m*a + 83 = 0, 2*a - 81 + 1 = -c. Is c a multiple of 8?
False
Let v(b) = 2*b - 26. Let k(p) = 4*p - 51. Let t(g) = 4*k(g) - 9*v(g). Let d be t(0). Is 10 a factor of (-4)/d - (-1448)/60?
False
Let p = -6410 - -10171. Is p a multiple of 60?
False
Let y(f) = -21*f - 209. Let x be y(-24). Suppose -x - 13 = -2*u. Does 23 divide u?
False
Suppose -5*i - 16 = s, -2*s = s + i - 22. Let d(q) be the third derivative of -q**6/120 + q**5/5 - q**4/12 - q**3/6 - q**2. Does 34 divide d(s)?
False
Suppose 8 = -k + 5*g, k + 0*g = 3*g. Suppose -139 = k*p - 1195. Is 11 a factor of p?
True
Does 15 divide -4 - -222*(-123)/(-9)?
True
Suppose -4631 = 15*o + 2854. Let x = -299 - o. Is 15 a factor of x?
False
Suppose 54*y - 55*y = 3*f - 76638, 127690 = 5*f - 5*y. Does 31 divide f?
True
Suppose 28 = s - 5*y, -4*s - 8*y + 13*y = -37. Is 235 + (-3 - -6) + -11 + s a multiple of 46?
True
Suppose -24*k = 100*k - 6*k - 6036408. Is k a multiple of 12?
True
Let k = 109 + -93. Suppose -k*w + 7857 = -6591. Is w a multiple of 65?
False
Let v(r) = 1 + 4 - 4 - r**2 + 16*r. Let x(b) = -2*b**3 - 8*b**2 - 4*b - 3. Let c be x(-4). Is v(c) a multiple of 14?
False
Suppose 0 = 6*m - 2*m + s + 144, 49 = -m + 3*s. Let l be (-3)/(-6)*(183 + (1 - 4)). Let a = l + m. Does 31 divide a?
False
Let k = 75188 + -46100. Is 16 a factor of k?
True
Let h(n) = 84*n**3 - 5*n**2 - n - 1. Let v(z) = z**3 + z**2 + z + 2. Let r(w) = -h(w) - 2*v(w). Is 29 a factor of r(-1)?
True
Let k = 7837 - 6132. Does 35 divide k?
False
Let l = 9234 + -7902. Is 6 a factor of l?
True
Suppose -87*s - 7642 = -92*s + 3*i, -5*s = 3*i - 7648. Is 11 a factor of s?
True
Is 9624/144*20*1/((-2)/(-18)) a multiple of 15?
True
Let c(p) = -7*p**2 + 368. Suppose k = 4*g + 8 + 4, 3*k = 2*g + 6. Is c(k) a multiple of 4?
True
Let t = -5357 - -5407. Is 4