. Let d = -648 + n. Suppose 9*j = 539 + d. Is 18 a factor of j?
True
Let x(p) = -81*p**2 + 0 - 3 - 8*p + 88*p**2 - 13 + p**3. Suppose 5*o + 0 = -35. Is x(o) a multiple of 8?
True
Suppose -5*r + 8*n + 1220 = 13*n, -5*r = -5*n - 1250. Suppose 5*h - 65 = -90, 0 = 4*t + 5*h - r. Is 20 a factor of t?
False
Suppose 8*f = 770 - 1514. Let w = f + 188. Is 5 a factor of w?
True
Is 15 a factor of (1317407/7)/13 + -2 + 0?
True
Suppose 738*p = 736*p + 24568. Does 148 divide p?
True
Let l = 56 - 59. Let n be l/3 + 1/(3/534). Let k = -123 + n. Does 9 divide k?
True
Suppose 0 = 15*u + 35 - 80. Suppose -u*q + 198 = 3*l, -q = -5*q - 2*l + 272. Does 35 divide q?
True
Is -19*6*(-5)/(3 + (-100)/36) a multiple of 95?
True
Let m = 297 + -294. Suppose 3*y - 2 = 1, 389 = m*f + 2*y. Does 4 divide f?
False
Suppose -5*c - 63*u + 1035 = -65*u, 4*c = -4*u + 856. Let z = 281 - c. Does 12 divide z?
True
Suppose 491104 = 72*t + 31*t. Is 149 a factor of t?
True
Let q(c) = 117*c**3 - 32*c**2 + 23*c + 17. Is q(6) a multiple of 16?
False
Let x(i) = 717*i**2 - 22 - 344*i**2 + 538*i**2 + 22*i. Does 14 divide x(1)?
False
Let j be 2/((-24)/(-39)) + (-1)/4. Suppose -j*i + 70 - 64 = 0. Suppose -28 = -4*t - o, -i + 4 = -3*t + 5*o. Is 2 a factor of t?
True
Let w be 10/45 - 106/(-9). Suppose 21*u + w = 25*u. Suppose -3*x + 129 = -u*d - 0, -4*x - 5*d + 127 = 0. Is 13 a factor of x?
False
Let t(q) = -q**2 - 5*q - 16. Let j(x) = x**2 + 6*x + 14. Let d(k) = 6*j(k) + 5*t(k). Let a be (-27)/(-18)*(1 - 9). Is d(a) a multiple of 2?
True
Suppose -36656 = -23*o - 21*o + 1932. Is o a multiple of 71?
False
Suppose -d + 21 = 6*d. Suppose d*z = 5 + 10. Suppose 138 = -z*k + 343. Is 8 a factor of k?
False
Let s be 5692/24 - (-2)/(-12). Suppose s + 231 = 4*n. Is n a multiple of 18?
False
Let b(w) = w**3 - 9*w**2 - 8*w - 17. Let i be b(10). Suppose -5 - i = -4*t. Suppose 0 = -4*o + 2*q + 392, 0 = -t*o - 2*q - q + 180. Is o a multiple of 24?
True
Let h = 5 + 0. Suppose -3*b - h*b = 48. Does 15 divide b/18 - (-226)/3?
True
Suppose -44*p + 39*p - 10306 = -2*u, 0 = 4*u + 5*p - 20702. Does 76 divide u?
True
Suppose -951 = 15*w + 339. Let s = -6 - w. Is s a multiple of 21?
False
Suppose 9*h - 4*h - 4*v - 13 = 0, -3*v - 1 = -2*h. Suppose h*g = g + 8. Suppose 5*a - 197 = -g. Is 39 a factor of a?
True
Let x = -3151 + 5376. Is 89 a factor of x?
True
Suppose -8*j = 4*i - 6*j - 62870, 0 = 4*i - j - 62849. Is 23 a factor of i?
False
Suppose 247*y = 2*y + 7692755. Does 9 divide y?
False
Let i be (4 - 2)*(9 + -12). Let h(s) = s**3 + 9*s**2 + 8*s + 24. Does 4 divide h(i)?
True
Let a(y) = y**3 - 10*y**2 + 5*y. Let g be 6/(72/921) + (-2)/(-8). Suppose 0 = 6*h - 13*h + g. Does 22 divide a(h)?
True
Let v(n) = 5*n**2 + 59*n - 317. Is v(-50) a multiple of 109?
False
Suppose -3*a + 23*a = 18160. Suppose -2*r + 1 - 3 = 0, n = 5*r + a. Is 43 a factor of n?
True
Suppose 0 = 177*z - 181*z + 20156. Is 10 a factor of z?
False
Suppose -3*x - 5*i = -3*i - 14, 0 = -5*i + 20. Suppose -554 = -4*h + 2*r, -3*h + 420 = -5*r + x*r. Is 26 a factor of h?
False
Suppose -342*a - 1026 = -344*a. Is 57 a factor of a?
True
Suppose -392117 - 950063 = -140*b. Is b a multiple of 194?
False
Let u(a) = 3927*a - 8210. Is 186 a factor of u(8)?
False
Suppose 0 = -m - 12 + 18. Let r(k) = k. Let z(n) = -5*n**2 + 19*n - 10. Let a(g) = m*r(g) - z(g). Is 21 a factor of a(5)?
False
Let r(m) = m**2 + 14*m - 207. Let s be r(9). Suppose -h - 9 = -4*d, -5*d + 4*h + h = -15. Suppose s = d*n - n - 80. Is 10 a factor of n?
True
Suppose 3*x + 1 = 16. Suppose 5*u = 4*u - m - x, 4*u + 2*m + 26 = 0. Is (12/u)/3*-10 a multiple of 3?
False
Is 5 a factor of 16/(3360/116578) + (-6)/45?
True
Let h = -66 + 68. Suppose h*g - 988 + 316 = 0. Does 37 divide g?
False
Let r(v) be the second derivative of -9*v**5/20 + v**4/6 - v**3/3 - 3*v**2/2 + 28*v. Let h be r(-1). Suppose 2241 = h*s + 641. Is 15 a factor of s?
False
Let x(c) = 28*c**2 - 12*c - 50. Is 43 a factor of x(-12)?
False
Suppose -15*m = 8*m + 138. Is m*(354/(-9) + 3) a multiple of 20?
False
Let s(t) = 3*t**2 - 49*t + 1. Let n be s(17). Suppose -2*d + 6*d - 132 = 0. Suppose d*m + 30 = n*m. Does 6 divide m?
False
Suppose 3*a - 24 = 6. Let c(w) = -33*w - 14 + 18*w - w**2 + 27*w. Does 6 divide c(a)?
True
Is 67 a factor of 1575 + 12*28/(-42)?
False
Suppose 5*f - 23 = k, -5*k + 19*f - 22*f = 31. Let v(m) = -m**3 - 11*m**2 - 32*m + 2. Is v(k) a multiple of 2?
True
Let h(m) = -143*m + 27. Let i = 652 + -655. Does 38 divide h(i)?
True
Let j(v) = -2*v**2 - 7*v. Suppose 5*h = -1 - 14. Let o be j(h). Suppose -4*w = -o*g + 63, -3 = w - 0*w. Is 4 a factor of g?
False
Let f be (184/(-48)*-15)/(2/(-4)). Let n = f + 200. Is n a multiple of 4?
False
Suppose -5*a - 7 + 2 = 4*j, 4*j - 15 = -a. Let b(u) = -25*u - 5. Let h be b(a). Is 25 a factor of h*(33/20 - 14/35)?
True
Let y = 11798 - 4173. Does 11 divide y?
False
Suppose 4*o - 24 = 3*i - 32, -5*o = -2*i + 10. Suppose -c + 2352 = 2*d + 589, i = -3*d + 2*c + 2634. Is d a multiple of 16?
True
Let z(g) = 2*g**2 + 15*g + 29. Let d be z(-4). Suppose 31 - d = 2*q. Does 12 divide q?
False
Is 29/116 - (365894/(-8) - 6/3) a multiple of 325?
False
Suppose 402*f + 14932 = 3*g + 404*f, 0 = -4*g + f + 19902. Is 9 a factor of g?
False
Let o = 9256 + 1752. Is 128 a factor of o?
True
Let d(z) = -25*z**2 - 17*z**2 - 4*z + 274*z**3 - 275*z**3 + 21 + 7*z**2. Is d(-35) a multiple of 22?
False
Is 25 a factor of (-7841455)/(-1015) + 4/(-7)?
True
Let y = -129 - -99. Let v = y + -20. Let k = 74 + v. Is 8 a factor of k?
True
Suppose 0 = -5*r + 2 + 3. Is 53 a factor of 5/((-5)/(-7))*(52 + r)?
True
Let f be 5*(-6)/(-195) - 50/(-13). Suppose 2*g - 196 = b, 0*g - f*g + 4*b = -400. Does 16 divide g?
True
Let a = -93 + 99. Suppose 0 = x - u - 13, -u - 61 = -4*x - a. Suppose 7*g - x*g = -833. Does 12 divide g?
False
Let k = -2922 - -6728. Does 69 divide k?
False
Let h be 6 + (7 + 13)/(-5). Does 28 divide (-7845)/(-40) - (h - (-30)/(-16))?
True
Is 26/(-78)*(14 - -1)*(-3504)/5 a multiple of 48?
True
Is 8 a factor of 704270/154 - -17 - (-3 + 35/11)?
False
Suppose -3*v + 9 = -3*h, -3*v + 11 = -3*h - 2*h. Suppose -2*q - 5*m - 128 = -4*q, -3*m = 6. Suppose -v*r = -q - 51. Does 11 divide r?
True
Suppose c + 3*c = 92. Let h = 28 - c. Suppose -a + 2*a - h*r - 83 = 0, 25 = -5*r. Does 10 divide a?
False
Suppose 2*z - 20 + 8 = 0. Suppose -1640 = -z*h + 1600. Is h a multiple of 33?
False
Let v = -123 + 121. Does 47 divide 195/(-45)*(v - 13)?
False
Suppose 5*w + x = 10, -3*w + 2*x = -0*x - 6. Suppose 0 = p - 2, w*j = -6*p + 10*p + 444. Does 30 divide j?
False
Does 8 divide 5/(-10) - ((-163)/(-4))/((-84)/6216)?
False
Let n(c) = -53*c + 1147. Does 3 divide n(6)?
False
Suppose 210368 + 180632 = 136*y. Is 23 a factor of y?
True
Let v = -3 + -4. Let h(f) = -f**2 + 29*f - 30. Let x be h(1). Is 18 a factor of x + 4 + v + 20 + 3?
True
Let x = 1079 - 395. Let l = -450 + x. Does 9 divide l?
True
Let f = 89 + -85. Suppose 2*z + f*u = 3*z - 82, 214 = 3*z - 4*u. Does 11 divide z?
True
Let w(q) = q**2 - 3*q - 14. Let v be w(-10). Let g be -3*3*(6/9)/(-2). Is v/g - (-1 + (-1)/3) a multiple of 8?
True
Suppose -46596 = -16*x - 12*x + 153604. Is x a multiple of 4?
False
Let d(t) = t**2 - 21*t - 10. Let l be d(21). Let i = 42 + l. Suppose 2*z + i = h, -2*h + 7*h + 4*z = 160. Is 32 a factor of h?
True
Suppose -121*p = -125*p - q - 323, -4*q = -3*p - 228. Is 77 a factor of (8624/p)/(2/(-20))?
True
Suppose 2*u = -0*a + 2*a + 4, 2*u = 4*a + 2. Let z be (u - (-50)/(-15))*-6. Suppose -2*h - 5*d + 53 = -21, -28 = -h + z*d. Is h a multiple of 16?
True
Let v(z) = 8*z**2 - 20*z - 32. Let s(k) = 9*k**2 - 21*k - 33. Let a(x) = -2*s(x) + 3*v(x). Let j(d) be the first derivative of a(d). Is 6 a factor of j(6)?
True
Let a(l) = l**2 - 10*l. Suppose -43 = -2*p - 3*h, -5*p = -3*h + 4*h - 101. Suppose 0 = c - p + 7. Does 13 divide a(c)?
True
Let r(s) = -8*s + 66. Let j(a) = 22*a - 186. Let k(t) = -3*j(t) - 8*r(t). Suppose -6*i - 20 = -i. Is 7 a factor of k(i)?
False
Let l be (-1 - -3)/(-2 - 0/(-7)). Let s be -88*(l - (-8)/(-2)). Suppose -4*h + s = 3*t, -4*h + 176 + 288 = -3*t. Is h a multiple of 23?
False
Suppose -30*v + 35*v + 935 = 0. Let l = v - -340. Is 15 a factor of l?
False
Let l(k) = -k**3 + 63*k**2 + 85*k + 231. Is 14 a factor of l(63)?
True
Let s(p) = 23*p**2 - 