= 3*t. Let b(r) = -r**3 - 2*r**2 - 2*r - 6. Is 17 a factor of b(t)?
True
Let g(i) = 8*i**2 - 2*i + 9. Does 35 divide g(4)?
False
Is (1 - -14)*5/3 a multiple of 10?
False
Let j be 44 + (3 - 2)*-1. Suppose -3*p + 3 = 0, 4*p + 173 = k + j. Suppose -4*u - 30 = -k. Does 16 divide u?
False
Let f = -9 - -54. Does 15 divide f?
True
Suppose -n + 9 = m - 3*n, m = -n. Suppose -m*i = -i - 118. Let d = 104 - i. Does 18 divide d?
False
Let l(y) = -y**3 - 8*y**2 + 2*y + 10. Let q be l(-8). Let s(m) = -m**2 - 9*m - 1. Is 6 a factor of s(q)?
False
Suppose -w - 2*c = -3*w, -25 = 2*w + 3*c. Let o = w - -15. Does 5 divide o?
True
Suppose 0*x - 58 = -x - 4*u, -5*x + u = -206. Let g = x - 22. Does 20 divide g?
True
Let r = -15 - -22. Is 7 a factor of r?
True
Let q = 54 + -105. Let n = -25 - q. Is n a multiple of 26?
True
Let g(u) = u**2 + 34. Let p be g(0). Suppose m - p = -0*m. Let f = m + -24. Does 5 divide f?
True
Let c(l) = -l**3 + 4*l**2 + l - 4. Let a be c(4). Suppose -h = -a*h. Suppose h = 7*v - 2*v - 90. Is 6 a factor of v?
True
Suppose 5 = 3*m + 5*b, 3 = m - 2*m - 4*b. Suppose 3*k - 3*r - 12 = -k, m*r = 0. Suppose 3*y = -y + 5*j + 88, 4*j = -k*y + 35. Does 8 divide y?
False
Suppose -x - 69 = -3*v - 4*x, -5*x = -2*v + 53. Does 8 divide v?
True
Let v be (-7 + 5)/(1/(-12)). Suppose -26 - v = -2*b + 3*n, -2*b - 5*n + 34 = 0. Does 22 divide b?
True
Let g(o) = 2*o**2 - 2*o - 1. Let d be g(-1). Let a(h) = 2*h**3 - 3*h**2 + h + 1. Is 17 a factor of a(d)?
False
Let o be 2 + 6/(2/1). Let s = o + 2. Suppose s*y = 2*y + 90. Is 6 a factor of y?
True
Let x = -7 - -8. Let d(s) = -3 - 3*s - 2*s**2 - x + 4*s**2. Does 20 divide d(-4)?
True
Suppose 3*x = r + 3*r + 230, 5*r + 303 = -4*x. Let w = r + 172. Suppose w = 4*q + 3*t, 6*q - 2*q = -4*t + 108. Does 16 divide q?
True
Let l be (16 + -2)/((-1)/(-1)). Does 18 divide ((-12)/l)/(2/(-84))?
True
Does 18 divide (-12)/30 + 282/5?
False
Is 22 a factor of (-28)/(-126) - (-4352)/18?
True
Suppose 2*a + 4*i = 54, 3*i + 90 = 4*a + 2*i. Is a a multiple of 19?
False
Let a(m) = m**2 + 8*m + 2. Let k be a(-8). Let j = k + 4. Is (4 - 2)/(4/j) a multiple of 3?
True
Let w(l) = 2*l**3 + 12*l**2 + 2*l + 6. Is w(-5) a multiple of 15?
False
Suppose -5*s = -2*s. Let a(v) = s + 3 + 2*v + 1. Does 7 divide a(6)?
False
Suppose -6 = -7*q + 8. Is 2 a factor of q?
True
Let p(v) = v**3 + 8*v**2 + 5*v - 9. Let i be p(-7). Suppose -i*o - 6 = -41. Does 3 divide o?
False
Does 20 divide 5/15 + (-281)/(-3)?
False
Suppose 0*s + 3*s = 51. Let j = s + -5. Is 6 a factor of j?
True
Let w(a) = a**2 + a. Let l(z) = -z**3 - 8*z**2 + 2*z + 1. Let u(h) = -l(h) - 4*w(h). Let d be u(-5). Does 21 divide (-63)/(-1*6/d)?
True
Suppose 14 + 20 = g. Let f = 61 - g. Is 9 a factor of f?
True
Let s(w) = -2*w**2 - 5*w - 3. Let k be s(-4). Let t = k - -30. Is 7 a factor of t?
False
Let a(f) = f**2 - f - 1. Let o be a(1). Let u(b) = -9*b + 1. Is u(o) a multiple of 5?
True
Let d(h) = -h**2 - 7*h - 2. Let f be (-2 - (-33)/6)*-2. Let i be d(f). Let o(g) = 3*g**2 - g - 2. Does 8 divide o(i)?
False
Let g be -3*(30/(-9))/2. Suppose 4*z = 2*o + 64, -o = 3*o + g*z + 128. Is 16 a factor of (-1)/((-1 + 3)/o)?
True
Let p = -87 - -282. Is 39 a factor of p?
True
Let b be 3 - (3 - 1) - -2. Suppose 4*a - a - 47 = z, -b*a - 5*z = -17. Is 9 a factor of a?
False
Let s(c) be the first derivative of -c**2/2 + 2*c + 5. Let w be s(-2). Suppose 4*m + 3*l - 45 = 0, w*l + 6 = 2. Is m a multiple of 4?
True
Let x(s) = s**3 - 4*s**2 + 3*s - 6. Let z be x(5). Suppose z = 5*o - 66. Is o a multiple of 11?
False
Let o(t) = -3*t + 2 - 1 + 1 - 5. Let q = 4 + -8. Is 9 a factor of o(q)?
True
Is 22/33 + (-394)/(-3) a multiple of 6?
True
Let w(u) = 13*u**2 - 4*u + 2. Suppose 4*g - z = 8, z = -g + 2 - 0. Is 12 a factor of w(g)?
False
Let q(p) = -3*p**3 + 29*p**2 - 15*p - 23. Let u(n) = n**3 - 10*n**2 + 5*n + 8. Let w(y) = 4*q(y) + 11*u(y). Suppose 0 = 11*b + 7 - 51. Is 4 a factor of w(b)?
True
Suppose g - 21 = -3*c + 26, 0 = 3*g + 5*c - 133. Is g a multiple of 12?
False
Is (4 + -3)/(3/18) even?
True
Let a(f) = 2*f - 1. Let t be 2/((-4)/30*3). Let i be a(t). Does 2 divide i/(-4) - (-1)/4?
False
Suppose -32 = -4*p - 8. Suppose -3*q + p*q = -r + 29, -2*r - 4*q + 48 = 0. Does 14 divide r?
True
Suppose 1013 = -2*o + 153. Is 3 a factor of o/(-50) + 2/5?
True
Let n = -1 + 3. Let r = 4 - -20. Suppose -n*c = -3*i - 1 + 15, 5*i = 4*c + r. Is i even?
True
Suppose -4*h = 3*n + 20, -2 = -n - h - 7. Suppose n = -3*b - 2*b + 50. Is (16/b)/((-3)/(-15)) a multiple of 8?
True
Suppose 3*m - 12 = 12. Does 6 divide m?
False
Is -2 - (-1 - 224/4) a multiple of 9?
False
Let c(q) = q**3 + 2*q**2 - 1. Let w(a) = a + 1. Let v be w(-2). Let d be c(v). Suppose 3*r + 4*g - 92 = d, 3*r + 2*g + 1 - 89 = 0. Is r a multiple of 14?
True
Let r(v) = -6*v + 9. Let u be r(6). Is 11 a factor of (-6)/u - (-590)/18?
True
Let c = 262 - 724. Is c/(-12) + 1/(-2) a multiple of 12?
False
Let b be 4/(-2)*(3 - 4). Suppose 2*v = -4*o - 12 + 140, -b*o = -v - 72. Does 17 divide o?
True
Let z be ((-18)/(-12))/(1/2). Is 15 a factor of 27 + (-3)/z - 0?
False
Let f(y) = 10*y**2 + 9*y + 28. Let g(s) = 3*s**2 + 3*s + 9. Let p(o) = -2*f(o) + 7*g(o). Let r be p(-5). Let q = r - 10. Is 4 a factor of q?
False
Suppose -1 = -j, 0 = -3*p - 0*p + 3*j + 123. Does 6 divide p?
True
Let p(c) = -4*c**3 + 5*c**2 + 6*c + 3. Let j(z) = -z**3 + z**2 + z. Let y(d) = 3*j(d) - p(d). Let o be y(3). Let r = o + 32. Is 10 a factor of r?
False
Let f(x) = 7*x + 1. Let a be f(-2). Let z = a + 63. Suppose 4*l - 70 = z. Is l a multiple of 15?
True
Let d be -2*15/(-6)*2. Suppose d = 5*c - 3*b, 3*c + 2*c + 2*b = -15. Is -1 + 29*(c + 2) a multiple of 15?
False
Let a = 35 + -22. Is a a multiple of 4?
False
Is 5 a factor of ((-40)/(-12))/(-5) + 17/3?
True
Does 11 divide -3 - 0 - (-12 - 2)?
True
Suppose -k + 6*k - 60 = -5*o, 2*k = 8. Does 8 divide o?
True
Suppose 5*q - 87 = 93. Does 4 divide q?
True
Let t = 2 - -46. Does 16 divide t?
True
Suppose 0 = 3*z - 2*z - 5. Suppose -z*t + 4*t = -2*u - 5, -u = 0. Suppose -l + t = 2*d - 11, -3*d = 2*l - 30. Does 12 divide l?
True
Let n(s) = -6*s**3 - 5*s**2 + 8*s + 4. Let f(g) = -g**3 + g. Let x(q) = 5*f(q) - n(q). Let d(z) = z**3 - 7*z**2 + 5*z + 1. Let o be d(6). Does 6 divide x(o)?
False
Let h(q) = q**3 - 6*q**2 + 4*q + 4. Let l = 1 + 5. Does 16 divide h(l)?
False
Let j = -27 - -51. Does 2 divide j?
True
Let w = -16 - -10. Let y(l) = -2*l - 8. Let f be y(-5). Let g = f - w. Is g a multiple of 4?
True
Let h be ((-3)/(-9))/((-4)/(-396)). Suppose h + 32 = 5*s. Is 6 a factor of s?
False
Let s be (-30)/7 + (-4)/(-14). Let o = s - -5. Suppose c + o - 6 = 0, 5*c = -2*w + 69. Is 9 a factor of w?
False
Let s(p) = p**3 - 4*p**2 - 2*p - 7. Let t be s(5). Let l be (-4)/(1 - (-5)/(-3)). Let k = l + t. Is k a multiple of 7?
True
Let z(d) = d - 2. Let f be z(6). Suppose 0 = 5*p - 2*i - 182, -p - f*p + i = -181. Is p a multiple of 12?
True
Let g(f) = f**3 + 7*f**2 - 8*f + 14. Is g(-8) a multiple of 14?
True
Let k(n) = -n**3 + 12*n**2 - 11*n + 22. Is k(9) a multiple of 18?
False
Let k(q) be the third derivative of -q**5/15 + q**3/6 - q**2. Let y be k(2). Is 174/10 + 6/y a multiple of 10?
False
Let w = -26 + 26. Is 11 a factor of (-41 + w)*-1 - 1?
False
Suppose -9 - 29 = -l. Suppose 0*k + 2*a = 2*k - 58, -k - 2*a = -l. Is 10 a factor of k?
False
Suppose -39 = 4*s - 227. Is s a multiple of 11?
False
Suppose 0 = 86*n - 78*n - 800. Is n a multiple of 10?
True
Let r = 69 + -43. Let u = r + -41. Does 6 divide ((-18)/u)/(1/5)?
True
Let j(k) = -k**3 - 2*k**2 + k - 1. Let w(h) = -2*h**3 - 4*h**2 + 2*h - 1. Let g(r) = -10*j(r) + 6*w(r). Suppose 0 = n + 2 + 1. Is 7 a factor of g(n)?
False
Let b = -14 - -19. Let x = -21 - -36. Suppose b*z - 47 = 3*c, x + 12 = z - 5*c. Is 3 a factor of z?
False
Suppose -2*c + 5*m = -c - 20, -12 = 4*m. Suppose -2*j - 93 = -c*l, j - 79 = -4*l - 2*j. Does 6 divide l?
False
Let t(c) = 18*c - 22. Is t(4) a multiple of 23?
False
Let u(p) = -50*p**3 - 1. Is 7 a factor of u(-1)?
True
Let j(k) = k - 1. Is 2 a factor of j(14)?
False
Let l = 6 - 6. Suppose l = -2*r + 3 - 1. Is 3 a factor of (0 - -1) + 2/r?
True
Let x(h) = 3*h + 1. Let b be x(-1). Let v be 0 - (2 + b) - -5. Suppose -2*n - 5*z + 12 = -0*z, v*n - 3*z - 61 = 0. Does 5 divide n?
False
Suppose -2*g - 6 = -d + 1