y**2 - y - 1. Let i be s(3). Let b(p) = 6 - 1 - 2*p**3 - i*p**2 + p**3 - 2*p - 2*p. Is 5 a factor of b(-4)?
True
Let g(s) = s**3 + 16*s**2 - 22*s - 71. Is 5 a factor of g(-17)?
False
Suppose -4*s - 20 = 0, 5*d + 4*s = -3 - 2. Suppose 0 = d*v - 5*v + 20. Is 5 a factor of v?
True
Suppose -17 = -3*p + p - 3*l, -3*l + 11 = -4*p. Let u(g) = g**2 - g + 4. Let o be u(4). Is 20 a factor of ((-45)/(-36))/(p/o)?
True
Let v(a) = 227*a**2 - 6*a + 36. Is v(4) a multiple of 13?
False
Let l(v) = -v**3 - 7*v**2 + 9*v + 8. Let u be l(-8). Suppose u = 15*y - 11*y. Suppose y = g - 6 - 20. Does 7 divide g?
False
Suppose 5*x - 44 - 10 = 3*o, -x + 18 = 3*o. Suppose -25 = 47*i + 69. Is 12 a factor of (4 + i + 1)*x?
True
Let o = 1166 - 686. Does 64 divide o?
False
Let c be (-6)/(1/((-14)/3)). Let b = -378 + 603. Does 7 divide (c/6)/(30/b)?
True
Suppose 0 = -2001*t + 2005*t - 3300. Is 9 a factor of t?
False
Let l = 27 - 29. Does 3 divide (5 - 4)*(-36)/l?
True
Suppose -254 = 3*r + 619. Let f = r + 733. Does 24 divide f/12 - 2/(-12)?
False
Let l be 22*(12/8 + -2). Let q = 39 - l. Suppose 0 = -5*d - 5*b + q, -d + 64 = 3*d - 4*b. Is d a multiple of 3?
False
Suppose -3*o + 5*v = -15, -7*v - 15 = 4*o - 2*v. Suppose 8*w - 9*w + 143 = o. Does 9 divide w?
False
Let u(y) = y**3 + 7*y**2 + 3*y - 15. Let a be u(-6). Suppose a*r - 495 = 177. Is r a multiple of 43?
False
Suppose 175*c - 174*c = 15. Is 7 a factor of (70/c)/(2/33)?
True
Suppose -4*k - 5*z + 35 = 0, 0 = 3*z - 8 - 1. Suppose -k*j + 32 = -128. Is j a multiple of 16?
True
Does 33 divide 4/6 - (-25230)/90?
False
Let i be (-22)/(-10) - (-3 + 80/25). Suppose -291 = -i*n - n. Is n a multiple of 5?
False
Let i be 1*(1 - 0) - (-13 - -9). Suppose -4*y + 0*y + 8 = 0. Suppose y*j - 137 = -i*c, j + 2*c - 134 = -j. Does 22 divide j?
True
Suppose -3*k + 182 = -2*g, -5*g = 5*k + 295 + 185. Let f = g - -1706. Is 15 a factor of 8/36 - f/(-36)?
True
Suppose -4*t - 38 - 26 = 0. Let x(b) = -b**3 - 15*b**2 + 13*b + 4. Does 21 divide x(t)?
False
Let n = 33 - 30. Suppose n*l = -l + 132. Let g = l + -9. Does 12 divide g?
True
Let x(j) = 529*j + 215. Is 69 a factor of x(10)?
False
Let m(o) = -4*o**3 - o**2 + 4*o + 5. Let j be m(-4). Suppose 0 = 5*x - j - 246. Is 40 a factor of x?
False
Let v(t) = -t**3 + 3*t**2 - t - 2. Let h be v(2). Suppose h = -6*x + 5*x + 30. Suppose -172 = -3*q + n, 4*q - 4*n - x - 210 = 0. Is 14 a factor of q?
True
Let g be 2/12 - (-10)/(-14 + -46). Let o(v) = -v**2 + 4 + 4*v + v**3 - 7*v + 4*v. Is 4 a factor of o(g)?
True
Let u = -180 + 88. Let i = u + 138. Is i a multiple of 4?
False
Suppose 5*g + 0*g = -20. Let q be (-4 - -3)*-2 - g. Let k(j) = 2*j**2 - 3*j + 6. Is k(q) a multiple of 9?
False
Suppose 0 = -s - 2*u - u + 84, 4*s - 5*u - 370 = 0. Suppose -3*x = 3*r + 186, 5*r = 4*x + x + 290. Let d = x + s. Does 10 divide d?
True
Suppose -5*t = -t + 3*r - 23, 0 = -2*t - 2*r + 12. Suppose 5 = -t*d, 2*d - 70 = -4*z + 272. Does 30 divide z?
False
Suppose -3*x + 24 + 0 = 0. Let u(l) = -2*l + 30. Is 14 a factor of u(x)?
True
Let g(v) = -v**3 + 17*v**2 + 19*v - 70. Is 83 a factor of g(13)?
False
Is 15 a factor of (-2 + (-50)/20)/((-2)/8)?
False
Let l = -46 + 270. Let q = -128 + l. Is q a multiple of 4?
True
Does 53 divide 572 + -2 - -2 - -3?
False
Suppose -5*f = -216 - 89. Is 9 a factor of f?
False
Is (24/(-32))/(2/(-1216)) a multiple of 19?
True
Suppose -4*b - 50 = 38. Let z = 24 + b. Is 2 a factor of z?
True
Let k be (1 + 15)/4 + -1. Suppose k*v = -3*h - 85 + 439, 5*v = -h + 582. Is 22 a factor of v?
False
Let z = -34 + 38. Suppose 3*a + i - 69 = 0, -5*i = z*a - 0*i - 81. Does 6 divide a?
True
Is 104 a factor of -101*7/(35/(-65))?
False
Let i = 107 - 72. Suppose 0*g + i = g. Is ((-60)/g)/(3/(-21)) a multiple of 4?
True
Let b = 799 + -700. Does 52 divide b?
False
Suppose -a = 43*y - 46*y - 324, -3*y - 948 = -3*a. Does 47 divide a?
False
Let h = 51 - 20. Suppose i = -4*b - 4*i + h, 4*i - 20 = -2*b. Is 4 a factor of b?
True
Suppose 0*f = 2*f + 16. Suppose 5*s = 5*p + 145, 3*s - 11 = -5*p + 36. Let x = s + f. Does 4 divide x?
True
Let t be 22/(-55) - (-17)/5. Suppose -t*a + 42 + 18 = 0. Is 5 a factor of a?
True
Let o = 12 + -10. Suppose -2*g + 218 = 4*i, 2*i - 94 = -2*g - o*g. Is 2 + -3 + 5 + i a multiple of 11?
False
Suppose 0 = -4*s + 1 + 39. Suppose -2*z = x, -12 = -5*x + z + s. Suppose -3*n + 3*w = -8*n + 70, -x*n + 3*w + 29 = 0. Does 6 divide n?
False
Let b = 57 - 54. Is 8 a factor of (b - (-1)/((-4)/(-100)))*2?
True
Let z = 28 - 23. Is (-102)/z*(-3)/((-9)/(-40)) a multiple of 16?
True
Let o be (17 - (-1 - 1)) + 3. Let d = -22 + o. Suppose -16 = -n - d*b - 2*b, -n + 31 = 5*b. Does 2 divide n?
True
Let a = 43 + 267. Suppose b = -b - a. Let w = -78 - b. Is 25 a factor of w?
False
Suppose -170*h + 162*h = -864. Is h a multiple of 54?
True
Suppose -4*q = -4*x + 8996, 2*q = 8*x - 3*x - 11230. Is 34 a factor of x?
True
Suppose -3*m + 15 = 2*m. Suppose m*s - s - 110 = 0. Let h = s - 27. Is 14 a factor of h?
True
Is 5 a factor of ((-48)/15)/(-4)*2355/6?
False
Suppose 0 = 2*f - 4*i + 322, 6*f - 2*f + 629 = 5*i. Let u = -64 - f. Does 29 divide u?
True
Let r = 65 - -100. Suppose -2*g + 10 = 0, -2*g + 0*g = -5*t + r. Does 5 divide t?
True
Let v = 628 - 445. Does 7 divide v?
False
Suppose 0 = 4*k - k. Suppose k = 3*b + 3, -2*m = 4*b + 92 - 258. Suppose 5*p + 2*h = -0*p + m, -p - 10 = -5*h. Is 5 a factor of p?
True
Let p(t) = 16*t**2 - 13*t + 17. Is p(5) a multiple of 44?
True
Suppose 2*b = 4, 2*q - 5*b = 1350 + 610. Is q a multiple of 87?
False
Suppose 7*x = 17*x - 300. Does 17 divide (2/(x/(-755)))/(1/(-3))?
False
Suppose 2*m - m - 5 = 0. Let h be ((-22)/3)/(m/(-15)). Suppose -5*a + h = -28. Is 4 a factor of a?
False
Suppose 0 = -3*n - 9, 7*o - 440 = 6*o + n. Does 34 divide o?
False
Suppose 2*k = -k. Suppose k = -0*n - 4*n + 12. Suppose -2*v = 0, -b = n*b - 4*v - 52. Is 13 a factor of b?
True
Let j = 162 + 549. Is j a multiple of 79?
True
Let z be 15/((-525)/56) + 4/(-10). Let r(j) = j**2 + 1 + 3*j + 0 + j**2. Is r(z) even?
False
Suppose -1 = -4*k + 7. Suppose -r + 18 = -k*y + 60, 5*y = 0. Let v = -22 - r. Is 4 a factor of v?
True
Suppose -a = -2*j + 4*a + 13, -5*a + 82 = 3*j. Suppose 0 = 4*s + j - 267. Is 7 a factor of s?
False
Let w(h) = -11*h**2 + 8*h - 17. Let c be w(-7). Does 37 divide ((-2)/6)/(1 + 616/c)?
False
Let f = 476 + -734. Suppose -2*r - 182 = -r. Let q = r - f. Is q a multiple of 19?
True
Suppose 4*o = 11*o - 343. Is 9 a factor of o?
False
Let k(y) = -y**2 - 10*y - 24. Let b be k(-6). Let c(x) = x**2 - 3*x - 2. Let v be c(4). Is 10 a factor of -1 + (29 - b) + v?
True
Let v = 42 - -25. Suppose -2*t - 8 = -2*y + y, 5*y - v = t. Is y a multiple of 6?
False
Let b = 98 - -54. Does 19 divide b?
True
Let j(t) = 12*t**3 - 5*t**2 - 4*t + 2*t - 11 - 14*t**3. Does 31 divide j(-5)?
True
Let p(k) = -k**3 - 7*k**2 - 14*k - 4. Let x be p(-3). Suppose 4*u + 29 = u - 4*b, -2*u - 4*b = 26. Is 11 a factor of x/u + 204/9?
True
Let s be (-3)/(-9) - (-1 - 656/(-6)). Is 23 a factor of 4 - 4 - (s + -1 + -2)?
False
Let m = -152 - -161. Suppose -5*l + 672 = m*l. Is l a multiple of 12?
True
Let z(s) be the second derivative of -s**4/12 + 3*s**3/2 + 3*s**2 - 4*s. Let c(u) = -2*u**2 + 18*u + 11. Let t(d) = 4*c(d) - 7*z(d). Does 7 divide t(5)?
False
Let y be 4/4 - 1 - -42. Let d = y - 32. Is d a multiple of 3?
False
Let n = 392 + -385. Does 2 divide n?
False
Suppose 3*h - 2*w = 24, 2*h - 19 = w - 3. Let z(u) = 9*u + u + u - 3*u + 5. Does 19 divide z(h)?
False
Let q(k) = -k**2 - 13*k - 7. Let c be q(-12). Suppose c*t - 9*t = -288. Does 12 divide t?
True
Does 15 divide 1 - (-8 + 6) - -297?
True
Let m = 384 - 218. Is m a multiple of 14?
False
Let t(k) = -k - 6. Let i be t(-8). Suppose -i*s = 2*s - 28. Suppose -m + 5 = -s. Is 5 a factor of m?
False
Let l(n) = 5*n**2 + 5*n - 7. Suppose -5*v - 1 = -6*v. Let b(d) = -d. Let g(i) = v*l(i) + 4*b(i). Is 15 a factor of g(-4)?
False
Let m(h) = h**3 + 14*h**2 - 9*h - 12. Does 6 divide m(-14)?
True
Suppose 4 = 4*c - 4*p, -3*c - 5*p + 7 = -4. Suppose 0 = c*t + 7*t - 2781. Is 17 a factor of t?
False
Does 6 divide 25 - -4 - (-2 + (-20)/(-5))?
False
Suppose 0 = -4*a + 8, -3*p - 8*a + 4*a = -56. Let h(l) = -l**2 - 4*l - 3. Let g be h(-3). Suppose -2*d - 2*d + p = g. Is d even?
True
Let w be (8 + -10)*(0 - 1). Supp