 = c. Is 38 a factor of y?
False
Does 3 divide 53/(12/3 + -3)?
False
Let t(c) be the first derivative of 92*c**2 - 13*c - 29. Is 19 a factor of t(1)?
True
Suppose -6 = 4*y - 2. Does 9 divide (-90)/(-5 - (-2 + y))?
True
Does 67 divide 2*((-34)/(-51))/((-8)/(-3618))?
True
Let b(i) = -48*i - 140. Is b(-7) a multiple of 41?
False
Let f = -55 + 34. Let i = 29 - f. Is 5 a factor of i?
True
Let c = 501 + -306. Is 15 a factor of c?
True
Let c be (11/22)/((10/(-24))/5). Let w(d) = d**3 + 6*d**2 - 3*d + 6. Is 8 a factor of w(c)?
True
Suppose -8*m = -6*m - 502. Suppose 4*t - m - 173 = 0. Is 24 a factor of t?
False
Let u(q) = q**3 + 3*q**2 + 4*q + 2. Let z be u(-2). Does 3 divide (-6 + 4)/(z/3)?
True
Suppose -2*i = -3*u - 23, 5*u + 5 = -5*i + 25. Let p = 10 - i. Suppose 3*t - t = -p*m + 68, -2*t + 3*m + 68 = 0. Does 6 divide t?
False
Is 43 a factor of 14751/7 - (17 + (-1170)/70)?
True
Let w be 5 - 448/4*-2. Suppose i - y = w, -241 = -i + y - 6*y. Does 33 divide i?
True
Suppose -395 + 43 = -8*l. Suppose 2*n - 119 + 19 = r, -n + l = -2*r. Is n a multiple of 15?
False
Let t(n) = n**2 - 14*n + 11. Let l be t(12). Let d = -19 - l. Let b = 4 - d. Does 2 divide b?
True
Suppose 4 = 2*f - 2. Suppose 7*i = -87 + 871. Suppose f*r = i + 41. Is 17 a factor of r?
True
Let o(a) = 5*a**2 + 5*a - 2. Is 22 a factor of o(-4)?
False
Let i(o) = o**3 - 11*o**2 - 8*o + 8. Let q be i(13). Let s = q + -94. Let k = s + -106. Is 14 a factor of k?
True
Is (-176)/(-12)*276/8 a multiple of 46?
True
Let i be -6*(-1)/6*2. Suppose -9 - 5 = -i*d. Let h = d - -2. Is 5 a factor of h?
False
Suppose -6*n + 2*n + 56 = 0. Let j = 33 - n. Does 2 divide j?
False
Let n(k) be the first derivative of k**4/4 - 7*k**3 + 12*k**2 + 27*k + 13. Does 23 divide n(20)?
False
Suppose -2*h + 6*h - 264 = 0. Suppose -1352 = -5*j - 532. Suppose t - j = -4*q - t, 3*t + h = 2*q. Is q a multiple of 13?
True
Suppose 3 = 4*t - 5, -5*d + 4*t = 73. Let j = 1 + d. Is 2 a factor of (-10 - j)/((-1)/(-2))?
True
Let s = -494 - -964. Is 47 a factor of s?
True
Let z = -2760 - -3988. Is 19 a factor of z?
False
Let w(f) = -f**2 - 41*f - 108. Is 54 a factor of w(-27)?
True
Let f be 41 + -1*(6 - 1). Suppose f*i = 35*i + 85. Is i a multiple of 14?
False
Suppose 5*l - 12 = 2*x - 34, 5*x + 3*l = -7. Does 5 divide 1/((-2)/((-28)/x))?
False
Let s = 17 + 8. Is 13 a factor of 51 - (5/s + (-6)/5)?
True
Let q be (-2)/(-7) + (-95)/(-35). Is 12 a factor of -3 - (2 - (96 - q))?
False
Suppose 4*t = -0*i + 4*i - 120, -55 = -3*i - 4*t. Let f(d) = d**2 + 3*d - 3. Let y be f(-4). Is 18 a factor of 0 + (i/y - 3)?
False
Let p = -52 + 54. Suppose 0 = -p*s - 9*s + 176. Is 5 a factor of s?
False
Let m = 11 - 11. Does 26 divide 15/9*(78 + m)?
True
Let j(l) = l**2 - 9*l - 16. Suppose 0 = -5*g + g - 16. Is 18 a factor of j(g)?
True
Does 23 divide (45/(-5))/(14/(-6594))?
False
Suppose -3*r + 9 = -3*l, 2 = -4*l + 3*r - 5. Let g be (-822)/9*(-3)/l. Let y = g - 93. Is 22 a factor of y?
True
Suppose 4*x = -46 + 10. Let j = x + 14. Suppose 10*u = j*u + 140. Does 14 divide u?
True
Suppose -3*x + 56 = -55. Suppose 0 = -o - 2*d - 15, -4*d - x = 4*o + 3. Is (o - -3 - -3)*23 a multiple of 23?
True
Suppose -4*c + 4*z + 3070 = -1438, z = -5. Does 34 divide c?
True
Suppose -87 - 1468 = -3*x - 2*y, -1547 = -3*x + 2*y. Is x a multiple of 11?
True
Let q = 11 + -9. Suppose 4*r = k + 314, -4*k = 5*r - q*k - 399. Let a = r - 13. Does 22 divide a?
True
Let o(b) = -3 + 0*b - 2*b**3 + 2*b**3 + 6*b**2 + b - b**3. Let u be o(6). Let h = u - -4. Is 3 a factor of h?
False
Suppose 0 = -4*p + 7 + 53. Does 5 divide (-20)/(((-2)/15)/(5/p))?
True
Let s(m) = 6*m**3 - 3*m - 4*m**3 + 0*m**3 - 5*m**2 - 2. Let n be s(5). Let c = -44 + n. Is c a multiple of 25?
False
Let i be (-4 - -4) + 0 + 2. Let k be -3 + 1 + i + 5. Suppose k*q + 3*p - 22 = 0, 0 = 5*q + p - 0*p - 14. Is q even?
True
Let y(d) be the first derivative of d**3/3 - 2*d**2 + 7*d + 4. Is 7 a factor of y(4)?
True
Let w be (-3 + -2)*368/(-20). Suppose -270 = -5*s - 3*h, -2*s = -4*s + 2*h + w. Is 17 a factor of s?
True
Let h be ((-15)/(-10))/((-12)/(-1808)). Suppose 3*f = -2*q + h, 7*f - 4*f - 228 = -3*q. Is 37 a factor of f?
True
Let g be (2 - -28)*(-7)/(-7). Let y be 7552/60 - (-4)/g. Suppose -23*i + y = -20*i. Does 6 divide i?
True
Let z = 210 + -140. Let n = z - 17. Suppose 5*g + n = 353. Does 20 divide g?
True
Suppose c + 16 = -3*q, 4*c - 6*q - 21 = -q. Let y be (-2 + -1 - c) + 10. Suppose 4*o - y*o = -12. Is o even?
False
Suppose -4*u + 240 + 43 = -5*d, 146 = 2*u + 2*d. Is 24 a factor of u?
True
Suppose -1913 = -9*q + 6457. Does 30 divide q?
True
Let l(m) = 3*m + 31. Let k be l(0). Let d be 1*(-2)/4*0. Let h = k + d. Is 10 a factor of h?
False
Let g(f) = -27*f + 10. Let u(x) = 9*x - 3. Let k(v) = -2*g(v) - 7*u(v). Does 6 divide k(-6)?
False
Suppose -2*d + 794 = 4*u - 0*d, 3*u + 3*d - 597 = 0. Suppose l - u = -l. Does 33 divide l?
True
Let m(a) = a**3 - 4*a**2 + 490. Is 35 a factor of m(0)?
True
Suppose -39*x + 3557 = -109. Is 21 a factor of x?
False
Suppose 0*h + 3120 = 4*h. Is 15 a factor of h?
True
Let s(p) = p**2 - 4. Let d be s(3). Suppose -n - 25 = -5*l, -3*l + 2*l = -d*n - 5. Suppose -5*u = 25, l*a + 15 = -u + 75. Is a a multiple of 13?
True
Suppose 5 - 35 = -3*i. Is (39/(-6))/((-5)/i) a multiple of 2?
False
Let r(l) be the first derivative of -6 - 1/2*l**4 - 7/3*l**3 + 4*l - 3/2*l**2. Is r(-4) a multiple of 8?
True
Let t(v) = -14*v**2 - 3*v + 4. Let z be t(3). Let i = 289 + z. Is 22 a factor of i?
False
Let n(i) = 39*i - 678. Is n(24) a multiple of 12?
False
Let v(x) = 3*x**2 - 4*x - 2. Let u be v(2). Let y(h) = 10*h**3 - 2*h**2 - h + 2. Does 36 divide y(u)?
True
Suppose 610 = 4*j - 3*x, 6*x - 10*x + 316 = 2*j. Does 12 divide j?
False
Let s = 15 - 36. Let p = s - -8. Let y = 57 + p. Is y a multiple of 22?
True
Let o(v) be the first derivative of -39*v**2/2 - 3*v + 28. Does 12 divide o(-1)?
True
Let u = 1 - 0. Suppose -3*h - 3*f = -6*h + 33, -h - f + u = 0. Suppose -5*r = -h*r + 65. Is 13 a factor of r?
True
Suppose 0 = 3*o - 8*o. Is o - 5/(-20) - 2206/(-8) a multiple of 46?
True
Let r(j) be the third derivative of j**5/60 - j**4/6 - 5*j**3/6 + 3*j**2. Suppose 4*p + 8 = -5*c + 6*p, -3*p - 5 = c. Does 7 divide r(c)?
True
Suppose 0 = -3*u - 2*u - 4*t, 0 = u - 2*t. Let k(a) be the second derivative of a**4/12 + 37*a**2/2 + a. Does 29 divide k(u)?
False
Let p(k) = -k**3 - 5*k**2 + 11*k + 15. Let r be p(-7). Let j = r - -10. Let h = j - -9. Is h a multiple of 8?
False
Let a(k) = k**2 - k - 1. Let b be a(-2). Suppose -b*l = 5*n - 35, -l = -8*n + 4*n + 18. Is 2 a factor of n?
False
Let w = -28 - -32. Suppose -5*o + h + 67 = 0, -4*h - 16 = w*o - 6*o. Is 4 a factor of o?
False
Let q(t) = -t + 2. Let w be q(-2). Let a = 12 + -16. Does 4 divide w/(-3)*(1 + a)?
True
Suppose 10*w - 68 = -18. Suppose -y = o - 0*o - 26, -w*y - 20 = 0. Is 10 a factor of o?
True
Suppose -3*k + 10 = t + k, -9 = -3*k. Let i be t/(-12)*2*57. Let z = 31 - i. Does 6 divide z?
True
Suppose 5*w + 5*y - 7 = 8, 0 = -3*w + 5*y - 31. Let o = 1 + w. Is 34/2 - (o - 0) a multiple of 18?
True
Suppose -14*z = -3*b - 17*z, 30 = -b + 5*z. Let n be 4/(-6)*(-6)/(-2). Is 8 a factor of (b - -22) + n/2?
True
Suppose -7*n + 5*n = -3168. Suppose 15*b - n = 4*b. Is b a multiple of 30?
False
Let p(l) = 32 - 11*l + l**3 + 7*l + 6*l - 2*l**2. Does 4 divide p(0)?
True
Suppose 0 = -2*a + 5*r - 963, 0 = -4*a - 2*r - 821 - 1117. Suppose 31 = 22*v + 97. Is 22 a factor of 4/v + a/(-12)?
False
Is 22 a factor of 18/(-27) - (0 + 1982/(-3))?
True
Let b(n) = -111*n**3 - 2*n**2 - 13*n - 22. Is 52 a factor of b(-2)?
True
Let r(x) = x**3 - 2*x**2 - 5*x - 1. Let d be r(3). Does 4 divide (-21)/d*(-4)/(-3)?
True
Suppose -2*m - 4 + 0 = -2*p, 0 = -m - 4*p + 8. Let l = m - -16. Does 8 divide l?
True
Let q(b) = -b**3 - 7*b**2 + 11*b + 6. Let n(j) = j**3 + 7*j**2 - 11*j - 7. Let v(h) = -6*n(h) - 7*q(h). Let f be 0/1 - (-64)/(-8). Does 8 divide v(f)?
True
Let c(l) = 49*l**2 - 5*l + 21. Does 11 divide c(3)?
False
Let g(r) be the second derivative of r**4/12 + 7*r**3/6 + 3*r**2 + 5*r. Let y be g(-8). Let d = -7 + y. Is 4 a factor of d?
False
Let m(u) be the second derivative of -u**5/24 + u**4/12 + 2*u**3/3 - 4*u. Let r(z) be the second derivative of m(z). Does 9 divide r(-5)?
True
Let l(m) = m**2 + 12