*v + a*v = 0. Suppose 0*m + m = 4*z - 206, -2*z + 2*m + 100 = v. Is 4 a factor of z?
True
Let q(r) = -2474*r + 170. Is q(-5) a multiple of 19?
True
Let r(c) = -15*c. Let u be r(-4). Does 18 divide u*((-11)/(-5) - 1)?
True
Let h = 91 + -219. Let c = 136 + h. Let l(z) = -2*z**3 + 20*z**2 - 12*z + 10. Is 37 a factor of l(c)?
False
Suppose -2*v = -5*z + 71048, -5*z + 19699 = -v - 51350. Is z a multiple of 318?
False
Let h be 3 + -17 + (2 - (-3 - -3)). Does 3 divide (-6)/((-5*h/340)/(-2))?
False
Suppose 0 = -2*y + 3*y - 2*b - 281, 4*b - 813 = -3*y. Let p = y + 17. Suppose -2*w - 5*f + 290 = 0, 0*w - p = -2*w - 4*f. Is w a multiple of 27?
False
Suppose 37*z - 364617 - 1412340 = 217158. Does 35 divide z?
False
Suppose d + 2*d - 2775 = -3*r, -3*r + d + 2795 = 0. Suppose 15*l - r = 2550. Does 55 divide l?
False
Suppose -3*z = 20*l - 15*l - 52331, -2*z = -4. Suppose -11*j - l = -24*j. Does 27 divide j?
False
Let l(b) = b**2 + 2*b - 4. Let g(x) = x**2 + 3*x - 5. Let z(f) = -2*g(f) + 3*l(f). Let u be z(0). Is (40 - (u + -2)) + -4 a multiple of 14?
False
Let r = -50 - -53. Suppose 0*z + 3*s - 36 = 3*z, 36 = -r*z + 5*s. Let u(p) = -5*p - 12. Is u(z) a multiple of 12?
True
Suppose -4*h + 19*w + 58931 = 0, -2*h + 0*w = -w - 29525. Does 3 divide h?
True
Suppose -7*q = 24*q - 155. Suppose -q*d + 5104 - 1049 = 0. Is 22 a factor of d?
False
Suppose -3*v + 9 = 3. Suppose 421 = 5*n - 4*a, -2 = -0*a - v*a. Does 41 divide n?
False
Suppose 0 = n + 2*v + 292, 3*n - 4*v + 874 = -8*v. Let u = n + 102. Let r = u + 373. Is r a multiple of 33?
False
Let a = 132 + -117. Suppose 0*b - 72 = -b. Suppose -4*d = -m + a, d = 4*m - 3*d - b. Is 12 a factor of m?
False
Does 12 divide -3*1146*(-12)/54?
False
Suppose -4*n = 33*m - 29*m + 12, -4 = -4*n. Does 13 divide 338/13*(-78)/m?
True
Is 66 a factor of ((-33750)/(-600))/(18/(-12) - (-4494)/2992)?
True
Suppose 5*m - 18776 = a, 0 = -4*m - 4*a + 7151 + 7865. Is 14 a factor of m?
False
Suppose -232364 = 134*g - 162*g + 39376. Does 75 divide g?
False
Let i = -31598 + 61770. Is 33 a factor of i?
False
Let m = 43000 - 20058. Is m a multiple of 15?
False
Suppose -2*p - p + 71 = -4*g, 5*p - 2*g = 95. Suppose -p = h - 15. Does 12 divide 1 - h*764/8?
True
Let n(a) = -187*a + 61. Let h(i) = -2*i + 1. Let b(p) = -2*h(p) + n(p). Is b(-2) a multiple of 14?
False
Is 14 a factor of (-14)/(-28)*(5158 - -4)?
False
Let o(z) = -6 + 26*z + 8 + 1 + 10. Does 43 divide o(8)?
False
Let h(g) = -5*g**2 - 17*g - 22. Let u(p) = 4*p**2 + 16*p + 23. Let a(f) = 3*h(f) + 4*u(f). Let q = -104 - -90. Is 40 a factor of a(q)?
True
Let b be -5 + (-4 - -597) + 0. Suppose 29*l = 33*l - b. Does 21 divide l?
True
Let j(v) = 3*v**2 - 60*v + 3. Let b be j(20). Suppose -13 - 2 = -3*p, 5*p = -b*w + 2185. Is 15 a factor of w?
True
Let j(g) = -g**3 + g**2 - 72*g + 140. Let p be j(2). Suppose -2 = 2*w - 18. Let t = w - p. Is 16 a factor of t?
True
Suppose 2*t + 0 = 4. Suppose -3*d = 3*i - 375, -140 = 7*d - 8*d + t*i. Is d a multiple of 61?
False
Let z(j) = 5*j**3 - 4*j**2 - j - 5. Let v be z(4). Suppose 3*i + i - v = -5*a, -184 = -3*i - 4*a. Is 4 a factor of i?
True
Suppose -29*m + 1480 = -4523. Let k = -99 + m. Does 9 divide k?
True
Suppose 12*x - 10*x - 8 = 0. Suppose -3*g = 2*j - 6*g + 786, -2*j - 790 = -x*g. Let a = j - -577. Is a a multiple of 10?
True
Let y(s) = -96*s**2 - 183*s - 4. Let o be y(-2). Suppose -10 + 120 = 2*p. Does 22 divide 10*1/p - 2416/o?
True
Let a(b) = 286*b**2 + 74*b + 10. Is a(-4) a multiple of 65?
True
Suppose 448867 + 160641 = 106*y + 64032. Is 166 a factor of y?
True
Suppose -7*h + 61589 + 40443 = -0*h. Is 54 a factor of h?
False
Suppose -j + 67 = 4*b, -6*b + 2*b - 5*j + 47 = 0. Let p be (-24)/b + 2/(-3) + 35. Is 11 a factor of (-2)/(-18)*p*21?
True
Let t = -7 - -9. Suppose -4*j = 2*h - 74, j - 2*j = 2*h - 17. Suppose -t*k = -j - 23. Is k a multiple of 7?
True
Let r be 114/27 + (22/(-18) - -1). Let h(y) = -y**3 + 3*y**2 + 5*y - 4. Let i be h(r). Suppose i = 3*o - 196 - 20. Is o a multiple of 24?
True
Let y = -281 + 283. Suppose -3*d + x = -537, 0 = -y*x + 7*x + 15. Does 89 divide d?
True
Let l be ((-24)/(-2))/((-15)/80). Suppose -1020 = -5*k - 5*m, -3*m = -4*k - 0*m + 788. Let f = k + l. Does 29 divide f?
False
Let w(f) = f**3 + 9*f**2 - 13*f + 10. Suppose 0 = -5*s, 0 = -3*y - 0*s - s + 45. Suppose 22 = -2*a - 2*c, -3 = -a - 2*c - y. Does 5 divide w(a)?
True
Suppose -7*m - 393176 = -20*m - 21*m. Is m a multiple of 118?
True
Let z(b) be the first derivative of 7*b**6/15 + b**5/60 + 4*b**2 + 4. Let x(u) be the second derivative of z(u). Is x(1) a multiple of 19?
True
Let b be (-1330)/(-56) - (2/(-8))/1. Suppose -34*f + b*f = -5370. Is 29 a factor of f?
False
Suppose -80*y + 43*y + 849246 = -108129. Is y a multiple of 33?
False
Suppose -4*q = -0*y - 4*y + 1800, 5*y - 2236 = -2*q. Let g = 789 - y. Does 22 divide g?
False
Let s(f) = -251*f**3 + f**2 + 3*f + 2. Let p be s(-1). Suppose -2*z + p = -63. Is 9 a factor of z?
False
Let j(n) = 4702*n**2 + 75*n - 18. Is 315 a factor of j(3)?
True
Is 19590*(9 - 731/85) a multiple of 6?
True
Suppose -2*j - 11 = 5. Let r be (-6)/24 + (-370)/j. Suppose q + 3*v = r, v - 17 + 205 = 3*q. Is 16 a factor of q?
False
Let y(i) = -12 + 47*i**2 + 57*i**2 - 108*i**2 + 61*i. Is 2 a factor of y(15)?
False
Suppose -3*h = a - 20503, -a = -3*h + a + 20518. Is h a multiple of 118?
False
Let j(z) = 149*z - 1. Suppose -252*x - 2 = -254*x. Is 12 a factor of j(x)?
False
Let h be 5 + -7*(-50)/35. Is 8 a factor of (-194)/8*(h - 23)?
False
Let n = -89 - -109. Let d(o) = 2*o**3 - 15*o**2 + 10*o - 9. Let t be d(7). Let v = n + t. Is 8 a factor of v?
True
Suppose -5*t + 19260 = -4*u, t - u - 6017 = -2166. Does 2 divide t?
True
Is 9 - 12/(-6)*(3625 + -2) a multiple of 123?
False
Let y be (-286)/(-3) - 16/(-24). Let d = -343 - y. Let c = 629 + d. Does 19 divide c?
True
Does 20 divide 20497280/768 + (-2)/12?
False
Let c = -9 + 10. Let a(t) = 190*t - 17. Is 32 a factor of a(c)?
False
Let h(z) = z**3 + 3*z**2 - 15*z + 26. Let g be h(-6). Is 22 a factor of -7 + g - (-678)/3?
False
Suppose -2*b - b + 348 = g, 233 = 2*b + g. Suppose 17*y = 22*y - b. Suppose 26*s - 153 = y*s. Is s a multiple of 6?
False
Let p be 2/4*-1 - 283/(-2). Let t = p - 67. Does 8 divide t?
False
Let r(l) = -98*l - 51. Let p be r(-10). Let f = -444 + p. Does 44 divide f?
False
Suppose 469*u + 9326 = 2*r + 473*u, 3*u = -5*r + 23329. Is 13 a factor of r?
True
Suppose 0 = -4*z + 54113 + 9871. Is z a multiple of 186?
True
Let q(c) = 970*c**2 + 8*c + 124. Is q(-5) a multiple of 16?
False
Suppose 89*o - 136692 = 70856. Does 34 divide o?
False
Let b = 20812 + -16531. Does 22 divide b?
False
Let p = 11449 + 7313. Is p a multiple of 59?
True
Let t(x) = -x**3 - 3*x**2 - x - 3. Let a be t(-3). Suppose -4*u - 5*y - 77 - 151 = a, -2*y = 8. Let i = u + 70. Is i a multiple of 3?
True
Suppose 0 = w + w + d - 6506, 2*w - 6498 = -5*d. Does 9 divide w?
False
Let i = -11240 - -30586. Does 34 divide i?
True
Let j(m) = 40*m - 20. Let p be j(4). Suppose -8*w + 3*w = -p. Is w a multiple of 14?
True
Is 30 a factor of 150/315*-3*-2373?
True
Let l(u) = 42*u**2 + 0*u**3 - u**3 - 45*u**2 + 10 + 0*u - 2*u + 0. Is 9 a factor of l(-4)?
False
Let q(o) = -8*o + 8. Let l be q(-11). Let z = 395 - l. Is 23 a factor of z?
True
Suppose -21*i - 37*i + 181834 - 45302 = 0. Is i a multiple of 7?
False
Let f(m) = -788*m**3 - 18*m - 15. Does 11 divide f(-2)?
True
Let a(d) be the first derivative of 18*d**2 - 47*d - 23. Let u be a(5). Suppose -5*b - 363 - u = -3*n, -2*n = 2*b - 304. Is 28 a factor of n?
False
Suppose 6*q - 23884 = -1626 + 1754. Does 48 divide q?
False
Suppose 25 = 6*b + 1. Suppose 3 = r + h, -5 = r - 3*h - b. Suppose 2*g - 261 = -o + r*o, 2*g = 5*o + 265. Is g a multiple of 10?
True
Let t(a) = -2*a**2 - 32*a - 108. Let m be t(-7). Suppose -14*r + 23616 = m*r. Is r a multiple of 35?
False
Suppose -39*v = -34*v. Suppose -8*q + 2264 = -v*q. Is 11 a factor of q?
False
Suppose -5*d - g + 177 = 0, 0*d + d = g + 33. Let j = d + -11. Suppose -4*z - 2*n = -j, 0 = 8*n - 3*n + 10. Is 7 a factor of z?
True
Let u(i) be the third derivative of -i**4/12 + 71*i**3/6 + 9*i**2. Does 3 divide u(14)?
False
Let i = 52911 + -29209. Does 14 divide i?
True
Suppose 285035 = 109*p - 963859 - 313076. Is 179 a factor of p?
False
Let