 - 8 = -t + 4*m, -2*t = -2*m + 14. Is 3 a factor of 2/(0 - 2/t)?
False
Suppose 272*w - 277*w + 435 = 0. Is 29 a factor of w?
True
Let m = 4 - -36. Suppose 8 = -2*d + m. Is 7 a factor of d?
False
Suppose -866 = -5*r + 384. Suppose 3*g - 8*g = -r. Does 25 divide g?
True
Let p be (0 + 1)/((-3)/219). Let h = 128 + p. Does 28 divide h?
False
Suppose -4*i + 3*t + 18 = t, 6 = 3*i - 3*t. Suppose -i*m - 7 = u - 2*m, u = -3*m + 3. Does 6 divide u?
True
Suppose h + 9 = -4*t, -2*t + 7*t - 5*h + 30 = 0. Let y be 1 + (-1)/(1/5). Is 11 a factor of y/6 + (-71)/t?
False
Let g(p) be the first derivative of -p**3/3 - 8*p**2 - 28*p - 21. Does 11 divide g(-13)?
True
Let f(g) = 3*g + 4. Suppose 0*j - 4*j + 4*i + 64 = 0, 4*i - 64 = -4*j. Is f(j) a multiple of 13?
True
Let f(n) = -3*n - 7*n**2 - 2 + 4*n**2 - n**3 + n. Let k be f(-3). Suppose 227 = k*d + g, -d - 3*g + 60 = 6. Is d a multiple of 8?
False
Suppose -11*q + 46238 = 50*q. Is q a multiple of 7?
False
Suppose -1205*o - 371 = -1212*o. Does 4 divide o?
False
Let p(a) = -8*a**2 - 3*a**3 + 2*a**3 + 3*a**2. Let b be p(-5). Suppose b = -4*x + 218 - 90. Is x a multiple of 14?
False
Let h be (-57*(-3)/6)/((-1)/4). Let z = -66 - h. Does 10 divide z?
False
Let l = 65 + -100. Suppose 2*o + 2*y - 22 = 0, -o - 4*y = -3*o + 46. Let f = o - l. Does 10 divide f?
True
Let m(n) = -n**3 - n**2 - 1. Let i(g) = -g**3 - 4*g**2 - 3*g. Let k be i(-2). Let w be m(k). Suppose -145 = -5*u + 5*v, w*u + u = -v + 136. Does 9 divide u?
False
Let b(x) = -x**2 + 6*x + 1. Let p be b(6). Let u(h) = 29*h**3 + h**2 - 1. Let s be u(p). Let v = s + -9. Does 20 divide v?
True
Let x be (-15*2 - 2) + -1. Let c be (-220)/x*(-9)/2. Is 16 a factor of ((-312)/c)/(4/10)?
False
Suppose -526 = 5*a - l + 198, -4*a - 3*l = 564. Let y = -24 - a. Does 12 divide y?
True
Suppose 49*h = 50*h - 9. Let y = 136 - 53. Does 10 divide y/4 - h/12?
True
Suppose -5*u + 9 = -y, -u + 6*u - 2*y = 8. Suppose 3*f - u*r - 221 = -67, -5*f - 3*r = -244. Does 25 divide f?
True
Let u(d) = d**2 - d - 10. Let a be u(3). Let w = 7 + a. Suppose w*i = 15, 5*q - 49 = 2*q + i. Is 18 a factor of q?
True
Suppose 0 = -7*q + 113 + 27. Let d(j) = -j**3 + 20*j**2 + 2*j + 30. Is d(q) a multiple of 14?
True
Suppose -3*v - 45 = -8*v. Suppose v*n - 4*n = 5*i + 160, 4*i + 17 = n. Does 7 divide n?
False
Let l(u) = -3*u**3 + 36*u**2 - 13*u - 16. Is 21 a factor of l(11)?
False
Suppose 621 = 3*x + 2*l, 5*l + 10 + 5 = 0. Suppose 2*g = -5*b + x, -2*b = -5*b - 5*g + 114. Is 9 a factor of b?
False
Let q(g) = -14*g - 46. Let f(x) = -1. Let m(h) = -2*f(h) + q(h). Is m(-10) a multiple of 32?
True
Suppose 2*w + 3*y = 1279, -37*w - 1921 = -40*w - 4*y. Is 3 a factor of w?
False
Suppose 109*x - 1504 = 93*x. Is 29 a factor of x?
False
Let x be -3 - -7 - (1 - -3). Suppose x = -i + 60 + 13. Does 11 divide i?
False
Suppose -10*y - 189 = -13*y. Let o = y - 27. Is o a multiple of 18?
True
Suppose 43 = -16*i + 939. Is 5 a factor of i?
False
Let i(n) = n**3 + 7*n**2 - 10*n + 6. Let p be i(-8). Let g = -16 + p. Is 1/6 + 161/g a multiple of 27?
True
Suppose 505*i = 502*i + 5376. Is 128 a factor of i?
True
Is 7 a factor of (-2612)/(-16) - (14/(-8) - -3)?
False
Let z = 340 - 67. Let p = z + -97. Is p a multiple of 26?
False
Let j = 1030 + -127. Is j a multiple of 7?
True
Let q = -82 - -412. Does 55 divide q?
True
Let q = 0 + 0. Suppose -4*k - s + 0*s + 34 = 0, -2*k + 5*s = -6. Let y = k + q. Is y a multiple of 3?
False
Is 12 a factor of (-1)/(-5) - ((-70512)/(-30))/(-8)?
False
Let y(b) be the third derivative of -b**4/12 + 15*b**3/2 + 52*b**2. Is y(16) a multiple of 5?
False
Let l(y) = -6*y**3 + 2*y**2 + y + 3. Let f(d) = d**3 + 1. Let b(g) = 4*f(g) - l(g). Does 17 divide b(2)?
False
Suppose 8*g + 7 = 7. Suppose 3*u - 3*m = 264, -3*u - m = -g*u - 276. Is u a multiple of 13?
True
Let f = -649 - -1064. Is 22 a factor of f?
False
Let o(u) = -36*u + 1. Suppose -3*c - 14 = 4*c. Let d be o(c). Suppose -278 = -5*g - d. Is 14 a factor of g?
False
Let s(h) = h**2 - 1. Let u be s(-2). Suppose 4*b = -u*n - 1, 0*n = -3*n + 3*b + 27. Suppose -2*r = -n*r + 87. Is r a multiple of 11?
False
Let h = 133 - 96. Does 2 divide h?
False
Does 6 divide (-2 + (9/1)/3)*288?
True
Let f be (-2)/(((-2)/111)/((-6)/(-9))). Let l = f + 129. Is 14 a factor of l?
False
Let f be (-1*2)/((-6)/(-63)*-3). Suppose 113 + 587 = f*r. Is r a multiple of 39?
False
Is 18 a factor of 79/632 - (2 + 8887/(-8))?
False
Let g(i) be the first derivative of i**3 + i**2 + 1. Let u be 1/((20/(-8))/5). Is g(u) a multiple of 2?
True
Suppose 3*j = -2*t + 10, 4*t - 6 = j + 14. Suppose 5*n + 6 = 2*d - t, -5*n + 5 = 0. Does 3 divide d?
False
Let g(t) = t. Let h(n) = 27*n - 10. Let a(b) = -3*g(b) + h(b). Does 13 divide a(4)?
False
Let r(x) = -141*x + 12. Let h(c) = 39*c - 3. Let k(p) = -40*p + 3. Let n(g) = 5*h(g) + 4*k(g). Let f(q) = -9*n(q) - 2*r(q). Is f(-2) a multiple of 28?
False
Suppose 27*p - 46857 = -11217. Is 11 a factor of p?
True
Is 12*(-1155)/28*-1 a multiple of 33?
True
Suppose 22*k + 6*k - 37492 = 0. Does 13 divide k?
True
Let h(z) = z - 55. Let c(d) = -5*d + 275. Let t(y) = -2*c(y) - 11*h(y). Does 10 divide t(-25)?
True
Let r = 206 + -506. Is -3*(r/9)/4 a multiple of 20?
False
Let v(f) = -3*f**2 + 8*f - 9. Let g(w) = -w + 1. Let q(p) = 2*p**2 - 12*p + 13. Let u(y) = -5*g(y) + q(y). Let s(z) = -4*u(z) - 3*v(z). Does 16 divide s(-7)?
True
Let l = -193 - -205. Is l a multiple of 12?
True
Suppose 2*a = 4*a - 30. Is 11/(63/a - 4) a multiple of 24?
False
Let d be 3/((-12)/431) + (-18)/(-24). Let p = d + 144. Is p a multiple of 19?
False
Is 12 a factor of (-1)/2*-3*152?
True
Suppose 2*f - 2*r + 68 = -4*r, 98 = -3*f - 5*r. Suppose -4*c - 86 = -6. Let b = c - f. Is 8 a factor of b?
True
Let l(p) = -40*p - 30. Let w be l(-5). Let z be ((-8)/(-10))/((-1)/(-10)). Suppose -3*u = -z*u + w. Is u a multiple of 23?
False
Let a be (-42)/18 - (-2)/(-3). Let p be (2/3)/(a/(-9)). Suppose -4*b + 17 = u, -2*u - p*b = -3*b - 25. Is u a multiple of 13?
True
Let b be 1/4 - (-44)/16. Suppose b*a - 260 = 172. Is 18 a factor of a?
True
Let i(p) be the third derivative of -p**4/24 + p**3/6 - p**2. Let j(m) = -10*m + 1. Let l(g) = -5*i(g) + j(g). Is 8 a factor of l(-6)?
False
Suppose 15*j = -196 + 4081. Is 7 a factor of j?
True
Suppose 3*c - 1040 = 16. Does 8 divide c?
True
Is (-1 + 2)/(0 + 6/2124) a multiple of 59?
True
Suppose 37*q - 40*q = -126. Is (52/78)/(2/q) a multiple of 4?
False
Let s(g) = -g**2 + 8*g + 4. Let o(l) be the first derivative of 3*l**3 + l**2 - 5. Let c be o(-1). Is 5 a factor of s(c)?
False
Suppose -d - 297 = 2*d. Let q = -71 - d. Is (-6)/(-21) + 76/q even?
False
Let k(f) = -6*f**3 + 3*f + 2. Let a be k(-1). Suppose -o - 330 = 3*q - 6*q, a*q + 4*o - 567 = 0. Is q a multiple of 18?
False
Suppose -2*y - 5*r + 57 = -0*r, 4*y + 3*r = 135. Let u = y + -10. Is u a multiple of 13?
True
Suppose -44 = -8*i + 20. Suppose -2*q - 4*r + 120 = -i*r, 50 = q + 3*r. Does 5 divide q?
False
Let n(w) = -4*w**3 + 4*w**2 - 32*w - 56. Is n(-7) a multiple of 10?
False
Suppose 2*f - 72 = -2*f. Suppose a - 12 - f = 0. Suppose 0*m - a = -2*m. Is m a multiple of 15?
True
Let m = 11 + 25. Suppose 4*d - m - 44 = 0. Is d a multiple of 17?
False
Suppose 5*a + 4*w = 13, 4*a + a = -5*w + 10. Let g(n) = -n**3 + 5*n**2 + n + 3. Is g(a) a multiple of 2?
True
Suppose 0 = 22*b - 14*b - 2160. Does 12 divide b?
False
Let p = 7 + -1. Let x(z) = -z**2 + 10*z + 1. Is x(p) a multiple of 5?
True
Suppose -5 + 1597 = 2*c - 2*w, 3190 = 4*c + 2*w. Is c a multiple of 13?
False
Let t be 4 + -9 + 5 - (-5 - -1). Does 3 divide t/(-14) + (-242)/(-14)?
False
Let g(f) = -f**2 - 2*f + 3. Let p be g(-3). Suppose -2*j = 3*k - 63, 4*j + 105 = 3*k + 2*k. Let d = k + p. Is 3 a factor of d?
True
Suppose 10*y + 3*y = 3731. Is y a multiple of 7?
True
Let a = 11 - 7. Suppose -a*h = h - 15. Does 13 divide (-3)/h*(-117)/3?
True
Let t = 68 + -58. Let i(n) be the first derivative of n**4/4 - 11*n**3/3 + 11*n**2/2 - 4*n + 2. Is i(t) a multiple of 6?
True
Let w(i) = i**2 - i + 4. Let d be w(2). Suppose -d*g + 110 = -g. Let x = g + 11. Does 12 divide x?
False
Let s(y) = y**3 + 6*y**2 - 14*y - 52. Does 12 divide s(-6)?
False
Suppose -5*s - 2*q + 24 = 0, -12 = s - 5*s + 2*q. Let t(n) = -18*n + 2. Let l be t(-8). Suppose 0*o - s*m = -3*o + 211, -2*o = 