ose 3*v - 22 = 2*u - 0, i = v - 2*u - 14. Does 4 divide v + -2 + 2 + 0?
True
Let k = 3 + -1. Suppose -y + 0 = -2*g - 9, -k*g + 5 = y. Let f = 11 - y. Is f a multiple of 4?
True
Let n(b) = b**3 - 2*b**2 - 4*b + 10. Does 25 divide n(7)?
False
Let m be (-2 - -1 - -7) + 2. Let p = -4 + m. Suppose c = -p*c + 35. Is c a multiple of 7?
True
Let b = -6 + 92. Suppose 204 + b = 5*q. Is 15 a factor of q?
False
Let v = 123 + -87. Is 4 a factor of v?
True
Let d = -32 - -17. Let h = d - -21. Does 6 divide h?
True
Let g(o) be the third derivative of -5*o**4/24 + o**3 + 2*o**2. Let h be g(6). Let m = h - -35. Does 11 divide m?
True
Let y = -8 + 11. Suppose 3*s + 14 = y*p - 67, -5*p + 3*s = -137. Is p a multiple of 28?
True
Let o(l) = -3*l**3 + 19*l**2 + 5*l - 15. Let h(n) = -5*n**3 + 29*n**2 + 7*n - 22. Let d(j) = 5*h(j) - 8*o(j). Does 15 divide d(-7)?
True
Suppose -255 = -4*r + r. Does 17 divide r?
True
Let s(i) = -i**2 - i - 1. Let x(n) = 3*n**2 - 10*n + 6. Let a(h) = 4*s(h) + x(h). Let p = 4 + -14. Does 14 divide a(p)?
True
Suppose t = 5*t - 4. Let z(b) = 39*b + 1. Is 20 a factor of z(t)?
True
Let z(x) = x**3 + 6*x**2 - 4*x + 3. Is z(-6) a multiple of 17?
False
Does 14 divide (0 + 28)/((-22)/(-154))?
True
Let m(r) = -r**2 + 3. Let a be m(0). Let n(i) = -i**3 - 7*i**2 + 7*i + 13. Let u be n(-9). Suppose -a*h = h - u. Is h a multiple of 14?
True
Let z be ((-5)/2)/((-18)/(-216)). Is 12 a factor of (-12)/z - (-213)/5?
False
Let w(v) = -4*v + 2. Does 30 divide w(-8)?
False
Let z(a) = -a**2 + 6*a + 7. Let i be z(7). Suppose i*w = -5*w + 120. Does 18 divide w?
False
Suppose 0*n = 6*n + 48. Let l(a) = -3*a + 1. Does 7 divide l(n)?
False
Let x(p) = p**3 - 8*p**2 - 10*p + 12. Let o be x(9). Suppose -o*b - 3*w = -18, 0 = 5*w - 3*w - 2. Suppose -b - 23 = -m. Does 10 divide m?
False
Suppose 2*l = -d + 3, -l - 7 = -3*d + 2. Suppose -d*h + 2*w + 53 = -2*w, 5*h - 4*w = 75. Does 5 divide h?
False
Let x = -11 - -15. Suppose x*o - 8 = -3*t + t, -2 = -o - 5*t. Suppose 0 = -f - o*f + 9. Is 3 a factor of f?
True
Let s(l) = -l**3 + 10*l**2 + 8*l - 2. Is s(10) a multiple of 36?
False
Let t = 15 + -10. Let c be (-2 - -5) + (0 - t). Is c/(-7) + (-201)/(-7) a multiple of 10?
False
Suppose -o + 1 = -0. Let y be 1/(o*1/15). Suppose -g + y = -3. Does 12 divide g?
False
Let o = -52 + 217. Does 15 divide o?
True
Let d(a) = -9*a - 3. Let r(c) = 9*c + 4. Let o(z) = 3*d(z) + 2*r(z). Let v(n) = n**3 - n**2 - n - 1. Let f be v(-1). Does 17 divide o(f)?
True
Is (-2)/3 - 136/(-6) a multiple of 22?
True
Let u = -6 - -4. Let f = 1 - u. Suppose -f*o + 22 = -29. Is 11 a factor of o?
False
Does 12 divide (-44)/55*(-3 - 192)?
True
Suppose -3*l + 1 = -5. Suppose 4*c = -c - 5*v + 25, 4*c - 16 = -l*v. Suppose c*t - 24 = 48. Is t a multiple of 8?
True
Suppose 3*v + b - 244 = 0, 0 = 5*v + b + b - 408. Suppose -2*z + v = 14. Is z a multiple of 15?
False
Let q = 1 - -3. Let z(a) = a**3 - 3*a**2 + 6*a - 4. Is z(q) a multiple of 12?
True
Let q = -4 - -2. Let c = q - -6. Suppose -2*o - 5*w = -1, 10 = c*o + 2*w - 16. Is 5 a factor of o?
False
Let a(i) = -2*i**3 - 2*i**2 + i + 2. Let l be a(-2). Suppose -2*w + l = -4*h, -4*w = -h + 6*h - 29. Is 8 a factor of (-2 + 17)*4/w?
False
Suppose -4*n - 37 = -5*n. Is n even?
False
Suppose 11*p - 805 = 6*p. Is 35 a factor of p?
False
Let v = 26 + 1. Is 8 a factor of v?
False
Suppose 3*m - 1 - 2 = 0. Let u = -7 + 5. Is 5 a factor of m + u + 22/2?
True
Let a(n) be the third derivative of -n**6/120 - n**5/6 - 3*n**4/8 + n**3/2 + n**2. Does 3 divide a(-9)?
True
Let g = -36 + 56. Is 20 a factor of g?
True
Let r = 2 + -10. Let v(p) = p + 12. Let l be v(r). Does 5 divide l - -3 - 3*-1?
True
Let o(r) = -r - 1. Let x be o(-4). Suppose -j + 22 = -0*j + a, x*a = 4*j - 81. Does 7 divide j?
True
Is (24/(-32))/(2/(-368)) a multiple of 21?
False
Suppose 4*s + 4 = 4*p, 5*p - s + 2 = -13. Let d(u) = -u**2 - 15*u + 8. Let z(h) = -h. Let l(v) = p*z(v) + d(v). Is l(-9) a multiple of 13?
True
Suppose -4*a = -5*a - 22. Let c = -1 - a. Does 7 divide c?
True
Let k(g) = -g**3 - 3*g**2 + 4*g. Let t be (1 - -2)*20/(-15). Let r be k(t). Let x(b) = -b + 32. Is x(r) a multiple of 16?
True
Suppose 43 = 3*s - 212. Is 17 a factor of s?
True
Suppose -u - 1 = -c, 2*c + u + 1 = 4*u. Suppose -d - c*d = -10. Suppose 2*x - 5 - 11 = d*j, -3*x = 2*j - 4. Is x even?
True
Let y(d) be the third derivative of -d**6/120 + 2*d**5/15 - 5*d**4/24 - 2*d**2. Is y(7) a multiple of 12?
False
Let f(x) = -x - 3. Let p be f(5). Let g(a) = a**3 + 9*a**2 - a + 3. Does 25 divide g(p)?
True
Suppose -7*m - 35 = -126. Let u = m + 1. Is u a multiple of 5?
False
Let n = 140 + -100. Does 20 divide n?
True
Suppose 2*z = 2*q - 4*q - 20, 5*q - z = -20. Let n(v) = v**2 + 4*v. Does 2 divide n(q)?
False
Suppose 0 = -z + 2. Let q(l) = 2*l**3 + l**2 - 3*l + 1. Is q(z) a multiple of 15?
True
Suppose -4 - 12 = -4*a, -817 = -3*t + 2*a. Is 25 a factor of t?
True
Let x be (-2)/7 - 948/(-84). Suppose -x*k + 8*k + 105 = 0. Does 7 divide k?
True
Let w = 20 + -9. Let g = w + 2. Is 13 a factor of g?
True
Let b = -204 + 123. Let n = -37 - b. Suppose -3*h + 33 = g, h - 5*h = -3*g - n. Is 11 a factor of h?
True
Let v(b) = b - 7. Let m be v(7). Suppose -w + 3 = -m. Let z(h) = 2*h**2 + 2*h + 4. Is 15 a factor of z(w)?
False
Does 8 divide -5 + (-97)/(-7) + 2/14?
False
Suppose 2*p = 9 + 53. Is p a multiple of 19?
False
Let k = -10 + 14. Does 2 divide k?
True
Suppose 0 = 3*p - 0 + 6. Let y(f) = -8*f**3 + 8*f + 8. Let x(g) = -g**3 + g + 1. Let k(v) = 10*x(v) - y(v). Does 14 divide k(p)?
True
Suppose -3*f + f = -108. Is 10 a factor of f?
False
Let a be 3 - 2*1/2. Let u be (a/1)/(4/(-2)). Is u/(-1 + 15/16) a multiple of 6?
False
Let z(v) = -v + 12. Let q be (-4)/6*(0 - 6). Suppose -q*i = -3 + 51. Is 12 a factor of z(i)?
True
Suppose 3*t - 7*t + 502 = -n, 0 = t - 3*n - 120. Is 20 a factor of t?
False
Let l(v) = -2*v + 5. Let n be l(0). Suppose -n*q + 20 = -4*q. Is q a multiple of 20?
True
Suppose 4*u - 5 = p - 24, 0 = -2*p - 5*u + 90. Is 17 a factor of p?
False
Let i(c) = 10*c**2 + 1. Let v be i(1). Let w = 17 - v. Is w even?
True
Let k = 11 - -24. Does 24 divide k?
False
Suppose 0 = b + 2*b. Suppose -2*q + 24 = l, -l + 5*q + 13 - 3 = b. Is l a multiple of 14?
False
Let h(f) = f**3 - 7*f**2 - f + 2. Let j be h(7). Let g = -3 - j. Is 4 a factor of 2*7/g + -1?
False
Let d(h) = -9*h + 14. Does 10 divide d(-4)?
True
Let h be (-2 + 0 + 2)/(-2). Suppose 7*l = -x + 2*l - 1, h = -3*x - 2*l + 10. Does 3 divide x?
False
Let n be -4 + 1 + -1 + 2. Let f be (-4)/n + 0/3. Suppose -a - 5*x - 53 = -f*a, -3*x - 59 = -a. Is a a multiple of 25?
False
Let s(h) = -h + 9. Let m be s(7). Let p be m/(0 + (-2)/(-25)). Suppose -3*f - 2*c + 87 = -p, -128 = -3*f + 2*c. Is 16 a factor of f?
False
Suppose -3*q + 15 = 2*f, 6*q - 28 = -4*f + 2*q. Is f a multiple of 6?
True
Let j(p) = p**3 + 9*p**2 + 3*p + 5. Let n(k) = -k**2 + 2*k. Let t be n(4). Is 22 a factor of j(t)?
False
Let f = 31 - 19. Suppose f = 7*i - 5*i. Is 2 a factor of i?
True
Let f = -4 + 7. Suppose f*n - 4 = 2*k, -2*k = 2*k + 20. Let m = 14 - n. Does 7 divide m?
False
Is 244 - 1/(6/(-18)) a multiple of 48?
False
Suppose 5*f - 291 - 74 = -3*y, 5*f - y - 385 = 0. Is f a multiple of 13?
False
Let c(g) = g**2. Let b be c(1). Suppose 3*s = 5 + b. Suppose -r + 56 = s*u + r, -2*r = 4*u - 108. Is 13 a factor of u?
True
Let k = 68 + -1. Is 27 a factor of k?
False
Suppose -11*p = -792 - 275. Is p a multiple of 23?
False
Suppose 5*a = -25, 2*m - 5*a = -0*a + 409. Is m a multiple of 38?
False
Let m(b) = -3*b**2 + 2*b + 9. Let x be m(-6). Let i = 231 + -393. Let d = x - i. Is d a multiple of 17?
True
Let g be (6/(-4))/(6/(-16)). Suppose g*y - 30 = -6. Is 2 a factor of y?
True
Let m = -12 + 16. Suppose n + 3*n = 0. Suppose n = -m*j + 5*j - 52. Is j a multiple of 16?
False
Suppose 0 = -j - 2*i + 196, -191 = -j - 3*i + 2*i. Suppose j = h + h. Let k = h - 51. Is k a multiple of 14?
True
Let g = 8 - 5. Suppose -2*v - 5*p = 3*v - 195, 156 = 4*v + g*p. Let f = v - 14. Does 9 divide f?
False
Let g = -5 - 19. Does 3 divide (g/8)/((-2)/4)?
True
Let s(r) = -r - 7. Let a be s(-7). Suppose 2*x = 5*w + 72 - 17, -3*x - 3*w + 30 = a. Does 7 divide x?
False
Suppose -a - 264 = -5*a. Does 22 divide a?
True
Suppose 4*w + 517 = 2*d + 59, 5*d + 437 = -4*w. Let v