2*w**2 + 39*w + 52. Let v(p) = p**2 + 8*p - 11. Let y be v(-5). Is 26 a factor of t(y)?
True
Let y(n) = 17*n**2 - 8*n - 21. Let h be y(-5). Suppose 5*o - 123 = 2*q - h, -4*q = o - 653. Is 3 a factor of q?
False
Suppose 4*h = -p + 82548, -26131 = 3*h - 2*p - 88053. Is h a multiple of 86?
False
Let f(m) = -6*m - 16. Let d be f(-3). Suppose -2*h + 6*h - 1365 = -5*c, -d*h + 10 = 0. Is 21 a factor of c?
False
Let z(j) = -12*j**3 - 9*j**2 + 54*j + 4. Does 114 divide z(-8)?
False
Suppose 9 = 3*j - 3. Does 3 divide 393/15 + (72/15 - j)?
True
Let c(t) = 16*t - 58. Let i be c(6). Suppose 49*d - i*d - 4092 = 0. Is 43 a factor of d?
False
Let n = 15587 + -10462. Is 4 a factor of n?
False
Suppose 11*r = -3*r + 210. Let f = 61 + r. Is f a multiple of 23?
False
Suppose -n = -7*n + 414. Let t = n + -64. Suppose 4*u - 628 = -r, t*u - 455 = -r + 330. Is 10 a factor of u?
False
Does 8 divide 102/6 + -19 + 8905?
False
Suppose 13157 - 533 = 6*q. Does 36 divide q?
False
Let t(b) = -b**2 + 12*b + 4. Let a be t(7). Suppose -j - 2*j + 39 = 3*q, 3*j - 4*q = a. Let i = 19 - j. Is i a multiple of 3?
True
Let x = -19342 - -53740. Is 26 a factor of x?
True
Let x(d) = 889*d + 4657. Does 111 divide x(5)?
True
Let y = -26 + -385. Let c = y + 782. Does 53 divide c?
True
Let r = -235 - -260. Suppose 10*y = -4*a + 6*y + 2852, -5*y = r. Is a a multiple of 71?
False
Suppose 28*n - 46 = 26*n. Suppose -9*b - 294 = -n*b. Is b a multiple of 7?
True
Suppose 0 = -53*u + 52*u + 5*r + 26255, 3*u - 78755 = 5*r. Is 125 a factor of u?
True
Suppose 121*d + 54*d = 302925. Does 3 divide d?
True
Suppose 0 = 218*l - 194*l - 342864. Does 41 divide l?
False
Suppose 0 = -14*v + 102830 + 44336 + 10614. Is 6 a factor of v?
False
Let l(m) = -m**2 - 2*m + 49. Let j be l(7). Let x be 12/(-18) - j/3. Suppose 5*r + 40 = -5*b + 310, b + x*r - 69 = 0. Is b a multiple of 44?
False
Let c = 725 - 75. Suppose 0 = -3*p + 3*l + 981, -2*p - 5*l + c = -8*l. Is 35 a factor of p?
False
Does 38 divide -3762*-12*4/(-216)*-6?
True
Is 65 a factor of ((-74944)/84)/(-2) + (-14)/147?
False
Suppose -7*i = 5*i - 24. Suppose -3*s + 2*s = -2*m - 184, -5*s = -i*m - 880. Is s a multiple of 58?
True
Let x = 36 - 35. Suppose 0 = -3*d + a - 40, 5*a - 4 = 2*d + x. Let y(u) = -u + 48. Is 15 a factor of y(d)?
False
Suppose 0 = -5*n + 3*m - 4*m - 21, 0 = -5*n + 2*m - 18. Let h be 98/n*(-11 - -9). Suppose h = 3*r - 11. Is 5 a factor of r?
True
Does 109 divide 88604/12 - (200/(-150) - 1/(-1))?
False
Let n = 11623 + -6270. Is 14 a factor of n?
False
Let h(s) = -6*s + 38. Suppose b - 3 = 7. Let v be h(b). Let w = v + 51. Is 7 a factor of w?
False
Let x = 280 - 118. Let i be ((-1)/4 + x/(-24))*2. Is 1*((-6)/i - 1892/(-77)) a multiple of 25?
True
Suppose 0 = 18*p + 3*p - 258804. Does 26 divide p?
True
Is -2*(-50076)/130*(6 + -1) a multiple of 9?
True
Is 5 a factor of (1650/220)/((-20)/(-2512))?
False
Suppose 2*b - b - 3*v + 2 = 0, 5*b + 3*v + 10 = 0. Let k(q) = -68*q + 48. Does 3 divide k(b)?
False
Is (0 - 0) + 1540 - -1 a multiple of 67?
True
Is 5 a factor of ((-13)/(-39) - 1/(-3))/(32/9360)?
True
Let m = -448 + 223. Is ((m/10)/15)/(6/(-140)) a multiple of 5?
True
Let p(w) = 116*w - 38. Let m be p(-7). Let b = -360 - m. Is 27 a factor of b?
False
Let d = 7 + 1. Suppose 0 = -0*p + d*p - 1440. Is p a multiple of 15?
True
Suppose 13*z - 19*z - 4*z + 7460 = 0. Does 6 divide z?
False
Let t be (2349 - (0 - -1)) + 513/171. Suppose -2*p - 6*z = -z - t, 0 = 3*z - 9. Does 33 divide p?
False
Let o(q) = 1822*q + 2813. Is o(4) a multiple of 13?
True
Let j(c) = -2*c**2 + 18*c - 11. Let y be j(6). Let l(d) = -d**2 + 27*d - 47. Let u be l(y). Suppose -111 - 24 = -u*r. Is 9 a factor of r?
True
Let q be (3*-1)/(-1) - (53 - 52). Suppose -5*g - 3*r + 550 = 0, 0 = -q*g + 4*r - 0*r + 194. Does 14 divide g?
False
Let x(j) = 8*j**2 - 4*j - j - 3*j - 5 - j**3 + 4*j. Suppose 0 = 4*s + 5*d - 30, 5*s - 16 = s + 2*d. Is x(s) a multiple of 10?
True
Does 4 divide (3/1)/(-6)*(3 - 69)?
False
Let y = 125 + -123. Is 43 a factor of (-6)/y*(-387)/3?
True
Let k(t) = t**3 + 50*t**2 - 147*t - 2. Is 88 a factor of k(-46)?
True
Let s = 20 - 15. Does 13 divide s/(30/(-112))*399/(-76)?
False
Suppose -25*k = -14*k - 7755. Let c = -251 + k. Is 24 a factor of c?
False
Suppose 2*a + 5*l = 11, 0*a + 4*l = -2*a + 8. Let i(s) = -2*s. Let n be i(a). Is 13 a factor of 1/n + 11625/60?
False
Let c(l) = 2*l**2 + 11*l + 8. Let w be c(-7). Let z be w/(-2)*(-24)/(8 + -4). Suppose -2*b = -153 - z. Is b a multiple of 10?
True
Does 19 divide -54 - -65 - (-1787 - 1)?
False
Let q(r) = 770*r + 3546. Does 12 divide q(-3)?
True
Let i(t) be the first derivative of t**4/6 - t**3/6 - 5*t**2/2 + 14*t - 11. Let k(b) be the first derivative of i(b). Does 31 divide k(-4)?
True
Let w(j) = -56*j - 1165. Let o be w(-21). Let t be 969/6 - 1/(-2). Suppose 113 = o*u - t. Does 5 divide u?
True
Let z be (2 + -4)/((-5)/15*2). Suppose -5*t - 4*f + 682 = 0, z*f - f = -4*t + 542. Does 16 divide t?
False
Let p be 2636 + (-4 - (-6 + 8)). Suppose -5*o + p = 5*h, 5*o - 10*o = -h + 538. Is 22 a factor of h?
True
Let s = 10808 + -7991. Does 2 divide s?
False
Let c(l) = 31*l + 3. Let p be c(8). Let r be -7*23 + (7 - (4 + 3)). Let m = r + p. Is 12 a factor of m?
False
Let p = -4381 + 7333. Suppose p = 6*x - 348. Does 50 divide x?
True
Let g(a) be the third derivative of a**5/30 - 37*a**4/24 - 43*a**3/6 + 22*a**2. Is 60 a factor of g(30)?
False
Let q(r) = -63*r**3 - 6*r**2 - 188*r + 48. Does 172 divide q(-10)?
True
Let f be -2 - ((-18)/27 + 11/3). Does 29 divide 1/(f/6090*-6)?
True
Let z(n) = -8*n**3 - 9*n**2 - 8*n + 27. Let o be z(-6). Does 11 divide (49/147)/(1/o)?
False
Let x = 5883 - 5327. Does 6 divide x?
False
Let c(b) = b**3 + 7*b**2 + 54*b - 777. Does 13 divide c(8)?
False
Let y = 1514 - -1602. Suppose y - 372 = 4*z. Does 14 divide z?
True
Suppose -140*w + 117*w = -283774. Is w a multiple of 199?
True
Let n(y) = -5*y + 215. Let v be n(43). Suppose v = -3*g + 152 - 50. Is g even?
True
Let z = -292 + 296. Suppose -3*a - 259 = -3*b - 34, -z*a + 330 = 5*b. Is b a multiple of 22?
False
Let r(a) = -a**2 - 11*a - 6. Let j be r(-10). Suppose -3*y - j = -4*o - 128, -3*y = -2*o - 128. Suppose -5*g + 20 = 0, w - 6*w = -4*g - y. Is 2 a factor of w?
True
Let t(z) = -z**3 + 7*z**2 + 10*z - 18. Let d be t(8). Let r be (2 + -3)*(d + -3 + 3). Suppose -s - 5*j + 83 = 0, -r*s - 2*s + 376 = -2*j. Is 9 a factor of s?
False
Let d = -5 + 17. Let x = 14 - d. Is (-58)/(-1) + 4/x a multiple of 15?
True
Is (-319896)/(-84) + 2/(-7) a multiple of 17?
True
Suppose -3 = 7*x - 38. Suppose x*t + 4*l - 1134 = 3*t, -t - 5*l + 561 = 0. Does 20 divide t?
False
Let v = -323 - -317. Is (-2186)/v + 2*(-3)/18 a multiple of 13?
True
Let a = 1508 - 595. Is 11 a factor of a?
True
Suppose 0 = 817*y - 776*y - 652392. Is 234 a factor of y?
True
Let n be (2 - 4)*(-9345)/(-42). Let r = n - -489. Is 23 a factor of r?
False
Let a = -14 - -22. Let d(b) = a*b + 8 - 9*b + 3 + 9. Is 2 a factor of d(18)?
True
Suppose 26442 = 32*b - 23206 + 14320. Let t be (3 + 9)*25/(-4). Does 23 divide ((b/(-2))/(-2))/(t/(-50))?
True
Let m be ((-8 + 0)*2)/(12/(-3)). Let c(p) = 2*p**2 + 7*p + 5. Let z be c(-6). Is 1*(z + m + -2) + 1 a multiple of 6?
False
Suppose 29*z - 34*z = -15. Suppose -z*c + 6*v = 3*v - 219, 3*v = 9. Is 4 a factor of c?
True
Let l(i) be the second derivative of -i**4/12 + 26*i**3/3 - 285*i**2/2 - 30*i + 1. Is l(28) a multiple of 9?
True
Suppose 50*h = 12673 - 2052 + 10029. Does 3 divide h?
False
Let w be 117/(-52)*-16*46/8. Let r = w + 321. Is 24 a factor of r?
True
Let q(w) = -10*w + 121. Let y be q(12). Is 8 a factor of (1094*2)/2 - (-6)/y?
False
Is 7 a factor of 581624/920 - 1/5?
False
Suppose 12*x = 3*x + 54. Suppose x*n - 3335 = -875. Is n a multiple of 16?
False
Suppose -3*f + 3*t + 12 = t, 3*f + 5*t - 12 = 0. Suppose f*y - 175 = 5*c, c + 3*c = -3*y + 139. Suppose a - y - 50 = 0. Does 19 divide a?
True
Is (-11)/(-33)*-2 - 17843/(-3) a multiple of 159?
False
Suppose 2682*o + 152014 = 2699*o. Does 19 divide o?
False
Let x(w) be the second derivative of 31*w**3/6 - 12*w**2 + 16*w - 3. Does 14 divide x(5)?
False
Suppose 173*v = -33*v + 33*v + 1277432. Is v a multiple of 13?
True
Let q = 7151 + -4191. Does 8 divide q?
True
Suppose -v = -i - 4*v + 9, -7 = 5*i + 2*v. Is 71 