5*l - 4*o = 4*l + 890. Is l a multiple of 19?
False
Suppose 3*h = 4163 + 373. Is h a multiple of 21?
True
Let q(h) = 6*h + 15. Let u be q(-3). Is (-8 - u) + 2 - -28 a multiple of 5?
True
Let m(d) = 21*d**2 - 26*d - 19. Does 50 divide m(10)?
False
Let x(l) = 20*l**2 - 2*l - 5. Let y(r) = 21*r**2 - 2*r - 6. Let d(b) = 6*x(b) - 5*y(b). Let i be d(2). Suppose -2 = -4*h + 5*h, -i = -2*g - h. Does 29 divide g?
True
Let m(g) be the first derivative of g**5/20 + 2*g**4/3 + g**3/2 - 13*g**2/2 - 3*g - 2. Let z(a) be the first derivative of m(a). Is 10 a factor of z(-6)?
False
Let j = 16 + -5. Suppose 3*t + j = -1. Does 8 divide t/(-5)*275/22?
False
Let w = 1114 + 519. Does 98 divide w?
False
Suppose -14*w + 595 = -7*w. Does 17 divide w?
True
Let r(c) = 3*c**2 - 15*c - 26. Let b be r(12). Suppose -3*m = -b - 368. Is m a multiple of 10?
False
Suppose -y = 5, -k - 5*y + 3*y = -465. Does 61 divide k?
False
Let w(t) = -t**2 + 4*t + 8. Let p be w(5). Suppose p*g - 2 - 241 = -4*i, -3*g + 5*i + 216 = 0. Is 11 a factor of g?
True
Let r be 2/((0 - 2) + 3). Let d(l) = -3*l**2 - 3*l**2 + 9*l - l**r + 4 - l**3 + 3*l**2. Does 11 divide d(-6)?
True
Suppose -1806*v = -1814*v + 448. Is 7 a factor of v?
True
Suppose 3*c = 2*c - 10. Let p be 4/c + 114/10. Suppose 0 = 2*t - p - 35. Does 9 divide t?
False
Suppose 0 = -j + 3*b + 2 - 15, -5*j - 3*b = -7. Is (3 + -3 - 47)*j*1 a multiple of 8?
False
Let a = -977 + 131. Let z = 582 + a. Does 16 divide 2 + 5/((-15)/z)?
False
Suppose 1320*c + 4446 = 1326*c. Is 19 a factor of c?
True
Suppose 24 = -0*w - 4*w. Let n = w + -6. Let t(i) = i**2 + 10*i + 2. Is t(n) a multiple of 13?
True
Suppose 3*i - 50 = -5*j - 0*i, -3*i + 8 = -j. Let v be 954/21 - 3/j. Is (-18)/v + (-304)/(-10) a multiple of 10?
True
Let s(h) = 4*h**2 - 2*h - 2. Let o be s(2). Let k = 10 - o. Suppose 0 = -k*u - 4*u + 116. Is u a multiple of 7?
False
Let z(c) = 2838*c**2 - 11*c + 11. Does 22 divide z(1)?
True
Let y(t) = 4*t**2 - 40*t + 26. Is y(14) a multiple of 20?
False
Suppose 8*u + 12 + 12 = 0. Let w(d) = -57*d + 28. Is 13 a factor of w(u)?
False
Let x(p) = -17*p**2 + 2*p + 5. Let m be x(-3). Let w = 307 + m. Does 27 divide w?
False
Suppose 0 = -5*f - 5*p - 0 - 5, -p = -3*f + 13. Suppose -2*x - 3 = -2*a - 1, 3*a + 2*x - f = 0. Let v = 2 + a. Is 3 a factor of v?
True
Let a = -1487 + 1983. Is 129 a factor of a?
False
Let n = 11 - 7. Let o(c) = -3*c**3 - 10*c**2 - 8*c + 10. Let l(i) = -i**3 - 5*i**2 - 4*i + 5. Let h(k) = -5*l(k) + 2*o(k). Is 9 a factor of h(n)?
True
Let b(w) = w - 4. Let k(j) = j - 5. Let c(x) = -4*b(x) + 3*k(x). Let u be c(-2). Suppose -3*o + u*g + 13 = -95, 0 = -4*o + 3*g + 141. Is 22 a factor of o?
False
Suppose -2*t + 549 = 3*f, -2*f = t - 282 - 85. Does 5 divide f?
True
Suppose -8*c + 7*c = 0. Suppose -7*u + 3*u + 8 = c. Suppose 0 = -u*w + 17 + 15. Is 8 a factor of w?
True
Suppose 3*c + 5*l - 38 = 0, 3*c - 4*l - 55 - 28 = 0. Suppose 0 = -3*g - 3*r + 21, 0 = 4*r - 5*r + 5. Suppose -7 - c = -g*v. Does 7 divide v?
True
Let h = 62 + -54. Suppose x + 3 = h. Is x a multiple of 2?
False
Let l(n) = 679*n + 2 - 681*n - 14. Let c = 28 + -41. Does 4 divide l(c)?
False
Let a(l) = l**2 - 3*l - 2. Let b be a(4). Suppose -4*u - b*r - 488 = -9*u, 0 = -3*u - 3*r + 276. Is u a multiple of 8?
True
Is (-1)/11 + 19719/77 a multiple of 32?
True
Let n be (-14)/4*576/(-112). Suppose -510 = n*u - 23*u. Is u a multiple of 6?
True
Suppose 0 = -2*k + 152 - 12. Does 10 divide k?
True
Let x be (-3)/((2/(-8))/1). Suppose -6*i = -10*i + x. Suppose 0 = -j + i*j - 26. Is 5 a factor of j?
False
Let r be (-178)/3 + (-4)/6. Let h(m) = m**3 + 16*m**2 + 16*m + 22. Let w be h(-15). Is 10 a factor of (-13)/(182/r)*w?
True
Suppose -10*t + 8*t = -6. Is (144/32)/(t/140) a multiple of 10?
True
Suppose -4*o + 3731 = -325. Does 37 divide o?
False
Is (5245/(-10) + -5)*8/(-12) a multiple of 10?
False
Suppose -4*k + 0*k = -10192. Suppose -n - 2*l = 3*n - k, 5*l - 1918 = -3*n. Is (-2)/(-9) - n/(-54) a multiple of 12?
True
Suppose 0 = d - 1906 + 186. Suppose d = 12*f + 16. Is 17 a factor of f?
False
Let a(m) = 6*m**2 - m. Let g(p) = 5*p**2 - 2*p + 1. Let s(t) = 4*a(t) - 5*g(t). Let u be s(4). Suppose 5*x - 154 = -2*y, u*x + 44 = 4*x - 4*y. Does 16 divide x?
True
Let h be (1/3)/((-15)/(-1035)). Suppose -h = -9*b + 4. Does 24 divide 143/b + 2/6?
True
Suppose -5*l + 2835 = -5*o, -7*l - 4*o + 2808 = -2*l. Is l a multiple of 20?
False
Let n = 20 - -12. Suppose 4*s - 3*k + n = 0, 4*s + 2*k = -k - 32. Is 174/8 + (-2)/s a multiple of 14?
False
Suppose u - 4*q = 17, 2*q + 5 = u - 4*u. Let c(s) = 27*s**2 + s. Is c(u) a multiple of 6?
False
Let t(q) = -2*q + 1. Let f be t(0). Let h be 21 + (-1)/(0 - f). Let x = -15 + h. Is x even?
False
Let o = 12 + -8. Suppose -o*s + 0*s = -12. Suppose s*c - 2*c - 95 = -5*y, -5*y - 3*c + 85 = 0. Is y a multiple of 10?
True
Let f be (8/(-6))/(11/(-66)). Let w(z) = 2*z**2 - 11*z - 7. Does 9 divide w(f)?
False
Let n(u) be the third derivative of u**6/120 + u**5/60 + 53*u**3/6 + 13*u**2. Does 19 divide n(0)?
False
Let t(o) be the third derivative of -o**4/8 - 26*o**3/3 - 46*o**2. Is t(-21) a multiple of 11?
True
Suppose -2*j + 3*p + 1634 = 0, 4*p + 1638 = 4*j - 2*j. Is 41 a factor of j?
False
Suppose 17*b - 12*b - 3720 = -4*j, 3*j = 0. Is b a multiple of 13?
False
Let b be (-8 + 4)*1593/(-6). Let v = b - 326. Is 34 a factor of v/7 - 9/63?
False
Let v = 1935 + -836. Is v a multiple of 9?
False
Let n be (-3)/(-5) + (-612)/(-30). Suppose 5*h = n + 154. Is 5 a factor of h?
True
Suppose 31*p = 33*p + 6. Let z be (-1)/(-3) + (-98)/p. Suppose -3*y + z + 87 = 2*x, -2*x + 162 = 4*y. Is 16 a factor of y?
False
Let i = -272 + 322. Is 25 a factor of i?
True
Let t(s) = s**3 + 11*s**2 + 2. Suppose 4*p - 10 = 2*p, -v - 1 = 2*p. Let d be t(v). Suppose -3*r = d*c - 2*r - 21, -2*c + 9 = -3*r. Does 9 divide c?
True
Let j(o) = o**3 - 5*o**2 - 21*o - 9. Is 3 a factor of j(9)?
True
Suppose -6*o - 9 = -33. Suppose -o*y = 4, -2*t = -2*y - 0*y - 256. Is t a multiple of 38?
False
Suppose -s = -12 - 6. Let f = s - 16. Suppose 42 = 3*x - 3*k, -f*x - 4*k - 2 = -3*x. Is x a multiple of 7?
False
Let a(l) = -l**3 - 7*l**2 - 3*l + 4. Let p be a(-6). Let f be 12/(-42) + (-844)/p. Suppose 0 = -4*c + 40 + f. Does 6 divide c?
False
Suppose -81*u + 6842 = -59*u. Is 11 a factor of u?
False
Does 5 divide (3/(-6))/(-1*(-2)/(-536))?
False
Suppose -25*p - 10320 = -37*p. Is p a multiple of 10?
True
Suppose 2*w - 2*a - 184 = 0, 2*w - 270 = -w + 5*a. Let b be (6/1)/((-6)/51). Let f = b + w. Is 22 a factor of f?
True
Let m(v) = v**3 + 54*v**2 + 2*v + 275. Is m(-54) a multiple of 31?
False
Let m(l) = -l**3 + 8*l**2 - l + 5. Let c be m(8). Suppose -f - 6 + 23 = 0. Let q = f - c. Is 9 a factor of q?
False
Let x(m) = -19*m**2 - 28*m**2 - 2*m + 41*m**2 - 5*m - m**3 - 16. Does 21 divide x(-7)?
False
Let o = -290 - -640. Is o a multiple of 50?
True
Let x(p) = -13*p**3 + 4*p**2 - 2*p - 3. Let g be x(-3). Suppose 7*o - 2*o - g = 0. Is o a multiple of 17?
False
Let l be (-7)/(462/(-15102)) + 2/11. Suppose -a + 1 = 0, -5*a + l = -7*f + 11*f. Is 56 a factor of f?
True
Let b(u) = u**3 + 15*u**2 - 28*u - 66. Is 36 a factor of b(-15)?
False
Let k(l) = -180*l**3 + 2*l**2 - 1. Let a be k(1). Let o = -126 - a. Is 10 a factor of o?
False
Suppose 0 = 3*m + m. Suppose -q - 4*q - 165 = m. Let l = 1 - q. Does 21 divide l?
False
Suppose -14 = -f - r, -f - r - 6 = -2*f. Suppose -s + f + 27 = -3*y, 146 = 3*s - 2*y. Is s a multiple of 13?
True
Suppose -c - 12 + 17 = 0. Suppose -4*d - 125 = -c*x - 35, x + 5*d - 47 = 0. Is 11 a factor of x?
True
Let v(z) = -z**3 - 16*z**2 + 32*z + 236. Is v(-19) a multiple of 6?
False
Is ((-168)/140)/((-1)/1150) a multiple of 115?
True
Let h = 9250 + -6123. Suppose h = 11*l + 949. Is 23 a factor of l?
False
Let o(t) = 6*t - 154. Does 7 divide o(35)?
True
Let k(p) = -14*p**3 + 3*p**2 - 2*p + 4. Let l be k(2). Is 18 a factor of (240/l)/(1/(-30))?
True
Suppose 0 = 6*k + 199 + 11. Let f = k + 28. Let z(b) = -b**2 - 11*b - 9. Is z(f) a multiple of 16?
False
Let s be (-3)/15 - 64/(-20). Suppose -4*o = s - 15. Suppose -v + o*v - 18 = 0. Is 3 a factor of v?
True
Let h be (381/(-18) - 5) + 1/6. Does 4 divide (4 - h) + -5 + 7?
True
Let x = 21 - 22. Let t(o) = 14*o**2 - o. Does 5 divide t(x)?
True
Let m be (-26)/(-117) - 232