-14))/13 a multiple of 13?
False
Let p(n) = -n**2 + 6*n - 5. Let x(j) = j. Let q(s) = -p(s) + x(s). Let u be q(6). Suppose 5*a + 14 = -f, 6 + u = 2*f + a. Does 2 divide f?
False
Suppose u + 2135 = -5*c, -2*u = -0*u - 10. Let k(i) = -i**2 + 3*i - 6. Let x be k(6). Is 18 a factor of c/x - 3/(-18)?
True
Let i(n) = -27*n - 40. Let j be i(-10). Let a = -130 + j. Is a a multiple of 25?
True
Suppose -4*y + 1088 = 2*u, 1100 = 5*y - y + 5*u. Suppose 0 = -0*s + 2*s - y. Is s a multiple of 15?
True
Suppose 16 = -4*m - 0*m. Let t(j) = -1. Let h(z) = -8*z + 12. Let l(d) = h(d) + 12*t(d). Is 14 a factor of l(m)?
False
Let v be (144/14)/(18/63). Suppose -3*a - v = w - 192, -2*a = -5*w - 104. Does 13 divide a?
True
Let a = -43 - -55. Let w = 27 - a. Is w a multiple of 12?
False
Is 706*(35*1/5 + -6) a multiple of 61?
False
Let g(u) = 3*u**2 + 42*u + 135. Is g(-26) a multiple of 9?
True
Let z(g) = -23*g**2 - 27*g - 9*g**3 + 8*g**3 + 22 + 20. Is 19 a factor of z(-22)?
True
Let n = 502 - 1192. Let v(f) = f**3 - f**2 + f + 21. Let y be v(0). Is 6/y + n/(-35) a multiple of 20?
True
Suppose -2*b - 2*v - 7 = -31, 5*b - 2*v - 74 = 0. Let k = -15 + b. Does 3 divide ((-3)/(-9))/(k/(-27))?
True
Suppose t = -b + 682, -3396 = 40*b - 45*b + 2*t. Is 3 a factor of b?
False
Let q be (-4)/(-26) + 2785/65. Suppose -13 = -2*n + q. Is n a multiple of 17?
False
Let y be ((-2)/(-4))/(2/(-120)). Is 31 a factor of (y - 1)/(-10 + 9)?
True
Let o(d) = 225*d. Let u(j) = 8*j. Let f(r) = -6*o(r) + 170*u(r). Let y be f(-1). Is (-5)/y + 134/4 a multiple of 17?
True
Let h(y) = y**3 - 5*y**2 + 6*y - 20. Is h(7) a multiple of 20?
True
Let b(n) = -77*n**3 + n**2 + 2*n. Is 76 a factor of b(-1)?
True
Let f(n) = n - 7. Let k be f(7). Suppose -x = -2*v + 2, 0*v + 5*v - 25 = k. Is 5 a factor of (x/5)/(1/10)?
False
Let q(t) = t**3 - 22*t**2 + 25*t + 74. Is 30 a factor of q(21)?
False
Let j = -19 + 5. Suppose -13*n = -16*n + 75. Let t = j + n. Does 8 divide t?
False
Let t be (-384)/(-160)*(-30)/(-8). Let b(u) = -9*u**2 - 12*u + 4. Let m(j) = -j**3 - j**2 - 1. Let l(y) = -b(y) + m(y). Does 7 divide l(t)?
False
Let y(c) be the first derivative of c**4/4 - 5*c**3/3 - 3*c**2 - 6*c + 3. Let t be y(8). Suppose 63 = 3*j - t. Does 29 divide j?
False
Let x(z) = 23*z + 223. Does 3 divide x(10)?
True
Let h(g) = -g**3 + 12*g**2 + 174*g - 9. Is h(16) a multiple of 17?
True
Let z(d) = d**2 + 3*d - 12. Let b be z(-6). Suppose -3*r - 4*p = -b*r + 573, -p - 582 = -3*r. Does 29 divide r?
False
Suppose 0 = -3*p - d + 240, 6*p - 5*d = p + 420. Does 3 divide p?
True
Suppose 2*u = -m + 7*u + 21, 5*m = 2*u + 36. Let b = -2 + m. Suppose -7 = 2*z - 3*z + 2*q, b*q - 7 = -z. Is z a multiple of 3?
False
Let j be (23 - -20) + (0 - 3). Suppose 0 = 4*f - 6*f + j. Is f a multiple of 5?
True
Let b(l) = l**2 + 14*l + 1. Let c be b(-14). Let g(k) = 148*k**3. Is 37 a factor of g(c)?
True
Let i = 1350 + -891. Is i a multiple of 51?
True
Let z(u) = 53*u**3 - u + 1. Let v(y) = -y**2 - 6*y + 8. Let x be v(-7). Let f be z(x). Suppose -f = 4*a - 185. Is a a multiple of 19?
False
Let s = 1774 - 918. Suppose 15*y = 7*y + s. Is 10 a factor of y?
False
Let j(h) = -7*h**3 - 8*h**2 - 15*h - 5. Is 75 a factor of j(-4)?
True
Let f be (-3)/27 + 37/9. Suppose -2*l - 56 = -b - 20, f*b - 4*l = 156. Is 6 a factor of b?
True
Let m(r) be the first derivative of r**3/3 + r**2/2 + r - 237. Let i(z) = -7*z**3 - 1. Let u be i(-1). Is m(u) a multiple of 23?
False
Let k(r) be the first derivative of 11*r - 14 - 3/2*r**2. Does 13 divide k(-5)?
True
Suppose 5*h + 5*w = 35, 2*w + 3*w - 15 = 0. Suppose 3*q + 1 = 7. Suppose -q*o + 0*o - 94 = -h*c, 0 = 2*c - 5*o - 59. Is 12 a factor of c?
False
Suppose -7*y + 6*y = -143. Suppose -3*b = -8*b - 4*s + 230, 0 = 4*b - 5*s - y. Is b a multiple of 4?
False
Is ((0 - 4) + -35)*8/(-6) a multiple of 13?
True
Suppose 0 = 24*z - 33*z + 1710. Is z a multiple of 7?
False
Suppose 0 = 3*y + 5*a - 103, -134 = -4*y + 5*a - 10*a. Is y a multiple of 31?
True
Suppose -7 = -4*q + 5. Suppose -2*r + 485 = q*r. Is r a multiple of 18?
False
Let y be ((-28)/(-8))/(-7)*-638. Let s = y + -115. Is s a multiple of 44?
False
Let h(s) = 522*s - 17. Is 8 a factor of h(1)?
False
Let d(z) = -9 - 3*z - 2*z + 6*z**2 + 17. Is d(-5) a multiple of 37?
False
Let r = 3260 + -1322. Is r a multiple of 19?
True
Suppose -3*x + 492 = -4*i, -4*i + 145 = x + i. Is 40 a factor of x?
True
Let r be 16/(-12)*(0 + 3). Let a(z) = 2*z**2 + 5*z. Is 4 a factor of a(r)?
True
Suppose 17*h = 14*h + 246. Suppose -3*u + 6*u + 3*g - 87 = 0, 0 = -2*u + 4*g + h. Does 3 divide u?
True
Let i = -4 + 1. Let u = -1 - i. Suppose 0 = -2*w + u*a - 7*a + 102, -104 = -2*w - 4*a. Is w a multiple of 15?
False
Let c be 4 - 2 - (0 - 0). Let t(n) = 2*n**2 - 3. Let v be t(c). Suppose o = -v + 40. Does 8 divide o?
False
Suppose -6*w - 32 = -4*w. Let y = w - -10. Is y/12 + 57/6 a multiple of 2?
False
Suppose 0 = -11*l + 12*l - 6. Does 10 divide (-49)/(-4) - l/24?
False
Let c = 94 + -49. Suppose c = 8*i - 3*i. Is -4 - (i*4)/(-1) a multiple of 8?
True
Suppose -816 + 9132 = 28*f. Does 9 divide f?
True
Let g = -80 + 561. Does 44 divide g?
False
Let c = 5 - -4. Let o = c + 21. Does 30 divide o?
True
Suppose -4*z - 17 = -t, -5*t = -z - 165 + 61. Is 7 a factor of t?
True
Let y(v) = v**2 + 8*v + 5. Let m(c) be the third derivative of -c**5/60 - c**3/6 + 6*c**2. Let q(l) = -3*m(l) - y(l). Is 11 a factor of q(6)?
True
Let s(p) be the first derivative of 7*p**4/4 + p**3 - 2*p - 1. Is 2 a factor of s(1)?
True
Let i(n) be the second derivative of 3*n**5/20 - 5*n**3/2 - n**2/2 - n. Let s(h) = -h**3 + 7*h. Let d(v) = -2*i(v) - 5*s(v). Does 11 divide d(-3)?
True
Let r = 28 + -7. Suppose -6 = 5*y - 3*y + 5*a, -4*a - 30 = -2*y. Suppose -y*l + 6*l = -r. Is 21 a factor of l?
True
Does 11 divide (8 + 1084/10)/(3/10)?
False
Is 1 + -5 + (3 - (-352 + -4)) a multiple of 10?
False
Let f be 6/(-3) - (-3 - 4). Suppose s + f*h + 61 = 0, 0*s - 365 = 5*s - 5*h. Let l = s + 115. Is l a multiple of 22?
True
Let q be (-8 + 6)*(-54)/4. Suppose 2*s + 3*s = 10. Suppose -2*p + 2*w + 74 = 0, s*p = 3*p + w - q. Is 9 a factor of p?
False
Let r = 304 + -249. Is 5 a factor of r?
True
Suppose 0 = -3*h - 2*h + 525. Suppose 69 = 3*z - h. Is 22 a factor of -3 - 3/(-6)*z?
False
Let v = 11 + -17. Let q = 6 + v. Suppose 0 = 4*l - q*l - 72. Is 5 a factor of l?
False
Let a be (2/6)/((-5)/135*-3). Suppose -3*u + 861 = 3*r, -a*r + 61 = -2*u - 775. Is 20 a factor of r?
False
Let x(y) = -y**3 + 15*y**2 - 5*y + 20. Is x(14) a multiple of 57?
False
Does 34 divide ((-47)/(-8) - 3/(-24)) + 38?
False
Let x(b) = -360*b + 420. Does 30 divide x(-4)?
True
Suppose 15*g - 31666 + 9286 = 0. Does 76 divide g?
False
Let h = 75 - 108. Let x = -50 - h. Is 5 a factor of x/(-3) - (-4)/(-6)?
True
Let z = 10 + -6. Suppose -5*r = -d - 8, 4*d - 2*r - z = -0*d. Suppose -j - d*v = -58, -v + 93 = 2*j - 29. Does 31 divide j?
True
Let x(k) = k + 9. Let b be x(-4). Suppose 0 = -b*n + 2*n + 123. Is n a multiple of 4?
False
Let d(a) = a + 2. Let j be d(-2). Suppose j = 4*w - 186 - 114. Let i = 111 - w. Is i a multiple of 18?
True
Suppose -6*o + 2350 = -2486. Is o a multiple of 62?
True
Let n be -1 - -14 - 4/4. Let x = -9 + n. Suppose s + 3*h - h - 25 = 0, -85 = -x*s + 4*h. Does 27 divide s?
True
Suppose -5*s + 340 = -20. Suppose -j + 4*n + s = 2*n, j + n - 66 = 0. Does 2 divide (-1)/(-3) - j/(-12)?
True
Let k = 972 - 755. Does 8 divide k?
False
Let h be (-33)/(-6) + (-6)/4. Suppose -80 = -o - h*o. Does 16 divide o?
True
Suppose -4 = -5*j + 5*n + 6, 3*j = -n + 10. Suppose -j*s - 5*o + 288 = 0, -s = 4*o - 130 + 41. Is s a multiple of 18?
False
Suppose -2*c + 6*c = 0. Suppose -350 = -5*y - c*y. Let j = y + -46. Does 24 divide j?
True
Suppose -96*r = -91*r - 2720. Is r a multiple of 62?
False
Let r(d) be the first derivative of 2*d**3/3 - d**2 - d - 14. Let z be r(2). Suppose z*u = 7*u - 268. Is u a multiple of 30?
False
Suppose -j = -t + 4, j - t = 2*t - 4. Let m(u) = -3*u. Let v be m(4). Is (-122)/j + 6/v a multiple of 10?
True
Suppose r + 9 = 3*c - 3, 3*r + 4*c = 29. Let v(u) = u**2 + 2*u. Let m be v(r). Suppose -3*y + 0*y = -m. Is y a multiple of 4?
False
Let b(f) = -5*f**2 + 4*f - 9. Let m(q) = q + 1. Let t(h) = b(h) + 4*m(h). Let x(d) = -11*d**2 + 16*d - 11. Let n(u) = 13*t(u) - 6*x