r + r - 4 = 0. Is 11 a factor of (r/3)/((-11)/(-2838))?
False
Let n(w) = -w**3 + 5*w**2 + 10*w - 13. Is 11 a factor of n(6)?
True
Let h = 5 - 0. Suppose 5*d + 13 = 2*b - 3, 3*b + 1 = -h*d. Is b a multiple of 2?
False
Let t be (-204)/(-8)*(-12)/(-9). Let b = -21 + t. Is b a multiple of 13?
True
Suppose 5*w = 2*x + 848, 2*w - 135 = -x + 197. Is 21 a factor of -5*(w/(-10))/2?
True
Is (63/2)/(3/6) a multiple of 21?
True
Suppose 3 = -2*x + 3*x. Suppose -5*t = 5*c - 25, 2*t - x*t = -2*c + 16. Does 7 divide c?
True
Let b(z) = -z**3 - 8*z**2 - 2*z - 9. Let c be (-108)/12 + (-1)/(-1). Is 3 a factor of b(c)?
False
Suppose 0 = 4*c - 2*c - 168. Suppose 6*d - 4*d = c. Does 14 divide d?
True
Suppose -5*g = 5*k - 1236 + 266, 2*k - 396 = 2*g. Does 21 divide k?
False
Suppose -4*d = -4*q + 20, -3*q + 4*d = -q - 4. Is (152/3)/(q/12) a multiple of 29?
False
Let g(v) = -v**3 + 9*v**2 + 10*v + 1. Let b be g(10). Suppose b = f - 5. Is f a multiple of 3?
True
Is (-1472)/(-6) - (-3)/(-9) a multiple of 31?
False
Let g be (2/(-5))/((-3)/(-195)). Let l = 40 + g. Is l a multiple of 12?
False
Let i be ((-388)/16)/((-2)/8). Suppose -5*j + 63 = -i. Is j a multiple of 9?
False
Let o = 0 + 4. Let c(t) be the second derivative of 7*t**3/6 + 2*t**2 - 10*t. Does 16 divide c(o)?
True
Suppose -2*u + 19 = -p, 2 - 17 = -2*u + 5*p. Suppose -10 = -3*b - 0*c + 2*c, -c = -4*b + u. Suppose b*x - x - 9 = 0. Is 9 a factor of x?
True
Let b(y) = y**2 + y + 16. Let d = 7 - 3. Suppose 0 = -d*j - 0*j. Is 8 a factor of b(j)?
True
Let x(i) = 1. Let s(z) = -4*z + 4. Let y(r) = -s(r) - 3*x(r). Is 13 a factor of y(8)?
False
Let q = 232 + -76. Suppose -x + 4*x = q. Is 26 a factor of x?
True
Let p(y) = 6*y**2 - 4*y + 1. Suppose 0 = -5*f - 19 + 4. Does 28 divide p(f)?
False
Suppose -2*v + 4*w = 31 - 95, 3*v - 3*w - 84 = 0. Is 8 a factor of v?
True
Suppose z + 5*t = 41, 2*t + 58 = 3*z - z. Is 4 a factor of z?
False
Let l(x) = 2*x + 2. Is 4 a factor of l(11)?
True
Let b(j) be the third derivative of j**4/24 - 5*j**3/6 - 3*j**2. Is b(10) even?
False
Is 4 a factor of 29 - (-12)/(4 - 7)?
False
Suppose 3*l - 7 = -5*p, -5*p + l = -0*l - 11. Suppose 0 = p*q - 7 - 11. Does 9 divide q?
True
Let r = 78 + -60. Is 4 a factor of r?
False
Suppose -4*d + 43 = -w + 10, -199 = 5*w - 3*d. Suppose 0*x = -x - 58. Let s = w - x. Is 13 a factor of s?
False
Let t(o) be the second derivative of -11*o**3/6 + o**2 - 2*o. Suppose 0 = -3*g - 1 - 5. Does 8 divide t(g)?
True
Let v(l) = -76*l**3 + 2*l + 1. Let h be v(-1). Let q = 45 - 86. Let p = q + h. Is 10 a factor of p?
False
Let w(c) = c**2 + 5*c - 4. Let r be w(-5). Let u be 3*(r - (-2 - -1)). Let d = u - -16. Does 7 divide d?
True
Let l(h) = 2*h**3 - h**2 - 2*h. Let u be 2/2 + 0 + 3. Let n be u - (-1)/(-2)*4. Is l(n) a multiple of 4?
True
Let v be (-3 - -5)/(2/4). Let p = v + 6. Is 4/10 + 176/p a multiple of 16?
False
Let n be 4 + -1 + 1 + 2. Suppose 3*g + 3 - n = -5*k, 4*k = -2*g + 4. Suppose -s + k*h + 42 = 0, -124 = -2*s - h - 3*h. Is s a multiple of 18?
True
Let s = -11 - -38. Does 13 divide s?
False
Suppose c = 4*u, 2*c - 4*c + 40 = 2*u. Suppose -k + 4*p + c = 0, 5*p + 9 = 4*k - 22. Suppose 0*j + k*j = 136. Is 17 a factor of j?
True
Let t(y) be the third derivative of -y**6/120 + 11*y**5/60 - 11*y**4/24 - 5*y**3/6 - 2*y**2. Does 14 divide t(9)?
False
Suppose 8*h = 7*h + 7. Suppose m + h*z = 2*z + 46, 5*m - z - 152 = 0. Is 18 a factor of m?
False
Let y(g) be the second derivative of 5*g**3/6 - g**2 + g. Let f = 18 + -16. Is 8 a factor of y(f)?
True
Let b = 1 - -2. Suppose -i = b*i - 104. Is 13 a factor of i?
True
Suppose 2*g + 10 = 0, -4*r + r - 2*g + 35 = 0. Let i = r + -10. Does 2 divide i?
False
Let i = 217 + -151. Is i a multiple of 8?
False
Let k = -71 - -153. Suppose -4*q + 44 + k = 2*b, -31 = -q - b. Does 16 divide q?
True
Suppose -2*k = 5*p + 9, 0 = 2*k + 3*k + 2*p - 9. Suppose 7*t = k*t + 112. Is t a multiple of 7?
True
Suppose 0*i = -i + 121. Let l = i - 79. Does 9 divide l?
False
Suppose 4*u + 5*m = -23, -2*u - 2*m + 30 = -6*u. Let v(s) be the second derivative of s**5/20 + 7*s**4/12 - s**3/6 - 3*s**2/2 - s. Is 2 a factor of v(u)?
True
Suppose x + 15 = 2*x - g, 55 = 3*x - 5*g. Suppose 2*y + x = 4*y. Let c(w) = w**2 - 3*w - 7. Does 3 divide c(y)?
True
Let z(a) = 2*a**2 + 6*a + 5. Let b be z(-3). Suppose b*j - 67 = -3*r, 5*r - 2*j - 216 = -63. Is r a multiple of 23?
False
Let k = 48 + -12. Let u = k - -12. Does 24 divide u?
True
Suppose -15 = 5*o, 4*i - 3*o - 13 = 3*i. Suppose -i = c - 5*c. Suppose 3*k - 11 = c. Is k even?
True
Let d(r) = r**3 - 3*r**2 + 2*r - 9. Is d(6) a multiple of 20?
False
Suppose -8*f - 758 + 2606 = 0. Is 21 a factor of f?
True
Let d be (-3)/(-12)*4*7. Let z(r) = r**2 - 3*r - 4. Does 13 divide z(d)?
False
Let y = -3 - -1. Let m be (-3)/6 + (-145)/y. Let p = m - 45. Is p a multiple of 9?
True
Is 5 + (-4 + 0 - -63) a multiple of 26?
False
Let n = 8 - 5. Suppose 87 = n*p - 30. Is 15 a factor of p?
False
Let v(r) = 2*r + 6. Let k be v(6). Suppose 0 = -2*p + 20 + k. Does 4 divide p?
False
Suppose 0 = 2*f - p + 5*p + 34, -5*f - 40 = p. Let b be 2/f + 10/35. Suppose b = -2*m + 7 - 1. Does 2 divide m?
False
Let y be ((-3)/(-5))/(1/5). Is 1 - (-19 + 6/y) a multiple of 7?
False
Suppose 0 = -3*p + 78 + 66. Suppose -y - 3*y + p = 0. Is 5 a factor of y?
False
Let h(u) = -u**2 + 10*u - 12. Let w be h(8). Suppose -5*c = -w*c - 6. Let m(a) = -a**2 + 10*a - 8. Does 11 divide m(c)?
False
Does 7 divide -4 + 6 + -4 + 9?
True
Let x = 71 + -34. Is 7 a factor of x?
False
Let m = 9 + 43. Suppose -m = -2*l - 4*u, -l - u = -11 - 17. Is l a multiple of 10?
True
Let f be (-47)/(-3) + 2/6. Suppose -z - 6*y + 2*y - 29 = 0, 4*y = -20. Let t = z + f. Is t a multiple of 7?
True
Let l(g) be the first derivative of g**3/3 - 5*g**2/2 + g - 2. Let y be l(4). Is 7 a factor of ((-14)/3)/(1/y)?
True
Suppose -5*r + 144 = -r. Is r a multiple of 18?
True
Let t be (-4)/(-1) - (-3 + 3). Let l be t/(-6)*(6 - 54). Suppose -3*r + l = -46. Is 13 a factor of r?
True
Let z(g) = 2 + g**2 - 1 - 8*g - 3. Let l be z(8). Does 17 divide l - (-1 + 1*-18)?
True
Let p = 196 - 145. Is 7 a factor of p?
False
Let d be 10/6*(-48)/(-2). Is 4 a factor of d/(-12)*(-12)/5?
True
Is 21 a factor of (-314)/(-6)*12/(-2 + 6)?
False
Suppose 0*u = 5*u - 220. Is u a multiple of 13?
False
Let h(i) = -i + 14. Let t be h(11). Let l = 12 + t. Is 4 a factor of l?
False
Suppose 0 = -285*g + 280*g + 1430. Is 11 a factor of g?
True
Suppose 0 = -0*a - 4*a + 3*g - 54, 3*g = a + 18. Let x be 1 - -1*(-7 - -2). Does 9 divide ((-13)/(-3))/(x/a)?
False
Let v = 1 - 1. Suppose v*s - 8 = -2*s. Suppose -61 = -s*w - 5. Is 14 a factor of w?
True
Suppose -5*w + 4*w = -5*y + 230, -w + 52 = y. Suppose -3*d - y = -5*b, -2*b - 3*d = d - 24. Does 7 divide b?
False
Let l = -59 - -157. Is l a multiple of 6?
False
Let a(i) = -i**3 - 8*i**2 + 9*i - 2. Let u be a(-9). Let x be (-4)/(-2) - (1 + u). Suppose -18 - x = -3*j. Is 7 a factor of j?
True
Let t be 1/(-2) - 153/(-6). Suppose 19 + t = 4*x. Is x a multiple of 6?
False
Let x be ((-172)/6)/((-1)/(-3)). Let c = -151 - x. Let s = -27 - c. Does 13 divide s?
False
Let j = 3 - -1. Suppose 2*b + 30 = 4*v - 10, -2*b = 5*v - 32. Let l = j + v. Is l a multiple of 4?
True
Let c be -2 + 2 - 18/(-6). Suppose 195 = c*y + 33. Does 18 divide y?
True
Suppose 0 = 2*i - 1168 + 106. Let l be i/3*1/3. Suppose -3*f - 5*n + l = 0, 0 = -2*f - 3*n - 2*n + 31. Is 14 a factor of f?
True
Let f(d) be the first derivative of d**4/4 - 2*d**3 + 7*d**2/2 - 7*d - 1. Let v be f(5). Suppose -60 = -4*r - v*w + 2*w, -2*r = -2*w - 20. Is r a multiple of 6?
False
Let w(s) = -s**2 - s + 2. Let l be w(-2). Suppose 0 = 2*o - 3*z + 103, 0*o + 4*o - z + 181 = l. Let a = o - -68. Does 12 divide a?
True
Let a be 1/4 - 85/20. Let z(x) = 7*x**3 + 9*x**2 + 3*x - 15. Let p(d) = 4*d**3 + 5*d**2 + 2*d - 8. Let h(q) = 5*p(q) - 3*z(q). Does 13 divide h(a)?
False
Let y = -3 + 3. Suppose -187 = -5*l + i, -3*l + 0*l - 2*i + 120 = y. Is 19 a factor of l?
True
Let g be (-12)/(2 - 4) + -2. Suppose -3*m - 2*b + 169 = 0, b - 2*b = g*m - 217. Is m a multiple of 18?
False
Let s(p) = -3*p - 2 - 2 + 3 + 5. Let m be s(3). Let y = 23 + m. Is 7 a factor of y?
False
Suppose 8*x - 1075 = 3*x + 5*s, -2*x - 5*s + 395 = 0. Is 15 a factor of x?
True
Let o(l) = -5*l 