e
Suppose 0 = -3*x + 6*x - 333. Is 17 a factor of x?
False
Let o(p) = p**2 + 4*p - 1. Let h = -5 - -8. Is o(h) a multiple of 9?
False
Let m = -16 + 27. Let f = m + 7. Does 9 divide f?
True
Let i(j) = j**3 - j**2 + 8. Let a be i(0). Let d = -8 + a. Suppose 102 = -d*r + 3*r. Is 9 a factor of r?
False
Let q(m) = 15*m + 30. Does 6 divide q(8)?
True
Suppose 0 = 3*s - 6*s + 18. Let w = 9 - s. Does 3 divide w?
True
Suppose 5*o - 157 = -17. Is 27 a factor of o?
False
Let j(l) = 72*l - 7. Let g(k) = -73*k + 8. Let f(n) = -6*g(n) - 7*j(n). Is f(-1) a multiple of 17?
False
Let d(f) = -f**3 + 7*f**2 - 8*f + 4. Suppose -5*a - 3 = 4*u - 12, -18 = -4*u - 2*a. Let s be d(u). Is 6 a factor of ((-6)/s)/(2/40)?
False
Let n = -2 - -5. Suppose -n*i - 67 = -4*j, -4*j + i - 3*i + 62 = 0. Suppose 5*v - 116 = -j. Does 13 divide v?
False
Let j be 2 - (1 - (2 + -3)). Suppose 8 = 2*b + 3*o, -b + 3*b - 4*o - 36 = j. Is 6 a factor of b?
False
Let y = -2 + 4. Let j be 8/5*5/y. Let w = 7 + j. Is w a multiple of 4?
False
Let z(r) = r**3 + 13*r**2 + 15*r + 11. Let v be z(-11). Suppose 0*n - 2*n + v = 0. Is n a multiple of 22?
True
Suppose -r - 1131 = -4*r. Let f = -262 + r. Is 33 a factor of f?
False
Suppose 4*a - 6 - 10 = 0. Suppose -2*p = -8 + a. Suppose 0 = p*x - 21 - 47. Is 17 a factor of x?
True
Let g = -53 - -121. Is 8 a factor of g?
False
Let b(n) = 0*n**3 + 3*n**2 - 4*n**2 - 6*n**3 - n. Let k be b(-1). Let v(s) = 6*s + 2. Is 13 a factor of v(k)?
False
Let k(g) = 13*g. Let h(y) = -2*y - 13*y + y + y. Let d(p) = -6*h(p) - 5*k(p). Is 10 a factor of d(1)?
False
Suppose -2*t + 118 = q, 0 = 4*t - 2*t - q - 114. Is t a multiple of 7?
False
Let j be 0/(-1 + 0 + -1). Suppose -5*f = -4*d - 226, 2*d = -f + 8 + 26. Suppose -3*b = -j*b - f. Is b a multiple of 9?
False
Let p(c) be the first derivative of -c**4/4 - 4*c**3/3 - c**2/2 + 1. Let k be p(-4). Suppose k*d = -0*d + 112. Is d a multiple of 14?
True
Let s(z) = z - 2. Let w be s(4). Let n = -4 + 12. Let h = n - w. Is 6 a factor of h?
True
Let f = 22 + 4. Suppose -3*g = -5*i - g + 58, -f = -3*i - g. Suppose -r + 2*r = i. Does 5 divide r?
True
Suppose -8*u = -12*u + 728. Is 8 a factor of u?
False
Let p be -1*9 - (1 - 1). Let q(o) = o + 16. Let l be q(0). Let s = p + l. Is s a multiple of 3?
False
Is 15 a factor of 280/10 - (-1 + -1)?
True
Suppose -3*o = 3*v - 264, -4*o + 220 = -4*v + 540. Is 23 a factor of v?
False
Suppose -2*r = -r + 7. Let p = r + 40. Is p a multiple of 11?
True
Let y = 25 + -23. Is y a multiple of 2?
True
Is 83 - -1 - (1 + -1) a multiple of 28?
True
Let b be ((-4)/(-3))/((-2)/12). Let m be (-146)/9 - b/36. Does 6 divide (1*9)/((-12)/m)?
True
Suppose 0 = 3*h + 2*h - 15. Suppose 4*z = -s + 18, -5*s + 5*z - h*z = -112. Suppose 0 = u - 5*p + 6 + 13, 2*u + 2*p = s. Is u a multiple of 6?
True
Is (39/9 + -6)/((-2)/156) a multiple of 13?
True
Suppose m - 5*m = -20. Suppose m*y = -4*g, 3*y - g = -y. Suppose u + u - 16 = y. Is 8 a factor of u?
True
Let i be (-32)/12*6/(-4). Suppose -56 = i*c - 0*c. Is (-1 - 3/(-6))*c a multiple of 4?
False
Let x(l) be the second derivative of 2*l**3/3 + 3*l**2 + 4*l. Is x(9) a multiple of 12?
False
Suppose 4*f = 2*p - 4, 5*p + 3*f = -0*f + 10. Suppose 25 = w + p*m, 4*w + 4*m - 2*m - 112 = 0. Is 14 a factor of w?
False
Suppose 4*t + 0*t + 12 = 0. Let y be (2 - 2) + (-72)/t. Suppose 4*z = 5*z - y. Is z a multiple of 8?
True
Suppose 0 = 4*i - 5*a - 16, 3*i + 0*a + a - 12 = 0. Suppose -i*t + 3*t = -60. Is 20 a factor of t?
True
Is (2/4)/(18/5904) a multiple of 41?
True
Let y be (0 - 2)/(1/(-15)). Suppose -2*m + y = -28. Suppose 129 - m = 5*l. Is l a multiple of 20?
True
Let y = 8 - 3. Let b = y - -2. Does 4 divide b?
False
Let x(s) = 27*s**2 - 3*s + 4. Let m be x(-3). Suppose 0*h - m = 4*h. Let c = -39 - h. Does 15 divide c?
False
Suppose 4*y - 206 = -y + k, -169 = -4*y + 5*k. Suppose -31 = -4*w + y. Does 6 divide w?
True
Let j = 3 + -1. Let r be (2 + -1)*(j - 2). Suppose -4*k + 16 = -r*k. Does 2 divide k?
True
Let x = 90 + -9. Suppose -3*f - 15 = -x. Is f a multiple of 11?
True
Suppose 3*c + 12 = -15. Is 5 a factor of (0 + -6)/(6/c)?
False
Is 11 a factor of -33*(35/(-15) - -2)?
True
Let o = 119 + -51. Does 4 divide o?
True
Suppose 131 + 379 = 10*g. Does 15 divide g?
False
Let b = -102 + 227. Suppose 5*n - 4*s - 317 = 0, -2*n + s + b = -0*n. Does 11 divide n?
False
Let s = -59 - -63. Let y(g) = 1. Let x(d) = 8*d - 4. Let h(k) = x(k) - 2*y(k). Is 13 a factor of h(s)?
True
Suppose 5*x = 4*s + x - 900, -2*x = 2*s - 430. Is 55 a factor of s?
True
Let d be 4052/(-20) + 3/5. Let i be 15/3*d/(-5). Is 20 a factor of i/5 - (-2)/(-5)?
True
Suppose 4*h - 3 = 1. Let d = -5 - h. Does 10 divide 0 + (-20)/d*3?
True
Suppose -15*o + 545 = 110. Does 13 divide o?
False
Let m(i) = -2*i - 3. Let d be m(-2). Suppose d = n - 2. Suppose n*z - 26 = 28. Is z a multiple of 14?
False
Let c = -28 - -47. Let q = c - -3. Is 3 a factor of q?
False
Let l = 159 - -540. Let d be l/15 - 4/(-10). Suppose -d = -3*u - 5*c + c, 4*u + c - 41 = 0. Does 9 divide u?
True
Let a = -121 - 101. Does 21 divide (-1 + 0)*a/6?
False
Let s be (-12 - 2)/(-2 - 0). Let o = s + 13. Does 10 divide o?
True
Let b be (-6)/9 + 19/(-3). Is 3 a factor of b/((0 - -2)/(-2))?
False
Suppose 21 = 3*r - 105. Suppose -4*i - 5*p + r = -i, -30 = -5*i + 5*p. Does 8 divide i?
False
Suppose -c + 55 - 15 = 0. Is 8 a factor of c?
True
Let w = -3 + 1. Let h be w/(-8) - (-28)/16. Suppose -h*x - 3*x + 35 = 0. Does 7 divide x?
True
Is ((-54)/(-3))/((-4)/(-14)) a multiple of 25?
False
Let c = -2 - 3. Let p(d) = d**2 + 5*d + 5. Let r be p(c). Let h(m) = -m**3 + 6*m**2 - 5*m + 6. Is h(r) a multiple of 5?
False
Suppose -3*w = -2*w - 17. Does 7 divide w?
False
Suppose -5*v + 8*v = 15. Suppose -160 = -v*x - 35. Does 10 divide x?
False
Suppose 8*g - 15 = 3*g. Suppose -80 = -g*t - t. Is 16 a factor of t?
False
Suppose -5*b + 32 = -3*o - 141, -3*b + 91 = -5*o. Is b a multiple of 7?
False
Is 82/4 + (-1)/(-2) a multiple of 15?
False
Suppose -24 = -5*p - 104. Let k = 3 + p. Let v = k + 22. Does 8 divide v?
False
Suppose -4*n = -0*n - 112. Does 14 divide n?
True
Let d be 6/9 + 4/(-6). Suppose 2*v + d*v = 4*b - 66, 2*v - 24 = -b. Is b a multiple of 7?
False
Let f(m) = -m**3 - 4*m**2 - 2*m + 3. Let k be f(-3). Let u = k - 6. Does 5 divide (-2)/(u/45) + -1?
False
Let k(c) = 2 + 8*c + 8 + 2*c. Let w be k(-9). Let m = -35 - w. Is m a multiple of 16?
False
Let t(c) = -c + 11. Let u be t(0). Suppose -3*j + 5*o = -u, -4*j = -3*o - 8 - 3. Suppose -j*w + 10 + 10 = 0. Is 9 a factor of w?
False
Let h(u) = 7*u**2 - 10*u + 3. Is h(5) a multiple of 19?
False
Let j be (1/(-2) - -2)*2. Suppose 3 = j*m - 3. Is 2 a factor of (-3)/((-6)/4) + m?
True
Let s = 8 - 4. Suppose 0 = -4*m + m. Suppose 0 = -2*x + 5*c + 48 - 13, s*x - c - 25 = m. Is x a multiple of 3?
False
Let u = 17 - 12. Suppose -5*n = -2*n + u*q - 113, 0 = -3*n - 2*q + 128. Is 10 a factor of n?
False
Suppose -4*z = -2*j - 74, 4*j = 5*z + 17 - 108. Is z a multiple of 2?
False
Let p be 2 - 2/(-2)*4. Suppose -5*f + b + 38 = 0, p*f - 5*b - 29 = 4*f. Is f a multiple of 2?
False
Suppose 0 = -20*w + 22*w - 580. Does 55 divide w?
False
Let u(i) = -27*i - 9. Is 26 a factor of u(-3)?
False
Let x(p) = -3*p**3 - 6*p**2 + 12*p - 6. Let g(i) = 2*i**3 + 4*i**2 - 8*i + 4. Let a(q) = -8*g(q) - 5*x(q). Is a(-4) a multiple of 10?
False
Suppose u - 6 = 2*c, -c + 0*c = u. Suppose 12 - 11 = n. Does 6 divide 20/((u - n)*1)?
False
Suppose -2*z = -2*r - 58 + 2, r + 124 = 4*z. Suppose -o + 4*m = -4, 3*m = -5*o - z - 40. Let w = 4 - o. Is w a multiple of 16?
True
Let j = 3 - 1. Suppose 0*g = -g + j. Is 7 a factor of (19/g)/(1/2)?
False
Let m = 14 + -24. Let w be (-6)/(-5)*m/3. Does 14 divide (48/(-14))/w*35?
False
Let h be (98/(-56))/((-2)/(-8)). Let i(x) = -x**3 - 6*x**2 + 5*x - 3. Is 11 a factor of i(h)?
True
Let d = -82 - -144. Does 19 divide d?
False
Suppose 5*z - 25 = 0, 85 = 4*k + 3*z - 78. Does 6 divide 5/(-15) + k/3?
True
Let f(i) = -3*i + 6. Is f(-7) a multiple of 27?
True
Let a = -2 + 7. Is 2 a factor of a?
False
Suppose 8*x - 14 = 3*x + w, 2*x + 4*w = -12. Suppose z - 8 = 8. Suppose -x*l + z = -0*l. Is l a multiple of 4?
True
Let f = -13 - -17. Suppose -20 = f*r, 2*r - r = -4*d + 91. Does 14 divide d?
False
Let o(u) = -7*u**3 + 8*u**2 + 9*u + 2. Let a(i