Suppose 419 - 807 = -q. Does 29 divide q?
False
Suppose 14833 = 11*m - 363*v + 364*v, 5*m - 3*v - 6763 = 0. Is 19 a factor of m?
True
Suppose 4*t - 2736 = 3104. Suppose -4*v + 596 + t = -a, a - 2579 = -5*v. Suppose 2*b + n = -36 + 244, v = 5*b + 5*n. Is 21 a factor of b?
True
Suppose -2*t = -5*u - 11, 0 = -2*u + 5*t - 13 - 4. Is (-123)/(u - 5 - -5) a multiple of 8?
False
Suppose 3*g - 22474 = -7*g + 1526. Does 10 divide g?
True
Let o be (-116)/((44 - 43)/(6/1)). Let a = 793 + o. Is a a multiple of 4?
False
Let n(c) = 2014*c + 3930. Is 14 a factor of n(5)?
True
Let i = -16477 - -20604. Is i a multiple of 11?
False
Is (51/136 - 248/(-192))*(-2643)/(-5) a multiple of 23?
False
Suppose -8*o = -4*o + 1576. Let z = o + 494. Does 5 divide z?
True
Let g = -8470 + 14840. Does 70 divide g?
True
Let h(z) = -2833*z - 5291. Is 84 a factor of h(-11)?
True
Suppose 7185662 = 125*k + 249*k. Is 9 a factor of k?
False
Let v = -75 + 77. Suppose -174 = 4*d + v*i - 0*i, -i = -d - 51. Let g = 95 + d. Does 5 divide g?
False
Suppose -4*p - 2*w = -58, -4*p - 6*w = -3*w - 59. Let r be 3/(-4) + p/(-56) - 5. Does 68 divide -8*4/24*2079/r?
False
Let u = 69 - 140. Let b = 134 + u. Suppose l - b + 7 = 0. Is 7 a factor of l?
True
Let m = 21800 + -16365. Does 34 divide m?
False
Suppose 0 = a - 8*a + 72429 - 20377. Does 44 divide a?
True
Let j(l) be the first derivative of 7*l**3/3 + 16*l**2 + 143*l + 139. Is j(-5) a multiple of 40?
False
Let p(s) = 91*s**2 - 424*s - 8408. Does 12 divide p(-20)?
False
Let s = 480 + -480. Suppose s = -67*q + 73*q - 120. Is q a multiple of 2?
True
Suppose 4*t + 2*r = 2*t + 8, r + 11 = 4*t. Suppose -34 = o - w, 0 = -5*o - 7*w + t*w - 125. Let z = o + 125. Does 22 divide z?
False
Let h(m) = 3*m**2 + 18*m - 675. Is h(39) a multiple of 47?
False
Suppose 0 = 4125*q - 4096*q - 296902. Is 37 a factor of q?
False
Suppose 0 = -5*q + 20, 5*q - 5 - 25 = 5*z. Let p be z/4*-14 + -3. Suppose -2*u + p*l = u - 241, 3*l - 363 = -5*u. Is u a multiple of 15?
True
Let x(f) = -7203*f**3 - 14*f**2 - 11*f. Is x(-1) a multiple of 160?
True
Let x = -137 + 135. Let w(v) = -42*v**3 + v - 4. Does 22 divide w(x)?
True
Let o(c) = -6*c - 48. Let g be o(-18). Suppose -4*x - 47 = -5*a, -x = 4*x - 5*a + g. Let y = x - -233. Is 15 a factor of y?
False
Let a = 1183 + -726. Suppose 5*o - a = -2. Let p = 163 - o. Is p a multiple of 32?
False
Let j(g) = 478*g - 1039. Is j(14) a multiple of 148?
False
Is 189 a factor of (-1)/((-10)/99230 + 0)?
False
Let u = 2 + -6. Let j(s) = s**3 + 2*s**2 - s. Let i(r) = 3*r**3 + 7*r**2. Let a(w) = -i(w) + 2*j(w). Does 8 divide a(u)?
True
Let u = -3583 - -2276. Let o be u/(-4) + 1 + (-9)/12. Suppose o = 6*s - 429. Is s a multiple of 18?
True
Let v(k) = k**3 + 10*k**2 + k + 14. Let w be v(-10). Suppose 39 = 2*s - w*q - 9, 108 = 4*s - 4*q. Is 6 a factor of s?
True
Suppose u - s = -117, -102 = -4*u + 5*u + 4*s. Let c be (-4)/(-10) + u/10 + -4. Is 6/c + 0 - 1956/(-15) a multiple of 13?
True
Suppose -16*v = d - 11*v - 4628, -d - 3*v = -4620. Is 16 a factor of d?
True
Let x be (-2 + 1*-46)/1. Let k = 83 + x. Suppose j - 38 = -3*l - 0*j, 0 = 3*l + 4*j - k. Does 13 divide l?
True
Let p(d) = 2*d**3 - 23*d**2 - 147*d + 72. Is 21 a factor of p(25)?
True
Suppose -2 = -3*w + 1. Let i(s) = -23*s**3 + s + 1. Let h(r) = -r**3 + 1. Let l(z) = w*i(z) - h(z). Is 9 a factor of l(-1)?
False
Let y(o) = -5*o**2 + 11*o**2 - 49 - 4*o - 5*o**2 + 14. Is 29 a factor of y(23)?
False
Suppose 0 = 4*h + 144*h - 12136. Is h a multiple of 5?
False
Let g be ((-3)/9)/(2/(-66) - 0). Let r(k) = k**2 - 4*k - 1. Let m be r(8). Let n = m - g. Does 5 divide n?
True
Let g(l) = -3*l**2 - 7*l - 2. Let v(q) = -q**2 - q + 1. Let i(a) = -g(a) + 5*v(a). Let j be i(5). Does 18 divide (-2)/(-11) + (-4746)/j?
True
Let k(o) = -78*o - 2. Let q be k(-1). Suppose -2*i = -0*m - 3*m - 95, 0 = 5*i + 3*m - 227. Let l = q - i. Is l a multiple of 4?
False
Is 14 a factor of (36294/12)/(12/24) - -4?
False
Suppose 5*n = 18*x - 16*x - 59, 3*n = 5*x - 100. Suppose -242 = -19*p + x*p. Is 2 a factor of p?
False
Suppose 2*g + 1429 = -3*a, 0 = 6*g - 2*g - 3*a + 2903. Let x = 1069 + g. Is x a multiple of 36?
False
Let o = 17005 - 12035. Is o a multiple of 60?
False
Suppose -11*p + 78 = -24*p. Is -4 + (-54)/p + 65 a multiple of 12?
False
Suppose 3*w - 27 + 21 = 0. Suppose -3*j + w*v = 4*v - 355, 3*j - 349 = v. Does 12 divide j - 0/(1 - -3)?
False
Let f(g) = -g**2 + 21*g + 13. Let w be f(-15). Let x = w - -530. Is 3 a factor of x?
True
Suppose -12 = -5*x + 13. Suppose -z = -2*u + 509, -x*u - 1013 = -9*u + z. Is u a multiple of 42?
True
Suppose 44*q = 339421 + 84431. Is 76 a factor of q?
False
Suppose 53*b - 49*b - 12 = 0. Suppose -4*a + 28 = d + b*d, 2*a = -d + 18. Is a even?
False
Let k(p) be the second derivative of -p**3/3 + 24*p**2 - 62*p. Does 2 divide k(15)?
True
Is 39 a factor of (-6)/(-135) - (-437615)/225?
False
Let l(f) = -116*f + 71. Let q be l(-4). Let j = 777 - q. Is 13 a factor of j?
False
Let u(b) = 16*b - 24. Let y(v) = -4*v + 6. Let c = 43 + -61. Let j(h) = c*y(h) - 4*u(h). Is 21 a factor of j(12)?
True
Let b = -20256 - -30391. Is b a multiple of 8?
False
Suppose 155060 = 6*x + 5*v, -17513 = x - 4*v - 43337. Is x a multiple of 152?
True
Let q be (-4)/(-2)*(-5 + 4) + 4. Let k = 37 - 35. Suppose -k*s - 2*s + v + 174 = 0, -q*s + 3*v = -92. Does 4 divide s?
False
Let a(r) = -106*r**2 - 2. Let k be a(-1). Let d(c) = -116*c. Let x be d(-1). Let g = x + k. Does 4 divide g?
True
Is 3 a factor of 8 - -322 - (-30)/(5 - 0)?
True
Is (-10)/(-1) + (3903 - 153) a multiple of 3?
False
Let t(f) = -4*f**3 - 17*f**2 - 7*f + 28. Let d(h) = -h**3 - h**2. Let y(j) = -6*d(j) + t(j). Is y(8) a multiple of 33?
False
Suppose -5*g = -2*b - 4207 + 36106, 47883 = 3*b + 4*g. Is b a multiple of 163?
False
Let b = 24246 - 13628. Is b a multiple of 38?
False
Suppose -q = -t - 238, 5*q - 3*t = 4*q + 242. Suppose 7*c = 9 + q. Suppose 2*s = 505 + c. Is 54 a factor of s?
True
Let i = -107 - -136. Suppose 743 = 6*f + i. Suppose -190 = -121*t + f*t. Is 9 a factor of t?
False
Suppose 385*m + 10283 = 392*m. Is m a multiple of 6?
False
Let w be 6/(-21) - (-109921)/49. Suppose -5*x = g - 3*g - w, x - 444 = 5*g. Is 24 a factor of x?
False
Let r = -19435 - -31557. Suppose 4382 = -9*z + r. Is z a multiple of 43?
True
Let d = 57 + -63. Does 17 divide (45/(-6))/(d/16)?
False
Suppose -7 = -4*o - 2*t - 41, -4*t = 2*o + 26. Is 430/7 + ((-40)/o)/10 a multiple of 4?
False
Let a(y) = -111*y - 64. Let m(n) = -109*n - 64. Let f(h) = -6*a(h) + 7*m(h). Does 12 divide f(-4)?
True
Suppose -2*x - 1 = 3, 0 = 3*w - 4*x - 2012. Suppose k = 5, 4*d - 4*k - w = 544. Is 7 a factor of d?
True
Suppose -6553016 = -485*k + 14496469. Does 17 divide k?
True
Let h be 6496/(-72) - (-2)/9. Let t = -64 - h. Does 11 divide t?
False
Suppose h = 3*t + 6123, -3*h + 266*t - 271*t + 18285 = 0. Is 111 a factor of h?
True
Let q(j) = 5*j**2 - 26. Let u be q(5). Let k = u + -89. Suppose -7*p = -k*p + 165. Is 11 a factor of p?
True
Let k(r) = -16*r + 3165. Does 80 divide k(-122)?
False
Let l = 145 - 161. Let n(d) = -28*d + 158. Is n(l) a multiple of 14?
False
Let j be (3 + -2)*883 - 4. Let y = j - 519. Is y a multiple of 45?
True
Let b(z) = z**3 - 22*z**2 + 92*z - 51. Let m be b(22). Suppose 3*k + m = 4*q, -k + 607 = q + 112. Is 26 a factor of q?
True
Is 3/(495/538590) - 2/11 a multiple of 32?
True
Suppose 5672 = 5*i - k, -4*i + k + 4526 = 6*k. Let g = i - 674. Is g a multiple of 10?
True
Suppose -5*j - 4*p + 65443 = 0, 4*j + 43*p - 52370 = 45*p. Suppose 0 = 16*c - 11197 - j. Is c a multiple of 22?
True
Let g(a) = 3*a - 14. Let q be g(8). Let h be q/(-45) - (-76)/18. Suppose -8 = -h*s + 12. Is 3 a factor of s?
False
Let s be (-12)/(-32) - (-182)/(-16). Let m = s - -12. Is 18 a factor of (-4 + -6)/((4/(-30))/m)?
False
Let f(n) = -n**3 + 5*n**2 + 6*n + 2. Let w be f(6). Let a(o) = -6*o + 6*o**2 - 3 + o**3 + o**2 - o**2 - 3*o**w. Is 19 a factor of a(6)?
True
Let m(w) = 20*w. Let q be 432/80 - 6/(-10). Does 10 divide m(q)?
True
Let f(x) = x**2 - 12*x - 24. Let u be f(14). Suppose u*z = -0*n - 2*n + 372, -4*n + 764 = 4*z. Suppose 34 = -3*v + n. Does 27 divide v?
True
Let w = -442 + 427. Is 37 a factor of (11 + 1)*(-370)/w?
True
Suppose 2*o - 6*o = -2072. Suppose 2*t = -2*j + 1012, t - 11*j + 9*