 i - 5. Does 5 divide u(v)?
True
Is (-30)/(-9)*15 + 0 - 2 a multiple of 16?
True
Does 4 divide 29 + (5/10)/((-1)/(-6))?
True
Is 1/5 - 1595/(-25) a multiple of 39?
False
Let z = -37 + -9. Let j = z + 66. Is j a multiple of 9?
False
Suppose v = -6 + 11. Is v a multiple of 3?
False
Suppose -3*j + 22 = -17. Let i(r) = -r**2 - 8*r + 4. Let q be i(-9). Let k = j + q. Is 4 a factor of k?
True
Let f(b) = 10*b**3 - 3*b**2 + 4*b + 2. Let k(c) = 19*c**3 - 5*c**2 + 7*c + 4. Let s(r) = 7*f(r) - 4*k(r). Is s(-2) a multiple of 14?
True
Is 5/(-10)*(-18 - 0) a multiple of 6?
False
Let t = -18 + 13. Let j(b) = -b**3 - 3*b**2 - 3*b - 1. Let k be j(t). Suppose 16 = -y + k. Is 18 a factor of y?
False
Let k be ((-3)/6*-2)/(-1). Let i be k/(-2)*(-12)/(-2). Let w(z) = 2*z**3 - z**2 - 4*z + 2. Is 13 a factor of w(i)?
False
Let h = -58 + 117. Is 8 a factor of h?
False
Let u(v) = 3*v + 3. Let m be (-6)/(-3)*(-1)/(-2). Suppose m + 6 = n. Does 9 divide u(n)?
False
Let n = 13 + 35. Does 12 divide n?
True
Suppose -4*j = 2*z - 184, 0*z = 4*j - 5*z - 170. Is j a multiple of 12?
False
Let d be -6*(-2)/((-4)/(-6)). Let q be ((-29)/2)/((-3)/d). Suppose -l - q = -4*l. Is l a multiple of 14?
False
Let b(f) be the first derivative of f**4/4 + f**2/2 + 26*f + 2. Is 13 a factor of b(0)?
True
Let a be (-341)/(-66) + (-1)/6. Suppose c - a + 1 = 0. Is c a multiple of 4?
True
Let t = -8 - -28. Suppose -2*d = -7*d + t. Suppose -5*g + 122 = 3*c - d*c, 2*g - 65 = -5*c. Is g a multiple of 10?
False
Let o be (-2 - 5/(-2))*6. Suppose 0 = g - o*g + 8. Suppose -5*x = 4*p - 208, 152 = 4*x - 8*p + g*p. Is 20 a factor of x?
True
Is (-4 - -5) + (-165)/(-3) a multiple of 12?
False
Let d = 13 + -9. Suppose -5*f - 91 = -4*y, d*f = y - 2 - 18. Is y a multiple of 12?
True
Suppose -192 = -0*q - 2*q. Is q a multiple of 48?
True
Is 62 a factor of 2272/18 + (-4)/18?
False
Suppose -2*r = 2*c - c - 7, 0 = -3*r + 3. Let q be -2 + c + -2 - -89. Suppose -5*m + q = -0*m. Does 9 divide m?
True
Suppose 0 = -3*w + 3*p, 2*p = -3*w - w + 12. Suppose 7*a - 130 = w*a. Is 13 a factor of a?
True
Let d(w) = w**3 - 5*w**2 + 5*w + 11. Is 13 a factor of d(5)?
False
Let b = -33 - -61. Is 15 a factor of b?
False
Let l = 9 + -6. Suppose -2*r - l*f + 66 = 2*r, -2*f + 64 = 4*r. Is 6 a factor of r?
False
Is 7 a factor of (-2)/6*(-1 - (-182)/(-1))?
False
Suppose 4*i - 5*c = 35, -4*i - 5*c = 24 - 109. Is 3 a factor of i?
True
Let f(y) = y**2 - 4*y - 3. Is f(-6) a multiple of 31?
False
Is ((-99)/(-6))/(5/30) a multiple of 26?
False
Suppose 3*i + 0*i + 6 = 0. Let f be ((-2)/i)/((-2)/20). Let x = f - -21. Is x a multiple of 7?
False
Suppose 3*j + 112 = 322. Is j a multiple of 10?
True
Suppose 2*f + 2*c + 7 + 13 = 0, 3*f - c + 22 = 0. Let n be 1/(-4) + (-34)/f. Suppose n*k - 60 = k. Is k a multiple of 10?
True
Suppose 5*c = 4*y + 119, -2*y - 2*c - 27 = 19. Let r = -14 - y. Is r a multiple of 12?
True
Let u(h) = -2*h**2 - 21*h. Is 9 a factor of u(-7)?
False
Suppose 0 = 4*d - 4*c - 52, -d - 2*d - 3*c + 69 = 0. Is 6 a factor of d?
True
Let x(v) = -2*v + v - 2 - 2*v**2 - v**3 - 4*v**2 - v. Does 5 divide x(-6)?
True
Let w be ((-36)/(-8))/(2/(-20)). Let r = w + 88. Is 14 a factor of r?
False
Let y(d) = 18*d**2 - 2*d - 1. Is y(-1) a multiple of 15?
False
Let u be 1*7*(2 + -1). Suppose 15 = -3*c, 3*g + 3*c + 2*c = -u. Let i = g + -3. Is 3 a factor of i?
True
Let t(y) = y**2 + 18*y. Let m be t(-18). Suppose m = 3*r + 6 - 105. Is r a multiple of 15?
False
Suppose -4*p + 3*t = -245, 5*p = -2*t - 55 + 344. Does 9 divide (-9)/(-27) - p/(-3)?
False
Suppose z + 0*z = 60. Does 12 divide z?
True
Let b(p) = -3*p**3 + p**2 + 4. Let w be b(4). Let k = w + 97. Let z = k + 123. Is z a multiple of 15?
False
Let j(y) = -y**2 - 7*y - 3. Let g(m) = -m**2 - m - 1. Let d(w) = 2*g(w) - j(w). Let p be d(5). Is 26/8 + p/(-4) even?
False
Suppose -5*p + 2*n + 24 + 4 = 0, -p + n = -8. Let k = p - -2. Is 4/3*(k + 24) a multiple of 16?
False
Let u(c) = -2*c. Let m be u(-1). Suppose 8 = 2*z - m. Is z a multiple of 5?
True
Suppose -2*b = 5*g - 39, -6*b - 4*g + 41 = -3*b. Suppose -4*f + 21 = -b. Suppose 2*m - f*m + 55 = 0. Is m a multiple of 6?
False
Let u(s) = s**2 - 2*s - 3. Let q be 4/18 + (-112)/18. Let l be u(q). Is l/6*16/10 a multiple of 5?
False
Let m(l) = -l**3 - 5*l**2 + 5*l + 3. Suppose 2*r - 49 = -13. Suppose 0 = -i - 0*f + 4*f - r, f = 3. Does 9 divide m(i)?
True
Suppose -a + 2*a = -1. Let w = -3 - a. Is (5/(-15))/(w/42) a multiple of 7?
True
Let v = 2 + 16. Is v a multiple of 4?
False
Suppose -6*q = -q. Suppose q*r - 36 = -4*r. Is 6 a factor of r?
False
Let g = 11 + 15. Is g a multiple of 13?
True
Suppose d + 2 = 4*c, -20 = -3*d - 3*c + 2*c. Let k(f) = -f**2 + 6*f + 4. Is k(d) a multiple of 2?
True
Let r = 43 + -19. Does 23 divide r?
False
Let z(a) = 10*a**2 - 2*a - 12. Is 34 a factor of z(5)?
False
Suppose -5*m - p - 3*p = -48, -5*p + 10 = 0. Does 4 divide m/2*30/8?
False
Let h(u) be the second derivative of u**5/15 - u**4/24 + u**3/3 + u**2 + u. Let b(y) be the first derivative of h(y). Does 12 divide b(2)?
False
Let r = -5 + 10. Suppose 19 = b + r*m - 2*m, 0 = -2*b - 5*m + 34. Does 5 divide 2/b + (-54)/(-7)?
False
Suppose 3*d = 2*d + 156. Let b = 332 - d. Suppose 33 + 6 = q - 4*m, -5*q + m + b = 0. Does 15 divide q?
False
Let d(z) = -z**3 - 5*z**2 - 3*z - 1. Let f be d(-3). Let x = -39 - f. Let n = 49 + x. Is 11 a factor of n?
False
Let x(k) = 0*k + k**2 - k**3 + k**2 + k - 6 - 7*k**2. Is x(-6) a multiple of 9?
False
Suppose -98 = 5*v - 478. Does 12 divide v?
False
Does 5 divide (-2)/8*(-209 + -3)?
False
Let a(x) = x + 50. Is a(0) a multiple of 10?
True
Let y(j) = -j**3 + 10*j**2 - 2*j - 3. Is y(9) a multiple of 43?
False
Suppose -2*m = 2*x + m - 9, 0 = -4*x - m + 3. Does 13 divide 47 - (3 - x - 4)?
False
Let p be (44/(-16))/((-1)/12). Suppose 0*v - 2*v = -10. Suppose 2*f - p = v. Is f a multiple of 8?
False
Suppose -434 = -2*f - 4*y, -218 = -5*f + 4*f - 3*y. Suppose 0 = -4*k + f + 101. Let c = k - 43. Does 17 divide c?
False
Let n be (-44)/(-20) + 1/(-5). Let q(c) = -4*c + 3*c + 2*c**n - 4*c + 4*c + 1. Does 16 divide q(3)?
True
Does 14 divide 107 + (-1 - 1) + 7?
True
Let s = -7 - -9. Suppose 0 = 3*n + 3, 4*n + 35 = s*x - 107. Is 23 a factor of x?
True
Suppose 0 = 2*w - 5*c - 54, 4*w = 3*c - 4*c + 152. Is 10 a factor of w?
False
Let g(c) = -3*c - 2. Suppose -2*q + 3*i + 9 = 0, q + i = 2*q - 5. Let o(d) = d**2 - 8*d + 5. Let a be o(q). Is g(a) a multiple of 11?
False
Let s(j) = j**3 - 5*j**2 + j + 1. Let l be s(5). Let f(i) = 3*i + 3. Is f(l) a multiple of 6?
False
Suppose 0 = 2*r + 5*o - 36, 37 = 3*r + 6*o - 7*o. Suppose -d + c = 4*d - 76, -d + r = 2*c. Is 11 a factor of d?
False
Let d be (1/(-3))/((-2)/6). Let r be (-6)/9 + 111/(-9). Let j = d - r. Does 5 divide j?
False
Suppose 3*f - 4*f + 41 = 0. Let i = f + 21. Suppose 0 = 5*d - 3 - i. Does 9 divide d?
False
Let d be ((-6)/(-8))/((-1)/(-4)). Suppose 4*j = 5*o + 176, -d*o = -0*o + 12. Is 13 a factor of j?
True
Let f be (-198)/(-45) + 4/(-10). Suppose 4*o + 7 - 27 = 0. Suppose -3*k - f = -5*b, -2*k = o*b - 4 - 10. Is k a multiple of 2?
True
Suppose 2*m + 4*d = 4, -d - 2*d - 8 = -4*m. Suppose 3*q - m*f = -0*q + 14, 2*q - 4 = 4*f. Does 3 divide q?
True
Let g be 2 + -5 + (-92)/(-1). Suppose -2*n = 9 - g. Let s = n - 23. Is 12 a factor of s?
False
Is 6 a factor of (-3)/(-5) + 468/20?
True
Suppose 0 = -2*b - 4*b + 612. Is 20 a factor of b?
False
Let a(t) = -t - 13. Let f be a(-10). Is (-6)/(-4)*10 + f a multiple of 10?
False
Suppose 0*z + 3*z - 6 = 0. Suppose z*r + 80 = 6*r. Suppose -2*j - r = -6*j. Is j a multiple of 5?
True
Suppose l = 4*l + 9. Let t be 1/(1/l) - 0. Let i = 18 + t. Is 15 a factor of i?
True
Let t(m) = m**3 + 4*m**2 - 3*m - 3. Is t(-4) a multiple of 3?
True
Let i(g) = -g**3 - 8*g**2 - 5*g. Let t be i(-7). Let m = -6 - t. Is 4 a factor of m?
True
Is (8/32)/(2/712) a multiple of 13?
False
Let l be 0/((-1)/(1 + 0)). Let j be (l + 6)*(-2)/2. Is 24/9*j/(-4) a multiple of 3?
False
Suppose 18 = -0*k - k + 4*m, 5*m - 35 = -5*k. Suppose -2*j - 16 = -4*p + 10, 10 = -k*j. Does 19 divide (1*-57)/((-6)/p)?
True
Let d = -1 - -10. Let i = d + 25. Is i a multiple of 17?
True
Suppose 0 = 2*v - g - 5 - 3, 2*v = -4*g - 12. Let q be 35 + 1/(-2)*2. Is 13 a factor of q + (-2 - (-3 - v))?
False
Let o(w) = -4*w**2