
Suppose 34*y = 19*y - 9075. Is 8 a factor of ((-6)/10)/(1/y)?
False
Let x(r) = 88*r**2 + 35213. Is 202 a factor of x(0)?
False
Let u(q) = -60*q**3 + 4*q**2 + 19*q + 36. Is 12 a factor of u(-4)?
True
Let i(f) = 48*f + 16. Suppose 2*v = -v + 4*p + 26, -v + 4*p = -14. Does 38 divide i(v)?
True
Let h = -1108 - -1822. Does 17 divide h?
True
Let g be -2 + -4 + 2 + 8. Suppose 0 = g*c + 54 + 74. Let w = 44 + c. Does 12 divide w?
True
Let o(d) = d**2 + 16*d + 18. Let j be (0 + 9)/(6/(-8)). Let m be o(j). Let i = -27 - m. Does 2 divide i?
False
Let y be -10*(2 - 1 - 2). Let v(g) = 14*g**2 - 5*g + 2. Let k be v(-4). Does 12 divide k/y - (-15)/(-25)?
True
Let t(w) be the second derivative of 11*w**3/6 - 37*w**2/2 - 218*w. Suppose 48 = 5*c - 12. Is t(c) a multiple of 19?
True
Let t = 9 + -23. Let f be -7*((-15)/28)/((-23)/552). Let m = t - f. Is 19 a factor of m?
True
Suppose -3*v + 2*n = 4, -8*n + 6 = -4*v - 5*n. Suppose k + v = 4. Suppose -36 = -4*q - 4*g, -3*q - 29 = -k*q + 3*g. Is 14 a factor of q?
True
Let m be (52/(-6))/(8/42)*-2. Let d(j) = -2*j**2 + 11*j - 14. Let n be d(7). Let h = n + m. Is h a multiple of 14?
True
Let v be (-2)/3*-3 + (-9 - -3). Suppose k + 18 = 4*k. Is (33/k - -2)*v/(-6) a multiple of 5?
True
Suppose -13*p + 16*p = -5*b + 7818, 0 = 3*p + b - 7794. Is p a multiple of 14?
False
Let w(y) = 2*y**3 - 20*y**2 + 9*y + 22. Is 10 a factor of w(11)?
False
Suppose -4*y + 7217 - 1689 = 4*u, 5*u = -11*y + 15226. Is 9 a factor of y?
True
Suppose 234*o - 289 = 217*o. Suppose -19*w + o*w + 243 = -n, -2*w = -2*n - 238. Does 5 divide w?
False
Suppose -5*a = 138 + 37. Let v = a - -38. Suppose 0 = 3*k - v*g - 114, 2*g + 2*g - 136 = -4*k. Does 7 divide k?
False
Let u(i) = i**3 - 12*i**2 + 13*i - 22. Let s be u(11). Suppose -4 + s = -2*r. Suppose -r*n + 4*n = 16. Is n a multiple of 6?
False
Suppose 3*z = -5*z + 56. Suppose 0*d - 756 = -z*d. Is 36 a factor of d?
True
Let x be ((-25)/(-15))/(93/(-54) + 2). Suppose -9*a + x*a = -51. Does 15 divide a?
False
Suppose 11*s - 7*s = 12. Let n(z) = -z**3 + z**2 + 8*z - 2. Let u be n(s). Suppose 8 = u*c - 12, 5*l = -4*c + 85. Does 4 divide l?
False
Let o = 260 + -180. Let g = o + -24. Is 35 a factor of g?
False
Let a = -34 - -36. Let l be (217/(-14))/(a/4)*-1. Let u = 21 + l. Does 11 divide u?
False
Suppose -26 = 3*z - 2. Let l be (z/18)/((-2)/9). Suppose -5*p + a + 105 = 0, 4*p - l*a - 103 = -19. Does 14 divide p?
False
Is 118 a factor of ((-11)/(-55) - 7064/(-80))*40?
True
Suppose -45*p + 8794 = -17666. Is p a multiple of 14?
True
Let b = -1086 - -2354. Does 5 divide b?
False
Let u = -1905 + 6054. Does 33 divide -2 + (-5)/(-2) - u/(-18)?
True
Is 36 a factor of ((-6)/(-10))/(97/981155)?
False
Suppose 362 = 61*j + 57. Let n(x) = -x**2 - 5*x - 1. Let v be n(-3). Suppose g = v*q - 131, -j*q + 3*g = -4*q - 29. Does 10 divide q?
False
Let h = -132 + 137. Suppose 0 = h*w - 3*p - 678, -131 = -w - 6*p + 2*p. Does 9 divide w?
True
Let i = 71065 - 19981. Is i a multiple of 11?
True
Let o(q) be the first derivative of 31*q**3/3 - 3*q**2/2 - 5*q + 7. Let t(k) = 44*k - 3. Let g be t(0). Is o(g) a multiple of 39?
False
Suppose 0*w + 12264 = -5*w + 17*w. Does 14 divide w?
True
Let z = -29934 + 15662. Is 12 a factor of (-55)/(-33) + z/(-12)?
False
Let d be 57/(-2)*2/(-3). Let i = d + 45. Does 15 divide i?
False
Let b = 61 - 331. Let i = b - -297. Is 8 a factor of i?
False
Suppose 5*k - 632 = 5*y + 2*k, y + 5*k = -132. Let v = y - -178. Is v a multiple of 3?
True
Let n(a) = -260*a**3 + 5*a**2 + 6*a + 1. Let r(s) = 2*s**2 + 21*s + 26. Let f be r(-9). Is n(f) a multiple of 10?
True
Let t = -174 + 178. Does 63 divide 3*t/(-18) - (-3640)/6?
False
Suppose -2*f + 18 = -4*i, -6 + 2 = -f - 3*i. Let l be 4/(-4)*1 + f. Is 1280/15 + (-2)/l a multiple of 17?
True
Suppose 5*s - 4*h = 1207, -5*s + 186 + 1003 = 2*h. Let y = 622 - s. Is 13 a factor of y?
False
Let i be ((-1194)/9)/((15/9)/5). Let f = 590 + i. Is 32 a factor of f?
True
Let c(h) = -h**2 - 4*h + 7. Let b be c(-5). Suppose 0*z - 5 = -z + 5*n, z + b = -2*n. Suppose -2*y - 4*r + 74 = z, 0*y - 28 = -y + r. Is y a multiple of 7?
False
Let q(k) = -k**2 - 7*k + 79. Let r be q(-13). Does 15 divide r - -10*(-1)/(-2)*19?
False
Let a(u) = u**3 - 10*u**2 + 10*u + 1. Let g be a(9). Suppose r + 3*p = 4*r - 33, -2*p + g = 2*r. Is 7 a factor of ((-86)/8)/((-34)/r + 4)?
False
Let k(s) = 58*s**2 - 20*s + 7. Is 62 a factor of k(9)?
False
Let u(x) = -13*x**3 + 2*x**2 + 2*x - 2. Let j be u(-2). Let s = j - 34. Suppose 2*y - s = 32. Does 7 divide y?
False
Suppose -5*t = 2*v - 77971 - 71119, -119230 = -4*t - 10*v. Is 84 a factor of t?
True
Suppose -2*x = n - 2782, -4*n + 525*x + 11098 = 528*x. Is n a multiple of 5?
True
Does 60 divide (-1)/2 + ((-415989)/(-54) - -25)?
False
Let g be (4056/(-260))/((-4)/(-10)). Let n(i) = 3*i + 160. Is n(g) a multiple of 9?
False
Let y(z) = 30*z**3 + 8*z**2 + 101*z - 1162. Is 332 a factor of y(11)?
False
Suppose 0 = -5*b - 4*t + 430, 5*t = -b - 5 + 112. Suppose 0 = -3*p - 2*h - 177, -5*h = 3*p + 2*p + 295. Let r = p + b. Does 13 divide r?
False
Let b = -1 + 58. Let y = -55 + b. Is 4 a factor of (-1 + 5)/(y - 3/2)?
True
Let j(a) = -a**3 + 10*a**2 - 23*a + 12. Let k be j(8). Let u = 48 + k. Suppose -3*f + 2*h - 125 = -553, -u*h - 418 = -3*f. Is f a multiple of 16?
False
Let s(i) be the second derivative of -1/2*i**3 + 0 - 17/12*i**4 + 6*i - 1/20*i**5 - 23/2*i**2. Is 14 a factor of s(-17)?
True
Does 102 divide 180/210 + -1 + (-7142)/(-14)?
True
Suppose 4*z - 7 = 2*a + 45, z - 13 = 5*a. Let q(b) = 11*b + 22. Let y be q(z). Suppose -g + y = -2*h, 4*h = 5*g - 0*h - 795. Is g a multiple of 31?
True
Suppose 25 = -13*d + 64. Suppose d*y - 4*k = -7*k + 534, 4*y + 5*k - 717 = 0. Is y a multiple of 13?
False
Let j = 201 - 193. Let i(t) = 3*t - 3. Let m be i(2). Suppose b - 30 = -2*u, -b - m*b - j = 0. Does 2 divide u?
True
Let i(k) = -23*k + 91. Let s(f) = -11*f + 46. Suppose 6 = 13*g - 137. Let x(c) = g*s(c) - 6*i(c). Is 7 a factor of x(6)?
False
Suppose 0 = 12*r + 106 + 2. Is 12 a factor of (-1964)/r - 2 - 2/9?
True
Let q be -1*29*(9 + -10) + -4. Let b = 136 + q. Is b a multiple of 10?
False
Let k = 859 - -36. Suppose m + k = t + 3*t, 5*m + 1100 = 5*t. Does 18 divide t?
False
Let q be (6/4)/(4484/(-4496) + 1). Let m = q - 322. Is 20 a factor of m?
True
Let n(x) = -56*x + 169. Let w(q) = 51*q - 170. Let y(h) = -5*n(h) - 4*w(h). Is 29 a factor of y(12)?
False
Let h = 55911 + -31642. Is h a multiple of 13?
False
Let n be 9/(18/(-8)) - 0. Let j be (3 - 3)/(-1) - n. Suppose j*u = -3*u + 217. Does 31 divide u?
True
Let j(v) = 11432*v**2 + 16*v + 2. Is j(-1) a multiple of 41?
False
Let n(l) = -4*l**3 + 3*l**2 - 16. Let w(q) = q**3 - q - 2. Let z(g) = -n(g) + 4*w(g). Does 10 divide z(3)?
False
Let q = 99 - 94. Let d be (0 - 0) + -2 + q. Suppose 75 + 73 = 2*j - d*z, -5*j + 392 = -2*z. Does 10 divide j?
True
Suppose -79 = 15*y + 236. Does 8 divide (1*141)/(((-35)/y)/5)?
False
Let x(s) = -12*s**3 + 4*s**2 + 10*s - 84. Is 22 a factor of x(-7)?
True
Suppose 5*k - 25 = 2*s, -31 = 4*s - 4*k + 1. Let f = -58 + 70. Is 4 a factor of ((-8)/s)/(f/150)?
True
Let g = 419 + -101. Suppose 2*r - 207 = d, 4*r + d - g = 111. Does 22 divide r?
False
Let f(d) = 344*d - 29. Let g be f(3). Suppose 13*u + 3*x = 17*u - g, -2 = 2*x. Does 4 divide u?
False
Let i(s) = 3*s**2 - 31*s - 3. Let p be i(11). Let d = -14 + p. Suppose -2*k + 1890 = d*k. Is 45 a factor of k?
True
Suppose 21*t - 67468 - 49239 = 7004. Does 43 divide t?
True
Let j(s) = -s**2 - 24*s - 20. Let x be j(-22). Suppose 4*c + 0*c = x. Suppose 5*h = 2*l - 6*l + 778, -3*l = -c. Does 11 divide h?
True
Suppose -5*f - 86*p + 84*p = -116776, 0 = -f + 2*p + 23372. Is 6 a factor of f?
True
Let i(n) = -65*n. Let w be i(-1). Let g = -274 - -279. Suppose y - 32 = -u - 3*y, -g*u = y - w. Is 3 a factor of u?
True
Let d = -139 - -97. Let o = d - -40. Is 9 a factor of 0 + 101 + 0 + o?
True
Let s(u) = 3*u**2 - u - 8. Let i = 3 + -1. Let q be s(i). Suppose -3*n = q*n - c - 223, 3*c = 6. Is 11 a factor of n?
False
Is 11 a factor of ((-1566)/15)/((-54)/9720) + -1?
False
Let p(y) = 4*y**3 + 34*y**2 + 18*y - 77. Is p(16) a multiple of 11?
False
Let p be (28 - 25)*-2*12/(-9). Let l(d) be the third derivative of d**5/15 + d**4/24 - d**2. Is 33 a factor of l(p)?
True