 + 9*u - 11. Let h(r) = 2*a(r) - 5*n(r). Is 3 a factor of h(d)?
True
Suppose -6*m - 2*l + 60 = -2*m, 5*m - 61 = l. Let k = m + -9. Is 4 a factor of k?
True
Suppose -2 = 3*x - 8. Suppose 14 = -x*p - 0. Let a = p - -14. Does 7 divide a?
True
Suppose -3*d + 30 = 3*c, -2*d + 3*c = -c - 14. Is -7 + d + 18*1 a multiple of 8?
False
Let s(n) = -4*n + 3. Let o be s(-3). Suppose -m - o = -4*m. Suppose -4*d = -3*j + 72, -m*j + 25 + 69 = 2*d. Is 11 a factor of j?
False
Let c be -2 - 10/(-2)*-1. Let f(n) = n**3 - 5*n**2 + 5*n + 7. Let t be f(5). Let l = t - c. Does 21 divide l?
False
Suppose 2*t - 2*r - 110 = 0, 4*t = -3*r + 17 + 238. Is 11 a factor of 1 - (-1 + t/(-3))?
True
Suppose -2*c = 5*b + 31, 4*c - 8*c = 2*b + 22. Is (15/c)/(2/(-2)) a multiple of 2?
False
Let f(t) = -t**2 + t + 48. Is f(0) a multiple of 12?
True
Suppose -3*b = -83 - 16. Does 11 divide b?
True
Suppose -4*g + 261 = -5*x, 3 = -x + 6. Is g a multiple of 31?
False
Let l(v) = v + 2. Let s be l(-2). Suppose s = -5*j + j + 16. Is (0 + 0 + 2)*j a multiple of 3?
False
Suppose 2*v + 0*v = -i + 26, -2*i - 3*v = -53. Let q = i + -9. Is 12 a factor of q?
False
Let m(d) = -d**3 - 8*d**2 - 3*d + 7. Let k be m(-8). Suppose 0 = -4*c + 5*q - 1 + k, 2*c = -2*q + 6. Suppose -g - c = -32. Is 11 a factor of g?
False
Let q be -1 + (-4 - -2) + 5. Let m be (-1*q)/(4/50). Is 7 a factor of (-195)/m + (-1)/(-5)?
False
Let t = -2 - -95. Is 31 a factor of t?
True
Suppose 24 = -u + 5*u. Does 6 divide u?
True
Suppose -5*b = -4*t + 389, -2*b - 3*b - 298 = -3*t. Let f = -65 + t. Is f a multiple of 14?
False
Let p(a) = -a**3 + 5*a**2 - 3*a - 2. Let q be p(4). Let w be -4 + 3 + q + 31. Suppose 0*c - 2*m = -2*c + w, 5*c + 3*m - 104 = 0. Is 10 a factor of c?
False
Let c(i) = 5*i**2 - 1. Let m be c(1). Suppose -n + 437 = m*z, -z + 3*n + 93 = -0*z. Suppose -5*u + z = -12. Is 9 a factor of u?
False
Let i(f) = 8 - 3*f**3 - 9*f + 2*f**3 + 8*f**2 + 0*f**3. Let t be i(6). Let g = 6 + t. Is 15 a factor of g?
False
Let y(o) = -3*o - 2. Suppose 0 = -n + 4*n + 9. Let a be y(n). Suppose a = -4*r + 107. Does 9 divide r?
False
Let w(o) = -2*o**2 + o**2 - 6 + 13*o + o. Let r be 4/14 - 108/(-14). Is w(r) a multiple of 21?
True
Let u(t) = -7*t**2 - 4*t + 7. Let r(z) = 1. Let y(q) = -3*q**2 - 2*q + 8. Let v(s) = -5*r(s) + y(s). Let b(p) = -4*u(p) + 9*v(p). Is 6 a factor of b(-3)?
False
Let c(u) = -u. Let t(l) = l**2 + 4*l + 2. Let v(z) = -3*c(z) + t(z). Let h be v(7). Suppose 0*p + h = 5*p. Is 7 a factor of p?
False
Suppose 0*g + 15 = -g. Let y = g + 26. Does 3 divide y?
False
Suppose 0 = 7*q - 12*q + 430. Does 10 divide q?
False
Let q = -124 + 201. Is q a multiple of 18?
False
Let z = 5 - 12. Does 5 divide 8*8/(-3 - z)?
False
Suppose 0 = -s + 7*s - 216. Is s a multiple of 12?
True
Let d(s) be the first derivative of s**3/3 - 3*s**2 + 9*s - 5. Is d(6) a multiple of 6?
False
Let t be (-2 - 0)/(-2) + 2. Let k be 34 - (3/t + -2). Let b = k + -16. Is b a multiple of 7?
False
Is (-3 + 4 + -6)/(-1) a multiple of 2?
False
Let d = 100 + -92. Does 4 divide d?
True
Let u = 5 - 2. Suppose 0 = -u*k + 9 + 3. Suppose k*c = 6 + 18. Does 5 divide c?
False
Suppose -4*o = 8, -4 + 0 = -f + 2*o. Let s = f - -14. Does 14 divide s?
True
Let i(d) = 19*d**2 + d + 1. Let f be 1/(2/8*2). Suppose 6*j - f*j + 4 = 0. Is 8 a factor of i(j)?
False
Let m = 2 + -2. Suppose m*p = -p + 81. Suppose 0 = 5*o - p - 39. Does 10 divide o?
False
Let z be (0 + 1)*(-2 + -37). Let t = z - -60. Does 7 divide t?
True
Suppose 5*j - o + 22 = 4*j, -102 = 5*j - o. Let i = 77 + j. Suppose 0 = -f + 2*n + 23, 6*f = 3*f + 2*n + i. Is f a multiple of 17?
True
Let l be 1/(-1)*(7 + -7). Suppose 4*g + l*g - 112 = 0. Does 14 divide g?
True
Suppose 0 = i + 30 - 178. Is 37 a factor of i?
True
Let y be (-14 + 8)*(-3)/(-2). Is 6/y*(-75)/2 a multiple of 7?
False
Suppose 2 = 4*h - 34. Is (-77)/(-2) + h/18 a multiple of 13?
True
Let o(a) = a + 14. Suppose -3*l + 47 = -5*w - l, -4*w - 3*l - 33 = 0. Is 5 a factor of o(w)?
True
Suppose 1 = -4*o + 3*o. Is 3 a factor of (2 + -8)/o + 0?
True
Let s = -29 - -41. Is 4 a factor of s?
True
Let s(p) = -5 - 4*p + 6 + 17*p. Let x be s(2). Suppose -5*l - x = -97. Is l a multiple of 7?
True
Suppose 2*u - 4 + 1 = -3*t, 2*u = -2*t + 2. Suppose 0 = i - 5 - u. Is 4 a factor of i?
False
Let a(f) = f**3 + 7*f**2 - 10*f + 11. Does 9 divide a(-8)?
True
Let c = 50 + -17. Is c a multiple of 33?
True
Let k(v) be the third derivative of 5*v**4/8 - 2*v**3/3 - 3*v**2. Does 14 divide k(3)?
False
Let y(r) = -2*r**3 + 2*r + 3. Suppose 2*o = -1 - 3. Is 6 a factor of y(o)?
False
Let i = 443 - 316. Is i a multiple of 32?
False
Let c = 5 + -5. Suppose 3*j + 124 + 59 = c. Let h = -43 - j. Is h a multiple of 5?
False
Is (5/10)/((-1)/(-102)) a multiple of 14?
False
Suppose -3*t + 12 = 4*z, 4 = -2*t - 4. Suppose z*x - 33 = 3*x. Let l = 55 - x. Is l a multiple of 20?
False
Let g = 8 - 14. Let y be 12*-2*(-4)/24. Is 11 a factor of 24/(y/((-32)/g))?
False
Let g(b) = b**2 - 10*b + 8. Let z be g(8). Let o be (-157)/4 + (-2)/z. Let d = 64 + o. Is d a multiple of 13?
False
Let f be (-369)/(-12) - (-1)/4. Let m be -1*2/(-1*2). Let y = m + f. Is 16 a factor of y?
True
Does 26 divide (8 - 7)*(-1 + 2) + 79?
False
Let s = 6 + 14. Does 16 divide s?
False
Let y(u) = -u**3 + 7*u**2 - 5*u - 6. Let o be y(6). Suppose 3*j - 5*j + 14 = o. Does 7 divide j?
True
Does 3 divide (-7)/(-42) + 35/6?
True
Let z(f) = 5*f - 22. Is z(9) a multiple of 23?
True
Suppose -25 = -5*b - 2*i + i, 2*b - 32 = 4*i. Suppose u - b*u = -200. Is 15 a factor of u?
False
Let x = -1 - -3. Does 15 divide 19 + -2 - 0 - x?
True
Let q be (-81)/(-3) + (-1)/(-1). Suppose 4*x - 58 = -3*d, 2*x + 3*d = d + q. Is 7 a factor of x?
False
Suppose -q = -5*q + 148. Suppose 6 = 3*o, h = 5*o + q - 3. Is h a multiple of 22?
True
Let v = -7 - -1. Let o = -3 - v. Is 3 a factor of o?
True
Let l(y) = 2*y**2 + 10*y + 9. Let c(t) = t**3 + 9*t**2 - 10*t - 6. Let f be c(-10). Let b be l(f). Let s = -11 + b. Is 5 a factor of s?
True
Let g be -1 + 2 + -1 + -2. Let j = 1 - g. Suppose j = -t + 16. Is 8 a factor of t?
False
Suppose 4*b - 2*f - 357 = -5*f, -5*f + 68 = b. Is 26 a factor of b?
False
Suppose 0 = 3*o + 3*s - 26 - 4, s + 18 = 3*o. Suppose -4*p = -3*p - o. Does 4 divide p?
False
Suppose 4*h + 2 - 14 = 0. Suppose 2*o = -3*o - n + 168, 90 = 3*o - h*n. Is o a multiple of 11?
True
Suppose 0 = -5*u + k - 49, -u - 3*k - 14 = k. Does 8 divide (-1 + -37)*5/u?
False
Let z(q) = 2*q**3 - 7*q**2 - 4*q - 4. Let p(s) = -3*s**3 + 11*s**2 + 6*s + 6. Let r(y) = 5*p(y) + 7*z(y). Does 12 divide r(5)?
False
Suppose -f = 4*f + 180. Let n be 0 - 2 - (f - -9). Suppose -n = -9*c + 4*c. Is 5 a factor of c?
True
Suppose i - 5 = 0, -2*i - 236 = -4*k + 102. Is k a multiple of 29?
True
Suppose -2*n - 12 = -6*n. Suppose n*p - 3*d - 2*d - 44 = 0, 5*p + 4*d = 24. Does 8 divide p?
True
Suppose 5*i - d = -6 - 4, -2*i - 4 = d. Is i/(0 - 4/22) a multiple of 5?
False
Suppose 81 = 5*q - 4*g, 4*q + 0*q + 2*g - 44 = 0. Let n = q + 8. Is 6 a factor of n?
False
Suppose -5*q - 264 = -4*c, 3*q - 45 = -c - q. Is c a multiple of 10?
False
Let p(u) be the first derivative of u**4/4 - 2*u**3 + 3*u**2/2 - 9*u + 4. Does 5 divide p(6)?
False
Suppose 0 = 4*k + 1 + 3, 5*k + 565 = 5*i. Suppose -3*t = -4*d - 158, -2*t - 2*d - 2*d + i = 0. Is 18 a factor of t?
True
Let c = 13 + -19. Does 14 divide 56/c*(-36)/14?
False
Let b be (-5)/(-2) - (-3)/6. Suppose 4*c - b*t - 28 = 0, 0 = 3*t + 14 - 2. Suppose 4*p - 88 = -2*w, -c*p + 5*w + 17 + 99 = 0. Does 14 divide p?
False
Is 34 a factor of 52/(15/(-6) - -3)?
False
Let t(r) = 2*r + 13. Let l = 22 - 15. Is t(l) a multiple of 17?
False
Let t(s) be the first derivative of -2*s**2 + 6*s + 5. Is 10 a factor of t(-3)?
False
Let l(n) = -n**3 + n**2 - 3*n - 3. Does 54 divide l(-5)?
True
Let p(j) = -3*j - 3 + 5*j - j**2 - j**3 - j - j**2. Let z be p(-6). Let u = -96 + z. Is 13 a factor of u?
True
Let p(q) = -q + 6. Suppose -14 - 2 = 2*l. Does 8 divide p(l)?
False
Let g = -17 - -173. Is g a multiple of 14?
False
Suppose -2*n + 3*n = -76. Let x = 125 + n. Suppose -4*j + 19 = -x. Is j a multiple of 14?
False
Let m = -1 - -6. Suppose m*z - 8*z = -66. Is z a multiple of 9?
False
Suppose o - 14 = 5*m, o + 2*o + 2*m = 8. Let y = o - -9. Does 5 divide y?
False
Let u = -6 + 4. Let f be 