es 9 divide f?
True
Let k be (-4)/18 + 1480/180. Let f = 42 + -23. Let j = f + k. Is 12 a factor of j?
False
Suppose -2*h - 11 = -3. Let r be h/(-4) - (-10)/(-1). Is 11 a factor of 6/(-9) + (-429)/r?
False
Let p = -8 + 10. Let w be (-2)/(2/1) - -146. Suppose y - v = -5*v + 100, -p*y + 3*v + w = 0. Is 21 a factor of y?
False
Suppose -2*w - 12*w = -4046. Does 31 divide w?
False
Let x(c) = c**3 + 12*c**2 - 15*c - 15. Let h be x(-13). Let u = -2 + h. Is 3 a factor of u?
True
Let h(c) = -c**3 - 9*c**2 - 10*c + 6. Let f be h(-8). Let b = 22 - f. Suppose b*p = -5*p + 380. Is p a multiple of 19?
True
Let r(q) = -q**2 + 45*q + 2. Is r(43) even?
True
Let f(g) = 326*g**2 + 23*g - 22. Does 9 divide f(1)?
False
Let t = -214 - -394. Let l = -28 + t. Is 30/(-12)*l/(-10) a multiple of 15?
False
Let u(c) be the second derivative of -5*c**3/6 + 7*c**2 + 2*c. Suppose -2*o - 31 = 3*v, 9*o = 5*v + 11*o + 45. Is u(v) a multiple of 10?
False
Suppose -32*q + 47*q = 6750. Is 12 a factor of q?
False
Let n be (-65)/(-10) - (-9)/(-6). Suppose n*y - 13 = 17. Let c = y + -3. Is 2 a factor of c?
False
Suppose 4*y + q = 120, -3*q + 161 = 5*y + q. Let d = y + -33. Let g(m) = -2*m**3 - 6*m**2. Does 13 divide g(d)?
False
Is 18 a factor of (-40)/140 - 1766*(-4)/28?
True
Does 4 divide (-71)/(-3) + (-31)/(-93)?
True
Suppose 0 = -5*z + 10, -3*z - 227 + 5 = -4*i. Suppose 0 = 2*q - 4*s + 5*s - 21, i = 4*q - s. Is q a multiple of 3?
False
Let n be ((-9)/(-6))/(-1)*(1 + 49). Let l = -69 - n. Does 6 divide l?
True
Let j(o) = o**3 - 3*o**2 - 4*o - 3. Let a be (4 - 2) + (-6 - -10). Let z be j(a). Let r = z - 13. Is 17 a factor of r?
True
Suppose 5*z + 1163 = k, k - 34*z = -33*z + 1155. Does 27 divide k?
False
Suppose 4*i + 5*a = 614, 2*i - 2*a = -2*i + 628. Is i a multiple of 13?
True
Let j(z) be the first derivative of -1/3*z**3 - 4 + 0*z**2 + 12*z. Is j(0) a multiple of 6?
True
Let r(d) be the third derivative of -d**4/8 + 11*d**3/6 - 5*d**2. Let f(u) = -9*u**3 + 2*u**2 - 2*u + 1. Let w be f(1). Is 12 a factor of r(w)?
False
Let j = 339 - 239. Is (88/20)/(4/j) a multiple of 24?
False
Let h = -788 - -1166. Is 9 a factor of h?
True
Suppose 64*s = 60*s - 4*m + 164, 5*s - 4*m = 178. Is 38 a factor of s?
True
Let x(m) = m + 19. Let n be x(-14). Suppose -2*o = -n*o + 90. Does 10 divide o?
True
Suppose -z = t - 45, -3*t = -3*z - 0*z + 129. Let q be (z/77)/((-2)/(-7)). Suppose q*s - 3*s + 48 = 0. Does 12 divide s?
True
Suppose 3*k - 5 = -20. Let p(q) = 69*q - 4. Let t(h) = -172*h + 10. Let o(g) = k*t(g) - 12*p(g). Is o(1) a multiple of 10?
True
Suppose 75678 = 44*p - 7350. Is 17 a factor of p?
True
Suppose 0 = 11*u - 379 - 20961. Is 8 a factor of u?
False
Let g(j) = -j**3 + 3*j + 2. Let l be g(-2). Suppose -r = -l*r. Suppose -4*n + 110 = 3*y, -4*y - 4*n + 17 + 131 = r. Is 10 a factor of y?
False
Let o = -32 - -107. Suppose -3 = 2*w - o. Let m = w + -20. Is m a multiple of 8?
True
Suppose 335*y - 339*y + 7392 = 0. Is y a multiple of 28?
True
Let s = 1811 - -433. Is 11 a factor of s?
True
Suppose 0 = 20*s - 19*s. Suppose 2*j + 3*y - 112 = s, -3*y - 184 = -4*j + y. Suppose -4*u = -l - 100, -3*u + u - 5*l = -j. Is u a multiple of 4?
False
Let g(j) = -64*j + 9. Let h(l) = -64*l + 8. Let y(d) = -4*g(d) + 5*h(d). Is y(-1) a multiple of 15?
False
Let u(w) = 166*w + 450. Does 164 divide u(21)?
True
Let f(h) = -2*h - 16. Let x be f(-12). Let j(c) = c**3 - 3*c**2 - 9*c - 8. Let n be j(x). Suppose 3*m = -m - 3*k + n, 5*m - 327 = 3*k. Does 16 divide m?
False
Let m = 1000 - 109. Is 99 a factor of m?
True
Let z = -20 + 25. Let b(y) = y**3 - 5*y**2 + 2*y - 1. Is b(z) a multiple of 9?
True
Let h(m) = m**2 - 12*m + 51. Is h(23) a multiple of 38?
True
Let u = -1791 - -3557. Is 61 a factor of u?
False
Does 59 divide ((-2)/2)/(4/(-1652))?
True
Let o = -53 - -102. Let y = -28 + o. Does 4 divide y?
False
Does 14 divide (4/(-12) - 4/(-3))*1078?
True
Is 2/(-20) - 16642/(-20) a multiple of 26?
True
Let n(v) be the second derivative of -v**3/2 - 3*v**2/2 - 8*v. Let y be n(-8). Suppose 3*b = 4*c - 7*c + y, -37 = -3*b + 5*c. Is b a multiple of 4?
False
Suppose -3*c = -2*d + 6*d - 44, -33 = -c - 5*d. Let s(a) be the third derivative of a**5/60 - a**4/24 - 4*a**3/3 + a**2. Does 16 divide s(c)?
True
Suppose -149 = -2*h + h. Let p = 245 - h. Is p a multiple of 32?
True
Let v(c) = 3*c - 23. Let u be v(8). Is (-35)/(1 + -6) - u a multiple of 2?
True
Suppose 2891 = 12*f - 3805. Is f even?
True
Suppose -2*r + 3*t = -620, 4*r + t = -4*t + 1240. Is r a multiple of 54?
False
Let d = -39 + -93. Let c = d - -258. Is c a multiple of 32?
False
Let w = -36 - -31. Does 15 divide 28*w/60*-21?
False
Let x = 2301 - 954. Is 9 a factor of x?
False
Let w = -2918 - -5186. Does 42 divide w?
True
Suppose 4*q - 5*q - 943 = -2*r, -5*q = -r + 458. Does 60 divide r?
False
Let v be (2/4)/((-3)/(-24)). Suppose v = -3*j - j. Is 2 + (41 - -3) + j a multiple of 15?
True
Suppose -f = 2*z - 6*z - 1330, z = 4*f - 5305. Is 5 a factor of f?
False
Let h = 42 - -44. Let f = h - 47. Does 19 divide f?
False
Suppose -5*f - y = -1365, -4*f - 445 = 5*y - 1558. Is f a multiple of 34?
True
Suppose 2*d + 5*w - 332 - 33 = 0, 0 = -3*d + 4*w + 490. Does 71 divide d?
False
Suppose 9*d - 3 = 1302. Does 75 divide d?
False
Let b = 39 + -50. Is 10 a factor of (-1010)/b + -2 + (-12)/(-66)?
True
Let m = 22 - 9. Suppose 8*n = m*n - 560. Is 56 a factor of n?
True
Let m(j) be the second derivative of 7*j**3/3 - 5*j**2 + 9*j. Is m(7) a multiple of 11?
True
Suppose -242 = -3*n + 1. Let h = -45 + n. Is h a multiple of 18?
True
Let i be (-7)/(-14) - -1 - (-2)/4. Let j(s) = -s**2 - 6*s + 5. Let v be j(-6). Suppose -106 = -4*b - i*m, v*b - 3*b = 5*m + 23. Is b a multiple of 8?
True
Let g(x) = -x. Let c be g(0). Suppose c = 4*o - 4*a + 16, 0*o + 5*a = 2*o + 14. Is 4 a factor of 3*((-40)/(-12) + o)?
True
Let c be (2 - -20)/((-2)/(-10)). Let r = -183 + c. Let d = -44 - r. Is 27 a factor of d?
False
Suppose -2*y + 4 = 0, y = -0*r - 5*r + 82. Suppose -f = -r - 1. Is 17 a factor of f?
True
Let r(d) = -d**3 - 7*d**2 + 9*d + 12. Let w be r(-8). Suppose 3*k = -2*p - 2*p - 94, 4 = -w*p. Let n = k - -57. Is n a multiple of 27?
True
Let q = 34 + -23. Suppose -3*c = -2*d - 315, 12*d - 409 = -4*c + q*d. Is c a multiple of 4?
False
Let x(k) = 0*k + 5*k + 4 - 6*k + k**3 + 3*k**3. Is 13 a factor of x(3)?
False
Suppose 2*r = -3*r + 25. Let a(u) = u**3 - 6*u**2 + 6*u - 3. Let b be a(r). Let t(l) = 6*l**2 - 3*l + 1. Does 17 divide t(b)?
False
Let p(r) be the first derivative of -r**6/60 - r**5/10 + r**4/3 + r**3 - 13*r**2/2 - 7. Let i(g) be the second derivative of p(g). Does 25 divide i(-5)?
False
Let r = 692 + -101. Is 38 a factor of r?
False
Let a(m) = -7*m + 54. Does 74 divide a(-36)?
False
Let j = -295 + 422. Let q = -69 + j. Does 11 divide q?
False
Suppose l + 74 = 397. Suppose 5*g - 12 = l. Suppose -p = 5*z - 17, 0*p = p - 5*z - g. Is p a multiple of 8?
False
Is 13 a factor of 2*(-2 - 1)/(6/(-566))?
False
Is 10 a factor of 1/(-1 + -5) + (-117021)/(-342)?
False
Let p(k) = -k**2 + 6*k - 4. Let r be p(5). Let i = -111 + 119. Is ((-104)/i)/(-2 + r) a multiple of 6?
False
Let n be (-2)/18*-3*(277 + -1). Suppose -3*h = -n + 62. Is h even?
True
Let i = -7 - -67. Suppose 6*v - 9*v + i = 0. Does 6 divide v?
False
Suppose -41 = -4*l + 15. Let d = l - 11. Suppose -2*o + 55 = d*o. Does 4 divide o?
False
Is 10 a factor of 32/6*11/(77/105)?
True
Let i(m) = -m**2 + 7*m + 11. Let v be i(8). Suppose 7*y + v = 8*y. Does 9 divide -2 + -2 - (-63)/y?
False
Let b = 2 + 9. Suppose -b*m = -10*m - 21. Is m a multiple of 12?
False
Let b = 1395 - 723. Is b a multiple of 14?
True
Suppose 0 = -s - 3*s - 5*j + 432, -s + 5*j = -83. Suppose s = 4*z - 5*g, -5*z + 140 = 2*g + 3*g. Does 6 divide z?
False
Let o(n) = -5*n - 1. Let i(a) = -1. Let m(r) = 5*i(r) - o(r). Let c = 15 + -12. Is 3 a factor of m(c)?
False
Let j(b) = -5*b**2 + 14. Let v(h) = 6*h**2 - h - 15. Let o(u) = 5*j(u) + 4*v(u). Let d = 50 - 55. Does 4 divide o(d)?
False
Suppose 4*h + 24 = 2*i + 2*h, -4*i = h - 48. Suppose 17 = z - i. Does 5 divide z?
False
Let a(x) = 69*x - 86. Does 42 divide a(8)?
False
Let a = -2 - -3. Let y(d) = -2 - 10*d - 4*d + 42*d. Does 13 divide y(a)?
True
Suppose 0 = 18*p - 14*p - 704. Suppose -n = -3*s + 92, 0 = -2*s - 3*s - 4*n + p. Is s a mu