a multiple of 7?
True
Let u(w) = -3*w + 22. Is 23 a factor of u(-8)?
True
Let h(l) be the second derivative of l**3/6 + l**2/2 + 2*l. Let q be h(1). Suppose u - 14 = -4*r - r, q*r - 8 = -u. Is u even?
True
Let m(l) = l**3 + 8. Is m(0) a multiple of 8?
True
Let n(l) = -l**2 + 5*l - 2. Let t(s) = s**3 + 4*s**2 + 2*s + 5. Let k be t(-4). Let p = 6 + k. Is n(p) a multiple of 2?
True
Let x be (2 + 72/(-20))*-15. Is 7 a factor of (-86)/(-12) - 4/x?
True
Suppose y - 5 = 4*k - 0*k, 3*y - 5 = 2*k. Let c(x) = 37*x**2 - 2*x + 1. Let q(g) = g**2. Let h(u) = c(u) - 4*q(u). Is h(y) a multiple of 20?
False
Let i = 1 + -9. Suppose -d = -2*w - 23, 2*w - 1 = 3*d - 50. Let p = d - i. Is p a multiple of 18?
False
Suppose 2*a + 2*m + 8 = -2*a, 4*m + 16 = 0. Suppose a = 3*b - 52 - 14. Does 8 divide b?
False
Let l = 26 - -22. Is 8 a factor of l?
True
Let k(n) = 27*n**2 - n + 2. Let s be k(2). Suppose 5*y - 2*y = -s. Let h = y + 78. Is h a multiple of 14?
True
Suppose p - 20 = -3*t, 2*t - 22 = -t - 2*p. Let r = -1 - -3. Is r*(-4)/t*-6 a multiple of 4?
True
Let g(o) = 9*o**2 + o + 6. Let f be g(-3). Let l = f + 0. Does 23 divide l?
False
Is 2 a factor of 16 + ((-16)/10)/(32/80)?
True
Suppose -2*u + 3*u - j - 47 = 0, -2*u - j = -94. Does 6 divide u?
False
Suppose -4 + 1 = 2*h - 3*s, 0 = -3*s + 9. Suppose 0 = c - 4*j - 11, 0*j + 38 = 5*c - h*j. Is c a multiple of 5?
False
Suppose 4*i + 10 = 2*t, 2*t - 6*t + 75 = 3*i. Does 6 divide t?
False
Suppose -9*j + 267 + 408 = 0. Does 25 divide j?
True
Suppose -k - 3*k + 20 = 0. Suppose -x = 4*x - 5*j - 150, 0 = k*x + 5*j - 170. Does 9 divide x?
False
Let u(f) = 5*f - 10. Let y be u(11). Suppose 0 = -0*t - 2*t - m + y, 5*m = t - 39. Does 12 divide t?
True
Suppose 3*j + y - 3*y - 276 = 0, 0 = -5*y - 15. Does 30 divide j?
True
Let n(c) = 3*c**2 + 33*c + 24. Is n(-14) a multiple of 50?
True
Suppose 4*f - 4*y = 1092, 2*f - 3*y - 265 = f. Does 17 divide f?
False
Let z = -18 - -50. Is 32 a factor of z?
True
Suppose 2*d - 4*k - 12 = 0, 2*d + 27 = 5*d - 3*k. Is d even?
True
Let g = 28 - 14. Let b(a) = a + 4. Let i be b(-2). Suppose -t + 4 + i = -5*l, t - g = -3*l. Is t a multiple of 11?
True
Let f = -139 - -199. Is f a multiple of 11?
False
Suppose 5*v + 63 = 233. Is 16 a factor of v?
False
Suppose -4*h + 5 = -15. Does 5 divide (2 - 1)*(h - -2)?
False
Suppose -4 = 2*i - 70. Let y = i - 2. Does 16 divide (y - 0) + (-1 - 0)?
False
Let c be 15/(-6)*(-12)/(-10). Let a = c + -1. Is 18 a factor of 71/2 - 2/a?
True
Let h be (9/(-12))/((-1)/420). Suppose -4*p = p - h. Suppose -w = 4*j - 81, w - 2*j = -0*j + p. Is 26 a factor of w?
False
Suppose 5*u + 3*n + n = 295, -n = u - 60. Does 29 divide u?
False
Let n(k) = -k**3 + 19*k**2 + k - 10. Is n(19) a multiple of 5?
False
Let w(h) = -19*h**3 - 2*h**2 - 2*h - 3. Let y be w(3). Is (y/42)/(2/(-14)) a multiple of 21?
False
Let b be (-3 - -1)*3*-1. Let p(j) = -4 - j**2 + b - 2*j + 1 + j**3. Is 2 a factor of p(2)?
False
Suppose 88 = 3*h - 2. Does 10 divide h?
True
Suppose -5*k - 2 = f - 10, -4*f - 2*k = 4. Let a(h) = -h**2 - 3*h - 1. Let n be a(f). Is (1 + n + -22)*-1 a multiple of 10?
True
Suppose -6*q - 445 + 1621 = 0. Is 13 a factor of q?
False
Suppose d + 3 = 31. Is 10 a factor of -3 - (-1 - d - -2)?
False
Let m = -8 + 50. Let w(u) = 17*u. Let r be w(-1). Let b = m + r. Is 10 a factor of b?
False
Let q = -53 + 82. Does 9 divide q?
False
Let c = 77 - 69. Is 2 a factor of c?
True
Let s(x) be the third derivative of x**6/120 + x**5/12 - x**4/4 + 4*x**3/3 + 11*x**2. Is 8 a factor of s(-6)?
True
Suppose -5*i = 34 - 174. Does 7 divide i?
True
Let r = 0 + 4. Suppose r = -4*f + 24. Suppose -a = -f, -5*p + 4*a + 84 = -31. Is 9 a factor of p?
True
Let i(s) = -2*s - 3. Let w(c) = -4*c + 2. Let r be w(2). Is 5 a factor of i(r)?
False
Let q be 96/(-4)*(-2)/4. Let y be ((-2)/2)/((-2)/q). Let x(k) = k**3 - 6*k**2 + 3*k + 2. Does 20 divide x(y)?
True
Let u = -3 - -3. Let t be -4 - -75 - (u + 1). Suppose -l + 1 = 5*a, -4*l + 6*a = 4*a - t. Does 8 divide l?
True
Let r be 14/4*(1 - -1). Suppose 0 = 2*w - r - 3. Suppose 2*n - 48 = -3*a, 0*n - w*n + 21 = 2*a. Is a a multiple of 12?
False
Let o = 34 + -22. Does 12 divide o?
True
Let x = 151 - 92. Does 28 divide x?
False
Let u(o) = -o**3 - o**2 - o - 1. Does 3 divide u(-2)?
False
Let v = 1 + -3. Let b be (-4)/v*(-85)/10. Let o = b + 28. Does 11 divide o?
True
Let s be ((0/3)/2)/2. Suppose -3 = -s*y - y, -i + 17 = 5*y. Let a = 0 + i. Does 2 divide a?
True
Suppose -b = -0*b - 85. Is 17 a factor of b?
True
Let x(t) = t**2 + 1. Suppose -16 = z - 0*z + 4*y, 3*z - y = 4. Let a be x(z). Let f(w) = 5*w**2. Is f(a) even?
False
Let s(l) = -l**3 + 5*l**2 - 2*l - 3. Let b = -11 - -2. Let i be (-3)/b*3*3. Is 4 a factor of s(i)?
False
Suppose 2*x = 3*c - 2*x + 10, 0 = 5*c - x - 6. Suppose -2 = -c*a + 4. Is a a multiple of 2?
False
Let w be 0 - -4 - 97*-1. Suppose 3*q + w = 4*l, -3*l + 3*q = -0*l - 75. Is 15 a factor of l?
False
Let p(t) be the first derivative of 2*t**3/3 - t**2 - 4*t - 7. Is p(6) a multiple of 14?
True
Let u be -1*1*(-1 + -11). Suppose -3*g = -4*g + u. Is 3 a factor of g?
True
Suppose -13*b + 12*b + 4 = 0. Suppose 0 = 5*o + 2*f - 33, o + b*f - 26 = -5. Does 2 divide o?
False
Let t(p) = -p**3 + 12*p - 6. Let y be t(3). Suppose 8*z - 20 = 3*z. Suppose y*m + 5*f - 2 = -6, -z*m + 53 = -5*f. Is m a multiple of 4?
False
Suppose 0 = 2*w + 5*x - 5 - 3, -4*w = -3*x - 16. Suppose -3*j + 2*s + 16 + 14 = 0, -4*s - 44 = -w*j. Is 5 a factor of j?
False
Let x(z) = -z - 5. Let s be x(-3). Is (-6)/s*(6 + -1) a multiple of 8?
False
Let q(x) = -15*x - 1. Let g be q(-2). Let f = g - 8. Is f a multiple of 13?
False
Let l(c) = 99*c. Is 20 a factor of l(1)?
False
Let f = -4 - -7. Suppose -4*u + 167 = f*i - 5, 3*u = i - 40. Is i a multiple of 26?
True
Suppose -y = -0*k + 3*k - 376, 5*y = 2*k - 262. Is k a multiple of 18?
True
Let n(l) = 4*l + 8. Does 16 divide n(8)?
False
Suppose -2*g + 8 = -4*j, 0 = 3*g + 4*j - 12 - 0. Let w(u) = 2*u**2 + 2*u + 5. Let r(x) = x**2 + 2*x + 5. Let b(o) = -3*r(o) + 2*w(o). Does 3 divide b(g)?
True
Suppose -u + 5*h + 73 = -222, -295 = -u - 3*h. Does 59 divide u?
True
Suppose 9*x + 5*i - 25 = 4*x, 0 = 2*x + 4*i. Suppose -x = -f + 1. Let h = 24 - f. Does 5 divide h?
False
Let g(i) = -8*i - 3. Let z be g(4). Let f = 69 + z. Is 6 a factor of f?
False
Suppose 54 = 2*l - 116. Does 17 divide l?
True
Suppose -w - w = -194. Is 27 a factor of w?
False
Let x be 0*(2 - 15/6). Let y(n) = -n + 18. Is 10 a factor of y(x)?
False
Let f(q) = -2*q**3 - q - 2. Is f(-3) a multiple of 21?
False
Let p = 11 - -13. Let b = p + -17. Does 3 divide b?
False
Suppose 2*t + 5*g - 65 = -20, 0 = 2*t + 3*g - 51. Is t a multiple of 12?
False
Let y = -4 - -6. Suppose 17 - y = 3*w. Suppose -4*z = 2*f - 38 - 8, -45 = -3*z - w*f. Is z a multiple of 10?
True
Does 7 divide (46 - -11) + (1 - (2 + 0))?
True
Suppose 140 - 46 = 2*a. Let q = a + -29. Is q a multiple of 6?
True
Is (58/12*2)/(11/33) a multiple of 11?
False
Let n be 4 - (-1 - (-6)/3). Let w be (-6)/(-3)*27/2. Does 6 divide 24/w*n*3?
False
Let a(i) = i**3 - 6*i + 6. Suppose -4*p = -4*f + 4, -f + 12 = 2*f. Is 15 a factor of a(p)?
True
Let i be 6/(-21) - 2/(-7). Suppose 3*p - 42 = -i*p. Is p a multiple of 6?
False
Let j be 106/22 - 16/(-88). Suppose 0 = -4*g + g - 4*r + 174, -2*r = -j*g + 264. Is g a multiple of 27?
True
Let u(z) = -2*z**3 - 4*z**2 - 2*z + 2. Let o be u(-2). Is (16/6)/(4/o) a multiple of 4?
True
Suppose -2*a - 9 = -5*a. Suppose 0 = -6*u + a*u + 81. Does 12 divide u?
False
Let i be -2 + 0 - (1 - 5). Let x be (-6)/12 - (-1)/i. Suppose y + y - 6 = x. Is 2 a factor of y?
False
Suppose 68 = 5*v - 112. Let s = -24 + v. Is s a multiple of 12?
True
Let a(m) = 1 - 4*m - 2*m + 0 - 5. Let u be (-1)/((-1)/(0 - 3)). Does 11 divide a(u)?
False
Suppose 181 = 5*d - 289. Is 21 a factor of d?
False
Let v(c) = -c + 11. Let k be v(8). Suppose 0 = 2*g + k*g - 380. Suppose 5*o + 5*x = 190, -2*o + 2*x - 6*x = -g. Does 15 divide o?
False
Let w = -35 - 2. Let z = w + 62. Is z a multiple of 12?
False
Suppose -7*d + 28 = -3*d. Suppose 5*f - d = 28. Does 7 divide f?
True
Is (1/(3/51))/1 a multiple of 17?
True
Suppose -4*y + 13 = 5. Suppose s - y*s = -6. Does 6 divide s?
True
Suppose v + 5*b + 0*b + 7 = 0, -16 = -2*v + 5*b. Suppose -v*w - 5 + 32 = 0. Supp