tiple of 5?
False
Suppose -2*z + 53 - 11 = 0. Is z a multiple of 4?
False
Let t = 52 + -32. Does 4 divide t?
True
Suppose 9*v - 33 = 93. Is 2 a factor of v?
True
Let b be 27*(3 - 11/3). Is 1*(2/(-1) - b) a multiple of 7?
False
Suppose 13 = -3*j + 5*i, j + 3*i + 21 = -2*j. Let h(p) = p**3 + 7*p**2 + 2*p - 4. Is h(j) a multiple of 11?
False
Let k be 4/12 + (-2)/(-3). Is 11 a factor of ((-7)/14)/(k/(-22))?
True
Let u be -2 + 2 + -2 - -7. Suppose -4*b = 20, -2*v = -u*v + b + 185. Does 15 divide v?
True
Is 18 a factor of 2/(12/9)*204?
True
Let n = -52 - -110. Is 11 a factor of n?
False
Suppose 1 - 7 = c. Let p(j) = -17*j - 11. Is 19 a factor of p(c)?
False
Let f = 5 - 6. Let y(l) = l**2 - 2*l - 1. Let b be y(f). Suppose -69 = -4*t - 3*v - b*v, 4*t + 2*v = 66. Is 16 a factor of t?
True
Suppose -3*v - 2*v = 5. Let a = 24 - v. Is 11 a factor of a?
False
Let r(n) = 5*n**3 - 8*n**2 - 9*n - 4. Let a(p) be the first derivative of -p**4/4 + p**3/3 + p**2/2 + p - 1. Let y(i) = 6*a(i) + r(i). Is 23 a factor of y(-4)?
True
Suppose -5*s + 10 + 85 = 0. Suppose s = 2*k + 3. Is k a multiple of 5?
False
Suppose 0 = -k + 4*k - 84. Does 28 divide k?
True
Let h be (-38)/(-8) + 2/8. Suppose -3*m = 3*b + 2*m + h, 5*b + m - 21 = 0. Suppose 2*i + 3*v - 9 = -1, 5*i - 70 = b*v. Is 10 a factor of i?
True
Let w(r) = r**2 + 7*r + 14. Is 12 a factor of w(-11)?
False
Let n = -17 + 133. Does 30 divide n?
False
Is (-795)/2*(3 - (-38)/(-10)) a multiple of 33?
False
Let d(o) = -o**2 + 6*o + 1. Let l = 1 + 3. Let k = l + -1. Is 10 a factor of d(k)?
True
Suppose -5*p + 128 = -p. Suppose 2*y - p = 2. Is y a multiple of 17?
True
Let m = 88 + -72. Is m a multiple of 16?
True
Let j = -3 + 2. Let s(t) = -34*t. Let m be s(j). Suppose 2*x = -8, 5*c = 3*x + 28 + m. Does 4 divide c?
False
Let w = 3 + 21. Let c = w - 8. Is 9 a factor of c?
False
Let l(n) = -11*n + 4. Is l(-2) a multiple of 11?
False
Suppose 5*u = 2*b + 3*b - 325, 327 = 5*b - 4*u. Suppose -4*a + 2*w = -b + 23, a + w - 8 = 0. Let m(l) = -l**2 + 12*l - 2. Is 9 a factor of m(a)?
True
Let z(h) = -2*h + 6. Let k be z(4). Let r be 4/(-1)*-1 - k. Let l(u) = u**2 - 4. Does 14 divide l(r)?
False
Let g(i) = -i**2 - 10*i - 3. Suppose 2*f + 3*f + 3*n + 39 = 0, 0 = 5*f - n + 47. Let s be g(f). Let t = s + 16. Is 11 a factor of t?
True
Let b(y) = y**2 + 7*y - 2. Let a be b(-9). Suppose 3*t = -5*v + 19, -3*v + 6*v - 5*t - 25 = 0. Let z = a - v. Is 7 a factor of z?
False
Let w = -6 + 10. Suppose 5*j - w*t - 39 = 0, -4*j + 3*t + 23 = 8*t. Is (-1 + 15)*12/j a multiple of 12?
True
Does 15 divide (-19)/76 + 1/(8/402)?
False
Let a(i) = i**2 + 14*i + 18. Does 11 divide a(-14)?
False
Does 17 divide (2 - (1 - 0))/((-31)/(-3441))?
False
Suppose -131 = -8*r + 205. Does 9 divide r?
False
Does 11 divide ((-1)/2)/(4/(-352))?
True
Suppose -g + 3 = 2*g. Is 3 a factor of (-8 + g)/(2 + -3)?
False
Suppose 3*h + 45 = -3*f + 4*f, f - 2*h - 47 = 0. Does 16 divide f?
False
Suppose -11*v + 7*v = -4*o + 924, -v + 465 = 2*o. Does 14 divide o?
False
Suppose 276 = 6*t - 2*t. Is 23 a factor of t?
True
Let k = -11 + 78. Is k a multiple of 6?
False
Let p = 7 - 8. Let k = p + 27. Is k a multiple of 21?
False
Let w(r) = 3*r**2 + 4*r - 1. Let z = -10 + 7. Let k be w(z). Is 88/6*21/k a multiple of 13?
False
Suppose 3*z = 61 + 215. Does 23 divide z?
True
Let v(s) = s**2 - 8*s + 3. Let b be v(3). Let i = b - -24. Does 8 divide i?
False
Let n(h) = 18*h**2 + 3*h + 7. Does 14 divide n(-3)?
False
Let o be 20 - -4 - 1/(-1). Let a = -3 + o. Is a/3 - 3/9 a multiple of 7?
True
Let i(n) = 8*n**3 + n**2 - 4*n + 2. Let k be i(3). Suppose 0 = -0*p - 5*p + k. Is p a multiple of 12?
False
Suppose -q + 2*n = -57, -4*q + 3*n = -2*q - 118. Is 10 a factor of q?
False
Let l be (6/10)/(7/35). Suppose -l*j - 59 = -5*j - t, -81 = -3*j - 3*t. Is j a multiple of 16?
True
Let v(q) be the second derivative of -q**4/12 + q**3/3 + q**2 + 2*q. Let x(i) = -i - 1. Let a(b) = v(b) - 2*x(b). Is a(4) a multiple of 2?
True
Suppose -3*a + 306 + 78 = 0. Let t = 48 + a. Suppose -t = -5*d + d. Does 14 divide d?
False
Let g = -10 - -13. Suppose 17 = 4*i - g. Does 2 divide i?
False
Suppose -1140 = 5*w - 9*w. Is 57 a factor of w?
True
Let h be ((-16)/(-6))/(6/9). Suppose -a - 2*q - 3*q + 36 = 0, 2*a = -h*q + 42. Is 10 a factor of a?
False
Let u(t) = -t**2 + 13*t - 1. Is 7 a factor of u(11)?
True
Let l(b) = b**2 - 6*b + 5. Let i be l(5). Suppose i = -3*v - 0*v. Let c(s) = -s + 22. Is c(v) a multiple of 13?
False
Let v be (-54)/(-8)*32/3. Is 10 a factor of ((-3)/(-2))/(6/v)?
False
Let t(s) = s + 1. Let g(o) = -o**3 - 7*o**2 + 8*o + 5. Let b be -3 - (3 - (-4 - -2)). Let m be g(b). Is 6 a factor of t(m)?
True
Let s = -5 - -4. Let w = s + 4. Suppose 0 = -2*m + 21 + w. Is 6 a factor of m?
True
Let t = 5 + -3. Suppose -3*o + 4*h + 30 = 0, t*o - 24 = -0*o + 4*h. Does 6 divide o?
True
Let d(b) = -6*b**3 + b**2 - 1. Let v be d(1). Let z = 3 + v. Let y(g) = -3*g + 4. Is y(z) a multiple of 13?
True
Let b(j) = j**3 + 7*j**2 + 6*j - 2. Let u be b(-6). Let i be 3/((-3)/u) + 78. Suppose t - 2*t - 3*g + 40 = 0, -t = -5*g - i. Does 19 divide t?
False
Let t be 114/18 - (-4)/6. Suppose -15 = 2*z - 3*z. Let m = z - t. Does 8 divide m?
True
Suppose 0*g + 4 = g. Suppose -g*j - 2*u - 24 = -136, 3*j = u + 84. Is j a multiple of 13?
False
Is 9 a factor of (655/15 + 6)*3?
False
Suppose -4*z - 49 - 155 = -4*k, 3*k = -3*z + 147. Is k a multiple of 11?
False
Suppose -5*z = -3*z + n - 174, 0 = -5*z - 5*n + 430. Is z a multiple of 8?
True
Suppose k - 8 = -4*q, 0 = 5*k + q + 4*q - 115. Is 28 a factor of k?
True
Suppose 16*d - 11*d = 10. Suppose -8 = -d*m + 22. Is 4 a factor of m?
False
Suppose 0*r - p - 8 = -r, -3*r = p - 8. Suppose 0*v - r*v = -112. Suppose 4*l - 4 = 0, -4*g + 5*l + v = -39. Does 9 divide g?
True
Let o(q) = q**3 - 7*q**2 + 2*q - 6. Let n be o(7). Let u = n + 7. Is u a multiple of 6?
False
Let m(u) = u**3 + 5*u**2 + 4*u + 2. Let o be m(-4). Let k be (-1)/2 + 1/2. Suppose k*q = o*q - 50. Does 14 divide q?
False
Suppose 0 = -5*i - 22 + 7, -2*i - 1 = -5*p. Let f be (4/(-8))/(p/14). Let h = 26 - f. Does 19 divide h?
True
Suppose -l - 5*o = 13, 2*l + 0*o - 22 = 2*o. Is 3 a factor of l?
False
Let x = -26 - -44. Is 2 a factor of x?
True
Suppose 0 = 5*q - 3*q + 4*d - 20, 0 = 2*d + 2. Does 13 divide 6/(-4)*(-104)/q?
True
Suppose 6 = -3*k + 15. Is k a multiple of 2?
False
Suppose -7*p = 7*p - 2408. Does 22 divide p?
False
Let m(x) = 296*x**3 + x**2 + 2*x - 3. Is m(1) a multiple of 37?
True
Suppose 2*g + 5*w - 273 = 0, -285 = -4*g + 2*g - w. Is g a multiple of 49?
False
Suppose 2*j - 74 = 16. Suppose -t + g = 4*t - 273, -t - 3*g = -j. Is t a multiple of 18?
True
Let p(s) = s - 4. Let g be p(6). Let j = -9 - g. Let m = j - -16. Does 2 divide m?
False
Let p(w) = -w**3 - 14*w**2 - 14*w + 1. Is 2 a factor of p(-13)?
True
Let o(g) be the second derivative of -2*g**3/3 + 6*g**2 + 8*g. Is 14 a factor of o(-6)?
False
Suppose -4*j + 10 = -3*j. Is 10 a factor of 2*j*(-4)/(-4)?
True
Let w(s) = -34*s - 2. Is w(-2) a multiple of 14?
False
Let q(t) = -t**2 + 12*t - 2. Is q(8) a multiple of 10?
True
Is ((-2)/4)/((-6 - -13)/(-2296)) a multiple of 41?
True
Suppose -5*u = 4*j - 168, 6*u - 4 = 5*u. Let r = 99 - j. Does 19 divide r?
False
Suppose -5*f + 3 + 5 = u, -5*f - 10 = -5*u. Let d = -1 + f. Suppose d*o - 54 = -3*o. Does 18 divide o?
True
Let b = -6 + 9. Let x = -3 + b. Suppose x = -2*v - v + 45. Does 9 divide v?
False
Let v = -90 - -120. Does 5 divide v?
True
Suppose 2*t + 2*q - 64 = -3*t, -2*q = -t + 8. Is 6 a factor of t?
True
Let g = 233 + -128. Is 21 a factor of g?
True
Let w be 2/(-8) + 34/8. Let p = w + -4. Suppose 4*x + 19 + 1 = p, -3*x = 4*d - 37. Is d a multiple of 13?
True
Suppose 22 = 3*n - 5*n. Let j = 20 + 15. Let y = j + n. Is y a multiple of 12?
True
Suppose 2*t + 3*r - 18 = 7*t, r + 2 = -t. Let a be (2 - 1) + t + -8. Does 5 divide (-1)/((6/a)/3)?
True
Let t(m) = 4*m**2 - 8*m + 7. Let w(u) = -u**2 + u - 1. Let v(f) = -t(f) - 6*w(f). Let c be v(-2). Suppose -c*z = -5 - 4. Is z even?
False
Suppose -u + 3 = -2. Suppose 191 + u = 4*h. Does 22 divide h?
False
Suppose 0 = -3*v - 1 + 4. Suppose -v = 3*c - 19. Is c even?
True
Let y be -10*1/3*-24. Let w = -18 + y. Is 13 a factor of w?
False
Let o(y) = -y**3 - 5*y**2 + 9*y + 3. Let h be o(-6). Is 6