oes 26 divide q(l)?
False
Let b(t) = t**2 + 8*t - 108. Is b(23) a multiple of 18?
False
Let u(b) = b**3 + b**2 + b + 102. Suppose -3*t + 5*m = -5, 4*t + m = -0 - 1. Does 6 divide u(t)?
True
Suppose j = 6*j + 4*x - 579, -3*j + 4*x = -341. Let r = 258 - j. Let p = -81 + r. Is 22 a factor of p?
False
Let n = 282 - 264. Is n a multiple of 2?
True
Suppose -4*p + 326 = 3*l - 2*l, -2*p + 170 = -3*l. Is 8 a factor of p?
False
Does 46 divide (-83)/(10 - 2210/220)?
False
Let p = -91 - -113. Is p a multiple of 16?
False
Is 59 a factor of 6/1 + 913 - (-1 - -1)?
False
Let o be ((-12)/5)/((-16)/120). Suppose -14 = -3*r + 4*q - 0*q, 4*r = 5*q + o. Suppose -119 = -r*m - 35. Is 14 a factor of m?
True
Let q = 15 - 11. Suppose -5*d = -0*d + 5*s - 30, 2*d - q*s = -12. Is 2 a factor of d?
True
Suppose 4*c - 5*a = 117, -a - 12 = -5*a. Does 2 divide c?
False
Is 17 a factor of ((-12)/(-18))/(10/5865)?
True
Suppose 1759 = 13*b - 5053. Does 31 divide b?
False
Let b(u) = 10*u + 9 - 1 - 3. Let i = 451 - 444. Does 33 divide b(i)?
False
Suppose 15457 = 4*f - d, 15455 = 4*f + 17*d - 16*d. Is f a multiple of 46?
True
Let o = -31 - 9. Let y = -13 - o. Does 27 divide y?
True
Let w(b) = -23*b**2 - 8*b + 3. Let l be w(11). Is 6 a factor of (-6)/33 + l/(-44)?
False
Let h = -50 + 53. Let z(k) = -k**3 - 3*k**2 + k - 4. Let y be z(-4). Suppose 5 = -5*w, h*w - 2 + y = u. Is u even?
False
Let i(d) = -d**3 + 8*d**2 - 6*d - 6. Suppose 0 = -v + 2*v - 6. Let l be i(v). Suppose -1 = -2*o - 3*j, 4*j = -5*o + 2*j + l. Does 3 divide o?
False
Let y(n) = -7*n - 31. Let r be y(-10). Let o = r - -60. Is o a multiple of 9?
True
Suppose s + 24 = -2*y + 68, 2*s - 22 = -y. Is 24 a factor of 1800/y - 20/(-110)?
False
Let u = 376 + -220. Is 6 a factor of u?
True
Suppose 70 - 46 = 4*l. Let q be 10/6 + (-2)/(-6). Is 7 a factor of (11 - q)/(l/16)?
False
Suppose -2530 = -j + 4*x, 4*x = 3*j - 11537 + 3947. Is 110 a factor of j?
True
Let c(d) = d**3 + 39*d**2 - 207*d + 38. Is 86 a factor of c(-42)?
True
Suppose 16 = -5*b - 9, -q + 5*b = -38. Suppose -1674 + 270 = -q*j. Does 12 divide j?
True
Let u = -24 + 26. Let w(y) = y**2 + 4*y - 4. Is w(u) a multiple of 5?
False
Let g(n) = 339*n**2 + 2*n + 3. Is g(-1) a multiple of 10?
True
Suppose 3*u + b - 95 = 0, 3 = -2*b + 1. Is (u/20 - 2)/((-3)/255) a multiple of 4?
False
Let x(s) = 23*s + 2. Let a(u) = u**2 + 26*u + 27. Let g be a(-25). Does 27 divide x(g)?
False
Suppose -38 = -2*b + 270. Is 22 a factor of b?
True
Let u(m) = -340*m + 71. Does 11 divide u(-2)?
False
Let a(g) = 16 + 16*g + 9*g - 20*g. Is a(10) a multiple of 21?
False
Suppose i = -3*q, -2*i - 5*q + 28 = 2*i. Suppose f = -4*l + 16, -3*f + 5*l = 2*l + i. Let d = 13 - f. Does 4 divide d?
False
Let d be 4 - 13/((-52)/2976). Suppose r - 8*s + 3*s = 206, -4*r = -s - d. Let t = -127 + r. Is 13 a factor of t?
False
Let o = -506 + 772. Does 50 divide o?
False
Suppose 0*a = 3*r - 4*a - 103, -3*a = 2*r - 63. Suppose -51 - r = 4*c. Let t = 42 + c. Does 21 divide t?
True
Suppose 0 = 3*n - n - 42. Suppose 4 = t + 2*c - n, -c = 4*t - 128. Is 7 a factor of t?
False
Let z = -34 + 36. Suppose h + 310 = 3*m, 3*m - z*h - 412 = -m. Does 26 divide m?
True
Let t(l) = -l**3 + 4*l**2 - 4*l + 6. Let y = -25 - -28. Does 3 divide t(y)?
True
Suppose -2*d - f + 439 = 0, 458 = 2*d + 4*f + 34. Does 37 divide d?
True
Let r = -94 - -84. Let k(n) = 2*n**2 + 5*n - 7. Does 11 divide k(r)?
True
Let d = 2310 + -1116. Suppose -255 - d = -7*o. Is o a multiple of 29?
False
Let j be 30/(-105) - (-16)/7. Suppose -58 = -j*t + 4*i, 4*t + i - 1 = 97. Does 6 divide t?
False
Suppose -3*b - 278 = -2*d - 3*d, -5*d + 298 = 2*b. Suppose 0 = -k + d + 158. Does 12 divide k?
True
Let d be (222/8)/((-6)/(-8)). Is -1 + (d - 0 - -4) a multiple of 6?
False
Let s be (-12)/9*(-6)/4. Let t be s - -61 - (1 + -1). Does 16 divide -1 - 4/(-4)*t?
False
Let v(w) = w - 4. Let a be v(7). Let g = -253 + 253. Suppose -357 = -g*y - a*y. Is y a multiple of 33?
False
Suppose 2*h + 5*w - 13 = 0, -h - 4 = -3*h + 4*w. Suppose 0*f = -h*f - 20. Let v(s) = -s**2 - 8*s + 4. Is 14 a factor of v(f)?
False
Suppose -5*n + 41 = 6. Is 7 a factor of n?
True
Suppose 480 = 5*q + 5*x, 0*q - 2*x + 289 = 3*q. Let i = 117 - q. Is 20 a factor of i?
True
Let w(g) = -g**3 + 4*g**2 - 13*g - 4. Does 31 divide w(-6)?
True
Suppose 30 = r - c - 7, 4*r + 4*c = 172. Is r a multiple of 10?
True
Let c be (-1)/(2*4/(-8)) - -3. Suppose 5*w = -5*t + 425, 0 = -4*t + t - c*w + 252. Does 8 divide t?
True
Suppose -3*j + q + 131 = 0, -4*j - 6*q + 2*q + 180 = 0. Let z = 125 - j. Does 9 divide z?
True
Let x(w) = 129*w - 311. Is 14 a factor of x(6)?
False
Let d(c) be the second derivative of c**4/6 + 11*c**3/6 - 3*c**2/2 - 11*c. Does 10 divide d(-9)?
True
Let s = -348 + 824. Does 13 divide s?
False
Let c = -53 - -104. Let a = 224 - c. Is a a multiple of 48?
False
Is 5/1*1/((-10)/(-830)) a multiple of 31?
False
Let m = -13 + 16. Suppose -m*s - 2*s + 26 = -4*w, 24 = 2*s - 5*w. Suppose -3*q = 2*n - 83, -27 = -q - s*n + 6. Is q a multiple of 25?
True
Suppose 3*p + 14*x - 16878 = 11*x, 0 = 5*p + 3*x - 28132. Does 17 divide p?
True
Suppose -58*t = -22*t - 16416. Does 38 divide t?
True
Let z = -1 - -2. Suppose 4*n - 19 - z = 0, -41 = -4*g - 5*n. Does 13 divide (-271)/(-7) + g/14?
True
Let b be 4 + -5 + 394/2. Let t be ((-139)/(-4))/((-4)/16). Let z = b + t. Is 26 a factor of z?
False
Let y(m) be the third derivative of 0 - 1/30*m**5 - 1/2*m**3 + 1/120*m**6 + 0*m**4 + 0*m - 2*m**2. Is 13 a factor of y(4)?
False
Let i(f) = -15*f - 269. Is i(-31) a multiple of 98?
True
Let n = 31 - 31. Let j = 5 + n. Suppose j*l - 2*b = 3*b + 685, 5*b + 403 = 3*l. Is l a multiple of 43?
False
Let y = 5 + -3. Let g(x) = x**3 - 2*x**2 + 0 - 4*x - 3*x**y + 5. Is 17 a factor of g(6)?
True
Suppose -2*l - 3*h + 4*h = -1349, -4*l + 5*h = -2695. Is l/12*(31/3 + -5) a multiple of 50?
True
Suppose -4*q + 21*g + 25 = 18*g, 0 = 2*q + g - 5. Suppose -252 = -3*o - 0*o. Is (o - q) + 4 - -1 a multiple of 22?
False
Let v(j) = -j**3 - 14*j**2 - 11*j + 28. Let a be v(-13). Suppose -4*g + a = 22. Is 4 a factor of (32/10)/((-1)/g)?
True
Let s be (-12)/15*375/(-6). Let q = -35 + s. Let l(v) = v**2 - 13*v - 7. Is 8 a factor of l(q)?
False
Let c = 1762 - 1618. Does 9 divide c?
True
Suppose -37125 = 11*g - 26*g. Is g a multiple of 15?
True
Let s(t) = -11*t**2 - t + 1. Let r be s(1). Let z = r - -10. Is 4 a factor of z/(-3 + (-60)/(-21))?
False
Let i(w) = -19*w + 1025. Does 3 divide i(0)?
False
Let z = 14 - 10. Suppose -2*h + 3*b - 12 = 0, z*b = -b + 20. Suppose -5*r = h, 0*y + y + 4*r = 6. Does 3 divide y?
True
Let j = -7 + 2607. Is 28 a factor of j?
False
Is (3/9)/(2/1176) a multiple of 7?
True
Let l = -654 - -3119. Is 17 a factor of l?
True
Let b(s) = -s + 10. Suppose 5*w - 3 = 82. Suppose 2*t + w = -5*d, -t + 3*t + 14 = -2*d. Does 11 divide b(t)?
False
Let c(g) = -2*g + 3. Let j be 1*2/(2/2). Let w be c(j). Let m = 17 - w. Is 6 a factor of m?
True
Let u(f) = -9*f - 9. Let n be u(-6). Suppose -46*p + n*p = -240. Is p a multiple of 12?
True
Suppose o + 26 + 33 = 5*p, 5*p - 4*o - 56 = 0. Suppose 6*u - p*u + 60 = 0. Does 10 divide u?
True
Let x = 583 + -165. Is x a multiple of 19?
True
Let h be ((-8)/(-6))/(6/18). Suppose -h*a = -u - 4*u - 78, 0 = 2*a - 5*u - 44. Suppose -76 = 13*i - a*i. Does 14 divide i?
False
Let x be (2 - -9) + (-15)/15. Suppose -4*t = 4*p - 48, 2*t - 7*t + x = 0. Is 5 a factor of p?
True
Let d(k) = k**2 + 14*k + 52. Is d(16) a multiple of 19?
True
Suppose 0 = -3*l + 7*l - 5*g - 61, -29 = -2*l + 3*g. Let o(m) = m**3 - 2*m**2 - m - 1. Let y be o(4). Let s = y - l. Is 4 a factor of s?
True
Let u(x) = -8*x - 2. Let k(w) = w + 8*w + 2 - 2 + 3. Let r(i) = 6*k(i) + 7*u(i). Does 5 divide r(-3)?
True
Let z(o) = o**3 + 9*o**2 - 12*o + 1. Let l be z(-10). Suppose -m - 4*m + n = -19, -4*m - 5*n + l = 0. Suppose -m*g = 3*d - 108, 4 = -2*d + 3*d. Does 8 divide g?
True
Suppose d = -3*c + 1034, 2*c + 0*d + 2*d - 684 = 0. Does 13 divide c?
False
Is 7 a factor of (20/16)/((-19)/(-4940))?
False
Let q = 24 + -18. Suppose 0 = -q*j + 8*j - 34. Is 10 a factor of j?
False
Let k(o) = -3*o - 2. Let q be k(-2). Suppose -f = 5*s + 2, -q*f + 5*s + 16 = s. Let h(u) = 21*u - 2. Is 17 a factor of h(f)?
False
Let v = -2 + 12. Suppose -2*z + 4*u - v = 0, -z + u + 19 = 5*u. Is 