 - 2084 = -7544. Is a a multiple of 21?
True
Let s(o) = 15*o**3 + 794*o**2 + 24*o - 408. Is s(-52) a multiple of 181?
True
Suppose -89*n + 92*n = 12. Suppose -3*b + 2*b - 56 = -4*c, -60 = -n*c + 2*b. Does 7 divide c?
False
Suppose 4*u + 2*z + 142 = 0, -3*u - z = 4*z + 124. Let b = u - -33. Suppose b = -2*l + 21 + 99. Is l a multiple of 12?
True
Let n = 1130 - 454. Let g = -447 + n. Is g a multiple of 15?
False
Is 10 a factor of (-76 - -101)*318/45*3?
True
Let m(n) = 2*n**3 + 255*n**2 + 496*n - 64. Is m(-125) a multiple of 134?
False
Let l be 4/(-10) - (-2956)/(-10). Is l/(-6 + 2) + 5 a multiple of 10?
False
Suppose 5*b - 2*u - 23474 = 0, -b - 6*u + 4688 = -3*u. Is 18 a factor of b?
False
Let w be 6/((-36)/(-30))*-31. Let n = 174 + w. Is n even?
False
Suppose 0 = 4*i + 2186 - 9882. Suppose -43*z + i = -28348. Is 44 a factor of z?
True
Let f be 1/(-4)*-6 - (-3438)/12. Let n = f + -113. Is n a multiple of 7?
True
Does 29 divide 6876 - (8 + (-5)/20*-20*-1)?
True
Suppose 17409 = 27*m - 71286. Is 5 a factor of m?
True
Let a(i) = 7*i**2 + 3*i - 15. Suppose -f - 22 + 27 = 0. Is 35 a factor of a(f)?
True
Let p = 6499 - 6349. Does 6 divide p?
True
Let o(z) = 30*z - 320. Let x be o(11). Is 7912/16 - (x/(-4) + 3) a multiple of 13?
True
Let a(i) = 8*i - 8. Let p(s) = 9*s - 8. Let n(h) = -h**3 + 7*h**2 - 7*h + 1. Let x be n(6). Let m(k) = x*a(k) + 4*p(k). Is m(-4) a multiple of 6?
True
Let d(j) = -98*j**3 + 4*j**2 + 6*j + 21. Let n be d(-3). Suppose -n = -5*b - 2*g, -4*b = 5*g - 1894 - 237. Is 24 a factor of b?
False
Let w be (-4)/(-40) + 2/15*(-1968)/64. Let q(b) = 8*b**2 + b**3 - 4 + 12*b - 4*b + 2*b**2. Is q(w) a multiple of 15?
True
Suppose 0 = -2*b + d + d + 12, 3*b - 14 = d. Suppose 6 = -2*s, -2*p + b*s = -p - 27. Suppose 5*v + 0*v = p, 45 = g + 2*v. Is g a multiple of 17?
False
Suppose b + 25*b = 0. Suppose -9*i + 16 = -13*i, 4*x + i - 1416 = b. Does 38 divide x?
False
Let w(a) = -a - 4. Let y be w(-4). Suppose 2*h - 1 = 3, 2*m + 2*h - 6 = y. Is 20 a factor of m/(-3) - -1 - (-662)/6?
False
Let a(s) = 11*s + 210. Let k be a(-19). Does 15 divide k/(-4)*(-638 - -6)?
False
Let a be 111/7 - (-20)/140. Let x be (-5 - a) + (0 - 1 - 2). Let l(n) = -n + 16. Does 20 divide l(x)?
True
Suppose -3*u + 8 = -4*q, 5*q - 36 = -u - u. Is 13 a factor of (5/u*30)/((-2)/(-16))?
False
Let z(g) = -12*g**3 + g**2 + 3*g + 2. Let n be z(-1). Suppose r - 5*y - n = 0, 3*r - 4*y = r + 36. Let o = 62 - r. Is o a multiple of 10?
True
Let v(k) = -5*k - 55. Let o be v(-14). Suppose 32 = -7*c + o*c. Suppose -2*s - 6 + 48 = 3*a, 0 = c*s - 4*a - 124. Is 9 a factor of s?
True
Suppose -4*g + 3*z = -12, 0 = -g + 3*z + 15 - 21. Suppose g*n = 2*m + 5*n - 353, 174 = m + 2*n. Does 8 divide m?
True
Let u(h) = -96*h - 507. Let b be u(-4). Let c be 2 - 183 - (1 - -1). Let x = b - c. Does 10 divide x?
True
Suppose 0 = -15*g + 7709 - 869. Suppose 5*l + 3*a - 4693 = 0, 2*a - 1396 + g = -l. Does 67 divide l?
True
Let y(o) = 4. Let b(f) = -49*f - 120. Let w(r) = b(r) + 6*y(r). Is 3 a factor of w(-3)?
True
Let g(p) = 0 + p**2 - 3*p**2 - 3*p**3 + 3 - 3*p + 6. Let c be g(-4). Suppose 5*m - 2*l = -6*l + 184, 0 = 5*m + l - c. Is m a multiple of 7?
False
Suppose 5*c - 62 = -5*x - 12, 2*c = 5*x - 50. Let o(t) = 20. Let g(s) = -s + 19. Let r(a) = -7*g(a) + 6*o(a). Does 8 divide r(x)?
False
Let i(u) = -u**3 - 6*u**2 - 16*u + 4. Let g = -145 + 140. Is i(g) a multiple of 41?
False
Suppose -509756 = -118*b + 483470 + 621014. Is 76 a factor of b?
True
Let b be 10*(-2 - 10/(-4)) - 2. Suppose 9*f = b*f + 54. Let u(a) = -2*a**3 + 21*a**2 - 15*a - 13. Does 17 divide u(f)?
False
Suppose 0 = -10*m + 8*m, 5*m = -f + 4598 - 439. Is 90 a factor of f?
False
Let m(b) = 4*b + 32. Let n be m(-8). Suppose 4*z + 4*k + 12 = 0, n = k + 3. Is 12 + (z - (-4 - 1)) a multiple of 7?
False
Let w(p) = 6*p**2 - 17*p - 71. Let z be w(-15). Let x = 2803 - z. Does 47 divide x?
True
Let b(u) = -77*u - 15. Let a(c) = 116*c + 22. Let m(v) = 5*a(v) + 7*b(v). Let n be m(-15). Let z = -259 - n. Is 39 a factor of z?
True
Let g(k) = -4*k + 3. Let h be g(-22). Let y = 250 - h. Is 53 a factor of y?
True
Suppose 2 = -2*y, 0*y + 15 = 2*z - 5*y. Suppose 2*d - 136 = 4*x - 48, -2*d + 2*x + 98 = 0. Suppose z*s - d = 71. Does 8 divide s?
False
Suppose -3*v + 6292 = -3*x + 1159, 3*x - 5097 = -3*v. Is 107 a factor of v?
False
Let d be 0/(-2 - (1 + -1)). Let h be 276/120 - 3/10. Is 19 a factor of ((-1650)/20)/(h/(-4) + d)?
False
Let y(c) = -8*c**2 + 25*c + 2. Let a be y(3). Suppose -d - 2890 = -a*q, 16*q - 21*q + 4*d + 2875 = 0. Does 38 divide q?
False
Let p = -64 + 80. Let v be p/56 - (-174)/(-21). Is ((-38)/v)/((-12)/(-528)) a multiple of 49?
False
Is 29993 - (-4)/4*2 - (165 - 160) a multiple of 18?
False
Is 154880/11 + (-5 - -5)/1 a multiple of 142?
False
Let t(a) = -a**2 - 11*a + 18. Let i be t(-12). Suppose -i*c - 28 = 8*c. Does 14 divide 88 + (c - -5) - (-2 - 0)?
False
Let p(c) = c**2 + 3*c - 9. Let y be p(-6). Suppose 4*l - y = -1. Suppose 0 = l*t + 30 - 268. Is 17 a factor of t?
True
Let v(d) = 7*d**2 - d - 13. Suppose 5*b + 10 = 0, 4*l - 2*b + 20 = 2*b. Let i be v(l). Suppose 9*q - 203 = i. Does 10 divide q?
True
Let b(n) = -n - 1. Let d(j) = 29*j**2 + j + 22. Let z(y) = -2*b(y) - d(y). Let g(l) be the first derivative of z(l). Is 13 a factor of g(-2)?
True
Let u(l) = 291*l + 7112. Is 196 a factor of u(84)?
True
Suppose 3*v - 8365 = x, -48*v + 47*v + 2799 = 5*x. Suppose 5*c + 2*h - 2969 = v, 3 = -3*h. Is 96 a factor of c?
True
Suppose -565 = 8*l - 637. Suppose 0 = l*m - 15512 + 3344. Is 26 a factor of m?
True
Let v be 413 + (0 - 0/(-1)). Suppose -110*s + 485 = -714 + 99. Suppose 3*l - s*l + v = 0. Is 10 a factor of l?
False
Let v = -948 + 1424. Suppose 4*h = 4*a - v, 0 = -5*a + 3*h + 575 + 24. Let d = a - -51. Is d a multiple of 23?
False
Let y be (10/(-4))/((-4)/8). Suppose 6*t - 38 = y*t. Let o = -9 + t. Is o a multiple of 18?
False
Let z be 726/(-2) + (-2)/(-2) + 0. Let d = 88 - z. Is 30 a factor of d?
True
Suppose 4*r + 18 = -3*k, 3*r + 3*k = -1 - 11. Let i be (r + 6)/(3*-1). Suppose 0 = -4*b - 5*g + 105, 3*g = -b - i*g + 35. Does 20 divide b?
True
Suppose -35*m = 13*m - 299520. Suppose w = 14*w - m. Does 23 divide w?
False
Let j(s) = -s**2 - 12*s - 23. Let v be j(-7). Let y(g) = 2*g**2 - 2*g + 56*g**3 + 29 - 16 - v. Does 10 divide y(1)?
False
Suppose 6097 - 1631 = -2*c. Is 32 a factor of (-7)/(245/c) + 2/10?
True
Is 77 a factor of (-2 - 135/10)/((-1)/358)?
False
Suppose 59*f - 361818 = 125*f - 1218432. Does 66 divide f?
False
Suppose -a = -2*d - 2958, 2*a + 2*d - 3085 = 2837. Is a a multiple of 74?
True
Suppose 25*r - 34*r + 11383 = 2320. Is 3 a factor of r?
False
Let o(f) = -2*f**2 + f. Let p(n) = -9*n**2 + 28*n - 201. Let r(l) = -6*o(l) + p(l). Is 53 a factor of r(-22)?
False
Suppose -s = -3*n + 2476, -15*s + 4108 = 5*n - 12*s. Let b = -210 + n. Does 75 divide b?
False
Let i(b) be the second derivative of -b**5/20 - 17*b**4/12 + 4*b**3/3 + 21*b**2 + 13*b. Let h be i(-18). Suppose -9*o + h + 12 = 0. Is o a multiple of 26?
True
Let o(r) = 23*r + 8. Let y be o(8). Suppose 0 = 92*n + 464 - 4. Does 21 divide y + -2 - (6/1 + n)?
True
Let u = 24 - 25. Let y be 7/((-6)/(-9) + u). Let z = 87 - y. Is 36 a factor of z?
True
Let z be ((-50)/(-6) - -1)*3. Suppose 0 = -3*d - a + 248, 12 - 175 = -2*d - 3*a. Let x = d - z. Is 8 a factor of x?
False
Suppose -2*k + u = -1, -3*k + 2*u + 4 = 1. Is 48 a factor of (k - -2 - 6/15)*230?
False
Suppose -3*x + 5*u = -79761, -2*x + 53174 = -36*u + 41*u. Is 36 a factor of x?
False
Let b = -2341 - -3628. Is 9 a factor of b?
True
Let x(c) be the first derivative of 19*c**3/3 - 25*c**2/2 - 6*c + 142. Is 12 a factor of x(-5)?
False
Let o = -3386 - -4917. Suppose 5*v - 1105 = -2*d + 456, -2*d + o = -v. Is d a multiple of 64?
True
Suppose 0 = -2*w + 102*g - 97*g + 19128, 5*w - g = 47843. Does 43 divide w?
False
Let n = 188 + -189. Let a(x) = 520*x**2 - x. Is 33 a factor of a(n)?
False
Let x(c) = -130*c + 10. Let v = 102 + -104. Is 9 a factor of x(v)?
True
Let v(j) = -2*j**3 - 15*j**2 - 18*j - 16. Let n be v(-10). Suppose -n = -4*u + 2*t, -5*t = u - 77 - 67. Is 12 a factor of u?
False
Suppose 13 - 7 = -3*h. Let l = h - -198. Is 28 a factor of l?
True
Let p(g) = -4*g - 2. Let c be p(-7). Let d(r) = 18*r - 88. Is d(c) a multip