)?
False
Suppose 9*q = 6*q + 33. Let o(h) = -h**3 + 12*h**2 + 5*h - 41. Is o(q) a multiple of 9?
True
Let v be 5/4 + -2 - 223/(-4). Let a = v - 53. Suppose a*l = -5*l + 490. Does 26 divide l?
False
Let d(c) = -2*c - 18. Let o be d(-14). Suppose -2*y + x = 8, 3*x = o + 2. Is 4 a factor of 1836/30 - y/(-10)?
False
Let a be 1 - (-26)/(-22) - (-234)/(-286). Let u(w) = 43*w**2 - 10*w + 1. Is 52 a factor of u(a)?
False
Suppose -22*w + 255 = -2429. Let r = 366 - w. Is 24 a factor of r?
False
Let k(v) = v**3 - 6*v**2 + 7*v + 9. Let u be k(4). Suppose -q - 1344 = -u*q. Is 12 a factor of q?
True
Let s = -492 + 777. Suppose 1545 = 3*z + s. Does 15 divide z?
True
Let l = -446 - -622. Suppose 4*f - x = 1452, -x - l = 5*f - 1991. Is 7 a factor of f?
False
Suppose 2793*h - 2795*h = -15764. Is 14 a factor of h?
True
Let j(m) = 5*m - 25. Let v be j(5). Suppose v*s + 25 = 5*s - 4*i, 2*s = -i + 10. Suppose -s*d - 2*q + 953 = 0, -d - 2*d + 551 = -4*q. Is d a multiple of 31?
False
Let f(j) be the second derivative of -7*j**3/2 - 63*j**2/2 + 9*j. Let i(s) = 7*s + 21. Let z(y) = 2*f(y) + 7*i(y). Is z(7) a multiple of 35?
True
Suppose -270 = -37*i + 42*i. Let r = i - -59. Suppose 4*h + r = l - 18, -5*l = -3*h - 132. Is l a multiple of 3?
True
Suppose -3*r - b = -47922 - 14714, 83532 = 4*r - 3*b. Is r a multiple of 36?
True
Suppose 8*c - 7800 = 6*c - 10*c. Does 25 divide c?
True
Suppose q = -2*i + 3*i - 191, q + 755 = 4*i. Let s = 273 - i. Does 15 divide s?
False
Let g(u) = 879 - 6*u - 452 - 448. Let o(w) = 3*w - 5. Let i be o(-4). Does 9 divide g(i)?
True
Suppose -2*b = 3*f - 2305, -f - 1554 = -3*f + 3*b. Is f a multiple of 103?
False
Let m(b) = 2*b**3 + 102*b**2 + 182*b + 62. Is 34 a factor of m(-47)?
True
Let y(w) = 6*w - 1. Let a be y(1). Let b be 14 + -15 + 3/1. Suppose b*s = -10, 5*v - 401 = a*s + 499. Does 25 divide v?
True
Let s(o) = -3*o + 11. Let m be (-169)/13*2/2. Let w be s(m). Let g = -13 + w. Is g a multiple of 5?
False
Let i(s) = -53*s - 278. Let z be i(-18). Let d = z + -460. Is 33 a factor of d?
False
Let a(d) = -15*d**3 + 13*d**2 + 34*d + 157. Is a(-6) a multiple of 8?
False
Let f(m) = 2*m**3 - 5*m + 1. Suppose -3*r - 6 = 0, r + 11 = 5*i + 3*r. Let z = 5 - i. Does 2 divide f(z)?
False
Let h(t) = 4*t**2 - 3*t - 3. Suppose -9*o = 18*o + 81. Is h(o) a multiple of 21?
True
Let r be (20/4 + 1)/((-4)/102). Is (-70788)/r - 4/6 a multiple of 23?
False
Let d = 1831 - -1086. Does 7 divide d?
False
Let r be -130 - 8/(-6)*18/12. Let l be (r/12)/(-8) + 33/9. Suppose 0 = -3*k + l*z + 89, -3*z + 7*z - 172 = -4*k. Does 8 divide k?
False
Let k(m) = 4*m**3 + 61 - 49*m - 1 + 24*m + 6*m**2. Is k(6) a multiple of 9?
True
Suppose 5*g = 4*x + 2481, 3*g + 4*x - 1313 = 182. Does 14 divide g?
False
Let g = -50051 - -95626. Is 23 a factor of g?
False
Is 9 a factor of (-31689)/14*(-90)/27?
False
Let w be 12/420*115 + (-4)/14. Suppose -6*y + 5*y + 493 = -w*p, 2*y = -4*p + 956. Is y a multiple of 11?
True
Suppose -11*n = 18 - 51. Suppose n*p + 3 = -6. Is (p - -103)*2/(4/2) a multiple of 25?
True
Let p(l) = -l**2 + 6*l. Let t be p(0). Let d be t - 1 - 2 - (-38 + -345). Suppose 1610 - d = 6*q. Does 29 divide q?
False
Let s = 678 + -104. Let m = -204 + s. Does 15 divide m?
False
Let m = -54 - -60. Suppose 3*j - q = m, 10 = 5*j + 2*q + 2*q. Suppose -j*o = -5*b + o + 694, 5*b + 5*o = 710. Is b a multiple of 20?
True
Does 9 divide (364/(-6))/((-4)/(-27))*-6?
True
Let x(f) = 9*f**2 + 11*f + 58. Let w be x(-6). Suppose -2*n + 967 = 3*i + w, -445 = -2*i - 5*n. Does 62 divide i?
False
Let g(d) = -58*d**2 - 4*d - 3. Let k be g(-2). Let l = 365 - k. Suppose 8*s - l = -0*s. Is 18 a factor of s?
False
Let n = 93 + -89. Suppose 4*c + n*c = 3640. Is 7 a factor of c?
True
Let j(a) = -135 + 132 + 6*a + 9*a**2 - 7*a. Let h be (-6)/(-15) + (-24)/10. Does 6 divide j(h)?
False
Let g = 36 - 34. Suppose -8*u = -g*u - 1110. Does 19 divide u?
False
Suppose 0 = -76*k + 80*k + 4. Let r be 28/2 - (3 - (-1 - k)). Is 12 a factor of (-2)/11 - (-2169)/r?
False
Let t = -2053 - -2989. Suppose p = -7*p + t. Is p a multiple of 13?
True
Suppose -3*q = 3*c - 78, 2*q - 2*c - 44 = -0*q. Suppose 19*j - q*j = -1975. Does 6 divide j?
False
Suppose -4*b - 5*u + 130 = 0, b - 62 = -b - 4*u. Suppose -1820 = 30*f - b*f. Is f a multiple of 16?
False
Suppose 3*z - 172 = -0*z + 2*w, 0 = z - 3*w - 55. Let q = -56 + z. Suppose q*n = -0*y + 4*y + 108, -2*y - 8 = 0. Is n a multiple of 23?
True
Let o(p) = 6*p**2 - 41*p + 78. Is o(10) a multiple of 3?
False
Let r = -13261 + 37356. Is r a multiple of 181?
False
Suppose 2868 = f - 54*k + 50*k, 0 = 4*f + 5*k - 11409. Is 14 a factor of f?
True
Does 43 divide (-725)/58*2136/(-10)?
False
Let r(k) = k**2 + 2*k + 2. Let a be r(0). Let b(o) = -o**3 + a*o**3 + 10*o**2 + 14 - 16*o**2 - 9*o**2. Is b(15) a multiple of 8?
False
Is 27 a factor of 0 + (-3)/15 + (-442552)/110*-1?
True
Suppose 3*c - 5*w = -4*w + 1235, -4 = -w. Let x = c - 189. Is 32 a factor of x?
True
Is 280/(-100)*-39 + (-8)/(-10) a multiple of 10?
True
Let f(c) = 91*c**2 + 6*c - 12. Suppose 0 = -b - 133 + 136. Is f(b) a multiple of 15?
True
Let l be -13*(4 - (-35)/(-10))*-2. Suppose 0 = l*a - 144 - 168. Is a a multiple of 12?
True
Suppose -431*p + 428*p + 155804 = -o, 3*o = -5*p + 259650. Does 31 divide p?
False
Suppose -28*n - 51 = -31*n. Let x(k) = 15*k - 129. Is x(n) even?
True
Suppose 8*z - 6*r = 5*z + 15870, -4*r + 21088 = 4*z. Does 26 divide z?
True
Does 10 divide (10/20)/((-8)/(667568/(-11)))?
False
Suppose 5*d = -6305 + 780. Let i = d - -2165. Suppose 13*v - 422 = i. Is 32 a factor of v?
False
Let k(h) = h**2 + 6*h + 5. Let m be k(-4). Let o be -12 + (-2*3)/m. Does 24 divide 6/o + 6944/40?
False
Let p(v) be the first derivative of 3*v**2/2 - 4*v - 5. Let k be p(3). Suppose -4*n + k*d + 273 = -0*n, d - 3 = 0. Is n a multiple of 10?
False
Let d = 1 - 0. Let n be d/(((-12)/54)/(8/(-6))). Is 5 a factor of 0 - -45 - n/2?
False
Let l(n) = 11*n**2 - 9. Let f(s) = 5*s**2 - 5. Let j(x) = 7*f(x) - 3*l(x). Let y be j(-9). Suppose -2*b - y = -4*b. Is 11 a factor of b?
True
Let u(c) = -3*c**3 - 12*c**2 - 5*c + 10. Let g(v) = 4*v**3 + 11*v**2 + 4*v - 8. Let k(j) = -2*g(j) - 3*u(j). Does 35 divide k(-7)?
True
Let z(i) = -3*i**3 + i - 6. Suppose -6 = -2*k + 5*p - 3*p, -k + 2*p = -3. Let b be z(k). Let x = -28 - b. Does 14 divide x?
True
Let f(l) = 660*l**2 + 401*l - 2786. Is 80 a factor of f(7)?
False
Let d be (2 + 20/(-16))*16 + 4. Suppose d*y + 0*y = 384. Does 15 divide y?
False
Suppose -2*k = 37*k + 21*k - 259560. Is 14 a factor of k?
True
Suppose 5*t - 56574 = -161*h + 157*h, 3*t - 28290 = -2*h. Is 12 a factor of h?
True
Is 14 a factor of (4 + -3 - 2)*(-195776)/32?
True
Does 4 divide ((-12)/(-5))/((-3)/4 + 33939/45180)?
True
Suppose 3*o + x - 458 = 0, -5*o + 481 = 4*x - 273. Suppose 0 = -2*b - 9*b - o. Does 22 divide ((-1)/(1/29))/(b/14)?
False
Suppose 29*n = o + 27*n - 3262, -3*n - 9768 = -3*o. Does 65 divide o?
True
Does 2 divide (-2)/(2 + 0) - 37/(-111)*1863?
True
Suppose 0 = -347*t + 329*t + 444060. Is t a multiple of 13?
False
Suppose y - 5*a = 33811, -a + 49755 = 2*y - 17922. Does 39 divide y?
False
Let m(x) = 7*x - 10 + 2*x**2 + 2*x**2 + 5*x**2 + x**3. Suppose -13 = 3*c - 13*l + 11*l, 3*c = 5*l - 1. Is 2 a factor of m(c)?
False
Let s(m) = -48*m**3 - 7*m**2 - 14*m + 2. Does 31 divide s(-4)?
False
Let d(a) = -146*a + 1. Let c(k) = -k**3 + 9*k**2 + k - 6. Let w be c(9). Let f be d(w). Let m = f + 633. Does 28 divide m?
True
Suppose 8*s + 9 = 41. Suppose 0*a = -a - s, -k + 5*a = 53. Let h = 160 + k. Does 29 divide h?
True
Suppose 5*j = -4*r + 42013, -r = j - 4521 - 5984. Is 18 a factor of r?
True
Suppose -33 - 7 = -8*o. Suppose 2*b = -o*p + 60 + 6, -31 = -b - 2*p. Suppose -a + 2*a + b = 4*g, -4*g - a + 33 = 0. Is 7 a factor of g?
True
Is 15 a factor of 0 - (31085/(-25) + (-10)/(-25) - 2)?
True
Let y be 3549/28 + 1 - 1/(-4). Let g = y - -16. Is g a multiple of 12?
True
Does 31 divide 25/(550/594) + 16031?
True
Let b = 17 + -17. Let i(h) = h + b*h + 4*h + 8 + 0*h. Does 6 divide i(2)?
True
Let x = -84 + 84. Suppose x = 8*y - 5199 + 1615. Is y a multiple of 9?
False
Suppose 3*f + 4*n = 311, 3*n + 194 = 2*f - n. Let p = f + -93. Let i(u) = 14*u - 25. Is i(p) a multiple of 11?
False
Let k = 4191 - -27114. Does 21 divide k?
False
Let r(