 - y**2 - 3*y - 2. Let z be b(-1). Let i = z + -216. Let q = 292 - i. Is q a multiple of 25?
True
Suppose 2*r - 44 + 12 = 0. Let i = r + -14. Suppose -3*m = -i*a + 122, -2*m - 133 = -3*a + 40. Does 11 divide a?
True
Let i be ((-150)/(-5) - 2) + 2. Let c = i - 30. Suppose -2*n + 3*w + 94 = c, 3*w = 5*n - 7 - 228. Is 28 a factor of n?
False
Let x = 40297 + -15930. Is 4 a factor of x?
False
Suppose -8*g = -14*g + 5*h + 11447, -2*g + 3816 = -2*h. Is g a multiple of 13?
False
Let a(v) = -6*v**3 - 8*v**2 - 97*v + 9. Is 67 a factor of a(-8)?
False
Let a = 3724 - 3210. Is a a multiple of 5?
False
Let d be (26/10)/((-66)/2310). Let q(m) = 14*m**2 - 3*m + 2. Let v be q(3). Let b = v + d. Is 7 a factor of b?
True
Let j(v) = 13*v**2 - 4*v - 30. Let i be j(9). Suppose 0 = -4*w + 813 + i. Is 18 a factor of w?
True
Suppose 133554 = 4*l - 3*g, 2*l - 5*g - 64358 = 2440. Is l a multiple of 49?
False
Let c = 869 - 903. Suppose 0 = -4*l - 4*s - 260, 2*s = -2*l - 2*s - 132. Let x = c - l. Is 6 a factor of x?
True
Let z(c) be the second derivative of c**5/20 - c**4/12 + c**3/3 + c**2/2 + 11*c. Let a be z(-3). Does 9 divide -1 - (3 - 6) - a?
False
Let y be ((-906)/(-18))/((-1)/(-22))*3. Suppose 0 = -10*h - 512 + y. Is h a multiple of 17?
False
Let g = 36 - -18. Let x = g - 54. Does 30 divide (x - -18)*(-15)/(-9)?
True
Let v = 188 - 185. Suppose 0 = -v*h + 2*h + 294. Is 18 a factor of h?
False
Let m(t) = -10 - 15 - 6*t**2 - t**3 + 28. Let g be m(-6). Suppose 0*o + 117 = g*o. Does 13 divide o?
True
Let o = 715 - 1379. Let k = 1096 + o. Does 16 divide k?
True
Let a(l) = -5*l + 121. Let m(y) = 26*y - 606. Let d(z) = -14*a(z) - 3*m(z). Is 13 a factor of d(9)?
True
Suppose 18 = -r + 5*r - 3*n, -r = -n - 5. Suppose -4*a + 5*x + 36 = 0, 9 = 4*a - r*a - 4*x. Suppose a*c + 402 = 1158. Is c a multiple of 7?
True
Suppose 2*p - 1 = j, 0*p - j - 3 = -3*p. Suppose 2*v - 302 = 3*m + 157, p*v - 466 = -4*m. Is 16 a factor of v?
False
Suppose 1001190 = 335*y - 114*y - 639735. Is y a multiple of 47?
False
Suppose 3978*x - 3954*x - 14832 = 0. Is 13 a factor of x?
False
Let b = -4845 - -9396. Does 41 divide b?
True
Let t = -2003 + 3723. Suppose t = 2*p + 466. Is 33 a factor of p?
True
Is 8 a factor of -3 - 13/((-65)/21695)?
True
Let n(z) = 11 + 6*z + 17*z + 9*z + 182*z**2 - 185*z**2 + 23*z. Is 8 a factor of n(14)?
False
Suppose -10*m = -7*m + 3, 3*m + 5673 = 5*g. Let u = -750 + g. Is 34 a factor of u?
False
Let p = 10467 + -4455. Suppose -6*m + p = -2*m. Suppose -427 + 116 = -o - 3*y, -2*y + m = 5*o. Is 13 a factor of o?
True
Let h(t) = 3*t**2 + 40*t + 5. Let q be h(-13). Is q/12*-3*34 + -5 a multiple of 42?
False
Let r = 19 + -17. Let z(f) = 63*f**2 - 3*f - 1. Let o be z(r). Let x = o - 167. Is x a multiple of 6?
True
Suppose -70 = 5*a - r, 0 = -a - 3*r + 2 - 0. Let p(s) = -5*s - 1. Is 8 a factor of p(a)?
True
Let l(m) = -4*m - 13. Let b = -35 + 31. Let p be l(b). Suppose 5*x = -5*r + 190, p*r - x - 4 = 126. Is r a multiple of 19?
False
Let l be -1 + -11 + (-329 - 2). Suppose 0 = y - 0*y + 203. Let q = y - l. Does 19 divide q?
False
Let v(g) = -2816*g**3 - 3*g**2 - 20*g - 17. Does 88 divide v(-1)?
True
Does 3 divide 14 - 1452/((-2)/1)?
False
Suppose 0 = -3*s - 4*k + 918, -346 = -s + 3*k - 53. Suppose -s = -7*l + 335. Does 13 divide l?
True
Let a(y) = 2326*y**2 + 195*y - 1152. Is a(6) a multiple of 57?
False
Suppose -8 - 7 = -3*r. Suppose -s - r*s = 24. Is -3 - -3 - (112*s)/4 a multiple of 28?
True
Let j(w) = -9 - 4 - 4 - 74*w + 0 + 81*w. Suppose 2*y = 5*q - 79, 2*y - 57 = -0*q - 3*q. Is 6 a factor of j(q)?
True
Suppose 0 = 18*b - 109 - 1529. Suppose 2*a = -4*c + 244, 0 = -4*a - 3*c + 559 - b. Does 19 divide a?
True
Suppose -26*l + 518 = -25*l. Suppose -6*w + 13*w = l. Suppose 3*d = -n + w, -2*n + 3*d + 125 = -68. Does 15 divide n?
False
Let l = -41 + 57. Let k(o) = 128 + 34*o**2 - 19*o**2 - o - l*o**2. Does 8 divide k(0)?
True
Suppose -3*q = -3*r - 54, -4*q + 5*r - 70 = -9*q. Is 3 a factor of (-6 + q)*4*3?
True
Let c = 10516 - -8931. Is c a multiple of 121?
False
Suppose 2*i - 761 = k, 12*k = 13*k - i + 759. Let s = k + 1196. Is s a multiple of 25?
False
Let a = -3581 + 4488. Does 5 divide a?
False
Let p be (-1353)/(-6) - (-1)/(-2). Let v be 15/(-6)*36/(-45). Suppose v*t = 7 + p. Is t a multiple of 21?
False
Let c = 42270 + -24847. Does 11 divide c?
False
Let t = 4592 + -1589. Is t a multiple of 22?
False
Suppose -31*j + 13*j + 13122 = 0. Let a = j + -274. Does 35 divide a?
True
Let p be 0*1/(-6)*3. Let a be p/(16/4) - -89. Suppose 5*z + a - 329 = 0. Does 6 divide z?
True
Suppose 2*o = -7*o - 783. Let d = 177 - o. Is 44 a factor of d?
True
Suppose -74099 + 22308 = -33*q + 128290. Is q a multiple of 17?
True
Let d = -8406 - -10056. Is 3 a factor of d?
True
Let i(h) = -h**3 - 10*h**2 + 270*h - 17. Does 13 divide i(-45)?
True
Suppose -2*n + 5*u = 49, -2*u - 1 + 11 = 0. Let g be n*((-2)/(-3) - 923/(-78)). Let v = -15 - g. Is 45 a factor of v?
True
Let f = -288 - -300. Suppose 137 + 343 = f*g. Is g a multiple of 4?
True
Suppose 3*z = n + 407, -n + 4*n - 3*z = -1215. Suppose 2*m + m + 6 = 0. Is 2/((-812)/n + m) a multiple of 11?
False
Suppose 3*k - 6 = -18, -5*d + 3*k + 29747 = 0. Does 17 divide d?
False
Let a(o) = 2*o**2 - 2*o - 5. Let x = 16 - 11. Suppose 0 = -i + 4, -4 = -x*y + y + 2*i. Is 3 a factor of a(y)?
False
Suppose 0 = -4*z + 14*l - 18*l + 1428, 2*l + 366 = z. Let n = z + -320. Is 5 a factor of n?
True
Let j(s) = -111*s + 10*s**2 - 118*s - 12 - 4*s**2 + 243*s - s**3. Is 21 a factor of j(-6)?
True
Suppose 0 = 4*a + 5*w - 95, 2*w = 4*w + 10. Suppose 56*i = -40*i - 1666 - 254. Let k = a + i. Is 5 a factor of k?
True
Suppose 3*u - 2*c = 1547, 3*u - 2*c - 1537 = 2*c. Let j = -358 + u. Is j a multiple of 56?
False
Let q(j) = -2075*j - 6594. Does 6 divide q(-13)?
False
Suppose 3*c + 0*c = -0*c. Let z be (c - (-2 + 1 - -1))/(-1). Suppose z = -4*k - 2*k + 582. Is 25 a factor of k?
False
Let f(a) = -83*a - 3019. Is f(-50) a multiple of 75?
False
Suppose 3*k + 34935 = 3*y, 197997 = 17*y + 14*k - 15*k. Is 19 a factor of y?
True
Let p(b) = 339*b**2 - 4*b - 6. Let u be p(-1). Let h = u - 131. Does 37 divide h?
False
Suppose 2*v - 5*y - 2708 = 0, 1221 = 2*v + 5*y - 1527. Suppose 0*u + u - 4*t - 428 = 0, -3*u + v = 4*t. Is u a multiple of 15?
False
Let h(p) be the first derivative of -2*p**2 - 3*p - 8/3*p**3 + 1/4*p**4 - 6. Does 7 divide h(9)?
True
Suppose -d - n + 3 = 0, -3*d - 12 + 3 = -3*n. Suppose d = w + 3*y - 231, -4*w - 2*y + 957 = -y. Is 20 a factor of w?
True
Let y = 46 - -74. Suppose 224*g - 202*g = 44. Suppose 0 = -g*c + 3*w + 104, 0 = -3*c + w + 43 + y. Is c a multiple of 11?
True
Suppose -45*d = d - 71116. Is d a multiple of 7?
False
Suppose -896 = -4*x + 4*v, -4*x - 27 = 4*v - 891. Suppose -6*h = -5*h - x. Does 12 divide h?
False
Suppose -133778 - 142498 = -23*u. Is u a multiple of 21?
True
Let w(q) = -q**3 - 4*q**2 + q - 2. Let m be w(3). Let y = -271 + 268. Is (m/3)/(5/y + 1) a multiple of 4?
False
Let i be 344/(-86) + (0 - 6)*1. Is (184/i)/((-13)/(4290/12)) a multiple of 22?
True
Let f be (6/(-4))/(1/(-6)). Suppose -3*r + 2 = 5, 2*x - f = -r. Suppose -3*j + 5*a + 753 = 0, -x*j + a + 1654 - 377 = 0. Does 44 divide j?
False
Suppose -39*z + 117 = -273. Suppose -z*w + 3204 - 924 = 0. Is w a multiple of 19?
True
Suppose -2*k = 3*k - 10. Suppose 0 = -3*g - 4*u - 8, k*g - 19 = g + 3*u. Suppose -2*b + 186 = g*y, 6*b + 89 = 7*b + y. Does 17 divide b?
True
Let g(q) = 7*q**3 + 2*q - 30. Does 12 divide g(4)?
False
Let l(u) = -u**3 + 96*u**2 - 148*u + 407. Is l(92) a multiple of 207?
False
Let i = 768 + -278. Suppose -4*t - 342 = i. Let b = t + 432. Does 39 divide b?
False
Suppose 481863 = 139*n + 8*n - 643275. Is n a multiple of 6?
False
Suppose 15*v - 54216 = 123444. Is 90 a factor of v?
False
Suppose -33 = 2*h + 5*p, -4*h + p + 3*p = -4. Is h/16*11*-16 a multiple of 11?
True
Let z = 20292 - 1692. Suppose -10*h - z = -41*h. Does 24 divide h?
True
Let i(m) = 3*m**3 - 117*m**2 + 101*m - 54. Is 72 a factor of i(39)?
False
Let l(i) = -30*i**2 + 3*i - 3. Let h be l(1). Let g = h + 35. Suppose -4*v - 3*c + c + 166 = 0, 0 = -g*v + 5*c + 185. Does 40 divide v?
True
Let g(f) = -2*f**3 + 123*f**2 - 58*f + 15. Is 6 a factor of g(61)?
True
Let a be ((-184)/3)/(-2)*(-1377)/54. Let r = 1146 + a. Is r