 14 a factor of g?
False
Suppose -6 = -2*v + 3*m, -m - 2 = -4*v + 2*v. Suppose v = -0*f - f + 5. Is f even?
False
Let t = -18 - -21. Suppose -t*b + 4*b = 28. Is 11 a factor of b?
False
Let a be 1/2 - (-44)/8. Is 2 a factor of 2*(-1)/(-4)*a?
False
Suppose 0 = k - 4*b - 119, -3*k = -4*b + 3*b - 368. Let u be ((-63)/(-12))/((-2)/(-16)). Suppose -u = 3*v - k. Is v a multiple of 17?
False
Suppose -o + 2*u + 6 + 65 = 0, 0 = 5*o - u - 310. Does 11 divide o?
False
Let g = 3 + -2. Let t(y) be the first derivative of 6*y**3 - y**2/2 - 11. Does 9 divide t(g)?
False
Let o(s) = s**3 + 6*s**2 + s - 1. Is o(-4) a multiple of 27?
True
Let o(p) = -p**2 - 5*p - 1. Let c be o(-5). Is 6 a factor of (-1 - c) + (-4 - -34)?
True
Let h(a) = 12*a + 3. Let w(v) = -35*v - 10. Let t(x) = 11*h(x) + 4*w(x). Let k be t(-7). Suppose r - 5*u + 2*u - k = 0, -77 = -2*r - u. Is r a multiple of 20?
True
Let k(p) = p - 2. Let s be k(2). Let x = s - -5. Does 5 divide x?
True
Let z(p) = -p**3 + 4*p**2 - 4. Let s be z(3). Suppose 2*i - 20 = -0*i - 5*f, 3*i - 5 = s*f. Suppose -3*k - 4*l + 40 = -1, -i*l = 3*k - 43. Is 7 a factor of k?
False
Suppose -91 + 316 = 5*b - 3*d, b - 2*d = 45. Is b a multiple of 15?
True
Let n = 12 + -7. Suppose 4*k + l + 56 = 0, -2*k - 3*k + n*l = 95. Is 12 a factor of 3/k - 242/(-10)?
True
Let g = -125 + 179. Is 18 a factor of g?
True
Let w(l) = -2*l - 8. Is w(-9) a multiple of 10?
True
Suppose 3*w = -3*z - w + 141, 123 = 3*z - 2*w. Is z a multiple of 3?
False
Let g(c) = -2*c + 102. Let p be g(0). Let w = 182 - p. Does 20 divide w?
True
Let b(a) = 11*a**3 + 23*a**2 + 14*a + 14. Let l(f) = 5*f**3 + 11*f**2 + 7*f + 7. Let h(d) = 4*b(d) - 9*l(d). Let m be h(-6). Is 4 a factor of -2 + 24/(1 - m)?
False
Let f(n) = n**3 + 3*n**2 - 6*n - 3. Let u be f(-5). Let r = -14 - u. Is r a multiple of 9?
True
Is (-200)/(-30) - (-1)/3 even?
False
Let u = -123 - -411. Does 43 divide u?
False
Let v = -38 - -88. Does 14 divide v?
False
Suppose 2*c = 4*c. Suppose c*a + 2*a - 60 = 0. Is a a multiple of 10?
True
Let m be 1*-2 + 20 + 0. Is ((-8)/(-6))/(3/m) a multiple of 8?
True
Let r = -2 + -3. Let k be ((-8)/10)/(2/r). Suppose -3*s = k - 17. Is s even?
False
Suppose 2*x + 356 = 4*d, 0 = 5*d - 5*x + 3*x - 445. Is d a multiple of 21?
False
Let q(s) = -s**2 - s + 1. Let r(m) = m**3 - 11*m**2 - 5*m + 9. Let j(a) = -5*q(a) + r(a). Let d be j(6). Does 14 divide (-4)/d - (-41 - 1)?
False
Let b be ((-23)/(-2))/((-2)/(-12)). Let y = b - 42. Suppose -h + y = 2*h. Does 9 divide h?
True
Let o(z) = 216*z**2 - 8*z + 8. Is 11 a factor of o(1)?
False
Let w(k) = 4*k**2 + 2*k + 1. Let h be w(-1). Suppose 5*x = -b + 5, h*b = x - 2 + 17. Suppose b*p - 16 = p. Does 4 divide p?
True
Suppose 0 = 2*i + 1 - 11. Is (i/(-10))/(1/(-26)) a multiple of 13?
True
Let k be 3/(3 + 27/(-10)). Let o = k - -2. Is o a multiple of 6?
True
Let c = 1 + -5. Let z(p) = 3*p - 32. Let o be z(18). Let k = c + o. Does 8 divide k?
False
Let z be (2 + -3 - -3) + 4. Let j(v) = -z*v**2 + 5*v + 1 - v**3 - 1 + 5. Does 7 divide j(-7)?
False
Let h be 1 - 1/((-2)/(-4)). Let g = 1 + h. Suppose 0 = -j + t + 12, 4 = -2*t - g. Is 8 a factor of j?
False
Suppose 2*m - 3*p = -0*p + 51, 0 = 2*m - 4*p - 56. Suppose -2*u - 33 = -5*c + 2*c, 3*c + 3*u = m. Does 8 divide c?
False
Suppose 2*u + 3 = 31. Does 5 divide 172/u - 2/7?
False
Is 6 a factor of (96/5)/(-5 + 182/35)?
True
Suppose -5*c + 4 = -4*c. Suppose -3*p - c + 22 = 0. Does 6 divide p?
True
Let z be 6 + (3*-1 - -1). Suppose 0*r + 20 = z*r. Suppose -r*x + 184 = 4*d, 0*d - 1 = -d. Is x a multiple of 18?
True
Is (0 + 1)*518/7 a multiple of 23?
False
Let b(l) = -l**3 + 3*l**2 + 6*l + 3. Is b(-4) a multiple of 27?
False
Let l(q) be the first derivative of -3*q**4/4 - 2*q**3/3 + q**2 - q + 1. Let p be l(1). Does 14 divide -8*(-1 + 15/p)?
False
Let w(z) = 2*z**2. Suppose s = -m - 1, -2*m = m + 2*s + 3. Let c be w(m). Suppose 4*j + 24 = 2*u - 0*j, -u - c*j + 24 = 0. Is u a multiple of 6?
True
Suppose -1 = d - 0*d. Does 12 divide 3/(-6)*58*d?
False
Let b = -7 + 15. Is (61/(-3))/(b/(-24)) a multiple of 16?
False
Let l(j) = j**3 - 13*j**2 - 21*j - 3. Let t be l(15). Suppose -6*f + t = -2*f. Does 11 divide f?
True
Let n(t) = t**3 + 12*t**2 + 10*t + 7. Let j be n(-11). Does 24 divide 4/j - (-1938)/27?
True
Let z = 1 + -4. Let v be 1 + (-2 - 1)/z. Does 4 divide 9 + 3*v/3?
False
Let p(y) = 6*y + 4. Let k be p(5). Suppose 5*f - 15 = -5*m, 2*f - 7*f = 2*m - 15. Suppose v - f*v + 4*o = -k, 5*o = -5. Is 11 a factor of v?
False
Let k(l) = -2*l + 3*l**2 + 29*l**2 + 4*l - 1. Let m(g) = g**2 - 3*g - 3. Let h be m(4). Is k(h) a multiple of 15?
False
Let s = 226 + -100. Is 7 a factor of s?
True
Suppose 0 = 5*u - 0*u - 120. Is 7 a factor of u?
False
Let k = 4 + -2. Suppose 0 = 6*r - k*r. Suppose -3*s + s + 40 = r. Is s a multiple of 18?
False
Suppose -1 = -3*b + 2. Suppose z = 29 - b. Is 14 a factor of z?
True
Let v(r) = -r**2 + 180. Is v(0) a multiple of 45?
True
Suppose 122 = n + 68. Is 18 a factor of n?
True
Suppose -3*j = -2*p - 1 + 8, 5*j = p - 7. Let q(x) = 23*x + 1. Let m be q(j). Let i = 48 + m. Is i a multiple of 13?
True
Let s = -5 + 8. Suppose -4*q - 8 = 4*g, q + 7 + 3 = s*g. Is 5 a factor of 15 - (-1)/g*0?
True
Suppose 63 + 60 = 3*i. Suppose -93 - 37 = -5*d. Let v = i - d. Does 15 divide v?
True
Let j(x) = -x - 1. Let l(v) = -4*v - 10. Let d(n) = -2*j(n) + l(n). Does 3 divide d(-10)?
True
Let x(l) = -4*l**3 - 3*l**2 - l - 2. Let s be 5*(2 + (-12)/10). Suppose 5*z - 4*v + 2*v + 14 = 0, -6 = -z - s*v. Does 10 divide x(z)?
True
Suppose 0 = 3*a - 2*o + o - 232, o - 80 = -a. Is a a multiple of 26?
True
Suppose p = -3*m + 79, 4*m - 428 = -0*p - 5*p. Is 22 a factor of p?
True
Let c = 241 - 43. Does 22 divide c?
True
Suppose 6*p = 4*p + 4, 82 = 4*o + 3*p. Is o a multiple of 5?
False
Let v(z) = z**3 + 5*z**2 - 4*z + 1. Let o be v(-5). Let d = 40 - o. Suppose 3*r - 50 - d = 0. Is 9 a factor of r?
False
Let h(o) = 5*o**2 - o. Let x be h(-1). Is 5 a factor of ((-10)/x)/((-1)/3)?
True
Suppose 0 = y + 4*y + 30. Is 4 a factor of y/(0 + 3/(-4))?
True
Let s(y) = 7*y**2 - 3*y - 1. Is s(-2) a multiple of 4?
False
Suppose 256 = 5*u - 104. Is 18 a factor of u?
True
Let g(c) = -3*c**3 + 3*c**2 - 4*c + 3. Is g(-4) a multiple of 34?
False
Suppose 659 = 2*y + 179. Is 24 a factor of y?
True
Suppose 2*f = -5*k - 3, -10 - 5 = 5*k. Let u = -3 + f. Suppose 0 = -u*c + 163 - 28. Is 19 a factor of c?
False
Let d(v) = -v**2 - 7. Let y be d(0). Let a(z) = 7*z + 8. Let k be a(y). Let l = 85 + k. Is 17 a factor of l?
False
Suppose -i - 3*g - 8 = -2, -3*i = -2*g + 7. Let q be 0*(3/i)/(-1). Suppose q*o + 2*o = 72. Does 18 divide o?
True
Let d be 4*((-23)/4 - 1). Let a = -99 - -48. Let h = d - a. Is h a multiple of 12?
True
Suppose f + 14 = -f. Let b be (-4)/2*f/(-2). Let i = b - -11. Does 3 divide i?
False
Suppose -6*s = -3*s + 12. Let o = 5 - s. Does 9 divide o?
True
Suppose 5*v = f + 2*f - 50, -2*v = 4*f - 110. Suppose -p = 4*p - f. Does 2 divide p?
False
Is (-19)/((-185)/45 - -4) a multiple of 41?
False
Suppose -3*j + 44 = -52. Is j a multiple of 16?
True
Let v be (-15)/(-4) - (-1)/4. Is (-10)/((-4 + 2)/v) a multiple of 10?
True
Let b = -32 + 37. Is b even?
False
Let a(l) = 3*l + 2. Let z be a(-3). Let b = -1 - z. Suppose 0 = -4*y - 4*p + 40, 2*p + 2 = b. Is y a multiple of 8?
True
Suppose 2*d + d = -33. Let o = d - -40. Is o a multiple of 15?
False
Let a = -12 + 18. Does 3 divide a?
True
Let v(w) be the first derivative of -11*w**4/4 - w**3/3 - w**2 - w + 3. Is 5 a factor of v(-1)?
False
Suppose -36 = -3*s + 60. Is s a multiple of 16?
True
Suppose 0 = -2*x + 7*x - 5*g - 115, -47 = -2*x + 3*g. Is x a multiple of 15?
False
Let b be 0/2 - (-27 - -1). Suppose 5*g = -9 - b. Is g/1*(-24)/42 a multiple of 4?
True
Suppose -j = -4*h - 6, -j + 2*h = 3*j - 80. Is j a multiple of 20?
False
Let f be (-45)/(5/(-2) - -1). Let g = f + -7. Is 23 a factor of g?
True
Suppose 0 = 2*j + 4*o - 454, j + 227 = 2*j + 5*o. Is j a multiple of 42?
False
Let j = 6 + -4. Let i be 3*(j - 3/3). Does 15 divide (96/(-20))/(i/(-20))?
False
Let g(i) = i**2 - 5*i + 6. Does 17 divide g(-5)?
False
Let p(q) = 35*q - 9. Is p(4) a multiple of 22?
False
Suppose -5*j + 1565 = -3*m + 8*m, -2*j = -4*m + 1258. Does 21 divide m?
False
Let p(f) = -f**3 - 6*f**2 + 12*f + 1. Does 11 