s 16 a factor of a?
False
Let a(i) = 7*i**3 - 18*i**2 - 8*i - 8. Let x(u) = 6*u**3 - 17*u**2 - 9*u - 7. Let n = 1 + -7. Let w(h) = n*x(h) + 5*a(h). Does 4 divide w(13)?
False
Let d(x) = 2*x**2 - x - 14. Is d(6) a multiple of 9?
False
Let u = -6 - -9. Suppose -u*q - 2*a + 32 = -q, 13 = q + 4*a. Is q a multiple of 17?
True
Is ((-111)/3)/(0 - 1) even?
False
Suppose -6 = -4*d + 6. Suppose 3*p + 3 = d*l - 3, -8 = 3*l + 4*p. Let x(h) = -h + 13. Is x(l) a multiple of 9?
False
Suppose 3*b = 9 + 3. Suppose 9 = 4*i + 5*m - 1, 0 = -b*i + 5*m + 30. Suppose i*u = -0 + 45. Is u a multiple of 4?
False
Suppose -13*y + y = -288. Does 12 divide y?
True
Let m(u) = -u**3 - 7*u**2 + 6*u + 5. Let h be m(-8). Suppose 4*q - h = 83. Is q a multiple of 9?
False
Suppose 2*d + 9 = f + 4*d, -3 = -3*f + 2*d. Let m(j) = 3*j**2 - 3*j - 4. Is m(f) a multiple of 2?
True
Does 8 divide 6/10 + 2620/50?
False
Let w be ((3 + -4)*1)/1. Let z(r) = 29*r**2 + 18*r**2 - 7*r**2. Is 21 a factor of z(w)?
False
Suppose -2*b = -4*d + 1094, 3*d - b + 2*b = 808. Does 21 divide d?
False
Let t be 6/(-8) + 54/8. Let v(a) = 0*a + a**2 - 5*a + 0*a - 4. Is v(t) a multiple of 2?
True
Suppose 0 = 4*u + 2*p + 148 - 448, 4*u + 3*p = 296. Does 20 divide u?
False
Suppose 2 = -5*u - f + 315, -4*f - 8 = 0. Suppose -3*v + u + 12 = 0. Is v a multiple of 25?
True
Let l = 2 - 12. Let g(k) = k**2 + 7*k + 10. Is g(l) a multiple of 20?
True
Let i = 4 + -3. Let l(b) = 2*b**3 + 1. Let z be l(i). Suppose -11 = -y - z. Is 4 a factor of y?
True
Let p(q) = q - 17. Let t(x) = -4*x. Let c be t(-2). Let j be p(c). Let v = -4 - j. Does 5 divide v?
True
Let f = -4 + 12. Suppose 3*h = f*h - 185. Is h a multiple of 17?
False
Let j(u) = u**3 + 5*u**2 - 7*u + 1. Suppose 2*z + 2*z + 22 = r, -z - 3*r - 12 = 0. Let x = 1 + z. Is j(x) a multiple of 18?
True
Let y be (-1 - 2) + (-4)/4. Is ((-14)/(-8))/(y/(-64)) a multiple of 14?
True
Suppose 0 = 5*z + 3*d - 26, -2*z - 4*d - 5 = -21. Let o be (9/3 - z) + 5. Suppose -3*h - 8*r = -3*r - 2, -24 = -o*h + 4*r. Is 3 a factor of h?
False
Suppose -3*y = -0*y + 2*g - 41, -2*g + 7 = y. Is 8 a factor of y?
False
Let f(i) = -31*i + 2. Let u be f(-2). Is u/(-6)*(-12)/8 a multiple of 4?
True
Let t(x) = 4*x**3 + 7*x**2 - 7*x + 4. Let s be t(4). Let n = -241 + s. Does 36 divide n?
False
Let m = 28 + 34. Let g = m + -40. Is g a multiple of 11?
True
Suppose a + 6 + 6 = 3*z, 0 = 2*a. Let q = z + -1. Is 2 a factor of q?
False
Let j(g) = -9*g - 3. Let m(t) = -19*t - 7. Let d(o) = -5*j(o) + 2*m(o). Is d(9) a multiple of 12?
False
Suppose -w = -0*w - 37. Let y = -21 + 3. Let k = w + y. Is k a multiple of 7?
False
Let w = -6 - -5. Let f = 5 + w. Is 3 a factor of f?
False
Suppose -4*w + 43 = u, 5*u - 284 = 3*w - 0*w. Is 5 a factor of u?
True
Suppose 0 = f - 6*f + 390. Does 39 divide f?
True
Suppose 64 = 5*b - 3*b. Does 11 divide b?
False
Suppose -2*q - 3 = -5*q. Let g(s) = -s + 3. Let m be g(q). Suppose 0 = -3*b - 3*p + 74 - m, 4*b - 3*p - 103 = 0. Is b a multiple of 20?
False
Is 100/15*192/20 a multiple of 8?
True
Let m(c) = c**3 - 3*c**2 + 5*c - 12. Does 21 divide m(5)?
True
Suppose 285 = 5*x - t, -4*x + 241 = -5*t - 8. Does 12 divide x?
False
Suppose 0 = -3*p + 3*h + 387, -419 = -5*p + 2*p - 5*h. Let j = -50 + p. Does 21 divide j?
False
Let d be 9/2 - (-9)/(-18). Suppose 2*x - d*h = 48, -4*x = -0*x + 5*h - 44. Is 4 a factor of x?
True
Suppose -u + 0 = 5, -3*u + 110 = 5*d. Is 14 a factor of d?
False
Suppose -2*f + 2*a + 4 = 0, 5*f - a = 2*a + 14. Does 3 divide (-1)/((f/(-30))/2)?
True
Suppose 0 = -0*k + 2*k - 14. Is 2 a factor of k?
False
Let h = 83 - 57. Is h a multiple of 26?
True
Suppose 5*j = 2*w + 23, -3*j = -4*w + 2*j - 21. Suppose 5*n - 24 = w. Suppose -s + n*s = 56. Is s a multiple of 7?
True
Let c = -49 - -71. Does 7 divide c?
False
Suppose 2*d = 6*d - 24. Let h(i) = 2*i - 1. Does 4 divide h(d)?
False
Let z(c) = c**2 - 8*c + 11. Let y be z(10). Let t = y - -27. Is 29 a factor of t?
True
Let j = -5 - -9. Let z(c) = -j*c + 8*c + 11*c. Is z(1) a multiple of 6?
False
Suppose -4*a + 48 = 4*s, 0 = 3*a + 5*s - s - 39. Suppose j - a - 3 = 0. Is 3 a factor of (27/j)/((-3)/(-8))?
True
Suppose 3*q + 100 = 4*i - 162, 325 = 5*i - 5*q. Does 19 divide i?
False
Let c = -218 - -319. Is c a multiple of 21?
False
Let v(l) = 2*l**3 - 13*l**2 + 13*l - 4. Let q(h) = -h**3 + h**2 - h - 1. Let d(b) = 3*q(b) + v(b). Let n be d(-11). Let f = 12 - n. Is 4 a factor of f?
True
Does 30 divide (384/2)/2 + 5 + -7?
False
Let z = 22 - 44. Suppose 2*w = 6*w - 124. Let a = w + z. Is a a multiple of 9?
True
Suppose 5 = f, -3*u + f - 46 = -173. Suppose u = 3*m + m. Does 6 divide m?
False
Suppose 3*m - 2*v - 1 - 16 = 0, 0 = -4*v + 8. Suppose 9*l - 68 = m*l. Is 13 a factor of l?
False
Let o(f) = -75*f + 1. Let d be o(1). Let j be d/1 - (2 + -1). Let x = -48 - j. Is 10 a factor of x?
False
Let o(g) = 14 + 24 + g**2 + 0 + 2. Does 20 divide o(0)?
True
Let i(j) = -j**2 + 18. Does 3 divide i(0)?
True
Suppose -3*m = 77 + 31. Let g = m + 53. Is g a multiple of 17?
True
Let u(i) = 3*i. Let p be u(1). Let l(x) = 7*x + 3. Does 18 divide l(p)?
False
Does 3 divide (18/(-10))/((-33)/275)?
True
Suppose -174 = -3*r - 24. Let h = r + -26. Is 17 a factor of h?
False
Is -5 + 4 - 61/(-1)*1 a multiple of 12?
True
Suppose 2*r + 4 - 16 = 0. Suppose q + q - 8 = 0, 0 = -2*y + 3*q - r. Suppose l - 31 = -4*m, -y*l + 4*l = 4*m - 33. Is m a multiple of 8?
True
Suppose 0 = -5*n + 60 + 35. Is n a multiple of 10?
False
Suppose 0*i - i + 4 = 0. Suppose -2*s + i = -6. Does 2 divide s?
False
Suppose -2*w + 42 = -58. Is w a multiple of 25?
True
Let q(j) = 3*j - 15. Let m(s) = s**3 - 8*s**2 + 8*s + 3. Let p be m(7). Does 3 divide q(p)?
True
Suppose 19 = -5*s - 6. Let y(l) = l**3 + 6*l**2 - 4. Is 21 a factor of y(s)?
True
Let i = -6 + 11. Suppose 5*q = -15 - i, -3*q = v - 46. Does 29 divide v?
True
Is -1 - -2 - 3 - -26 a multiple of 8?
True
Let t = -55 - -92. Is t a multiple of 12?
False
Let p(x) = x - 1. Let y be p(3). Suppose 2*k = y*q - 8, 4*q = -k + 11 - 0. Let i = k + 11. Is i a multiple of 5?
True
Let w be -1 + 3/(6/8). Suppose w*k = 15 - 60. Let j = k + 27. Is j a multiple of 6?
True
Suppose 88 = 8*d - 7*d. Does 8 divide d?
True
Let r = 8 - 21. Let c = 53 + r. Suppose -3*h + h + c = 0. Is h a multiple of 7?
False
Suppose 712 = 5*m + 262. Is 30 a factor of m?
True
Let n be 2 - 4 - (-20 - -2). Suppose n + 12 = 4*l. Is 2 a factor of l?
False
Let x(k) be the second derivative of -13*k**3/6 - 5*k**2/2 - 5*k. Is 15 a factor of x(-5)?
True
Let d(m) be the third derivative of m**5/15 - m**4/12 - m**3/6 + 2*m**2. Does 3 divide d(-1)?
False
Is 5 - 2*(-151 + 0) a multiple of 10?
False
Let s be (-3)/(((-6)/8)/1). Let m be (-2 + 4)/(-2) + s. Suppose 0 = m*c + 4*j - 16 - 30, 3*c + 5*j = 47. Is c a multiple of 7?
True
Let f(a) = a + 6. Let x be f(-3). Is 26 - (x + 0)/(-3) a multiple of 15?
False
Let g = -88 - -299. Does 41 divide g?
False
Let h be 3 + (-1 - (-1 + -12)). Is 9 a factor of 4/(-3)*(0 - h)?
False
Is 1 + ((-3)/1 - -22) a multiple of 10?
True
Let m(t) be the first derivative of t**4/4 + 5*t**3/3 - 5*t**2/2 - 3*t - 4. Does 7 divide m(-3)?
False
Let i be (-3)/(-4) + (-65)/(-20). Suppose i*y = -30 + 98. Does 6 divide y?
False
Let d be 22/6 - (-8)/(-12). Suppose 2*t + 1 = d*j, -3*j + 2*t - 11 = -3*t. Let b = 12 - j. Does 9 divide b?
True
Let k be 106/5 - 2/10. Suppose -23*b = -22*b - k. Is b a multiple of 15?
False
Suppose 6*c - 20 = 2*c. Suppose 3*x + 6 = c*x. Does 3 divide x?
True
Let r = 8 + -4. Suppose -5*z = -5*q - 545, r*z = -2*q - 0*q - 248. Is 13 a factor of 1*5*q/(-15)?
False
Let m(q) be the second derivative of q**4/4 - q**3/2 + q**2 + 4*q. Let y(d) = -d**3 - 4*d**2 + 3*d - 7. Let j be y(-5). Is m(j) a multiple of 20?
True
Is (108/45)/(3/40) a multiple of 16?
True
Suppose 11*s - 25 = 6*s. Suppose 0 = 4*r - 2*v - 34, 6 = r + 2*r + s*v. Is r a multiple of 5?
False
Is 2 - (-3 + -14 - -3) a multiple of 8?
True
Let j(n) = 6*n**2 + n - 2. Let a be j(-2). Let f = 33 - a. Suppose 4 = -3*q + f. Is q a multiple of 3?
True
Let x = 28 - 6. Is x a multiple of 11?
True
Let v = -17 + 107. Is 9 a factor of v?
True
Does 2 divide (-3*(-2)/(-4))/(11/(-110))?
False
Let v(k) = -k**3 - 5*k**2 - 2*k. Is 10 a factor of v(-5)?
True
Suppose 0*b = -2*b + 102. Let p = 83 - b. Is 10 a fact