et w = 78 + r. Does 9 divide w?
False
Let m be (-2*(-6)/10)/((-1)/(-10)). Suppose 256 = m*i - 10*i. Does 15 divide i?
False
Let n be 4/18 + (-16)/(-9). Let h(q) = 23*q**2 - 7*q + 2. Is h(n) a multiple of 10?
True
Suppose 2*h + 233 = -4*o + 8969, -3*h - o = -13119. Is 54 a factor of h?
True
Let d(u) = 4*u**2 + 25*u - 169. Is d(-23) a multiple of 14?
True
Let m(p) = p**2. Let g be m(0). Suppose -4*k + 71 + 53 = 0. Suppose 2*t = v + k, -5*v - 2 + 7 = g. Is t a multiple of 12?
False
Suppose -o = -4 + 5. Let g = 37 + o. Does 28 divide g?
False
Let q(j) = -j**2 + 8*j - 6. Let n(d) = d**3 - 3*d**2 + 2*d. Let b be n(3). Let p be q(b). Suppose 4*x + 108 = p*x. Does 14 divide x?
False
Let q(h) = 97*h + 1. Let n be q(3). Let z = -141 + n. Does 26 divide z?
False
Let q(b) = -254*b - 14. Is 8 a factor of q(-1)?
True
Let m(n) = n + 1. Let s be m(-3). Suppose 4*l = i + 2 - 3, 3*i - 17 = -2*l. Does 13 divide 102/(-9)*(s - l)?
False
Suppose 0*a - 20 = -5*a. Let h(u) = -u**3 - 5*u + 5. Let j be h(a). Let p = 139 + j. Is 12 a factor of p?
True
Let b be 1 + (15/3 - 1). Suppose -3*a = 6*f - 3*f - 12, 2*f + 27 = b*a. Suppose a*i = 182 + 13. Is 13 a factor of i?
True
Suppose -w + 0*w = 0. Suppose 3*s - 60 - 12 = -x, 4*x + 12 = w. Suppose s = 5*f - 110. Does 8 divide f?
False
Suppose -4*w + r - 2 - 5 = 0, -5*w - 5 = -2*r. Let l = w + 21. Does 4 divide l?
False
Let u(q) = -q**3 + 14*q + 2. Let z be u(-4). Suppose -3*d - z*d = -325. Is 25 a factor of d?
True
Let b be (-2)/7 + (-58)/(-7). Suppose 4 = -4*j - 12, -j - 4 = 3*g. Suppose 5*f - 28 + b = g. Does 3 divide f?
False
Let r = 0 + 2. Suppose 450 = r*v + 3*v. Does 18 divide v?
True
Suppose 29*i + 644 = 4*l + 24*i, -4*i + 452 = 3*l. Is 26 a factor of l?
True
Let c(u) = -u + 7. Let h be c(7). Suppose -i + 2*b = -b - 12, -3*i - 5*b - 20 = h. Suppose i = 3*y - y - 64. Is 16 a factor of y?
True
Suppose 5*a = -3*d + 1252, -3*d + 2*a - 5*a = -1254. Does 14 divide d?
False
Suppose -8*h = -108 - 4. Let g(j) = j**2 - 10*j + 16. Is 9 a factor of g(h)?
True
Suppose -3*u = -4*m - 6*u + 78, 113 = 5*m - 4*u. Suppose 4*f = m + 11. Is 4 a factor of f?
True
Let a(q) = -29*q + 44. Does 52 divide a(-7)?
False
Suppose 3*m = 3*x - 15, -5*m = -9 + 24. Suppose 0 = -2*u + 4*l + 74, 4 = x*u + l - 55. Is u a multiple of 7?
False
Let d be 10*((-9)/(-4))/(18/(-60)). Let j = 86 - d. Does 39 divide j?
False
Suppose 97 = 4*n - 683. Is n a multiple of 13?
True
Let v = 117 - -12. Is v a multiple of 13?
False
Let o be 0 + 0 + (-16)/(-2). Let i = -93 - -99. Let w = o + i. Does 14 divide w?
True
Is ((-7524)/42)/((-1)/7) a multiple of 56?
False
Let a be (-1)/((-14)/6 - -2). Let r = 7 - a. Suppose 4*j - 72 = 2*i, -2*j + 5*j - r*i = 54. Is 9 a factor of j?
True
Suppose 0 = -2*n - t + 41, 2*n - 61 = 2*t + t. Let z = 13 + n. Suppose 2*l = -5*o - 12 + z, -2*l - 3*o = -24. Does 4 divide l?
True
Let z = 37 + -38. Is 6 a factor of 44 - 24 - (1 - z)?
True
Suppose v = 6*v + 5*c - 10, 0 = -2*v - 3*c + 3. Is (-6)/(-2) - v/(-1) even?
True
Let m be ((-38)/4)/(2/4). Let v = 23 + m. Is v a multiple of 2?
True
Let n = 14 + -11. Suppose n*v + 2*v - 11 = -q, -4*q - 6 = -5*v. Suppose -c + 4 - q = 0. Is 2 a factor of c?
False
Suppose 2 = -2*h - z, -h - 9 = 2*h + 3*z. Suppose -2*d - a + 4*a = -7, -a = -h. Let l(w) = 2*w**2 - 6*w - 4. Is l(d) a multiple of 10?
False
Let t = 743 + -151. Is 8 a factor of t?
True
Let j = 226 + -157. Suppose -v = -j + 5. Is v a multiple of 16?
True
Let y(u) be the first derivative of 2*u**3/3 + 5*u**2 + 6*u + 33. Suppose 0*c - 5*c - 45 = 0. Does 17 divide y(c)?
False
Suppose 0*q - 2*q = 0. Let k be (-4)/(-4) - (1 - q). Suppose 5*y + 4*w = w + 165, k = -3*w. Is 13 a factor of y?
False
Let z(b) = 2*b**2 + 2*b + 1. Let h be 4/((6 - 2)/2). Is z(h) a multiple of 9?
False
Suppose 501 = f + 3*s, 34*f + 1483 = 37*f - s. Is f a multiple of 33?
True
Let b(a) be the first derivative of -a**4/4 - a**2 + 3*a + 9. Let k be b(3). Let f = -11 - k. Is 5 a factor of f?
False
Let p(u) = -2*u + 57. Is p(19) a multiple of 19?
True
Let r = -6 + 6. Let m be r/5 + (-198)/(-2). Does 18 divide (m/(-44))/((-1)/24)?
True
Let o(m) = -m**3 + 6*m**2 + 9*m - 12. Let y be o(7). Let u(c) = 18*c**2 - 3*c. Is u(y) a multiple of 33?
True
Let l(m) = 14*m**2 - 25*m - 14. Does 10 divide l(-4)?
True
Suppose 0 = -x - 16 - 6. Let i = x + 130. Does 15 divide i?
False
Let f = -105 + 9. Is (3/(-6))/(2/f) a multiple of 4?
True
Let z(l) = 3*l**2 + 4*l. Let m(x) = -16*x**2 - 20*x - 1. Let g(c) = 6*m(c) + 33*z(c). Is 10 a factor of g(-6)?
True
Suppose -776 = 5*q - 9*q. Suppose -4*m + 3*m = -q. Suppose 4*s - 191 = -2*k - k, 4*s = -2*k + m. Does 10 divide s?
True
Suppose -4*o + 5*c = -135, -4*c + 138 = 4*o + o. Let f be 842/(-15) - (-4)/o. Is (-5)/(20/f) - -2 a multiple of 9?
False
Suppose 33*i - 30*i = 69. Is 3 a factor of i?
False
Let d = 37 + 5. Let v = d - -15. Is 11 a factor of v?
False
Suppose 6*g - 4*g = 0. Suppose g = 11*y - 2002 - 154. Is y a multiple of 14?
True
Let i(d) = -5*d**3 + 2*d**2 - 3*d + 6. Let a(n) = n - 2. Let l be a(-1). Does 21 divide i(l)?
True
Suppose 972 = -14*c + 20*c. Is c even?
True
Let g(p) = -p**2 - 13*p + 12. Let f be g(-14). Let x(r) = 5*r**3 + 2*r**2 + 4*r + 2. Let l be x(f). Let j = 60 + l. Is j a multiple of 6?
False
Suppose -20*k + k = -50616. Is k a multiple of 36?
True
Let o = -1935 - -3676. Is o a multiple of 30?
False
Let u = -22 + 24. Suppose -u*j + 0*t + 3*t + 61 = 0, -5 = -5*t. Does 8 divide j?
True
Let s(b) = b**3 - b**2. Let o(x) = 19*x**3 - 2*x - 1. Let r(j) = -o(j) - 2*s(j). Let i be (-1)/(-3) - (-12)/(-9). Is 8 a factor of r(i)?
False
Is 50 a factor of 4 - (-1677)/((-2)/(-2))?
False
Let l = 6902 + -3941. Is 53 a factor of l?
False
Let o(m) be the second derivative of m**5/20 + m**4/3 - m**3/6 - 2*m. Let l be o(-3). Suppose 0*z = 3*z - l. Does 2 divide z?
True
Suppose -b + 10*b = 0. Let y = b - -7. Is 7 a factor of y?
True
Let r(a) = -a**2 - 2*a + 8. Let k be r(-4). Suppose -d + 7 = -k*d. Is d a multiple of 7?
True
Let b(a) = -6*a. Let r be b(2). Let z(j) = -j - 9. Let k be z(r). Suppose -3*f = -v + 69, 2*v - 399 = -k*v - 3*f. Is v a multiple of 26?
True
Suppose -2*d - 27*d + 14848 = 0. Is d a multiple of 10?
False
Suppose 9*i + 15 = 4*i. Let w = -1 - i. Suppose -2*z = w*z - 204. Is z a multiple of 20?
False
Let y(l) = -l**3 - 12*l**2 - 9*l + 12. Let b be y(-11). Let v = b - -12. Is v*1*(-21)/(-6) a multiple of 6?
False
Suppose 0 = 4*s - 97 + 49. Is -1 + (-6)/(-10)*(s + 133) a multiple of 20?
False
Let b = 44 - -21. Suppose -b = 7*v - 12*v. Suppose 2*h = v - 3. Is h even?
False
Let h = -502 + 839. Let f = h + -233. Is f a multiple of 23?
False
Suppose 2*t = -4 - 30. Let v = 27 - t. Is 19 a factor of v?
False
Let j be (26/(-8))/((-2)/8). Let f be -3*1/3 - j. Is (480/(-56))/(2/f) a multiple of 10?
True
Let x(l) = 152*l**3 - l**2 - 10*l + 18. Is x(2) a multiple of 10?
True
Let t = 19 - 23. Let x be (40/(-30))/(t/6). Is 15 a factor of (36/(-30))/(x/(-110))?
False
Let v(h) = h**2 + 4*h - 5. Let p be v(-3). Let l = p + 468. Is 12 a factor of ((-2)/5)/((-4)/l)?
False
Let o(a) = -5 + a**2 + 0*a**2 + 0 + 2 + 8*a. Does 17 divide o(2)?
True
Suppose 3*g - 4*n + 3 = 2, 5*n - 45 = -5*g. Suppose 0 = 3*m - 12, 4*r - m - g = 3*r. Suppose -r*a = -5*a - 212. Is a a multiple of 20?
False
Let r(s) = 7*s**3 - 2*s**2 - s. Let z be r(-1). Let v = 11 + z. Suppose -5*q - 20 = 0, 0*q + 3*q = v*m - 201. Is 12 a factor of m?
False
Let n(u) = 121*u**2 - 33*u + 70. Is n(2) a multiple of 8?
True
Suppose x = 2*b + 4*x + 33, 5*x - 11 = 4*b. Let h be b*(-2 + 10/6). Is 16 a factor of 0 - (h + -22 + 3)?
True
Suppose 5*o = 2*n + 3*o + 54, 2*o = -4*n - 84. Let w = n + 143. Is 44 a factor of w?
False
Let w(c) = c**2 + 5*c - 2. Let z be w(-4). Let o = z - -22. Let q = o + 0. Does 8 divide q?
True
Let q(x) = 5*x**2 - 2*x. Let t be q(1). Suppose -t*g + n + 590 - 121 = 0, 465 = 3*g - 3*n. Is 25 a factor of g?
False
Let w(y) = 2*y**2 + 12*y - 6. Is w(-13) a multiple of 4?
True
Let p = -81 - -113. Suppose -9*y + p = -103. Is y a multiple of 15?
True
Let v(d) = d**3 + 18*d**2 - 9*d + 62. Is v(-18) a multiple of 16?
True
Let z = 20 - 21. Let p(d) = d**3 + d. Let o(a) = 2*a**3 - 5*a**2 - 3*a - 1. Let c(i) = z*p(i) + o(i). Is c(6) a multiple of 11?
True
Let m(h) = 4*h**2 - 2*h - 2. Let v be m(-