w(6). Is 13 a factor of t(v)?
True
Let d = -8 + 1. Let x = d - -28. Is x a multiple of 21?
True
Suppose -4*o + 0*t - 33 = -5*t, 0 = -o + t - 8. Does 4 divide 2 + 1 + 10 + o?
False
Suppose 5*c - 2*c + 4*s = 5, -9 = -4*c - 3*s. Let l(m) = c + 2 - 2*m + m**2 - 4 - m. Is 11 a factor of l(5)?
True
Suppose -2*i = 3*i - 20. Suppose 0*p + s - 22 = -2*p, i*p = -s + 46. Is 5 a factor of p?
False
Suppose -3*m = -6*m - 6. Let f be (-285)/(-9) + m/3. Suppose a - 2*q - 4 = 0, 0 = 4*a - q - 13 - f. Is 7 a factor of a?
False
Is ((-6)/(6 + 0))/(2/(-116)) a multiple of 27?
False
Let v(d) = 52*d**2. Let w be v(1). Suppose -2*s + w = 4. Is 12 a factor of s?
True
Let t be ((-4)/3)/(4/18). Let p = -9 - t. Is 7 a factor of p/(24/(-10))*12?
False
Let g(j) = j**3 - 5*j**2 + 5*j. Let r be g(4). Suppose 3*y = -y - f + 11, 5*f = r*y - 17. Is 7 a factor of (y - -1)*14/8?
True
Suppose 0 = -4*g + 2*r + 32, 0 = 3*r + 5 + 1. Let v(c) = 4*c + 9. Does 20 divide v(g)?
False
Suppose -2*m - 2*s = 0, 6 - 1 = m - 4*s. Suppose -2*v - m = -15. Is 4 a factor of v?
False
Suppose 2*h - 3*b - 74 = -29, -4*h = 2*b - 114. Let s = -17 + h. Is 10 a factor of s?
True
Let x(z) = z**2 + 3*z - 6. Let s be x(-5). Suppose s*n - 87 = -p - 0*p, n = 5*p - 330. Is 15 a factor of p?
False
Let m(b) = -59*b**2 - b. Let p be m(1). Let n = p + 124. Is n a multiple of 32?
True
Let a = 6 + -3. Suppose -4*c + 9 = 3*f, f - 11 = -3*c - c. Let k = c + a. Is k a multiple of 6?
True
Let h = 13 - 23. Is 4 a factor of (-46)/h - 2/(-5)?
False
Let u(b) = -4*b**2 - 2*b + 3. Let l be u(-3). Is 6/l - 182/(-9) a multiple of 11?
False
Let x(c) = -c**2 + 5*c + 7. Let y be x(5). Let j = y + -4. Is j a multiple of 3?
True
Suppose -j = -0*j - 5*f - 19, f = -5*j + 121. Is j a multiple of 4?
True
Suppose c - z = 105, c - 216 = -c + 4*z. Is 21 a factor of c?
False
Does 13 divide 8/3*(2 - -37)?
True
Suppose -6*m + m + 35 = 0. Let z = 0 - 0. Let t = m + z. Is t a multiple of 3?
False
Let t be (-12)/(-16) + 13/4. Suppose 5*l = -2*k + 50, 0*k + t*l + 29 = 3*k. Let a = -11 + k. Does 3 divide a?
False
Let u be 2/8 - (-5)/(-20). Suppose 4*t + 3*s - 35 = -u*t, -4*t + 59 = -5*s. Does 8 divide t?
False
Suppose 4*l = -c + 39, -105 = -3*c + 5*l - 5. Is c a multiple of 7?
True
Suppose 12 + 8 = 4*d. Is d a multiple of 4?
False
Let w(z) = 2*z + 5. Let r(x) = 4*x + 11. Let t(k) = 4*r(k) - 7*w(k). Is 7 a factor of t(8)?
False
Let p(v) = -v + 38. Suppose 0 = 4*j - 5*j. Let h be p(j). Suppose -138 + h = -5*y. Does 10 divide y?
True
Let c(o) = -2 - 1 + 6 + 1 + o**2. Let v(m) = m**2 - 6*m + 2. Let u be v(4). Does 11 divide c(u)?
False
Suppose 0 = -o - o. Suppose -3*b - r + 13 = 0, 2*b + o*b - r - 2 = 0. Suppose 32 = b*y - 13. Is 15 a factor of y?
True
Suppose b = 5*s - 368, 0 = -3*s - 3*b - 2*b + 232. Is s a multiple of 15?
False
Let g(d) = -d**2 - 21*d - 8. Let m be g(-16). Let z(x) = 5*x**2 + x + 1. Let f be z(-1). Suppose -5*l = 3*t - m - 15, -5*t = f. Is l a multiple of 18?
True
Let x = -1 + 1. Suppose x = -3*l - l + 84. Suppose -l + 5 = -a. Is 16 a factor of a?
True
Is 10 a factor of 157 + ((-20)/(-6) - (-7)/(-21))?
True
Let g(a) = -a**2 - 3*a. Let k(y) = y**2 - y. Let l(f) = -g(f) + 2*k(f). Is l(-3) a multiple of 13?
False
Let w be ((-3 - -3)/(-1))/(-2). Suppose -3*n - 2*n + 20 = w. Does 2 divide n?
True
Let n = -9 - -39. Does 10 divide n?
True
Suppose -4*k + 48 = -108. Suppose x + k = s, -3*x - 114 = -3*s + x. Is 21 a factor of s?
True
Let c be 14/7 - 4*1. Is (2 + (-195)/6)*c a multiple of 23?
False
Let w = 31 + -52. Let r = w - -30. Is r a multiple of 3?
True
Let t = 293 + -161. Suppose -m = -5*m + t. Let s = -12 + m. Is 14 a factor of s?
False
Suppose -2*z + 0*p + 4*p + 16 = 0, -2*z = -3*p - 17. Is 7 a factor of z?
False
Let n be (-1)/(-3) + 2/3. Let a be n + (-3)/(-3) - -2. Suppose -a*d - x = -52, -d + 3*d - 12 = -4*x. Is 7 a factor of d?
True
Let m = 4 + -2. Let n be 1*m/(-2) - -1. Suppose -3 + 59 = 5*c + 3*k, -4*k + 8 = n. Is c a multiple of 6?
False
Is 3*-28*15/(-12) a multiple of 19?
False
Suppose 0 = 104*s - 106*s + 182. Does 7 divide s?
True
Let z = 11 - 7. Suppose -z*o + 88 = -2*o. Is 13 a factor of o?
False
Let b = 1 + -1. Let m(v) = -5*v - 5*v**2 + 3 + b*v**3 - 2 + v**2 - v**3. Is m(-4) a multiple of 14?
False
Let p(x) = -11*x + 1. Let h be p(-1). Suppose -2*o = o - h. Suppose -o*q + 57 = -q. Is q a multiple of 19?
True
Let p = -4 + 7. Suppose -p*t + 27 = 3*v, 0*t + 2*t + 7 = 3*v. Let q(a) = a**2 - 2. Is q(v) a multiple of 13?
False
Let s(w) = -w**2 - 4*w + 5. Let h be s(-4). Suppose -3*p - 20 = -4*f, -f - 20 = -h*f - p. Let d(v) = v**3 - 3*v**2 + 2*v. Is d(f) a multiple of 28?
False
Let t = 5 - 6. Let o be (-22)/t - (0 + 1). Suppose -3*k - o = -4*k. Is k a multiple of 13?
False
Suppose -3*n - 29 = 43. Let v = -7 - n. Suppose -v = -y + s, -3*y - 23 = -7*y - 5*s. Does 12 divide y?
True
Suppose 0 = 13*n - 10*n - 54. Is n a multiple of 9?
True
Is 1512/(-16)*(-12)/9 a multiple of 21?
True
Let c(p) = -p**3 + 5*p**2 - 3. Let o be c(5). Let d = o - 0. Let t = d + 37. Is t a multiple of 17?
True
Suppose 5*u - 393 - 42 = 0. Is u a multiple of 29?
True
Let i be 215/3 - 1/(-3). Is 6 a factor of ((-2)/(-4))/(2/i)?
True
Let n(u) = -u**3 - u**2 - 1. Let a be n(-2). Suppose 4*r - 15 = v - 6, 2*v = -3*r + 15. Suppose 2 = a*g - 1, 0 = -m + r*g + 15. Is m a multiple of 9?
True
Let z(t) be the third derivative of 0 - 7/6*t**3 + 4*t**2 + 7/24*t**4 + 0*t. Does 19 divide z(6)?
False
Let t(i) = -4*i**2 + 2*i - 1. Let j be t(2). Let r be 3 + -7 + 4/(-2). Let w = r - j. Does 7 divide w?
True
Does 12 divide 10/6 - (-10)/30 - -142?
True
Let o(a) = -a + 9. Let d be o(8). Suppose s = d + 3. Does 3 divide s?
False
Let f be 1*(0/3 + -1). Suppose -4*t - 2*b - 10 = 0, -13 = 5*t + 2*b - 0. Is 5 a factor of t/f + 7 - 0?
True
Is 21 a factor of 126/3 - (4 - 1)?
False
Let c(v) = v**2 - 2*v - 3. Let o be c(5). Is (-3)/((-15)/o + 1) a multiple of 6?
True
Let g(o) = o**3 - 6*o**2 + 5*o - 3. Does 27 divide g(7)?
True
Let y = 59 + -29. Is 14 a factor of y?
False
Suppose 2*c - 100 = -18. Is 12 a factor of c?
False
Let v(o) = -o. Let d(q) = -5*q**2 - 6*q + 2. Let k(i) = -d(i) + 3*v(i). Let t(h) = 6*h**2 + 2*h - 2. Let b(l) = 5*k(l) - 4*t(l). Is b(-10) a multiple of 21?
False
Suppose 0 = -2*i - i + 18. Let n(k) = -30*k**2 - 9 + 1 - 8*k + k + 32*k**2. Is 14 a factor of n(i)?
False
Let k be (2/(-4))/((-5)/50). Suppose -116 = -k*u - 4*o, 4*o = u - 0*o - 4. Is u a multiple of 10?
True
Let w be 7 - (-3)/(-6)*0. Suppose 1 = -2*n + w, 3*r + 4*n = 18. Suppose r*q = 5 - 3, 3*c - 26 = -2*q. Is c a multiple of 4?
True
Suppose -4*d = d. Let w(p) = -p**2 + p + 7. Let n be w(d). Is -1 + n + -1 + -2 a multiple of 2?
False
Let l = -21 - -13. Let j(b) = 2*b**2 + 11*b - 4. Does 18 divide j(l)?
True
Let d(n) = n**2 + n - 5. Let k be d(-5). Suppose 0 = -5*i - k + 80. Is i a multiple of 12?
False
Let l be 1*((-5 - -1) + -48). Let m = l - -73. Does 21 divide m?
True
Let c(b) = -b**2 - 9*b + 2. Let d be c(-9). Suppose v + d*y + y - 52 = 0, 170 = 3*v - 5*y. Does 14 divide v?
False
Let i = 719 + -464. Is i a multiple of 51?
True
Let v(j) = -19*j**2 + 2*j - 3. Let h(p) = -9*p**2 + p - 2. Let x(y) = 5*h(y) - 3*v(y). Let f be 2/2*8/(-8). Does 6 divide x(f)?
True
Suppose 0*j = -2*j + 5*l + 17, 0 = -3*j + 2*l + 9. Let w(k) = k + 4*k + k**2 + j - 12*k**3 - 3*k. Does 8 divide w(-1)?
False
Suppose -3*a + 65 + 55 = 0. Does 8 divide a?
True
Let q(z) = 4*z - 6. Let r(n) = -n**2 - 4*n + 5. Let a be r(-4). Does 7 divide q(a)?
True
Let x be ((-8)/10)/((-2)/2090). Let z be 2/(-3) - x/(-12). Suppose -z = -3*p - 0*p. Is p a multiple of 10?
False
Is 7 a factor of ((-12)/10)/(10/(-175))?
True
Let w(r) = -4*r**2 + r**3 - 4 + 0 - 11*r + 12*r**2. Let o = 1 + -10. Is 5 a factor of w(o)?
False
Is 6/(-10) - (2384/(-40) + 1) a multiple of 10?
False
Let z be 4/(-2) + 12 + 1. Suppose 4*m - 83 + z = 0. Is m a multiple of 9?
True
Let p(j) = 2*j**2 + 6*j - 15. Is 18 a factor of p(-10)?
False
Let l(h) = h + 34. Is l(-18) a multiple of 4?
True
Let y(s) = s**3 + s. Suppose 5*o - 5*t - 40 = 0, 0*o = -5*o + 3*t + 30. Does 6 divide y(o)?
True
Suppose -q + 0*k + 4*k + 3 = 0, -k = -4*q + 57. Suppose h - 5*i - 6 = 25, q = -3*i. Is h a multiple of 3?
True
Let m(f) = -2*f**3 - 3*f**2 + 7. Let r(c) = c**3 + 3*c**2 - 6. Let d(v) = -2*m(v) -