8 - -23. Suppose 4*s + 3*r = 33 + 32, 46 = 3*s + d*r. Is s a multiple of 17?
True
Suppose -75 = -k - l, -4*k = -l - 2*l - 335. Is 20 a factor of k?
True
Let l be 13/((-1)/2*-2). Suppose k - l = -2*o - 5, -k - 3*o + 5 = 0. Is k a multiple of 9?
False
Let f = 890 + -417. Does 7 divide (-1)/2 + f/22?
True
Let f(b) = -2*b**2 + 2*b - 3. Let u be f(2). Let y(j) = -j**3 - 6*j**2 + 5*j - 6. Is 8 a factor of y(u)?
True
Let k(n) = -51*n + 1. Let d be k(-1). Suppose -52 - d = -2*l. Suppose -5*b = l - 282. Is b a multiple of 23?
True
Suppose -6*y = -2*y - 124. Does 12 divide y?
False
Let a(x) = -3*x - 2*x + 0*x + 11 + 4*x. Does 6 divide a(0)?
False
Suppose 0 = -4*p - 3 - 21. Is p/(-5)*(-20)/(-6) a multiple of 2?
True
Let g be (3 + 1 + 0)*1. Does 10 divide 1/g - (-158)/8?
True
Let r(s) = s - 1. Let d be r(2). Let g(h) = 19*h - 1. Does 18 divide g(d)?
True
Suppose -2*q = 4*r - 284, r + 361 = 6*r + q. Let o = r + 97. Does 17 divide (10/25)/(2/o)?
True
Does 9 divide (-385)/(-25) - (-2)/(-5)?
False
Let b(w) = 7*w**3 - 14*w**2 + 1. Let i(d) = -d**3 + d**2 - d - 1. Let n(v) = b(v) + 6*i(v). Is n(9) a multiple of 11?
True
Let n(f) = -f**3 - 6*f**2 - 2*f - 7. Let j be n(-6). Suppose 3*b + j*m - 30 - 159 = 0, 0 = -m. Is 21 a factor of b?
True
Let k = 32 + -2. Does 4 divide k?
False
Suppose -25 = -t + 71. Suppose -h = -5*c + t, 0*h = h - 4. Let p = 32 - c. Is p a multiple of 12?
True
Let j(l) = l**3 - l + 1. Let q be j(0). Does 7 divide q/(-6) + 302/12?
False
Let j(d) = -4*d**3 + d**2 + 3*d - 3. Let c be j(3). Let t = c - -145. Is t a multiple of 13?
True
Let s = -3 + 6. Is 14 a factor of 82/6 - (-1)/s?
True
Let a(n) = -n**3 - 9*n**2 - 7*n + 3. Let h be a(-8). Let k(o) = -2*o**3 - 7*o**2 + 1. Does 20 divide k(h)?
False
Is 15/(34/(-396) - 38/(-171)) a multiple of 11?
True
Suppose 2*q + 14 = 4*q. Let j = 0 - 0. Suppose j = 3*g, -q*w + 2*w + 20 = g. Is w even?
True
Let h = 11 - -40. Is 20 a factor of h?
False
Let f(g) be the second derivative of 0 - 2*g - 7/6*g**3 + 1/2*g**2. Is 8 a factor of f(-1)?
True
Suppose -c + 54 = 2*c. Let j = -6 + c. Is 12 a factor of j?
True
Suppose -4*f = -8*f + 20. Let z(x) = 4 + f*x - 2*x - 1. Is 8 a factor of z(4)?
False
Is 6 a factor of ((-9)/(-2))/((6/(-2))/(-24))?
True
Suppose d - 3*d = -912. Is d/21 - 2/(-7) a multiple of 22?
True
Let l be 0 - (-3)/((-6)/(-4)). Suppose -l*x = -6*x + 40. Does 5 divide x?
True
Suppose -4*k + 7*k - 65 = -n, -3*n - 2*k + 223 = 0. Does 11 divide n?
True
Let t be (18/21)/((-1)/(-7)). Let k be (-373)/(-7) + t/(-21). Suppose 2*h - k = -9. Does 11 divide h?
True
Suppose 4*q + 5*y - 170 = -34, 5*y + 9 = q. Does 8 divide q?
False
Suppose 1 + 1 = 2*h - 4*q, 4*h = 5*q + 10. Is 5 a factor of h?
True
Let r(b) = b**2 + 8*b - 4. Let z = -21 + 12. Is 4 a factor of r(z)?
False
Suppose 5*g = 283 - 53. Does 15 divide g?
False
Let a(w) = 12*w. Let z(y) = -23*y. Let n(t) = 11*a(t) + 6*z(t). Let q be n(3). Does 11 divide 4/q + 400/18?
True
Let z(g) = g**3 - 5*g**2 - 5*g + 5. Let w(m) = m + 3. Let s be w(3). Is z(s) a multiple of 11?
True
Suppose -2*y = -2*x - 4, 7*x + 5*y = 2*x + 30. Let w be (3/6 + x)*12. Suppose 0 = 2*l - w + 4. Is 6 a factor of l?
False
Let q(f) = 15*f**3 + 1. Let u be q(-1). Let l = u + 26. Is 12 a factor of l?
True
Let m(w) = w - 2*w - 3*w + 2 + 3*w. Is m(-8) a multiple of 10?
True
Suppose 11*a - 14*a = -96. Does 14 divide a?
False
Let a(m) = -m**3 + 6*m**2 + m - 1. Let r be a(6). Let p(f) = r*f + 4*f + 1 - 8. Is 24 a factor of p(6)?
False
Let j = 86 + -48. Does 14 divide j?
False
Suppose 3*p + 2*p = -5*a - 5, 2*p = a - 2. Let k be a + 0 + -2 - -72. Suppose 2*y + k = 7*y. Is y a multiple of 7?
True
Suppose 0*m = -2*p - 4*m + 576, p = m + 282. Is p a multiple of 24?
False
Let f be (14/(-21))/(2/(-9)). Suppose -f*q - 18 = -4*q. Does 5 divide q?
False
Let w(k) = k**2 + k - 1. Let p(u) = -5*u**2 + 10*u - 4. Let x(r) = p(r) + 4*w(r). Is 10 a factor of x(10)?
False
Let v(g) = -g**3 + g + 47. Let h be v(0). Let m = h - 24. Is 23 a factor of m?
True
Let l(n) = -n**3 - 25*n**2 - 26*n + 24. Does 36 divide l(-24)?
True
Let n be 18/4 + (-1)/(-2). Let h(l) = 6 + l**2 - 1 - l - 2*l. Does 8 divide h(n)?
False
Does 15 divide -3*(-3)/(36/652)?
False
Let r be 6/12*2/1. Suppose -r - 135 = -4*p. Does 17 divide p?
True
Let b(a) = -a + 11. Let i be b(10). Suppose -c = -3*j + 4*c - i, 0 = 3*c - 6. Is 3 a factor of j?
True
Is 2/(-25)*-5*90 a multiple of 29?
False
Let c = 53 + -9. Suppose -c - 18 = -2*b. Does 17 divide b?
False
Let s be (-2 - 1) + (-8)/(-1). Suppose -20 = -s*b - u, -3*u + 0*u = 0. Is b a multiple of 4?
True
Let h(i) = 5*i**2 + 7. Let g(l) = 4*l**2 + l + 6. Let x(v) = 6*g(v) - 5*h(v). Let u = 8 - 4. Is 4 a factor of x(u)?
False
Let m be 1/(-1 + 6/3). Does 9 divide m*(3*6)/2?
True
Suppose 5*i - 19 - 261 = 0. Is i a multiple of 16?
False
Let v(y) = y**2 + 5*y + 3. Let h be (-2)/(-3) + (-40)/6. Is 6 a factor of v(h)?
False
Let l be 3*2/12*4. Suppose 0 = -l*c + 4 + 36. Does 10 divide c?
True
Let s be ((-9)/(-12))/(4/(-64)). Let r be s/42 - (-2)/7. Suppose -3*g - g + 104 = r. Is 13 a factor of g?
True
Let b = -2 - -3. Let q(u) = -u**3 + 5*u**2 + u + 3. Let f be q(5). Suppose -m = b - f. Is m a multiple of 2?
False
Let l = 8 - 6. Suppose l*x + 5*i - 12 = -0*x, -13 = -x + i. Is x a multiple of 6?
False
Let h be (-32)/(-3)*3 - 2. Suppose -4*y = y - h. Does 3 divide y?
True
Let u(w) = -w**3 - 2*w**2 + w. Let z be u(1). Let k = 4 + z. Does 10 divide k*(30/2 - 2)?
False
Suppose 0 = -3*u + 4 + 5. Suppose 8*i + 55 = u*i. Let x = -3 - i. Does 3 divide x?
False
Is 1/6 + 2913/18 + 6 a multiple of 14?
True
Let o(h) = 7*h**2 + 2. Let d be o(2). Let z = d - -2. Is 13 a factor of z?
False
Let i = -287 + 498. Is 48 a factor of i?
False
Let r = 10 - 15. Does 13 divide r - (-1 - 1) - -37?
False
Suppose 2*y + 5*m = -2 - 8, 0 = -y - 4*m - 8. Is (38 + y)*(-1)/(-2) a multiple of 19?
True
Suppose -3*y - 4*g - g = 5, 4*y - 2*g = 2. Suppose y = -4*f + 22 + 10. Let n = f - 2. Is 6 a factor of n?
True
Let q = -9 - -18. Suppose 8*a = q*a - 6. Is 2 a factor of a?
True
Is (516/4)/((-3)/(-2)) a multiple of 16?
False
Let f = -17 - -45. Suppose -f = -2*b - 0*b. Does 14 divide b?
True
Suppose -q - 3*q + 8 = 0. Is 6 a factor of (14/4)/(q/8)?
False
Let c(m) be the first derivative of m**3/3 - 9*m**2/2 + 13*m + 2. Does 13 divide c(9)?
True
Suppose -192 = -4*o - 4*h, 0*o - 3*h - 71 = -2*o. Suppose 0 = 2*d + 2*d + 108. Let n = d + o. Is n a multiple of 14?
False
Let a(d) = -2*d**3 - 1. Suppose -o = 4*b + 14, 5*o - 2*b + 3*b = 25. Let v be (-3 + 6)*(-4)/o. Does 15 divide a(v)?
True
Let q(l) = -5*l - 5. Let i = 5 - 5. Suppose -n - 10 = 3*b - i*n, 4*b + 22 = 3*n. Does 10 divide q(b)?
False
Suppose 65 = c - 7. Let h be 735/(-25) + ((-3)/5 - -1). Let t = h + c. Does 12 divide t?
False
Suppose -75 = -2*h - h. Suppose 5*q = -o + h, -2*o = 2*o - q - 16. Suppose o*z - 2*n = -5*n + 50, 3*z = -4*n + 41. Is z a multiple of 7?
True
Suppose 0 = -k + 4*z + 56, -5*k = -2*k - 2*z - 118. Is 12 a factor of k?
True
Suppose 52 + 4 = 2*l. Let v be (-2 - 0)/(6/9). Does 10 divide (-105)/l*8/v?
True
Let g(k) = 17*k - 3. Let w(a) = -33*a + 5. Let t(d) = 7*g(d) + 4*w(d). Let b(o) = o**3 - 2*o**2 - 3*o - 1. Let h be b(3). Is t(h) a multiple of 5?
False
Let h(n) = -n**2 - 26*n - 3. Is h(-9) a multiple of 6?
True
Suppose 5*u - 497 = -3*g, 2*u + g = 2*g + 190. Suppose 3*j - 16 + u = 0. Let n = -14 - j. Does 7 divide n?
False
Let d(l) = -l**2 - 6*l + 10. Let y be (-9 - -1*2)*1. Let n be d(y). Suppose -n*u + 3*f = f - 31, -u + 5*f + 32 = 0. Is u a multiple of 5?
False
Is 14 a factor of (3/(-9) - -1)/(1/21)?
True
Let k(n) = -n**2 + 13*n - 1. Is k(9) a multiple of 24?
False
Let t be (8/(-20))/((-2)/(-140)). Let w = 44 + t. Does 16 divide w?
True
Suppose 5*w - 4*o + 50 = 0, 2*w = -2*w - 4*o - 4. Let v(a) be the first derivative of -a**2/2 + 6*a + 2. Does 12 divide v(w)?
True
Let p = 45 + -11. Is p a multiple of 11?
False
Let c be (4/6)/((-14)/(-42)). Suppose -2*f + 48 = c*f. Is 11 a factor of f?
False
Is (-12)/36 + (-325)/(-3) a multiple of 32?
False
Let r be ((-1)/2)/(-1)*6. Let w(k) = 0 - 3 - r*k - k + k**2. Is 6 a factor of w(7)?
True
Let j = 57 + -17. Is 7 a factor of j?
False
Let w be (-4)/6 + (-332)/(-12). Let r(g) = -g - 5. Let k be r(-7). Suppose k*m = w - 7. Does 5 divide m?
T