*n, -g - 7*n + 57 = -8*n. Let f = g - p. Is 8 a factor of f?
False
Suppose -276 = 3*u - 2*d + 3*d, -276 = 3*u + 4*d. Let h be u/(-24) + 1/6. Suppose 0 = 2*y - h, 2*a - a - 30 = -2*y. Is 13 a factor of a?
True
Let q = 10 - 7. Suppose 19 = -7*a + 40. Suppose -5*f + 40 = p, -q*p - a*f + 7 + 89 = 0. Is 15 a factor of p?
True
Let y(m) be the third derivative of 13*m**4/24 - m**3 + 2*m**2. Suppose -12 = -2*x + 4*i, -6*i + i = 2*x + 6. Is y(x) a multiple of 4?
True
Suppose o + 5*z + 369 = 4*o, 0 = -5*o + 4*z + 615. Let w = o + 8. Is w a multiple of 22?
False
Let j(s) be the first derivative of s**2/2 + s + 3. Let y be j(7). Does 7 divide y + (0 - 3/3)?
True
Let v be 5 - -2*(-1 + 0). Is 219 + (-25)/(v - -2) a multiple of 26?
False
Suppose -6*v + 42 = 18. Let w be (-5)/((v/(-1))/4). Suppose w*p - 5*g - 67 = 298, 2*p - 4*g = 136. Is p a multiple of 22?
False
Suppose -2*m - 114 = 4*r + 118, -25 = 5*r. Let v = m - -301. Is 13 a factor of v?
True
Let g(x) = -x**2 + 19*x - 4. Let s(z) = 9*z - 2. Suppose -46 = -3*l - 7. Let k(u) = l*s(u) - 6*g(u). Does 7 divide k(2)?
True
Let u = 317 - -258. Is 48 a factor of u?
False
Suppose 5*o + 5*h - 165 = 0, -18*h - 69 = -2*o - 23*h. Suppose -18 + 46 = -2*u. Let d = u + o. Does 10 divide d?
False
Let y(g) = 3*g**2 + 3*g + 29. Does 13 divide y(9)?
True
Let p(h) = -h**3 - h**2 + h. Let x(d) = 7*d**3 - d**2 - 9*d - 3. Let l(m) = -6*p(m) - x(m). Does 3 divide l(7)?
True
Let f(o) = 4*o + 21. Let l(v) = -7*v - 42. Let m be (-3 - -6 - 0)*-1. Let d(z) = m*l(z) - 5*f(z). Does 7 divide d(0)?
True
Let t(p) be the third derivative of p**6/120 - 7*p**5/60 + p**4/8 + 3*p**2. Let g be t(3). Let f = g + 41. Is 14 a factor of f?
True
Let v = -3 - -10. Let c be (-70)/v - (-1 - 3). Is -18*(c + 3)/3 a multiple of 9?
True
Does 85 divide ((-320)/(-96))/((-921)/(-918) - 1)?
True
Let u = -1120 + 1244. Does 2 divide u?
True
Let x = 69 + -67. Suppose -k = -5*b + 12, -3 = b - 4*k + 6. Suppose -5*o + 3*v + 63 = 0, 65 = 3*o + x*v + b*v. Is 6 a factor of o?
False
Suppose 10*j - 1526 - 6254 = 0. Does 11 divide j?
False
Let y be (-6)/(-8) + 15/12. Suppose 3*q + y*j = 176, -2*j - j = 2*q - 114. Does 15 divide q?
True
Suppose -2*p - 6 = 2*g, -4*g + 5*p + 11 = -22. Suppose 5 = 3*s + g. Is (-18 - s)*(-8)/4 a multiple of 19?
True
Is (-59046)/(-57) + 8/76 a multiple of 94?
False
Let n be 3/(-9) + (-7)/(-3). Let k = n - 1. Suppose -5*q + a = -142, -1 - k = a. Is 14 a factor of q?
True
Let a(n) = 47*n**2 + 13*n + 20. Does 62 divide a(4)?
False
Suppose 3*t - 4*w + 200 = -t, 4*t + 3*w + 165 = 0. Let k be (-50)/(-18) - 10/t. Suppose -43 = k*f - 151. Is 10 a factor of f?
False
Suppose -16 = -10*w + 2*w. Suppose -2*a = w*r - 24, -r - a = -2*r + 6. Is 9 a factor of r?
True
Let a = 11 - 3. Suppose 186 - 506 = -a*z. Is z a multiple of 5?
True
Is 60 a factor of (-3778)/(-1) + (-2847)/219?
False
Let l(u) = -4*u**3 - 4*u**2 - 3*u + 9. Let h(t) = t**3 + t**2 + t - 1. Let j(i) = 3*h(i) + l(i). Let b be j(0). Suppose 2*g = b*g - 300. Is g a multiple of 25?
True
Suppose f - 8*f = -28. Suppose -4*t + t = f*c - 101, -2*t + 73 = -3*c. Does 7 divide t?
True
Let s(j) = j**3 - 18*j**2 + 3. Suppose 2*w + 4*r + 15 = 43, 5*w = 3*r + 96. Is s(w) even?
False
Does 12 divide (-180)/120*(-10)/(-3) - -3163?
False
Let f(k) = -k**3 + 17*k**2 + 2*k - 8. Let c be f(17). Let u be (28/(-5))/(1/(-5)). Let g = c + u. Is g a multiple of 15?
False
Suppose -4715 = -5*m - 5*u, 955 = -6*m + 7*m - 5*u. Is 9 a factor of m?
True
Is 3 a factor of (-12635)/(-38) - 14/(-4)?
True
Let b(o) = 5 + 9*o - 4*o + o**3 + 6*o**2 - 15*o. Is 13 a factor of b(-7)?
True
Suppose 33 = -3*v - 54. Let j = v - -78. Is 7 a factor of j?
True
Suppose -4*b + 422 = -5*l - 1215, b - 2*l = 410. Is 4 a factor of b?
True
Is ((-3)/(-2))/(42/33656) a multiple of 10?
False
Suppose -32 = -4*j + 2*j. Let d = j - -60. Is 19 a factor of d?
True
Suppose -26*w + 40*w = 8652. Is w a multiple of 6?
True
Suppose 0 = -10*c - 219 - 731. Let s = c - -149. Is 9 a factor of s?
True
Suppose 0*j - 29 = -3*w + 4*j, 0 = -5*w - 5*j - 10. Suppose -w*o = 2*o - 330. Let n = o - 18. Is n a multiple of 14?
False
Let v(f) = 2*f**2 - f + 1. Let i(h) = 43*h**2 + 2*h + 4. Let s(w) = i(w) - 2*v(w). Let n be 5/(-3) - 1/3. Is 40 a factor of s(n)?
False
Let b = 719 + -422. Is 27 a factor of b?
True
Let k = 12 + 0. Suppose 2*u - 5 = -2*w - 19, 0 = 5*u - 5*w - 15. Is k + (-3 - -2) + u a multiple of 3?
True
Let r(v) = 6*v - 30. Let k be (-177)/(-12) + 3*(-2)/(-24). Is r(k) a multiple of 10?
True
Let v(m) = m + 3. Let p be v(0). Suppose 0 = f - 3*h - 21, p*f + h = 6*h + 51. Is 6 a factor of f?
True
Let v(b) = -b**3 - b**2 + b - 2. Let w be v(-3). Suppose 3*q - 20 = 8*q. Let k = q + w. Is 2 a factor of k?
False
Suppose q = -3 + 5. Suppose 0 = -3*c - 3*u + 69, -4*c + 4 = 5*u - 90. Suppose 0 = -z + r + c, 3*z - q*r = -0*z + 58. Is z a multiple of 8?
True
Is 19 a factor of -2161*(-36)/21 - (-3)/7?
True
Let r be 1494/36 - (-1 + 2/(-4)). Let y = r + -36. Is y a multiple of 2?
False
Is -25*-394*(-1)/10*-1 a multiple of 20?
False
Suppose -8*w = -6*w - 36. Suppose n + w = 2*n. Is n a multiple of 5?
False
Suppose 0 = 4*x - 2*o + 208, x + 0*x + 3*o + 45 = 0. Is 12 a factor of (-34)/x*(1 - -71)?
True
Let i(t) = -t**3 - 3*t**2 + 10*t - 12. Does 12 divide i(-8)?
True
Let c(o) = o**3 + 5*o**2 + 2*o - 7. Suppose 0 = -w + 3*s + 9, -2*w + 3*w + 11 = -2*s. Let v be c(w). Suppose -f = -v*f + 244. Does 7 divide f?
False
Let a be ((-138)/(-12) - 4)*-2. Let t = a + 41. Is 13 a factor of t?
True
Let o(l) = -l**2 + 9*l + 22. Let g be o(11). Suppose -5*x + 347 + 83 = g. Is 33 a factor of x?
False
Let h = -211 + 230. Is h a multiple of 3?
False
Suppose 156 - 14 = 4*k - x, 2*k - 66 = -2*x. Suppose c - 6*c + k = 0. Does 6 divide c?
False
Suppose 0 = -22*j + 27*j - 200. Is 23 a factor of j?
False
Let t be -573*((-8)/(-12) - 1). Let v = 470 - t. Suppose -7*s + v = -120. Is s a multiple of 13?
False
Let s = -199 - -216. Does 14 divide s?
False
Suppose 0 = -q + 4*q - 3*p - 165, 5*q + 4*p - 275 = 0. Is q a multiple of 11?
True
Let x(k) = -k**3 - 3*k + 10. Is x(-3) even?
True
Suppose -3*w - 6 = -3*k, -2*w = k - 2*k + 4. Let i(c) = -157*c + 1. Let b be i(w). Suppose -h - b = -6*h. Does 10 divide h?
False
Let z(x) = x**3 - 2*x**2 - 2*x - 2. Let i(h) = -h - 4. Let c be i(-7). Let g be z(c). Is 3 a factor of -6 + 21 - 2*g?
False
Suppose 3*q = -2*r + 1464, -480 = -q - 0*q + 2*r. Is q a multiple of 54?
True
Is 336 + 8 - -12 - 5 a multiple of 120?
False
Let w = -331 - -555. Is w a multiple of 16?
True
Suppose -r - 130 = 3*r - 2*h, -2*r - 85 = 3*h. Is (-3910)/(-35) + (-10)/r a multiple of 14?
True
Is (1069 + -1)*(-8)/(-12) a multiple of 89?
True
Let z(c) = -c**3 - 11*c**2 - 9*c + 13. Let a be z(-10). Let p be 1/a + 220/(-3). Let t = -31 - p. Is t a multiple of 7?
True
Let v be ((-14)/2)/((-1)/1). Suppose 0 = v*d - 3430 + 1246. Does 34 divide d?
False
Suppose n + 7*i - 4*i = -1, -6 = 3*i. Suppose -f + 5*f - 12 = 0. Suppose -n*o + 17 = -f. Is 3 a factor of o?
False
Let y(m) = 31*m - 2. Let v be y(3). Let w = 3 - 1. Suppose -5*x + v = -4*b, x = w*b + 2 + 15. Is 7 a factor of x?
False
Suppose 0 = 5*o - 5*s - 15, -3*o + 5*s - 1 = -6*o. Suppose 112 = 2*h + 5*g, -o*g - 102 = -4*h + 98. Does 3 divide h?
True
Suppose 3499 = 23*d - 1423. Let o = 207 + -341. Let s = d + o. Does 10 divide s?
True
Suppose 5*v = -3*t + 9, -2*t = -3*t - 2*v + 3. Suppose 5*f - 197 = t*b, 0 = f + 2*f - 5*b - 115. Is f a multiple of 20?
True
Suppose 38*r - 13*r = 10400. Does 32 divide r?
True
Let n = 1 - 6. Let p be (-10 - -15)*1/n. Is 7 a factor of (-100)/(-12) - p/(-3)?
False
Suppose 0*t + 36 = 4*t. Let z(n) = 2*n**2 - 19*n + 21. Does 6 divide z(t)?
True
Suppose -19*j + 4695 = 2*r - 20*j, 2*j - 11751 = -5*r. Does 27 divide r?
True
Suppose m + 5*f = 3*f + 24, 2*f - 10 = 0. Suppose 8 = 2*o - 4*r - 0*r, 5*r = -5. Suppose o*c - m = -q, 6 - 3 = 3*c. Does 4 divide q?
True
Let l(s) = 45*s + 689. Does 13 divide l(17)?
False
Suppose -6*z = -697 - 2087. Is 16 a factor of z?
True
Let d(f) be the second derivative of f**4/6 - f**3 + f**2 + 5*f. Let p be d(3). Suppose 3*w = -q + 30, 27 + 1 = q + p*w. Is 12 a factor of q?
True
Suppose -3*j + 2*u + 3668 = 0, -8 - 12 = -4*u. Is j a multiple of 15?
False
Let l = -103 + 67. Let m be ((-3)/(-6))/((-1)/l). Let f