k(h). Does 34 divide q(6)?
True
Let u = -1315 - -1891. Does 18 divide u?
True
Let k(z) = -17*z + 45. Let s be k(13). Is 39 a factor of 3/(-6)*-21*s/(-33)?
False
Suppose -153 = 2*s - 303. Let c(u) = 59*u + 1. Let o be c(4). Suppose -f = -2*g + s, 4*g - o = 3*f - 82. Is 11 a factor of g?
False
Is 10 a factor of (855/(-12))/((-6)/144)?
True
Let d(z) = 3*z + 45. Is 9 a factor of d(-3)?
True
Let r(w) = 392*w - 4. Let h be r(1). Suppose -h = 7*z - 1207. Does 12 divide z?
False
Does 75 divide -4 + (-460 - -6)/(-1)?
True
Let v = -56 + 115. Let z be (-2)/10 + 492/(-15). Let m = v + z. Is 6 a factor of m?
False
Suppose -3*a + 10*a - 14 = 0. Suppose -123 = -a*d - d. Is 5 a factor of d?
False
Suppose 9*t + 108 - 189 = 0. Is 3 a factor of t?
True
Suppose -4320 = 10*r - 20570. Is r a multiple of 25?
True
Let b(m) = -m**3 + 3*m**2 + 6*m - 5. Let x(g) = 2*g - 6. Let h be x(5). Let t be b(h). Suppose t*a = -44 + 140. Is a a multiple of 16?
True
Let z(d) = d**2 + 11*d + 8. Let u be z(-7). Is 13 a factor of (-19 - u) + 3/((-3)/(-194))?
True
Suppose -201*h + 193*h = -40. Suppose 8 = -4*r, -v - r = -3*v + 8. Suppose v*t - 54 = -4*x, -3*t = -h*x - 8*t + 70. Is 4 a factor of x?
True
Suppose 10*j = -40*j + 69300. Is j a multiple of 63?
True
Does 19 divide ((-1397)/(-22))/((-2)/(-4))?
False
Let u(v) = -2*v**2 + v. Let n be u(-2). Does 11 divide (-1 + 23)*(-5)/n?
True
Let x = 1802 + -717. Does 7 divide x?
True
Let k(r) = 3*r**2 + 2*r - 2. Suppose -4*v = -5*h - 15, h + 2 + 1 = -v. Suppose v = -5*d + 10*d - 15. Is 12 a factor of k(d)?
False
Suppose 17*g - 2190 = 12*g. Let y(j) = 108*j**2 + 2*j + 1. Let f be y(-1). Suppose 5*q - f = g. Is q a multiple of 23?
False
Let f(j) = j**2 + 2*j + 112. Let s be (-1 + 2)*1 - (-51 + 52). Is 14 a factor of f(s)?
True
Let p = -38 + 49. Let q = p - -45. Is 8 a factor of q?
True
Suppose b = 6*b - 2*o, -15 = -3*o. Suppose f + 5*t - b - 72 = 0, 222 = 3*f + 4*t. Does 28 divide f?
False
Let p(t) = 2*t + 68. Let i be p(-16). Suppose 3*m - 4*x = 11 + 30, -3*m = -3*x - i. Does 2 divide m?
False
Let i = -85 - 155. Let d = -69 - i. Is d a multiple of 19?
True
Let x = -105 + 104. Does 45 divide -2*(2/(-4))/x*-229?
False
Let s = -10 + 16. Let w be 9*(10/s - 2). Is 104/12 - 1/w a multiple of 4?
False
Let i(z) = -z**3 - 3*z**2 + 2*z + 3. Let x be i(-2). Is ((-1)/(-1))/(x/(-195)) a multiple of 8?
False
Suppose -u + h + 6 = 6*h, 3*h + 36 = 3*u. Let p = 27 - u. Is 16 a factor of p?
True
Suppose 3*l - 4*t - 107 = -3*t, -l + t = -35. Let g = -671 - -845. Does 5 divide g/l - (-3)/18?
True
Suppose 2 = -5*w + 3*f, 5*w + f = -0*w + 14. Suppose -4*k = -4*l + 104, 0 = 3*l + w*k - 43 - 35. Does 13 divide l?
True
Suppose -k - 3*k = 60. Does 9 divide (-24)/k*(-330)/(-12)?
False
Suppose -3*t + 7*t = 3*x + 3332, 3*t + 5*x - 2528 = 0. Does 23 divide t?
False
Suppose 4*h = 2*k + 22, 6*h = 4*h + 8. Let r = 3 + 0. Does 10 divide (-36)/(k/r) - -4?
True
Let s = -1062 - -1196. Does 2 divide s?
True
Let x = 311 + -217. Let k = -3 + x. Is k a multiple of 7?
True
Is 72*(4 + (-8)/(-3)) a multiple of 16?
True
Suppose 1570 + 1514 = 4*i - 4*d, 4*d - 766 = -i. Is i a multiple of 24?
False
Suppose -3*i - 5 = -41. Let n = 48 - i. Is n a multiple of 12?
True
Is 7/(-2)*(-222)/21 a multiple of 37?
True
Let t = -398 + 1952. Does 16 divide t?
False
Suppose 9*i - 13878 - 14553 = 0. Is i a multiple of 117?
True
Let y = -256 - -458. Let a = -138 + y. Is 16 a factor of a?
True
Let r(w) = -w**3 - 7*w**2 + 7*w + 6. Let s be r(-8). Let a = s - 4. Is a a multiple of 10?
True
Suppose -g + u = -33, 3*g + 0*g + 2*u = 109. Let j be (-9)/15 + (-14)/g. Does 11 divide (-1)/j + (0 - -45)?
False
Let k(u) = u**2 + 47. Is k(7) a multiple of 3?
True
Suppose 2*f - 24 = -2*q, 13 = 4*q - 5*f - 80. Suppose -3*d - 4*v + 223 + q = 0, 0 = -5*v + 15. Does 19 divide d?
True
Suppose 3*p - 1 = -0*t - 2*t, -5*p + 23 = -2*t. Suppose s + 1 = 0, -p*v + 211 + 3 = -s. Does 8 divide v?
False
Let f be 7 + 6*8/(-12) + 2. Suppose -s + 2*o + 13 = 0, f*s = -0*o - 3*o + 91. Does 17 divide s?
True
Does 10 divide 4022 + (2/6)/(2/(-12))?
True
Suppose 3*r - 10 = -2*s + 2*r, 0 = -4*s + 3*r + 10. Is (-11)/(4 - (s + 1)) a multiple of 7?
False
Let x be 228/108 + (-2)/18. Let o(j) = 7*j - 7. Is o(x) a multiple of 4?
False
Suppose -4*g = r - 9, -5*r + 6 - 15 = 2*g. Suppose 0 = y - g*d - 79, -69 = -2*y + y + d. Is 16 a factor of y?
True
Let s = 39 - 10. Suppose -240 = -2*q + 3*p - s, 0 = -2*q + 4*p + 208. Is 22 a factor of q?
True
Suppose -424 = -5*q + 66. Suppose 758 = 5*d + q. Is 14 a factor of d?
False
Let o(y) = 3*y - 38. Let s be o(14). Suppose s*f + 445 = 2*a + 3*a, -5*f + 118 = a. Is 22 a factor of a?
False
Suppose -4*u = 2*x - 14, 2*x + 1 + 9 = 4*u. Suppose 2*w - 2 = -r, -2*w + 8 = 4*r + u*w. Suppose -o - 2*o - 157 = -2*a, 0 = r*o + 6. Does 11 divide a?
False
Let s(o) = -2*o**2 - 9*o - 7. Let f be s(-3). Let m(k) = 131*k - 7. Is m(f) a multiple of 47?
False
Let r(x) = 4*x**2 - 2*x - 1. Let c be r(-5). Let v = -22 + c. Does 21 divide v?
False
Let m(b) = -15 + 9*b**2 + 5*b - 2*b**2 - 5*b**2 + 3. Is m(-5) even?
False
Let b be 2 - (-7)/((-14)/(-12)). Suppose -2*g - 26 + b = 0. Let u = 19 - g. Is u a multiple of 28?
True
Let j = 186 - -165. Is j a multiple of 39?
True
Let a(w) = 33*w**2 + 1 + 12 + 2*w - 32*w**2. Is a(-7) a multiple of 12?
True
Suppose 2*l + 542 = 5*l - 5*t, -l + 170 = t. Is l a multiple of 62?
False
Let t(d) = -43*d - 3. Let j be t(3). Let q be (-2)/(-11) + 1212/j. Let u = q - -59. Is u a multiple of 10?
True
Suppose g - 5*c = 10, -g + 61 = 3*g + c. Suppose 3*j = -2*j + g. Let l(s) = s**2 - 2. Does 7 divide l(j)?
True
Let k(r) = -4*r + 27. Let g be k(6). Suppose 0 = 4*o - 3*h - 928, o = 2*o + g*h - 217. Does 32 divide o?
False
Does 8 divide (-614)/(-4) + (-5)/(-20)*2?
False
Suppose 2*y = 3*i - 13, 0*y = 5*y - 5. Suppose 751 = 3*l + i*j, -503 = -2*l - j - 0*j. Does 18 divide l?
True
Let i = -871 - -1239. Suppose 352 = 9*q - i. Is q a multiple of 40?
True
Suppose 0 = -12*b + 13*b - 58. Suppose 55*k - b*k + 180 = 0. Is k a multiple of 10?
True
Let x(k) = -19*k - 9. Let o be -18*63/(-18)*(-2)/14. Does 27 divide x(o)?
True
Does 40 divide (-2)/(-1) - (-123 - 3079)?
False
Suppose 2*u + 14 = 4*j, 2*u + 2*u - 16 = -3*j. Is 15 a factor of (1/u)/(6*(-3)/(-1350))?
True
Let l be 9 + (-5)/((-5)/(-3)). Let n(a) = 18*a - 21. Does 23 divide n(l)?
False
Suppose -3*f + 110 = 2*f. Suppose 62 + f = 3*o + n, -2*o + 5*n + 56 = 0. Is o a multiple of 5?
False
Suppose 2*o = 3*o - f - 3, -41 = -2*o - 5*f. Suppose z + 2*i - o = 0, -23 = 4*i - 3. Is z a multiple of 5?
False
Let r = 1823 + -1460. Does 7 divide r?
False
Suppose 0 = -66*z + 23198 + 7558. Is 4 a factor of z?
False
Let r = 66 + -27. Let b = -6 + 57. Suppose -b = -2*i + r. Is i a multiple of 15?
True
Let x(l) = 60*l + 15. Let f(c) = c**3 + 18*c**2 + 15*c - 29. Let i be f(-17). Does 21 divide x(i)?
True
Suppose 28*p - 7*p = 30513. Is p a multiple of 85?
False
Let l = -169 - -152. Let p(w) = 2*w**2 + 16*w + 61. Is p(l) a multiple of 37?
False
Let k(v) = -v**3 + 6*v**2 - 8*v + 2. Let b be k(4). Suppose l = -2*a + 2*l - 15, -3*a = -5*l + 33. Does 7 divide 17 + a/b + 0?
True
Let l be ((-2)/(-6))/((-11)/(-33)). Is 7 a factor of ((0 - -6) + -5)/(l/7)?
True
Let r = 1417 - 1178. Does 6 divide r?
False
Let y(t) = 92 + 11*t - 46 - 50. Let z = 1 + 1. Does 6 divide y(z)?
True
Suppose -6693 = -23*f - 115. Is f a multiple of 13?
True
Suppose -4*f = 16, 4*y - 5*y = -f - 72. Let j be 1 - 0/(-2) - 1. Suppose j = -7*s + y + 170. Does 17 divide s?
True
Let m(g) = -g + 14. Let p be m(11). Suppose 2*a = -2, 1 = -u - p*a - 1. Let n(o) = 21*o**2 + 1. Is 20 a factor of n(u)?
False
Let h(a) = -42 - 7*a - 37 + 2*a**2 + 80. Is 25 a factor of h(7)?
True
Let x = -10 - -12. Suppose x*d - 25 = 5. Does 3 divide d?
True
Suppose -4*u + 2*z + 64 + 206 = 0, -5*z - 25 = 0. Let x = u - 41. Does 11 divide x?
False
Suppose -4*j = -x - 2*x, -3*j + 3*x = 3. Suppose -3*g - 6 = -j*c, -5*c + 7 = -3*c - 5*g. Is (-16)/14*(c + -8) a multiple of 4?
True
Suppose 11*o = -x + 7*o + 445, -3*x + 4*o + 1415 = 0. Is 7 a factor of x?
False
Let l(y) = 29*y + 1. Let b = 64 + -101. Let x = b - -40. Does 22 divide l(x)?
True
Let l = -17 - -20. Suppose 2*c - 2*t + 6 = 7*c, -l = 4*c - t. Suppose -2*r - 110 = -3*n, r + c + 4 = 0. Is 7 a factor of n