2). Let w = x + 17. Is 8 a factor of r(w)?
True
Let z be 0/1 - 11*-8. Let n be 0 + (-174)/(6 + -3). Let r = z + n. Is 15 a factor of r?
True
Let l be (-109)/(-5) + 4/20. Is 12 a factor of l - 0*(1 - 0)?
False
Let f = -227 - -330. Does 34 divide f?
False
Let v = 0 - 3. Let f = v + 18. Does 8 divide f?
False
Suppose r = -3*r - 16. Does 30 divide (-1 + -7)*30/r?
True
Suppose -5*i = -2*i - 120. Is 10 a factor of (-1 - -19)*i/24?
True
Suppose -136 - 11 = -3*j. Is 6 a factor of j?
False
Let k(o) = 2*o**2 + 4*o + 2. Let j be k(-2). Suppose -j*w + 4*w = -26. Let b = w + 19. Is 6 a factor of b?
True
Let r = -5 - -14. Does 9 divide r?
True
Suppose -2*r = d - 357, -2*r = -3*r + 3*d + 161. Does 22 divide r?
True
Let r = -325 - -531. Is 23 a factor of r/3 + (-1)/(-3)?
True
Let d(h) = -h**2 - 7*h - 7. Let y be d(-5). Suppose -4*j + 33 = -5*o, y*j = -3*o - 5 + 23. Does 7 divide j?
True
Let n = 123 - 42. Is n a multiple of 8?
False
Let r be 8 + (2 - (-12)/(-4)). Suppose 0 = -2*x - r + 43. Is 12 a factor of x?
False
Is 9 a factor of (-8)/(-28) + 250/7?
True
Suppose -6*y + 41 = -19. Is 2 a factor of y?
True
Suppose 3*b - 3 = 3. Does 4 divide (-11*1)/(b/(-2))?
False
Let v = -24 - -56. Is 8 a factor of v?
True
Suppose 0 = w - 3*w + 66. Is 33 a factor of w?
True
Let g = -4 - -7. Suppose -i - 5*t = -g*t - 13, 28 = 4*i - 4*t. Does 8 divide i?
False
Suppose 10 + 5 = -5*w. Let t = 2 + w. Is 0*(t - 0) - -24 a multiple of 24?
True
Let d(c) = 5*c**2. Let h be d(5). Suppose 2*b + 10 = 0, 7*l = 2*l + 3*b + h. Is l a multiple of 8?
False
Suppose 0 = 6*m - 677 + 149. Is m a multiple of 22?
True
Let q = -12 + 8. Let y be 2/q + (-182)/(-4). Does 6 divide ((-4)/10)/((-1)/y)?
True
Does 3 divide ((-2)/6)/(8/(-96))?
False
Suppose 140 = 5*u - 2*i, -u + 28 = -2*i + 3*i. Does 14 divide u?
True
Let t = 129 + -43. Is t a multiple of 4?
False
Let r = 10 - 6. Suppose 0 = j - 3*d - 17 - 16, -r*j = -4*d - 116. Does 11 divide j?
False
Let x be (20/(-6))/5*18. Does 6 divide 1/(x/14 + 1)?
False
Let a(f) = -143*f - 1. Let n be a(1). Is (n/40)/((-2)/10) a multiple of 9?
True
Suppose 0*i = -9*i + 189. Is 19 a factor of i?
False
Let z(a) = -3*a + 5. Let u(q) = 5*q**3 - 2*q**2 - 4*q**3 + 2 - q**2 - q. Let o be u(2). Is 17 a factor of z(o)?
True
Let v(i) = i**3 + 5*i**2 - 9*i - 12. Let p be v(-6). Suppose 0 = 3*f + 7*k - 4*k - 45, 0 = -3*f + 4*k + 17. Let y = f - p. Is 2 a factor of y?
False
Let k(q) = 18*q - 4. Is k(3) a multiple of 9?
False
Suppose a + a = 5*n - 703, -5*n + 707 = 2*a. Is 40 a factor of n?
False
Let k be 2 + (-6)/4*2. Is 18/(-4)*(k - 5) a multiple of 11?
False
Suppose -2*a + 96 = 2*a + 5*r, 0 = 3*a - r - 72. Suppose -2*g = -3*g + a. Is 12 a factor of g?
True
Let v(t) = -7*t**2 + 7*t + 7. Let k(f) = -6*f**2 + 7*f + 6. Let b(g) = -6*k(g) + 5*v(g). Does 4 divide b(9)?
False
Let o(d) = d**2 + 8*d + 64. Is 17 a factor of o(-10)?
False
Let d(z) = z + 5. Let g(q) = -2*q - 10. Let o(f) = 5*d(f) + 2*g(f). Suppose 3 = 5*y + 2*j - 20, 2*j + 17 = 3*y. Is 10 a factor of o(y)?
True
Suppose 3*d - 2*r - 2 = -1, 3*d + 3*r = -24. Let b be (-2)/(-2 - d)*-1. Let z(o) = 26*o - 1. Is z(b) a multiple of 14?
False
Suppose 3*u + 12 = 0, -3*w - w - u = 136. Let f = 2 - w. Is f a multiple of 11?
False
Suppose d = -d + 3*l + 119, 2*l - 307 = -5*d. Let f = -19 + d. Is f a multiple of 11?
False
Let p = 102 + -24. Does 26 divide p?
True
Suppose n = -a + 2*n + 39, 4*n = 5*a - 195. Is a a multiple of 13?
True
Suppose 2*i - f = 83, 5*i - 5*f = -0*f + 200. Is 13 a factor of i?
False
Let h = 17 - -22. Is 24 a factor of h?
False
Let r(j) be the first derivative of -j**3/3 + j**2 - j + 2. Let q be r(2). Is 3 a factor of (q - (-8)/5)*5?
True
Let p(g) = g**3 - g**2 - g + 71. Is p(0) a multiple of 20?
False
Suppose -5*w + 7*w - 8 = 0. Suppose -3*l - 2*l = -2*u + 46, -68 = -4*u + w*l. Does 3 divide u?
False
Let w(r) = -r**2 + 12*r - 15. Let a be w(13). Let u = a - -42. Does 14 divide u?
True
Suppose -22*x + 20*x + 96 = 0. Is 16 a factor of x?
True
Does 10 divide 2 - ((1 - -4) + -28)?
False
Suppose p = -5*d + 13 + 22, 0 = -5*p + d + 253. Is 10 a factor of p?
True
Suppose -3*f = 5*s - 0*f - 56, 5*s = -5*f + 60. Is 10 a factor of s?
True
Let v = 160 + 17. Is v a multiple of 36?
False
Suppose 120 = 4*y + 3*x, -2 = -x + 2. Suppose 9 + y = 3*q. Is q a multiple of 12?
True
Suppose 0*m - 18 = 3*m. Let p be 2/(m/3)*-3. Suppose p*w = 15, 2*j - 2*w = -2*j + 102. Is 14 a factor of j?
True
Suppose -3*p = p + 2*t - 94, 3*p + t = 71. Does 4 divide p?
True
Suppose 5*v - 247 = 4*d, -4*v + 0*d = -5*d - 203. Suppose -3*y + v = -10. Is y a multiple of 7?
False
Let n = 81 + -47. Is n a multiple of 22?
False
Let g(y) = 3*y**2 - 2. Suppose 4*v + 2*m - 28 = 0, -2*m = 5*v - 25 - 9. Let w = v + -2. Is 17 a factor of g(w)?
False
Let m = 0 + -1. Let u(j) = j + 1. Let c be u(m). Suppose c = -4*r + 48 + 48. Is r a multiple of 7?
False
Let z be (-4)/(-5)*10/4. Suppose -4*u + 26 = z*h, 0 = -2*h + 2*u - 5 + 37. Is h a multiple of 10?
False
Let q(u) = 155*u**3 + u**2. Does 39 divide q(1)?
True
Suppose 6*b = 3*b + 9. Suppose -b = p - 23. Is 14 a factor of p?
False
Let t(g) = -6*g - 2. Let l be t(-2). Does 7 divide 136/l + 4/10?
True
Suppose k + 5*n - 18 = 0, -n + 19 = 2*k - 17. Let q = k + 24. Does 15 divide q?
False
Let r(n) be the second derivative of 17*n**4/12 + n**3/2 + 5*n. Is 13 a factor of r(-2)?
False
Suppose 0 = -i + 6*i. Suppose -c - 2*j = 8, -5*c + i*j = 4*j + 70. Let r = c - -33. Does 15 divide r?
True
Suppose 0 = 2*a - 0*a - 64. Suppose -5*z + 0*z - 2*u + 25 = 0, a = z - 5*u. Is 5 a factor of z?
False
Suppose -g + 5 = 2*i, -4*i - 5*g + 13 = -0*i. Suppose 0*b - 2*b = -5*a + 2, 2*a + i*b + 2 = 0. Suppose -4*z = -a*z - 48. Does 12 divide z?
True
Let z(a) = -37*a**3 - 2*a**2 - 2*a - 1. Let f be z(-1). Suppose -f = -8*j + 5*j. Does 6 divide j?
True
Suppose 0 = -3*g + 6, -4*n - g + 3*g + 4 = 0. Suppose 22 - n = -o. Does 8 divide (-5)/1*64/o?
True
Suppose -a + 0 - 1 = 0. Let z(y) = y + 1. Let i be z(a). Suppose -48 = -2*j - i*j. Is 24 a factor of j?
True
Let s(d) = -d**2 + 27*d - 39. Does 3 divide s(18)?
True
Let s(d) = -d**3 + 12*d**2 + 15*d + 18. Let p be s(13). Let a = p + -15. Is a a multiple of 9?
False
Let t(o) = -2*o**3 - 4*o**2 - 3*o - 1. Let v be t(-2). Suppose -5*z - v*w = 0, 0*z - 6 = 2*z + 4*w. Suppose 67 = z*x - 41. Is 18 a factor of x?
True
Let k(c) = c**2 + 5*c + 6. Let x be k(-5). Let n = -1 + x. Suppose 10*i = -5*w + 5*i + n, w - i - 9 = 0. Is 3 a factor of w?
False
Let l(i) = -i + 5. Let r be l(8). Let s = 5 + r. Suppose y = 0, 3*y + 78 = s*k + 6*y. Is 13 a factor of k?
True
Suppose -3*h = f - 22, -3*h - 2*f + 3*f + 14 = 0. Suppose -2*i + 179 - h = 3*s, 0 = s - i - 56. Is 20 a factor of s?
False
Suppose 220 = 5*u + f - 3*f, -u = -5*f - 21. Does 14 divide u?
False
Let c = -13 + 10. Let v = c + 5. Is 450/27 - v/3 a multiple of 16?
True
Let i = 26 - 45. Let l = 9 + i. Is 7 a factor of 4/l + 148/20?
True
Suppose -5*l + 211 = 2*w - 0*w, 5*w - 4*l - 577 = 0. Suppose o + 37 = h, h - 4*h + 2*o + w = 0. Suppose n - h = -12. Is 10 a factor of n?
False
Suppose 2*c + o + 199 = 6*c, 12 = -4*o. Is c a multiple of 17?
False
Let u(b) = b**3 + 9*b**2 + 11*b + 7. Is u(-5) a multiple of 13?
True
Suppose -y + 126 = -4*y. Let g be ((-3)/9)/(1/y). Suppose -z + 27 = -g. Does 19 divide z?
False
Let l = 0 + 3. Suppose l*k - 33 + 146 = 4*c, -180 = -5*c - 4*k. Does 16 divide c?
True
Let p(h) = h**3 + h**2 - 4*h + 4. Let b be p(5). Let w = b + -56. Suppose 3*c - c = w. Is 15 a factor of c?
False
Let j be (-3)/(-3)*-1*1. Is 13 a factor of (34/(-5))/(j/5)?
False
Let q(y) = 2*y**2 + 1. Let x be q(2). Suppose 0 = 3*n + 2*j - 2 + 3, 5*n = -j + 10. Suppose -4*d + 38 = n*o + x, -18 = -2*o - 3*d. Does 6 divide o?
False
Suppose 12 = 7*b - 3*b. Let f = 7 - b. Is f a multiple of 4?
True
Let t = -3 + 6. Is 2 a factor of t/1 - (-2 + 1)?
True
Let p(z) = -z**2 + 9*z - 8. Let u(s) = s**3 + 6*s**2 + 4*s + 1. Let c be u(-5). Does 5 divide p(c)?
True
Suppose -w = 3*z - 16, -3*z + z + 12 = 2*w. Let r be 1*1/w + 11. Suppose -4*p + r = -3*p. Is p a multiple of 8?
False
Let r = 14 - 9. Suppose 0 = -v - 2*j, 0*j - 33 = -3*v + r*j. Let a(w) = -w**2 + 8*w + 5. Is a(v) a multiple of 17?
True
Let k(z) = z - 4. Let s be k(4). Suppose 3*i + 2*x = 484, -i + 4*x + 134 + 32 = s. Does 6 