- 41 + 18 = -4*n, 0 = -5*n + 4*h + 52. Is 2 a factor of n?
True
Suppose 0 = 16*r - 8*r - 192. Does 3 divide r?
True
Let t(k) = -20*k - 19. Let s be t(-9). Let y be 1/(-2*(-2)/124). Suppose -163 = -4*c - 5*j, s = 3*c - 4*j + y. Is 14 a factor of c?
True
Suppose -3*m = 2*m. Suppose m = -n - 3*g + 13, 21 = 3*n + 4*g - 3. Suppose 2*s = -n*i + 72, -3*s = -3*i - 46 - 53. Does 12 divide s?
False
Suppose 0 = -4*q + 1 + 11. Let g = -13 + q. Does 3 divide g/45 + (-58)/(-18)?
True
Let v = -29 + 34. Is v a multiple of 5?
True
Let i be (-3)/((-3)/25) + -3. Suppose 0 = -5*c + i + 3. Is 5 a factor of c?
True
Suppose -5*p - 1 = -11. Let y(r) = 4*r**3 - 2*r**2 + 3*r - 2. Does 14 divide y(p)?
True
Suppose 19*p - 24*p + 255 = 0. Is p a multiple of 13?
False
Suppose 220 + 266 = 2*m. Is m a multiple of 20?
False
Does 2 divide (-7)/((-35)/50) - -1?
False
Let q(l) = 15*l - 13. Is 8 a factor of q(3)?
True
Suppose 5*u - 5 + 25 = 0. Let d = 7 + u. Suppose h - 3*v - 20 = 2, 2*h = -d*v + 8. Does 10 divide h?
True
Is 13 a factor of -1 + (-94)/(-2 - -1)?
False
Suppose 266 = y + 2*y - q, 4*q - 286 = -3*y. Is y a multiple of 18?
True
Suppose 2*r = -5*v + 225, 23 = 5*v - 5*r - 202. Let s = -14 + v. Is s a multiple of 11?
False
Let h(o) = 4*o**2 + 5*o - 8. Let r be h(6). Let k = -116 + r. Is 20 a factor of k?
False
Is (-1371)/(-12) + 1/(-4) a multiple of 38?
True
Suppose 51 = 5*w - y - 6, -4*w + 2*y + 42 = 0. Is 12 a factor of w?
True
Let k(d) = d**3 - 3*d**2 + 2*d. Let i be k(5). Is (i/(-9))/((-4)/6) a multiple of 5?
True
Suppose 5*h = 360 - 80. Is 8 a factor of h?
True
Suppose 14 + 6 = 5*h. Suppose 0 = h*u + 33 - 137. Suppose 2*i - u = 34. Does 14 divide i?
False
Suppose 3*q = -5*j + 5, -3*q + 3*j = -6*q - 3. Let f(b) = -14*b + 7. Let m be f(q). Suppose 6*d - a - 58 = 2*d, -a = 5*d - m. Is d a multiple of 14?
False
Does 5 divide (-116)/8*7/((-28)/8)?
False
Suppose h - b - 15 = -5, -3*h + 2*b + 27 = 0. Let l be (1*h)/(2/4). Suppose 2*j - 8 = l. Is 5 a factor of j?
False
Let p = 0 - -4. Let x = 5 - p. Suppose 13 = 2*j + x. Is 3 a factor of j?
True
Is -2*36/(-8) + -1 a multiple of 3?
False
Let p(b) = -b**3 - 5*b**2. Let f be p(-5). Suppose f = r - 2. Is 2 a factor of r?
True
Let j = 9 + 47. Does 14 divide j?
True
Let m(a) = -4*a**2 + 2*a. Let p be m(2). Let i be 26/6 - p/18. Let d(g) = 2*g**2 - 6*g + 7. Is 11 a factor of d(i)?
False
Let u(n) = n + 3*n**2 - 2*n**2 + 0*n**2 + 63*n**3 - 1. Is u(1) a multiple of 32?
True
Suppose 0*o - 4 = -o. Suppose -3*j - 4*w + 18 = 0, -2*w + 8 = -4*j + 5*j. Suppose 0*x - 4*x + 60 = o*a, 3*x - 20 = j*a. Is x a multiple of 10?
True
Let f be ((-2)/(-6))/(1/9). Is -1*(f + 2 + -39) a multiple of 10?
False
Let l(h) = -7*h**3 - 2*h**2 - 4*h - 4. Is l(-2) a multiple of 14?
False
Let x = 184 + -75. Let v(f) = -4*f - 3. Let b be v(-2). Suppose -b*i + 0*c = -c - 135, 4*i = c + x. Does 13 divide i?
True
Let v be 4/14 + (-72)/7. Let j be 10*(-4)/v*-4. Let c = j - -36. Is 7 a factor of c?
False
Let y(c) = -c**3 - c**2 - 5*c + 236. Does 23 divide y(0)?
False
Suppose -16 = -3*p + 2*t, -3*t - 7 = 4*p - 0*t. Suppose p*c - 7*c = -160. Is c a multiple of 16?
True
Suppose 4*t = 356 + 32. Let u = t + -55. Does 21 divide u?
True
Is 32 a factor of (-88)/(-3)*(-24)/(-16)?
False
Suppose 0 = -4*w - 5 + 21. Is 1/w - (-158)/8 a multiple of 20?
True
Let p = -167 - -306. Suppose 4*w = -3*s + p, -201 = -5*s + 5*w - 4*w. Let r = 59 - s. Is 10 a factor of r?
False
Let m = 1 + 2. Suppose 3*b = -v + 6, -m*v + 3*b + 42 = -0*v. Does 6 divide v?
True
Suppose 0 = 3*v + 2*r - 54, v = -r + 3*r + 10. Is v a multiple of 6?
False
Let r be 2 + (0 - 16/(-1)). Let l = -7 + r. Let b = l - -1. Is b a multiple of 8?
False
Suppose 4*r - 226 + 35 = z, 64 = r + 3*z. Is 12 a factor of r?
False
Suppose 0 = 3*r - 0*w - w - 265, 3*r - 290 = -4*w. Is r a multiple of 13?
False
Suppose 5*k = -3*y - 2*y + 210, 3*k - 168 = -4*y. Is y a multiple of 21?
True
Is 8 a factor of ((-2)/5)/(5/(-100))?
True
Let k = 14 - 12. Is 15 a factor of ((-30)/9)/(k/(-18))?
True
Let r be (-6)/(-21) - (-10)/14. Suppose 5*a + 5*l - 70 = 0, a - r = 5*l + 7. Is 13 a factor of a?
True
Suppose 6 = -c - 0*c. Suppose 4*r + 9 = 5. Is r + (-22)/c*3 a multiple of 8?
False
Suppose -5*l + 3*l = -2*m + 138, -2*l = -2. Is m a multiple of 7?
True
Let g(l) = -l**2 + 8*l - 3. Let k be g(7). Suppose -2*y - 2*n + 22 = -0*n, 2*n - 52 = -k*y. Does 15 divide y?
True
Suppose -2*x + s = 2*x - 17, -2*x = -s - 9. Suppose -x + 0 = -n. Suppose 35 + 65 = n*i. Is i a multiple of 15?
False
Suppose -5*k + 7*k = 6. Suppose -k*j + 50 = 2*j. Does 4 divide j?
False
Suppose -5 = -2*d - 1. Let h = 152 - 104. Suppose -2*t = 0, -2*o + h = o + d*t. Does 16 divide o?
True
Let c(x) = -x + 45. Let a be c(0). Suppose 2*j - 5*s = 3*j - 5, -2*j - 4*s = -16. Does 18 divide j/a + (-259)/(-9)?
False
Suppose k = -3*j + 1185, -5*k + 3 = 18. Suppose -4*t - 10 = 2, -5*m = 3*t - j. Is m a multiple of 22?
False
Suppose 4*m + t = -m + 70, 3*m - 30 = -3*t. Does 15 divide m?
True
Suppose -t - 92 = -2*t. Suppose 3*z = s - 23, -s + 4*z + t = 3*s. Does 5 divide s?
False
Let d(k) = -6*k - 17. Does 8 divide d(-10)?
False
Let m(u) = -21*u + 5. Does 18 divide m(-7)?
False
Let l(x) = -4*x**2 + 2*x + 11. Let i(s) = -3*s**2 + 2*s + 10. Let b(y) = -3*i(y) + 2*l(y). Is b(6) a multiple of 8?
True
Let p be 0/(1*(1 + -2)). Suppose p*w = w + 16. Is w/(-7) + 10/(-35) a multiple of 2?
True
Suppose -4*r = 3 - 11. Let j(m) = -m**3 + 5*m**2 + m - 2. Let n be j(5). Suppose -n*v = v + 12, -v - 55 = -r*s. Is 10 a factor of s?
False
Let j(n) = 8*n - 36. Let y(p) = p. Let t(x) = -j(x) + 6*y(x). Is t(0) a multiple of 18?
True
Let c be (-1 + -2 + -201)/(-1). Suppose -4*o = -2*o - 3*t - 216, -2*o + c = 3*t. Suppose 3*r + o = 8*r. Does 15 divide r?
False
Suppose -p + 12 = -2*d, -4*p + 68 = 3*d - d. Is 16 a factor of p?
True
Suppose 0 = 2*a - 3*a + 4*g + 2, -5*a = g + 11. Let i(s) = 11*s**2. Is i(a) a multiple of 16?
False
Let s(t) = t**3 + 9*t**2 - 11*t - 8. Let d be s(-10). Suppose d = 5*q + 2*j - 98, 2*j + 120 = 5*q. Is q a multiple of 5?
False
Let l be -1608 - 0/(-2)*-1. Does 12 divide l/(-42) + (-2)/7?
False
Let n(w) = w**2 + 11*w + 19. Does 3 divide n(-10)?
True
Let i(v) = 2*v**3 - 3*v**2 - 3*v + 4. Is 12 a factor of i(3)?
False
Is 9 a factor of (1/1)/((-2)/(-18))?
True
Let g(u) = -3*u**2 + 11*u + 6. Let q(t) = -7*t**2 + 21*t + 11. Let z(l) = -9*g(l) + 4*q(l). Is 17 a factor of z(-11)?
True
Suppose 349 = 2*x + 2*x + 5*f, f - 248 = -3*x. Is 25 a factor of x?
False
Let o(d) = d - 6. Let j be o(5). Is 9 a factor of (j - (-21)/(-5))*-5?
False
Let p be 5/(-3)*(-3)/1. Suppose -p*i + 87 = -193. Is 21 a factor of i?
False
Let o(s) be the second derivative of s**3/3 - 5*s**2/2 - 2*s. Let n be o(4). Suppose 5*x + 0*k - 4*k = 138, n*k = -2*x + 46. Is x a multiple of 13?
True
Let w(a) be the third derivative of a**5/20 + a**4/8 + a**3/2 - 2*a**2. Suppose i = -5*c - 2, -c - c = -i - 2. Is w(i) a multiple of 4?
False
Suppose o = -2*o + 2*c + 15, -2*c - 29 = -5*o. Suppose -o*i = -11*i + 156. Let a = i - 24. Is 13 a factor of a?
False
Does 4 divide 8/20 + 43/5?
False
Let r(o) = -o**2 - 11*o - 7. Let k = -11 + 2. Does 6 divide r(k)?
False
Suppose 10 = -2*t + 2. Let i(s) = s**3 + 4*s**2 - 2*s. Does 3 divide i(t)?
False
Suppose 195 = 5*m - 20. Is (m + -2)/(-7 + 8) a multiple of 14?
False
Let m = 0 - -3. Suppose -6*r + m*r - 17 = -4*s, -r = -s + 5. Suppose -s*i = -4*b - 55 - 31, 4*i = -3*b + 128. Does 13 divide i?
False
Let i = -12 + 36. Is i a multiple of 6?
True
Let d(l) = -l**3 - 10*l**2 - 13*l - 14. Let y(z) = 1. Let r(g) = d(g) + 2*y(g). Is r(-9) a multiple of 6?
True
Let z = 325 + -217. Does 12 divide z?
True
Suppose 1 - 19 = 3*p. Does 14 divide 12/p - (-31 + 1)?
True
Suppose 2*c - 2*l = 0, 0 = -c - 5*l - 0 + 12. Suppose 144 = -c*w + 6*w. Is w a multiple of 14?
False
Let x = -8 - -31. Is x a multiple of 3?
False
Let q(v) be the second derivative of v**5/20 + v**4/2 - 2*v**2 - v. Is 20 a factor of q(-4)?
False
Suppose 6*s - 110 - 124 = 0. Is s a multiple of 13?
True
Let p be ((-8)/12)/(4/18). Is (2/6)/(p/(-531)) a multiple of 17?
False
Let x(b) = -b**3 + 4*b**2 - 3*b + 1. Let l be x(2). Is 10 a factor of l - (-5*2 - 0)?
False
Suppose -107 = -3*k - 20. Does 2 divide k?
False
Is ((-12)/(-14))/3 - 1116/(-63) a multiple of 3