t i = 0 + 4. Suppose -r + u = i*r. Does 5 divide r?
True
Let t(q) be the third derivative of q**6/120 - q**4/12 - q**3/6 + 9*q**2. Let r be t(-1). Suppose a - 117 = -4*j, -2*j + r*j + 4*a = -72. Is 4 a factor of j?
False
Let d = 993 + -173. Is d a multiple of 41?
True
Does 16 divide (27/45 - -9)/((-2)/(-70))?
True
Suppose 4*n - 45 = -l, -3*l + 93 = 4*n - 50. Suppose -231 = -2*t + 3*z, -t + l = -5*z - 63. Is 25 a factor of t?
False
Let h(x) = -7*x + 104. Let m(s) = 6*s - 103. Let t(v) = -4*h(v) - 5*m(v). Is 9 a factor of t(0)?
True
Let k(o) = -127*o - 51. Is k(-3) a multiple of 58?
False
Suppose 1397 = 10*j + 37. Suppose 4*f + 4*u - j = 0, -7*f + 5*u + 170 = -2*f. Is 2 a factor of f?
True
Let c = 133 + -91. Suppose 0 = -m - w + c, m + 8*w - 58 = 3*w. Is 6 a factor of m?
False
Let b = -14 - -17. Let c be (49/2)/(b/6). Suppose -2*h + 52 = w, -2*w + w - h = -c. Is 23 a factor of w?
True
Suppose 15*o - 147 = -6*o. Is 2 a factor of o?
False
Suppose -d + 1 + 4 = 0, -a - d = -10. Is 9 a factor of (-126)/(-7)*(a - 2 - 0)?
True
Let l(t) = 79*t + 2. Let m be l(-1). Let s = -17 - m. Suppose -3*n + 216 = s. Is 13 a factor of n?
True
Let t(n) = -n**2 - 7*n. Let i(k) = 2*k**2 + 13*k - 1. Let p(j) = 3*j**2 - 2*j + 3. Let b be p(2). Let h(q) = b*t(q) + 6*i(q). Is h(-6) a multiple of 23?
False
Let d be (7 + 491)*3/9. Suppose 5*o + 3*u = o + 743, -180 = -o + 5*u. Suppose -5*s = -5*f + o, -5*s - d = -3*f - 61. Is f a multiple of 9?
False
Let z be ((-4)/(-3))/(8/12). Let p be ((-7)/(-14))/(z/(-24)). Let u(r) = -r**3 - 6*r**2 - 9*r - 13. Is u(p) a multiple of 6?
False
Let i = -396 + 660. Does 55 divide i?
False
Let k(x) = -48*x**3 + 3*x**2 + x - 5. Let u be k(-4). Suppose -19*q + u = 375. Is 18 a factor of q?
True
Let p be -6*2*(3 - -66). Does 12 divide (p/(-45))/(2/5) - 0?
False
Is ((-12)/4)/(2 - -1) + 1684 a multiple of 11?
True
Suppose a + 3*v = 242, -5*a = -4*v + 5*v - 1224. Is a a multiple of 35?
True
Let h(b) = 2*b**2 + 3*b - 7. Let w(z) be the second derivative of -z**3/6 - 5*z**2 + z. Let j be w(-5). Is 14 a factor of h(j)?
True
Suppose -58 = -5*u + 142. Is u a multiple of 3?
False
Let z = 625 - 608. Does 3 divide z?
False
Let c(m) = -114*m - 44. Is 21 a factor of c(-3)?
False
Let b(o) = o**3 + 30*o**2 - 32*o + 47. Is 26 a factor of b(-31)?
True
Suppose -3*p - 2*n - 33 = -256, -162 = -2*p + 2*n. Is p a multiple of 9?
False
Let x = 11 - 7. Suppose -x = -v + k, -3*k + k = 2. Suppose -2*t + 170 = v*q, 0 = 3*q + 4*t - 306 + 128. Does 9 divide q?
True
Let a be (0 + 0)/(-2) + 2. Suppose 0*l - 54 = -a*l. Does 12 divide l?
False
Suppose 0 = -47*s + 25*s + 7326. Is 9 a factor of s?
True
Let y = 1 + 41. Is 3 a factor of 1/(-4) + y/8?
False
Let r = -14 - -29. Let t(y) = y**3 - 16*y**2 + 19*y - 14. Is t(r) a multiple of 6?
False
Let x(z) = -z**2 - 26*z + 7. Let j be x(-14). Suppose 95 = 3*p - 2*w - 17, -5*p + w + j = 0. Suppose -2*d = -s - 57 - p, -3*s - 81 = -2*d. Does 24 divide d?
True
Let p(f) = 2*f**2 + 12*f - 18. Let s(c) = c**2 + 6*c - 9. Let w(t) = 3*p(t) - 5*s(t). Is 8 a factor of w(-11)?
False
Suppose 240 = 4*z - 8*z. Is z/5*-3 + -4 a multiple of 15?
False
Suppose -8 = -3*j - j. Suppose -j*b = -4*b - 6. Let n(a) = -13*a - 4. Does 11 divide n(b)?
False
Suppose -7*u - 8 = 6. Let c(z) = -z + 2. Let x be c(0). Does 9 divide (18 - u) + 6/x?
False
Suppose -4*n = -n - 5*q - 1537, 2*n - 3*q = 1026. Let c = 806 - n. Is 29 a factor of c?
False
Let x = 13 + 117. Suppose -742 = -4*f - x. Is f a multiple of 9?
True
Suppose 220 = 4*h - 5*c, h - 3*c = -4*c + 46. Let r = -44 + h. Is r a multiple of 4?
False
Suppose -5*d - 4*i - 862 = 0, -3*d - 2*i = 365 + 153. Does 11 divide (-2)/(-4) - d/4?
True
Let o(x) = -3*x**3 - x - 2. Let c be o(-1). Suppose -12 = -3*s, -3*s + 19 = c*v - 1. Suppose v*r - 26 = 54. Is r a multiple of 4?
True
Let x = -394 - -728. Suppose x = 4*s - v, 0 = -v + 4*v - 6. Is s a multiple of 42?
True
Suppose 0 = u - 5*k - 9, -2*u + 66 = 3*u - 4*k. Suppose 15*m = u*m + 84. Suppose z + m = 3*n - 75, 0 = -2*z. Does 13 divide n?
False
Let x be 28/(-49) + (-33)/(-21). Is 7 a factor of (0 + 1)*11 + x?
False
Suppose -8*r = -2*r - 162. Is 27 a factor of r?
True
Let c be (-1)/(-2) + (-2)/((-16)/2004). Suppose 0 = -2*j + 197 + c. Is 16 a factor of j?
True
Is 44 a factor of 1*((-9955)/(-11) + 2 + 2)?
False
Let m(o) = o**3 - 1. Let g be m(1). Suppose -16 = -g*t - 4*t. Is t even?
True
Suppose -2*s - 1 + 5 = 0. Suppose 6*p = 3*p + 2*o + 113, s*o - 4 = 0. Does 13 divide p?
True
Let g = 236 - 84. Is g a multiple of 9?
False
Suppose -247*r + 226*r + 10458 = 0. Does 6 divide r?
True
Does 24 divide -14*(-4 - -1) + -8?
False
Let n be 6/9 - 136/(-12). Suppose -4*d - c = -n, 3*d - 3*c - 2*c - 32 = 0. Suppose 14 = -d*w + 182. Is w a multiple of 14?
True
Suppose 8*q = 13*q - 10. Suppose b + 12 = -2*b, q*m - 5*b = 212. Does 8 divide m?
True
Is 10 a factor of (-15 + 14)/(-2 - (-99)/50)?
True
Let k be 212/(-6)*(-12)/8. Suppose -5*w = 2*y - 110, y = 3*w - w - k. Is w a multiple of 4?
True
Let o = -11 + 36. Is 11 a factor of o?
False
Let y be 1/2*(26 - 2). Let h = y - 7. Suppose -7*r + 157 = h*v - 4*r, 0 = v - 4*r - 13. Does 21 divide v?
False
Let g = 19 + -4. Suppose 0 = -g*n - 103 + 3103. Is n a multiple of 28?
False
Suppose 3*o - 3*z + 927 + 156 = 0, -718 = 2*o + 2*z. Let k be -2 - (o - (-1 - 2)). Suppose -b = -5*m + k + 253, 3*b = m - 130. Is 30 a factor of m?
False
Let u(w) = 48*w**2 - 81*w - 15. Let i(n) = -3*n**2 + 5*n + 1. Let a(l) = -66*i(l) - 4*u(l). Is 19 a factor of a(5)?
True
Let c(z) = 2*z**2 - 19*z + 100. Does 26 divide c(22)?
True
Let n be 28 + -6 + (2 - -1). Let f be (-20)/6*30/n. Does 8 divide (f/(-3))/((-3)/(-18))?
True
Let d(y) = y**3 - y + 2. Suppose 5*u - 6 = 2*g, 9 = 2*u - 7*u - 3*g. Let c be d(u). Suppose 5*v = -c*r + 84, -v + 66 = 2*v - 4*r. Does 13 divide v?
False
Let v(z) = -z. Suppose 8 = -7*r + 6*r. Let x be v(r). Let k = 7 + x. Is 10 a factor of k?
False
Let j(x) = 7*x**3 - 3*x**2 + 4*x - 3. Let z be j(2). Suppose 3 = -u + 1, 0 = -y + 2*u - z. Let w = y + 81. Is w a multiple of 11?
False
Suppose 619 = 3*v + 5*l, -l = 2*v + 2*l - 412. Suppose 0*k = k - 4*y - v, -842 = -4*k + y. Suppose -3*s + 3*w = s - 285, 0 = 3*s - 5*w - k. Is 13 a factor of s?
False
Let i(b) be the first derivative of -2*b**2 - 5*b - 5. Let k be i(-3). Suppose -2*h + k = -35. Is h a multiple of 11?
False
Let r = 77 - 38. Does 24 divide r?
False
Suppose -2*u - 5*h = -0*u - 31, -5*u + 5*h + 60 = 0. Suppose u = -r + 32. Is 3 a factor of r?
False
Let n be 1/7 + 78/42. Suppose t + 468 = o, n*t + 2*o = -0*o - 952. Is 7 a factor of (-3)/7 - t/56?
False
Suppose 0 = -3*p + 5*p - 4. Suppose p*z - 11 = 33. Suppose -o - 1 = -z. Is o a multiple of 8?
False
Let n(h) = -h**2 + h - 31. Let x(m) = -4*m**2 + 3*m - 123. Let c(k) = -9*n(k) + 2*x(k). Is 15 a factor of c(10)?
False
Let y(c) be the third derivative of -7*c**4/8 + c**3/6 - 9*c**2. Let u be y(1). Is (10/u)/((-2)/24) a multiple of 6?
True
Suppose -t = 5, -2 = -q - t + 1. Suppose 0*v - 4*v + q = 2*g, v - 3*g = 2. Suppose -35 = -v*r + 17. Is 6 a factor of r?
False
Suppose -257*d + 254*d = -729. Is d a multiple of 27?
True
Suppose h - z + 3 = 0, 2 = -0*h - h + 2*z. Is 18 a factor of 96/(-36)*138/h?
False
Let k(o) = -o**3 - o + 610. Let u be k(0). Let f = u + -298. Is 52 a factor of f?
True
Let n = 6 + -4. Let c(q) = 74*q - 3. Let b be c(n). Suppose u + b = 5*i + 3*u, 2*i - 5*u = 29. Is 9 a factor of i?
True
Does 36 divide (-330)/(-114) + -3 - (-4108)/38?
True
Let b(f) be the third derivative of -11*f**4/12 - 5*f**3/6 - 4*f**2. Does 19 divide b(-4)?
False
Does 2 divide 308/(-33)*(-180)/35?
True
Suppose x = 120 - 114. Suppose r = x*r - 250. Does 5 divide r?
True
Let c(j) = -9*j**3 + 4*j**2 + 5*j - 3. Is 4 a factor of c(-3)?
False
Let n(t) = -19*t - 2. Suppose 16 = -5*h - 2*s, -12 = 5*h - 4*s + 16. Let b be n(h). Suppose 4*w - b = -v - v, w + 49 = v. Does 20 divide v?
False
Let l(c) = c + 155. Is l(29) a multiple of 8?
True
Let l(f) = -f + 17. Let i be 3/(-6) + 154/(-4). Let o = -28 - i. Does 3 divide l(o)?
True
Let u(k) = 43*k - 26. Does 16 divide u(3)?
False
Suppose 4 = u - 0*u. Suppose -u*t = -18 - 2. Suppose t*r - 3*r = 66. Is 11 a factor of r?
True
Let d(t) = t**3 + 9*t**2 - t - 6. Let v be d(-9). Suppose 92 = v*y + y. Let z = -7 + y. Does 8 divi