 5 a factor of q?
False
Suppose 162 = 4*h + 5*h. Let r be (-4)/((-48)/h)*16/(-3). Is r - -7 - ((-4)/2 - 155) a multiple of 26?
True
Suppose 5*j - 10 = -0*j. Is -11*j*18/(-12) a multiple of 11?
True
Let y(j) = 126*j**3 + 2*j - 1. Let o = 61 - 57. Suppose -o*f = -4*v + 8, 4*f + 2*v = 3*v + 1. Does 13 divide y(f)?
False
Suppose 96*v - 101*v + 15 = 0. Suppose -2*q - 2*u = -44, -3*u = -v*q - u + 76. Is 27 a factor of (-2590)/(-12) - (-4)/q?
True
Suppose -18 + 6 = 4*i. Is 3 a factor of ((-7)/i)/((-17)/(-612))?
True
Let k be (-1)/(-2 - 303/(-153)). Let x = 80 - k. Suppose 0 = -3*v + x + 85. Is 19 a factor of v?
True
Is ((-39)/15 + 3)/((-13)/(-18330)) a multiple of 6?
True
Suppose 14*u + 6 = 17*u. Let r be 1510/(-12) - u/12. Let v = -73 - r. Is v a multiple of 24?
False
Let f(w) = -w - 38. Suppose 3*y - 35 = 3*t - 11, 0 = 2*t - 3*y + 14. Let l be f(t). Let a = l - -42. Is 7 a factor of a?
True
Let b(q) = q - 6. Let c(x) = 48*x + 107. Let a(r) = -4*b(r) - c(r). Is a(-20) a multiple of 33?
True
Let d(c) = -c**3 + c**2 + c + 6. Let s be d(0). Let p(w) = -2 - 5 - 2*w**2 + 4*w**2 - 4*w + s*w. Is 35 a factor of p(7)?
True
Suppose 3*t + 12 = 0, 18 + 53 = -3*l + t. Let j = l + 137. Does 14 divide j?
True
Let r(o) = o**3 + o**2 - o - 1. Let v(c) = -2*c**3 - 17*c**2 + 30*c + 4. Let i(j) = -3*r(j) - v(j). Let q be i(12). Let y = 97 + q. Is 10 a factor of y?
True
Let l be -1*3*464/(-24). Suppose -17 - 5 = 2*m - 2*o, 3*m - o = -39. Let u = l + m. Does 11 divide u?
True
Let s(i) = 256*i + 10532. Does 95 divide s(88)?
True
Suppose -4*a = -4*m + 592, 4*m - a = 347 + 233. Suppose s - 5*s = -m. Is 18 a factor of s?
True
Suppose 0 = 9*f - 2*f - 455. Let s = 87 - f. Suppose -g + 101 = -s. Is g a multiple of 9?
False
Is (167508/658)/((-1)/(-7)) a multiple of 3?
True
Let z(g) = -g**2 - 4*g - 1. Let c(f) = -f**2 + f - 1. Let x(w) = -4*c(w) + 2*z(w). Is x(-9) a multiple of 17?
True
Let s(g) = 11*g + 18. Let q = 238 + -232. Is s(q) a multiple of 14?
True
Suppose 2*n - 35*a + 32*a - 355 = 0, 5*n - 2*a = 893. Does 3 divide n?
False
Is 8 a factor of (-1540)/660 - (-679)/3?
True
Let f(k) = -13*k - 375. Let t be f(-29). Is 52 a factor of (-9)/(t/(-6)*(-102)/(-2108))?
False
Let i(s) = -s**3 - 35*s**2 - 68*s - 256. Does 30 divide i(-34)?
True
Let c = -1047 + 6252. Does 8 divide c?
False
Let o(z) = -8*z**2 + z - 2. Let n be o(1). Let p(m) = -m - 5. Let r be p(1). Does 14 divide r/n*(-8)/(16/(-462))?
True
Let v = 4 + 4. Suppose -11*l + v = -9*l. Let f(b) = 4*b**2. Is 5 a factor of f(l)?
False
Let s = -82 - -131. Let r = s + -61. Is (15/r)/(5/(1920/(-3))) a multiple of 10?
True
Let r = 425 - 431. Let a(c) = -c - 1. Let o(s) = 5*s - 20. Let d(h) = 5*a(h) - o(h). Is d(r) a multiple of 15?
True
Let r(c) = -c**2 - 2*c - 7. Let v be r(0). Let l = v - -11. Suppose 258 = k + l*g, -g = -4*k + 2*g + 975. Is 17 a factor of k?
False
Suppose 2*t - 2*i = -26 - 12, 0 = -i. Let c = 40 + t. Let r(y) = -y**3 + 22*y**2 - 17*y + 36. Does 15 divide r(c)?
True
Suppose 5*u - 72 = 3*i - 22, 0 = -4*u + 3*i + 43. Does 118 divide 57615/35 + (-1)/u?
False
Let b(w) = w**2 + 14*w + 15. Let n be b(-1). Suppose 2*s + 3*u = 323, -2*u + 17 = -n*s + 325. Is 14 a factor of s?
False
Suppose -3*s = 28 - 25. Let p be s*(12/(-9))/(2/3). Suppose z - 3*b = 3, -4*z + p*b + 80 = z. Is 4 a factor of z?
False
Let s be (4*(-12)/64)/(3/(-3672)). Suppose a - s = -a. Is 33 a factor of a?
False
Let w be 19/76 - 29/4. Let q(m) = -m**3 - 7*m**2 - 2*m + 5. Let l be q(w). Let r(p) = 7*p + 2. Is 27 a factor of r(l)?
True
Let c be ((-5)/((-50)/(-16)))/((-4)/10). Suppose -4*t = c*l - 544, l + 4*t = -2*l + 410. Does 20 divide l?
False
Let u = 9545 + -5405. Suppose -u = -4*n - n. Does 10 divide n?
False
Suppose -65 = 3*j - 311. Let p be (-11)/((-33)/168) - 0. Let t = j - p. Is 2 a factor of t?
True
Let l(x) = -x - 4. Let z be l(-7). Suppose -6*c = -c. Suppose z*t + 8*t - 88 = c. Is t a multiple of 4?
True
Let s(f) = 14*f - 7. Let i(a) = 41*a - 21. Let m(n) = -3*i(n) + 8*s(n). Let z(c) = 2*c + 1. Let l be z(-2). Is m(l) a multiple of 20?
True
Let j(a) = 7*a**2 - 30*a + 174. Let f be j(5). Let t = -54 + 106. Suppose f = 3*c + t. Does 14 divide c?
False
Suppose -49*p + 409967 = -298573. Does 12 divide p?
True
Let s = -50 - 72. Let w = 90 - s. Suppose 4*r - 2*i = -r + w, 0 = -3*r - 5*i + 121. Does 14 divide r?
True
Let h = 4644 + 2482. Does 14 divide h?
True
Suppose -3*t + 0*r = r - 19, 2*t - 2 = 2*r. Suppose -2490 - 13174 = -44*c. Suppose 4*k + c = 3*q, 4*k - 59 = t*q - 663. Does 13 divide q?
False
Let w(h) = 2*h**3 + 74*h**2 - h + 49. Let n be (-111)/(-2)*7/21*-2. Is w(n) a multiple of 5?
False
Let m = 4399 - 2656. Does 21 divide m?
True
Does 40 divide (-514608)/(-604) + (-2 - (-1 - -1))?
False
Suppose 0 = -5*n - 3*y + 2997, 3*n - 2783 + 982 = y. Does 15 divide (n/(-80))/(2/(-24))?
True
Let p(q) = 105*q**2 + 197*q + 1888. Is 127 a factor of p(-10)?
False
Let s(w) = 4 + 5*w**2 + 0*w + 6 + 11*w. Let n = 16 + -20. Is s(n) a multiple of 23?
True
Let i(s) = 60*s + 49*s + s**2 + 60*s - 155*s - 93. Is i(9) a multiple of 21?
False
Let v = 81 + 2. Let c = v + -75. Suppose c*w = 624 + 8. Is 13 a factor of w?
False
Let s = 411 - 411. Does 37 divide (13 - (7 + s)) + (1043 - 2)?
False
Suppose 5*w - 3*q + 52 = 0, -3 = -3*w - 4*q - 11. Let l(o) = -o**3 - 10*o**2 + 6*o - 2. Let i be l(w). Does 3 divide (6 - (-64)/(-12)) + i/(-3)?
True
Let p(s) = 27*s**2 + 8*s + 30. Suppose -17 + 2 = 3*j. Let b be p(j). Is -1 + 2 + (b/7 - 6) a multiple of 16?
False
Suppose -4*i + 37416 = 2*z, 9326 = 16*i - 15*i + 4*z. Is i a multiple of 28?
False
Let y = 1597 - 334. Suppose y = m + 318. Is 24 a factor of m?
False
Suppose 5*x - 6 = 7*x. Let r(j) = -17*j**3 + 3*j**2 + 11*j + 14. Is 18 a factor of r(x)?
False
Let y(x) = 73*x**2 - 236*x - 8. Is 37 a factor of y(6)?
False
Suppose h + 1 - 2 = 0. Let x(o) = 1 + 13*o**2 - o**3 - 2*o**2 - h + 4 + 14*o. Is x(12) a multiple of 28?
True
Suppose -7*t + 26 + 2 = 0. Let s(i) = -2*i**2 + 11*i - 5. Let n be s(t). Is (n/(-3))/(3/(-54)) a multiple of 6?
True
Let f = 47 - 32. Suppose 5*m + 4*i + 0 = 19, m - 2*i = f. Suppose -s - 4*p = -15, -4*s + m*p + 120 = 11*p. Is s a multiple of 17?
False
Let t = -18 + 320. Suppose 0 = 3*h - t - 178. Is h a multiple of 8?
True
Let d(b) = b**2 - 25*b + 6. Let l(j) = 2*j**2 - 51*j + 12. Let u(t) = -5*d(t) + 3*l(t). Is 26 a factor of u(34)?
False
Suppose 2*c + k - 3396 = 0, 3*c - k - 6911 = -1817. Suppose -c = -19*o + 3375. Does 20 divide o?
False
Suppose 167*g - 30*g - 1958278 = 0. Is g a multiple of 10?
False
Let x = -95 - 15. Let o be 189 - (30/((-5)/1) + 4). Let a = x + o. Is 16 a factor of a?
False
Suppose -1652714 + 589480 = -94*o. Is 44 a factor of o?
False
Let g(x) = -184*x + 26. Let b(p) = 57*p - 9. Let m(c) = -19*b(c) - 6*g(c). Let i = 8 + -3. Does 7 divide m(i)?
False
Suppose 0 = v + 59 + 463. Let c = 304 + v. Let x = c + 365. Is x a multiple of 21?
True
Let d(y) = -199*y + 2576. Does 33 divide d(-31)?
True
Let o be (-4*(-9)/36)/(0 + 1). Let z(a) = 48*a - 7. Is 18 a factor of z(o)?
False
Let p = -1072 + 2806. Let c(q) = q**3 + q**2 - q - 3. Let z be c(7). Suppose z = -8*v + p. Does 32 divide v?
False
Let w(t) = -2*t**2 - 4*t - 4. Let i be w(-4). Let s be (-2)/5 - 3368/i. Let k = s + -42. Is 14 a factor of k?
True
Let m(p) = 15*p**2 - 15*p + 11. Suppose -3*n + 9 = -5*q, -2*n + 5*q + 17 = 2*n. Is 23 a factor of m(n)?
True
Let a(o) = -3*o**3 - o**2 - o - 1. Suppose -11*t + 5*t - 18 = 0. Let z be a(t). Suppose -446 = -4*d - z. Does 23 divide d?
False
Suppose 4*f + 80*f - 21763 = 72989. Is 3 a factor of f?
True
Let c = -51 - -53. Is 5 + 190 - (c - -1) a multiple of 48?
True
Let v(o) = -o**2 + 3*o + 33. Let x be v(10). Let y = x + 137. Is y a multiple of 8?
False
Let h = -77 - -77. Suppose h = -5*r + 674 - 164. Let i = 114 - r. Is i a multiple of 2?
True
Let i(d) = 4*d + 3. Let r be i(0). Is 14 a factor of (1 + r/(-9))*168?
True
Suppose 3*l - 241 = 2*k + 225, 5*l - 2*k = 770. Let n = 492 + -544. Let s = l + n. Is 25 a factor of s?
True
Let x(o) = -95*o + 65 + 274*o - 140*o - 159*o. Does 99 divide x(-9)?
False
Suppose -29*a = -20*a - 1008. Let q = -60 + a. Suppose -4*n + 5*j = q - 382, j + 168 = 2*n. Is 5 a factor of n?
True
Suppose q - 3*v = -7, 4*v + 2 = q + 13. Suppose -3*n + 26 = -5*y, 2*y + 50 = n + 