 Is 8 a factor of (0 - c)*(9 - 23)?
True
Suppose -544*a = -543*a + 4*g - 846, 0 = -6*a + 2*g + 4946. Is 118 a factor of a?
True
Let o(m) = m**2 - 20*m - 695. Is 10 a factor of o(-73)?
False
Let k be 8/12*3/(-2). Does 25 divide k/((-355)/(-1267) - (-14)/(-49))?
False
Let g = -2016 - -3371. Suppose 0*h + g = 3*y - 2*h, 4*h - 930 = -2*y. Suppose -y = -9*o + 130. Does 13 divide o?
True
Let z be 47/(1*(-2)/16). Let x = z - -700. Is 33 a factor of x?
False
Let m = 5416 - 3870. Does 5 divide m?
False
Let t be 3/1*(-4 + 3). Let u be t/18 - (-1 + (-2300)/(-24)). Let s = -69 - u. Is 8 a factor of s?
False
Suppose 5*z = 3*p - 2*p - 386, -233 = 3*z - 2*p. Let g be (-1*(-10)/(-1))/((-2)/31). Let m = g + z. Does 6 divide m?
True
Let s = -11225 + 15970. Is s a multiple of 3?
False
Let o = 1323 - -18569. Is 36 a factor of o?
False
Suppose -4*v - 47*a = -48*a - 9547, 0 = -5*v - 2*a + 11937. Is 31 a factor of v?
True
Let n be 12*(1 - (-478)/8 - -1). Suppose u + 2*h - 333 = 7*h, 2*u = -5*h + n. Suppose 4*w - u = 82. Is w a multiple of 22?
True
Let z = 20957 + -16661. Is z a multiple of 42?
False
Let s be ((-42)/15)/(1/560*4). Let u = s + 684. Let h = u + -89. Does 19 divide h?
False
Let m(w) be the first derivative of -5*w**2 + 9*w - 75. Let l(t) = t - 14. Let c be l(10). Is m(c) a multiple of 3?
False
Suppose -3*f + 19 = -0*q - 5*q, -f + 5 = -q. Does 23 divide (-3)/(((-6855)/1370 + 5)*f)?
False
Suppose 28 = 42*v - 140. Suppose v*n - 5*x - 2029 = 0, -3*n + x + 201 + 1318 = 0. Is 11 a factor of n?
True
Let x = -5122 - -9048. Does 71 divide x?
False
Suppose -4*f - 3*c = 140, 2*f + 2*c + 16 + 56 = 0. Does 6 divide 48/f + (-50)/(-4)?
False
Suppose 3051*q - 311875 = 3044*q + 58740. Is q a multiple of 153?
False
Let t(k) = -169*k - 10*k**2 - 171*k + 355*k - k**3 + 73. Is 3 a factor of t(-11)?
False
Let m = 598 + -1875. Does 25 divide (-180)/270 - 2/6*m?
True
Suppose 562*c + 2247113 - 14920213 = 0. Is 22 a factor of c?
True
Let b = 2668 - 1447. Suppose 13*u - 1 - 38 = 0. Suppose -2*p = 3*p - u*y - b, -490 = -2*p + 2*y. Does 32 divide p?
False
Let x = -6315 + 6947. Does 4 divide x?
True
Let k be -23*(1 + 1 + -3). Let v(r) = r**3 - r**2 + 9*r - 46. Let w be v(3). Let h = k - w. Is h a multiple of 3?
True
Let c be 11 - 15 - (-6 + -1). Suppose 32 = 3*b + b + 2*l, -3*b = -c*l - 42. Does 27 divide (36/b)/((-2)/(-15))?
True
Suppose 1720 = -m + 2*z, 2*m + 294 = -5*z - 3128. Let q = -1176 - m. Is 60 a factor of q?
True
Let u(c) = 7*c**2 + 270*c - 121. Is u(-43) a multiple of 41?
False
Suppose h - 8 = 2*f - 3*f, 5*f - 10 = 0. Let k(t) = 17*t - h*t + 0*t + 1. Is 2 a factor of k(3)?
True
Let u(n) = n**2 + 3*n - 28. Let h be u(-7). Suppose 34*z - 29*z - 485 = h. Suppose 6*r + z = 559. Is 11 a factor of r?
True
Let s(x) = -8*x**3 - 3*x**2 + 3. Suppose -t = -2*j - 7 - 6, -38 = -2*t - 2*j. Let h(y) = -2*y + 32. Let g be h(t). Does 11 divide s(g)?
True
Let g(f) = -3*f + 18. Let k be g(5). Suppose -k*p - 5 = -4*p. Suppose -2*q - 4*w = -16, p*q - 66 = 3*w + 13. Does 9 divide q?
False
Let j(l) = 23*l**3 - 10*l**2 + 97*l. Does 5 divide j(9)?
True
Let d = -1924 + 6136. Is 11 a factor of d?
False
Suppose -4*k - 8 = 0, 3*k = -5*b - 0*k + 69. Suppose b*i - 3592 = 1823. Is i a multiple of 19?
True
Let m(y) = y**2 + 17*y + 35. Let r be m(-15). Suppose 0 = 2*d, r*d = -8*s + 3*s + 540. Is 6 a factor of s?
True
Let m = 1579 + 1292. Is 33 a factor of m?
True
Let t = 27685 + -2025. Does 10 divide t?
True
Let c(s) = 77*s**2 + 302*s + 11. Is c(-13) a multiple of 3?
False
Let y(j) = -12*j**3 - 13*j**2 - 5 + 43*j**3 + 7*j**2 + 5*j**2. Does 16 divide y(3)?
False
Let x be (-12)/9*(1 - 597/(-6)). Let a = x + 196. Suppose 2*l + a = t, -l + 79 + 264 = 5*t. Is t a multiple of 17?
True
Is (144/16 - (-84)/(-9))*-1686 a multiple of 39?
False
Does 21 divide (59/4 + 1)/((-243)/(-48600))?
True
Let g = 265 - 422. Does 6 divide (-3 - 1)*-7 - (g - -155)?
True
Let m = 6803 - 5639. Does 12 divide m?
True
Let j(d) = -d**2 - d + 17. Let w be (-5)/((-45)/2) - (-7034)/18. Let a be 4/34 - 46/w. Is 2 a factor of j(a)?
False
Let i(g) = -g**3 + 7*g**2 - 18. Is i(4) a multiple of 23?
False
Suppose -10*d + 4*j = -7*d - 67, 2*d = 4*j + 42. Suppose -8*n + d*n = 5729. Is 31 a factor of n?
False
Let n = -92 - -92. Does 6 divide (145 + 1 - n) + (0 - -4)?
True
Suppose 24*n + 4796 = 13*n. Let o = -322 - n. Does 19 divide o?
True
Let b = 8017 - 6997. Is b a multiple of 15?
True
Suppose 3*m = 5*f - 8789, 5*f - 5284 = -2*m + 3490. Does 4 divide f?
True
Suppose -8*u + 17*u - 135 = 0. Suppose 0 = -21*w - u*w + 2628. Is w a multiple of 6?
False
Suppose 2*n - 86*k + 81*k - 12229 = 0, 4*k + 12230 = 2*n. Does 49 divide n?
False
Suppose 2*x + 0*x - 142 = 4*w, -5*w + 5*x = 175. Let c = w + -16. Is 15*(4 + c/(-20)) a multiple of 11?
True
Let m(j) = 2868*j**2 - 5*j + 3. Is m(1) a multiple of 2?
True
Let x(n) = 6442*n + 271. Does 21 divide x(3)?
False
Suppose -2*n - 29 = -3*g, 4*n = -6*g + 10*g - 40. Suppose -g*y + 3750 = -1596. Is 22 a factor of y?
True
Suppose 133*n = 96471 + 235896. Is n a multiple of 119?
True
Suppose 0 = -996*n + 1025*n - 1653. Does 32 divide n?
False
Is ((-3)/7 - 541493/3297)*(-109 + 1) a multiple of 143?
False
Suppose 5*j = 9 + 16. Suppose j*g - 650 = 3*g. Is g a multiple of 23?
False
Let u = -236 - -243. Suppose -2*d = -2*m + 366, -3*m + 3*d = u*d - 521. Is m a multiple of 8?
False
Let d = -43 + 36. Let w = 10 + d. Suppose c - w*p = -2*p + 163, p = -3. Is c a multiple of 11?
False
Does 17 divide (0 - (1 - (-18)/(-14))) + (-10745904)/(-952)?
True
Let a(l) = -73*l + 105. Let m be a(-15). Suppose -104*t - m = -116*t. Is t a multiple of 3?
False
Suppose 2 + 0 = -2*y, -148 = -i - 3*y. Suppose a = -2*b + 441, -a - 4*b + i = -294. Does 10 divide a?
False
Let n(x) = -x**3 - 58*x**2 - 3*x - 103. Let w be (132/165)/(1/(145/(-2))). Does 13 divide n(w)?
False
Suppose -35*j + 33*j - 3*h = -9559, -2*j + 2*h + 9554 = 0. Is 73 a factor of j?
False
Suppose -10095 = 4*c - 3*w, 7*c - 3*w + 12621 = 2*c. Is c/(-15) + 0 - 16/40 a multiple of 7?
True
Suppose 190000 = 3*b + 28*b + 19*b. Does 46 divide b?
False
Let u(z) = z**2 - 17*z - 33. Let b be u(19). Suppose p = -b*p + 258. Let n = 40 + p. Does 8 divide n?
False
Is 44 a factor of 8 + 1 + 4670*(-6)/(-5)?
False
Let t(p) = -p**2 - 19*p - 45. Let m be t(-16). Suppose -m = -2*h + 2*g + g, 16 = 4*h + 4*g. Suppose 0 = -3*r - h*c + 57, r + 3*c + 5 - 14 = 0. Does 3 divide r?
True
Let w = 22 + -13. Let u(c) = -3*c + 25. Let h be u(w). Is 12 a factor of (-2071)/(-19) - (-1 - h)?
True
Suppose -13*v + 294 - 761 = 755. Let x be 0 + -1 - (53 - 1). Let i = x - v. Is 41 a factor of i?
True
Let l(y) = 135*y - 180. Let i(s) = -42*s + 60. Let t(m) = 10*i(m) + 3*l(m). Is 50 a factor of t(-10)?
False
Let a(y) = y**3 - 10*y**2 + 9*y - 17. Suppose 2*j - 38 = -3*n, -6*n = -7*n - 2*j + 18. Let c be a(n). Let g = c - 56. Is g a multiple of 17?
True
Let j(b) = -2*b**2 - 21*b - 10. Let y(q) = 3*q**2 + 20*q + 9. Let z(o) = 2*j(o) + 3*y(o). Let w be z(-7). Suppose -55*u + w = -52*u. Does 7 divide u?
True
Let f = 29569 - 15015. Is f a multiple of 19?
True
Let n(y) = y**3 - 7*y**2 + 5*y + 21. Let f be n(6). Suppose f*d - 17*d + 4*o = -176, -d = 3*o - 103. Is d a multiple of 4?
False
Suppose -59 = -4*u + 3*p, 4*p = 4*u - 19 - 45. Let q(s) = -s**2 + 11*s + 6. Let n be q(u). Is 6 a factor of (((-141)/n)/(-1))/(1/2)?
False
Suppose 0*i + 3*w - 87 = 5*i, 0 = -2*i + w - 35. Let m be 598/i - (-18)/81. Is 0 - (m + (7 - 4)) a multiple of 15?
True
Suppose 0 = w - 30 - 43. Suppose -70 = 19*d + 6. Is 11 a factor of w - d*((-10)/(-4) + -2)?
False
Let v = 4878 + -3098. Is v a multiple of 10?
True
Suppose 18*g = 14 - 68. Let t(w) = 23*w**2 - 28*w - 84. Does 37 divide t(g)?
False
Let p(q) = 161*q + 5493. Is p(0) a multiple of 30?
False
Let n(t) = -2*t + 54. Let i be n(26). Let v be 1/i + ((-317)/2 - 4). Let y = 242 + v. Is 20 a factor of y?
True
Suppose -1008 = 8*p + 384. Let q = p - -457. Let g = q + -125. Is g a multiple of 17?
False
Let s = 50 - 113. Let u be 70/20*(-576)/(3 + -12). Let i = s + u. Is 23 a factor of i?
True
Suppose 2*v = -r - 82, -3*r = -v + r - 23. Let p be (-494)/18 - (-20)/45. Let k = p - v. Is k a multiple of 8?
False
Let m(j) = 9 - 19 + 5 + 57*j. Let i be m(3). Is 15 a factor of i - 1 - (-2)/(-6)*0?
True
Suppose -21 