False
Let u(y) = 3*y**3 - 4*y**2 - y + 4. Let q be u(2). Let c(s) = s - 8. Let d be c(q). Does 18 divide (-42)/d*11/((-462)/144)?
True
Let g(x) = 1. Let b(c) = -c + 3. Let p(h) = 2*b(h) - 5*g(h). Let a be p(-9). Suppose -17 = -t + a. Is 6 a factor of t?
True
Let n(t) = 14*t**2 + 95*t - 82. Is n(12) a multiple of 39?
False
Let m(t) = 3*t**3 + 2*t**2 + 3*t + 4. Let z be m(-2). Let q be -3 + ((-1311)/z - 3/(-18)). Suppose 340 = 10*v + q. Is v a multiple of 11?
False
Let z(b) = 952*b - 1697. Does 3 divide z(4)?
False
Let b(y) = -y**3 + 6*y**2 - 2*y + 12. Let f be b(3). Let q(s) = s**2 + 2*s + 1. Let d be q(3). Suppose f = k - d. Is k a multiple of 18?
False
Let f = 27 + -10. Suppose -f - 31 = -8*h. Suppose -h*g = -0*g - 1104. Is g a multiple of 23?
True
Let v = -848 + 882. Suppose 0 = 33*d - v*d - 3*x + 1288, -3*d = 2*x - 3871. Does 49 divide d?
False
Suppose 147*t - 151*t = -219324. Does 99 divide t?
False
Let z(q) = 14*q**3 + 8*q**2 - 4*q + 3. Let c = 168 - 166. Does 11 divide z(c)?
False
Suppose j + 79 = -4*i, -24 = -i - j - 43. Does 14 divide -1 + -2 - i/((-180)/(-8127))?
False
Let v(u) be the second derivative of u**4/4 + 8*u**3/3 - u**2 + 5*u. Suppose -t = 0, s + 4*s + 30 = -2*t. Is v(s) a multiple of 8?
False
Let u = 20352 - 11872. Is 160 a factor of u?
True
Let u = 6708 - 2754. Suppose -37*r = -27560 + u. Is r a multiple of 29?
True
Let g = 32 - 35. Let n(u) = -5*u - 5. Let a be n(g). Suppose 6*s + 540 = a*s. Does 25 divide s?
False
Suppose 0 = -4*d - 12, 4*m - 5*d = -0*d + 22179. Does 17 divide m?
False
Suppose -20 + 2 = 9*y. Let t(j) be the first derivative of 5*j**3/3 + 3*j**2/2 - j - 11. Does 2 divide t(y)?
False
Suppose 12*j - 34*j + 176 = 0. Suppose j*l - 1620 = 6628. Is l a multiple of 16?
False
Let j(k) = -k**3 - 5*k**2 + 4*k - 7. Let v be j(-6). Suppose v*n = 4*c + 176, -n - 7 = 4*c - 23. Is 2 a factor of n?
True
Suppose 287*h + 3*w - 18347 = 283*h, h - 4578 = -2*w. Is 56 a factor of h?
True
Suppose -1162*b + 154192 = -1154*b. Does 268 divide b?
False
Let g(v) = -264*v + 497. Is 4 a factor of g(-6)?
False
Let d(y) be the first derivative of y**4/4 + 5*y**3/3 + y**2/2 + 5*y - 1. Let f be d(-5). Suppose f = -k - 0*k + 3*r + 24, 2*r = k - 20. Is 5 a factor of k?
False
Suppose -60*x = 67*x - 5454015. Does 32 divide x?
False
Suppose -34*u - 8714 = 24*u - 211482. Is 10 a factor of u?
False
Let y(t) = 101*t + 218. Is 14 a factor of y(19)?
False
Let p = -88 - -74. Let g be 30/14 - (-2)/p. Let r(t) = 22*t**3 + 3*t**2 + t - 1. Does 27 divide r(g)?
True
Suppose -r + 4*m + 6 = 0, r = 2*m + 24 - 20. Suppose -r*o = -3*x + 555, 10*o - 534 = -3*x + 5*o. Is x a multiple of 2?
False
Suppose -28*s = -72*s + 132. Suppose -p + s*o = -1703, -4*p + 17*o = 13*o - 6852. Is p a multiple of 26?
False
Suppose 0*g - 26 = -2*g. Is 19 a factor of ((-37986)/(-24))/g + (-1)/(-4)?
False
Suppose 1368*a - 241800 = 1290*a. Is 50 a factor of a?
True
Let m(f) be the second derivative of 14*f**3/3 - 17*f**2 + 7*f. Let i(l) = -4*l + 5. Let b(a) = -44*i(a) - 6*m(a). Does 9 divide b(5)?
False
Is (-14)/10 - 1183595/350*-2 a multiple of 98?
True
Suppose 100717 = 171*g - 148*g. Does 10 divide g?
False
Let x(r) = -54*r - 63. Let o = -231 + 228. Does 6 divide x(o)?
False
Suppose -28*d + 7362 = -10*d. Let b = 583 - d. Is 5 a factor of b?
False
Let p be 9/(-12)*(-2 + 6). Let u = 5 + p. Is -4 - -3 - 2/u - -70 a multiple of 13?
False
Suppose 3133*p - 9840 = 3131*p. Is 40 a factor of p?
True
Let h(v) = -v**3 + 12*v**2 + 6*v - 12. Let x be h(12). Is 5 a factor of 3/2 + 14310/x?
True
Let g(i) = -9*i**3 + 28*i**2 + 127*i + 90. Is 17 a factor of g(-8)?
True
Suppose 5*f + 3*p + 175 = -p, -4*f + 2*p - 140 = 0. Let i be 10/f + 72/7. Suppose 9*z = i*z - 12. Does 3 divide z?
True
Let w = 14618 - -44440. Does 306 divide w?
True
Let a be 5/1*(-72)/(-120). Suppose -5*b = -a*z - 233 - 29, -3*b + 134 = 4*z. Is 6 a factor of b?
False
Suppose 3*b = -12, -58 = -2*x - 0*b + 4*b. Suppose 3*s = 5*i + 344, -4*s + 2*i + 440 = -0*i. Suppose -3*d + x + 33 = -3*a, -4*a + s = 5*d. Is 10 a factor of d?
True
Suppose 2*d + 20 = 2*c - 2*d, -4*c + 4 = 4*d. Suppose 2*s = 3*n - 2*s - 2996, -c*n - 4*s + 4032 = 0. Is n a multiple of 17?
False
Suppose -5*a = -4*h - 1124, 12*a = 3*h - 7 + 2731. Is 76 a factor of a?
True
Let i(g) = 20*g + 9. Let z be i(-2). Let j = 24 + z. Is (j/(-5))/((-37)/(-925)) a multiple of 3?
False
Let v(g) = -2*g**3 - 10*g**2 + 2*g. Let c be v(-5). Is 27 a factor of (-174)/(((-15)/25)/((-8)/c))?
False
Suppose 5*f - 33465 = -5*b, 33457 = 5*f - 6*b + 7*b. Suppose -2183 + f = 14*x. Is x a multiple of 15?
False
Let b = -50 - -53. Let a(v) = 10*v**2 - 45*v + 10. Let z(p) = 3*p**2 - 15*p + 3. Let h(o) = b*a(o) - 8*z(o). Is 33 a factor of h(6)?
True
Let l = 764 - 792. Let u(x) = -31*x + 15. Is 6 a factor of u(l)?
False
Let t(r) = 582*r**2 - 120*r + 358. Is 77 a factor of t(3)?
True
Is 4 a factor of (0 - 3)/((3/(-502))/(675/270))?
False
Suppose 0 = 2*k - 7*k + 25. Let g(i) = 4*i**2 - 3*i + 2. Let f be g(-5). Let j = f - k. Does 13 divide j?
False
Let o(u) = -5*u**3 - 6*u**2 + 11*u + 6. Let x be o(-8). Suppose -x = 11*z - 14*z. Suppose b = -4*c + c + z, 4*b = 2*c - 456. Does 29 divide c?
True
Suppose -5*y = 4*i - 32, -2*y = i - 4*i + 24. Let w(q) = 15*q - 3. Let r(k) = 4*k - 1. Let p(c) = 9*r(c) - 2*w(c). Is 5 a factor of p(i)?
True
Let y(v) = 2*v**2 + 15*v + 8. Let f be y(-7). Let z be (f - 4)/(18/(-24)). Suppose -3*q + 86 = -z*l, -7*q - 4*l = -2*q - 154. Is 8 a factor of q?
False
Let q(n) = 145*n**2 - 358*n - 32. Does 14 divide q(8)?
True
Suppose 1688 = -3*k + 7*k. Does 47 divide k + (6*1/(-2))/(-3)?
True
Let z = -60 + 58. Let l be (2 + 1)/((-4)/8 - z). Is 17 a factor of 3740/26 - (-7)/91*l?
False
Suppose -i + 5*v = -14885 - 867, -4*i + 63133 = 5*v. Is i a multiple of 24?
False
Let i = 44 + -71. Let q = 33 + i. Suppose 2013 = q*w + 813. Is 29 a factor of w?
False
Suppose 0 = 2*c - 15*c - 19084. Let x = 2488 + c. Is 51 a factor of x?
True
Let b(s) = 13*s**2 + 80*s + 203. Is b(-52) a multiple of 36?
False
Let k(m) = -7*m**3 + 16*m**2 - 3*m - 38. Is 88 a factor of k(-7)?
True
Let l(w) = -96*w + 1793. Does 25 divide l(-29)?
False
Suppose -5*z + 53 = -92. Let b = -195 + z. Let s = b - -456. Does 11 divide s?
False
Let k = 27 - 31. Does 6 divide (6/k)/((-1)/116)?
True
Let y(i) = -1252*i + 284. Is 68 a factor of y(-2)?
True
Let m be ((-5)/(-10))/((-2)/(-504)). Suppose -1170 = -4*y - m. Is 24 a factor of y?
False
Suppose 5*c = -4*k + 6830, 1774*c = 1775*c + 4*k - 1350. Does 4 divide c?
False
Let h = -271 - -274. Suppose -3021 = -4*z - h*j, 0 = -5*z - 2*j + 982 + 2803. Is 33 a factor of z?
True
Let w = 450 - 842. Let k = 398 + w. Is 3 a factor of k?
True
Suppose -4*b + 14 = -6. Let d(o) = -o**3 + 5*o**2 + 2*o - 3. Let t be d(4). Suppose -4*r = -t + 1, -a = b*r - 235. Does 42 divide a?
True
Let a(o) = -o**3 - 3*o**2 + 4*o + 2334. Is a(0) a multiple of 15?
False
Suppose -16*q = 4*q - 3200. Does 20 divide q?
True
Suppose -348 = -4*w + 352. Suppose 37*a - w = 32*a. Is 9 a factor of a?
False
Suppose -172147 = -44*a - 45911. Is a a multiple of 45?
False
Let m = 173 - 164. Suppose 5*t = -2*s + 740, 2*t = m*s - 13*s + 1448. Is 45 a factor of s?
True
Suppose 333 = -21*z - 4245. Let f = 505 + z. Is 41 a factor of f?
True
Let q(p) = -p**2 - 10*p + 5. Let y be q(-10). Let l be y + ((-20)/(-4) - 3)*-1. Suppose -o + 58 = 2*i, o - 83 = -0*o + l*i. Is 17 a factor of o?
True
Let u(c) = 3*c + 19. Let h(r) = 3*r + 20. Let k(y) = -3*h(y) + 4*u(y). Let w be k(8). Suppose -4*q = s - 32, 4*s = -5*q + 6*s + w. Is 8 a factor of q?
True
Let k(h) = 78*h**2 - 3. Let a be k(3). Let z = a + -141. Suppose z = -3*b + 9*b. Is b a multiple of 31?
True
Let i be -5*-4*(57/(-12) - -6). Suppose -5*d + 110 = -t - 695, -i = 5*t. Is 3 a factor of d?
False
Let a(h) = 648*h**2 + 3*h. Suppose -1 = -71*m + 70*m. Is 13 a factor of a(m)?
False
Is (-128380)/(-100) - (-7)/(-35)*-1 a multiple of 34?
False
Let c(t) = 12*t**3 + 2*t**2 - 38*t + 180. Is c(7) a multiple of 43?
True
Suppose -3*s = -v - 6, 0*s + 3*s - 21 = -4*v. Suppose -2*w + 0*o + 721 = -s*o, 1124 = 3*w + 4*o. Does 12 divide w?
False
Let n(d) = d**3 - 7*d**2 + 7*d - 8. Let r be n(6). Is ((-3 - 1076) + 5)/r - -6 a multiple of 7?
False
Let x(j) = j**2 + j. Let t be x(11). Suppose 2*p = -2*p + t.