3). Suppose -200 = 5*f - 5*y, 5*f + 200 = 5*y - r*y. Is 14 a factor of (-4 - -4) + f/(-2)?
False
Suppose -21 - 21 = -t. Is 21 a factor of t?
True
Suppose -4*q + 6 = -6. Suppose q*z + 0*z - 198 = 0. Suppose 3*h - h = -5*l + z, -3*h + 5*l + 49 = 0. Is 6 a factor of h?
False
Is 9 a factor of 279/5 + (-13)/(-65)?
False
Suppose 0 = p - 3 - 0. Suppose 4*x - 11 = z, -3*z + 2*z - p*x + 17 = 0. Suppose 5*c - c + 16 = 0, z*o + 3*c = 8. Is o a multiple of 2?
True
Let z(a) = a**2 + 3*a + 15. Let r(k) = -k**3 - 2*k**2 + 2*k + 2. Let j be r(2). Is 17 a factor of z(j)?
True
Suppose -m + 3*k - 36 = -5*m, 2*m = 2*k + 4. Let w = -4 + m. Suppose 3*l = -w*n + 98 - 0, 33 = l + n. Is 15 a factor of l?
False
Let b(t) = 4*t**3 - 2*t**2 - 5*t**3 + 2*t**3. Let f be b(2). Let i = f - -2. Does 2 divide i?
True
Suppose 0*t - 2*t = -4. Suppose 0 = -t*z + 8 + 14. Does 7 divide z?
False
Is (-7 - -6)/(2/(-100)) a multiple of 6?
False
Suppose f - 61 = 5*l + 58, -2*l = 2*f - 226. Suppose 0 = 5*n + 5*v - 200, 2*n = 5*n - 3*v - f. Does 13 divide n?
True
Let c(s) = -11*s - 1. Let i be c(-1). Let b be 12/i + (-2)/10. Suppose 4*a - b - 27 = 0. Is 7 a factor of a?
True
Suppose -g = 0, -2*g - 110 = -5*c + 10. Is c a multiple of 8?
True
Let k(m) be the second derivative of m**4/12 + 4*m**3/3 - 11*m**2/2 - 10*m. Is 18 a factor of k(-13)?
True
Suppose -q = 4*g - 464 - 353, 0 = 5*q - 5. Is 20 a factor of g?
False
Let m = -6 + 1. Let a(d) = -2*d**3 - 7*d**2 + 3*d + 11. Does 17 divide a(m)?
False
Let v = 74 - 24. Let i = v + -8. Is 21 a factor of i?
True
Let c(s) = 4*s**2 - s - 3. Let i(w) = -20*w**2 + 6*w + 16. Let d(v) = 16*c(v) + 3*i(v). Is 16 a factor of d(-3)?
False
Suppose -h + 50 + 237 = 0. Is h a multiple of 10?
False
Let u = -14 - -45. Is 31 a factor of u?
True
Let i(z) = -5*z. Let m be i(-5). Suppose 4*j + 6 = -p + m, -3*j = -5*p + 3. Suppose y = -p + 6. Does 3 divide y?
True
Let d(v) = 15*v + 16. Is d(6) a multiple of 18?
False
Let b(f) = 19*f - 7. Let p be b(6). Suppose p = 5*m - 98. Is m a multiple of 17?
False
Suppose 12 = 4*j - 4*g - 16, -g = -1. Let x(z) = 2*z**2 - 12*z + 3. Let h be x(j). Suppose 0 = -4*w - 4, 5*w + h = c + 2*c. Is 5 a factor of c?
True
Let k = -3 - -37. Suppose 3*i = i + k. Is i a multiple of 17?
True
Suppose -3*o + 7*o + 4*f + 44 = 0, 2*o = 5*f + 13. Is (105/28)/(o/(-32)) a multiple of 4?
True
Let t = -13 + 89. Is t a multiple of 15?
False
Let h(q) = -q**2 + 3*q + 4. Let j be h(3). Let l = 11 + -7. Suppose l*w + j*n - 56 = 0, 2*n = 4*n + 6. Is 13 a factor of w?
False
Let a be 2/1 + 1 + -3. Suppose a = -2*f + 10 + 8. Is f a multiple of 9?
True
Let n(x) = -12*x + 10. Is n(-5) a multiple of 20?
False
Let l(x) = x - 7. Let d be l(9). Let k(w) = -w**3 + 4*w**2 - 4*w + 5. Is k(d) even?
False
Suppose 4*m - 88 = -4*q, -21 = -3*q - 5*m + 43. Is 20 a factor of q?
False
Let s be ((-4)/2 - -8) + -1. Suppose m + 80 = s*m. Does 10 divide m?
True
Suppose b - 4*b + 9 = 0. Let g = b + 4. Is g a multiple of 5?
False
Let z be 13/3 + 3/(-9). Suppose z*j = 3*j + 2, 0 = -d + 4*j - 4. Suppose -2*y = 4*p - 50, d*y - 5*p - 130 = -3*p. Is 19 a factor of y?
False
Suppose -w - 3*l = -2 - 3, -3*w + l = -45. Suppose -4*b - b = 4*x + 125, -4*b + 3*x - 69 = 0. Let k = w - b. Does 19 divide k?
False
Suppose 2*m - 2*a - 2 = 0, 2*a - 7*a = m + 5. Suppose m = 4*w + 2 - 58. Does 14 divide w?
True
Is 15*(4 + -3 - 0) a multiple of 3?
True
Suppose 2*i + 154 = 4*i. Does 27 divide i?
False
Suppose -t + 312 = 7*t. Is t a multiple of 13?
True
Let l be (4/(-6))/((-12)/54). Suppose 2*m - l = m. Suppose 12 = -m*h + 60. Is 16 a factor of h?
True
Let u be 7/(-21) + (-56)/(-6). Let k = u + 11. Let g = 35 - k. Is g a multiple of 4?
False
Let c = 464 - 303. Is c a multiple of 12?
False
Let s be -9 + -1 - (3 + -2). Let q(m) = m + 11. Let w be q(s). Suppose k - 24 = -w*k. Is k a multiple of 12?
True
Let k(b) = 9*b**2 - 2*b + 4. Is 14 a factor of k(4)?
True
Suppose 4*s - 3 = 5. Let x = -10 - -16. Is (x - 2)/(1/s) a multiple of 3?
False
Let d = 43 + -141. Let b = d - -162. Suppose 2*m + 0 = b. Is m a multiple of 14?
False
Let j be 3*3/9*3. Suppose -j*l = l - 112. Is l a multiple of 14?
True
Let k(t) = t**2 - 8*t - 11. Does 4 divide k(-3)?
False
Let a(k) = -k**2 - 5*k + 6. Let s be a(-6). Suppose -2*b + 4*b - 40 = s. Is b a multiple of 10?
True
Let s = -8 + 14. Suppose y + 4 = 5*a + 3, 0 = 5*y - 4*a - 37. Let f = s + y. Does 7 divide f?
False
Let n(y) be the second derivative of -2*y**2 + 0 + 5/6*y**3 + y. Is n(4) a multiple of 8?
True
Let c(w) = w + 4 + 7 - 8. Is 12 a factor of c(9)?
True
Let t(f) = -12*f + 6. Let o = -19 + 16. Does 21 divide t(o)?
True
Suppose -4*t - 4*m + 1052 = 0, -4*t = -m - m - 1046. Does 18 divide t?
False
Let f(x) = x**2 + 2*x. Let v be f(-2). Suppose v*y - 13 = -y. Is y a multiple of 13?
True
Suppose 2*h = 5*h - 12. Is 2/h + (-74)/(-4) a multiple of 19?
True
Suppose -g - 1 = r, 2 + 1 = -g. Does 2 divide r?
True
Let a = 74 - -7. Does 27 divide a?
True
Suppose 0 = -4*p + 8, -3*a = p - 6*p - 350. Does 24 divide a?
True
Suppose 4*r - 3*p = 131, -3*r - p = -2*p - 92. Suppose 4*b = 4*v + 8, -4*v - 4*b + r = 5. Suppose -v*d - d = -45. Does 8 divide d?
False
Let j = -37 - -62. Is 4 a factor of j?
False
Let t be ((-5)/15)/(2/(-174)). Suppose -5*m = -5*w + 3 + 12, -5*w = 2*m - t. Suppose -47 = -m*i + 65. Does 20 divide i?
False
Let d(q) = q**3 + 6*q**2 + 5*q + 2. Let z be d(-5). Suppose z*l + f = -2*l + 10, l = f + 5. Suppose -l*m + 20 = -22. Is m a multiple of 11?
False
Suppose -5*l + 29 = -3*w, l - 5*l - 3*w + 7 = 0. Suppose 0*q = -2*q - 2*k + 116, -l*k - 53 = -q. Does 19 divide q?
True
Let h(p) = 12*p**2 - 2*p + 3. Let z be h(2). Let b(i) = -i**3 + 16. Let m be b(0). Let t = z - m. Does 21 divide t?
False
Suppose 5*m - 17 = 4*h, 0 = -3*h + 2*h + 5*m - 23. Suppose -3*r + 73 = r - 5*j, -4*r - h*j = -66. Is 5 a factor of r?
False
Suppose 4*a - 75 = -b, 5*a + 3*b = 4*b + 105. Is 4 a factor of a?
True
Suppose -5*i + 31 - 11 = 0. Suppose -197 = 5*a + 2*o, 0 = -3*a - 0*a - i*o - 107. Let u = -25 - a. Is 7 a factor of u?
False
Let x(r) = -r**3 - 6*r**2 - 5*r - 3. Let g be x(-5). Let m be g/(-15) + (-21)/5. Let u = 7 + m. Does 2 divide u?
False
Let b(o) = 9*o**2 + 2*o - 5. Is b(2) a multiple of 20?
False
Let l(b) = -b**2 + 8*b + 5. Is 10 a factor of l(5)?
True
Suppose j = 3*j - 4*f - 24, 4*f + 12 = j. Is j a multiple of 6?
True
Suppose -2*t + 18 = 2*s - 6*s, 5*t = -s + 100. Is 7 a factor of t?
False
Suppose 0 = -3*h + h + 2. Let m(i) = i**2 - 3*i + 2. Let g be m(4). Is 4 a factor of (-385)/(-30) + h/g?
False
Let v be 1/(2 - (-10)/(-6)). Let h = 7 - v. Is h a multiple of 2?
True
Is 12 a factor of (-1000)/(-28) - 4/(-14)?
True
Let r be 2/(-9) - (-97)/(-9). Let y = r - -17. Is y even?
True
Let g = 100 + -68. Does 16 divide (2 - 1) + g - 1?
True
Let v(h) = 4*h**3 - 3*h**2 + 3*h - 2. Suppose 3 = -t + 5. Let k be v(t). Let w = -13 + k. Is 7 a factor of w?
False
Suppose -5*n - 1270 = -3080. Is 22 a factor of n?
False
Let n = -1 - -65. Is 23 a factor of n?
False
Suppose -4*k = 5*m - 206, m + 0*k + 4*k = 38. Does 2 divide (-12)/m - (-16)/7?
True
Suppose -3*d + 14 + 70 = 0. Let f = 39 - 56. Let l = f + d. Is 11 a factor of l?
True
Suppose -5*b - 22 = -57. Is 4 a factor of b?
False
Suppose -3*f + 305 = -46. Is f a multiple of 13?
True
Let d = -66 + 159. Does 9 divide d?
False
Let k(f) = -f**3 + 15*f**2 - 12*f + 11. Is k(14) a multiple of 13?
True
Let k(s) = -s**2 + 13*s. Does 14 divide k(6)?
True
Let w(r) = -r**3 - 5*r**2 - 5*r + 2. Let t be w(-4). Suppose 0*x = -3*x + t. Suppose x*j - j - 15 = 0. Is j a multiple of 15?
True
Let a = -13 + 25. Does 7 divide a?
False
Let c = 1 + 1. Suppose 12 = a + i - 4*i, 2*a = -c*i + 24. Let y = a + -3. Is 3 a factor of y?
True
Suppose -4 = -3*q + 2. Suppose 0*t + q*t = 0. Suppose 2*k - 3*i - 59 = t, -3*k + i = -i - 101. Does 11 divide k?
False
Suppose 3*a = -2*a + 690. Does 23 divide a?
True
Let p(u) = -5*u - 8. Let s = 5 - 3. Let q(y) = -2*y - 2. Let g be q(s). Is p(g) a multiple of 9?
False
Let k(o) = 40*o**2 - 3*o + 3. Does 5 divide k(1)?
True
Let w = 48 + -15. Does 26 divide w?
False
Does 13 divide 3 - 92/(-4) - 0?
True
Suppose 0 = -4*s + 7 + 1. Suppose 0 = w - 3*r + 5 - 0, 0 = 3*w + s*r + 4. Is 17 a factor of (13 - 0 - w) + 2?
True
Suppose 5*w - 2*p = 41, 2*w + 9*p -