)/(t/(-12))?
True
Suppose -358 = -y + 1261. Let i = 809 - y. Is (18/5)/((-12)/i) a multiple of 9?
True
Suppose -4*i - 60 = -16. Let g(c) be the third derivative of -c**4/24 + 11*c**3/6 - 30*c**2. Does 15 divide g(i)?
False
Let c(w) = -12*w + 0*w**3 + 1 + 7*w + 3 - 6*w**2 - w**3. Let z be c(-5). Suppose 325 = 5*y - k, z*y = 5*k + 16 + 223. Does 10 divide y?
False
Let m(z) = z**3 + 11*z**2 + 8. Let n be m(-10). Let r = n - 104. Suppose 801 + 63 = r*g. Does 17 divide g?
False
Let h be (57/15 - 3)*25/10. Suppose -m + 4*b - 5*b = -1, 0 = 5*m + h*b - 17. Suppose p + 2*g - 650 = -2*p, 2*g = m*p - 1110. Is p a multiple of 11?
True
Is 82 a factor of (143840/1736)/((-6)/(-861))?
True
Let i be 1814/18 + (-6)/(-27). Suppose -12384 = 93*y - i*y. Is y a multiple of 43?
True
Let q(c) = c**3 + 8*c**2 + 5*c - 9. Let s be q(-7). Suppose -2*a = -4*x + 20, -s*x + 45 = -6*a + a. Is (-7)/28 - (-1)/(a/(-306)) a multiple of 38?
True
Let q(o) = 44*o - 14. Let u be q(4). Suppose -12*l = -6*l - u. Is 12 a factor of 4*1/18 + 2505/l?
False
Let n(p) = -p**3 + 82*p**2 - 75*p - 24. Is 14 a factor of n(81)?
True
Suppose -2*w + 40470 = -2*d, -11*d + 15*d + 101180 = 5*w. Is w a multiple of 55?
True
Let q be 519/18 + 10/(-12). Let x be ((-15)/10)/(3/(-4)). Is (-96)/(-28)*q/x a multiple of 16?
True
Let b(o) = -2*o**2 + 55*o - 73. Let l be b(26). Let g(c) be the third derivative of c**5/20 - c**4/3 - 4*c**3/3 - c**2. Is 8 a factor of g(l)?
False
Let i(j) = -23*j - 11*j + 15 + 14 + 5*j. Let f(b) = 4*b**2 - 20*b - 7. Let l be f(5). Is i(l) a multiple of 29?
True
Let p be 6/(-2 + (-8 - -11)). Suppose 1929 - 333 = p*h. Is 19 a factor of h?
True
Suppose -12*y + 130330 = -114579 + 31381. Is y a multiple of 21?
False
Let b = 182 - 45. Suppose 0 = -18*t + 439 + b. Suppose -149 = -4*r - 5*l + t, 2*l = 2*r - 86. Is r a multiple of 2?
True
Suppose -2*j = -2*u - 864, 5*j = 2*u + 1638 + 528. Let z = 754 - j. Let k = 554 - z. Is 26 a factor of k?
True
Let a = -1541 - -543. Let s = -533 - a. Does 25 divide s?
False
Let n be (1/(-3))/((-5)/60). Suppose -n*j + 320 = 4*t, 3*t - 9*j - 224 = -4*j. Does 6 divide t?
True
Let r = -29792 - -43752. Is r a multiple of 36?
False
Let k(u) = -u. Let m be k(0). Let b be 2 + m + (-7 - 15). Is 9 a factor of 7 - (b/5 + 2)?
True
Let f(n) = 123*n - 1365. Is f(25) a multiple of 101?
False
Suppose -r = a - 2315, -6678 - 4977 = -5*r + 5*a. Is 2 a factor of r?
False
Suppose 168*s - 6 = 170*s. Is (45/(-10))/(s/100) a multiple of 15?
True
Let r be (-1 - -1) + 2 + -4. Let h be -8*(8/r + 6). Is 22 a factor of (-2)/h + 2206/16?
False
Let y(q) = 108*q - 1350. Does 13 divide y(45)?
True
Let p(t) = t**2 + 17*t - 25. Let x be p(-32). Let q = -305 + x. Does 50 divide q?
True
Let h = -220 + 224. Let l(d) = -12*d**2 + 3*d - 11. Let y(m) = 11*m**2 - 3*m + 11. Let j(x) = 4*l(x) + 5*y(x). Does 30 divide j(h)?
False
Suppose 18*s - 77 = 265. Let k = -205 + s. Does 9 divide k/(-10) - (7/(-5) - -2)?
True
Suppose 56*w = 639783 - 108287. Does 27 divide w?
False
Suppose 624 = 21*h - 636. Suppose 15*w - 20*w = -h. Is 4 a factor of w?
True
Suppose -64*h - 122246 = -535814. Is h a multiple of 9?
True
Let o(s) = -8*s**3 + 6*s**2 - 12. Let w be o(4). Let u be (-1 - w/10) + 13/65. Let g = u + 6. Does 6 divide g?
True
Let k be 0/1 + (43 - 2). Suppose -5*c = 4*y + 80, -5*c + 3 = -2*y + 113. Let x = k + c. Is x a multiple of 3?
True
Let q be 6/9 + (-2)/3. Suppose -k = q, 5*f - 3*k - 880 = -k. Suppose -7*y - f = -15*y. Is 5 a factor of y?
False
Does 48 divide ((-127778)/(-21))/(14/21)?
False
Let q = 6315 - 4021. Is q a multiple of 31?
True
Let z = 817 + -573. Suppose d = -d + z. Suppose v = d - 72. Is 25 a factor of v?
True
Suppose 193*c = 196*c - u - 14532, -2*c + 3*u + 9674 = 0. Is c a multiple of 7?
False
Suppose 87*p - 86*p = 38. Does 17 divide (1 + -3)/(-10)*(p + 8627)?
False
Suppose 0 = 5*y + 3*a - 805, -a + 607 = 4*y - 6*a. Let n = y + -125. Is n even?
False
Let f = 5 + 0. Suppose 123 = -f*d + 148. Suppose d*y - 88 = -o + y, -o = -2*y - 118. Is o a multiple of 36?
True
Suppose -4*x = x - 325. Let i = 67 - x. Suppose 2*p - 226 = -2*h, -i*h - 37 = -5*p + 563. Does 24 divide p?
False
Let j = 370 - 204. Let q(g) = -2*g**3 + 60*g**2 + g + 11. Let x be q(30). Let n = j - x. Is 12 a factor of n?
False
Let z(n) = -38*n - 104. Let h(d) = -77*d - 209. Let l(b) = 3*h(b) - 5*z(b). Is 9 a factor of l(-16)?
True
Let t(v) = -111*v**3 + 3*v**2 + 5*v + 2. Let i be t(-1). Suppose i = -11*f + 12*f. Is 5 a factor of f?
False
Suppose -15*j - 9416 + 10781 = 0. Suppose z - 4*z = -9. Suppose 130 = z*g - 5*y, -g + j = g + y. Is g a multiple of 11?
False
Let d be -2 - -2 - ((5 - 1) + -6). Is (3/d - 2)/(71/(-18744)) a multiple of 9?
False
Suppose 4*s + 5*r - 42 = 0, 2*r + 37 = -5*s + 98. Let z = -11 + s. Does 8 divide 11 + -3*2/z?
True
Let s(x) = 35*x**2 + 6*x + 3. Let g be 104/65*5/2. Suppose 2*m = 4*f - 12, -3*f = -g*m - 0*f - 14. Does 28 divide s(m)?
False
Suppose 2*r + 8 = 3*v, -5*v + 6 = 4*r - 0. Is (10 + -208)*(v - 3) a multiple of 18?
True
Suppose 3*z - 76905 = -p, 168*z + 2*p = 183*z - 384546. Is 17 a factor of z?
True
Let r be 360/28 - (-3)/21. Suppose y = 2*p - 3, 0 = 5*y + 38 - r. Is (-3 - -2)*(-50 - p) a multiple of 23?
False
Let t(o) = 5*o + 9*o + 14 - 7*o. Let g be t(7). Let q = -49 + g. Does 6 divide q?
False
Let i be (7*-10)/(6 - 8). Is 7 a factor of (-476)/i*(-5)/2?
False
Suppose 1365913 + 485447 = 290*u. Is 57 a factor of u?
True
Suppose j = b - 261, b = -4*j - b - 1038. Let m = j - -420. Is m a multiple of 10?
True
Let m(j) = j**3 + 5*j**2 + 1. Suppose -2*b = -4*b - 8. Let p be m(b). Is (p + 1)*(-10)/(-15) a multiple of 2?
True
Let w(d) = 2*d**2 - 12*d - 15. Let t be w(6). Let k be (748/6)/((t/18)/(-5)). Suppose 2*r - 1 = 3, 0 = -5*i + r + k. Does 30 divide i?
True
Let q be 12/(-9)*(-6 - -3). Suppose 1169 = 3*s + 5*i, q*i = 3*s - 96 - 1118. Suppose -4*p + 134 = -s. Is 10 a factor of p?
False
Let f be (3/(-9))/(6/(-254538)). Suppose 3846 = -29*a + f. Is 16 a factor of a?
False
Let i = -40 - -1088. Let z = i - 502. Suppose -3*d + 760 = 4*x, -2*d - 44 = -2*x - z. Is d a multiple of 36?
True
Let a(v) be the first derivative of 91*v**2/2 - 66*v + 73. Is a(6) a multiple of 48?
True
Let z be (-32)/6 + (-6)/9. Let y(o) be the second derivative of -5*o**3/2 - 6*o**2 + o + 38. Is y(z) a multiple of 12?
False
Let c be (-24186)/(-30) + (-12)/(-15). Let h = 852 - c. Is 15 a factor of h?
True
Let b(d) = d**3 + 7*d**2 - d + 19. Let h be b(-6). Suppose -h*q + 40 = -59*q. Does 10 divide q/(3*5/15)?
True
Let i(j) = 12*j**3 - j**2 + 2*j - 6. Let n(s) = -s**2 + s - 1. Let t(u) = -i(u) + 2*n(u). Suppose 12*h = 11*h - 2. Is t(h) a multiple of 16?
True
Let v = 201 - 56. Does 11 divide (-9)/(-15) + 187978/v?
False
Let p(x) = -14*x - 240. Let v be p(12). Let d = 437 + v. Is d a multiple of 4?
False
Suppose 6*s = 4*s + 2160. Is (-35)/(-5)*s/28 a multiple of 9?
True
Let d = 3 - 0. Let l(c) = -2*c**3 - 51*c**2 + 65*c + 42. Let q be l(-27). Suppose -24 + q = d*i. Does 27 divide i?
False
Let u = 21197 + -17699. Does 14 divide u?
False
Let l = 61 + -28. Let q = l - 36. Is (-108)/(1 + -6 - q) a multiple of 8?
False
Let g(c) = -21*c**2 + 12*c + 22. Let x be g(-3). Let s = x - -435. Does 14 divide s?
False
Let w = 24129 - 15953. Does 146 divide w?
True
Suppose 29*r - 31*r = -132. Let a = r + -53. Is 13 a factor of a?
True
Suppose 7994 = 3*s + 12*n + 26*n, 0 = 3*s - 4*n - 8330. Is s a multiple of 60?
False
Suppose -2*z = -2*t - 1636, t + 2*t = -5*z + 4074. Is 4 a factor of z?
True
Does 12 divide 1 + -2 + -68*(-801)/36?
True
Let z(t) = t + 12. Let v be z(-9). Suppose 4*f - 2*o = -1 - 3, 5*f = -v*o - 27. Is 14 a factor of (f - (-162)/(-30))/((-1)/10)?
True
Does 22 divide 4/(220128/18342 - 12)?
False
Let j(t) = t**3 + 22*t**2 - 2*t + 6. Let i be j(-22). Let m = 52 - i. Suppose -m*s = 2*v - 0*v - 106, -3*s = 4*v - 164. Is s a multiple of 12?
True
Let k be (-25)/(-15)*(-6 + 9). Suppose -5234 = -k*v - 2*w, -2*w - 2672 = -4*v + 1526. Is 28 a factor of v?
False
Suppose -2*y - 10 = 4*v, 8*y - 30 = 5*y + 3*v. Suppose -y*l = -14*l + 1701. Does 7 divide l?
True
Let l(r) = -3*r + 27. Let w be l(9). Suppose w = 23*m - 11*m - 24. Suppose -25 = 5*t - y - 1654, 0 = 5*t - m*y - 1628. Is 45 a factor of t?
False
Let w(g) = -2*g**3 - 104*g**2 - g - 50