*-2*(-7 + 2)/(-10). Suppose 16 + 32 = o + 5*n, d = -4*o - 5*n + 192. Is o even?
True
Suppose -6*y + 14 + 64 = 0. Let t = y + 268. Is 32 a factor of t?
False
Suppose 39*k - 435278 = -153503. Does 9 divide k?
False
Suppose 31*i - 13617 = 24234. Let b = i - 917. Does 8 divide b?
True
Let j(k) = 6*k**2 + 8*k + 6. Let m(b) = -2*b**2 - 3*b - 2. Let u(a) = -2*j(a) - 7*m(a). Suppose -5*y + 7*y + 14 = 0. Does 13 divide u(y)?
True
Let k(h) = h**3 + 62*h**2 + 23*h - 94. Is k(-57) a multiple of 10?
True
Let y(o) = -55*o + 5000. Is y(47) a multiple of 15?
True
Let h(v) = -v**3 + 8*v**2 - 9*v + 8. Let l be h(7). Let r = 141 - 145. Does 13 divide 142*((-27)/l + r)?
False
Suppose -23*c + 214038 = 18*c + 6*c. Does 22 divide c?
True
Let c be 6/10 - (-9620)/50. Let s = -35 + c. Is 31 a factor of s?
False
Let m(g) = 24*g - 10. Let j = 100 - 97. Let i be m(j). Suppose i + 23 = c - 5*x, 83 = c - 3*x. Does 18 divide c?
False
Let i = 8202 + 488. Is i a multiple of 40?
False
Let h(z) = -z**3 + 5*z**2 + 7*z + 4. Let s be h(6). Let n = -1 - s. Let m = 29 - n. Is m a multiple of 10?
True
Suppose 5*q - 176 = -2*l, 4*q + 77 = 6*q + 3*l. Let d = q - -13. Suppose -4*g + 33 = -d. Is 4 a factor of g?
True
Let m = 11028 - 5296. Does 136 divide m?
False
Suppose -3*l = 0, -9466 = -5*h + 4*l + 18614. Is h a multiple of 12?
True
Let m(h) = 11*h**2 + 32*h + 96. Is 66 a factor of m(8)?
True
Let x(p) be the second derivative of p**5/20 + p**4/24 + 18*p**2 - 24*p. Let s(v) be the first derivative of x(v). Does 10 divide s(-7)?
True
Let b(d) be the second derivative of 12*d + 0 + 1/4*d**4 - 5/3*d**3 + 2*d**2. Is b(4) a multiple of 3?
True
Let b(s) = -s**2 - 60*s + 155. Does 10 divide b(-15)?
True
Suppose 58*s - 7775 = 55*s + 5*y, 12921 = 5*s - 3*y. Is s a multiple of 60?
True
Let u be (-868)/(-6) + (6 - 119/21). Suppose -2755 + u = 9*s. Let w = -157 - s. Is 19 a factor of w?
True
Let i(t) = 20*t**2 + 2. Suppose 0 = -20*s + 19*s + 1. Let o = 0 - s. Is i(o) a multiple of 22?
True
Is 21 a factor of 186733/18 + -7*(-43)/(-5418)?
True
Let z = 577 + -570. Suppose z*v - 3107 = 3830. Is 77 a factor of v?
False
Suppose -4*p + 8916 = -4*f, -5*p + 3*f + 11129 = 2*f. Is 4 a factor of p?
False
Let n(c) = 99*c**3 - 3*c**2 + c. Let f be n(1). Let d = f + 935. Suppose -4*j = -4*u - d, 5*u + 15 = -0*u. Is 15 a factor of j?
True
Let i(k) = -k**2 + 13*k. Let b be 3/(30/88) + (-44)/(-220). Suppose 0 = 2*v - b*v + 77. Does 4 divide i(v)?
False
Let d(o) = -o + 18. Let i be d(4). Let s(g) = -g + 17. Let q be s(i). Suppose 5*f + 59 = q*p, 5*p + 3*f = 2*f + 145. Is p a multiple of 5?
False
Suppose 0 = 5*d - 3*p - 15, -p + 0*p = 0. Suppose 0 = d*x + 5*f - 204, -2*x - 2*f = -3*f - 123. Is x a multiple of 21?
True
Let n(b) = -b**3 - 2*b**2 + 3*b + 5. Let u be n(-3). Suppose u*v - 54 = 2046. Suppose -5*l = -10*l + v. Is 18 a factor of l?
False
Let h(q) = -q**3 - q**2 - q + 7. Let m be h(0). Suppose -4*f = -m*f + 66. Does 3 divide f?
False
Suppose -37*x + 26468 = -25702. Suppose 55*c - 61*c + x = 0. Does 13 divide c?
False
Let a = -70 + 23. Suppose -4*y + 4 = 0, 5*y = -2*g - 0*y + 149. Let i = a + g. Is 5 a factor of i?
True
Let h be ((-273)/63 - -1*4)*-6. Suppose 28 = m - h*t - 51, -m - 4*t + 103 = 0. Is m a multiple of 12?
False
Let x be (-3 - (1 - 2))*(-26030)/(-76). Let f = x - -946. Is 9 a factor of f?
True
Let s be 0 + 351 + (13 - 16) - -2. Suppose 0 = -20*u + 15*u + 50. Suppose s = 4*q + u*q. Is q even?
False
Let l be 545/(-218)*(-3628)/10. Let w = -515 + l. Does 49 divide w?
True
Let i(g) = 1236*g**2 - g. Let m be i(1). Let f = m + -605. Is 14 a factor of f?
True
Suppose -414*t + 158 = -412*t. Suppose 3*m - t = 182. Is m a multiple of 29?
True
Let w be ((-1)/1)/(3/(-156)) - 0. Let q = w - 49. Suppose q*y = -u - 1 + 14, -19 = y + 5*u. Is y even?
True
Does 2 divide 8/(-84) + (-752687)/1092*-4?
False
Let s(a) = -16*a**3 + a**2 + a - 56. Does 23 divide s(-7)?
True
Suppose 5*j - 1973 = 8*t, -3*j - j = 4*t - 1568. Is 16 a factor of j?
False
Suppose 0 = -c - 4*q + 2 - 3, -2*q = -3*c + 11. Suppose -70 = c*b - 43. Let n(z) = -5*z + 6. Is n(b) a multiple of 17?
True
Let g = 1286 + -1120. Does 3 divide g?
False
Let u = -6 - -17. Let r(b) = 6*b**2 - 5*b**2 + u - 7*b + 22. Is 22 a factor of r(16)?
False
Let k(g) = 8*g - 10. Let o(c) = -2*c - 2. Let j(x) = 5*k(x) - 10*o(x). Does 75 divide j(18)?
True
Let n(s) = 13*s - 153. Let m be n(11). Is 4 a factor of 207/15 + 8/m?
False
Let a = 443 - 434. Does 10 divide a/((-63)/(-3059)) - 0?
False
Let c(f) = -7*f**2 - 136*f + 67. Does 6 divide c(-19)?
False
Let r(q) = -191*q**2 + 5*q + q - 21 - 183*q**2 + 375*q**2 + 6*q. Is 8 a factor of r(-31)?
True
Suppose -3*n + 20 - 14 = 0. Suppose 610 = n*b - 438. Is b a multiple of 30?
False
Let w = -45 - -50. Let c(p) = p**2 - 7. Let j be c(w). Does 5 divide 622/j + 20/45?
True
Suppose 63*g = 60*g + 6. Suppose g*o + 82 = 3*y, 2*y - 5*o + 95 = 7*y. Is 12 a factor of y?
True
Suppose -23539*x + 23519*x + 6840 = 0. Is 57 a factor of x?
True
Is 3 a factor of (-3)/(-6) - 2 - 78750/(-36)?
False
Let h = -26 - -60. Suppose h = -3*i + 139. Suppose -173 + i = -2*r. Does 36 divide r?
False
Let v be (-2 + 21)*(3 - 2). Suppose 0 = v*o - 13*o - 2928. Is o a multiple of 16?
False
Suppose -4*n - 4*b = -54668 - 8928, -5*n + b + 79537 = 0. Does 91 divide n?
False
Let m(y) = 3*y + 85. Let u(x) = 2*x + 83. Let b(z) = -3*m(z) + 4*u(z). Is 19 a factor of b(-16)?
False
Let j = 372 - 206. Suppose 219 = 5*d - j. Does 11 divide d?
True
Suppose 50368 = 3*b + 4*z, 0 = 5*z - 47 + 87. Is 30 a factor of b?
True
Let i be 5052/15 - 1 - (-11)/55. Let j = i + -300. Is j a multiple of 9?
True
Let g(k) be the first derivative of 3*k**2/2 - 25*k + 142. Is 16 a factor of g(35)?
True
Let l(s) = 23*s - 60. Let u be l(3). Suppose u*r - 6*r - 579 = -3*b, -b + 985 = 5*r. Is r a multiple of 11?
True
Is 24 a factor of (-847)/(-294)*8286 - 8/14?
False
Let t = -123 - -88. Suppose -2*s = 0, -5*w - 725 + 1925 = -5*s. Is (-15)/t - (w/(-28) + 1) a multiple of 8?
True
Suppose -35*j = -30*j - 125. Suppose j*n = 28*n - 486. Does 54 divide n?
True
Is 1 + 4 + 9162 - (-1 - -1) a multiple of 72?
False
Let x(u) = -2*u**3 + 66*u**2 - 19*u + 106. Is x(21) a multiple of 222?
False
Suppose -2*o + 45 = 5*k, 2*o - 4*k = -3*o + 162. Let g = 30 - o. Is (12/(-42) - g) + 3252/14 a multiple of 49?
False
Let p = -10114 - -19164. Is 12 a factor of p?
False
Is 95 a factor of -1*2/(-10) - 4149236/(-1820)?
True
Let a(v) = 5*v - 1 - 14*v + 10*v. Let c be a(6). Suppose c*n = -j + 148, -3*n + 3*j + 96 = -0*n. Is 9 a factor of n?
False
Let o be (9 + 14/(-10))/(2/35). Let f = o - -266. Is f a multiple of 19?
True
Let o = -23 + 21. Let t be o/(-4) + 10/(-4). Is 43 a factor of (-159)/t - (4 - 2)/(-4)?
False
Suppose -2*h + 6*h = 12. Suppose -d - 3*l + 16 = -51, -l = -h*d + 151. Suppose -d = -5*f + 2*p, 6*f - 7*f + 2*p = -4. Is 2 a factor of f?
True
Suppose 15*h = -88*h + 5480527. Does 45 divide h?
False
Let b be (-175)/(-49) + (-6)/(-14). Let r(m) = 49*m**2 + 13*m + 18. Let t be r(-4). Suppose c + b*c = t. Is 33 a factor of c?
False
Does 4 divide (-8)/3*(28 + (-3729)/66)?
True
Let p = 1971 - 1184. Let g be p/6 - (-3)/(-18). Suppose -9*j = -112 - g. Is j a multiple of 12?
False
Suppose -7*t = -169 - 2162. Suppose -v + 5*m + 322 = 0, -t = -2*v - 5*m + 356. Is 16 a factor of v?
False
Let z(j) = -15*j - 10. Let t be z(-10). Let u = t + -92. Is u a multiple of 4?
True
Let g = 804 - 794. Suppose 1475 + 2045 = g*l. Is l a multiple of 44?
True
Is 64 a factor of (-6 - -3 - 2046)*(-70)/15?
False
Let m be (1 - 2)/(3 + 3440/(-1148)). Does 12 divide ((-1230)/m)/((-2)/(-140))?
True
Let r(i) = i**3 + 2*i**2 + 11*i + 6. Let b be r(-5). Let g = b + 334. Does 30 divide g?
True
Let b = -4268 + 6357. Is b a multiple of 15?
False
Let d be (-16)/(-48) + 84/(-9). Is 30 a factor of ((-1147)/(-6))/1 - d/(-54)?
False
Let w(p) = -2364*p + 600. Is 77 a factor of w(-6)?
True
Let k be 2 - (7 + (-3)/1). Let x be -1*(-2)/2 - 10/k. Does 2 divide 20 + 6/(3/((-9)/x))?
False
Is 2 a factor of (-5)/((-30)/(-8)) - (-194236)/147?
True
Suppose 0 = 5*o, -3*v - 2*o = -144 + 684. Is 158/(-3)*v/40 + 3 a multiple of 30?
True
Let d be (-8)/(-20) - (50184/(-10))/9. Suppose 5*z + 1506 = 2*i - 3*i, -2*i = -z - 299. Let s = z + d. Is s a multiple of 37?
False
Let w(j) = 