= c + 29. Let k = 52 - 63. Is x(k) a multiple of 18?
True
Suppose 3*d + 120 = -5*b, 0*b + 3*b = 4*d + 160. Is -6*4/(d + 4)*60 a multiple of 10?
True
Does 16 divide 354 + -3 + 0*5/25?
False
Suppose -5*c + 2310 = 5*d, 459 = c - 0*c + 4*d. Is 28 a factor of c?
False
Suppose -76 = -2*j + 4*h, 5*h + 117 = 2*j + j. Suppose -3*t + 7 = -j. Is 12 a factor of t?
False
Let j = -22 + -21. Let v = j - -103. Is 6 a factor of v?
True
Let v be 154/6 - (-2)/6. Does 8 divide v - (-2)/((-2)/3)?
False
Let b = 867 - 555. Suppose 2*x - 8*x = -b. Is x a multiple of 11?
False
Let f(k) = k**3 - 3*k**2 - k + 547. Does 20 divide f(0)?
False
Suppose 5*r + 3*r = 2936. Is 17 a factor of r?
False
Let v be ((-4)/10)/((-4)/20). Suppose v*o = -1 + 3. Is 20 a factor of 28/(-35)*-25*o?
True
Let n be 30/8 + 8/32. Suppose -90 = -n*f + 242. Suppose 0 = 3*t - 2*g - f, -t + 3*g = t - 57. Is 9 a factor of t?
True
Let r = 32 - 27. Suppose -24 = -r*v + 3*w, 5*v + 2*w + 1 = 10. Suppose -v*m = -42 - 54. Is 8 a factor of m?
True
Let z(y) be the second derivative of y**6/36 - 5*y**4/12 + y. Let m(l) be the third derivative of z(l). Is m(1) a multiple of 11?
False
Let g = -71 + 43. Does 3 divide (g/(-10))/(-2 + (-22)/(-10))?
False
Let n = -64 + 66. Suppose -n*i + 85 = -11. Is i a multiple of 18?
False
Is 42 a factor of 1*-4 + (-25671)/(-43) - 5?
True
Suppose -35*t - 2*i + 464 = -34*t, 3*i - 923 = -2*t. Is t a multiple of 3?
False
Let b(i) = -i**3 - 3*i**2 + 5*i + 6. Let l be b(-4). Suppose 16 = t + l*c + 3*c, 3*t - 48 = -3*c. Does 9 divide t?
False
Let l be (9 - (-12)/(-4))/2. Suppose -l*p = -2*p - 45. Suppose -3*k + 198 = -p. Is k a multiple of 27?
True
Let j(r) = r**3 - 13*r**2 - 2*r + 30. Let p be j(13). Suppose 4*w = -h - 2*h + 420, -w - p*h = -92. Does 18 divide w?
True
Let d(j) = 48*j - 10. Let u(a) = 48*a - 11. Let i(y) = 6*d(y) - 5*u(y). Is 47 a factor of i(5)?
True
Does 2 divide 6/((378/2256)/21)?
True
Let u be (12/(-8))/((-3)/954). Suppose -u = -5*b + 248. Let x = -79 + b. Does 33 divide x?
True
Let z = -107 - -833. Is z a multiple of 4?
False
Suppose 0 = -d - 5*x + 35, -10 = d - 5*x - 55. Does 6 divide (426/15)/(16/d)?
False
Let z be 2/(-11) + -1 + 2292/22. Suppose z + 121 = 4*w. Is w a multiple of 14?
True
Suppose -24*o + 4502 + 5962 = 0. Is o a multiple of 35?
False
Suppose -3*n - h = 886, -2*n - 382 = 2*h + 202. Let r = -165 - n. Does 22 divide r?
True
Let g = 61 - 55. Let h(i) = 15*i - 38. Is h(g) a multiple of 11?
False
Let j = -55 - -71. Is 2 a factor of j?
True
Let n = -3433 + 5129. Does 92 divide n?
False
Does 22 divide -9*((-4)/2 - 19)?
False
Suppose 5*m - 3*q = 1412, 5*q + 100 = m - 200. Is 20 a factor of m?
True
Suppose 2*z = 6, 2*i - 3*z = 327 + 60. Suppose 2*g + 7*g - i = 0. Does 2 divide g?
True
Let p be ((-147)/(-6))/(3/(-6)). Let y = p - -29. Let t = 53 + y. Does 10 divide t?
False
Let q(v) = 1422*v + 48. Is 35 a factor of q(1)?
True
Let p = -1610 + 2964. Is 83 a factor of p?
False
Let u = -8 + 9. Let c(o) = 59*o**3 + o. Let q(d) = 58*d**3 + d. Let r(f) = -2*c(f) + 3*q(f). Is 19 a factor of r(u)?
True
Let d(x) = -x**2 + x + 16. Suppose 3*q - q = -3*c + 8, 4 = -2*c + q. Does 14 divide d(c)?
False
Let k(t) = -4*t**2 + 22*t + 3*t - 2*t**2 + 4*t**2 - 17. Is k(10) a multiple of 11?
True
Let i be (6/(-5))/(8/(-20)). Suppose 130 = i*p - b, p - 7*b = -3*b + 36. Suppose -10 = -g + p. Is g a multiple of 18?
True
Let w(r) = -r**3 + 7*r**2 - 4*r - 2. Let p(t) = t**2 - t + 1. Let u(g) = 3*p(g) - w(g). Let c be u(4). Let d = c - 4. Is d a multiple of 3?
False
Let f(v) = 4*v - 12. Let t(z) = 15*z - 42. Let u(y) = 18*f(y) - 5*t(y). Suppose -d + 2 = 0, -5*o - 5*d - 12 = -2. Does 2 divide u(o)?
True
Let u(v) = v**3 + v**2 + v + 8. Suppose -2*b - 2*g = -7*b + 22, -6 = -b + 2*g. Suppose -5*n = -6*a + a, -3*n = b*a. Is u(a) a multiple of 6?
False
Does 7 divide (-9)/(-45)*395 - -5?
True
Let a(r) = 2*r**2 - 8*r - 1. Let d be a(5). Suppose -2*z + d = 3. Suppose z*c + 2*c - 15 = 0. Does 3 divide c?
True
Let a(v) = -v**3 + v - 7. Let b(p) = p**2 - 3*p. Let l be b(3). Let h be a(l). Let q(k) = -7*k + 4. Does 19 divide q(h)?
False
Let v(w) = -9*w - 37. Let u be v(-15). Let y = 119 - u. Is 8 a factor of y?
False
Suppose -5*m - 25 = -2*d, -3*d + 2*d - m + 2 = 0. Suppose -3*x = d*k - 1, -5*k = -4*x - k + 44. Suppose 2*g + 290 = x*g. Does 29 divide g?
True
Let r(i) = -35*i - 154. Is r(-6) a multiple of 13?
False
Suppose 0 = -2*g - 254 - 34. Let j = 23 - g. Does 26 divide j?
False
Suppose 0 = 36*r - 2823 - 165. Does 15 divide r?
False
Suppose -5*s + 960 = c - 6*c, 0 = 5*s + 4*c - 915. Is 45 a factor of s?
False
Let o(j) = -j**2 - 10*j + 40. Let l be o(-25). Let b = -203 - l. Is 25 a factor of b?
False
Let o = 14 + -9. Suppose -110 = -o*j - 5*u, -j + 2*j - 28 = -3*u. Does 3 divide j?
False
Suppose -10*d + 1444 = -316. Is 16 a factor of d?
True
Suppose -30*i = -28*i - 42. Does 6 divide (-7)/i + 129/9?
False
Let z(q) = 76*q - 300. Is z(12) a multiple of 12?
True
Suppose -2*m + 24 = -16. Suppose f - m + 11 = 0. Does 2 divide f?
False
Suppose r - 3*k - 10 = 12, 4*r - 5*k - 81 = 0. Let u be (107 - 4) + 2/2. Suppose -5*a = r - u. Does 5 divide a?
False
Let g = 510 + 1676. Is 25 a factor of g?
False
Does 79 divide (1/((-3)/(-3318)))/(-2 - -4)?
True
Let k(a) = 2*a - 3. Let m be k(2). Suppose 8 + m = 3*o. Suppose 0*s - o*s + 24 = 0. Does 3 divide s?
False
Let w = 15 + -9. Suppose -659 = -w*b + 103. Does 12 divide b?
False
Let c = -15 + 16. Does 13 divide (-53 - c)/(4/(-2))?
False
Let l(k) = 3*k + 37. Let m(o) = -o - 12. Let n(p) = 6*l(p) + 17*m(p). Is 2 a factor of n(-14)?
True
Let t = 140 + -103. Suppose w = 5*u + t, u - 60 = -2*w + 4*u. Is w a multiple of 6?
False
Suppose -q - 4*i = -9, 2*i - 8 = -q + 7. Suppose 5*o = 2*b + 381, -3*o - 2*o + 5*b + 375 = 0. Let n = o + q. Does 14 divide n?
True
Does 15 divide (-4 - -209)/((-4)/(-12))?
True
Suppose 4*i - 2*u - 62 = 0, -2*i + 0*u = 2*u - 34. Let v = 50 - i. Does 17 divide v?
True
Let b(c) = 3*c**2 + 5*c - 8. Let m(g) = g**2. Let s(o) = b(o) - 2*m(o). Let f = 9 - 17. Is 7 a factor of s(f)?
False
Is (903/2)/(63/42) a multiple of 7?
True
Let z(w) = 6*w + 20*w - 11*w + 6*w - 27 - w**2. Is 10 a factor of z(19)?
False
Let d be (8/10)/((-4)/(-10)). Suppose -q = -3, -d*b = -2*q + 4*q - 30. Let n(h) = -h**3 + 12*h**2 + 3*h - 2. Is 12 a factor of n(b)?
False
Let u(h) = 18*h - 114. Is u(23) a multiple of 4?
True
Let u = -247 + 2374. Is u a multiple of 50?
False
Let s = 1172 - 422. Is 25 a factor of s?
True
Let j = 2 + 2. Suppose j*s - 34 = 2*f, -4*s - 5 = -4*f - 37. Suppose s*l - 58 = 7*l. Is l a multiple of 14?
False
Suppose -45*m - 512 = -11627. Is 114 a factor of m?
False
Suppose 4*y = -2*q + 470, 3*y - y = -5*q + 1215. Is q a multiple of 7?
True
Let r = -338 - -467. Does 3 divide r?
True
Let o = 9 + -6. Let r be 29 + (o - (-6)/(-3)). Suppose -z + 0*z = -r. Is z a multiple of 23?
False
Let q(r) = -3*r + 21. Let b be q(6). Suppose b*w + w - 620 = 0. Does 31 divide w?
True
Let p(a) = -a**3 + 3*a**2 + 3*a. Let c be p(3). Let z(s) = -14*s - 21. Let v be z(-12). Suppose v = c*m - 6*m. Is 14 a factor of m?
False
Let d = 15 + -14. Suppose 11 = 3*t - d. Does 3 divide 21/14 - (-26)/t?
False
Suppose -5*d - 18 = -i, 42 = 5*i - 5*d + 12. Suppose 2*w = 2*h + i*w - 2, -4 = w. Let j(n) = 2*n**3 - 3*n**2 + 4*n - 3. Is 18 a factor of j(h)?
True
Suppose -4*b - 11 = 5, -3*g + b - 8 = 0. Is 16 a factor of 4/(g/(-93)) + 4?
False
Suppose 4*k = -708 + 3364. Is k a multiple of 48?
False
Let x(o) = o**2 + 9*o. Let k be x(-8). Does 11 divide 58/(k/(-4)) + 0?
False
Suppose 4*k = 3*k + 3. Suppose k*n = n + 88. Is 22 a factor of n?
True
Let t(f) = f**3 - f**2 + 5*f + 3. Suppose 12 = -5*m + 9*m. Is 12 a factor of t(m)?
True
Let k(v) = v**2 - 2. Let c be k(-3). Let p be (((-242)/1)/2)/((-1)/1). Let a = p + c. Is 32 a factor of a?
True
Suppose 0 = o - 9 + 3. Let t be (-21)/14*(-32)/o. Does 4 divide 2*4/(t/25)?
False
Suppose -l = x - 171, 929 - 251 = 4*x - 2*l. Suppose -x = -3*q + 70. Suppose -q = -0*p - 5*p. Does 4 divide p?
True
Suppose 3*h + 778 = 1735. Is 6 a factor of h?
False
Let h(g) = -g**3 - 10*g**2 - 11*g - 7. Let x be h(-9). Suppose u - 8 = -u - 2*j, 0 = -4*u + j + x. Suppose -u*l + 157 = 4. Does 17 divide l?
True
Let d(k) = -k - 1. Let s(x) = -4*x**3 - x**2 + x - 1. Let q(a) = 6*d(