t a be r(9). Let o = 23 + a. Is 14 a factor of o?
True
Suppose -z = 4*z + 45. Let v(u) = -2*u**2 - 6*u - 2. Let b be v(-6). Does 2 divide 4/(-18) + b/z?
True
Let b(v) be the third derivative of v**4/12 + v**3 + v**2. Does 18 divide b(6)?
True
Suppose -2*s + 90 = 3*s. Is 6 a factor of s?
True
Suppose -i = 3*n + 11, 2*i - 3*n - 5 + 0 = 0. Is 8 a factor of 29 + ((-3)/3 - i)?
False
Let y be 3*((-320)/12)/(-2). Let g = -5 + 5. Suppose -2*k = -5*j - y - 19, g = -4*j - 20. Is 7 a factor of k?
False
Suppose 25 = -5*v, -4*p + v = -32 + 11. Is 2 a factor of p?
True
Let s(y) = 2*y**2 - 3*y + 7. Let l be s(-5). Suppose l = -4*q + 7*q. Does 8 divide q?
True
Let t(d) = -2*d - 5. Let f be t(-4). Suppose f*k = -0*u - 2*u + 49, 3*k - 3 = 0. Is 21 a factor of (u/2)/(1/2)?
False
Let h = -3 + 39. Does 9 divide h?
True
Suppose -47 = -i + 25. Is i a multiple of 20?
False
Let w(m) = -m**3 - m**2 + 93. Let s be w(0). Suppose -5*z = -o - 164, -s = 4*z + o - 226. Does 11 divide z?
True
Suppose -7*w + 4*k + 166 = -2*w, -5*k = -5. Is 22 a factor of w?
False
Let y(g) = -g**3 - 19*g**2 - 8*g - 21. Is 26 a factor of y(-19)?
False
Let f(q) = -5*q + 5. Is f(-9) a multiple of 15?
False
Suppose 4*v + 6 = 2*g - 0*v, -5*v + 12 = 4*g. Suppose h - 35 = -4*n, 0*h + 91 = g*h - 2*n. Does 17 divide h?
False
Suppose -2*r + 0*c = 4*c - 26, r + 3*c = 14. Let v = r + 1. Is v a multiple of 12?
True
Let k be (-4)/(-10) + (-126)/15. Suppose -z + 4*z - 300 = 0. Does 8 divide z/6 + k/12?
True
Let v be ((-177)/6 + 1)*-2. Suppose 93 = 5*m - z - 97, m - v = 4*z. Is m a multiple of 16?
False
Suppose 2*b = -4*m + b + 191, -3*b = 2*m - 93. Is m a multiple of 29?
False
Let j(z) = z**3 + 11*z**2 - 24*z + 15. Is 53 a factor of j(-12)?
True
Is 10/4*(-18)/15 - -230 a multiple of 22?
False
Let d(o) = 16*o + 8. Does 23 divide d(11)?
True
Let b(w) = -w**3 + 6*w**2 + 3*w - 5. Does 2 divide b(6)?
False
Let v be (2 + -1)*(1 - -1). Let y be 3 - 1 - (-4)/v. Suppose -87 = -y*g + g. Is g a multiple of 11?
False
Suppose 0 = -3*y + 2*y + 3. Suppose 18 = -3*b + 4*b + 4*h, 12 = y*h. Suppose 5*q = -b*v + 56, -2*q - 6*v + 2*v = -16. Is 6 a factor of q?
True
Let c = 273 - 90. Is c a multiple of 15?
False
Suppose -14*t = -15*t + 37. Does 5 divide t?
False
Suppose 3*v - 2*w + 47 = -2*v, 4*v + 2*w + 52 = 0. Let c = v + 33. Is 11 a factor of c?
True
Let v be 2*(0 - 2/(-1)). Suppose v*x - 4*t = -7 + 27, 0 = -4*x + 3*t + 15. Suppose -n + 61 = 5*k, -3*k + k + n + 30 = x. Does 7 divide k?
False
Let n be 0 + 7 - 4/2. Suppose -4 - 36 = -n*d. Is 6 a factor of d?
False
Let y(a) = a**3 - 9*a**2 - 10*a + 6. Let h(j) be the second derivative of -11*j**3/6 - j**2/2 + 2*j. Let v be h(-1). Is y(v) a multiple of 4?
False
Suppose 0 = -3*j + 3*w - 9, 3*j + w + 0*w = 3. Suppose 0*b + 3*b + 6 = 0. Is (b - j)/((-2)/5) a multiple of 5?
True
Let z(q) be the first derivative of q**4/4 - q**3 - 3*q**2 + 2*q - 1. Does 11 divide z(5)?
True
Let j be 1*(0 - 1)*-3. Suppose -j*x - 3 = 0, -5*u + 128 = x + x. Is u a multiple of 13?
True
Suppose 0 = 2*s - 0*s. Suppose -z + 39 + 12 = s. Is 23 a factor of z?
False
Let d = -26 + 49. Suppose -32 = -5*m + d. Is 4 a factor of m?
False
Let x = 3 + 3. Let s(g) = g**3 - 5*g**2 - 2*g - 7. Let l be s(x). Suppose l + 0 = v. Does 6 divide v?
False
Let w = -557 - -973. Does 60 divide w?
False
Let l = -185 + 384. Is 14 a factor of l?
False
Let f(b) = -44*b + 13. Does 19 divide f(-2)?
False
Let o(v) = -38*v - 1. Let p be o(2). Suppose 750 - 155 = 5*q. Let c = p + q. Is 19 a factor of c?
False
Suppose 120 = -4*x + 6*x. Is 33 a factor of x?
False
Suppose 7*n = 5*n + 38. Suppose -44 = -i - n. Is 7 a factor of i?
False
Let m(a) = a**2 - 2*a - 4. Let c(x) = -16*x - 3. Let y be c(3). Let r be (-3)/(-9) + y/(-9). Is 12 a factor of m(r)?
False
Let p(d) be the third derivative of d**4/12 - 7*d**3/6 + 2*d**2. Let f be p(8). Suppose 24 = 3*h - 5*s, -2*h = 5*s + f - 0. Is 2 a factor of h?
False
Suppose 293 = -2*j - 3*r - 801, 4*r = 4*j + 2168. Let b be 12/20 + j/(-10). Suppose -6*u + 3*u = -2*n - 133, u + 2*n = b. Is 18 a factor of u?
False
Suppose q = 1 + 3. Suppose 2*f = 5*i + 102, -248 = -q*f + 2*i - 76. Is f a multiple of 21?
False
Let d(a) = -7*a - 6. Let k(u) = -15*u - 12. Let i(p) = -7*d(p) + 3*k(p). Is 11 a factor of i(4)?
True
Is 2 a factor of (3 - 1)/(1 + 9/(-10))?
True
Suppose 5*f = 289 - 49. Is 8 a factor of f?
True
Is (515/(-10))/(2/(-4)) a multiple of 27?
False
Let i = 154 + -63. Is i a multiple of 7?
True
Suppose 2*i = i + 84. Is 7 a factor of i?
True
Let l(g) = -g**3 - g**2 - g - 4. Let c = -4 + 4. Let n be l(c). Let r(s) = -s**3 - 4*s**2 - 2*s + 2. Is 5 a factor of r(n)?
True
Let y(f) = f**3 + 7*f**2 + 3*f - 8. Let h be y(-6). Let w = h + 0. Suppose 2*d + w = 4*d. Is d even?
False
Let j(d) = -78*d - 1 + 17*d - 50*d. Let c be j(-1). Suppose 3*l = 8*l - c. Does 11 divide l?
True
Is 19 a factor of -4 + 0 + 27 + 0?
False
Suppose 0 = 4*w - 0*w - 48. Is w a multiple of 3?
True
Suppose 0 = 4*r + 5*j - 28, 2*r + 3 - 15 = -2*j. Suppose r*u - 9 = 75. Does 14 divide u?
True
Let a(z) = -z**3 - 7*z**2 - 3*z - 4. Let r be a(-6). Let s = r + 73. Is s a multiple of 13?
False
Suppose -4*h = 3*q - 2 + 3, h + 5*q = -13. Suppose -h*i = -27 - 5. Is i a multiple of 4?
True
Let x(b) = -b**2 + 9*b + 3. Suppose 2*j - 84 = -3*j + 3*r, 4*j = -3*r + 51. Suppose -4*u - j = -51. Is x(u) even?
False
Let q = -71 + 124. Let c = q - -9. Is 31 a factor of c?
True
Let z = 2 + 4. Let g be 8/z*(-6)/4. Does 10 divide (1 - 1 - g) + 28?
True
Let u(z) = -z + 12. Let h be u(8). Suppose -5*y - 2*l + 324 - 2 = 0, h*l - 248 = -4*y. Is y a multiple of 22?
True
Does 5 divide 17 + -3*(-16)/(-12)?
False
Suppose h - 5*t - 576 = -2*h, 5*h + 3*t - 960 = 0. Does 16 divide h?
True
Let n be 36/(-8)*(-4)/6. Suppose -20 = -4*u, -5*t + u - n*u = -50. Is t a multiple of 8?
True
Suppose -19 = -o - 4*l, 12 - 2 = 2*o + l. Does 7 divide o + (-12)/3*-3?
False
Let t(g) be the first derivative of 2*g**3/3 - g**2/2 - 2*g + 2. Suppose 3*j - 4*d + 9*d - 26 = 0, 0 = -5*j - 4*d + 26. Is 2 a factor of t(j)?
True
Suppose 2*w = -l + 3836, w + 73 = -l + 1991. Does 12 divide w/35 - 2/(-10)?
False
Suppose 9 = 3*n - 3. Suppose 12 = n*t + 4. Does 2 divide t?
True
Let d(u) = 7*u**3 + u**2 + 3*u - 1. Is 17 a factor of d(2)?
False
Let a = -1 - -4. Let v(s) = 2*s + 2*s**2 - 14*s**3 + a - 2 + 3*s**3. Does 12 divide v(-1)?
True
Let f = 20 + -14. Let u(j) = 8*j + 5. Let m be u(f). Suppose 5*s = 17 + m. Does 8 divide s?
False
Let b be -3*(-5)/6*2. Suppose 0*n + b*f = 2*n - 102, 0 = f + 2. Is 12 a factor of n?
False
Suppose 0 = 4*z + 12, -2*a - 2*z = z + 99. Let y = 63 + a. Does 14 divide y?
False
Let c(v) = -2*v**2 + 3*v - 4 + 4*v**3 - 6*v**3 + v**3 + 2*v**3. Suppose 0 = -3*t + 2*t + 3. Is 9 a factor of c(t)?
False
Does 41 divide (-1)/((-4)/(0 - -496))?
False
Let u = 7 + -6. Let t = u + 3. Suppose -36 = 2*h - t*h. Is h a multiple of 9?
True
Let h(v) = -3*v**2 + 9*v + 4*v + 2*v**2 - 4*v - 9. Is h(6) a multiple of 3?
True
Let f(j) = -j**3 + 14*j**2 + 7*j - 2. Is f(14) a multiple of 24?
True
Let r be (-4 - 6/(-2))/(-1). Let z(v) = 7*v - 1. Let t be z(r). Suppose -t*w + 3*w + 21 = 0. Is w a multiple of 7?
True
Let i = 17 + -7. Let h be 84/i - (-12)/(-30). Suppose -2*j = 2 - h. Is 2 a factor of j?
False
Let u = 182 + -2. Does 15 divide u?
True
Let t = 3 + 0. Let a be (t/2)/(3/(-16)). Let m(f) = -f**2 - 8*f + 5. Is 2 a factor of m(a)?
False
Let f = -2 + 3. Suppose f + 3 = 2*t - 2*s, -30 = -5*t - 5*s. Suppose -4*w + 10 = o - w, w + 40 = t*o. Is 10 a factor of o?
True
Suppose 5*a - 4*i + 7 - 23 = 0, 2*a + 2*i - 10 = 0. Suppose 4*q - 4 - a = 0. Suppose q*w - 79 = -4*u - 11, -5*w = -5*u - 215. Is 14 a factor of w?
False
Suppose 0 = 5*f + 3*k + 1, -2*k - 9 = -8*f + 3*f. Let z = f - -2. Suppose -2*q - 73 = -z*c, -4*c - 56 = 2*q - 172. Does 13 divide c?
False
Let d(x) = 44*x - 76 + 76. Is d(1) a multiple of 22?
True
Let w(a) = a**3 - 3*a**2 + 5*a - 4. Is 8 a factor of w(3)?
False
Suppose 5*b - 245 = -2*b. Is b a multiple of 35?
True
Let o = -30 - -51. Is 18 a factor of o?
False
Let w(h) = h**2 - h + 8. Let d(b) = 3*b - 3. Let f be d(3). Does 19 divide w(f)?
True
Let i = 28 - 39. Let z = -28 - -31. Is 20 a factor of z*(3 + i/(-3))?
True
Let q = 91 + -65. Is q a multiple of 13?
True
Suppose 9 = -m + 4*m. Suppose 0 