*m - 2, 4*m + 4 = 3*n - 18. Suppose 5*o - 5 = o - 5*x, -n*x + 9 = 3*o. Suppose 4*k - 3 + 11 = 4*b, -o*k - 6 = -4*b. Does 4 divide b?
True
Suppose 5*s = l - 63, 0*l - 4*s = -l + 62. Suppose 7*g - l = -3*p + 2*g, 3*g = -5*p + 86. Does 8 divide p?
True
Let y(b) = 2*b - 5. Let w be y(4). Suppose 0*c - 195 = w*c. Does 12 divide (2/5)/((-1)/c)?
False
Let f(y) = 7*y - 9. Is f(7) a multiple of 8?
True
Let a(b) = 10*b + 5. Does 25 divide a(7)?
True
Let f = -13 + 18. Let t = f + -1. Suppose 20 = t*p - 4. Is 6 a factor of p?
True
Suppose -192 = -4*v - 4*v. Is 6 a factor of v?
True
Suppose q = 9*q - 1232. Is 49 a factor of q?
False
Suppose 0 = c - 2*c - 10. Is 9/(-15) - 246/c a multiple of 24?
True
Let g be 9*(-2 + 46/6). Suppose 2*c - g = -w, 3*w = w - 2*c + 108. Is w a multiple of 24?
False
Let c be 4 + 1 + 1 + -4. Suppose -c*j = 5 - 19. Is 10/35 - (-19)/j a multiple of 2?
False
Suppose 5*o + 4*n = 30, 0 = -0*o + 2*o + 5*n - 12. Does 13 divide 340/o - (-4)/12?
False
Suppose 0 = 5*v + 25, -2*h - 3*h + 200 = v. Suppose 3*y = 5*a - 153, -2*a - 2*y = -a - h. Does 14 divide a?
False
Suppose 2*t - 3*r - 4 = 0, 2*t + 2*r - 4*r - 4 = 0. Let z(k) = k**t - k**2 + 6 + 2*k**2 + 6*k - k**2. Is 10 a factor of z(-7)?
False
Suppose -4*k - 10 = -3*k + 3*q, -4*k + 4*q + 24 = 0. Let n(d) = 2*d**2 - 2*d + 1. Let b be n(k). Suppose 3 = 3*w, b*w = -3*j - 0*w + 53. Is 13 a factor of j?
False
Let k = -13 + 40. Is k a multiple of 8?
False
Let t = 134 + -69. Suppose -y - 39 = -5*o, o + o - t = 3*y. Let d = y - -31. Does 7 divide d?
False
Let n(x) = x**2 - 3*x - 9. Does 4 divide n(7)?
False
Suppose -2*w = -4*i + 138 + 144, -5*i + 352 = -3*w. Does 37 divide i?
False
Let m be (-2082)/(-10) - (-1)/(-5). Let j be (-2)/4 + 3/6. Suppose j = -5*g + m + 2. Does 20 divide g?
False
Let q(d) = 9*d**2 + 3*d. Let m be q(3). Suppose 3*j - m = 5*t, 0 = -j - 5*t + 16 - 6. Is 13 a factor of j?
False
Suppose -4*t = -5*z + 6, 1 = -z + 4*t - 1. Does 9 divide 1/((-1)/z) + 11?
True
Let s(a) = a**2 + 12*a - 12. Let l be s(-13). Is l/(1/40) + -1 a multiple of 12?
False
Let s be 1/1 - (0 + -1). Suppose s*t + 3*t + 4*l = 591, l - 234 = -2*t. Suppose -5*n = -5*y + t, 0 = -0*y + 4*y - 5*n - 95. Does 10 divide y?
True
Suppose y - 1 = 2. Suppose 2*z = -4*k - 20 - 6, 5*k + 16 = y*z. Is 16 a factor of 80*(z/5 - -1)?
True
Let g be ((-1)/(-2) - 2)*-2. Suppose x - 2*f = -4*x + 52, g*x + 2*f = 44. Is 8 a factor of x?
False
Suppose 0 = -4*j - u - u + 46, -3*j = -u - 27. Is j a multiple of 2?
True
Suppose -n - 4 = -2*z, -z + 23 = 5*n - 1. Is 12 a factor of 1 + 1 - (-228)/n?
False
Let z(k) = -k**2 + 11*k + 13. Let t be z(12). Is t*(24 - -1 - 3) a multiple of 15?
False
Suppose -2*j + 28 = 3*j - r, j = -2*r - 1. Suppose 2*g = -j*b + 47, g + 5*b + 1 - 22 = 0. Is g a multiple of 14?
False
Suppose -3*s = -2*x + 375, 4*x + 195 = 5*x + s. Is 32 a factor of x?
True
Suppose 16*y = 14*y + 440. Is 44 a factor of y?
True
Suppose -5*v = 7*v - 132. Is v a multiple of 2?
False
Let w(d) = d + 4. Let h be w(0). Let g = -3 - -7. Suppose -g*z + h*p + 71 = 11, 0 = -5*p - 20. Is 11 a factor of z?
True
Let z = 10 - -2. Does 12 divide z?
True
Let t = 26 - 38. Is 12 a factor of (39/t)/((-1)/12)?
False
Suppose -5*o + 4 = -1. Suppose -2*v = 4*p - v - 21, -v + o = 0. Suppose 4*x - p*x + 22 = 0. Is x a multiple of 11?
True
Let g = -17 + 60. Suppose -z + g = -44. Is z a multiple of 29?
True
Let h = 8 - -6. Is 2 a factor of h?
True
Suppose 513 = 3*b + 165. Suppose 0 = 4*x - 21 + 1. Suppose h = x*h - b. Does 16 divide h?
False
Is -9*(-2 + 16/12) a multiple of 5?
False
Let i(s) = s**3 - s - 1. Let v be i(2). Suppose 5*d - 25 = v*j, -3*d - 3*j = j - 22. Is d a multiple of 6?
True
Suppose 2*p - 36 = 4*f, -4*p - 2*f + f + 27 = 0. Is 4 a factor of p?
True
Does 5 divide 236/3 - (-28)/21?
True
Suppose 0 = 4*p - 2*k - 14, p - k + 0 = 1. Suppose 4*n + h = 56, 0 = -2*h - 2 - p. Is n a multiple of 7?
False
Let a = 24 - 12. Is 6 a factor of a?
True
Let g(a) = -a**2 + 9*a - 6. Let p(s) = s + 4. Let k be p(4). Let b be 0 - k/(-2)*1. Is g(b) a multiple of 14?
True
Suppose 2*s + 3 = 5*c + 14, 5*s + 4*c = 11. Let h = 30 - s. Is 9 a factor of h?
True
Let d(n) = -5*n**2 + 4*n + 4. Let j be d(-8). Is ((-4)/6)/(8/j) a multiple of 14?
False
Let h(b) = -17*b**2 - 1. Let y be h(1). Let a = -9 - y. Is 7 a factor of a?
False
Let s = 6 - 30. Is (-750)/s + 2/(-8) a multiple of 9?
False
Let w = 192 - 48. Is w a multiple of 18?
True
Suppose t - 4 - 2 = 0. Let x(p) = -p - 10. Let n be x(-10). Let y = t + n. Does 3 divide y?
True
Suppose 5*u + 3 = -3*q, 4*q - 4 = -0*q - 4*u. Suppose 3*d - 10 = -q. Suppose -3*y = 5*n - 105, -3*n = d*n - 2*y - 130. Is 20 a factor of n?
False
Let p(k) = -k. Let c(h) = -10*h + 4. Let t(y) = -c(y) + 5*p(y). Is 3 a factor of t(3)?
False
Suppose 11*z - 294 = 4*z. Is z a multiple of 9?
False
Suppose 0 = 5*p - 2*i - 472, -i = -5*p - 0*i + 471. Does 29 divide p?
False
Let w(p) = -5*p**3 + 3. Does 10 divide w(-2)?
False
Let s(y) = -y**2 - 9*y - 9. Let x be s(-7). Suppose 0*j = -j + x. Suppose 2*i - 68 = 4*g, j*i - 68 = -3*g + 76. Is i a multiple of 15?
True
Let b(i) be the second derivative of -7*i**3/6 - 11*i**2/2 - i. Is b(-11) a multiple of 29?
False
Suppose -4*b + a = -0*b - 213, 20 = -4*a. Is b a multiple of 24?
False
Let g(x) = 6*x + 2. Let i(v) = -17*v - 6. Let w(n) = n**2 + n + 3. Let r be w(0). Let z(c) = r*i(c) + 8*g(c). Is z(-3) a multiple of 7?
True
Let l be (0 - -14)/2 - 2. Suppose -l*z + 0*z = -190. Is z a multiple of 11?
False
Does 36 divide ((-822)/(-24))/((-2)/(-8))?
False
Let b(w) = 7*w + 1. Let d(z) = -z - 1. Let h(a) = b(a) + 5*d(a). Is h(7) a multiple of 8?
False
Let u = -21 - -28. Suppose 0 = 12*m - u*m - 180. Is 6 a factor of m?
True
Suppose 0 = n + 4*n - 135. Is n a multiple of 27?
True
Let a = 8 - 3. Does 5 divide a?
True
Let u be (6/(-4))/((-6)/(-40)). Is 7 a factor of (-84)/2*5/u?
True
Let g(x) = 6*x - 8. Let a(w) = 6*w - 8. Let q(r) = 6*a(r) - 5*g(r). Is 17 a factor of q(7)?
True
Does 7 divide (28/5)/(6/30)?
True
Let f = -2 + 17. Does 5 divide f?
True
Let h(d) = -d**2 + 4*d + 3. Let b be h(4). Suppose -b*q + q = -76. Suppose 4*y - 5*c - 43 - q = 0, 52 = 3*y + 5*c. Does 15 divide y?
False
Suppose 63 = 3*h - 90. Let q = h + 34. Suppose -3*g + 8*g = q. Is 11 a factor of g?
False
Let x = 121 - 85. Let n = 6 + x. Does 14 divide n?
True
Let q(x) = -52*x + 4. Is q(-2) a multiple of 15?
False
Does 7 divide 25*2/(6 + -3 + 2)?
False
Let h(c) = -5*c**3 + 11*c**2 - 4*c - 10. Let f(n) = -n**3 + n - 1. Let i(d) = 6*f(d) - h(d). Does 28 divide i(-12)?
True
Let s = -12 - -20. Is s - (3/(-1) - -1) a multiple of 3?
False
Let l be 2 - (-3)/(-1) - -1. Let t be -2 + 7/(l - -1). Suppose 25 = -t*s + 100. Is s a multiple of 15?
True
Is 22 a factor of (6/3)/((-6)/(-99))?
False
Suppose -h + 3*x - 216 = -6*h, -2*x + 46 = h. Is h a multiple of 41?
False
Let l = -148 - 1. Let a = -89 - l. Is a a multiple of 15?
True
Does 20 divide (-6)/4 + (-8)/(16/(-207))?
False
Suppose -5*k + 6 = -4. Let i be 128/12 - k/3. Suppose -15 = -i*w + 5*w, -3*u - 5*w = -36. Does 3 divide u?
False
Suppose 3*u + 123 = 378. Does 17 divide u?
True
Suppose 5*u + 7*h + 9 = 4*h, -5*u = 4*h + 12. Let a = u + 21. Is 21 a factor of a?
True
Let m(b) = b**3 + 7*b**2 - b + 4. Let k = 39 - 56. Let i = k - -10. Does 6 divide m(i)?
False
Let j be 184/(-13) - 4/(-26). Let h = 8 - j. Suppose 2*l + 3*i - h = 0, -4*l + 2*i = l - 17. Is 5 a factor of l?
True
Suppose -4*a + 538 = a + h, -4*a + 422 = 5*h. Is a a multiple of 11?
False
Let s(z) = -10 + 2*z - z - 4*z. Is 14 a factor of s(-13)?
False
Suppose -267 = -8*s + 413. Does 15 divide s?
False
Let h be (0 + -4)*(-27)/(-12). Let a = h - -19. Is 5 a factor of a?
True
Is 4/16*362*2 a multiple of 14?
False
Let o be 3/((-3)/29) - 0. Let w = o + 65. Is 12 a factor of w?
True
Suppose 60 = -p + 3*g, 0*p + 4*g - 110 = 2*p. Let o = -31 - p. Suppose h - 3*h = -o. Does 7 divide h?
True
Suppose -4*n - 348 = -8*n. Let z = n - 56. Does 21 divide z?
False
Let o(c) = c**3 - 5*c**2 - 3*c - 1. Let j be o(4). Let g = -12 - j. Is 6 a factor of g - (2 - (-2 - -3))?
False
Suppose -5*g - 6 = -2*m, 8 = 2*g - 4*m + 4. Let v = 6 + g. Suppose -v*t + 67 = -t + 5*h, -2*t + 2*h = -18. Is t a multiple of 7?
True
Suppose 5*q - 3 = -13. Let s = q + 2. Suppose s = 5*o - u - 36, -