 21. Suppose -3*t + 2*t = -3*m - 8, 4*t + 13 = -3*m. Does 45 divide b(m)?
False
Is (100 + -99)*(663*1 + -1) a multiple of 20?
False
Let j(s) = 8*s + 4. Let x(z) = z**2 - 8*z - 6. Let o be x(9). Suppose 0 = o*a + 5*h - 9, 3*a - 4*h - 6 = a. Is j(a) a multiple of 6?
False
Let g(t) = -393*t - 276. Is 17 a factor of g(-2)?
True
Let k = 856 + 1834. Is k a multiple of 26?
False
Let n(d) be the third derivative of -5*d**4/24 + d**3/3 + d**2. Suppose 4*t = 4*g - 20, 0 = -0*t - 2*t + 3*g - 11. Is n(t) a multiple of 11?
True
Does 56 divide (1 - 3477/(-7)) + 22/77?
False
Does 2 divide 16/(2/(-50)*(6 - 11))?
True
Let g(c) = -c + 25. Let q be g(7). Suppose -10 = q*f - 20*f. Suppose d - 92 = -r - 26, -f*r - 310 = -5*d. Is d a multiple of 32?
True
Let s = -564 - -1007. Does 55 divide s?
False
Does 7 divide (0 - (-1 - 9)) + 42/(-21)?
False
Let c(g) = -g**2 - 27*g - 16. Let r(y) = -y - 1. Let p(i) = c(i) - 5*r(i). Is 32 a factor of p(-15)?
False
Suppose 3690 = 13*y - 3824. Does 17 divide y?
True
Let a = -3 + 3. Let p = a - 24. Is 13 a factor of (p/40)/(2/(-130))?
True
Let s(x) = -318*x - 734. Is 25 a factor of s(-13)?
True
Let k = -78 + 243. Is 13 a factor of k?
False
Let u(b) = -b**3 - 10*b**2 - 8*b + 8. Let n be u(-10). Suppose 5*l + 3 = n. Suppose 3*o = c + l + 18, -o - 5*c = 15. Does 10 divide o?
True
Let g(v) = 4*v**2 - 8*v + 11. Let p be (-34)/(-10) + 32/(-80). Is 11 a factor of g(p)?
False
Suppose -5*f = -15 - 15. Let x = -1 + f. Suppose -2*k + x*a - 2*a + 82 = 0, 3*k - 3*a = 117. Is 13 a factor of k?
False
Suppose 2169 = 26*w - 5943. Is w a multiple of 3?
True
Suppose -2*s - 14*l = -15*l - 866, 5*s - 3*l = 2164. Does 31 divide s?
True
Let t(m) = 15*m - 3. Let z be t(-13). Let a = z - -282. Is a a multiple of 7?
True
Suppose 0 = -3*r - 3*y - 159 + 594, 5 = 5*y. Does 8 divide r?
True
Let l = 10 + -34. Let d = l + 40. Is d a multiple of 16?
True
Let j(m) = 2*m**2 - m - 4. Let s be j(3). Suppose -s - 10 = -3*d. Let c(r) = 2*r**2 - 8*r + 9. Is 10 a factor of c(d)?
False
Let s be 2 + -4 - 16/(-2). Suppose g - s*g = 5*h - 80, 2*h - 24 = -4*g. Suppose -5*a + 20 = -h. Does 4 divide a?
True
Let w(l) = l**2 - 21*l + 11. Let f be w(9). Let h = 55 - f. Is 20 a factor of h?
False
Let h = -107 + 49. Let c be 6/(-4)*h/1. Suppose 117 + c = 2*x. Is 34 a factor of x?
True
Let u = 6 - -3. Suppose -28 = 2*d - 5*x, -3*d - u = -2*x + 11. Does 3 divide (-1 - -3)/(d/(-10))?
False
Suppose -3*q + 8 = 2*y, 0*q - 16 = -4*y + 5*q. Suppose -11 = 3*g + 2*g + y*a, 3*a + 12 = 0. Suppose 2*j = -5*o + 58, o + 23 - g = j. Is 24 a factor of j?
True
Let t be (0 + 2)*-1 - -5. Let m(s) = s**3 - 5*s**2 + 11*s - 2. Let i be m(3). Suppose -3*z - 2 = -v - 3, -t*v + z + i = 0. Does 4 divide v?
False
Let k(r) be the second derivative of r**4/2 - 7*r**3/6 + 4*r**2 + 4*r. Is k(3) a multiple of 5?
False
Let v(m) = 23*m**2 - 7*m - 1. Let z be v(-3). Suppose 2*o = 49 + z. Is o a multiple of 20?
False
Suppose -2*o + 4678 = -x, 4*o = -4*x + 989 + 8379. Suppose 23*c - 10*c = o. Is c a multiple of 10?
True
Let r(c) = 3*c - 9. Suppose -3*t - 6 = -24. Let b be r(t). Suppose 8*o - b*o + 23 = 0. Is 23 a factor of o?
True
Let p = -18 - 51. Let o = p + 30. Let s = 106 + o. Does 19 divide s?
False
Suppose 0 = 3*z - r - 1131, -5*r = -z - 2*z + 1131. Is 13 a factor of z?
True
Let w(s) be the first derivative of -15*s**2 + 0*s**2 - 6*s - 3*s**2 - 3 + 4*s**2. Does 26 divide w(-3)?
True
Let o = 4430 - 2439. Does 17 divide o?
False
Suppose 0 = -q - 1 - 1. Let v be q + (0 + -2 - -4). Suppose v = 3*x + 2*x - 80. Does 16 divide x?
True
Let c(f) = -80*f - 50. Does 50 divide c(-3)?
False
Suppose 0 = 96*q - 61*q - 13860. Is q a multiple of 18?
True
Suppose -5*a - 2*d + 3 = -76, -4*d + 68 = 4*a. Let i = a - 28. Let k = 17 + i. Is k a multiple of 2?
True
Suppose -2*j - x = -760, -3*x + 7 = -5. Is j even?
True
Let p be 1 - (1 + -123 + (-1 - -4)). Suppose -l + 7*l = p. Does 6 divide l?
False
Let x = 2407 + -1926. Is x a multiple of 13?
True
Let t = 70 + -69. Does 12 divide 0 + (0 - (-170 - (-2)/t))?
True
Suppose 0 = -199*u + 188*u + 26356. Is 11 a factor of u?
False
Suppose 2*o = -5*a + 1266, -3*a = -4*o + 283 - 1053. Is a a multiple of 8?
False
Let k = -29 + 135. Suppose -5*b = -8 - 17. Suppose 14 = b*w - k. Is w a multiple of 24?
True
Does 3 divide ((-3)/(-3))/(-5) - 272/(-10)?
True
Let v(d) = 6*d. Let o = 10 - 4. Let j be v(o). Suppose 2*h = h + j. Is h a multiple of 12?
True
Let u = -4 - -19. Suppose 5*y - u + 5 = 0. Is (3*2)/(y/24) a multiple of 24?
True
Let k be 177*-3*(-6)/27. Suppose -k = 5*a - 7*a. Is a a multiple of 15?
False
Let q be (-2)/(-3 + (-5)/(-2)). Let d be (-4)/(-3 + 4/q). Suppose d*z = 4*z + 3*s - 32, -3*s = 0. Is 16 a factor of z?
True
Let v = 147 + 746. Is 19 a factor of v?
True
Let s = -77 + 29. Let h = 80 + s. Is 15 a factor of h?
False
Suppose -3 = -8*j + 5*j. Let q = j - -17. Is q a multiple of 6?
True
Suppose 175 = g - 764. Does 32 divide g?
False
Suppose -6*b = -2*b + 12. Is (3 - 303/b) + -4 a multiple of 18?
False
Let u be 0 + ((-3)/3 - -3). Suppose -3*y + 119 = -k, -y - 118 = -4*y + u*k. Does 14 divide y?
False
Suppose b = -2*n + 175, -2*n = -b + 6*b - 195. Is 14 a factor of n - (-1 + (4 - 3))?
False
Let r = -48 + 154. Let t = r - 60. Let x = t + -29. Does 9 divide x?
False
Let j be 124/8 - (-4)/8. Let i = 24 - j. Is 4 a factor of i?
True
Let x(n) = 21*n. Let m = 9 + -8. Let r be m*2*3/6. Is 7 a factor of x(r)?
True
Let l(w) = -6*w + 4. Let t be l(-4). Let s = -2 + t. Let z = 12 + s. Does 12 divide z?
False
Suppose -5*s - 3*n = -2374 - 5330, -4*s + 5*n + 6141 = 0. Is 81 a factor of s?
True
Suppose 0 = l - 2*h + h + 3, -h = -2*l - 3. Let c = -112 - -127. Suppose l*y = y - c. Does 10 divide y?
False
Suppose 744 = 12*x - 852. Is x a multiple of 5?
False
Suppose n - 2*c + 4*c = 12, -3*n = 3*c - 27. Let o be n + -6*(-2)/(-4). Suppose 5*z = s - 33, 4*s - 143 = -s + o*z. Is 12 a factor of s?
False
Suppose -3 = 2*g - 6*g - 3*u, 2*g + 31 = 5*u. Let a(w) = -w**3 + 3*w**2 + 2*w + 4. Does 14 divide a(g)?
False
Let g be 6/9*3 + -4. Let a(f) = -2*f**2 + 20*f**2 + 2 - 5 - f - 3*f**2. Does 13 divide a(g)?
False
Suppose y - 2 = 8. Is 5 a factor of ((-125)/y)/(3/(-6))?
True
Let i = 417 + -109. Is 7 a factor of i?
True
Let w(r) = r**3 + 8*r**2 - 6*r - 5. Let f(s) = s**3 + 8*s**2 - 5*s - 4. Let o(b) = 6*f(b) - 5*w(b). Let a be o(-8). Is a/(-3) + 194/6 a multiple of 8?
True
Let c(b) = -36*b - 2. Suppose 17*t + 20 = 7*t. Is c(t) a multiple of 19?
False
Suppose -2*x + 3*x + 4*t - 24 = 0, -x + t = -24. Does 24 divide x?
True
Let o(x) = 13*x + 27. Let c(n) = 53*n + 108. Let l(a) = 2*c(a) - 9*o(a). Does 11 divide l(-8)?
False
Let r = 16 - 17. Does 12 divide ((-3)/r - -43) + -4?
False
Suppose -3*p + 9357 = z, -15 + 3 = 4*z. Is p a multiple of 15?
True
Let q = 149 - -93. Is 22 a factor of q?
True
Suppose -11*v = -16*v. Suppose 4*t = -4*s + 28, -s = 4*t - v*s - 34. Does 3 divide t?
True
Let i = -178 + 298. Does 20 divide i?
True
Let g(w) = -3*w**2 - w + 2. Let i be g(0). Suppose f = -2*s + 30, i*f = -4 + 8. Is 14 a factor of s?
True
Let a(q) = q**2 + 3*q - 1. Let g be a(2). Let k = 64 + -62. Suppose 665 = g*n - k*n. Does 17 divide n?
False
Suppose g - v - 9 = 0, -5*v - 6 = 4. Is 5 a factor of g?
False
Let j(z) = -z + 4. Let b be j(2). Suppose -2*u + 112 = -4*m, -u = 2*u - b*m - 164. Suppose 0*s = 4*s + 3*i - u, 0 = -i + 2. Does 6 divide s?
True
Let z = -298 - -507. Does 25 divide z?
False
Let o(n) = 4*n**3 - 2*n**2 - 7*n - 9. Let j(w) = -7*w**3 + 5*w**2 + 13*w + 17. Let i be 15*(24/9 + -3). Let p(g) = i*o(g) - 3*j(g). Is p(6) a multiple of 6?
True
Suppose -6*f + 5 = -11*f. Let s be f/(-4 + 1)*0. Suppose 0 = -5*o - 3*y - 22 + 337, s = -o + 2*y + 50. Does 15 divide o?
True
Let g be (-46)/(-4)*(-4)/(-2). Let z = 33 - g. Is z a multiple of 10?
True
Let c(y) = 2*y**2 - 2*y + 1. Let d be 4/3*3/2. Let l be c(d). Suppose l*r = -2*s - 0*s + 34, 4 = 2*r. Does 12 divide s?
True
Let f(c) = 2*c + 6. Does 10 divide f(5)?
False
Let a be (5/2)/(5/(-10)). Let y = 25 - a. Is y a multiple of 6?
True
Suppose 222 = 2*f + f + 5*n, -5*f = -4*n - 407. Suppose -11*p + 12*p - f = 0. Does 11 divide p?
False
Let c = 244 - 92. Is 80 a factor of c?
False
Suppose 3229 = 41*k - 1896. Is k a multiple of 25?
True
Let x(t) = -t**3 + 15*t**2 + 16*t + 2. Let 