29 divide c(p)?
False
Suppose 0 = 5*d - 11 + 26. Let l be 1 + (696/d)/4. Let t = 8 - l. Does 13 divide t?
True
Let d(w) = -1572*w - 406. Is 73 a factor of d(-3)?
False
Suppose -j - 21212 = -4*d, 0*j + j - 21220 = -4*d. Is 156 a factor of d?
True
Let v(y) = 6*y + 41. Let r be v(-6). Suppose -g - 29 = -d - 2*g, -r*d + 144 = 4*g. Does 31 divide -2*6/(-9)*861/d?
False
Suppose 5*f = -2*n + 6, -2*f = -5*n + n - 12. Suppose -2*r = f*r + r. Is -2 + 2 + r + 111 a multiple of 13?
False
Let s(m) = 2*m**3 + 9*m**2 + 5*m + 6. Let p be ((-32)/(-24))/(1/(-3)). Let x be s(p). Suppose 0*v + 3*v - 2*g - 592 = 0, x*g + 4 = 0. Is v a multiple of 23?
False
Let z = -1129 + 8881. Is z a multiple of 12?
True
Let h(q) = q**3 + 7*q**2 - 7*q + 17. Let s be -3 + -1 + -6 + (0 - -2). Let w be h(s). Let l(f) = -f**3 + 8*f**2 + 21*f - 10. Does 14 divide l(w)?
True
Let o(n) = -62*n**2 + 22*n**2 + n + 16*n**2 - 6 + 27*n**2. Let h(y) = y - 2. Let w be h(-3). Does 16 divide o(w)?
True
Suppose -4*p - 8 + 23 = -5*f, 2*f + 6 = 5*p. Suppose p = -4*a - 524 + 1424. Does 28 divide a?
False
Let d be (-4)/(-14) - ((-2790)/35 - 8). Suppose -93*f = -d*f - 3795. Is f a multiple of 11?
True
Let f = 1023 + 4697. Does 13 divide f?
True
Suppose 4*x - 8035 + 1627 = -4*o, -2*x = -6*o + 9596. Is 77 a factor of o?
False
Suppose -2*n = 2*j + 10, 24*n - 19*n + 9 = 3*j. Does 51 divide 9637/46 - j/(-4)?
False
Suppose 247*a - 1031319 = 1064970. Is a a multiple of 37?
False
Let r be 35560/98 + (-1)/(-7). Let s = -202 + r. Is 4 a factor of s?
False
Does 89 divide 97922/55 - (90/(-25) + 4)?
True
Let v(u) = u - 4. Let j be v(6). Suppose -j = -2*i, -2*q + 0*q = -3*i - 189. Is q a multiple of 32?
True
Let g(b) be the third derivative of -105*b**4/8 + 5*b**3/6 - 4*b**2. Let k be g(-1). Suppose 0 = -3*q - q + 5*d + k, -352 = -4*q - 3*d. Is 48 a factor of q?
False
Is 18 a factor of 4 + (-18)/5 + (-3)/((-45)/46554)?
False
Let b(m) = 2*m - 3*m - 16 - 4*m + m**2 + 2*m. Suppose -50 = -5*d - 15. Is 12 a factor of b(d)?
True
Let o(q) = -13*q + 112. Let f be o(23). Let d = f - -304. Is d a multiple of 24?
False
Suppose -4 = 5*g + 16. Let f be ((g/10)/1)/((-3)/15). Does 7 divide 47 - (f + 1 + 0)?
False
Let u(a) = -a**3 - 21*a**2 - 3*a + 98. Suppose -4*c - 53 = 31. Does 18 divide u(c)?
False
Suppose 709660 + 193742 = 31*s. Does 9 divide s?
True
Suppose 0 = -62*c + 59*c - 45. Let v be (0 - (-6)/c)/((-4)/10). Is v - -58 - (-32)/16 a multiple of 12?
False
Suppose -6*g = 614 + 118. Let u = g + 121. Is (90/(-3))/u - -2 - -3 a multiple of 35?
True
Suppose -5*y - 4*p = -188, 0 = 2*y - p - 75 - 8. Is 1130 + (-8)/(y/35) a multiple of 16?
False
Suppose 9*y + 2 = 10*y. Suppose -y*g + 2306 = 3*g - 2*j, -3*g + 1392 = -4*j. Suppose -g - 415 = -5*h. Is 25 a factor of h?
True
Suppose -2*t = -4*x + 6, 2*t - 2*x + 4 = -0*t. Does 74 divide 1/(-2)*626/t?
False
Suppose 13*v - 11*v = 4. Suppose -v*s + 1069 = 5*q + s, q - 218 = -2*s. Let y = q - 149. Is y a multiple of 21?
True
Let y(t) = -248*t + 904. Is y(-58) a multiple of 42?
True
Let i(u) = -u**3 - 9*u**2 + 4*u - 8. Let j be i(-9). Let l be ((-11)/j)/(2/40). Suppose l*d - 408 = -128. Is 28 a factor of d?
True
Let q(y) = 8*y - 113. Let f be q(26). Suppose -3*v + 503 = 5*s, s + 0*v = 5*v + f. Is 25 a factor of s?
True
Suppose 5*l + 5*y - 35 = 0, 0*l + l - 16 = -4*y. Suppose -x + 50 = -2*c - 5*x, -165 = l*c - 5*x. Let i = c + 275. Is 55 a factor of i?
False
Suppose 41772*q - 41765*q - 52304 = 0. Does 16 divide q?
True
Let v be -11 + 21 + -30 + 5*1. Let t(p) = -54*p - 31. Does 83 divide t(v)?
False
Suppose 0 = 2*t - 5*b - 1105 - 4328, t - 6*b = 2706. Does 227 divide t?
True
Let r = -7743 - -8210. Does 40 divide r?
False
Let q(u) = 3*u**2 + u + 17. Let n be 2 + -11 + (-4)/(-2). Is 35 a factor of q(n)?
False
Suppose l + b = -39 - 133, 4*l - 2*b = -664. Let n = l + 107. Let g = -33 - n. Is g a multiple of 8?
False
Let y = 9 - -3. Let m be -2*(-3)/(-18) - (-340)/y. Suppose m = d - 2. Is 15 a factor of d?
True
Let f(c) = 2*c**3 + 4*c**2 - 8*c - 6. Let p = -41 + 58. Let d = p - 13. Is f(d) a multiple of 15?
False
Let k(y) be the second derivative of 2*y**4/3 + 19*y**3/6 - 6*y**2 + 31*y. Let g be k(8). Suppose 4*s - 3*z = 861, 3*s + 0*z - g = -4*z. Is 18 a factor of s?
True
Let h(a) = -4*a**3 - 8*a**2 + 3*a + 3*a**3 + 0*a + 10*a**2 - 4. Does 17 divide h(-4)?
False
Is 133 a factor of (1098/305)/(6/6380)?
False
Let v = -5103 + 9071. Is 128 a factor of v?
True
Let q = 164 + -168. Is 2 a factor of (-2 + (-160)/(-50))*(-430)/q?
False
Let o be (-375)/(45/(-9))*17/3. Suppose x - w - o = w, -413 = -x - w. Is 36 a factor of x?
False
Let x(h) = h**3 - 42*h**2 - 22*h - 81. Is 9 a factor of x(43)?
False
Let t be (6/(-5))/(2 - 166/80). Suppose -14*g - 834 = -t*g. Is 14 a factor of g?
False
Let o(d) = 183*d**2 - 559*d + 2225. Is 45 a factor of o(4)?
False
Suppose -8*q - 9*q - 2856 = 0. Let b = -105 - q. Is b a multiple of 7?
True
Let i = 538 + -419. Is 352*(i/14 - 7) a multiple of 11?
True
Let q = -468 - -458. Let y(s) = -4*s + 72. Is y(q) a multiple of 28?
True
Let n be (2/8)/((-13)/(-156)). Suppose -30 = n*z - 9*z. Is 25 a factor of 558/z + 108/20 + -5?
False
Let x(c) = 3*c**2 + 11*c - 17. Let y be x(2). Suppose 2333 + 2869 = y*w. Does 17 divide w?
True
Let r = 48 + -44. Suppose 3*f = 2*f - r. Is 12 a factor of (80/(-6) - 0)*36/f?
True
Let f be (-1)/(-2) + 2*(-39)/(-4). Suppose -4 = 4*v + 4*b, 0*b - 5*b + f = 0. Let i(k) = -9*k + 6. Is 17 a factor of i(v)?
True
Is (-21307)/(-195)*12 + (-2 - (-9)/5) a multiple of 19?
True
Let r be (-7 - 319/(-44))/((-2)/(-56)). Is 10 a factor of 1/(-1)*-339 + r/7?
True
Suppose -2*w = -4746 - 2108. Does 167 divide w?
False
Suppose 12*f = 10*f + 8. Suppose 5*h + 412 = -4*y, 5*h = -y - f*y - 410. Is 11 a factor of (-2)/(-3) - (h/9 + -1)?
True
Suppose -35*g + 517752 = 101*g. Does 52 divide g?
False
Suppose 62*k - 516 = 58*k. Does 6 divide k?
False
Suppose -5*x - c + 117535 - 44630 = 0, 2*c = -2*x + 29162. Is x a multiple of 56?
False
Let u be 320/90 - 20/(-45). Suppose -5*k + 5*q = -1795, -5*k + 3*q + 365 = -u*k. Does 91 divide k?
False
Suppose 231*u - 2734149 = 2607033. Does 63 divide u?
False
Let l(f) = 17 - 30*f - 62 + 57*f - 29*f. Let j be l(-22). Let w(z) = 83*z**2 - z. Is w(j) a multiple of 7?
True
Let w(l) = 24*l**2 + 49*l - 488. Does 92 divide w(16)?
True
Suppose -10*u + 14 + 16 = 0. Suppose 2*q = -3*h + 519, -u*h - 287 = -q + h. Does 6 divide q?
False
Let z(r) = 2*r**2 + 13*r + 18*r + 19 - 6 - 22*r. Let g be z(-9). Let k = g + -64. Does 10 divide k?
True
Let z(b) be the second derivative of -b**5/20 + 4*b**3/3 - b**2/2 - 2*b + 9. Is 16 a factor of z(-6)?
False
Let l(z) = -30*z**3 + 3*z**2 + 6*z - 10. Let k be l(-3). Suppose 1741 = 3*b - k. Is 17 a factor of b?
True
Let s(l) = 2*l**2 - 42*l - 32. Suppose 10*u + 9*u - 418 = 0. Is 2 a factor of s(u)?
True
Suppose -36*x + 46*x = -50. Is (-31864)/(-140) - 2/x a multiple of 12?
True
Suppose -4*m + 1118 = -f + 35000, 0 = -3*f - m + 101555. Is f a multiple of 17?
False
Is 4 a factor of ((-3220)/(-15))/(((-7)/(-63))/((-4)/(-6)))?
True
Suppose -24*s + 12 = -21*s. Suppose 0 = s*b + 3*b - 2296. Is b a multiple of 10?
False
Suppose -164241 = 5*a - 82*a. Does 79 divide a?
True
Is 21 a factor of ((-56)/(-20) + -1)/((48/(-4415))/(-16))?
False
Let r(j) = 29837*j + 903. Is r(2) a multiple of 11?
True
Suppose 5*x - 28 = -13. Suppose -x = -3*u + 93. Suppose -u = -p - 4. Does 10 divide p?
False
Suppose -301 = -12*i - 61. Suppose -10*w + i + 30 = 0. Suppose -16 = -w*g + 4. Does 3 divide g?
False
Let l(w) = -3*w**2 + 18*w + 39. Let q be l(-18). Let d = q - -2124. Does 16 divide d?
False
Suppose -2*d - 52888 = -18*d + 94984. Does 126 divide d?
False
Let b(c) = -c**3 - 9*c**2 - 14*c + 1. Let v be b(-7). Let r be (43*1)/((6/(-24))/v). Does 9 divide 1/((-2)/r) - (17 - 16)?
False
Suppose -4888 = -2*f - 128. Suppose 2*l + 2*l + 5*z - 3185 = 0, 3*l - 5*z = f. Suppose -5*w + l = -5*v, -3*v + 5 + 4 = 0. Does 13 divide w?
False
Let n be 4/6 + -2*(-116)/(-24). Is 23 a factor of 912/40*(-60)/n?
False
Let p(v) = -9*v**2 - 13*v - 34. Let z be p(-9). Let t = 1362 + z. Does 47 divide t?
False
Suppose -137 = -s + 4*t, 0 = -2*s - 8*t + 13*t + 283. Suppose 2*n = o - s, -5*o - n + 697 = n. Does 47 divide o?
True
Let p = -10157 + 19752. Does 19 divide p?
True
Is