 Let c = -31 + 26. Is 10 a factor of k(c)?
False
Is 395 - ((-4)/6)/((-4)/48) a multiple of 37?
False
Suppose -45158 = -4*g - 2*z, -18*z + 21*z + 56442 = 5*g. Does 53 divide g?
True
Let u = -11 + -17. Let t be (0 + 2)*1722/u. Is 2 - t - (-5 + 4) a multiple of 9?
True
Is 94 a factor of (-11)/(99/(-564))*819/26?
True
Suppose w - 49 = 23. Let r = w + -128. Let o = -23 - r. Is o a multiple of 9?
False
Let y = -1140 - -2907. Suppose 0 = -6*l + y + 1935. Does 37 divide l?
False
Let m be 6*6 + (-7 - -4). Let g be (-3280)/(-12)*(m/15 + -1). Let r = g + -203. Is 52 a factor of r?
False
Let g be (-24)/10*(-5)/2. Suppose 0 = g*b - 2*b - 16. Does 14 divide (-540)/(-10) + -2 + b?
True
Suppose 3*w = 7 + 5. Suppose 0 = -6*p + w - 4. Suppose 4*k + 2*u + u - 32 = p, -34 = -2*k + 3*u. Is k a multiple of 5?
False
Suppose -56012 = 152*q - 171*q. Does 9 divide q?
False
Is (3/(-42) + (-10575)/(-658))/((-2)/(-50)) a multiple of 16?
True
Suppose 0 = -9*z + 51 - 33. Suppose z*t + 0*g = -g + 68, -g = 4. Does 6 divide t?
True
Suppose k = -4*w - 0*k - 19, -3*w - 4*k - 24 = 0. Let s be 12/4 + -2 - w. Suppose 432 = 4*z - s*d, 5*d = 4*z + 2*d - 432. Is z a multiple of 25?
False
Let a(d) = 7*d**3 - 19*d**2 + 97*d - 1984. Is a(18) a multiple of 11?
True
Let o(s) be the second derivative of -5*s**2 + 0 + 1/6*s**4 - 7/6*s**3 - 10*s. Is o(10) a multiple of 20?
True
Let n(u) = -100*u + 1650. Is n(-9) a multiple of 34?
True
Suppose -2295 = -26*x + 9*x. Does 10 divide (4 - x/(-1))*1?
False
Let n be (-18)/(-10) - 1/(-5). Let x(g) = 26*g**3 - 5*g**2 + 6*g - 10. Is x(n) a multiple of 19?
True
Let f be -4*(-1 + 2/(-16)*-2). Suppose -r - 9 = 2*a, -4*r + 6*r = -f*a - 16. Is (0 - 69)/1*(a - 1) a multiple of 32?
False
Let g(z) = -4916*z**3 + 8*z**2 + z - 3. Is 39 a factor of g(-1)?
False
Is 14 a factor of -24 - (-14 - (-8 + 172))?
True
Let l(y) = 4*y**2 + 6*y - 1. Let d(g) = -3*g**2 - 7*g + 1. Let j(b) = 3*d(b) + 4*l(b). Let a be j(2). Suppose 2*u = 3*o + a, -o + 3 = 2*o. Is u a multiple of 8?
False
Suppose 0 = 5*q - 5*v - 12025, -44*q + 41*q + 2*v = -7210. Is q a multiple of 15?
True
Is (-13041)/(-8) + (-11)/88 a multiple of 48?
False
Let o(f) = f**3 + 8*f**2 - 32*f + 13. Let g be o(-11). Suppose 19*n - 21*n = g*v - 1180, -1178 = -2*v - n. Is 42 a factor of v?
True
Suppose -4*s + 2*a + 286 = 0, s - 79 = 5*a - 6*a. Let f = -9 + s. Does 6 divide f?
False
Suppose 367*p - 364*p + 2*v - 13668 = 0, 4*p + 2*v = 18228. Is p a multiple of 12?
True
Let a be -8 - (-63)/7 - -2. Let b(m) = 91*m**2 + 2*m - 8. Is 11 a factor of b(a)?
False
Let w be 26/117 + 18219/27 + 1. Let f = w + -94. Is 4 a factor of f?
False
Suppose 0 = -10*l + 13*l. Suppose 0*x - 3*x + 61 = 5*j, j + 3*x - 5 = l. Let m = j - 10. Is 3 a factor of m?
False
Let y(n) = 7*n**3 + 4*n**2 - n - 1. Let p(t) = 15*t**3 + 7*t**2 - t - 3. Let q(f) = -2*p(f) + 5*y(f). Is 21 a factor of q(2)?
False
Suppose 4*v = -3*c + 7071, 1342 + 440 = v - 4*c. Is 3 a factor of v?
True
Let t = -16 + -8. Suppose 3*b = -5*g - 20, -3*b + 3*g + 12 = -6*b. Does 6 divide t*(b + 15/6 - 3)?
True
Let q(r) = 4*r**2 - 219 - 7*r + 448 - 209. Is 11 a factor of q(13)?
True
Let g(v) be the third derivative of 199*v**5/60 - v**4/3 + 7*v**3/6 - 5*v**2. Let a(r) = -75*r - 374. Let q be a(-5). Is g(q) a multiple of 21?
False
Is 16 a factor of (-40)/(-5) - 4*34796/(-16)?
False
Let c(y) = y**2 - 4*y - 1. Let g be c(5). Suppose 2*m - g*u = 62, m - 36 = -0*m + 3*u. Suppose -m*k - 180 = -24*k. Does 30 divide k?
True
Suppose 5*b - 2*f + 61 = 47, -8 = -4*f. Does 14 divide (1533 - -14) + (-1 - (b + 3))?
False
Let b be 120/14*(-14)/(-4). Suppose -y = -6*y + b. Does 26 divide (y/(-15) + 262/5)*1?
True
Let l = 39 - 59. Let w(o) = -o - 39. Let i be w(l). Let n(g) = -g + 36. Does 11 divide n(i)?
True
Let h be ((-180)/1)/(-5)*(-7)/(-21). Suppose h*f - 10416 = -2928. Does 8 divide f?
True
Let p be -4*7/238 - (-2)/17. Suppose -394*t + 398*t - 352 = p. Is t a multiple of 66?
False
Let j(p) be the third derivative of -20*p**4/3 - 15*p**3/2 + 57*p**2. Does 15 divide j(-3)?
True
Suppose -179*u = -175*u + d - 32417, u - d - 8098 = 0. Is 18 a factor of u?
False
Let j(x) = -26 - 14 + 2*x + 75 - 18 - x. Let g be 2 + -2*1 + 7. Is j(g) a multiple of 10?
False
Suppose 4*m - 142*j = -141*j + 1320, -3*m + 2*j = -990. Is 6 a factor of m?
True
Let f = -37223 - -44867. Is 13 a factor of f?
True
Suppose 0 = -2*j - 16*o + 12*o + 218, -331 = -3*j - 2*o. Does 4 divide j?
False
Suppose -3*y = -5*i + 20 + 35, -2*i + 3*y + 22 = 0. Let b(k) = 3*k**2 + 14*k - 50. Is b(i) a multiple of 38?
False
Does 30 divide (-72)/14*69/(1035/(-3500))?
True
Suppose 0 = -2*c + 6 + 16. Let y(q) = 19*q**2 + 21*q - 7. Let x(m) = -11*m**2 - 11*m + 4. Let n(d) = -7*x(d) - 4*y(d). Does 22 divide n(c)?
True
Suppose -3*b - 23 = g, b - 2*b - 2*g - 16 = 0. Let l be 99/(-6) + 6/4. Does 28 divide ((-10)/l - 2/b)*28?
True
Let b be ((0 + 0)*(-5)/10)/1. Suppose -x + 121 = -b*x. Suppose -5*c = -124 - x. Is c a multiple of 16?
False
Let u be (-20)/(-8) - (1 + (-1)/2). Let r(v) = -2*v**2 + 3*v + 2. Let a be r(u). Suppose -3*z + 14*z - 1122 = a. Does 12 divide z?
False
Let r(w) = -12 - 9*w**2 + w**3 - 5*w**2 + 9*w**2 + 7*w**2 + 7*w. Is 16 a factor of r(4)?
True
Suppose 19*l = -10*l + 271585. Suppose -l = -13*x - 2501. Is 16 a factor of x?
True
Suppose -3*v + 10416 = 3*n, 21 - 51 = 5*n. Is v a multiple of 37?
True
Suppose 0 = 22715*n - 22718*n + 8268. Is n a multiple of 53?
True
Let r = 23645 + -13081. Is 19 a factor of r?
True
Suppose 3*f = -h + 23, 0 = -h - f + 15. Let m(x) = -7*x**2 + 33*x + 8. Let j(v) = -8*v**2 + 34*v + 9. Let n(k) = 4*j(k) - 5*m(k). Is 20 a factor of n(h)?
True
Let k(u) = 29*u - 196. Let l be k(7). Suppose l*z = 700 + 700. Is z a multiple of 25?
True
Is (-110)/22*1/(-5) - (-6 + -8589) a multiple of 21?
False
Let o(b) = b + 49*b**2 + 13*b**2 - 1 - 8*b**2. Let r = -4987 + 4988. Is 18 a factor of o(r)?
True
Suppose -3*n = 878*l - 879*l + 16527, -4*n - 16533 = -l. Is l a multiple of 4?
False
Does 41 divide (54/162 - 3658/12)*(-396)/21?
False
Let c(l) = -l**2 - 164*l - 1412. Does 38 divide c(-146)?
True
Let m = 88 - 88. Suppose 2*k - 4*v = 0, k + 4*v - 4 + 10 = m. Is 4 a factor of 1066/130 + k/10?
True
Let q = -229 + 236. Does 14 divide q*32/(3 - 1)?
True
Suppose 2*i = 4*a + 16, 0 = 5*a - i - 4*i + 15. Let v = a + 107. Does 17 divide v?
True
Let l be -2*(-3)/(-12)*-4. Suppose l*q = 3*q + 4. Is q/(-16)*2*8 a multiple of 2?
True
Suppose 79*y + 15101 = 3*w + 81*y, 2*y - 5035 = -w. Is 12 a factor of w?
False
Suppose 5*k - 38869 = 4*o + 63721, 0 = -4*k - 2*o + 82046. Does 39 divide k?
True
Let h = 5747 - 4419. Is 24 a factor of h?
False
Let f be 10/25 + 1 + 146/10. Let i be (2 + -4)/((-4)/f). Let b(v) = v**2 - v - 4. Is 26 a factor of b(i)?
True
Let l = 124 - 122. Suppose l*m + 110 = -8*m. Does 4 divide m/(66/24) - (-15 + 0)?
False
Let w = -746 + 1443. Is w a multiple of 48?
False
Suppose -6*r - 77 = r. Let f(p) = -p**3 - 11*p**2 - 21*p - 7. Let i be f(r). Suppose 11*y - 3*y - i = 0. Is 17 a factor of y?
False
Let t = -938 - -941. Suppose 2*f - 263 = -99. Suppose y - n = f, -2*n + 226 = -0*y + t*y. Is 26 a factor of y?
True
Let o(y) = -y**3 + 21*y**2 - 79*y - 60. Does 4 divide o(10)?
False
Let b(i) = 63*i + 3. Let h = -73 - -35. Let m = 39 + h. Does 15 divide b(m)?
False
Suppose 39*l - 3*h + 391248 = 51*l, 2*h - 32590 = -l. Is l a multiple of 14?
True
Let c = 122 - 200. Let y = c + 78. Suppose -3*o + 13 + 251 = y. Is o a multiple of 8?
True
Let w(o) = 117*o + 29. Let a be w(2). Let c = a + -31. Is c a multiple of 8?
True
Let u(p) = 9*p + 39. Let n be u(-8). Let r = 24 + n. Is (-2)/r - 770/(-18) a multiple of 43?
True
Suppose 3*r = -61 + 1. Let z = r - -24. Suppose 17 = -z*x + 201. Is 9 a factor of x?
False
Suppose -28*q = -97*q + 298080. Is q a multiple of 32?
True
Let k(h) = h**2 - 9*h - 48. Let i be k(18). Let y = 110 + i. Is 14 a factor of y?
True
Let k(l) be the third derivative of l**5/30 - l**4/12 - l**3/2 + l**2. Let u(c) = 11*c + 548. Let y be u(-50). Is k(y) a multiple of 3?
True
Suppose 16*z - 256 = 14*z. Does 17 divide 5 + -9 + z/2?
False
Let f(z) be the first derivative of z**4/2 + 11*z**3/3 - 5*z**2/2 + 7*z - 21. Let k be f(-5). Let x = k + -37. Is x a multiple of 4?
True
Let i = 210 - 206. Does 2 divide (-16)/i*3*(-28)/8?
Tru