180. Suppose 5*b + 11 = n. Suppose b*l + 4 - 44 = 0. Is l a multiple of 4?
True
Let p(b) = b**2 - 28. Let v be p(0). Let f = v + 53. Is f a multiple of 8?
False
Suppose 26 - 10 = 4*m. Suppose 2*t = m*s - 128, 3*s + 0*s + 5*t = 70. Is s a multiple of 14?
False
Suppose 5*t = -2*a + 21, -4*a + 8 + 16 = 4*t. Suppose -4*c + 4 = -5*p, 2*c - 12 = 2*p + a*p. Let o = 7 + p. Is 3 a factor of o?
True
Suppose 0 = -a + 3*u + 34 + 6, -3*a + 124 = -5*u. Suppose -a = 5*i - 193. Does 10 divide i?
True
Does 16 divide 4/(-12) - (-208)/3?
False
Suppose 4*g = -21 + 77. Is g a multiple of 2?
True
Suppose -t = -0*t + 3, 0 = 4*d + 2*t - 86. Suppose 0*p - 3*p + 33 = 0. Let u = d - p. Is 4 a factor of u?
True
Let c = 4 + 2. Suppose 2*h + 6 = -4*m + c*m, -3*h = -3. Suppose 3*o + 20 = j, j + m = -0*j - 5*o. Is j a multiple of 5?
False
Let y(p) = -p**2 + 1. Let f(q) = -q**3 - 8*q**2 + 3*q + 7. Let n(j) = f(j) - 5*y(j). Is n(-4) a multiple of 6?
True
Let n(b) = 0*b + 3*b - 6 - 5*b. Suppose 7*g + 38 + 32 = 0. Is n(g) a multiple of 7?
True
Suppose 0 = g - 2*g + 6. Let m = g + -3. Suppose 0*x - m*x = -69. Does 11 divide x?
False
Let y = 72 - -18. Let g be -2 - y - (3 + -1). Let d = g + 135. Is 14 a factor of d?
False
Is 5 a factor of (-12)/8*(-30)/5?
False
Let h(y) = y**2 - 4*y + 9. Suppose 4*p - 1 = l, -l = -0*l - 5*p + 3. Is h(l) a multiple of 13?
False
Let w(c) = 24*c**3 - 2*c + 1. Let a = -12 + 13. Does 14 divide w(a)?
False
Suppose -5*l + 10 = -3*l. Suppose -3*r + 112 = l*d, 2*d = r + r + 32. Is 11 a factor of d?
False
Suppose 7*d - 3*d - 348 = 0. Is 33 a factor of d?
False
Suppose -2*d + 4 = 2*w, -4*w - 3 - 3 = -3*d. Suppose 13*v - 5*v = 160. Suppose -d*f = -5*t + 15, 3*t + 3*f - 2*f = v. Is 2 a factor of t?
False
Let r(v) = 4*v + 4. Let s be r(-3). Let m be (-1)/(-2)*(-2 - s). Suppose 0*c - 4*c + 17 = m*k, 0 = 2*k - 2*c - 30. Is k a multiple of 11?
True
Let i(a) = -2*a**3 - 8*a**2 + 19. Is 5 a factor of i(-6)?
False
Suppose -6*n + 5*k + 1260 = -n, 0 = 2*n + 5*k - 539. Is 32 a factor of n?
False
Let j = 282 + -199. Is 20 a factor of j?
False
Does 14 divide 5/(-80)*4 + (-65)/(-4)?
False
Suppose -3*g - 100 + 586 = 0. Let l = g + -114. Is 24 a factor of l?
True
Suppose 4*v + 4 = -y, 0 = -5*y + 5*v - 34 + 14. Let s = y - -5. Is 15 a factor of 14 - (0 - 1)*s?
True
Let k(b) = 11*b + 5. Let s(f) = 7*f + 3. Let a(w) = 5*k(w) - 8*s(w). Is 8 a factor of a(-14)?
False
Suppose 75 = 2*j + j. Let v = j + -13. Is 3 a factor of v?
True
Let m(q) = -q**3 + q - 2. Suppose h - 12 = 4*d - 0*h, -3*d - 16 = h. Let a be m(d). Suppose 5*s - a = -13. Is s a multiple of 7?
False
Suppose -h - 3*h + 348 = 0. Is h a multiple of 18?
False
Suppose 8*p = 221 + 963. Is p a multiple of 37?
True
Suppose -4*b - 1 = 7. Let k = 6 + b. Suppose 4*a - 68 + k = -2*j, 2*j + a = 79. Is 14 a factor of j?
True
Let h(y) = y**2 - 3*y + 3. Let r be h(-4). Let j = -15 + r. Is j a multiple of 15?
False
Does 12 divide ((-2)/(-4)*-2)/((-10)/160)?
False
Let i be -51*(1 - (0 - -2)). Let g(d) = 12*d + 2. Let v be g(-3). Let r = v + i. Does 7 divide r?
False
Let d(g) = 10*g**2 - g - 2. Let l be -1 - -1 - (3 + -5). Let x be d(l). Does 18 divide (28/6)/(4/x)?
False
Let f(p) = 13*p + 10. Let y(c) = c**2 - c. Let l(s) = f(s) + 2*y(s). Let v(i) = -3*i**2 + 4*i - 3. Let j be v(2). Is 11 a factor of l(j)?
False
Is (-1)/((2/(-6))/((-160)/(-6))) a multiple of 7?
False
Let b = -65 + 112. Let y = b - -1. Is 16 a factor of y?
True
Suppose -a = -4 - 6. Suppose 0 = s + 3, 5*s = -5*z - 0*z + a. Is z a multiple of 4?
False
Is 72 - (5 - (-30)/(-3)) a multiple of 11?
True
Let y(p) = -4*p. Let x(f) = -f. Let b(l) = 2*x(l) - y(l). Does 12 divide b(6)?
True
Let m(k) = 8*k**2 - 4*k + 4. Let v be m(3). Suppose -x - 3*s = -16, -4*s + v = 4*x - 0*s. Is x a multiple of 7?
False
Suppose 0*c = -c + 2*j + 17, 0 = 3*c + 5*j - 73. Suppose 7 = 2*v - c. Is 5 a factor of v?
False
Let b(t) = t**3 + 8*t**2 + 9*t + 1. Let n be b(-6). Let a = -9 + n. Does 10 divide a?
True
Let d = 164 + -93. Is d a multiple of 19?
False
Suppose -4*s = 4*y - 40, 0 = -y + 4*s - 0*s - 5. Suppose -5*d + 4 = 3*l - y*l, -5*d = 0. Is (-2)/(l/18*1) a multiple of 13?
False
Suppose -4*g = 5*b - 58, -2 = 3*b + 3*g - 35. Let v = b + -10. Is v a multiple of 4?
True
Let r(f) = -f**3 - 7*f**2 - 7*f - 3. Let b be r(-6). Suppose -52 = b*z + 14. Does 7 divide (z/6)/((-1)/3)?
False
Let s = -4 - -2. Let l be (s - 170)*1/(-2). Suppose -4*a + l = -3*g - 69, 3*a - 80 = -5*g. Is a a multiple of 14?
False
Let o(i) = i + 2. Let d be o(-5). Let j = 5 + d. Is j a multiple of 2?
True
Let k(n) be the third derivative of -n**6/120 + n**4/24 - n**2. Let y be k(1). Suppose y*g = 2*g - 5*p - 14, 0 = 3*g - 2*p - 32. Does 12 divide g?
True
Suppose -3*m = 6, 0*a - 12 = -a + 2*m. Let g = -6 + 9. Let w = a - g. Does 5 divide w?
True
Suppose -4*m - j = -323, -4*m + 150 + 161 = -3*j. Does 10 divide m?
True
Let t = 3 - -2. Suppose 0 = 2*b + 5*o + 5, 0*b - 2*b + 25 = -t*o. Is b a multiple of 2?
False
Let n be 6/(-10) - 10/25. Let v be 0 + -3*n/3. Let x(d) = 9*d**3 + d**2 - 1. Is 7 a factor of x(v)?
False
Is ((-570)/(-19))/(2 + 0) a multiple of 5?
True
Let a be -2 + 4 + 2 + -2. Suppose 2*f + 4*v - 32 = 0, -5*v + 5 = -a*f - 8. Does 2 divide f?
True
Suppose 5*w = 3*n + 2*n + 75, -47 = -3*w + n. Is 3 a factor of w?
False
Let v = -19 + 80. Suppose 5*a + v = 211. Is 10 a factor of a?
True
Suppose 5*a - 4 = 16, 28 = -2*b + 5*a. Let m = 6 + b. Suppose -l - 92 = -5*k - 0*l, 0 = m*k + 4*l - 28. Is 18 a factor of k?
True
Let t = -3 + 15. Is t a multiple of 4?
True
Let k be (-712)/(-36) + (-6)/(-27). Suppose 5*l - 94 = 2*q + 34, k = -5*q. Is 8 a factor of l?
True
Let y(z) = z**3 + 5*z**2 - z - 1. Suppose 2*m - 2*u = -6, -m + 3*u + 1 = 2. Is y(m) a multiple of 3?
False
Suppose 22 = 5*b - 18. Is b a multiple of 4?
True
Let j = 39 - 23. Suppose -3*r - 2*r - 5*m + 20 = 0, -j = -4*r - 5*m. Does 4 divide r?
True
Let j(r) = r + 2. Let s be j(6). Suppose -w + 4*t + s = 0, 0 = -0*t - 4*t + 16. Does 12 divide w?
True
Suppose 2*p + 18 = 2*l, -5*l - 3*p + 9 = -20. Let y(j) = -j**3 + 8*j**2 + j + 6. Is y(l) a multiple of 15?
False
Let h(y) = 4*y + 4*y - 3*y. Suppose -3*v - 2 + 14 = 0. Does 9 divide h(v)?
False
Let f be 2*(18/(-4))/(-3). Suppose f*m - 37 + 16 = 0. Does 3 divide m?
False
Let t = 4 + -1. Suppose 0 = 4*o - 4*u + u - 39, t*o + 5*u + 7 = 0. Let y(x) = x**2 - 6*x + 2. Is 2 a factor of y(o)?
True
Let w be (-846)/(-21) - (-4)/(-14). Suppose -2*j = -2*l - 12, 2*l + 3*j = -0*j + 13. Is -2 - (w/l - 1) a multiple of 15?
False
Let g(h) = -2*h**2 + 1. Let u be g(3). Suppose -5*j = 3*t + 18 + 23, 5*j + 27 = 4*t. Let w = j - u. Does 5 divide w?
True
Let x = 9 - -26. Is x a multiple of 13?
False
Let c(i) = i**3 + 1. Let x be c(2). Let s = 5 - x. Is s/6 + (-68)/(-3) a multiple of 11?
True
Suppose -3*o + 9 = -5*t, 4 = 2*o - 2. Suppose -3*n + 87 = 2*u, -6*n + 3*n + 4*u = -87. Suppose -3*b + n = -2*j, 5*b - 27 = -t*b - 2*j. Does 7 divide b?
True
Suppose -24*n = -18*n - 228. Is 2 a factor of n?
True
Let u be 6/((-4)/6*3). Let c = 7 + u. Suppose -c = -t + 29. Does 18 divide t?
False
Let f(m) be the first derivative of 35*m**4/4 + m**2 - m + 1. Let g be f(1). Suppose -g = p - 4*p. Is p a multiple of 6?
True
Let v(i) = -i + 8. Let t be v(7). Let s be t/4*(-4)/(-1). Let r = 13 + s. Is 7 a factor of r?
True
Suppose 2*v - 337 = -37. Suppose -r = -66 - v. Suppose 5*i = -f + r, -5*f - 60 = -i - f. Is i a multiple of 22?
True
Does 3 divide (-1 - 0 - -3) + 3?
False
Let x be (-3)/(19/16 + -1). Suppose 2*s - 23 - 41 = 0. Let m = x + s. Is m a multiple of 7?
False
Let v = -13 - -23. Let k = 16 - v. Does 3 divide k?
True
Let y(l) = -2*l - 6. Is y(-8) a multiple of 10?
True
Suppose -2*d + 9 = d. Suppose -z = -5*x + 211, 4*z - 121 = -d*x - z. Is x a multiple of 14?
True
Is 4 + (-32)/(-4) - -4 a multiple of 3?
False
Suppose 135 = 3*j - 3*n, -16 = 5*j + 2*n - 241. Does 15 divide j?
True
Let p(a) = a**2 - 5*a + 1. Let i be p(6). Let m(w) = 15*w - i + w**2 - 5*w + 19. Is 2 a factor of m(-9)?
False
Is (-6)/3 - -2 - -28 a multiple of 11?
False
Let f(i) = 7*i + 6. Let h(m) = -7*m - 5. Let p(s) = -3*f(s) - 2*h(s). Does 14 divide p(-11)?
False
Let s = 5 - 1. Suppose 4*l - 80 = -s*o, 5*l - 94 = o - 0*o. Let u = l - 10. Is u a multiple of 7?
False
Let v(r) = r**2 - 16*r + 18