 -2*r - h. Is 10 a factor of r?
True
Let p(n) = n**3 + 6*n**2 - 5. Let t be p(4). Let f = -83 + t. Is f a multiple of 24?
True
Let w(x) = 2*x + 2. Is w(7) a multiple of 16?
True
Suppose -2*f - 90 = -5*f. Suppose -4*t + 2 = -f. Suppose -2*k + t = -0*k. Is k a multiple of 4?
True
Let w be 4/(16/(-10))*2. Let h = 3 - w. Does 5 divide h?
False
Does 5 divide 3/3 + (-204)/(-6)?
True
Suppose 0 = -4*o - 0 + 16. Suppose -o*j + 29 = -7. Is j a multiple of 4?
False
Suppose 5*f = -0*g - 3*g + 25, -3*g = -5*f + 25. Suppose g*u - 2*u = 6. Does 17 divide (-34)/u*(-6)/(-2)?
True
Does 12 divide (-1)/4 + 1 + 567/12?
True
Let h = 11 + -15. Let r be (-2)/4 - (-214)/h. Let x = r + 86. Does 14 divide x?
False
Let i(a) = a + 6. Is i(8) a multiple of 14?
True
Suppose -2*m + 3 - 41 = 0. Let b = 34 + m. Does 15 divide b?
True
Suppose -4*f = a - 9*f - 3, 3 = a - 3*f. Suppose 37 = a*y - y + 5*p, 0 = p + 1. Is y a multiple of 13?
False
Suppose 5*j = -2*d + 242, j - 4*d - 62 = -d. Is j a multiple of 10?
True
Let s(i) = 3 + 3*i + 0 - 5*i. Suppose -20 = 6*m - 2*m. Does 13 divide s(m)?
True
Let b(k) = -k**2 + 12*k + 19. Let a be b(13). Is 3/(-9) - (-212)/a a multiple of 6?
False
Suppose 2*s - 3*n + 8*n = -4, 0 = 3*n. Let p be -1 + 1/s*-10. Suppose 1 = -t + 4, 44 = 2*z - p*t. Is 12 a factor of z?
False
Let o(s) be the first derivative of s**4 + s**2/2 + 1. Let w(g) be the second derivative of o(g). Is w(1) a multiple of 11?
False
Suppose -4 + 7 = -3*k. Let q(j) = 32*j**2 - j - 1. Is 15 a factor of q(k)?
False
Let m(b) = b. Let u be m(1). Let d(w) = 8*w**2 + 1. Is d(u) a multiple of 9?
True
Is (30*(-4 - -5))/(-1 - -3) a multiple of 2?
False
Does 6 divide (0 + -2)*(-9 - 0)?
True
Let v(r) = 2*r**2 + r + 3. Suppose 2*m + 12 = -m. Does 18 divide v(m)?
False
Let x(t) = -2*t - 15. Let s be x(-10). Suppose 0 = s*v - 2*v - 39. Suppose 0 = d - 0*d - v. Is d a multiple of 13?
True
Let m(s) = 69*s**2 + 2*s + 1. Does 24 divide m(1)?
True
Suppose -72 = 2*m - 6*m. Is m a multiple of 6?
True
Suppose s - 2 = -0. Suppose 16 = 4*y + s*t - 8, -y - 12 = -4*t. Is y a multiple of 4?
True
Let s(t) be the second derivative of t**5/20 + t**3/6 + 21*t**2 + 6*t. Is s(0) a multiple of 21?
True
Let m(f) = -10 - 3*f + 6 - 7. Let l be m(-8). Suppose w - 9 = l. Does 11 divide w?
True
Suppose -s = 3*s - 4, -3*s + 195 = 4*z. Is z a multiple of 7?
False
Suppose i = 3*u + 27, -59 = -i - 5*u - 16. Suppose -i = -k - 11. Is 7 a factor of k?
False
Is 19 a factor of 48/(-80) + 183/5?
False
Let u(c) = -144*c**3 + c**2 - 2*c - 3. Does 8 divide u(-1)?
True
Let q(f) = f**3 + 4*f**2 - 5*f - 2. Let c be q(-5). Let b(n) = -5 - 14*n - 3*n + 5*n. Does 16 divide b(c)?
False
Suppose 18*o - 19*o = -4*b + 212, -5*o + 106 = 2*b. Is b a multiple of 2?
False
Suppose 0 = -2*n + 1 + 5. Is 3 a factor of n?
True
Is 3/5 - (-612)/30 a multiple of 4?
False
Let k = -8 - -11. Let d(m) = m**3 - 3*m**2 - m + 3. Let s be d(k). Is 20 a factor of 34*1 + s/5?
False
Let z = 8 - 5. Suppose -f + z + 1 = 0. Is 2 a factor of f?
True
Suppose -36 = -s - 3*k, 0*k - 5*k = 0. Suppose 2*p - s = -14. Does 3 divide p?
False
Let u = -15 - -50. Is 13 a factor of u?
False
Let k be 2 - ((-40 - 0) + -1). Suppose 7 + 6 = u - 4*h, -19 = -u + h. Let y = k - u. Is y a multiple of 7?
False
Suppose 0 = -j + 3*o - 11, o + 0*o = -5*j + 9. Does 12 divide 25 - -2*j/(-2)?
True
Suppose -m + 6 = -31. Suppose 0 = -5*f + c + 185, -4*c = f - 0*c - m. Does 15 divide f?
False
Let u(r) = -r**3 - 13*r**2 - 4*r + 21. Is u(-13) a multiple of 11?
False
Suppose 0 = -5*d - 3*n + 63, -n - 10 - 13 = -2*d. Suppose 3*b + 3 = d, -b - 9 = -4*l. Suppose -3*j - 106 = -4*y - 35, 5*j + 67 = l*y. Does 14 divide y?
True
Let f(r) = 2*r - 14. Let i be f(10). Let l = 36 + i. Does 21 divide l?
True
Let v(w) = -w + 3. Let y be v(-2). Suppose y*s - 64 = 3*s. Is 7 a factor of s?
False
Suppose 3*g = -2*g + 5*s + 15, 4*g = -3*s + 12. Let o(l) = l + l**2 + l**g + 6 - 2 + 7*l**2. Is o(-4) a multiple of 18?
False
Suppose -3*r + 16 = -5. Let w be 2 - (0 + (-12)/(-6 - -3)). Let a = r + w. Is 5 a factor of a?
True
Let z = 14 + -11. Let a(o) = -2*o**2 - 3 + 0*o**2 + o**2 + o**3 - 3*o. Is 3 a factor of a(z)?
True
Let j be 0*3/18*3. Suppose -4*u + 12 = j, -3*u + 1 = -2*a + 2. Suppose 3*b = 2*s - 3, -8*s + 3*s - a*b + 20 = 0. Is 3 a factor of s?
True
Is 14 a factor of 1 - (4 - 0) - (-76 + 1)?
False
Let o(w) = -w**3 + 8*w**2 - 9*w + 7. Let u be o(7). Let q = -4 + u. Does 7 divide (-1 - q) + (1 - 0)?
False
Suppose 175 = 3*f - 2*f + 4*t, -t = 0. Is 36 a factor of f?
False
Let g(c) = 2*c**2 - 4. Let o be (-6)/((-5)/2 + 1). Suppose 0 = 2*d + 4 + o. Does 13 divide g(d)?
False
Is 18 a factor of 1688/88 - 4/22?
False
Suppose -26 + 6 = -4*s. Let v(w) = w + 1. Let d be v(2). Suppose s*i = -4*r + 117, -r - d*r = 3*i - 107. Is 19 a factor of r?
False
Let r = 6 - -6. Suppose 2*x + r = 4*x. Is 6 a factor of x?
True
Is (-23 - -22)/((-1)/1064*2) a multiple of 14?
True
Let n = -6 + 14. Is 4 a factor of n?
True
Let u = 1 - -3. Suppose 3*j - 5*v + 283 = 0, -u*j - 4*v + 7*v = 359. Let w = -53 - j. Does 11 divide w?
True
Let l = 5 - 1. Suppose 120 = 3*b - 2*c + 14, -4*b + 108 = l*c. Is 9 a factor of b?
False
Suppose -32 = 4*v + 5*j, -4*v = -2*j - 0*j + 32. Let o = v + 40. Is o a multiple of 25?
False
Let r(p) = p**2 - 6*p - 10. Let d(v) = 3*v**2 - 2*v. Let l be (5/(-15))/(2/(-12)). Let g be d(l). Does 6 divide r(g)?
True
Let y = -47 + 86. Is y a multiple of 9?
False
Suppose 4*h + 3*n = 2*n + 350, -358 = -4*h + 3*n. Does 11 divide h?
True
Suppose h + 0*h + 6 = 0. Does 3 divide ((-9)/h)/(12/64)?
False
Let p(i) = i**3 + 3*i**2 + 6*i + 2. Let c be p(-4). Is -1 - 0 - (c - 2) a multiple of 14?
False
Suppose 2*c - 3*o + 141 = 5*c, -5*c - o + 227 = 0. Suppose 4*v - c = v. Is 5 a factor of v?
True
Suppose 0 = 4*a - 8, -3*a + 292 = 5*t - 7*a. Is t a multiple of 18?
False
Let p = 4 - 1. Suppose -p*s + s = -22. Does 8 divide s?
False
Suppose 25*n - 264 = 3*n. Is n a multiple of 6?
True
Let y(w) = 6*w - 15. Is 11 a factor of y(8)?
True
Suppose -w - 5 + 8 = 0. Suppose 32 = -w*m + 101. Is m a multiple of 8?
False
Let i be (2 + (-4 - -1))*-2. Suppose -3*h - 5*r + 4 = -6, 0 = -h - i*r + 4. Suppose 0*y - y + 47 = h. Is 14 a factor of y?
False
Let c(z) = 12*z - 6. Let i be c(6). Suppose -4*j + i = -j. Is j + (3 - 0 - 2) a multiple of 7?
False
Does 2 divide (-11)/(44/(-56)) + -2?
True
Let n be -1 + (-18)/((-3)/1). Let m = -3 + n. Suppose 2*g - 2*k = 7*g - 79, -m*g - 2*k = -34. Does 5 divide g?
True
Let i be (-69)/(9/(-6)*1). Let u = i - 19. Is 27 a factor of u?
True
Let k be (33/12)/(1/(-12)). Let m = k - -47. Is 7 a factor of m?
True
Let z(n) = 6 - n**2 + n + 0 + 5*n**2 + n**3. Let f be z(-5). Is (-10)/(-8) + (-18)/f even?
True
Let v(m) be the third derivative of -3*m**4/8 - 4*m**2. Does 9 divide v(-1)?
True
Suppose -5*p + 16 = 6. Suppose p*z + 123 = 5*z - 3*k, -3*z + 113 = -5*k. Let a = 79 - z. Is 16 a factor of a?
False
Let y = 23 - -27. Is y a multiple of 10?
True
Let f(k) = -k**3 - 12*k**2 + 8*k - 17. Is 8 a factor of f(-13)?
True
Let j be ((-1)/3)/((-4)/(-12)). Is 13 a factor of (3 - 2) + 11 - j?
True
Suppose -2*i - 5*m - 89 = -5*i, 5*i - 3*m - 159 = 0. Is 6 a factor of i?
False
Let w(c) = c**3 + 7*c**2 + 5*c - 4. Let k be w(-6). Let t = 7 - -2. Suppose -f - k*s + 12 = 0, 0 = 5*f - 2*s - 99 - t. Is f a multiple of 17?
False
Let a = 251 - 136. Is a a multiple of 13?
False
Let m(l) = 2*l**3 - 6*l**2 + 6*l + 1. Suppose -2*x - 2*x + 12 = 0. Let j(a) = -5*a**3 + 18*a**2 - 17*a - 4. Let w(h) = x*j(h) + 8*m(h). Is 5 a factor of w(-6)?
False
Suppose d + 0 - 5 = 0. Let z = 9 - d. Is 9 a factor of ((-9)/(-4))/(1/z)?
True
Let v(f) = f**3 + 3*f**2 + 2*f + 2. Let l be v(-2). Suppose 2*s + l*s = 8. Suppose 4*c + 0*c + s*q = 96, 5*c = q + 106. Is 8 a factor of c?
False
Let t(q) = -q**3 - 6*q**2 - 10*q - 1. Let r(x) = -x**3 - 5*x**2 - 10*x - 2. Let m(b) = -4*r(b) + 5*t(b). Does 7 divide m(-9)?
False
Does 7 divide ((-126)/(-15))/((-4)/(-20))?
True
Let n(g) be the first derivative of g**3/3 - 3*g - 1. Is 4 a factor of n(-3)?
False
Suppose -8*q + 120 = -3*q. Does 7 divide q?
False
Let q = -99 + 70. Let x = 92 - 141. Let r = q - x. Is r a multiple of 6?
False
Suppose 4*v = 4*t - 112, v + 16 = -2*t + 84. Is 4 a factor of t?
True
Let x(m) = -m**3 - 9*m**2 - 3*m - 6. Is 3 