f o?
True
Let s(v) be the first derivative of v**4/4 - 5*v**3/3 + 7*v**2/2 - 6*v - 7. Is 3 a factor of s(4)?
True
Let p(d) = -d**2 + d + 140. Let v be p(0). Suppose v = 30*q - 28*q. Is q a multiple of 14?
True
Suppose -5*k + 2*r = -10*k - 74, -2*k = 5*r + 17. Let c = k - -18. Suppose 2*y + c*h = 4*y - 48, -2 = -h. Does 13 divide y?
True
Suppose -5*r + 4*r = -48. Is r a multiple of 16?
True
Suppose -12 = -4*z - 4*i, 2*z + 3*z + 2*i = 21. Suppose 0 = -z*r + 5*p + 125, -r + 20 = 7*p - 3*p. Does 12 divide r?
True
Suppose -3*k - 9649 - 2296 = -5*t, -4*t - 2*k = -9578. Is 13 a factor of t?
True
Suppose 7*o - 4*o - 36 = 0. Suppose 0 = -0*g - 4*g + o. Suppose 0 = -y - g*y + 4*i + 144, 5*i - 170 = -5*y. Is 7 a factor of y?
True
Suppose 11*p + 5 + 28 = 0. Does 14 divide (56/(-10))/((-72)/(-420))*p?
True
Let u = 497 + -391. Is 3 a factor of u?
False
Suppose 13*g + 3 = 16*g. Let t(v) = v + 5. Let h be t(4). Does 10 divide (-44 - g)*(h - 11)?
True
Is 12 a factor of 4 + 0 - (-136482)/129?
False
Let n(d) = -95*d + 4. Let l(s) = s + 4. Let u be l(-2). Let c be n(u). Let p = 265 + c. Is 22 a factor of p?
False
Let a = 105 + 32. Is 49 a factor of a?
False
Suppose 4*l = -j - 2*j + 19, 0 = -5*l + 3*j - 10. Is 10 a factor of (-3 + 6 - (5 - l)) + 165?
False
Let i(o) = 11*o**2 + 18*o - 48. Does 2 divide i(3)?
False
Let s be (5/(-15))/((-4)/48). Suppose 5*z - s*z = 18. Is 18 a factor of z?
True
Let d be (1/(4/4))/((-1)/(-12)). Suppose -15*p + d*p + 411 = 0. Is 12 a factor of p?
False
Suppose 0 = 9*l - 5*l - y - 1261, 2*y + 1574 = 5*l. Is 7 a factor of l?
False
Suppose 3*d + 0*d + 492 = -3*c, 5*d + 325 = -2*c. Let m be (6/5)/((-22)/c). Let l(k) = -k**3 + 9*k**2 + 5*k - 12. Is l(m) a multiple of 22?
False
Let h = 568 - 387. Does 5 divide h?
False
Let q(k) = -7*k - 7. Let x be q(3). Let z = -19 - x. Let y(d) = 13*d - 15. Is 21 a factor of y(z)?
False
Let u(p) = 2*p**2 + 17*p - 4. Let i be u(-9). Let f(s) = 4*s**3 - 13*s**2 + 8*s - 5. Is f(i) a multiple of 21?
True
Let j = -598 - -959. Is 15 a factor of j?
False
Suppose -345*x + 352*x = 4263. Is 31 a factor of x?
False
Let h = 33 + -17. Let u be 4 + (-5)/((-20)/h). Suppose u*c - 840 = c. Does 44 divide c?
False
Suppose -4*l = -24 - 36. Let i be -1*5*(-12)/l. Suppose -i*s = -3*g - 190, -84 = -4*s + 2*s - 4*g. Does 12 divide s?
False
Let y = -156 + 306. Suppose 4*v - y = -t, 4*t - 446 = -v + 154. Does 25 divide t?
True
Let p(r) = -9*r**2 - 2*r - 3. Let j(y) = y**3 + 19*y**2 + 5*y + 6. Let f(c) = 3*j(c) + 7*p(c). Is 9 a factor of f(4)?
False
Suppose -45*x - 2340 = -50*x. Does 52 divide x?
True
Is (-1 - -2624) + (13 - (10 + 10)) a multiple of 13?
False
Suppose -5387 + 31700 = 21*m. Is m a multiple of 7?
True
Let x(n) = 16*n - 7. Let a = -63 + 73. Is x(a) a multiple of 15?
False
Let b(i) = i**3 - i**2 - i. Let y be b(3). Suppose -5*k + 33 = -2*h + 4*h, y = -k + 5*h. Suppose k*u = 2*a + 247, 2*u + 4*a - 94 = 6*a. Is u a multiple of 17?
True
Suppose 1931 = 3*c - 2*d, -5*c - 5*d = -0*c - 3185. Does 8 divide c?
False
Let s = -723 - -1216. Does 12 divide s?
False
Let j be (2/(-6))/(1/(-153)). Let f be -4 + 6/(-3)*-13. Let l = j - f. Is 22 a factor of l?
False
Let n(t) = -t**3 + t**2 + t + 22. Let v be n(0). Suppose -5*s = -v - 68. Is s a multiple of 18?
True
Let k(w) = w**3 - 6*w**2 - 9*w + 22. Let r be k(7). Let x = 281 - r. Is 39 a factor of x?
True
Let f = -53 - -31. Suppose v - 5*o - 89 = 0, 4*v + 3*o = 2*o + 272. Let m = f + v. Does 32 divide m?
False
Suppose -2*d - 5*k + 3 = -d, -2*k = 4*d - 48. Let y(a) = a**2 - 3*a - 3. Is 16 a factor of y(d)?
False
Suppose -t + 4*d = -2*t + 12, 2*t + 2*d = 12. Suppose -3*h = -12, n - 169 = -t*n + 4*h. Let z = -1 + n. Is 18 a factor of z?
True
Let z(b) = 20*b**3 - 3*b**2 + 2*b - 1. Let p be z(2). Let a = 217 - p. Is a a multiple of 5?
False
Let k = 2 + 1. Suppose 2*i + 3*j - 7*j = -6, -3*j = -2*i - k. Suppose 3*q = -3*z + 17 + 25, -39 = -i*q - 2*z. Is q a multiple of 4?
False
Suppose 30336 = 9*m + 7431. Does 46 divide m?
False
Suppose 2*z - d - 4 = 0, -4*d + 2 = 10. Let s(i) = -39*i**2 - 5*i - 13. Let j(t) = 10*t**2 + t + 3. Let w(a) = 9*j(a) + 2*s(a). Does 6 divide w(z)?
True
Let b(f) = 19*f**2 - 30*f - 82. Is 16 a factor of b(-8)?
False
Suppose 5*a + 0*a = 4*b + 74, 3*b - 25 = -2*a. Let n(v) = 3*v - 9. Does 9 divide n(a)?
False
Let y(m) = 25*m - 61. Does 13 divide y(3)?
False
Let v = 80 - 76. Suppose -313 - 80 = -v*r - p, 5*p + 15 = 0. Is 9 a factor of r?
True
Let j be 1/(15/6 + (-15)/10). Let m be 2/2*1*12. Is -6 + m - (j - 2) a multiple of 7?
True
Suppose -6*w = -3*w - 45. Suppose -4*j - j + w = 0. Suppose j*i + 210 = 8*i. Does 20 divide i?
False
Suppose -h - 189 = -y, -2*y - 159 = h + 3*y. Let l = h - -302. Let p = -70 + l. Does 16 divide p?
True
Let j be 8 + (-7)/((-14)/(-4)). Suppose 3*r = j*r. Let x(d) = d + 33. Is x(r) a multiple of 32?
False
Let c(v) = -9*v + 1. Let x be c(-1). Let z(b) = -b**3 + 9*b**2 + 8*b + 7. Let w be z(x). Is 20 a factor of ((-1)/3)/(w/2145)?
False
Let o = 73 + -122. Let l(h) = -24*h + 99. Let g be l(7). Let k = o - g. Is 10 a factor of k?
True
Suppose 0 = d - 0 - 3. Suppose -6 = -d*y + y. Suppose y*x + 275 = 8*x. Does 17 divide x?
False
Suppose -g - 2*n = -27, -4*g - 7*n + 2*n = -93. Suppose -4 = -11*r + 18. Suppose r*t - g = -3. Is t a multiple of 7?
True
Does 25 divide ((-14846)/156)/((-1)/18)?
False
Is 8 a factor of (-2*2/12)/((-37)/8880)?
True
Suppose 388*v + 6900 = 394*v. Does 13 divide v?
False
Let s(y) = -y**3 + 3*y**2 - 43*y + 39. Is 26 a factor of s(-13)?
True
Let d = -21 + 21. Suppose d = 3*x + 2*x - 20. Suppose 4*y = 2*u + 2*y - 118, 4*y - 252 = -x*u. Is u a multiple of 16?
False
Suppose -3*l + 2026 = -2*h, 3*l = 2*h + h + 2028. Does 19 divide l?
False
Let a(h) = h**2 - 48*h. Does 21 divide a(-21)?
True
Suppose c = 6*c - 5*h - 110, 5*c + 5*h - 160 = 0. Suppose 3*i + 0*i = c. Suppose 2*w + 0*w - 3*z = i, -22 = -4*w + 2*z. Is w even?
True
Suppose -2*p + 4869 = 7*p. Does 15 divide p?
False
Let p = 1902 + -1738. Does 4 divide p?
True
Suppose 2*q - 2*z = -3*z + 32, -z - 13 = -q. Let t be (-3)/9*(0 + -3). Suppose 0 = 2*f + t - q. Is f a multiple of 4?
False
Suppose -487*a = -484*a - 6264. Is a a multiple of 174?
True
Suppose -46651 = -24*l + 5093. Is 77 a factor of l?
True
Let i = 216 - -288. Suppose 0 = -b - 2, b = -5*q - 2*b + i. Does 17 divide q?
True
Is (17 + -4)/(1 + 11/(-12)) a multiple of 13?
True
Let k(c) = c**2 - 2*c + 3. Let r be k(2). Suppose -r = -f + 4*o, -8 = -4*f - 2*o + 4. Suppose -2*l = 3*n + 3 - 28, 5*l - 31 = f*n. Is l a multiple of 8?
True
Let g be (4/(-6))/((-2)/111). Suppose 2 = -2*y + 3*o - g, -y = -3*o + 27. Let s = 22 + y. Does 5 divide s?
True
Suppose 2*d - 99 = 5*d. Let x = d + 163. Is x a multiple of 13?
True
Suppose -3*g = 4*v - 31, -5*v - 2*g + 31 = -6. Does 3 divide 213/v - (-42)/(-98)?
True
Suppose 4102 = -c + 15*c. Is c a multiple of 50?
False
Suppose q = 20 + 21. Suppose 0 = 2*n + 15 - q. Is n even?
False
Let a(v) = 14*v + 749. Does 7 divide a(-42)?
True
Is 18 a factor of 2*30/20 + 483?
True
Let x(a) = -a**3 - a**2 - 3*a + 1680. Does 20 divide x(0)?
True
Suppose 0 = 3*g - 4*j - 116, 0 = -5*g - 2*j + 63 + 113. Is 9 a factor of g?
True
Let k(d) = d**2 + 3*d - 2. Let u be k(-4). Is (1/(u/46))/1 a multiple of 3?
False
Let k(s) = -s**3 + 2*s**2 - 11*s + 2. Let i(z) = -z**3 + 3*z**2 - 11*z + 3. Let b(v) = -3*i(v) + 2*k(v). Is 15 a factor of b(6)?
False
Let v = 2705 - 1544. Is v a multiple of 23?
False
Let v(a) = a**3 + 10*a**2 + 11*a + 8. Let q be 2 + (-10 - (-2 - -2)). Let i be v(q). Suppose -4*z + i = -100. Is 11 a factor of z?
False
Suppose -34*a = -37*a + 297. Is 9 a factor of a?
True
Let z(u) = -4*u - 15. Let t(f) be the third derivative of 7*f**4/24 + 29*f**3/6 - 3*f**2. Let j(i) = 2*t(i) + 5*z(i). Does 17 divide j(-15)?
False
Is (2 - 1)/(5/6460) a multiple of 17?
True
Let k(x) = -3*x - 14. Let r be k(-7). Is 9 + (r - (-3 + 6)) a multiple of 3?
False
Suppose -5*i + 286 = g, -426 = -4*g - 3*i + 752. Let q = g - 176. Is 40 a factor of q?
True
Suppose 3*n - 2*n = 3. Suppose n*w + 5*d = d + 4, 24 = 4*w - 4*d. Suppose 0*j = -w*j + 36. Is 6 a factor of j?
False
Suppose 16*c + c = 2924. Is c a multiple of 4?
True
Let j(h) = 30*h + 20. Let f(x) = 6*x + 4. Let c(m) = 11*f(m) - 2*j(m). Let a be c(4). Suppose -10 = -2*v, -3