 u(t). Is 8 a factor of z/90 + 2/(-5)?
False
Let o(t) = -t**2 - 43*t - 32. Suppose -4 = -4*j - 20. Let p be -3 - (144/6 - j). Is 34 a factor of o(p)?
True
Let f be 14/(-8) + 7/(-28). Let z be 1/f - (-923)/26. Let t = z + 55. Does 18 divide t?
True
Suppose 33*s = -27382 + 158359. Does 49 divide s?
True
Suppose -2*r - 5*r + 6477 = -2721. Is 28 a factor of r?
False
Let i = -12181 - -15921. Does 6 divide i?
False
Suppose -2699*p = -2701*p + 4. Let j(x) = -8*x - 7. Let t be j(-5). Suppose p*y - t = 101. Is y a multiple of 6?
False
Let o = -18899 - -30119. Is o a multiple of 204?
True
Let c(v) = -v**2 - 55*v + 48. Let s = 519 + -542. Is 14 a factor of c(s)?
True
Let y = 20 + 573. Let m = 1102 - y. Does 12 divide m?
False
Let x(a) = -38*a**2 + 3*a - 17. Let v be x(-4). Let q = -142 - v. Does 55 divide q?
True
Does 229 divide 1459247/177 + 1/(-3)?
True
Let p(j) = 5*j - 785*j**2 + 48 + 825*j**2 - 17*j. Does 40 divide p(4)?
True
Suppose -10183 - 10421 = -34*c. Is c a multiple of 3?
True
Suppose 0 = 2*i + 2*m - 19662, -25 = m - 24. Is 94 a factor of i?
False
Let i(x) = x**2 + 16*x - 463. Let m be i(0). Let s = 581 + m. Is s a multiple of 5?
False
Suppose -270918 = -72*t - 124*t + 22*t. Is 2 a factor of t?
False
Suppose 2*v + 2*v = k + 132, 4*k = 0. Let o(f) = f**2 - 5*f - 148. Does 42 divide o(v)?
False
Let t(r) = -7*r**3 + 19*r**2 + 54*r - 28. Is 41 a factor of t(-9)?
False
Suppose 2*d - d = -5*s + 13, 2*s - 4 = -d. Let h be 160/s - (-14)/21. Is h/((-1)/(-6) + 9/18) a multiple of 17?
False
Suppose -407922 - 442094 = -101*l. Is l a multiple of 4?
True
Suppose 4*t = 2*t - 3*r + 18, -4*r = t - 19. Suppose -14*f + 2*p = -10*f - 4544, t*p = 3*f - 3414. Does 94 divide f?
False
Let c(w) = -w**3 + 25*w**2 - 5*w + 26. Let a = 630 - 606. Is 27 a factor of c(a)?
False
Suppose 0 = 4*g + 4*j, 3*j - 11 = 2*g - 36. Suppose g*s + 49 = 304. Let o = 77 - s. Is o a multiple of 5?
False
Let q be (4 - 91/21)/(1/21). Is 23 a factor of (0/7)/q - -333?
False
Suppose 2*b + 5 = 39*c - 34*c, 4*c + 4*b = -24. Let w(p) = 80*p + 2. Let v(d) = -161*d - 3. Let r(t) = -6*v(t) - 13*w(t). Is 11 a factor of r(c)?
True
Let q(r) = 3*r**3 + 2*r**2 - r + 2. Let o be q(-3). Let n = o + 18. Let j = n + 57. Is j a multiple of 8?
False
Let v = -17003 + 27933. Does 19 divide v?
False
Suppose h - 2*n - 99 = -2*h, -2*n = 0. Let c = -51 + h. Let l = c - -58. Does 5 divide l?
True
Let l(g) = -g**2 + 39. Let b be l(-6). Suppose -2*d + i + 1410 = -b*i, -4*d = -3*i - 2835. Is 23 a factor of d?
False
Suppose 26*q + 161 = 49*q. Suppose -4*p + 68 = -2*o, 9*p = q*p + 5*o + 18. Is p a multiple of 2?
False
Let p = -4 + 7. Let i(z) be the first derivative of z**4/2 + 2*z**3/3 + z**2 + z - 48. Does 18 divide i(p)?
False
Let i(q) = 16*q**2 + 13*q + 10. Let l be i(6). Does 64 divide (4/(64/l))/((-1)/(-34))?
False
Suppose -42 = 5*g + 2*m, -6*m + 2*m = -g - 26. Let q(x) = x**2 + 10*x + 71. Is 63 a factor of q(g)?
False
Let t = 23 + -23. Suppose t = 8*w - 5*w + 39. Let r(s) = s + 43. Is 6 a factor of r(w)?
True
Suppose -5*l - p = -0*p - 80, -2*p + 16 = l. Suppose b = -4*f + 4496, 8*f - 4520 = 4*f + 5*b. Suppose -3125 = -l*q - f. Is q a multiple of 20?
False
Suppose 110*g = 160048 + 123092. Is g a multiple of 2?
True
Let i(u) = 168*u**2 - 168*u - 331. Does 21 divide i(-2)?
False
Let f be -3 + (4 + -2)*(-7 - -5). Does 15 divide f/(140/(-12)) - (-1281)/15?
False
Suppose -y - o + 21240 = 0, 106200 = 5*y + 232*o - 228*o. Is y a multiple of 59?
True
Let g = 17078 + -6504. Is 14 a factor of g?
False
Suppose 4*v - 8629 = 5*g, 2*v + 5*g - g - 4334 = 0. Is v a multiple of 72?
False
Suppose -219158 = -13*h + 50740 + 115305. Is 225 a factor of h?
False
Let l(i) = -12 - 30*i**2 - 3*i + 2 + 2 + 11. Let q be l(2). Let j = q - -147. Is j even?
True
Suppose -4*x + 4*i + 4906 + 95598 = 0, -i - 200959 = -8*x. Is x a multiple of 39?
False
Let g(y) = -2*y**3 - 2*y - 1. Let w be g(-1). Suppose 19 = -b + 3*t, -2*b = w*b + 2*t + 78. Let f = 24 - b. Does 33 divide f?
False
Is ((-7)/(-5))/((-347)/(-140535)) a multiple of 9?
True
Let p(f) = -f**2 + 4*f + 10. Let s be p(-3). Is (-7 - -10)*(2 - s) a multiple of 2?
False
Let b(y) = -9*y - 15. Let w be b(-7). Is w - -1 - (-51)/(-17) a multiple of 46?
True
Let y(w) = 832*w - 1454. Does 17 divide y(8)?
True
Suppose 0 = 98*g - 8642 - 432652. Is g a multiple of 33?
False
Suppose -21 = -4*a + 5*c, -4*a + 0*c - 4*c = -12. Suppose 5*y = -3*w + 868 + 884, a*y = -w + 591. Does 30 divide w?
False
Suppose 44*l - 6526 = 42*l + 5320. Does 6 divide l?
False
Let x(b) = -7769*b - 365. Does 8 divide x(-1)?
False
Suppose -15 = 17*r - 20*r + y, -5*r = -2*y - 24. Suppose 2*w + 1172 = r*w. Is 28 a factor of w?
False
Let c(r) = -r**3 - 21*r**2 - 493. Is 3 a factor of c(-24)?
False
Let g(n) = 4*n**2 - 56*n - 8. Is g(24) a multiple of 67?
False
Let i(w) = w**3 + 16*w**2 + 9*w + 16. Let f be i(-12). Let n be (-2)/((-2)/(3*10/15)). Suppose -88 = -q - 2*v - n*v, 2*v + f = 5*q. Is 32 a factor of q?
True
Suppose 0 = j - 6*j + 10, 2*j + 106 = 5*p. Suppose 0 = 7*r - 91 + 77. Suppose r*c = 106 + p. Is c a multiple of 11?
False
Let z(p) = 4*p - 11. Let c be z(4). Suppose -12 = 3*n, -4*j + c*n = -5*j + 29. Let f = j + -46. Is f a multiple of 3?
True
Suppose 291 = 12*f + 15. Let t = 51 - 32. Let c = f + t. Is 15 a factor of c?
False
Does 4 divide (978/(-5))/(((-81)/432)/((-70)/(-8)))?
True
Suppose -78*h - 104 = -79*h - 2*w, 0 = -2*h - 2*w + 218. Let d(j) = -j**2 - 60. Let m be d(0). Let u = m + h. Is 18 a factor of u?
True
Suppose 7*k = 18 - 53. Let b(l) = l**3 + 4*l**2 - 8*l - 15. Let z be b(k). Suppose -h + 59 - 8 = z. Is 7 a factor of h?
False
Let a = 295 - -489. Let l = a + -697. Does 14 divide l?
False
Suppose -6 = 512*x - 515*x. Suppose -l + 3*q = -716, -x*q + 12 = 4. Does 14 divide l?
True
Let r be 2 + 993/(-12) + 69/92. Is 14 a factor of r/(-6)*3276/130?
True
Let s = -55 - -59. Let b be ((-5)/s - -1) + (-1406)/8. Let f = -47 - b. Is 21 a factor of f?
False
Suppose 94*k + 157872 = 105*k. Does 66 divide k?
False
Let d(n) be the first derivative of n**6/120 - n**5/20 - 17*n**4/24 + 13*n**3/3 + 20. Let m(j) be the third derivative of d(j). Is m(6) a multiple of 8?
False
Is 7 a factor of (1 - 15/(-2))*(-3)/(33/(-1628))?
False
Suppose 2*q - 30 = -i, 10*i + 4*q + 164 = 15*i. Suppose 37*j + a - 2658 = i*j, 519 = j - 4*a. Does 12 divide j?
False
Suppose -5*q = 20, -5*a - q + 20 - 4 = 0. Suppose -3*n = 3*r - 531, 7*r + 364 = 2*n + a*r. Is 20 a factor of n?
False
Let u = 2683 + -1337. Is 4/(-14) - (u/(-7) + 2) a multiple of 23?
False
Let c(t) = -t**2 - 11*t + 3. Suppose -2*y + 7*y = -55. Let p be c(y). Does 8 divide (-1)/(4/(-176)) + p?
False
Suppose 0 = 87*w - 58637 - 98572. Is w a multiple of 9?
False
Suppose 121201 = 3*v + y, -30*y = -26*y - 4. Is 62 a factor of v?
False
Suppose 0 = 7*j - 340 - 143. Let d(f) = 2*f**3 + 2*f**2 + 4*f. Let l be d(-3). Let k = j + l. Is k a multiple of 3?
True
Let k be (316/16)/(3/12). Let z(g) = -6*g - 1. Let b be z(-4). Let w = k - b. Does 3 divide w?
False
Suppose -5*a - 5*g - 20 = 0, 0 = -0*a - 2*a + 3*g - 18. Suppose 21*y = 17*y + 4*d - 60, -5*d = 2*y - 12. Does 2 divide (-40)/(-6)*y/a?
True
Suppose 651*z = 707*z - 590352. Does 159 divide z?
False
Suppose -4*f + 8 = r, 2*r + f = -0*r + 2. Suppose r = 21*p - 13*p - 912. Suppose -2*g + p + 28 = -5*j, -3*j = 5*g - 324. Is g a multiple of 6?
True
Let k be ((-16)/(-10))/((-10)/(-6475)). Is 8 a factor of k*(3 - (-114)/(-42))?
True
Let w = -15747 - -31920. Is w a multiple of 4?
False
Let n(z) = z**3 + 20*z**2 - 57*z - 6. Does 35 divide n(-22)?
True
Suppose 11*w - 25*w = 22*w - 168480. Is 26 a factor of w?
True
Let a(v) = 28*v + 536. Let k be a(-8). Suppose -4*y = -4*z - 5 + 29, 0 = -y + 1. Suppose 0 = -11*o + z*o + k. Is o a multiple of 21?
False
Let o(p) = 3*p**2 - 78*p - 2700. Is 20 a factor of o(-80)?
True
Let r(o) = 68*o + 128. Does 16 divide r(12)?
True
Let p(c) = -c**3 - 11*c**2 + 14*c - 16. Let a be (-9)/27 + 35/(-3). Let r be p(a). Let t = r + 46. Does 6 divide t?
True
Let m = 79 - 77. Suppose 4*z = -m*d + d + 17, -2*z = 2*d - 16. Suppose -114 = -d*p + 2*p. Is p a multiple of 16?
False
Let h(y) = -4*y - 76. Let v be h(-20). Suppose 283 = -5*g + 5*c + 958, -2*g + v*c + 268 = 0. Is g a multiple of 13?
False
Let o(p) = p**3 + 12*p**2 + 8*p - 2.