14*u - 1013. Is 45 a factor of g(1)?
True
Suppose -4*f + 1892 = 3*u, -3*u = -0*u + 3*f - 1887. Is 12 a factor of u?
True
Suppose -28*d = -9*d - 38. Suppose 0 = d*p + 5*m - 6*m - 165, 4*m + 93 = p. Does 3 divide p?
True
Let i(j) = -j**3 + 6*j**2 - 7*j - 12. Let d be i(6). Let c = d + 55. Is 8 a factor of (1 + -2)*(-28 - c) + 1?
False
Let u be (-210016)/200 + (-4)/(-50). Is 25 a factor of (u/(-28))/((-3)/(-52))?
True
Let j(o) = -10 - 3*o - 4*o**3 + 10 - 4*o**2. Suppose -14 = -3*i - 4*b, -2*b + 7*b = -4*i + 17. Is j(i) a multiple of 16?
False
Suppose -8649 = -11*n + 5508. Suppose -m - n - 6478 = -5*z, 3*z - 4651 = -m. Is 15 a factor of (-2 - z)/(-2)*2/6?
False
Let d(l) = -8*l**2 + 2*l. Let i be d(1). Is 83 a factor of ((-20)/i)/(23/9591)?
False
Let p(t) be the first derivative of -22*t + 9*t**2 - 20 + 22*t. Is p(2) a multiple of 12?
True
Let h be (4 - 2)/(2/(-19)). Let o(a) = -57 + 19*a**2 + a**3 - 45 - 41 + 0*a**3 + 171. Does 28 divide o(h)?
True
Let q(m) be the first derivative of -63*m**2/2 - 28*m - 212. Does 7 divide q(-2)?
True
Let g = -167 + 53. Suppose 5*y + 3*w = -40 - 510, 5*y + 550 = 4*w. Let k = y - g. Is 2 a factor of k?
True
Let y = -42 - -44. Let t be y/(-4) - (-110)/(-4). Let z = t + 41. Does 8 divide z?
False
Suppose 4*u - 1 = -r - 3, -2*r + 9 = -5*u. Suppose -2*m - 2*o + 93 = o, -3*m + 146 = -r*o. Suppose -s + 3*s - m = 0. Is 21 a factor of s?
False
Suppose -10 = 2*r + 3*r. Let g be (5246/215)/(1/(-5)*r). Suppose -m - 4*c = -26, -c - 48 = -5*m + g. Is 11 a factor of m?
True
Suppose 15 = -3*l + 24. Suppose -l*v + 44 = -2*y, -2*y + 7 = -v + 3*y. Does 14 divide v?
False
Let g be 50*(0 + (0 - 1)). Let x = g - -122. Is 18 a factor of (-2014)/(-7) + x/252?
True
Let i(q) = -15*q - 3. Let b be i(-1). Does 10 divide (8/(-12))/(b/(-24660))?
True
Suppose -5*q + 16*i + 37750 = 12*i, -5*i = 25. Is q a multiple of 77?
True
Let p = -422 + 638. Does 27 divide p?
True
Is 5 a factor of 685/(21*(-8)/(-5544))?
True
Let n = -767 + 2466. Is 69 a factor of n?
False
Suppose 298618 = 355*p - 1895282. Does 206 divide p?
True
Let l(h) = h + 53. Let v be l(-24). Suppose -240 = 23*w - v*w. Is 2 a factor of w?
True
Let j = 1179 + 52. Is j a multiple of 16?
False
Let c = -5344 - -9194. Is c a multiple of 70?
True
Suppose -6 + 0 = 3*u, -3*u + 510 = c. Let l = c - 354. Does 15 divide l?
False
Suppose h - 5*o = 2*h - 118, -5*o = 3*h - 344. Let r(y) = -2*y**3 - 50*y**2 - 52*y - 144. Let g be r(-24). Let c = g + h. Is 35 a factor of c?
False
Suppose 0 = -j - 3*b - 13, -j - 6 = b + 3. Let h = -5 - j. Does 3 divide ((-118)/(-12) - -1) + h/12?
False
Let y(o) = -o**3 - 11*o**2 - 14*o + 5. Let n be -3 + 5/1 + (2 - 5). Let l be (n + -1)*5*(1 - 0). Is y(l) a multiple of 4?
False
Let u(t) = -56*t - 14. Let s(w) = w. Let r(n) = 12*s(n) + u(n). Let a be r(-4). Is 9 a factor of (22/33)/(2/a)?
True
Suppose 0 = 5*j - 4*u - 52387, 12327 = 3*j - 6*u - 19116. Does 67 divide j?
False
Let c(t) = t**2 + 17*t - 11. Let l be c(-16). Let g be l/3*((-14)/6 + 3). Is 9 a factor of 76/g*(51/(-6) - -4)?
False
Let y = -1367 + 3751. Suppose -6*g + y = 2*g. Suppose -2*x = -5*d + g, 5*d = 3*d + x + 120. Is d a multiple of 14?
False
Let x(n) = n**3. Let a be x(-2). Let y be (-4)/(-1 + (-6)/a). Suppose -5*k = -2*c - 88, -5*k - 2*c = -y - 76. Does 9 divide k?
True
Let n(u) = u**3 + 6*u**2 - 44*u - 21. Let o be n(-10). Suppose 15469 = 12*x + o*x. Does 15 divide x?
False
Let h be ((-3)/(-2) - 6/4)*-1. Suppose h = -3*p + 475 + 1058. Is p a multiple of 73?
True
Suppose 0*v + 12 = 4*v, -691 = -r + v. Let y = -442 + r. Does 58 divide y?
False
Let h(u) = -u**3 + 2*u**2 + 1. Let r be h(2). Let w(z) = 3*z**2 - z - 5. Let x be w(2). Suppose -k = 3*t - 12 - r, -2*t + 65 = x*k. Does 3 divide k?
False
Let u = -51 - -79. Let x = u - 27. Is 8 a factor of x - (-5 + -1)*8?
False
Suppose -39*j - 2564 = -35*j. Let m = 693 + j. Does 26 divide m?
True
Suppose -224721 = 154*m - 175*m. Does 86 divide m?
False
Suppose 0 = 4*f - 6*f + 256. Let h be (-30)/(-16) - (-16)/f. Is (630/(-280))/(h/(-272)*3) a multiple of 34?
True
Let w(p) be the first derivative of p**5/60 + 11*p**4/24 - 3*p**3 - 11*p**2/2 + 4. Let k(d) be the second derivative of w(d). Is 21 a factor of k(-15)?
True
Let g be (165/(-10) - -3)*-18. Let w be 388 - (1/2)/((-10)/40). Let a = w - g. Does 19 divide a?
False
Suppose 2*b = 0, 3*b = c - 3 - 7. Suppose 0 = 4*l + c*l - 70. Suppose -l*k + 9*k = 304. Is k a multiple of 11?
False
Let q = 134 + 12. Suppose -13*y + q = 3. Suppose y*x = 4*x + 49. Is 7 a factor of x?
True
Suppose -22*k - 26*k + 1192835 - 189731 = 0. Is 54 a factor of k?
True
Let q = 88 - 33. Let k = -51 + q. Suppose -3 = -u, -2*i + k*u = 2*i - 148. Is i a multiple of 40?
True
Let j(d) = 7*d**3 - 3*d**2 - 2*d + 5. Let z be (-12)/8*(-20)/15. Let p be j(z). Let s = 62 - p. Is s a multiple of 8?
False
Suppose 0 = 8*k - 12*k - 524. Let y = -131 - k. Suppose 5*h + 981 - 2461 = y. Is h a multiple of 37?
True
Let c be (-1*(-1)/(-1))/((-4)/16). Suppose c = 5*f - j - 6, -2*j = 5*f - 10. Suppose v + 5*o - 82 = f*o, -2*v = 5*o - 167. Is v a multiple of 20?
False
Let c = -699 - -2777. Does 129 divide c?
False
Let a = -269 - -271. Suppose -a*f + z + 117 + 68 = 0, f + 5*z = 65. Is 45 a factor of f?
True
Let f(p) = 2*p**3 + 65*p**2 + 18*p + 169. Does 17 divide f(-20)?
True
Let u = 147729 - 74726. Does 15 divide u?
False
Suppose -2 - 16 = 3*o. Is (2 - -10)*o*(-4)/18 a multiple of 3?
False
Does 40 divide 3849050/1035 + 30/27?
True
Let t(o) = -o**2 - 150*o - 736. Is 6 a factor of t(-38)?
False
Let n be (-2 - 20)*(3 + 7/(-2)). Suppose -n*x = -17*x + 336. Let o = 97 - x. Does 22 divide o?
False
Let o(g) = g**3 + 9*g**2 + 2. Let z be o(-9). Suppose -2*t + z*a = -116, 5*t + 4*a - 254 = -0*t. Let m = 131 - t. Does 7 divide m?
True
Is 6677/22 - (-45)/(-10) a multiple of 8?
False
Let p = 2 - -13. Suppose -51 = -p*h + 9. Is h a multiple of 4?
True
Let z = -2498 + 7436. Is (-2)/(-18) - (z/(-27) - 5) a multiple of 22?
False
Let v = 19 - 20. Let f be v*6*2*408/(-153). Suppose -r + f = -5. Is r a multiple of 3?
False
Let q = 215 - 225. Let w(y) = -16*y + 119. Is w(q) a multiple of 7?
False
Let s(q) = 67*q**2 - 2*q + 199. Is s(-13) a multiple of 132?
False
Let m(o) = -185*o**2 - 12*o - 17. Let k(c) = 63*c**2 + 4*c + 6. Let u(b) = -11*k(b) - 4*m(b). Does 19 divide u(3)?
True
Let w = 963 + 3717. Is w a multiple of 20?
True
Let o(j) = -13*j**2 - 3*j + 6*j + 4 + 0*j. Let d(k) = -25*k**2 + 6*k + 9. Let r(z) = 2*d(z) - 5*o(z). Does 32 divide r(-2)?
True
Suppose -4*s + 17*s + 1118 = 0. Let b = 17 + s. Is 6 a factor of ((-1 - -1) + -1)*(b + 1)?
False
Let o(d) be the second derivative of 21*d**5/20 + d**4/12 - d**2/2 - 137*d. Let s(h) = h**3 + 4*h**2 + 1. Let r be s(-4). Does 4 divide o(r)?
False
Suppose -739*s + 723*s + 1486 + 2194 = 0. Is s a multiple of 23?
True
Let d(r) = 4600*r**2 - 35*r - 27. Does 72 divide d(-1)?
True
Suppose -10*b - 238 = 112. Is 9 a factor of 90/(-1 - -2)*(-14)/b?
True
Suppose -2*o - 3*l - 1134 = -4659, -4*o - l + 7075 = 0. Is o a multiple of 15?
True
Suppose 3566 = 2*w + 7*p - 8*p, 3*p = -6. Is w a multiple of 54?
True
Let s be 3 - -1 - (21 - -1)/(-2). Suppose -6*a = -62 - 94. Let o = s + a. Is o a multiple of 8?
False
Let n = 9200 - 5469. Does 17 divide n?
False
Let w be 0/(-2 - -5) + 4/2. Let d be 1 + -13 + (-2)/(-1) + w. Does 21 divide ((-42)/d + -2)/(1/28)?
False
Let m(t) = -3822*t + 6457. Is m(-9) a multiple of 129?
False
Let m = 98 - 10. Suppose 2 = w, -m + 28 = -2*y + 5*w. Is 31 a factor of y?
False
Let m be (-2 - 1)*(0 - (-5)/5). Is (2457/(-84))/(m/56) a multiple of 78?
True
Let i = -182 + 179. Let y(x) = -16*x**3 + x + 8. Is 8 a factor of y(i)?
False
Let y(v) = 11147*v - 47. Let k be y(8). Suppose -31225 + k = 56*u. Does 22 divide u?
True
Let v = -12049 + 21715. Is 16 a factor of v?
False
Suppose -3*y + y - 386 = -2*g, 4*y = 12. Let l be 7/(g/(-1284)) - 2/14. Let v = 18 - l. Is v a multiple of 11?
False
Does 41 divide 5 + (-190778)/(-140)*18 - (-4)/10?
False
Let y be ((1 - -3) + -1)*(-1)/(-1). Let g(s) = 17*s**2 - 4*s + 3. Let o be g(y). Suppose -9*p = -p - o. Does 18 divide p?
True
Let v = 31076 - 13159. Does 41 divide v?
True
Suppose 25 + 15 = -8*w. Let o be w*(-110)/4*4/25. Suppose o*m - 81 = 19*m. Does 11 divide m?
False
Let l(y) = 319*y**2 - 1