rue
Let h = 90 + -46. Let c = 109 - h. Does 12 divide c?
False
Suppose -4*p + 3*t + 27 = 0, -5*t - 16 = -4*p + 13. Let i(y) be the third derivative of -y**5/60 + y**4/3 - 7*y**3/6 - y**2. Is 5 a factor of i(p)?
True
Let p(y) = -y**3 + 3*y**2 + 5*y - 1. Let s be p(4). Let d = 14 + -12. Suppose s*h - 306 = -5*t + 73, 2 = -d*t. Does 34 divide h?
False
Suppose -51*f - v = -48*f - 2947, -v = -4*f + 3920. Is 21 a factor of f?
False
Let h(y) = -y**3 + 21*y**2 - 21*y + 30. Let a be h(20). Does 25 divide (535/a)/(1/2)?
False
Let w(x) = 5*x - 3 + 5 - 5 - 2. Does 4 divide w(5)?
True
Let h = 57 - -32. Is h a multiple of 7?
False
Is 1998/(-21)*840/(-45) a multiple of 6?
True
Let t(i) = i**3 - 3*i**2 - 3. Let s(j) = j**3 + 26. Let m be s(0). Suppose 5*a - 4*w = 13, -w + 3*w - m = -4*a. Is 17 a factor of t(a)?
False
Suppose 113*q = 104*q + 21996. Does 81 divide q?
False
Let m = 45 + -22. Suppose -r + 11 = -m. Is 20 a factor of (-1)/1 + 0 + r?
False
Let c(h) = 2*h + 2*h - 2*h - 7*h - 5. Is c(-5) a multiple of 10?
True
Suppose -25*l + 32*l = 14931. Does 79 divide l?
True
Let i(n) = -202*n + 32. Is i(-1) a multiple of 9?
True
Let r(d) = -d - 3. Let i be r(3). Does 16 divide (-1)/(i/958) - (-1)/3?
True
Suppose -4*v = 4*t - 6*v - 1026, 3*t = -2*v + 780. Is 43 a factor of t?
True
Is 6 a factor of (-392)/12*504/(-49)?
True
Let d(m) = m**3 - 14*m**2 + 17*m - 19. Let p(t) = -t**2 + 7*t + 7. Let x be p(6). Does 19 divide d(x)?
False
Suppose -d + 4*b = -2356, 16*b = 18*b - 10. Is 88 a factor of d?
True
Let p(r) = 2*r + 2*r + 0*r + 31 + 9. Let t be p(0). Suppose l = -23 + t. Does 9 divide l?
False
Suppose -2*n = -0*n. Let h be (2/(-4))/((-7)/(-28)). Is (n + h - -14) + -4 a multiple of 2?
True
Let m(l) = 12*l - 4. Let k be m(4). Let g be (8/(-6))/((-65)/390). Suppose -k + g = -s. Is 6 a factor of s?
True
Does 55 divide (1/3)/(2/24978)?
False
Suppose 0 = -c - c + 16. Suppose -c*m + 420 = -3*m. Does 28 divide m?
True
Suppose -3*k - 7198 = 1922. Is k/(-22) - (-8)/(-44) a multiple of 11?
False
Let i = 1082 - 622. Is 23 a factor of i?
True
Let f(u) = 3*u**3 - 3*u**2 + 2*u + 4. Let h be f(3). Suppose 0 = -s + 2*s + o - 12, 5*s + 4*o - h = 0. Does 4 divide s?
True
Let j be (8 - 5) + (-1 - 57). Let h be j/(-44) - (-1)/(-4). Let x(s) = 33*s**3 + s**2 - s + 1. Does 17 divide x(h)?
True
Suppose 0 = -5*o + 3*r + r + 4827, -2*o + 1930 = -2*r. Is o a multiple of 16?
False
Suppose 12 = -39*w + 40*w. Suppose -w*p + 7*p = -120. Is p a multiple of 5?
False
Suppose 10245 = 4*x - 3*u, x - 2565 = 6*u - 9*u. Does 9 divide x?
False
Let p(q) = -q**3 + 6*q**2 + q - 3. Let y be p(6). Is (-184)/(-4) + (-12)/y a multiple of 14?
True
Is (2 + 52)*432/27 a multiple of 18?
True
Suppose 5*v - 12*y - 13182 = -15*y, -13158 = -5*v + 3*y. Is 17 a factor of v?
False
Let w be 83/9 - (392/63 - 6). Suppose -w*y = -3*y - 2304. Is 30 a factor of y?
False
Suppose -1172 = -12*b + 700. Is b a multiple of 52?
True
Let j be 20*((-19)/(-4) + -4). Let q = -11 + j. Suppose 6*l + 90 = q*y + 3*l, -5*y + 103 = l. Is 10 a factor of y?
False
Let p = -28 - -53. Suppose -q + 69 - p = 0. Suppose -3*w + q = c, 2*c - 2*w - 44 = 3*w. Is 8 a factor of c?
True
Let k = -724 - -966. Is k a multiple of 16?
False
Suppose 3*g = -2*h + 1286, -403 = -4*g - h + 1320. Does 48 divide g?
True
Let k(y) = -356*y**3 + y**2 - 5*y - 5. Does 17 divide k(-1)?
True
Let j = -19 - 6. Is (-8)/6*(-2 + j) a multiple of 16?
False
Suppose -13*c + 9*c + 56 = 0. Is 9 a factor of c?
False
Suppose 5*n - 2 = 3. Let s be 31*(-1 - (-5 + 5)). Let m = n - s. Is m a multiple of 5?
False
Suppose l - 363 = 5*x, 4*l + 364 = -x + 1732. Does 49 divide l?
True
Does 39 divide (-6)/15 + -4 + 8554/10?
False
Suppose -14*p + 20*p = -348. Let g = 50 - p. Is g a multiple of 4?
True
Let v be (6/8 + 7/28)*5. Suppose -v*b - 5*g = -25 - 5, b - 3*g = -2. Does 4 divide b?
True
Let m(q) = q**3 - 8*q**2 - q + 8. Let p be m(8). Suppose p = -0*a - 2*a. Let h = a + 6. Is h a multiple of 6?
True
Let d be (-9*5/(-75))/(6/20). Suppose 3*k + d*k - 42 = -2*r, -4*r - 3*k = -98. Does 3 divide r?
False
Suppose 5*l = 37 + 208. Let n = l - 32. Is 7 a factor of n?
False
Suppose -2*y = z - 4, 2*y - z + 6*z = 20. Suppose 3*w - 6 - 30 = y. Is w a multiple of 8?
False
Let q = 13 + -12. Let y be -9 - (-4 - (q + -3)). Let d = y + 12. Is d a multiple of 5?
True
Does 17 divide (-14)/(-63) - (-3506)/18?
False
Let y be -1*(3 + (2 - 115)). Suppose 5*d - 3*b = y, -3*b = -5*d + 2*b + 110. Does 16 divide 0 + 4/(-2) + d?
False
Let j = -14 + 100. Let k = j - 39. Does 47 divide k?
True
Let p(q) = q**3 - 4*q**2 + 2*q. Let d be p(3). Let u be (0 + -3)/d - -1. Suppose -5*r - u - 8 = 0, -2*r + 218 = 3*f. Is f a multiple of 21?
False
Let u be ((-654)/(-4))/(15/(-30)). Let s = -157 - u. Is 18 a factor of s?
False
Let x(k) = -k**2 + 46*k - 5. Is x(33) a multiple of 18?
False
Suppose 64*t + 400 = 69*t. Let g = t + 28. Is g a multiple of 12?
True
Suppose -12*h + 4585 = -4499. Does 13 divide h?
False
Let x(n) = -n**3 - 3*n**2 - 4*n - 6. Let o be (-3 + -3)*(-9)/6. Suppose h - 5 = -o. Is 17 a factor of x(h)?
False
Let l(v) = -v**3 + 7*v**2 + 9*v - 5. Let c be l(8). Suppose c*r = -b - 5, -3*r = -b + 2*r - 5. Let x = 0 - b. Does 2 divide x?
False
Let i = 454 - 294. Is 20 a factor of (i/(-28))/((-4)/14)?
True
Let s(l) be the first derivative of -l**3 - 2*l + 3*l**2 + 1/4*l**4 - 6. Does 13 divide s(5)?
True
Let w(h) = h**3 - 22*h**2 + 24*h + 39. Does 6 divide w(21)?
True
Let y(o) = -75*o - 25. Is y(-7) a multiple of 10?
True
Suppose -5*f - 22 = -2, -872 = -j - 7*f. Is j a multiple of 45?
True
Does 51 divide ((-20808)/34)/(6/(-4))?
True
Let k(t) be the third derivative of -t**6/80 + t**4/8 - t**2. Let a(n) be the second derivative of k(n). Does 15 divide a(-5)?
True
Let v = -17 - -20. Suppose v*u = -3*a + 63, -8 = -0*a - 2*a. Is u a multiple of 2?
False
Suppose 0 = -0*o - 4*o + 752. Suppose -4*x + o - 524 = 0. Does 14 divide x*(1 + 12/(-8))?
True
Let w = -61 + 62. Let s(a) = 64*a - 1. Is 10 a factor of s(w)?
False
Let v(m) = 2*m**3 + 7*m**2 + 4*m - 8. Let j(x) = -3*x**3 - 8*x**2 - 3*x + 9. Let a = -13 - -17. Let g(n) = a*v(n) + 3*j(n). Is 3 a factor of g(5)?
False
Let g(i) = 2*i**3 - 11*i**2 - 2*i + 5. Let r(s) = -5*s**3 + 23*s**2 + 5*s - 11. Let q(a) = -7*g(a) - 3*r(a). Is 2 a factor of q(-8)?
True
Let p(v) = 5 - 5*v + 32*v**3 + 4*v**2 - 31*v**3 + 4*v. Let u be p(-4). Let l = -3 + u. Is l even?
True
Let o = -39 + 996. Is o a multiple of 87?
True
Let x(v) = -v**2 + v - 5. Let o be x(-5). Let u = o + 71. Is 18 a factor of u?
True
Suppose -18*z + 27*z - 1233 = 0. Suppose -3*j - 42 = r - 2*r, -2*r + 104 = -2*j. Let q = z - r. Is 11 a factor of q?
False
Suppose 0 = -4*s + 8, 2*b = -9*s + 8*s + 62. Suppose -b*p + 990 = -8*p. Is p a multiple of 5?
True
Let m be (-2)/4*(-704)/16. Suppose 3*l + 5*p = 113 - m, 3*l - 97 = p. Is 32 a factor of l?
True
Let b(o) = o**3 - 4*o**2 + o + 697. Is 17 a factor of b(0)?
True
Suppose 2*z - 1123 = -77. Is z a multiple of 29?
False
Let y be 6/15*10/1. Is 2/y + 1160/16 a multiple of 22?
False
Suppose -3*p + 84 = z, -2*z + 3*p + 201 = -2*p. Is z a multiple of 93?
True
Let k(l) = 8*l**2 + 13*l - 71. Is 13 a factor of k(5)?
False
Suppose 249 = 20*k - 17*k. Let l = k - 42. Is 14 a factor of l?
False
Suppose -8*u + 11*u = 15. Suppose a = 0, 0*a + 360 = u*p - a. Is p a multiple of 9?
True
Let a(g) = 60*g**2 + 2*g + 1. Let w be -10 - -8 - (-1 + 0). Let p be a(w). Let x = p + -29. Is x a multiple of 15?
True
Suppose 5*t - t = 5256. Is (-24)/(-40) - t/(-10) a multiple of 11?
True
Let l = 23 - 18. Suppose 0 = -l*q, 5*x - 55 = -5*q + 60. Let f = x - 1. Is f a multiple of 4?
False
Suppose -s - 23 = -2*i + 36, 3*i - 6 = 0. Let u be (56/10)/(11/s). Is 8/28 - 1532/u a multiple of 11?
True
Suppose 0 = -m - 0*m - 45. Let l = m + 65. Is 4 a factor of l?
True
Suppose 2*o = 5*o - 45. Let c(j) = -j**2 + 18*j - 35. Is 8 a factor of c(o)?
False
Let f(o) = -20*o - 285. Is 5 a factor of f(-22)?
True
Suppose -131 - 831 = -2*f. Is f a multiple of 15?
False
Let d(x) = -2*x**3 + 8*x**2 + 21*x + 3. Is d(5) even?
True
Suppose 163*a - 175*a = -4260. Is a a multiple of 10?
False
Let d be 1*2/4*-4. Let w be (6/18)/(3/18). Is d + 95 - 2 - w a multiple of 24?
False
Let d(m) be the first derivative of -1/2*m**2 + 1/4*m**4 - 5/3*m**3 - 2 - 4*m