t a(i) = -i**2 - i + 6. Let x be a(-4). Let t(u) = -u**3 + 9*u**2 - 7*u + 3. Let n be t(8). Is 7 a factor of x/(-33) + 75/n?
True
Suppose -4*a + 2*d + 94 = 0, -4*a + 74 + 5 = d. Is a a multiple of 12?
False
Suppose 0 = 3*c - 3, -4*w = 4*c + 20. Let l(n) = n + 1. Let v(b) = -2*b**2 - 13*b - 12. Let p(r) = w*l(r) - v(r). Does 12 divide p(-6)?
True
Let o = -173 + 298. Is 9 a factor of o?
False
Suppose -3*y = 3 + 30. Let c = y - -26. Is 7 a factor of c?
False
Let s(q) = -6*q - 6. Let a be s(-11). Suppose a = 2*b - 2*v, 0 = -5*b + 4*v - v + 146. Is b a multiple of 7?
True
Let b = 1 - -32. Does 6 divide b?
False
Let c(d) = -d**2 + 7*d + 8. Let k be c(6). Suppose -g - g - 3*v = 34, k = -g - 3*v. Is 7 a factor of (-164)/(-10) + 8/g?
False
Let h be 298/5 - 14/(-35). Suppose 0 = 4*m + 88 + 52. Let p = m + h. Is 11 a factor of p?
False
Does 25 divide (93/(-2))/((-12)/24)?
False
Let c be 7/3 - (-2)/(-6). Suppose 7*y - c*y - 45 = 0. Does 6 divide 2/y - (-52)/9?
True
Suppose -5*b = -4*d + 278, -2*d + 2*b + 2*b = -136. Is d a multiple of 18?
True
Is ((-15)/20 - -1)/((-2)/(-104)) a multiple of 13?
True
Let s(t) = -4*t + 4. Let g be (-28)/(-12) - 1/3. Suppose -3*z - 4 = -g*z. Does 20 divide s(z)?
True
Let t be ((-250)/4)/((-1)/6). Suppose -10*s = -7*s - t. Suppose -3*p + s = -4*a + 5*a, -2*p - 3*a = -95. Does 13 divide p?
False
Let z be (9 + 2)*(0 + -1). Let p = -4 - z. Is p a multiple of 7?
True
Suppose 2 = u - 1. Suppose -5*j = 3*x - 75 - 170, -66 = -j - 4*x. Suppose -u*r - 87 = -3*m, -5*r = m - 3*m + j. Is m a multiple of 9?
False
Let t(n) = -2*n - 11. Let j be t(-8). Suppose 0 = -7*u + j*u + 28. Is u a multiple of 7?
True
Let c(z) = -z**2 - z + 2. Let j be c(0). Suppose 0 = -k + j*k + 3. Is 13 a factor of 7*3 + k + 1?
False
Let g(l) = 8*l + 2. Let t be g(-3). Let a be 6/(-33) + 128/t. Let x(y) = y**3 + 5*y**2 - 8*y - 1. Does 6 divide x(a)?
False
Let s = 56 + -21. Is s a multiple of 21?
False
Suppose 10*y - 5*y + 60 = 0. Is 19 a factor of -4*(2 - (-81)/y)?
True
Suppose 0 = -w - g - 3, 2*w + 2*w + 5*g = -16. Does 11 divide (2 - w) + 0 + 28?
False
Let d(y) = y**3 - 5*y**2 - 2*y + 4. Let p be d(5). Let t(b) = 8 - 2*b**3 + 1 + 3*b**3 + 8*b**2 + 8*b. Does 15 divide t(p)?
False
Suppose 0*k + 24 = k + 3*y, -5*k + 4*y + 44 = 0. Does 6 divide k?
True
Let k = 1036 + -703. Suppose -3*w = -5*z + w + k, 0 = z - 5*w - 54. Let h = 99 - z. Is h a multiple of 10?
True
Suppose -6 = -2*q - 0. Suppose 7*t - 72 = q*t. Does 9 divide t?
True
Suppose 0*h + 5*h + 15 = 0, -4*h = -2*u + 18. Is (4 - u)*(25 + 1) a multiple of 25?
False
Let u = -64 - -83. Is 3 a factor of u?
False
Suppose 0 = t + 3*d + 2, -5*t - 5 + 63 = -2*d. Suppose -r + 1 + 4 = 0. Let g = t - r. Does 2 divide g?
False
Let v(r) = r**3 + 8*r**2 + 7. Let y be v(-8). Let f = 9 - y. Suppose 22 = f*s - 6*u + 3*u, 5*s = -2*u + 36. Is s a multiple of 8?
True
Let h = -34 + 341. Suppose 4*g - h = -23. Suppose -8*s + 3*s + 81 = 4*i, 4*i - g = -3*s. Does 7 divide i?
True
Let k = -137 + 203. Is k a multiple of 22?
True
Let u(k) = k**2 - 6*k + 7. Let m(o) = o + 8. Let z be m(-6). Let a be -2 - (z - (2 - -9)). Does 14 divide u(a)?
True
Suppose 4*p = 3*g - 1134, -2*g + 275 = 2*p - 495. Suppose -42 + g = 5*l. Let f = l + -32. Is 13 a factor of f?
False
Suppose 2*y - 2*l - 12 = 0, y - 2*l - 9 = -0*y. Suppose 3*p = 5*m + 103, -p - 2*m = y*p - 146. Does 12 divide p?
True
Suppose 76 = 3*v + v. Does 19 divide v?
True
Let y(f) = f**2 - 3*f - 9. Let c be y(5). Let h be (2/(-2))/((-2)/(-4)). Let k = c - h. Is k a multiple of 2?
False
Let m(u) = 8 + 5 + 3*u - 11. Let t be m(2). Is 17 a factor of 274/t - 7/28?
True
Suppose 3*n - 2*r + 21 = r, -5*n - r = 17. Is n/10 - 22/(-5) a multiple of 4?
True
Suppose 5*n + 138 = 858. Suppose u - n = -2*u. Is 16 a factor of u?
True
Suppose 2*p + 0 = -6. Let u = 9 + p. Does 3 divide u?
True
Let n(y) = -y**3 - 2*y**2 + 5*y + 4. Suppose 1 = -l - 3. Is 8 a factor of n(l)?
True
Let u be 6/9*(-27)/(-6). Suppose u*w - 5 = 16. Is w a multiple of 2?
False
Let v(n) = -n**2 - 15*n - 12. Let j be v(-10). Suppose w - 3*w = -j. Is 19 a factor of w?
True
Let q be ((-80)/(-12))/(2/(-6)). Let y be (1 - 9)*-4 + -1. Let r = q + y. Is 5 a factor of r?
False
Suppose 4*f + 232 = 4*z, 2*z + 0*f = -2*f + 136. Is z a multiple of 21?
True
Suppose 5*o = 2*k - 4*k + 217, -85 = -2*o + k. Suppose -5*p - l + 55 = 0, 4*p - l + 2*l - o = 0. Does 4 divide p?
True
Let o be (0 + 0)/(0 - -1). Let u(d) = 4*d**2 - 1. Let r be u(-1). Suppose 4*p + c - 44 = o, -3*p - c + r = -30. Is 10 a factor of p?
False
Let t = 15 - 11. Suppose 3*q = t*q - 2. Is (-2)/q*(1 + -12) a multiple of 11?
True
Suppose -2*p - 2 = -4, 2*u = -5*p + 119. Suppose u = 5*d - 18. Is 8 a factor of d?
False
Let c(m) = -5*m + 7. Does 15 divide c(-5)?
False
Suppose 3*a - 2*q + 32 = 3, 22 = -2*a + 4*q. Is (-174)/a*3/2 a multiple of 14?
False
Suppose 0 = -4*q + 392 + 124. Is 16 a factor of 1/(3/q) - 1?
False
Let c(a) = 3*a + 0*a**3 - a**3 - 6*a**2 - 4*a - 2. Let f be c(-6). Suppose 0*o - 5*h + 37 = o, 0 = -f*o - 2*h + 58. Is 6 a factor of o?
True
Suppose u - 46 = 226. Suppose -6*g - u = -10*g. Is 34 a factor of g?
True
Let k(f) = -2*f**2 + 29*f - 9. Is 10 a factor of k(13)?
True
Let b(z) = z**3 + z**2 - z + 82. Does 41 divide b(0)?
True
Let s(z) = -13*z**3 - z**2. Suppose 3*j = -1 - 2. Let w be s(j). Suppose -w + 52 = 4*a. Is a a multiple of 5?
True
Let o be (-2)/(-8) + 4/(-16). Let t = 0 + o. Suppose t = 5*h - 9 - 36. Is 4 a factor of h?
False
Suppose -s - 64 = v, -3*s + 0*s = 4*v + 254. Does 13 divide 12/(-2 + v/(-28))?
False
Let f(p) = -p + 3. Let j be f(0). Suppose 4*v - 20 = 0, -j*l - 8*v + 40 = -3*v. Suppose l*b + 28 = 2*a, -5*a + b - 6 = -53. Is a a multiple of 9?
True
Let y be (6 - 0)/(24/(-64)). Let j be 6*(-13)/(-2) + -1. Let b = j + y. Does 13 divide b?
False
Let y(o) = 11*o + 1. Let a be y(-1). Let f(h) = 4*h - 2. Let c(j) = 5*j - 2. Let d(b) = 3*c(b) - 4*f(b). Is d(a) a multiple of 6?
True
Let y(s) = s**2 + 16*s - 15. Let z be y(-16). Suppose m + 1196 = -3*a, 2*a + a + 1192 = -2*m. Is 16 a factor of (6/5)/(z/a)?
True
Let v(n) = -3*n - 35. Is v(-14) a multiple of 2?
False
Let p = -63 - -189. Is p a multiple of 21?
True
Is 13 a factor of ((-51)/(-4))/((-15)/(-80))?
False
Let a(x) = -x**2 + 10*x - 6. Is a(7) a multiple of 2?
False
Suppose -c = -5*r - 43, -3*c + 129 = -2*r + 3*r. Is 8 a factor of c?
False
Let s(w) be the third derivative of w**5/12 - w**4/24 + w**3/2 + 5*w**2. Is s(-4) a multiple of 29?
True
Suppose -2*c + 14 = 2*c + 2*u, 0 = 2*c + 4*u - 16. Does 5 divide 22*(9/c + -4)?
False
Let f be -46 - -2*(-6)/(-4). Let b = -25 - f. Is b a multiple of 9?
True
Let p be (5 - -65)/(-1 + 2). Suppose -5*n + 0 = -p. Does 7 divide n?
True
Suppose -3*j = 4*p + 7 - 18, 0 = -3*j + 3*p - 3. Does 12 divide (j/(-2))/(2/(-152))?
False
Let o(i) = 54*i - 3. Suppose 0 = 2*l + g - 4, -3*l - 4*g + 2 = -4. Let r be o(l). Is 7 a factor of (2/(-3))/((-5)/r)?
True
Let v = -60 - -102. Suppose -2*l + v = 2*r, l + 4*r = 6*l - 60. Let n = 45 - l. Is 17 a factor of n?
False
Does 5 divide 14/((-6)/(-3)) - (2 - 5)?
True
Suppose 0 = -3*u + 2*u + 2*x + 13, 2*u + 2*x - 8 = 0. Let t = -2 - u. Let k = t + 18. Is k a multiple of 9?
True
Suppose 216 = 4*v - 0*v. Does 24 divide v?
False
Suppose 4*q = -48 - 60. Let v = q + 45. Is 9 a factor of v?
True
Suppose -5*d - 9 = 4*y, 6*y - y - 35 = 3*d. Let t(g) = g - 1. Let p be t(d). Is 20/3*(-9)/p a multiple of 10?
True
Let z = 168 + -104. Is 32 a factor of z?
True
Let g = -1 + 194. Suppose 4*y = -5*x + 269, 3*y - g = -0*y + 5*x. Does 14 divide y?
False
Is 4 a factor of 48/(-9)*9/(-6)?
True
Let z(q) = -3*q - 5. Let o be z(-7). Suppose -3*l = -257 - 46. Suppose 5*r - l = -o. Is 9 a factor of r?
False
Let o(m) = m**2 + 2*m + 2. Suppose b = -3*r - 2*b, 2*r + 4*b = 8. Does 4 divide o(r)?
False
Suppose 0*z + 484 = 4*z. Does 28 divide z?
False
Suppose 5*b - 2 = 8. Is b*8 - (1 + -2) a multiple of 9?
False
Let z be 3/3*-1 - 5. Let i(o) be the third derivative of o**5/60 + o**4/8 - o**3/3 + o**2. Is i(z) a multiple of 6?
False
Suppose 0 = -4*x - 20, 0 = 2*v - 0*v - 3*x - 323. Suppose 0 = 2*b - 4*b + v. Is b a multiple of 24?
False
Let i(v) = v**3 + 5*v**2 - v - 2. Let m be i(-5). Suppose 4*q = 5*q + 2*h - 55, m*h = 5*q - 288. Let r = -35 + q. Is 17 a factor of r?
Fals