 26*d**2 - 17*d + 3. Let b(n) = 2*a(n) - 9*v(n). Let c be (1/(-3))/(2/(-12)). Does 7 divide b(c)?
False
Does 176 divide (2938/(-78) - -4)/((5/528)/(-5))?
True
Let s(y) = 15*y**2 + 2*y - 29. Let k(z) = 8*z**2 + 2*z - 14. Let q(m) = 5*k(m) - 2*s(m). Is 8 a factor of q(-5)?
True
Suppose 52*b - 2*q = 49*b + 69136, -9*q - 23012 = -b. Does 37 divide b?
False
Let v = -107 + 188. Let t = 178 - v. Does 13 divide t?
False
Suppose 80 = b - 101. Let i = b + -151. Is i a multiple of 6?
True
Suppose 102*y - 18918 + 462 = 4596. Does 6 divide y?
False
Suppose -5*v + 5655 = -4*m, -4*m + 3*v - 5695 + 30 = 0. Let j = -627 - m. Is j a multiple of 51?
False
Let b(h) = h + 12. Let s be b(0). Suppose 3*r - 60 = 4*c, 3*r - 48 = -2*c + s. Suppose 0 = -2*v + r + 68. Is 11 a factor of v?
True
Suppose -52*j - 92133 = -334557. Is j a multiple of 42?
True
Let m = 17 + -15. Let t(i) = 8*i**3 - 2*i**2 + 1. Let o be t(m). Is 5 a factor of o/11 - (-4 + 92/22)?
True
Suppose -167*h = -217*h + 135300. Does 82 divide h?
True
Suppose 0 = 4*h + 14*r - 16*r - 158454, 4*h + 5*r = 158475. Does 18 divide h?
False
Let y = -164 - -166. Suppose -y*t + 74 = -t + 3*r, -5*t = -r - 290. Is 4 a factor of t?
False
Suppose 2*k + 10*s = 6*s + 18, -4*s = -12. Suppose 4*n + 5*g = 366 + 943, -k*n - 4*g + 981 = 0. Is n a multiple of 14?
False
Suppose 0 = -4*c - 11*c - 30. Does 5 divide c/(-2) + 101 - (2 - 5)?
True
Let c be ((-28)/(-2))/(7/322) + 2. Suppose c = 11*x + 8*x. Is 34 a factor of x?
True
Let z(j) = 7030*j - 3411. Is z(4) a multiple of 15?
False
Let p be ((-660)/9 + 2)*(-120)/16. Suppose -p = -2*d - 2*i + 5*i, -4*d + i + 1085 = 0. Does 16 divide d?
True
Let g = -43 - -47. Suppose 3*u + g = 2*i, -7 = -4*i + 4*u + 5. Does 19 divide i/20 + (-1515)/(-20)?
True
Let w(d) = 62*d**2 - 490*d + 5610. Is 99 a factor of w(11)?
True
Suppose -5*q + 45 = j, q + 4*j = 5*q - 12. Let a(d) = -47 + q*d + 13 + 22. Does 10 divide a(14)?
True
Let v be (-195)/(-13) + -10 + 1 + -1. Suppose -8*w + 5460 = v*w. Is 28 a factor of w?
True
Let k = 632 + -610. Suppose 11*c = k*c - 4103. Is c a multiple of 39?
False
Let m(a) be the second derivative of a**5/10 - 5*a**4/12 + 2*a**2 + 15*a. Let q be m(3). Suppose q = -10*f + 173. Is f a multiple of 8?
True
Let d = -1003 + 3444. Does 56 divide d?
False
Let q(b) = -b - 8. Let f be 120/(-140)*1*14. Let x be q(f). Suppose 0*g + g = u - 119, -x*u - g + 451 = 0. Is u a multiple of 38?
True
Suppose p - 2*f - 6451 = 0, -871*f = -3*p - 869*f + 19325. Is 10 a factor of p?
False
Let z(q) = q**2 + 13*q - 22. Let o be z(-15). Suppose o*c - 3*c + 4*s - 2644 = 0, -1059 = -2*c - 3*s. Is 12 a factor of c?
True
Let n(c) = -4*c**2 + 3*c + 7. Let p(t) = -4*t**2 + 2*t + 8. Let i(u) = -4*n(u) + 3*p(u). Is i(-6) a multiple of 11?
True
Let v be ((-1)/(-2) + 129/(-6))/(-1). Let d(n) = -n**3 + 21*n**2 - n + 25. Let l be d(v). Suppose -20 = -t + l*s, -4*s + 8*s - 20 = -t. Does 10 divide t?
True
Let y(w) = 24*w**2 - 28*w + 423. Is y(9) a multiple of 9?
True
Let r be (-2)/(-1 - -17*3/54). Is (-930)/(-16) - (-1 - r/(-32)) a multiple of 29?
True
Suppose -387*x + 356*x = 558. Let f(u) be the second derivative of u**5/20 + 17*u**4/12 - 7*u**3/2 - 5*u**2/2 + u. Is f(x) a multiple of 6?
False
Let m(f) = 35*f**2 + 62*f - 1103. Is 11 a factor of m(27)?
False
Let m = 268 - -398. Suppose 2*r - m = -r. Suppose 4*w = r - 66. Is 39 a factor of w?
True
Let o(r) = -5*r**2 + 2*r - 82. Let v(j) = 11*j**2 - 4*j + 164. Let s(t) = 13*o(t) + 6*v(t). Does 3 divide s(14)?
False
Let m(o) = -24*o**3 - 13*o**2 - 116*o + 7. Does 142 divide m(-7)?
False
Let t = -132 - -136. Suppose t*f = -14*f + 864. Is f a multiple of 16?
True
Suppose -45*k = 99*k - 3060576. Is k a multiple of 75?
False
Let i(y) = -y**3 - 11*y**2 - 14*y - 15. Let g be i(-10). Suppose -27*s + g*s = -878. Let d = s - 192. Is 24 a factor of d?
False
Is (-51834456)/(-1863) - (-3 + (-37)/(-9)) a multiple of 5?
False
Suppose -m = 2*h + 395, -h + 2*h - 5*m = -170. Let r = -135 - h. Is 10 a factor of r?
True
Let w(y) = 7189*y + 146. Does 9 divide w(1)?
True
Let g = 6619 - 5711. Is 3 a factor of g?
False
Suppose 0 = 5*o - 1145 + 140. Suppose -4*d + 87 + o = 0. Does 24 divide d?
True
Let a = 6 - 6. Suppose -4*u + u = -a*u. Suppose 8*j + 176 - 1456 = u. Is j a multiple of 16?
True
Let n = 139 + -104. Does 10 divide 5/((-142)/245 - (-21)/n)?
False
Let t be ((-42)/(-15))/((-4)/(-50)). Let v = 82 - t. Suppose -v*f + 832 = -39*f. Is 13 a factor of f?
True
Let c = -4380 - -5357. Is c a multiple of 7?
False
Let i(q) = 3*q**3 + 5*q**2 + 29*q - 750. Is 35 a factor of i(20)?
True
Let z(p) = -p**2 - 13*p + 6. Let u be z(-10). Let v = 38 - u. Suppose 0 = v*b - i - 179, b + i = -3*i + 103. Does 14 divide b?
False
Let y be (6/(-5))/((-2)/5). Suppose 1131 = y*n - 0*n. Does 28 divide n?
False
Let v(q) = 209*q + 414. Is 4 a factor of v(85)?
False
Let a be -4*(-3 - 2 - (-99)/22). Suppose -839 = -2*p + s - 6*s, 2*p - 818 = a*s. Does 36 divide p?
False
Let w be ((-11)/(-2))/((-10)/(-2520)). Suppose 11*l + w = 22*l. Does 42 divide l?
True
Suppose -14*x + 7*x = -28. Let z = x + -1. Suppose 479 = z*g - 52. Does 13 divide g?
False
Suppose n = -1 + 2. Let p be -2 + (n - 2) + 7. Suppose -4 = -p*z - 0, 68 = 5*r - 2*z. Does 3 divide r?
False
Let i = -21 + 12. Let c be (-9)/(((-135)/(-40))/i). Is 14 a factor of (c/18)/(6/441)?
True
Let f(q) = -35*q**2 - 31*q + 17. Let m(k) = -17*k**2 - 17*k + 8. Let i(g) = -4*f(g) + 7*m(g). Does 12 divide i(3)?
True
Is 4 a factor of (0 - 726/(-7))/(127/889)?
False
Let b = -3 + 1. Let l be b - (4/(-8)*538 + 0). Suppose -4*n - l = -5*d, 0*d - 111 = -2*d + 3*n. Does 17 divide d?
True
Let x = -83 - -89. Let p be -2 + 1 + -82 - 0/x. Let m = -70 - p. Is 3 a factor of m?
False
Suppose 3*r + 26 - 1 = 5*d, -5 = -d + r. Suppose 4*l + 0*l = -4*y - 196, 217 = -d*l + 2*y. Is 15 a factor of (-51)/l*(2 + -5)*-5?
False
Suppose 2*x = 100 - 104. Is 42 a factor of (2774/4 + x)*(-174)/(-261)?
False
Let s(l) = -l**3 + 57*l**2 - 106*l + 52. Does 40 divide s(23)?
True
Suppose 8*w - 4537 - 3263 = 0. Suppose 10*i - 15*i = -w. Is i a multiple of 13?
True
Let n = 1768 - 463. Suppose 0 = -2*a - 7*a + n. Does 10 divide a?
False
Suppose 321*i = 349*i - 24360. Is i a multiple of 30?
True
Is (94/(-12))/((-37)/(-74))*(-2 + -175) a multiple of 32?
False
Does 24 divide (794716/12)/29 - (-8)/6?
False
Let m = -53 - -53. Suppose 4*o = -5*q - 196, m*q - 5*o - 75 = 2*q. Does 21 divide ((-19)/(-19))/(q/42 + 1)?
True
Let u = 518 + -515. Suppose 0 = -u*z - 13*z + 13408. Does 25 divide z?
False
Let u(v) = v**3 + 25*v**2 - 25*v + 44. Let r be u(-26). Let d be (-3 - r/(-4)) + (-7)/(-2). Suppose 233 = 5*s - 3*z, -s + 265 = 4*s + d*z. Is 7 a factor of s?
True
Suppose -7*y - 3*k = -4832 - 4128, -y = -k - 1290. Is y a multiple of 6?
False
Suppose -2*k - 4998 = -130*g + 124*g, 3*k = 2*g - 1659. Is g a multiple of 4?
False
Let w be 12/(-15) + 12/15. Suppose -5*r + 2*p = -288, w = -2*r + p + 14 + 102. Does 4 divide r?
True
Suppose 2*x + 5 = r, -3*r - 2 = -3*x - 17. Let d be (3/(9 + x))/(1/3). Is 28 a factor of 3*d*917/21?
False
Suppose -11*u + 136 = -7*u. Suppose -2*y = -y + u. Is 7 a factor of (18/5)/(y/(-10) - 3)?
False
Suppose -230 = -2*w + 154. Let o be 3735/(-30) - 63/(-18). Let c = w + o. Does 7 divide c?
False
Suppose 3*l - 3*n - 1 = 2*n, 2 = -l + 4*n. Let x be -8 + l + -1 + 1. Let w = x + 164. Does 13 divide w?
False
Let h be (-4120)/14 + (-5)/(105/(-6)). Let x = h - -327. Is x a multiple of 33?
True
Let o(v) = v**3 + 79*v**2 + 1027*v - 15. Is o(-17) a multiple of 6?
True
Let v(s) = 266*s**3 + 658*s**3 + 6*s + 1 + 42*s**3 - 3*s**2 - 4. Is 7 a factor of v(1)?
True
Let a be 3*(-6)/18 + 5 + -1. Let h(w) = -3*w**3 + 3*w**2 + w. Let i be h(a). Is 8 a factor of (46/(-1) - -1)*34/i?
False
Suppose 3*c + 4*v - 8 = 2*v, 5*v = c + 20. Suppose c = 3*r + 6, 16 = -a + 3*r + 72. Suppose 5 = -m + a. Is m a multiple of 8?
False
Let p be 0 + 3 + (-4)/(32/(-88)). Is (-297)/2*((-168)/18)/p a multiple of 17?
False
Suppose -59 = -h - 3*p - 0*p, -5*p = -2*h + 173. Let n = h + -57. Let f(v) = -v + 48. Does 11 divide f(n)?
False
Let y be 142/6 + 10/(-15) - 3. Suppose -y*h + 4976 = -504. Is 4 a factor of h?
False
Let a = -448 + -387. Let y = a + 2109. Is y a multiple of 14?
True
Is 4 a factor of (-33*(-1 + (-33)/(-18)))/((-7)/154)?
Fa