q + 14. Let k be y(9). Let x = 100 + k. Does 16 divide x?
True
Let g(d) = d + 1. Let w be g(1). Suppose 0 = 4*r - w*r - 4. Does 15 divide r/(-1) - (5 + -37)?
True
Let m(p) be the third derivative of p**5/20 + p**4/6 + p**3/6 + 13*p**2. Does 10 divide m(-7)?
True
Suppose d = -2*b + 150 + 186, 2*d = 5*b + 690. Does 10 divide d?
True
Suppose -6*y + 0 = 6. Let n be 1 + -2 + (-15)/y. Suppose n*p - 12 = 13*p. Does 6 divide p?
True
Let j(x) = -64*x + 416. Does 30 divide j(-4)?
False
Let u(s) = s**2 + 3*s - 4. Let a be u(1). Suppose a = 4*k + 174 - 490. Does 9 divide k?
False
Does 15 divide 21072/7 + 234/(-819)?
False
Let y be 3/(-5)*(-6 + 1). Suppose 2*o - y*o = -57. Suppose 4*v + 0*d - 48 = -3*d, -3*v + 3*d = -o. Does 8 divide v?
False
Suppose -3*s = -s - 0*s. Does 7 divide ((-49)/2)/(s + (-1)/2)?
True
Suppose 202 = -4*x - p, 5*x + 2*p = -211 - 40. Let d = x + 82. Does 31 divide d?
True
Let j = 69 + 180. Does 42 divide j?
False
Let h(d) be the first derivative of 5*d**4/24 - d**3/3 - d**2 + 8. Let f(l) be the second derivative of h(l). Does 34 divide f(14)?
True
Does 37 divide ((-1)/5 - (-36414)/(-180))*-2?
False
Suppose -4*i = -k - 14, -4*k - 2*i = -2 - 32. Suppose 4*m - k*m = -88. Suppose -2*f - 3*t = -m, 0 = f - 2*t - t - 13. Is f a multiple of 19?
True
Let u = -340 - -750. Is 14 a factor of u?
False
Let n = -10 + -53. Suppose 3*p = -9, 0 = 3*o - 0*o + 5*p + 33. Is 14 a factor of (-48)/(-18)*n/o?
True
Let r = 1549 + -1243. Is 51 a factor of r?
True
Let k be 86 - (1 + -1) - (24 + -25). Suppose k = n - 143. Is 21 a factor of n?
False
Let j(i) = -i**3 - 2*i. Let z be j(4). Let h = -51 - z. Does 14 divide h?
False
Let q(i) = 12*i - 1. Let g = -1 + 9. Let m be q(g). Does 22 divide (m/1 + 2)/1?
False
Suppose -4 = -4*g, 14*a = 10*a - g + 8993. Is 91 a factor of a?
False
Suppose 9 = -2*x + 19. Let s(u) = -4*u**3 - 18*u**2 + 2*u - 21. Let w(c) = -7*c**3 - 35*c**2 + 3*c - 42. Let d(y) = x*s(y) - 3*w(y). Does 3 divide d(-15)?
True
Suppose -4*f + 14 = -2*f. Suppose 2*v + y + f = 6*y, 0 = -2*v + y + 5. Suppose -g - 38 = -3*g + 4*l, v*l = -g + 49. Is 11 a factor of g?
False
Let i(v) be the first derivative of -8*v**2 + 14*v - 4. Does 13 divide i(-4)?
True
Suppose -6*b = -2*b. Suppose 0 = g + l - 189, -2*g + 372 = -b*l + 4*l. Is 8 a factor of (-3)/(-2)*g/36?
True
Let k = -59 - -35. Let x = k - -45. Let f = x + -5. Is 4 a factor of f?
True
Let o = 121 - 65. Let x be (-2)/3 - o/6. Is -2*(2 + -1) - x a multiple of 8?
True
Let k = 729 - 380. Is 13 a factor of k?
False
Suppose -60 = 10*d - 14*d. Let s = 15 + d. Is s a multiple of 6?
True
Suppose 0 = -4*i + 3*u + 23, 0*i - 3*u - 11 = 2*i. Suppose -100 = -4*n + i*g, 7*g = n + 2*g - 7. Does 27 divide n?
True
Let o = 7018 - 4162. Is 24 a factor of o?
True
Is 8 a factor of -3 - (-10)/(80/12)*354?
True
Suppose 2*i - 2*u + 10 = 0, 0*i + 2*i = 5*u - 16. Is 3 a factor of 1 + i + (-5 - -34)?
True
Suppose -v - z = -96, 2 = -z + 7. Is 13 a factor of v?
True
Suppose -2*q = 0, 0 = t - 2*t + 2*q + 7. Suppose 5*y = 10, 2*y + t = 3*s - 22. Is s a multiple of 7?
False
Let f(u) be the second derivative of -3/2*u**2 + 0 + 1/3*u**4 - 4*u + 0*u**3. Does 4 divide f(-2)?
False
Let g be 2/(-8) - (-115)/(-20). Let z(x) = -x**2 - 5*x + 10. Let a be z(g). Is 24 a factor of (46 + -5)*a/2?
False
Let j = -3 - -3. Suppose j = 2*i, 0*z - z + i + 155 = 0. Suppose 4*m = -q + 139, 5*m - z = -0*m - 5*q. Is 12 a factor of m?
True
Let r(a) = -a + 4. Let g be r(-5). Suppose -231 = -2*i - g. Is 36 a factor of i?
False
Let k be (-21 + 1)/(-4) + -1. Suppose 2*w + k = -52. Does 6 divide (24/w)/((-2)/42)?
True
Let p be ((-20)/(-6) + -3 + 7)*6. Suppose s - 36 + 146 = 5*j, -2*j - 5*s + p = 0. Is j a multiple of 12?
False
Let f be -1 - (-4)/(-2) - -18. Let n be -1 - (-5)/(20/36). Is n/4 + -5 + f a multiple of 12?
True
Let v(c) = c**2 - 7*c - 18. Let g be v(9). Let q = g + 76. Is q a multiple of 14?
False
Let l = -185 - -95. Let t = l - -8. Is 5 a factor of (-3)/2 + t/(-4)?
False
Let v(q) = q**3 - q**2 - 4*q + 5. Let m be v(2). Suppose 4*w = 27 + m. Is w a multiple of 7?
True
Let i = 8 + -11. Let q = 19 + i. Is 4 a factor of q?
True
Suppose 5*u - 870 = -j, -5*j + 4410 = 31*u - 36*u. Is j a multiple of 8?
True
Suppose 13*g = 8*g + 50. Suppose -2*j - g = 3*j. Does 9 divide 14 + 15/5 + j?
False
Suppose -4*w = 3*r - 1772, -19*r = -15*r + 16. Does 29 divide w?
False
Let c(w) = -w**3 - 5*w**2 - 12*w + 2. Let x be c(-7). Does 23 divide x/(6 + (-8)/2)?
True
Let s = -36 + 70. Suppose -2*n + 44 = -s. Is 39 a factor of n?
True
Suppose -14*t - 56 = -18*t. Suppose -t*j + 676 = -12*j. Let x = j - 240. Is x a multiple of 14?
True
Suppose g = 3 - 0. Suppose -4*a - q = 48, -5*a + 0*a + g*q = 77. Let h(p) = -2*p - 11. Is h(a) a multiple of 3?
True
Is 128 a factor of (-84)/378 - (-3458)/9?
True
Suppose -3*g - 24 + 7 = -4*l, -6 = 2*g. Suppose 4*p - 16 = -3*d, 4*d + l*p + 20 = 6*d. Is d a multiple of 2?
True
Let q be (-78)/((19/(-114))/(7/9)). Suppose 89 = l - 3*r, 4*r = -2*l + 6*l - q. Does 37 divide l?
False
Let r(y) = y**3 + 3*y - 3. Let v be r(2). Let t = v + 1. Is 19 a factor of t/30*(96 + -1)?
True
Suppose -63 = -5*i + 3*s, 4*i - 5*s - 53 = -0*s. Suppose -i = -13*p + 16*p. Is -2*((-132)/8 + p) a multiple of 15?
False
Let s(y) = -y**3 + 7*y**2 - y. Let i be -3 - (-2)/3*9. Suppose i*z + 3*u = 4*u + 11, 2*z + 4*u + 2 = 0. Is 11 a factor of s(z)?
True
Let w(d) = -79*d**3 + 3*d**2 + 2*d + 4. Is w(-2) a multiple of 15?
False
Suppose -j + 4 = 4*s, -3*s = 4*j + 1 - 4. Suppose q + j*q - 58 = 3*a, 5*q - a = 248. Is 6 a factor of q?
False
Let s(d) = -d**2 - 9*d - 10. Let c be s(-6). Suppose 5*n - 5*x + 34 = -c*x, x - 2 = n. Let b(u) = 2*u**2 + 2*u - 5. Is 7 a factor of b(n)?
True
Suppose -2*j + 2 = 4. Let q(a) = a**2 + a. Let u be q(j). Suppose u = 5*k - 3*k - 80. Does 12 divide k?
False
Is (168/16)/7*10 a multiple of 5?
True
Let w(r) be the second derivative of 7*r**5/120 - 5*r**4/24 - r**3/6 - 5*r. Let o(h) be the second derivative of w(h). Is 23 a factor of o(4)?
True
Suppose 0 = 2*h - 3*u + 4, -h + 2*u = h. Suppose 5*y = 2*y - h*n + 222, -5*n = 0. Let t = -7 + y. Is t a multiple of 23?
False
Suppose -5*i - 49 = 3*v, -2*v - i - 4*i - 41 = 0. Let c = 28 + v. Does 4 divide c?
True
Suppose 4*y = 7*y. Suppose 3*r + y*r = 180. Is 13 a factor of r?
False
Let x(w) = -w + 5. Let d be x(-3). Let j = d - 10. Let b(a) = -a**3 + 2*a + 4. Is 7 a factor of b(j)?
False
Let w(j) = 37*j**2 - 2*j + 79. Is 21 a factor of w(10)?
True
Let g(k) be the third derivative of -17*k**7/5040 - k**6/360 + k**5/12 - 6*k**2. Let w(a) be the third derivative of g(a). Is w(-1) a multiple of 5?
True
Suppose -48 = 2*v - 5*v. Suppose 0 = v*h - 4*h - 1536. Is 29 a factor of h?
False
Let v(p) = -230*p - 46. Is 17 a factor of v(-6)?
False
Let x(s) = -s**3 - 7*s**2 + 11*s + 12. Let h be x(-8). Let y be (-20)/(-6) + 4/h. Suppose 0 = -y*a + 22 + 5. Is 9 a factor of a?
True
Is 11 a factor of ((-528)/4)/(12/(-60))?
True
Suppose -2*p = -4*l - 284, 0 = -2*l - l + p - 215. Let o = l - -133. Is o a multiple of 17?
False
Suppose -48 = s - 72. Is s even?
True
Let h(n) = -n**3 + 7*n**2 + 10*n - 12. Let k be h(8). Let a(r) = -4*r - 14*r - r**3 - 19 - 12*r**2 + k*r. Does 13 divide a(-11)?
False
Let r(f) = f + 18. Let z be r(-13). Let c(o) = 8*o + 15. Is 12 a factor of c(z)?
False
Let p = -22 + 43. Does 45 divide 2 + p*2 - (-2 + 1)?
True
Let i(x) = -x**3 - 15*x**2 + 2*x - 1. Let m be i(-15). Let b = m + 33. Does 14 divide (84/24)/(b/16)?
True
Let c(i) = i + 11. Let u be c(-8). Suppose -9 = u*w - 5*a, 2*w - 7 + 26 = -a. Let k = 22 + w. Is 3 a factor of k?
False
Let h = 13 + -11. Suppose h*r - 5*r = -5*z - 54, -4*z + 53 = 5*r. Suppose -r = -j + 4. Is j a multiple of 10?
False
Let j(a) = 7*a + 6. Suppose -5 = 2*o - 3*o. Let z(y) = 3*y + 3. Let c(v) = o*z(v) - 2*j(v). Does 2 divide c(7)?
True
Suppose -2*w = 3*w + 80. Let b be 4*((-188)/w + -4). Suppose -b*g + 28*g + 21 = 0. Is g a multiple of 2?
False
Suppose -4*l = -4*x + 908, 6*x = 3*x + 4*l + 683. Suppose 0 = -y, -5*q + 0*y + x = -y. Suppose -c - 2*c + q = 0. Does 3 divide c?
True
Let r(z) = -z**2 + 6*z - 6. Let t be r(4). Suppose -o + 1512 - 6844 = -2*u, t*u + 4*o - 5312 = 0. Does 30 divide 2/5 - u/(-90)?
True
Let s be (-1778)/10 - (-1)/(-5). Let y = -127 - s. Suppose z + v = y, -2*z -