 11 a factor of z?
False
Let u(c) = -c**3 + 7*c**2 - 2*c + 9. Let z be u(7). Let b = 2 - z. Suppose -29 = -2*o + b. Is o a multiple of 9?
True
Let j be (-794)/(-4) + 13/(-26). Suppose -6*l = -3*l - j. Is l a multiple of 22?
True
Let m = 505 + -333. Is 43 a factor of m?
True
Let s = 11 - 6. Let r be (52/(-5))/(8/(-20)). Suppose 0 = -s*m + 14 + r. Is 7 a factor of m?
False
Suppose 5*x - 87 = 2*x. Suppose 68 = 3*i + x. Does 13 divide i?
True
Let q(x) = -x**2 + 70*x - 7. Does 13 divide q(38)?
True
Let z(w) = -w - 4. Let k be z(-8). Is (-1*k/6)/(10/(-1245)) a multiple of 6?
False
Suppose 4*g - 26 = k - 4*k, 0 = -5*k + 10. Let z(o) = -o**3 + 6*o**2 + 6*o + 2. Is 13 a factor of z(g)?
False
Let z = -278 + 161. Let w be ((-2)/3)/((-6)/z). Let k = 18 - w. Does 31 divide k?
True
Is 93690/405*1*12 a multiple of 106?
False
Suppose -24354 = 235*c - 253*c. Is 17 a factor of c?
False
Suppose -5*t - z = -1628, 8*t - 4*t - z = 1306. Suppose -74 = i - t. Does 23 divide i?
False
Is (-2112)/(-80)*(-120)/(-9) a multiple of 12?
False
Let m(o) = o**2 - 7 - 2*o - 4*o - o - 3. Let c(a) = a**3 - 2*a**2 - 5*a - 3. Let b be c(4). Does 4 divide m(b)?
True
Let l be (-3)/(-21) + 22/(-7). Is 25 a factor of (-1 + 51)*(l + 7)?
True
Suppose 56*d + 72 = 57*d. Does 6 divide d?
True
Let k = -32 + 34. Let y = 47 - k. Is y a multiple of 8?
False
Suppose -24*c = -29*c + 1090. Does 13 divide c?
False
Let s(k) = -43*k - 50. Is s(-12) a multiple of 8?
False
Let g = -19 + 23. Is 15 a factor of 14*(10/(-4) + g)?
False
Let i be -1 - -6*(-4 - -5). Suppose d - 168 = -d + i*u, 0 = u + 4. Suppose 2*z + d = n, 5*n - 394 = -3*z + z. Is n a multiple of 39?
True
Let o(b) = b - 2. Let z be o(12). Suppose 7*f = 2*f - 2*m - 24, 5*f - 5*m = -z. Let x(h) = -2*h**3 - 5*h**2 - 4*h + 7. Is x(f) a multiple of 20?
False
Suppose 16*i = 19*i - 1104. Suppose 10*a - i = 252. Does 19 divide a?
False
Let r = 102 - 207. Let l = -17 - r. Is 22 a factor of l?
True
Suppose 5*m + 29 = 4*g, m + 9 = -0*g + 4*g. Let d be 3 + m - (0 - -10). Let z = d - -15. Is 2 a factor of z?
False
Let o(z) = 19 + z**2 - 3*z - 9*z - 4. Let d be o(12). Let s = -12 + d. Does 2 divide s?
False
Let q(w) = -w - 4. Let d be q(-12). Let b(f) = 2*f - 13. Let o be b(d). Suppose y - 72 = -4*l, 0 = -3*y + y - o*l + 119. Is 30 a factor of y?
False
Does 21 divide -622*7/14*(-11 + 4)?
False
Suppose 0 = -0*n - n - 4, 2*u - 2*n - 8 = 0. Suppose 5*b - 15 = -f - 4*f, u = 5*b + 3*f - 9. Suppose b = 3*t + 7 - 16. Does 2 divide t?
False
Let n(c) = c**3 - 2*c**2 + 3*c - 4. Let k be n(2). Suppose 7*z - 100 = 2*z - 5*b, z - k*b = 17. Is z a multiple of 7?
False
Suppose 13*p - 12*p = -420. Is ((9/2)/(-3))/(9/p) a multiple of 7?
True
Let y = 1184 + -839. Does 5 divide y?
True
Suppose -r - 5 = -4*q + 4, -q - 39 = -4*r. Is r*(-3)/6*-2 a multiple of 3?
False
Let z(c) = 16*c**2 - 3*c - 4. Let r(b) = b**2 - b. Let s(j) = -2*r(j) + 2*z(j). Does 12 divide s(-2)?
True
Suppose m - 16 = -5*g, -5*m = 101*g - 104*g - 220. Is m a multiple of 2?
False
Does 30 divide 456/(-133)*(1 - 36)?
True
Let i(h) = 6*h**2 - 13*h + 11. Let y(g) = -11*g**2 + 26*g - 23. Let v(p) = -7*i(p) - 4*y(p). Is v(6) a multiple of 9?
True
Let u(i) = -i**2 + 23*i + 18. Does 4 divide u(22)?
True
Is 14 a factor of ((-2)/(-8)*-49)/(2/(-48))?
True
Let c = -17 + 37. Suppose 3*f = -f - c. Is (f/1)/(10/(-12)) a multiple of 6?
True
Let s = -1 + -14. Let f = 31 + s. Does 4 divide f?
True
Let b be (104/(-12))/((-4)/30). Suppose -b = -9*i + 4*i. Does 3 divide i?
False
Suppose 3*s = -5 + 23. Let v = s - -29. Is 8 a factor of v?
False
Suppose -999 - 909 = -18*i. Is i a multiple of 4?
False
Let r(o) = o**3 + 5*o**2 - 6*o - 3. Let d be r(-6). Let u be 1/(2*d/66). Is 6 a factor of 2/u - (-395)/55?
False
Let x(n) = n**3 + 16*n**2 + 3. Let z be x(-16). Is (z + (-39)/(-9))*(2 + 13) a multiple of 55?
True
Is 1698/(-8)*(0 + -4) a multiple of 52?
False
Suppose 17 = 6*o - 7*o + 4*h, 5*h - 37 = -4*o. Suppose 5*v = -2*d + o*d - 13, 2*v + 25 = d. Is 33 a factor of d?
True
Suppose 0 = w - 4*w - 12, -w = 2*f + 132. Let m be 0 + (126 - (-2 - -2)). Let s = m + f. Does 31 divide s?
True
Is 3 a factor of (-1222)/(-235)*(29/2 + -2)?
False
Is 113 a factor of 1354 - (-1 + (-8)/8)?
True
Does 41 divide 1/(-12)*8*1185/(-2)?
False
Is ((-4)/10 - (-18128)/20) + 6 a multiple of 24?
True
Let r(x) = -3*x**3 - 4*x**2 - x + 3. Let y be r(-4). Suppose 2*c = -3*m - 90, -3*c = -4*m + m + y. Let t = 75 + c. Does 5 divide t?
True
Let o = 332 + 1016. Is o a multiple of 14?
False
Suppose -10*s + 2764 = 64. Does 9 divide s?
True
Does 67 divide (16/(-24))/(15002/(-3750) - -4)?
False
Let m = 1389 - -1095. Is m a multiple of 12?
True
Does 6 divide 153 - ((-18)/(-12) - 9/2)?
True
Let b(m) = 2*m - 1. Let q be b(-3). Let r be q + 4 - 626/(-2). Suppose 4*p - 13 = -5, 0 = -3*n + p + r. Is n a multiple of 26?
True
Let f = 336 - -168. Is f a multiple of 36?
True
Suppose 3*y - 2636 = 208. Is 12 a factor of y?
True
Suppose 137*u - 134*u = -s + 2987, -5*s + 15015 = -u. Is 9 a factor of s?
False
Let y(g) = 2*g**2 + 54*g + 170. Is 40 a factor of y(-43)?
False
Suppose 69 = 2*f + 3*w - 153, 0 = -f - w + 110. Suppose -7*h + 9*h - f = 0. Does 18 divide h?
True
Let u = -13 + -39. Let x = -33 - u. Suppose -5*d + p + 268 = 0, d + 5*p - x = 45. Is d a multiple of 27?
True
Suppose -659 - 34 = -21*h. Is h a multiple of 23?
False
Let h = 13 - 33. Let f be 3 - (-2 - (h + -1)). Let u = 29 + f. Is u a multiple of 13?
True
Suppose s + 147 = -3*b - 406, -3*s = 3*b + 561. Let r = b + 270. Suppose -5*d + o + 77 + 43 = 0, o - r = -4*d. Is d a multiple of 16?
False
Is (-8 + 15 - -2298) + 5 a multiple of 165?
True
Suppose -10*t + 45 = -t. Suppose -t*n + 1040 = -2*r, -10*n + 6*n = r - 845. Is 41 a factor of n?
False
Let b(c) = -54*c - 261. Is b(-27) a multiple of 3?
True
Let q = -4 + -2. Let t(z) = z - 1. Let i(k) = 5*k + 1. Let j(w) = i(w) - 6*t(w). Is j(q) a multiple of 6?
False
Let d = -162 - -463. Is 43 a factor of d?
True
Suppose 0 = -13*i + 12*i. Let o be (2 + i)/(1/(-2)). Let j = o + 34. Is 15 a factor of j?
True
Let b = 71 - 50. Is 10 a factor of (b/(-14))/((-97)/(-50) - 2)?
False
Suppose -2*b + 4*h - 39 = -245, -b + 4*h = -111. Does 19 divide b?
True
Let g = -1812 - -2696. Does 13 divide g?
True
Let k(j) = 4*j**3 + 2*j**2 + 2*j - 4. Let h be k(3). Let y(t) = t**3 - t**2 - t. Let b be y(0). Suppose b*r + 2*r = h. Is 21 a factor of r?
False
Suppose 7*u - 20 = 3*u. Is (-1225)/(-20) - u/4 a multiple of 15?
True
Let h(j) = j**3 - 7*j**2 - 11*j + 9. Let u be h(8). Let b = -26 - u. Let y = -5 - b. Does 3 divide y?
True
Suppose -i - 195 = -3*o + 2*i, 16 = -4*i. Let q = o - 34. Is 9 a factor of (-1)/((6/q)/(-2))?
True
Suppose 0 = 75*x - 68*x - 294. Does 2 divide x?
True
Suppose 4*c - 102 = -2*g + 3*c, 0 = 5*g - 2*c - 273. Is g a multiple of 2?
False
Suppose -5*q = 0, -2*g - 3*g + 15 = -2*q. Suppose -g = 9*r - 6*r. Is (30/(-12))/(r/6) a multiple of 12?
False
Suppose 14 = 4*a - 6. Suppose 0 = 5*t - 0 - a. Does 10 divide (-15)/(t*9/(-12))?
True
Let q(f) = -f**3 + 9*f**2 + 11*f - 8. Let p be q(10). Suppose -22 - 42 = -p*a. Suppose 3*w - 7 = a. Is 10 a factor of w?
False
Let z = 1673 - 1013. Is z a multiple of 11?
True
Let x(r) = -2*r**2 + r - 12. Let f be x(6). Let p = -30 - f. Does 6 divide p?
True
Let u(m) = 14*m**2 - 11*m + 6. Let h be u(-8). Suppose 3*a = -2*v + 574, -5*v - h = -8*a + 3*a. Is a a multiple of 45?
False
Suppose 4*r - 61 + 49 = 0. Is 2 a factor of (11/(-3))/((1 - r)/6)?
False
Let r(y) = 1 + 12 + 0*y + 3 + y. Let k be 220/(-33) - (-1)/(-3). Is 9 a factor of r(k)?
True
Let d = 4750 + -2969. Is 9 a factor of d?
False
Suppose -8*p - 7 = -9*p. Let b = 3 - p. Is 10 a factor of (b + 1)*(-35)/3?
False
Suppose -3*k + k + d = -1333, -2*k + 2*d = -1332. Is 9 a factor of (-16)/96 - k/(-6)?
False
Let m(y) = -22*y - 7. Let c(s) = -3*s**2 - 2*s + 1. Let q be c(1). Is 14 a factor of m(q)?
False
Suppose 15 = -0*i + 5*i. Suppose 13 = -2*h + 5*s, -i*h + 13 = -4*s + 3*s. Suppose 7*z - h*z = 27. Is z a multiple of 9?
True
Suppose 9 - 36 = -3*j. Suppose u - j = 61. Is 14 a factor of u?
True
Suppose 0 = 3*w - 5*j - 271, 3*j + 94 = 2*w - 86. Is 20 a factor of 8*(w/6 - -3)?
True
Let n(j) = -15*j**3 - 4*j**2 + 5*j - 17. Let d(l) = 7*l**3 + 2*l**2 - 2*l + 8. Let h(k) = -13*d(k) - 6*n(k). Does 3 divide 