2 - -1825. Is 7 a factor of z?
False
Let t be ((-6)/(-4))/(1/((-14)/(-3))). Suppose t*x - 168 = -0*x. Is x even?
True
Suppose 2*z - 2*f = 14, 7*f + 8 = -z + 3*f. Suppose 0 = -z*l + 3*l + 51. Is l a multiple of 17?
True
Let r be (-4)/(-6) - (-500)/6. Suppose -s = -5*s + r. Let v = s - 6. Is 5 a factor of v?
True
Suppose -m - 3*j = -1163, -44*j = 5*m - 48*j - 5777. Does 82 divide m?
False
Does 46 divide (1 + 0 + 1)*(387 - -2)?
False
Let d(y) = -y**3 + 11*y**2 + 2*y - 13. Let h be d(11). Suppose 0 = 4*b + h + 3. Does 2 divide 54/8 - b/(-4)?
True
Suppose -1480 - 120 = -10*j. Does 15 divide j?
False
Suppose m = -4*m + 150. Let x = 59 - m. Let v = x + 9. Does 19 divide v?
True
Suppose 0*k + 16 = -k. Suppose -10*r + 324 = -276. Let v = k + r. Is 22 a factor of v?
True
Suppose 0 = -u + 6*u + 5. Let f(i) = -16*i**3 + i**2 + i - 1. Is f(u) a multiple of 15?
True
Let d(a) = -a**2 + 7*a + 8. Let b be d(8). Suppose 5*l = -0*l - 20, b = -p - 2*l + 4. Suppose 5*q - q = p. Does 2 divide q?
False
Suppose 0*w - 4 = -2*w. Suppose 0 + 10 = w*a. Does 10 divide (a/(-4))/(3/(-72))?
True
Does 10 divide 2/(26815/3830 + -7)?
False
Let q = -12 + 10. Let k be 648/14 - q/(-7). Let t = k + 2. Does 12 divide t?
True
Suppose -3*i - 714 = o + 70, -5*i = 2*o + 1308. Let t = -167 - i. Is t a multiple of 18?
False
Suppose -4*s - s + 4*v = -282, -5*v = 4*s - 242. Let m = -28 + s. Is 7 a factor of m?
False
Suppose 3*d + 87 = 2*q, -3*q - 29 = d - 0*d. Let v = 33 + d. Suppose -3*x + 197 = 5*w, 7*w + v*x - 201 = 2*w. Is w a multiple of 36?
False
Suppose -153 + 6 = t + 5*f, 4*f - 588 = 4*t. Let m = t + 261. Does 27 divide m?
False
Let n(g) be the first derivative of -37*g**2/2 + 25*g - 39. Does 21 divide n(-5)?
True
Let l(g) = -g - 12. Let v(i) = i + 13. Let n(q) = 2*l(q) + 3*v(q). Does 7 divide n(12)?
False
Let w(h) = -h**3 + 18*h**2 + h - 7. Let m be w(18). Suppose m*s - 10*s = 26. Is 7 a factor of s?
False
Is ((10 - 11) + 1003)*(-4)/(-6) a multiple of 20?
False
Suppose 22*c - 703 = 21847. Is c a multiple of 17?
False
Let k be (-4776)/(-15) - (17/5 - 3). Let p = k - 199. Is 36 a factor of p?
False
Let x(i) = 5*i**2 + 26*i + 3. Let g be x(-5). Is (6 + (159 - 3))*g/(-3) a multiple of 27?
True
Let a be 8/(-20) - 12/(-5). Let s = 12 + a. Is 7 a factor of s?
True
Suppose -16*c - 5670 = -31*c. Is 21 a factor of c?
True
Suppose -4*l = -2*l - 16. Let a(s) be the third derivative of s**5/60 - s**4/4 + s**3/2 - 8*s**2 + 6*s. Does 19 divide a(l)?
True
Suppose -g - 5 = 0, -3*k = 4*g + 48 + 23. Let f(n) = -5*n - 31. Does 9 divide f(k)?
True
Let r(g) = -g - 4. Let n be r(-3). Let p = n + 1. Is 30 a factor of 27 + 3 - p/1?
True
Suppose 8*h = 4*h + 16. Suppose -h*z - 72 = -6*z. Is 12 a factor of z?
True
Let d = 587 - 568. Is d even?
False
Suppose 3*t - 4 = -t. Let u be (-2)/(t - 2/4). Is (-114)/(-22) - u/(-22) even?
False
Let y(k) be the first derivative of -k**4/4 - k**3/3 + k**2/2 + 42*k - 7. Suppose 4 = 4*d - 4*m, -2*d - 2 = 2*d + 2*m. Does 14 divide y(d)?
True
Let h(a) = a**2 - 12*a + 27. Let b be h(9). Suppose 0 = -b*g - 7*g + 630. Does 18 divide g?
True
Let j(d) = -d**3 + 7*d**2 + 8*d + 2. Let a be j(8). Let f(t) = -10*t**a + 9 - t**2 + t**3 + t**2 + 11*t. Does 11 divide f(9)?
False
Let c(m) = -13*m - 49. Suppose -4*n - 2*r + r = 75, 55 = -3*n - 2*r. Is 11 a factor of c(n)?
True
Let p be (0 + 2)*(-35)/(-10). Suppose 4*d = p*d - 6. Suppose 0 = d*y - 105 - 55. Is y a multiple of 12?
False
Let r be 1*18/(-21)*7. Let t = r + 5. Is 4*(t + 3 + 3) a multiple of 14?
False
Let l be (-1 - 2)/(4/((-224)/(-3))). Is 16 + ((-16)/l)/((-1)/(-7)) a multiple of 16?
False
Let c = -289 + -173. Let k be ((-8)/(-12))/((-4)/c). Suppose -k = -5*u - 4*t + 206, -4*t = -5*u + 307. Is u a multiple of 12?
False
Let v(z) = 2*z**3 + 3*z**2 + 5*z - 9. Let y be v(4). Let f = -132 + y. Does 8 divide f?
False
Let k(n) = 4*n**2 + 75*n - 62. Is k(-20) even?
True
Does 93 divide 72/(-20)*((-1401)/6 + 1)?
True
Suppose -173 = 3*n + 10. Let j be 10/(-4)*(-5 + n). Suppose -6*u + 15 = -j. Is u a multiple of 5?
True
Let m = 58 - -350. Suppose -m = -11*i + 7*i. Is i a multiple of 6?
True
Let a be (-1 - -3)/(7/315). Suppose 0 = 2*s - 0*s - 8. Suppose i = -s*h + a, 4*i + i - 402 = 4*h. Is 12 a factor of i?
False
Let j = 19 + -14. Suppose -l + j*n - 7 = 0, 5 + 9 = 2*l + 4*n. Suppose l*h = 5*h - 200. Does 20 divide h?
True
Let m(a) = 676*a + 165. Does 38 divide m(4)?
False
Suppose 2*r + 2 = -0*r. Let q(k) = 17*k**2 + 2*k + 1. Is q(r) a multiple of 16?
True
Let b(f) = 3*f**3 + f**2 + f - 1. Let u be b(-1). Let x be (6/(-4))/(u/440). Suppose 87 = 2*g - k, k - x = -4*g + 6*k. Is 15 a factor of g?
True
Suppose -19 = 25*m - 219. Let x(s) = 6*s**2 + 7*s + 6. Let l be x(6). Suppose m*t - l = 4*t. Is t a multiple of 24?
False
Is ((-16638)/295)/((-2)/5*1) a multiple of 2?
False
Is (-1698736)/(-676) - 2/(-26) a multiple of 13?
False
Let f be 117*(-2*(-5)/(-6) - -1). Is 27 a factor of 100/(-15)*f/4?
False
Let o(q) = -q**2 + q + 1. Let d(i) = i**3 + 3*i**2 - 17*i + 13. Let r(f) = d(f) - 4*o(f). Does 10 divide r(-9)?
False
Let t = 64 - 70. Let x = -4 + 7. Is (-147)/t + x/(-6) a multiple of 24?
True
Let f be (-2)/4 - 205/20*-2. Suppose 21*t - f*t - 105 = 0. Is t a multiple of 15?
True
Suppose -2*t + 9770 = 5*f + 1140, 10 = -2*t. Is f a multiple of 72?
True
Let j be (-10)/30 + 14/6. Let t be (-540)/(-4) + j + 3. Is (t/15)/(3/18) a multiple of 11?
False
Let h be (-2 - (95 + -2))/((-12)/72). Does 5 divide (-2)/2*h/(-19)?
True
Let w(b) = b**2 + 94. Is w(0) a multiple of 3?
False
Suppose 6*j - 3*j + 12 = 0. Does 23 divide j - (1 - 189)*(-3)/(-3)?
True
Let c = -1289 + 1912. Is c a multiple of 34?
False
Let l = -1298 - -3100. Does 17 divide l?
True
Let d be (5/(-4))/(1/(-60)). Suppose 0 = 4*j - 341 - d. Is 13 a factor of j?
True
Suppose -370 = -5*c + 4*g, 0 = 3*c - 2*c + 5*g - 45. Is 4 a factor of c?
False
Let t be -8*4/8 + 9. Suppose -t*a + a = -8. Suppose -w - 4*o = -16, 0 = a*w + 2*w - o - 81. Does 5 divide w?
True
Does 34 divide (9 - 19) + 599 - 11?
True
Suppose -i + 1598 = 4*o, -10*i + 1192 = 3*o - 6*i. Does 80 divide o?
True
Let a(l) be the first derivative of 27*l**2/2 - 15*l + 13. Does 21 divide a(6)?
True
Let z(f) = 3*f - 3. Let j(m) = 10*m - 8. Let a(x) = 4*j(x) - 11*z(x). Is 7 a factor of a(4)?
False
Suppose 39*d - 432 = 36*d. Does 18 divide d?
True
Suppose -15 = -0*l - 5*l. Suppose 5*k - 85 = -5*d, 57 = 6*d - 3*d - l*k. Is d a multiple of 5?
False
Suppose b + u = 4*u - 2, -15 = 4*b - 5*u. Let x(s) = s**3 + 6*s**2 + 2*s - 4. Is 11 a factor of x(b)?
True
Suppose -2*p + 5*p = -5*k + 26, -2*k + 16 = 4*p. Let z(s) = -s**3 + 6*s**2 - 2*s + 7. Is 4 a factor of z(k)?
False
Let r be (-42)/4*(-24)/(-36). Let m(k) = -k - 2*k + 1 + 5. Is 9 a factor of m(r)?
True
Is 30/20 - (-9)/12*54 a multiple of 21?
True
Let d = 115 - 227. Let z = d + 280. Does 21 divide z?
True
Suppose 2*m + 2*m + 80 = 0. Let n = m - -47. Let f = n + -14. Is f a multiple of 4?
False
Let f be (-15)/25 - (-33)/5. Does 23 divide (f/8*23)/((-11)/(-44))?
True
Does 29 divide (3/(-4))/(18/(-1392))?
True
Let n be 224/(-70)*(-1 + -4). Let j be (2 + -2)/((-3)/3). Suppose j = -s + 2*s - n. Is s a multiple of 12?
False
Is (-9 + -4962)/(-2 - (-6 - -5)) a multiple of 39?
False
Let p = 13 - 13. Suppose 0 = c - 4*i - 13, -2*c + 0*i + 3*i + 51 = p. Does 5 divide c?
False
Let y(b) = -b + 1. Let o(c) = c + 8. Let p(g) = -o(g) + 3*y(g). Let u be p(-2). Is 2400/35 + u/7 a multiple of 13?
False
Let x(l) be the first derivative of 10*l**3/3 - l**2/2 + 2*l - 2. Let y be x(2). Let n = y - 4. Does 18 divide n?
True
Is -6 + (-1618 - 8)/(-2) a multiple of 57?
False
Suppose h + 4*x = 105, -5*x + 255 = 3*h - 8*x. Is h a multiple of 2?
False
Let s(n) = -n**3 + 9*n**2 - 3*n - 9. Suppose -2 = 5*z - 22. Suppose -z*x + 12 = -20. Is s(x) a multiple of 11?
False
Let z = 955 + -775. Is z a multiple of 26?
False
Suppose 3*m + 3*u - 2 = 31, -3*u = 5*m - 61. Does 6 divide (168/(-16))/((-3)/m)?
False
Let n(s) = -15*s**3 - s**2 - 4. Let h be n(2). Let b = h + 199. Is b a multiple of 11?
False
Suppose 5*d - 120 = d. Let l(s) = 2*s - 2. Let q be l(-13). Let a = d - q. Is 17 a factor of a?
False
Let m be (-3485)/(-35) - (-8)/(-14). Suppose -3*b - 105 = -2*g, -4*g + 2*g = -5*b - m. Is 31 a factor of g?
False
Let r be 0 - 4 - -11 - -4