et d(c) = 3*c - 5. Let b be d(12). Let k be b/(-7) + 1/(7/(-4)). Is 8 a factor of (k/((-10)/9))/(6/32)?
True
Let l be (-3)/9 + (0 - 12/(-9)). Let f be 840/56*(40/6 - l). Suppose -f = -o + 38. Is 21 a factor of o?
False
Suppose -3*q = -2*h - 11618, 8*h - 4*h = -q - 23250. Let f = h - -4117. Is 3/((-18)/f) - (-1)/(-2) a multiple of 12?
False
Let u(v) = -5*v + 8. Let s be (8 + -7)/(1/(-29)). Is u(s) a multiple of 9?
True
Let s(o) = -o**3 + 44*o**2 - 173*o + 2926. Is s(40) a multiple of 9?
False
Suppose -3*q = -d + 32 + 129, 4*q + 2*d = -218. Let v = 180 - q. Is 26 a factor of v?
True
Let c = -1481 + 2139. Let p = 1093 - c. Is p a multiple of 15?
True
Let u = -46 - -53. Let b = 9 - u. Suppose t + b*t - 87 = 0. Does 12 divide t?
False
Let i be 261 - -15 - -3*1. Let r = -237 + i. Is 2 a factor of r?
True
Is 15 a factor of (30/(-6) - -61561) + 19?
True
Let h(l) = -l**3 + 19*l**2 + 9*l - 8. Let i be h(14). Let b be (i/305)/((-1)/5 - 0). Does 6 divide (-94)/(-2) + (b - -13)?
True
Let k be (3 - -2)*(-2 + 3). Let j = -7 + 10. Suppose j*i - 174 = 3*c - 5*c, 2*c - 294 = -k*i. Does 10 divide i?
True
Suppose -3*l + 81 = 3*y, -5*l + 111 = -3*y + 2*y. Suppose 0 = l*b - 24*b + 5. Does 5 divide b?
True
Let v(n) = -298*n - 2904. Is 19 a factor of v(-48)?
True
Let v = 47 + -42. Suppose -98 = -v*p - 3*y, -33 = 3*p - y - 103. Does 2 divide p?
True
Does 22 divide (11 + 24048/(-54))*-9*1?
False
Let l(b) be the first derivative of -b**3/3 - 24*b**2 + 35*b + 36. Is 23 a factor of l(-20)?
False
Let b = 11898 + -3419. Is 49 a factor of b?
False
Suppose 0*y + 4*q = y + 6, 0 = -2*y + 4*q - 8. Let t(f) = 90*f**2 + f + 2. Let u be t(y). Suppose 31*r - 27*r = u. Is r a multiple of 10?
True
Suppose -13*o + 61056 - 7899 = 0. Is 12 a factor of o?
False
Suppose -333291 + 98859 = -74*f. Does 2 divide f?
True
Let c be -84*(-4 - (-140)/(-49)). Let z = c - 252. Is 20 a factor of z?
False
Let a = 183 + -153. Let n(h) = 14*h - 84. Is 42 a factor of n(a)?
True
Let p = -129 - -162. Let n be (6 + 66/(-9))*p/1. Does 2 divide (-1045)/n - 1/(-4)?
True
Is (3635/4 - -4)*(115 + -103) a multiple of 12?
False
Let i be 2/8 + 0 + (-581)/(-28). Suppose -19*f - 450 = -i*f. Let w = f - 155. Does 7 divide w?
True
Let h = -635 + 856. Suppose -h = 6*a - 19*a. Is a a multiple of 14?
False
Let f(o) = 243*o - 4. Let v be f(4). Suppose -4*y - 1592 = -5*s, 33*s + 4*y - v = 30*s. Is s a multiple of 16?
True
Let m(c) = -548*c**3 - 3*c**2 - 3*c - 1. Let b be m(-2). Suppose 2*i - 5435 = -5*g + 3*i, -4*g + b = 5*i. Is g a multiple of 64?
True
Let z(h) = 2*h. Let o be z(6). Suppose o*v = 9*v + 564. Suppose 11*r - 1618 = -v. Is 26 a factor of r?
True
Let h = -8681 + 17830. Does 23 divide h?
False
Let f(k) = -143*k + 117. Let w(m) = 140*m - 119. Let t(v) = -5*f(v) - 6*w(v). Is 84 a factor of t(-3)?
True
Suppose d + 2*o = 1682, 73*o - 77*o = -4. Is d a multiple of 60?
True
Suppose -5*f - 44 = 6. Let v = 11 + f. Does 32 divide (-10787)/(-138) - v/6?
False
Let y(s) = -s**3 + 5*s**2 + 5*s - 7. Let l be y(5). Suppose -5*o = -5*i - 20, 2*o = 5*i - 2*o + l. Does 19 divide -38*(10/i - -3)?
True
Suppose 20 = i - 3*m, i + m + 10 = 2*i. Suppose -i*l = -7*l - 42. Let h = l + 42. Is h a multiple of 12?
False
Let x(n) = -16*n**2 + 13. Let h(i) = -i + 5*i + i**2 - 1 - 5*i + 2*i. Let a(f) = -6*h(f) - x(f). Is 6 a factor of a(-2)?
False
Suppose 99*n - 1807 = 8885. Is 5 a factor of n?
False
Let t be 52/14 + (-2)/(-7). Suppose 2*n + q = -q + 12, -4*q - 8 = -t*n. Suppose -756 = -n*l + v, 3*v - 387 + 9 = -2*l. Does 9 divide l?
True
Let w(j) = 3*j**2 - 51*j - 9. Let i be w(17). Is 546 - (-7 - (i - 4)) a multiple of 18?
True
Let n(p) = 5*p**2 + 126*p - 1927. Is n(17) a multiple of 14?
False
Suppose -2*o + b = -6197, -92*o = -88*o - 3*b - 12399. Does 24 divide o?
True
Suppose 72937 = 15*g + 25*g - 42343. Is 131 a factor of g?
True
Is (42 - 21)/(-21)*2855*-5 a multiple of 68?
False
Let n(o) = -o**3 - 3*o**2 + 8*o - 8. Let g(w) = w**3 + 4*w**2 - 9*w + 9. Let r(l) = 6*g(l) + 7*n(l). Suppose 21*m - 132 = 87*m. Is 4 a factor of r(m)?
False
Let s(y) = -614*y + 10. Let d be s(-5). Suppose d = 7*u - 0*u. Let x = u - 118. Does 16 divide x?
False
Let u = -7 - -15. Suppose 0 = -u*i + 40 - 0. Let n(p) = 3*p**2 + 9*p - 17. Does 30 divide n(i)?
False
Let j be 2504/(-6)*81/(-54). Is 79 a factor of -2*(-7)/28*j?
False
Let m = -12749 + 20335. Is m a multiple of 172?
False
Let p(k) = k**2 + 4*k - 27. Let x(f) = f + 4. Let g be x(-12). Let m be p(g). Suppose m*h + 430 = 15*h. Is h a multiple of 10?
False
Let l(u) = 16*u**2 - u - 20. Is l(16) a multiple of 25?
False
Let h(k) = 65*k**2 - k - 1. Let r be h(-1). Suppose j = 5*v + 159, 4*j - 29 - 18 = v. Let p = r - v. Does 12 divide p?
True
Suppose 48*p - 1240 = 45*p + g, -4*g = -2*p + 830. Let d = p - 83. Does 52 divide d?
False
Suppose 5*n - 9 - 1 = 0. Let g be (-1014)/(-117)*12*(n + 1). Suppose g + 264 = 8*f. Is f a multiple of 12?
True
Does 19 divide (-1)/12 + 28276/48?
True
Let r(n) = -n**3 - 45*n**2 - 77*n + 227. Is r(-44) a multiple of 23?
True
Let u be (4 + 8/40)/((-2)/(-10)). Let o(c) = c - 18. Let t be o(u). Is 4 a factor of (16/12)/(t/153)?
True
Let t = 6025 + 4023. Does 64 divide t?
True
Let h = 2968 + -785. Is 30 a factor of h?
False
Suppose 0 = -v - q - 308, 2*q + 2*q + 616 = -2*v. Let z = -128 - v. Is 15 a factor of z?
True
Let h be (-15 - -5)*1/(-2). Suppose 5*t - 215 = -5*b, 0 = -0*t + 2*t + h*b - 92. Let x = 80 - t. Is x a multiple of 5?
False
Is (224469/2036)/((-1)/(-48)) a multiple of 36?
True
Let h be ((-4)/((-48)/6540))/(1/1). Let y = -272 + h. Is 7 a factor of y?
True
Suppose 3*j - 4*j = -2. Suppose 66*p - 8*p - 3712 = 0. Suppose p = -j*o + 200. Is 17 a factor of o?
True
Suppose 0 = -11*d + 9*d - 96. Is 32/d + 28/6 + 110 a multiple of 3?
True
Suppose 593 = o - 3*f - 2901, 0 = 5*f + 5. Does 34 divide o?
False
Suppose 2*d - 2217 = -2*x - 267, -2927 = -3*d - 4*x. Suppose 4*s = d + 175. Is 41 a factor of s?
True
Suppose -2*r = l - 9508, -r = -36*l + 39*l - 28554. Is l a multiple of 14?
True
Let y be (4 - 25/10)*8/2. Suppose -p + y*p = 15. Suppose -5*z + p*f + 149 = 0, -5*z + f + 131 = 4*f. Is 7 a factor of z?
True
Suppose -3*b = 4*k - 3445 - 6920, -3*k + 7777 = -b. Is k a multiple of 18?
True
Suppose 12*r = 13*r - 596. Suppose -4*v - 2*y = -1296, -4*v + 4*y + 700 + r = 0. Does 27 divide v?
True
Let m = -179 + 165. Let o = -84 + 130. Let h = m + o. Does 8 divide h?
True
Let y = -1616 + 2861. Does 7 divide (y - (-9)/(-9)) + 2?
True
Let f = -101 - -169. Is -2 + (f - 8/2) a multiple of 8?
False
Suppose -202*n = -3231942 + 735222. Is n a multiple of 5?
True
Let k be ((-3)/(-2))/((-6)/(-12)). Suppose k*z + z - 1252 = 0. Suppose -z + 89 = -2*s. Is s a multiple of 14?
True
Let m be (-18630)/(-4) - 246/(-164). Suppose 11*p = -270 + m. Does 31 divide p?
False
Let a be (4 - (-195)/(-10))/(3/216). Let v = 1692 + a. Is 23 a factor of v?
False
Let t be (-9)/(27/(-12)) + (-15)/5. Let f(l) = 74*l - 8. Is f(t) a multiple of 5?
False
Suppose -90*p - 22895 = -95*p. Does 15 divide p?
False
Let g(m) = 16*m - 3. Suppose c + 3*w + 0*w = -2, c - 4*w + 9 = 0. Let v be g(c). Let k = -65 - v. Does 18 divide k?
True
Let k(j) = j**3 - 21*j**2 - 4*j - 52. Let n be k(27). Is 10 a factor of (-50)/125 + n/10?
False
Let d be 1/6 - 22/(-12). Suppose -s = 2*u + s - 188, -5*u - d*s = -458. Let x = -51 + u. Does 13 divide x?
True
Let v(n) = -693*n - 1888. Is 7 a factor of v(-7)?
False
Suppose 97*v - 10*v = 14*v + 2329284. Does 12 divide v?
True
Let g = 263 - 258. Suppose -4*a + 5*r = -105, 5*r = g*a - 125 - 10. Does 10 divide a?
True
Suppose 0 = -2*i - 3*a + 3632 + 2837, i = 2*a + 3224. Is 34 a factor of i?
True
Suppose w = -0*w - 5, 0 = -s + 5*w - 343. Let g = s + 498. Is 80 a factor of g?
False
Suppose -4*v + 7*d = 9*d - 2, -3*v + 2*d = 9. Is (-505)/((2/v)/4) a multiple of 44?
False
Let m(v) = -9*v**2 + 28*v - 70. Let x be m(11). Let d = -581 - x. Is 21 a factor of d?
False
Let l(s) be the first derivative of 19*s**4 + s**3/3 + s**2 - 5*s + 226. Is l(2) a multiple of 5?
False
Let s(r) = -2*r**3 + 38*r**2 + 23*r + 37. Let v be s(19). Suppose 426 = 3*g - v. Does 12 divide g?
True
Is -5180*(768/(-80))/3 a multiple of 29?
False
Suppose -2*x - t = 3 + 12, 21 = -x + 4*t. Let c be (4/(-6))/(x/27). Is 10 a factor of (c + 130/(-15))*-