 = 30 + -48. Let u = 21 + c. Is 7 a factor of -2 - u*(-1 - 2)?
True
Let l(w) = -4*w**3 - w**2 + 2*w + 2. Let c be l(-1). Does 46 divide (c/6)/((-7)/(-1932))?
True
Let w(k) = -6*k**2 + 2*k. Let g be w(1). Is 13 a factor of (-1)/(g/232*2)?
False
Suppose -36*r = -4*n - 33*r + 13, 4*r + 9 = -3*n. Let u be (-2)/(0 - 2/5). Suppose -u*a + 19 = -n. Is a even?
True
Let r(w) = -w**3 + 6*w**2 + 10*w - 7. Let f be r(8). Does 6 divide (3/(-12)*-4)/((-1)/f)?
False
Let i(q) = q**2 - q - 2. Let h be i(-4). Let t(d) = -17*d - 25. Let w be t(-11). Is 7 a factor of 256/h + (-36)/w?
True
Let k be (-400)/(-75)*6/8*-2. Let o(s) = 4 + 5*s**2 - 4*s**2 + 1 + 7*s. Is 3 a factor of o(k)?
False
Suppose 16*m = 9549 + 21027. Is m a multiple of 16?
False
Let v be (4/(-10))/(2/(-10)). Suppose -2*s + 81 = -u, -v*u = 4*s - u - 147. Suppose 69 = 5*y - b, 5*y - 33 = -b + s. Is 3 a factor of y?
False
Suppose -2*f = -3*f - 5, -w = -f - 14. Is 8 a factor of w/15 + (-574)/(-35)?
False
Let x(z) be the third derivative of z**5/60 - 13*z**4/24 - 2*z**3/3 - 3*z**2. Is x(14) a multiple of 5?
True
Let b be (-6)/(-6)*1/(-1). Let h be (-2)/(0 - b) + -26. Is 12 a factor of (h/12)/((-2)/30)?
False
Let r = 158 - 128. Is r a multiple of 15?
True
Suppose 0 = -2*v - z + 307, 7*v - 3*z = 3*v + 599. Suppose -2*p = -2*t + v, -3*t + p + 400 = 2*t. Is 27 a factor of t?
True
Suppose 62*r + 15*r - 54131 = 0. Is 31 a factor of r?
False
Suppose -x + 1 = -3. Suppose 2*g - 128 = f, 0 = -2*g - f - x*f + 128. Is 20 a factor of g?
False
Suppose 0 = 5*f - 6*f + 576. Is 31 a factor of f?
False
Let q(r) = r**3 + 24*r**2 - 30*r - 80. Does 37 divide q(-23)?
False
Suppose -1741*j + 1740*j = -1017. Is 19 a factor of j?
False
Let z(t) = 2*t**3 + 15*t**2 - 6*t + 14. Let v be z(-8). Suppose 6 = -2*m + 120. Is 18 a factor of m - (5 + v + 0)?
True
Let l(q) = q**2 + 12*q + 3. Suppose 3*o + 3*x + 42 = 0, 2*o - 3*o - 8 = -2*x. Let r be l(o). Does 2 divide (4 - r)/(2/4)?
True
Is 6 a factor of 1404/(4 + 0) + -1 + 4?
True
Let j = -66 - -78. Suppose 0 = -j*h + 20*h - 376. Does 6 divide h?
False
Let c(u) = 2*u**2 - 6*u - 4. Let s be (-130)/(-14) - 4/14. Is 26 a factor of c(s)?
True
Suppose 34*i - 2*j = 39*i - 9407, 0 = 3*i + 3*j - 5646. Is i a multiple of 57?
True
Let k = 227 + 168. Is k a multiple of 10?
False
Let z = 66 + -4. Suppose -o - 4*o = -a - 25, -5*a + 4*o = z. Let f = a - -28. Is f a multiple of 9?
True
Suppose -2839 = 13*x - 14123. Is 14 a factor of x?
True
Let d = -114 - -118. Suppose d*r = 133 + 435. Does 16 divide r?
False
Let s = 372 + 8. Is s a multiple of 19?
True
Let a(s) = s**2 + 8*s + 1. Let y be a(-7). Let r(o) = -2*o**3 - 10*o**2 - 6*o + 12. Does 10 divide r(y)?
True
Let r be ((-24)/18)/(1/(-3)). Suppose -r*c = c + 40. Is 12 a factor of -12*(-4)/c*-6?
True
Let j = -31 - -139. Is 9 a factor of j?
True
Let j be -30 - (8*(-5)/10 - -3). Let b be 1*16*3/(-4). Does 24 divide j/(b/(-8) - 2)?
False
Let c = 42 + -73. Let h = c + 63. Is h a multiple of 4?
True
Let r(q) = q**2 - 1. Let b be r(-2). Suppose -j - 5*v + b*v - 7 = 0, 4*v = 4*j - 20. Let m = j + 23. Is 9 a factor of m?
False
Let t = 5 - 2. Suppose t = 4*k - 5. Suppose -3*f = 5*j - 118, k*f - 3*f = -5*j + 134. Is 17 a factor of j?
False
Suppose 17*b = 21*b + 360. Is 15 a factor of (18/12)/((-1)/b)?
True
Let c = 2 - -30. Suppose p - 3*p + c = 2*w, 0 = -4*p. Is 5 a factor of w?
False
Let s = 210 - 69. Let y = s - 67. Is 25 a factor of y?
False
Suppose -3*c = -0*c - s - 14, 5*s + 19 = -2*c. Suppose 4*q = 5*q - c. Let t = 12 + q. Does 5 divide t?
True
Let g = -2518 + 1314. Let z be 5/(-15) + g/6. Let y = -142 - z. Is 23 a factor of y?
False
Let q = 1995 + -1444. Is q a multiple of 7?
False
Suppose -4*k = -4*o - 1 - 31, 0 = 4*k - o - 17. Let t(c) = c**3 - 3*c**2 + 6*c - 6. Is t(k) a multiple of 4?
True
Let k be (-1)/(-2 + (-50)/(-26)). Suppose -p = -r + k, -2*p - 3 = -p. Suppose -34 = -3*c - l - 3*l, 0 = -2*l - r. Does 18 divide c?
True
Let k(q) = -36*q - 160. Does 7 divide k(-6)?
True
Let k be (-1)/(3*1/(-9)). Suppose 2*i + n - 39 = 101, 0 = -k*i + 5*n + 236. Is i a multiple of 16?
False
Let b(q) = q**3 - 8*q**2 + 28*q + 12. Is b(10) a multiple of 12?
True
Suppose 5*y - 5*u + 14 = -2*u, -2*u - 24 = 5*y. Let h = 36 - y. Is 8 a factor of h?
True
Suppose -5*z = -0*d + 4*d - 23, 4*z - 4 = 4*d. Suppose 0 = -d*o + 5*o + 63. Let x = 19 - o. Does 10 divide x?
True
Suppose 5*h - 36 = -c, h + 57 = 5*c - 97. Is 4 a factor of c?
False
Suppose -z - 479 = -3*k, 4*k + 4*z + 118 = 762. Suppose 7 - 1 = -3*i, 14 = o - 2*i. Suppose -y - y = o, 2*y + k = 5*p. Does 10 divide p?
True
Suppose n + 3*n - 12 = 0. Suppose -j + 7 = n. Suppose -j*p = -5*p + 11. Is 3 a factor of p?
False
Let o be (-2*7/(-14))/((-1)/(-5)). Suppose -o*t - 208 = -728. Is t a multiple of 26?
True
Let v = 926 + -296. Is v a multiple of 15?
True
Suppose -3*d + 12 = -0. Suppose -5*r - 55 = -5*b, -d*b + 3*r = -16 - 27. Suppose i = 36 - b. Does 13 divide i?
True
Let a(h) = h**2 + 13*h - 6. Let u be a(5). Let l = u + -48. Is 4 a factor of l?
True
Suppose 0 = 2*g + 3 - 1. Let x be ((-12)/(-4) - 3)/g. Suppose x = -5*w + 4*f + 243, -5*w - f + 258 = -0*f. Is 17 a factor of w?
True
Let y(u) = -2*u**3 + 36*u**2 - 10*u + 40. Does 18 divide y(16)?
False
Let a be (1 + -2)/(1/18). Let d = a - -23. Suppose -d*t + 165 = -2*u - 3*u, 2*u + 38 = t. Is 13 a factor of t?
False
Let k = 260 - 133. Suppose -2*m = 5*h - 672, 2*h - 153 = 2*m + k. Does 17 divide h?
True
Let d = -38 - -33. Let w(k) = -k**3 - 3*k**2 - k - 1. Does 9 divide w(d)?
True
Let b = 886 - 371. Does 3 divide b?
False
Suppose -1122 = -3*b - 3*w, -1140 = -9*b + 6*b + 3*w. Is 34 a factor of b?
False
Is ((-6)/9)/((-22)/12012) a multiple of 14?
True
Suppose 4*l - 1785 = 4*w + w, 0 = -l - 4*w + 420. Does 44 divide l?
True
Is 44 a factor of ((-2)/(-4) - 75/30) + 220?
False
Suppose 50 = -x + 121. Is x/1 - -2*1/2 a multiple of 18?
True
Let o = 39 - -1. Suppose -o*d + 476 = -36*d. Is d a multiple of 14?
False
Suppose 0 = -5*q + 3452 - 867. Does 47 divide q?
True
Suppose 0 = -p - 0*p. Let t = 1 + p. Let a(g) = 5*g**3 + g**2 - g + 1. Is a(t) a multiple of 6?
True
Let t be 7/3 + 38/57. Let i(x) = 4*x**2 + 8*x - 22. Does 2 divide i(t)?
True
Suppose 502*r = 501*r + 1102. Is r a multiple of 38?
True
Suppose 9*q = -9*q + 36. Let s be (-2 - -2) + 2 - -1. Suppose -5*l + 5 = -0*g - 2*g, -s*g = q*l - 40. Is g a multiple of 7?
False
Let n(q) be the third derivative of q**5/60 + q**4/8 - 4*q**3/3 - 4*q**2. Let t be n(-6). Suppose -8*d = -t*d + 68. Does 15 divide d?
False
Let c(w) = -15*w + 243. Let k(x) = -10*x + 162. Let n(t) = 5*c(t) - 7*k(t). Let f(m) = -m + 20. Let b(u) = 9*f(u) - 2*n(u). Does 7 divide b(-11)?
True
Let l = -14 - -20. Suppose 0 = 3*m + 7*m - 80. Is (l/m)/(8/192) a multiple of 9?
True
Suppose -10*m = -0*m - 160. Let x = 64 - m. Is 12 a factor of x?
True
Suppose 0 = -4*z + 3*y + 519, 8*y = -5*z + 9*y + 635. Is z a multiple of 6?
True
Let i(n) = n**2 + 2*n. Let o be i(-2). Suppose -2*c - h + 34 = c, o = 3*c + 4*h - 46. Is c a multiple of 3?
False
Suppose 0 = -52*o + 59*o - 13923. Is 11 a factor of o?
False
Let s(a) = a + 84. Suppose 2*u = -4*f - 6, -4*u - 12 = -f + 2*f. Does 21 divide s(f)?
True
Let l be (-1)/3 - (-3)/9. Let b(m) = m**3 - m**2 + 12. Let z be b(l). Is 13 a factor of (-518)/(-12) - 2/z?
False
Suppose -5*r + 6 = -2*r, 5*f - 4*r - 792 = 0. Let w = 363 - f. Is 29 a factor of w?
True
Let w = 453 - 285. Is w a multiple of 14?
True
Let r be (-4 - (-14 + 3)) + -4. Suppose -4*l + l = -r*b + 99, -b + 53 = 4*l. Is 37 a factor of b?
True
Let s = 1025 + -187. Does 15 divide s?
False
Let n(k) = 14*k**2 - 2*k - 1. Let x be n(-1). Suppose 5*u + 4*o = 50, -u - 3*o = 5 - x. Is u a multiple of 8?
False
Let a = 0 - 4. Does 18 divide (54/a)/((-6)/16)?
True
Suppose 6*a = -9*a + 4*a. Suppose a = -2*y - 3*z + 47, 105 = 6*y - 2*y - 5*z. Is y a multiple of 5?
True
Suppose 0 = 5*h - 10*h + 4*w + 517, 0 = -4*w - 12. Does 22 divide h?
False
Let h = 37 + -33. Suppose 0*q + h*q - f - 149 = 0, -2*f = -3*q + 118. Is q a multiple of 12?
True
Let o be (-2 + 1 - -2)*1. Suppose -9 + o = -4*s. Suppose 4*f = f - 4*g + 106, -3*f + 116 = s*g. Is f a multiple of 14?
True
Let s = 2537 + -1029. Does 116 divide s?
True
Suppose 0 = -0*o + 2*o - 8. Let t(j) = 2*j**2 - 37*j - 16. Let h be t(19). Suppo