pose 3*t - 3*w - 169 + 49 = 0, -4*w = 2*t - 110. Does 3 divide t?
True
Suppose 0*k - 5*k - 15 = 0. Let h(c) = 3*c**2 + 3*c + 3. Let p be h(k). Let g = p + 7. Does 15 divide g?
False
Let o(y) = y**2 - 2*y - 5. Let m be o(5). Let w = 30 - m. Is w a multiple of 10?
True
Suppose 3*a + 4*c = -12, 7 = -3*c - 2. Suppose 0 = 2*m - a*m - 16. Is 5 a factor of m?
False
Let o = -13 - -79. Does 32 divide o?
False
Let y(l) = -3 + 14*l - l**2 - 5 - 1. Is 13 a factor of y(6)?
True
Let k = 44 + -23. Is 7 a factor of k?
True
Is 1 + -1 - (-2 - (-315)/(-3)) a multiple of 12?
False
Let u be ((-6)/15)/((-3)/15). Suppose -w + 18 = -v - v, 36 = u*w - 2*v. Is 6 a factor of w?
True
Let v(t) = 2*t**2 - 18*t + 20. Does 10 divide v(10)?
True
Let n(s) = 3*s**2. Suppose -2*f - 3 = 3. Does 9 divide n(f)?
True
Let z = -23 - -118. Is z a multiple of 19?
True
Suppose -3*u - 5 + 2 = 0. Is (u + -15)/(-4 + 2) a multiple of 4?
True
Let h be -3 + -3*(-3 - -1). Suppose -3*o + 7 = 2*u - 1, -4*u + 16 = h*o. Is 13 a factor of u/16 + (-158)/(-8)?
False
Suppose -5*n + 10 + 5 = 0. Suppose n*q + 0 = 165. Is 11 a factor of q?
True
Let a(h) = -h**3 + 7*h**2 - 4*h - 6. Let p be a(6). Suppose -w = -p*w + 100. Is 10 a factor of w?
True
Suppose x + p - 14 = 0, 6 = -p - p. Is 3 a factor of x?
False
Let p(y) = y**2 - 6*y - 6. Let a be p(7). Is 4 a factor of 7 - (-2 - a*-2)?
False
Suppose -38 = -3*b + 25. Is 21 a factor of b?
True
Is 19 a factor of ((-342)/30)/(1/(-5))?
True
Suppose -y + 2*k = -8, 0*y - 8 = -y + k. Is 4 a factor of y?
True
Let m be (-1)/3 + (-398)/(-6). Let s = m - 47. Suppose 0 = -b + 7 + s. Does 13 divide b?
True
Suppose 31 = 2*b + 5*k, 5*k - 11 = -4*b + 26. Suppose -2*l = -3*s - 39, l + 3*l + b*s - 51 = 0. Is l a multiple of 5?
True
Let n(h) = -3*h + 3. Let o be 2/(-1 + 2) + -9. Is n(o) a multiple of 13?
False
Suppose 0 = -4*y - 3*i + 5 - 0, 4*y - 2 = -2*i. Let u be y*(-28 - (-1 - 0)). Suppose -o = -2*k + u - 1, 0 = 3*k - 5*o - 46. Is k a multiple of 12?
True
Suppose 0 = -5*w + 5*j + 495, 0 = 3*w + 5*j - 100 - 205. Suppose -i = -6*i + w. Suppose 5*t - 5*x - 95 + i = 0, 4*t + 4*x - 20 = 0. Does 5 divide t?
True
Let p(v) = -4*v - 2. Suppose 5*n + 3*j = -2*j - 15, -2*n + 2*j - 14 = 0. Is p(n) a multiple of 5?
False
Suppose 10*w - 15*w = -810. Is 27 a factor of w?
True
Let j = 54 + -36. Suppose -2*s = -4*t - j, 3 = 5*t - 2. Is s a multiple of 11?
True
Let t(w) = -9*w + 8. Let a be t(7). Let c = a - -100. Is 15 a factor of c?
True
Suppose -8 = -v - 0*v. Let p = v + 3. Is p a multiple of 11?
True
Let s(o) = -37*o - 2. Let n be s(3). Let a = n - -78. Is 13 a factor of (-1130)/a - (-4)/(-14)?
False
Let t(u) = 27*u**3 - u. Let r(x) be the third derivative of x**5/60 + x**4/4 + x**3/6 + x**2. Let c be r(-6). Is 13 a factor of t(c)?
True
Let a be (-12)/(-6) - (-13 - -1). Let u = 4 + a. Is 11 a factor of u?
False
Let l be 70/21*(-348)/10. Is 3 a factor of 2/(-8) + l/(-16)?
False
Suppose 4*u = r - 9, 4*u + 30 = -0*r - 2*r. Let z be 28/(-42) - (-197)/3. Is 8 a factor of 2/(-7) - z/r?
False
Let p be (-7)/28 - 158/8. Let x be 2/6 + p/(-12). Is 6 a factor of (1 - x)*(1 + -14)?
False
Suppose -3*h + 124 - 40 = 0. Does 7 divide h?
True
Let n be (0*2/(-4))/2. Let z = n - -8. Does 5 divide z?
False
Let g(v) = -v**3 + 19*v**2 - 10*v + 41. Does 37 divide g(18)?
True
Let b(p) = -7*p + 4. Does 7 divide b(-3)?
False
Let r = -197 - -305. Suppose -2*j + 3*m + r = 0, -8*j + 216 = -4*j - m. Is 27 a factor of j?
True
Let d(l) = -l**3 - 8*l**2 - 6*l - 1. Is 30 a factor of d(-9)?
False
Suppose -4*p + 4*o - 45 + 137 = 0, -2*p = o - 43. Let x = p - 7. Is 15 a factor of x?
True
Suppose 0 = -5*d + 93 - 3. Let h be (-6)/(-2*2/d). Suppose 10 - h = -g. Is 17 a factor of g?
True
Let w(n) be the third derivative of -n**4/4 + 2*n**3/3 - n**2. Does 9 divide w(-4)?
False
Let s = -126 - -176. Is 14 a factor of s?
False
Let f(b) = -b + 12. Let r be f(0). Suppose -i - r = -5*i. Suppose -2*g + g - 13 = -4*p, -i*g = -2*p + 9. Does 3 divide p?
True
Let k be 42/4*(-3 + 5). Suppose -4*o - 24 = -4*a, -a - k = 4*o - 7. Let q = 4 - o. Is q a multiple of 4?
True
Let o be (-1)/(2*(-3)/18). Suppose 6*d - d - 75 = o*i, -4*i = -5*d + 75. Is 7 a factor of d?
False
Let u(r) = r**2 + 5*r + 3. Suppose -2*o + 11 = -o. Let m be 8/4 + (-1 - o). Does 18 divide u(m)?
False
Suppose -3*g + 5 = -2*m - 2, -5*g = 2*m - 33. Let k = g + 2. Is 5 a factor of k?
False
Let k(a) = 6*a**3 - a + 1. Let d be k(1). Let h = d + -3. Suppose -h + 28 = j. Does 7 divide j?
False
Let r be (-5 - 1)/(1 - 0). Let o = 4 + r. Let l = 25 + o. Does 12 divide l?
False
Suppose 4*f = -s + 3*s + 80, -2*f = 2*s - 46. Is 4 a factor of f?
False
Suppose 4*p - 16 = 4*t, p = -p - 5*t - 6. Suppose -a + 9 + p = 0. Is a a multiple of 11?
True
Is 2 a factor of (-4)/8*0 + 1*8?
True
Let x = 330 + -217. Suppose x - 33 = 5*i. Is i a multiple of 8?
True
Suppose -14*t + 185 = -389. Is t a multiple of 6?
False
Let d = -39 + 73. Is d a multiple of 9?
False
Suppose 5*l - 222 - 78 = 0. Is 1776/l - 2/(-5) a multiple of 10?
True
Let i(n) = 2*n + 1 + 1 + n - 1. Is 6 a factor of i(5)?
False
Suppose -2*x - 3*v - 177 = -5*x, 4*v = 16. Is x a multiple of 14?
False
Let u(n) = n**2 - 2*n - 3. Let z be u(-2). Suppose z*m = -3 + 33. Is 6 a factor of m?
True
Suppose 3*h - 97 = 119. Suppose x = p + 9, -2*x - h = -7*x - 4*p. Is x a multiple of 6?
True
Let h be (1 + 0)/((-4)/12). Let w be -1 + (2 - -106)/h. Let s = w - -70. Is s a multiple of 13?
False
Let h = 72 + 22. Let z = h + -67. Does 17 divide z?
False
Suppose -3*n = 3*y - 12, -7*y + 3*y + 19 = 5*n. Is 2 a factor of ((-1)/2)/(y/(-10))?
False
Suppose -91 = 9*s - 10*s. Does 27 divide s?
False
Let j = 12 - 2. Does 8 divide (32/j)/(2/10)?
True
Let s(y) be the second derivative of y**4/6 + 4*y**3/3 + 4*y**2 + y. Is s(-7) a multiple of 10?
True
Let q = -15 + 17. Suppose q*m = 4 + 80. Is 21 a factor of m?
True
Suppose -5*u + 5*d = -10, 12 = 4*u - d - 2. Suppose u*h - 111 = h. Suppose 0 = -5*g + 2*t - t + h, -5*t = -g - 7. Is 4 a factor of g?
True
Suppose 0 = -5*k + k. Suppose k = -u + 11 + 1. Is 12 a factor of u?
True
Let g be -8*(15/6 - 2). Let k be 30/40 + 423/g. Is k/(-10)*(-4)/(-3) a multiple of 5?
False
Let s(r) = 5*r - 3. Let d be 4/(-2)*(-6)/4. Suppose 2*c = -d*c + 15. Is s(c) a multiple of 6?
True
Let m = 32 - 8. Is 19 a factor of (282/m)/(2/8)?
False
Suppose 0*o - 32 = -4*o. Let m = 44 - 38. Suppose o = 3*b - r, 4*b - 2*r = 9*b - m. Is b a multiple of 2?
True
Suppose n + 15 = -0*n. Let h = n + 29. Does 7 divide h?
True
Suppose -9 = -0*j - 3*j. Suppose r - j - 7 = 0. Does 10 divide r?
True
Suppose 2*z = 7*z. Is 6 a factor of (2 + 18)/(z - -1)?
False
Let l(f) = -50*f**3 - 2*f - 1. Let x be l(-1). Suppose 4*g + 36 = -0*c + 2*c, 0 = 4*c - g - x. Is 6 a factor of c?
True
Let x = 3 - 6. Let v be x + 3/((-6)/76). Let n = -5 - v. Is n a multiple of 12?
True
Let f = 361 + -256. Let y = f + -49. Is y a multiple of 14?
True
Let q = 4 - -5. Let z be (-10)/10 - (1 + 2)/1. Does 12 divide (q/z)/(15/(-200))?
False
Let c be -63 + 1 + 0 + 1. Let k = c + 101. Suppose r + 0*r = k. Does 20 divide r?
True
Suppose f = 4, -2*l - f + 4 + 8 = 0. Suppose -3*d + 11 = l*g, -2 = d - 3. Suppose 5*k = 2*o + 43, k - g*k + 4*o + 5 = 0. Is 7 a factor of k?
False
Suppose -2*h = -0*b - b - 102, -3*b = 4*h - 184. Does 13 divide h?
False
Let l = -85 + 95. Does 4 divide l?
False
Suppose 1 = 4*q + 5. Let r = q - -4. Suppose -r*b + 2*f + 21 = 0, 5*b - 5*f - 10 = 25. Is 7 a factor of b?
True
Suppose -2*h + 20 + 12 = 0. Does 4 divide h?
True
Does 3 divide (-4)/(3/(-27)*4)?
True
Let k = -2 + 7. Suppose -k*c - 4 = z, c + 1 = -3*z - 11. Suppose c = 2*x - 92 - 8. Is 25 a factor of x?
True
Suppose -2*l + 4 = b, 4*b - 4*l = -9*l + 31. Is 14 a factor of b?
True
Suppose 0 = 3*l - 8*l + 170. Let o be (-1 + -1)/(4/(-6)). Let t = l - o. Is 12 a factor of t?
False
Suppose 0 = y - 5*y + 48. Suppose g - y = 5*g. Let a(b) = b**2 + 2. Does 6 divide a(g)?
False
Suppose 4*q - 1 = 5*z + 2, 4*z + 6 = 2*q. Let j = z - -5. Does 13 divide 1*18*3/j?
False
Let a(f) be the second derivative of f**3/2 - f**2 - f. Let w be a(2). Suppose w*k = 5*k - 13. Is 13 a factor of k?
True
Let m = -47 + 95. Let o = m - 16. Is 11 a factor of o/5*(-5)/(-1)?
False
Let k = -7 + 4. Is 15 a factor of (k - 12)*(1 - 4)?
True
Let k(u) = u**3 +