 + 26 + 14 = 0. Is 4/5*(-20)/z even?
True
Suppose -3*o + 65 + 139 = 5*h, -3*o = -2*h + 90. Does 14 divide h?
True
Let b(a) = a**2 - a + 2. Suppose -g - 2 - 6 = 0. Let m = -6 - g. Is 3 a factor of b(m)?
False
Is (-3)/2 + (-146)/(-4) a multiple of 7?
True
Let m(y) = 8*y**2. Suppose -2*o = 3*o + 55. Let b(a) = -33*a**2. Let c(g) = o*m(g) - 3*b(g). Is c(2) a multiple of 22?
True
Suppose -g = -1 - 5. Is 3 a factor of g?
True
Let q be (0 - (-9)/(-6))*-2. Suppose 0 = 2*u + 4*p - 6, q*u - u = 4*p + 14. Suppose -h = -0*g + g - 9, g + 3 = -u*h. Is 12 a factor of g?
True
Is 28 a factor of 3711/24 + 21/56?
False
Let k(d) = 16*d - 8. Is 12 a factor of k(2)?
True
Suppose -66 = -6*w + 90. Does 26 divide w?
True
Suppose 3*v = -v + 84. Is v a multiple of 21?
True
Suppose 5*w - 5*u = 115, 5*w - 2*u - 136 = -4*u. Let v be -11 - -2*2/(-4). Let p = w + v. Is p a multiple of 7?
True
Suppose 4*y + 4*j - 8 = 0, 0*y + 2*j = 4*y - 14. Suppose -6*k = o - 5*k - 4, k = -y. Is 2 a factor of o?
False
Suppose -i = -6*i. Let z = i - -3. Suppose 2*n - 2*u - 19 = 1, z*u + 17 = 2*n. Is n a multiple of 13?
True
Let c(x) = -6*x**2 - 2*x + 4. Let l(q) = 13*q**2 + 3*q - 9. Let m(j) = -9*c(j) - 4*l(j). Let n be m(-5). Is 8 a factor of 1*(0 + -1) + n?
False
Let d(k) = -k**3 - k**2 + 55. Is 2 a factor of d(0)?
False
Suppose 0 = 3*m + 5*c - 18, 0 = c + 2*c. Is 2 a factor of 4*(-1)/m*-6?
True
Let j = 46 - -74. Is j a multiple of 24?
True
Suppose -4*s + 4*h = 0, 12 = -3*s - 3*h + 36. Let b = 6 - s. Is 117/6 - 1/b a multiple of 6?
False
Let h = -37 - -93. Suppose h = 6*t - 2*t. Is 7 a factor of t?
True
Let m(g) = -9*g + 6. Let j be m(-9). Suppose 2*o - 6 = -4*i, -5*i + 8 = o + 2. Does 17 divide 5*(i + j/15)?
True
Suppose 5*m - 22 - 23 = 0. Let v(p) = 7 + 10 - 7 + 2*p. Is v(m) a multiple of 11?
False
Suppose 5*p + 548 = 3*d + p, 689 = 4*d + 3*p. Does 11 divide d?
True
Suppose 5 = x - 2*k, -4*k + 11 = 4*x - 3*k. Suppose -4*u = -x*u - 36. Is u a multiple of 16?
False
Suppose 11 + 325 = 3*g. Let o = g - 56. Let u = o - 32. Is 12 a factor of u?
True
Let k = -9 - -17. Does 2 divide k?
True
Let s = 31 + -16. Is s a multiple of 7?
False
Suppose -2*d + 3 = 1. Let v(n) = 4*n. Is v(d) a multiple of 3?
False
Let a be 1*-1 - (3 + -4). Let b(u) = 0*u + u + a + 2. Is b(6) a multiple of 4?
True
Let j(n) = 2*n**2 - 5*n - 7. Is 19 a factor of j(6)?
False
Suppose 10*k = 7*k + 9. Suppose -5*b = -k*b - 78. Is b a multiple of 13?
True
Let u = 11 + -17. Let l = 1 + 1. Let c = l - u. Is 3 a factor of c?
False
Let m = 69 - -9. Does 13 divide m?
True
Let h be 27/6*6/(-9). Is 0 - (h/(-1) + -32) a multiple of 29?
True
Suppose 4*a - 40 = 6*a. Let r = 47 + a. Is r a multiple of 27?
True
Suppose 0 = t - 0*t - 2. Let n(d) = 7*d**2. Is n(t) a multiple of 14?
True
Let d = 3 - 1. Suppose 0 = -d*i + 130 + 12. Is 18 a factor of i?
False
Let t = 1 + -1. Suppose 4 + t = j. Suppose -4 = -j*i, 4*b - 121 = b + 2*i. Is 17 a factor of b?
False
Let k = 13 - -29. Is k a multiple of 12?
False
Let z = 6 - 16. Is (-58)/(-5) + z/(-25) a multiple of 5?
False
Suppose 7*w - 2*w - 2*j - 77 = 0, -4 = 4*j. Does 15 divide w?
True
Let a = 103 + -24. Is a a multiple of 18?
False
Suppose -144 + 53 = -7*f. Is f a multiple of 3?
False
Let d(p) = p + 12. Let b(q) = -q**2 - 9*q + 12. Let l be b(-9). Is d(l) a multiple of 8?
True
Suppose 4 = 4*n - 4. Let h = 2 + n. Is 4 a factor of h?
True
Let v = 0 - -4. Is v even?
True
Let p = 13 - 6. Does 2 divide p?
False
Is (-30)/(-4)*84/10 a multiple of 9?
True
Let w = -4 - -9. Suppose v - w*g = -0*v + 32, 2*g + 218 = 4*v. Is 19 a factor of v?
True
Let c = 5 - 3. Suppose 9 = c*s + 3. Is 3 a factor of s?
True
Does 19 divide 4/(-14)*-997 + (-12)/(-84)?
True
Suppose -2*w = -39 - 67. Let p = w - 23. Is p a multiple of 21?
False
Does 14 divide (-2)/((-4)/(-726)*-3)?
False
Suppose -6*n + 3*n = 0. Suppose -3*v - v + 4 = n. Is 12 a factor of (0 - v) + -1 + 14?
True
Let x(n) = 9*n + 8. Let v be (-6)/(1 - 3/9). Let a be x(v). Let l = -28 - a. Is 15 a factor of l?
True
Suppose -4*l = -39 - 29. Let p = l - 12. Is 2 a factor of p?
False
Let f(x) = -5*x - 7. Let n be f(-6). Suppose -2*i + n = 3. Does 5 divide 4/(-10) - (-134)/i?
False
Let z = 4 - 0. Let d = z + 0. Suppose d*s + 36 = 272. Is s a multiple of 24?
False
Suppose 4 = -2*x + 6*x. Let g = -4 + x. Let y(m) = -11*m + 1. Is 17 a factor of y(g)?
True
Suppose 2*p + p - r - 179 = 0, 5*p - r = 299. Is 12 a factor of p?
True
Let o = 181 - 81. Does 19 divide o?
False
Let x = 70 + -54. Is x even?
True
Let c be ((-10)/4)/5*-6. Suppose 2*y = 2*o + 10, 4*o = 2*o - c*y - 5. Let l(q) = -2*q. Does 4 divide l(o)?
True
Let c(m) = m**2 + m - 4. Let y be c(0). Let v(w) = -3*w**2 + 2*w + 1. Let r(g) = -g**2 - g - 1. Let o(x) = 4*r(x) - v(x). Does 2 divide o(y)?
False
Let c = 1 + 8. Is 3 a factor of c?
True
Let n = -10 + 14. Suppose 3*x + 5*u = 25, 3*x - 26 = -n*u - 0*u. Does 6 divide x?
False
Let y = -10 - -8. Is 3 a factor of (-1 + y)*-1 + 6?
True
Let p = 0 - 0. Suppose 3*z - 12 + p = 0. Let j = 8 - z. Is j a multiple of 4?
True
Suppose 13*n = -n + 2940. Is n a multiple of 15?
True
Let b(a) = a**2 + 4*a + 2. Let v be b(-4). Suppose 38 = v*k + 3*d, -k = -0*k + 4*d - 29. Is k a multiple of 13?
True
Let o(h) = -4*h - 2. Does 10 divide o(-3)?
True
Suppose 3 + 9 = 2*x. Suppose 2 + x = 2*y. Is 3 a factor of y?
False
Let j(a) = -a**2 + 2*a + 3. Let s be j(-7). Let c = -28 - s. Does 10 divide c?
False
Let v(t) = -t + 1. Let z be v(-4). Is 14 a factor of (-209)/(-5) + 1/z?
True
Suppose -5*v - 5*o = 65, -2*v + 0 = -2*o + 30. Let q = -23 - v. Is 1*-1*(4 + q) a multiple of 3?
False
Let f be 10/3 + (-1)/3. Let z be f + 1*(-1 - 1). Let a(i) = 2*i + 1. Is 3 a factor of a(z)?
True
Let t = 4 - 2. Suppose -4*b = 4*n, -t*b + 18 = n - 7*b. Let x = n + 7. Is x a multiple of 10?
True
Let z(r) = -2*r + 5. Let l(x) = -2*x + 6. Let w(d) = 5*l(d) - 6*z(d). Is 3 a factor of w(3)?
True
Let s(d) = 196*d**2 + d - 2. Is s(1) a multiple of 15?
True
Let l = 146 - 86. Does 24 divide l?
False
Suppose 2*d - 3 = 5*o - 12, 0 = -2*o + 4*d - 6. Does 3 divide o?
True
Is (-3404)/(-111)*30/4 a multiple of 30?
False
Let q(l) be the first derivative of 9*l**2/2 + 3*l + 3. Does 16 divide q(4)?
False
Suppose 0 = s + 4*s. Suppose 0 = 4*t - 2*q - 104, -t + q - 12 + 36 = s. Is t a multiple of 10?
False
Suppose 0 = x - 0*x + f, x - 15 = 4*f. Suppose 0*n = -2*n - x*z - 3, z - 1 = 0. Does 15 divide n - (-3 - (-1 + 45))?
False
Let n = 183 + -131. Is 21 a factor of n?
False
Let z(p) = p**2 - 4*p - 8. Let i be z(7). Suppose -5*x + i - 98 = 0. Let c = 18 - x. Is 21 a factor of c?
False
Suppose t + 5*i = 2, 0*i - 63 = -3*t + 4*i. Does 12 divide t?
False
Let h = -121 + 211. Let w = -54 + h. Is 12 a factor of w?
True
Let b = -3 + 3. Let k be 3/1 - (b + 0). Suppose t + k*t = 84. Does 21 divide t?
True
Suppose 2*i - 3*i = -42. Is 14 a factor of i?
True
Let r = -175 + 271. Is 32 a factor of r?
True
Let p(n) = n**2 - 9*n - 7. Let m be p(10). Suppose -4*h = 2*q + 2, 0 = -4*h - 13 - m. Does 7 divide q?
True
Let i(b) = 11*b**2 - 2*b - 1. Does 13 divide i(2)?
True
Let f be (7/(-2))/((-3)/(-12)). Let h be 4/f + 66/(-14). Let a = h + 10. Is 5 a factor of a?
True
Let k(r) be the second derivative of r**5/20 - 5*r**4/12 - r**3/2 + 5*r**2/2 + r. Let p be 1*((-6)/21 + (-264)/(-42)). Does 12 divide k(p)?
False
Suppose 3*y = -2*d - 26 + 221, -y = -d + 105. Suppose -4*a = 5*r - d - 72, 3*a + 164 = 4*r. Does 19 divide r?
True
Let n(b) = 10 + 2*b + 5 - 9*b - 4. Is 13 a factor of n(-5)?
False
Let h(q) = -q - 7. Let u be h(-7). Suppose -4*t + u*t + 4 = 0. Does 15 divide t*-15*(-4 + 3)?
True
Let h(o) = 3*o + 0*o**3 + 8*o**2 - 4*o - 3 - o**3. Is h(6) a multiple of 21?
True
Let p = 84 - 15. Is p a multiple of 23?
True
Let h = 12 + -35. Let x(c) = -2*c**3 - c**2 - 2*c + 2. Let n be x(-3). Let s = n + h. Is s a multiple of 13?
False
Let w(h) = h**2 + 14*h - 17. Does 15 divide w(-16)?
True
Suppose 21*n = 26*n - 60. Suppose q = 4*q - 3*z - n, 26 = 5*q - 3*z. Does 2 divide q?
False
Suppose -4*y - p - 4*p + 132 = 0, p + 52 = 2*y. Is 7 a factor of y?
True
Let k(m) = m**2 - 3*m + 2. Let b be k(2). Suppose 2*z - 8 - 10 = b. Let p(x) = x**3 - 8*x**2 - 7*x - 4. Is p(z) a multiple of 12?
False
Let t = -10 - -14. Suppose -2*f + 30 = 2*d, d - t*f + 9 = 2*d. Does 17 divide d?
True