t l(b) = 3*b**2 - 2*b - 2. Does 3 divide l(v)?
True
Does 12 divide (-1)/(-6)*358 + (-4)/6?
False
Let b = 174 + -95. Is 25 a factor of b?
False
Let d be 1 + (-4 + 2)*-2. Suppose 0*b = d*b + q - 182, 0 = 4*b + q - 146. Is 12 a factor of b?
True
Suppose -4*r + 16 = -4. Let x = 75 - -92. Suppose r*d + x = 4*a, -a = -2*a + d + 43. Is a a multiple of 17?
False
Let p(w) = -w**3 - w - 1. Let n be p(0). Is (-2 - n)*-2*7 a multiple of 6?
False
Let f(s) = 6*s**2 - 2*s + 3. Is f(4) a multiple of 32?
False
Let h be 2/4*(3 + 23). Let o = 16 + h. Is o a multiple of 16?
False
Is 4 + (-1 - 2) - -1 even?
True
Suppose 5*k - 211 = -2*g, -2*k + 76 = 4*g + g. Is 11 a factor of k?
False
Let p be -6 + 1 + (1 - 2). Let g = 75 + p. Is 23 a factor of g?
True
Suppose 5*r + 15 = -z, -2*r + 3*r + 5*z = 21. Let m be (-47)/(-2) - (-2)/r. Suppose 32 = 5*a - m. Does 7 divide a?
False
Let h be 0/(-1) - (3 - 1). Let q = 1 - h. Does 3 divide q?
True
Let b be (-44)/(-10) - (-2)/(-5). Suppose b*d - 60 = 3*d. Does 22 divide d?
False
Let p = -5 + 47. Does 6 divide p?
True
Let o(f) = f**2 - 1. Let v be o(-2). Suppose -v*u = -8*u. Suppose 4*t + 2*l - 44 = -u*l, -5*t = -l - 48. Is t a multiple of 5?
True
Let z(u) = -2*u**3 - 5*u**2 + 3*u + 2. Let j be z(-3). Suppose 4*b = -j*l + 206, 31 = 2*b - 5*l - 78. Does 13 divide b?
True
Is 8 + -5 - (1 - 30) a multiple of 16?
True
Suppose 4*x + 44 = -12. Let o = 0 - x. Is 7 a factor of o?
True
Let f be (2 - -48)/(2*1). Let l be (-3)/(-4) - f/(-20). Let z(p) = 2*p**2 - 3*p + 3. Is z(l) a multiple of 3?
False
Let c(d) = d**3 + 3*d**2 - 3*d + 2. Let i be c(-4). Let b = i - -4. Suppose -4*o + 3*w = 6*w - 19, 2*o - 6 = b*w. Is o even?
True
Let r = -4 - -7. Let b = 2 + r. Suppose -31 = -b*d + 69. Is d a multiple of 10?
True
Let g = 44 + -18. Is g a multiple of 13?
True
Let t be (105/2)/(-3)*-2. Suppose -r + 5*r - 5*p = 0, 0 = -3*r - 5*p + t. Does 5 divide r?
True
Suppose -16 = -4*l + 12. Suppose 4*p = -l - 5. Does 3 divide 1/(-3) + (-10)/p?
True
Let v(l) = -l**3 - 8*l**2 - 9*l + 6. Let a be v(-7). Suppose -5*c + a = -65. Does 14 divide c?
False
Suppose 4*x + b - 25 = 0, 5*x + b = -11 + 41. Is 3 a factor of 54/x + (-1)/(-5)?
False
Suppose -b - 3*i - 5 = 0, 3*i + 12 = 3*b - 9. Let p(g) = 3*g**2 - b - 5*g + 2 + 6. Is 8 a factor of p(3)?
True
Let i be 3/(3/2) - -2. Let j be ((-15)/(-10))/(3/i). Suppose -26 = -j*g - 8. Is g a multiple of 9?
True
Let l(a) = -a**3 + 2*a + 4. Does 8 divide l(-3)?
False
Let s = 77 - -99. Does 22 divide s?
True
Let m(g) = g - 1. Let j(w) = 2*w + 6. Let t(d) = j(d) + m(d). Does 6 divide t(10)?
False
Let d(w) = 20*w + 1. Let a be -3*(-3)/((-9)/(-3)). Let i = 4 - a. Is d(i) a multiple of 9?
False
Suppose -3*c = -10 + 1. Let s be 34/9 + 30/135. Suppose s*f + 22 = -0*l + 2*l, 5*l - 34 = c*f. Does 2 divide l?
False
Suppose 0 = l - 6*l + 170. Is l a multiple of 17?
True
Let c = -11 - -15. Suppose 0*p - 20 = c*p. Is 11 a factor of 22/p*(0 - 5)?
True
Let f = 8 - 9. Let i = 3 - f. Suppose i*m - 4*r = 200, -4*m - 4*r = -r - 221. Is m a multiple of 14?
False
Suppose -2*f + 0*p = -p - 53, -34 = -f + 2*p. Does 6 divide f?
True
Suppose 0 = 5*n - 2*d - 138 - 630, d - 771 = -5*n. Does 11 divide n?
True
Let u be (-40)/12*24/10. Let b(l) = l + 9. Let n be b(u). Is 3 a factor of -5*(n + 2/(-1))?
False
Let s(o) = 3*o + 6. Let v = 3 + 4. Is 9 a factor of s(v)?
True
Let z = 22 - 4. Is z a multiple of 5?
False
Let t(n) = 3*n**2 + 7*n - 2. Let y(f) = -f**2 - 2*f + 1. Let o(a) = 3*t(a) + 8*y(a). Let h be o(-3). Let m(u) = 4*u**2 + 2*u - 1. Is m(h) a multiple of 24?
False
Let p(n) = 6*n - 15. Is 2 a factor of p(3)?
False
Let r(l) be the second derivative of -l**5/20 - 3*l**4/4 + 11*l**3/6 + 7*l**2 - l. Let t be r(-10). Suppose 30 = t*d - 62. Is d a multiple of 8?
False
Let s(m) = m + 0*m - 3 + 1 + 3*m. Does 2 divide s(2)?
True
Suppose 18 = 5*x - 3*x. Is 3 a factor of x?
True
Let v(u) = -u - 3. Let x(g) = -g**3 - 5*g**2 - 2*g + 4. Let i be x(-3). Let j be v(i). Is 1*(j - (-2)/(-2)) a multiple of 2?
True
Let j(p) = 2*p**2 - 2*p - 1. Suppose 5*l + z + 0*z = 7, 3*l - 21 = 5*z. Is j(l) even?
False
Is 17 a factor of ((-1734)/85)/(2*(-6)/80)?
True
Suppose 5*v - 178 = 157. Is 19 a factor of v?
False
Let m = 227 - 138. Let i = m - 29. Is 28 a factor of i?
False
Suppose 0 = 5*m - 23 + 93. Suppose 0 = 4*k - 0*k - 24. Does 9 divide (m/3)/((-2)/k)?
False
Suppose 0 = -f, -2*a + 3*f + 32 = 6*f. Let b = a + -6. Does 18 divide ((-56)/b)/((-4)/20)?
False
Let r(b) = b - 1. Let f be r(4). Suppose f*d = 2*d + 17. Is 5 a factor of d?
False
Suppose -13*m = -17*m + 840. Is m a multiple of 20?
False
Let s = -20 - -28. Suppose s = 4*h - 2*h. Does 4 divide h?
True
Suppose 2*k - 5*k = -96. Let l be (k/(-6))/(2/(-12)). Suppose 4*q - 2*q - l = 0. Is 16 a factor of q?
True
Let y(m) = 2*m**3 - m**2 + 2*m + 388. Is y(0) a multiple of 18?
False
Suppose 2*f + 5*v + 5 = 0, -4*f + v + 2*v + 29 = 0. Suppose p + 28 = 3*p + 5*d, 0 = 5*p - f*d. Suppose 4 + 8 = -p*a, -135 = -4*n - 3*a. Is 18 a factor of n?
True
Let x = 16 + 137. Is 17 a factor of x?
True
Let u(c) = -2*c + 6. Let s(v) = -v + 3. Let b(p) = -9*s(p) + 4*u(p). Let g be b(4). Is 14 - (-9)/3*g a multiple of 8?
False
Let z be -9 - ((-6)/2)/(-1). Let l(i) = -i**2 - 13*i + 6. Let b be l(z). Is 26 a factor of 940/b - 4/18?
True
Suppose g = 5*g - c - 822, 5*g - c = 1027. Is g a multiple of 41?
True
Suppose 3*t = -24 - 33. Is 6 a factor of t/(-2) - (-10)/(-20)?
False
Let c = -10 + 17. Let x(d) = -d**3 + 6*d**2 + 7*d + 3. Is 2 a factor of x(c)?
False
Let t be (-37)/5 - (-6)/15. Let v(m) = -8*m - 5. Is 22 a factor of v(t)?
False
Let d(m) = -m**3 - 3*m**2 + 7*m + 7. Let z be 47/(-9) + 10/45. Does 11 divide d(z)?
True
Is 4 a factor of 939/18 + (1 - 35/30)?
True
Let l(q) be the third derivative of q**4/12 - 3*q**3/2 + q**2. Let s be l(6). Suppose 26 = f + 5*h, h = 2*f + s*h - 44. Is f a multiple of 15?
False
Let d(n) = 2*n**2 - 3*n + 3. Let x be d(2). Let q(h) = 3 + x*h - 11 - 13*h. Is q(-6) a multiple of 20?
True
Let g(m) = -m**2 + 10*m - 11. Let o be g(8). Suppose -5*y + o*d + 30 = 0, -2*d - 24 = -4*y + 3*d. Is y a multiple of 6?
True
Let v(d) = -d**2 - 13*d - 5. Suppose -c + 20 = -3*r, -2*r - 5*c = -c + 4. Is 15 a factor of v(r)?
False
Suppose -4*u = -u. Suppose u = 2*v - 4*v + 132. Does 12 divide v?
False
Let d(m) = -m. Let j be d(0). Suppose j = -3*q - 10 + 4. Let w(u) = -2*u**3 + 2*u**2 + 2. Does 13 divide w(q)?
True
Suppose -4*j + 23 = -0*j - 5*x, -2*j = 5*x + 11. Suppose -2*a - j*a = 0. Suppose h + a*r - 4*r - 47 = 0, 0 = 2*h + r - 94. Does 16 divide h?
False
Let x be (12/10)/(6/15). Let t(r) = 1 + 3*r - x*r + 4*r + 1. Is t(4) a multiple of 7?
False
Let s(o) = 36*o - 52. Is 41 a factor of s(6)?
True
Does 2 divide (-1)/((20/(-68))/5)?
False
Let k(m) = 4*m - 1. Let g be k(3). Suppose -1 = -5*p + 4, 5*p - g = -j. Is 3 a factor of j?
True
Let x(p) = p + 11. Let j be 0 + -2 - (-18)/3. Suppose 0 = -j*q + 3*q + 5*o - 16, 7 = -2*q + 5*o. Is 10 a factor of x(q)?
True
Suppose -4*c - k + 12 + 6 = 0, 2*c = 3*k + 2. Is (-2)/(-2) - (-44)/c a multiple of 5?
False
Suppose -u + 6*u = 200. Suppose 5*k = -4*n + u, 5*n - 5 = 5*k - 0*n. Is 4 a factor of k?
True
Let a(d) = -d**3 - 2*d**2 + d - 3. Let j be a(-3). Suppose 6*x - 45 = -2*v + x, -j*v + 3*x = -78. Is v a multiple of 7?
False
Let h = 7 - 5. Is -2 - (-1 - h) - -38 a multiple of 13?
True
Let c = -90 - -130. Suppose -5*r + c = -0*r. Does 4 divide r?
True
Suppose 88 = 2*f + 2*f. Is f a multiple of 11?
True
Let v be ((-16)/8)/((-1)/4). Suppose v = 4*b - 72. Does 20 divide b?
True
Let b = -11 - -17. Suppose b = -4*c - 6. Let p(q) = -2*q - 2. Does 3 divide p(c)?
False
Suppose 6*b - 118 - 482 = 0. Is b a multiple of 20?
True
Suppose -5*y + 9 = -1. Suppose y*k = 4*k - 62. Suppose -29 = -3*z + x + k, -3*z - x + 60 = 0. Is 10 a factor of z?
True
Let i(g) = 2*g**3 - 6*g**2 + 2*g. Let n(j) = -j**2 + j. Let b(f) = i(f) - 3*n(f). Is 13 a factor of b(3)?
False
Let p(m) = m**2 + 7*m + 14. Let t be (0 - -2) + (-7 - 5). Does 15 divide p(t)?
False
Suppose -5*i + 22 + 40 = 2*c, -4*i - 16 = 0. Suppose -4*n + 37 + 63 = 0. Let l = c - n. Is l a multiple of 8?
True
Let h(b) = 10*b - 8. Let s be h(9). Suppose 4*y = -3*a + 49, 0 = 4*a - 0*a - 3*y - s. Does 19 divide a?
True
Suppose 5*t + 65 = g, -4*t = -4*g + 54 + 206. Is 3