*w**3 - 2*w - 9 - w**3. Is t(c) a multiple of 3?
True
Let j = 420 - 228. Is j a multiple of 8?
True
Suppose u = -c - c + 30, -6 = 3*u. Is 10 a factor of c?
False
Let x(w) = w**3 - 8*w**2 + 5*w + 2. Let b be x(7). Suppose 3*d = -u + 15, 3*u - 32 = -d + 37. Let a = u + b. Is a a multiple of 6?
True
Let o be 3/(-6) + (-11)/(-2). Suppose -c + o = 2. Suppose -4*u = -c*u - 7. Does 5 divide u?
False
Let l(i) = 6*i + 81. Does 13 divide l(15)?
False
Suppose 3*o - 245 = 4*a + 23, -86 = -o - 2*a. Is 22 a factor of o?
True
Is 13 a factor of (-1 + (-2)/(-10))/(118/(-38645))?
False
Let o(w) = -w. Let c be o(-4). Let v(a) = -57*a + 1. Let g be v(-1). Suppose 5*x - 60 = -4*n, c*x + n - g + 10 = 0. Does 10 divide x?
False
Is -15*(-20)/15 - 4 a multiple of 6?
False
Let g be 4/6*(-66)/(-2). Suppose -6*x = -x - 15. Suppose 3*a = 5*b - g, 6*a = 3*a + x. Is b a multiple of 5?
True
Let l = 10 - -8. Is l a multiple of 4?
False
Suppose -3*x = -g - 15, 0 = -2*x + 2*g - 0*g + 6. Let z = x - 3. Let l = z + 13. Is l a multiple of 10?
False
Suppose -5*b - 8 = -b + 2*m, -b = 4*m + 16. Suppose b = -r + 43. Is r a multiple of 16?
False
Let b = -12 + 45. Does 5 divide b?
False
Suppose -26 = -4*v - 2*d, 2*v + 2 - 3 = 3*d. Is v*3 + 1/1 a multiple of 9?
False
Suppose 4*f - 9 = i, 5 = -5*i - 0. Suppose -3*l + 3 = -f*l. Suppose g - 28 = -l*y + 30, 4*g = y - 2. Is y a multiple of 9?
True
Is (-2 - -2) + (9 - -2) a multiple of 11?
True
Suppose 5*t - 4*s + 108 = 0, 0*t - t + 4*s - 12 = 0. Let r = -6 - t. Does 5 divide r?
False
Suppose 2*d = -4*l - 0*d - 4, -2*d + 4 = 0. Let j be (l/1 - 0)/(-1). Suppose 5*u - 27 = v, j*v - 15 = -3*v. Is u a multiple of 6?
True
Let c(i) = 5*i**2 - 3*i. Does 17 divide c(4)?
True
Let r(h) = h + 9. Let y be r(-5). Suppose -3 = -y*d + 3*d. Is 3 a factor of d?
True
Let i = 1 - -5. Let d be -2*(21/i)/1. Is 515/35 + (-2)/d a multiple of 7?
False
Suppose -v = t - 60, 62 = 2*t + 4*v - 58. Suppose -5*x + 70 = -t. Does 9 divide x?
False
Suppose -4*v + 2*t + t + 131 = 0, 164 = 5*v - 4*t. Is v a multiple of 16?
True
Suppose 3*b = 14 + 1. Suppose -b*x + 23 = o, 5*x - 2*x = -4*o + 7. Suppose 0 = y - x*z + 2, -z = -3*y - 0*y + 8. Does 2 divide y?
False
Let t(y) = 121*y**3 - 3*y + 2. Does 40 divide t(1)?
True
Suppose -19*b + 23*b = 292. Is b a multiple of 18?
False
Is 282/9*3 + -3 a multiple of 26?
False
Let m(v) = 31*v**3 - v**2 - 2*v - 1. Let b be m(-1). Let k = b + 66. Does 10 divide k?
False
Let n(i) = -i**3 - 5*i**2 - 5*i + 1. Let r be n(-4). Suppose r*u + y = -3*y + 85, -4*u = -5*y - 68. Is u a multiple of 11?
False
Suppose -11 = -5*v - 1. Suppose v*o - 28 = t, 0*o + 3*o = 2*t + 44. Is o a multiple of 6?
True
Let f(u) be the third derivative of -u**4/4 + 2*u**3/3 - 4*u**2. Let p be f(-3). Does 3 divide p/(5 + 3/(-1))?
False
Suppose 0 = k - 1 - 3. Suppose -5*x = 2*d + 1, 0 = 4*d + 4*x - k. Let n = d + 6. Is n a multiple of 4?
True
Let g(z) = 3*z**2 + 15*z - 12. Is 13 a factor of g(-10)?
False
Suppose 3*l + 59 = 209. Is 6 a factor of l?
False
Let w(h) = 3*h**2 - 2*h**2 - 5*h + 0 - 1 - 1. Let b be w(4). Is 13 a factor of 2/(-6) - 158/b?
True
Let p be 3*26*(-2)/(-4). Let d = -5 + p. Let y = -15 + d. Does 7 divide y?
False
Let i be (-6)/10 - 36/(-10). Suppose 0 = i*c + 1 + 5, -3 = h + 4*c. Suppose 2*r = 1 + h. Is r a multiple of 2?
False
Suppose 69 = n - 45. Is n a multiple of 24?
False
Let b = -40 - -29. Let u = b - -41. Is 16 a factor of u?
False
Suppose 3*z + 8 = 107. Suppose l - 20 = -1. Let b = z - l. Is 9 a factor of b?
False
Suppose 3*n + 273 = -2*m + 88, 2*n = -4*m - 390. Let o = -173 - -320. Let b = m + o. Is b a multiple of 15?
False
Suppose -5*r - 1 + 76 = 0. Suppose i + 6*h = 2*h + r, 0 = -i + 5*h - 12. Suppose -i*w - b + 64 = 3*b, 0 = 3*w + 5*b - 68. Is 8 a factor of w?
True
Does 27 divide (3 + 380/8)*2?
False
Let x = -20 - -30. Suppose o = -m + x, -o = -2*m + 5*m - 20. Suppose m*c - 96 = 2*c. Is 12 a factor of c?
False
Suppose -2*h = -0*h - 10. Suppose 2*c + 0*a - 89 = h*a, -4*c + 5*a + 183 = 0. Does 16 divide c?
False
Suppose 2*g - 6 = 4*g. Let v(d) = -2 - 2*d + 2 - 3*d. Does 7 divide v(g)?
False
Let d be -20*((-14)/4 + 2). Suppose 4*p - 186 = d. Suppose -2*c + p = -0*c. Is 19 a factor of c?
False
Let c = 1 - -1. Let g = c + -3. Is 21 a factor of (0 - -1) + (19 - g)?
True
Suppose 9*t - 199 - 1529 = 0. Does 11 divide t?
False
Suppose -4*m - 14 - 12 = -2*f, -23 = -f + 4*m. Suppose 4*q - 62 = -q + f*w, 4*w = q - 9. Is 13 a factor of q?
True
Let i be (10/5)/((-4)/(-6)). Suppose -i*q + 10 = -38. Is 8 a factor of q?
True
Let p(k) = k**3 + 6*k**2 - 2*k - 4. Is 14 a factor of p(-5)?
False
Let i(f) = 4*f - 4. Suppose -b + 4 = b. Let j = b + 3. Does 8 divide i(j)?
True
Let h = 9 - -101. Does 22 divide h?
True
Suppose 5*j = 2350 + 565. Is 71 a factor of j?
False
Suppose 2*w - 5*w - 3 = 0, -4*p - 4*w = -24. Let x = -20 - -48. Is 5 a factor of 115/p - 12/x?
False
Suppose -2*j - 131 = -4*i + i, -j = -3*i + 127. Let m = i + -5. Is m a multiple of 9?
True
Let g(o) = -3*o + 4. Suppose 4*j = -4*x + 12, -4*j - 5*x + 2*x = -12. Let n(z) = 3*z - 5. Let l(d) = j*g(d) + 2*n(d). Is 4 a factor of l(-4)?
False
Suppose 0 = -3*z + z - 3*o + 154, 2*z - 2*o = 154. Does 15 divide z?
False
Suppose 3*s - 6*s = -69. Is s a multiple of 23?
True
Let m(a) = 9*a**3 + 2*a**2 - 2*a + 1. Let g be (2/4*2)/1. Let v be m(g). Let y = 0 + v. Is 5 a factor of y?
True
Suppose 0 = 4*t + 3*i - 31, 0*t + 2*t - 3*i = -7. Let m = 2 - t. Is (-2 - 0)/m*3 a multiple of 3?
True
Suppose -2*u + 41 = -u. Is u a multiple of 9?
False
Suppose -2 = 2*n + 8, 0 = -3*s - 4*n + 52. Does 12 divide s?
True
Let f(z) = 2*z**2 + z - 2. Suppose 11 + 11 = -3*x - d, 38 = -5*x - d. Let m = 6 + x. Does 2 divide f(m)?
True
Let k = -99 + 49. Let y be (-1)/(3/111) - -1. Let l = y - k. Is l a multiple of 14?
True
Let k be (-10)/6*(8 - 2). Suppose -4*a + 50 = 5*f, -3*a - 16 = -f - 5*a. Is 3/(k/f + 2) a multiple of 7?
False
Let s be ((-51)/9)/((-3)/54). Let k = 20 + -14. Suppose s = k*f - 3*f. Is 16 a factor of f?
False
Suppose -3*w + 0*k = -2*k - 148, 21 = w + 5*k. Let q be w/6 - (-5)/15. Suppose q*m - 3*m - 225 = 0. Does 17 divide m?
False
Let n(w) = -2*w**2 - 2*w - 2. Let c be n(-2). Let a(x) = 2*x**2 + 5*x + 9. Let q be a(c). Suppose -2*s = s - q. Is 16 a factor of s?
False
Let y be (-1)/(-3) + (-51)/(-9). Let j = y - 1. Suppose -8 + 33 = j*k. Is 3 a factor of k?
False
Suppose 0 = 5*l - l - 2*w - 138, -2*w + 150 = 4*l. Let p = l - 1. Does 13 divide p?
False
Let k(i) = -i**2 - 8*i - 1. Suppose 8 - 36 = 4*f. Let c be k(f). Let l(g) = 2*g**2 - 9*g + 1. Is l(c) a multiple of 18?
False
Let g = 8 - -2. Is 4/g*(34 - -11) a multiple of 4?
False
Let p(k) = 3*k**2 - 4*k + 3. Let r be (-6)/(-10)*(2 - -3). Let i be p(r). Suppose -4*b = -i + 2. Does 3 divide b?
False
Let j(x) = 3*x + 2 + x - 5*x + 2*x. Let w be j(-3). Is (15 + -1)/(w - -2) a multiple of 14?
True
Let c(o) = 4*o**2 + 3*o + 14. Is 22 a factor of c(6)?
True
Is 19 a factor of (-198)/(-10) + ((-22)/(-10) - 3)?
True
Let q = 10 - -34. Is q a multiple of 22?
True
Let l = 15 - -26. Is 41 a factor of l?
True
Let q = -15 + 17. Is 2 a factor of 54/45*5/q?
False
Suppose -5*h = -5*s - 20, 0*s - s - 16 = -4*h. Let g(u) = s*u - 2*u + u. Is g(-8) a multiple of 5?
False
Let v be 2/(-3) - (-28)/6. Let a(s) = 2*s**3 - s**2 - s + 4. Let t be a(v). Is ((-1)/2)/((-4)/t) a multiple of 14?
True
Let f(y) = -y - 3. Let a be f(-10). Let o(c) = 6*c - 3. Is o(a) a multiple of 11?
False
Let z = -45 - -79. Let n = -14 + z. Does 5 divide n?
True
Is 66 + (0/1 - -1) a multiple of 18?
False
Let h = -16 - -24. Let u(c) = -c + 7. Let k be u(h). Does 4 divide (0 + k)/((-1)/4)?
True
Is 8 a factor of 1/((-17)/(-40) + 6/(-15))?
True
Let a(b) = -18*b - 22. Is 10 a factor of a(-4)?
True
Let r(k) = k**2 - k - 1. Let t be r(-1). Suppose -t = s - 9. Is 6 a factor of s?
False
Let i be 5/(((-1)/(-1))/2). Let y = i + -17. Is 7 a factor of 0/(-4 + 1) - y?
True
Let v(u) = -u**3 - 5*u**2 - 4*u - 4. Is v(-5) a multiple of 14?
False
Let x = 755 - 396. Does 27 divide x?
False
Suppose -2 - 2 = 2*h. Let q(r) = 9*r**2 - 2*r - 1. Is 13 a factor of q(h)?
True
Let u(h) = 0 + 1 + 6 - 1 + h**2 + 7*h. Let m be u(-5). Does 12 divide m/(4/(-2)) + 22?
True
Let y = -42 - -78. Does 8 divide y?
False
Suppose 0 = 2*h - 4 - 4. Let d(w) = 4*w**2 + 