et g = 558 - 396. Is 9 a factor of g?
True
Let t(b) = 246*b - 658. Is 6 a factor of t(5)?
False
Let j(q) = -3*q**2 - 23*q + 4. Let m(g) = g**2 + 8*g - 1. Let x(c) = 3*j(c) + 8*m(c). Let r be x(-10). Is (r/3)/((-6)/9) a multiple of 9?
False
Suppose -2*k = -5*v - 23, v - 9 = -2*v. Suppose 0 = -k*s + 1354 + 337. Is s a multiple of 11?
False
Let z be 848/17 + 6/51. Suppose z*a = 49*a + 99. Does 8 divide a?
False
Let h(x) = 69*x**2 + 12*x + 4. Does 24 divide h(-4)?
False
Let k(v) = -16*v - 7. Let c = 11 + -6. Let z be k(c). Let p = -52 - z. Does 7 divide p?
True
Suppose 11*q = 34*q - 31073. Does 4 divide q?
False
Let r be (14 + 0)*(-25)/10. Let w = 86 + r. Does 24 divide w?
False
Suppose -10*i - 4655 = -17*i. Is 10 a factor of i?
False
Suppose 7 = c - 4*w, 2 + 11 = -c - w. Let p = 9 + c. Suppose 0 = -p*v + v - 52. Is 30 a factor of v?
False
Suppose 4*m - 956 = 4*j, -4*j = -m + 4*m - 710. Is 15 a factor of m?
False
Suppose q + 5*l = -16, -3*q = -0*l - 2*l - 37. Is (-2)/9 - (-434)/q a multiple of 4?
True
Let m(v) = 33*v - 3. Let h be m(2). Let k = h + 12. Does 25 divide k?
True
Suppose 0 = 5*u, r + 3*u - 5*u - 660 = 0. Does 50 divide r?
False
Let a be (-6)/33 - 138/(-33). Suppose 2*u - 106 = -a*r, -10 = -u - r + 39. Suppose 0*p - 3*p = -u. Is p a multiple of 13?
False
Let o = -8 - 107. Let b = o - -214. Let w = -58 + b. Is 21 a factor of w?
False
Let s(z) = 2*z**2 + 4*z - 3. Let r be s(-3). Suppose h - 5 = -0*h. Is (-2 + r)*3*h a multiple of 15?
True
Let q = 244 + -412. Does 3 divide (1/(-2))/(14/q)?
True
Let b(s) = s**3 - 2*s**2 + 10*s - 1. Is b(6) a multiple of 7?
True
Let i(s) = -s**3 + 7*s**2 - 7*s + 8. Let c be i(6). Suppose -5*p + 110 = -p + c*y, -3*y + 15 = 0. Let u = 11 + p. Is u a multiple of 12?
True
Let p(n) be the first derivative of 2*n**2 + 46*n + 34. Does 25 divide p(14)?
False
Is ((-12)/9 + 1)/(11/(-10593)) a multiple of 13?
False
Suppose 2*l = 4*z + 78, 0 = -4*l + 3*l + 5*z + 24. Suppose 48 = -43*m + l*m. Is m a multiple of 5?
False
Let k(c) be the first derivative of 5*c**2/2 - 50*c - 17. Is k(16) a multiple of 4?
False
Suppose -5*v = -11*v + 246. Suppose 4*m - v = -o, 3*o + 3*m = 5*o - 137. Is 12 a factor of o?
False
Suppose n = -7 + 227. Suppose n = 4*h - 4*s, -5*h + 172 + 75 = 2*s. Is h a multiple of 11?
False
Let v = -4206 + 9384. Does 51 divide v?
False
Let u be 4 + -1 + (-1)/(-2)*3134. Suppose -8*f + u = 130. Is 41 a factor of f?
False
Let f be (4 - 6) + (2/2 - -1). Suppose -7*n + 8*n - 66 = f. Does 37 divide n?
False
Suppose -9*y - 14607 = -13*y + r, 0 = -2*y - 2*r + 7316. Does 13 divide y?
True
Suppose 3*s + 1209 = 3*a, a - 3*a = s - 803. Suppose 2292 - a = 15*g. Is 21 a factor of g?
True
Suppose c = -v - v + 92, 5*v - 180 = -2*c. Suppose -4*u - g = -84, -2*g + c = 4*u + 3*g. Does 14 divide u?
False
Let u = -403 + 586. Is u a multiple of 18?
False
Let n be (-2 - 0)*(0 + 8). Let p = n + 11. Let j(a) = -a**3 - 3*a**2 + 6*a + 1. Is 7 a factor of j(p)?
True
Let s(z) = 1126*z**2 - 11*z + 5. Is 32 a factor of s(1)?
True
Suppose 8*r - 3*w = 3*r + 5097, 3*w - 1023 = -r. Does 34 divide r?
True
Suppose -3*b = -4*b + 6. Suppose -3*u + b = -0. Suppose 5*d = u*d + 195. Does 30 divide d?
False
Let q = -46 + -50. Let k = -68 - q. Does 28 divide k?
True
Is 36 a factor of (-20)/24 + (-5825)/(-6)?
False
Let y = -6 + 8. Suppose y*r = 5 - 1. Suppose 3*j - 2*j + r*l - 11 = 0, -5*j - 5*l + 35 = 0. Is j a multiple of 2?
False
Let o be (15/9)/((-678)/(-225) + -3). Suppose 2*u + o = s - 86, -5*u = -5*s + 1075. Does 37 divide s?
False
Suppose 8 - 3 = -m. Let n be ((-6)/(-8))/(m/400). Let o = n - -84. Is o a multiple of 12?
True
Let d(m) = 4*m + 6. Let a be d(4). Let o = a - 15. Suppose 4*n - 4*h - 124 = -o*h, -4*n = 4*h - 124. Is n a multiple of 6?
False
Suppose -3*f - 2*d = -8, 0*f - d - 6 = -f. Let l be 116 - -1*f/(-4). Suppose -4*n + 45 = -l. Is 8 a factor of n?
True
Let o = -2360 + 2705. Is 23 a factor of o?
True
Let s(t) be the third derivative of -t**6/120 - 13*t**5/60 - t**4/4 - 9*t**3/2 + 20*t**2. Is s(-13) a multiple of 4?
False
Let g be 136 - (-1 + 4/2). Let b be (-1 - 0)/((-3)/6). Suppose -k = b*k - g. Is 7 a factor of k?
False
Suppose 488 = 9*i - i. Is i a multiple of 20?
False
Suppose -4*r + 3*r = -36. Suppose -9*c - r = -11*c. Is c a multiple of 6?
True
Suppose 141 = 3*r - 288. Is r a multiple of 11?
True
Let l be ((2 + -6)*1)/(12/(-9)). Suppose 5*x - 2*x - 1149 = 0. Suppose -l*w - x = -5*i, -i + 85 = w + 10. Is i a multiple of 19?
True
Is ((-30)/12 + 1)*-4 even?
True
Let t(u) = 276*u**2 + 6*u - 5. Is t(2) a multiple of 101?
True
Let i be (-1 - -2) + 1904/(-12)*-3. Suppose 4*j - 16 = 4*v - 660, -3*v + 5*j + i = 0. Does 12 divide v?
False
Let x(y) = -y**3 - 7*y**2 - 10*y - 7. Let z be x(-7). Suppose -2*a + 5*d + 35 = -18, 5*d = -2*a + z. Suppose 2*v = 25 + a. Is 12 a factor of v?
False
Let a = -79 - -181. Let b = a - 32. Is 16 a factor of b?
False
Let i be (-14)/(-1*(-6)/(-33)). Let n = 9 + i. Suppose 5*p - 79 = n. Does 33 divide p?
True
Suppose 0 = 10*w - 11*w - 1. Let m(z) = 44*z**2 - 2*z - 2. Does 8 divide m(w)?
False
Suppose 688*d - 8928 = 686*d. Is d a multiple of 16?
True
Suppose 0 = 2*d + 11*p - 2428, d - 10*p - 1193 = -5*p. Does 16 divide d?
False
Let c(q) = -q - 8. Let j be c(-9). Let w(o) = 79*o**3 + 2*o**2 - 2*o. Is w(j) a multiple of 9?
False
Let y(a) = 2*a**2 - 6*a - 2. Let z be y(-4). Let l = z - 11. Does 6 divide l?
False
Let a = 14 + -11. Suppose -68 = -a*c - 242. Let x = c - -86. Is 14 a factor of x?
True
Let t = 1503 - -590. Is t a multiple of 72?
False
Suppose 4279 = 11*m - 1067. Is m a multiple of 15?
False
Suppose 0 = 58*i - 61*i + 12. Is (5 + 3)*(2 - (-22)/i) a multiple of 12?
True
Let q = 25 - 23. Let x be (-36)/16 + q/8. Does 16 divide x/(-8) - 1100/(-16)?
False
Does 15 divide 4/(-42) - 63959/(-147)?
True
Suppose -4*y + 1291 = -4*f - 469, 0 = 2*y - f - 875. Suppose 2*t - y = -3*d, -d - d + 290 = -3*t. Does 10 divide d?
False
Let k(n) = -4*n + 89. Let w be (-2)/((-123)/(-39) + -1 - 2). Does 8 divide k(w)?
False
Let m(j) = -10*j + 64. Let z be m(10). Is 14 a factor of (-296)/(-3) - z/(-54)?
True
Suppose -710 = -2*b - 142. Does 16 divide b?
False
Let t = -38 + 100. Suppose 0 = 2*d + j - t, j - 17 - 15 = -d. Does 5 divide d?
True
Let k(s) = 8*s + 32. Let a(i) = i**2 - 6*i + 6. Let d be a(6). Is 20 a factor of k(d)?
True
Let k(j) = -j**3 - 5*j**2 + 12*j + 10. Let s be k(-7). Let y = s + -12. Does 3 divide y?
True
Let t(v) = 2*v**3 + 12*v**2 + 9*v + 2. Let w be (-56)/(-9) - 4/18. Let o(c) = -c**3 - 6*c**2 - 5*c - 1. Let p(k) = w*t(k) + 11*o(k). Does 9 divide p(-3)?
False
Suppose 4*c = -3*q + 3*c + 3047, 0 = 4*q + c - 4064. Is 19 a factor of q?
False
Suppose 0 = -4*c + 1643 - 267. Is c a multiple of 18?
False
Let p(g) = -12*g**3 + 2*g**2 - 1. Let d be p(2). Let h = 142 + d. Is h a multiple of 9?
False
Let q(s) = -s**3 + 13*s**2 - 11*s - 7. Let r be q(12). Suppose -477 = -r*k - 22. Is k a multiple of 13?
True
Let g(i) = -i**3 - 14*i**2 - 2*i - 26. Let l be g(-14). Suppose -3*c - 3*r - 36 = -129, l*c = -4*r + 68. Is c a multiple of 2?
True
Let w = -16 - -12. Does 49 divide -7*(15/(-5) + w)?
True
Suppose 0 = 3*v + 2*t - 245, 0 = -4*v - 2*t + 285 + 45. Is v a multiple of 17?
True
Let k = 14 - 28. Let r(m) = 3*m**2 + 9*m - 20. Let q be r(2). Let v = q - k. Does 8 divide v?
True
Suppose -u = -4*u + 213. Suppose 5*v - 34 = u. Is 3 a factor of v?
True
Does 5 divide ((-418)/55 + 6)/(4/(-190))?
False
Let l = -179 - -121. Let n = l + 86. Is 4 a factor of n?
True
Suppose 2*s - 5 = -1. Suppose 0 = 3*r + k - 22, s*k - 1 = -4*r + 31. Is r a multiple of 3?
True
Suppose 0 = -189*a + 194*a - 7420. Does 28 divide a?
True
Suppose -2*n + 67 = -3*n. Let t be (2 - -1) + (0 - n). Suppose 207 = 5*c - 4*r, -2*c + 3*r = -t - 10. Is 8 a factor of c?
False
Suppose -5*l + 81 = -129. Let f(g) = -3*g - g**2 - g**3 - 6*g + 10*g + l. Is 14 a factor of f(0)?
True
Suppose 9*r - 4*u - 23 = 8*r, -2*u = -3*r + 79. Let l = 10 - 5. Suppose -l*z + r = -93. Is z a multiple of 12?
True
Let r = 194 + -123. Does 22 divide r?
False
Let z(g) = -g**2 - 7*g - 6. Let p be z(-6). Suppose -2*s + 10 = -p, 0 = -2*i + s + 31. Does 9 divide i?
True
Let i(k) = k + 19. Let u be i(-15). Suppose -3*y - 110 = -u*y. Is y a multiple of 14?
False
Suppose 0 = -3*m + 15, -4*m + 70 