et b be ((-6)/4)/(27/p). Suppose -2*y + b*n = -0*n - 20, -6 = 3*n. Is 3 a factor of y?
False
Is 10 a factor of (3 + 3 + 25)*1?
False
Suppose 2*g = 3*g, -4*g - 5 = -5*x. Let h = 37 + -35. Does 5 divide h - (x + -4) - 0?
True
Suppose -6 = -2*f + 4*b - b, -5*b + 6 = 2*f. Suppose u - f = 2. Does 5 divide u?
True
Suppose 2*x - 11 = x + 5*d, 0 = 4*x - 5*d - 89. Does 13 divide x?
True
Let a be 4 + 1 - (6 + -5). Suppose a*o = 40 - 324. Let b = 100 + o. Is 17 a factor of b?
False
Let r be (-1)/(-3)*12*1. Suppose 4*l = 2*l - r*u + 8, 0 = 4*l - 5*u - 42. Suppose 3*b - l = 1. Does 2 divide b?
False
Suppose s - 66 = -0*s. Does 19 divide s?
False
Suppose -5*j = 4*k - 39, -j + k - 5*k = 5. Does 11 divide j?
True
Let i = 39 + -17. Suppose 5*v - i = 8. Is 4 a factor of (-3)/(v/(-16)) + 0?
True
Let m = 9 - 9. Suppose m = 2*v - 3*x - 32, 4*x = 4*v - 0*x - 64. Is v a multiple of 8?
True
Let r = -53 + 128. Is 10 a factor of r?
False
Let d(a) = -13*a - 70. Does 3 divide d(-7)?
True
Suppose m = -3*m + 164. Suppose 3*n - m - 1 = 0. Does 14 divide n?
True
Suppose -3*c - 15 = -3*l - 45, -2*l = 3*c - 20. Suppose c*q + 2*t = 3*q + 264, -3*q = t - 159. Does 18 divide q?
True
Let d = -41 + 20. Suppose -4*r = -90 - 46. Let g = r + d. Is 9 a factor of g?
False
Let a = 183 - 62. Is 60 a factor of a?
False
Suppose -8*x + 7*x + 5 = 0. Suppose x*f - 355 = 2*c, 3*f + 66 - 290 = -c. Is f a multiple of 17?
False
Suppose 13*h = 21*h - 1584. Does 39 divide h?
False
Let v(t) = t + 8. Does 12 divide v(16)?
True
Let z(r) = -r**2 - 2*r - 1. Let v be z(-2). Let o be -1*11 + v/1. Is (1/1)/((-2)/o) a multiple of 6?
True
Let v(i) = 2*i**2 - i - 1. Let w be v(-1). Suppose f - 4 = -1. Suppose 5*n = w*j - 34, -f*n - 1 = 5. Does 12 divide j?
True
Suppose 170 = 4*g - 186. Is g a multiple of 33?
False
Let n be 0/(-2)*(-5)/10. Let c(u) = 10*u - u**2 + 3 + n + 1 + 1. Is c(10) even?
False
Let d = -132 + 188. Is 14 a factor of d?
True
Suppose -5*m = 4*r - 181, -24 = -r - 5*m + 10. Let o = r - 32. Does 17 divide o?
True
Let n = 392 + -259. Is 15 a factor of n?
False
Let j(b) = 3*b - 2. Let y be j(2). Suppose -y*o + 20 = -40. Is o a multiple of 6?
False
Suppose 2 = s - 0*s, 4*a - 5*s = 134. Is a a multiple of 12?
True
Let z be (2 - 2 - -1) + 1. Suppose 33 + 11 = -z*h - 3*n, 0 = n + 2. Let s = 31 + h. Is s a multiple of 6?
True
Suppose -2*u - 5*j - 18 = 10, -u - 24 = 5*j. Does 14 divide 570/9 + u/(-6)?
False
Let n be 347/3 + 4/(-6). Suppose 5*g - n = 50. Is g a multiple of 11?
True
Let w(r) = r**2 - 7*r + 8. Let a be 4*2*3/3. Does 8 divide w(a)?
True
Let r = 6 - 4. Is 26 a factor of (-5 + r)/((-6)/112)?
False
Let j(d) = 3*d + 7. Let s(t) = t + 5. Suppose -3*b + 15 = 3*u, 2*u = 6*u + 3*b - 15. Let y be s(u). Is j(y) a multiple of 11?
True
Let p(m) = -m**3 - 6*m**2 + 8*m + 3. Let k be p(-7). Let g(y) = -3*y - 6. Let v be g(k). Let w = -1 + v. Does 2 divide w?
False
Let t(a) = 25*a**2 - a + 1. Let g be t(1). Suppose 4*z = 3*r - 88 + g, -z - 22 = -r. Does 17 divide r?
False
Suppose -4*c - 9 - 11 = 0. Let o(w) = w**2 + 5*w + 6. Let n be o(c). Suppose 2*p - n*p + 76 = 0. Is p a multiple of 7?
False
Let p be ((-10)/(-8))/((-5)/100). Let b = 43 + p. Is 18 a factor of b?
True
Let n(o) = 2*o + 1. Let p be n(3). Let z(w) = 4 - 6*w**2 - p*w + 0*w**3 - 2*w**2 + w**3 + 5. Does 9 divide z(9)?
True
Does 5 divide 9/(36/112) + -1?
False
Suppose -g = 4*q + 17, -3*g - 18 = -g + 4*q. Let s be (-29)/(-2) + g/(-2). Does 5 divide (s/6)/(1/4)?
True
Let t(o) = -9*o**3 - 5*o**2 - 3. Let v(b) = b**3 + b**2 - b + 1. Let u(d) = t(d) + 3*v(d). Is u(-2) a multiple of 23?
True
Suppose 0 = 6*w + 5*w - 1067. Is w a multiple of 9?
False
Suppose 0 = 4*f - 3*p - 28, -2*f + 3*p - p + 12 = 0. Suppose -4*s - 2 = -f. Suppose 3*w = -3*v + 129, -w = -s - 2. Is 13 a factor of v?
True
Let p be 1*-3*(-2)/6. Let c(i) = 7*i**2 - 2*i + 1. Is c(p) a multiple of 6?
True
Suppose -29*m + 64 = -28*m. Does 25 divide m?
False
Suppose 5*h - 575 = 575. Is h a multiple of 46?
True
Let x(l) = -l**3 - l**2 + l + 2. Let c be x(-2). Suppose 0*n - 88 = -c*n. Is 10 a factor of n?
False
Let l(a) = a**2 - 4*a - 1. Let c be l(0). Let w(j) be the third derivative of -13*j**4/8 + j**2. Does 17 divide w(c)?
False
Let o(i) = -2*i - 2. Let j be o(-2). Suppose 0 = -2*d + 4*u + 128, -5*d + u + 228 = -d. Suppose j*q = -16 + d. Does 12 divide q?
False
Let m be ((-12)/8 + 1)*-228. Is ((-16)/(-12))/(4/m) a multiple of 19?
True
Let v(o) = o**2 - 4*o - 1. Let i(h) = 0*h**2 + 2*h - 3 + 0*h**2 + h**2. Let j be i(2). Is 3 a factor of v(j)?
False
Let k(u) = 10*u**2 + 2*u + 2. Suppose -3*h + 5 = 2*q, -q - 1 = 2*h - 5. Does 19 divide k(q)?
True
Let c be 7/(-4) - 2/8. Let a be (-1)/(3/((-6)/2)). Is (3/c)/(a/(-10)) a multiple of 6?
False
Suppose -3*w - w = -80. Is 5 a factor of w?
True
Let p = -7 - -25. Is 8 a factor of p?
False
Does 5 divide 34*((-5)/(-2) + -1)/3?
False
Suppose 5*p - 422 - 293 = 0. Is p a multiple of 13?
True
Let s(x) = -x**2 + 4*x - 1. Let v be s(2). Suppose j - 8 - v = 0. Is j a multiple of 3?
False
Suppose -4*a + 6 + 6 = 0. Suppose a + 7 = 2*z. Is z a multiple of 5?
True
Let z(o) = 4*o - 6. Let x be 5/(-15) - 19/(-3). Let y = x + -2. Is z(y) a multiple of 5?
True
Let n(i) = 43*i - 41. Let h(u) = 29*u - 27. Let y(t) = 8*h(t) - 5*n(t). Does 26 divide y(7)?
False
Let r(g) = -2*g**3 + 18*g**2 + 2*g. Does 3 divide r(9)?
True
Suppose g - 6 - 2 = -2*a, 3*g + 4*a - 18 = 0. Let b(i) = 10*i + g + 4 - 4. Is b(3) a multiple of 11?
False
Let a = -47 - -77. Is a a multiple of 5?
True
Suppose -2*v = 4*z - 147 - 37, -5*v + 184 = 4*z. Is z a multiple of 23?
True
Suppose -q = q - l - 9, -45 = -5*q - 5*l. Let p = 3 - q. Does 4 divide (1 + -2)*27/p?
False
Suppose 0 = -5*m - 3*w - w + 309, -m + 5*w + 56 = 0. Is 4 a factor of m?
False
Let l = 8 + -3. Let k = l + -1. Is k a multiple of 3?
False
Is 2 a factor of (-24)/36 + (-40)/(-6)?
True
Let x(o) = -6*o + 2. Let h be 1*1/(-1)*16. Let s be h/8 + (0 - 2). Is 13 a factor of x(s)?
True
Let w = 6 + -2. Let u be 14/56 + 15/4. Suppose -5*v - 5*j + 4*j + 24 = 0, -3*v = -w*j + u. Is v a multiple of 2?
True
Let f be (-1 - -24) + (-3)/(-1). Suppose -5*c + f = -19. Is c a multiple of 6?
False
Let q(k) = k**2 + 6*k + 4. Does 10 divide q(-8)?
True
Let g(f) = -8*f - 2. Let y be g(-3). Let t = -12 + y. Is 4 a factor of t?
False
Let x = 139 - 59. Suppose -2*u = -6, 3*a - 3*u = 383 - x. Is a a multiple of 26?
True
Let u(p) = p**2 - 14*p + 13. Let y be u(14). Let i(z) = -z**2 + 19*z - 12. Does 22 divide i(y)?
True
Suppose u - 3 = 1. Suppose u = 4*w + 4*o, w - 4*o = -4 - 0. Suppose w*f + 3 = f. Is 2 a factor of f?
False
Let g(s) = -26*s + 10. Does 19 divide g(-5)?
False
Suppose 0 = -2*n + 10 + 2. Is 3 a factor of n?
True
Suppose -4*s + 2*x + 2*x = -44, -s = 4*x - 6. Suppose 7*w - 5*w = s. Is 5 a factor of w?
True
Suppose 4 = -4*c + 16. Let m be (-1)/c - 2/(-6). Suppose m*a - 5*a = -4*w - 124, -74 = -3*a + 2*w. Is a a multiple of 12?
True
Suppose -2*v + 0 = -4. Suppose -f + h - 2 = 0, v*h - 25 = f - 6*f. Suppose k = -f*k + 112. Is k a multiple of 15?
False
Suppose 2*i + 6 = 180. Does 25 divide -12 + 8 + -1 + i?
False
Let h(n) = 2*n**3 + 3*n**2 - 3. Let a be h(-3). Let y(d) = 2*d**2 - 4*d - 5. Let j be y(5). Is a/j*-5*1 a multiple of 6?
True
Let s = -104 - -293. Is 23 a factor of s?
False
Let v = -1 + -5. Let t(g) = 2*g + 6. Let i be t(v). Does 6 divide i/4*(-2 - 2)?
True
Let f(z) be the third derivative of z**4/8 - z**3/2 - 2*z**2. Is 5 a factor of f(6)?
True
Let m(h) = 5*h**3. Let q be m(1). Let s = q + -2. Suppose -s*w - 18 = -2*u, -5*u - 4*w + 15 = -7. Is u a multiple of 4?
False
Let r(f) = 3*f - 5. Is r(19) a multiple of 8?
False
Let b(n) = -24*n + 2. Let x(z) = -z + 1. Suppose 2*a + 12 = -0*a. Let l(v) = a*x(v) + b(v). Is l(-3) a multiple of 13?
False
Let w(k) = -k**3 + 13*k**2 + 3*k + 28. Is w(13) a multiple of 20?
False
Let u = 5 + -3. Suppose 0*v - 5*v - 30 = -5*j, u*j + 8 = -2*v. Does 12 divide j*(-7)/((-21)/72)?
True
Let o = -54 + 257. Is 29 a factor of o?
True
Let z(f) = -f**3 + 6*f**2 - 5*f + 5. Let t be z(5). Let r = t - 2. Suppose 2*y - 3 = r. Is 3 a factor of y?
True
Let i(m) = -21*m**2 - 12*m + 17. Let a(b) = -5*b**2 - 3*b + 4. Let q(x) = -9*a(x) + 2*i(x). Is q(2) a multiple of 8?
True
Let a(z) = -10*z - 2. Let q(x) = 1. Let d(k) = -a(k) - 3*q