se
Let f be (-142)/12 - (-2)/(-12). Let n = f + 5. Let y = 27 + n. Is 10 a factor of y?
True
Let r(t) = -t**3 - 25*t**2 - 27*t - 54. Does 18 divide r(-24)?
True
Let r = -22 + 39. Does 3 divide r?
False
Suppose 0 = -3*r, 3*r - 101 = -5*a + 59. Let y = -2 + a. Is y a multiple of 30?
True
Let d = -194 + 273. Suppose 4*c - 5*c + 34 = 2*s, 5*s + c - d = 0. Is s a multiple of 5?
True
Let g(w) = 2*w + 8. Let v be g(-6). Suppose -t + 0*t = n + 3, 3*t + 2*n = -11. Is (v/t)/(2/35) a multiple of 7?
True
Suppose 5*j + 0*v + 1 = 2*v, -3*v + 7 = -2*j. Let o be (-1)/(2/(-52)*j). Does 7 divide 4/(-2) - (-3 - o)?
False
Let m(k) = -111*k. Let g be m(-1). Let x = -30 + g. Does 27 divide x?
True
Let s(b) = b**3 - 4*b**2 + 4. Let w be s(4). Suppose 0 = x + 3*j + w, 0 = 5*x - j + 7 - 3. Is x - 1 - 2*-2 a multiple of 2?
True
Suppose -4*d - 2*m - 419 = d, d = 2*m - 91. Let h = 74 - 124. Let f = h - d. Is 13 a factor of f?
False
Let w(g) = -3*g - 18. Let s(b) = -b - 9. Let l(d) = -9*s(d) + 4*w(d). Is 9 a factor of l(-6)?
True
Let k be (-3)/7 + 12/28. Suppose k = p - 4*g - 13, -g - 2*g + 99 = 3*p. Does 10 divide p?
False
Suppose -3*l - 40 + 163 = 0. Does 9 divide l?
False
Suppose 3*l + 60 = 4*l. Is l a multiple of 23?
False
Suppose -10*u - 95 = -555. Is u a multiple of 31?
False
Let p = -158 + 242. Is p a multiple of 28?
True
Is (-4480)/(-48) - 4/(-6) a multiple of 30?
False
Suppose -16 = -4*o + 8. Is 3 a factor of o?
True
Let o(a) = -a**3 + 4*a**2 - a - 3. Let c be o(3). Suppose -149 = -c*f + 28. Is 20 a factor of f?
False
Let s be (0 - 1)/(-5 - -4). Let u be 1 + -2 - (s + -1). Is 2/(-2) + 30 + u a multiple of 14?
True
Suppose 4*t - 10 = 2. Suppose 0 = -t*i + 4*h + 63, 0 = -2*i + 5*h + 25 + 10. Is i a multiple of 24?
False
Suppose 204 = -8*o + 1404. Is o a multiple of 25?
True
Let j be 2/(-6) - (-14)/6. Suppose 0 = -5*h + 3*h + k + 88, 54 = h + j*k. Is h a multiple of 23?
True
Suppose 0 = -0*o + 3*o - 5*w - 31, 10 = -2*w. Let i(b) = 4*b**2 + 4*b - 3. Is i(o) a multiple of 11?
False
Suppose 0 = 7*p - 8*p. Suppose p*t + t = 48. Is t a multiple of 10?
False
Let y(u) be the first derivative of -u**3/3 + 2*u**2 - 1. Let v be y(2). Suppose 0 = v*p - 14 - 74. Does 13 divide p?
False
Suppose 4*f = f + 15, 2*i + 5*f - 357 = 0. Does 17 divide i?
False
Let y = 76 - 31. Is ((-2)/2)/((-3)/y) a multiple of 15?
True
Suppose 579 = 5*l - 411. Is 22 a factor of l?
True
Let k(a) be the first derivative of a**5/60 + a**4/6 + a**3/3 + 2. Let l(q) be the third derivative of k(q). Is l(7) a multiple of 18?
True
Let m = 75 + -30. Does 45 divide m?
True
Let d be 75/(-20)*(-16)/3. Let f be d/(-12)*-1*3. Suppose -f = -3*v + 40. Does 4 divide v?
False
Suppose 5*a = a + 244. Let w = 96 - a. Is w a multiple of 11?
False
Suppose -9*i = -15*i + 552. Does 14 divide i?
False
Suppose -5*a = -a + 740. Let y = -128 - a. Does 21 divide y?
False
Let a = 264 + -39. Does 15 divide a?
True
Suppose -6*m + 2*m - 92 = 0. Let n = m - -33. Suppose -n - 23 = -3*i. Is 7 a factor of i?
False
Suppose 0*i - 94 = -i. Is 15 a factor of i?
False
Suppose -4*g = -9*g + 570. Does 38 divide g?
True
Let c be ((-192)/(-2))/(2 + -1). Suppose -c - 4 = -5*m. Does 5 divide m?
True
Let n(m) = 1 + 21*m**2 + 19*m**2 - 2. Is n(-1) a multiple of 19?
False
Suppose 4*h = 4*p + 199 + 1, 2*h - 55 = p. Is (-615)/p + 1/3 a multiple of 2?
True
Suppose 24 = -w - 5*v, w + 3*w - 4*v = 0. Let b be (-371)/w + (-2)/(-8). Suppose 4*c - 8*c + b = h, -5*h - 19 = -2*c. Does 17 divide c?
False
Let f = -2 + 4. Suppose 26 - 68 = -f*k. Does 21 divide k?
True
Let w = 54 + -32. Is 7 a factor of w?
False
Suppose -z + 3 - 48 = 4*w, -2*z + 10 = -2*w. Let i be (-2)/(-5) + (-16)/w. Suppose 4*p = i*j + 22, -j + 11 = 3*p + 3*j. Is p even?
False
Suppose 3*y = -2*y + 145. Let o = 3 + y. Is o a multiple of 16?
True
Let o(p) = p. Let w be o(0). Suppose 2*s + 0 - 26 = w. Is 13 a factor of s?
True
Suppose -f - 5 = 4*f. Let o(q) = -47*q**2 + q. Let w be o(f). Does 16 divide (w/(-10))/((-5)/(-25))?
False
Let z = -18 - -20. Suppose -z*f = -6*f + 32. Is f a multiple of 2?
True
Let k(b) = 15*b - 29. Is k(5) a multiple of 3?
False
Let k(z) = -z**3 - 1. Let y be k(0). Let d be (4 + -5)/(y/107). Suppose n + 3*b = 42, -b - 55 - d = -5*n. Is n a multiple of 12?
False
Let c = 9 + -5. Suppose k = -3*k - c. Let x = k - -18. Is x a multiple of 17?
True
Suppose 0*m - 6 = -2*m, -t + 4*m - 5 = 0. Suppose 0*h + 4*h - 8 = 0. Suppose -h*q - 30 = -t*q. Is q a multiple of 4?
False
Let j = -140 + 272. Is j a multiple of 6?
True
Let w(h) = -2*h**3 - 4*h**2 - h + 1. Is w(-3) a multiple of 17?
False
Is (-12)/(-5)*(-30)/(-12) a multiple of 2?
True
Suppose -13*l + 18 = -12*l. Does 2 divide l?
True
Let v(s) = 5*s**2 - 13*s**2 - 4*s**3 + 3*s**3 - s + 4. Let q be v(-8). Suppose -2*k + k = -q. Is k a multiple of 6?
True
Let l be (-3093)/(-21) - 6/21. Let j = l - 103. Is j a multiple of 11?
True
Let x(d) = 2*d + 2. Let n be x(5). Is (-90)/24*n/(-3) a multiple of 5?
True
Let a = -37 + 66. Is 8 a factor of a?
False
Let v(z) be the second derivative of -z**2 - 2*z - 1/2*z**3 + 0. Does 8 divide v(-6)?
True
Let l(y) = y**3 - 7*y**2 + 5*y + 5. Let c be l(6). Let k be (-2)/(-5) - (-4)/(-10). Is k + 2 + c + 31 a multiple of 11?
False
Suppose -3*l - 51 + 273 = 0. Does 14 divide l?
False
Suppose -4*p = -3*p - 12. Is ((-8)/p)/(1/(-36)) a multiple of 14?
False
Let t(k) = 2*k**2 + 8*k - 4. Let h be t(-6). Suppose -3*g + 1 = -h. Is 3 a factor of g?
False
Suppose 3*k - 624 = -141. Is 23 a factor of k?
True
Let o be 3*1 + 3/(-3). Suppose 7*b - o*b - 155 = 0. Does 13 divide b?
False
Let m(v) = -v + 4. Let g be m(4). Let u(p) = -p**2 + p + 66. Is 22 a factor of u(g)?
True
Suppose -126 = -3*j + 5*w, 3*w = 3*j - 47 - 73. Suppose b = -0*b + j. Is b a multiple of 25?
False
Let w be (-33)/6*2/1. Let y be 2/w - (-237)/33. Does 4 divide (2 + -2 - -1)*y?
False
Suppose 0*d - 5 = -5*d. Let u be 5/(-2)*-2*d. Suppose 0 = u*t - 65 - 5. Does 14 divide t?
True
Let j(s) = s**2 - 8*s - 13. Does 20 divide j(11)?
True
Suppose 0 = 4*w - 7 - 1. Let b be (-2)/(-4) + 25/2. Suppose y + b = w*y. Does 13 divide y?
True
Suppose 4*x - 6 + 50 = 0. Let r = x - -21. Is 5 a factor of r?
True
Is 12 a factor of -7*(-1 + (-68)/28)?
True
Suppose 37 = 5*l - r - 2*r, 0 = 4*l + 5*r. Suppose a - l = 3. Is 6 a factor of 60/a - (-1)/2?
False
Suppose -4*h + 3 + 9 = 0. Suppose 4*u = -4*q + 68, h*u + 3*q - q = 49. Is u a multiple of 10?
False
Let b be (-1 - 1)/((-2)/(-7)). Let j be 47/b + (-6)/21. Let a = j - -31. Is a a multiple of 12?
True
Let i(k) = -k + 8. Let x be (-23)/(-4) - 1/(-4). Let t be i(x). Suppose -t*f = f - 204. Does 23 divide f?
False
Let r = 62 - 40. Does 7 divide r?
False
Is (-16)/3*9*(-6)/18 a multiple of 6?
False
Suppose 7*b - 4*b - 36 = 0. Is 12 a factor of b?
True
Let d(s) = -s**3 - 7*s**2 + 8*s - 8. Does 53 divide d(-10)?
True
Suppose 0 = -l + 5*l - 4. Let x(q) = 57*q**2 - q. Does 26 divide x(l)?
False
Let o be (-1 + -4)*12/(-10). Suppose -2*b = b + o. Does 6 divide 4 + (4*-1)/b?
True
Suppose 79 = 4*c + 3*o, -c - 4*c + o = -113. Let z = c + -31. Let u = 18 + z. Is u a multiple of 3?
True
Let m = 77 + -112. Let d = m + 59. Is 14 a factor of d?
False
Let p(r) = 2*r**2 - 3*r + 5. Let q be p(-7). Suppose k - a - q = 0, 0*k - 5*a + 356 = 3*k. Suppose 5*t + 108 = 4*i, 0*t - 3*t - k = -5*i. Does 11 divide i?
True
Suppose 2*a - 10 = 2*w + 3*w, 4*a - 20 = 5*w. Is a*6/45*42 a multiple of 14?
True
Suppose 0 = -3*c + 4*o - 204 + 710, 5*o = 2*c - 349. Is c a multiple of 12?
False
Let a = -47 + 137. Is 15 a factor of a?
True
Let u = 334 - 222. Is 14 a factor of u?
True
Let a = 0 + 4. Suppose 0 = -a*x + 25 + 111. Is x a multiple of 16?
False
Suppose 0 = -7*y + 5*y + 70. Does 7 divide y?
True
Let z be -2 + (-1 + 1 - 0). Let q be (5*-1 - z)*-19. Suppose -81 = -5*b + 4*j, -5*b + 3*j + q = 5*j. Does 7 divide b?
False
Let c be ((-28)/(-7))/(1/(-1)). Let y be 2/c*(-2 - 6). Suppose -2 = f + 2, -4*z + 104 = y*f. Is 15 a factor of z?
True
Let o be -3*(-1)/6*4. Suppose 10 = w - 5*z, 5*z + 30 = 3*w + o*z. Does 10 divide w?
True
Let n(t) = 0*t**2 + 0 - 2*t - 2 + t**2. Let d be n(4). Suppose d*y = 5*r + 3*y - 149, -5*r + 125 = 5*y. Is r a multiple of 16?
False
Suppose 4*n + 805 = 9*n. Is 23 a factor of n?
True
Is 13 a factor of (1 - -34) + (9 - 12)?
False
Suppose 1