Suppose 5*q - 4*w - 455 = 0, -455 = 3*q - 8*q + w. Is 7 a factor of q?
True
Suppose 12*l - 11*l = 209. Is 10 a factor of l?
False
Suppose -3*o - 30 - 109 = -g, -g - 137 = 3*o. Let r = 97 + o. Is 13 a factor of r?
False
Let z(o) = -o**3 + 3*o**2 + 2*o + 2. Let x be z(3). Does 12 divide (-106)/(-3) - x/(-12)?
True
Let u(j) be the third derivative of -j**6/120 - j**5/120 - j**4/8 + 4*j**2. Let w(s) be the second derivative of u(s). Is w(-1) even?
False
Let m = 116 - 83. Is m a multiple of 19?
False
Is 46 a factor of (69/(-4))/((-27)/72)?
True
Suppose 0 = 4*h - 4*w - 32, -5*w = -12 + 2. Let l = 35 - 19. Let m = l - h. Does 6 divide m?
True
Let w(o) = 24*o - 20. Let a(g) = -8*g + 7. Let x(v) = 8*a(v) + 3*w(v). Is 22 a factor of x(6)?
True
Let q(y) = 2*y. Let k be q(4). Let w be 4/k*1*-6. Is 4 - 2*(-3)/w even?
True
Let u(c) = -5*c - 4. Is u(-14) a multiple of 22?
True
Let s(w) = w**2 + 19*w + 39. Is s(-19) a multiple of 13?
True
Let w(z) = -7*z**2 - 2*z - 4. Let g(f) = 8*f**2 + f + 3. Let p(l) = -6*g(l) - 7*w(l). Is 4 a factor of p(-8)?
False
Suppose 2*b = l - 17, 4*b + 51 = 3*l + 5*b. Does 5 divide l?
False
Let a(g) = -g**3 + 8*g**2 + 25*g - 16. Is 17 a factor of a(10)?
True
Suppose -3*d + 3*c = -258, 4*c - 160 = -0*d - 2*d. Suppose -4*v + d = -0*v. Is v a multiple of 7?
True
Suppose 0*u = -2*u + 54. Does 9 divide u?
True
Suppose -2*m + 4*v + 84 = -178, 0 = -m + 5*v + 143. Is 11 a factor of m/12 + (-3)/(-4)?
True
Let b(a) = a**3 + 5*a**2 - a - 4. Let d be b(-5). Let g be (24*8)/d - -3. Suppose -6*i + i = -g. Does 23 divide i?
False
Suppose -10*m + 6*m + 296 = 0. Is 37 a factor of m?
True
Let j(t) = 6*t**2 - t. Let y be j(1). Suppose 4*h - y - 7 = 0. Is 3 a factor of h?
True
Let l = -110 + 126. Does 4 divide l?
True
Suppose n - 20 = 4*s, 5*n - 16 = -0*n - s. Suppose 5*h = r + 61 + 25, -n*h - 4*r = -88. Does 3 divide h?
True
Let j = 142 - 43. Is 11 a factor of j?
True
Let a = -29 + 13. Let d = -11 - a. Suppose 0*t = 2*p - 4*t - 4, -2*t - 42 = -d*p. Is p a multiple of 8?
False
Suppose 0 = -2*z + 3 - 49. Let t = z - -33. Is t a multiple of 10?
True
Suppose 4*t + t + 5*i - 5 = 0, -t + 4*i = -21. Let u(s) = 18 - 12 - 11 + 2*s. Does 5 divide u(t)?
True
Let q(i) = i**2 + 28. Let w be q(0). Let b = 7 - 4. Suppose w + 47 = 5*x - 3*s, 45 = b*x - 5*s. Is 10 a factor of x?
False
Let g(s) be the third derivative of s**6/120 - s**5/12 - 5*s**4/24 + s**3 - 10*s**2. Is 3 a factor of g(6)?
True
Let n = 10 + -17. Let d(f) = -6*f - 6. Is d(n) a multiple of 12?
True
Let b = 5 + -6. Does 9 divide ((-14)/5)/(b/5)?
False
Suppose -15 - 115 = -5*w. Does 13 divide w?
True
Let d(t) = t + 8. Let q(w) = 2*w + 15. Let i(z) = -10*d(z) + 6*q(z). Does 7 divide i(7)?
False
Suppose -36*i - 120 = -39*i. Is i a multiple of 5?
True
Suppose 4*y + 6 = y, 4*y + 10 = c. Suppose 0*l = 2*l. Suppose 50 = 5*m + 2*g, l*m - 5*g + 20 = c*m. Is m a multiple of 7?
False
Let y(v) be the first derivative of 7*v**2/2 + 2*v - 2. Let r(g) = -50*g - 15. Let t(p) = -2*r(p) - 15*y(p). Is 15 a factor of t(-6)?
True
Is 50 - -3 - 2*1 a multiple of 39?
False
Let y(u) = -u + 2. Let f(l) = 2*l - 4. Let c(p) = 3*f(p) + 7*y(p). Is c(-10) a multiple of 6?
True
Suppose -19 = -2*z + 3*z. Let k = -10 - z. Is k a multiple of 9?
True
Let r(o) = o**2 - 3*o - 7. Let w be r(5). Suppose -x + w*x = -i - 75, -3*x + i - 125 = 0. Let c = -12 - x. Is 14 a factor of c?
True
Suppose -i + 3*h = -32, -4*i - 4*h + 0*h = -192. Suppose s + s = i. Is 11 a factor of s?
True
Let n = -1 - -3. Let o(x) = 34*x**2 + x - 1. Let t be o(1). Suppose -t + 102 = 3*f + n*c, 0 = -f - 5*c + 14. Is 8 a factor of f?
True
Suppose -4*w + 93 = h, 2*w = -w - 3*h + 72. Does 5 divide w?
False
Suppose -3*d + 0*d + 105 = 0. Let k = 8 - 6. Suppose -k*t - 15 = -d. Is 10 a factor of t?
True
Let h(a) = 3*a + 10. Let b(q) = 3*q**2 + 9*q - 2. Let t be b(-4). Is h(t) a multiple of 9?
False
Does 8 divide 2/((-6)/16 + 2/4)?
True
Suppose -11*v - 100 = -16*v. Is v a multiple of 6?
False
Suppose 2*u = -5*s + 228, -2*s = -s + u - 48. Let x = 7 - 4. Suppose x*t - 2*h - s = 27, -4*t + 91 = h. Does 17 divide t?
False
Let q(x) = 2*x**2 - 7*x + 4*x**2 + 3 - 5*x**2 + 2. Does 13 divide q(9)?
False
Let b be -1 + 0 - 51/1. Suppose 0 = -3*t - 5*q - 117, -3*t = -t - 2*q + 62. Let k = t - b. Is k a multiple of 6?
True
Let d(b) = -4 - 4*b + 0 + 0*b + 1. Does 11 divide d(-9)?
True
Let h(k) = -24*k + 1. Let s(v) = 121*v - 4. Let c(q) = -11*h(q) - 2*s(q). Does 30 divide c(3)?
False
Let m(p) = -9*p + 3. Let b be (0 + -5)*16/20. Is 13 a factor of m(b)?
True
Let o be 7/2*(-4 + 18). Is 6 a factor of o/(-7)*(-12)/14?
True
Let u(l) be the second derivative of l**4/12 + l**3/6 + 3*l**2/2 + 2*l. Let k be u(0). Suppose 47 - 119 = -k*s. Does 12 divide s?
True
Does 15 divide ((-2)/4)/((-10)/1200)?
True
Let o = -180 + 102. Let d = -11 - 43. Let x = d - o. Is x a multiple of 13?
False
Suppose 1493 = 11*y + 118. Does 14 divide y?
False
Let o(j) = j + 2. Let x be o(0). Suppose -c + 9 = x*c. Suppose 3*y = q + c*q + 143, -2*y = 4*q - 82. Is y a multiple of 13?
False
Suppose -35 = -c - 4*n, -3*n + 0 = -6. Is c a multiple of 9?
True
Is -1 - (4/10 - (-1048)/(-20)) a multiple of 3?
True
Is 44 a factor of (-660)/(-9)*(-8 + 11)?
True
Suppose 4*u - 288 = -8*u. Is u a multiple of 12?
True
Let x = -19 - -369. Is 16 a factor of x?
False
Suppose -4*g = -4 - 4. Let c be g - (-3 + -1)/2. Suppose -5*n + 32 = 4*o, 2*n + 0*o + c = 4*o. Is n a multiple of 4?
True
Suppose 5 + 34 = 3*m. Does 13 divide m?
True
Let i = -19 - -27. Suppose o = -i - 0. Is -3*(3 - o/(-2)) a multiple of 2?
False
Let s = -2 - -2. Suppose g = -l - 4*l + 12, -4*g - l + 10 = s. Suppose 0 = g*w - 101 - 11. Does 20 divide w?
False
Let n(m) = m - 2. Let i be n(5). Suppose -d - 2*d = x - 47, 2*d - i*x = 24. Does 5 divide d?
True
Suppose -3*v = 36 - 132. Does 8 divide v?
True
Let b(w) = -w**3 - 16*w**2 + 13*w + 4. Does 4 divide b(-17)?
True
Let w be 4/(-3 + 8 + -3). Suppose 2*v + 15 = 5*c, -w*v - 5*c + 30 = -v. Is 5 a factor of v?
True
Let k(f) = f**3 - 3*f**2 - 2*f + 3. Let o be k(4). Let d = 18 + -25. Let h = o - d. Does 10 divide h?
False
Let m(f) = 6*f**3 - 2*f**2. Let g be m(-2). Let n = -37 - g. Is 12 a factor of n?
False
Does 25 divide 1371/27 + -1 - (-22)/99?
True
Let j be 1/3*3 - -2. Suppose 3*a = -j*z - 3, -6*z + 2*z = 3*a. Let l(h) = -h**3 + 4*h**2 + 3*h + 3. Is 6 a factor of l(z)?
False
Let l(k) = 2*k**2 - 4*k. Let z be l(6). Suppose 5*m - z = 4*m. Does 12 divide m?
True
Let b(x) = -2*x - 16. Is 6 a factor of b(-14)?
True
Let r(p) = p**2 + 7*p + 5. Let x be r(-5). Let i = 5 + x. Suppose s = -i*s + 24. Does 12 divide s?
True
Suppose -21*l + 2960 = 314. Does 63 divide l?
True
Let x(s) = -s**3 + 9*s**2 - 4*s - 2. Is x(7) a multiple of 15?
False
Suppose 3*t - 278 = -44. Let z = t - 54. Does 12 divide z?
True
Suppose 0 = 4*p - 198 + 6. Suppose w - 35 = p. Is w a multiple of 30?
False
Let u be 114/4 + 1/2. Does 9 divide 0 + u + 5 + -7?
True
Let o = -3 - -7. Suppose -4*t = 2*c + 3*c + 15, 0 = -2*c - 6. Suppose -o*a - 183 = -5*j, -5*j + a + 0*a + 177 = t. Is 14 a factor of j?
False
Suppose 0*y + 2*y - 12 = 0. Suppose 0 = 3*t - y*t + 9. Is t a multiple of 2?
False
Suppose 4*g - 40 = 3*k, -2*g + 4*k + 23 = -g. Suppose -25 = g*p - 12*p. Is p a multiple of 2?
False
Let b be ((3 - 6) + 2)/1. Let o = b + 3. Is ((-1)/o)/((-1)/4) a multiple of 2?
True
Let z be 0/(3/3) - -4. Suppose -3*h = -3*u - h + 13, z*h - 7 = -5*u. Suppose u*g - 46 = 26. Is g a multiple of 8?
True
Let c(w) = -7*w. Does 21 divide c(-3)?
True
Let d(a) = a**2 + 4*a + 1. Let k be d(-4). Does 21 divide (2*-3)/(k/(-7))?
True
Suppose 5*n + 5 = -3*z - 0*n, -3*z + 2 = -2*n. Suppose z = 2*b + 2 - 110. Is 10 a factor of b?
False
Suppose 4*s = f - 14 - 5, 0 = -2*f + 5*s + 23. Let j be f*1 - 344/(-4). Suppose 0*u + 5*u = j. Is u a multiple of 11?
False
Let f(q) be the second derivative of -5*q**3/2 - 3*q**2 - 5*q. Is 13 a factor of f(-3)?
True
Suppose -5*w + w - 60 = 0. Let r(t) = t**3 + 14*t**2 - 15*t + 7. Does 7 divide r(w)?
True
Suppose 2*j = 2*k + 40, 110 = -0*j + 5*j + 5*k. Is j even?
False
Let g(x) = -7*x - 4. Let a(n) = -n - 3. Let s be a(4). Does 13 divide g(s)?
False
Let n = -37 - -98. Is n a multiple of 19?
False
Let t = 193 - 83. Is t a multiple of 23?
False
Let i(z) = -5*z**3 - 5*z + 1. 