of i?
False
Let b = -206 + 276. Does 35 divide b?
True
Let h = 7538 + -5234. Suppose 0 = -7*f - 5*f + h. Is f a multiple of 32?
True
Does 11 divide (-11)/(12/(-30) + (-31)/(-90))?
True
Suppose 5*g = 8 + 7. Let u be 0 - (0 + g) - -20. Suppose -u = -s - 6. Is 11 a factor of s?
True
Does 15 divide -2 + -3 + 2 + -1 + 19?
True
Suppose -23*h + 11834 = -64871. Is h a multiple of 115?
True
Let o(a) = a**3 + 4*a**2 - 6. Let n be o(-4). Let t(g) = -g - 2. Let h be t(n). Suppose 19 = h*k - 45. Is 16 a factor of k?
True
Let c = 599 + -590. Let f(z) = -z**3 - 2*z**2 + 2*z - 1. Let d be f(-4). Let g = d - c. Is 3 a factor of g?
False
Suppose -32 = g + g. Does 8 divide 12/16 - 628/g?
True
Suppose 3*v - 6*v = 15, -3*u - 54 = 3*v. Let z(b) be the third derivative of b**6/120 + 7*b**5/30 + 5*b**4/12 - 5*b**3/6 + 3*b**2. Is z(u) a multiple of 17?
True
Suppose 3*u + 3*j - 6*j - 6 = 0, -j + 4 = 2*u. Let t(b) = 2*b**2 - 14*b - 21. Let w be t(12). Suppose -4*s + s = u*x - w, 36 = x - 3*s. Does 15 divide x?
True
Suppose -36*x - 1998 = -8910. Is 32 a factor of x?
True
Let f = 303 - 17. Does 18 divide f?
False
Suppose -39 = -5*v + 3*s, -v - s + 6*s + 21 = 0. Is ((-40)/(-2))/(3/(v/1)) a multiple of 6?
False
Suppose k = m + 2*k + 19, -53 = 3*m - k. Let r be (4/(-2))/(4/(-58)). Let t = m + r. Is 8 a factor of t?
False
Suppose 0 = -o - 5*o + 192. Let k = 68 - o. Is 3 a factor of k?
True
Let u(v) = -v**3 + 7*v**2 - 6. Let x be (-6)/(-4)*10/(-15). Let a be (1 - x) + 12/3. Is u(a) a multiple of 17?
False
Suppose 3*o - 5*o = -k - 2672, 0 = 4*o - 3*k - 5346. Is o a multiple of 15?
True
Let w(x) = 615*x**2 - x + 2. Is 77 a factor of w(1)?
True
Suppose -7*z = -4*z - 234. Suppose 82*j = z*j + 320. Is j a multiple of 13?
False
Suppose -t - 5*t = 42. Let w(k) be the first derivative of -3*k**2/2 + 9*k - 4. Is w(t) a multiple of 15?
True
Is 82 a factor of (-488 - (9 - 5))/(2 + -3)?
True
Let m(n) be the second derivative of -13*n**3/2 + 5*n**2/2 + n. Is 10 a factor of m(-1)?
False
Let f = -47 - 13. Is 16 a factor of (f/(-70))/((-2)/(-112))?
True
Let s(y) = 173*y + 23. Is 37 a factor of s(5)?
True
Is 3 + (471 - 0) + (-1 - 0) a multiple of 41?
False
Let w(s) = s**2 - 10*s + 1. Let b be w(10). Suppose 5 = 2*p + b. Suppose -57 = -p*k - 2*m + 85, 3*m - 12 = 0. Does 17 divide k?
False
Suppose 4*y - 2*y - 8 = 0. Suppose y*h + 36 - 248 = -4*u, -3*h = u - 49. Does 7 divide u?
False
Let c = 2220 + -554. Is 17 a factor of c?
True
Is 18 a factor of ((-276)/(-30))/(3/180)?
False
Suppose 0 = -4*u - 5*s + 34 + 10, 5*u - 3*s = 18. Suppose 0*d - r = -2*d + 12, d - u = -r. Is 3 a factor of d?
True
Let t be 2 - ((-24)/3)/(-4). Suppose -3*u + 5*u + 4*h - 44 = t, 0 = -4*u - 4*h + 76. Does 2 divide u?
True
Let d(y) = 2*y + 9. Let a be d(-6). Let i be a/(-9) + 28/6. Suppose -165 = -i*q - 25. Does 14 divide q?
True
Let v(w) = w - 8. Let d be v(11). Suppose 158 + 16 = d*c. Is 9 a factor of c?
False
Let w(q) = -q - 39. Let n be w(0). Let s = n + 73. Does 20 divide s?
False
Suppose -3*z - 196 = 2*k, -2*k - 2*k = 20. Let i = -26 - z. Is i a multiple of 18?
True
Let g be 2/6*159 + 0 + -1. Suppose g - 195 = -j. Is j a multiple of 26?
False
Let k(s) = -s**2 + 1439. Does 37 divide k(0)?
False
Suppose -5*h = 0, 2*w - 4*h - h = 26. Let b = w - -79. Is (b/8)/((-2)/(-4)) a multiple of 5?
False
Suppose 11*c - 12*c = 2. Is 9 a factor of (2 - 10/(-6))/(c/(-66))?
False
Suppose -4*o + 503 + 1755 = 5*a, a + 2 = 0. Does 7 divide o?
True
Let u = 13 - -35. Suppose -4*j = -0*j + u. Let b = 34 + j. Is b a multiple of 21?
False
Let l(t) = 79*t**2 - t - 2. Is 19 a factor of l(1)?
True
Suppose 11*j = 142 + 89. Is 5 a factor of j?
False
Let n(z) = 3*z**2 + 2*z - 5. Let d be n(4). Suppose 2*m + 26 = 5*j - 33, -3*j = -4*m - 27. Let w = d + j. Is 17 a factor of w?
False
Let u(p) = p - 9. Let v be u(8). Does 12 divide (v - 5)*-2*(-155)/(-10)?
False
Suppose 0*s = -s. Is 73 + (7 - 4) + s a multiple of 19?
True
Let r = -17 - -29. Suppose r = 3*y + y. Is ((-44)/y)/(1/(-3)) a multiple of 11?
True
Suppose 1160 = 3*h + 5*s, -3*h + 4*s + 304 = -847. Does 12 divide h?
False
Does 8 divide (77/11)/((-2)/(-86))?
False
Let m = -24 + 22. Let b(l) = -4*l - 6. Let p be b(m). Suppose 0*n + p*n = 130. Is n a multiple of 13?
True
Suppose 5*j + d + 0*d - 62 = 0, 44 = 3*j + 4*d. Suppose -r = 4, 2*z - j - 4 = 2*r. Suppose 3*h - 2*v = 222, -z*h - 20 = 2*v - 302. Is h a multiple of 18?
True
Let j = 410 - 20. Is j a multiple of 11?
False
Let u(f) = f**2 + f - 11. Let w(q) = -3*q**2 - 3*q + 33. Let b(s) = 7*u(s) + 2*w(s). Let t be b(11). Let c = t + -73. Does 24 divide c?
True
Suppose 22*d + 6*d - 4480 = 0. Does 2 divide d?
True
Suppose 60 = n + 4*z - 133, 2*n - 3*z = 386. Let u = n - 137. Is 25 a factor of u?
False
Let q = 23 - 18. Suppose -j = -q*j. Does 9 divide j + (0 - -1 - -43)?
False
Let a be 1*1/1 - 14/2. Is 3 a factor of 9/a*-10*1?
True
Let l(v) = -v**2 - 3*v + 2. Let o = 7 - 11. Let b be l(o). Does 2 divide b - -2 - -2 - -2?
True
Let w(v) = -2*v**3 - 3*v**2 - 2*v - 3. Let n be w(-2). Let i = -121 + 124. Suppose -i*z + 238 = -n. Is z a multiple of 27?
True
Let t = 918 + -379. Is t a multiple of 77?
True
Suppose -3*k - 51 = -3*l, -11 - 9 = 5*k. Suppose l*f + 184 = 21*f. Is f a multiple of 11?
False
Suppose -14640 = -14*i + 3504. Is i a multiple of 144?
True
Let f = -78 - -94. Is 4 a factor of (f + 3 - -1)/(1/2)?
True
Let z = -216 + 411. Is 12 a factor of z?
False
Suppose 5*d = 2*p - 20, -4*d - 16 = -5*p - 0*d. Suppose p = 2*m - 2*y - 49 - 15, m = 5*y + 44. Does 11 divide m?
False
Let g(a) = -11*a**3 + 15*a**2. Does 24 divide g(-3)?
True
Let k be 12/54 - 14/(-18). Let a(f) = 42*f**2 - 2*f + 2. Is a(k) a multiple of 14?
True
Let v(m) = m**3 + 4*m**2 + 4*m + 3. Let s be -4*(4 + 14/(-4)). Let b be v(s). Suppose 0*g = b*g - 33. Does 7 divide g?
False
Let i(p) = -p + 2. Let u be i(0). Suppose 13 = 5*d - 3*f, 8 = u*d + 2*f - 6*f. Suppose -d*r = -0*r - 112. Is r a multiple of 28?
True
Is 11 a factor of 422 - 5/(-10)*(3 - -5)?
False
Let v(h) = -h + 10. Let o = -27 - -30. Is 5 a factor of v(o)?
False
Suppose 2*a = -3*a + 10. Let u(y) = 11*y + 2*y**2 + 0*y**2 - 2 - 29*y - 3*y**a. Is u(-14) a multiple of 27?
True
Suppose 3 = 4*l + 19. Let f(i) = -3*i + 14. Does 17 divide f(l)?
False
Let t = 149 - 152. Is t/9 - (-1982)/6 a multiple of 18?
False
Let g = -1399 + 2412. Suppose -3*z + g - 107 = 0. Is 34 a factor of z?
False
Let r(u) = -2*u**2 + u - 3. Let l be r(0). Is 8 a factor of ((-96)/(-10))/(l - (-64)/20)?
True
Let z = 2160 + -1238. Does 7 divide z?
False
Let j be (2 - 428/(-5))/((-4)/(-10)). Suppose 5*y - 1 - j = 0. Is 22 a factor of y?
True
Suppose -5*v + 305 = 8*s - 3*s, 5*v - s = 311. Does 31 divide v?
True
Let m(k) = 9*k - 10. Let f(q) = 10*q - 11. Let u(v) = -4*f(v) + 3*m(v). Does 22 divide u(-10)?
False
Suppose 4*q + a + 3*a - 52 = 0, 3*q - 4*a - 18 = 0. Let z = -1 + q. Let m = -3 + z. Is 6 a factor of m?
True
Let r(y) = -y**3 - 4*y**2 + 8*y - 9. Let o = -11 + 4. Does 16 divide r(o)?
False
Let k(f) = 2*f + 3. Suppose o - 3*h = 15, 5*h + 4 = -21. Let r be k(o). Suppose -i + 14 = r. Does 3 divide i?
False
Suppose -5*l - 372 = -2*q - 2*q, l = -4*q + 348. Does 8 divide q?
True
Let w(g) = -g**3 + 8*g**2 - 7*g + 9. Let x be w(7). Suppose -z - 2*z = -x. Suppose 0 = h - z*h + 144. Is 19 a factor of h?
False
Let r(j) = 15*j - 29. Let q(w) = -75*w + 144. Let t(y) = -5*q(y) - 24*r(y). Suppose 5*a + 14 = 2*h, 10 = -h - 5*a + 17. Is t(h) a multiple of 27?
True
Let c(a) = a**2 - 6*a. Let d be c(10). Let j = 74 - d. Is j a multiple of 7?
False
Suppose 4*z - 4*f + 3*f - 1087 = 0, -3 = -3*f. Is z a multiple of 17?
True
Does 18 divide 2/4 + (-3 - 19347/(-6))?
True
Is 12 a factor of 22/(-55)*6098/(-8)*10?
False
Suppose -5*a + 3*i = -125, 2*a + 5*i - 8*i - 50 = 0. Is 7 a factor of a?
False
Let q(k) = k**2 + 7*k + 2. Let b be q(-7). Suppose -b*v - c + 165 = 0, -4*v + 2*v + c = -175. Is 23 a factor of v?
False
Let a(v) = 153*v - 4 - 5 - 244*v. Is a(-2) a multiple of 25?
False
Let z(m) = -2*m**2 - 60*m - 131. Is 3 a factor of z(-13)?
False
Let u(j) be the first derivative of j**4/4 - j**3/3 - 3*j**2 - 9. Let l be u(5). Does 5 divide (-40)/l - 102/(-7)?
False
Let n(f) = 2*f**2 + 13*f + 40. Is n(-12) a multiple of 22?
False
Suppose 2*h = -f + 135, h + 5*f = -4*h + 350. Is 13 a fa