tor of u(17)?
False
Let m = 17 - 40. Let z = 27 + m. Suppose 0 = -2*x + 5*s + 66, -3*x + z*x = -5*s + 18. Is 14 a factor of x?
True
Let i(n) = -n**3 + 7*n**2 - 9*n - 2. Let p be i(5). Suppose -p*y + y = 594. Is 3 a factor of (y/(-18))/(((-9)/4)/(-3))?
False
Let f = -5587 - -6202. Is f a multiple of 9?
False
Suppose 76*v - 65*v - 14443 = 0. Is v a multiple of 10?
False
Let a(c) = 164*c + 6049. Does 20 divide a(-35)?
False
Let p(x) = -5*x - 38. Let v be p(-8). Suppose 4*g = 0, 3*a - 27 = v*a + g. Does 2 divide a?
False
Let x(v) = 3*v - 3. Let t be x(5). Suppose o = -3*q + t, 2*q - 98 = 3*o - 7*o. Does 11 divide (-3 + 15/(-9))/((-6)/o)?
False
Let n(s) = -s**2 + 16*s + 9. Let i be n(19). Let a be (i/20)/(3/10). Does 3 divide a/(-68) - 3815/(-85)?
True
Is 35 a factor of ((-579282)/(-132))/(1/8)?
False
Is 92 + -7 - (-130)/(-10) a multiple of 9?
True
Suppose 2*d + 5*k = 7642, -3603 = -3*d - 2*k + 7882. Suppose -w = 3, -3*i + w - 2*w = -d. Is i a multiple of 68?
False
Is (13/((-273)/5169))/((-5)/35) even?
False
Is 111 a factor of 5 + -1 - 6321*(-4)/6?
True
Suppose -5*v - p = -10, 0*v + 3*v - 2*p = 6. Is 5 a factor of 2/(-7)*(v*70)/(-4)?
True
Let p be (3 - 7/2)*-284. Let h = -137 + 564. Let s = h - p. Is 19 a factor of s?
True
Let y be 53/3*(6 + (-6)/2). Suppose -4*s + 3*i - 288 = 0, 3*s - 4*i + 170 = -y. Let a = s + 99. Is 15 a factor of a?
True
Suppose -253*u + 256*u - 15 = 0. Suppose 4*v + 3*w = 1335, 7*w = u*w - 6. Is 12 a factor of v?
True
Suppose -35*h + 123099 + 103321 - 58910 = 0. Is 98 a factor of h?
False
Is (1 - 3/6)*(-335556)/(-239) a multiple of 7?
False
Let b = 11 + -41. Let z = -25 - b. Suppose 186 + 254 = z*o. Is 11 a factor of o?
True
Let k(i) = -1929*i - 7736. Is k(-10) a multiple of 53?
True
Let s(p) = 7*p**2 - 6*p - 8. Suppose i = 2*g + 12, i + 4*i - 27 = -g. Suppose 5*d + 2*k + 18 = -0*k, -d - i = -2*k. Does 16 divide s(d)?
True
Let v be 1306/(-12) - (100/24 - 4). Let a be (v/1*1)/((-2)/2). Suppose z + 4 = -0*z + 5*d, 4*z - a = -5*d. Is 7 a factor of z?
True
Let h(q) = 9*q + 17. Let g be h(8). Let z = 91 + g. Is z a multiple of 18?
True
Let g(d) = 4*d**2 - 79*d - 904. Is 17 a factor of g(-13)?
True
Does 13 divide (-2638216)/(-448) - 3/(-24)?
True
Suppose 22*c = -14*c + 50*c - 120302. Is c a multiple of 110?
False
Let x(z) = -24*z + 86. Let n be x(3). Suppose 0 = -2*y + 7*y - 15. Suppose y*r = 5*s - n, 6*s = -r + 2*s + 18. Is r a multiple of 2?
True
Suppose -4*a = -4*d - 13924, -4*a - 5*d + 2*d + 13952 = 0. Does 41 divide a?
True
Let d be -1*(-1 + -6 + 8). Is 81 a factor of (1296/(-80))/(0 + d/5)?
True
Suppose 323*j = -5*b + 325*j + 21335, -3*b = j - 12801. Is 4 a factor of b?
False
Let t be (-9790)/(-33)*24/(-10). Let y = t + 746. Does 4 divide y?
False
Let m(y) be the first derivative of 3*y**4/4 + 22*y**3/3 - y**2 - 8*y + 62. Is 4 a factor of m(-6)?
True
Let u be 38/(-6)*(-8 + -1). Let d = 827 + -866. Let h = u + d. Is 11 a factor of h?
False
Let w(b) = 773*b + 312. Let u be w(6). Suppose -10*t + 7720 = -u. Does 9 divide t?
False
Let q(i) = 164 + 102 - 369 + 145 + 22*i. Let x be (3/(-2))/((-3)/8). Does 26 divide q(x)?
True
Suppose -32*w = -27*w. Suppose -378 - 562 = -4*d - 5*p, 4*p = w. Does 29 divide d?
False
Let s(m) be the third derivative of m**7/1260 - m**6/360 - 13*m**5/60 - 5*m**2. Let c(y) be the third derivative of s(y). Is 9 a factor of c(5)?
True
Suppose -212*x + 55*x = 430845 - 6021615. Does 39 divide x?
False
Suppose -3*h + 2*t - 1178 = 0, 5*h - 8*t + 1954 = -7*t. Let m = 789 + h. Is m a multiple of 21?
True
Let g = 67 + -57. Suppose 29 = -3*f - g. Let x = f - -24. Does 11 divide x?
True
Let h = 13512 - 3672. Is 60 a factor of h?
True
Suppose -74098 - 107048 = -101*m + 363446. Is m a multiple of 8?
True
Suppose r + 12*c - 9014 = 8*c, -4*r + 2*c + 36038 = 0. Does 14 divide r?
False
Let a(g) = -4*g**2 + 27*g - 26. Let z be a(6). Does 6 divide 228 - (3/12)/((-2)/z)?
False
Let z(p) = -2*p**3 - 16*p**2 - 16*p - 4. Let m be z(-7). Let u(g) be the first derivative of g**3 - 11*g**2 - 2. Is u(m) a multiple of 17?
False
Let n(x) = x**3 - 40*x**2 + 115*x - 125. Does 58 divide n(39)?
False
Is 47 a factor of 33/(-77) - (-17)/56 - (-48497)/8?
False
Suppose -2*m - 6 = 0, -r + 3*m + 4 = -5. Is 10 a factor of (-1 + r)/(6/(-1470))?
False
Is 1 + (-21012)/(-3) + 19/(14 + 5) a multiple of 113?
True
Suppose 158*v + 485224 - 1245929 = 681519. Is v a multiple of 14?
True
Let o(r) = -2*r + 10. Let w be o(5). Suppose -g - 5*y + 227 = 0, w*y - 20 = 4*y. Suppose -2*h = 4*h - g. Is h a multiple of 5?
False
Let i be 18/15*(-80)/24. Let v(z) = z**3 + 4*z**2 + 5. Let g be v(i). Let f = g + 6. Is f a multiple of 5?
False
Does 102 divide (-879)/(-10 + 5166/522)?
False
Let x be (-5)/25 - (-4)/20. Suppose x*c + 3*c = 87. Let z = c - 16. Is 13 a factor of z?
True
Let k = -46 + 54. Suppose k*s + 3 = 5*s, 4*r = 4*s - 12. Does 25 divide (6/r)/((-3)/130)?
False
Suppose 5*d = 9651 - 3711. Is 6 a factor of d?
True
Suppose x + 5*b + 34 = 0, 3*x + 29*b + 54 = 30*b. Suppose 2*t = -163 + 29. Let f = x - t. Is 12 a factor of f?
True
Let f = -62 + 41. Let k be (-54)/144 + f/8. Is 3 - 6 - k - -33 a multiple of 19?
False
Does 25 divide (-15*2)/(-25 - 198881/(-7958))?
False
Is 177 a factor of -531*((-34)/(-136))/(9/(-1128))?
True
Suppose 0 = -4*t - x + 23827, -10*x = 5*t - 5*x - 29780. Is 77 a factor of t?
False
Let y(d) = -4186*d + 5292. Does 16 divide y(-18)?
True
Suppose 0 = -10837*x + 10842*x - 81400. Does 39 divide x?
False
Suppose -80*w + 44688 = -32*w. Is w a multiple of 4?
False
Suppose -21*k + 66377 = 689. Does 17 divide k?
True
Let z(q) = q**2 + 10*q + 8. Let x be 14/(-7)*(0/(-2) + -1). Suppose 0 = -c + 4*b - 2, -4*b + 20 + 12 = x*c. Is 13 a factor of z(c)?
True
Suppose -48 = 5*j - 2*z, 4*z + 11 + 13 = -5*j. Let h be (-2)/(-3)*(1 - 43). Let d = j - h. Does 6 divide d?
False
Let o(z) = -z**2 - 4*z + 2. Let g be o(1). Let h be 4 + (-4)/(g - 1). Suppose -422 = -h*a - 2*q, 5*a - q = q + 418. Is 22 a factor of a?
False
Let y(d) = d**2 + 18*d - 49. Suppose 157*g - 88 = 161*g. Is 2 a factor of y(g)?
False
Is 5 a factor of (5/(-15))/((-2)/24) + 251?
True
Let t = 35149 + 4188. Is t a multiple of 73?
False
Suppose -20*r + 354898 - 2758 = 0. Does 7 divide r?
False
Let c be 7*(134*1/14 + -3). Suppose c*f - 38*f = 1288. Is 13 a factor of f?
False
Suppose 174*s - 316528 = -26*s + 41672. Does 3 divide s?
True
Let h(w) = -4*w**2 + 295*w - 13. Does 49 divide h(35)?
False
Let p(g) = 6*g - 3. Let n be p(-6). Suppose -4*b = b - 350. Let v = b + n. Is 10 a factor of v?
False
Let r = -953 - -5647. Is r a multiple of 83?
False
Suppose 0 = -328*v + 329*v - 2*h - 2391, v = 3*h + 2393. Is 217 a factor of v?
True
Let u(z) = -z**2 + 41*z. Let d be u(0). Suppose 625*n - 630*n + 250 = d. Does 50 divide n?
True
Let i = 671 + -682. Let h(m) = -59*m - 394. Is h(i) a multiple of 5?
True
Is 22 a factor of 0 + 0 - (-21)/(441/79926)?
True
Does 81 divide 36/5*(7463295/38)/43?
True
Suppose -42 = 3*l + 408. Let a = 428 + l. Is 33 a factor of a?
False
Does 7 divide (276/(-48) + 6)/(3/20148)?
False
Let b be 2*((-38745)/6)/(-15). Suppose -3*a = -w - b, -a + 297 = 5*w - 6. Is a a multiple of 18?
True
Let p be (1/5)/((-6)/(-20))*-354. Let u = p + 572. Is 24 a factor of u?
True
Let b(n) = -n**3 + 31*n**2 - 25*n + 18. Let t be b(30). Let a = 96 + t. Is 23 a factor of a?
False
Is 9 a factor of -53 + (-11284)/(-208) - (-48751)/4?
False
Suppose 0 = -32*n + 29*n + 36. Suppose -n*l = -22*l + 1280. Is 4 a factor of l?
True
Suppose 0 = -15*u + 64100 + 85420. Does 56 divide u?
True
Let b(j) be the second derivative of 3*j**5/10 - j**4/4 - 4*j**3/3 + 6*j**2 - 23*j. Let y be b(3). Let x = -3 + y. Is 10 a factor of x?
True
Suppose -2*z + 2284 = 3*p, 289 + 1231 = 2*p + 4*z. Does 127 divide p?
True
Let l(p) = 7*p**2 - 88*p + 1249. Is l(16) a multiple of 15?
False
Suppose -5*x + 10 = 0, 0 = k + 4*k + 3*x - 171. Let z = 36 - k. Let t(v) = 10*v**2 - 6*v + 9. Is t(z) a multiple of 9?
True
Suppose 5*m - 6*y - 27253 = 0, -44*y + 47*y + 9 = 0. Is m a multiple of 13?
True
Suppose 5*y - 111 = 294. Suppose 5*p + 11 = -4. Does 10 divide ((-20)/p)/(6/y)?
True
Suppose 26647 = 12*q - 27701. Does 28 divide q?
False
Let k be (-25)/(-2) - (-3)/24*-4. Suppose 4*i - 3 = -g, -4*g + 6*i - 2*i = -k. Suppose 2*w + g*d = 60, 0 = 2*w -