 be (-2316)/(-14) + 80/140. Let g = j + k. Is g a multiple of 33?
False
Suppose -7560 = 29*b - 35*b. Does 20 divide b?
True
Let x(f) = 18*f**2 + f + 1. Let n be x(1). Suppose -5*b = -n, -5*b = s + 52 + 1. Let c = -52 - s. Is c a multiple of 6?
False
Let d(m) = m**2 - 2*m + 124. Let t be d(0). Let k = -87 + t. Does 6 divide k?
False
Suppose 28 = 3*h - 398. Suppose 6*d + 394 - h = 0. Let x = d - -71. Does 14 divide x?
False
Suppose 34 = n - 4*k, -26*n + k - 9 = -27*n. Is 7 a factor of n?
True
Let x(q) = 2*q**3 - 5*q**2 - 6*q + 28. Does 12 divide x(8)?
True
Suppose 7*r = 2*l + 5*r - 4656, -2*l - 3*r + 4666 = 0. Is l a multiple of 62?
False
Let p(f) = 51*f - 524. Does 25 divide p(17)?
False
Suppose -17*t + 35 = -12*t. Let z be (25/2)/(t/182). Suppose -6*c + c = -z. Is 13 a factor of c?
True
Let h = -684 - -1494. Does 30 divide h?
True
Suppose -2*s - 2*q = -1060, -2*q + 3*q + 2638 = 5*s. Is s a multiple of 8?
True
Let z(q) = 8*q**2 - 203*q + 20. Is 14 a factor of z(36)?
True
Let m(t) = -13*t + 105. Does 39 divide m(-34)?
False
Let t(p) = -p**2 - 9*p - 4. Let n be t(-7). Suppose 0 = 3*q - 52 + 58. Let j = n - q. Is j a multiple of 6?
True
Does 17 divide (-1)/(((5/2195)/(-1))/1)?
False
Let g(s) = 32*s + 17. Let t be g(-2). Let j = t - -92. Is j a multiple of 9?
True
Is -490*(5 + (-110)/20) a multiple of 13?
False
Let r(w) = -185*w + 2. Let x be r(1). Let c = x + 262. Does 22 divide c?
False
Suppose -4*l - r = 2*r + 84, -l - 26 = 2*r. Is -2 - (-2)/((-4)/l) a multiple of 5?
False
Let b(j) = j - 1. Let z(d) = d**2 - 2*d - 2. Let p(a) = 2*b(a) - z(a). Let o be p(4). Suppose 3*q + 3*l - 79 = 23, o = -5*q + 2*l + 142. Does 10 divide q?
True
Does 43 divide (-290 + 11)*((-16)/12 - -1)?
False
Let f(n) = -2*n + 0*n - 42 + 5*n**2 + 3*n + 41. Is f(2) a multiple of 7?
True
Let l = 526 + 90. Is 22 a factor of l?
True
Suppose 6*k = k + w + 1264, -3*k + 744 = 3*w. Is 17 a factor of k?
False
Does 30 divide (3/2)/((-2)/(-3720))?
True
Let b(t) = 4*t**3 - 17*t**2 + 16*t + 6. Suppose 6 = -2*r + 5*r. Let q(y) = -y**3 + 6*y**2 - 5*y - 2. Let h(a) = r*b(a) + 7*q(a). Is 22 a factor of h(-8)?
True
Let x be ((-1)/(-4) - 0) + 239/4. Let b = x + -27. Is 11 a factor of b?
True
Let u = 3019 - 979. Is u a multiple of 24?
True
Suppose -5*y - u - 15 = -6*u, 3*y + 5 = u. Let v be (-3)/(y/(5 - 4)). Is 10 a factor of 0 - (-33 - (-6 + v))?
True
Let g(i) = i - 4. Let a be g(4). Suppose a = 3*s - 1 - 5. Suppose s*m + 24 = 96. Is m a multiple of 18?
True
Suppose 4*q = -8 + 20. Is 106/(-6*q/(-9)) a multiple of 22?
False
Let a = 3 - 1. Suppose -2*o - 4*i = -50, -a*o - o = -5*i - 130. Does 6 divide o?
False
Suppose 0 = -3*f + 7*f. Suppose -2*i + g + 8 = f, 0*g = -i + 5*g + 13. Is i a multiple of 2?
False
Let z be (2 + -1)*(2 + 0). Suppose -1 + 0 = i, -i = -3*b + 61. Suppose -3*t - 6 = z*n - b, -2*t - 54 = -5*n. Does 5 divide n?
True
Let d(w) = 3 - w - 2 + 7*w. Suppose 5*u - 28 = -4*z, 5*u - 26 = -5*z + 2*z. Does 12 divide d(u)?
False
Let x(o) = -12*o + 48. Does 10 divide x(-6)?
True
Let d = 414 + -188. Let c = d - 103. Does 13 divide c?
False
Suppose -7 - 5 = -4*a, 4*i + 3*a = 2629. Is i a multiple of 51?
False
Suppose 0 = -4*q - 4, 6*h - 3*q - 18 = h. Suppose -5*y = -3*o + 176, -5*y + h*y - 64 = 2*o. Is (2 - -1)*y/(-6) a multiple of 17?
True
Let i(o) = 25*o - 1. Let t be i(-1). Suppose 2*b - 64 = -3*s, -4*s - 257 = -5*b - 51. Let u = t + b. Is 12 a factor of u?
True
Suppose -15 = 4*h - 91. Let r = h + -5. Is 6 a factor of r?
False
Let h be 16/40 - (-2)/(-5). Suppose h = -4*n + 2*l + 68, 2*n - 34 = -3*l + 2*l. Does 3 divide n?
False
Let u = -122 + 82. Let i be 2 - 0 - (u + 6). Suppose 24 = 4*k - i. Is k a multiple of 15?
True
Let f = 93 + 81. Is f a multiple of 2?
True
Let q(y) = 521*y - 1063. Is q(7) a multiple of 76?
True
Suppose 0 = -2*g - 4*t + 6, 2 = 3*g + 4*t - 11. Let q(a) = 14*a + 22. Is q(g) a multiple of 15?
True
Suppose 0*t = -8*t + 968. Suppose -q + 23 = -t. Is q a multiple of 12?
True
Let h = 19 + -15. Suppose 0 = 4*y - y - 5*f - h, -f = -1. Is 15 a factor of (-15)/(-1 + y + -3)?
True
Suppose 5*k = -13*r + 14*r - 3578, 714 = -k + r. Let o = k - -1022. Does 18 divide o?
True
Let p be (-172)/(-60) - 8/(-60). Suppose 9 + 117 = 3*j - p*k, -4*j = -3*k - 168. Does 21 divide j?
True
Suppose -5*y + 18 = 3. Suppose -4*q + q = -5*g - 2, g - q + 2 = 0. Is 2/(g/9) - y a multiple of 3?
True
Suppose 2*s = -h + 126, 0*s - 3*s + 529 = 4*h. Is 17 a factor of h?
True
Suppose -68 = -h - 65, 5*w + h = 1708. Is w a multiple of 31?
True
Suppose 95 - 9 = i. Let z = 9 + i. Is 14 a factor of z?
False
Let l be (5/1)/((-5)/(-2)). Let p(g) = 22 - g**2 + 34 + 3*g + g**3 - 2*g**3 - l*g. Does 14 divide p(0)?
True
Suppose 0 = 151*b - 152*b + 5*v + 2679, b = 3*v + 2683. Does 13 divide b?
False
Let p(s) = -197*s + 69. Is 20 a factor of p(-3)?
True
Let f be 42/11 + (-6)/(-33). Suppose 45 = o + 3*o + 3*p, f*o - p - 65 = 0. Is 5 a factor of o?
True
Does 9 divide (-378)/4*(-29 - -21)?
True
Suppose -281 = -7*t + 4269. Does 65 divide t?
True
Suppose 2*c - 3 = 1. Suppose 0 = -4*b - 18 + c. Is 1 - (-3 + 1 + b) a multiple of 3?
False
Let i(t) = 5*t**2 - 48. Is 9 a factor of i(-7)?
False
Suppose -4*h + 6 = -2. Let o(q) = -q - 1. Let a(g) = -g - 8. Let u(z) = h*a(z) - 6*o(z). Is u(4) a multiple of 6?
True
Suppose 3443 + 3209 = 4*r - 4*u, 3*u = 6. Does 15 divide r?
True
Suppose 3*h + 5*m = -81, 5*m - m = 4*h + 140. Let l = 72 + h. Is l a multiple of 20?
True
Suppose -4*q - 4*o + 134 = -5*o, q + 2*o = 38. Is q a multiple of 17?
True
Suppose 239 = a + 5*c, 0 = 4*a - c - 937 + 65. Suppose 3*w - 93 - a = 0. Is w a multiple of 14?
False
Let f = -4059 - -6389. Is 10 a factor of f?
True
Suppose -2*w - 3*d = -990, 0 = -d - 2. Suppose -99 = 19*l - w. Is 3 a factor of l?
True
Suppose -6 = x - 8. Suppose 4*a - p + 19 = 0, x*a + p = 5*p + 8. Does 18 divide (-20)/a*66/4?
False
Let a be (-3)/21 + (-4188)/(-14). Let f be -2 + (8/4 - -2). Suppose a = 5*t + f*q, -39 = -2*t + 4*q + 71. Is t a multiple of 16?
False
Suppose 0*c + 4*c - 339 = -5*v, -v + 2*c = -65. Suppose 2*m - v - 5 = 2*l, -5*l = -m + 52. Does 21 divide m?
False
Suppose 0 = -y - l + 377, 4*y = -0*l - l + 1496. Is 16 a factor of y?
False
Let l(o) = o**3 + 3*o**2 - 4*o + 4. Let b be l(-4). Suppose b*m - 4*p = 436, m = -2*m + 5*p + 327. Does 26 divide m?
False
Let c(p) = 26*p + 71. Does 22 divide c(21)?
False
Let l(n) = -27*n + 45. Does 57 divide l(-11)?
True
Suppose -192 = -z + 483. Suppose -z + 43 = -4*b. Is b a multiple of 12?
False
Suppose 128 + 7 = 15*j. Is j even?
False
Suppose 848 = 3*m + 5*c, c = -4*m - 282 + 1441. Is m a multiple of 17?
False
Suppose -5*i - 789 = -n + 85, 3*i + 4480 = 5*n. Does 29 divide n?
True
Let m be 30/((-3)/18 - 5/(-6)). Is 4 a factor of m - (-3 - -1 - 1)?
True
Suppose -5*y = 5*p - 10690, -4*y - 8566 = -4*p - y. Is 17 a factor of p?
False
Let t be -5*-9*(-2)/30. Let k be (-5)/15 + (-706)/t. Suppose 6*x = 2*x - 2*d + 194, 5*x + d = k. Does 23 divide x?
True
Let r = 864 + -464. Is r a multiple of 4?
True
Let d(o) = 3*o - 14. Let g be d(6). Does 23 divide (-8)/g*(-207)/6?
True
Let o(q) = -q - 14. Let j be o(0). Let t be 7/j*(0 - 14). Let r(m) = m**2 - 5*m + 4. Is r(t) a multiple of 6?
True
Suppose 4*k = 43 + 13. Let w = -14 + k. Suppose w*g = -5*g + 90. Is 10 a factor of g?
False
Is 8 a factor of (-136*(-10 + -1))/(313 + -312)?
True
Let p(x) = x**3 - 9*x**2 + 3*x - 15. Let q be p(8). Let y = 127 + q. Is y a multiple of 13?
False
Is (22/33)/((-2)/(-543)) a multiple of 6?
False
Let r(z) = -6*z - 1. Let o(i) = 7*i. Let m(q) = -5*o(q) - 6*r(q). Does 7 divide m(12)?
False
Suppose -3*z - 4*j - 4 = 0, 2*z - j + 11 = -2*j. Let r be z/7*(-14)/4. Let o(d) = -d**3 + 7*d**2 + 4*d + 4. Is 22 a factor of o(r)?
False
Let k = -449 + 952. Let j = -346 + k. Is 40 a factor of j?
False
Let d(s) = -15*s + 20. Is 26 a factor of d(-16)?
True
Let h = 465 - -264. Does 24 divide h?
False
Let w = 15 - 13. Suppose -w*u + 8 = 4. Suppose -5*r = u*l - 15 + 1, 0 = 3*l + r - 47. Is l a multiple of 7?
False
Suppose 5*h + 127 = -f, 5*h + 40 = 3*h + 5*f. Is -65*(70/h + 2) a multiple of 13?
True
Let n(i) = -129*i**3 + 2*i**2 + 3*i + 2. Let h be n(-1). Let q be (-1 + 0)/((-5)/h). Suppose 2*s - q - 8 = 0. Is s a multiple of 5?
False
Suppose 2*l = -2*h - 632, -6*h - 1568 = -h + 2*l. Does