 73 - 38. Is 16 a factor of z?
False
Let m(j) = j + 6. Suppose -5*n - 1 + 6 = 0, 0 = -4*v - 4*n + 56. Let f = v - 8. Does 4 divide m(f)?
False
Let b(s) = 2*s**2 - 5*s + 3. Is b(3) even?
True
Let j(k) = 2*k**2 + 4*k - 2. Let i(q) = -q - 4. Suppose -10 = -2*v + 3*v + 5*m, -v - 2*m = 4. Let t be i(v). Does 7 divide j(t)?
True
Suppose -2*s - 3*f + 107 = 5, 4*s - 2*f = 220. Is 10 a factor of s?
False
Let t = -126 + 230. Is 26 a factor of t?
True
Suppose 943 = -5*p - 3*y, -3*y + 340 = -4*p - 409. Let o be (p/6)/((-6)/9). Let j = -21 + o. Does 13 divide j?
True
Does 38 divide ((-2280)/(-18))/((-2)/(-6))?
True
Let z = -19 - -69. Is (-10)/z - 262/(-10) a multiple of 12?
False
Suppose -x + 252 = 6*x. Is x a multiple of 12?
True
Let r be (0 + 1)/((-3)/(-300)). Suppose r = 5*w - 0*w. Is w a multiple of 10?
True
Let c(w) = 3*w - 3 - 5*w + 2 - 4. Does 5 divide c(-5)?
True
Suppose 66 = v - 5*k + 3, -3*v + 2*k + 215 = 0. Does 12 divide v?
False
Does 5 divide (-2)/(-7) + (-360)/(-63)?
False
Let y(u) = -132*u**3 + 3*u**2 + 3*u + 1. Is y(-1) a multiple of 19?
True
Let f be (-12)/(-4) + -2 + -1. Suppose f = -5*j + 24 - 4. Is j a multiple of 2?
True
Let u = -80 + 170. Is 9 a factor of u?
True
Suppose -7 = 3*g - 70. Does 21 divide g?
True
Suppose 124 = -m + 2*m - 3*o, -4*m = o - 522. Suppose 0*b + 5*b - m = 0. Is b a multiple of 12?
False
Let d(b) = 75*b - 49. Is 11 a factor of d(5)?
False
Let d = -6 - -6. Suppose -r - a + 11 = 2*a, d = 2*r + 3*a - 37. Is 13 a factor of r?
True
Suppose -14 = -2*y + 4*i, 4*y = -4*i - 14 + 90. Is 5 a factor of y?
True
Let f = 156 - 93. Does 16 divide f?
False
Is 19 a factor of 59/3 + (-28)/42?
True
Let k = -13 - -16. Let u = 11 + k. Is 4 a factor of u?
False
Suppose -4*w - w + 825 = 0. Does 21 divide w?
False
Let m = -12 - -20. Is m a multiple of 4?
True
Suppose z = 3*c - 7, 2*z - 4*z + 6 = 4*c. Let b = 1 + c. Suppose -5*s + 60 = 4*f, -s - 36 = -b*f - f. Is 4 a factor of f?
False
Let d(p) = p**3 - 6*p**2 - 7*p + 2. Let h be d(7). Let s(q) = -5*q + 2*q**h + 3 - 12 + 5. Is 9 a factor of s(5)?
False
Is 21 a factor of (-4)/(4/(-1)) + 41?
True
Let n = 0 - -3. Suppose -n*i + 34 = -35. Is i a multiple of 6?
False
Suppose 4*r + 152 = 5*j, j - 143 = -4*j + r. Is j a multiple of 7?
True
Let l(k) = 10*k**2 + 3*k. Let c(n) = -19*n**2 - 5*n. Let w(g) = -6*c(g) - 10*l(g). Let q be w(-1). Is 8 a factor of (-4)/q + 232/28?
True
Let f(z) = z - 2. Let w be f(-6). Let v(p) = -p**3 - 7*p**2 + 2*p + 2. Let q be v(w). Suppose 2*c = -3*c + q. Is 10 a factor of c?
True
Suppose 2*l - 29 = 13. Does 20 divide l?
False
Suppose -3*m + 66 = 3*a, -a + 2*m + 16 = 5*m. Does 5 divide a?
True
Suppose 2*m + m - 12 = 0. Suppose 4*r - 16 = m*l - 8*l, 14 = r - l. Suppose q + r = -2*q - 5*p, -5*q + p + 13 = 0. Is 2 a factor of q?
True
Let n(i) = -i**3 + 7*i**2 + i + 1. Is n(7) a multiple of 8?
True
Let x = 121 + -34. Suppose -5*d + x = -8. Is 9 a factor of d?
False
Let s(m) = -m + 10. Is s(-6) a multiple of 8?
True
Let i be 58/8 + (-4)/16. Let h(v) = -2*v**2 + 12 - 13*v - 3*v**2 + i*v**2 - v. Is h(9) a multiple of 17?
False
Let y = -20 - -15. Is (y/(-4))/((-5)/(-40)) a multiple of 5?
True
Suppose 0 = -2*q - 3 - 1. Let u be (56/(-12))/(q/6). Let m = 34 - u. Is m a multiple of 11?
False
Let b(h) = 23*h + 30. Is b(6) a multiple of 12?
True
Let q = -132 + 314. Is q a multiple of 20?
False
Let n be 2/(1*8/652). Let w = n - 110. Is 11 a factor of w?
False
Let j(g) = -g**3 - 4*g**2 - 4*g + 1. Is j(-4) a multiple of 17?
True
Let k = 70 + -59. Is k a multiple of 11?
True
Let p be ((-1)/2)/((-2)/24). Suppose -2*v + 12 = 3*q, 2*v - 20 = -5*q + 5*v. Suppose -5*k + q*n + 52 = -p, 3*n - 9 = 0. Is k a multiple of 14?
True
Let k be (-2)/9 + (-58)/(-18). Let r(s) = 3*s - k*s**2 - 1 + s**3 - 3 - 4*s + 0*s. Is 4 a factor of r(4)?
True
Suppose 5*u + 10 = 0, -w + 2*u = -4*w + 350. Is w a multiple of 16?
False
Suppose -5*h = -4*w - 45, -2*h + 3*w = w - 20. Suppose 27 = h*j - 28. Does 13 divide (j - 1)*(-15)/(-10)?
False
Suppose -4*a - 4*j = -68, 4*a + 10 = 3*j + 43. Is 10 a factor of a?
False
Suppose -c - h - 2*h + 68 = 0, 3*h = 2*c - 109. Suppose -c = -d - 3*t, 0 = -d + 6*d + 4*t - 262. Does 16 divide d?
False
Suppose 7*j - 620 = 2*j. Is j a multiple of 31?
True
Let r(u) = -2*u + 0*u + u - 6. Let f be r(-6). Does 12 divide (f - 99/6)*-2?
False
Let v(p) = -2*p**3 + 3*p**2 - 4*p + 3. Let d be v(2). Does 25 divide d/6*92/(-3)?
False
Let g(y) = -y**3 + 3*y**2 + 3*y - 3. Let m be g(3). Let h = m - 1. Suppose -42 - 21 = -h*p + 2*q, 5*p = -4*q + 39. Does 11 divide p?
True
Suppose p - 1 = -0. Let a be p/2 - (-45)/(-6). Let z = a + 17. Is 3 a factor of z?
False
Let z(d) = -d**2 - 12*d - 11. Let i be z(-10). Is 3/(i/(-132)*-2) a multiple of 8?
False
Suppose 0 = 2*b + 1 - 5. Suppose 0 = 5*a - b*a - 18. Is 3 a factor of a?
True
Is 4 a factor of -32*(-2 - -4)/(-4)?
True
Let o(t) = t. Let h be o(4). Suppose -4*y + 178 - 58 = 4*d, h*d - 3*y = 141. Does 11 divide d?
True
Let q be (1*-2)/(-1 - 1). Let v be (6/(-2) + 2)/q. Let c = 3 - v. Is 4 a factor of c?
True
Suppose p - 16 = -4*c, -1 = 2*c + p - 7. Is c a multiple of 2?
False
Suppose 0 = x - 10 - 5. Suppose -w - x = -4*w. Suppose -3*z - 6 = -w*z. Is z a multiple of 3?
True
Suppose 3*q - 8*q + 15 = 0. Suppose -o - q*k - 6 = 1, 0 = 2*o - k - 7. Suppose 4*x - 8 = o*x. Is x a multiple of 2?
True
Let z(q) = -3*q + 1. Let i be z(-5). Is 9 a factor of ((-36)/i)/((-1)/12)?
True
Let u(m) = -13*m. Suppose -5*n - 2 = 4*i + 28, -3*n + i - 1 = 0. Is 13 a factor of u(n)?
True
Does 11 divide (-40)/32*-74*2*1?
False
Suppose 0 = -5*d - 2*g + 522, -5*d - g + 521 = -0*d. Is 13 a factor of d?
True
Suppose 0*q = -5*q + 10. Let t be q/(-4)*2 - -16. Suppose 4*o + 16 = i, 3*i - 17 = -4*o + t. Is i a multiple of 6?
True
Suppose 3*z - 73 = 101. Is 22 a factor of z?
False
Suppose 4*b + b = 5*x - 30, -3 = x + 2*b. Suppose 0 = -4*r + x*t + 126, -2*r - t + 61 = 3. Does 16 divide r?
False
Suppose -2*u + 29 = 5*v, -13 = u - 2*u - 2*v. Let y(p) = 5*p - 10. Let j be y(u). Suppose -r - j = -2*r - 5*a, -4*a = r - 24. Does 16 divide r?
False
Suppose 7*z - 12*z + 245 = 0. Is z a multiple of 8?
False
Let c(w) = 2*w**2 + w - 1. Let q be c(1). Suppose -3*z = q - 5. Does 14 divide z/(-2) - (-90)/4?
False
Let i = -67 + 26. Let h(d) = -6*d**2 + 2*d + 2. Let s be h(-3). Let b = i - s. Is b a multiple of 17?
True
Let k = 6 - 4. Let n(t) = 3*t + 8. Let h be n(5). Suppose -k*u = 9 - h. Does 3 divide u?
False
Suppose 3*o + o = 0. Let d = o - -3. Suppose 2*g - 78 = -d*f, 5*f + g - 86 - 37 = 0. Is 8 a factor of f?
True
Let a be (4/2 - 70) + -1. Let q = 274 - 177. Let t = q + a. Is t a multiple of 17?
False
Let h = 212 + 33. Is h a multiple of 18?
False
Let w be (-12)/(-42) - 24/(-14). Let b = w + 4. Is b even?
True
Suppose -5*k + 20 = 5*y, -y - 4*y - 3*k + 22 = 0. Let q(f) = -5 + 1 + y - 5*f + 39*f. Is q(2) a multiple of 19?
False
Let j = -25 - -16. Let v be 3/(j/(-222)) + -2. Suppose -7*a + v = -3*a. Is a a multiple of 9?
True
Suppose -45 - 21 = -p. Does 17 divide p?
False
Suppose 0*o + 3*o = 0. Let p(l) = -l - 4. Let x be p(o). Is 156/(-8)*x/3 a multiple of 22?
False
Let p = 3 + 0. Let w be 1/(p - (-339)/(-114)). Let h = 60 - w. Is 11 a factor of h?
True
Let k(u) be the first derivative of 5*u**2/2 + u - 3. Is k(5) a multiple of 15?
False
Suppose -3*q = 8 - 320. Suppose -7*f = -3*f - q. Is f a multiple of 9?
False
Let m(j) = -15*j - 4. Let q be m(-6). Suppose -t - q = -c - 0, 8 = -4*t. Let o = 138 - c. Is o a multiple of 18?
True
Let l(y) = y**2 - y - 75. Is 27 a factor of l(13)?
True
Let l(p) = 4*p**2 - 2*p + 2. Let g(z) = 12*z**2 - 6*z + 6. Let k(t) = -5*g(t) + 16*l(t). Does 22 divide k(-3)?
True
Let w = 5 + -15. Suppose 3*k = 5*n - 125 + 6, -2 = -k. Let a = n + w. Does 6 divide a?
False
Suppose 2*z - 2 = 4*w - 6, 5*z - 14 = 2*w. Suppose 5*c - 2*y - z = -4*y, 5*y = -15. Suppose g - 15 = -c*g. Is 4 a factor of g?
False
Suppose h + 1 = -4*r, 3 = -h + 2*r + 20. Is h a multiple of 2?
False
Suppose 5*p = -3*x - 1 + 6, -x = 4*p - 11. Suppose p*h = -51 - 17. Let d = 4 - h. Is 19 a factor of d?
False
Let p = 3 + -7. Let s = p + 7. Suppose s*b = -4 + 85. Is b a multiple of 7?
False
Let t = 29 + 31. Is t a multiple of 6?
True
Let v = 30 + 65. Is 13 a factor of v?
False
Suppose 0 = 2*d + 4*s - 52, 0*d + 3*d =