j + 4. Does 3 divide l?
True
Let r = 21 - 13. Let t(y) = 2*y - 12. Let q be t(r). Suppose q*z - 85 + 13 = 0. Is z a multiple of 9?
True
Suppose 4*q + 6 = 6*q. Suppose -q*z = -95 - 13. Is 18 a factor of z?
True
Suppose 154 + 86 = 5*v. Is 24 a factor of v?
True
Suppose 5*f - 16 = -3*l + f, -3*l + 2*f = 8. Let t(v) = v**2 + 6*v + 3. Let c be t(-6). Suppose -c + l = -n. Is 3 a factor of n?
True
Let m(n) = n**3 + 24*n**2 - 29*n - 28. Is m(-25) a multiple of 36?
True
Suppose -3*p = -4*p + 14. Suppose 5 = -3*g + p. Suppose 35 = g*s + c - 45, s = 4*c + 44. Is 9 a factor of s?
False
Let o(n) = 2*n**2 + 1. Let p be o(-6). Suppose h - p = 5*w, 4*w - 2*h + 48 = w. Let c = w - -20. Is c a multiple of 3?
True
Let b be (-3)/(3 - 0)*-2. Let x = b - -6. Is 8 a factor of x?
True
Let a(c) = -c**3 + 2*c - 4. Let l be a(-2). Suppose l*f = 4*f - 128. Is f a multiple of 9?
False
Let y be ((-96)/14)/((-4)/28). Suppose 2*n - 3*b = 37, -3*b = 4*n - n - y. Is n a multiple of 10?
False
Suppose 0 = 14*v - 7*v - 392. Is v a multiple of 10?
False
Let g = 64 - 44. Is 10 a factor of g?
True
Suppose 3*x = n - 111, 3*n + 5*x = n + 222. Is n a multiple of 32?
False
Let w(j) = j**2 + 6*j - 7. Let g be w(-7). Suppose s + g*s = 39. Does 11 divide s?
False
Suppose p + 5 = 71. Does 23 divide p?
False
Let u = -1 - -1. Suppose 0 = 5*f - 5, 5*r = -f - 4*f + 155. Let o = r + u. Is o a multiple of 15?
True
Suppose 0*n + 52 = n + 4*g, 4*n - 3*g - 170 = 0. Is 10 a factor of n?
False
Suppose 2*d - 14 - 3 = g, 5*g = -4*d - 71. Let z = 67 + g. Suppose 2*r - 84 = -2*h, -2*r + 4*h + 62 = -z. Is 18 a factor of r?
False
Suppose 4*g + 8 = 0, -5*k + 4*g + g + 35 = 0. Suppose 6*w = 2*w + 92. Suppose -6*s - k*z = -2*s - 45, w = 2*s + 3*z. Is 4 a factor of s?
False
Suppose -s - 5 = -0*s. Let u = s - -5. Is 8 a factor of (-1 - u)/((-1)/14)?
False
Is 5 a factor of -6 - -7 - -29*1?
True
Let c(k) = 2*k + 8. Let j be c(9). Is 0 - (-1 - (-3 + j)) a multiple of 12?
True
Suppose 6*f - 197 = 73. Suppose 3*n = 5*u - f, -4*u - n - 4*n - 1 = 0. Is 4 a factor of u?
False
Let g = 12 + -21. Let l = g - -30. Is 7 a factor of l?
True
Suppose -104 = -12*l + 8*l. Does 26 divide l?
True
Let y be ((-24)/20)/((-1)/(-15)). Does 8 divide -2 + 0/(-4) - y?
True
Let s(b) = -4*b - 9. Let w(n) = n**3 + n**2 + 2*n + 1. Let a be w(-2). Is s(a) a multiple of 16?
False
Suppose -7*n = -3*n. Let g(p) = -p**3 + p + 9. Is g(n) a multiple of 9?
True
Let b(i) = i**3 + 3*i**2 - 6*i - 1. Suppose -4*g - 2*v + 30 = -9*g, v + 3 = -2*g. Let c be b(g). Suppose 0 = 3*f - c*f + 32. Does 8 divide f?
True
Suppose 3*q + q - 156 = 0. Is q a multiple of 13?
True
Let r = 21 + -21. Suppose 5*u - 47 = -3*i, -3*u - u - 8 = r. Is 6 a factor of i?
False
Let g(c) = c**2 - 3*c + 4. Suppose -12 = -x + 2*b, -5*x - 15 + 55 = -5*b. Let h = -1 + x. Does 4 divide g(h)?
True
Suppose -3*s + 150 = -x - 17, 159 = 3*s - 3*x. Is s a multiple of 19?
True
Let j = 76 - 76. Let n(q) = q + 4. Let w be n(6). Suppose j = 4*f - w - 46. Is f a multiple of 4?
False
Let c = 22 - -29. Does 14 divide c?
False
Let r be (-400)/(-5) - (-3 + 1). Let g = 151 - r. Let k = g + -47. Does 14 divide k?
False
Let g = 55 - 27. Let z = g + 8. Is z a multiple of 13?
False
Let l(r) = 31*r**2 + 2*r + 1. Let v be l(-1). Suppose n - 4*i - v = 0, 158 = 4*n + i + 2*i. Does 19 divide n?
True
Let n be (-3 - 0)/((-3)/32). Suppose 4 = r - n. Does 10 divide r?
False
Suppose -4*o - 242 = -2*s - 0*o, -4*s + 472 = 4*o. Let b = 244 - s. Is 35 a factor of b?
False
Let y(h) = -h**2 + 14*h - 4. Is y(10) a multiple of 18?
True
Suppose 5*v - 2*x - 2*x = 17, -4*x = -v - 3. Suppose -65 = -2*c + v*p, -c - 4*c + 5*p + 125 = 0. Is c a multiple of 10?
True
Suppose 5*i = -y - 0*i - 6, -i + 14 = 4*y. Let l(c) be the second derivative of -c**4/12 + c**3 - 5*c**2/2 + c. Is l(y) a multiple of 3?
True
Suppose -5*h + 5 = 0, 4*k - 2*k - h = 159. Does 14 divide k?
False
Suppose -5*u + 19 = -191. Is 6 a factor of u?
True
Let m(a) be the second derivative of a**5/24 + 3*a**4/8 - a**3/6 - 2*a. Let x(d) be the second derivative of m(d). Is 22 a factor of x(7)?
True
Let f(i) = 10*i + 9 + 0*i - 3. Let y be f(6). Let u = y + -36. Does 16 divide u?
False
Suppose 5*y = 2*y, 15 = -3*n + 3*y. Let k(s) = 0*s + 0*s - 2*s. Is k(n) a multiple of 5?
True
Suppose -4*m - 2*i + 0*i + 214 = 0, -5*m + 281 = -2*i. Is 28 a factor of m?
False
Let v = -11 + 13. Suppose 2*s - 75 = -4*l - 3*s, -10 = v*s. Is 12 a factor of l?
False
Let u(q) = 194*q**3 - q**2 + 1. Is 15 a factor of u(1)?
False
Let d(x) = -x - 4. Let c be d(-6). Suppose h - c*a - 10 = -0*a, -3*a - 13 = -h. Suppose 3*b + 2*b - 29 = h*u, -2*b + 4*u = -2. Is 9 a factor of b?
True
Suppose -4*u + 2*g + 48 = 3*g, -2*u + 24 = -3*g. Suppose 2*n - 26 = u. Is n a multiple of 19?
True
Let w(d) = -d**3 - 5*d**2 + 3*d + 2. Let j be w(-6). Let l be (-3 + -2)*(-8)/j. Suppose -26 = -l*i - 6. Does 10 divide i?
True
Let g be ((-16)/24)/(1/(-438)). Let c = g - 207. Suppose c + 5 = 2*r. Is r a multiple of 14?
False
Suppose 63 + 81 = 4*l. Suppose 2*u + 0*p - 72 = 4*p, u - l = -4*p. Is u a multiple of 18?
True
Suppose -5*t = -25, -t + 245 = w + 4*w. Is 16 a factor of w?
True
Suppose -4*h + 575 = 5*y, 0 = -y - 2*h + h + 114. Is 3 a factor of y?
False
Let c = -1 - -2. Let k be -1 - -3 - 1 - c. Suppose -5*h = -2*b - 10 + 27, k = 5*h - 15. Is 7 a factor of b?
False
Let y(d) = -d**2 - 20*d - 35. Is y(-8) a multiple of 34?
False
Is 2 a factor of 16/(0*(-3)/(-6) - -2)?
True
Let x(n) = 2*n - 2 - 4 - n**2 + n**3 + 3. Let r be x(2). Suppose 0 = -5*z - 3*s + r, -6*z + 36 = -2*z - 4*s. Does 3 divide z?
False
Let w = 76 - 24. Is 9 a factor of w?
False
Suppose -3*b + 2*n + 2*n = -56, 4*b = 4*n + 72. Is b a multiple of 8?
True
Let i be (-6)/(1*(-2 + 1)). Let t be (-10)/(-5) - i/1. Let v = t + 31. Is v a multiple of 10?
False
Suppose -2*b + 80 + 88 = 3*x, -4*b = 0. Does 14 divide x?
True
Let k(f) = -f**2 + 9*f + 16. Let q be k(11). Let j(d) be the second derivative of d**5/20 + 2*d**4/3 + 4*d**3/3 - 5*d**2/2 + 2*d. Is j(q) a multiple of 7?
False
Let y(p) be the third derivative of -p**4/24 + 3*p**3/2 - 2*p**2. Let a be y(9). Suppose a = 2*f - 2*n - 2*n - 26, 4*f = -n + 16. Is 5 a factor of f?
True
Let j = 7 + -2. Let b(k) = 9*k - 3. Let c be b(j). Is c - 4*(-3)/6 a multiple of 21?
False
Let r = 0 + -1. Let t = r + -81. Let c = -32 - t. Is 20 a factor of c?
False
Suppose -6*f + f = 45. Let a = 19 + f. Suppose -u = -15 - a. Does 8 divide u?
False
Let o = 18 + 33. Is o a multiple of 18?
False
Let k(o) = 40*o**2 + 4 - 29*o**2 - 3. Let b = 4 + -3. Is k(b) a multiple of 6?
True
Let o(k) = -k**3 + 8*k**2 - 3*k + 8. Let m(p) = p**3 - 9*p**2 + 4*p - 9. Let x(d) = 3*m(d) + 4*o(d). Does 3 divide x(5)?
False
Suppose s = 25 + 23. Is 12 a factor of s?
True
Let r be 7 - (-1)/(1/(-3)). Suppose 0 = r*h + 26 - 238. Does 17 divide h?
False
Suppose 4*w = 12 + 108. Is 8 a factor of w?
False
Suppose -46 = -4*j - 3*s, 5*s = -3 - 7. Suppose 4*w - 2*v - 88 = 0, -w - 4*v + 0*v = -j. Does 9 divide w?
False
Suppose 0 = 2*y - 44 + 16. Suppose 2*o = -3*o - 5*c + 10, 3*o - 2*c + y = 0. Is o/4 - 63/(-2) a multiple of 17?
False
Let m(f) = -2*f**3 - 9*f**2 + 5. Does 35 divide m(-6)?
False
Let p(t) = t**2 + 5*t + 4. Let v be p(-3). Is (-1 - -1) + 10 + v a multiple of 8?
True
Suppose 0*g - 2*g = -2*h + 100, 0 = h + 2*g - 35. Does 9 divide h?
True
Let j = 19 - 68. Let r = j + 77. Is 11 a factor of r?
False
Let i(m) = m**2 + 9*m + 8. Is i(-10) a multiple of 9?
True
Suppose 3*z + 0*z = 12. Suppose z*p = p + 99. Does 10 divide p?
False
Suppose 3*d = w - 0 + 5, w = -d - 5. Suppose d*z - 108 = -3*z. Is 20 a factor of z?
False
Let z(s) = -43*s + 4. Let f be z(-2). Suppose 0 = -3*k + 4*g + f, k - g = -2*g + 30. Does 10 divide k?
True
Is 10/(-8) + (-1346)/(-8) a multiple of 15?
False
Let m(n) = 2*n**3 - 4*n**2 + 11*n. Let b be m(5). Suppose -4*h = h - b. Does 26 divide h?
False
Is (-1)/(103/(-34) - -3) a multiple of 17?
True
Let r = 0 - -3. Suppose 12 = 3*z, -o = -r*z + 2*z. Suppose 2*k = -2*h + 34, o*k - 18 - 35 = h. Is 14 a factor of k?
True
Suppose 7*i - 2*i - 20 = 0. Suppose i*h - 274 = 2*l, -5*l = -0 - 5. Does 28 divide h?
False
Suppose t = -5*i + 128, 0 = t + 3*t + 8. Is 13 a factor of i?
True
Let t(c) = c**3 + 5*c**2 - 4*c - 2. Does 10 divide t(-4)?
True
Let v(b) = -