2 + 3*m + 2. Let o be s(v). Let a = 20 + o. Is 16 a factor of a?
True
Let c = 1 + 4. Suppose 84 = 2*p + c*n, -3*p - 6 = 2*n - 110. Is p a multiple of 16?
True
Let j(q) = 3*q**3 - 4*q**2 - 2. Suppose -16 = -4*f - 4. Is 23 a factor of j(f)?
False
Suppose -3*q = -1 - 8. Suppose 17 = 5*m - 4*a, q*a + 4 - 15 = -m. Is m a multiple of 5?
True
Let l = 7 + -4. Let k = 4 + 1. Suppose 0 = -4*n + 16, k*f - 3*n + l = 2*f. Is f a multiple of 3?
True
Is 30/(12/14*(-14)/(-8)) a multiple of 20?
True
Let s = -2 - 0. Let l(q) = -q**3 + q**2 + q - 1. Does 9 divide l(s)?
True
Let o be 3 + (-2)/((-4)/(-206)). Let x = 142 + o. Is 21 a factor of x?
True
Suppose -f = 4*c - 64, -4*c = 3*f - 197 - 35. Is f a multiple of 9?
False
Suppose -s = -5*o + 54, -5*o + 66 = -2*s - 2*s. Does 8 divide o?
False
Let z(x) = 25*x - 27. Is 11 a factor of z(9)?
True
Let b(h) = 6*h**2 + 1. Let z = -12 + 17. Let x be (1/3)/(z/15). Does 3 divide b(x)?
False
Let x be 116/(-14) - 4/(-14). Let m be 164/(-12) - (-4)/6. Let g = x - m. Is 3 a factor of g?
False
Suppose 0 = d - 4*d - 2*z + 80, 0 = 5*d + 4*z - 136. Is 3 a factor of d?
True
Suppose -2*z + 3*z = 3, 3*z + 81 = 3*l. Does 10 divide l?
True
Let v(k) = 10*k. Is v(6) a multiple of 10?
True
Let x(u) = 23*u + 26. Is x(6) a multiple of 17?
False
Suppose p = 2*w + 3, 4*w + 0*p = 5*p - 15. Suppose 4*t - 2*b - 32 = w, -3*t - 4*b + 52 = 6. Suppose -2*y = -3*y + t. Is y a multiple of 8?
False
Suppose -4*k + 20 = 2*q, -4*k - q = k - 19. Let d = -17 + 45. Is (k/(-12) - -1)*d a multiple of 15?
False
Suppose 1 = -2*f - 27. Let t = 23 + f. Let y = 22 - t. Does 8 divide y?
False
Let g(c) = -6 + 6 + 5*c + 0*c**2 - c**3 + 2 - 5*c**2. Does 8 divide g(-6)?
True
Suppose 3*x = 1 + 5. Let h(q) = -q**x + 3 + 2*q - 2 + 3 - q. Is h(0) even?
True
Let b(v) = -v + 9. Let k be b(9). Suppose k = 4*x - 5*x + 14. Does 7 divide x?
True
Let s(t) = 2*t**2 + 4*t + 1. Does 15 divide s(-4)?
False
Let d = -3 - -25. Is 6 a factor of d?
False
Does 25 divide 47 + (-9)/(-3) + 2?
False
Suppose 88 = 4*c - 4*p, 2*c + 4*p - 38 = -0*c. Suppose 0 = -s + c + 11. Does 16 divide s?
True
Let k = -2 + 5. Suppose -k - 24 = -3*n. Does 3 divide n?
True
Suppose -5*c = 0, 0 = 5*o - c - 29 - 21. Suppose m = 5*z - o - 16, -m - z = -4. Is (-37)/m*(2 - 1) a multiple of 17?
False
Let j(d) = 18*d + 2. Let r be j(2). Let n be 66/21 - 2/14. Suppose -n*k + r = -k. Does 8 divide k?
False
Let g(j) = 3*j**3 + 2*j**2 - j - 1. Suppose 4*o + 8 = -0*o. Let d(f) = -12*f**3 - 8*f**2 + 4*f + 4. Let z(t) = o*d(t) - 9*g(t). Does 15 divide z(-2)?
True
Is (-3)/(1/(-10)*6) a multiple of 5?
True
Suppose 6*c = 4*c. Suppose 2*l + 190 = 8*t - 3*t, c = -4*t - 3*l + 175. Is 20 a factor of t?
True
Let h = 77 - 38. Is h a multiple of 3?
True
Suppose -b + 32 = 2. Suppose -2*i = 3*f - 54, 5*i + 5*f - 170 = -b. Is 10 a factor of i?
True
Suppose -24 = -4*m - 0*m. Suppose 4 = 2*x + 2*x. Does 7 divide 3/x*16/m?
False
Let q = 28 - -50. Does 13 divide q?
True
Let h be (-276)/(-14) - 4/(-14). Suppose 0 = -4*u + h - 4. Is u/(-3)*3/(-2) a multiple of 2?
True
Suppose 3*d - 34 = -k - 6, -32 = -k - 4*d. Is 4 a factor of k?
True
Suppose 8*z - 143 = 41. Is 6 a factor of z?
False
Suppose t - 3*d = -0*t + 120, 3*t + 5*d - 290 = 0. Suppose -j + t = 4*j. Does 7 divide j?
True
Let t = 18 + -8. Does 4 divide t?
False
Let g be (0 - -3)/((-2)/(-84)). Does 13 divide 8/20 - g/(-10)?
True
Let c be (28/(-8))/(3/(-6)). Let v(n) = n**2 - 2*n + 2. Is v(c) a multiple of 15?
False
Let n be 2/(-6) - 32/3. Let z(d) = -2*d**2 - 4. Let g be z(-3). Let q = n - g. Is q a multiple of 11?
True
Suppose 4*j + 18 = t + t, 3*j = -3*t. Suppose -7*x - 150 = -t*g - 3*x, -2*g + 5*x = -93. Is 18 a factor of g?
True
Suppose 0 = 3*j + 3*h - 45, 3*j + 0*h - 50 = 2*h. Does 16 divide j?
True
Let k(w) = -w**3 + 5*w**2 + 7 + 0 - 4 + 5*w. Is k(5) a multiple of 7?
True
Suppose i = 2*c + 10, 9 = -3*c - 6. Suppose i = 2*b - b. Suppose 5*v - 9 = 3*j + 19, b = -5*j - 5. Does 5 divide v?
True
Suppose -4*z + 5*l = -20, -20 = 5*l - 0. Let c = 28 + -24. Suppose z = -c*h - 50 + 178. Does 16 divide h?
True
Does 19 divide ((-2)/15*6)/(18/(-855))?
True
Suppose -471 = -5*g + 3*x, 468 = 5*g - 5*x + x. Does 16 divide g?
True
Let b(s) = s**3 - 7*s**2 + 7*s + 1. Let l be b(5). Let t = 55 - 16. Let j = l + t. Does 11 divide j?
False
Let i = 4 + 134. Is i a multiple of 5?
False
Let q(d) = 10*d + 4. Let o be q(3). Let z = 8 - o. Let c = z - -93. Is 17 a factor of c?
False
Let i = 14 + -8. Is i even?
True
Let q = 34 + 1. Is q a multiple of 5?
True
Suppose 0 = 3*y - 12 - 3. Suppose -y*f - 2 + 7 = 0. Suppose 4*o = -x + 14 - f, 5*o = -4*x + 52. Is 9 a factor of x?
False
Let g(x) = -4 + 4*x**2 - 6 - 4*x - 2*x**3 + 3*x**3 + 7*x**2. Does 10 divide g(-11)?
False
Let y be 13/3 - 10/(-15). Let i(x) = 8*x - 6*x + 5 + y*x - x**2. Does 11 divide i(6)?
True
Let k(v) = 48*v - 3. Is k(1) a multiple of 5?
True
Let g(r) = r**2 + 17*r + 12. Is g(-17) a multiple of 12?
True
Let z = -48 + 8. Is 13 a factor of z*-2*(-20)/(-32)?
False
Suppose 26 + 102 = 2*y. Does 6 divide y?
False
Let a = -21 + 37. Does 4 divide a?
True
Let b(c) = 2*c - 4. Let l be b(3). Let t be 2*(-1 + l + 0). Does 11 divide -1 - (-33 + (3 - t))?
False
Let m(p) = 2*p**2 + 4*p - 1. Is 5 a factor of m(-3)?
True
Let x(p) = 2*p + 2. Is 7 a factor of x(7)?
False
Let q = 145 - 98. Suppose -2 = -5*c - q. Does 8 divide (-2)/c*-3*-33?
False
Suppose 0 = -5*a - 5*v - 35, 2*a + 2*a = -3*v - 27. Let w = -3 - a. Is 2 a factor of w?
False
Suppose -5*x = -4*d + 69, 0*d - 2*x - 36 = -2*d. Is 9 a factor of ((-54)/d)/((-1)/7)?
True
Let v(z) be the third derivative of z**6/120 + z**5/15 - 5*z**4/24 + 5*z**3/6 - z**2. Let f be v(-5). Suppose f*o = 61 + 154. Is o a multiple of 16?
False
Let n(q) = 37*q + 18. Let g(v) = -12*v - 6. Let y(z) = 7*g(z) + 2*n(z). Is 12 a factor of y(-4)?
False
Suppose 4 = -0*l + 2*l. Suppose 0*d = -l*d + 44. Let y = d - 9. Is y a multiple of 5?
False
Suppose -63 = -t + 5*m - m, 2*t + 3*m = 104. Is t a multiple of 11?
True
Let d(r) = r**3 - 25*r**2 + 28*r - 2. Is 22 a factor of d(24)?
False
Suppose -2*b - 180 = -6*b + 4*s, 5*b + 3*s = 225. Suppose 2*y + y - b = 0. Is y a multiple of 5?
True
Let h(u) = u**3 + 7*u**2 + 2*u + 4. Is 17 a factor of h(-3)?
True
Let v(x) be the third derivative of -x**5/60 + 5*x**4/12 + 2*x**3 - 4*x**2. Does 8 divide v(9)?
False
Let m = 139 - 68. Does 12 divide m?
False
Let y be -3 - 4/(8/6). Let q(u) = u + 8. Let h be q(y). Suppose -2*r + m + 17 = 0, -14 = -h*r - 2*m + 6. Is 9 a factor of r?
True
Suppose 5*x = r + 364, 4*x = 3*r + 353 - 64. Is 16 a factor of x?
False
Suppose -2*q + 6*n = 2*n + 10, 0 = q - 3*n + 3. Let g = -4 - q. Suppose -1 + g = l. Does 4 divide l?
True
Let o(p) = 9*p**2 - 4*p + 3. Is 7 a factor of o(2)?
False
Does 37 divide 0 + 35 - (2 - 0)*-1?
True
Suppose -21 = 5*z - 3*y, -3*z + 8*z + 18 = 4*y. Let k = -4 - z. Suppose -k*s + 0*s + 24 = 0. Is s a multiple of 12?
True
Let m(q) = -3*q + 4. Is m(-8) a multiple of 5?
False
Let f be (1 - -4)*(-4)/10. Let h(a) = 4*a**2 + a - 1. Is h(f) a multiple of 13?
True
Let m(z) = -z**3 - 3*z**2 + 12*z. Is m(-6) a multiple of 36?
True
Let j(u) = -u**2 + 14*u + 4. Is j(6) a multiple of 13?
True
Let j(d) = d**3 + 6*d + 6*d - 4 - 5*d**2 - 4*d - 2*d**2. Suppose -4*r = -18 - 6. Is j(r) a multiple of 8?
True
Let q(f) = f**2 + 12*f + 14. Let i be q(-12). Let v(j) = 5*j. Let m be v(1). Let s = m + i. Does 19 divide s?
True
Suppose 0 = 5*t - 4 - 11. Is ((-38)/6)/((-1)/t) a multiple of 7?
False
Suppose 5*k - 188 - 74 = -3*b, 2*b - 158 = 5*k. Does 3 divide b?
True
Let g be (-6)/(2*2/2). Is (-170)/(-6) - (-1)/g a multiple of 28?
True
Let q be -2 + 2 + -32 + 3. Let b = q + 62. Does 6 divide b?
False
Let o = 286 + -114. Does 35 divide o?
False
Suppose 0 = -13*p - 7*p + 3420. Is p a multiple of 9?
True
Suppose 2*t - 27 - 22 = 5*h, 29 = -3*h + t. Is 3 a factor of (-30)/(-9)*h/(-5)?
True
Let j(z) = -z**3 - 14*z**2 - 1 - 15*z - 6 - 4 - 2. Does 13 divide j(-13)?
True
Suppose 0 = 4*t + 2*o - 342, 4*o = 5*t - 484 + 37. Does 29 divide t?
True
Suppose 0*v + n = 3*v - 381, -3*v - 4*n + 396 = 0. Does 16 divide v?
True
Let t(o) = -3*o**3 + 2 + 8*o**3 - 2*o - 3*o**2 + o**2. Let c be t(2). Suppose -c = -2*u - u. Is 5 a factor of u?
True
Let h(n) = -n**3 - 6*n**2 - 3*n - 4. Let z be h(-4). Let p = 