uppose 2*y - 33 = 11. Let p = -24 + y. Is 11 a factor of (-2 + -2)/p + 9?
True
Let x(y) = -24*y**3 + y**2 - y. Let w = -18 - -17. Is x(w) a multiple of 13?
True
Suppose 0 = -3*f - 2*f. Suppose -r - 2*t = -f*r - 95, -t - 407 = -4*r. Does 6 divide r?
False
Let k(d) = -d + 19. Let h = 1 - -3. Let n be (h + -2 - 6) + 15. Is k(n) a multiple of 2?
True
Suppose 3*j = 4 + 11. Suppose 0 = -z - 25 + j. Let o = z + 36. Is o a multiple of 8?
True
Let z(q) = 102*q. Is z(2) a multiple of 17?
True
Let a = 3061 - 1684. Is a a multiple of 26?
False
Let x(o) = -o - 8. Let t = 5 + -5. Let f be x(t). Let l = f + 46. Is 22 a factor of l?
False
Let d be -2 + (-52)/39 + 1/3. Let j(q) = 13*q**2 + q + 1. Does 20 divide j(d)?
False
Let o = 167 + 2580. Does 13 divide o?
False
Let g(a) = -a**2 + 11*a + 10. Let m be g(12). Let u(b) = -b**2 - 5*b - 1. Let x be u(m). Suppose 2*v = k - 21, 2 = -5*k + x*v + 102. Does 19 divide k?
True
Does 26 divide 328/(8/20*(-20)/(-8))?
False
Let l(g) = -10*g + 35 + g**2 - 7*g + g**2 - 2*g. Is 16 a factor of l(14)?
False
Let k(z) = 10*z**2 + 8*z + 14. Let d be (-3)/18 - (-92)/(-24). Does 18 divide k(d)?
False
Let g be (-2)/2*-2 + 2. Suppose -5*b + 13 = 3. Suppose 124 = g*r - b*r. Does 15 divide r?
False
Let a(t) = t**3 + 8*t**2 + 6*t - 2. Let s be a(-5). Suppose -s = -3*r + 101. Suppose -10 = -2*v + r. Does 7 divide v?
False
Suppose 4*y = -8, -3*g + 2*g + 3*y = 3. Is 2 a factor of (g/(-6))/(129/60 - 2)?
True
Suppose -3*l - 2*f = -9, 5*l = f - 3*f + 19. Suppose t + 5*v - 25 = 4*t, l*v - 25 = -t. Suppose -5*d + 5*u + 140 = t, 4*d - 5*u = 2*d + 50. Does 10 divide d?
True
Let d = 405 - -60. Suppose -4*o = l - 459, 0 = -3*o - o - 3*l + d. Let m = 163 - o. Is m a multiple of 11?
False
Suppose -4*o + o = -42. Let c(p) = -p**3 + 15*p**2 - 8*p - 9. Does 15 divide c(o)?
True
Let w = -103 + 355. Is 14 a factor of w?
True
Let u = 25 + -41. Is 20 a factor of (-45)/6*u/12*20?
True
Let t(j) = -j**3 + 45. Let m be (19 + -19)*(-2 - (-1)/1). Does 9 divide t(m)?
True
Let r(v) = -v**2 - 13*v + 6. Suppose 0 = 2*k - 3*f + 3 - 12, 4*k - f = 3. Suppose -5*i - 20 - 10 = k. Does 23 divide r(i)?
False
Suppose 2*x = 2*v + 5*x + 18, 0 = v - 2*x - 5. Let z(q) = 4*q**2 + 2*q + 8. Does 4 divide z(v)?
False
Is 14 a factor of (56/(-8))/((-2)/4)?
True
Suppose 168 = -6*a - 162. Let g = -25 - a. Is g a multiple of 17?
False
Suppose -2*d + 2 = -68. Let j = -22 + 33. Let p = d - j. Is 5 a factor of p?
False
Let n = -8 + 18. Let h = n + 9. Is h a multiple of 3?
False
Let g(q) = q**2 - 6*q + 9. Let n be g(4). Let f(x) = -1. Let z(t) = -20*t + 15. Let u(j) = n*z(j) + 4*f(j). Is u(-5) a multiple of 29?
False
Let d(a) = -50*a**3 - 3*a**2 - 2*a. Let s be d(-1). Let g = 95 - s. Does 23 divide g?
True
Let g(k) = -4*k**2 + 7*k - 18. Let p be g(5). Let l = p - -105. Is l a multiple of 11?
True
Let w(s) be the first derivative of -41*s**2/2 + 5*s + 9. Let r be w(-5). Suppose -5*g + 325 = 4*a, -4*a + 52 = -2*g + r. Does 23 divide g?
True
Suppose -3*o = 2*o. Suppose -5*s + n + 308 = o, 0*s + 258 = 4*s + 5*n. Suppose 3*l = s - 11. Is l a multiple of 17?
True
Suppose 74*h + 762 - 7200 = 0. Is 29 a factor of h?
True
Suppose -48 = y + 4*b, 0*b - 2*b = 5*y + 312. Let r = 113 + y. Is r a multiple of 10?
False
Let p(s) = s**2 + 3*s - 7. Let x be p(7). Suppose x = -i - 2*i. Let b = -12 - i. Does 9 divide b?
True
Let q(t) = t**3 + 22*t**2 + 4*t - 12. Is q(-21) a multiple of 15?
True
Let m(o) = -o**3 - 5*o**2 + 4. Let v be m(-5). Suppose 304 = 4*q - 5*b, q = v*q - b - 217. Let x = -31 + q. Is x a multiple of 10?
True
Let q be (72/(-4))/((-3)/2). Let v(c) = -c + 8. Let a be v(q). Does 15 divide 48 + (-6)/8*a?
False
Let j(l) = 18*l**2 + 43*l + 382. Does 21 divide j(-8)?
False
Is 27 a factor of (-10690)/(-18)*2 - (-2)/9?
True
Suppose -6901 = -5*c + 2294. Is 70 a factor of c?
False
Let h(i) = i**3 + 1. Let p be h(1). Suppose -5*d = -6*d + p. Let g(x) = 19*x**2 + 3*x - 2. Does 26 divide g(d)?
False
Suppose 602 = 5*r - 2298. Suppose -5*o + r = -0*o. Does 22 divide o?
False
Does 17 divide (-10)/15 + 1912/6 - -5?
True
Let r be (8/3)/(7/105). Does 31 divide 31/(r/12 - 3)?
True
Suppose 0 = -8*m + 7*m + 2. Suppose -201 = -m*p - 57. Does 18 divide 4 + (p - (1 - -3))?
True
Let g be ((-4)/(-14))/((-3)/(-21)). Suppose 0 = 3*u - m - 62 - 41, g*u = 4*m + 52. Suppose -n + u = n. Does 9 divide n?
True
Suppose -19*q = -14*q - 10370. Is q a multiple of 16?
False
Suppose 2*m - 13 + 7 = 0. Suppose -t = -2*k + 51, 5*t + 71 = m*k - k. Does 2 divide k?
False
Suppose -h = -5*b + b - 461, 5*h = -b + 2221. Is h a multiple of 5?
True
Let f(y) = y + 11. Suppose -7*a = -3*a. Suppose 3*i + 13 + 5 = a. Does 3 divide f(i)?
False
Let u(q) = q**3 - 12*q**2 + 5*q - 7. Let s be u(14). Suppose 0 = 6*z + s - 89. Let a = 101 + z. Is a a multiple of 20?
True
Let z(i) = -i - 5. Let q be z(-8). Suppose q*d + 230 = 6*d + 4*u, 5*u - 95 = -d. Does 10 divide d?
True
Let h = 1470 - 2085. Let x = -384 - h. Does 9 divide x?
False
Suppose 0 = 4*j - 6*w + 2*w - 12, 5*w + 1 = -2*j. Let u be 105*(-9)/(180/(-16)). Suppose 4*m - 80 = h, -2*m - j*m = -2*h - u. Does 7 divide m?
False
Suppose -1437 - 474 = -7*s. Is s a multiple of 13?
True
Let p = 44 + -42. Suppose 3*f + p*f = 470. Is 16 a factor of f?
False
Suppose l + 2*a - 171 = 4*a, 0 = -4*l - 5*a + 710. Suppose 20*z - l = 15*z. Does 7 divide z?
True
Let x(q) = 3*q**2 - 4*q - 1. Let b be x(3). Let k = b - 16. Does 2 divide (1/k)/((-1)/14)?
False
Suppose 9*k + 9 = 12*k. Let y(t) = 11*t**2 + 4*t - 6. Is 15 a factor of y(k)?
True
Does 11 divide (-1*(-3 - 1))/((-39)/(-858))?
True
Suppose 5*c - 5*z = 0, -2*c + c + 3*z = 6. Does 6 divide ((-2)/2)/(c/(-75))?
False
Let n = 411 - 141. Suppose -i - 2*i + 180 = 3*o, -5*o + n = -i. Is 4 a factor of o?
False
Let q(w) = w. Let m(k) = -3*k + 48. Let c(i) = 5*i - 97. Let x(y) = 2*c(y) + 5*m(y). Let n(h) = 6*q(h) + x(h). Does 27 divide n(0)?
False
Let a = -166 + 1687. Is 117 a factor of a?
True
Suppose -3*g - 7 = -2*y, g + 10 = -3*g + 2*y. Let v be (0 - -1) + g - -19. Suppose -5*h - v = -67. Is h a multiple of 10?
True
Let i be 8*(5/2 - 2). Suppose 3*n + 3*x = x - i, 4*x + 10 = -5*n. Does 5 divide -10*(9/n)/(-3)?
True
Let o(t) = 4*t + 24. Let y(u) = u**3 - 2*u**2 + 3*u - 6. Let i be y(3). Is 20 a factor of o(i)?
False
Let p be (-3)/(12/(-116)) + -1. Let v = p - 22. Suppose -v*o + 204 = 84. Is 10 a factor of o?
True
Is 8 a factor of ((-8)/15)/(-4) + 6232/60?
True
Suppose 5*v - 2442 = 2*n, -n = -4*v + 2*n + 1955. Does 3 divide v?
False
Let q(i) = 1210*i**2 - 11*i - 13. Does 8 divide q(-1)?
True
Let u(g) = 9*g**2 + 44*g + 130. Does 14 divide u(-4)?
True
Let f be (27/12)/((-6)/128). Let v = f + 132. Is v a multiple of 14?
True
Let u = 293 + 112. Does 5 divide u?
True
Let u be 3*((-24)/156 + 142/78). Suppose u*o = -2*x + 165, -3*x + 2*o = -0*x - 257. Is 33 a factor of x?
False
Let t = 3117 - 378. Does 17 divide t?
False
Let c(k) = -k**2 - k + 1. Let p be c(2). Let f(l) = l**3 + 7*l**2 + 4*l + 6. Does 9 divide f(p)?
True
Suppose 7*l - 771 = 27. Suppose -3*z = 3*r - l, 5*r - 2*z = -4*z + 187. Is 5 a factor of r?
False
Let z(o) = o**2 + 4*o + 1690. Is z(0) a multiple of 10?
True
Suppose 5*x + 3*r = 17 + 15, 3*x = 5*r - 8. Let y be 1/(-4) + (-295)/x. Let o = -52 - y. Does 17 divide o?
False
Suppose 0*t + 14 = t. Let z(g) = g**2 - 14*g + 3. Let p be z(t). Suppose 2*s - 100 = -5*l, l - p*s = 2 + 1. Is 10 a factor of l?
False
Suppose -4*m + 5*d = -724, d = 4*m - d - 724. Suppose -709 + m = -8*k. Is k a multiple of 11?
True
Does 79 divide (-4)/20*5*-1185?
True
Let q = 151 + -63. Is (q/12 + -2)*78/4 a multiple of 21?
False
Let a be ((-6)/(-4))/(2/4). Suppose -a = -j + 30. Is j a multiple of 5?
False
Suppose o = -2, 2*o + 7 = -k - 2. Does 18 divide 36/20 - 2 - 271/k?
True
Let a(p) = 2*p**3 + 3*p**2 + 10*p - 16. Is a(4) a multiple of 30?
False
Let b be (-68)/(-3)*(-3 + 6). Suppose 3*c + c - b = 0. Let s = -9 + c. Does 4 divide s?
True
Let m(k) = k**3 - 6*k**2 + 7*k + 1. Let t(g) = g**3 - 2*g + 1. Suppose -5*i = -4*v + 8, i = -i. Let s be t(v). Does 9 divide m(s)?
False
Suppose -3*o + 154 = -2*y, o = 4*y - 9*y + 57. Is o a multiple of 4?
True
Let z be ((-171)/2 + 1)/((-2)/4). Let h = -107 + z. Does 23 divide h?
False
Suppose 3*c + 21 = -2*n, -n + 5*c = 2*n - 16. Let d = 13 + n. Is (2 -