True
Suppose 2*g - 24 = -2*g. Let z be g/2 + 1 + -1. Suppose z*l - 32 = 4. Is 6 a factor of l?
True
Suppose 0*y = -y - 2. Let b be ((-2)/(-5))/(y/(-40)). Suppose 0 = -3*l + 34 + b. Is 12 a factor of l?
False
Let z(o) = o + 24. Let q be z(-19). Let v = 20 + -10. Suppose 6*n - q*n = v. Does 4 divide n?
False
Suppose 0 = -2*n + 6 - 18. Let a be (-1 + 4)/(n/(-8)). Suppose -2*k - a*o + 31 = -o, 5*o + 140 = 5*k. Is 8 a factor of k?
False
Suppose 20 = 5*d + 5*v, d - 4*v + v + 4 = 0. Suppose -q + 6 = -0*q - d*k, -4*q + 4*k = -20. Suppose u - 18 = -2*i + 3*u, q*u - 3 = i. Does 12 divide i?
False
Let t(z) = 3 + 6*z - z + 1 + 0*z + 3*z**2. Suppose r = -4*g - 4, 2*r - 2*g = -7 - 1. Is t(r) a multiple of 24?
False
Let b(y) = 2*y**3 + 19*y**2 + 11*y - 8. Let u(r) = -r**3 - 10*r**2 - 6*r + 4. Let d(p) = 3*b(p) + 5*u(p). Suppose -24 = 6*v - 2*v. Does 14 divide d(v)?
True
Let a = 43 - 40. Is 3 a factor of a?
True
Let v = -192 - -320. Is 25 a factor of v?
False
Let d = -6 - -13. Suppose 2*h = 2 + 18. Let g = h - d. Is 3 a factor of g?
True
Let q(v) = 2*v**2 + 10*v + 22. Does 5 divide q(-7)?
True
Let f = 4 + -3. Let m(w) = 8*w**3 - w**2 + w - 1. Does 4 divide m(f)?
False
Suppose -3*m + 2*m + 133 = -v, 5*m + 3*v - 665 = 0. Does 31 divide m?
False
Let k(q) = q**3 + 9*q**2 + 4*q + 34. Is k(-8) a multiple of 20?
False
Let g(b) = 22 + 7 + b - 3. Suppose 3*z - 5*s = -46, -4*s + 56 = -2*z - 2*z. Is g(z) a multiple of 14?
True
Does 4 divide (-2)/((-4)/80*2)?
True
Let v(s) = -s**3 + 7*s**2 - s - 4. Suppose -5*k + 9 = -2*k. Is 21 a factor of v(k)?
False
Let l = -11 - -8. Let g = -3 - l. Is 4 a factor of -4*(g - (0 + 2))?
True
Let n(h) = h**2 - 2*h + 4. Is n(-5) a multiple of 13?
True
Let v = 6 + -3. Let h(q) = -q**3 + 3*q**2 + 2*q + 3. Let c be h(v). Let z = c - 6. Is 3 a factor of z?
True
Let p(q) = q. Let f be p(3). Suppose f*k = -k + 8. Let y(z) = 6*z**2 - 1. Is 8 a factor of y(k)?
False
Let z = 435 + -15. Suppose -3*i = -i - d + 166, z = -5*i + 5*d. Let p = 124 + i. Does 21 divide p?
True
Suppose 3*r = 5*p - 25 + 5, -16 = -4*p - 5*r. Suppose p = -3*w + 22. Let g(s) = 4*s + 8. Is g(w) a multiple of 16?
True
Does 5 divide (1/2 + 0)/(3/246)?
False
Let k(a) = a**2 - a. Let q(y) = 4*y**2 - 10*y - 12. Let w(z) = 5*k(z) - q(z). Is w(-8) a multiple of 18?
True
Let q(w) be the first derivative of w**3 - w**2/2 - 5*w - 6. Is 13 a factor of q(4)?
True
Suppose 0 = -4*b - 3*o + o + 8, -3*b = o - 7. Is b a multiple of 3?
True
Suppose -c = -4*h + 48, 0*h - 4*h = -2*c - 48. Is 6 a factor of h?
True
Let b(z) = 3*z - 2. Let w(f) = -9*f + 7. Suppose 0 = 5*m - 4*u - 4 + 27, 19 = -3*m + 5*u. Let l(k) = m*w(k) - 8*b(k). Is l(4) a multiple of 7?
True
Suppose -51 = -2*b + 371. Suppose 1 = y, -3*x + 446 = 3*y - 4*y. Let u = b - x. Is u a multiple of 21?
False
Let z = -12 - 32. Let d = 39 - z. Is d a multiple of 29?
False
Suppose -5*y = -0*y - 40. Let v = y - 6. Suppose v*d + 10 = 0, 4*m - d - 140 = 3*d. Is 18 a factor of m?
False
Suppose 2*m - 5*d + 6 = 48, m - 47 = -4*d. Does 7 divide m?
False
Suppose -4*z + 12 = -z. Does 3 divide z?
False
Suppose -p = -6*p - 5*t + 215, -t = 2*p - 91. Is 16 a factor of p?
True
Suppose 0 = -c + 122 + 11. Let y = -86 + c. Is y a multiple of 10?
False
Suppose -2*c = c - 9. Does 7 divide (-76)/(1 - c) + -3?
True
Suppose 2*b = 0, -5*m + 2*b + 323 = 8. Is 23 a factor of m?
False
Let n be (5 - 2) + 21 + 4. Suppose -x + 31 = 2*i, x - n = -i + 3*x. Is 6 a factor of i?
True
Suppose 0*m + 2 = m. Suppose -3*h + 3*x = -24, -m*h + 2 = -4*x - 4. Is h a multiple of 5?
False
Let v(d) = 3*d + 5. Let w(j) = -2*j - 5. Let y(z) = -3*v(z) - 4*w(z). Let t = 1 + -6. Does 9 divide y(t)?
False
Let f be 3/(-1) - (-6 - 0). Is 8 a factor of 2*f/(18/57)?
False
Let f(j) = 53*j**2 - 3*j + 2. Is 13 a factor of f(1)?
True
Is 160/(-2)*((-28)/16 + -2) a multiple of 15?
True
Suppose 0 = 2*k + 103 - 255. Is 19 a factor of k?
True
Let o(k) = k**3 - 4*k**2 - 5*k + 6. Is 4 a factor of o(5)?
False
Suppose -2*j - j = -5*p - 31, j - 2*p - 12 = 0. Suppose x - j*d - 7 = -d, 3*x = d + 17. Is 5 a factor of x?
True
Let l be (-6)/(-21) - (-33)/7. Suppose 5*j = 4*y + l, 0 = 2*j + 3*y - 5*y. Suppose -3*r - 2*f = -4*f - 46, 5*r - 60 = -j*f. Does 7 divide r?
True
Let v be ((-56)/(-12))/(-7)*-3. Suppose 2*j = j + v*d + 37, -15 = 5*d. Is j a multiple of 19?
False
Let i(m) = -3*m**2 - 4*m - 2. Let b be i(-2). Let o(s) = s**3 + 6*s**2 - 2*s + 8. Is o(b) a multiple of 19?
False
Suppose 8*t - 20 = 3*t. Suppose 0*w + t*w = 20. Suppose w*o - 71 = 2*o + 2*c, 3*c = -3. Is 8 a factor of o?
False
Suppose 128 = -2*h + 3*h. Is 6 a factor of (-12)/(-18) + h/6?
False
Let s(c) = -18*c**3 + 2*c**2 + c. Let f be s(-1). Let l = f - -12. Does 13 divide l?
False
Let i(v) be the second derivative of -v**4/24 + 5*v**3/6 - 3*v**2/2 + v. Let h(x) be the first derivative of i(x). Is 4 a factor of h(-4)?
False
Suppose 0 = g + 16 - 46. Suppose -2*p - 3*k + g = k, 0 = -3*p + 3*k + 90. Suppose 6*l - l = p. Is l even?
False
Let m(u) = 5*u + 9. Let h be m(-4). Let a = -3 - -6. Let n = a - h. Is n a multiple of 10?
False
Let u = 1 + 19. Suppose 0 = k - 0 - 2. Suppose -l + u = -4*p, -p = 4*l - k*p - 65. Does 16 divide l?
True
Suppose -3*r + 0*n = -2*n - 199, 232 = 4*r + 4*n. Is 21 a factor of r?
True
Let h(d) = -d**3 + 12*d**2 + 3*d - 16. Is 20 a factor of h(12)?
True
Suppose k = -k. Suppose -5*n + 25 = k, -5*m + 0*n = 3*n - 105. Is 9 a factor of m?
True
Suppose 2*q - 6 = -h, -5*h - 12 = -2*h - 4*q. Suppose h = -t - g + 8, -5*t + 5 = -2*g - 0. Does 17 divide 4/(-2)*(-17 + t)?
False
Is 126*1*(5 + -3) a multiple of 18?
True
Is 2 + 1 + -7 + 239 a multiple of 47?
True
Suppose c + 120 = 4*c. Is 20 a factor of c?
True
Let h = 2 + -8. Let b = 2 + h. Is 27/4 + b/(-16) even?
False
Let b(t) = -10*t - 14. Let y(f) = f**3 + 5*f**2 - 5*f - 4. Let u be y(-6). Is b(u) a multiple of 13?
False
Suppose 2*q + 3 - 9 = 0. Let d = 6 - q. Is (0 - (-90)/d) + -2 a multiple of 14?
True
Suppose 4*f + 5*m - 227 = 0, 5*f - 4*m + 0*m = 335. Is f a multiple of 22?
False
Let t(j) = -j**3 + 6*j**2 + 5*j + 3. Let i be t(5). Let o = 4 - 39. Let d = i + o. Does 9 divide d?
True
Suppose 4*s = 4*r - s - 57, -3*s + 45 = 2*r. Is 9 a factor of r?
True
Suppose -3*t + 8 = -5*t. Is 13 a factor of 29 + 1/(t/12)?
True
Suppose 0 = -4*n + 75 + 133. Suppose 4*v - 3*v - n = 2*z, 3*v - 146 = 4*z. Suppose f = 4*f - v. Is f a multiple of 14?
True
Suppose -3*p - 2*p + 10 = 0. Suppose -3*l = 3*g + 2 - 5, -4*l - g + 10 = 0. Suppose -p*f + 25 = 5*y, -4*f = f + l*y - 53. Is f a multiple of 6?
False
Suppose 3*v - 75 = 4*d, 4*v - d = d + 100. Is 12 a factor of v?
False
Suppose -2*t + 19 = t - 2*r, 0 = r + 5. Does 3 divide t?
True
Let m(q) = 0*q + 2*q**2 + 2*q**3 - 2 + q**2 + 2*q. Let w be m(-2). Let h = w - -30. Is h a multiple of 9?
False
Is 7 a factor of (8/(-20) - 0)/(1/(-80))?
False
Let n(b) = -13 + 7*b**2 + b**2 + 14 + 3*b. Does 27 divide n(-2)?
True
Suppose u + 4*n - 183 = 0, 386 = 2*u + 4*n - n. Is u a multiple of 41?
False
Let s(j) = -5*j**3 - 5*j**2 + 2*j - 2. Is s(-4) a multiple of 23?
True
Let m(d) = -4*d**2 + 1. Let z be m(1). Is (4 - 10)/(z/8) a multiple of 11?
False
Let p(b) = -50*b**3 - 2*b - 1. Let s be 33/(-27) - (-2)/9. Is 14 a factor of p(s)?
False
Let t be 6/(-4)*(-688)/(-12). Let z = -42 - t. Does 22 divide z?
True
Let b(k) = 3*k**2 + 5*k - 8. Is 16 a factor of b(8)?
True
Let n be (3 + -5)/((-2)/26). Suppose -5*l = r - 13, 4*l + n = 2*r + l. Does 4 divide r?
False
Let t = 317 - 1003. Is 16 a factor of t/(-10) - 18/30?
False
Suppose -4*x - 3*p + 122 = -2*x, -2*p - 267 = -5*x. Does 14 divide x?
False
Let k(r) be the second derivative of -r**5/20 + 5*r**4/12 - 5*r**3/6 + 3*r**2 - 3*r. Let t be k(4). Suppose -2*a + 16 = t. Is a even?
False
Suppose -3*y + 4*k = -248, 8*k = -2*y + 3*k + 173. Suppose -3*p = -y - 126. Does 14 divide p?
True
Suppose -4*s + 24 = z, 2*z = s - 6 - 0. Suppose -x = -s*x + 65. Is x a multiple of 13?
True
Let h be (-2 - 42/4)*-2. Let c = h + -11. Is 7 a factor of c?
True
Let k = 8 + -4. Suppose k*r = -u + 3*u + 90, -5*u - 115 = -5*r. Does 11 divide r?
True
Let j = 0 - -3. Suppose -v - 7 = 3*c, v = c - 0 - j. Let x(u) = -37*u**3 + u**2 - 1. Is x(c) a multiple of 17?
False
Let b be (-14)/(-35) + 8/5. Suppose 5*t - 2 = 4*f + 115, 111 = 5*t - b*f. Let q = t - -5. D