83. Let g be 0/5 - (l - 1). Let i = 7 - g. Is 11 a factor of i?
False
Let q(j) = 5836*j + 1941. Is 101 a factor of q(1)?
True
Let n be (-3)/(-2)*(-4 - -6). Suppose -m - 4*m - 220 = 5*a, 4*m = -n*a - 173. Let s = m + 140. Does 31 divide s?
False
Suppose 0 = 606*c - 166*c + 3017719 - 10951799. Is 161 a factor of c?
True
Suppose -10*d = -8*d + 6. Let c be d/2 - -2 - (-3)/2. Suppose -3*u = c*t - 197, t + 103 = 2*t - 3*u. Is 20 a factor of t?
True
Suppose -18501 = -8*l + 35425 + 1290. Is l a multiple of 14?
True
Suppose -18104 = 13*s - 44*s. Is 15 a factor of s?
False
Is ((-1896)/(-20))/((-808)/820 + 13 + -12) a multiple of 41?
True
Let r(j) = -185*j - 47. Let w(h) = -h - 1. Let u(m) = r(m) + 3*w(m). Is u(-3) a multiple of 5?
False
Let h be (1/1 - -2)/(35/2310). Let t = 1053 - h. Does 15 divide t?
True
Let x(c) = -1 - 21 + 4*c - 10 - 13. Let j be x(-17). Let o = 129 + j. Is 6 a factor of o?
False
Let p be (-9)/(-4)*(-20)/(-90)*6. Suppose -175 = 28*m - 29*m + c, -c + 517 = p*m. Is 2 a factor of m?
False
Let t(x) = x**3 - 11*x**2 + 13*x - 17. Let d be t(10). Suppose -196 = -d*m + 2001. Is m a multiple of 8?
False
Let v(r) = -4*r - 108. Let z be v(-29). Is z/(-14) - 13286/(-98) a multiple of 5?
True
Suppose 8*t - 6*t + 4*x - 834 = 0, -x = 4*t - 1682. Is 9 a factor of t?
False
Let i be 6 - (35/(-5) - -3). Let x be (i - 2)/((-8)/(-76)). Is 8 a factor of 2375/x + (-6)/(-8)?
True
Let o(f) = 2*f + 4*f - 4*f + 72*f**2 - f. Let r be o(-1). Suppose -k - r = -3*k - 3*m, 169 = 4*k - 3*m. Does 10 divide k?
True
Suppose 24 = 9*t - 3. Suppose 0 = 3*l + 5*j - 116, 4*l = -t*j + 51 + 89. Does 8 divide l?
True
Let m(x) = -x**2 - 5*x + 16. Let l be m(-7). Suppose -q = 2*b - 16, -l*q = -b - b + 16. Suppose b*k - k = 511. Is k a multiple of 18?
False
Let p(f) = -f**3 - 27*f**2 - 53*f - 50. Let t be p(-25). Suppose t*g - 19*g - 7242 = 0. Is 17 a factor of g?
True
Let y be (-184)/(-3) - (-29)/(-87). Let o = -50 + y. Let z = o - -143. Is 22 a factor of z?
True
Let i(t) = 4*t - 127. Let v be i(36). Let q = 1 + -6. Let g = q + v. Does 12 divide g?
True
Suppose -2*l - 4*j + 95 - 357 = 0, -506 = 4*l + 2*j. Let m = l + 193. Suppose 0*t - 4*h = -t + m, 0 = -h + 2. Is t a multiple of 7?
False
Let o = 7 - 108. Let t = o + 175. Does 34 divide t?
False
Let u be ((-15 + 14)*3)/(0 + -1). Suppose -4*s - 120 = -7*s. Suppose -3*k + 2*k + 12 = w, u*w - k - s = 0. Is w a multiple of 2?
False
Let i be 24/(-10) - (-6)/15*1. Let c be 5/15*(i - -695). Suppose 0 = -a + k + c, a - 3*k + 889 = 5*a. Is a a multiple of 24?
False
Let h = -623 - -621. Does 41 divide h/7 + (-54261)/(-63)?
True
Let r = 272 + -24. Suppose -2*z + 1208 = 5*f, -f - z + r = z. Does 12 divide f?
True
Is (14 - 348/24)/(3 - (-11500)/(-3832)) a multiple of 7?
False
Suppose -g + 10 = -4*l, -2*g + 53 - 13 = -4*l. Let d = -1735 + 1847. Suppose -g*f = -26*f - d. Does 28 divide f?
True
Let w(n) = 13*n**2 + 3. Let h(i) = -i + 1. Let m(s) = -5*s + 3. Let l be m(1). Let z(t) = l*h(t) + w(t). Does 3 divide z(-1)?
True
Let o(t) be the third derivative of t**5/20 + 7*t**4/12 - 14*t**3/3 - 59*t**2. Is o(-9) a multiple of 4?
False
Let u be (1 - 15 - -3)/((-1)/2). Suppose 0 = 5*r - 3*v - 0 - 39, 2*r - u = -2*v. Suppose r*k = 868 + 185. Is k a multiple of 9?
True
Let j(x) = -x**2 + 11*x - 8. Let q be j(10). Suppose 5*f - q*d + 4*d = 2250, f - 3*d = 433. Suppose -16*z = -20*z + f. Is 14 a factor of z?
True
Let n be ((-252)/8)/21 - 18/4. Let w(c) = -19*c - 55. Is w(n) a multiple of 10?
False
Suppose 5*f - y + 3*y = 491, 2*y - 95 = -f. Suppose 5*b = -x - 31 + f, 5*x - 2*b - 475 = 0. Let c = x - 56. Does 21 divide c?
False
Let z = -23925 - -25965. Does 60 divide z?
True
Let n(l) = 4180*l**2 - 20*l + 8. Does 24 divide n(-3)?
False
Let c(n) = 74*n - 20. Let g(u) = -33*u + 10. Let x(r) = -3*c(r) - 7*g(r). Suppose -v = 2 - 6. Is 13 a factor of x(v)?
True
Suppose -2*m - 77*w + 82*w = -4307, -2*w = -6*m + 12830. Is 79 a factor of m?
False
Suppose -86 = -17*u - 35. Suppose u*m - 481 = -t, m + 5*t = 42 + 95. Is m a multiple of 18?
True
Let u be 1*(-1573)/(-22)*(2 + 0). Let f = u - 71. Is f a multiple of 4?
True
Let d(i) = -i - 1. Let o(w) = 27*w - 14. Let u(j) = d(j) + o(j). Suppose -33*q + 8 = -32*q. Does 12 divide u(q)?
False
Suppose -41*x + 171 = -157. Is 5 a factor of 1570/4 + ((-20)/x - -5)?
True
Let d be -1 - 12/8*-2. Suppose 2*t - 78 = d*i - t, -t = 2*i + 70. Is 6 a factor of i/16*264/(-9)?
True
Let j(w) = w + 2. Let u(k) = 400*k - 3. Let x(r) = 5*j(r) - u(r). Is 8 a factor of x(-1)?
True
Let k(y) = 97*y**2 - 9*y + 9. Let c be k(1). Suppose 0 = -8*i + c + 423. Is 6 a factor of i?
False
Suppose 0 = -2*h - 3*y + 11066, 16*h = 18*h - 3*y - 11054. Is 14 a factor of h?
True
Let j(k) = 417*k**2 + 4*k - 3. Let c be j(1). Is 26 a factor of (-12 - (-8 - 1))*c/(-6)?
False
Let g = 104 + -70. Suppose 0 = c - 5*c + 20, -3*h - 5*c = -g. Suppose h*a - 388 - 53 = 0. Is 21 a factor of a?
True
Let c(j) = 18*j + 0*j**3 + 6*j - j**3 + 12*j - 14*j**2 - 98. Is c(-17) a multiple of 3?
False
Suppose -48*l - 332*l = -74*l - 383724. Does 114 divide l?
True
Suppose -f - 6 = -4*f + n, -2*f + 2*n = -4. Suppose -3*z + 4*c - c = -675, -z + 230 = -f*c. Is 11 a factor of z?
True
Suppose 29*y - 28*y + 4*v - 394 = 0, -4*y - v + 1561 = 0. Is 26 a factor of y?
True
Let i = -51031 + 96306. Is 35 a factor of i?
False
Let z(u) = -3*u**3 - 3*u**2 + 19*u + 91. Let x be z(-4). Suppose 2*k - x = 3*c - 2*c, -3*c + 252 = 3*k. Does 27 divide k?
True
Does 7 divide (-4)/(-14) + (-30)/56 - (-305449045)/19220?
False
Let s(t) be the first derivative of t**5/60 - t**4/6 - t**3/3 + 4*t**2 + 7. Let q(h) be the second derivative of s(h). Is q(7) a multiple of 2?
False
Let z(q) = 2*q**2 - q + 11. Let n be z(-9). Suppose -2*c + 5*p + 82 = 0, 4*c + p = 2*p + n. Is c a multiple of 23?
True
Suppose c = -2 - 2. Does 21 divide 2508/7 - c/(-14)?
False
Is (-3224)/78*(-2694)/12*3 a multiple of 9?
False
Let a(h) be the first derivative of 2*h**3/3 + 3*h**2 - 13*h - 222. Suppose 2*o - 3*x = o - 3, 5*x = 15. Is a(o) a multiple of 30?
False
Let g be (-10)/4*(-8 - -6). Suppose -9*m + g = -8*m. Suppose 392 = 2*b + m*b. Does 8 divide b?
True
Suppose 6*f = 2248 + 6014. Suppose -2*i - 5*q + 545 = 0, 0 = -5*i + 13*q - 11*q + f. Does 25 divide i?
True
Let l(q) = q**3 - q**2 - 1. Let o(a) = -3*a**3 - 8*a**2 + 6*a + 18. Let t(b) = -2*l(b) - o(b). Let s be t(-10). Suppose m = -14 + s. Is 30 a factor of m?
True
Let i(y) = 3*y**3 - 7*y**2 + 19*y - 15. Let l be i(7). Suppose -4*r + 4*c + l = -592, 0 = -2*r - c + 695. Is r a multiple of 12?
True
Suppose -78225 = -138*h + 86961. Is h a multiple of 19?
True
Suppose -270270 = 9*l - 54*l. Does 14 divide l?
True
Let s = -96 - -123. Let w = 88 - s. Suppose 0 = x + 3*q - 17, 3*x + 0*q - q = w. Does 20 divide x?
True
Let n(l) = -l**3 + 5*l**2 + 6*l + 5. Let g be n(6). Suppose 0 = 4*s - 4*c + 64, g*s + c = 3*c - 83. Is s/(1 - (0 + (-12)/(-8))) a multiple of 31?
False
Let l(f) = 58*f**3 + 3*f + 1. Let u be l(-2). Let m be 1 + 4 + (-9 - -4). Is (-1 + m)*u/7 a multiple of 8?
False
Suppose 11*i = 3 - 14. Is 85 - i/(2/16*2) a multiple of 15?
False
Let i(d) = -d - 3. Let l be i(-5). Suppose -3*o - 22 = -5*v, -l*o - 12 = -3*v + v. Does 23 divide (2/4)/(v/732)?
False
Let x(d) = d**2 + 3*d - 6. Let o be x(-4). Let i = o - -16. Suppose 0 = -5*v + 2*m + 56, 2*v + 3*m = m + i. Is v a multiple of 10?
True
Suppose 0 = 2*z - 29083 + 9585. Is z a multiple of 30?
False
Suppose 5*b + 31940 = 2*t, -380*t + 375*t = b - 79904. Is 68 a factor of t?
True
Let x(l) = -2*l**2 - 103*l - 126. Let d be x(-50). Is 6 a factor of (360/(-42))/((d/(-21))/8)?
True
Is 15*(-680)/(-90)*(-36)/(-10) a multiple of 51?
True
Suppose -5*r + 595 - 66 = -761. Is r a multiple of 86?
True
Does 128 divide 5*31560/(-50)*6/(-4)?
False
Suppose 11*k - 5 = 6*k. Is k*-1 - (-20520)/60 a multiple of 23?
False
Let g(y) = 185*y - 216 + 74 + 77 + 80. Is 40 a factor of g(1)?
True
Let k be 898 + -910 - ((-3)/4)/(2/8). Let t(q) be the second derivative of -q**4/12 - 13*q**3/6 - 5*q**2 - q. Does 6 divide t(k)?
False
Let q = -254 + 249. Is 6/2 - q - -120 a multiple of 12?
False
Suppose 0 = -3*b + 3*g + 873, 0 = 5*b + g - 2*g - 1451. Suppose -6*u + b = -706. Let k = 262 - u. Does 24 divide k?
True
Let i be (0 - 30/(-3) - 3) + -2. Suppose -i*a + 3 = 