st derivative of 49*c**2 + 2*c + 11. Let j be n(1). Suppose 8*a = 3*a + j. Is 19 a factor of a?
False
Suppose 13*a - 46188 + 18693 = 0. Does 47 divide a?
True
Let s(f) = -f**3 - 15*f**2 + 6*f + 30. Let d be s(-16). Is ((-39)/15 - -5)*d/3 a multiple of 38?
True
Let t(z) = z**2 - 4*z + 19. Let y be t(-8). Suppose -3*r + w = 3*w - y, -w = 2*r - 77. Is r a multiple of 8?
False
Suppose -6 = 26*y - 25*y. Suppose x - 147 = -4*p + 6*x, 0 = -5*p + 5*x + 180. Does 22 divide (p/2)/(y/(-8))?
True
Let n = 12 + -5. Let t(w) = 265*w**2 - 6 - 267*w**2 + n*w - 25*w. Is 10 a factor of t(-7)?
False
Let b(r) = r**2 - 3*r - 1. Let g be b(5). Let n(v) = -9 + 10 + g*v - 7. Does 24 divide n(6)?
True
Does 10 divide (-4565)/(-23 - -12) - 9?
False
Let i(c) = -c**3 + 28*c**2 - 11*c - 59. Is i(27) a multiple of 15?
False
Suppose -2*c + 2*b = 4, c - 4 = 4*b - 21. Suppose -c*z = 2*r - 345, -z + 0*r - 3*r = -108. Suppose 0 = -5*y + 78 + z. Is 14 a factor of y?
False
Let j = 20 + -17. Suppose 0 = j*s - s + 5*m - 33, -8 = 3*s - 4*m. Suppose 5*i - s*y + y - 508 = 0, 5*i + 2*y = 503. Does 23 divide i?
False
Does 8 divide ((-8952)/(-12))/(4/6)?
False
Suppose 1327 = 7*s - 1907. Does 42 divide s?
True
Suppose 126 = 4*l - 2. Suppose a + l = 3*a. Does 8 divide a?
True
Let q(l) = -2*l**2 + 12*l + 28. Let z(r) = -r**2 - r + 1. Let o(s) = q(s) - 4*z(s). Does 14 divide o(-9)?
True
Let o(t) = t**2 - 6*t + 782. Let z be o(0). Does 28 divide (z/(-7) + 8/(-28))*-1?
True
Suppose 3*t - o = o + 333, -2*t + 5*o = -211. Suppose 12*z + 320 = 22*z. Suppose 2*v + 124 = 2*u + z, -2*u + t = 5*v. Does 6 divide u?
False
Let l = 1338 + -1322. Does 8 divide l?
True
Let s(c) = -24 + 20 + 2*c + 20. Let h be s(7). Suppose 0 = -r + p + 52, p = -r + 22 + h. Does 13 divide r?
True
Let m = 41 + -55. Let l(f) = f**3 + 5*f**2 + 6*f + 2. Let p be l(-4). Does 3 divide m*(21/p + 3)?
False
Suppose 8 = -y - 3*y. Let m be (y/(-4))/(5/(-210)). Is 6/m + 69/21 even?
False
Let f be (-10)/3*(-6)/(-4). Let l = 85 - 196. Let g = f - l. Is 27 a factor of g?
False
Is (-16 + 27)/((15/6)/5) a multiple of 15?
False
Let l = 46 - -1718. Does 49 divide l?
True
Let g be (-171)/(-36) - (-3)/(-4). Let w = 1 - g. Is 12 a factor of -19*(-1)/(w/(-3))?
False
Let u = 311 - 156. Is u a multiple of 8?
False
Let b(u) = u**2 + 30*u + 45. Let h be b(-21). Let i = -26 - h. Is i a multiple of 29?
False
Let u(h) = -h**3 + 8*h**2 - 11*h + 11. Let p be u(7). Let k = 53 - p. Is 10 a factor of k?
True
Let v(o) = o**3 + o**2 - 1. Let n(r) = -7*r**3 - 4*r - 1. Let s(b) = n(b) + 6*v(b). Let w be s(5). Let p(h) = -6*h**3 + 2*h**2 - h - 1. Does 19 divide p(w)?
True
Suppose 0 = v + 2*x - 36, -3*v + 3*x - 5*x + 96 = 0. Is 12 a factor of v?
False
Let s(u) = 8*u**2 - 25*u + 17. Is 27 a factor of s(10)?
True
Let q(z) = -z**3 - 4*z**2 - z + 3. Suppose 2*l - 2 = 2*u, -21 = 4*l - 2*u + 3*u. Let i be q(l). Let x = 29 - i. Does 6 divide x?
False
Let v be 60/(-40)*(-32)/6. Is (v/5)/4 - (-2448)/30 a multiple of 7?
False
Suppose -r - 300 = -4*r. Suppose -r = 2*k - 4*k. Suppose b - k = 3*h - 209, -5*h + b + 267 = 0. Is h a multiple of 18?
True
Let y(o) = 3*o + 11. Let g be y(-3). Suppose -208 = -4*a + 5*s, -g*s - 6 = 3*a - 162. Does 9 divide a?
False
Let g(d) = d**3 - d**2. Let y(h) = -5*h**3 + 15*h**2 + 6*h + 8. Let q(r) = 6*g(r) + y(r). Let x be q(-8). Let v = 50 - x. Is 26 a factor of v?
True
Suppose 5*h = -0*h + 15, 2*x + 3 = h. Suppose x = -q + 5*q + f - 24, 3*q - 4*f = 18. Is q a multiple of 3?
True
Suppose o = -2*p - 607, -7*p + 9*p = -3*o - 597. Does 30 divide (15/25 - p/(-10))/(-1)?
True
Suppose -6*a = -a - 5, 3*a = 3*z - 201. Let s be (-2)/(-11) - z/11. Is s/(-12)*(-156)/(-2) a multiple of 9?
False
Suppose -2*f = f - 3*a - 27, 5*f + 3*a - 5 = 0. Let r be 1/(2*f/856). Suppose -5*n + u + 128 = -u, 3*u = -4*n + r. Is 9 a factor of n?
False
Let k = 84 + 138. Is k a multiple of 35?
False
Let x(g) = 2*g**2 + 17*g + 11. Suppose 53 = 4*c - 5*s + 16, -4*s = 2*c + 14. Let z(m) = m**2 + 9*m + 6. Let t(r) = c*x(r) - 7*z(r). Is t(-7) a multiple of 26?
True
Suppose -2*o = -3*z + 2*o + 2570, 0 = 4*z - o - 3431. Is z a multiple of 11?
True
Suppose -4*d + 4*y + 8 = 0, -5*d = 3*y + y + 8. Suppose d*c = 2*c - 150. Is c a multiple of 15?
True
Let s(m) = m**2 + 9*m + 2. Let t be s(-9). Suppose -p + 46 = x, t*x - 3*p = x + 34. Suppose x = -5*j + 183. Does 7 divide j?
True
Let t be (-3 + -1)*-2 + 0. Let s(a) = -4 + a**2 - 2*a + 0*a - 6 + t. Is s(5) a multiple of 3?
False
Let r(d) = 12*d + 12. Let f = -42 - -45. Is 24 a factor of r(f)?
True
Suppose -a - 1 = -8. Let x be 0 + 11 + 21/a. Suppose w = -w + x. Is w a multiple of 7?
True
Suppose -2*k + 56 = m + 3*m, -m = 4. Let y = k + 60. Is y a multiple of 8?
True
Let y be ((-16)/(-12))/((-3)/9*-2). Suppose 0 = y*s + w - 56, 3*s + w = -0*w + 86. Does 15 divide s?
True
Suppose -235 = -f - 2*n, 5*f - 4*n + 2*n = 1151. Is f a multiple of 6?
False
Let w(y) = 2*y**3 - 7*y**2 - 6*y - 6. Let g be ((-2)/(-2))/(4/24). Does 19 divide w(g)?
False
Let a be 71 - 12/3*1/4. Suppose -32*j + a = -27*j. Does 7 divide j?
True
Let q(o) = -9*o**3 - 2*o + 1. Let k be q(1). Let x = k - -15. Suppose 31 = x*i + 1. Is 3 a factor of i?
True
Suppose 5*k + 16 = 5*y + 1, -2*y - 5*k + 13 = 0. Suppose y*d = -2*q - 0*d + 90, -d + 5 = 0. Is 7 a factor of q?
True
Suppose 0 = 3*f + 12, -4*f + 6*f = 5*j + 27. Let x(l) = -37*l - 42. Does 16 divide x(j)?
False
Suppose 2*z = 2*y + 8, -z = 8*y - 4*y + 6. Suppose -2*m + 150 = c, -z*c - c = -m - 485. Does 40 divide c?
True
Let k be (-2)/9 - (-122)/(-18). Let f = 6 + k. Does 15 divide (1/(-1))/(f/39)?
False
Suppose -5*w + 6 = -2*f, 4*w = 5*f + 3*w - 31. Let z = -1 + f. Let u(v) = 3*v - 6. Is 6 a factor of u(z)?
True
Let c be 2/(-7) - (-676)/14. Suppose 0 = h - 12 - c. Is 15 a factor of h?
True
Let d be (2 - -1)/(7/((-56)/(-6))). Is (-2376)/(-84) - d/14 a multiple of 7?
True
Suppose 2*c - 302 - 490 = 0. Suppose 0 = 4*o - 16, 3*v = -v - 2*o + c. Does 12 divide v?
False
Let a = -816 + 1950. Is 81 a factor of a?
True
Suppose 0 = -11*x + 5231 + 313. Is x a multiple of 24?
True
Is 24 a factor of 484 + -23 + -6 + 1?
True
Let k = 24 + -14. Suppose k*i - 192 = 2*i. Does 17 divide i?
False
Suppose 107*r = 25*r + 8856. Is 27 a factor of r?
True
Let b = -114 + 200. Let n be 1 + (-2 - (-57 - 0)). Let y = b - n. Is y a multiple of 8?
False
Let d = -229 - -449. Is 20 a factor of d?
True
Let d(k) = 168*k**3 - 3*k + 3. Is 8 a factor of d(1)?
True
Let p be ((-40)/(-12))/((-1)/3). Let x = p - -12. Suppose 5*u = -2*g + 64, -2*u = -g + x*u + 32. Does 7 divide g?
False
Let f(r) = r**3 + 12*r**2 - 2*r - 9. Let b be f(-12). Let y = 22 - b. Does 7 divide y?
True
Suppose 22 + 1463 = 15*p. Does 6 divide p?
False
Let b(u) = u**3 - 12*u**2 + 9*u + 13. Is 8 a factor of b(12)?
False
Let u be (0 + -1)/(-1 - 0). Let m = -5 - -13. Let w = m - u. Is 7 a factor of w?
True
Let o = 623 + 8. Does 41 divide o?
False
Let z be (4/14)/((-7)/(-147)). Let o(d) = 3*d + 6. Is 8 a factor of o(z)?
True
Suppose 6*c - 101 = -11. Does 16 divide 2*47 + -13 + c?
True
Let f(r) = -r**2 + r + 1. Let i be f(1). Is (2/(-2))/(i/(-20)) a multiple of 4?
True
Let o(s) = -30*s + 23. Let r(g) = g. Let p(d) = o(d) + 4*r(d). Let f be p(17). Does 20 divide 7/49 - f/7?
True
Let l = -25 - -36. Suppose -2*f + u + 116 = 0, -l = -4*u + 5. Does 10 divide f?
True
Let k be (10/(-20))/((-1)/10). Suppose -78 = k*w - 258. Does 10 divide w?
False
Suppose 3*a = 6*a - 495. Suppose 0 = t + 2*t, 5*v = 4*t + a. Is 11 a factor of v?
True
Let v = 1867 + -1231. Is v a multiple of 6?
True
Let k be (-36)/(-10)*(-35)/(-14). Let w be (-21 + -1)*(k - 8). Let h = w - -52. Does 5 divide h?
True
Let u = -111 - 82. Let j = u - -304. Is j a multiple of 12?
False
Does 32 divide (32/20)/(358/(-120) + 3)?
True
Suppose -2*o = -2*w - 0*w + 458, 5*o = 4*w - 1141. Is 9 a factor of (o/(-20))/((-1)/(-8))?
True
Suppose 70 + 110 = 6*j. Does 4 divide j?
False
Let h(m) = -7*m + 106. Is 3 a factor of h(4)?
True
Suppose 4*m - 1584 = -4*o, -743 - 816 = -4*o + m. Suppose o = 12*s - 593. Is 12 a factor of s?
False
Let j be 0 - 3/6*-6. Suppose 0 = -j*y - 2 + 8. Suppose r + y*r = 84. Does 9 divide r?
False
Suppose 0 = -6*k + k + 215. Does 11 divide k?
False
Suppose -x = -208 - 78. Does 26 divide x?
True
Suppose 0 = -43*o - 2045 + 6861. Does 7 di