 + 31. Is p a multiple of 7?
True
Let m be 1*(-1 + 2)*1. Let c be -2*1 + 1 + m. Suppose c = 4*d - 7 - 9. Is d a multiple of 4?
True
Let l = -109 - -201. Does 25 divide l?
False
Let s(v) = -v**2 - 12*v + 22. Is s(-10) a multiple of 41?
False
Let z(v) = 9*v**3 + 5*v**2 + 8*v - 6. Let j(h) = 26*h**3 + 14*h**2 + 23*h - 17. Let l(y) = 6*j(y) - 17*z(y). Is l(2) a multiple of 8?
True
Let z = 27 + 76. Is 21 a factor of z?
False
Suppose 0 = 3*x - 10 - 2. Let y be 34/4 + x/(-8). Let k = y + 10. Does 7 divide k?
False
Suppose a = 1 - 2. Let b be 2/(a/(33/(-6))). Suppose -3*g - b = -80. Does 12 divide g?
False
Let s = -15 - -18. Does 3 divide s?
True
Suppose 2*u + 68 = 2*r, -2*r - 2*u = -58 + 6. Does 6 divide r?
True
Let k = -5 + 12. Suppose 3*c - 29 = k. Is 6 a factor of c?
True
Let l(k) = 2*k**3 - 4*k**2 + 2*k. Let h be l(2). Suppose -16 = -h*n + 16. Is 6 a factor of n?
False
Suppose -5*i - 150 = -5*y, -2*i - i - 116 = -4*y. Does 20 divide y?
False
Let f = 60 + -37. Let o = 33 - f. Is 7 a factor of o?
False
Suppose -2*c - c - 18 = 0. Is 5 a factor of (10/(-4))/(1/c)?
True
Does 21 divide (-14)/4*(-35 + 23)?
True
Let f(z) = z**3 - 4*z**2 - 6*z + 7. Let g be f(5). Suppose -64 = g*b - 10. Let n = b - -70. Is 13 a factor of n?
False
Suppose -2*y = -2*l + l + 2, -2 = 2*y - 4*l. Let s(h) = 23*h**3 - h**2. Let j be s(y). Is -1*(j + 1*-2) a multiple of 13?
True
Let c(v) = 2*v**2 - 2*v - 1. Suppose 2*j + 5*s = -26, -11 = -j + 3*s - 2. Is 7 a factor of c(j)?
False
Suppose 0 = -5*v + 5*f + 985, -4*v - f = -v - 583. Is 14 a factor of v?
False
Suppose 5*r = -5*h - 265 + 1025, -5*r + 760 = 2*h. Suppose 0 = 4*i - 0*i - r. Is i a multiple of 18?
False
Let v(j) = -2*j**2 - 3*j + 1. Let u be v(-3). Does 6 divide (u/16)/((-1)/24)?
True
Suppose 0 = s + 12 - 3. Let p = 13 + s. Is p a multiple of 2?
True
Let j = -13 - -17. Suppose 0 = -w + 5*q + 14 + 48, -j*w + 223 = 5*q. Is w a multiple of 19?
True
Suppose c + 3 = 5. Suppose c*l = l + 8. Is l a multiple of 4?
True
Let r(v) = 7*v**3 + v**2 + 3. Is r(3) a multiple of 29?
False
Suppose 0*n - 2*n = -4*x - 50, 5*x = 4*n - 112. Does 24 divide n?
False
Let b be 0/(1 - -1) + 11. Let n = -28 + b. Let f = n + 30. Is 13 a factor of f?
True
Let s = -3 + 2. Let c(o) = 24*o**2 - 1. Does 8 divide c(s)?
False
Let p(g) = 3*g + 12. Let i be p(-6). Is 27 a factor of -18*(1 + 33/i)?
True
Let d be (-2*4)/(4 + -5). Suppose 2*f = -2*f - d, 2*o + 5*f = 8. Does 9 divide o?
True
Does 7 divide ((-36)/9)/((-3)/42)?
True
Let i(w) = w**2 - w. Let q be 2 - (-2)/2 - 2. Suppose -z - q = -0. Is i(z) even?
True
Let j be 1 - (42 + (1 - 2)). Is 7 a factor of j*3/12*-2?
False
Let s(o) = 3*o**2. Let t be s(-1). Suppose k - 84 = -t*k. Is k a multiple of 13?
False
Let x(o) = -o**3 - 3*o**2 - o - 3. Let p be -6*(-2 - 10/(-4)). Let h be x(p). Suppose u - 21 + 1 = h. Is u a multiple of 20?
True
Let l be 0*(3 - (-21)/(-6)). Suppose 5*b - 15 = 0, 3*r = -l*b - 4*b + 120. Is 18 a factor of r?
True
Let m be (-10)/(-3) - 1/3. Suppose -d = v + 4*d - 73, -181 = -m*v + 4*d. Is v a multiple of 17?
False
Suppose -6*y + 3*y + 12 = 0. Does 3 divide y?
False
Suppose -3*k = -0*j - j + 26, 4*j + k - 52 = 0. Is 7 a factor of j?
True
Let x = 8 - 4. Suppose -d - 6 = 5*w, x*d - 39 = 4*w - 3*w. Suppose -100 = -d*g + 4*g. Does 20 divide g?
True
Suppose 3*p + f - 19 = 0, -4*f + 5 - 1 = 0. Suppose 87 = 3*a - 2*m + p*m, -5*a + 180 = -5*m. Does 22 divide a?
False
Let i(h) = 3*h**2 - h + 2*h**2 - 3*h**2. Let n(f) = -f + 6. Let t be n(2). Does 14 divide i(t)?
True
Suppose -v - 2 = 4*o, 4*v - 30 = -3*o + 6*o. Suppose -3*r - 2*t = -t - 7, -3*t - 7 = 2*r. Let h = v - r. Does 2 divide h?
True
Suppose 49 = 5*r + 14. Is r a multiple of 2?
False
Let u(z) = -z**3 + z**2 + 3*z - 3. Let j be (2 + 0)*(-6)/4. Is 12 a factor of u(j)?
True
Let l(h) = h**3 - 3*h**2 + 3*h - 1. Let p be l(2). Let y be (14/4)/(3/6). Is (p/2)/(y/238) a multiple of 13?
False
Suppose -3*s = -3*w - 4*s + 129, 174 = 4*w + 2*s. Suppose 5*x + w = -0*g - 4*g, -2*x - 20 = 2*g. Is 4 a factor of 4/g + (-42)/(-4)?
False
Let b(h) be the second derivative of h**8/6720 - h**7/2520 + 11*h**5/120 + h**4/4 + 3*h. Let l(o) be the third derivative of b(o). Does 11 divide l(0)?
True
Suppose -8 = -0*m - 4*m. Let d(j) = 3*j - 3. Does 2 divide d(m)?
False
Let j(k) be the third derivative of -k**5/60 - k**4/24 + 5*k**3/6 - 3*k**2. Does 2 divide j(0)?
False
Suppose -b + 4*p - 3*p = -164, -b - p + 156 = 0. Does 24 divide b?
False
Let p(c) be the third derivative of -4*c**4/3 - c**3/6 + 3*c**2. Let u(x) = -31*x - 1. Let v(n) = -3*p(n) + 2*u(n). Is v(1) a multiple of 15?
False
Suppose v + 3*v - 632 = 0. Does 21 divide v?
False
Let c(y) = -y**3 + 8*y**2 + 4*y - 2. Is c(8) a multiple of 10?
True
Suppose -5*f = -699 + 124. Suppose -f = -0*q - 5*q. Does 6 divide q?
False
Suppose 2*v = z + 7, -3*v + 4*z - z = -9. Is v*-6*2/(-4) a multiple of 4?
True
Suppose 5*m - 4 = 3*m. Suppose 0 = m*z - 8. Does 2 divide z?
True
Let a be (16/(-4) + -1)*-1. Suppose -3*u + 6 = t - 2*u, -a*u + 20 = 4*t. Does 3 divide t?
False
Let v(k) = k**2 - 4*k - 4. Suppose -r - 8 = -5*r, 3*l = -5*r + 31. Is v(l) a multiple of 17?
True
Suppose 0 = 2*c + 4*s - 142, 0 = 3*s - 9 + 3. Does 29 divide c?
False
Let g = 112 - 46. Does 22 divide g?
True
Suppose -4*z + y = 4*y - 231, -5*y + 25 = 0. Is z a multiple of 5?
False
Suppose 0 = 2*w + h - 13, 5*w - 33 = -3*h - 3. Let i = 1 - -3. Suppose -w*c = -4*c - 4*o - 79, i*c - 56 = -4*o. Is c a multiple of 15?
True
Suppose 8*r - 10*r = 0. Suppose 4*n + r*b - 234 = -2*b, 4*b = -n + 62. Does 29 divide n?
True
Let c be 2/7 - 57/(-21). Suppose -18 = c*b - 6*b. Is b a multiple of 4?
False
Let v be 15*(4 + 22/(-6)). Suppose 2*f = 3*l - 15, f - 8 - 7 = -3*l. Suppose l*z - 175 = -v*j, -70 = -3*j + z + 23. Does 13 divide j?
False
Let x(w) = -5*w**3 + w**2 + w. Let d be x(-1). Does 14 divide 148/d + 4/10?
False
Let p be (-2 - 1*-27) + 3. Let b = p - 20. Is 4 a factor of b?
True
Let i = 5 - 5. Suppose i*s = -5*s + o + 71, 3*s = -2*o + 40. Is 7 a factor of s?
True
Suppose 2*n = 88 - 22. Does 7 divide n?
False
Let z be (2/(-4))/((-1)/12). Let j be (-5)/(z/3 - 1). Is (4/j)/(2/(-25)) a multiple of 6?
False
Suppose -2*u - 6 = 4*g, -g + 8*u = 3*u - 15. Suppose 0 = -g*o - 4*o. Let m(i) = -i + 20. Is m(o) a multiple of 10?
True
Let r(h) = 4*h**2 - 2*h + 2. Let f be r(4). Let d = -34 + f. Is 12 a factor of d?
True
Let o be (-38)/6 - (-2)/6. Let w(l) be the first derivative of 2*l**3/3 + 4*l**2 - 2*l - 2. Is w(o) a multiple of 11?
True
Let v(f) = -f**3 + 7*f**2 + 8*f + 10. Let h = -3 - -10. Is 19 a factor of v(h)?
False
Suppose -299 - 41 = -4*k. Let l = k - 50. Is l a multiple of 7?
True
Let o(b) = b**3 - 4*b**2 - 7*b + 14. Is o(6) a multiple of 12?
False
Suppose 0 = -5*k + k + 3*p + 316, 0 = -4*k + 4*p + 312. Suppose 0 = 3*j - k - 98. Is j a multiple of 20?
True
Suppose -3*j + 3*x = 0, -2*j - j - 5*x = -32. Let i(v) = -11*v + 3. Let a(w) = 17*w - 4. Let u(q) = -5*a(q) - 8*i(q). Does 5 divide u(j)?
False
Let d = 35 - 7. Let o = d + -10. Is o a multiple of 6?
True
Let c(t) = 123*t + 5. Let w be c(5). Suppose -2*x = -3*k + w, -815 = -4*k + x + 4*x. Suppose -2*z - i - 28 + 112 = 0, 5*i - k = -5*z. Is z a multiple of 12?
False
Suppose -2*d - 2*d + 2*p + 112 = 0, -3*d + 2*p + 82 = 0. Is 10 a factor of d?
True
Is 13 a factor of 1694/(-35)*(10/(-4))/1?
False
Let c(h) = -h**3 - 4*h**2 - 3*h. Let s be c(-3). Suppose 2*u + 0*u = s. Suppose 3*d - 2*y - y - 30 = u, -d = 4*y - 30. Does 5 divide d?
False
Let t(a) = 3*a. Suppose 2*x - 6 = -x. Is t(x) a multiple of 2?
True
Let q be (-2)/(-6) + (-620)/(-12). Let y = q + -20. Is y a multiple of 11?
False
Let g(b) = -10*b**2 + b + 2. Let s be g(-2). Let p = -129 - s. Does 14 divide p/(-3) + (-6)/9?
False
Let a(q) = -2*q**3 + q**2 + 4*q + 3. Does 7 divide a(-2)?
False
Let t(a) = -a**3 + 9*a**2 - 7*a - 11. Let b be t(8). Suppose 3*w + 44 = -97. Is 2/b + w/(-3) a multiple of 7?
False
Let j(q) = -q**2 + 14*q - 5. Let x be j(13). Let g(l) be the first derivative of l**3/3 - 3*l**2/2 - 3*l + 2. Is 17 a factor of g(x)?
False
Suppose 2*v - 4 - 6 = 0. Let q(x) = 2*x - 6. Let m be q(v). Suppose -f = y - 2*f + 2, m*y - 28 = -5*f. Does 2 divide y?
True
Let j be (5/(-10))/((-2)/96). Suppose -4*k + j = -2*k. Is 12 a factor of k?
True
Let r = 9 - -8. Is 1