of 5?
True
Let m = -6 - -8. Suppose 0*s = m*s - 10. Suppose 4*y = s*f - 42, -3*f = f - y - 38. Does 10 divide f?
True
Suppose -2*l = -4*l + 6. Suppose 5*k - l = 37. Does 8 divide k?
True
Suppose -5*c - 6 = 2*s, -3*s = -2*c + 3*c - 4. Let a be s*2/(-12)*-12. Suppose -a*r - 3*b + b = -66, -2*r - 2*b = -38. Does 13 divide r?
False
Let k be (-425)/(-4) + 3/(-12). Suppose -6 = 4*t + 4*v - k, -3*v = -t + 5. Is 11 a factor of t?
False
Suppose 3*f - 8 = -2*k, -3*k + 4 = -3*f + 7. Suppose -f*n - 3*w = -101, 5*n + 2*w + 44 - 324 = 0. Is n a multiple of 29?
True
Let y be ((-2)/(-4))/(2/(-20)). Let d = y - -10. Suppose 5*v - 4*i = 64, -d*i + 34 + 34 = 3*v. Is v a multiple of 8?
True
Suppose 4*q + 3*a = 13, -5*q - 2*a + 13 = 2. Does 5 divide 5*(-1 + 2)/q?
True
Let r(x) = 3*x**3 - 10*x**2 - 9*x + 1. Let s(q) = -2*q**3 + 5*q**2 + 5*q. Let a(n) = 4*r(n) + 7*s(n). Let b be a(4). Is 12 a factor of b/(-6) - 4/6?
False
Let i = -13 - -18. Suppose 0 = -2*n - 2*y + 100, n - i*y - 190 = -2*n. Does 11 divide n?
True
Let a(q) = q**3 + 0*q - 4 + 8*q**2 + 12 + 4*q. Let u be (7/(-2))/((-1)/(-2)). Is 19 a factor of a(u)?
False
Let g(s) = 6*s**2 + 7*s - 4. Is 20 a factor of g(4)?
True
Let k(d) = 2*d**2 + 16*d + 9. Is k(-11) a multiple of 15?
True
Let v(q) = -7*q + 5. Let x be v(-4). Let t(c) = -56*c**3 - 2*c**2 + 2*c + 2. Let g be t(-1). Let i = g - x. Is 8 a factor of i?
False
Let u(v) = v**3 - 3*v**2 + 3*v - 1. Let q be ((-6)/4)/((-3)/6). Let n be u(q). Is -1*(-1 - 1) + n a multiple of 5?
True
Let g be 1/2*100/10. Suppose 0 = -3*h + g*p + 34, 5*h - 6*p = -2*p + 35. Is h even?
False
Suppose 4*p + 0*p = 324. Suppose c + c = -w + 44, -2*w + p = -3*c. Does 14 divide w?
True
Let d be 152/26 + 12/78. Suppose -d = 3*u - 69. Is 4 a factor of u?
False
Let k be 1/(-4) - 418/(-8). Suppose 2*x - 19 + k = 5*j, 11 = j + 4*x. Is j a multiple of 3?
False
Suppose 3*x = -2*c + 4*x - 6, c + 3 = 2*x. Let y(v) = -v - 3. Let a be y(c). Let w = 7 + a. Does 3 divide w?
False
Let l = 2 - -3. Let r be (110/66)/(2/36). Suppose 0 = q - 4*a - 22, -l*q + r = a - 38. Is 14 a factor of q?
True
Suppose -4*y = 3*g + 10, g - 4*y = -9 - 5. Let u(j) = -3*j - 10. Does 8 divide u(g)?
True
Let h(v) = 6*v**3 + v**2 - 2*v + 1. Let g be h(1). Does 12 divide 334/g + (-2)/(-6)?
False
Suppose z + 84 = 3*z. Suppose -100 = -5*g + 2*a, -2*a = g + 2*a - z. Suppose -c - 2*k = -g, -5*k = -0*c - 4*c + 36. Is 5 a factor of c?
False
Is 41 a factor of 86 + ((-8)/(-20))/((-2)/10)?
False
Suppose -c - 13 = -2*s, 2*c + 4 = 2. Suppose -4*z - 53 = 5*f, 0 = -2*z + 2 - s. Let w(y) = -2*y - 2. Is 16 a factor of w(f)?
True
Let v(d) = d**2 + 4*d - 4. Let h = -8 - -2. Is 8 a factor of v(h)?
True
Let z be -2 - 1*(-2 + 3). Let x(o) = -o + 3. Does 3 divide x(z)?
True
Let t = -10 + 12. Suppose -4*s = -t*y - 20, s + 3*y + 5 = 2*s. Suppose 11 = -s*d + 101. Is 5 a factor of d?
False
Suppose r = 3*r - 8. Suppose 97 = 3*k - r*f, 5*f = k + 3*k - 128. Is 2 a factor of 1/(k/(-15) - -2)?
False
Let u(d) = -2*d - 4. Let t be u(-4). Let g(a) = -8*a + 2. Let q(x) = -9*x + 2. Let y(m) = t*q(m) - 5*g(m). Is y(6) a multiple of 15?
False
Suppose 13 = -2*t + 5. Is 26*-1*2/t a multiple of 4?
False
Let g(f) = f - 7. Let a be g(9). Suppose 2*t = -a*t + 16. Suppose -t*k = -3*k - 32. Is k a multiple of 16?
True
Let r be (1/(-2))/((-5)/(-50)). Let a = r - -19. Let c = -9 + a. Is c even?
False
Let n(q) = -q**2 - 3*q. Let j be n(-3). Let h(z) = z + 27. Does 12 divide h(j)?
False
Let v = -53 + 81. Is v a multiple of 6?
False
Let u(y) = -5*y - 1. Let v be u(-1). Suppose -2*r - 6 = -v*r. Suppose 3*o = -9, -2*w + o + r*o + 70 = 0. Is 14 a factor of w?
False
Suppose -32 = 5*b - b - 4*m, 2*b - 3*m = -18. Suppose 4*u = 12 - 44. Does 13 divide (-16)/b*(-60)/u?
False
Suppose f + 0*f + 4*y - 122 = 0, 0 = -f - y + 107. Is f a multiple of 6?
True
Is ((-12)/(-15))/(6/105) a multiple of 6?
False
Suppose 5*g - 78 = 77. Does 30 divide (8 + -6)*(-1 + g)?
True
Let s(w) = 7*w**2 - 2*w - 1. Suppose 4*m - 5*a - 10 = 0, 4*m + 4*a + 0 + 8 = 0. Let k be 1 + m + -1*2. Is s(k) a multiple of 8?
True
Does 45 divide ((-72)/(-10))/((-9)/(-60))?
False
Let z = -32 + 48. Is 8 a factor of z?
True
Suppose 5*d + 524 = 7*d. Is d a multiple of 45?
False
Suppose -72 = -6*z + 3*z. Does 6 divide z?
True
Suppose 3*q = -79 - 41. Let p = q - -73. Is p a multiple of 11?
True
Let g = -60 + 39. Let o(k) = -6*k + 1. Let v be o(2). Let p = v - g. Does 10 divide p?
True
Let c(r) = 7*r**2 + 4*r - 2. Let p(k) = -6*k**2 - 4*k + 1. Let f(h) = -5*c(h) - 6*p(h). Does 19 divide f(-7)?
False
Suppose -4*t - m + 11 = 0, -4*m + 0*m = 20. Let z be 2*-2*2/t. Is 18 a factor of (z/5)/((-2)/90)?
True
Let u be 35 - (-2 + 0) - -2. Let n = u + -4. Suppose -5*k = -2*j + n + 41, -5*j + k + 167 = 0. Is 15 a factor of j?
False
Suppose -27*l = -22*l - 400. Is l a multiple of 38?
False
Let x(a) = -a**2 + 5*a - 4. Let h be x(4). Suppose 7 + 5 = 4*v. Suppose 0 = -3*r + 15, -4*r = -v*t - h*r + 7. Is 5 a factor of t?
False
Suppose 18 = 5*n + 3*r + 6, -3*n + 11 = -2*r. Suppose 5 = n*a - 13. Does 6 divide a?
True
Let u = 4 + -2. Suppose u*w + 2*o = -0*o + 6, -4*w = -3*o - 40. Is 4 a factor of w?
False
Is (44/10 - (6 + -2))*40 a multiple of 16?
True
Does 2 divide ((-2)/(-4) + 133/70)*5?
True
Suppose 0*y = z - 3*y - 153, -3*z = -3*y - 435. Suppose 2*o - z = -o. Is o a multiple of 19?
False
Let p(t) = -t**2 + 7*t - 1. Let m be p(5). Let q(z) = z**2 + 0*z**2 - 8*z - 1 + 6. Is q(m) a multiple of 14?
True
Let x be ((-10)/(-3) + -2)*12. Let y be ((-12)/x)/(6/(-16)). Suppose -4*s = -3*b - 75, 0 = -3*s - y*s + b + 80. Does 6 divide s?
False
Let y = -41 + 82. Suppose 6 = 2*n + 2*m + m, -5*n - m + y = 0. Is n even?
False
Is ((-980)/25)/(2/(-5)) a multiple of 20?
False
Suppose -5*m + 122 = 5*j - m, 0 = 5*m - 15. Is j a multiple of 7?
False
Let l = 6 - 12. Let o = 13 + l. Let b = o - -3. Is 5 a factor of b?
True
Let h = -89 + 176. Is h a multiple of 14?
False
Suppose -4*m + 3 + 5 = 0. Suppose -16 = -m*r - 2*j, 4*r - 56 = -0*j + 2*j. Let x = r - 2. Is 10 a factor of x?
True
Let i be (18/8)/((-3)/12). Let x(k) = -37*k + 32*k - k**3 + k**2 - 5 - 10*k**2. Is 20 a factor of x(i)?
True
Suppose 33 = -11*n + 14*n. Does 2 divide n?
False
Let b be 1/1*(-35 - -2). Let x = 48 + b. Is x a multiple of 14?
False
Let a(m) = 2*m**2 + 12*m + 1. Is a(-8) a multiple of 33?
True
Let g be (-60)/16*(-128)/6. Let b = g + -10. Is b a multiple of 35?
True
Let z = -17 - -27. Is z a multiple of 10?
True
Let i be (5/2)/(2/4). Suppose -s - i*t + 36 = 0, t = -2*s + 37 + 80. Is s a multiple of 16?
False
Let d(y) be the first derivative of y**2/2 - y - 1. Let l be d(1). Does 3 divide (l - 1)*(-7 + 2)?
False
Suppose 22*r = 27*r - 120. Is r a multiple of 4?
True
Let o(z) = -z**3 + 2*z. Let r be o(-2). Suppose -2*b + 0*v + 20 = -2*v, -2 = -3*b - r*v. Suppose -b = j - 20. Does 14 divide j?
True
Suppose m - 23 = 9. Is m a multiple of 23?
False
Suppose 0 = -5*j + 2*j + 12. Is 35/j - (-2)/8 a multiple of 3?
True
Let p = -32 - -55. Is 12 a factor of p?
False
Suppose 92 + 168 = 4*n. Does 19 divide n?
False
Is ((-1)/1)/((-6)/354) a multiple of 13?
False
Is (6/(-8))/((-7)/84) a multiple of 2?
False
Suppose -2*b - 2*b = 0. Suppose -4*u + s = 5*s - 140, b = 3*u + s - 97. Suppose -8 = -3*t + u. Is 13 a factor of t?
True
Suppose -86 = -2*p + 3*q, p - 5*q = 5*p - 150. Is 19 a factor of (p + -1)/((-6)/(-8))?
False
Suppose -5*u + u = -260. Is 11 a factor of u?
False
Suppose -2 = -6*b + 5*b. Suppose -j - b = 0, 2*x - j = -0*j + 112. Does 15 divide x?
False
Suppose 2*g - 1 = g. Let d = 4 - g. Suppose n - 24 = d. Does 12 divide n?
False
Let r(x) = -x**3 + x**2 + 2. Let w be r(0). Let k be 9/3 + w + -1. Suppose -12 + 0 = -3*j, 33 = u + k*j. Does 7 divide u?
False
Suppose -18 = -3*f - 6. Suppose -75 = f*h - 187. Is h a multiple of 11?
False
Suppose 424 = 5*d - 2*j, 3*j + 4 - 13 = 0. Is d a multiple of 24?
False
Let k be 3*-4*9/(-36). Does 6 divide 50/k*(-3)/(-2)?
False
Let v = 36 - 86. Is (-1)/1 - (v - -1) a multiple of 17?
False
Let d(a) = a**2 + 3. Let l be d(0). Suppose -3*v + 5*n = -32, -16 = -l*v - 2*n + 3*n. Does 4 divide v?
True
Suppose -r + 1 = -3. Is r a multiple of 2?
True
Is 8 a factor of 23 + -3 + 4 + 2?
False
Let i(k) = -k**3 - 11*k**2 + 5*k + 7. Let u(t) = -t**2 - t + 1. Let n(p) = i(p) - 3*u(p).