j be o(q). Is 13 a factor of j/(-5) - 655/(-25)?
True
Suppose 45*n = -47*n + 30912. Does 14 divide n?
True
Suppose 1673 + 877 = 10*s. Is s a multiple of 17?
True
Let w(z) = -z - 12. Let t be 28/(-8)*(3 - 1). Let r be w(t). Let u = 23 - r. Does 7 divide u?
True
Suppose 4*y - 127 - 221 = 0. Let j = -60 + y. Is 27 a factor of j?
True
Suppose 0 = -9*y + 1724 - 536. Let b = -87 + y. Is b a multiple of 9?
True
Let r be -3 + (-18)/(3/(-1)). Suppose -r*s = -0*s - 27. Let a = s + 90. Is 33 a factor of a?
True
Let b(t) be the second derivative of t**7/2520 - t**6/720 + 3*t**5/40 + 5*t**4/12 - 3*t. Let i(g) be the third derivative of b(g). Does 3 divide i(0)?
True
Let x be 2 - -26 - 6/(-2). Let v = x + -27. Suppose -2*f = v - 22. Is f a multiple of 2?
False
Let w = -533 - -776. Does 27 divide w?
True
Let v be (-7)/((-105)/(-6))*125. Does 11 divide 20/v + (-112)/(-5)?
True
Let f = 61 + -56. Suppose 181 = f*z - 2*v, -1 + 5 = 2*v. Is 37 a factor of z?
True
Let o = 30 + -30. Suppose o = 11*q - q - 1540. Is q a multiple of 6?
False
Does 35 divide -1*(-120)/9*546/4?
True
Let j(x) = x**3 - 3*x**2 - 12*x + 10. Let f be j(8). Suppose -2*w - 111 = -p, -5*w - f - 97 = -3*p. Let c = p + -26. Is 9 a factor of c?
True
Let c = 5 - 2. Let o be (-12)/8*(-58)/c. Let j = 66 - o. Is j a multiple of 12?
False
Let t(z) = 5*z - 3. Let i be t(1). Suppose -f = -3 - i. Is f a multiple of 5?
True
Let o = 4 + 26. Let t be o/(-195) + 24/(-13). Does 15 divide -2 - (t - 87/3)?
False
Let x = -54 + 68. Let i = 19 - x. Is i even?
False
Suppose -j = j - 6. Suppose 0 = 5*d - 2*d - 5*s - 45, -4*d + 60 = -j*s. Is 5 a factor of (-3 + 39/9)*d?
True
Let p(l) = l**2 + 16*l + 21. Let b = 0 - 15. Does 6 divide p(b)?
True
Let x be (23/(-2))/(51/(-18) + 3). Let j = x + 119. Is 10 a factor of j?
True
Let l = 22 - 24. Is 8 a factor of 16/(-8)*(l - 6)?
True
Suppose -9*z = -12*z - 57. Let k = 5 - z. Is k a multiple of 5?
False
Let d be (-12)/(-18)*21 + -5. Suppose z + d = -2*n + 123, 3*z - 4*n - 352 = 0. Does 10 divide z?
False
Let z(q) = q**3 - 12*q**2 - 2*q + 36. Let h(s) = -s**2 + 11*s - 18. Let k be h(6). Is 12 a factor of z(k)?
True
Let u(s) = -s**2 + 2*s + 11. Let t be u(0). Suppose -32 = -3*g - t. Is 4 a factor of g?
False
Suppose 52*s - 63 = 1913. Does 3 divide s?
False
Suppose -3*s - 5*d = 0, -s - 2 = -0*s + d. Let v = s + 10. Suppose -101 = -4*z - v*o - 26, 0 = 5*z - 4*o - 145. Does 11 divide z?
False
Let s = 1614 - 1099. Suppose s - 95 = 3*c. Is c a multiple of 24?
False
Suppose 32*w = 23*w + 4860. Is 5 a factor of w?
True
Suppose 4*j + 1 = -3*i - 20, 4*i + 21 = -3*j. Let b be ((-9)/3 + i)/(-1). Suppose v + b = s, -3*s = v - 3*v - 17. Does 2 divide s?
False
Let s = 157 + 103. Is 26 a factor of s?
True
Suppose -5*v + 558 = 38. Suppose 301 = 5*r - v. Is r a multiple of 27?
True
Suppose 2*t = -w - 1, 2*t + 7 = 5. Let f(v) = 0 + 0 + 7*v**2 - 1. Is 3 a factor of f(w)?
True
Let l(o) = -79*o**3 + 3*o**2 + 6*o + 2. Let v(z) = -238*z**3 + 8*z**2 + 17*z + 6. Let p(k) = -17*l(k) + 6*v(k). Is p(-1) a multiple of 6?
True
Suppose -4*b - 102 = 446. Let l = b + 227. Is l a multiple of 7?
False
Let p(u) be the second derivative of u**7/504 + u**6/60 - u**5/120 - u**4/2 + 6*u. Let d(z) be the third derivative of p(z). Is d(-5) a multiple of 12?
False
Let n be 240/36 - 2/(-6). Suppose 2*z = n*z - 295. Suppose -6*q + q + 2*t + 125 = 0, t - z = -2*q. Is q a multiple of 5?
False
Suppose -23*d + 6222 + 14317 = 0. Is 11 a factor of d?
False
Let l(j) = 3*j**3 - 3*j**2 - 25*j + 44. Is l(5) a multiple of 3?
True
Suppose -11*b = -4*b - 2660. Is 5 a factor of b?
True
Let x = 502 - 342. Suppose -3*g + x = 5*j, -j - j = -3*g + 146. Is g a multiple of 14?
False
Suppose -4*q + 6*q + 46 = 0. Let f = q - -24. Suppose 0 = 4*z - 4*k + f + 3, -5*z + 45 = 5*k. Is 2 a factor of z?
True
Suppose 4*x - 432 = -4*j, x + 5*j = 36 + 56. Suppose -27*m + x = -23*m. Is 6 a factor of m?
False
Suppose 206 = -3*c + 1784. Is 21 a factor of c?
False
Suppose -5*t + 80 + 310 = 0. Does 2 divide (-6)/10 + t/5?
False
Let j(u) = 65*u**2 + 3*u - 2. Is j(-3) a multiple of 41?
True
Suppose 7*x - 1126 - 547 = 0. Is x a multiple of 9?
False
Let q(l) be the first derivative of 11*l**3/3 + 3*l**2/2 - 2*l + 11. Is 9 a factor of q(2)?
False
Suppose -m - 2*p - 3*p = 65, 2*m + 90 = -2*p. Let c be (-1 - 2)*m/3. Suppose -7*f - c = -11*f. Is 5 a factor of f?
True
Let i(o) = 2*o**3 - 7*o**2 + 7. Suppose -3*r + 11 = 2. Suppose r*h = -2*h + 25. Is i(h) a multiple of 30?
False
Suppose -h - 6*p + 8*p = -61, 0 = -2*h - 4*p + 98. Is (h/(-10))/(-11)*360*1 a multiple of 40?
False
Let o be 168/63*(1 - 7). Is o/3*(-4 + (-28)/(-16)) a multiple of 5?
False
Is (78 - 2)*((-266)/(-7) + 7) a multiple of 12?
True
Suppose -5 = -5*n, -f + 57 = n + 3*n. Suppose -7*q + f = -38. Is 8 a factor of q?
False
Suppose -39 = -5*o + 2*o. Let i = o - 13. Suppose 3*c + k - 50 = i, c + 2*k = -0*c + 25. Is c a multiple of 3?
True
Let i be -10*(4/8 + -2). Let w = i + -18. Let s = w - -19. Is s a multiple of 16?
True
Suppose 5*d + 500 = 3*o + d, 322 = 2*o + 3*d. Is 41 a factor of o?
True
Suppose -3*g + 36 = g. Suppose 3*o + 5*h - 3 = 2*o, 0 = 5*h. Suppose o*p - g = 9. Does 3 divide p?
True
Suppose 70 - 5 = f. Suppose f = 2*a - 51. Is 17 a factor of a?
False
Suppose 0 = -6*w + 3561 - 615. Suppose 6*u - 421 = w. Is 38 a factor of u?
True
Suppose m = 1069 + 433. Is 13 a factor of m?
False
Does 14 divide (66/(-4))/(33/(-308))?
True
Suppose 0 = -3*r + 132 + 1239. Suppose -149 = -3*v + r. Does 21 divide v?
False
Suppose 2*l - 48 = 270. Does 6 divide l?
False
Suppose 15*c - 26967 = -87. Is c a multiple of 7?
True
Suppose 3*f - f + 6 = 0. Let p(a) be the second derivative of -2*a**3/3 - a**2/2 - 2*a. Does 11 divide p(f)?
True
Let w = 28 - 20. Let x(t) = t - w*t**2 + 4*t - t + 10*t**2. Is 12 a factor of x(4)?
True
Let j = 380 + -131. Does 21 divide j?
False
Let j(r) = 3 + 3 + r**2 - 4*r**2 - 4*r + 2*r**2. Let f be j(-6). Is (50/4)/((-3)/f) a multiple of 24?
False
Let m be (-244)/24 - 2/(-12). Let u = 14 + m. Does 2 divide u?
True
Does 6 divide (-19040)/(-84) - 2/(-6)?
False
Let p be 12/(-9)*18/(-8) + -6. Does 15 divide -1 - (10 - -1)*(-14 - p)?
True
Let s(d) = 17*d + 2. Let r(b) = -33*b - 3. Let h(p) = 2*r(p) + 5*s(p). Is h(3) a multiple of 9?
False
Let h(a) = -76*a - 25. Is 25 a factor of h(-6)?
False
Suppose 0 = 5*h + 4*t + 6, -t = -4*h - 4 + 16. Suppose 2*y - 2*s = 422, -s + 629 = h*y + y. Is 35 a factor of y?
True
Let b = -1665 - -2110. Is b even?
False
Let a(l) = -l + 13. Suppose k = -5*x - k + 55, 3*x + 2*k = 37. Suppose 4*u = 5*u + x. Does 22 divide a(u)?
True
Suppose -d + 413 = 2*u - 845, 5*d + 3*u = 6276. Does 6 divide 16/56 - d/(-21)?
True
Let d(p) = 43*p**2 - 7*p + 3. Let x be d(4). Suppose -6*u + x = -57. Is 8 a factor of u?
True
Let i = -1 - -3. Let z = -57 - -65. Suppose -o = -0*o - 3*c - 8, -i*c + z = 0. Does 11 divide o?
False
Let u = -15 - -20. Suppose -2*r - 150 = -u*i, 6*r = i + 4*r - 30. Does 3 divide i?
True
Let i(v) = -23*v**2 - 322*v - 13. Is i(-13) a multiple of 20?
False
Is 4 a factor of 15/6*(1872/15)/6?
True
Let k = -226 + 1998. Is 30 a factor of k?
False
Let w(d) = -d**3 - 9*d**2 + 5*d - 6. Suppose 2*c = -2*c. Let m be 3 + -9 + -4 + c. Is 11 a factor of w(m)?
True
Let x(f) = 4*f**2 + 7*f - 7. Let l be x(4). Let g = -35 + l. Suppose 0 = -6*o + 508 + g. Does 21 divide o?
False
Let k(z) = -631*z + 26. Let s be k(-4). Suppose 11*b - s = -6*b. Is 25 a factor of b?
True
Is -1 + (-394)/(-11) - 204/(-1122) even?
False
Let i = 4148 - 2076. Is 7 a factor of i?
True
Let c = -626 + 346. Let j = c - -414. Is 28 a factor of j?
False
Let j(o) = -3*o**2 + o - 169. Let b(w) = -w**2 - w + 1. Let i(a) = 2*b(a) - j(a). Does 19 divide i(0)?
True
Let w(c) = 120*c**3 - c**2 + c - 1. Let k(g) = g**2 + 9*g + 9. Let y be k(-8). Let u be w(y). Let r = -64 + u. Is r a multiple of 14?
False
Suppose 0 = 4*x + 1 - 5. Let d = -19 + x. Let h = 31 + d. Does 9 divide h?
False
Let a(s) = 2 - 10*s + 14*s**2 - 9*s - s**3 + 7*s + 0*s. Let i be a(13). Does 8 divide 51/5 + (-3)/i?
False
Suppose 6*i - 8 - 4 = 0. Suppose -5*n + i*b + 95 = 0, -2*b + 115 = 5*n - 0*b. Is n a multiple of 9?
False
Suppose 659*d - 660*d = -2856. Is 12 a factor of d?
True
Let r(q) = q**3 - 3*q**2 + 10*q - 10. Suppose -3*o + 6*o = 2*g - 10, -3*o