pose 2*l + l = 18. Suppose -4*i + 5*r = -40, -4*i + 4*r = 9*r - 40. Does 18 divide ((-26)/i + -1)/(l/(-80))?
False
Suppose 4*b - 3*n = 5111, -5012 + 1165 = -3*b + 5*n. Let l = b - 428. Is 9 a factor of l?
True
Let r = -687 + 464. Let v = r + 358. Is 27 a factor of v?
True
Let n(q) = -74*q + 107. Let z be n(-11). Let o = -471 + z. Is o a multiple of 10?
True
Let h = -641 + 1061. Suppose 0 = 3*k - h - 1560. Is k a multiple of 44?
True
Suppose 0 = -h - 10*h + 44. Suppose h*i + 3*j - 29 = 4*j, 2*i = -3*j - 3. Suppose b = 4*f - i - 13, 2*f - 7 = 3*b. Is f a multiple of 2?
False
Let u(x) = 109*x - 54*x - 61*x - 164. Is 13 a factor of u(-49)?
True
Let o(y) = -5*y + 11. Let x = -54 - -47. Let q be o(x). Suppose -w - 13 = -q. Is 2 a factor of w?
False
Let k(n) = 166*n**2 + 115*n - 544. Is k(-18) a multiple of 45?
False
Let c(f) = 26*f + 72. Let u(d) = 9*d + 24. Let j(x) = -4*c(x) + 11*u(x). Is 29 a factor of j(-28)?
True
Let y be 0 + (9/3 - 2) - -2. Suppose m - 323 = -o, y*m - 1618 = -5*o - m. Does 23 divide o?
False
Suppose -469*v - 42 = -470*v. Let n be (-348)/(-7) - (-4)/14. Suppose 4*u - v = n. Does 23 divide u?
True
Let w(j) = -j**3 + 15*j**2 - 10*j - 54. Let m be w(14). Suppose 30 = -m*q + 88. Does 3 divide q?
False
Suppose -49485 = -14*o - 6659. Is o a multiple of 7?
True
Suppose -15*l = -7727 - 5188. Does 12 divide l?
False
Is 40878 - ((-9)/1 - (-25 - -15)) a multiple of 32?
False
Let t = -21526 + 25869. Is 4 a factor of t?
False
Suppose -4*j = -3*a + 6*a - 1081, 3*a = 5*j - 1331. Does 2 divide j?
True
Let b = 46 + -35. Let j(a) = -a**3 + 12*a**2 + 10*a - 4. Let n be j(b). Suppose -6*z + n = 23. Is z a multiple of 4?
False
Let g be (-2)/2*-1*(-3 - -18). Let p be 1*(-4 + 3)*g. Is 18 a factor of (p/5 - -1) + 39 + -1?
True
Does 10 divide (6 - 1451)/(-1) - 25/5?
True
Suppose p - 814 = -l, -3*p - 3132 + 3111 = 0. Does 14 divide l?
False
Let z = 1544 + 47305. Does 19 divide z?
True
Suppose 10 = 4*s - 2*s. Let f(x) = 125*x - 12. Let c be f(s). Suppose -c = -12*b - 253. Is b a multiple of 10?
True
Let m(p) = 6*p**2 - 10*p - 1. Let u be m(2). Is 7 a factor of u*1/((-3)/(-53))?
False
Let o = -117 + 229. Suppose 0 = -6*a + 13 + 23. Does 16 divide (o/42)/(1/a)?
True
Let g(f) = f + 300. Let r be -4 - (-2 + -3) - 1. Let i be g(r). Let v = i - 172. Does 16 divide v?
True
Is 4/21 - 146940400/(-4200) a multiple of 21?
True
Let x(y) = -17*y**2 - 5*y + 1 + 18*y**2 - 21. Let v be x(8). Let h(c) = -c**3 + 5*c**2 + 2*c - 2. Is h(v) a multiple of 11?
True
Suppose -22195 = -54*h + 309527. Is h a multiple of 14?
False
Is -4*(-216251)/28 + 18 a multiple of 42?
False
Suppose -4*r = -r - 5535. Suppose 0 = 2*m + 3*m + r. Let w = m + 541. Does 43 divide w?
True
Suppose 4*m - 4*y - 22868 = 0, 13*m + 5726 = 14*m + 2*y. Is 13 a factor of m?
True
Suppose -x + 7498 = 3*u, -3*u + 15337 = 3*x - 7181. Does 12 divide x?
False
Suppose 0 = -4*i + 5*n - 5169, 0 = -11*i + 14*i + 2*n + 3848. Let a = -862 - i. Does 53 divide a?
True
Let x = 114 + -112. Suppose 0*n = -5*m + 5*n + 40, x*n = -3*m + 24. Suppose -m*l - 95 = -13*l. Does 17 divide l?
False
Let z = 468 - 466. Is ((-4)/(-3))/(860/(-432) + z) a multiple of 18?
True
Let n = -85 + 48. Let w = 59 + n. Let k = -13 + w. Does 3 divide k?
True
Let y = 1464 - -2214. Is 3 a factor of y?
True
Suppose 0 = -3*a - 153 + 171. Is 4 a factor of ((-48)/(-20))/(a/20)?
True
Let a(l) = l**2 + 3*l - 7. Suppose -3*d + 43 = -o, -d = 5*o - 3*d + 215. Let s = -38 - o. Does 11 divide a(s)?
True
Let i = -4982 - -4995. Is i a multiple of 13?
True
Let a(n) = -n**3 + 10*n**2 + 7*n + 1. Suppose w + w + 2 = -4*m, w = 4*m + 29. Is 4 a factor of a(w)?
False
Let v be ((-5)/15)/(4/24*-1). Suppose -4*w + 1244 = -v*z + 5*z, 0 = -5*w + 25. Is z a multiple of 17?
True
Let t(m) = m + 26. Let n be (2/8)/((26/16)/13). Let w(x) = -2*x**3 + x**2 + x - 1. Let v be w(n). Is t(v) a multiple of 15?
True
Is 250 a factor of (370/2)/((-295)/(-29795))?
False
Does 7 divide 14/4*151636/1589?
False
Let w(j) = -5*j - 47. Let g be w(-17). Does 23 divide (-19)/(g/4) + 226 + 2?
False
Suppose 4*w - 24 = -2*i, i - 12 - 12 = -5*w. Suppose 5*q + i*v - 1271 = 0, 0 = q - 2*v - 196 - 61. Is 30 a factor of q?
False
Is 6 a factor of 2/8 - 12/(720/(-41505))?
False
Let a(d) = 2*d**2 + 185*d + 531. Does 39 divide a(89)?
True
Let s(p) be the first derivative of 53*p**2/2 - 53*p + 40. Is s(8) a multiple of 13?
False
Let v(n) = 4*n + 32. Let p be v(-6). Suppose 335 = p*y - 425. Is y a multiple of 6?
False
Let q(p) = 72*p + 1. Let a be q(13). Suppose -4*t + 4*s + 1228 = 0, 5*t - 2*t = -5*s + a. Let w = -215 + t. Does 47 divide w?
True
Suppose 234 = -9*d + 10*d. Is 31 a factor of 52/d + 1292/18?
False
Let w(i) = 37*i**3 - 2*i**2 + 10*i - 5. Let d be w(2). Let q = 653 - d. Is q a multiple of 24?
False
Suppose 10*k = 6306 + 124. Let y = k + -429. Is 7 a factor of y?
False
Let b = -10 + 15. Let r(g) = 12 + 8 + 15*g - b. Is r(6) a multiple of 21?
True
Let s(j) = -20*j - 40. Let x be s(-5). Does 15 divide (-8)/x - (-9904)/30?
True
Is 460 + (3/(-36) - (-539)/132) a multiple of 8?
True
Suppose -88*o - 606 = -92*o - 3*v, 5*v = 5*o - 810. Does 15 divide o?
False
Let b(k) = 39*k**3 - 7*k**2 + 7*k + 20. Is b(4) a multiple of 64?
True
Suppose 7 = 5*r - 28. Suppose r*w = -5*w + 2124. Is 44 a factor of w?
False
Let z(a) = 1555*a**3 - 7*a**2 + 39*a - 63. Does 13 divide z(3)?
False
Suppose 4*u - 624 = -3*r, -5*u = -4*u - 4*r - 175. Is (-1)/3*3736*u/(-106) a multiple of 11?
False
Suppose 0 = -9*p + 33 + 381. Suppose 44*d - p*d + 146 = 0. Let l = d - 64. Is l a multiple of 3?
True
Suppose -2*o - 2*f + 4*f - 26 = 0, o = -5*f - 31. Let t be 12 - 0/(o/((-4)/1)). Does 8 divide (-3)/((-12)/391) + 3/t?
False
Let b be 0 - (-4 - -2) - 0/(-2). Suppose b*c - m = 7*c - 21, -19 = -5*c + m. Suppose -5*j - 4*y + 80 = -c*j, 0 = 4*j - 5*y - 236. Is 16 a factor of j?
True
Suppose 26*f - 90610 = 9*f. Suppose 11*g - 2865 = f. Is g a multiple of 47?
False
Let j(t) = -7*t + 61. Let s be j(9). Is 18 a factor of s/(-3) - 2100/(-36)?
False
Suppose t - 25 = 26*t. Let w(a) = -79*a**3 - a**2. Is 4 a factor of w(t)?
False
Let q(b) = -b**3 - 12*b**2 + b + 15. Let k be q(-12). Suppose k*f = 14*f - 3443. Does 23 divide f?
False
Let t = -37 - 47. Let i = 96 + t. Does 2 divide i?
True
Suppose 6*x = 5*x - 77. Let r = 183 + x. Let t = -31 + r. Is 17 a factor of t?
False
Let n(m) = m**3 + 90*m**2 - 317*m - 497. Is 147 a factor of n(-87)?
False
Suppose 8*w - 12*w = 4*r - 2896, w - 16*r = 860. Is 6 a factor of w?
True
Is 19025/15 + (-5)/(-3) even?
True
Suppose 5*b - 6 = 4*b + 5*i, 2*b + i = -32. Let a be (-3)/21 - 30/b. Suppose -q = -4*t + 101, 0 = -0*t - t - a*q + 23. Does 22 divide t?
False
Suppose -11*b = 3*h - 7*b + 7, 3*h + 2 = b. Is 12 a factor of (2430/(-120))/(h/16)?
True
Let m(t) = -7*t**3 - 5*t**2 + 4*t - 16. Let h be m(-7). Suppose -4*d - 1400 = -4*n + h, 3*n = -4*d + 2662. Is 81 a factor of n?
False
Suppose -26 = -g - 2. Suppose -g = -3*c + 3*u, 3*c - u + 10 = 8*c. Suppose -c*k = -0*j - 5*j + 860, -j - 2*k = -159. Is 24 a factor of j?
False
Let c be (-15)/6*-6 - -2. Let l = -15 + c. Suppose -6*q = -l*q - 460. Does 23 divide q?
True
Let z(f) = -15*f - 68. Let d be z(-5). Suppose 3*c - 4*a = 12, -5*c - 5*a + 0*a = -20. Suppose w + 53 - d = 5*r, -4*r + c*w + 40 = 0. Is r a multiple of 3?
True
Let d(m) = 13*m**3 - 6*m**2 - 9*m + 15. Let g(u) = -2*u**3 + 1. Let t(q) = d(q) + 6*g(q). Is t(7) a multiple of 7?
True
Suppose -8*w - 41 = -3*w - 2*b, 0 = 5*w - 3*b + 39. Let i = 61 + w. Is 7 a factor of i?
False
Let i = -2145 + 3652. Does 137 divide i?
True
Suppose 6 = 3*a + 3*w, a - 2*a + 5*w + 8 = 0. Suppose 0 = -a*d - 316 + 538. Does 14 divide d?
False
Let a be (-229 - 1)*(-36)/72. Let w = -83 + a. Is w a multiple of 16?
True
Suppose 0 = -p + 2*p - 1. Let w be (41/2)/((-9)/10 + p). Suppose 23*b - w = 18*b. Does 8 divide b?
False
Suppose -16*h = -18*h + 50. Does 7 divide (-5)/(-2)*((-2280)/h)/(-3)?
False
Suppose -9*n = -86 - 157. Let g(l) = n*l + 9 - 12*l**2 - 35 + 11*l**2. Is 12 a factor of g(22)?
True
Let j(h) = 3*h**3 + 7 - 155*h**2 - 4*h**3 + 75*h**2 - 13*h + 76*h**2. Is 6 a factor of j(-5)?
False
Let g be (14/2)/(3/15). Suppose 30*k = 35*k - g. Suppose -k*d = -426 - 498. Is d a multiple of 11?
True
Let p be (-84)/140 - (-1)/((-5)/(-363)). Let d = 76 -