69, -773 - 111 = -5*h - 3*a. Let t = 238 - h. Is 21 a factor of t?
True
Let x(f) = 86*f - 996. Does 13 divide x(27)?
True
Suppose 86 = 3*c - 2*v, 2*c - 2*v - 55 = -1. Let s = c + 138. Suppose 2*o - 196 = s. Does 43 divide o?
False
Let g = -116 + 75. Let p = -9 - g. Let b = 50 - p. Is b a multiple of 10?
False
Let w(y) = -22*y - 129. Let g be w(-6). Suppose -c - 5*m = -1422, g*m - 2966 = -2*c - 129. Is 13 a factor of c?
True
Let o(a) = -6*a - 146. Let u be o(-25). Suppose -u*y + 76 = -1108. Does 74 divide y?
True
Let z(y) = 16*y - 78 + 6 + 5*y + 5*y. Does 9 divide z(9)?
True
Suppose 5*q - 3*q = -0*q, -4*q = -4*t + 5956. Does 56 divide t?
False
Suppose -5*l - 2*x - 15646 = -8*l, 4*x = -3*l + 15688. Does 29 divide l?
True
Suppose 3*j = -4*s + 58315, 5*s = 4148*j - 4144*j + 72948. Is s a multiple of 11?
False
Let d(o) = -6*o**3 - 149*o**2 + 93*o + 36. Is d(-37) a multiple of 14?
False
Suppose -765 = -3*j - 5*m, 2*j + 3*j - m - 1275 = 0. Let l = 299 - j. Does 11 divide l?
True
Let b be (-2 + -3)/((-1)/3)*1. Suppose 0 = 2*h - t - 2*t - 29, 0 = -5*h - 4*t + b. Let a = 29 + h. Is 6 a factor of a?
True
Let z = -24 - -632. Suppose -r + j + 121 = -0*j, -z = -5*r + 2*j. Is 15/(-5) + r + -1 a multiple of 43?
False
Suppose 0 = 25*q - 22*q - 9. Suppose o - 6*u + 7*u = 607, 0 = 2*o + q*u - 1217. Is o a multiple of 30?
False
Suppose 2*x - 35 = -5*g, -4*g - 112 = 4*x - 8*x. Suppose -5*u - k = -u - x, 3*u = -2*k + 15. Is 6 a factor of (2 + -9)/(u/(-42))?
True
Let g = -7945 - -12905. Does 11 divide g?
False
Suppose 56*i - 242507 = 730427 + 322010. Is i a multiple of 7?
False
Let p = 40988 + -40386. Does 73 divide p?
False
Let l = 8440 + -4109. Does 60 divide l?
False
Let f = -348 - -346. Is 58 a factor of (1 + 0)*f/(-5)*1135?
False
Suppose -5*p + 126 = -2*r, -6*r = -3*p - 4*r + 74. Suppose -d + p + 99 = h, 2*h - 262 = 2*d. Does 32 divide h?
True
Suppose 5*w + 4*n - 8594 = 0, 0 = -8*w + 13*w + n - 8606. Is 42 a factor of w?
True
Suppose w + 9 = 11. Suppose w*c = -f + 17, -5 = -6*c + c + 5*f. Is 33 a factor of c/(-3) - 67*-2?
True
Let u(h) = 4810*h**3 + h**2 - 3*h + 3. Let o be u(1). Suppose 0 = -19*r + o + 17134. Is r a multiple of 35?
True
Let l(r) = 4*r + 51. Let m be l(-7). Suppose 2*v = m - 23. Suppose -3*h - 15 = v, 3*h - 5*h + 910 = 4*b. Is b a multiple of 12?
False
Suppose -4*f - 77 + 381 = 0. Let y = -59 + f. Let x = y + 1. Is x a multiple of 3?
True
Let y be ((-8)/5)/(0 + (-1)/5). Suppose -g + 17 = 3*i - 4, -4*i + y = 0. Is -80*((-72)/g)/3 a multiple of 32?
True
Let k(r) = -r**2 + 27*r - 51. Let m be (-1 - 2)*16/(-6). Suppose 128 = m*q - 56. Is 8 a factor of k(q)?
False
Let t = -14029 - -26308. Is t a multiple of 19?
False
Let z = 1390 - 1298. Is z a multiple of 46?
True
Let h be 8/(7 + -11) - (-13 + 1). Suppose -7*i = -5*i - h. Suppose -g - 3*a + 70 = 0, -i*a + 61 = 3*g - 129. Does 22 divide g?
False
Let g be (18/7)/((-2)/70). Let v = 3 + g. Let x = v - -234. Does 22 divide x?
False
Suppose -2*j = 3*d - 534, 0 = 5*j + 5 + 10. Is 23 a factor of 276/(d/96*(-2)/(-5))?
True
Let c(h) = 62*h**3 - h + 2. Let m be c(1). Suppose -m = -0*n - 9*n. Suppose -4*l + 693 = n*l. Is 9 a factor of l?
True
Is ((-46)/(-7))/(2/1498) a multiple of 46?
True
Suppose -58*h + 118*h - 51786 = 46*h. Is 27 a factor of h?
True
Let d(y) be the second derivative of -3*y**5/20 + y**4/6 - 7*y**2/2 + 30*y + 1. Is d(-4) a multiple of 57?
False
Let j be 1 - 4/(16/(-4)). Let k(l) = 2 - j*l + 4 - 2. Does 4 divide k(-6)?
True
Is (-80)/38 + 2 - (45735/(-19) + -7) a multiple of 17?
True
Suppose p - 8 = -4*u, -4*u - 2*p = p. Suppose -35*k + 768 = -29*k. Suppose b + k = u*b. Is 15 a factor of b?
False
Is 3 a factor of (12/(-7))/((-429)/158158)?
False
Let v be 6/12 - 2/(-4). Let j(l) = -2*l**2 + 3*l. Let x be j(v). Let t(r) = 68*r**2 + r - 1. Is t(x) a multiple of 11?
False
Suppose 3*u - 2*z - 874 = 0, -z = 2*u - u - 288. Suppose -4*q + h + 207 = 0, 4*q - 6*q + 126 = 4*h. Suppose 0 = 5*b - d - u, b + 2*d = q + 16. Does 15 divide b?
False
Suppose 5*p - 15 = -30, p = 5*u - 53. Suppose 2*l = -9*h + u*h - 58, -182 = -3*h - 2*l. Is h a multiple of 15?
True
Suppose -16*f = -39605 - 56715. Does 10 divide f?
True
Let z = -27113 + 38393. Does 94 divide z?
True
Suppose 6 = 4*q + 2. Let l(j) be the third derivative of 11*j**4/12 + j**2 - 69. Does 16 divide l(q)?
False
Let r = 23 + -23. Suppose -4*w + 9*w + 225 = r. Let i = w + 60. Is 5 a factor of i?
True
Let j = -69 + 63. Let c be (-4 - 3 - -4)*10/j. Let n(p) = 11*p - 39. Is 16 a factor of n(c)?
True
Let g = -13414 + 26663. Does 10 divide g?
False
Let m be (-4)/(((-100)/(-48))/(-5) + (-14)/56). Let d = 40 - 10. Suppose -5*s = -m*s + d. Is 5 a factor of s?
True
Let f(a) = -10*a - 58. Let o be f(-10). Suppose 5*j - 236 = 114. Let u = j + o. Does 8 divide u?
True
Let d = -93 - -203. Suppose -d*j + 460 = -105*j. Is 16 a factor of j?
False
Suppose 2 - 10 = -4*u. Suppose -2650 = -5*o + 5*h, -2*h = u*o - 937 - 115. Suppose -192 = 3*s - o. Is 28 a factor of s?
True
Let n = 251 + -246. Does 31 divide -3 + n + -2 + 124?
True
Let t = -385 - -386. Is (-4 + 6)/t + -1 + 18 a multiple of 14?
False
Let j be ((-10)/4*-8)/((-20)/(-440)). Suppose 12 = -3*b, 5*b - 3*b - j = -4*n. Let y = 0 + n. Is 37 a factor of y?
False
Suppose 0 = -31*w + 33*w + 10. Is ((-1)/(-1))/(1917/(-384) - w) a multiple of 32?
True
Let y(r) = 119*r**2 - 334*r - 25. Is 20 a factor of y(11)?
True
Suppose -6*s = 7*s - 1729. Suppose -2*h - 2*t + 87 = t, 3*h + 5*t = s. Suppose 0 = -32*w + h*w - 300. Is w a multiple of 15?
True
Let m = 38 - 130. Let t = 106 + m. Is t a multiple of 4?
False
Let g be 33/(15/(-6) + 4). Let u = g + -18. Let r(d) = d**3 - d**2 - 7*d + 4. Does 18 divide r(u)?
False
Let t(w) = -w**3 - 3*w**2 - 36. Let y be t(-7). Suppose 0 = 162*p - y*p - 328. Does 7 divide p?
False
Let u = 3508 - -6406. Does 49 divide u?
False
Let n(a) = -a**2 + 12*a - 7. Let h(p) = 3 + 14*p - 10 - 21*p. Let r be h(-2). Is n(r) a multiple of 8?
False
Suppose c = -3*n - 2, n = 5*c - 58 - 12. Suppose 0 = -6*h + c - 13. Suppose h = -4*q - 60 + 492. Is q a multiple of 27?
True
Let f(c) = -c + 10*c**2 + 3*c**3 - 4*c**2 + 0*c**2 - 5*c**2 + 1. Let u be f(3). Does 11 divide (u/3)/((-20)/(-15) - 1)?
True
Is 24 a factor of (11280/21 - -8)/((-1)/(-7))?
True
Let h(l) = 9*l**2 + 40*l + 105. Let b(j) = 5*j**2 + 21*j + 52. Let k(m) = 11*b(m) - 6*h(m). Does 20 divide k(-10)?
False
Let i be 3 + 0/(-8 - -4) + 193. Is (i/6)/(14/21) a multiple of 8?
False
Let l(a) be the first derivative of a**3/3 - a**2/2 + 2*a + 16. Let u be l(2). Suppose h + 32 = 2*o - o, -132 = -u*o + 3*h. Is o a multiple of 8?
False
Let h(j) = -26*j**2 + 1164*j + 80. Is h(38) a multiple of 94?
True
Suppose 28294 = 4*a - 2*k, -2*k + 1 - 7 = 0. Does 44 divide a?
False
Suppose -4*x = -n - 26071, 12*n = x + 10*n - 6530. Does 18 divide x?
True
Suppose -5*r + 5686 - 656 = 3*m, 5*r = 2*m - 3320. Suppose 420 = 5*b - m. Does 38 divide b?
True
Does 79 divide (-598)/138*(-744)/1?
False
Suppose -6*n = -4*h - 8*n + 18, n - 14 = -3*h. Suppose -3*f = 5*r - 1301, 3*f + h*r - 1299 = 2*r. Does 12 divide f?
True
Is 64 a factor of 5 + ((-11)/(990/(-1879932)) - 8/60)?
False
Let p(h) = 4*h**3 + h**2 - h - 1. Let v be p(-1). Let o = -4 - v. Let a = o - -92. Is 9 a factor of a?
False
Suppose -9*k + 5*k = 4. Let c(d) = 56*d + 4. Let w(h) = h + 1. Let u(t) = -c(t) + 2*w(t). Does 13 divide u(k)?
True
Let u(q) = -664*q + 2560. Is u(-26) a multiple of 14?
True
Suppose -5*t + 516 = -t. Let x = -26 + t. Does 12 divide x?
False
Is 22 a factor of 1*(-8 + -1)*(-18174)/18?
False
Let c(b) = 854*b**2 + 63*b - 180. Is c(3) a multiple of 19?
True
Suppose i - 7*i + 108 = 0. Let g(y) = -2*y - 5*y - i - 3 - 7 + 2*y**2. Is 19 a factor of g(-9)?
False
Let h = -141 - -174. Suppose -2750 = 28*u - h*u. Does 50 divide u?
True
Let i = 1526 - 733. Let t = i + -387. Does 14 divide t?
True
Let d(t) be the third derivative of -t**5/120 + 5*t**4/6 - 5*t**3/3 - 12*t**2. Let o(i) be the first derivative of d(i). Is 8 a factor of o(5)?
False
Suppose 63 + 19 = 2*z. Suppose -4*h - z = -u, 4*u - 122 = -0*u + 2*h. Suppose 0 = 2*k - u + 7. Does 7 divide k?
False
Suppose -24*b - 2*g = -20*b - 205570, 2*g - 2 = 0. Is 21 a factor of b?
False
Let z be (1613/9 - -6) + 2/(-9). Suppose -5*t = n + 4*n + 455, -n - 5*t = 75. Let 