e of 12?
True
Suppose -4*x - 5*z = -z + 24, x - 3*z = 6. Let j be x*(-1 + (-52)/3). Let s = j + -31. Does 12 divide s?
True
Let w be ((-14)/21)/(2/(-6)). Let z(u) = -5*u**3 + 2*u - 1. Let g be z(w). Let m = 71 + g. Is 20 a factor of m?
False
Let x be ((-6)/2 - -3)/2. Suppose x = -0*l - l + 56. Does 14 divide l?
True
Suppose -11 = 2*h + 5*q, -4*q = -3*h - 2*q + 12. Suppose -h = -3*l + 22. Suppose 0 = 2*f + l - 44. Is 13 a factor of f?
False
Suppose -l + 13 + 2 = 5*j, 15 = -3*l. Suppose 5*k - j*b + 330 = 110, 2*k + 2*b = -70. Is 12/(-10)*k/3 a multiple of 8?
True
Let f be (6/24)/((-1)/(-148)). Suppose 24 = l - y, -l + 2 = -4*y - f. Is l a multiple of 5?
False
Suppose -c - 2*c + 606 = 0. Suppose -5*b = 4*i - 257, i - 3*i = 4*b - c. Is b a multiple of 12?
False
Does 14 divide ((-8)/(-4))/((-3)/(-42))?
True
Let r(d) = -d**2 - 8*d + 13. Let q be r(-11). Let c = q - -50. Does 10 divide c?
True
Suppose -4*m = 3*w - 3, 5 = -3*m - 2*w + 7*w. Suppose -2*b + m + 8 = 0. Is b a multiple of 4?
True
Let d(b) = -7*b**2 + 5*b + 9. Let x(p) = 4*p**2 - 3*p - 4. Let n(k) = -3*d(k) - 5*x(k). Let h be n(-6). Let z = h + -18. Does 8 divide z?
False
Suppose 0 = -3*f + 68 + 61. Let v = 2 + f. Suppose -111 - v = -4*t. Does 13 divide t?
True
Let d(y) = -y**2 + 6*y - 6. Let g be d(4). Suppose g*p - 35 = 19. Does 15 divide p?
False
Let w(d) = d**2 - 10*d + 10. Let l(p) = -p**2 + 11*p - 11. Let z(f) = -2*l(f) - 3*w(f). Let q be 1/1 - (-10)/2. Is z(q) a multiple of 3?
False
Does 8 divide 144/4 - (-2 - 0)?
False
Let b = -9 - -9. Suppose b = -y + 10 + 3. Suppose 5*d - c - 17 = 0, -d - 2*c + y = c. Is d a multiple of 4?
True
Let b = -31 + 87. Is 15 a factor of b?
False
Suppose 70 = 5*c - 5*x, 5*c + 2*x - 36 - 69 = 0. Let f = -11 + c. Is 4 a factor of f?
True
Let m = 195 + -138. Suppose 0 = -3*r - 0*r. Suppose r*q + 3*q - m = 0. Is q a multiple of 19?
True
Let k be 1*(-2)/(-1) - 2. Let w(b) = b**3 + 9*b**2 + 5*b - 19. Let o be w(-8). Suppose 0 = 5*m + 2*j - 20, k*m - 3*m + o*j + 12 = 0. Does 3 divide m?
False
Suppose l = -3*p + 15, -3*l + 4 = -5*p + 1. Suppose 5*o + 3*j = l + 9, -o + j - 5 = 0. Suppose o = 5*g + w - 78, -7*g + 2*g = -3*w - 86. Does 11 divide g?
False
Let z = 33 - 16. Does 8 divide z?
False
Let u = 155 - 107. Is 12 a factor of u?
True
Does 13 divide (52/(-10))/(4/(-10))?
True
Let f(c) = 31*c - 7. Let g(m) = -10*m + 2. Let v(u) = 2*f(u) + 7*g(u). Does 4 divide v(-1)?
True
Let v(c) = -39*c**3 + c**2 + 2*c + 1. Suppose 3*g - p - 5 = 0, -4*g + 6*p - 8 = p. Suppose -3 = -g*y - 2*k - k, 2*k = y + 5. Is v(y) a multiple of 15?
False
Suppose 0 = 3*z - 77 - 283. Is 30 a factor of z?
True
Suppose -30 = -2*c - 3*c. Let y = 0 - c. Let b(f) = -f**3 - 6*f**2 - 4*f + 2. Is b(y) a multiple of 16?
False
Let x be 5*(-1 - (-21)/15). Let c be 10/((-1*2)/x). Is 2 a factor of 3/(30/(-4))*c?
True
Suppose 14*u - 260 = 9*u. Is u a multiple of 26?
True
Suppose 2*j = -2*j + 20. Suppose -j*h + 2*o - 106 = -273, -32 = -h - o. Is h a multiple of 11?
True
Suppose 31 = -5*l + 6*l. Does 6 divide l?
False
Let l be (-2 - -1)/(3/(-39)). Suppose -s - l + 35 = -4*a, -3*s - 4*a = -66. Suppose -4*d = -s - 6. Is 6 a factor of d?
False
Suppose 2*l + 14 = 5*n, 0 = 3*l - 7 - 2. Suppose 0*c = -3*i + n*c + 38, 4*i = 5*c + 49. Is i a multiple of 3?
True
Let p = 47 - -20. Suppose 2*t + 4*d = 14, -2*d = -0*t + 5*t - p. Is t a multiple of 9?
False
Let d = 16 - 16. Suppose 5*q - 43 = -3*y, d*y - y + 9 = 3*q. Is 21 a factor of y?
True
Let i(y) = -y**2 + 4*y**2 + 5*y + 2 + 5. Let z be i(-6). Suppose 2*j = -2*n + z - 1, 40 = j + 3*n. Is j a multiple of 18?
False
Let f(p) = 4*p**2 + 3*p + 1. Suppose -8*c - 8 = -4*c. Is f(c) a multiple of 6?
False
Let m = 3 + -2. Is (6/(-8))/(m/(-4)) a multiple of 2?
False
Let t = 7 - 5. Suppose 42 = t*h - 2*w + 6, -3*h = -5*w - 52. Is 8 a factor of h?
False
Let n be ((3 - 2) + -2)*1. Let v = n + 1. Suppose 3*m - 18 = -v*m. Is m a multiple of 3?
True
Suppose 3*i + 0*f - 19 = -2*f, 5*i + f - 20 = 0. Suppose -2*k = i*k - 210. Does 14 divide k?
True
Suppose 139 - 1 = 2*p. Suppose -p = -2*i + 1. Is i a multiple of 12?
False
Suppose -8*x = -6*x. Let r(i) = i**3 + i**2 + 7. Let o be r(x). Suppose -o*z = -2*z - 60. Does 4 divide z?
True
Suppose n - 129 = c - 3*c, -n - 261 = -4*c. Is 9 a factor of c?
False
Let v = -9 - -9. Suppose -d = -v*d - 32. Does 8 divide d?
True
Let i(v) = 5*v**2 + 44*v - 14. Is i(-13) a multiple of 43?
False
Let z = 7 + -4. Suppose -4*w = -2*m - 6, m + z = w - 0. Suppose 5*o - 191 - 14 = w. Does 13 divide o?
False
Let p = -2 - -4. Let i be 10/(-25)*(-10)/p. Is 13 a factor of (-17)/i*(-3 - -1)?
False
Let k = 19 - -29. Does 12 divide k?
True
Let o = 191 - 15. Is o a multiple of 12?
False
Let x be (-7 + 9)/((-1)/2). Let m(r) = r + 11. Does 7 divide m(x)?
True
Suppose -4*k - h - 4*h - 9 = 0, 0 = 2*k - 5*h - 33. Let x = k + 57. Does 14 divide x?
False
Let y be (-1 - -2) + 2 - -2. Suppose -l - 27 = y*d, 0*d + 2*l = -5*d - 29. Is (d/(-4))/((-3)/(-108)) a multiple of 16?
False
Let b = -3 + -4. Let m = b + 21. Is m a multiple of 7?
True
Let b be (-1)/(-3)*1*6. Suppose -4*q - 50 = -5*l, b*l + 13 = -0*q - 5*q. Is 3 a factor of l?
True
Suppose 0 = -2*y - r + 1 - 20, 5*y + 49 = -r. Let w = -5 - y. Does 3 divide w?
False
Let q be (-37)/(-3) - 6/(-9). Suppose -3*g + 215 = -q. Is 19 a factor of g?
True
Let s = 11 - 7. Suppose 0*w - s*w = -28. Does 4 divide w?
False
Let p(m) = 15*m + 2. Let f be p(3). Suppose 3*i - 6*i = 4*j - 52, 0 = 3*i - j - f. Is 8 a factor of i?
True
Let v(f) = -f**3 - 5*f**2 - f - 3. Let a be v(-5). Suppose 7 = 2*n + 3. Suppose -n*i = a*i - 32. Does 4 divide i?
True
Suppose 6*j = 32 + 112. Is j a multiple of 12?
True
Suppose 9 + 3 = 3*n - 2*o, -2*n = -o - 8. Suppose -w - 5*c = -n*w + 137, -4 = c. Does 16 divide w?
False
Let m be 3 + -2 + -1 + 1. Let g be (m/3)/(3/18). Does 15 divide 38/g - (1 - 1)?
False
Let s = -1 + 3. Suppose u = s*u - 13. Is 13 a factor of u?
True
Let q(h) = -2*h - 4. Let w be q(-6). Suppose x - 103 = -w. Suppose -2*u = 3*u - x. Is 14 a factor of u?
False
Suppose 0*j - 138 = -j. Let q be (0 - 1) + j + -2. Suppose -4*y + 9*y = q. Does 11 divide y?
False
Is 55 a factor of 15 - 11 - (-291 + -3)?
False
Suppose 5*d - 2*a + 0*a - 133 = 0, -105 = -5*d - 5*a. Does 14 divide d?
False
Let g = -170 - -246. Suppose 3*j - j = g. Is 16 a factor of j?
False
Let z = -2 + 4. Suppose 1 = w - z. Does 3 divide 10/3 + w/(-9)?
True
Let g(m) = 11*m + 8. Let i be g(7). Let z = 52 - i. Let b = -10 - z. Is b a multiple of 8?
False
Let w be 3 - 4*(-1)/2. Let l(k) = k**3 - 5*k**2 + k + 1. Does 3 divide l(w)?
True
Suppose 103 = 2*x - u, 0*x + 3*u + 97 = 2*x. Suppose x = 2*s + 21. Does 9 divide s?
False
Let q(w) = -87*w + 1. Does 22 divide q(-1)?
True
Suppose 0*k = -3*h - 2*k + 148, k + 1 = 0. Is 10 a factor of h?
True
Suppose 0*y + 2*y - 134 = 0. Is y a multiple of 15?
False
Let f be 3/5*(-1 - -6). Let b(h) = -h**2 + 8*h - 8. Let l be b(6). Suppose 3*a + a = -l*p + 280, p = f*a - 194. Does 22 divide a?
True
Does 3 divide 15/60 + 86/8?
False
Suppose -2*w + w + 3*s + 76 = 0, -2*w - 4*s = -102. Let a = 106 - w. Is 15 a factor of a?
True
Let j(f) = 4 - 2 - 6*f - f**2 - 3. Let u be j(-4). Suppose 0 = 2*r - u - 33. Is 10 a factor of r?
True
Suppose -4*d = -12 - 100. Does 7 divide d?
True
Let b(f) = -f**2 + 11*f + 8. Suppose t - 2*t + 11 = 2*p, 25 = 5*p + 3*t. Is b(p) a multiple of 8?
True
Let k(a) = a**3 + a**2 - 7*a + 3. Does 9 divide k(3)?
True
Let g(d) = d. Let u(t) = 11*t - 1. Let r(m) = 3*g(m) - u(m). Let o = -24 + 23. Does 9 divide r(o)?
True
Suppose 3*w + 0*w - 66 = 0. Is w a multiple of 11?
True
Let w(r) be the third derivative of r**6/120 + r**5/10 - r**4/6 - r**3 + 5*r**2. Does 13 divide w(-5)?
True
Let x(o) = o**3 - 2*o**2 + o - 4. Let b be x(3). Suppose 3*t + 7*r = 4*r - 12, -3*t + 4*r = -2. Does 13 divide (-39)/t*b/6?
True
Let c = 250 + -355. Is 7 a factor of c/14*20/(-6)?
False
Let h be (-3 - -6) + -41 + 0. Does 30 divide (1 + h)*-1 - 0?
False
Suppose 0 = 2*t - 41 - 279. Suppose 3*p = -2*p + t. Is 10 a factor of p?
False
Let n(y) = y**2 + 2*y. Let p be n(-3). Suppose -p*m + 95 = 2*m. Does 7 divide m?
False
Let f(w) = w**3 + 4*w**2 - 2*w. Let a = 14 + -11. Suppose -12 = a*j - 0. Does 8 divide f(j)?
True
Suppose 4*j = -5*a + 3*j - 11, 2 = -2*a + 2*j. Let q be (1