 4. Let i be h(-7). Suppose -i*t + 27 = -69. Is 16 a factor of t?
True
Let f be (-19)/((1 - 2)*1). Let t = -13 + f. Does 10 divide 3*t + (-2)/(-1)?
True
Let b(k) = -2*k**2 + 3*k + 219. Is b(0) a multiple of 11?
False
Let u(j) = j**3 - 5*j**2 - 4*j + 6. Let o be 9 + (3 + 0)*-1. Does 5 divide u(o)?
False
Suppose -7 = f + 2. Does 2 divide 4/18 - 16/f?
True
Suppose -7*w = -6*w - 48. Is w a multiple of 8?
True
Suppose 4*h - 281 = -5*m + 155, -m + 93 = -5*h. Suppose 0 = -4*q - 0*q + m. Is q a multiple of 11?
True
Let w = 11 - 6. Let f be 2/5 + 39/15. Suppose 3*u - u - 39 = 3*v, w*u + f*v - 45 = 0. Is u a multiple of 6?
True
Suppose 0 = -4*w - 417 - 327. Let l = -131 - w. Is l a multiple of 16?
False
Suppose -4*k + k + 315 = -3*i, 317 = 3*k - 2*i. Is k a multiple of 13?
False
Let y be 3*1 - (-9 - -8). Suppose -r = 3*t + 10 - 28, -12 = -2*t - y*r. Does 5 divide t?
False
Let w = -15 - -70. Does 11 divide w?
True
Is ((-19)/(-2))/(6 - (-110)/(-20)) a multiple of 4?
False
Let t be 509/13 + (-20)/130. Suppose 2*n + n - 113 = a, -a = n - t. Is n a multiple of 19?
True
Suppose -2*j = 3*r - 16, 0*r + 2*j = 3*r + 4. Suppose 0 = -5*m - 5*b + 10, -5*m + b + r = -4*m. Suppose -m*l + 49 + 11 = 0. Is l a multiple of 13?
False
Suppose 2*i = i, 4*p = 5*i - 24. Is 7 a factor of p/4 - (-51)/6?
True
Let l = 103 + -55. Is 12 a factor of l?
True
Let o(f) = -f**2 + 9*f - 6. Let x(z) = 2*z**2 - 18*z + 13. Let m(n) = 5*o(n) + 3*x(n). Let l be m(7). Is 9 a factor of (-36)/(-10)*l/(-2)?
True
Let m(l) = l**3 - 10*l**2 + l + 6. Let r be m(10). Suppose 5*q - 4*d - 30 = d, -4*q + r = -2*d. Is 2 a factor of q?
True
Let j(z) = -3*z**2 - 10*z - 4. Let g(p) = 6*p**2 + 19*p + 8. Let w(x) = 3*g(x) + 5*j(x). Let f(y) = -2*y + 2. Let q be f(3). Does 11 divide w(q)?
False
Let j(x) = 13*x + 8. Is j(4) a multiple of 15?
True
Let a(g) = -4*g - 3. Is 3 a factor of a(-4)?
False
Is ((-112)/10)/((-1)/5) a multiple of 8?
True
Let f be ((-6)/18)/(2/(-18)). Suppose f*c + c = l - 38, -3*l + 4*c = -122. Is 21 a factor of l?
True
Let f(k) = -k**3 + 9*k**2 - 9*k + 7. Is f(7) a multiple of 6?
True
Let t = 7 - 11. Let c be 1 + t/((-12)/261). Suppose 2*o = 6*o - c. Does 7 divide o?
False
Let z = -31 - -73. Is z a multiple of 7?
True
Let o = 18 - 13. Suppose 3*g + 5*r = 97, 0 = -3*g + g + o*r + 23. Is g a multiple of 12?
True
Suppose -16 = -0*v + 4*v. Let j be 2*(-1 + (0 - 0)). Does 21 divide (j/(-4))/(v/(-200))?
False
Let w be (4 + -5)*4*1. Does 10 divide (w/3)/(4/(-108))?
False
Suppose -1260 = 14*y - 18*y. Is y a multiple of 22?
False
Let s(k) = 8*k - 1 - 1 - k - 3*k**2 - k**3. Does 7 divide s(-5)?
False
Let u(p) = 3*p - 5. Let l be u(4). Suppose 0 = 3*v - l*v. Suppose v = o - 2*o + 11. Is o a multiple of 11?
True
Let f = 14 - 12. Suppose -4*l = -f*l - 18. Is 3 a factor of l?
True
Suppose 4*m - 287 = 1. Is m a multiple of 9?
True
Suppose 3*u + 96 = u. Is 6 a factor of (36/(-8))/(9/u)?
True
Suppose 0*q - 2*q = -o + 8, -o = -3*q - 10. Suppose o*c - 18 = 150. Is c a multiple of 27?
False
Let m(j) = -j**2 - j - 1. Let b be m(-1). Let r be b/(-5) + 249/5. Suppose r = 3*n + 8. Is 5 a factor of n?
False
Let s = -40 - -57. Suppose 0 = -6*w + 5*w + s. Is w a multiple of 17?
True
Let p be -1 - 9/(6/(-2)). Is 8 a factor of (3 + 1)/p + 26?
False
Let m = -15 + 27. Is m a multiple of 6?
True
Suppose -25 = -4*l - 5. Is l a multiple of 3?
False
Let k(w) = w**2 + 4*w - 4. Let j be k(-7). Suppose -j = -2*m - n, 2*m + n = -3*n + 8. Does 7 divide m?
False
Let f be 1*(-10 + (1 - 0)). Let c(w) = -2*w - w + 2*w. Does 5 divide c(f)?
False
Let u(y) = 0*y**2 + 4*y + 11*y**3 + y**2 - 3*y - 1. Does 6 divide u(1)?
True
Let t be (-20)/(-15)*(2 - -1). Suppose -o + t = -5. Does 5 divide o?
False
Let p = 3 + -3. Suppose 3*x - 5 = 7. Suppose -2*g - 2*n + 48 = p, -x*g + 57 + 27 = -2*n. Is g a multiple of 11?
True
Suppose 15 = 3*a - 0, 0 = 4*i - 5*a + 29. Let h be 11 - ((-3)/3 - i). Suppose 0*z - 2*z - l = -7, 2*l = z - h. Is z a multiple of 3?
False
Let d(c) = -c**2 - 11*c - 4. Does 18 divide d(-8)?
False
Let w(x) = 28*x - 2. Let v be w(2). Let c(y) = -4*y**2 + 11*y**2 - y - y + 1 + v*y**2. Is c(1) a multiple of 22?
False
Suppose -3*v - v - 160 = 0. Does 7 divide (-2 - 16/(-10))*v?
False
Let y(c) = -2*c**3 - 3*c**2 + 2*c + 2. Let q be y(2). Is -1 - ((q - -2) + -2) a multiple of 9?
False
Suppose 0 = -4*g + g - 5*o - 140, 0 = g + 5*o + 60. Let f = g - -68. Does 10 divide f?
False
Is 12 a factor of (-177)/(-2)*8/12?
False
Let q(b) = -b + 9. Let r be q(7). Is (1/r)/((-3)/(-144)) a multiple of 8?
True
Let y(c) = 0*c + 3*c - 4*c + 2. Suppose -5 = z - o, -o = z + 2*z + 19. Is 4 a factor of y(z)?
True
Let l(k) = 7*k**2 + 2*k - 10. Is 25 a factor of l(5)?
True
Does 22 divide (3 - 2 - -49) + (1 - -2)?
False
Does 13 divide ((-3)/(-2))/((-27)/(-468))?
True
Let o be (-2)/8 + 14/(-8). Let v = 2 + o. Suppose 2*m - 48 = -v. Does 9 divide m?
False
Suppose 0 = 5*a + 10 - 160. Is 15 a factor of a?
True
Suppose -q + 102 - 3 = 4*t, 2*t + 3*q = 57. Is 12 a factor of t?
True
Let r(l) = -l**2 - 2*l + 3. Let g = -14 + 7. Let c be r(g). Let u = 1 - c. Does 13 divide u?
False
Let x = 6 + -6. Suppose x = q + 3*q - 48. Is 12 a factor of q?
True
Let u(d) = 57*d**3 + d - 1. Let p be u(1). Suppose p + 3 = -5*c. Let k = -1 - c. Is k a multiple of 11?
True
Is 13 a factor of ((-18)/(-8))/(3/84)?
False
Does 26 divide 26*(-4)/8*-4?
True
Is ((-3)/4)/((-1)/216*2) a multiple of 12?
False
Is 77 - ((-8)/3)/((-6)/9) a multiple of 12?
False
Suppose 6*v - v - 20 = 0. Suppose -4*n = -3*f - 28, -v*n + 28 = -5*f + 3*f. Is n a multiple of 2?
False
Let n = 475 - 325. Does 10 divide n?
True
Let m be 1093/(-5) + (-10)/25. Is 2/(-6) - m/9 a multiple of 18?
False
Suppose 0 = 3*u - h - 232, -223 = -4*u + h + 85. Is ((-3)/6)/((-2)/u) a multiple of 19?
True
Let t(f) = f - 3. Suppose -4*a + 26 = 6. Let j be t(a). Suppose 0*m + 18 = j*m. Is m a multiple of 5?
False
Suppose -159 - 621 = -2*r + c, -1953 = -5*r + 4*c. Suppose -4*x - 2*f + 3*f = -r, x + 2*f - 104 = 0. Is 30 a factor of x?
False
Let v(t) = t**2 + 6*t - 5. Let x be v(4). Suppose 4*y = 6*y - 4*g - 22, -5*y + 5*g = -x. Suppose 5*k = -y*h + 20 + 92, -32 = -2*k + 2*h. Does 10 divide k?
True
Let y(b) = b**3 + 4*b**2 - 3. Let q be y(-4). Let d be (-178)/q + 4/(-12). Suppose -5*k + d = v, v - 3*k - 9 = 10. Does 15 divide v?
False
Suppose 3*c + 338 = 5*j - 22, 2*j - 2*c - 144 = 0. Is j a multiple of 24?
True
Let c(o) = -30*o - 33. Does 9 divide c(-5)?
True
Let b(v) = 2*v**2 + 18. Does 15 divide b(-8)?
False
Let w = 33 - 24. Let f(t) = -t**2 - 3*t - 7. Let d be f(-5). Does 17 divide d/(w/6 + -2)?
True
Suppose -4*o = -13 - 31. Suppose -10*p = -o*p + 68. Is 17 a factor of p?
True
Suppose 0 = 3*j - 38 - 22. Suppose 2*u + j = 2*h, 4 - 2 = u + 2*h. Does 20 divide (114 - -1)*u/(-15)?
False
Let o(f) = 6*f + 3. Is o(22) a multiple of 9?
True
Let b = 55 + -39. Is 16 a factor of b?
True
Is 7 a factor of (67 - (-5 - -1)) + 1?
False
Suppose -38 = -5*d + 57. Let w = 58 - d. Does 13 divide w?
True
Suppose 6*k = 477 - 99. Does 21 divide k?
True
Let z = -3 + 5. Let n be (10/25)/(z/20). Suppose 0 = 4*f + 2*j - 128, -134 = -n*f - f + 4*j. Does 13 divide f?
False
Let m(q) = 6*q - 6. Let g(j) = j**2 - 4*j - 6. Let p be g(6). Does 10 divide m(p)?
True
Let d = -8 + 12. Is d a multiple of 3?
False
Let y(u) = u**2 + 2*u + 7. Suppose l + 1 = -4*o - 11, 5*o - 2*l + 28 = 0. Is 4 a factor of y(o)?
False
Suppose 0*h + 9 = 2*h + 5*u, -4*h = -5*u - 33. Let d = h - 3. Is 9 a factor of (6/d)/((-1)/(-6))?
True
Suppose -3*w - 3 = -0. Let z = 2 - w. Suppose 40 = z*p - l, -3*l = -3*p + 42 - 12. Is p a multiple of 15?
True
Let f(g) = -g - 2. Let x be f(-4). Suppose 2*p - x = 2*k, -2*k = -p + k - 1. Suppose -i + 38 = p*j, 0 = -3*j - 4*i + 18 + 34. Is 10 a factor of j?
True
Let k(i) = -i**3 - 3*i - 2. Let t be k(-2). Suppose -8*a = -5*a + t. Let l = 3 - a. Is 7 a factor of l?
True
Let y(f) = -4*f - 9. Suppose 0 = 5*j - 15, -13 = 2*q + 2*q - 3*j. Let m(w) = w + 1. Let k(n) = q*y(n) - 2*m(n). Does 6 divide k(5)?
False
Let d(h) = -h**2 - h + 2. Let x be d(0). Let j = 2 - x. Suppose 5*l + 6 = -3*m, j*m + 4*m = -3*l + 3. Is m a multiple of 2?
False
Let p(m) = -2*m - 20. Let v(r) = -r - 7. Let c(h) = -6*p(h) + 17*v(h). Let q be c(-1). Let l(w) = w**3 - 5*w**2 - 3*w - 6. Does 12 divide 