-23 - -25)?
True
Suppose 5*u + 5*i = 10*i - 209315, -209311 = 5*u - i. Does 76 divide ((-45)/(-39))/(-15) - u/26?
False
Let l = 8 + -6. Suppose l*o + 0*o = -32. Let m = 46 + o. Is m a multiple of 6?
True
Is ((-666)/(-37))/((-3)/(-396)) a multiple of 54?
True
Suppose 3*p + 29 + 50 = -2*d, -5*p = d + 43. Let c = -36 - d. Suppose -3*a = -4*t - 320, -c*t = 4*a - 3*t - 431. Is a a multiple of 36?
True
Let s = 68 + -257. Let g = s - -230. Does 2 divide g?
False
Let y(x) = x**3 - 16*x**2 + 6*x - 123. Let l be y(18). Let n = -363 + l. Is 9 a factor of n?
True
Let c be 7/14 + 860/(-8). Let s = -77 - c. Does 5 divide s?
True
Let o(a) = -a**3 - 9*a**2 - 16*a + 12. Let f be o(-6). Suppose 11*h + 572 - 6941 = f. Is 34 a factor of h?
False
Suppose 0 = d + 5*w - 63, 4*d - 5*w - 279 = 23. Suppose -d = 5*p - 1713. Suppose -400 = -8*z + p. Is 30 a factor of z?
False
Let f(p) = 34*p + 20. Let m be f(7). Suppose -50*c - m = -56*c. Does 31 divide c?
False
Suppose -2*u + 0*u - 10 = -2*n, -4*u = -3*n + 19. Let s be (u - 35/(-14)) + (-10)/4. Let z(k) = -3*k + 18. Is 10 a factor of z(s)?
True
Suppose -4*i = -12, i - 1145 + 254 = -q. Does 8 divide q?
True
Let s(c) = 2*c**2 + 30*c - 50. Let w = -106 + 89. Does 10 divide s(w)?
False
Let s = -113 + 94. Does 2 divide (-18)/24*(s - 1)*1?
False
Let g(l) = -3*l + 39. Let o = 2 - -10. Let i be g(o). Suppose 1800 = -i*x + 13*x. Is 24 a factor of x?
False
Let c(w) = -23*w + 147. Let h be c(6). Suppose -5*n = 3*g - 289, -4*n = -h + 25. Is g a multiple of 15?
False
Let j(i) = 4*i**2 - 50*i - 1799. Does 217 divide j(100)?
True
Let z be 510/40*64/12. Let d = 95 - z. Is 12 a factor of d?
False
Let b(d) = -d**3 - 5*d**2 + 3*d - 18. Let u(a) = -a**2 + a. Let k(m) = b(m) - 6*u(m). Let s be k(0). Let j = 46 + s. Is 14 a factor of j?
True
Let z = -9 - -10. Let u be (0 - -3)*z/(-3)*2. Does 17 divide (8/u)/(-4) + 65?
False
Suppose -1971 = -5*b + 1204. Suppose 0 = a - 4*f - 650, 0 = -a - 2*f + 3*f + b. Is a a multiple of 15?
True
Suppose -8*d + 92308 = -66612. Is d a multiple of 25?
False
Let n = 1294 - 1912. Let l = n + 1187. Is 9 a factor of l?
False
Let x = 49 - 44. Suppose 4*h - 20 = -4*t, -h + 0 = x. Let y = t + 33. Is y a multiple of 16?
False
Let g = 214 - -10. Suppose 2*q - 373 + 93 = -5*j, 4*j + 3*q = g. Suppose -3*a + j = k - 6*k, -2*a + 34 = -4*k. Is 4 a factor of a?
False
Is (50/(-15))/(9 + (-5598)/1863 + -6) a multiple of 23?
True
Let d(h) be the third derivative of 7*h**4/12 - 9*h**3/2 - 12*h**2 - 6*h. Is 2 a factor of d(9)?
False
Let h = -685 + 690. Suppose -5*y + 510 = 5*x, -3*x - 249 = -h*y + 261. Does 15 divide y?
False
Let h(f) = 8*f**2 - 7*f - 41. Let n be h(7). Let d = n - 220. Does 36 divide d?
False
Suppose -53*n + 57*n - 860 = -4*i, -i + 200 = -2*n. Let d = -2 - -2. Suppose -3*m = -d*m - i. Is m a multiple of 14?
True
Let k(h) = 3*h**3 + 3*h**2 - 47*h + 413. Does 7 divide k(14)?
True
Let i(f) = 8*f**2 - 2*f - 3. Let v be i(3). Suppose 2*a + 27 - 57 = 0. Suppose -o = z - v + a, z = 0. Does 16 divide o?
True
Suppose -382 = -5*q - 2*w + 943, 1320 = 5*q + w. Let b = -51 + q. Is b a multiple of 14?
False
Let d(s) = -s + 10. Let n(x) = 2*x. Let b be n(3). Let k be d(b). Suppose 5*t - 3*y - 428 = 0, -3*t - k*y + 8*y = -248. Does 11 divide t?
True
Let r(m) be the third derivative of m**5/30 + 5*m**4/12 + 2*m**3 - m**2 + 1. Does 2 divide r(-6)?
True
Is 81 a factor of 10947/9 + 224/(-168)?
True
Let k(v) = v**3 - v**2 + 3. Let z be k(4). Is 51 a factor of z*1/(((-18)/16)/(-9))?
True
Let a be 2/(-4)*(-8)/4. Is 16 a factor of ((-5)/(-10))/(a/266 - 0)?
False
Suppose 66*y + 52683 = 67*y - d, 3*d = 15. Does 89 divide y?
True
Let d(i) = -233*i - 50. Let t be d(-6). Suppose -4*g - c + 1848 - 506 = 0, t = 4*g - 2*c. Does 13 divide g?
False
Suppose 9*s = -607 - 725. Let w = s - -256. Does 18 divide w?
True
Let q be 82 - 1 - 0/14. Is 9 a factor of (-1 + (-101)/2)/(q/(-162))?
False
Let a = 9811 + -6409. Is a a multiple of 21?
True
Let u(o) = 478*o**2 + 43*o + 205. Is u(-5) a multiple of 52?
False
Let b(g) = g**2 - 5*g + 2. Let a(t) = t - 13. Let n be a(17). Let l be b(n). Does 33 divide (l + (-274)/(-5))*(28 - 23)?
True
Let u = -190 + 157. Does 13 divide (-226)/(-1) - (38 + u)?
True
Suppose 8*i = -9*i + 3009. Let z = 194 - i. Is 4 a factor of z?
False
Suppose 0 = 27*j - 25*j + 8. Let v(y) = 11*y + 19. Let p be v(j). Let z = 81 + p. Is z a multiple of 28?
True
Let q(n) = -2*n**3 - n**2 + n + 18. Let k(t) = -t**3 + 9. Let v(x) = 5*k(x) - 2*q(x). Let d = -12 - -8. Is v(d) a multiple of 25?
False
Let m(z) = -53 + 12*z + 3*z**2 + 12 - 3*z. Is 11 a factor of m(6)?
True
Suppose 0 = 3*n - 5*s - 23, 4*n = 4*s + s + 29. Let j be (4/n)/(1/(-603)*-6). Suppose -2*w + j = -89. Is 39 a factor of w?
True
Suppose 32 = 4*g + 2*j, -2*g = 5*j - 37 + 13. Let a be (15/(-4))/(18/(-240)). Suppose -9*x = -g*x - a. Is 8 a factor of x?
False
Suppose z = 3*g + 13673, 0 = 8*z - 11*z - g + 41089. Is z a multiple of 48?
False
Let w = 77 - 63. Suppose w*x - 18 = 12*x. Suppose x*f - 1346 + 293 = 0. Does 22 divide f?
False
Let i = -24263 - -28180. Is i a multiple of 4?
False
Let l(p) = -8*p + 33. Let k be l(-6). Let m = -79 + k. Suppose q - 256 = 4*s, 144 + 373 = m*q - 3*s. Is q a multiple of 13?
True
Suppose 0 = 2*r + 4, -2*r + 476 = -2*y + 1662. Suppose -4*l + 3939 = y. Is l a multiple of 31?
True
Is ((-4)/(-6))/((391/(-297432))/(-23)) a multiple of 36?
True
Let g = 102 - 97. Is 273 - (-4 + g + 1) a multiple of 23?
False
Let q(n) = n**2 - 2*n + 1. Let h(t) = -2*t**2 + 8*t + 3. Let u(d) = h(d) + 4*q(d). Does 2 divide u(8)?
False
Let w = 15786 - 9231. Is 95 a factor of w?
True
Suppose p - 5*j - 10 - 1 = 0, -5*j = -5*p - 5. Let d be 0*(0 + 2 + p - -1). Suppose d*b = 2*b + 3*c - 63, -c = -4*b + 147. Does 7 divide b?
False
Let z(q) = 24 - 17*q + 55 + 50. Is z(-9) a multiple of 14?
False
Suppose -3*q + 28 = 16. Suppose i = -q*x - 6 + 185, -5*i - 2*x = -877. Does 55 divide (-22)/(4/14 - 120/i)?
True
Suppose 15 = 5*i - r, -3*i - 2*i - 15 = 5*r. Suppose x - 693 = -i*x. Does 7 divide x?
True
Let p be 0 - 9866/(-5) - (-20)/(-100). Suppose -458 = 5*m - p. Does 36 divide m?
False
Suppose 5*b - 141 = -2*s + 362, 0 = -4*s + 4*b + 1076. Does 33 divide (-2 - -9)*s/14?
True
Let i(o) = -o**2 + 80*o + 69. Is 4 a factor of i(63)?
True
Let p be 12/10*220/66. Let f(t) = 293*t + 88. Does 63 divide f(p)?
True
Let k = 9719 - 6204. Does 19 divide k?
True
Let d be (-7)/(-7)*(-40)/4. Let o(t) = -3*t**3 + 11*t**2 + 4*t**3 + 7*t - 4 - 3 + 4. Does 9 divide o(d)?
True
Suppose 82*n + 7700 = 107*n. Is 91 a factor of n?
False
Let g(z) = -3*z - 30. Let w be g(-18). Suppose 5*k - w + 24 = 0. Suppose k = -7*m + 10*m - 252. Does 12 divide m?
True
Suppose -3*r = -3*z - 2*r + 42, -5*r + 45 = 2*z. Is (66/z*-37)/(18/(-90)) a multiple of 22?
True
Suppose 17 = 3*j + 5*l, -35 = -5*j - 5*l - 20. Let k be (-1)/((-2)/(-18))*1. Is 22 a factor of (123/9)/((1/k)/j)?
False
Is 25 a factor of (50/(6400/(-1728)))/(0 - (-2)/(-1832))?
False
Let s = 35070 + -20692. Does 30 divide s?
False
Let l be (-3)/(-9)*(2 + -14). Let f(b) = 5*b**2 - 16*b - 49. Let k(w) = 11*w**2 - 33*w - 99. Let o(d) = l*k(d) + 9*f(d). Is o(-9) a multiple of 32?
False
Let l(v) = 5*v**3 - v**2 - v - 1. Let k be l(-1). Let n(p) = p**3 + 13*p**2 - 3*p + 2. Let q be n(k). Let z = q - 191. Does 27 divide z?
True
Suppose 211*z + 1698450 = 261*z. Is z a multiple of 52?
False
Let j(i) = i**3 - 8*i**2 + i + 9. Let x(t) = t**2 + t. Let b(s) = -3*s**2 + 8*s + 8. Let p(z) = b(z) + 2*x(z). Let g be p(10). Is 17 a factor of j(g)?
True
Let s(h) = 16*h**3 + h**2 - 4. Let p be s(2). Is 16 a factor of p/(((-24)/252)/((-1)/3))?
True
Let c(h) = 2*h**3 - 18*h + 128. Let s be c(9). Suppose 0 = 15*p + s - 6704. Is p a multiple of 22?
True
Let y(o) = -7214*o - 1773. Is 111 a factor of y(-3)?
True
Let m(z) = 3*z**3 + 33*z - 57. Does 16 divide m(8)?
False
Let x = -1032 - -6908. Is x a multiple of 113?
True
Let t(u) = -105*u - 9. Let r(h) = h**3 - 8*h**2 - 12*h + 23. Let f be r(9). Is 16 a factor of t(f)?
False
Let l(g) = 4*g - 9. Suppose -21 = -9*p + 2*p. Let s be l(p). Let i(k) = 15*k**2 - 13*k + 4. Is 10 a factor of i(s)?
True
Suppose 0 = -v - 3*v - 20, 0 = -5*j - 4*v + 20. Suppose -j*c + 18*c = 840. Is 5 a factor of c?
False
Suppose -5*t - 51*s + 55*s = -140, -4*t = 5*s - 153