e 2*x = 3*h - 26, y = -0*h + h. Let b = 26 + x. Does 10 divide b?
False
Suppose 3*f - 21 = 2*x, 0*f + 5*x = -f - 10. Suppose 3*j = j + f*p - 5, 4*j = 2*p + 14. Suppose 2*i = 6*u - 3*u + 35, -j*u = 4*i - 37. Is i a multiple of 8?
False
Let o(p) = -234*p**2 - 2*p - 1. Let m be o(-1). Let f = -146 - m. Suppose 0 = -3*k + 3*b + f, -5*b = 4*k - 155 - 6. Is k a multiple of 14?
False
Suppose o = -3*j + 73, 4*j - j + 3*o = 69. Let d = 49 - j. Is d/(-9)*117/(-12) a multiple of 9?
False
Let d = 19 - 16. Suppose -4*x = -o + 36, -d*o + 3*x + 56 = -16. Is o a multiple of 6?
False
Let z be -11 + (-2 - -2)/2. Let i be (19 - 3)/(2/4). Let w = z + i. Is w a multiple of 13?
False
Let d be (-6)/5*15/(-6). Suppose 2*t - 30 = -t - 3*w, -d*t = -w - 10. Suppose 2*y = 3*a - 25, -2*a + a - t*y = 20. Is a even?
False
Let i(n) = -6*n - 14. Is i(-11) a multiple of 26?
True
Let n(f) = -f**2 + 7*f - 2. Let t be n(4). Suppose 0*i - t = 2*i. Is 2 a factor of (-30)/12*8/i?
True
Let s = 69 + -20. Does 6 divide s?
False
Let p(b) = b**3 - 6*b**2 - b + 12. Let g be p(6). Does 8 divide -3 + -70*(-3)/g?
True
Let v = -11 - 19. Let g = v - -52. Is 13 a factor of g?
False
Suppose -2*k = k + c - 347, 3*k = -5*c + 331. Does 39 divide k?
True
Let n = 6 + -4. Let b(p) = 2*p + 2 - n + 1 + 2*p**2. Is 8 a factor of b(2)?
False
Suppose u + 13 - 75 = -t, -3*u - 129 = -2*t. Is 9 a factor of t?
True
Let z = 1 + -1. Let g = 2 + z. Suppose g*h - 30 = 50. Does 14 divide h?
False
Let d(k) = 10*k + 34. Is d(11) a multiple of 9?
True
Let j = 22 + 4. Is j a multiple of 13?
True
Suppose 2*o - 120 = w, -4*w - 240 = -0*o - 4*o. Is o a multiple of 6?
True
Does 23 divide (-1)/(-3)*(-924)/(-4)?
False
Suppose -z + 24 = 5*p, 3*z - 3*p = -8*p + 52. Suppose 4*l + 5*o - 9 = z, 3*o = -l + 4. Is l a multiple of 6?
False
Let n(t) = 4*t**2 + 13*t + 1. Let v(b) = b**2 + 4*b. Let k(h) = 2*n(h) - 7*v(h). Does 4 divide k(5)?
False
Let s(t) = t + 1. Let j(p) = 3*p + 4. Suppose 0 = -5*d - 2 - 8. Let w(x) = d*j(x) + 7*s(x). Does 4 divide w(5)?
True
Suppose f + 3*f + 4*b = -4, -3*f + 29 = -5*b. Let o = 15 - f. Is 4 a factor of o?
True
Let b(o) = o**2 - o - 4. Let d be b(3). Suppose -d*p - 12 = -0. Is -14*(9/p - -1) a multiple of 7?
True
Is 14 a factor of 70*(2 + -1)*(-6)/(-5)?
True
Let h(p) = -p**2 - 18*p + 4. Is h(-8) a multiple of 14?
True
Suppose -3*r - a - a + 934 = 0, 5*r - 1558 = -4*a. Does 14 divide r?
False
Suppose 2*p = -7*p - 432. Let t(o) = o**3 + 4*o - 5. Let l be t(4). Let x = p + l. Is 11 a factor of x?
False
Let b be (-3)/(-1) + -4 + -11. Let g = -21 - b. Let l(s) = s**3 + 10*s**2 + 5*s - 8. Is 14 a factor of l(g)?
True
Let g be (((-16)/(-4))/1)/(-1). Let d(c) = -c + 5. Is 3 a factor of d(g)?
True
Let m be (-144)/(-4)*(1 + 0). Suppose -m + 8 = -4*b. Does 4 divide b?
False
Let n(l) = l**3 - 9*l**2 + 6*l + 6. Let p be n(7). Suppose 5*f - 2*b + 470 = 0, 5*b + 35 = -f - 32. Let s = p - f. Is s a multiple of 14?
True
Suppose 4*b - 4*t - 336 = 0, -b - t = -0*t - 86. Let w = -13 - -13. Suppose 12 = -w*d + 4*d, -5*k = -5*d - b. Does 20 divide k?
True
Suppose -5*q = -3*r - 4*q + 829, -2*q + 267 = r. Is 11 a factor of r?
True
Let v(p) = 10*p**2 + 3*p + 2. Let s be v(-3). Let z = -49 + s. Is z a multiple of 16?
False
Let a be 20/(-2 + 3) + 1. Suppose -5*g - a = 4. Is g/(-1) - (1 - 0) even?
True
Is ((-1)/(-5))/((2/505)/2) a multiple of 20?
False
Let k(q) = -q**3 + 6*q**2 + 3*q - 7. Suppose 3*f - 25 = 11. Suppose -2*o = -0*o - f. Is k(o) a multiple of 5?
False
Suppose -2*m + 83 = -0*m - q, -4*m - 4*q + 172 = 0. Is 13 a factor of m?
False
Let j(b) = -b**2 + 6*b - 3. Suppose -w - w + 8 = 0. Let a be j(w). Suppose q - 27 = -2*h - 0*q, a*h - 66 = -4*q. Is 7 a factor of h?
True
Let k(z) = -z**2 - 8*z - 8. Let n = -5 - 1. Let c be k(n). Suppose 4*g = 2*h + 78, -c*g + 12 = -3*g + 2*h. Is 8 a factor of g?
False
Let x = 16 + -8. Suppose x*c - 25 = 3*c. Suppose -c*u + 3*r + 96 = 0, 64 = 3*u + 2*r - 7*r. Is 9 a factor of u?
True
Let d(x) = -10*x**3 - x**3 - x**3 - 4*x + 3*x. Suppose -5*p + 14 = a - 5, -4 = -4*a - 2*p. Does 7 divide d(a)?
False
Suppose -l - 5*x + 215 = 0, 5*l - 2*x = 2*l + 628. Is l a multiple of 42?
True
Suppose 0*b - 2*b - 102 = 0. Let m = 72 + b. Is 11 a factor of m?
False
Let j = 142 - 82. Is 20 a factor of j?
True
Let w = 17 - -21. Suppose -h - 13 = -l, -5*h - w = -3*l + 5. Does 11 divide l?
True
Suppose 30 = 3*k + 3*r, -4*k = k + 3*r - 40. Let v = -7 + k. Let l(t) = -13*t. Is 13 a factor of l(v)?
True
Let z = 31 + -19. Does 7 divide z?
False
Suppose -4*u - 26 = 158. Let j = u - -67. Is j a multiple of 8?
False
Let a(c) = -7*c**2 - 4*c + 8. Let y(p) = 11*p**2 + 6*p - 12. Let r(f) = -8*a(f) - 5*y(f). Does 7 divide r(-5)?
False
Suppose p = 5*h + 23 - 5, -4*h - 9 = p. Suppose -3*k + 255 = 2*k. Is 17 a factor of 0 + (-1)/(h/k)?
True
Suppose 2*t = -8*t + 590. Is 15 a factor of t?
False
Does 4 divide (0 + 3 - -8) + -3?
True
Suppose -3*h + 14 + 22 = 0. Suppose 5*j = j + h. Is j/3*32 - 0 a multiple of 16?
True
Let t be 2 + (-11)/2*-2. Suppose -3*s + 18 + 5 = 4*v, 0 = -4*v - s + t. Suppose -v*q + 128 = 4*c + 2*q, 4*c = -2*q + 124. Does 15 divide c?
True
Let k(t) = t**2 - 2*t + 6. Let x be k(6). Let w be 1/1 + (2 - 0). Suppose m = w*m - x. Is m a multiple of 6?
False
Let h(p) = -p**2 - 2 - 4*p + 6*p + 4 - 4. Let g be h(3). Is 41 - (-4 - (g - -2)) a multiple of 14?
True
Suppose 8 = 3*t + 2. Suppose -2 = v - 2*m, t*m + 0 = -4*v + 22. Suppose 2*h - 36 = -v*l, -h - 5*l = -3*h. Does 4 divide h?
False
Let a(x) = -x**2 - x + 18. Does 3 divide a(0)?
True
Let b = -3 + 3. Suppose b*c = -c + 39. Suppose -2*d + 10 = -r, 5*d = -r - 7 + c. Does 5 divide d?
False
Let j(p) = -p**3 + 8*p**2 + 10*p + 9. Let l be j(9). Let x = 32 - l. Does 6 divide x?
False
Suppose 0 = 5*p, -3*p = 5*w - 0*p - 330. Is 11 a factor of w?
True
Does 7 divide ((-42)/8)/((-3)/16)?
True
Let q(n) = -n**3 - 3*n**2 + 8*n + 15. Is 2 a factor of q(-5)?
False
Suppose 5 - 33 = -4*k. Is ((-14)/(-6))/(k/147) a multiple of 20?
False
Let p = 0 - 6. Let l be (-9)/((9/p)/1). Is -3*17*(-2)/l a multiple of 6?
False
Suppose 3*s - 2*c = 357, -119 = -s - 0*c - 2*c. Is 56 a factor of s?
False
Let n be -116*((-5)/(-2) + -1). Is n/(-3) + (-2)/2 a multiple of 22?
False
Is 13 a factor of ((-36)/63)/((-6)/273)?
True
Let f = 4 - 4. Suppose f = 3*w + 18 - 3. Let z = 15 + w. Does 10 divide z?
True
Suppose 0 = -4*t + 2*y + 392, 0 = t + 5*y - 3*y - 103. Is 18 a factor of t?
False
Suppose o = -3 + 8. Suppose -3*m + 0*k + 81 = -4*k, 5*m - 135 = -o*k. Does 11 divide m?
False
Let c be (-95)/5 - (-6)/(-3). Let a = c - -35. Is 6 a factor of a?
False
Suppose -2*g = 5*q - 89, 15 + 65 = 5*q + 5*g. Suppose -5*o = -2*m - 14, m - q = -4*m - o. Suppose -95 = -m*k - r, -2*r - 20 = 2*k - 90. Does 15 divide k?
True
Let j(a) = 0*a + 4*a**2 + 5*a - 3*a**2. Let n be j(-5). Suppose -3*d - h + 53 = n, -d + 3*h = -3*d + 33. Does 10 divide d?
False
Does 10 divide (0 - 4)/(6/(-15))?
True
Let i = -101 + 156. Is 11 a factor of i?
True
Let h(m) = -m - 1. Let q be h(-6). Suppose q*t = -0*t + 115. Is 8 a factor of t?
False
Is 6 a factor of ((-72)/14)/(63/(-588))?
True
Let f(m) = -m**3 + m**2 + 3*m + 4. Let w be f(3). Does 8 divide (-55)/(-2) + w/(-10)?
False
Let n = 13 + -14. Is 30 a factor of 118/2 + -3 + n?
False
Is -4 + (1 - 0) + 24 a multiple of 3?
True
Suppose -9*x + 7*x = -10. Suppose 0 = -x*s + 7*s - 180. Is s a multiple of 18?
True
Suppose -5 = -2*r + 3*i, 0 = -3*r + 5*i + 8. Does 3 divide (r - 0 - 1) + 4?
False
Let r = -23 + 12. Let u = r - -27. Is 16 a factor of u?
True
Let o = 20 - 4. Let l = 32 - o. Does 16 divide l?
True
Let d(j) = 2*j**2 - 3*j + 3. Let x(h) = -3*h**2 + 3*h - 3. Let o(v) = -5*d(v) - 4*x(v). Is 7 a factor of o(-5)?
False
Is ((-12)/(-5))/(-8*(-1)/540) a multiple of 25?
False
Let a = 2 - -41. Suppose -5*g + a = -17. Is 38/3*g/8 a multiple of 19?
True
Let a = 15 - -1. Is 14 a factor of a + -2 - (-1 + -1)?
False
Suppose 0 = 2*k - 6*k + 12. Suppose 0 = d - k*d + 6. Suppose 2*a - d - 5 = 0. Does 2 divide a?
True
Does 7 divide ((1 - -1) + 5)/(7/21)?
True
Suppose 0 = -3*p + 4*p - 5. Let o be (15/25)/(1/p). Suppose -2*r - 11 = -o*r. Is r a multiple of 11?
True
Suppose -4*f = -45 + 5. Does 4 divide f?
False
Suppose 20*x - 727 = 2073. Does 35 divide x?
True
Let t(j) = -10*j - 16. Is 8 a factor of t(-