or of p?
True
Suppose -8 = 4*w, c + 2*w - 420 - 134 = 0. Suppose 3*u + 5*q = -c, -q = u - 2*q + 178. Let y = 298 + u. Is 18 a factor of y?
False
Suppose 0 = -18*m - 113 + 563. Suppose -5 + m = 5*k. Is 54 - k/(-2) - (4 + 0) a multiple of 13?
True
Let q(c) = 8*c**3 - 18*c**2 - 3*c + 17*c**3 - 24 - 28*c**3. Is 24 a factor of q(-7)?
True
Suppose l = -4*k + 1319, k + 2602 = -5*l + 7*l. Is 3 a factor of l?
False
Let g be (1 - 21/49)*(-14)/(-4). Suppose -170 - 142 = -g*p. Suppose 178 = r - 4*h, 3*r + h - 326 = p. Does 7 divide r?
False
Suppose 374 = -2*x + 5*b, 5*x - 9*b + 897 = -6*b. Let o = x - -339. Does 18 divide o?
True
Suppose -2*f + 0*f + 10 = 0. Suppose f*w - 50 = -5*y, 2*w - y - 14 = -5*y. Suppose -2*r + 4*o - 5*o = -w, 0 = -2*r + o + 3. Is r a multiple of 4?
True
Let b(r) = -470*r - 5. Let n be b(-1). Let z = n - 240. Is z a multiple of 15?
True
Let b(y) be the second derivative of y**4/4 - y**3/6 + 19*y**2 - 2*y. Let n be b(0). Suppose -4*s = -n - 10. Is s a multiple of 3?
True
Let b(m) = -2*m + 6. Let c be b(2). Let g(v) = 8 - 30*v + 118*v**2 - 134*v**2 - v**3 + c*v. Is 4 a factor of g(-14)?
True
Is 222 a factor of (-6)/63 + (-62461608)/(-1386)?
True
Let y be (-427)/183 + (-1030)/6. Let r = -11 - 51. Let w = r - y. Is w a multiple of 14?
True
Suppose -z - 52 = -60. Does 11 divide z/(-60) - (-68316)/45?
True
Suppose -4*d + 2924 = -4*a, -396 = -3*a - 381. Is 8 a factor of d?
True
Let g(i) = 4*i - 28. Let t be g(8). Suppose -24 = -0*r - 5*r + 3*d, 4*r = t*d + 24. Is 17/2*(-1 + r) a multiple of 15?
False
Let k(c) be the third derivative of -c**6/120 + 7*c**5/30 + c**4/3 + c**3/6 + 52*c**2 + c. Is k(12) a multiple of 23?
False
Let s(o) be the second derivative of o**4/3 + o**3 - 2*o**2 - 9*o. Suppose -3*t + 13 = -2. Is s(t) a multiple of 15?
False
Let r(b) = 9*b + 161 - 163 + 8*b**2 + 59*b**2 - 20*b**2. Does 24 divide r(-2)?
True
Let w(b) be the third derivative of b**5/12 + 19*b**4/24 + 53*b**3/3 + 134*b**2. Is w(-8) a multiple of 11?
False
Suppose -524141 = -107*w + 283184 + 526323. Is 82 a factor of w?
True
Suppose -2*q + 146 = -0*z + 5*z, 2*q + 2*z - 134 = 0. Suppose -k = t + 2*t - q, 3*t + 93 = k. Is 26 a factor of k?
True
Let r(h) = h**2 - 2*h - 19. Suppose 65 = 2*v + 53. Let b be r(v). Suppose 0 = b*o - 0*o - 5*t - 195, 3*o + 2*t = 97. Does 8 divide o?
False
Let w be 24/(-9) + 2660/3. Suppose 91*b = -x + 86*b + w, 0 = 2*x - 3*b - 1742. Does 38 divide x?
True
Let p = -12103 + 14874. Is p a multiple of 11?
False
Does 83 divide (-104571)/(-12) - (-23)/(92/3)?
True
Let i(d) = -4*d + 144. Let a be i(34). Let j(g) = -g**2 + 14*g - 1. Does 3 divide j(a)?
False
Suppose 6*i - 26 = 82. Suppose -3*r - 129 = p, -r - i = -4*p + 25. Let g = 65 + r. Is 11 a factor of g?
True
Suppose 0 = 2*l + 231 - 237. Suppose 2*r - 6 = -0*r, l*r + 132 = 3*y. Is y a multiple of 2?
False
Let t(c) = 3*c**2 + 14 - c**3 - 15 - 2*c + c**2. Let n be t(3). Let k(r) = 2*r**3 - 5*r**2 + 4*r + 1. Is 5 a factor of k(n)?
True
Let f be 9/(-15) - (-387)/45. Suppose 5684 = f*t - 2748. Is t a multiple of 31?
True
Let m(u) = u**2 - 6*u - 97. Suppose -36*v + 39*v = 57. Is m(v) a multiple of 9?
False
Let a be 3/6 - 23/(-2). Let w be ((-22)/(-33)*-9)/((-2)/11). Let m = w - a. Is m a multiple of 21?
True
Suppose c - 26 = 2*c - n, 4*n + 16 = -c. Is (56/12 - 2)/((-4)/c) a multiple of 4?
True
Let j be 1134/((-1)/(-4)*(24 + -18)). Suppose 4*a - 378 = -3*r + 2*r, 0 = -2*r + 2*a + j. Does 18 divide r?
True
Let f be 6/21 - 260/28. Let k be (12 + f)*((-11)/(-3) + -2). Suppose k*s = 5*g - 980, -4*s - 241 = -3*g + 343. Is g a multiple of 20?
True
Suppose 2*v + 32*a - 145622 = 37*a, -4*a = 2*v - 145694. Does 162 divide v?
False
Let u(l) = l - 2. Let f be u(-22). Let b(m) = m**2 + 25*m + 26. Let z be b(f). Suppose 294 = 4*h + z. Does 11 divide h?
False
Does 24 divide ((5 - 2) + -4395)/(18/(-12)) + -2?
False
Let u(m) = 5*m**2 + 77*m - 33. Let w(r) = 4*r**2 + 76*r - 35. Let i(j) = -6*u(j) + 7*w(j). Does 7 divide i(34)?
True
Let m = -73 - -42. Does 5 divide 3 + -4 - (-1 - 0) - m?
False
Suppose 643298 = -79*u + 719318 + 1154879. Is 33 a factor of u?
False
Let g be 74/9 + 4/(-18). Suppose n - 7 = -3*j - n, -4*j - 3*n = -g. Suppose 2*p = -j*w + 266, 5*p = -4*w + 310 + 321. Does 23 divide p?
False
Does 80 divide (-2)/(-10) - (-8251462)/1165?
False
Suppose -4*x + 4*v = -9520, -3*x + 2559 + 4589 = -5*v. Does 27 divide x?
True
Does 40 divide -861*(-105)/15 + 13?
True
Suppose -4*h - 5 = -1. Let g be h/5 - 7528/(-40). Suppose 8*k - 12*k = -g. Does 14 divide k?
False
Suppose -5*g = -0*g - 45. Let y(o) = -o**3 - o**2 - o - 1. Let w(h) = 5*h**3 - 6*h**2 + 13*h + 19. Let l(f) = w(f) + 4*y(f). Is 15 a factor of l(g)?
True
Let o = -228 - -186. Let l = o + 66. Is 12 a factor of l?
True
Let d(c) = 2*c**2 + 4*c + 7. Let b be d(-2). Is (-20)/(3/2 - (b + -5)) a multiple of 4?
True
Let l(h) = -139*h + 590. Is l(-38) a multiple of 34?
False
Let x(r) = r**2 - 103*r + 4150. Does 16 divide x(0)?
False
Let p(q) = -5*q**2 + 19*q + 30. Let m(x) = 6*x**2 - 20*x - 31. Let d(h) = 4*m(h) + 5*p(h). Let l = -6 + 18. Does 5 divide d(l)?
False
Let l(p) = p**2 - 4*p - 4. Let i be l(8). Let y = i + -28. Suppose 4*v + 7*k = 2*k + 48, y = -5*v + 4*k + 101. Is 17 a factor of v?
True
Suppose -5*a + 9862 = 2*u + 350, -3*a + 2*u + 5704 = 0. Does 5 divide a?
False
Suppose q - 4977 = -117. Suppose -q = -20*i + 11*i. Suppose -10*h + 6*h = -i. Is h a multiple of 17?
False
Is 1 + 12 + 14 + 469 a multiple of 4?
True
Let w be -2 + 1 + -3 - (-7)/(-7). Is w + (-24)/(-4) - -1*22 a multiple of 2?
False
Let y(c) = -c**3 + 11*c**2 - 6*c + 4. Suppose -2 + 8 = -2*f, -5*f - 30 = -5*j. Suppose -3*g + 26 = z, -18 = -0*g - 3*g - j*z. Does 16 divide y(g)?
False
Let a(n) = n + 4. Let z be a(-5). Is ((-3034)/(-123))/(z/(-3)) a multiple of 3?
False
Suppose l + 5*k = -75, -5*l - k - 205 = 242. Let a = -25 - l. Is 5 a factor of a?
True
Is 132738/16 - 5/2*(-22)/(-440) a multiple of 89?
False
Let x = 39 - 22. Let j = x + 83. Let r = j + -63. Is 7 a factor of r?
False
Let v = 682 - 672. Suppose -v = 5*z, -3*y + 24 = y - 2*z. Is 5 a factor of y?
True
Suppose k - 3*o - 17 = 0, -3*k - 3*o - 7 = k. Suppose -k*d + 8*d = -378. Let z = -51 - d. Is z even?
True
Let y = 7398 + -5982. Is 6 a factor of y?
True
Let p = 13 + 7. Suppose -4*f + 4*b + 20 = 0, 0 = -2*f - 2*f - b + p. Suppose f*d - 3*w = 118, -5*d + 81 = 5*w - 69. Does 3 divide d?
False
Suppose -1319*r + 108160 = -1189*r. Is r a multiple of 16?
True
Let m(g) = 48*g - 1. Let x(h) be the third derivative of -h**5/60 + 5*h**4/8 + h**3/6 - 41*h**2. Let a be x(15). Is 6 a factor of m(a)?
False
Let d(t) = -120*t - 244. Let f(u) = 117*u + 245. Let h(y) = 5*d(y) + 6*f(y). Is h(15) a multiple of 29?
False
Let j be 0/(-8*(-3)/(-6) + 3). Let c = 18 + 8. Suppose j = w + c - 278. Does 39 divide w?
False
Let l(s) = -s + 83. Let g be l(38). Suppose -g*y + 33*y = -324. Does 3 divide y?
True
Let v(f) = -f**3 - f**2 - f + 3. Let j be v(0). Suppose 4*l = 3*w - 181, 2*w - 76 - 44 = j*l. Is ((-36)/5)/(-2)*1050/w a multiple of 20?
True
Let l = -474 - -259. Let m = l + 293. Does 6 divide m?
True
Let g = 7352 - 6198. Does 22 divide g?
False
Suppose -4*w = -9*j + 13*j - 38012, 18994 = 2*j - w. Is 59 a factor of j?
True
Let f(d) = -d**3 + 2*d + 7. Let w be f(3). Let v be (-4)/(-14) + 4274/w. Let t = -185 - v. Does 15 divide t?
True
Let o(m) be the third derivative of m**5/30 - m**4/12 + 23*m**3/6 + 23*m**2. Is o(4) a multiple of 5?
False
Let j = -3799 + 5999. Does 195 divide j?
False
Suppose -2*c = 0, 12*r - 2*c - 156 = 8*r. Is 4 a factor of -4 + -6 + 12 + 2*r?
True
Let x(t) = -8*t + 628. Let d be x(0). Suppose 0 = -15*b + 3047 + d. Is 7 a factor of b?
True
Let j = 13441 - 6629. Is 37 a factor of j?
False
Let s(n) = n**3 + 9*n**2 + 8*n - 1. Let j be s(-8). Let k be (8 - 4)/j - 4. Does 17 divide k/(-36) + (-500)/(-18)?
False
Suppose 2*d - 74 = -2*n, -2*n + 54 = -2*d - 0*d. Suppose -4*f - 3*b - b = -84, 4*b = -2*f + n. Is f a multiple of 5?
False
Let n(v) = -3*v**2 + 18*v + 12. Let i be n(-25). Is 27 a factor of (-6)/12 + i/(-6) + 2?
False
Suppose -6858 = -6*n + 3*b + 267768, 3*b - 137304 = -3*n. Does 10 divide n?
True
Let h = -7300 + 11873. Does 23 divide h?
False
Suppose 0 = -z + 4*k + 18, -9*z = -5*z - 5*k - 39. Suppose -z*b = 4*b - 6820. Is b