 be ((-2)/b)/((42/(-7))/(-18)). Does 16 divide y*-12*(-7)/(-1)?
False
Let u(x) = 12440*x + 207. Is 21 a factor of u(3)?
True
Let s = -1535 + 3260. Does 15 divide s?
True
Let f(s) = -s**2 + 3*s - 215. Let n be f(0). Let o = 25 - n. Does 40 divide o?
True
Suppose 3*q + 5*h - 5 = 2*q, -15 = -3*q - h. Suppose -q*t - 6*t + 5775 = 0. Does 35 divide t?
True
Suppose -3*d = -5*j - 255, -2*d + 9*j = 11*j - 186. Suppose -3*b = -2*h + d, h - 42 + 0 = 3*b. Is 16 a factor of h?
True
Let h = -83 + 88. Suppose h*c + 50 = 5*s, -2 - 3 = s + 2*c. Suppose 386 = s*j - 634. Is j a multiple of 12?
True
Suppose 5*f = 5*u + 50223 + 8257, -f = -2*u - 11701. Is 109 a factor of f?
False
Let t(x) = x**2 - 14*x + 7. Let r be t(11). Let i be (-6)/(-39) - 5300/r. Let m = -119 + i. Is m a multiple of 17?
True
Let a = -137 - -233. Suppose 4*o + 96 = a. Suppose -4*y + 99 = 5*q, -5*q - 83 = -3*y - o*q. Does 2 divide y?
True
Is 17 a factor of (-2 - -7)*((-12002)/(-10) + (-41 - -44))?
False
Suppose 2*i - 632 = v, 4*v + 12 = 4. Let k = 112 - 110. Suppose i = k*b + b. Is b a multiple of 15?
True
Suppose 8*c - 99 = 93. Let z = c + 12. Suppose q = -0*q + z. Is q a multiple of 4?
True
Let c(q) = 2*q + 3*q**2 + 18 - 10 - 2*q**2. Suppose -z = 3*n - 2*z + 13, -2*z = -5*n - 22. Does 4 divide c(n)?
True
Let t(z) = 139*z - 983. Is t(33) a multiple of 53?
True
Suppose 0 = -2*o + 4*n + 19024, 0 = -250*n + 245*n - 30. Does 125 divide o?
True
Let n(m) = -12*m**2 + 1. Let o be n(1). Let r(d) = 3*d + 34. Let j be r(o). Let v(h) = 42*h**2 - h + 1. Is v(j) a multiple of 8?
False
Let m(s) = -s**3 + 83*s**2 - 77*s + 403. Is 5 a factor of m(82)?
False
Let y(i) = -18*i**2 + 3*i + 19. Suppose 3*k = -12 + 6. Let g(z) = z**3 + 91*z**2 - 15*z - 96. Let j(u) = k*g(u) - 11*y(u). Does 10 divide j(7)?
True
Let g(d) = -20*d - 9. Suppose y = 4*y + 4*w - 8, 0 = -3*w - 12. Suppose 4*x - 5*n - 8 = 0, 0 = -0*n - 2*n - y. Does 3 divide g(x)?
True
Suppose 0*s = s - 10. Suppose -5*w = 3*p - 72, -5*p + s = 3*w - 30. Is w a multiple of 3?
True
Let u = 17237 + -9689. Does 22 divide u?
False
Let j = 11695 + -10261. Is j even?
True
Let a(x) = x + 8. Let k be a(-2). Let q be 480/k + (1 - 0). Let p = 216 - q. Is p a multiple of 27?
True
Suppose 3*a + 604 = 2*n - n, -3*n = -a - 1772. Does 4 divide n?
False
Let x(k) = k**2 + k. Let o be x(-2). Suppose -7*r = -2*s - 34, 5*s = -2*r + 7*r - 10. Suppose 4*n + 0*n - 234 = o*y, 0 = n + s*y - 36. Is n a multiple of 34?
False
Let g = -5195 + 23083. Does 18 divide g?
False
Let u(f) = 39*f**2 - 2655*f + 168. Does 8 divide u(72)?
True
Suppose 5886*g - 97797 = 5879*g. Is 23 a factor of g?
False
Let x be (-23)/(230/(-8964)) - 4/10. Is 28 a factor of x/18 + (-10)/(-45)?
False
Let c be (738/15)/(((-40)/25)/(-4)). Suppose -1187 = 14*t - c. Does 19 divide (-19 + -1)*t/16?
True
Is (441/294)/(6/25348) a multiple of 80?
False
Suppose -9*s + 298 = -7*s. Let p = s - 14. Is p a multiple of 42?
False
Does 19 divide ((-4716)/21)/(1649/2716 + (-6)/8)?
False
Let t be 1/1 + (-1547)/(28/4). Is 22 a factor of (1 - (-54)/(-4))*t/25?
True
Suppose -2*m = 15 - 7, -3*m + 65328 = 4*a. Does 107 divide a?
False
Let m(b) = b**2 - 87*b + 457. Is 56 a factor of m(109)?
False
Suppose -46*n + 52*n - 3235270 = -79*n. Is 59 a factor of n?
False
Suppose -798 = -24*k + 31*k. Suppose -2*o + 108 + 190 = 0. Let x = o + k. Is x a multiple of 7?
True
Let j = 347 - 617. Let h = j - -160. Let w = h - -185. Is w a multiple of 15?
True
Let b(h) = 40*h**3 - 46*h**2 + 6*h - 2. Is b(5) a multiple of 23?
False
Let o be (5 - 4/1)/(2/2). Let c be (61/o - 1)/(9/12). Suppose -3*n + 744 = -v + c, -454 = -2*n - 5*v. Is n a multiple of 45?
False
Let i(o) = -o**3 + 3*o**2 - 20*o + 94. Let t be i(4). Let f be -1*(-2)/(-4)*-2. Is 19 a factor of f/t + (-4540)/(-40)?
False
Suppose 4*n = 13*n - 81. Let x(c) = c**3 - 9*c**2 - 2. Let y be x(n). Is 33 a factor of -2 - -117 - (0/y + 0)?
False
Suppose 35*c = 32*c + 24, 6856 = 2*t + 6*c. Is 14 a factor of t?
False
Let i = 60 - 58. Let o = i + 190. Suppose -5*b + o = -b. Is 16 a factor of b?
True
Suppose -m + r = 17 + 10, 0 = -5*m + 3*r - 133. Let h be (-2)/4 + (-1079)/m. Suppose 10 = -2*q, u = -0*u + q + h. Does 6 divide u?
True
Suppose 10838 + 13617 = 5*w. Suppose 3*i - 2*i - 1221 = -2*x, w = 4*i + x. Suppose -3*f - 921 = -3*k, 5*k + f - i = k. Is 18 a factor of k?
True
Let g(j) = -2*j**2 - 8*j + 23*j**3 + 20*j - 2*j - 6*j - 5. Is g(3) a multiple of 61?
True
Let q(o) = -37*o - 240. Let m be q(-7). Suppose 7185 - 1048 = m*t. Is 5 a factor of t?
False
Suppose -5*m + 3*t + 107985 = 0, -5*t + 44752 = 5*m - 63273. Is m a multiple of 36?
True
Let v = -12446 - -14380. Is v a multiple of 2?
True
Let w(v) = -v**2 - 15*v + 29. Suppose 4*k - 157 = 2*g + 3*g, -2*g - 56 = -5*k. Let q = g + 19. Does 5 divide w(q)?
False
Suppose 1828 = -43*y + 41*y. Does 9 divide y/(-12) + (-27)/162 + 0?
False
Let o = 45177 + -23817. Is o a multiple of 16?
True
Let v(s) = -s**3 + 32*s**2 + 111*s + 9. Let p be v(35). Let n be (-6)/2*(3 - 4). Suppose -j + 3*m = -63, -5*m - p = -n*j - 2*m. Is j a multiple of 39?
True
Let o = -104 + 44. Does 12 divide (108/6)/((-6)/o)?
True
Let d = 367 - 1031. Let p = d + 1732. Does 12 divide p?
True
Suppose -720 = 10*y - 13*y. Let g = -118 + y. Let s = -12 + g. Does 10 divide s?
True
Does 89 divide ((-3)/(-9))/(1/(-12783))*(256 + -261)?
False
Let w(u) = 18317*u**2 - 385*u + 383. Does 33 divide w(1)?
True
Suppose 0 = -9*c + 39*c + 15150. Let y = 71 - c. Does 32 divide y?
True
Let f(p) = p**2 - 6*p. Let b(i) = -i**2 + 1. Let y(o) = -5*b(o) + f(o). Let l be y(-1). Suppose -6*w = -l*w + 44. Is w a multiple of 9?
False
Suppose -q = 2*c - 0*q - 1, 0 = -3*c + 3*q - 21. Let b be ((-2)/(-4))/((c + 5)/582). Let t = b + -65. Does 8 divide t?
True
Suppose v = 3*b + b - 6926, -4*v - 27758 = 2*b. Does 23 divide -9*4/(-96) + v/(-16)?
False
Suppose 2*h = 9*h. Suppose 12*q - 5 - 31 = h. Suppose -4*m = -20, o = 3*o + q*m - 393. Is o a multiple of 21?
True
Let j(l) = -3*l**3 - 29*l**2 - 7*l + 5. Let z be j(-12). Let i = -593 + z. Does 7 divide i?
True
Let a(g) = 13*g**2 - 11*g - 55. Let r = 230 + -235. Does 26 divide a(r)?
False
Let j(a) = 25*a - 26. Suppose 0 = -31*l + 48*l - 102. Is j(l) a multiple of 7?
False
Suppose -7*v + 3 + 11 = 0. Suppose -1460 = -4*i - v*m, 4 - 2 = m. Does 28 divide i?
True
Let z(m) = -5*m**3 + 9*m**2 - 3*m + 11. Let q be z(-5). Suppose -3*j + 6*j = -y + 233, -4*y + 2*j + q = 0. Does 13 divide y?
True
Let l(a) = -a**3 + 107*a**2 - 797*a - 16. Is 5 a factor of l(97)?
True
Let g(b) = -478*b - 1914. Let z be g(-4). Suppose 4*x - 29 = 11. Is 13 a factor of 390*(z + x/4)?
True
Let j(n) = -n**3 - 12*n**2 - 12*n - 6. Suppose -5 + 115 = -10*d. Let r be j(d). Suppose y - 6*y = -3*v - 58, -4*y - r*v = -39. Is y a multiple of 11?
True
Suppose v - v = 9*v - 121986. Does 27 divide v?
True
Let o = 4556 + -3546. Is o a multiple of 16?
False
Let r be (5 - 0)*6/(-15). Let q = r + 9. Suppose -2*i - q*i + 441 = 0. Does 7 divide i?
True
Let p(g) be the second derivative of -g**4/12 + 2*g**3/3 - g. Let z be p(4). Suppose -2*l = 4*r - 58, -4*l + 2*r = -z*r - 76. Does 21 divide l?
True
Suppose 7*b = 39 + 17. Let a be -270*(-1 - 3)/b. Suppose p + 5*s = 45, 3*p + 5*s - a = -p. Is p a multiple of 13?
False
Suppose -11*t = -16*t + 5150. Suppose -8*b + 13*b = t. Does 8 divide b?
False
Let x(p) = 2*p**2 - p + 2. Let c be 24 + 0 - (3 - 1). Suppose 2*v - 28 = -c. Does 17 divide x(v)?
True
Let w(i) = i**3 + 8*i**2 + 5*i - 7. Suppose 2*z - z + 3*k + 15 = 0, 3*k - 21 = 5*z. Is 5 a factor of w(z)?
True
Let v be ((-4)/(-4))/((-1)/(-3)). Suppose 0 = -4*z + 16, -v*j - 2*j = -z - 46. Does 33 divide 35/j*4/7 - -97?
True
Let y = -218 - -244. Let c = -5 + y. Is c a multiple of 14?
False
Is 19 a factor of (-2)/(-12) - 2/((-37)/(10866789/108))?
False
Let k be (-1)/(-5) + ((-21)/(-15))/(-7). Is 13 a factor of 39888/51 + k + 6/(-51)?
False
Does 14 divide (-4)/14 + (-4)/(-14) - 132464/(-136)?
False
Let f(x) = 768*x + 1092. Does 159 divide f(11)?
True
Let b = -111 - -299. Let y = -182 + b. Is y a multiple of 6?
True
Suppose 0 = -y + 4*l + 8, -5*y = 5*l - 2*l - 17. Suppose r = -3*r - y*o + 672, -5*r + 3*o = -824. Let u = r + -108. Is 3 a factor of u?
False
Let g(f) = -16*f + 47. Suppose z + 0*z - 9 = 3*i, 3*z + 9 = -3*i. Is 4 a factor of g(i)