iple of 2?
True
Suppose 5*y - y + 8 = 0. Let t be (-3 + 3 - 8) + 2. Let d = y - t. Is d a multiple of 2?
True
Let j = -132 + 224. Suppose 0 = 3*p - p - 10. Suppose p*c + y + y = 146, j = 3*c - y. Is 18 a factor of c?
False
Let a be 3/(9/(-2))*-3. Suppose 2*s = p + 4*p + 282, a*p - 3*s + 115 = 0. Let t = p - -82. Is 10 a factor of t?
False
Let q(i) = 1 - i**2 + 3 - 2*i - i. Let m be q(-3). Is 14 a factor of (m/(-3))/(12/(-126))?
True
Let q be 2 - (2 - 3)/1. Suppose 2*n - q*d = 23, 3*n - 41 = -n + 5*d. Suppose 3*g - n*x = -4 + 133, -x - 138 = -3*g. Does 20 divide g?
False
Let j(v) = -v - 3. Does 3 divide j(-6)?
True
Let t(r) = -r**2 + 20*r - 11. Let w be t(13). Suppose -3*z + w = p, 26 = 2*z + p - 29. Is z a multiple of 16?
False
Let m(p) = 3*p - 8. Is m(8) a multiple of 8?
True
Let g(j) = j**3 - 2*j**2 + 2. Let z be g(2). Suppose z*y + 2*y - 8 = 0. Suppose -l = y*l - 72. Is l a multiple of 12?
True
Suppose -2*f + 3 = 5. Let n(k) be the second derivative of -11*k**3/6 - 5*k. Is 9 a factor of n(f)?
False
Let w be 3/((2 + 0)/18). Let n = w - 7. Does 20 divide n?
True
Suppose h = 78 - 23. Is 10 a factor of h?
False
Let p(z) = -9*z + 9. Let m be p(-7). Let h be (m/(-10))/(1/(-5)). Suppose 154 = 5*u - x, h = u + 2*x + 3*x. Does 11 divide u?
False
Let k be ((-15)/6)/((-2)/4). Suppose -4*h + 5*j + 5 = -h, -h + 1 = -2*j. Suppose -h*a + 12 = -a, 161 = k*n - 3*a. Does 21 divide n?
False
Let d = 416 - 244. Suppose 0 = -v, -v + d = 2*m + 50. Does 27 divide m?
False
Suppose -4*v + 5*b = -7*v + 82, 0 = -4*v + 2*b + 66. Suppose 0 = 4*p - 89 - v. Does 10 divide p?
False
Suppose 13*s + 166 = 1076. Is s a multiple of 37?
False
Suppose h = -2*z + 135, z + h - 3*h = 65. Is z a multiple of 20?
False
Let a be (-7)/1*6/(-21). Suppose a*g - 34 = x, 4*g - 72 = 4*x - 3*x. Is g a multiple of 19?
True
Let m(c) be the second derivative of c**4/12 - 5*c**3/6 + c**2 + c. Let k be m(5). Suppose -b + 3*u = -1 - k, -4*u + 26 = 2*b. Is b a multiple of 5?
False
Let z(k) be the third derivative of -k**7/2520 + k**6/720 + 13*k**5/60 - k**4/8 - k**2. Let r(b) be the second derivative of z(b). Is r(0) a multiple of 13?
True
Let d = -145 - -222. Does 20 divide d?
False
Suppose -t - 4*t = -2*m + 39, 24 = m - 4*t. Let d(h) = -4*h + 6. Let r be d(-6). Is (m/r)/((-2)/(-80)) a multiple of 16?
True
Let i = -3 - -7. Suppose i*q = -16, 0*y = 3*y + 5*q + 17. Is 18 a factor of 72/4 - (y + -1)?
True
Suppose -4*i + 3*i + 81 = 3*q, -3*q + 5*i = -63. Does 26 divide q?
True
Let k(i) = i**2 - i. Let v(z) = -3*z**2 - 2*z + 1. Let q(p) = 2*k(p) + v(p). Is 3 a factor of q(-3)?
False
Suppose -3*d - d + 84 = 0. Suppose 5*u - d = 34. Is u a multiple of 11?
True
Let q be (9/(-2))/(5/270). Let r = -133 - q. Suppose -4*t + 122 = -3*h, 4*t + 3*h = -0*t + r. Is 14 a factor of t?
False
Does 35 divide 6/14 + 1954/14?
True
Let r(k) = k**3 - 11*k**2 + 3. Let f be r(11). Let u = 7 + -4. Let c = f + u. Is c a multiple of 5?
False
Let i(o) = o**3 - 6*o**2 - 8*o - 7. Let v be i(7). Let w = 29 + v. Does 4 divide w?
False
Let u(n) = 24*n**3 + n. Suppose -3*t = -c - 5*t + 11, 3*c - 4*t + 7 = 0. Suppose -5*j = -3*g - 8, -1 = -4*j - 0*g - c*g. Is u(j) a multiple of 17?
False
Suppose 0 = 2*t - 0*t - 80. Does 24 divide 119/5 - (-8)/t?
True
Suppose 0 = -5*w + 3*w - 4*v + 106, -218 = -4*w - 2*v. Is w a multiple of 11?
True
Let d = -8 - -16. Let h = d - -3. Does 11 divide h?
True
Suppose 5*r + 43 = 3*q, -2*q - 2*q = r - 88. Suppose -x - 15 = -3*k, 2*x = -2*k + 4*x + 10. Let z = q - k. Is 8 a factor of z?
True
Let v(h) = h**3 - 16*h**2 + 30*h - 13. Is 5 a factor of v(14)?
True
Let t(g) = 7*g**2 + 16*g - 1. Is 8 a factor of t(-4)?
False
Suppose 14 + 14 = 2*o. Let m = o - 26. Let l(r) = -r - 5. Is 3 a factor of l(m)?
False
Let i(n) = -3 - 2 + n - 1. Let x be i(6). Suppose -5*f = -x*f - 120. Is f a multiple of 12?
True
Is (-87)/(-6) + (-5)/(-2) a multiple of 4?
False
Let p(g) = 221*g**2 + 2*g + 1. Let i be p(-1). Suppose 0 = 4*h + h - i. Is 21 a factor of h?
False
Let q be 33/15 + (-1)/5. Suppose -4*r = q*d - 94, 11 = d - r - 33. Does 4 divide d/6 + (-1)/2?
False
Let k(n) = 4*n**2 - n - 1. Let w(a) = -7*a**2 + a + 2. Let j(s) = 5*k(s) + 3*w(s). Let o be j(-3). Let q = o - -4. Is q even?
True
Suppose 2*a + 3*w = -2*a - 138, -4*a + 4*w = 124. Suppose 0*p = 2*p + 44. Let b = p - a. Is b a multiple of 4?
False
Let c = 10 - 4. Suppose 24 = c*u - 2*u. Is u a multiple of 2?
True
Suppose -g - y = 0, -5 = 2*y + 1. Let w be 54 + (-2)/(-1 + -1). Suppose -19 + w = g*m. Is 8 a factor of m?
False
Suppose 4*j + 2*x = 233 - 37, 0 = 5*j + x - 245. Suppose 2 = y - 1. Suppose y*z - j = 56. Is 20 a factor of z?
False
Suppose 0 = -z + 3*z + 18. Is (-14)/(-5) + z/(-45) a multiple of 3?
True
Suppose -3*f + 8*f = 15. Suppose 0 = f*q - 2*q. Suppose -4*h + q*h + 16 = 0. Is h a multiple of 2?
True
Let d be 2/((-3)/(-3 + 0)). Suppose -2*a + a - 5*l = -22, d*a - 68 = -4*l. Let c = -20 + a. Is c a multiple of 8?
False
Suppose 2*o = -2*o. Suppose -4*u - 40 = -5*v, o*u = -5*v + u + 25. Suppose 60 = v*r + r. Is 6 a factor of r?
True
Let z(s) = -211*s + 3. Does 24 divide z(-1)?
False
Let t(j) = j + 9. Let n be t(-4). Let v = 48 - 24. Suppose 0 = n*w + 4*i - 192, 0*i - v = -w + 4*i. Is 17 a factor of w?
False
Let j(w) be the third derivative of 5*w**5/12 + w**4/12 - w**3/3 + 9*w**2. Is j(1) a multiple of 12?
False
Does 18 divide 180/(-1)*19/(-38)?
True
Let t = -39 + 96. Does 19 divide t?
True
Let c be (-2)/(1*(-2)/24). Let t = -2 + c. Is 5 a factor of t?
False
Let u(s) = 8*s**3 - 2*s**2 - 2*s. Does 24 divide u(3)?
True
Let f = 169 - 155. Is 7 a factor of f?
True
Does 14 divide (-4 - -3 - -2)*(1 + 69)?
True
Let n(y) be the third derivative of 83*y**5/60 - y**3/6 - 2*y**2. Let t be n(-1). Suppose -2 = -3*l + t. Is 13 a factor of l?
False
Let c(a) = -a + 3. Let z be c(0). Suppose 7 + 2 = z*k. Suppose m = -5*j + 8, -5*j + 0 = k*m - 24. Is m a multiple of 4?
True
Let z(q) = -q - 11. Let y be z(-6). Let c(b) = b**3 + 8*b**2 + 3*b - 2. Is c(y) a multiple of 13?
False
Let p(j) = -53*j. Let a be p(-1). Suppose -a = -3*u + 5*v, -3*v = -u + v + 6. Let o = -14 + u. Does 6 divide o?
True
Let z(u) be the second derivative of -u**5/20 - u**3/3 - u**2/2 + 4*u. Is z(-1) even?
True
Let l be 4/(-26) - (-628)/26. Let w = l - 5. Does 6 divide w?
False
Let p(t) = -t**3 + 6*t**2 - 4*t. Let d be p(5). Is (d/(-2))/(8/(-32)) a multiple of 5?
True
Let t be 740/90 - (-2)/(-9). Suppose -2*a = 2*a + 16. Let z = t + a. Is 3 a factor of z?
False
Let j(q) = 19*q**3 + 2*q + 1. Let r be j(-1). Let i(z) = z**3 + 8*z**2 + 3*z + 8. Let m be i(-7). Let u = r + m. Is 16 a factor of u?
True
Suppose 0 = r - s + 4*s + 15, 6 = 2*r - 3*s. Let d(b) = -12*b - 2. Is 7 a factor of d(r)?
False
Let o = 43 + 40. Is o a multiple of 15?
False
Let u(l) = 124*l**2 - l - 1. Let p be u(-1). Let g(i) = 3*i - 9. Let s be g(4). Suppose -2*m - 10 = s*m, 3*a = 2*m + p. Is a a multiple of 17?
False
Let v be (-12)/(-9) - (-1)/(-3). Is (7 - v)/(-3) + 47 a multiple of 15?
True
Suppose 8*a = 5*a + 60. Is 7 a factor of a?
False
Suppose -3*b + 2 = -6*b - 2*z, b + 2 = -z. Suppose -3*p + 52 = -x, 2*p - 26 = -b*x + 7*x. Is p a multiple of 8?
False
Let o(z) = z**3 + 4*z**2 - 4*z + 2. Suppose -2*r - 45 = 5*n + 2*r, 0 = -n - 2*r - 15. Let y be o(n). Let w = 11 - y. Is w a multiple of 7?
True
Let x be 7/3 - (-2)/(-6). Suppose x*u - 4*g - 22 = 0, -2*g - 35 = -4*u + 15. Does 13 divide u?
True
Is 372/24*(0 + 2) a multiple of 17?
False
Let p = -21 - -49. Let k = -1 + p. Is 9 a factor of k?
True
Let f(s) = s**3 + 7*s**2 + 9. Let a be f(-7). Is 3 a factor of (a - 6) + 7/1?
False
Let b(r) be the second derivative of 2*r**3 - r**2/2 + 3*r. Let n(c) = -c**2 - 8*c - 6. Let t be n(-7). Is b(t) a multiple of 4?
False
Let v be (-1)/2 + (-11)/2. Let g be (-6)/(-5)*(-15)/v. Suppose 0 = -2*i + g*i - 20. Does 10 divide i?
True
Let j(x) = 19*x + 4. Let q(y) = -19*y - 4. Let l(f) = -5*j(f) - 4*q(f). Is 34 a factor of l(-5)?
False
Let f(z) = -z - 3. Let c be f(-6). Suppose -2*k + 4*a + 2 = 0, c*k = -5*a - 0 - 8. Is (k - 0 - 1)*-11 a multiple of 11?
True
Let o(h) = -h**3 + 5*h**2 + 5*h + 5. Let a be o(6). Let w be (43 - 1) + 0 + a. Let z = -10 + w. Is 9 a factor of z?
False
Let b(y) = y**2 + 10. Let z be b(-8). Let u be (-3 - -1) + 2 - z. Does 12 divide u/(-6