 a factor of j(2)?
True
Let c(x) = 6*x + 6. Let u be c(8). Suppose w - 4*n = -w + 100, -2*n = w - u. Does 13 divide w?
True
Let s(q) = -q**2 - q + 44. Let g(w) = 5*w**2 + 5*w - 175. Let r(a) = 2*g(a) + 9*s(a). Let i be r(0). Suppose -5*u = i - 176. Is 13 a factor of u?
True
Let u = 25 - 21. Suppose -u*j + 48 = -8. Is j a multiple of 14?
True
Let f be (-1)/2 - 1/2. Is (-81)/(f - 2) - -1 a multiple of 14?
True
Suppose -3*t = -0*t - 5*u + 8, 4*u = -4*t. Let y(k) = -22*k**3 + k**2 + k. Does 11 divide y(t)?
True
Suppose 0 = 3*i - 0*i + 96. Let n = i + 45. Is 5 a factor of n?
False
Let h(k) = -k**3 - k**2 - k + 22. Let z(l) = l - 4. Let o be z(4). Is h(o) a multiple of 22?
True
Let l be -3*(-2 + (-16)/(-6)). Let g be -2 + 1*1*-1. Does 3 divide g/(l - 3/(-2))?
True
Suppose -14*r + 1334 = 354. Does 13 divide r?
False
Let o(i) = -i**2 + 14*i - 3. Is 12 a factor of o(5)?
False
Suppose -4*q + 0*q = -3*a + 65, 4*a - 35 = -5*q. Let p = a - 5. Does 10 divide p?
True
Let p(h) = -h**2 + 7*h + 2. Suppose 0 = 3*m + c + 4, 2*m + 2*m - 16 = 4*c. Suppose m - 16 = -4*k. Does 7 divide p(k)?
True
Let c = -1 - -6. Suppose -b - 4*o = -4, -c = -3*b - o - 4*o. Suppose 0 = 2*u - y - 22 - 12, -u + 2*y + 17 = b. Does 17 divide u?
True
Suppose 0 = -3*b + 5*a + 37, b = 3*b + 4*a + 12. Let o be 492/156 - (-4)/(-26). Suppose -p + b - 19 = -2*y, -o*p + 9 = 0. Does 9 divide y?
True
Suppose -10 - 22 = 4*m. Suppose 3*y + 215 = 3*x + 2*x, 4*x - 2*y = 170. Let w = x + m. Does 14 divide w?
False
Let p(f) = f**2 - 12*f + 12. Let s be p(10). Let y(n) = -n**2 + 0 - 10*n - 5 + 1. Does 6 divide y(s)?
True
Suppose 15*b + 292 = 19*b. Is b a multiple of 13?
False
Let s(i) = i**3 - 5*i**2 - 2*i - 5. Let l be s(6). Let c = 11 + l. Is 10 a factor of c?
True
Is (-2)/(-5) - (-456)/10 a multiple of 18?
False
Suppose -3*a + 189 + 294 = 0. Is 23 a factor of a?
True
Let o be 0/(-5 + 3 + 3). Suppose o*j = 3*j - 75. Is j a multiple of 12?
False
Let y be ((-9)/4)/(3/(-12)). Does 12 divide (180/25)/(y/60)?
True
Let g = -10 - 2. Let b = g + 17. Is 2 a factor of b?
False
Let x(l) be the first derivative of l**4/4 - 10*l**3/3 + 14*l - 6. Does 3 divide x(10)?
False
Let u be (17/(-2))/(1/(-2)). Suppose 2*q = -4*g + 21 + 5, q + 3*g - u = 0. Suppose -5*k = -2*k - 3*h - 51, 2*k - q*h = 28. Is k a multiple of 9?
False
Let u = -4 + -17. Let b be ((-1)/(-3))/((-1)/u). Let t = b + -4. Does 3 divide t?
True
Suppose 4*g = 463 + 353. Is g a multiple of 34?
True
Let r(d) = -15*d + 4. Let x be r(-4). Suppose -4*u + x = 240. Let m = -27 - u. Does 7 divide m?
False
Suppose -190 = -h - 2*h + m, 4*m = -5*h + 328. Does 16 divide h?
True
Suppose -h = 4*y - 23, 3*h - 8 - 1 = 0. Let i(b) be the first derivative of b**4/4 - 2*b**3 + 7*b**2/2 - 5*b + 5. Is 2 a factor of i(y)?
False
Let m(u) = -u**3 + 2*u**2 - 4*u. Is m(-3) a multiple of 18?
False
Let d = 93 - 57. Is 4 a factor of d?
True
Is -3 - (0 + (-1 - 218)) a multiple of 29?
False
Suppose 5*l + 15 = -3*p, 2*l + 5*p + 25 = -l. Suppose l*f + f + 5*c = 30, -3*c = f - 20. Is f a multiple of 4?
False
Let s be -30*-1*(-2)/(-6). Suppose -3*o + s = -o. Is 5 a factor of o?
True
Suppose -4*z = y - 80, -z + 4*z = y + 53. Suppose 1 = -t + 3. Suppose -r + t + z = 0. Is 15 a factor of r?
False
Let d be (-2)/7 + 191/7. Suppose 4 = -p + s, -15 = 2*p - 3*s + 8*s. Is 8 a factor of (p - -3)*d/(-6)?
False
Suppose 2*z + 9 = -z, -4*z = -o - 10. Let f = 33 + o. Is f a multiple of 8?
False
Let s = -263 - -413. Is s a multiple of 10?
True
Let w(j) = 5*j**3 - j**2 + 2*j - 1. Let p be w(1). Let o = 12 - 12. Suppose -z + o = -p. Is z even?
False
Does 9 divide 4/10*(172 + 5 + 3)?
True
Let j(c) = 7*c**2 - 1 + 6 + 9*c + c**3 + 6*c**2. Is 13 a factor of j(-12)?
False
Suppose 2*m + 3*m - 15 = 0. Suppose -4*h + 60 = 5*s, -h = m*s - 3*h - 36. Is 6 a factor of s?
True
Suppose -5*s - 2 = 18, 4*g - 5*s = 448. Does 6 divide g?
False
Is 6 - (3 + 0) - -153 a multiple of 26?
True
Suppose w - 12 + 2 = 0. Let m = w + 14. Is m a multiple of 10?
False
Suppose 5*r - 5*l - 450 = 0, -r + 3*l = l - 90. Does 10 divide r?
True
Suppose 0*h + 3*h + 4*m - 463 = 0, 0 = -4*m - 20. Suppose -7*y = -2*p - 2*y + 151, h = 2*p - 3*y. Suppose p + 84 = 4*b. Does 16 divide b?
False
Suppose -4*i + 156 = 4*l, -4*i + 0*l + 147 = l. Does 16 divide i?
False
Let n be 173/(-7) - (-4)/(-14). Suppose -2*r = 5*f - r - 204, -161 = -4*f - 3*r. Let q = n + f. Is q a multiple of 8?
True
Let r(l) = l**2 - 4*l + 2. Let k = -1 - -3. Suppose 8 = -4*z, 7*f = k*f + 5*z + 40. Is 14 a factor of r(f)?
True
Let w = 7 + 14. Is w a multiple of 16?
False
Let h = -25 - -76. Is 9 a factor of h?
False
Let o(q) = q**3 - 5*q**2 + 3*q - 14. Is 7 a factor of o(7)?
True
Let f be (5 - (-1 + 1))*1. Suppose -f*v = -148 - 117. Does 25 divide v?
False
Let f(i) = i**2 - 15*i + 14. Let l be f(14). Suppose -5*a - 4*z = -2*z - 48, -4*a - 2*z = -38. Suppose -j = -l*j - a. Does 4 divide j?
False
Let h(j) = -j**3 + 8*j**2 - 7*j - 2. Is 7 a factor of h(6)?
True
Let m = -26 - 24. Let k = m + 14. Let s = -23 - k. Does 9 divide s?
False
Suppose -p = -2*d - 86, -4*p + 140 = 5*d - 243. Let m = p + -42. Is 25 a factor of m?
True
Let w(n) = -3*n - 4. Let v be w(-3). Suppose 5 = v*x, 2*c - 1 - 6 = -x. Is c even?
False
Let r = -2 - 9. Let u(l) = l + 26. Does 9 divide u(r)?
False
Is (-21 - 1)*(0 + (-3)/3) a multiple of 7?
False
Suppose -o + 12 = -9. Is 3 a factor of o?
True
Let o(c) = 30*c**2 - 3*c + 1. Does 28 divide o(1)?
True
Let m(z) = z**2 + z + 4. Is 19 a factor of m(8)?
True
Let i(d) be the first derivative of -d**2/2 + 3*d - 1. Let g be i(4). Let o = g + 15. Does 5 divide o?
False
Suppose 2*x = -8, -3*t = -0*t - 5*x - 38. Does 6 divide t?
True
Let z(b) = -12*b + 2. Let f(m) be the second derivative of -10*m**3 + 11*m**2/2 - 3*m. Let r(j) = -2*f(j) + 11*z(j). Is r(-2) a multiple of 8?
True
Suppose -k - 5*j + 0*j + 250 = 0, -5*k + 4*j + 1134 = 0. Let d = -149 + k. Does 27 divide d?
True
Let p be (-3)/3*(-1 + 5). Let b(j) = -7*j - 4. Is 12 a factor of b(p)?
True
Suppose -18 = 5*s - 3*a - 1232, 3*a = -3*s + 714. Is 21 a factor of s?
False
Let n(f) = -f**2 - 16*f - 11. Does 17 divide n(-14)?
True
Suppose -4*d - 3 = 5. Is (-61 + 5)*1/d a multiple of 14?
True
Suppose -2*u + 80 = -0*u. Does 19 divide u?
False
Let h(u) be the third derivative of -u**5/60 - 2*u**4/3 + u**3/6 - 10*u**2. Is h(-11) a multiple of 20?
False
Suppose 5*w = 7*d - 3*d - 16, 4*d - w - 16 = 0. Is d a multiple of 4?
True
Suppose 4*d - q - 13 = 0, 5*d + 2*q + 15 = -3*q. Suppose d*k - 22 = k. Is 7 a factor of k?
False
Is 2/(-3) + 282/18 a multiple of 15?
True
Let y be (-94)/(-18) + 6/(-27). Suppose 15 = -0*z - y*z. Let a = 11 - z. Does 14 divide a?
True
Let k(t) = -2*t**3 - t**2 + 2. Let c be ((-3)/(-6))/((-2)/8). Is k(c) a multiple of 7?
True
Let d = 21 + -8. Let w = d - 1. Does 4 divide w?
True
Suppose 0 = -3*h + 130 + 23. Does 5 divide h?
False
Suppose 2*z = k - 18, 5*k - 19 = 3*z + 36. Suppose k = 5*a - 7. Suppose -16 = a*d - 5*d. Is 4 a factor of d?
True
Suppose m - b = -m + 11, -9 = -3*b. Is 2 a factor of m?
False
Let y(l) = l**2 - 4*l + 4. Let x be (8/10)/((-2)/(-5)). Suppose 5*j = -2*k + 4 + 1, -x*j - 22 = -4*k. Is 9 a factor of y(k)?
True
Let r = -1 + 2. Let i be 2/(2/(-4) + r). Suppose -80 = -4*o - i*v, -2*o + v = -0*v - 28. Is o a multiple of 14?
False
Suppose 4*w + 3 - 8 = 5*j, -2*w + 3*j + 1 = 0. Suppose -t - g - g + 18 = 0, 5*t - 90 = -w*g. Is 14 a factor of t?
False
Let l(q) = 310*q + 279. Let p(z) = z + 1. Let w(o) = -2*l(o) + 558*p(o). Let u be w(-1). Suppose -4*t + 35 + 21 = 4*j, 5*t = 3*j + u. Is 13 a factor of t?
True
Let v(u) = 6*u + u + 8 - 5 - u**3 - u**2 + 7*u**2. Let w be v(7). Suppose -5*i + 3*i + 26 = w*a, -2*a + 2*i = -34. Does 4 divide a?
True
Suppose 275 = 7*x - 2*x. Does 23 divide x?
False
Let r(f) = f**2 - 7*f + 6. Let n be r(4). Let p be -1*(n + 3 + 2). Let i = p + 2. Is i a multiple of 2?
False
Let a = -5 - -5. Suppose 5*l - 2*y - 58 = a, 2*y = -5*l + 5*y + 57. Suppose -3 - l = -t + 2*j, -3*t - j + 24 = 0. Does 9 divide t?
True
Suppose 5*z = -31 - 14. Is z/(3/(-24)*6) a multiple of 12?
True
Let y(k) = k**3 - 17*k**2 + 11*k - 13. Is 29 a factor of y(17)?
True
Let o = -184 + -166. Let x be (o/6)/((-7)/21). Suppose -5*g + 4*j + 135 = -0*g, -4*j = 5*g - x. Does 14 divide g?
False
Let u(f) = -30*f