79. Let u = q - -139. Does 8 divide u/6*(36/(-15) - 0)?
True
Let n(m) be the first derivative of -m**3/3 + 3*m**2 + 19*m + 52. Suppose 0 = -4*v - v + 35. Is 4 a factor of n(v)?
True
Suppose 0 = t - 55 + 33. Let a(s) = s - 20. Let o be a(t). Suppose -o*d + 154 = 10. Does 12 divide d?
True
Suppose 28 = -15*p - 137. Does 41 divide p/33 + ((-370)/(-3) - 0)?
True
Let z = 179 + -176. Suppose z*j = 0, 0 = 2*a + a - 5*j - 1488. Is 20 a factor of a?
False
Suppose 0*t - 2 = -t, -t = -3*f - 14. Is 11 a factor of 1/(f/(-28))*23?
False
Let m be 5/((-30)/519) - 5/10. Let v = 285 + m. Is 18 a factor of v?
True
Let n(d) = -d**2 - 32*d + 61. Let z be n(-34). Let b(u) = -u**3 - 16*u**2 - 89*u - 14. Is 8 a factor of b(z)?
True
Let d(g) = 45*g**2 - 8*g - 48. Does 4 divide d(-6)?
True
Suppose 408965 - 826345 = -108*p + 2227108. Is 53 a factor of p?
True
Let v(q) = 29*q**2 + 6*q - 9. Let o(x) = 29*x**2 + 6*x - 8. Let p(c) = -4*o(c) + 3*v(c). Let h(r) be the first derivative of p(r). Does 42 divide h(-3)?
True
Let x(i) = 1543*i**3 + i**2 - 3*i. Let m(p) = -29*p + 204. Let v be m(7). Does 46 divide x(v)?
False
Let y = -88 + 3622. Is y a multiple of 93?
True
Suppose 124*g = 264*g - 324940. Is g a multiple of 11?
True
Let w(g) = -939*g + 1167. Does 38 divide w(-3)?
False
Let z(o) = -2*o**2 + 2*o. Let p be z(-2). Is 40 a factor of (-11 + -3)/(p/240)?
True
Let z be ((-2)/(-4))/(34/8228). Let w = 166 - z. Is w a multiple of 9?
True
Is -2373*(8 - 221/39)/(-1) a multiple of 51?
False
Let u = -84 + 75. Is (-2 + (-15)/u)*-72 a multiple of 2?
True
Suppose 2*t + 9 = y + 2, -4*t = 8. Suppose 0*s + 15210 = -y*s. Is 1/2*s/(-15) a multiple of 45?
False
Does 47 divide -1 + 4 - (2/6 + 8650877/(-123))?
False
Let g(c) = -384*c**3 - 3*c**2 - c + 2. Suppose 5*p + 19 = -5*z + 4, -4*z - 5 = -3*p. Is 16 a factor of g(p)?
True
Let z(k) = 59*k**2 - k - 80. Is z(10) a multiple of 10?
True
Let a be 3*(-3)/36*-5*4. Suppose 4*t = 5*t - 3*c - 91, -c - 511 = -a*t. Is t a multiple of 6?
False
Let c(v) = -v**3 - 5*v**2 + 2*v. Let i be c(-5). Let h(s) = -s**3 - 11*s**2 - 24*s + 60. Is h(i) a multiple of 25?
True
Suppose i + 3 + 8 = -t, 0 = 2*i - t + 7. Is (-3 - i)*281/3 a multiple of 43?
False
Suppose -4*n - 3*c = -57, 12 = -680*c + 684*c. Does 12 divide n?
True
Suppose -11*b - 4*b = b. Does 3 divide b + 0 + (-4 - -7)?
True
Let l(j) = 28*j + 8. Let r(h) = 56*h + 17. Let t(u) = -7*l(u) + 3*r(u). Let x be (-45)/30 + 63/12*2/(-3). Is t(x) a multiple of 27?
True
Suppose 10*p - 8*p - 1408 = 0. Is p a multiple of 8?
True
Let g(f) = 24 + 26*f + 14*f - 207*f**2 + 209*f**2. Does 12 divide g(-20)?
True
Let a = 6625 + 809. Does 18 divide a?
True
Let s = 68 + -66. Suppose m + 14 = -4*i, -s*i + 4 = 4*m - i. Suppose 440 = 5*n - 8*q + 3*q, -m*n = -q - 178. Is 9 a factor of n?
True
Let i(o) = 8*o**2 - 23*o - 3. Let b be i(3). Suppose -4*w = -b*w - 5772. Is w a multiple of 57?
False
Let b(w) = 92*w**3 - w**2 + w. Let d be b(1). Suppose -52 - d = 8*y. Is (2480/y)/(-1) + 26/117 a multiple of 31?
False
Suppose 67889 + 1511360 = 161*f. Does 112 divide f?
False
Let v(l) = -8*l + 8. Let d be v(1). Suppose -10*u + 114 + 866 = d. Is u a multiple of 22?
False
Suppose 7888 = 2*j - 4*m, 8*j - 3*m - 11844 = 5*j. Is j a multiple of 8?
True
Suppose -6*y - 348 = -3*n - 8*y, 0 = n + y - 115. Let a = -54 + n. Is 8 a factor of a?
True
Suppose -4*t - 450 = 50. Let i = 200 + t. Does 15 divide i?
True
Suppose 22*d + 6*d = 0. Suppose -4*r + 760 = -4*o - d*o, -3*o - 380 = -2*r. Is r a multiple of 5?
True
Suppose 43*u = 44*u - 89. Let c = u - -294. Suppose y + c = 4*z - 4*y, 5*z = 5*y + 485. Does 13 divide z?
False
Does 57 divide -9 - ((-108)/(-15))/((-2)/1285)?
True
Let t = -50645 + 74825. Does 24 divide t?
False
Suppose 37*a - 4*j + 3268 = 41*a, -5*j + 2451 = 3*a. Is a a multiple of 19?
True
Suppose -135 = -7*s + 12. Suppose 5221 = s*f - 1331. Does 24 divide f?
True
Let n(h) = -h**3 + 3*h**2 + 4*h. Let k be n(4). Suppose 0*q - 389 = q - z, -4*q - z - 1561 = k. Is (-9)/(-36) + q/(-8) a multiple of 19?
False
Suppose -10 = -2*m, 8*j + 220 = 10*j + 4*m. Suppose 78*z - j*z + 9438 = 0. Is z a multiple of 41?
False
Let i(j) = -7*j + 53. Let q(b) = -51*b + 372. Let w(p) = 15*i(p) - 2*q(p). Is w(14) a multiple of 4?
False
Let x(n) = 21*n - 50. Let u be x(7). Let f be 45*(2 - 1) + 2. Suppose -2*o = -f - u. Does 12 divide o?
True
Let k be 366/(3/6 - (-2)/4). Suppose -226 - k = -4*a + g, 129 = a - 5*g. Does 6 divide a?
False
Suppose 0 = -20*o + 18*o + 732. Let j be (-2)/10 - o/(-30). Suppose 224 + 2656 = j*p. Is p a multiple of 10?
True
Suppose 5*r + 4759 = 2*d - 2409, 0 = 5*d - 2*r - 18004. Does 88 divide d?
False
Suppose c + 2*a + 2 = 0, 4 = -7*c + 4*c - 4*a. Suppose i - 3*i - 46 = c. Let h(j) = j**2 + 20*j + 3. Is h(i) a multiple of 18?
True
Let n(q) = 3*q**2 + 6*q + 18. Let z(j) = -8*j**2 - 18*j - 54. Let l(d) = -11*n(d) - 4*z(d). Let o be l(9). Does 5 divide 2/(-3) + ((-498)/o)/2?
False
Suppose -10*u + 83974 = 12*u. Suppose -50*b = -u - 18783. Is 20 a factor of b?
False
Let f(v) = -v**3 - 39*v**2 - 50*v + 328. Does 98 divide f(-38)?
True
Let k = -125 + 129. Let h be (-7)/(1 + (-3 + k)*-2). Suppose 980 = 5*y - 2*r, 3*r - h*r = 3*y - 588. Is 14 a factor of y?
True
Let j be (-57)/(-11) - (-54)/(-297). Let i(o) = 2*o + 25. Is 2 a factor of i(j)?
False
Suppose 6*l - 2*a = 5*l, -4*l = -2*a - 30. Suppose l*m = 8*m + 40. Is 20 a factor of m?
True
Suppose b = -4*j + 202, -2*b - j + 562 = b. Let w(i) = 24*i + 3. Let z be w(4). Suppose -m = q - z, 5*q - 2*m - b = 3*q. Does 23 divide q?
False
Let p be (-5436)/(-24) - (-1)/2*-3. Suppose v - p - 160 = 0. Is 55 a factor of v?
True
Let s(k) be the second derivative of 37*k**4/6 + 11*k**3/6 + 7*k**2 - 10*k - 3. Is 18 a factor of s(-2)?
True
Is 170 a factor of (7/(63/51)*-3)/((-2)/780)?
True
Let a be 6 + 6 + (3 - 18 - -3). Let i(f) = 140*f - 6. Let p be i(5). Suppose -10*n + 826 + p = a. Is 22 a factor of n?
False
Let m(n) = n**3 - 11*n**2 + 33*n + 21. Let l be m(14). Suppose 22*o - 3425 = -l. Does 5 divide o?
False
Let j = -166 - -639. Suppose -11*l + j = -253. Is l a multiple of 6?
True
Suppose -i - p = -4*i + 329, 4*p = -20. Let m = i + -12. Is m a multiple of 16?
True
Suppose a + 4*h = 790 + 2964, -2 = 2*h. Does 150 divide a?
False
Let d = -38 - -42. Suppose -d*z = -z - 18. Suppose 77 = 5*v + 4*k, -v + 2*k + 1 + z = 0. Is 10 a factor of v?
False
Let d(j) = -32*j - 3. Let x(s) = 46*s + 41. Let o be x(-1). Does 36 divide d(o)?
False
Let q(p) = -p**2 - 301*p + 1749. Is 232 a factor of q(-132)?
False
Suppose 0 = -8*g + 3*g - g. Suppose -12*l + 20 + 16 = g. Suppose 3*f - 3*v = l, -2*f - 3*v - 6 = -6*f. Is 2 a factor of f?
False
Let j(h) = -h**3 - 8*h**2 - 6*h + 14. Let s be 8/((-12)/(-3))*36/(-8). Let d be j(s). Suppose n - 3*t - 34 = 0, 4*n - 6*t + 7*t - d = 0. Is n a multiple of 4?
False
Let m = 18625 + -9171. Is 29 a factor of m?
True
Let b(p) = 12*p**2 - 3*p - 1. Let k be b(-5). Suppose 154*o = -295 - 3401. Does 23 divide o/(-6) + k/(-4)*-2?
True
Suppose 0 = -4*k + 3*i + 9 + 6, 0 = -5*k - 4*i + 42. Suppose 4*y - j = k*y - 359, -3*y = -j - 551. Does 7 divide y?
True
Let z = 5434 + -5043. Does 23 divide z?
True
Let z = -4042 + 15485. Is 85 a factor of z?
False
Let p be (-30)/(-8) - (-4)/16. Let m(w) = 9*w + 245. Let l be m(-25). Suppose -p*q + 5*q - k - l = 0, 0 = q + 5*k - 26. Is q a multiple of 9?
False
Is -7*102/119 - (-5134 - 2) a multiple of 45?
True
Suppose -17*m + 1050 = -32*m. Is 12 a factor of 1734/24 + m/(-40)?
False
Suppose 7*p - 3*p - 512 = 0. Let q be (1*(4 - 4))/(1 - -2). Suppose q = -c - c + p. Is 8 a factor of c?
True
Let x = -3116 + 8480. Does 12 divide x?
True
Let k be (-29 - (9 + -19))*-1*17. Let d = k + -162. Is d a multiple of 54?
False
Is (1274/(-70) + 17)/((-3)/((-3795)/(-2))) a multiple of 11?
True
Let o = -146 - -256. Suppose -11*v = -v - o. Suppose n - 82 = -x + v, 5*n = x + 489. Is n a multiple of 9?
False
Let d be (-5)/(-3)*(168/(-35) + 6). Suppose 3*f + r = 3*r + 88, 2*f - d*r = 60. Is 4 a factor of f?
True
Let m(i) = -29 - 47 - 13 + 5*i. Suppose 225 - 309 = -4*s. Is m(s) a multiple of 12?
False
Let u(o) = o**2 + 8*o + 6. Let l be u(-8). Suppose -l*z = -2*z + z. Suppose 3*v - 263 - 37 = z. Is 19 a factor of v?
False
Let m = 236 - -3220. Is m a multiple of 96?
True
Let r(p) = -p**