 - z = -1, -3*s - z = -2*z - 1. Does 3 divide (-5 - (s - 5)) + 25?
True
Let p(b) = -1 + 7 - 3 + 6*b + 1. Let j be p(-15). Let u = j + 125. Is u a multiple of 12?
False
Suppose 5*l - 4*h - 4215 = 0, -21*h = -4*l - 19*h + 3372. Does 25 divide l?
False
Let m(t) be the third derivative of -9*t**4/8 - t**3/6 + 2*t**2. Suppose -3*r + 3 = 5*x + 22, 5*x + 5*r + 25 = 0. Is 15 a factor of m(x)?
False
Suppose -5658 = 167*w - 173*w. Is 23 a factor of w?
True
Let y = -9 - -9. Suppose y = -k - 4*k + 200. Suppose 0 = 4*w, -l + k - 13 = -w. Is 9 a factor of l?
True
Is (1/(-2))/((-65)/31590) a multiple of 65?
False
Suppose 2*f = 3*f + 2, -3*d + 3*f = -6. Suppose -2*k = -o - 5*k + 732, d = 2*o - 3*k - 1428. Does 26 divide ((-2)/5)/((-4)/o)?
False
Suppose f = 4*t - 7*t + 17, 8 = 4*f. Suppose t*r - 5*l = -65, 3*l + 8 = 5*l. Let c = 17 + r. Does 4 divide c?
True
Let o(h) = 107*h**2 - 10*h - 5. Is o(-2) a multiple of 34?
False
Let d(v) = 37*v**2 + 7*v - 2. Does 53 divide d(3)?
False
Let y = 44 - -27. Is y a multiple of 4?
False
Suppose 0 = 58*f - 112*f + 60156. Does 38 divide f?
False
Suppose 4*f = -4*t + 348, 4*f - 173 = -2*t + f. Is 11 a factor of t?
True
Suppose -368 = -17*d + 40. Is d a multiple of 3?
True
Suppose g - 5 = -0*g. Suppose 2*n - g = 1. Suppose 4*j + n = 91. Does 22 divide j?
True
Let v(g) be the third derivative of -7*g**6/720 - g**5/24 - g**4/6 + g**2. Let m(j) be the second derivative of v(j). Does 6 divide m(-5)?
True
Suppose 5*o - 3120 = -5*o. Does 13 divide o?
True
Let t(h) be the second derivative of -3*h**6/40 + 5*h**2/2 + 8*h. Let f(o) be the first derivative of t(o). Is f(-2) a multiple of 24?
True
Suppose -4*z - 3950 = -1066. Is z/(-5) - 2/10 a multiple of 35?
False
Let k(x) = x**2 - 11*x - 41. Let v be k(19). Suppose 3*j - 3*l - 6 = v, -4*l + 131 = 3*j. Does 41 divide j?
True
Let k(d) = -d**3 + 0*d**3 + 4*d - 3*d - 2*d**2 + 3*d**2 + 48. Does 8 divide k(0)?
True
Let y be 3 - (-2 - 12/3). Suppose y*o - 96 = 5*o. Suppose t - o = -5*b, 0 = 3*t + 2*t + 3*b - 54. Is t a multiple of 3?
True
Let t = 1549 + -988. Is t a multiple of 33?
True
Let k = 168 + -164. Suppose 2*b = 3*b - 4. Suppose -242 = -b*t + o, -2*t + k*o + 112 = 8*o. Is t a multiple of 15?
True
Let b be (6/(-3) - -2)/(-1). Suppose b = -5*i - 3*a + 37 + 11, -5*a = 4*i - 28. Is 9 a factor of i?
False
Let m(v) = v**2 - v + 1. Let z(n) = -5*n**2 + 19*n - 30. Let k(s) = 6*m(s) + z(s). Let q be (1*(-34)/8)/((-1)/(-4)). Is k(q) a multiple of 14?
False
Let n = 48 + -51. Does 9 divide (n + 114/8)*8?
True
Suppose m + 4*s + 12 = 4*m, 0 = 2*m - 2*s - 6. Let q(h) = -h**2 - h + 15. Does 3 divide q(m)?
True
Let i(t) = 4*t - 1. Is i(1) a multiple of 2?
False
Let c(d) = -2*d**2 - 7*d - 2. Let l be c(-2). Does 25 divide l + 45/(-10) - 102/(-4)?
True
Let i = -15 + 25. Let q(s) = s**3 - 11*s**2 + 13*s - 13. Does 3 divide q(i)?
False
Let s(z) = -7*z - 21. Let b(l) = -8*l - 20. Let y(t) = -2*b(t) + 3*s(t). Does 12 divide y(-7)?
True
Let o = 28 + 50. Suppose -4*h = -2*v + o, -90 = -0*v - 3*v - 3*h. Suppose v = -3*g + 4*g. Is 9 a factor of g?
False
Let b = 74 + -92. Does 13 divide (-1269)/b*(-10)/(-3)?
False
Let a(i) = -13*i**3 - i**2 + i + 1. Let q be a(-1). Suppose 96 = 3*z + q. Is z a multiple of 28?
True
Suppose 0*w - 5*w + 4560 = -5*s, 3608 = 4*w + 4*s. Is 23 a factor of w?
False
Let w(a) = -a**3 - 16*a**2 - 18*a + 24. Is w(-15) a multiple of 10?
False
Does 5 divide 0 + (-110)/(-1) + 5?
True
Let u be (-10)/(-15)*(2 + 1). Suppose -u*j = -8 - 14. Does 10 divide j?
False
Let l = -18 - -48. Let d = l - 14. Is d a multiple of 5?
False
Let l = -1 + 4. Suppose l*o - 286 = -x, 0*o = -5*o - 3*x + 474. Does 24 divide o?
True
Let j = -1595 + 3059. Is j a multiple of 12?
True
Let w = -121 + 220. Is w + 4 + 1 + -2 a multiple of 13?
False
Let h = -30 - -32. Suppose 0 = 5*p - 5*f - 480, -5*p - f - h*f + 480 = 0. Is 32 a factor of p?
True
Suppose 0*q + 18 = 2*q. Let p = q - -9. Suppose -23*o = -p*o - 90. Does 9 divide o?
True
Suppose 14*q - 912 = 796. Is 78 a factor of q?
False
Let g be (-1 - -2 - -5) + -3. Suppose n + 21 - g = 5*b, 5*b - 12 = -n. Suppose 2*m - 29 = y + 9, b*m + 5*y - 83 = 0. Is 21 a factor of m?
True
Let d(v) = 21*v**3 + 5*v**2 - 4*v + 2. Let c(z) = -20*z**3 - 4*z**2 + 3*z - 1. Let s(x) = -4*c(x) - 3*d(x). Is s(1) a multiple of 5?
False
Let j(x) = 57*x**2 + 21*x + 21. Let u(z) = 14*z**2 + 5*z + 5. Let n(c) = -5*j(c) + 21*u(c). Is n(1) a multiple of 5?
False
Suppose -3*y + 3009 = 5*m, 4*y - 4038 = 7*m - 5*m. Does 93 divide y?
False
Is 85 a factor of (5 - (-148)/(-4))*(-3 - 13)?
False
Let q = -328 + 734. Is 14 a factor of q?
True
Let r(c) = 3 + 2*c - 5 + 6*c**2 - 3*c. Let f be (-6)/(-2) + 1*30/(-6). Is 6 a factor of r(f)?
True
Let r(g) = 12*g**3 + 5*g**2 + 3*g - 1. Let t be r(-3). Is 32 a factor of t/(-3) - (5 + -11)/(-18)?
True
Suppose 8*p - 3*p - 50 = 0. Suppose 8*b + 84 = p*b. Is 23 a factor of b?
False
Let k(r) = 20*r + 362. Does 34 divide k(38)?
True
Let t = 17 - 15. Suppose 0 = 2*z + 4, 0*z + 4 = -2*u - t*z. Is 18/(-1 + 2 + u) a multiple of 7?
False
Let m be -3*3/((-9)/2). Suppose p + 42 = 298. Suppose -2*r + p = m*r. Does 19 divide r?
False
Let f = -6 - -12. Suppose n - 5*g = -10, -g + f = -4*n + 2*g. Suppose n = 4*l - 0 - 12. Does 3 divide l?
True
Let p(i) = i**3 - i**2 - 7*i + 5. Suppose 5*f - 4*f - 5*y = 3, -4*f + 3*y = -12. Let a(s) = -s**2 + 4*s + 2. Let w be a(f). Is p(w) a multiple of 21?
False
Let d(v) = v**3 + 57*v**2 - 80*v - 69. Is d(-57) a multiple of 15?
False
Does 2 divide 78/26 + 240 + -1 - 2?
True
Let m(s) = -s**3 + 11*s**2 - 2*s + 4. Let k be m(5). Suppose k + 41 = 5*z. Does 8 divide z?
False
Suppose 5*m - 464 = h + 1320, -4*m = -4*h - 1440. Is m a multiple of 7?
False
Let v = -6 + 10. Does 10 divide (-4)/(-3 + v) + 23?
False
Suppose 5*c + 2*j = 6*j + 1936, 4*c = -2*j + 1528. Is 12 a factor of c?
True
Suppose -17 = -4*g + o, -g + 0*o - 2*o - 7 = 0. Suppose 0*w + 4*w - 2*q - 654 = 0, -4*w + g*q + 659 = 0. Is w a multiple of 24?
False
Let k = -48 + 53. Suppose -v + 68 = k*z, 2*v + 7*z - 2*z - 136 = 0. Does 17 divide v?
True
Let i(q) = -1 - 3 + q**2 + q + 2*q + 0*q**2. Let n be i(-4). Suppose n = 2*v + 5*w - 42, -2*w + 7*w - 75 = -5*v. Is v even?
False
Let u be 662/(-2)*(0 - 1). Suppose -1669 + u = -3*v. Suppose 0*d - d - v = -5*h, 3*h - 286 = -4*d. Is h a multiple of 18?
True
Suppose 8*z - 459 = 6*z - 3*q, 5*z = -5*q + 1145. Does 9 divide z?
False
Let r(q) = -2*q**2 + 153*q - 189. Is 12 a factor of r(63)?
True
Let l be 123/(-11) + 14/77. Let g(n) = -n**3 - 9*n**2 + 18*n - 16. Is g(l) a multiple of 7?
True
Suppose -2*r + 2*a = -90, -4*r = 5*a - 209 + 20. Is r a multiple of 2?
True
Does 28 divide (-50)/3*(12 + (-936)/65)?
False
Is 20 a factor of ((2205/14)/(-35))/(2/(-424))?
False
Suppose 4*h = 1 + 15. Suppose 15 = h*f + f. Let t = f + 5. Is t a multiple of 8?
True
Suppose 7*b - 96 - 9 = 0. Let m(r) = r**2 - 5*r - 6. Let o be m(5). Is 7 a factor of b/(-45) + (-248)/o?
False
Let d be 3/12 + (-26)/8. Let s = -261 - -324. Does 5 divide (-20)/d*s/14?
True
Let p(z) = -z**2 + 14*z - 11. Let y be p(13). Suppose -5 + 165 = 4*g - y*m, 3*m + 30 = g. Is 10 a factor of g?
False
Let h be 1 - 0*(-1)/(-3). Let r(g) = 126*g**2 - 1. Is r(h) a multiple of 24?
False
Is (-8 + 1 - 26/(-2)) + 546 a multiple of 38?
False
Let h(t) = -115*t**3 + 2*t - 1. Let l be h(1). Let i = l - -202. Suppose 2*m - i = -2*m. Is m a multiple of 7?
False
Let n = 98 + -75. Let m = 45 + n. Is m a multiple of 17?
True
Suppose 411 = a + 2*l - 213, 3*a - 1871 = -5*l. Is 5 a factor of a?
False
Let i(g) = -g**2 + 16*g + 2. Let n(j) = 2*j - 2. Let z(b) = 3*b - 4. Let a(u) = 7*n(u) - 3*z(u). Let p be a(2). Is i(p) a multiple of 20?
False
Let a(k) = -3*k**3 - 6*k**2 + 2*k - 3. Let u be 3 - (2 + 0 + 6). Let h(m) = 7*m**3 + 12*m**2 - 5*m + 5. Let w(c) = u*a(c) - 2*h(c). Is 5 a factor of w(-6)?
True
Suppose 3*l + 4*g - 7694 = 0, -2205 = -2*l + 2*g + 2901. Does 63 divide l?
False
Let g = -32 + 34. Let r = g + 53. Is r a multiple of 5?
True
Suppose 0*g + 578 = 4*g + 5*h, -4*h = -g + 155. Suppose -5*v + 93 = -g. Is 13 a factor of v?
False
Suppose -125964 + 1014 = -35*n. Is 21 a factor of n?
True
Is 28 a factor of ((-30)/4)/((-21)/1834*1)?
False
Let m = 1803 + -749. Does 46 divide m?
False
Is 3 a factor of ((-102)/24)/((-1)/72)?
True
