f = -g - 6, 24 = 4*p - 3*g. Is 3 a factor of p?
True
Let b(d) be the first derivative of -11*d**2/2 + 10*d - 19. Is b(-4) a multiple of 27?
True
Let p be 1 - -2 - (4 + -2 - 3). Is 21 a factor of 2 - (-2)/(p/306)?
False
Suppose 0 = z + 3*h - 42, -2*z = h + 58 - 152. Suppose -3*i - 6 = -0*i, 3*i = 3*y - z. Is 7 a factor of y?
True
Suppose -162 = -3*j - 2*p, -2*j - 3*p = -15 - 98. Does 13 divide j?
True
Suppose 36 = 189*j - 186*j. Is j a multiple of 4?
True
Suppose 20 = 4*f - 16. Let m(o) = o**3 - 6*o**2 - 20*o - 4. Is m(f) a multiple of 15?
False
Suppose 6*t = 11*t - 5785. Is 83 a factor of t?
False
Let w be -1 + 10/5 - -185. Suppose 2*c = 5*c - w. Is c a multiple of 13?
False
Let q be (-31)/(-6) + (0 - (-5)/(-30)). Does 10 divide 65 - q - 3 - 1?
False
Let x(l) = -3*l**3 + l**2 - 6*l - 7. Suppose 14 - 2 = -4*g. Does 10 divide x(g)?
False
Suppose -5*d = -d + o - 107, 4*d = 4*o + 112. Suppose -d = -w - 6. Is w a multiple of 2?
False
Let o(i) = -i**2 + 12*i - 3. Let p(z) = -z**2 + 13*z - 2. Let h(k) = 5*o(k) - 4*p(k). Let w be h(3). Suppose w*j = -0*j + 408. Is 17 a factor of j?
True
Let y = 22 - 27. Let l(b) = b**3 + 8*b**2 + 2*b - 12. Let s be l(y). Let r = -18 + s. Is 7 a factor of r?
True
Let s(t) = t**3 - 8*t**2 + 10*t + 10. Let k be s(9). Suppose -p = -3*q + 7*q - k, -5*p - 15 = 0. Suppose 2*i - 32 = q. Is 15 a factor of i?
False
Is (-40)/12 + (-1310)/(-6) a multiple of 5?
True
Suppose 218*y - 219*y = -713. Does 23 divide y?
True
Let j(f) = 143*f**2 + 73*f - 11. Does 127 divide j(-6)?
True
Is 20 a factor of 135 + (30/18 + -2)*-15?
True
Let a(m) = -2*m - 1. Let x be a(-2). Suppose -x*j = -2*j + 28. Let s = 50 + j. Does 6 divide s?
False
Let n be (-1)/(-1) + -3 + 68/4. Let l(m) = m**2 - 12*m - 30. Is 4 a factor of l(n)?
False
Let b(t) = -t**3 + 6*t**2 - 8*t + 4. Let q be b(4). Let s = q - 0. Suppose -8 - 72 = -s*z. Is z a multiple of 5?
True
Let s = -6 + 8. Suppose -s*d = -1 - 3. Suppose -2*z = -5*v - z + 313, -3*z = -d*v + 133. Is 31 a factor of v?
True
Let x = 5615 - 2753. Does 18 divide x?
True
Let a(n) = 9*n - 45. Let w(o) = -5*o + 22. Let m(r) = 6*a(r) + 13*w(r). Is 16 a factor of m(0)?
True
Let b be (278/(-3))/((-6)/9). Let j = -94 + b. Suppose 3*u = 2*t - j, t + 2*u - 24 = 2. Does 8 divide t?
True
Let w = 1662 + -3918. Is (w/30)/(4/(-10)) a multiple of 7?
False
Let j = 22 - 31. Let r = -3 - j. Is r a multiple of 3?
True
Is (31 - -26) + (-3 - -2) a multiple of 8?
True
Suppose 0 = -3*m - 2*m + 15. Suppose 4*l + u = -9, m*l + 8 = -4*u - 15. Is (-2 + 3 - 23)/l a multiple of 11?
True
Let p = 680 - 284. Suppose -7*v + 668 + p = 0. Does 19 divide v?
True
Let p(s) = -s**2 - 5. Let k be p(3). Does 4 divide k/(-5)*3/((-12)/(-10))?
False
Let p(k) = -k**2 - 6*k + 8. Let q be p(-6). Suppose 0 = -q*v + 6*v + 420. Is v a multiple of 42?
True
Let f(h) be the second derivative of -h**6/360 + 7*h**5/60 - 5*h**4/8 - 5*h**3/6 - 3*h. Let r(b) be the second derivative of f(b). Is 9 a factor of r(11)?
True
Let s(t) = 31*t - 1. Let v(x) = -6*x + 4 + 0*x + 0*x + 5*x. Let z be v(3). Does 10 divide s(z)?
True
Suppose -5*r - g = 3*g - 7288, 2902 = 2*r - 5*g. Is 13 a factor of r?
True
Is (-5475)/(-18) - 1/6 a multiple of 12?
False
Let b be 4/(83/28 + -3). Let j = -28 - b. Is j a multiple of 42?
True
Let l(k) = 20*k**2 - 22*k + 267. Is l(9) a multiple of 79?
False
Let q(c) = -189*c - 57. Is 47 a factor of q(-10)?
True
Let w(h) = 7*h**2 - 11*h + 30. Is 18 a factor of w(-21)?
True
Let q(k) be the first derivative of 35*k**4/4 - k**2/2 + 11. Does 5 divide q(1)?
False
Suppose -5*t - q + 4*q + 712 = 0, -3*t + 416 = q. Let w = -189 - -194. Suppose -t = -5*d + w*h, -2*d - 4*h = 3*d - 176. Is d a multiple of 8?
True
Let b(x) = -2*x + 0 + 8*x + 2*x**2 - 3 - 3*x**2. Let p be b(5). Is (-1)/(0 - p/26) a multiple of 4?
False
Suppose 513 = a + 5*n, 1082 = -5*a - 2*n + 3624. Is a a multiple of 24?
False
Suppose -4*m + 119 = 5*y, 0*m = -2*y - 5*m + 51. Let o = 30 - y. Suppose o*n - 180 = 2*n. Does 12 divide n?
True
Suppose -z + 6 = -2*p, 2*p = 4*z - 0*p - 12. Let b = z - -2. Suppose 116 = 3*h - b*k, -h + 3*k = 4*h - 186. Does 13 divide h?
False
Let k = -244 - -453. Does 19 divide k?
True
Let n = 2754 + 759. Is n a multiple of 60?
False
Let r(o) = o**3 + 4*o**2 - 6*o - 3. Let v be r(-5). Let j be 0/v + 164/2. Suppose -44 - 37 = -3*x + 5*n, 2*n = -4*x + j. Is x a multiple of 16?
False
Let y(c) = -c**3 + 14*c**2 + 51*c - 598. Is y(10) a multiple of 8?
True
Suppose -38 = -2*h + 86. Is 3 a factor of h?
False
Suppose 2*x - 4*v = 414, 1065 = 14*x - 9*x + 5*v. Does 3 divide x?
False
Let i(a) = -7*a + 46. Let d be i(-15). Let c = -91 + d. Does 15 divide c?
True
Let j(v) = -v**2. Let d(z) = z**3 - 18*z**2 + 18*z + 2. Let l(p) = -d(p) + 3*j(p). Is l(13) a multiple of 17?
True
Suppose 0 = 39*y - 32*y - 343. Let a = -6 - -91. Let j = a - y. Is j a multiple of 12?
True
Let u be (3 - 0)*(-10)/3. Let j(v) = -v**2 - 14*v + 240. Let l be j(-23). Let r = l - u. Does 14 divide r?
False
Suppose 28*u - 29*u = -3. Suppose 0 = -5*b + 4*b - 3, u*m - 507 = 2*b. Does 22 divide m?
False
Let z be (2/1*3)/(-2). Let k be 3/(180/58 + z). Suppose -u - 34 = -5*y, 4*y = u - 2 + k. Is y a multiple of 2?
False
Let u(k) = 4*k - 4. Suppose -3*s - 7 + 19 = 0. Suppose -s*v - 28 = -8, v + 21 = 4*a. Is 6 a factor of u(a)?
True
Let o(n) = n + 7. Let a be (-2)/(-10) - 108/15. Let g be o(a). Suppose g = -4*r - 3*b + 75, -10 = -3*r + r + 4*b. Is r a multiple of 5?
True
Suppose -2*i + z = 21, -4*i + 3*z - 45 = -0*z. Is (99/12)/(i/(-48)) a multiple of 22?
True
Let p be (50/3)/5*-3. Does 32 divide 2 + 1 - (p + -81)?
False
Suppose -51 = -2*a + o, 5*a + 23*o = 20*o + 155. Is 11 a factor of a?
False
Suppose -n - 2*g = -0*n + 47, 2*g = -4*n - 164. Let a = n - -56. Does 4 divide a?
False
Suppose -2*i = 2*i - 704. Suppose 0 = -0*k - 4*k + i. Suppose 0*t - t + k = 0. Is t a multiple of 22?
True
Suppose -78*s + 18843 = -4557. Is s a multiple of 5?
True
Let j(z) be the third derivative of z**5/30 + z**4/8 + 4*z**3/3 + 12*z**2. Is 11 a factor of j(4)?
False
Is -1 + 2/6 + (-994459)/(-843) a multiple of 13?
False
Let m = -75 - -53. Let f(q) = q**3 + 7*q**2 + 5*q - 7. Let v be f(-5). Let u = v - m. Does 25 divide u?
False
Suppose -19*y = -883 - 903. Let p = y - 41. Is 10 a factor of p?
False
Let q(o) = -18*o - 234. Is 3 a factor of q(-20)?
True
Let m be 0*1/(-6) - 0. Suppose m = -11*z + 8*z + 1248. Is z a multiple of 19?
False
Let a(w) = -w**3 + 9*w**2 - 7*w - 4. Let o be a(8). Suppose x - o*u = 5*x - 16, 3*x + 16 = 4*u. Suppose x = q, -3*z + 4*q = -21 - 21. Is 2 a factor of z?
True
Let p = -36 - -57. Let c = -12 + p. Is -54*c/(108/(-8)) a multiple of 13?
False
Let y(v) = v**3 + 7*v**2 + 7*v - 1. Let c be y(-5). Suppose 0 = r - 24 - c. Let n = 74 - r. Does 12 divide n?
True
Suppose -5*c + o = -3*c - 157, -5*c + 390 = -5*o. Suppose 81 = 10*n - c. Is n even?
True
Suppose 0 = -0*h + 2*h - 32. Suppose -2*a + 3*q = h, 3*a + 4*q + 1 = 11. Does 13 divide (13/4)/(a/(-32))?
True
Suppose -2*o - 2*h + 5312 = 0, 13272 = 5*o - 8*h + 9*h. Does 17 divide o?
False
Let h = 1013 + -348. Is 19 a factor of h?
True
Suppose -6*j - 33 = -3*j - 3*y, j + y + 7 = 0. Let m = 41 - j. Is 16 a factor of m?
False
Suppose 1276 = 13*u - 2*u. Is 38 a factor of u?
False
Suppose 4*a = -5*h + 3293, -14*a = 5*h - 13*a - 3302. Is h a multiple of 26?
False
Let b(l) = 10*l**2 + l + 9. Let i(r) = r**3 + 10*r**2 + 10*r + 6. Let n be i(-9). Is b(n) a multiple of 24?
True
Suppose 6*d - 3 = 3. Let b be 12 + (-1 + -2)*d. Is (-158)/(-6) - (-6)/b a multiple of 6?
False
Suppose 117 = -7*d + 10*d. Does 2 divide d/12 - (-15)/20?
True
Suppose -95 = -0*k + 5*k - 5*l, -l = 4*k + 86. Is 6 a factor of ((-56)/k)/((-8)/(-204))?
False
Let f = 69 + -112. Let l = f + 87. Does 8 divide l?
False
Suppose 9*j - 317 + 1451 = 0. Is 9/3 - j - -5 a multiple of 23?
False
Suppose 0*h = -h - 5*j + 18, -2*j + 28 = 3*h. Let f(p) = 5*p - 20. Let s be f(h). Suppose s + 10 = 3*d. Does 8 divide d?
False
Let q(k) = -2*k**2 - 4*k - 3. Let m be (-4)/(16/6)*2. Let g be q(m). Is (0 + 123)/(g/(-6)) a multiple of 17?
False
Let p be (-1)/(-2) + 10/4. Suppose y + 2*y = -4*i + 382, p*y + 2*i = 386. Suppose -4*k - 5*x + 155 = 0, 3*k + 0*k - y = -x. Is k a multiple of 15?
True
Let t = 23 + -22. Suppose -4*l = -4*h + 464, 5*l = 6