 t + 2. Is 3 a factor of b?
False
Let b(g) = g**2 + 12*g - 9. Let y be b(-7). Let w = -24 - 4. Let k = w - y. Is k a multiple of 16?
True
Suppose 5*b + 3 = 8. Let f = 5 - b. Suppose a - 22 = -5*k, -f*a + k - 22 + 68 = 0. Is a a multiple of 12?
True
Let w = 38 + -19. Is w a multiple of 6?
False
Let z(m) = 6*m - 9. Let y(b) = 17*b - 27. Let w(c) = 3*y(c) - 8*z(c). Does 6 divide w(11)?
True
Suppose 0 = -0*c + 7*c - 273. Is c a multiple of 13?
True
Let b(x) = -6 - 3 - 2*x + 12. Let f(g) = 7*g - 12. Let l(q) = 9*b(q) + 2*f(q). Is 9 a factor of l(-6)?
True
Let r(n) = -3*n**3 - 3*n**2. Let b be r(-2). Suppose -d = -0 - b. Is 6 a factor of d?
True
Suppose -5*s + 8 = -92. Does 4 divide s?
True
Suppose 334 - 1365 = -4*l - 3*o, -4*o + 1288 = 5*l. Does 13 divide (8/(-10))/((-8)/l)?
True
Suppose 14 = 5*a - 11. Let v(x) = 3*x**3 + 2*x**2 - x. Let q be v(1). Suppose -a*g - q*m = -96, 5*g - 2*g - 32 = 4*m. Is g a multiple of 8?
True
Does 15 divide ((-12)/18)/(4/(-594))?
False
Suppose 3*p = -0*p + 81. Is 11 a factor of p?
False
Suppose 5*z + 26 = z + 2*h, 5*z = -2*h - 28. Let f = z - -4. Is (f + 9)*1*3 a multiple of 8?
False
Let h be (-1)/2*0 - -23. Let u = -7 + h. Is 9 a factor of u?
False
Let y(k) = -k**2 + 2*k**2 + 0*k**2. Let q be y(5). Suppose 0 = 4*g + g - q. Is g even?
False
Suppose 0 = -2*t + 11 + 3. Let n = -5 + 7. Suppose -2*c + t*c = -2*p + 76, -p - n*c + 37 = 0. Does 18 divide p?
False
Let t(h) = 6 + 3*h + 3 - 3. Let z be t(-9). Is 14 a factor of (-888)/z + (-4)/14?
True
Let b(u) = 4*u**2 - 2*u - 1. Let a be b(2). Suppose -m + a + 9 = 0. Let i = m - 9. Is i a multiple of 11?
True
Suppose 21 = 3*d - 42. Suppose -11*l = -14*l + d. Does 5 divide l?
False
Suppose -v - 5*s = -3*v + 72, 3*v = -4*s + 154. Let k = v + -9. Does 13 divide k?
False
Let t(h) = 3*h**2 + 2*h - 10. Is 11 a factor of t(6)?
True
Let p(z) = z - 8 - 2 + z**2 + 2. Is p(-7) a multiple of 17?
True
Suppose u + 280 = 5*u. Suppose 0 = -2*c + 4*a - 7*a + 15, 0 = -5*c - 5*a + 30. Suppose -c*r + u = -5. Is 9 a factor of r?
False
Is (-724)/(-16) - 1/4 a multiple of 24?
False
Suppose o - 25 = 6*o. Does 5 divide 4/10 - 73/o?
True
Let a(i) = -66*i - 12. Does 64 divide a(-6)?
True
Let a = -1 - 3. Let b = a - -6. Suppose -21 = -3*z + b*y, 5*z + y = 27 + 8. Is 5 a factor of z?
False
Let g(y) = -y**2 - 9*y + 22. Is 3 a factor of g(-7)?
True
Let n = 7 + 7. Is n a multiple of 14?
True
Let d = 54 + 20. Let n = d + 8. Is 17 a factor of n?
False
Let x(m) = -m**2 - 5*m + 2. Let h be x(-5). Does 6 divide (-13)/(-1) - (2 - h)?
False
Let d = 14 - -45. Let h = -35 + d. Is h a multiple of 6?
True
Let w = 12 - 6. Let h be (-9)/w - 167/(-2). Let o = h + -57. Is 15 a factor of o?
False
Suppose -126 = 5*f - 926. Suppose -32 = -4*b - k + 99, 2*k = -5*b + f. Suppose 3*y = -2*m + b, 4*m - 3*y = -6*y + 62. Is m a multiple of 14?
True
Let u be (-33)/(-6) + 2/(-4). Suppose u*r = -0 + 15. Does 2 divide r?
False
Suppose 3*a + 19 = 88. Is a a multiple of 23?
True
Let n be (-87)/(-2) + (-2)/(-4). Suppose -h + n = h. Is h a multiple of 11?
True
Let q(m) = m**2 + 3*m - 6. Let f be q(-5). Let x(t) = -t + 9. Let d be x(f). Suppose 5*p - 45 = 5*k, -d*k - 25 = -4*p + p. Does 10 divide p?
True
Suppose 6*l - 664 = 3*l - 2*y, -3*y + 219 = l. Is 43 a factor of l?
False
Suppose -g = -2*g + 3*t - 11, -5*g - 3*t = 1. Let h = -19 + 33. Let y = h + g. Does 6 divide y?
True
Suppose -6*w - 6*w + 168 = 0. Is 4 a factor of w?
False
Let r = -172 + 274. Let d be r - (0/(-1) - -2). Suppose 5*z + 5*g = d, 0*g - 3*g + 20 = z. Is 7 a factor of z?
False
Let h = 133 + 37. Is 34 a factor of h?
True
Suppose -f + 3 = -3. Let v be (-9)/f*(-8)/6. Suppose 3*h + 4*c = 15, -v*h + 2*c = 2*h - 20. Is h even?
False
Let n(m) = 2 + 0 - 1. Let r(l) = -6*l**2 + l - 2. Let g(q) = -2*n(q) - r(q). Is 5 a factor of g(1)?
True
Suppose 0*b = -3*b + 6. Suppose -84 + 30 = -b*z. Does 10 divide z?
False
Does 36 divide 1*(-1 + (253 - 3))?
False
Suppose 0*w + 15 = 3*w. Suppose -w*l + 5 = -0*l. Suppose 4*r = -l + 13. Is 2 a factor of r?
False
Let i(y) = 4*y**2 - y - 10. Is i(4) a multiple of 25?
True
Suppose 0 = -4*q + 88 + 20. Is 9 a factor of q?
True
Suppose 5*s - 114 = 2*s. Is s a multiple of 22?
False
Let w = -57 - -137. Does 14 divide w?
False
Suppose 4*g = -3*r + 17, 0*g = r + 4*g - 3. Is r a multiple of 2?
False
Is ((-9)/6*104)/((-9)/6) a multiple of 8?
True
Let d = -6 - 2. Let f = d - 21. Let c = -21 - f. Does 8 divide c?
True
Suppose 4*r + r = 265. Does 10 divide r?
False
Suppose 2*c + 59 = 3*c. Suppose -4*r - r = -3*j + 23, -4*j + c = -r. Does 16 divide j?
True
Let g be 0/(-2) - 36*-3. Suppose -q - g - 132 = -5*t, 0 = -5*q. Is 12 a factor of t?
True
Let i(u) = -35*u**3 - 1. Let b be i(-1). Suppose -2*p - 5*n + 13 = 0, -3*n + 13 + b = 4*p. Does 20 divide (-176)/(-6) + p/21?
False
Let i(a) = -a**3 + 9*a**2 - 9*a + 9. Let x be i(7). Does 11 divide -2*(-3)/8*x?
True
Let u be -3 - 0 - -5 - -2. Let r(y) = 3*y - 2. Let q be r(2). Suppose -72 = -q*j + 2*s - 5*s, -72 = -u*j - 2*s. Does 8 divide j?
False
Suppose -3 = 4*m - 5*m + 4*y, -2*y = -4*m + 68. Is 3 a factor of m?
False
Is (-1)/(-4 - 28/(-8)) even?
True
Let p = 19 + -9. Suppose -3*q - p = -q. Let b(z) = -15*z - 7. Does 23 divide b(q)?
False
Suppose -4*a - l = -286, -290 = -4*a - 3*l + 4*l. Suppose -a = -6*u + 2*u. Is u a multiple of 9?
True
Suppose 3*t = -2*s + 107, 0 = 3*s - t + 16 - 171. Is s a multiple of 36?
False
Let o(b) be the third derivative of 0*b - 1/12*b**4 + 0 + 7/6*b**3 - 2*b**2. Is 17 a factor of o(-5)?
True
Suppose -662 - 586 = -6*w. Is w a multiple of 16?
True
Let k = -158 - -110. Let u(s) = -5*s - 3. Let a be u(5). Let l = a - k. Is 10 a factor of l?
True
Let o be 3*1/(-1) - -26. Suppose -4 = -3*l + o. Does 6 divide l?
False
Let r(i) be the third derivative of i**6/120 - i**5/20 - i**4/6 - 2*i**3/3 + 3*i**2. Is 26 a factor of r(5)?
True
Suppose -5*l + 2*h + 4 = -2*l, 0 = -4*h + 4. Suppose -g - 2*f + 9 = -0, -l*g = 3*f - 15. Suppose g*t + c = -2*t + 48, -5*t + 60 = -5*c. Is t a multiple of 5?
True
Suppose -4*v = v - 105. Does 7 divide v?
True
Let i be (-7)/2*2 - 1. Let f = 8 + i. Let y(u) = u**2 + 17. Does 7 divide y(f)?
False
Suppose -2*b = -k + 5, 2*k = b - 5*b - 14. Let r be b/1*(-2)/3. Is -1 - (r*-15)/3 a multiple of 5?
False
Let k(s) = -s**3 + 2*s**2 - 1. Let p be k(-1). Let u be p/(-1) + 5*1. Suppose -u*b = -b - 32. Is 8 a factor of b?
True
Is 20 a factor of 26/(-117) + 1444/18?
True
Does 3 divide (-6 + 5)*13*-2?
False
Is 10610/40 - 1/4 a multiple of 25?
False
Suppose 8*d - 12*d = -40. Is d a multiple of 10?
True
Suppose 5*p - 4*v = -9*v + 170, -4*p = -2*v - 106. Does 8 divide p?
False
Let l = -144 + 246. Is l a multiple of 17?
True
Let s be (-1)/1*1*-5. Suppose -15 - 5 = s*h. Does 4 divide (-2)/3*48/h?
True
Suppose 0*j + 2*j + 2 = 0. Let l = 1 + j. Suppose l = o - 2*o + 32. Does 16 divide o?
True
Let a(p) be the third derivative of p**5/30 + p**4/12 - p**3/2 - 2*p**2. Let f(s) be the first derivative of a(s). Does 9 divide f(4)?
True
Suppose 0 = -6*l + l + 2*w + 7, -4*l + 16 = w. Suppose 2*t - 2 = l*t. Let r = 8 - t. Is r a multiple of 10?
True
Suppose -6*a + 2*a = -108. Is 14 a factor of a?
False
Let z(l) = -2*l**2 - 6*l - 2. Let j(i) = 3*i**2 + 7*i + 2. Let y(w) = 4*j(w) + 5*z(w). Is y(3) a multiple of 4?
False
Let f = 88 + -47. Is f a multiple of 41?
True
Let u be (60/(-75))/((-1)/5). Let n = 0 + u. Is n a multiple of 2?
True
Suppose -6*s + 4 = -2*s + 4*g, -5*g + 3 = 3*s. Let m(b) = 29*b**3 - b**2. Does 13 divide m(s)?
False
Let s = 3 - 0. Suppose 0 = -2*d - 3*h + 150, 2*d - s*h - 25 = 113. Is d a multiple of 24?
True
Is 4 a factor of ((-24)/(-18))/((-1)/(-21))?
True
Let g be (2 + -3)*3 - -5. Suppose 24 = -2*v + 3*v + 2*d, 0 = -v + g*d + 12. Is v a multiple of 11?
False
Suppose 4966 = 16*h + 1206. Is 52 a factor of h?
False
Let r(x) = 5*x**2 + 2*x + 1. Suppose 2 = 4*q + 6. Let k be r(q). Suppose -3*c = k*a + 7 - 29, 0 = -c - a + 9. Is 11 a factor of c?
False
Suppose 3*z - 4*d = -0*z + 50, 0 = -4*z + 5*d + 65. Suppose -2*i + z = -48. Is 18 a factor of i?
False
Let o = 8 - 1. Let x(f) = f - 1. Is 4 a factor of x(o)?
False
Let a(c) = -7*c + 1. Let s be a(2). Is (s - -1)*(-66)/24 a multiple of 9?
False
Let r be (-1)/(-1) - -13 - -1. Suppose -2*q + r = 3*q. Suppose 3*v - 19 = q*b + 35, b = 1. Is