*t. Is 5 a factor of y(8)?
False
Is (-8)/(-20) - 2992/(-20) a multiple of 12?
False
Let k be 2/(-11) + (-22)/(-121). Suppose k = -5*f + 294 + 6. Does 20 divide f?
True
Let m = 184 + -56. Suppose -2*x - m = -6*x. Is 15 a factor of x?
False
Suppose 3*i = 12, 2*y + 152 = 4*y - i. Does 13 divide y?
True
Let v be 9/(-12) + 334/8. Does 3 divide v/3 - 5/(-15)?
False
Suppose -4*q - 23 + 64 = u, -4*u + 96 = -q. Suppose -5*m = 5 - u. Is 2 a factor of m?
True
Let n = -10 - -22. Does 3 divide n?
True
Let p(m) = 2*m**2 - m + 1. Let t be p(1). Suppose -2*r + 156 = 4*k - 0*r, k - 50 = 5*r. Suppose 0 = 4*d - 3*h - 7 - 55, t*d + 3*h = k. Does 9 divide d?
False
Let v(r) = r + 4. Let d be v(-4). Suppose 0*m + 2*u = 2*m - 66, -5*u - 15 = d. Is 10 a factor of m?
True
Suppose 0*f = -4*f - 3*g + 19, -2*g + 9 = -f. Is 12 a factor of (0 - f/1) + 25?
True
Let l(k) = k**2 + 9*k + 13. Is l(-11) a multiple of 10?
False
Let s(h) = 2*h**3 - 4*h**2 - 5*h + 6. Let n be s(4). Let c = 93 - n. Suppose 4*g - c = 3*k - 7, -4*g - k = -52. Does 12 divide g?
True
Suppose 2*q + 17 = -55. Is 4 a factor of 2*2*q/(-16)?
False
Let p(b) = b + 12. Let l be p(-12). Suppose 2*k + i - 112 = -l*k, -2*k + 4*i = -92. Is k a multiple of 11?
False
Suppose -5*w = 5*q - 265, q + 0*q - 43 = -3*w. Is 15 a factor of q?
False
Let u be (3 + -8)*1*-1. Let h(x) be the third derivative of x**4/12 - x**3/2 - 3*x**2. Is 6 a factor of h(u)?
False
Suppose 2*x + 8 = 0, 4*x + 25 + 35 = 4*w. Is 11 a factor of w?
True
Suppose r + 24 + 11 = 0. Let s = 121 + r. Let c = s - 60. Is c a multiple of 13?
True
Let w = 16 + -1. Suppose 0 = 5*c - 25, -2*h - h - 3*c + 18 = 0. Let s = w + h. Is s a multiple of 16?
True
Let s = 5 - 1. Suppose -3*i + 18 = 2*o, -s*i + 3*o = 2*o - 13. Suppose 5*f + 33 = j, 0*j - i*f = -j + 28. Does 5 divide j?
False
Let o(w) = 3*w. Let g(a) = -a. Let x(y) = -2*g(y) - o(y). Let c be x(0). Suppose 6*j - j - 45 = c. Does 5 divide j?
False
Let x = -147 + 314. Does 17 divide x?
False
Let g(b) = b**3 - 10*b**2 - 7*b - 8. Does 18 divide g(11)?
True
Suppose 2*l - 7*l + 225 = 0. Suppose 3*x = -39 - l. Let q = x + 56. Does 14 divide q?
True
Let a(u) = -u**3 + 7*u**2 - 5*u. Let z(p) = -p + 2. Let g be z(2). Suppose g*j + j - 4 = 0. Is 12 a factor of a(j)?
False
Let o be 0 - (-3 + 3) - 0. Suppose -3*j + o*j + 15 = 0. Suppose -j*y + 63 + 12 = 0. Does 8 divide y?
False
Let z be ((-9)/3)/3*-1. Is (z - (-21)/6)*10 a multiple of 14?
False
Is 9 a factor of (-48)/(-10)*30/4?
True
Suppose -3*q - 2*q = -100. Suppose -5*l + 87 = 2*i - q, -3*i = 5*l - 148. Is i a multiple of 16?
False
Suppose 145 = 5*b + 3*i, 0 = 3*b - b - 5*i - 58. Does 6 divide b?
False
Suppose -5*m = -r + 74, r - 4*m - 54 = -3*m. Suppose -5*f = -r - 26. Suppose -2*u + 41 = f. Is u a multiple of 11?
False
Suppose 3 = 2*y - 5. Suppose -5*f - 8 = y*z - 5*z, -f = -5*z + 64. Let c = z + 3. Is c a multiple of 8?
True
Let s be (17/(-5) - -1)*5. Let b be 488/9 - s/(-54). Let h = -36 + b. Is h a multiple of 6?
True
Let m = -3 - -3. Suppose -2*a - x = -3*a + 12, 2*a + 5*x - 10 = m. Does 4 divide a?
False
Suppose -2*q + 2 + 16 = 0. Let p = q + -6. Does 3 divide p?
True
Let o(i) = i - 3. Let u be o(6). Suppose 0 = -u*z + 3*p - 2*p + 157, -4*z = 2*p - 216. Does 22 divide z?
False
Let g(s) = -s + 9. Let d be g(4). Let i = 6 + -10. Let c = d - i. Is c a multiple of 9?
True
Let r(w) = w**2 - 15*w - 26. Is 16 a factor of r(22)?
True
Suppose -j + 22 + 13 = 0. Is j a multiple of 21?
False
Suppose 0 = 4*a - 20 - 32. Does 7 divide a?
False
Suppose -b + 3 = -0. Let g = 3 + b. Is 3 a factor of g?
True
Let k be (1/(-1))/(1/4). Is k/(-14) + 166/7 a multiple of 24?
True
Suppose -32 = -2*r - 6. Is 6 a factor of r?
False
Let z = -3 + 6. Suppose -z*b = -b - 28. Does 9 divide b?
False
Let w(r) = 15*r**2 + r. Does 3 divide w(-1)?
False
Suppose 839 - 29 = 3*a. Is a a multiple of 54?
True
Let s = 2 - -3. Suppose -s*a + 9 = -m - 7, -3*a + 7 = 2*m. Is 15 a factor of m/(58/30 + -2)?
True
Let r(m) = 2*m**2 + 3*m + 2. Let k be r(-2). Let t(h) = h**3 + h**2 - 4*h - 3. Is 13 a factor of t(k)?
False
Is 13 a factor of (2/(-6))/((-1)/354)?
False
Let a(r) = -43*r - 3. Let p(m) = 14*m + 1. Let k(u) = 3*a(u) + 8*p(u). Is k(-1) a multiple of 8?
True
Let t = 211 + -144. Does 19 divide t?
False
Suppose -15 = -7*q + 2*q. Suppose 6*j + q = j + a, 5*j + 5*a = -15. Does 6 divide (j/(-2))/((-2)/(-48))?
True
Suppose 4*h + 12 = 4*s, h - 5 = -s + 4*h. Suppose p + s*p - 174 = 0. Is p a multiple of 22?
False
Let d(o) = o**2 - 7*o - 26. Is 18 a factor of d(-4)?
True
Let a = 1 + -1. Let l be (-2 - -5)/(1 + a). Suppose 0 = -3*c + c - 3*u, c + 3 = -l*u. Does 3 divide c?
True
Suppose -5*q + 2*q = -15. Suppose -3*a + 2*y = -83 - 35, q*a - 200 = 4*y. Is 12 a factor of a?
True
Let k be (-21)/12 + (-1)/4. Let u(b) = 4*b**3 - 4*b**2 + 3*b - 1. Let q be u(2). Does 10 divide q*1/(-1 - k)?
False
Let s be -30*(2 - 1)*-1. Suppose -4*m = 9 - 185. Let t = m - s. Does 8 divide t?
False
Let o be 14 + 1 + 1 + -1. Let r be ((-4)/(-5))/(6/o). Suppose -7 + 29 = r*x. Is 11 a factor of x?
True
Let z(t) be the first derivative of 3*t**2/2 - t + 1. Let y be z(2). Suppose -24 = -6*r + y*r. Does 10 divide r?
False
Let f(n) = -3*n + 11. Is f(-9) a multiple of 19?
True
Suppose -5*j - 3*c = -786, 3*j - 566 + 100 = c. Is 8 a factor of j?
False
Let a be 0/3 - 6*1. Let f(z) = -z + 5. Let r be f(6). Does 15 divide r + 2 - (a + -21)?
False
Suppose 3 = 3*d - 0*d. Is 27*d + 0 + -1 a multiple of 13?
True
Let d = 17 + -14. Suppose 0 = -5*x + d*g + 128, 120 = 4*x + g + g. Is x a multiple of 13?
False
Let r = -6 - -4. Suppose 40*x - 39*x = 16. Let k = x + r. Does 7 divide k?
True
Let b = -68 + 344. Is b a multiple of 46?
True
Let j be 4/18 - (-5590)/117. Suppose 48 = 3*i - j. Does 16 divide i?
True
Suppose 0 = q + 5*p - 51, -2*q + 81 = 4*p - p. Is q a multiple of 9?
True
Let j(i) = -2*i**3 - 2*i**2 + 4*i + 4. Suppose 25 = -2*f - 3*f + 5*v, 1 = f + 2*v. Is 14 a factor of j(f)?
True
Let h(v) = -v**3 + 7*v**2 - 5*v - 3. Let x be 2 - -4*4/8. Is h(x) a multiple of 6?
False
Let s = 17 + -9. Does 4 divide s?
True
Suppose -40 + 18 = -2*m. Does 11 divide m?
True
Suppose -3*a + 4 = -4*d, 0 = -2*a + 1 + 7. Is 16*(d + -2 + 2) a multiple of 16?
True
Let q(y) be the first derivative of -y**3/3 - 15*y**2/2 - 9*y - 4. Does 7 divide q(-11)?
True
Does 16 divide ((-10)/(-8))/((-4)/(-176))?
False
Suppose 12 = 2*o - 10. Suppose -o = -5*x + 9. Suppose -3*l = 5*r - 16, x*r + 24 = 4*l - 40. Is 6 a factor of l?
True
Suppose -b = o - 0*b - 15, -o - 2*b = -19. Is o a multiple of 6?
False
Suppose -3*i + 400 = 4*a, 0*i + 5*i = 0. Does 20 divide a?
True
Suppose 2*p - 441 = -5*u - p, 5*p - 75 = -u. Is 30 a factor of u?
True
Let t(k) = 3*k**2 + 6*k + 1. Let y be t(5). Let h = y - 26. Is h a multiple of 20?
True
Suppose 6 + 1 = 3*y - 4*m, y = -5*m + 15. Suppose -k = 5, z - 58 = 3*k + y. Is z a multiple of 24?
True
Suppose 4*w - 3*w = 0. Suppose 0 = 5*c - 2*o - 180, 4*c + o + w*o - 131 = 0. Is c a multiple of 17?
True
Let r = 3 + -1. Let i = r - -2. Suppose i*b = -16, -2*g - 2*g - b + 52 = 0. Does 7 divide g?
True
Let j(g) = -g + 95 + 2*g**2 + 20 - 5*g**2 + 4*g**2. Let b be j(0). Suppose 0 = 5*v - 0 - b. Does 13 divide v?
False
Let g = -37 + -68. Is g/(-14) - (-6)/(-4) a multiple of 4?
False
Suppose -4 + 16 = -6*i. Suppose -2*c + 20 = -5*m, -7*c + 5*m + 30 = -3*c. Let f = c + i. Is f even?
False
Let m = 5 + -11. Let q be (9/m)/(3/(-92)). Let w = 89 - q. Is w a multiple of 15?
False
Suppose k = w - 5*w - 5, -10 = -k - w. Is ((-250)/k)/(1/(-3)) a multiple of 24?
False
Suppose 116 = 2*j - 4*k, -k + 252 = 4*j + k. Suppose -b - j = -2*b. Is b a multiple of 31?
True
Suppose -3*q = 77 - 194. Is 4 a factor of q?
False
Let r = -12 - -27. Suppose -d + 2*o = -r - 4, -4*d - o = -40. Is 3 a factor of d?
False
Let o(f) = -3*f - 2*f**2 - f**2 + 4*f**2 + 8. Let c be o(8). Suppose 2*n = -2*n + c. Is 4 a factor of n?
True
Suppose -2 - 16 = -2*o - 3*u, -8 = -2*u. Let h(v) = 8*v. Does 12 divide h(o)?
True
Let o be (2/6)/((-1)/33). Let t = 11 + o. Suppose t*h = 3*m - 3*h - 66, 70 = 5*m + 5*h. Is m a multiple of 6?
True
Suppose 3*d + 112 = 5*d. Suppose -2*u - d = -4*u. Is 14 a factor of u?
True
Let b(k) = 13*k + 1. Does 22 divide b(5)?
True
Suppose 0 = -3*g + 4*o + 169, 4*g + 5*o - 8 = 207. Does 10 di