se 0 = -5*u + 5*y - 1650, 2*u + 661 = -0*y + 3*y. Let f = -240 - u. Is f a multiple of 13?
False
Let o(i) = 519*i**2 + 105*i + 655. Does 53 divide o(-6)?
True
Let m(b) = -b**2 - 3*b + 26. Let v be m(-7). Is 9 a factor of (-422)/v - ((2 - 8) + 3)?
False
Suppose -106*a = -114*a - 18 + 18794. Is 22 a factor of a?
False
Suppose l = -x - 50 - 16, -190 = 3*x + l. Suppose 5*c + 4*q + 157 = -37, 2*c - q = -75. Let g = c - x. Does 8 divide g?
True
Suppose -u + 53 = -4*s, -4*u + 2*s = u - 247. Suppose 10*z + u = 2429. Is 17 a factor of z?
True
Let d(z) = -z - 7. Let a be d(-10). Suppose 7*t + a = 10. Does 28 divide 25 - (3 + t + -7)?
True
Let o = -19374 + 38932. Is 307 a factor of o?
False
Suppose 0*x = -4*x + 3*x. Suppose 29*o - 26*o = x. Suppose 4*p + o = 524. Does 8 divide p?
False
Suppose -19*z + 295711 = -150219. Is z a multiple of 45?
False
Let t(l) = -5*l + 17. Suppose -14*b = -6*b + 32. Let z be b - -3*(40/(-12) - -3). Is t(z) a multiple of 14?
True
Let s(l) = 30*l + 111. Suppose -3*x - 2*y = -29, -17*x + 18*x - 7 = 2*y. Is 9 a factor of s(x)?
False
Suppose -4*c + 5*c = -3*n + 14, 0 = -5*n + c + 10. Suppose -p - n*t = 352, 0 = 3*t + 16 - 1. Let s = -241 - p. Is s a multiple of 12?
True
Suppose -4*a + 5255920 = 94*a + 1842384. Is 16 a factor of a?
True
Let u = -132 + 223. Let l = u + 15. Is l a multiple of 7?
False
Let y = -115 - -117. Suppose -p - 363 = -y*m, -m + 2*p - 174 = -2*m. Is m a multiple of 20?
True
Suppose -z + 258*a + 5164 = 253*a, 2*a - 10256 = -2*z. Does 34 divide z?
True
Let z = -80 - -88. Suppose 3*w - 5*s - 979 = 0, 2*w + 4*s - 674 = z. Does 21 divide w?
False
Let r(c) = c**3 - 19*c**2 + 16. Let h be r(19). Suppose -2*q = -2*k + h, 6*q - 2*q - 3 = -3*k. Suppose 5*j + 32 = 3*y + 9*j, k*j = 5*y - 65. Is 3 a factor of y?
True
Suppose 0 = 2*j - 2*s + 21 + 19, -4*s + 102 = -5*j. Let l(q) = q**3 + 14*q**2 + 3*q + 43. Let u be l(-14). Does 26 divide ((-1067)/j)/(u/2)?
False
Does 63 divide (-17177 + 12 - -2)/(-5 - -4)?
False
Suppose -23*b = 15*b - 114. Suppose 2*n + 2*f - 334 = -b*f, 684 = 4*n + 2*f. Is n a multiple of 10?
False
Let t = -30329 - -57377. Does 203 divide t?
False
Suppose 5*n - 56 = 34. Suppose k + 0*k - n = -5*f, 5*f - 6 = 3*k. Suppose -7 = f*a - 43. Does 12 divide a?
True
Suppose 4*x + 724 = 4*a, 0*x + 911 = 5*a - 3*x. Let g = -106 + a. Let u = g + -28. Does 25 divide u?
True
Suppose -4*y - j = 1 + 6, y = -2*j. Suppose 4*w + 15 = 7*w. Does 9 divide w - -47 - -2*(-2)/y?
True
Let j = -1661 + 777. Let l be ((-38)/8)/(13/j). Suppose -4*x = 35 - l. Is x a multiple of 12?
True
Let o = 14349 - 1101. Does 16 divide o?
True
Let w(o) = -15*o - 9. Let k be w(41). Is k/12*(-3)/2 a multiple of 6?
True
Let p = -8152 - -8632. Is p a multiple of 120?
True
Let w(a) = -a**2 + 2*a + 9. Let y be w(0). Let t(n) = 25*n - 7. Is t(y) a multiple of 41?
False
Let q(v) = -108*v + 638. Is q(-5) a multiple of 19?
True
Let q(r) be the third derivative of r**6/120 + 17*r**5/60 - 4*r**4/3 - 16*r**3/3 + 62*r**2. Is q(-18) a multiple of 21?
False
Let v(f) = -f**3 - f**2 - f + 1. Let z(r) = r**3 + 7*r**2 + 35*r - 92. Let d(l) = -2*v(l) - z(l). Does 27 divide d(12)?
True
Let j(z) = 20*z + 10. Let d(y) = -2*y + 30. Let g be d(18). Let s(l) = l**3 + 4*l**2 - 15*l - 16. Let u be s(g). Is 4 a factor of j(u)?
False
Let l be 2/12*3*62. Let v be 82*(-1 + 21/14). Let c = v - l. Does 3 divide c?
False
Let p = 2125 + -342. Let x = -702 + p. Does 67 divide x?
False
Let s(h) = h**3 - 9*h**2 + 10*h + 4. Let w(d) be the third derivative of d**5/60 - 5*d**4/24 - d**3 + d**2. Let v be w(7). Is 6 a factor of s(v)?
False
Let i(l) = -2*l**2 - 13*l + 71. Let t be i(8). Let v = t + 603. Is v a multiple of 17?
True
Suppose 4*f = 0, 13*j - 9*j + 12303 = 7*j + 3*f. Is j a multiple of 106?
False
Suppose -4*y - 4*d + 462 = -110, -d = -y + 147. Suppose -2715 - y = -11*b. Does 5 divide b?
True
Suppose -4*v = v + 15. Is (-8)/(-4*v/60*-1) a multiple of 2?
True
Let m = -1191 - -848. Suppose 0 = -14*g + 6270 + 1360. Let o = g + m. Does 29 divide o?
False
Suppose 0*m + 2*l = -m + 198, 5*m - l = 1023. Suppose m = 13*k - 7*k. Is k a multiple of 30?
False
Let y(g) = -g**2 + 38*g + 2. Let a be y(38). Suppose a*x + 91 = 9*x. Is 10 a factor of x?
False
Let z = 181 - 176. Suppose g - 1138 = -f, -3*g + 3410 = -6*f + z*f. Is g a multiple of 13?
False
Let y(j) = 114*j**2 - 4*j - 5. Let o be -2 + (-4)/(-1) + (-2)/2. Let q be (o + -3)/(10/(-15)*-3). Does 17 divide y(q)?
False
Let d be 4*-1*((-2310)/(-24))/11. Let c = d - -66. Is c a multiple of 2?
False
Let v = 432 - 428. Suppose -250 = -t + 2*y, 0 = -2*t - v*y + 538 - 6. Does 78 divide t?
False
Is 6 a factor of (4/9)/((-298)/(-447))*30897?
True
Suppose 6*y = 70322 + 1018. Is 145 a factor of y?
True
Suppose -5*y - 1165 = j, -3*y + 5*j - 961 = y. Is 22 a factor of (-2)/(-13) - 15408/y?
True
Let t be (6/(-4))/(6/(-8)). Suppose t*j - 60 = 106. Let o = j - 46. Is 4 a factor of o?
False
Suppose 2*k = 8 + 6. Suppose 4*q = k*q + 4*q. Suppose q = -5*n + 5*a + 190, 0*n + 3*n - 114 = -2*a. Does 5 divide n?
False
Suppose p - 270 = -3*b, -58*b + 53*b + 1400 = 5*p. Let h = p - 57. Does 12 divide h?
True
Does 175 divide (-6 - (-4495)/20)/(-2 - 676/(-336))?
True
Let l(w) = -w**3 + 6*w**2 + 6*w + 4. Let h be l(7). Let g be (2214/(-8))/h - (-3)/4. Is 11 a factor of (-1)/(-1 - g/(-96))?
False
Suppose 33*k = 276*k - 34992. Does 17 divide k?
False
Let o = 21796 + -11300. Is o a multiple of 5?
False
Let t = 1139 - -50. Suppose -4*y + t = -43. Is 44 a factor of y?
True
Let x = 13320 + -6600. Does 28 divide x?
True
Let b(r) = -r**3 - 12*r**2 - 16*r + 10. Let i be b(-9). Let o = 138 - i. Is o a multiple of 52?
False
Suppose -3*i = -9 - 87. Suppose -19*k = -i*k + 2873. Is k a multiple of 13?
True
Let q be ((-909)/(-21) - 2) + (-4)/14. Suppose -4*f = -q - 35. Suppose 107 = -18*o + f*o. Is 24 a factor of o?
False
Suppose 269*z - 276*z + 14231 = 0. Does 12 divide z?
False
Suppose 4256*x = 4242*x + 20790. Does 15 divide x?
True
Let d(s) = 6 - 7*s**2 - 15 + s**3 - 2*s + 4*s. Let p be d(7). Suppose -p*a = 5*n - 2*a - 535, n + 5*a - 129 = 0. Does 13 divide n?
True
Let v(t) = -14*t + 298. Let s be v(25). Is ((-1573)/s + -13)/((-6)/(-208)) a multiple of 47?
False
Does 173 divide (-5577520)/(-372)*(-9)/(-6)?
True
Suppose -4870*z - 507654 = -4891*z. Does 102 divide z?
True
Let w = 3709 + -2542. Is w a multiple of 56?
False
Is 16 a factor of -16017*(-9)/27 + -11?
True
Suppose 19501 = 5*c + 19874 - 86773. Is c a multiple of 240?
True
Suppose -3*a - y - 2*y + 60 = 0, 3*y = a - 12. Let z(k) = -k**2 + 19*k - 21. Let t be z(a). Is 4 a factor of t/(-5) + (-66)/(-15)?
False
Is -2 - -7 - 3452/(-19 - -15) a multiple of 22?
False
Suppose 29*i = 107*i - 2594280. Is 44 a factor of i?
False
Let x = 162 - -150. Is 4 a factor of x?
True
Let p = -22 + 62. Suppose p = 6*c - c. Suppose 5*d + c = 3*d, d - 404 = -4*z. Is z a multiple of 22?
False
Let j(f) = -3*f**2 + 12*f + 2. Let x(l) = 7*l**2 - 25*l - 5. Let g(u) = 5*j(u) + 2*x(u). Let w be g(10). Suppose w*z - 6*z + 18 = 0. Is z a multiple of 2?
False
Let i(w) = -w**2 + 22*w + 16. Let c = 308 + -300. Does 8 divide i(c)?
True
Let g(j) = -4*j + 8. Let f be g(2). Suppose f = 4*c - 8. Suppose -5*p = c*p - 252. Is 7 a factor of p?
False
Let x be (0 - -4)*(13 - 12). Suppose x*s - 20 = 0, 3*s + 25 + 14 = w. Let j = w - 7. Does 25 divide j?
False
Let p(f) = 5*f**3 - 4*f**2 - 7*f + 5. Let q(j) = -j - 37. Let n be q(-41). Is p(n) a multiple of 10?
False
Let z = -28282 - -44290. Does 15 divide z?
False
Let r = -725 + 1493. Suppose 4*a = -2*j + 512, 5*a - r = -3*j + 2*a. Does 32 divide j?
True
Let c = 23 - 60. Let k = -33 - c. Does 31 divide ((-2)/3)/(k/(-6))*68?
False
Suppose 5*w - 5*v + 156 - 26 = 0, -v = -2*w - 57. Suppose -2*g - 22 = -124. Let b = g + w. Does 4 divide b?
True
Is ((-21)/(-14) - 3) + 5/(50/18615) a multiple of 10?
True
Suppose -8*l + 3*l + 3*v - 766 = 0, 5*v + 142 = -l. Let s = 279 + l. Is 9 a factor of s?
False
Let a = -187 - -665. Let k = a + 206. Does 18 divide k?
True
Suppose -5*d + d - 2*h = -5258, -5*d - 5*h = -6585. Let z = -487 + d. Does 15 divide z?
True
Let p = 28467 - 12205. Is 173 a factor of p?
True
Suppose g - 3*u = 2*u + 11, g - 8 = 2*u. Suppose -g*z = -53 + 191. Let t = 61 + z. Is 5 a factor of t?
False
Let u(a) = -914*a + 14