pose 0 = -3*a + 5*i + 165, -3*i + 56 = a - 5*i. Is 10 a factor of a?
True
Suppose 4*x + 173 = -55. Let g = -21 - x. Is g a multiple of 12?
True
Suppose -2*p - d = -p - 47, -p + 41 = -2*d. Let w = p + -26. Suppose -3*c = -b - 12, 5*c - w - 8 = 4*b. Is c a multiple of 2?
False
Suppose 16 = -4*j, -5*j = -2*l + 6*l. Suppose 2*d - l*d = -99. Is 13 a factor of d?
False
Suppose -12 = -0*g - 3*g. Let v be (-3*1 - (-3 + 0))/(-1). Let o = g - v. Does 4 divide o?
True
Let h = -10 - -20. Let f = h + 15. Is f a multiple of 15?
False
Let i be (-99)/(-6)*8/2. Let v = i - -34. Suppose -85 - v = -5*o. Is 19 a factor of o?
False
Let c = 57 + -27. Does 10 divide c?
True
Is 7 a factor of -68*(4 + (-68)/16)?
False
Let a = 63 - 32. Suppose 3*q = -2*k + 114, -k + 46 + a = 2*q. Is 20 a factor of q?
True
Let d(k) = -35*k - 2. Let h(y) = -17*y - 1. Let w(o) = 6*d(o) - 13*h(o). Let n be w(-1). Let j = 26 + n. Does 7 divide j?
False
Let c(x) = 2*x - 4. Let t be c(4). Suppose 0 = t*q - 3*h - 29, q = -q - 5*h - 5. Does 5 divide q?
True
Suppose -6 = d + 3*n + 13, 5*d - 2*n + 44 = 0. Is 3 a factor of ((-5)/d)/((-2)/(-16))?
False
Suppose 5*z - 39 = -2*i, z + 0*z = 5. Suppose k - 2*l + i*l + 5 = 0, 0 = 4*k - 3*l - 95. Is 10 a factor of k?
True
Suppose -25 = 5*q - 0*q + 4*d, 9 = q - 2*d. Let l be ((-6)/(q + -2))/2. Let x = l - -14. Does 15 divide x?
True
Suppose 172 = -2*b + 70. Let n = 73 + b. Is n a multiple of 11?
True
Suppose 0 = -3*q + 2*q + 4*u - 6, 12 = 4*q + 2*u. Suppose 0 = 5*x, -q*h + x + 19 = -29. Does 12 divide h?
True
Let t = 14 + -11. Is t a multiple of 2?
False
Is 1 + 1 - 6/(24/(-652)) a multiple of 33?
True
Suppose -2*h + 140 = 2*h. Is h a multiple of 7?
True
Does 12 divide 43 + -3 + 4 + -4?
False
Let g(d) = 16*d**2 - 14*d**2 - d + 5*d - 5. Is 17 a factor of g(5)?
False
Let a(g) = 10*g**2 - 2*g - 4. Let l be a(3). Let p be 2/3 - 30/(-9). Suppose 0 = p*h + h - l. Is h a multiple of 16?
True
Is 15 a factor of 777/12 + (-4)/(-16)?
False
Let h(n) = n - 4. Let g be h(7). Suppose -5*r + 6 = -g*r. Suppose l + 62 = r*l. Is l a multiple of 15?
False
Let m be (-6)/(-15) - (-426)/10. Let c = -30 + m. Does 13 divide c?
True
Let v = 31 - -46. Is v a multiple of 11?
True
Suppose 0*j - 126 = -3*j. Is 21 a factor of j?
True
Suppose -5 = 4*d - 65. Suppose -2*t = -d - 47. Does 8 divide t?
False
Suppose 3*r + 5*k - 180 = 0, -197 = -3*r + 2*k - 17. Is 20 a factor of r?
True
Let l(p) = 6*p**2 + 6*p + 1. Let d(v) = 7*v**2 + 6*v + 2. Let w(j) = -4*d(j) + 5*l(j). Let n be w(-6). Let z = n - 22. Is 4 a factor of z?
False
Suppose 2*z - 32 = 60. Is z a multiple of 23?
True
Suppose 5*p - 71 = -2*y - 0*y, 2*y + p - 83 = 0. Is y a multiple of 6?
False
Let i(t) = -5*t**3 + 70*t**2 + 69*t + 100. Let n(g) = g**3 - 14*g**2 - 14*g - 20. Let q(y) = -2*i(y) - 11*n(y). Is 12 a factor of q(15)?
False
Let w(g) be the second derivative of -g**3/2 - 3*g**2/2 - 4*g. Is 4 a factor of w(-3)?
False
Let n(h) = -4*h**3 + 2*h**2 + 9. Let d(a) = -a**3 - a**2 - a + 1. Let v(y) = -y. Let c be v(5). Let k(w) = c*d(w) + n(w). Does 10 divide k(-6)?
True
Let y(i) be the second derivative of -i**3/2 - 6*i**2 + 7*i. Is y(-13) a multiple of 9?
True
Let q = -27 + 47. Let a = -21 - -3. Let z = q - a. Is z a multiple of 15?
False
Suppose -2*c + v + 10 = 0, 3*c - 6*v + 3*v = 15. Suppose 3*k - 2 = c*i, 2 = 2*i + 5*k - 22. Does 21 divide 9/i*(-28)/(-3)?
True
Suppose -5*s - 4 - 6 = 0. Let m be (s/(-4))/((-1)/(-6)). Suppose 4*x - m*x = 49. Does 17 divide x?
False
Suppose 3*c = 48 + 84. Suppose -5*j + 8 = -3*l, -l = -4*l + 4*j - 4. Suppose -a = -3*x + l*a + c, 2*a - 58 = -3*x. Is x a multiple of 18?
True
Let q = 287 + -203. Suppose q = -0*z + 2*z. Is z a multiple of 14?
True
Let m(w) = w**3 + 6*w**2 + 2*w - 10. Let z be m(-5). Suppose 0 = 2*a - 6 - 62. Suppose -z*i + 16 = -a. Does 6 divide i?
False
Let c(j) = 2*j + 10. Let p be c(-6). Is 6 a factor of (276/8)/(-3)*p?
False
Is 22 a factor of (48/9)/8 + (-1652)/(-6)?
False
Suppose -2*s + 3*b = -0*s - 39, -3*b - 21 = -s. Does 6 divide s/(-27)*(-8 - 1)?
True
Let r(k) = -k**3 + 6*k**2 + 3*k - 6. Let g(d) = -2*d. Let q be g(-3). Is 6 a factor of r(q)?
True
Let h = 80 + -57. Let b = h + 0. Let t = -13 + b. Is t a multiple of 10?
True
Suppose -6*p = -51 - 261. Does 10 divide p?
False
Suppose 2*v - 6*v = -480. Suppose z - v = -4*z. Suppose -2*m + 5*s = 2*s - 42, -m = -3*s - z. Is m a multiple of 17?
False
Let u be -2 + 17 + -1 + 2. Suppose 0 + u = 2*z. Is 8 a factor of z?
True
Let m = 8 - -22. Let a = 60 - m. Is a a multiple of 15?
True
Let a(h) = h**2 - 5*h - 21. Is 4 a factor of a(-7)?
False
Let a(j) = 3*j + 50. Is a(0) a multiple of 6?
False
Does 21 divide 6/(-8) + (-435)/(-20)?
True
Let g(y) = y + 3. Is g(4) a multiple of 7?
True
Suppose 0 = 9*m - 185 - 571. Is 28 a factor of m?
True
Let v(j) be the third derivative of -j**6/120 + j**5/10 + j**4/12 - 5*j**2. Is v(4) a multiple of 11?
False
Let k be 3 + (0 + -3)*1. Suppose 0 = 3*s - k - 6. Suppose -s*t - 56 = -4*t. Does 14 divide t?
True
Let g(h) = -h**3 - 8*h**2 - 7*h - 7. Let v be g(-6). Let d = v + 65. Let x = d + -15. Does 10 divide x?
False
Let r be (7 - 2)/((-3)/27). Let a = -3 - r. Is a a multiple of 21?
True
Let r(y) = 10 - 6*y - y**3 + y**2 - 4 + 7*y**2. Let j(p) = 6*p**2 - p. Let d be j(1). Is r(d) a multiple of 14?
False
Suppose 2 = 3*t - 4. Suppose f = -v + 5*f + t, -5*v + 29 = -f. Does 5 divide v?
False
Suppose -4*x + 267 - 75 = 0. Does 16 divide x?
True
Let q = 19 - 13. Let r(n) = 2*n + 2. Does 7 divide r(q)?
True
Let l = 12 + 30. Does 8 divide l?
False
Let j(f) = -f**3 + 7*f**2 + 2*f. Does 29 divide j(5)?
False
Suppose -5*u + 0*z + 32 = 2*z, -2*u = -4*z - 32. Let k = u - 7. Let t = 24 - k. Does 8 divide t?
False
Let o(s) be the second derivative of s**4/12 - 11*s**3/6 + 6*s**2 - s. Let c be o(10). Suppose -2*h = -c*v + 2*h + 16, h + 5 = v. Is v even?
True
Suppose 5*z + 43 = b + 3, 3*b = 3*z + 180. Is b a multiple of 4?
False
Suppose -6*c + 565 = 163. Is 13 a factor of c?
False
Let b(w) = -35*w**2 + 2*w - 1. Let a(r) = 36*r**2 - 2*r + 1. Let j(h) = -4*a(h) - 5*b(h). Is 15 a factor of j(1)?
True
Suppose -4*v + 80 = -28. Does 6 divide v?
False
Let v = 0 + 0. Suppose 5*w + v*w = -10. Is (1/w)/(6/(-168)) a multiple of 8?
False
Is -1*(10/(-75) + (-898)/15) a multiple of 12?
True
Suppose -2*y + 2 + 4 = 0. Suppose y*h - 3 = 117. Is 8 a factor of h?
True
Let d(a) = 19*a. Is d(1) a multiple of 4?
False
Let u = 19 + -11. Let y = -4 + u. Does 3 divide y?
False
Is (-36)/(-7)*84/9 a multiple of 16?
True
Let t = -83 + 121. Does 5 divide t?
False
Suppose 2*f - 1427 = -3*q, 0*f + 1900 = 4*q + 2*f. Is 43 a factor of q?
True
Suppose 46 = 4*q - w - 63, -4*q - w = -115. Let c(a) = a**3 + 2*a**2 - a + 2. Let m be c(-2). Suppose -5*o - r + 3 + q = 0, m*o - 19 = 5*r. Does 5 divide o?
False
Let o(y) = y**2 + 5*y - 4. Let x be o(-6). Let s(w) = -w - 4*w**x + 40 - 8 + 3*w**2. Is 14 a factor of s(0)?
False
Suppose 2*h - 4*h + 106 = 0. Suppose -h = -2*m - 5. Is 12 a factor of m?
True
Suppose 2*u = -0*u + 4. Suppose -u*i - 368 = -6*i. Is 9 a factor of 2/3 + i/6?
False
Suppose 3*z + 153 = 8*z + u, -5*z = -u - 147. Suppose -a = -z - 61. Let h = a + -59. Is h a multiple of 16?
True
Suppose -4*c - 5*s = -391, 16*c = 11*c + s + 525. Is 4 a factor of c?
True
Suppose -o = -2*h + 5*h - 7, -2*o - 10 = -2*h. Let y = h + 0. Suppose 5*u = -3*q + 187, -y*u = -0*u + 3*q - 111. Is u a multiple of 15?
False
Let a(t) = 51*t**3. Let z be a(1). Let x = 85 - z. Is 17 a factor of x?
True
Suppose -46 + 236 = 5*p. Is p a multiple of 13?
False
Is (-3 - 0) + (15 - -1) a multiple of 13?
True
Let g(m) = -m + 15. Let i be g(11). Let x = i + 4. Is 3 a factor of x?
False
Let o(i) = -2*i + 1. Let s be o(-1). Let g = 15 - s. Is g a multiple of 6?
True
Let d(n) = -n**3 + 6*n**2 + 6*n + 6. Let l be d(7). Let q = l - -4. Suppose -t + 15 = -0*t - 3*i, 25 = q*t + i. Does 9 divide t?
True
Suppose 3*l - u - 968 = 0, 3*l + u = 3*u + 967. Does 10 divide l?
False
Let t(n) = 7*n**2 + 2*n - 2. Let j be t(-2). Let g = 7 + j. Is 15 a factor of g?
False
Let y be (-5)/15*3 + -4. Let j(u) be the first derivative of -u**3/3 - 3*u**2 + 5*u - 1. Is 6 a factor of j(y)?
False
Suppose -791 = -5*f - 81. Is f a multiple of 16?
False
Let c = 48 - 26. Suppose -c = v - 2*v. Is 8 a factor of v?
False
Sup