 Suppose -4*h - 4*i = -28, 4*h + i - p = h. Is x(h) a multiple of 18?
False
Suppose 0 = 3*g + x - 3828, -11*x + 5066 = 4*g - 16*x. Is g a multiple of 26?
True
Suppose -3*d = -2*d - 1105. Suppose 0 = 3*r - 15, p - d = -p + 5*r. Is 21 a factor of p?
False
Suppose 35*z - 40*z = 0. Let b(d) = d**3 + 2*d - 67. Let x be b(z). Let h = x - -97. Does 5 divide h?
True
Let r = -30035 - -31663. Does 14 divide r?
False
Let a(w) = w**3 - 25*w**2 - 4*w - 95. Let x be a(26). Let j = x - 461. Does 4 divide j?
True
Let c(w) = w + 1. Let n(f) = -1. Let v(g) = c(g) + 6*n(g). Let x be v(7). Suppose 0 = 2*u + q - 138, -5*u + x*q + 2*q + 345 = 0. Is u a multiple of 24?
False
Let u(n) = 120*n**2 - 2*n + 64. Is 18 a factor of u(-7)?
True
Let a(n) = 113 + 116 - 7*n**2 - n**3 - 246 - 10*n. Let l be a(-6). Suppose l*f - 14*f = -154. Is 22 a factor of f?
True
Suppose -1 = -v - 4*w, 5*w = -2*v + 3*w + 14. Suppose -v*i + 26 = -1. Suppose -91 = -4*l + 3*l + 5*f, -i*f = -15. Does 29 divide l?
True
Suppose -22*h = 28*h - 196950. Is h a multiple of 35?
False
Suppose 0 = 2*k + 95 - 149. Suppose -6 - 9 = 5*g, 0 = w - 4*g - k. Suppose -2*v + 49 + w = 0. Is v even?
True
Suppose 4*c + 4*p - 5520 = 0, -4*c - 7*p + 191 = -5317. Is c a multiple of 73?
False
Let j(x) = 8*x + 66. Let p be j(-8). Suppose 5*i + 5*f - 2405 = 0, 5*i - f - 2445 = p*f. Is 8 a factor of i?
False
Is (5676/(-15))/((2/(-25))/((-3240)/(-300))) a multiple of 108?
True
Suppose 0 = 14*s + 2*s - 28976. Suppose 3*b = -4*c + s, 5*c - 2424 = -4*b + 2*c. Does 36 divide b?
False
Suppose 7*a = -5*a + 48. Does 8 divide (a + -14)*((-30)/2 + -1)?
True
Let r be (14/(-21))/((-4)/36). Does 10 divide (-32)/(2*r/(-30))?
True
Suppose 3*f - 2 = -5*z, z - 3 + 13 = 2*f. Is 7 a factor of (z + -13)/(21/(-14))?
False
Let i be (612/1)/((-1)/(-3)). Suppose 0*x = 18*x - i. Suppose -w - 2*h + 31 = -x, 0 = -w + 2*h + 141. Is 16 a factor of w?
False
Let p be 3 - 7*(-1 - -6). Let a = 35 + p. Is 77*(-2)/(-6)*a a multiple of 18?
False
Suppose -14*t + 19*t = q + 60461, 48324 = 4*t - 12*q. Is 87 a factor of t?
True
Suppose 15 = k + 13. Suppose 1084 = k*f - m, 5*f + 5*m - 1697 = 983. Is 20 a factor of f?
True
Does 14 divide 17601 + ((-400)/(-16))/(-5)?
False
Let a be (1*-1)/(-2 + (-165)/(-81)). Let n(c) = -6*c - 64. Is 14 a factor of n(a)?
True
Suppose 3*o - 23 = -4*l + 2*o, -3*l = -5*o. Suppose -l*z = -567 - 2033. Suppose 14*r - z = 10*r. Does 13 divide r?
True
Suppose 480299 + 350986 = 105*s. Is s a multiple of 91?
True
Let l = 11020 - 1780. Does 56 divide l?
True
Does 192 divide (5032/370)/((-3)/(-780))?
False
Let d(i) = 9*i**2 - 97*i + 48. Is 87 a factor of d(-33)?
True
Let i be (-30)/(-5)*(-1)/(1 - -2). Let a be (-63)/14 - ((-2)/(-4) + i). Let n = 34 - a. Is 19 a factor of n?
False
Suppose 12*g - 50354 - 13495 = -2973. Is 8 a factor of g?
False
Is ((-7)/(84/(-369)))/((-1498)/376 + 4) a multiple of 5?
False
Let y be (-60)/450 - (-64)/30. Suppose -5*z + 4*s = -546, 0*s - 438 = -4*z + y*s. Is 18 a factor of z?
False
Let i(q) = q**2 + 8*q - 89. Let p be i(-15). Let x = p + 504. Does 8 divide x?
True
Suppose 36021 = 6*r - 13941. Suppose -8*i + 1417 + r = 0. Is 29 a factor of i?
True
Suppose -10389 = -3*s - 4*r, -4*s + 2*r + 1807 = -12067. Is s a multiple of 12?
False
Does 32 divide (-6)/6*(-28 - 7)/(1/653)?
False
Let z = 333 + -93. Let v = -396 + z. Let k = -103 - v. Is k a multiple of 18?
False
Let r(d) = -d**2 + 8*d + 2. Let k be r(8). Suppose 25 = k*p + 21. Suppose -h + 300 = p*v - 5*h, 805 = 5*v + h. Is 28 a factor of v?
False
Let g(a) = -5*a - 14. Let r be g(-6). Is (0 - 1000/r)/(2/(-8)) a multiple of 5?
True
Let s(x) = -3*x - 47. Let h be s(-21). Suppose 4*u + 2*d - h = 0, -5*u + 3*d = 13 - 44. Suppose -7*v = -2*v, 210 = u*i - 4*v. Does 12 divide i?
False
Suppose -224*o + 4721424 = 110*o. Is 31 a factor of o?
True
Let d = 26421 + -18699. Does 33 divide d?
True
Let f be (0 - -45)*(-68)/(-10). Let r = -258 + f. Does 5 divide r?
False
Let y(r) = -r**3 + 34*r**2 - 168*r + 24. Is y(21) a multiple of 16?
False
Let z be 7 - 2 - (3 - 0). Let l be (3/(-9))/(z/12). Is 10 a factor of l + 6 + (31 - -1)?
False
Suppose r - l = 565, -20*r = -18*r - 5*l - 1109. Does 4 divide r?
True
Suppose 2*y = -f + 3525, 11253 = 5*y - 5*f + 2478. Suppose y = 4*r + 7*r. Is r a multiple of 8?
True
Suppose 0 = 5*y - 39 - 1. Suppose 0 = y*x - 14*x + 36. Suppose -318 = -x*l + 42. Is l a multiple of 20?
True
Let h = 138 + -82. Let u be 1021/5 + -1 + h/70. Suppose u + 576 = 4*z. Does 15 divide z?
True
Let d(p) = -p**3 + 6*p**2 - 8*p. Let n be d(4). Suppose n = 21*k - 1706 - 2410. Does 28 divide k?
True
Suppose 114*x - 229*x = -108*x - 1855. Is 48 a factor of x?
False
Let w(i) = -95*i - 98. Let y(j) = 48*j + 50. Let s(n) = 2*w(n) + 5*y(n). Is 3 a factor of s(3)?
True
Let m = -30 + 190. Is 7 a factor of m?
False
Suppose 5*h + 0 = 2*b + 25, 10 = -2*b. Let y be 427/35 + h/(-15). Does 17 divide 628/6 - 8/y?
False
Suppose 0 = 2*w + 3*w + 2*f - 190271, 0 = 2*f + 4. Suppose 66*k - w = 23*k. Is 15 a factor of k?
True
Suppose -2*x = -6932 - 2702. Is 3 a factor of x?
False
Let g(o) = -2*o**3 + 20*o**2 + 19*o - 207. Does 6 divide g(9)?
True
Suppose -3*b + 2*z - 80 = 0, -53*b + 5*z = -58*b - 125. Is 41 a factor of ((b/(-10))/(-13))/(1/(-2245))?
False
Does 21 divide 1836/(-408)*((-148)/6 - -2)?
False
Let u(f) = f**3 - f**2 - 22*f - 49. Let w be u(9). Let p = -20 + w. Does 11 divide p?
False
Let c be (-1 + 1 - 198)*22/(-4). Suppose c = -60*z + 63*z. Is z a multiple of 11?
True
Suppose -z + 527 = -2*l, 0 = -2*z - 5*l + 270 + 829. Does 4 divide z?
False
Let j(k) = -2*k**2 - 192*k + 1763. Does 9 divide j(-99)?
False
Suppose y = 0, 2*d = 3*d + 3*y - 626. Let q = 1130 - d. Does 28 divide q?
True
Let h = -11 + 14. Let a(w) = 3*w**3 - 4*w**2 + 2*w + 7. Let j(i) = 1. Let o(g) = a(g) - 4*j(g). Does 9 divide o(h)?
True
Let u = -10489 + 16041. Does 16 divide u?
True
Suppose n = d - 1153 - 625, -2*n - 1782 = -d. Is d a multiple of 2?
True
Is 32 a factor of 30/(-5) - (-232)/(-4)*-79?
True
Let r(b) = 8*b - 52. Let w be r(7). Let i be -6 - 272/20 - w/10. Let t = 48 + i. Does 7 divide t?
True
Is 66 a factor of 36407 + 6 + ((-15)/(-6) - 72/16)?
False
Let i be ((-2)/(-10))/((-3)/(-15)). Is ((-105)/70)/(i/(-172)) a multiple of 43?
True
Let i(j) = -j - 1. Let w(m) = -m**2 - 15*m + 11. Let h(s) = 3*i(s) - w(s). Let t be h(-13). Is 21/(-9)*(-44 - (0 - t)) a multiple of 12?
False
Let y(p) = -p**3 - 8*p**2 + 9*p + 2. Let m be y(-9). Suppose b - 170 = 3*x + 5*b, -2*x = -m*b + 118. Let i = 86 - x. Is i a multiple of 24?
True
Suppose 2 = -4*o - 5*r - 19, 4*o + 4*r + 16 = 0. Let a be -1 + (o - -2) - -1*1. Suppose -a*l + 288 = -4*j - 150, j = -3*l + 453. Does 12 divide l?
False
Suppose 61 = -l + 64. Let h(b) = b**2 - b - 4. Let j be h(l). Let q(o) = 69*o + 16. Does 22 divide q(j)?
True
Suppose -32 - 76 = -18*y. Let d(r) be the first derivative of 17*r**2 + 12*r + 1. Does 36 divide d(y)?
True
Suppose 17 = b - a, -4*b + 96 = 4*a - a. Suppose -6*x = x + b. Let t = x - -38. Is 10 a factor of t?
False
Suppose 5*y - 169 = 2*f - 1015, -3*f - 3*y = -1290. Is 7 a factor of f?
False
Suppose 5*f - 3298 = -4*r, 3*r - 431 = -2*f + 891. Let q = -581 + f. Does 38 divide q?
False
Suppose 141 = 7*p - 6. Suppose p = 3*c - q, 2*c = 5*q - 1 + 2. Is 4 a factor of 4 + c*(-2 + 3)?
True
Let k(q) = 21 + 4*q - 8*q - 19*q. Let x be k(5). Does 8 divide 5/(25/10) - x?
True
Suppose 5*j + 4 = 4*g - 37, 0 = 5*j + 25. Does 12 divide -2*(g - (-495)/(-10))?
False
Let w be 4458/(-10)*(13 + -18). Suppose 3*k = 4*f - w, -4*k - 1607 = -4*f + 617. Does 11 divide f?
True
Let r = -145 + 135. Is -5 - 5/(r/72) a multiple of 30?
False
Suppose 7327 = 3*w + 2*g - 3492, -7218 = -2*w - 4*g. Does 7 divide w?
True
Let b(l) be the first derivative of 2 - 9/2*l**2 - 6*l + 5/3*l**3. Is b(6) a multiple of 14?
False
Let p(w) be the second derivative of w**4/12 - 2*w**3/3 + 3*w**2 + 3*w. Let f be p(4). Is 34 a factor of 2*123/(-2)*f/(-18)?
False
Let t be (42 + 5/(-2 + 3))/1. Let u be (-1 - -2) + (-165)/(-3). Let w = u - t. Is 6 a factor of w?
False
Let v = -357 + 348. Is 26 + 1359 - v/(-1) a multiple of 16?
True
Let m(o) = 4*o - 40. Let c = 139 + -126. Let h be m(c). Suppose h*b - 845 = 7*b. Does 15 divide b?
False
Let p = 8060 - -262. Is 6 a factor of p?
True
Suppose 0 = -4*