ue
Let a(k) = 8*k**2 - 17*k + 7. Let d = 1 - -10. Let i be a(d). Is 6/33 + i/22 a multiple of 14?
False
Suppose 71 = 4*n - 61. Let t = n + -23. Suppose -t*b + 7*b + 78 = 0. Is b a multiple of 13?
True
Suppose -4*h + 614 - 5166 = -3*v, 5*h - 6090 = -4*v. Does 16 divide v?
True
Suppose -4*u = -67 - 9. Let s = u + -12. Suppose 2*i - 65 = s. Is 9 a factor of i?
True
Let r(l) be the third derivative of l**6/120 + l**5/12 - l**4/4 + 2*l**3/3 - 5*l**2. Let u be r(-6). Suppose -5*g = -26 - u. Is 5 a factor of g?
False
Is 30/2*(-2842)/(-294) a multiple of 12?
False
Suppose 25*n - 20*n = 0. Suppose n = -6*h + 4*h + 78. Does 13 divide h?
True
Let y be (-4)/(-2)*(-7 + 8). Suppose -y*x + 27 = 5*b - 26, 3*x + 5*b = 67. Does 7 divide x?
True
Let h(a) = -a**2 + a + 3. Let s(t) = -1. Let p(f) = -h(f) + 5*s(f). Is 17 a factor of p(11)?
True
Suppose 3*w - 33 - 30 = 0. Suppose -y + 43 = -w. Is 8 a factor of y?
True
Suppose 0 = 3*y - 892 - 368. Suppose 4*u + 0*u - y = 0. Is 21 a factor of u?
True
Let f(w) = 3*w**3 - 16*w**2 - 8*w - 24. Does 5 divide f(8)?
False
Suppose 0 = -5*c - 5*t + 334 + 51, 0 = -4*c + t + 313. Does 11 divide c?
False
Let k = 717 + -484. Suppose 0*a + 3*a + k = 2*w, a = -w - 81. Let d = 155 + a. Is d a multiple of 24?
False
Let s(y) = y**2 - y + 1. Let n(f) = -f**2 + 14*f - 6. Let w(o) = -n(o) + 2*s(o). Is 10 a factor of w(6)?
True
Let i(b) be the second derivative of b**4/4 + 11*b**3/6 + 8*b**2 - 15*b. Does 9 divide i(-7)?
False
Let t = -735 - -3169. Does 14 divide t?
False
Suppose 6 = 4*y - 2*u, y - 2*u - 4 = -10. Let i be (-452)/(-14) - (-4)/(-14). Suppose f - 6*f - 5 = -5*a, 0 = -2*a - y*f + i. Is a a multiple of 5?
False
Let t = 21 + -17. Suppose -2 = -3*d + t*n, -2*d - 1 = n - 6. Suppose -26 = -d*q + 10. Does 13 divide q?
False
Let o = 2646 - -669. Does 15 divide o?
True
Suppose 0 = g - 3*w - 29, 5*g - 2*g - 2*w - 66 = 0. Suppose -g*d - 246 = -26*d. Does 12 divide d?
False
Let p = -25 - -15. Let r be 2/13 - (-56)/(-26). Let z = r - p. Is 4 a factor of z?
True
Let s = -106 + 251. Does 29 divide s?
True
Let y(a) = -11*a - 11. Suppose 2*v - 6 = -18. Let k be y(v). Suppose 85 + k = 5*l. Is 7 a factor of l?
True
Let d(u) = -u**3 - 3*u**2 + 3*u - 4. Let a be d(-4). Suppose 4*b - 59 - 13 = a. Does 18 divide b?
True
Suppose -4*r = 5*r - 153. Suppose -b + 5*h + 15 = 36, -2*b + 5*h = r. Does 4 divide b?
True
Let k be (-2 - 1) + 1 + -4 + 1. Does 30 divide (-144)/(-2)*(k/(-4) + 1)?
False
Let u(m) = 26*m**2 + 2*m - 1. Let s be u(1). Let o = -4 - -4. Suppose o = z + 3 - s. Does 24 divide z?
True
Let b be 9/(-3) + 2/1*-1. Let v = b - -13. Does 7 divide v?
False
Let w(l) = -l**3 - 12*l**2 + 12*l - 11. Let q be w(-13). Suppose -2*u - 24 = 3*d, -q*d = -5*d + 4*u - 24. Is 2 a factor of (-2 + (-12)/d)*-14?
False
Suppose 0 = -2*a + v + 153, -5*v = -2*a + 27 + 114. Is 3 a factor of a?
True
Suppose 3*q + 28 = -5. Let m(d) = 2*d**2 + 7*d - 25. Does 28 divide m(q)?
True
Suppose 2*i + 3*w - 2020 = 6*w, 5*i = -w + 5033. Is 16 a factor of i?
False
Suppose a - 5 = -4*z + 6, 4*z = -3*a + 17. Is 16 a factor of (-10)/a*288/(-20)?
True
Let w = 1542 + -684. Does 39 divide w?
True
Let c(h) = -h**2 - 17*h + 10. Let g be c(-14). Suppose -4*o = b + g, 5*o - b + 5*b = -54. Is 76 + o + (0 - -2) a multiple of 25?
False
Let p = -15 + 15. Let f(c) = c**2 - c - 27. Let x be f(p). Let v = x - -82. Is v a multiple of 11?
True
Suppose 4*a + 4*z - 7*z = -51, 34 = -3*a - 2*z. Is ((-69)/a)/((-6)/(-24)) a multiple of 23?
True
Suppose -2*t = -2, 4*t = -5*f + 3*f + 5304. Is f a multiple of 106?
True
Let g be (-2 - 0)/((-4)/18). Let c(y) = y**3 - 8*y**2 + y + 3. Does 31 divide c(g)?
True
Suppose -2*r - 9 = -5*n - 6*r, 4*r = -16. Suppose 112 = n*m + l, 2*l = -4*m - 2*l + 96. Suppose 3*c - m = 41. Is c a multiple of 6?
False
Is 12 a factor of 192/(-15)*(-31 - -16)?
True
Let n(a) = 4 - 4 - a**3 + 6*a**2 - 7*a + 10. Let c be n(4). Is 10 a factor of (-1)/2 - (-427)/c?
True
Let t be (-45)/(-15) + 0 + 1. Suppose 0 = -n + t*n - 201. Is n a multiple of 16?
False
Suppose -8 = -4*o + 28. Is ((-6)/9)/((-3)/o) a multiple of 2?
True
Suppose -a - h + 334 = 0, -4*a = -h - 834 - 512. Suppose -4*x = 3*o - a, 5*x + o - 425 = -4*o. Is x a multiple of 13?
False
Suppose 3*g + 3*g = 642. Let q = -55 + g. Is q a multiple of 26?
True
Suppose 0 = 20*r - 15*r - 600. Is r a multiple of 20?
True
Is 30/(-35) - (-1152)/21 a multiple of 50?
False
Suppose -f = -3 + 12. Let q be f/6*12/(-9). Suppose -3*i - 23 = -d, -q*d + 3 = -d + i. Is d a multiple of 8?
True
Let x(a) = 27*a - 10. Let j be x(10). Let c = j + -136. Is 33 a factor of c?
False
Let s = -19 + 26. Let i = s + 0. Is 2 a factor of i?
False
Suppose -2*m + 8 + 0 = 0. Is m even?
True
Let k = -620 + 660. Is 10 a factor of k?
True
Suppose 0 = -3*u + q - 5, -q = -5*u + u - 5. Suppose -4 = -z - u*z. Suppose z*l - 3 = 3*l. Is l even?
False
Let y(w) = w**2 + 5*w - 11. Let s be y(-7). Suppose -s*o + 2*o + 134 = -5*t, -t = -5*o + 550. Is 25 a factor of o?
False
Let y(f) = 6*f**2 - 7*f - 52. Is 8 a factor of y(7)?
False
Let j = -59 - -1451. Is 4/10 - j/(-20) a multiple of 17?
False
Let u = -8 + 14. Let o(i) = -i**3 + 9*i**2 - i - 3. Let b be o(u). Suppose 2*p - b = -p. Is p a multiple of 10?
False
Let v(n) = 3*n - 6. Let i be v(4). Let s(p) = -p**2 + 2*p + 3. Let r be s(3). Does 18 divide -118*(-3)/i - r?
False
Let d = 73 - 79. Is 10 a factor of ((-19)/3)/(d/108)?
False
Let c = 229 - 83. Suppose v + 79 = 2*q, -34 = 3*q + 5*v - c. Does 6 divide q?
False
Let s(w) = -110*w + 22. Is s(-5) a multiple of 66?
False
Is 106 a factor of -2 + (-5 - -1223) - (3 + 0)?
False
Suppose 3*a + 4*q - 259 = 0, q - 5*q + 4 = 0. Is a a multiple of 5?
True
Let p be (-40)/(-15)*9/4. Suppose x = -3, 4*b + 6*x + 27 = x. Does 11 divide (33/p)/(b/(-18))?
True
Suppose 2*h - 4 = 4. Suppose 2*s - 4*v - 140 = 0, -2*s - 100 = -4*s - h*v. Suppose -8*o = -4*o - s. Does 6 divide o?
False
Suppose -77*o + 672 = -75*o. Does 24 divide o?
True
Is 47 a factor of 12/(-168) + 51550/28?
False
Let v(z) = -z**3 + 17*z**2 + 33*z - 2. Does 20 divide v(18)?
False
Let v = 12 + -15. Is 1/(v/71*1/(-3)) a multiple of 10?
False
Let m(b) = -46*b**3 + 2*b**2 + 2. Does 7 divide m(-2)?
True
Let m(p) = -7*p**2 + 5*p - 6. Let r be m(2). Let a = r + 9. Is 20 a factor of a/(7/(112/(-6)))?
True
Is 3 + 96/72*(373 - 1) a multiple of 24?
False
Let l = 763 + -36. Does 66 divide l?
False
Suppose 290 - 1026 = -4*g. Let f = g - 61. Does 18 divide f?
False
Suppose 2*a - y - 3*y - 12 = 0, -a + 4*y + 10 = 0. Suppose -3*d + 8*d + 5*h = 330, -4*d = a*h - 260. Is d a multiple of 12?
False
Suppose 0 = 5*v + 2*n + 1, n = -1 - 2. Is 5 a factor of v/3 - (-95)/3?
False
Let c(m) be the first derivative of m**3 + m**2 + 2*m - 3. Does 21 divide c(-4)?
True
Let w(n) = -n**2 - 7*n + 18. Let c be w(-9). Suppose 15*k - 11*k - 384 = c. Does 8 divide k?
True
Suppose -w - j = -4*w + 60, -5*j = 3*w - 78. Suppose 0 = -4*f + w - 5. Is f a multiple of 4?
True
Suppose -v - 63 + 710 = 0. Does 21 divide v?
False
Let n(m) be the first derivative of -5*m**4/4 - m**3 + 3*m**2/2 + m + 6. Is n(-2) a multiple of 3?
False
Let i = 531 + -291. Is i a multiple of 12?
True
Suppose c - 41 = 3*b, -3*b + 147 = -0*c + 3*c. Let p = -1 + 4. Suppose -3*x + l = -102, -p*x + 4*l + 64 = -c. Is x a multiple of 22?
False
Suppose 11*i - 10*i + 3 = 0. Does 3 divide ((-4)/i)/((-2)/(-15))?
False
Let d(k) = -2*k**2 - 4*k + 2. Let x be d(-6). Let m = 335 + x. Is 17 a factor of m?
True
Let r(f) = 2*f + 6. Let j be r(7). Suppose x + x = j. Does 10 divide x?
True
Let q be (1*29)/(-7 + (-258)/(-36)). Is 10 a factor of (-1)/((-3)/q) - -2?
True
Let k = -1823 - -5140. Is k a multiple of 107?
True
Suppose 2*l - 4*k = -29 + 1, -3*l - 39 = -3*k. Is (-4)/2 + (-3 - -8) - l a multiple of 8?
False
Suppose 5*h - 15 = -5*t + 5, h = -5*t + 16. Let k(m) = 188*m**3 - m**2 + m - 1. Does 11 divide k(h)?
True
Does 32 divide 7/70 - (-9477)/30?
False
Let n(k) be the third derivative of -83*k**6/120 + k**5/20 + k**4/6 + k**3/3 - 10*k**2. Does 21 divide n(-1)?
True
Suppose -r - 3*p + 71 = 0, 0 = 3*r - 0*r + p - 245. Let o = r + -171. Is (o/(-10))/((-7)/(-35)) a multiple of 22?
True
Let u(c) = -c**2 - 5*c - 334. Let v(k) = k**2 + k - 1. Let a(w) = -u(w) - 2*v(w). Does 48 divide a(0)?
True
Suppose 4*o + p - 2233 = 0, 2*o - 6