1/2)?
True
Suppose w = 2*w - 20. Suppose 2*h + w = 110. Suppose -4*s = -27 - h. Is s a multiple of 14?
False
Let d be 142562/11 + 2/(-11). Suppose 0 = 4*f - 5*v + 2*v - 17280, 3*f - d = 3*v. Suppose -10*o + f = 2*o. Does 53 divide o?
False
Suppose -3*w = -2*j - 9635 + 1615, 4*w = 3*j + 10692. Suppose 4*x - w = 396. Is 12 a factor of x?
True
Let h(y) = y**3 + 4*y**2 - 6*y + 2. Let j be h(-5). Suppose 3 = -6*x + j*x. Let s = 26 + x. Is 28 a factor of s?
False
Let x(q) be the second derivative of -5*q**3/3 + 2*q**2 + 3*q. Let z be x(-5). Suppose 0 = -5*u + 101 + z. Is 2 a factor of u?
False
Is 203 a factor of 427506/162 + (-4)/(-54)?
True
Let v = 469 + 225. Suppose 3*j = -2*z + v, 5*z + 220 = -6*j + 7*j. Is j a multiple of 5?
True
Let q be (4/6)/((57/(-36))/(-19)). Let c be 378 - (-3 + q + -2). Suppose -2*r + 378 = -5*l + 3*l, -5*l - c = -2*r. Is 38 a factor of r?
True
Suppose 32*c - 2*o - 1792 = 30*c, -3*c - 2*o = -2708. Suppose -z = -4*v - c, 0 = 5*z + 9*v - 5*v - 4572. Is 16 a factor of z?
True
Suppose -2*o + 31 = 3*o + 3*u, 0 = -2*o + 3*u + 4. Suppose -d + 267 = 4*t, -o*t + 2*d + 65 + 272 = 0. Is t a multiple of 9?
False
Let l = 1074 + -1022. Suppose 2*q - 128 = 50*w - l*w, -w - 2*q = -59. Is 69 a factor of w?
True
Let c be 3 - ((-1)/4*0)/2. Suppose 3*v - 4*d - 108 = 0, -2*v - c*d = v - 129. Suppose 4*f = 3*f - 5*k + v, -4*k = 2*f - 86. Is f a multiple of 15?
True
Is (-840)/36*540/(-21) a multiple of 12?
True
Is 90 a factor of 26/13*(7 + 9569/7)?
False
Let w(m) = 1020*m - 1. Let o be w(1). Suppose -p = -8*k + 3*k + o, 1035 = 5*k - 5*p. Is k a multiple of 29?
True
Let c = 25537 + 59678. Does 23 divide c?
True
Suppose s + 2 = 3*l, 3*s - 5*l - 2 + 0 = 0. Let n be (3 - 2 - s) + 0. Does 8 divide 21/(-3)*(n - 2)?
False
Is (-102)/289*-17 + 11*177 a multiple of 160?
False
Suppose 0 = 17*j + 17*j - 26*j - 19584. Is 51 a factor of j?
True
Suppose 0 = -21*i + 26*i - w - 125300, 0 = -3*i + 7*w + 75180. Is 35 a factor of i?
True
Let o be 22 - ((-18)/189 + 2/21). Is 37 a factor of (-4)/o + (-5106)/(-11)?
False
Suppose -22317 = -10*p + 70733. Is p a multiple of 114?
False
Let b = 2022 + -38. Is b a multiple of 6?
False
Let a(p) = -2*p**2 + 1. Let r be a(3). Let t = r + 23. Let n(b) = -2*b**3 + 15*b**2 - 5*b - 14. Does 13 divide n(t)?
False
Suppose 0 = c - 1313 - 1191. Is (-3 - -2)/((-4)/c) a multiple of 14?
False
Let r(g) = -g**3 + 6*g**2 + g - 7. Suppose 28 = 5*t + k, -4*t + 14 = -3*k + 3. Let j be r(t). Suppose 0 = -j*y + 21*y + 260. Is 26 a factor of y?
True
Is (-99 - -89)*(4/(-6) - 6758/15) a multiple of 141?
True
Let t = 7 - 15. Let s(r) be the third derivative of -5*r**4/8 + 2*r**3/3 - 461*r**2. Does 22 divide s(t)?
False
Let p = -706 + 712. Let h(r) = -5*r + 4 - 13*r**2 + 0*r - r + 3*r**3. Is h(p) a multiple of 8?
False
Let x = 451 - 446. Suppose -i + 102 = x*s, -2*i + i - 45 = -2*s. Is 2 a factor of s?
False
Let s(l) = l - 2. Let g be 2 + -2 + 6/3 + 2. Let t be s(g). Suppose 3*o = -t*k + 146 - 19, -5*k + 2*o = -346. Is k a multiple of 13?
False
Is 9 a factor of (330/(-77))/((-2)/238)?
False
Let c be ((-18)/(-48))/((-6)/20)*-4. Let u(t) = -3*t - 7 + 10*t**2 - 3*t - 16*t**2 + 10*t**2. Does 12 divide u(c)?
False
Let z(d) = d**3 - 9*d**2 + 13*d + 7. Let m be z(7). Suppose m = -5*y - 177 + 27. Is (-4)/(-11 - -12 - y/(-26)) a multiple of 13?
True
Suppose 2*s - 5*m = -3*s - 15, 4*s + 3*m + 19 = 0. Let w(u) = -u**3 + 11. Does 21 divide w(s)?
False
Let q = -24 + -13. Let d = -35 - q. Suppose m + d - 28 = 0. Is 13 a factor of m?
True
Does 88 divide (-18)/24 + 202800/64?
True
Let y(a) be the third derivative of 26*a**5/15 + a**4/8 - 2*a**3/3 - 12*a**2 + 2. Does 22 divide y(2)?
True
Suppose -2381 = -5*h + 2*h + a, -5*a + 3935 = 5*h. Suppose 14*q - 17*q = -h. Is q a multiple of 22?
True
Let b = -2386 - -4561. Is 25 a factor of b?
True
Let b = 2008 + 357. Suppose b = 29*s - 27*s + 5*c, 2415 = 2*s - 5*c. Is s a multiple of 80?
False
Suppose 15*i - 20*i + 40 = 0. Let n = -70 + 72. Is 877/4 - n/i a multiple of 13?
False
Let r(c) = -2*c**3 + c**2 + 13*c + 31. Suppose -5*w = 5*k + 50, -43 = 4*k - 0*w + 5*w. Is r(k) a multiple of 26?
False
Let f(t) be the second derivative of -t**5/20 - t**4/3 + t**3/6 + 2*t**2 - t. Suppose -15*j + 12*j + 5*y + 5 = 0, -j + 4*y = -11. Is 6 a factor of f(j)?
True
Let c(y) = -y**3 + 83*y**2 - 94*y - 519. Does 14 divide c(81)?
False
Let n = -13571 - -61691. Is 120 a factor of n?
True
Let z(i) = -i**3 - 9*i**2 + 28*i + 67. Let n be z(-11). Let x(u) = -u + 8. Let m be x(6). Does 21 divide (-9)/(-1*m*n/14)?
True
Suppose 3*a - 2*n = 9, -22*a + 20*a + n + 7 = 0. Suppose 4*j + 3241 = a*s, 2*s - 4*s + j = -1294. Does 43 divide s?
True
Let x be (-20)/(-11) - (450/66 - 7). Is 0 + 34/x + (-52)/26 a multiple of 6?
False
Suppose -5*f - 73 = -58. Is (-8 - -13)/(1/(-192)*f) a multiple of 64?
True
Let b = -71 - 47. Let x = 196 + b. Does 13 divide x?
True
Suppose 8*z - 46295 - 63076 = -23931. Is 120 a factor of z?
True
Let c be ((-18)/(-4))/((-84)/(-56)). Suppose -12*t + 4680 = -c*t. Is t a multiple of 40?
True
Let t(n) = n**3 + 3*n**2 - 2*n + 3. Let m be t(-3). Suppose -47 = -m*v + 7. Does 4 divide (v/(-1))/(15/(-100))?
True
Suppose 29*x + 5*x + 13*x = 1070942. Is x a multiple of 267?
False
Let o = 10472 + -2330. Is 138 a factor of o?
True
Let k = 4023 - 2680. Is 79 a factor of k?
True
Let q be (-1 + 5 - -4) + -4. Suppose 4 = o + 2*l - 3, 3*o + l = -q. Is 15 a factor of 516/36 - 2/o?
True
Let z(d) = 5*d + 3. Let w be z(0). Is 28 a factor of w*3/(-6)*-168?
True
Is (530/(-20))/(2/(-568)) a multiple of 104?
False
Suppose -3*s = -3*w + 13 - 31, -2*s + 4*w = -18. Suppose -s*r + 102 + 1653 = 0. Does 5 divide r?
True
Let t(y) = 3*y - 24. Let j = 1 + 9. Let b be t(j). Suppose b*g = 4*g + 120. Does 20 divide g?
True
Suppose j - 2*n + 1 = 27, 2*n = 4*j - 116. Suppose -27*w = -j*w + 1353. Does 41 divide w?
True
Let q(f) = 444*f - 110. Let y(l) = -149*l + 37. Let r(a) = -3*q(a) - 8*y(a). Is r(-2) a multiple of 58?
False
Suppose -3*m + 55186 = 12*h + 15514, -26488 = -2*m - 3*h. Is m a multiple of 8?
True
Suppose -19 + 28 = 9*x. Does 10 divide (0 + 111)/(-6*x/(-44))?
False
Let b be 2 - 60/33 - (-8)/(-44). Suppose -i = -b*i - 469. Is 67 a factor of i?
True
Let c be -1*140/8*4/(-7). Suppose 1628 = c*q + 168. Is q a multiple of 4?
False
Let u(b) = b**2 - 37*b - 63. Let l be u(39). Let r(j) = j**3 - 12*j**2 - 13*j + 22. Does 18 divide r(l)?
False
Let r(f) = -f**2 + 2*f**2 + 6929*f - 6914*f + 1 - 2*f**2 + 4*f**2. Let j be 38/(-4) - 1/2. Does 8 divide r(j)?
False
Suppose 2*t = 3*i - 40, 2*t + 3*t + 65 = 4*i. Let d = -4 + i. Suppose 7*a - 41 + d = 0. Is a a multiple of 4?
False
Let x be 2*-19 + (-266)/(-38). Suppose -4*m = -89 - 63. Let l = x + m. Is l a multiple of 7?
True
Let a = -17 - -29. Suppose 5*f = h + 724, -f - 5*h + 162 = a. Does 11 divide f?
False
Let h = 46611 + -3195. Is 268 a factor of h?
True
Let g = 14725 + -8288. Is g a multiple of 23?
False
Let p be (7 - 3 - 0) + 1. Let v(s) = 2*s - s - 11 - p*s - 11*s. Is v(-9) a multiple of 31?
True
Let k(i) = i**2 - 70. Let g be k(0). Let d be (7/(g/(-516)))/(6/15). Let f = 187 - d. Is 29 a factor of f?
True
Suppose 8*a = 3*a + 100. Let f be ((-4)/(-5))/(4/a). Suppose -i - f = -9. Is i a multiple of 3?
False
Let w(p) = -11*p**3 - 136*p**2 + 40*p - 16. Is w(-14) a multiple of 24?
True
Let l = -3257 - -6848. Is 99 a factor of l?
False
Suppose 2518 = -26*g + 28*g. Let s = g + -689. Is 54 a factor of s?
False
Let m = 253 + -256. Does 78 divide 234*(-2 + (-24)/m)?
True
Let g(q) = 1546*q**2 + 2*q - 5. Let i be g(-2). Suppose 12*x + i = 31*x. Does 65 divide x?
True
Let v(f) = 620*f**2 - 27*f - 75. Is v(-3) a multiple of 19?
True
Suppose 2015 = 2*h - 8697. Is h a multiple of 5?
False
Let m be 5201/(-9) - (-15)/(-135). Let g = m + 830. Does 4 divide g?
True
Suppose 355*o - 1929888 = 1009512. Is o a multiple of 40?
True
Let j be (3096/(-78))/(-2) + 6/39. Let d = 133 + j. Is 17 a factor of d?
True
Let s be 81/(-12)*(0 - 460/1). Suppose 4*a = -a + s. Is a a multiple of 29?
False
Let y be 8/2*(19 - 23). Let j be (-8)/y*(80 + -2). Let s = -28 + j. Does 4 divide s?
False
Suppose 3*y + x = -2*y + 40, 0 = -2*x - 10. Suppose -480 = -12*p + y*p - 2*w, 5*p = 2*w + 800. Is p a multiple of 8?
True
Let q be 20/(-1) - (-16 + 17). Let a(j) 