ivide q?
False
Let l = 31 + -2. Suppose -i = -2*i + l. Does 10 divide i?
False
Let c(w) = w**2 - 1. Suppose 5*x + 2*r + 3*r + 35 = 0, 2*r + 2 = 4*x. Let d be c(x). Suppose -16 = -p - d*p. Does 3 divide p?
False
Let n(w) = 4*w**2 - 2*w + 2. Let j(u) = u**2 + 3*u + 2. Let l be -2 + 1/1 + -2. Let k be j(l). Is 9 a factor of n(k)?
False
Let y(b) = 2*b**2 + 1. Let u be y(-1). Let j be (-3 + -6)*(-1)/u. Suppose 3*z + j*q - 15 = 0, q + 45 = 5*z + 8. Does 5 divide z?
False
Is (-1629)/(-54) + (-1)/6 a multiple of 8?
False
Is 30 a factor of (-72)/16*40/(-6)?
True
Is 112/35*(-130)/(-4) a multiple of 26?
True
Let o be 8778/70 - 2/5. Suppose -100 - o = -5*f - 3*y, 3*f - 3*y - 159 = 0. Is 24 a factor of f?
True
Let v = 5 + -36. Let o = v - -61. Is 9 a factor of o?
False
Let l be (12/(-16))/((-1)/8). Let v = -9 + l. Let o = 7 + v. Does 4 divide o?
True
Let y = 28 + -43. Let u = 17 + y. Is u even?
True
Suppose -100 - 134 = -3*p + 3*g, 3*g - 216 = -3*p. Suppose -o = 4*o - p. Is 15 a factor of o?
True
Suppose 5*d - 83 = 4*d. Suppose 4*c - 3*c - d = -2*m, 0 = -5*c - 5*m + 405. Suppose -13 = -4*b + c. Is b a multiple of 11?
False
Let y = -4 + 7. Suppose -w = y*o - 18, -3*w - o + 11 = -11. Is ((-2)/3)/(w/(-63)) a multiple of 6?
False
Suppose 0 = y - 3 - 9. Suppose 2*f + f + y = q, 2*f - 6 = -4*q. Is 14 a factor of 6/f + 4 - -26?
True
Let n be (-2)/6 - (-1)/3. Suppose n = -3*p + 154 - 1. Is 17 a factor of p?
True
Suppose 36 = -4*f - 4. Let c be 2*(-2 - -1) + 16. Let j = c + f. Does 2 divide j?
True
Let b(u) = -u**2 - 10*u + 2. Let z be b(-10). Suppose -q = 3*v - 46, 29 = z*v - 2*q - 15. Suppose -c + k - 19 = -4*c, -3*k + v = c. Is 3 a factor of c?
False
Let m be (-2)/2 - 17/(-1). Suppose z = -2*z + 21. Suppose z*v - 3*v = m. Does 2 divide v?
True
Does 2 divide (13/(312/176))/(4/6)?
False
Let r be (1 + 1)/(-2)*-6. Is 26/r - (-2)/3 a multiple of 5?
True
Suppose -2*i - 3*o + 39 = 0, 11 = i + 2*o - 11. Is 3 a factor of i?
True
Suppose 0 = 3*n + n - 1424. Does 45 divide n?
False
Let w(k) be the first derivative of 8*k**3/3 + k**2/2 + k - 4. Does 12 divide w(-2)?
False
Let m be (18/15)/((-9)/30). Let p be (1 + -3)/(m/(-86)). Let f = -12 - p. Is f a multiple of 13?
False
Let a = 6 + 9. Suppose -5*h - a = -8*h. Is 3 a factor of h?
False
Is 5 a factor of (-2)/(1 - 1/(-1)) - -31?
True
Let q = 4 - 1. Let z be 1/q - (-92)/(-6). Is z/5 - 16/(-1) a multiple of 13?
True
Let k(x) = -x**2 + 26*x + 105. Does 24 divide k(25)?
False
Let x(a) be the first derivative of -2*a**3/3 + 11*a**2/2 + 5*a - 1. Let j be x(11). Does 7 divide (-1)/(-3) + j/(-12)?
False
Suppose -5*j + 23 = -3*z, 5*j + 2*z = z + 19. Is 3 a factor of 30/j + 3/2?
True
Let l = -13 - -75. Suppose 3*b + 2*o = l, 2*b - o - 44 = -5*o. Does 10 divide b?
True
Let i = -3 - -3. Suppose -5*y + 8*y + 9 = i. Is -3*(0 - (-38)/y) a multiple of 19?
True
Is 18/4 + ((-22)/4)/(-11) a multiple of 2?
False
Let d = -28 - -76. Does 5 divide d?
False
Suppose 4*x - 793 = -293. Let y = x + -86. Suppose -k - 2*k = -y. Does 5 divide k?
False
Is 21 a factor of -1 + 0 + 0 + -2 + 24?
True
Let z(q) be the first derivative of -3*q**2 - 11*q + 6. Is z(-10) a multiple of 29?
False
Let g be (2 - 1) + (-11 - 1). Suppose -5*v - 23 - 67 = 0. Let i = g - v. Does 7 divide i?
True
Let x be 4/16 - 22/(-8). Suppose 5*m - 8 = x*m. Suppose -6*b + b = -10, -3*j - m*b + 164 = 0. Is j a multiple of 18?
False
Let k = -17 - -53. Is k a multiple of 12?
True
Let h = 29 - 16. Let l = 4 + h. Is 7 a factor of l?
False
Let m(t) = -t**2 - 5*t - 4. Let a be m(-3). Suppose 4*z + 9 = -h, -a*h = h + 3*z. Does 2 divide h?
False
Let h be (-4 + 0)/(9/45). Let i = 56 + h. Is 6 a factor of i?
True
Let p = 715 - 472. Does 32 divide p?
False
Let d(z) = 10*z**3 + 5*z**2 - 2*z - 3. Let a be d(3). Suppose 0*t = -2*t - 2*j + a, -2*t = 4*j - 312. Suppose -6*x = -x - t. Is x a multiple of 15?
True
Let k(r) = 4*r + 1. Let s be k(1). Suppose 3*j - m = 39, -3*j = -2*j + s*m + 3. Is 6 a factor of j?
True
Suppose 5*y + 154 = -21. Suppose k - 6*k + 255 = 0. Let h = y + k. Does 16 divide h?
True
Let q(u) = -10*u - 6. Let w be q(-7). Let t = 106 - w. Suppose 6*o - t = 4*o. Does 7 divide o?
True
Is (-3735)/(-60) - 2/8 a multiple of 9?
False
Is 7 a factor of (6 + -9)*10/(-3)?
False
Let s(n) = -n**3 - 7*n**2 - 8*n - 9. Let q be s(-6). Suppose -4*d + 87 = d + 4*j, -q*d - 5*j = -60. Is d a multiple of 10?
False
Let z = -7 - -12. Suppose 25 = -z*l, 5*l - 3*l = x - 14. Does 4 divide x?
True
Suppose -4*k = -2*a - 34, -2*a - 28 = -0*k - 3*k. Let g(l) = -l**3 + 4*l**2 + 3*l - 8. Let n(w) = w**2 - 1. Let h(z) = k*n(z) - g(z). Is 12 a factor of h(2)?
True
Let s = -24 + 74. Does 10 divide s?
True
Suppose -6 = 2*b - b. Let p = -13 - b. Let w = 1 - p. Is w a multiple of 4?
True
Suppose 94 = -3*k + 109. Is k even?
False
Let i be 3 + (-12)/4 + 395. Suppose -6*t = -t - i. Is t a multiple of 16?
False
Suppose 50 = 3*i - 40. Is 5 a factor of i?
True
Let k = -40 - -19. Let r = -28 + 18. Let z = r - k. Is 11 a factor of z?
True
Suppose -r - 3*x + 2 = 2*x, 14 = 2*r + 5*x. Is 17 a factor of (8/r)/(4/102)?
True
Let y(f) be the third derivative of -f**5/20 + f**4/12 + f**3/3 - f**2. Let t(u) be the first derivative of y(u). Is 16 a factor of t(-5)?
True
Is 11 a factor of (1/2)/(1/102)?
False
Suppose 4*f - 5 = b, -6*b + 5*b = -3. Suppose 2*v - 18 = a - f*a, -3*a + 60 = 3*v. Is a a multiple of 11?
True
Let a be (-2724)/(-21) + 2/7. Let r(b) = b**2 - 5*b + 6. Let w be r(4). Suppose 0 = 3*y + w*y - a. Is y a multiple of 17?
False
Suppose -5*u = 4*y + 13 - 4, 5*u = 2*y - 3. Is 10 a factor of 10/(((-1)/2)/u)?
True
Suppose -3*j + 2*j + 3 = 0. Suppose k - 232 = -j*k. Let y = k - 35. Is 10 a factor of y?
False
Let m = -25 + 37. Is m a multiple of 3?
True
Is (828/8)/3*4 a multiple of 28?
False
Suppose -1 + 41 = 2*p. Is p a multiple of 10?
True
Let h(i) = 2*i**2 + 3*i - 2. Let g be h(-4). Let u = g + 5. Suppose -2*p + u = -33. Does 21 divide p?
False
Suppose 0 = 5*t - 3*t - 48. Is 19 a factor of t?
False
Let q(o) = -2*o - 2. Let m be q(-2). Suppose -m*l - 3*l = -55. Suppose 0 = -w - 0*w + l. Does 6 divide w?
False
Let r(i) be the first derivative of 3*i**2/2 - 6. Is r(4) a multiple of 3?
True
Let v(u) = -11*u - 3. Is v(-2) a multiple of 10?
False
Suppose 0*p + 4*p - 212 = -2*o, -3*p + 153 = 3*o. Is 16 a factor of p?
False
Let c = 0 - -2. Let d(g) = 2*g - 1 - c*g**2 - g**3 + 4*g**2 + 0*g**2 + 0*g**2. Is d(-2) a multiple of 10?
False
Let s = -3 + 1. Let h be 21 + 1 - s - 1. Suppose -h + 5 = -2*o. Is 4 a factor of o?
False
Let u(m) = 2*m**3 + m**2 - m - 2. Let q be u(2). Suppose -l + q = -44. Is l a multiple of 10?
True
Is 9 a factor of ((-336)/64)/(6/(-32))?
False
Let g be (-10)/25 - 6/10. Is 5 a factor of (2 - g) + 8/4?
True
Let g(m) = -35*m + 36. Does 11 divide g(-4)?
True
Let s(u) = 2*u - 6. Let n be 4/10 + 126/35. Let j be s(n). Suppose 96 = 4*m - 3*o - 17, -4*m = j*o - 118. Does 14 divide m?
False
Suppose 4*g - 24 = -n, n + g = 4*g - 11. Suppose n*q = -67 + 163. Is 8 a factor of q?
True
Suppose -20*o + 92 = -18*o. Is 23 a factor of o?
True
Let d(s) = 29*s**2 - 2*s - 1. Suppose v - 9 = -5*k, -k = -3*v - 5 - 0. Is 6 a factor of d(v)?
True
Let q(x) = 23*x - 2. Let g be -1 - (1 + -3 - 1). Is 19 a factor of q(g)?
False
Let j be (0 - 1)*(-18 + -1). Suppose -2*f - f + t - 20 = 0, 0 = -2*f - t - 5. Let p = j + f. Is p a multiple of 4?
False
Does 4 divide -5*2/(-15)*24?
True
Let n = 33 - 17. Let g = n + 20. Is g a multiple of 18?
True
Let z be -2 - (-6 + 3 + 1). Is 15 a factor of 21 + 1/(1 + z)?
False
Suppose 57 = 4*r - 15. Does 4 divide r?
False
Let a = 942 + -662. Is 35 a factor of a?
True
Let k(v) = 2*v**2 - 47*v + 33. Does 18 divide k(25)?
True
Suppose 7*y - 4*y = 321. Does 11 divide y?
False
Let l(r) = r + 125. Let u be l(0). Suppose -5*v - u = -0*d - 5*d, 5*d = -3*v + 157. Does 12 divide d?
False
Let o(i) = 9*i - 6. Is o(7) a multiple of 19?
True
Suppose 465 + 460 = 5*r. Is r a multiple of 37?
True
Suppose v + 2*v - 171 = 0. Is v a multiple of 15?
False
Let c be 23/7 + 6/(-21). Suppose 4*o = -4*t - 44, -3*o = c*t + 2*o + 27. Does 13 divide (-542)/(-14) + (-4)/t?
True
Suppose 21 + 23 = -4*a. Does 5 divide 3/(-2 - a/5)?
True
Is 7 a factor of (7/4)/(1/4)?
True
Let l(w) = 4*w - 2. Let f(u) = -u**2 + 4*u + 1. Let d be f(2). Suppose 18