4. Suppose h = -3*n + 5*x + 27, -x + 17 = n - 0*x. Is 4 a factor of n?
False
Let j be 1/(-4) - 36/(-16). Suppose -5*c + 14 = j*t, -c - 25 = -t + c. Does 8 divide t?
False
Suppose 7*n = 2*n + 15. Suppose 5*j = -5*g + 80, 4*g - 25 = n*g - 4*j. Suppose -4*k - 2*t = 2*t - 8, k + 4*t + g = 0. Is k a multiple of 7?
True
Suppose 2*l - 4*p = -0*p + 28, 2*l + 5*p = 64. Does 9 divide l?
False
Suppose -2*y - x + 3 = 0, 4*y + x - 3 = -y. Let h be y - -29 - (0 + -3). Let n = 46 - h. Is 6 a factor of n?
False
Suppose 0 = -6*b - 206 + 962. Does 14 divide b?
True
Does 4 divide (3 - -9) + -3 + 3?
True
Suppose 26 = 5*b - 9. Let a be (-8)/(-2 + 6) + 39. Let f = a - b. Does 12 divide f?
False
Suppose 3*u - 48 = 3*j, -5*u - j + 0*j = -68. Is u a multiple of 14?
True
Let d = 144 + -92. Suppose b + 4*k = k + 8, 2*k - d = -3*b. Is b a multiple of 10?
True
Let x(m) = -m + 9. Let z(h) = 5. Let q(t) = -3*x(t) + 5*z(t). Let v(y) = y + 4. Let a be v(0). Is q(a) a multiple of 5?
True
Let t = 4 - 4. Suppose -25 = 5*f - t*f, r - 9 = f. Let x = 0 + r. Is 2 a factor of x?
True
Suppose 4*o - 2*o + 3*s - 204 = 0, 3*o + 2*s = 301. Does 33 divide o?
True
Suppose 5*q = q + 488. Let t = 174 - q. Does 26 divide t?
True
Suppose -351 = -5*h - 2*o, 3*h + 4*o - 134 = h. Let t = h + -17. Is t a multiple of 14?
False
Let a be 2/7 + (-267)/(-21). Let l = a - 8. Suppose -2*j - g + 0*g + 13 = 0, -l*g + 29 = j. Is j even?
True
Let y be (-4)/(-2*3/33). Suppose 0 = 3*f - 64 + y. Is 7 a factor of f?
True
Let o = 15 - 13. Is o even?
True
Suppose -4*y + 7*y + 27 = k, 4*k + y = 56. Does 4 divide (-19)/(-1) + (-45)/k?
True
Let k = 9 + 55. Is 32 a factor of k?
True
Suppose 4*a + 0*i - 2*i - 26 = 0, 2*i = -2*a + 10. Suppose n - 6 = a. Is 4 a factor of n?
True
Let k = 112 - -38. Is k a multiple of 25?
True
Suppose 3*i + 44 = u, -u - u = 4*i - 68. Is 19 a factor of u?
True
Let w = -3 + -29. Is 23 a factor of 115*(w/20)/(-2)?
True
Let o = -33 + 83. Does 50 divide o?
True
Let c be 12/2*4/(-8). Let b(g) = 10*g**2 + 4*g - 1. Is b(c) a multiple of 17?
False
Let f = 246 - 347. Let q = f - -159. Is q a multiple of 14?
False
Let g(i) = i**3 - 3*i**2 + 2*i - 2. Let z be g(3). Suppose -z*q = -8*q. Let l(c) = -c + 22. Is l(q) a multiple of 14?
False
Let q(l) = l - 4. Let z be q(5). Suppose 5*a - 11 = -z. Suppose 2*p - 3*r = 58, -74 = -p - a*p - 2*r. Is p a multiple of 13?
True
Suppose 0 = -2*i - 0*i. Suppose i = -4*u + l + 36, 3*u - l = l + 27. Is u a multiple of 5?
False
Suppose 3*g - 2*g = 5*j + 1, 5 = -5*j + 5*g. Suppose j = -5*b + 407 + 208. Let c = b - 64. Is 16 a factor of c?
False
Is 9 a factor of (6/(-8))/(((-20)/(-4))/(-420))?
True
Suppose -1 = -w + 19. Is w/3 - 6/9 a multiple of 3?
True
Suppose 5*l - 4 - 6 = 0. Suppose 5*a = -l*c - 21, c + 3*a - 5 = -17. Is 13 a factor of c/(-9) + 202/6?
False
Suppose 2*r = -3*b + 200, 2*b = 4*b - 2*r - 140. Is 20 a factor of b?
False
Suppose 3*y - 370 = -4*r, 2*y + r - 246 = -r. Suppose 0 = -3*p - 20 + y. Does 14 divide p?
False
Suppose -2*n = -49 + 15. Let g(k) = -n*k + 6*k + 0 - 1. Is 16 a factor of g(-3)?
True
Let x = 35 + 21. Does 5 divide x?
False
Let f(l) = l**3 - 2*l**2 + l - 4. Let d be f(3). Let o(s) = -s**3 - 6*s**2 - 4*s - 5. Let k be o(-5). Let n = d - k. Is 8 a factor of n?
False
Let u(f) = f**3 - 7*f**2 - 8*f - 5. Let s(w) = w**3 - 7*w**2 - 8*w - 5. Let n(b) = -6*s(b) + 5*u(b). Let v = -9 + 17. Does 5 divide n(v)?
True
Let q(h) = -h**3 + 3*h**2 + 4*h + 5. Let r be q(4). Let m(p) = p**2 - 4*p - 2. Is m(r) a multiple of 3?
True
Let d(t) = -2*t + 4. Let w be d(3). Is 7 a factor of (-1)/w - (-91)/14?
True
Let m(v) = v - 2. Let z be m(-7). Let o = z - -15. Is o a multiple of 3?
True
Let v = -3 - -15. Is 3 a factor of v?
True
Suppose 5*q - 2 = -7. Is 7 a factor of 234/(-45)*5*q?
False
Let a be 7 + -4*(0 + 1). Suppose u - a = 4. Is 5 a factor of u?
False
Let o(c) = -c**3 + 10*c**2 + 14*c - 16. Does 17 divide o(11)?
True
Let t be 1/(((-5)/(-3))/5). Let l(g) = g**2 + 3*g + 2. Does 10 divide l(t)?
True
Suppose -3*a - 5*b = -0*b + 16, 2 = -b. Let v(r) be the first derivative of -r**4/4 + r**3 + 2*r**2 + 3*r + 3. Does 15 divide v(a)?
True
Let i be -3 - 2/(-1) - 1. Let q(m) = -13*m + 2. Let a be q(i). Is 15 a factor of a - -3*(-4)/(-6)?
True
Suppose -n - 18 = 3*p, -4*p + 2*n + n - 24 = 0. Let j(a) = -3*a - 7. Is 11 a factor of j(p)?
True
Suppose 7*o - 379 = -8. Is 12 a factor of o?
False
Suppose -w + f - 3 - 4 = 0, 25 = -5*w + 3*f. Does 9 divide w/(-1) - (-2 - 22)?
False
Let t be -4 + (-3 - -1)*-1. Let w be 4*((-6)/t)/6. Suppose 0 = -w*c + 3*c - 26. Is 13 a factor of c?
True
Let q(c) = c**2 - c - 4. Suppose -l = 3*l - 20. Is q(l) a multiple of 13?
False
Let q(r) = r**3 - 8*r**2 - r + 11. Let k be q(8). Is k*16/(1 + 1) a multiple of 8?
True
Is 6 a factor of ((-6)/9)/((-4)/78)?
False
Suppose 4*y = 3*c - 23 - 2, -4*c + 4*y = -32. Does 14 divide 768/56 - (-2)/c?
True
Does 18 divide -3 + (-5 - (-1 - 0) - -241)?
True
Let c(o) = -o**2 - 2*o + 16. Let l be c(0). Let a(k) = k - 3. Is 6 a factor of a(l)?
False
Let x(g) = 3*g**2 - 4*g - 3. Let h be x(-3). Let d = h + -22. Is d a multiple of 4?
False
Suppose 2*l - 7*l = -2*k, 4*l + k = 0. Suppose 44 = -l*s + s. Is s a multiple of 22?
True
Let b(d) = 34*d. Let u be b(3). Suppose 5*t = u - 7. Is 8 a factor of t?
False
Suppose 34 = q - 0*q + 2*p, 3*q + 2*p - 82 = 0. Suppose -q - 18 = -u. Is u a multiple of 17?
False
Let q be 3/(3/(-2)) - -5. Let o = 0 + q. Suppose 0 = 3*s - z + o*z - 50, -4*s = z - 60. Does 14 divide s?
True
Let r = -27 - -63. Suppose q = 3 - r. Let x = q - -57. Is x a multiple of 13?
False
Let r(z) = -2*z**2 + z + 36. Let w = 20 + -20. Does 18 divide r(w)?
True
Suppose -3*g + 18 + 78 = -3*d, 3*g - 5*d - 88 = 0. Does 6 divide g?
True
Let x = -9 + 12. Suppose -90 = -x*t - 3*o, -5*t + 2*o + 139 - 17 = 0. Is t a multiple of 14?
False
Let d be (-3 - 0) + 7 + 1. Suppose 0 = -d*x - 0 + 20. Suppose -56 = -4*n - x*f - 8, -5*f - 4 = n. Is n a multiple of 8?
True
Let v be 716/12 - 2/(-6). Suppose v = 4*y + y. Let x = y + 2. Does 7 divide x?
True
Let j = 52 + -26. Is 10 a factor of j?
False
Suppose 2*y - 3*n - 2 = -6, 0 = 4*n. Let l(p) = -2*p**3 + 2*p + 1 + 2*p - p - p**2. Is 5 a factor of l(y)?
False
Let o(z) = 4*z**2 + 12*z. Is 10 a factor of o(6)?
False
Let k(m) = m**3 + 1. Let p(h) = 15*h**3 - h - 4. Let n(l) = 4*k(l) + p(l). Is n(1) a multiple of 7?
False
Let y(c) = -c - 1. Let o be y(-5). Suppose -5*v = -o*b - 7, -2*b + v = 4*v - 13. Suppose 4 = b*n - 24. Is 10 a factor of n?
False
Suppose -2*o - 3*p - 32 = 0, 3*p - 23 - 57 = 5*o. Is 13/((-4)/o*4) a multiple of 13?
True
Is (-14)/(25/140 + (-3)/12) a multiple of 28?
True
Suppose 8*r - 4*r = 3*v - 1118, v = 3*r + 376. Is 37 a factor of v?
True
Suppose 340 = 2*s - 3*q, s - 54 = -4*q + 138. Is 44 a factor of s?
True
Suppose 6*q - 188 - 682 = 0. Is 32 a factor of q?
False
Suppose -y = -4*y + 12. Suppose 2 = y*d - 118. Does 10 divide d?
True
Suppose l + a = -4*a + 13, 4*a = -l + 10. Let f = l - -28. Is 13 a factor of f?
True
Let g = -21 - -42. Is 21 a factor of g?
True
Let u = 1 - 7. Let d(k) = k**2 + 4*k - 3. Is d(u) a multiple of 3?
True
Suppose -y - 3 = 2*y. Does 15 divide 22*((y - 1) + 3)?
False
Let b = -5 - -7. Suppose 55 = 3*w - 4*h + 15, 0 = -b*w - 4*h. Does 3 divide w?
False
Let l = 40 - -10. Suppose -b + 14 = -l. Does 17 divide b?
False
Let z(w) = -6*w + 6. Let c(h) = h + 8. Let j be c(-15). Does 24 divide z(j)?
True
Let n = -21 + 42. Is n a multiple of 7?
True
Let m = 197 - -83. Is m a multiple of 44?
False
Let z = 2 - 0. Let p = 52 + -21. Suppose 21 + p = z*h. Is 11 a factor of h?
False
Let z = -56 + -62. Let w = z + 187. Is 23 a factor of w?
True
Suppose 5*z - 14 = -4. Let l(c) = -3*c + c**2 + c**2 + 0*c**2 - c**3 - z + 5*c**2. Does 12 divide l(3)?
False
Suppose 2*d = 3 + 1. Suppose -d*r = -15 - 1. Is r a multiple of 8?
True
Let x(d) be the second derivative of -d**3/6 - 4*d. Is 9 a factor of x(-9)?
True
Let w(q) = -q**2 - 24*q + 51. Does 19 divide w(-22)?
True
Suppose 5*g = -5*z + 565, 6*z - 2*g = z + 558. Does 19 divide z?
False
Let d be 5/(6/5 + -1). Suppose 125 = 3*i - d. Does 13 divide i?
False
Let j = 14 + -20. Is 2/(-1)*21/j a multiple of 7?
True
Suppose 8*n - 130 = 110. Is n a multiple of 10?
True
Let q(r) = -9*r + 3. Is q(0) a multiple of 3?
True
Let a(