6 a factor of s?
False
Let c(g) = 5*g - 3. Let r(s) = -s. Let l be r(-5). Let p = -3 + l. Does 7 divide c(p)?
True
Let p = 89 + -57. Is p a multiple of 22?
False
Let c(k) = 10*k**2 - 3*k - 2. Let q be c(-2). Let a = q - -68. Suppose 2*n - a = -26. Does 11 divide n?
False
Suppose 3*f = 165 + 21. Let h = f + -32. Does 11 divide h?
False
Suppose 0 = -7*t + 2*t + 110. Let b be 5/10*-18 - 2. Let z = t + b. Is 11 a factor of z?
True
Let y(a) = 2*a + 5. Let r be y(11). Suppose 2*c - 52 = -4*d, 2*c - c + d = r. Is c a multiple of 8?
False
Suppose -12*x - 666 = -18*x. Is x a multiple of 17?
False
Suppose 3 = -r, 7*a - 5*r - 310 = 2*a. Let c = 109 - a. Does 10 divide c?
True
Let u = 18 - 18. Suppose u*i + 78 = 2*i. Is 13 a factor of i?
True
Let d be 1446/24 - (-2)/(-8). Let j = d + -15. Is 15 a factor of j?
True
Is 14 a factor of (((-196)/(-8))/(-1))/(2/(-16))?
True
Suppose -5*p - 25 = -5, -p - 6 = -d. Suppose -s = -0*s - t - 9, -d*s = -3*t - 17. Is 3 a factor of s?
False
Let y(q) = 5*q + 5. Let d be y(10). Suppose -2*g = v - d, 2*v + v - 3 = 0. Is g a multiple of 5?
False
Let y(g) = 5*g**3 - 7*g + 9. Is 11 a factor of y(3)?
False
Suppose 4*v = -2*t - 0*t - 38, -t + 2*v - 11 = 0. Is t/(-2)*(-32)/(-6) a multiple of 20?
True
Let l = -321 - -694. Is l a multiple of 11?
False
Let g(h) = -h**3 - 5*h**2 + 5*h + 8. Let k be g(-6). Let w = k - -32. Is w a multiple of 15?
False
Let o = 10 - 6. Suppose 0 = -2*a - 0*a + o. Suppose -5*w + q = -129, -4*q - 28 = -a*w + 38. Is w a multiple of 15?
False
Let z(m) = -m - 2. Let k be z(-6). Suppose 3*u + 4*v - 178 = 0, v + 3*v + 284 = k*u. Let d = u - 39. Is 14 a factor of d?
False
Let n(y) = 6 + 3*y - 2*y + 1. Let p be n(5). Let j = 38 - p. Is 26 a factor of j?
True
Suppose -20*b = -5*b - 495. Is 2 a factor of b?
False
Suppose 4*a - 33 = 295. Is a a multiple of 10?
False
Suppose -4*o = w + 18 + 37, -5*w = -o - 19. Let k = 29 + o. Does 6 divide k?
False
Let y be (-2)/4 - (-2807)/14. Does 11 divide 2/(-6) - y/(-6)?
True
Suppose 2*a - a - 5 = 0. Let b(s) = -s**3 - 2*s**2 - 2*s + 5. Let x(u) = u - 1. Let w(j) = a*x(j) + b(j). Is w(-4) a multiple of 14?
False
Let y = 12 - -2. Let k = y - 9. Is 5 a factor of k?
True
Let v be -3 - 1*(0 - -1). Let q = v - -1. Is q/9 - (-110)/6 a multiple of 9?
True
Let d(n) = n**3 + 9*n**2 + 8*n + 5. Is 13 a factor of d(-5)?
True
Let z be ((-5)/2)/((-8)/16). Suppose 0 = z*p + 2*y - 347, 5*p - 168 - 182 = -5*y. Is p a multiple of 23?
True
Let p(j) = -j**2 - 10*j + 6. Is p(-6) a multiple of 14?
False
Let m(b) = b**3 + 2*b**2 + b. Let o be m(-1). Suppose p + 4*u + o*u = 26, -5*p = -5*u - 55. Does 11 divide 152/7 - (-4)/p?
True
Let r(v) = -7*v + 3. Suppose -7 - 1 = 2*h - 4*p, h - 3*p + 7 = 0. Let i be r(h). Let j = 2 - i. Is 9 a factor of j?
False
Suppose -6*n = -n - 10. Suppose 0 = 2*t - 3*t. Suppose t = -n*g - 2*u + 11 + 33, 5 = -5*u. Is 8 a factor of g?
False
Let c(p) = 85*p**2 - p + 1. Let t be c(1). Suppose 60 = -4*s + 4*x, -5*s - 2*x - t = 4. Let n = 36 + s. Is 12 a factor of n?
False
Suppose -2*a = -11 + 3. Suppose -a*v + 138 = 2*w, -w + v - 11 = -65. Suppose 4*l + 2*f - w = -f, 43 = 3*l + 2*f. Does 4 divide l?
False
Suppose -y + 0*y + 60 = 0. Does 17 divide y?
False
Let n(g) = -g**2 + 7*g - 5. Let r be n(4). Let q(a) = -a**3 + 12*a**2 + 3*a - 8. Let v be q(r). Is (3/9)/(2/v) a multiple of 12?
False
Let b(i) = -i**3 + 7*i**2 + i + 8. Let y be b(6). Let o = -30 + y. Is o a multiple of 10?
True
Let b = 37 + -8. Is 6 a factor of b?
False
Suppose 2*p + 3 = 3*m + 54, -p - 3*m = -12. Is (1 - -1)*p/6 a multiple of 7?
True
Let f = -127 - -239. Is f a multiple of 16?
True
Does 10 divide (-30)/(-4)*18/3?
False
Let o(w) = 5*w**3 - 15*w**2 + 5*w + 5. Is 14 a factor of o(5)?
True
Suppose 0 = -3*k - 5*k + 864. Does 18 divide k?
True
Let p be (9/(-12))/((-2)/8). Suppose 5*s + 420 = -p*g, 2*g + 6*s + 280 = 4*s. Let o = 196 + g. Does 25 divide o?
False
Suppose -6 = g - 1, 0 = -5*u + 3*g + 25. Suppose -s + u*o + 26 = 0, -4*s = 2*o - 5*o - 114. Is 7 a factor of s?
False
Suppose 4*g - 44 = -2*j, -2*j - 2*g + 46 = j. Is 3 a factor of j?
True
Suppose w = -w + 72. Is w a multiple of 9?
True
Let r be (1 - (25 + -1))/(-1). Suppose -3*g - r = 2*m, -2 = 3*g - g. Let i = m + 20. Is i a multiple of 5?
True
Suppose 5*n - 5 = -25. Let c(j) = -j**2 - 4*j + 5. Let t be c(n). Suppose -3*s - t*y = -28, -y = -s + 3*y + 15. Is s a multiple of 5?
False
Suppose 2*w = 4*q + 1 - 69, -q + 8 = -5*w. Is q a multiple of 11?
False
Suppose -2*s - 2*s + 12 = 0, 5*x - s - 17 = 0. Suppose -5*c + 15 = -3*l, 0*l + x*l = 2*c + 8. Suppose 0 = -2*a - 0*a + c. Is 2 a factor of a?
False
Let c be (21/(-2) - -4)*-2. Let b(g) = -g**3 - 5*g**2 + 7*g + 6. Let t be b(-6). Suppose t*z = -z + c. Is z a multiple of 5?
False
Suppose -5*w + 24 = 4. Does 13 divide 2850/70 + w/14?
False
Suppose 0 = 5*r - g + 4*g - 85, 4*r - 5*g = 105. Is 5 a factor of r?
True
Let j be (3/9)/(1/57). Suppose j = 5*t + 3*n, 2*n = 5*t - 2*n - 33. Is t a multiple of 4?
False
Let c = 1 + 0. Suppose 2 = v - c. Let m = 16 - v. Is 8 a factor of m?
False
Let c(h) = h**2 + 6*h - 5. Let s be c(-7). Suppose 0 = -3*o - s*o + 75. Is 13 a factor of o?
False
Suppose g - 2 + 0 = 0. Suppose -22 = -5*b + 4*o, 5*b = -3*o - g*o - 5. Is 22 - (b + -2 + 1) a multiple of 12?
False
Suppose 0 = -3*s + 35 + 28. Is 9 a factor of s?
False
Let z = -41 + 206. Is 37 a factor of z?
False
Let f be 16/2 + (-3)/3. Suppose f + 13 = 5*d. Does 4 divide d?
True
Let h(d) = -d - 4. Suppose 0 = 2*y + 2*r - 8, -4*r + 7*r = -3. Let v be h(y). Is (-231)/v - (-1)/3 a multiple of 18?
False
Let i(x) = -x + 1. Let t be 5/15 - 4/(-6). Let f(h) = -h**2 - 18*h - 4. Let n(b) = t*f(b) - 2*i(b). Is 20 a factor of n(-7)?
False
Suppose 0 = -3*h - g + 111 + 4, 80 = 2*h - g. Let b = h + -21. Is 18 a factor of b?
True
Let x(g) = -22*g - 2*g + g + 2*g - 2. Does 17 divide x(-2)?
False
Let d(n) = n**2 - n + 6. Does 4 divide d(3)?
True
Is 26 a factor of (28/(-21))/((-2)/129)?
False
Is 8 a factor of (2800/25)/(2/3)?
True
Let q(k) = 4*k**2 + 3*k + 15. Is q(-5) a multiple of 50?
True
Suppose 3*k - 375 = -3*o, -3*o + 5*k + 343 = -0*o. Does 17 divide o?
False
Let p(u) = 2*u - 12. Let m be p(8). Suppose m*l = -4*b + 16, -2*b = -2*l - 0 - 8. Suppose -j = -l*j - 40. Is j a multiple of 20?
True
Let o = -3 + 3. Suppose o*r + 4*r - 16 = 0. Is 16 a factor of 6/r*(-64)/(-3)?
True
Let u(f) = 3*f + f**2 + 4 - f + 2. Let p be 6/30 - 52/10. Is u(p) a multiple of 10?
False
Is 28 a factor of (20 - 21)*1/2*-56?
True
Suppose 4 = a - 0. Suppose -a = -5*v + 11. Suppose v*x + i - 78 = -2*i, 4*x = 5*i + 95. Is x a multiple of 12?
False
Is 5 a factor of 4/(44/537) + 2/11?
False
Suppose -3 = -4*o - 5*q, o - q + 2*q - 2 = 0. Let h(y) = -y + 2*y - 6 - o*y. Does 15 divide h(-6)?
True
Let s(q) = -q**3 + 6*q**2 - 8*q + 7. Let v be s(5). Is 6 a factor of (-14)/v*(5 - 1)?
False
Let p(o) = -3*o + 5 + 7*o - 3*o. Let b be 0 + (-2 - (-10 + 2)). Is p(b) a multiple of 11?
True
Suppose -145 = -3*p - 5*a, 6*p - a = 3*p + 133. Does 15 divide p?
True
Let l(j) = j**3 + j**2 - 2*j - 1. Let w be l(2). Suppose -2*g - 75 = -w*g. Is 5 a factor of g?
True
Suppose -868 = 2*f - 6*f. Suppose 4*k - 95 - 77 = -4*i, -4*k + f = 5*i. Does 15 divide i?
True
Suppose 150 + 160 = 3*a - 2*w, 4*a = 2*w + 410. Is a a multiple of 20?
True
Suppose -2*g + 5*p + 30 + 115 = 0, -5*p - 25 = 0. Is g a multiple of 20?
True
Suppose 5*a = 6*a. Let h(b) = -2*b**3 + 4*b + 10. Let t(w) = -3*w**3 + 7*w + 19. Let l(x) = -5*h(x) + 3*t(x). Is 5 a factor of l(a)?
False
Is (1 - 0)/(15/345) a multiple of 5?
False
Is 7 a factor of 0 - -3 - (-50)/2?
True
Let c(t) = 6*t**3 - 2*t**2 - 7*t - 11. Suppose 25 = -0*p - 5*p. Let l(a) = a**3 + a**2 - a. Let w(g) = p*l(g) + c(g). Is 16 a factor of w(8)?
False
Suppose -3*c + 15*c = 2280. Is 44 a factor of c?
False
Suppose 0 = 9*p - 97 - 83. Is 4 a factor of p?
True
Suppose 4*n - 235 = a, 0*a = -3*n + a + 175. Is 12 a factor of n?
True
Suppose -447 = 5*n - 4*i, -i + 9 = 2*i. Let u = n - -180. Does 15 divide u?
False
Let p be (-6 + 3 - 0) + 5. Suppose 3*w - p*x + 4*x - 88 = 0, 5*w - x = 138. Does 14 divide w?
True
Let v(w) = 2*w**3 - w**2 + 1. Let x be v(1). Suppose h - x - 3 = 0. Suppose 115 = h*r - 0*r. Does 9 divide r?
False
Suppose -21 = -3*v - 0*v. Suppose v*t - 5*t - 216 = 0. Is t a