o**2 - 9*o - 10. Let n be k(9). Let x(v) = -9*v - 29. Let u(l) = -33*l - 102. Let f(r) = 5*u(r) - 18*x(r). Does 14 divide f(n)?
True
Suppose 0 = -2*h + 4*r + 2928, -3*h + 2*r + 4621 = 205. Suppose 0 = 3*i + 2*i - 15. Does 34 divide h/8 + i/2 + -3?
False
Let h(f) = 10399*f**2 + 10*f - 3. Is 117 a factor of h(2)?
False
Suppose -4*y + 8*y = -3*m + 60797, 3*m + 2*y = 60793. Does 13 divide m/92 + 3/4?
True
Suppose -z - 10 = -5*c, -2*z - 3 = -c - 10. Suppose -a = -2*h + 5*h + 295, -4*a + 275 = -c*h. Is 28 a factor of -5 + 2 - (0 - (-1 - h))?
False
Let j(f) = 943*f - 1004. Does 38 divide j(14)?
True
Is 45 a factor of (-2)/(-25) + (-67017111)/(-8925)?
False
Is 56220/14 + ((-54)/(-140) - (-10)/(-100)) a multiple of 31?
False
Suppose -3*z + 3 = 0, 2*z = -3*d - 2*d + 1027. Suppose -2*o + d = -s, 2*o + s = -0*o + 195. Is 20 a factor of o?
True
Let d = -929 + 1683. Is 13 a factor of d?
True
Let m(h) = h**2 + 5*h - 5. Let s be m(10). Suppose c + 539 + s = 5*g, 0 = -g + 3*c + 148. Is 7 a factor of g?
False
Let q be (3 - 12 - -4) + 290. Let x = q - 278. Is 5 a factor of x?
False
Let z = -27 + 74. Let j = 49 - z. Suppose u - 5 = j*n - 113, -n + 40 = -4*u. Does 14 divide n?
True
Suppose g - r - 20 = -2*r, -4*g + 4*r = -88. Let j(o) = -o**2 + 33*o - 12. Does 25 divide j(g)?
False
Let n(r) = -r**2 + 9*r + 13. Let g be n(10). Suppose g*o - 6 = -6. Let i(f) = 2*f**2 + 165. Does 15 divide i(o)?
True
Let n(q) = -5*q - 10. Let i be n(-5). Suppose -6*m + 39 = i. Is -72*m/(-5) - 56/(-140) a multiple of 14?
False
Suppose 2*n = n + 14*n. Let a be (4/(-6))/((-2)/3). Suppose 0 = -4*f - 4*r + 36, -3*f + 3*r + a + 2 = n. Is 5 a factor of f?
True
Does 7 divide (-33 - -36)*((-227892)/(-18))/2?
True
Let h(g) = -2*g + 112. Let j = -6 + 3. Let n(v) = 3*v + 9. Let r be n(j). Does 26 divide h(r)?
False
Suppose -3*v - 9 = 0, -3*a + 14763 - 3165 = -2*v. Does 8 divide a?
True
Let f = 922 + 4078. Is f a multiple of 5?
True
Suppose -3*k + f = -515, -k = -3*k - 2*f + 330. Suppose -5*x + k = 5*c, 3*c - 55 - 113 = -5*x. Does 3 divide x?
True
Suppose -5*r = -2*x - 13180, 4874 = -4*r - x + 15405. Is 8 a factor of r?
False
Let w be (-5)/(-2) - (-4)/(-8). Suppose -2*x + 308 = -5*c, w*c + 159 = 3*x - 325. Let h = -91 + x. Does 5 divide h?
False
Suppose 4*w = -4*t + 48, -4*w = -5*w + 2*t + 27. Suppose w - 119 = -6*g. Suppose 1053 = 26*d - g*d. Is 13 a factor of d?
True
Let y = -4691 - -5934. Does 9 divide y?
False
Let x = -5975 - -10267. Is x a multiple of 29?
True
Let m be -1879 - ((-2)/(-4))/(3/6). Let q = 3094 + m. Does 71 divide q?
False
Let h(o) be the third derivative of o**5/20 - 43*o**4/24 + 23*o**3/3 - 33*o**2 - o. Is 19 a factor of h(16)?
False
Let b(m) = 65*m**2 - 67*m + 42. Is 16 a factor of b(-7)?
True
Let o be -1*(0/(-11))/(0 + -1). Suppose 3*h + 5*y - 6 = 0, h + o*h - 4*y - 2 = 0. Let v = h - -41. Is v a multiple of 7?
False
Let r(y) = 3*y - 57 - 2*y + 13 + 3*y**2. Does 22 divide r(7)?
True
Let s = -9388 + 13225. Is 10 a factor of s?
False
Suppose 4*y - 2*i + 5*i = 266, y = 3*i + 59. Does 22 divide y?
False
Let a(d) be the second derivative of 11*d**3/6 - 5*d**2/2 + d. Let h = -1510 - -1515. Is a(h) a multiple of 23?
False
Let g(n) be the third derivative of 29*n**4/12 + 32*n**3/3 + 2*n**2 + 34. Does 26 divide g(6)?
False
Suppose 464*y - 373*y = 324415. Is y a multiple of 118?
False
Let v = 34 - 27. Does 30 divide (63/(-12))/v*(-98 - -2)?
False
Let a(z) = -20*z**3 + z**2 - z - 1. Let u be (-6)/4*(-7)/((-42)/4). Is 2 a factor of a(u)?
False
Suppose 4*i + 22 = f, 5*f + 5*i = -8 - 7. Suppose -2*p + f = a - p, 4*a + 5*p = 7. Suppose 5*t - a*t = 58. Does 17 divide t?
False
Let u(b) = b**2 + 19*b + 84. Let k be u(-12). Let p(r) = r**3 + r**2 - 7*r + 270. Does 16 divide p(k)?
False
Let q = -20 - -22. Suppose 2*y + y = 2*g + 13, 0 = -q*y - 4*g + 30. Suppose 5*s = -2*m + 95, -2*s = -3*s + 2*m + y. Is 9 a factor of s?
False
Let q(b) = -19 - 2468*b**2 + 2 + 2464*b**2 - 12*b**3 - 2*b. Does 22 divide q(-4)?
False
Let t(q) = 81*q + 58. Let j be t(6). Let l = j + -906. Let p = -202 - l. Does 9 divide p?
False
Let o be -2 + (72 - -1) - 1/(-1). Suppose c - o - 38 = 0. Let t = c - -79. Is t a multiple of 19?
False
Let h(i) = -61*i - 66. Let j(w) = -2*w**2 - 6*w + 31. Let m be j(6). Let f(a) = -946*a - 1023. Let z(l) = m*h(l) + 5*f(l). Is 11 a factor of z(-4)?
True
Is 49 a factor of 42/(1 + (-2977)/3003)?
True
Suppose -2932 - 763 = -25*s - 320. Is 101 a factor of s?
False
Let m(a) = 249*a + 3. Let h(z) = z**3 + 11*z**2 - 6*z + 73. Let i be h(-12). Is 18 a factor of m(i)?
True
Suppose 16*a + 34 = -46. Let d(q) be the first derivative of q**4/4 + 2*q**3 + q**2/2 + 4*q - 1. Is d(a) a multiple of 8?
True
Suppose -g + 11 = -2*h, 5*g = 5*h + 1 + 34. Does 20 divide h/46 + 19322*(-3)/(-69)?
True
Let p be (-590)/(-15) - 1/3. Suppose 2*w + u = p, 4*w - 76 = 66*u - 70*u. Does 10 divide w?
True
Let n(c) = 4*c + 12. Let z be n(-3). Suppose 2*y = -2*y, z = -r - y. Suppose 12*g - 8*g - 120 = r. Is 8 a factor of g?
False
Let i = -2990 - -7139. Is 9 a factor of i?
True
Let s = 45133 - 31273. Is 77 a factor of s?
True
Let t(z) = 6*z**2 + 102*z - 367. Does 20 divide t(26)?
False
Let q(o) = 516*o - 16. Let f be q(3). Suppose -u + 3*a + 209 = -87, -5*u + 2*a = -f. Does 26 divide u?
False
Suppose -23*v + 98396 = -6*v. Suppose 5*w - v = -1913. Does 31 divide w?
True
Let x(d) be the second derivative of d**5/20 + 25*d**4/24 + 5*d**3/2 + 10*d**2 + 3*d. Let y(q) be the first derivative of x(q). Does 13 divide y(-11)?
False
Suppose 0*q + 20 = -5*q. Let k be (5 + q - -6) + -4 + 1. Suppose -16 = -k*y + c + 20, 4 = -c. Is y a multiple of 5?
False
Let a = 23 + 18. Suppose -12*b + a = -67. Suppose 12*c = b*c + 222. Is c a multiple of 33?
False
Let s be ((-5)/3 - -2)*30. Suppose -1409 = -s*u - 129. Is 4 a factor of u?
True
Let n(t) = t**3 - 13*t**2 - 3*t + 34. Is n(18) a multiple of 4?
True
Let s be (-6)/45 - 2976/(-45). Suppose -9*r + s = -6*r. Suppose -17*l + r*l - 110 = 0. Does 8 divide l?
False
Let c(h) be the third derivative of -h**6/120 - h**5/60 + h**4/3 + 7*h**3/6 - h**2 + 25*h. Is 6 a factor of c(-4)?
False
Suppose -y + 86 = 5*x, y - 5*x = -3*x + 58. Let m = -32 + y. Let u = -19 + m. Is u a multiple of 15?
True
Let p = 19 + -4. Let b(m) be the first derivative of -m**4/4 + 17*m**3/3 - 21*m**2/2 - 6*m + 19. Does 32 divide b(p)?
False
Let a(r) be the third derivative of 0 - 19/6*r**3 + 1/8*r**4 + 1/60*r**5 + 0*r + 12*r**2. Does 16 divide a(10)?
False
Let x(d) = -14*d + 38 + 3*d**2 + 3 - 3 - d**2. Is x(5) a multiple of 3?
True
Suppose 10 = 5*x - 2*q, 5*x = 9*q - 4*q - 5. Suppose -3*b + 2*d + 867 = 0, -5*d = x*b - 9*d - 1156. Is 17 a factor of b?
True
Suppose 0 = -3*q - 3*v - 3 + 6, -5*q - 3*v + 13 = 0. Suppose 3*p + 333 = 4*o, -q*p = -14*o + 15*o - 89. Does 25 divide o?
False
Let k be 12/2 + (1646 - -20). Suppose 0 = 113*o - 121*o + k. Does 5 divide o?
False
Let v be (6 + 9)*(1 - 2). Let b = 83 - v. Is b a multiple of 7?
True
Suppose 31*o + 10524 = 43*o. Suppose 3*w = -w + z + o, 4*z + 20 = 0. Is 32 a factor of w?
False
Let r(h) = 23*h**2 - h + 53. Let f(a) = 11*a**2 + 26. Let o(k) = 10*f(k) - 4*r(k). Is o(-6) a multiple of 16?
True
Let z be (-152)/190 - (-30779)/5. Suppose 1295 - z = -9*o. Is o a multiple of 32?
False
Suppose n - 2610 = u, -35*u + 39*u = 16. Suppose -30*b + 7976 = -n. Is 21 a factor of b?
False
Let u = 662 - 714. Suppose g - 3*h = 84, 2*h - 12 = 6*h. Let a = g + u. Is a a multiple of 6?
False
Suppose -4*z - 2603 = 3*f, -3*z - 3*f = 307 + 1646. Is (-5 - -2)/(39/z) a multiple of 10?
True
Let j(b) = -2*b**2 + 191*b - 1119. Is j(79) a multiple of 3?
True
Let t(q) = 217*q + 516. Is t(16) a multiple of 35?
False
Suppose -129*f = -130*f + 2040. Is f a multiple of 10?
True
Let l be (4/(-3))/((-22)/33). Suppose 0 = -l*m + m + 5*q + 7, -q = -4*m - 10. Does 8 divide m/15 - 783/(-15)?
False
Let g = 22315 + -7111. Is g a multiple of 12?
True
Let o(m) = -m**2 + 14*m + 34. Let y be o(-2). Suppose -3*z + y*s + 0*s = -2610, -5*s - 4345 = -5*z. Is z a multiple of 68?
False
Let f(o) = 39*o - 349. Let i be f(9). Suppose -5*h + 25 = 0, 3*y - i*h - 191 - 105 = 0. Does 34 divide y?
True
Let u be (-2005)/40 + (-2)/(-16). Is 12/u*-5*(159 + 1) a multiple of 45?
False
Suppose -96*f = -147*f + 40290. Is 4 a factor of f?
False
Supp