uppose -130 = -y*z + 35. Is 9 a factor of z?
False
Suppose -3*z + 3939 = l, -3*z - 3*l + 1398 = -2541. Does 10 divide z?
False
Let i = -4 - 5. Let w(q) = -q - 33. Let v be w(24). Let c = i - v. Is 12 a factor of c?
True
Let h(s) = 5*s**2 - 1. Let b be h(-1). Suppose 2 + 4 = 2*f - 2*i, -4*f - 4*i + b = 0. Suppose f*m - k = 4*k + 67, 0 = -4*k + 20. Is 23 a factor of m?
True
Suppose -66 + 159 = -v. Let r = -66 - v. Suppose n - r - 13 = 0. Does 28 divide n?
False
Let d(z) = -z**2 + 2*z - 1. Let p be d(1). Let f be -1 - -1 - p/8. Suppose f = 2*x + 3*x - 445. Is x a multiple of 22?
False
Let m(p) = 12*p**2 - 1. Let g be m(-1). Suppose w = -3, 4*k - 25 = w - 2. Suppose -384 = k*l - g*l. Is l a multiple of 17?
False
Let x(v) = 126*v**2 + v + 1. Let c = 101 - 102. Is 18 a factor of x(c)?
True
Let h(z) = -z + 6*z + 23 - 21. Let n be h(-2). Is 11 a factor of (-192)/n - (3 + -1)?
True
Let x = -59 - -138. Suppose 5*y - 10 = 2*i + x, 0 = i - 3. Is 9 a factor of y?
False
Let p(x) be the second derivative of -x**3 + 9*x**2/2 - 155*x. Let b be (-18)/2 - 0/1. Is p(b) a multiple of 21?
True
Let l(f) = f**3 - 6*f**2 - 14*f + 12. Is l(8) a multiple of 2?
True
Let l be (4 - 2) + -3 - -9. Does 26 divide 1/2 - (-204)/l?
True
Suppose -21*z = -23*z - 8. Let i(t) = 2*t**2 + t + 2. Does 30 divide i(z)?
True
Let d = 228 - -102. Is d a multiple of 6?
True
Let a(k) = 12*k**2 + 14*k + 38. Does 6 divide a(-7)?
True
Let g(s) = s**2 + s - 44. Let t(v) = v**3 + 10*v**2 + 2*v + 3. Let m be t(-10). Does 12 divide g(m)?
True
Suppose 2*p + 74 - 7 = t, -3*p + 309 = 5*t. Is t a multiple of 4?
False
Let t be (9*1)/(1 - 10/15). Suppose -37 + 7 = -5*o. Is (6 + -2)/(o/t) a multiple of 17?
False
Suppose -5*x + 89 + 36 = 0. Suppose 0 = 2*f - x - 87. Is f a multiple of 10?
False
Suppose -2*n - 230 = -4*d, 0 = 4*n - d - 206 + 631. Let a = 209 + n. Does 26 divide a?
True
Let u(x) = -x - 30. Let b be u(-9). Is b/14 - 342/(-4) a multiple of 14?
True
Suppose 4*g + 10 = 2. Let f be 21/g*(-44)/3. Suppose -2*b = 4*h - f, 51 + 35 = b - h. Does 19 divide b?
False
Suppose -2*h - 26*p + 30*p + 1196 = 0, -2*h + 5*p = -1192. Does 7 divide h?
False
Suppose 10*u - 4 = 6*u, -4*y + 5*u + 827 = 0. Does 32 divide y?
False
Let a = -51 - -122. Let n be 1/((-7 - -4)/105). Let i = n + a. Is 18 a factor of i?
True
Let y(p) be the third derivative of -p**4/8 - 13*p**3/6 - 3*p**2. Let h be y(-6). Suppose -h*t = -151 - 44. Is t a multiple of 13?
True
Let w(s) = -2*s**3 + 18*s**2 + 13*s + 1. Is 25 a factor of w(9)?
False
Suppose -4*b = -p - 3156, b - 4*p = 3*b - 1560. Does 4 divide b?
True
Let u(d) = -d**2 - 7*d - 1. Let s be u(-6). Let g(r) = r**2 + 2*r - 19. Does 16 divide g(s)?
True
Let s(c) = -4*c. Let m(z) = 11*z. Let b(w) = -3*m(w) - 8*s(w). Let q(g) = 3*g**2 - 7*g - 1. Let u(f) = -2*b(f) + q(f). Is 9 a factor of u(4)?
True
Let b be (-460)/(-45) - 8/36. Let s(c) = 2*c + 9. Does 7 divide s(b)?
False
Suppose 2*l + 2*l + 24 = 0. Let f = -1 - l. Suppose 3*v + 3*s = 90, -f*s - 256 = -5*v - 76. Does 9 divide v?
False
Suppose -d + 226 = -4*i - 0*i, 5*i - 504 = -2*d. Does 22 divide d?
True
Suppose -379 = -3*c - 2*s, 5*s - 119 = -c + 8*s. Is c a multiple of 5?
True
Let j(h) = h**3 + 14*h**2 - 16*h - 15. Let q be j(-15). Suppose q = -5*w, -5*v = -4*w - 0*w + 55. Let t(d) = -d**2 - 12*d + 3. Is t(v) a multiple of 4?
False
Is 14 a factor of (0 - -317)*(12 - 11)?
False
Let p(r) = -4*r - 13. Let v be p(-4). Is 25 a factor of ((-2)/v)/((-4)/(-6))*-83?
False
Suppose 0 = 4*o - 21 - 167. Let j = 68 - o. Suppose -j*y + 104 = -19*y. Is y a multiple of 13?
True
Let a = -19 + 135. Is 4 a factor of a?
True
Let i(n) = n**3 + 13*n**2 - 14*n + 29. Suppose -6*s + 126 = -15*s. Is i(s) a multiple of 6?
False
Suppose -4*x - 3*h + 11640 = 0, 2*h = -2*x + 4292 + 1526. Is x a multiple of 32?
False
Suppose -7*z - 30 = -10*z. Does 30 divide z/35 + 750/21?
False
Let h = -10 + 24. Suppose 3*r + 2*o = -2*r + h, 0 = o + 3. Does 18 divide 372/6 + (1 - r)?
False
Let p = -778 - -1258. Does 32 divide p?
True
Suppose 0 = 14*y - 27170 + 7766. Does 18 divide y?
True
Let w = 24 + -5. Let y(l) = w*l - 18*l - 9*l**2 + 1 - l**3 + 11. Does 3 divide y(-9)?
True
Suppose -22*a - 75*a + 168198 = 0. Is 34 a factor of a?
True
Suppose 520 + 184 = 2*k. Does 8 divide k?
True
Let n(p) = 2*p**2 + p - 4. Let w be n(2). Is 7398/63 - w/14 a multiple of 11?
False
Let v be 8/(-24) + (-7)/(-3). Is (88 - 19) + 1 + v a multiple of 18?
True
Suppose -57*n + 612 = -54*n. Is n a multiple of 51?
True
Let n(p) be the second derivative of -p**4/4 - 2*p**3/3 + 3*p**2/2 + p. Let d(v) be the first derivative of n(v). Does 13 divide d(-5)?
True
Let f(o) = -o**3 - 11*o**2 + 5*o + 11. Let t be f(-10). Let z = -99 - t. Suppose -3*q = 2*q - z. Does 4 divide q?
True
Suppose 5*a + 0*v + 1390 = 2*v, 5*a + 4*v + 1360 = 0. Let i = 577 + a. Is i a multiple of 19?
False
Let s be (4/6)/(3/27). Suppose 0 = 3*v - s, 5*y = 4*v - 7*v + 1. Is 3 a factor of (3 - y)*(2 - 0)?
False
Let x(z) = 12*z**3 + z**2 - 1. Suppose l + 6 = 4*l. Let d be x(l). Let p = -59 + d. Is p a multiple of 17?
False
Suppose 2*f = 3*h, h + 3*h = -f + 11. Let y(i) = -i**3 + 7*i**2 + 5*i + 3. Let b be y(6). Suppose -r + b = -4*d, -f*d + 87 = -2*r + 210. Does 19 divide r?
True
Is 88 a factor of 2/(-4)*(-8066 + 0/1)?
False
Let f(l) = -l**3 - 6*l**2 - 5*l + 5. Let j be f(-5). Is 2/7 - (960/(-14))/j a multiple of 9?
False
Let w(a) = 36*a**2 + 2*a - 4. Let q be w(4). Let n be 6 + ((-120)/21)/((-2)/14). Suppose -n = 6*i - q. Does 10 divide i?
False
Suppose -5*y - 70 = -90. Suppose y*z = z + 27. Is 3 a factor of z?
True
Let f be 12/(-8)*(-8)/3. Suppose -f*v = v. Suppose v = -2*s + 3*x + 81, -s + 4*s - 2*x = 124. Is s a multiple of 7?
True
Let u(x) = -x**3 + 8*x**2 - 2*x - 18. Does 21 divide u(6)?
True
Suppose 0 = 7*c - 272 + 20. Is c a multiple of 3?
True
Let z = -41 - -45. Let u be (z/(-6))/((-9)/162). Is 37 a factor of 1360/12*u/10?
False
Let v(z) = -3*z**2 + 9*z + 21. Let a be v(7). Does 4 divide ((-260)/(-30))/((-6)/a)?
False
Suppose 1243 + 102 = 5*j. Let z = -179 + j. Suppose 3 - z = -3*q. Does 8 divide q?
False
Let p(q) = -q. Let z(j) = 6*j + 11. Let y(t) = -3*p(t) - z(t). Does 10 divide y(-8)?
False
Suppose -2*p - 4 = -i + 5*i, i = -3*p - 1. Suppose -u + 3*n + 44 = p, -4*u + 4*n + 149 = -51. Let v = u + -33. Does 12 divide v?
False
Is 6 a factor of (444/(-7))/((-138)/644)?
False
Let s = -126 - -146. Suppose s*x - 78 = 19*x. Does 4 divide x?
False
Let u = 1 - 1. Suppose -x + 5*n + 31 = u, 16 = -4*n - 4. Suppose -37 = -x*g + 11. Does 8 divide g?
True
Let m(d) = -d**3 - d**2 + d + 3. Let l be 4/1 + -11 + 4. Does 4 divide m(l)?
False
Let k(r) = 2*r**2 + 27*r - 14. Let a be k(-12). Let l = 88 + a. Does 21 divide l?
False
Let y = 711 - 576. Does 91 divide y?
False
Let b = 4 + -1. Suppose -105 = 2*v - 0*o + b*o, 25 = -v + 4*o. Does 16 divide ((-288)/v)/(2/10)?
True
Suppose -15*s + 14*s = u - 2, -3*s + 3 = 4*u. Suppose 251 = -s*r + 641. Is 13 a factor of r?
True
Suppose 5*q - 45 = -3*w - 3, 4*q = 5*w + 41. Suppose -8*g = -q*g + 26. Let v = g - 12. Is 14 a factor of v?
True
Suppose 2*s - 11 = 85. Suppose 0*r - 2*r + s = 0. Is 24 a factor of r?
True
Suppose 0 = -2*u + 5*u - 30. Let q(n) = -10 + 6*n - 7*n + 7*n - u. Is q(8) a multiple of 17?
False
Suppose 0 = 51*u + 73329 - 241119. Is 35 a factor of u?
True
Let d(s) = -s + 10. Let p be d(7). Suppose 2*x - m = x + 15, -p*m + 9 = 0. Let n = x - 6. Does 6 divide n?
True
Let d(v) be the second derivative of 7*v**4/6 + v**3/3 + 2*v**2 - 4*v. Is d(3) a multiple of 17?
True
Let c(q) = q**2 + 11*q + 15. Let m be c(-10). Suppose 104 - 454 = -m*w. Suppose -3*a - 2*a = -w. Does 5 divide a?
False
Suppose -3*d - k = k - 28, 5*d - 30 = 5*k. Suppose 5*y + 15 = 0, a - d - 8 = 4*y. Suppose 12 = a*p - 36. Is p a multiple of 6?
True
Let u(r) = 8*r**2 + 2*r - 2. Let n be u(1). Is 14 a factor of (12/n)/(3/94)?
False
Suppose 16836 + 27364 = 10*r. Is r a multiple of 91?
False
Suppose p = 4*a - 1155, 4*a - 3*p - 1180 = -7*p. Is 4 a factor of a?
False
Let t(s) = s**2 - 8*s + 16. Is 15 a factor of t(19)?
True
Let b be 0 + 3 + 1 - (-10 + 14). Suppose 67 = p - a, 0 = -b*p + p - 2*a - 71. Does 6 divide p?
False
Let q(r) = -4*r + 10. Let l(x) = 2*x - 5. Let o(w) = -5*l(w) - 3*q(w). Let n be o(6). Let a = 2 + n. Is 5 a factor