 Suppose -d*t - 3 - 153 = 0. Let w = t + 67. Is 14 a factor of w?
True
Let c(o) = o**3 - 7*o**2 - 9*o - 9. Does 24 divide c(9)?
True
Suppose 0 = 2*f - f - 27. Is 9 a factor of f?
True
Let g(q) be the second derivative of q**4/12 - q**3/6 + q**2 - 2*q. Let a be g(4). Is 13 a factor of 2*a + 0 + 2?
False
Let b(t) = -t**2 + 39*t - 14. Is 30 a factor of b(17)?
True
Let n(p) = -3 + 4 - 1 + 3*p + 8. Let d be n(10). Suppose 4*i + 5*y = 63, 4*i - 3*y = 109 - d. Does 17 divide i?
True
Let z(u) = -4*u**2 - 2*u - 1. Let p be z(-1). Is 13 a factor of p/(-6) + 166/4?
False
Let t(i) = -45*i**3. Let h be t(-1). Let b = h + -26. Is b a multiple of 10?
False
Let f be (-1 - (-2 - -10))/(-1). Let v = f + 0. Is v a multiple of 3?
True
Let g = -13 + 7. Let w = 20 + g. Suppose -3 = z - w. Does 8 divide z?
False
Let p = -2 + 5. Suppose -3 = -3*x, -t + p + 47 = 3*x. Is t a multiple of 31?
False
Let m(g) = g**3 - 7*g**2 - 5*g - 8. Suppose 0 = 5*n - 71 - 49. Suppose -3*k + 4*j = -n, j - 4 = 3*k - 28. Is m(k) a multiple of 8?
True
Let f be -2 - (-4 + 7 + -132). Suppose -284 = 5*v + 166. Let u = v + f. Is u a multiple of 15?
False
Let t(r) = -2*r**3 - r**2 - 7*r + 2. Let v be t(3). Let x = v - -125. Is x a multiple of 9?
False
Suppose 0 = 4*k - 290 + 78. Suppose -h - 2*l + 7*l = -30, -2*h = -3*l - k. Is h a multiple of 7?
False
Suppose -4*k - 2*q = -10, -3*k - 3*q = 2*k - 12. Suppose 3*d = 5*s - 17, -k*d - d + 24 = 5*s. Suppose -4*i + 100 = 4*r, -2*r + 7 = d. Is i a multiple of 11?
True
Suppose 5*r - 27 = 43. Suppose -2*d + 69 = 3*d + a, -2*d = -3*a - r. Is 11 a factor of d?
False
Suppose 0*a - 92 = 2*a. Let m = -18 - a. Does 9 divide m?
False
Let m = 199 - 115. Let d = -54 + m. Does 15 divide d?
True
Suppose -3*o - 2*o - 25 = 5*y, -5*y + 3*o = 33. Let m = 10 + y. Suppose -2*q - 98 = -4*l, -3*l + m*q + 14 = -2*l. Does 14 divide l?
False
Let y be ((-2)/2)/((-1)/(-2)). Is 9 a factor of 12 - (2 + y)*1?
False
Let t(l) = -l**2 - 5*l - 7. Let n be t(6). Let r = -36 - n. Is 16 a factor of r?
False
Suppose 4*u + 4 = x, 11 = -5*x + 4*u + 31. Let t(v) = v + v - 2*v - x + 8*v. Is 10 a factor of t(3)?
True
Suppose -64 = -4*p + 32. Suppose -16 = -4*w + 2*w - y, 2*y - p = -3*w. Is 4 a factor of w?
True
Suppose 0 = n - 2, -4*v - 4*n + 156 = 0. Does 32 divide v?
False
Let s(r) = -2*r**2 + 1. Let v be s(1). Does 4 divide 12 + 1*(1 + v)?
True
Suppose 2*q = 2*v - 2, -5*v + 4*q + 4 + 3 = 0. Suppose 0 = -3*g - 2*g + v*f + 41, 0 = -2*g + 5*f + 24. Is 5 a factor of g?
False
Suppose -3*q - 4*u + 213 = 2*q, 4*u - 33 = -q. Is 9 a factor of q?
True
Let a = -83 - -123. Is 10 a factor of a?
True
Let a be (-37)/(-3) + 2/(-6). Let h be (-6)/a - (-90)/4. Suppose h = -i + 3*i. Is i a multiple of 4?
False
Suppose -29*t + 24*t + 315 = 0. Does 11 divide t?
False
Suppose -2*s + 173 = 31. Suppose 3*z = 5*o - s, -4*o - 5*z + 54 = -6*z. Is o a multiple of 13?
True
Suppose -2*m - 4 = 2*s, -2*m = -5*m + 3*s + 24. Suppose 0 = -m*d + u + 4*u - 10, 2 = -2*d + u. Let j(n) = n**3 + n**2 + n + 7. Is j(d) a multiple of 3?
False
Let v be 4*(0 - 6/4). Let f(x) = -4*x**2 + 8*x + 6. Let y(s) = s**2 - 3*s - 2. Let z(r) = -2*f(r) - 7*y(r). Does 4 divide z(v)?
True
Let y(w) = 2*w**2 - 8*w + 8. Suppose -5*l - 20 = 0, -2*f = -f + 3*l + 6. Is 11 a factor of y(f)?
False
Suppose -3*v = 4*j - 751, 7*v - 1243 = 2*v + 2*j. Suppose 2*a = -5*c + v, 4*a + 0*a - 90 = -2*c. Let s = 99 - c. Is s a multiple of 16?
True
Let y(n) = 4*n**2 - 4*n - 3. Does 10 divide y(-2)?
False
Let f be 12/5 - 6/15. Suppose -u = f*u - 27. Let j(h) = -h**2 + 10*h + 5. Is 7 a factor of j(u)?
True
Let g(x) = -x**3 - 12*x**2 - 11*x + 7. Let l be -33*(4/3 - 1). Let m be g(l). Suppose m = 5*n - 23. Is 6 a factor of n?
True
Let k be 37/1 + (-2)/(-1). Suppose 0 = -0*v + 3*v - k. Let q = -8 + v. Does 5 divide q?
True
Let i(f) = f + 1. Let t(o) = 28*o + 20. Let b(u) = -36*i(u) + 2*t(u). Let k(r) = -30*r - 6. Let g(p) = 7*b(p) + 5*k(p). Is g(-3) a multiple of 14?
True
Let q = -47 + 115. Is 10 a factor of q?
False
Suppose -5*x - 16 = -3*s, 3*s - 6*s - 5*x - 4 = 0. Suppose 3*i = 0, o - s*i + 6 = -2. Let q = o + 22. Does 14 divide q?
True
Let n be 4/26 + 1593/39. Suppose n = 2*k - 5*z, k + 4*k + 3*z = 118. Let i = k - 6. Is i a multiple of 13?
False
Suppose -149 = -h + p, -4*h + 612 = 6*p - 2*p. Is 42 a factor of h?
False
Let q(d) = 6*d**2 - d. Let x be q(1). Suppose -64 = -2*s - x*a, -96 = -4*s - 3*a + a. Is 11 a factor of s?
True
Suppose -358 = -2*p + 1110. Suppose u - p = 5*s, 4*s - 122 = -u - 702. Is s/(-8) - 2/8 a multiple of 10?
False
Is (4 - (-4 - -7))*39 a multiple of 13?
True
Let f be (-2)/5 + (-34)/(-10). Suppose 2*a - 7 = -c - f*a, -3 = a. Does 11 divide c?
True
Suppose -a + 11 = 64. Let q = 113 + a. Does 22 divide q?
False
Suppose d - 4*j = 15, j = -2*d + 3 + 9. Let i(f) = f**3 - 8*f**2 + 4*f + 2. Let s be i(d). Let t = 39 + s. Is t a multiple of 10?
True
Suppose -6*w = -w - 10. Suppose z - 58 = -2*j, -w*j - 53 = -2*z + 69. Does 10 divide z?
True
Suppose 0 = d - 2*d + 10. Let y = 4 - 4. Suppose y = c - 0*c - d. Is c a multiple of 5?
True
Suppose -z + 7 = 3. Let m = 8 - z. Is 4 a factor of m?
True
Let t(c) = -11*c + 3. Let b be t(-4). Suppose 0 = -3*u - 0*u - 4*w + b, 2*u - 22 = -5*w. Is 11 a factor of u?
False
Suppose o + 0*o = 0. Suppose 2*t + o = -10. Let y(m) = m**3 + 6*m**2 + m - 2. Does 8 divide y(t)?
False
Let w = -3 + 4. Let x(n) = 18*n. Is 9 a factor of x(w)?
True
Suppose -3*t + 10 = -2*t. Is t a multiple of 9?
False
Let b(z) = 18*z**2. Suppose v = 3*n - n - 3, -3*n + 3*v = -3. Does 18 divide b(n)?
True
Suppose 5 - 185 = 4*y. Let p = 73 + y. Does 25 divide p?
False
Let w be 6 - (6/(-3) + 3). Suppose 0 = w*v + 102 - 27. Does 6 divide 5*(36/v)/(-1)?
True
Suppose c - 10 = -2*o, -5*o - 2 = -4*c - 14. Let r be 2/4 - (-82)/o. Suppose w = 2*w - r. Is w a multiple of 10?
False
Suppose -28 + 154 = 2*f. Is 13 a factor of f?
False
Is 31 a factor of 90*1 - 3/(-1)?
True
Let b(r) = -r**3 - 2*r**2 - 2*r - 4. Suppose -20 = 4*o, -3 - 5 = p + o. Does 7 divide b(p)?
False
Let z(b) = b - 6. Let d be z(6). Suppose d = i + 2*i - 69. Does 10 divide i?
False
Let y = 5 - 3. Is 17 a factor of -17*2/(-4)*y?
True
Suppose 0 = -2*n - 4*d + 2*d + 92, 5*n - 215 = -2*d. Is 9 a factor of n?
False
Let z(q) = 2*q. Is 6 a factor of z(3)?
True
Suppose 2*v + 2 = 8. Is 11 a factor of ((-3)/(-6))/(v/66)?
True
Let h(p) be the third derivative of -p**8/6720 - p**7/504 + p**6/90 - p**4/12 - 2*p**2. Let k(w) be the second derivative of h(w). Does 21 divide k(-7)?
True
Suppose 9*c - 12 = 5*c. Suppose -8 = -a - c*v + 29, -5*a + v = -153. Suppose a = u - 3*f, 9 = u + 2*f - 7. Does 11 divide u?
True
Suppose 3*p = i + 19, p = 6*p + 3*i - 13. Suppose p*o + 45 = 115. Does 7 divide o?
True
Suppose 595 = 6*w - 497. Is w a multiple of 13?
True
Is 9 a factor of ((-21)/(-35))/((-1)/(-45))?
True
Let u be (-1)/2 - (-8)/(-16). Let h(p) = -20*p. Does 10 divide h(u)?
True
Let r = 14 + -5. Let i be 38/r - 8/36. Is 11 a factor of i/(-14) - (-284)/14?
False
Let s be 3/(-3) + (-2 - -24). Suppose -15 = -2*i + s. Is 11 a factor of i?
False
Let r be (120/(-9))/(3/(-9)). Is (-14)/(-21) - r/(-3) a multiple of 8?
False
Suppose 24 = -5*d - 86. Let j = 61 + d. Does 13 divide j?
True
Suppose 4*l + 4 = -5*y - 0*l, 3*y + 2 = -2*l. Does 10 divide (23 + 1 - 3) + y?
False
Let x(r) = 3*r**2 + 2*r + 2. Let s be x(-4). Let p = s + -26. Does 4 divide p?
True
Suppose 0 = 5*w + 37 - 137. Is 10 a factor of w?
True
Let b = 8 - 3. Suppose 0 = b*g - 72 + 17. Does 11 divide g?
True
Let w be 5 - (6 - (4 - 1)). Suppose 0 = w*t, 3*t = -5*q + 2*q + 126. Does 9 divide q?
False
Let o be 6/(-1)*(-4)/8. Suppose -6 = o*b - 4*s - 17, -3*b = -s - 5. Suppose -2*x + 8 = 2*d - 48, b = d. Is x a multiple of 12?
False
Suppose 0 = -4*a + 57 + 3. Does 15 divide a?
True
Suppose 124 - 340 = -4*o. Is 14 a factor of o?
False
Suppose 0*b - 4 = b. Suppose 3*g + 4*h - 25 = 11, h + 24 = 2*g. Is b/(3/g*-2) a multiple of 5?
False
Let u = -29 - -48. Suppose 0 = 3*z - 2*z - 2*b + 6, 14 = 5*z + b. Suppose u + 61 = z*l. Is l a multiple of 11?
False
Let i = -3 + 3. Suppose i = 3*h + t - 4*t - 99, t = -5*h + 141. Does 10 divide h?
False
Suppose 16 = -0*o + 2*o. Is 2 a factor of o?
True
Does 36 divide 3/(42/8) - (-1084)/14?
False
Let i be 9/(2 - (-27)/(-12)). Let h = i - -