. Is 18 a factor of w?
False
Suppose -3*r + 5*l = -13, -2*r - 11*l - 23 = -8*l. Is 8 a factor of r + ((-30)/5 - -1)*-11?
False
Let w(i) = -2*i + 5. Let s(k) = -k**2 + 15*k + 66. Let o be s(19). Does 25 divide w(o)?
True
Suppose -88*w + 3609296 = 29*w - 2373616. Is w a multiple of 68?
True
Let j = 130 - 127. Suppose -y = 3*y + 4*s - 1012, -y + j*s + 261 = 0. Is 12 a factor of y?
False
Does 46 divide 5453 + -1 - 54/(16 + -10)?
False
Let z(s) = 5*s**2 + 6*s - 11. Suppose -d - 2 = 0, -5*d = j + j. Is z(j) a multiple of 12?
True
Let i(k) = 3*k + 26. Let r be i(-8). Suppose -r*t + 2 = 4*w, 0 = -0*t - 3*t + 2*w + 11. Suppose 0*h - h - 2*x = -38, -78 = -2*h - t*x. Is 6 a factor of h?
True
Let l(u) = 2*u**2 + 25*u + 14. Let c be l(-12). Let a(d) = 528*d + 120. Is a(c) a multiple of 49?
True
Suppose 0 = 4*l - 16, 0 = -p - 36*l + 41*l + 1525. Is p a multiple of 15?
True
Is ((-60562)/428)/(1/(-26)) a multiple of 173?
False
Let i(c) = -5*c + 32. Let b = 10 - 4. Let y be i(b). Suppose -64 = -2*x + y*l, -4*l + 133 = x + 4*x. Does 3 divide x?
False
Let h be ((-3276)/65)/((-2)/55). Suppose 0 = 2*y + 4*z + h, 2*z - 1052 = 2*y + 316. Is ((-2)/5)/(y/(-690) - 1) a multiple of 14?
False
Let x(w) = 2*w + 27. Let d be x(-15). Let m(t) = -8*t - 1. Let j be m(d). Let a = j + -2. Is 7 a factor of a?
True
Let y = -12104 + 16981. Does 3 divide y?
False
Let s(n) = 7*n**2 + 3*n + 3. Let i(o) = o**2 - o - 1. Let l(k) = 3*i(k) - s(k). Let g be l(-3). Is 22 a factor of ((-4)/(g/(-165)))/((-1)/4)?
True
Suppose -34*u + 31*u + 21 = 0. Let p(o) = 35*o - 188. Is 9 a factor of p(u)?
False
Suppose -9*m + 207 = -333. Let f = 54 - m. Let a = 61 + f. Does 16 divide a?
False
Is 105975/10 + 27/18 - -4 a multiple of 25?
False
Let n(s) = 192*s**3 - 2*s**2 + 25*s - 51. Is 18 a factor of n(2)?
False
Is (-43 - 6301)/(-3 - 57/(-21)) a multiple of 14?
True
Suppose -8930 = 5*l - 14120. Is 3 a factor of l?
True
Suppose 43 = 4*w - 205. Let u = -65 + w. Is 2 - (u + (-58)/2) a multiple of 17?
True
Let w(j) = 15*j**2 - 8*j + 13. Let p be w(-11). Let o = -1259 + p. Is 68 a factor of o?
False
Suppose -2*f - f = -12, a - 4*f + 22 = 0. Let q(g) = 5*g**2 + 8*g + 95. Let t(s) = s**2 + 10. Let n(j) = -q(j) + 6*t(j). Is 5 a factor of n(a)?
False
Let s = -369 + 369. Suppose -4*m + 20 = 0, -105 = -k + m - s. Does 11 divide k?
True
Let j(q) = 567*q**2 + 10*q - 10. Let s = 101 + -100. Is j(s) a multiple of 58?
False
Let r = -167 - -694. Let o = r - 153. Is o a multiple of 51?
False
Let b(c) be the third derivative of -3*c**3 + 0 + 32*c**2 - 1/6*c**4 + 0*c. Does 2 divide b(-10)?
True
Let o(t) = -4*t - 17. Let b(h) = -12*h - 51. Let q(g) = 4*b(g) - 11*o(g). Let r be q(-5). Suppose -4*y + 57 = r*c, 2*c = -5*y - 10 + 41. Does 8 divide c?
False
Let i(l) = -6*l + 31. Let a be i(4). Suppose a*m - 8*m = -1. Is 10 a factor of ((-2)/(-4))/(m/140)?
True
Let n be (2 - -2) + (10 - -865). Let h = 1506 - n. Does 55 divide h?
False
Let z = 50 + -46. Let y = z - -27. Suppose -36*i + 440 = -y*i. Is i a multiple of 11?
True
Let d = -614 + 918. Let k = -83 + 83. Suppose 11*u - 19*u + d = k. Does 19 divide u?
True
Suppose -5*x = 15, 15*x - 33 = -2*w + 10*x. Does 17 divide 4/w*(-2 + 3020)?
False
Suppose -4 = -w - 4*m, -5*w - 25*m = -23*m - 38. Is 30 a factor of -15 + 971 - 0 - w/(-2)?
True
Let y(c) be the first derivative of -10*c**2 - 4*c + 15. Let j be y(-11). Suppose -2*g - 108 = -2*v, j = 3*v + v + 4*g. Is v a multiple of 9?
True
Let a be 1/4*10*(-4)/(-5). Suppose 4 = -d - 3*g + 17, a*g = 4*d - 80. Let v = d - -21. Is v a multiple of 4?
True
Let l(c) be the second derivative of -c**5/20 + c**4/2 - 8*c**2 - 21*c. Let u be l(7). Let n = 38 - u. Is 16 a factor of n?
False
Suppose -15 = -3*v + 5*a - 3*a, 2*v + 2*a = 0. Suppose 6*z - 4 = v*z - 5*g, -5 = -2*z - g. Is 23 a factor of (-1)/((-1)/210) - 1*z?
True
Suppose -13*y - 442 = -14*y - t, 4*y - 3*t = 1789. Suppose 2*g - 1621 = -y. Does 14 divide g?
True
Suppose 3*f - 36 = y - 6*y, 0 = 4*y. Suppose -4*p + f = -2*d + 46, -2*d = -3*p - 36. Is 21 a factor of d?
True
Let x(v) = 3*v**3 + v**2 + v + 2. Let j be (-2)/8 + (-1)/(-4). Let b be x(j). Suppose 3*m - 194 = w, b*w + 0*w + 10 = 0. Is 21 a factor of m?
True
Let w = -14582 - -34517. Does 148 divide w?
False
Is 94 a factor of -10 + 2 + (4873 - 14)?
False
Let r = 431 - 456. Let n(w) = -20*w - 221. Is n(r) a multiple of 10?
False
Suppose 9*s - 259 + 52 = 0. Let p = 78 - s. Is p a multiple of 12?
False
Let h = 49590 + -18006. Does 48 divide h?
True
Let r = -61 + 55. Let q be (-26)/(-12) - r/(-36) - 63. Let l = q - -96. Does 3 divide l?
False
Suppose a - 1284 = 5*a. Let h = a + 461. Is 10 a factor of h?
True
Let b be 3 + (-2)/(-2 + 0)*-161. Let s = b - -296. Suppose 50 = j - h, h = -3*j - 2*h + s. Is j a multiple of 16?
True
Let y = -11781 - -38757. Does 32 divide y?
True
Suppose c - 2*l + 18 = 6*c, -2*c = -2*l + 4. Suppose -3*s + c*x = -43, -s + 5*s - 5*x = 55. Suppose 0 = t - 1, -s = -4*y + t + 204. Is 10 a factor of y?
False
Is (1 - (-16)/(-18)) + 44/1584*337820 a multiple of 8?
True
Suppose 2*q + 8 - 19 = 5*o, o = 4*q - 67. Is 30 a factor of 16/(-72) + 8626/q?
False
Suppose y - 5 = -1, 4255 = 5*q + 5*y. Suppose -449 = -3*a + q. Does 18 divide a?
True
Suppose 15*x + 79532 = 18*x - 2*r, 26496 = x + 3*r. Is 50 a factor of x?
False
Suppose 3*k - 46 = -0*k + 4*m, 2 = m. Let u be (k/3)/(4 + -2). Suppose -89 = u*j - 494. Does 15 divide j?
True
Suppose 6 = b - 4*q, -3*b + 0*b + 3*q = 9. Let l(j) = -9*j**2 + 9*j + 9. Let i(p) = 4*p**2 - 4*p - 5. Let v(h) = b*l(h) - 13*i(h). Is 5 a factor of v(3)?
False
Suppose 0 = 9*y - 27. Suppose -486 = -5*s - y*c, -5*s - 6*c + 474 = -9*c. Is 16 a factor of s?
True
Suppose 0 = 5*z - 540 - 480. Suppose 4*n - 2*f - 125 - 49 = 0, -5*n - 2*f = -z. Does 26 divide n?
False
Let g be 8/(-20) - 2/((-20)/2034). Let a = -157 + g. Is a even?
True
Suppose -9*l + 259 - 205 = 0. Suppose 0*p - 3*m = 2*p - 13, -p + 5*m = 13. Suppose p*z - l = -z. Is z even?
True
Suppose -11*l - 5*l = -23808. Suppose -13*b + 137 = -l. Does 22 divide b?
False
Let w(o) be the second derivative of 13*o**3/6 + 6*o**2 + 3*o + 1. Does 12 divide w(0)?
True
Suppose -11*q + 26*q = 1890. Suppose 0 = -5*h - 6 + q. Is 12 a factor of h?
True
Let x be (-42)/(5/(20/(-8))). Does 4 divide 2010/x + (-6)/(-21)?
True
Let u(p) = 5647*p + 93. Is 41 a factor of u(1)?
True
Suppose 634 + 1466 = 5*p. Let c be (16/(-40))/((-3)/p). Let s = c - 43. Is s even?
False
Suppose -28*u = -261 + 37. Suppose -44*q + 5184 = -u*q. Is 9 a factor of q?
True
Suppose 20 = 5*c + 5*v, 0*c + c = 3*v - 8. Let y be (c/(-3))/((-11228)/(-2247) + -5). Let i = y + -101. Is 3 a factor of i?
True
Let c = -9 + -20. Let w = c + 18. Let d = w - -42. Does 31 divide d?
True
Suppose -5*j = a + 3, 5 = -4*j + 3*a + 14. Suppose -21*k + 25*k - 1612 = j. Is 13 a factor of k?
True
Let g = 20047 + -12754. Is 39 a factor of g?
True
Does 18 divide (-43 - (-14245)/333) + ((-12964)/(-18) - 0)?
True
Let s be 7 + -7 + 0*(2 - 1). Suppose 2*w + 4 - 12 = s. Suppose w*b - 308 = 2*b. Does 11 divide b?
True
Suppose -2*h + 4*k + 2896 = 2*h, -8 = -2*k. Suppose 3*g + 856 = -2*d, 27*g = 31*g. Let m = h + d. Does 60 divide m?
True
Suppose -10*v - 64135 + 441675 = 0. Is v a multiple of 64?
False
Let u = 130 - 273. Let j = 153 + u. Is j even?
True
Let r = -557 + 562. Suppose -r*h = -4*m + 855, -4*h + 456 + 444 = 4*m. Does 26 divide m?
False
Suppose 2*c = 7*c + 465. Let x = 248 + c. Does 49 divide x?
False
Let u(y) = 7*y**2 + 3*y - 22. Let f be (-2)/(((-2)/16)/(15/(-12))). Let n = f + 14. Is u(n) a multiple of 53?
True
Let a = -25 + 25. Suppose -2*j + 126 = 3*o - 165, a = 2*o - 10. Suppose -5*p = -7*p + j. Is 22 a factor of p?
False
Suppose -224*h = -653464 - 3141544. Does 86 divide h?
True
Let d be -2*((-1)/(-1))/((-2)/4). Suppose -2*y + 12 = d*r - 4, 4*y = 4*r - 28. Suppose r*c - 947 = 3*z, -c + 3*z - 573 = -4*c. Does 34 divide c?
False
Suppose 13*s - 2545 = 8*s. Suppose 3*v - 57 - s = -5*i, v - 4*i - 217 = 0. Is 64 a factor of v?
False
Let z = -75 - -68. Let s(i) = 4*i**2 + 27*i - 8. Let t be s(z). Let x(f) = -235*f**3 + f**2 - f - 1. Is x(t) a multiple of 21?
False
Let c = -17478 - -23317. Does 119 divide c?
False
Suppose -a = -5*l + 3452, 0 = -a + 4*l + 276 - 3728. Let p be a/(-6) + -2*3/18. Is p/4 + 0 + (-2)/(-8) a mult