*o = -2*y + 60. Does 9 divide y?
False
Suppose 3*s - 50 = 4. Suppose -w + 63 = s. Suppose -y = -6*y + 5*h + w, y = -4*h - 16. Is y a multiple of 4?
True
Is (-7)/(-2 - 75/(-40)) a multiple of 14?
True
Let w(i) = -i**3 + 11*i**2 - 5*i + 5. Does 12 divide w(10)?
False
Let i(x) be the first derivative of -x**4/4 - x**3 + 5*x**2/2 - 3. Let q be i(-4). Is ((-26)/(-8))/((-1)/q) a multiple of 13?
True
Suppose 33 + 62 = -4*j + 5*b, 5*j + 3*b + 165 = 0. Let a = j + 91. Suppose -38 = -3*l + a. Is 11 a factor of l?
True
Let o(y) = 14*y**2 + 16. Does 20 divide o(-3)?
False
Let x(n) = -n**2 - 3*n + 2. Let i be x(-3). Let y = 14 + -14. Suppose 3*f - i*f - 7 = y. Does 7 divide f?
True
Suppose 82 = 15*c - 14*c. Is c a multiple of 22?
False
Is 21 a factor of (-18)/81 - 2308/(-18)?
False
Let a = -1 + 1. Let l be 0/1 + (93 - a). Suppose 0*c = -3*c + l. Does 13 divide c?
False
Suppose 2*s - 24 = 102. Does 15 divide s?
False
Let a(y) = y**3 - 6*y**2 - y + 14. Is a(6) a multiple of 8?
True
Let a(y) = 9*y + 18. Let g(x) = -2*x + 7*x + 4 + 5. Let d(j) = 4*a(j) - 7*g(j). Is d(-4) even?
False
Let o = -8 + 22. Is 4 a factor of o?
False
Let w(d) be the first derivative of -d**4/12 - 7*d**3/6 + d**2 + d - 1. Let h(t) be the first derivative of w(t). Is 10 a factor of h(-5)?
False
Let v be -4 + 0 + (-1 - -3). Let p(a) = 14*a. Let h be p(-2). Let g = v - h. Does 13 divide g?
True
Suppose 2*v - 17 - 9 = 0. Let a = -9 + v. Suppose a*h = -0*h + 32. Is h a multiple of 3?
False
Let a = 3 + -3. Suppose 3*z + 6 = a, 0 = -5*p - 0*z + 2*z - 41. Is (-16)/p - (-2)/9 even?
True
Suppose -15 + 6 = 3*o - 5*v, o = -5*v + 17. Let f = 4 - 0. Suppose -f*w + 76 = o*s, 0 = -2*s - 2*s - 5*w + 143. Is 16 a factor of s?
True
Let r = -67 - -29. Is 1 + -4 - (r - -2) a multiple of 11?
True
Suppose -4*g = -3*r - 321, 0 = 2*g + 3*r - 21 - 162. Is 28 a factor of g?
True
Suppose 9 = 3*b - 9. Is 6 a factor of b?
True
Let f be (0 + 0)*(1 - 2). Let l be f + (-1 + 2 - -1). Suppose -96 = -l*b - 2*b. Is 14 a factor of b?
False
Is 24210/150 + (-4)/10 a multiple of 23?
True
Suppose 252 = -17*c + 19*c. Does 7 divide c?
True
Suppose -q = 4, 3*d - q = -d + 12. Suppose 0 = 4*a - y, 0 = d*a - 0*a + 4*y. Suppose a = -4*i + 5 + 39. Does 7 divide i?
False
Let p(b) = b**2 + 8*b + 6. Let t be p(-7). Let c(i) = 7*i**3 - i**2 - 4*i + 6. Let j(l) = l - 1. Let r(m) = -c(m) - 5*j(m). Does 4 divide r(t)?
True
Suppose 0 = 2*f + 3*o - 1, -3 = -f - 2*f - 4*o. Suppose h = f*h - 160. Does 14 divide h?
False
Suppose 0 = -5*t + 2*t + 18. Suppose 2*a + t = a. Does 9 divide (27/a)/((-2)/12)?
True
Let r = 36 + 17. Let q = 7 + r. Is q a multiple of 32?
False
Let g be -2 - -1 - -3 - -11. Let x = g + -9. Suppose -x*v + 2 + 90 = 0. Does 7 divide v?
False
Suppose -3*k - 1 = -103. Is k a multiple of 7?
False
Let j(k) be the first derivative of 15*k**2/2 - k + 2. Is j(1) a multiple of 14?
True
Let c(g) = -g**2 + 2*g. Let s be c(3). Is (0/s - -2) + 10 a multiple of 12?
True
Let v = 1 - -4. Suppose -v*k = -159 - 161. Does 16 divide k?
True
Suppose -5*c = -14*c + 45. Does 2 divide c?
False
Suppose 3*g - 1 = 2*j, g - j = -4*g - 3. Let a = g - -85. Suppose -5*n + a = -46. Is n a multiple of 13?
True
Let o(n) be the first derivative of -n**4/4 + 2*n**3 - n**2 - 4*n + 5. Is 11 a factor of o(5)?
True
Suppose -4 = -2*j, 3*j - 66 = -4*d - 24. Let h be (-174)/d*6/4. Let o = h - -41. Is 6 a factor of o?
True
Let u be ((-24)/(-10) - 2)*-5. Let t be (-1)/2 - (-3)/u. Is 6 a factor of -24*2/8*t?
True
Let l(w) be the first derivative of -5*w**4/4 - 2*w**3/3 + w**2 + 10. Let d = -5 + 3. Does 14 divide l(d)?
True
Let v(a) = -9*a**2 - a - 1. Let g be v(-3). Let y = g + 124. Is 19 a factor of y?
False
Let f(g) = -g**3 + 6*g**2 + 8*g + 2. Let l be f(7). Is l/(-63) - 44/(-14) even?
False
Let n = -2 - -2. Let j = n - -4. Is j a multiple of 4?
True
Let y(w) = -4*w**3 - 3*w**2 + w + 1. Let i be y(2). Let n = i - -5. Let x = -24 - n. Does 12 divide x?
True
Suppose -371 = -2*d - 3*j, -4*d - j = -0*j - 747. Is 17 a factor of d?
True
Let k(b) = 3*b**2 - 1. Let j be k(1). Suppose -4*x + x = -t - 21, -4*t + 28 = j*x. Is x a multiple of 3?
False
Let o(u) be the second derivative of u**5/20 - 3*u**4/4 + 2*u**3/3 - 6*u**2 + 10*u. Is 24 a factor of o(9)?
True
Is 20 a factor of 89 + 0 + (-1 - 2)?
False
Let j = 22 + -11. Suppose -49 = -4*d - 3*m - j, -2*d = -5*m - 6. Let p(r) = r - 5. Is p(d) even?
False
Is 10 + (9/(-3) - -4) a multiple of 5?
False
Let r(k) = -k**3 + 3*k**2 + 2*k - 3. Suppose -2*p = 4*a - 22, 4*a = -p + 4*p - 3. Let l be r(a). Suppose -l*v = v - 28. Is v a multiple of 6?
False
Let k(n) = -3*n - 2. Let r(o) = 5*o + 5. Let b(j) = -15*k(j) - 6*r(j). Does 10 divide b(1)?
False
Let u(c) = -c**3 + 11*c**2 - 8*c + 4. Suppose 10 = 2*g - 10. Does 24 divide u(g)?
True
Suppose 0 = -f - 0 + 4. Suppose 4*y = -f*j - 176, -y + 3*y - 4*j + 82 = 0. Let c = -23 - y. Is 7 a factor of c?
False
Suppose 5*c - 10 = -5*s + 10, 2*c = 2*s. Let t be c*3/((-12)/(-10)). Suppose -3*x - 5*h + 80 = -x, -3*h + 219 = t*x. Does 14 divide x?
False
Suppose 0 = 4*w - 2*a - 446, 296 = 3*w - 5*a - 42. Is w a multiple of 29?
False
Let s(t) = -4*t**2 - 68*t - 17. Is 8 a factor of s(-15)?
False
Suppose 0*n = 2*b - n - 426, 2*n = -4*b + 836. Is b a multiple of 36?
False
Let v be (31*-6)/(-3) + 0. Suppose 3*x - v + 172 = 5*h, 1 = -h - 4*x. Suppose 6 = 5*t - h. Is 3 a factor of t?
False
Let n(d) = -21*d**3 - d**2 - d - 1. Let m be n(-1). Suppose -u - m = 4*u. Let h = 8 + u. Is h a multiple of 4?
True
Let k(p) = 12*p - 12. Is 9 a factor of k(4)?
True
Let v = 7 - 8. Is (v - -14)*(8 + -7) a multiple of 3?
False
Suppose -d + 2*d = -5. Does 5 divide (-22)/d - 27/(-45)?
True
Let b be 1/(-2)*(7 + -85). Let f be (-1)/(-2 + b/21). Let d(c) = c**2 - 4*c + 1. Is 14 a factor of d(f)?
False
Let r(x) = -x**3 - 5*x**2 + 5*x - 2. Let k be r(-6). Is 10 a factor of 154/k - 2/4?
False
Let u(r) = -2*r - 2. Let d be u(-2). Suppose -52 = -4*v + d*v. Suppose v = o - 4*m - 6, 0 = 3*o - 4*m - 80. Is 12 a factor of o?
True
Is 32 a factor of 4/8*122 - -3?
True
Let p = -60 + 114. Is 9 a factor of p?
True
Let o(q) = -8*q**2 + q + 1 + 49*q**2 + 0*q. Does 24 divide o(-1)?
False
Let h = 4 - 10. Let t = 10 + h. Suppose -t*a - 52 = -4*k, a + 2*a = -4*k + 24. Does 9 divide k?
True
Let v be 2/(-8) - 13/(-4). Suppose -4*w = -v*m + 18, -5*m + w = 4*w - 30. Is 6 a factor of m?
True
Let x(g) = 5*g + 21. Does 8 divide x(4)?
False
Let b(c) = 3*c + 3. Suppose 7*w - 9 = 4*w. Is b(w) a multiple of 4?
True
Let u = -2 + 5. Suppose u*v = 6*v - 63. Is 7 a factor of v?
True
Suppose 6*c - 3*c - 180 = 0. Suppose -3*u + 5*u - c = 0. Does 10 divide u?
True
Suppose 0*o - o = 49. Let v = o + 80. Is v a multiple of 20?
False
Let g = 21 - -74. Is 16 a factor of g?
False
Let r be 2 - (0 + 2/(-2)). Let i(f) = f**3 - 4*f**2 + 3*f - 2. Let y be i(r). Is (61 - 4) + y/(-1) a multiple of 22?
False
Let i be (-2 - (0 - 2))/2. Let r = 0 + i. Suppose -61 = -3*p - 5*z, -2*p + r*z = z - 43. Is p a multiple of 22?
True
Does 36 divide 714/10 - 6/(-10)?
True
Let u = 353 - 171. Is u a multiple of 13?
True
Let o be (2/4)/(19/228). Suppose -4*s = c - 8, -o*c = -2*c + 2*s - 74. Is c a multiple of 8?
False
Let q = -36 + 69. Is q a multiple of 6?
False
Suppose 416 = 5*m + 3*w, m = -0*m + 5*w + 100. Suppose 4*h - m = -5*k, 5*h + k - 96 = 5*k. Does 12 divide h?
False
Let c(u) = -u**3 + 11*u**2 - 8*u + 5. Is c(8) a multiple of 21?
False
Suppose -y = -1, 5*y - 3*y - 3 = -i. Suppose 2*s + n - 11 = 0, 0 = 2*s + 4*n + i - 3. Is 7 a factor of s?
True
Let v(d) = -d**3 + 7*d**2 + 7*d + 5. Let x be v(8). Is 14 a factor of 70*(18/(-15))/x?
True
Suppose 0*v - 2*v + 20 = 3*w, -5*v + 4 = -4*w. Suppose -2*h = -3*h + 2*n - 12, -v*n = 4*h - 12. Is 8 a factor of 10 - (-5 - (h - 1))?
False
Suppose -3*k + 103 = -4*r, -4*k = 4*r - 195 + 67. Suppose 3*f - 69 = -3*z - f, 2*f = z - k. Is z a multiple of 9?
True
Let y(h) = 45*h**2 - 1. Is y(-1) a multiple of 11?
True
Let u = -19 + 21. Suppose 4*x = v + 18, u = -0*x + 3*x + 5*v. Is x a multiple of 4?
True
Suppose -8 = -c + 20. Does 14 divide c?
True
Let a(f) = 4*f**2 + 3*f - 2. Is a(-3) a multiple of 7?
False
Let t(u) = -1 - u - 4 + 2. Let d(f) = f**3 + 11*f**2 + 12*f + 12. Let m be d(-10). Is 3 a factor of t(m)?
False
Let v(w) = -w + 11. Let f be v(11). Suppos