6 divide u?
True
Suppose -6*j + 115 = -j. Let x be (-2)/5 + j/(-5). Let v = 16 + x. Is 11 a factor of v?
True
Is (1 - -2)/(1 + (-28)/30) a multiple of 25?
False
Let r(t) = 18*t**2 + 1. Let h(o) = o**2 + 3*o - 5. Let v be 4*(3 + (-12)/3). Let g be h(v). Is 19 a factor of r(g)?
True
Suppose 0 = -3*r + 13 + 17. Suppose 20 + r = k. Is k a multiple of 15?
True
Suppose -2*y = -1 - 3. Let v(s) = 17*s**2 + 2*s - 3. Let d be v(y). Suppose 3*w + 5*f = 5*w - 52, 3*w - d = 3*f. Is w a multiple of 20?
False
Let b be 0 - 3/(9/(-6)). Suppose 4*n + 117 = 5*l, b*l + 0*n + 3*n - 33 = 0. Is l a multiple of 7?
True
Suppose -5*z + 34 = t - 0*t, 4*t = -3*z + 204. Suppose t = 3*w - d, -w - d + 82 = 4*w. Does 10 divide w?
False
Suppose -2*n - 20 = 3*x + 2*x, 4*n + 20 = 0. Is 7 a factor of (x + 2 - -3)*7?
True
Suppose 4*l = -i + 24, 0 = -2*i + 2*l - 3*l + 48. Is 8 a factor of i?
True
Suppose 2*b - 5*b = -33. Is b a multiple of 3?
False
Let t be 0 + 3 + (1 - -2). Suppose t = -4*a + 6*a. Suppose 6*h = -5*i + 4*h + 154, 0 = 5*i - a*h - 144. Is 10 a factor of i?
True
Let k be (-2 - -3)*(123 + 2). Suppose 4*m + 29 = k. Is m a multiple of 20?
False
Suppose y + 2*g = -2*y + 131, -213 = -5*y + 2*g. Is y a multiple of 14?
False
Suppose 12 = -5*v + 47. Let z(o) = -3*o**2 - 8*o - 5. Let r(b) = 5*b**2 + 16*b + 10. Let d(j) = 4*r(j) + 7*z(j). Does 4 divide d(v)?
True
Let m = -27 - -21. Let z = -32 + 10. Is 6 a factor of 12*(z/m + -3)?
False
Suppose 4*t - y = 3, 3*t - 3*y + 4 = -y. Is (-3 + t + 3)*4 a multiple of 6?
False
Suppose m + 4*v = 3*m - 250, 4*v = -12. Is 15 a factor of m?
False
Let j(p) = -6 - p + 2*p - 7 + 2. Let s be j(8). Is 32 - (s - (1 + -2)) a multiple of 17?
True
Suppose 2*i = -3*h + 6*i + 1292, 3*i + 429 = h. Is 18 a factor of h?
True
Let z(k) = k**2 - k + 5. Suppose -7 = -4*t - 2*n + 3, -5*t + 3*n + 29 = 0. Let j be (t/2)/(10/25). Does 25 divide z(j)?
True
Let r be (2 + -1 - -182)/(-1). Let u = r - -109. Let h = -44 - u. Is h a multiple of 15?
True
Let q(z) = z**3 - 5*z**2 + 4*z. Let u be q(4). Suppose u*a + 40 = 4*a. Is a a multiple of 5?
True
Let v = -198 + 279. Does 17 divide v?
False
Suppose 2*m - w + 51 = 2*w, -5*m - 117 = 3*w. Let i = 53 + m. Does 8 divide i?
False
Let i = -5 + 9. Suppose -5*b - 47 = -i*t, 3*b + 2*b = 5*t - 45. Let m(q) = q**2 + 11*q + 2. Is m(b) a multiple of 2?
True
Is 22 a factor of (66/(-4))/((-6)/32)?
True
Let s(p) = -32*p + 3. Is 15 a factor of s(-2)?
False
Let i = -63 - -111. Is i a multiple of 24?
True
Let z = -6 + 6. Suppose z = 5*x - 20 - 50. Does 9 divide x?
False
Is (1/2)/(-3*(-3)/630) a multiple of 35?
True
Let d(u) = -u - 13. Let k be (14 + -2)*15/(-20). Let a be d(k). Let p = a - -13. Is p a multiple of 3?
True
Suppose x + 78 = -2*y + 7*y, 5*x + 45 = 2*y. Suppose 0 = 2*d - y + 49. Is 7 a factor of 2*2*d/(-4)?
False
Suppose 4*g + 3*y + 132 = 0, -3*g = 2*g - 5*y + 130. Let p = 58 + g. Is p a multiple of 19?
False
Suppose 2*d + 5*p - 149 = 99, -p - 117 = -d. Is 17 a factor of d?
True
Suppose -5*z = 5*i - 35, z = -5*i - z + 20. Let w(y) = 11*y**2 - 9*y - 7. Let d(m) = 5*m**2 - 4*m - 3. Let h(u) = 9*d(u) - 4*w(u). Is 3 a factor of h(i)?
False
Let r(l) = -l**3 - 7*l**2 - 6*l + 3. Let z(y) = -y**2 - y - 6. Let h be z(0). Let x be r(h). Suppose 0 = -3*o + x + 51. Does 18 divide o?
True
Let w = 9 + -6. Suppose 0 = w*c - 68 + 2. Does 11 divide c?
True
Suppose -p + 14 + 13 = 0. Is 9 a factor of p?
True
Let z = 64 + -33. Is z a multiple of 29?
False
Suppose 86 - 224 = -2*h. Is 23 a factor of h?
True
Let q = -3 + 3. Suppose 53 = 3*z - 175. Suppose 2*d - z = -q*d. Is 19 a factor of d?
True
Let g(s) = -10*s + 16. Is 23 a factor of g(-7)?
False
Let v(w) = 3*w. Let x be v(1). Let r = 2 + x. Suppose -r*f + 15 = -10. Does 2 divide f?
False
Let z(d) = -18*d - 57. Is 21 a factor of z(-7)?
False
Suppose -h - 9 + 19 = 0. Does 10 divide h?
True
Is (-4)/(-7)*(-70)/(-4) a multiple of 3?
False
Let n be (-100)/(-16) - 1/4. Let q = 10 - n. Suppose -3*r = v - 74, -4*v = q*r - 3*v - 99. Is r a multiple of 14?
False
Let n(u) = -3 + 4*u + 6 + 9 - 2. Is 18 a factor of n(9)?
False
Let w be -35*(-2 - 6/(-2)). Suppose -3*y = -y - 5*v + 11, -2*v - 4 = 2*y. Let k = y - w. Is k a multiple of 16?
True
Let j(x) = x**2 + 1. Let w be j(-2). Suppose 0 = o + w*n + 11, -2*o - 2*n - 4 = -n. Is ((-1)/o + 1)*2 a multiple of 3?
False
Let q(p) be the first derivative of -4*p**2 - p - 8. Is q(-1) even?
False
Suppose -3*z = -5*z + 8, -z + 10 = 2*t. Suppose -4*w - 12 = -t*w. Is 5 a factor of 8/16*w/(-1)?
False
Let z = 58 - 28. Let s = -5 + z. Is 11 a factor of s?
False
Suppose 4*z - 60 = 2*z. Is z a multiple of 10?
True
Suppose 3*j - j = 0. Suppose j = -3*g - 2*a + 23, g + 3*a + 13 = 6*g. Suppose -2*w + 3*z = 4*z - 36, -g*w - 5*z = -90. Does 14 divide w?
False
Let o be 2/((-15)/6 - -2). Let k = -2 - o. Suppose 0 = k*x + 3*x - 20. Does 4 divide x?
True
Let j = -60 + 88. Suppose 3*m - m - 21 = -5*o, o - 3*m = 11. Suppose h = j - o. Is h a multiple of 21?
False
Let n(y) = -15*y + 2. Let u(b) = -b**2 - 7*b + 6. Suppose z + 5*t = -23, -8*z + 3*z - 5*t = 55. Let g be u(z). Is 16 a factor of n(g)?
True
Suppose 4*a - 8 = 4*s, -5*a + 21 = s - 7. Suppose -a + 2 = -2*z + 5*g, 4*z = -2*g + 42. Is 8 a factor of z?
False
Let s = -78 + 110. Does 4 divide s?
True
Let q = 196 + -101. Is 19 a factor of q?
True
Suppose -5*l + 4*z + 850 = 0, 2*l - 4*l - z = -353. Suppose 4*r - 5*x - 301 = 0, 3*x - l = -2*r - 29. Is 19 a factor of r?
False
Suppose 0 = -d + 3*s - 12, -5*d - 6*s + s = -20. Let y(k) = 2*k - 5*k + d + 13. Is 14 a factor of y(-9)?
False
Let o be -2 + -1 + 6/2. Suppose v + 74 = 5*b - o*v, -5*b = 4*v - 54. Is b a multiple of 11?
False
Let h(f) = 3 + 1 - f + 2*f + 1. Let p be h(-3). Suppose -p*x + 115 = 29. Does 11 divide x?
False
Let f(q) = 50*q**2 + 2*q - 3. Is f(1) a multiple of 28?
False
Let u(x) = -x**3 + 4*x**2 - 5*x + 4. Let b be u(3). Suppose 0 = m + 5 - 2, -2*s - 6 = 2*m. Does 17 divide s - -16 - 2/b?
True
Suppose 5*q - 20 = 0, -5*z + 4*q + 1 = 22. Let f = 3 + -4. Does 4 divide 4 - (f + z + 2)?
True
Let z(y) = 1 - 4*y - 2 + 0 + 3. Is 7 a factor of z(-3)?
True
Is 14 a factor of -6*(-4)/16*26?
False
Let d(a) be the second derivative of -3*a**5/20 + a**4/12 + a**3/3 + a. Suppose 0 = b - 2*z + 12, -z + 5 = 4*b + 8. Does 8 divide d(b)?
True
Suppose 3*f - 16 = 68. Is f a multiple of 6?
False
Is 21 a factor of ((-50)/6)/((-5)/30)?
False
Let t(q) be the second derivative of -7*q**3/6 - q**2/2 - 8*q. Is 9 a factor of t(-2)?
False
Let s = 8 - 3. Suppose 2*t - q - 80 = 0, -218 = -5*t + 3*q - s*q. Is 21 a factor of t?
True
Suppose 356 = 4*a + 56. Let b be a - (1*-2 + 3). Let g = b - 51. Does 23 divide g?
True
Suppose -3*l = 2*l - 20. Suppose -34 = -l*f - 5*i, 2*f + 6*i - 2*i - 20 = 0. Does 3 divide f?
True
Let c = 45 + -28. Let o(s) = 4*s**3 - 5*s**2 + 4*s - 2. Let g be o(3). Suppose -d - f = -c, 5*d - g = 4*f - 5*f. Is 12 a factor of d?
False
Suppose 5*m + 5*g - 250 = 0, 5*g = m + 27 - 101. Is m a multiple of 7?
False
Let h be ((-450)/(-12))/(6/8). Does 10 divide (1 - (-2)/(-10))*h?
True
Suppose -v - 2*v + 2*a + 4 = 0, -v = 3*a - 5. Is (6/3 + 2)/v even?
True
Let w = -9 + 6. Is -15*(w - 39/(-15)) a multiple of 4?
False
Suppose 0 = -3*l - 2*v + 56, -l + 20 = 3*v - 8. Suppose 4*b - 4*p + 8 = 0, 3*p = -2*b - 0 + l. Is 5 a factor of (b + -3)*(-10)/2?
True
Suppose 4*c + 5*t - t - 52 = 0, c - 16 = -4*t. Is c a multiple of 6?
True
Suppose -4*y - 18 + 130 = 0. Is y a multiple of 14?
True
Let z(s) = -s + 27. Is 36 a factor of z(-11)?
False
Let p = -24 + 92. Does 16 divide p?
False
Is (-5)/(-5) + (-3 - -2 - -95) a multiple of 18?
False
Let d(s) = 4*s + 3. Let w be d(-2). Does 4 divide (-3)/2*20/w?
False
Let k(x) = -x**3 - 3*x**2 + 4*x + 3. Let b be k(-4). Let m(j) = 7*j**2 - j + 2. Let r be m(-2). Suppose w = r - b. Is 15 a factor of w?
False
Let f be (-20)/(-3)*(-6)/4. Let r = 14 + f. Suppose -r*s - 7 + 79 = 0. Is s a multiple of 9?
True
Let d(v) = v**2 + 10*v + 2. Is d(-11) a multiple of 13?
True
Let c = 3 - 2. Suppose -3*z - v = -13 + c, 4*z - 3*v = 16. Does 14 divide (-1)/(-1) + 108/z?
True
Let f(u) = -u**3 + 12*u**2 + 14*u - 6. Is 2 a factor of f(13)?
False
Suppose 0 = -2*t - 0*t + 18. Suppose -3*h - t = -135. Is 14 a factor of h?
True
Suppose g = -q + 103, -3*g + 3*q - 99 = -4*g. Suppose -3*l 