 t. Suppose n - l*n + 84 = 0. Is 10 a factor of n?
False
Let u(b) = -b + 13. Let x be u(9). Is ((-18)/x)/((-18)/24) a multiple of 5?
False
Let x(d) = d**2 + 5*d - 2. Let y be x(-7). Let j = y + 18. Is 15 a factor of j?
True
Suppose 2*i - 31 = -1. Suppose 40 = -9*g + 4*g. Let n = g + i. Is 3 a factor of n?
False
Suppose 0 = -2*d + 6 - 2. Suppose -d*p = p. Suppose 2*z = 6*z + 2*w - 18, 5*z + 3*w - 23 = p. Is 2 a factor of z?
True
Suppose 3 = -2*h + 5. Let o be 1 - -2*h/2. Suppose 10 = a + o. Is 3 a factor of a?
False
Suppose 208 + 319 = 5*a - 3*q, 2*a - 215 = -3*q. Suppose -5*i + 59 + a = 0. Does 13 divide i?
False
Let f(u) be the third derivative of u**5/60 - u**4/12 + 4*u**2. Is 3 a factor of f(3)?
True
Let s = 7 - 4. Let w = -7 + s. Does 15 divide (-122)/w + 1/2?
False
Let d(z) be the first derivative of z**3/3 + 5*z**2/2 - 5*z + 1. Let v be (32/(-20))/((-1)/(-5)). Is 7 a factor of d(v)?
False
Let g be (-2)/1 + -1*1. Let u = 12 - 10. Does 3 divide g + (0 - -13) - u?
False
Suppose 0 = -0*h + 4*h - 428. Suppose 0*o = 2*o + 126. Let r = h + o. Is r a multiple of 22?
True
Suppose -2*w + 27 = a, -3*a = -2*a + 1. Is 5 a factor of w?
False
Suppose 4*z + 44 = k, -6*k + k + z + 239 = 0. Is 4 a factor of k?
True
Suppose -3*x + 1 = 121. Let i = -21 - x. Is i a multiple of 19?
True
Let g be -2 - 1 - (-7 - -1). Suppose -3*u = -3*v - u + 76, 5*u - 62 = -g*v. Does 12 divide v?
True
Suppose -1302 = -7*g + 427. Does 13 divide g?
True
Let b(z) = -16*z - 1. Suppose -3*c - 5 = 2*c. Is b(c) a multiple of 7?
False
Suppose 3*t - 2*f = f + 138, 4*t + 3*f - 170 = 0. Suppose 0 = -v - 2*k + t, 2*k = -3*v - 3*k + 137. Is v a multiple of 17?
False
Let g(a) = -a**3 + 6*a**2 + 2*a - 9. Let i be g(6). Suppose 84 = 4*m + 3*s, -2*s + 74 = i*m + 3*s. Does 9 divide m?
True
Let b = 75 + -57. Does 6 divide b?
True
Let m = 58 - 34. Does 8 divide m?
True
Let j = 14 + -24. Let r = j - -17. Let s(t) = 2*t + 8. Is 11 a factor of s(r)?
True
Let r(o) = -11*o + o**3 - 3 + 12*o - 3*o**2 - 6*o**2. Does 6 divide r(9)?
True
Let i(m) = -m**2 + 1 + 3*m + 0 - m**3 + 1. Let f be i(-2). Suppose y + 3*x = 21, f = -5*y - 2*x + 5*x + 159. Is 15 a factor of y?
True
Let a(y) = -y**2 + 6*y - 5. Let g be a(5). Let d = g + 5. Suppose -d*x = -x - 88. Is x a multiple of 22?
True
Suppose 3*a = 4*a. Suppose 0 = -a*z - z + 52. Does 19 divide z?
False
Suppose 0 = s + 1, 5*s - 1 = -5*w + 4. Suppose 0 = -w*x + 5 + 11. Is 6 a factor of x?
False
Let j(o) = 11*o**2 + 20*o + 20. Let a(y) = 5*y**2 + 10*y + 10. Let h(f) = 9*a(f) - 4*j(f). Is h(-11) a multiple of 13?
False
Suppose 0 = -9*p + 3*p + 216. Is p a multiple of 4?
True
Let i = -25 + 51. Let c = -14 + i. Is c a multiple of 6?
True
Let b = -28 + 42. Does 14 divide b?
True
Let h(d) = -d**3 - 9*d**2 - 11*d - 1. Is h(-8) a multiple of 6?
False
Is 13 a factor of (51/(-34))/((-3)/68)?
False
Suppose h - 10 = 22. Does 7 divide h?
False
Let d(t) = t**3 - 3*t**2 + 2*t + 92. Is d(0) a multiple of 46?
True
Suppose -z = 2*z - 453. Suppose 3*o = -5*w + z, w + 58 = 3*o - 63. Is 21 a factor of o?
True
Suppose k = 2*k + 3, -3*k = 2*x + 1. Suppose -x + 11 = t. Is t a multiple of 4?
False
Suppose 6*k - 240 = k. Is 16 a factor of k?
True
Let t be 834/12 - (-3)/6. Let b = -28 + t. Does 10 divide b?
False
Let i(b) = -26*b. Let y(c) be the second derivative of 391*c**3/6 - 3*c. Let s(h) = -46*i(h) - 3*y(h). Does 8 divide s(1)?
False
Suppose 3*d + 5 = -2*d. Let m = d - -2. Is (-1 - -8) + m + -1 a multiple of 5?
False
Is 29 a factor of ((-732)/(-8))/((-4)/(-8))?
False
Let b = -3 + 7. Is (-2)/b*(-3 - 135) a multiple of 23?
True
Suppose -4*q = -0*q + 20. Let x = 41 + q. Is x a multiple of 18?
True
Let s = -5 + 3. Let f be (s/(-2))/((-1)/(-2)). Suppose -2*a - b + 11 = -0*a, -5*b + 7 = f*a. Does 6 divide a?
True
Suppose 3*m = 2*b + 133, 2*m + 0*b - 94 = -4*b. Suppose -2*p + 26 = 2*v, -p - m = -5*v - 2*p. Is v a multiple of 6?
False
Does 3 divide (12/(-9))/((-12)/54)?
True
Suppose -u - 25 = 4*x, 2*u + 0 = -2. Let v(g) = g**3 + 7*g**2 + 3*g - 8. Let i be v(x). Let c = i + 1. Is 11 a factor of c?
True
Suppose -4 = 4*t - 80. Is 7 a factor of t?
False
Let i(x) = -41*x**3 - 3*x**2 - 3*x - 1. Does 16 divide i(-1)?
False
Let v(i) = -7*i - 1. Is 34 a factor of v(-5)?
True
Let g = 38 + 37. Suppose 4*c - 15 = -b + g, 5*c = 2*b + 119. Is 15 a factor of c?
False
Let h(z) be the first derivative of 2*z**3/3 - 3*z**2 + 2*z + 1. Is 12 a factor of h(6)?
False
Let v(t) = t**3 + 4*t**2 + 3*t - 5. Let f be v(4). Suppose -f = 5*y - 0*y. Let d = 40 + y. Does 7 divide d?
False
Suppose 2*c + 4*b + 6 = 0, -2*c + b - 1 = -3*c. Suppose -2*m + p = -57, p - 155 = -c*m - 2. Is m a multiple of 11?
False
Suppose 2*t + 2*t - 35 = -3*x, 10 = -t + 3*x. Let r = -2 - -4. Suppose 5*k - y = -6 + 27, -22 = -t*k + r*y. Is 3 a factor of k?
False
Let b(x) be the third derivative of x**5/20 - x**4/12 - 5*x**3/6 + 9*x**2. Is b(5) a multiple of 30?
True
Let s(t) be the first derivative of t**4/4 - t**3 - 5. Suppose -4*x - 5*y + 2*y = -22, -3*y + 6 = 0. Is 9 a factor of s(x)?
False
Suppose -4*g + 5 = -3. Is 14 a factor of -8*((-26)/8 - g)?
True
Let i(l) = l**3 - 8*l**2 + 3*l - 5. Let n be i(8). Suppose n + 25 = 2*s. Is s a multiple of 22?
True
Suppose 4*b - 377 - 11 = 0. Is 11 a factor of b?
False
Let o(t) = 19*t**3 + t**2 - 1. Let a(x) = 57*x**3 + 3*x**2 + x - 4. Let p(h) = -2*a(h) + 7*o(h). Is 6 a factor of p(1)?
False
Let z = 6 - 12. Let u(s) = 13*s - 1. Let t be u(1). Does 8 divide 2/z - (-100)/t?
True
Suppose -3*z + 2 = 3*m + 17, 3*m = 3*z - 15. Let v(s) = -s**3 - 5*s**2 - 6*s. Is v(m) a multiple of 10?
True
Let c = 296 + -178. Is c a multiple of 26?
False
Suppose -2*x = -x + 4*l + 9, -5*x - 11 = 3*l. Let n be 52/(x - -2)*1. Let q = n - 37. Is q a multiple of 15?
True
Let y be 3/9 - (-1)/(-3). Suppose -w + y = 2. Is 18 - (-1 - (0 + w)) a multiple of 17?
True
Suppose 2*s = 3*s - 10. Let h(d) = 5 + s*d - 3 - 3. Does 4 divide h(1)?
False
Let d(y) = -y**3 + 2*y**3 + 3*y - 1 + 6*y**2 + 0*y**2. Suppose -2*j - 4*o - 10 = -7*o, 4*j = -o - 20. Does 5 divide d(j)?
False
Suppose 2*f - 4*b = -4, 2 - 4 = -2*f + 2*b. Suppose 5*c = -5*p + 250, 0 = 2*p - c + f - 107. Is p a multiple of 17?
True
Suppose b + l + 1 = -0, 5*b + 14 = -2*l. Let m = b + 7. Suppose 0 = -4*y + 2*w - 0*w + 126, 0 = -y - m*w + 35. Is 18 a factor of y?
False
Suppose -13 = -3*q - 4*k + 51, 79 = 3*q + k. Does 28 divide q?
True
Let p be (64/(-40))/(1/5). Let u be (-3 + 8)*p/(-10). Does 11 divide (-10)/u*312/(-20)?
False
Let y(n) = 8*n + 9. Is 9 a factor of y(4)?
False
Let n = -6 + 8. Suppose -15 = -5*o + h, -n*o - 4*h - 8 - 8 = 0. Is o even?
True
Suppose 2*m = 3*m - 5. Suppose 3 + m = 2*w, -4*r + 5*w = -60. Is 10 a factor of r?
True
Let z = -261 - -36. Is (-4)/(-14) + z/(-21) a multiple of 11?
True
Let n(d) = -d**3 - 2*d**2 + 3*d + 3. Let o = 3 + -6. Let j be n(o). Suppose -2*r + 24 = 3*a, j*a - 3*r - 15 = -2*r. Is 3 a factor of a?
True
Suppose 2*m - 41 - 1 = 0. Does 21 divide m?
True
Let l(y) = -y**3 - 10*y**2 - 13*y - 21. Does 15 divide l(-9)?
True
Suppose -30 = -7*d + 2*d. Is 4 a factor of d?
False
Let x be -3*4*2/4. Let k = x + 10. Is k a multiple of 4?
True
Let l be 2/3*(5 + 1). Suppose -g + 4*p + 18 = -1, p = g - 7. Suppose -g*f - 26 + 7 = -2*q, -l*f + 54 = 3*q. Does 7 divide q?
True
Suppose 6 - 5 = u. Let i(t) = 7*t + 1. Is i(u) a multiple of 4?
True
Let t be (-61)/3 - 4/6. Let c = 9 + t. Let o = 6 - c. Does 9 divide o?
True
Suppose 0 = 4*a + 14 + 66. Suppose -d + 2*f = -f - 2, 3*d - 4*f + 4 = 0. Is (-6)/d + (-30)/a a multiple of 2?
False
Suppose 24*k = 22*k + 410. Does 41 divide k?
True
Let f be (-1222)/(-9) + (-2)/(-9). Suppose y - 45 = p, p + f = 5*y - 85. Does 22 divide y?
True
Let i = 16 - 23. Let h = 10 + i. Suppose -5*o - h*m + 36 = 0, 4*o + 5*m - 27 = -6. Does 5 divide o?
False
Let h(o) = o**3 + 6*o**2 + o. Let a be h(-5). Suppose -p = -0*p - a. Is p a multiple of 6?
False
Let o(n) = 8*n**3 + n**2 + 1. Does 20 divide o(2)?
False
Suppose -22*x + 1365 = -15*x. Is 18 a factor of x?
False
Suppose -5 = -b - 1. Let r = 6 - b. Let p(m) = 11*m - 1. Is p(r) a multiple of 11?
False
Let y be (8/16)/(1/(-20)). Does 3 divide (y/4)/((-5)/10)?
False
Let x = -81 - -113. Is 7 a factor of x?
False
Suppose -2*l + 3*l = 2. Suppose -4 = -l*v + 2. Suppose -4*p - 4*t + 58 = -t, 0