 = -b**2 - 3*b + 5. Let s be n(4). Let j = 49 + s. Does 21 divide j?
False
Let b(l) = 8*l + 4. Let k(y) = 8*y + 1. Let x(w) = -40*w - 4. Let u(j) = -11*k(j) - 2*x(j). Let v(r) = 5*b(r) + 6*u(r). Does 17 divide v(-4)?
True
Suppose 0 = 22*a - 25*a + 198. Does 22 divide a?
True
Let v(r) = -2*r**3 + r**2 + r. Let w be v(-1). Suppose -w*h + 5*h - 102 = 0. Is h a multiple of 17?
True
Suppose 105 = 5*j + 2*j. Does 3 divide j?
True
Suppose 3*d - 145 = 2*d. Does 13 divide d?
False
Suppose 0 = 4*a - 0*g + 2*g + 12, 0 = -5*g. Let o be -4*3/(a/1). Suppose 5*j - 3*z - z - 106 = 0, -4*z + o = 0. Does 7 divide j?
False
Suppose 2*q + 23 = q. Let d be 3/9 - q/3. Let p = d + -3. Does 2 divide p?
False
Suppose -10*d + 258 - 58 = 0. Is 13 a factor of d?
False
Let z be (-3)/2 + 266/4. Suppose -4*t - p - 2*p = -175, t = -5*p + z. Is 10 a factor of t?
True
Let b(k) = k**3 - 2*k**2 - 3*k + 2. Let x be b(3). Suppose -8 = x*g - 18. Is 5 a factor of g?
True
Let z(t) = 6*t**2 + 4*t + 3. Is 15 a factor of z(-3)?
True
Suppose -3*z - s = -13, -1 = z - 2*z + 3*s. Let g be 64/4*2/z. Suppose 0 = -2*x + g + 4. Is 3 a factor of x?
True
Let m be 108/(-5) - (-12)/(-30). Let i = -3 - m. Does 5 divide i?
False
Suppose 0 = -5*f - 5 - 5, f - 16 = -2*l. Let q be (l + -1)/((-6)/(-33)). Let g = 10 + q. Does 14 divide g?
False
Is 18 a factor of (-36)/60 + (-598)/(-5)?
False
Let x(c) = 2*c**2 - 2*c - 1. Let a be x(-1). Suppose -a*l + 6 = -6. Suppose l*u = 3*h + 10, -2*u + 0*u = -4*h. Is 2 a factor of u?
True
Suppose 3*z - 95 = -2*c, c + z = 4*c - 159. Is c a multiple of 9?
False
Let z(p) = -4*p + 3. Let y be z(3). Let i = -5 - y. Is 3 a factor of i?
False
Let i be (-4)/(-18) + 48/27. Suppose i*n = 3*n + 3*z - 35, -n + z = -39. Is n a multiple of 19?
True
Let s = -7 - -122. Does 23 divide s?
True
Let u(p) = -p**2 + 7*p. Does 9 divide u(4)?
False
Does 14 divide ((-196)/21)/((-2)/9)?
True
Let x = -9 + 11. Suppose 2*v = -3*v - 5*m + 205, 3*v = x*m + 98. Is v a multiple of 10?
False
Let g(z) = 18*z**2 - 2*z + 1. Suppose 2*m + 0*m - 10 = 0. Suppose -4*c = -2*r, -4*c + 9*c = 5*r - m. Is g(c) a multiple of 17?
True
Let a(w) = w**2 - 2*w + 7. Is 11 a factor of a(-7)?
False
Let w(s) = -s + 14. Does 6 divide w(7)?
False
Let p(m) = -m**3 + 10*m**2 - 3*m + 9. Is 12 a factor of p(9)?
False
Let p(s) = -4*s - 1. Let b be p(-4). Suppose -135 = -4*j + 6*d - 5*d, -j + 4*d + b = 0. Is (-28)/j*70/(-2) a multiple of 14?
True
Let z be (-2)/5*(1 + 34). Let n = z + 30. Does 14 divide n?
False
Let v(n) = -n + 11. Is 2 a factor of v(6)?
False
Let g(k) = k**3 + 5*k**2 - 6*k - 3. Let t be g(-6). Let w be (250/(-4))/(t/6). Suppose 2*z - 71 = -5*i, 0*z + 5*z = 5*i + w. Is z a multiple of 10?
False
Let v(h) be the second derivative of 0 + 3/2*h**2 + 1/4*h**4 + 1/2*h**3 - h. Is 6 a factor of v(-3)?
False
Let i = 4 + -5. Let b be 4/(i + (4 - 2)). Suppose b*z - 3*k - 45 = 0, -z - 1 = -3*k - 10. Does 12 divide z?
True
Suppose -3*n = 7 - 19. Suppose n*h + k = -12, 2*k = 2*h - 3*h - 10. Is 2 a factor of (h - -2) + 3 + 2?
False
Let j(m) = -5*m. Let v be j(-1). Suppose v*k = 113 - 18. Is k a multiple of 9?
False
Suppose s - 2 = 1. Suppose s*y = y. Let q = y + 8. Does 8 divide q?
True
Is 5 a factor of (0 + -7)*(-240)/70?
False
Suppose -3*k - 2*t = -5*k + 112, -5*t + 56 = k. Does 12 divide k?
False
Suppose 5*o + 2 - 82 = 0. Suppose -4*n - 23 = -11. Is o + (n/(-1))/(-3) a multiple of 15?
True
Let h = 9 + -4. Suppose 0 = h*o - 9 - 11. Is o a multiple of 2?
True
Let n be -1 + 4 - (-8 + 11). Let k(z) = z**2 - z + 11. Is k(n) a multiple of 11?
True
Let a(q) = q. Let p = 1 + 3. Is 4 a factor of a(p)?
True
Does 26 divide ((-78)/(-4))/(1/4)?
True
Let y(x) = -x**2 + 6*x + 3. Let m(b) = -b**3 + 5*b**2 + 6*b. Let s be m(6). Let d be (s - 10/4)*-2. Is 3 a factor of y(d)?
False
Let r = -14 - -29. Does 5 divide r?
True
Let p = 9 + -6. Let g be (-1 + 1/p)*15. Is 7 a factor of (-2)/10 + (-72)/g?
True
Let v = -1 - -5. Suppose 2*a + j - 162 = 0, 0 = -4*a - 0*a + v*j + 300. Is 21 a factor of a?
False
Suppose 0 = -q - q + 2. Let c be (3 + 0/q)*51. Suppose 107 = 2*y - x, 3*y - x = -2*x + c. Is y a multiple of 26?
True
Let s = 43 + -13. Does 5 divide s?
True
Is 3 a factor of 6/8*680/17?
True
Let h be 3/(-6) + (-14)/4. Let a(d) = -4*d - 6. Does 5 divide a(h)?
True
Suppose 3*k = 2*k + 76. Is 15 a factor of k?
False
Let t = -2 + 5. Suppose 5*w = -n - 5, 0*n - 25 = w + 5*n. Suppose -5 = -3*z - 2, w = -t*y - 3*z + 15. Is 2 a factor of y?
True
Suppose 0 = -5*r + r + 8. Suppose -5 = r*b - 17. Let c = b - 2. Does 3 divide c?
False
Suppose 11 + 3 = -2*m. Let o(t) = t**3 + 9*t**2 + 2*t + 8. Is 19 a factor of o(m)?
False
Let l be (1 - (-3 + 1))/(-1). Let c(f) = -6*f - 4. Does 5 divide c(l)?
False
Let f = -14 - -20. Let j be 1/2 + (-111)/(-2). Suppose -2*v = -f*v + j. Is v a multiple of 14?
True
Let s = 245 + -76. Does 13 divide s?
True
Suppose 4 = c - 2. Is (18/5)/(c/80) a multiple of 16?
True
Suppose 0 = 3*y + 6, 0 = -b + 5*y + 23. Is 13 a factor of b?
True
Let y(p) = -15*p**2 - 5*p**3 + 3*p + 13*p + 26 - 4*p**2. Let j(k) = -k**3 - 4*k**2 + 3*k + 5. Let g(s) = -11*j(s) + 2*y(s). Does 11 divide g(-3)?
False
Let f = -64 - -126. Does 31 divide f?
True
Suppose -2*m = -5*k - 14, -2*k - 11 - 3 = -5*m. Let y be (((-24)/(-3))/1)/m. Suppose -8 = -4*j - y*b, 5*j = 5*b + 28 + 12. Is j a multiple of 2?
False
Let z(r) = -8*r - 4. Let s(n) = n - 1. Let p(q) = 3*s(q) + z(q). Let t(u) = 4*u - 1. Let x be t(-1). Does 6 divide p(x)?
True
Let d be 1/((-9)/(-3) - 2). Let o be ((1 - d)/(-1))/(-2). Suppose o = 8*h - 3*h - 155. Is h a multiple of 25?
False
Let h = -11 + 26. Is h a multiple of 5?
True
Suppose 5*f + 1 = 3*m, -6 = -4*f + 3*m - 4*m. Let a be -4 - f*(-2 - -3). Let n = a + 8. Is n a multiple of 2?
False
Let y(w) = -32*w + 4. Is y(-5) a multiple of 9?
False
Let n be (-24)/20*10/(-3). Suppose -l = -2*q + 26, -l + 10 = 2*q - 6*l. Suppose -n*v = -v - q. Is v even?
False
Let g(r) = r**2 + 3*r + 2. Let f be g(-2). Suppose f = -w + 31 + 73. Let j = w - 74. Is j a multiple of 15?
True
Suppose w + 4*c - 21 = 0, -5*c - 6 = -w - 4*c. Suppose w*t = 4*t - 5, -2*i + 4*t + 36 = 0. Is i a multiple of 5?
False
Let z(d) = -d**2 - 4*d + 2. Let o be z(-4). Suppose 3*f + 381 = 5*j, 2*j = -2*j - 5*f + 327. Suppose -o*m = m - j. Is m a multiple of 13?
True
Is (33/1*1)/1 a multiple of 11?
True
Let t(n) be the second derivative of 7*n**4/12 + n**2 + n. Let s be t(2). Is (-46)/(-5) - 6/s a multiple of 7?
False
Let a(u) = -u**3 - u**2 + 5*u + 2. Let w(n) = n**2 - 7*n - 3. Let m be w(7). Is 4 a factor of a(m)?
False
Let x(d) = 23*d**2 + 1. Is 16 a factor of x(-1)?
False
Let i = -58 + 112. Let f = -15 - 13. Let d = f + i. Is 11 a factor of d?
False
Suppose -4*m = -0*m - 16. Is 2 a factor of m?
True
Let d = 227 - 77. Is 30 a factor of d?
True
Let v(b) = -3*b + 11*b**2 - 5 - 10*b**2 + 12*b. Does 4 divide v(-10)?
False
Let z(k) = 42*k + 4. Suppose -5*p - i = 2*i - 42, -2*i + 32 = 4*p. Let a be z(p). Does 8 divide a/12 + 1/(-3)?
False
Let w(m) = 3*m + 2. Let h be w(-9). Is 5 a factor of 58/5 + (-10)/h?
False
Let c be (-2 - (-10)/4)*12. Suppose -j - j = -c. Suppose 2*y + j*h - 91 = 0, -y + 16 + 32 = 2*h. Is 19 a factor of y?
True
Let b(g) = 3*g**3 - 4*g**2 + 2*g. Let d be b(2). Let m = d + -3. Does 4 divide m?
False
Suppose 5*k - 29 = 171. Is 10 a factor of k?
True
Suppose -64 = -h - i, i = 5*h + 4*i - 324. Does 14 divide h?
False
Let r(c) = 48*c**3 - 13*c**2 + 4*c. Let l(p) = -12*p**3 + 3*p**2 - p. Let h(t) = -9*l(t) - 2*r(t). Is 4 a factor of h(1)?
True
Suppose 4*t - b + 88 = 211, -4*b - 132 = -4*t. Let o be 3/(-6) + 29/(-2). Let d = t + o. Is d a multiple of 15?
True
Let v be (-4)/(-2) + 2 + -1. Suppose f + 6 = v*f. Does 2 divide f?
False
Suppose b - 75 = 6*b. Is ((-132)/15)/(2/b) a multiple of 11?
True
Let w(p) = -2*p**3 - 8*p**2 + 16*p - 7. Is w(-7) a multiple of 25?
True
Suppose -3*x = -56 - 79. Is 15 a factor of x?
True
Let h(f) = -f**2 - 2*f + 40. Does 11 divide h(0)?
False
Let w be (0 - -126)*2/(-4). Let d = w - -131. Let b = -38 + d. Does 15 divide b?
True
Suppose 3*i + 0*i - 6 = 5*b, 3*b = -i + 2. Suppose 0 = 4*g - 20, -4*w + g + 249 = -i*g. Is w a multiple of 22?
True
Let u(r) = 4*r - 6. Let g be u(8). Suppose -4*m + b = 85, 3*b + 34 + g = -3*m. Let o = m + 29. Does 4 divide o?
True
Let a =