 be (-5 + 1)*1/(-2). Is (1 - -7)/(u + 180/(-93)) a multiple of 31?
True
Suppose -523 = -v + 95. Is 53 a factor of v?
False
Suppose -4*s - 42 = -11*s. Suppose -w + s = w. Is 6 a factor of (-22)/((-1)/w*3)?
False
Let t be 4/(-3)*6/(-4). Suppose -3*x + 10 = 3*i - 5, t*x = -i + 9. Suppose -k = -x*j - 15, k - j + 3*j - 3 = 0. Is 6 a factor of k?
False
Let j(b) = 103*b - 20. Is j(2) a multiple of 62?
True
Let h = -83 + 234. Is h a multiple of 14?
False
Suppose -9*j - 4608 = -5*n - 10*j, 2*n = -3*j + 1838. Does 59 divide n?
False
Suppose 0 = 4*v + 7 - 3. Let q = -3 + v. Let j(x) = -17*x - 2. Is 33 a factor of j(q)?
True
Let f(a) = 7*a**2 - 7*a - 2. Let n(t) = -t. Let b(c) = f(c) + 4*n(c). Is 15 a factor of b(-5)?
False
Let k(w) = 24*w - 156. Does 6 divide k(8)?
True
Let i(t) = 20*t - 59. Let f(u) = -10*u + 27. Let c(h) = -10*h + 28. Let s(y) = -3*c(y) + 2*f(y). Let a(z) = -6*i(z) + 11*s(z). Is 9 a factor of a(-6)?
False
Let r(n) = n**2 + 7*n + 6. Let z be r(-7). Let t(y) be the third derivative of -y**6/120 + 2*y**5/15 - y**4/3 - y**3/3 - 187*y**2. Is 12 a factor of t(z)?
False
Let t be (-22)/10 - 5/(-25). Is 19 a factor of ((-19)/t)/(5/30)?
True
Suppose -227 + 5402 = 15*w. Is 15 a factor of w?
True
Suppose 13 = 3*r + 4*t, -5*r - 15 = -4*t - 90. Let z(b) = -12*b**2 + 12*b + 6. Let c be z(r). Is c/(-27) - 1/(-3) a multiple of 18?
False
Suppose 9*v - 81 = 6*v. Suppose 7 - v = 5*g, 5*g + 35 = -5*k. Let j = 20 + k. Does 15 divide j?
False
Let c be 1*-28*3/(-4). Let a = c - 46. Let l = -14 - a. Is l a multiple of 11?
True
Suppose 3*q - 47 = 142. Let o(j) = -j**2 - 5*j - 1. Let x be o(-2). Suppose 0 = 2*r - x - q. Is 16 a factor of r?
False
Suppose -4*w - x - 12 = 0, -4*w - 6 = -2*w - 2*x. Is 9 a factor of 2/((-4)/336*w)?
False
Let o = -99 - -326. Is o a multiple of 16?
False
Suppose -6*a = a + 777. Let d = a - -191. Does 40 divide d?
True
Let n = -445 + 660. Is 14 a factor of n?
False
Suppose -4*r + 21 = t, 2*t + 12 = 5*r + 2. Suppose 4*z + 3*c = 484, -t*c - 107 = -z - 9. Does 40 divide z?
False
Suppose -512 = -0*o - 4*o. Does 16 divide o?
True
Let y = -918 + 1815. Is 13 a factor of y?
True
Suppose 32 = 3*i - 2*n, 3*i - 3*n = -i + 43. Let w(l) = l**3 - 9*l**2 - 9*l + 4. Is w(i) a multiple of 10?
False
Let j(l) be the third derivative of 2/15*l**5 - 5/6*l**3 + 0 - 10*l**2 - 1/6*l**4 + 0*l. Is 19 a factor of j(4)?
False
Suppose -9 = -3*q - 0*q. Let k(d) = -d + 4*d + d**2 + 3 - q*d - d. Is 31 a factor of k(6)?
False
Let m be (-6)/(-4)*(-1276)/33. Let v(s) = s**3 - 5*s**2 - 12*s + 4. Let o be v(8). Let l = m + o. Does 14 divide l?
True
Let v(k) = -k**2 - 3. Let i be v(0). Let b be ((-2)/(-2))/(i/(-6)). Suppose -n = -5*l + 180, -b*l - n + 4*n = -72. Is 18 a factor of l?
True
Suppose 4*q + q = 45. Let l be (8/(-2))/((-12)/q). Suppose -c = -3*y - l*c + 86, -5*y + 160 = -5*c. Is y a multiple of 6?
True
Let f(r) = r**3 + 4*r**2 - 2*r - 3. Let d be f(-4). Suppose -374 + 84 = -d*p. Let k = p + -28. Is 8 a factor of k?
False
Suppose -13*v = -6306 + 1067. Is 13 a factor of v?
True
Suppose -3 = -4*f + 21. Let w be (-10)/f*(-9)/3. Suppose w*l - 76 = l. Is 7 a factor of l?
False
Let w(z) = -z**3 - 15*z**2 + 16*z + 36. Let k be w(-16). Let i = 68 - k. Is i a multiple of 32?
True
Let p(d) = 31*d**3 + d**2 + d - 1. Let b be p(1). Let o(m) = -2*m + 6. Let u be o(12). Let n = u + b. Does 5 divide n?
False
Suppose 15 = -3*s - 75. Let p(j) = 37*j - 4. Let m be p(2). Let x = s + m. Is x a multiple of 10?
True
Let a = 615 + 1494. Does 19 divide a?
True
Let g(l) be the third derivative of 7*l**5/60 - l**4/24 + 10*l**2 - 5. Let u = 2 - 3. Is 3 a factor of g(u)?
False
Let h(y) = 6*y + 32. Suppose 13*g = 9*g + 76. Does 12 divide h(g)?
False
Let h(m) = -m**2 - 74*m + 2253. Is h(0) a multiple of 9?
False
Suppose 9*p = -8 - 433. Let u = 51 - p. Does 20 divide u?
True
Let q(v) = -6*v - 12. Let o be q(-9). Suppose -13 = y - 1. Let d = y + o. Does 15 divide d?
True
Suppose 1158 = 13*u - 779. Is 20 a factor of u?
False
Suppose -2*f + 4*w - 16 = 0, -20 = 5*f + w - 6*w. Suppose -k + 0*o - 5*o + 63 = 0, f = -k + 5*o + 23. Suppose 2*b - k = 4*l + 61, 58 = b + l. Does 11 divide b?
False
Let v be (6/9)/((-8)/(-60)). Let o be (-781)/v - (-32)/(-40). Let r = o + 258. Is 39 a factor of r?
False
Let y(n) = n**2 + 2*n + 956. Is 3 a factor of y(0)?
False
Suppose 2*w + 0*d + 5*d - 33 = 0, -w + 12 = d. Let t be 3*3/w*-15. Let f = t - -26. Is f a multiple of 4?
False
Let a(x) = -x**3 - 4*x**2 - 2. Let l be a(-4). Suppose -20*d - 20 = -24*d. Is (l/(-3))/(d/30) a multiple of 3?
False
Is 7 a factor of ((-1260)/135)/(1/(-3))?
True
Let g be (-1)/(-5) + 176/20. Let m = g + -17. Is (0 + -66)/(12/m) a multiple of 24?
False
Let k(l) = l**2. Let n(g) = -10*g**2 + 4*g - 2. Let z(c) = -6*k(c) - n(c). Let m be z(3). Suppose 2*q - 14 = -5*u, m = 3*q + u + 4*u. Is q a multiple of 3?
True
Let m(q) = q**2 + 9*q + 12. Let b be m(-8). Suppose 5*k - 631 = o + 55, b*k - 2*o = 550. Is 10 a factor of k?
False
Let k(u) = 4*u**2 + 2*u - 2*u**2 - 668*u**3 + 663*u**3 - 5. Let l be k(-3). Is 9 a factor of ((-3)/(-1))/(6/l)?
False
Let m be 9/(-12) - (-24)/32. Suppose 3*t - 2 + 17 = 0, 2*b - 2*t - 288 = m. Is 21 a factor of b?
False
Let r = -39 - -34. Let y(l) = 2*l + 2. Let t be y(r). Is 74/(4/t*-2) a multiple of 37?
True
Let u = 3 - -1. Suppose u*w + 30 = -w. Is (-9)/w*-2 - -78 a multiple of 25?
True
Let h be (7/(-2))/(1/(-2)). Suppose -5*n + h + 8 = 0. Suppose n*f + 22 = 142. Does 20 divide f?
True
Let w(d) = -12*d**3 + d**2 + 2*d + 1. Let n be w(-1). Let t = 84 - n. Is 24 a factor of t?
True
Suppose 29*t = 5*t + 7848. Is 18 a factor of t?
False
Let u(a) = 2*a**2 + 7*a - 4. Suppose -p + 14 = s - 6, 73 = 4*s - 3*p. Let x = s + -25. Does 13 divide u(x)?
True
Suppose 12484 = 16*w + 260. Is 24 a factor of w?
False
Let d(x) be the first derivative of x**2/2 + 31*x + 17. Is d(-12) a multiple of 19?
True
Let i(k) = -2*k**3 + 43*k**2 + 78*k - 126. Is 9 a factor of i(23)?
True
Let m(o) = 2*o**3 - 3*o**2 - 20*o + 12. Is m(8) a multiple of 18?
True
Let i be ((-10)/15)/(-1 - (-938)/942). Suppose -i = -4*c + 31. Does 21 divide c?
False
Let v(c) be the second derivative of c**6/180 - c**5/60 - c**4/12 + 2*c**3/3 + 4*c. Let i(x) be the second derivative of v(x). Does 10 divide i(3)?
True
Suppose 428 = 209*p - 205*p. Is p a multiple of 2?
False
Let l be ((14/(-4))/(-7))/(5/(-1530)). Let j = l - -304. Is 18 a factor of j?
False
Let p = 7 - 27. Let g = -10 - p. Is 15 a factor of 604/g + 12/(-30)?
True
Let v(h) = 12*h - 3. Let t(w) = w**2. Let k(m) = -2*t(m) + v(m). Let o(f) = -5*f**2 + 35*f - 8. Let p(n) = 8*k(n) - 3*o(n). Does 8 divide p(-8)?
True
Suppose m - 159 = -2*i, 0 = 4*m - 5*i + 3*i - 606. Suppose -t + 52 = h + 5, -m = -3*t + h. Is 12 a factor of t?
False
Let g(t) = t**2 - 7*t - 254. Is 26 a factor of g(-30)?
False
Let a = 581 - -46. Let t = -383 + a. Does 20 divide t?
False
Suppose 10*a = 32 + 28. Suppose -5*m + a*m - 150 = -2*w, 0 = 2*m - 4*w - 340. Is m a multiple of 32?
True
Suppose -8*y + 4886 = -282. Suppose -5*j + o = -798, -j - 3*j = 3*o - y. Does 32 divide j?
True
Let h(y) = y**3 - y**2 + 3*y + 285. Is 15 a factor of h(0)?
True
Let n(y) = -y**3 + 12*y**2 + 27*y + 15. Let g be n(14). Does 6 divide (450/4)/g - 27/(-18)?
True
Let k = -37 - -25. Let p = -22 - k. Let m(l) = l + 13. Does 3 divide m(p)?
True
Suppose -5*v = 5*m - 125, v + v + m = 45. Suppose 6*o = 2*o + v. Suppose 4*y - 77 + o = 0. Is 6 a factor of y?
True
Suppose 16*d = 5*d + 121. Does 11 divide d?
True
Let o(y) = -y**3 - 3*y**2 + 4*y. Let u be o(-4). Let x be (2 - u) + (13 - 10). Suppose 2*h - 3*h + 22 = 3*p, x*p = -h + 30. Is h a multiple of 10?
True
Let q = 9 + -4. Let y be (6/q)/3*5. Suppose i + 3*t + 4 = y*i, -71 = -4*i + t. Is i a multiple of 19?
True
Is 2 a factor of 28/7 - 1360/(-10)?
True
Let a(j) = -2*j**3 - 5*j**2 + 3*j + 0*j**2 + 4*j**2 - 4*j**2 - 3. Let v = -11 + 7. Is 13 a factor of a(v)?
False
Let v(b) = -5*b**2 - 5*b**2 + 13*b**2 - b**2 - 24. Is v(7) a multiple of 6?
False
Suppose 0*f + 2*f - 244 = -k, 5*k = -2*f + 1204. Suppose -81 = 3*j - k. Suppose -4*p - 27 - j = -i, 5*i - 472 = 2*p. Does 12 divide i?
True
Suppose 3*m + 8535 = -3*u + 8*u, 0 = 2*u - m - 3413. Is u a multiple of 12?
True
Is 8/8 - (-64)/2 a multiple of 2?
False
Let s(o) = -5*o. Suppo