**4/4 - 4*x**3/3 - 2*x**2 - 2. Let w be b(5). Is 4 a factor of z(w)?
True
Let x(a) = a + 7. Let f be x(-5). Suppose -f*g + 31 = -g. Let u = g - 15. Is 8 a factor of u?
True
Let x be (-20)/6*(-54)/12. Suppose -3*p = -0 - x. Suppose -152 - 58 = -p*g. Does 15 divide g?
False
Let j(l) = l**3 + 14*l**2 + 15*l + 8. Let x be j(-12). Suppose -4*a - 104 = -4*d, 6*d = 2*d - 2*a + x. Does 18 divide d?
False
Let n(v) = -4*v**3 - v - 1. Let i be n(-1). Let u = 1 + 27. Suppose a = i + u. Does 16 divide a?
True
Suppose 0*b - 126 = -4*u - 2*b, 0 = -5*u + 3*b + 185. Does 7 divide u?
False
Let t(m) = m - 4 + 2 - 3*m**2 - 3*m**2 + 7*m**2. Suppose -f = -2*f - 4. Is 10 a factor of t(f)?
True
Let d = 6 + -9. Let t be 30 + (-2 - d) - -2. Let y = 75 - t. Is 14 a factor of y?
True
Let n(t) = 2*t**2 - 11*t - 8. Let k be n(8). Suppose 7*j + z = 2*j + 88, 2*z = -2*j + k. Is j a multiple of 9?
True
Let h be 0 + (0 - 2/(-1)). Suppose -5*z - h*o - 3 = -21, -z + 3*o - 10 = 0. Suppose -13 = -z*a + 13. Is 6 a factor of a?
False
Let w = -1 - -139. Is w a multiple of 6?
True
Suppose 4*h - l - 29 = 3*h, 0 = -3*h + 4*l + 90. Is 4 a factor of h?
False
Let r(y) = -y**3 + 7*y**2 - 6*y - 5. Let a be r(5). Suppose 2*v - a = v. Suppose 2*j + 14 = 3*w, -4*w + 3*j + v = 4*j. Is w a multiple of 2?
True
Suppose -2*c = 5*j - 29, -j = -2 + 1. Suppose -2*a + 0*a = c. Let d(b) = -b**3 - 7*b**2 - 8*b + 6. Does 11 divide d(a)?
False
Let d = 66 - -78. Does 8 divide d?
True
Suppose -3*s + 0*s = 36. Is 4/(s/9) - -13 a multiple of 4?
False
Let n be 8/4 + 0 + -2. Let m = 1 + -1. Suppose n*j + 4*j - 8 = m. Does 2 divide j?
True
Let q(o) = -6 - 6 + 10 + 6*o - 4. Suppose 8 + 0 = 2*t. Is 9 a factor of q(t)?
True
Is 18 a factor of ((-52)/65)/(2/(-115))?
False
Let t be 0 - 1/((-4)/48). Suppose 0*i + i = t. Is i a multiple of 4?
True
Suppose 4*y - 230 - 506 = 0. Is y a multiple of 23?
True
Suppose 71 = -4*w - 489. Is (14/35)/((-2)/w) a multiple of 14?
True
Let r(s) = -4*s - 7. Does 5 divide r(-3)?
True
Does 2 divide (4 - 12)/(-1) + 1?
False
Let i(n) = n**3 - 18*n**2 + 4*n + 10. Let o = -13 - -31. Is i(o) a multiple of 19?
False
Let t(v) = -v**2 - 8*v - 7. Let c(z) = 2*z + 2. Let b be c(-4). Does 5 divide t(b)?
True
Let x(z) = 2*z**2 - 13*z + 31. Is 19 a factor of x(13)?
False
Let z = 3 - 2. Let q be z - 1 - (4 + -7). Suppose -q*r + 0*r = -39. Is r a multiple of 13?
True
Suppose -5*v + 25 = -2*c + 9, -c = 5*v - 22. Does 6 divide v/(-10) + 460/25?
True
Let j be 32/(-6)*(-9)/(-6). Let c = -2 - j. Is 6 a factor of c?
True
Let b(g) = -11*g**2 - 4*g. Let d(h) = -h. Let q(m) = b(m) - 5*d(m). Let c(x) = -32*x**2 + 3*x. Let n(p) = 2*c(p) - 7*q(p). Does 12 divide n(1)?
True
Let s = -6 + 7. Let q = s + 9. Does 9 divide q?
False
Let t(z) = -z - 7 + 2 + 1. Let a be t(-7). Suppose a*c - 2*d = -d + 24, -2*d = c - 1. Is c a multiple of 7?
True
Let a(j) = j**2 + 10*j - 16. Let c be a(-13). Let x = -42 + 115. Let g = x - c. Is g a multiple of 17?
False
Let w be ((-5)/(-15))/((-1)/(-60)). Suppose -4*q = -3*m - 42, -m + w = 2*q - 3*m. Is q a multiple of 6?
True
Is 25/2 - 13/(-26) a multiple of 5?
False
Suppose 3*l + 5*v - 173 = 0, l - 226 = -3*l - 2*v. Is l a multiple of 14?
True
Suppose 3*f - 4*o - 1 - 8 = 0, -6 = -2*f - 3*o. Suppose -k - 72 = -f*k. Does 10 divide k?
False
Let w(b) = b**2 + b + 3. Does 3 divide w(0)?
True
Suppose -15 = -l + 2. Is l a multiple of 10?
False
Let a = 8 + -5. Does 2 divide a?
False
Let w = 0 - -4. Suppose 0 = 4*m + 3*n - 9, 2*m + 0*m = -n + 5. Suppose w*r = -8, r = x - m*x + 48. Does 13 divide x?
False
Let i = 8 - 4. Suppose n = -i*n. Let l(y) = y**3 - y**2 - y + 7. Is 3 a factor of l(n)?
False
Suppose -4 = -3*h + 2. Let o = h - -5. Does 4 divide o?
False
Let i(f) = 6*f. Let p be i(4). Let k = 55 - p. Does 19 divide k?
False
Suppose 11*u - 550 = u. Does 11 divide u?
True
Suppose -4*a = -5*j + 38, -62 = 2*a + 3*a + j. Let d = a - -18. Is d a multiple of 6?
True
Suppose 0 = -z + 6*z - 265. Is z a multiple of 12?
False
Let t = -17 - -1. Let u be 2/7 - (-88)/(-14). Let g = u - t. Is 5 a factor of g?
True
Suppose -a - 3*u + 6 = -12, 0 = -5*a + 2*u + 158. Suppose s = -s - a. Let z = 4 - s. Is 10 a factor of z?
False
Let d(f) = -f**3 - 9*f**2 - 5*f + 3. Is d(-9) a multiple of 26?
False
Let y be 2 - -2*(-58)/(-4). Suppose -2*d = -5*d + b + y, -d + 7 = -2*b. Is d a multiple of 11?
True
Let o(l) = 2 + 5*l**2 + 1 - 2*l - 6*l**2 - 3*l. Let b be o(-6). Does 13 divide b/((-6)/(-26))*-1?
True
Suppose -50 = 19*u - 14*u. Suppose -49 = -f - 2*f + q, -f = -2*q - 13. Let a = f + u. Is 5 a factor of a?
False
Suppose -2*l + 6*l - 264 = 0. Is 22 a factor of l?
True
Suppose -35 = 4*i - 591. Let t = i - 79. Is 15 a factor of t?
True
Does 37 divide 264*(-6 + 39/6)?
False
Let y = -64 - -94. Is y a multiple of 13?
False
Suppose 416 = 4*w - 4*j, -w - j + 490 = 4*w. Does 22 divide w?
False
Let g = 63 - 27. Is 20 a factor of g?
False
Is 1/(302/100 + -3) a multiple of 25?
True
Let c = 115 + -55. Does 20 divide c?
True
Suppose 9*t - 5*t - 196 = 0. Suppose 5*d + 9 = t. Is d a multiple of 4?
True
Let p(g) = g**3 + 5*g**2 - 16*g - 10. Let k be p(-7). Suppose 2*l = -m + 86, -k*l - 241 = -4*m + 163. Is 20 a factor of m?
False
Let m(k) = 53*k - 2. Is m(1) a multiple of 17?
True
Let a(f) = f**3 - 9*f**2 + 15*f - 21. Is 38 a factor of a(9)?
True
Does 17 divide (-2)/((6 + -3)/(-102))?
True
Let p be (10/(-3))/((-2)/30). Suppose 0 = -5*o + p + 85. Is o a multiple of 12?
False
Let j be (-2)/8 + 2/8. Suppose j = 3*o - 2*r - 6, 2*o = -2*r + r + 11. Suppose o + 17 = 3*u. Is u a multiple of 7?
True
Let l(h) = h**3 - h + 72. Let y be l(0). Let f = y + -45. Is f a multiple of 26?
False
Let r(b) = 2*b + 8. Is 7 a factor of r(3)?
True
Let a = 8 - 6. Suppose -5*d - 5*o + 20 = 0, 3*o + 0*o = -d + a. Suppose d*g - y = 37, -3*g + 0*y = y - 27. Is 8 a factor of g?
True
Let v(h) = 2*h**2 + 11*h - 13. Let b be v(-9). Let g(n) = -n**2 + 2*n - 6. Let j be g(5). Let y = j + b. Is y a multiple of 9?
False
Let m be 14/2 - 2/1. Suppose 0 = -5*t - m*o + 40, -2*t - o + 21 = -4*o. Is t a multiple of 9?
True
Let g be (-4)/(-8) - (-14)/(-4). Is (g/1)/(-1)*6 a multiple of 18?
True
Let t(x) = -16*x**2 + 11*x + 35. Suppose -2*c = 2*f + c - 4, -3*f - 4*c + 6 = 0. Let j(i) = -3*i**2 + 2*i + 7. Let u(p) = f*t(p) - 11*j(p). Does 15 divide u(5)?
False
Let f(m) = m**3 - 6*m**2 + 12*m - 10. Is f(5) even?
False
Let x(c) = -1 + 10 - c - 6. Is 13 a factor of x(-10)?
True
Let b(h) = -h**3 + 10*h**2 - 9*h + 12. Is 25 a factor of b(7)?
False
Let k = 4 - -25. Is k a multiple of 6?
False
Let b be 345/5*(-3 - -2). Let y = 111 + b. Is y a multiple of 21?
True
Suppose -6*s + 4*s + 24 = 0. Does 7 divide s?
False
Let m = -77 - -59. Let l = -41 + 1. Let t = m - l. Is t a multiple of 11?
True
Suppose 3*t - 35 = 79. Is t a multiple of 6?
False
Let z(v) = v**3 + 7*v**2 + 6*v - 3. Let n be z(-5). Let g = 29 - n. Is 5 a factor of g?
False
Suppose 2*l + 3 - 15 = -d, 4*l = 4*d + 12. Suppose -l*g = -35 + 15. Is g a multiple of 4?
True
Suppose 0 = -5*m + 9 + 6. Suppose m*s - s - 32 = -4*l, -3*s - 40 = -5*l. Is 6 a factor of l?
False
Suppose -4*a + 95 = a. Suppose -a = 2*i - 99. Is i a multiple of 14?
False
Let t(z) = -2*z + 5. Let n(m) be the first derivative of m**2 - 4*m + 1. Let d(r) = -6*n(r) - 5*t(r). Is 11 a factor of d(-6)?
True
Let f = 114 - -10. Is 13 a factor of f?
False
Let x = -3 - -24. Is 21 a factor of x?
True
Let d(n) = -n - 3. Let w be d(4). Let g = w + 27. Does 8 divide g?
False
Suppose 4*h = 21 + 3. Let l(w) = -w**2 + 6*w - 2. Let s be l(h). Let a(c) = 4*c**2 - c - 2. Is a(s) a multiple of 8?
True
Let t be ((-15)/(-10))/((-6)/(-20)). Suppose -d + 4*f - 12 = -0*d, -4*d = -t*f + 4. Suppose 2*r - d = 0, p + 46 = 3*p + 3*r. Is p a multiple of 14?
False
Suppose -24 = 2*n + 2*n. Let v(w) = w**2 + 4*w - 8. Does 2 divide v(n)?
True
Is 21/(1*(4/44 + 0)) a multiple of 21?
True
Let u be 238/4 + 2/4. Is 11 a factor of u*(-3)/(-15)*2?
False
Suppose -4*v - 144 = 2*b, 5*b - 2*v - 3*v + 300 = 0. Let m = b - -94. Does 9 divide m?
False
Let d be 6/(-10) + 6/10. Suppose d = 2*c + 3*j - 7*j + 22, -j + 1 = c. Does 7 divide (7 + -4)/(c/(-23))?
False
Suppose -n + 184 = 4*b + b, 2*n + 172 = 5*b. Is b a multiple of 12?
True
Let b = 33 + -15. Does 6 divide b?
True
Let v = -3 - -63. Does 12 divide v?
Tru