= -4*w + 3, -4*w - g - 4 = 3*g. Let k(q) = q**3 - 5*q**2 + 7*q - 8. Let i be k(4). Suppose 0 = 2*t + i*x - w*x - 32, -2*x = 4*t - 34. Is t even?
True
Let f(d) = -d**3 - 6*d**2 + 5*d - 9. Let p be f(-7). Let s(u) = -2 + 7 + 1 + u + 2*u + u**3 - 5*u**2. Does 10 divide s(p)?
False
Suppose 3 + 24 = 3*p - 2*n, 5*p = n + 45. Suppose a + 4*d - p = -1, 4*d = 0. Is 362/a - (-3)/(-12) a multiple of 10?
False
Suppose -2 = -b + 24. Suppose 5*q - 96 = -b. Does 14 divide q?
True
Suppose -32 = 4*g + 2*r - 124, 0 = -5*g - 4*r + 109. Does 10 divide g?
False
Suppose 4*f - 38 + 90 = 4*i, -3*i + f + 43 = 0. Suppose -i*m - 111 = -16*m. Is 5 a factor of m?
False
Suppose 0 = -2*v - z + 1081, -5*v - 2*z + 2698 = 2*z. Does 6 divide v?
False
Let p(q) = -q**3 - 5*q**2 + q + 5. Let z be p(-5). Suppose 4*m - 4*s - 52 - 20 = 0, m + 5*s + 6 = z. Is m a multiple of 6?
False
Let a = 106 + -89. Is a a multiple of 2?
False
Suppose 76 = -2*m + 6*m + 2*a, -3*m + 64 = 5*a. Is m a multiple of 18?
True
Let c = -25 - -25. Suppose -3*q + 12 = c, 4*w + 2*q - 124 = q. Is w a multiple of 10?
True
Suppose 34*z - 47385 = -11*z. Is 9 a factor of z?
True
Let q(f) = -f**2 - 9*f + 27. Let k be q(-11). Let d(i) = 9*i + 19. Is d(k) a multiple of 8?
True
Suppose 0 = 4*t - 4*r - 1582 + 102, 0 = -2*t + 3*r + 739. Is 7 a factor of t?
True
Let z(a) = a**2 - 3*a + 9. Let o be z(-7). Let r = 195 - o. Let v = 232 - r. Does 29 divide v?
True
Let u = -2665 - -4121. Is u a multiple of 56?
True
Suppose -5*w + 1299 = -11856. Is 79 a factor of w?
False
Is 35 a factor of 274/8 - 90/(-120)?
True
Suppose -g = 5 + 5. Is 10 a factor of 556/14 - g/35?
True
Let p(o) = o - 5. Let i(k) = -k**3 + 5*k**2 - 4*k + 4. Let f be i(4). Let m(g) = g. Let y(s) = f*m(s) + p(s). Is y(13) a multiple of 20?
True
Suppose -361*q - 510 = -363*q. Is q a multiple of 17?
True
Suppose 7*o - 2844 = -590. Is 14 a factor of o?
True
Suppose 60*t - 11018 = 10762. Is t a multiple of 7?
False
Let k = 14 - 14. Suppose -1276 = s - 5*n - 0*n, k = 2*s + 2*n + 2600. Is (s/(-84))/(3/28) a multiple of 37?
False
Let q = 301 - 160. Let p = q - 117. Is p a multiple of 6?
True
Is 1/(10/21615)*2 a multiple of 33?
True
Let l(y) = -721*y**3 + 16*y**2 + 18*y + 2. Is 7 a factor of l(-1)?
True
Let w = 7 - 2. Suppose p = 37 - w. Suppose -y + 16 = -p. Does 32 divide y?
False
Is ((-108)/(-2))/(8/116) a multiple of 74?
False
Let z(m) = m**2 - 8*m. Let h be (-8)/(-3)*21/(-14). Is 12 a factor of z(h)?
True
Let q be 0/(-1) + 4/2. Let h(o) = 2*o**2 - 15*o - 6. Let z(t) = 8*t + 4. Let i(l) = 3*h(l) + 5*z(l). Is 6 a factor of i(q)?
False
Let s(l) = -9*l - 9. Suppose 18 = -2*i - 5*m, -4*i - 5*m = i + 30. Let g(h) = -8*h - 9. Let o(b) = i*g(b) + 5*s(b). Does 21 divide o(-4)?
False
Suppose u = 5*i, -15*u + 13*u - 5*i = -15. Suppose 0 = -4*z - z. Suppose z = u*m - 53 - 117. Does 17 divide m?
True
Let x(v) = 3*v - 12. Let q(h) = h**2 + 5*h + 2. Let g be q(-7). Suppose a - 3*a = -g. Is 4 a factor of x(a)?
True
Suppose 0 = -p - 1, -p - 3*p - 4 = 2*s. Let u be 3 - (s - (2 + 0)). Suppose -y - u = -32. Is 9 a factor of y?
True
Let m be (20/(-15))/(4/(-6)). Suppose -m*y + 201 = 7. Suppose -y = -5*g + 68. Is 29 a factor of g?
False
Suppose -20 = -2*t + 4*t. Let i(c) = c**3 + 11*c**2 + 9*c - 1. Let n be i(t). Suppose 3*s - 6*s = -n. Is s a multiple of 2?
False
Is 29 a factor of (-1337)/(-3) + 27/((-567)/14)?
False
Is ((-5160)/16 + -3)*(-8)/6 a multiple of 14?
True
Suppose -102*l + 106*l - 7140 = 0. Is 15 a factor of l?
True
Suppose 4*h + r - 18 = -r, 0 = -3*h + r + 11. Suppose 0*p + p - 189 = -4*i, 4*i + 3*p - 199 = 0. Suppose 0 = 3*c - i + h. Does 13 divide c?
False
Let j(c) = -c**2 + 4*c + 1. Let p = -11 + 5. Let r = 9 + p. Is j(r) even?
True
Let c(p) = 3*p**2 + 70*p + 212. Does 10 divide c(-26)?
True
Is 47 a factor of (24/(-14))/(6/(-3164))?
False
Let q(p) = -7*p**3 - 6*p**2 - 8*p - 7. Is q(-5) a multiple of 57?
False
Suppose -2*p - 234 = -3*k + 79, -3*k + 299 = 5*p. Does 8 divide k?
False
Let g(z) = 14 - 21 + 9*z**3 - 10*z**3 - z**2 - 5*z. Is 22 a factor of g(-5)?
False
Let i = 2822 - 1414. Is 22 a factor of i?
True
Let k = 738 - -538. Is 29 a factor of k?
True
Let i(d) = -d**3 - 15*d**2 - 17*d + 32. Let a(q) = 5*q**3 + 61*q**2 + 67*q - 129. Let f(g) = -2*a(g) - 9*i(g). Is 3 a factor of f(14)?
False
Let d(q) be the second derivative of q**5/20 - q**4/3 + q**3/3 + 5*q**2/2 - 2*q. Suppose 0 = -n - 4*o + 21, -4*o - 2 = -4*n + 2. Is 16 a factor of d(n)?
False
Suppose 5*x = -4*f + 28, -22 = -2*f - 3*f - 3*x. Let c be (1 + -2)/((-1)/f). Suppose -c = -4*s + 238. Does 20 divide s?
True
Suppose -3*n = -5*f - 1025, -688 = -2*n - 0*n + f. Is 10 a factor of n?
False
Let n(k) = -24*k**3 - 3*k**2 - 9*k - 29. Does 97 divide n(-4)?
False
Let v = -273 + 861. Is 35 a factor of v?
False
Let w = -142 + 150. Does 4 divide w?
True
Let x(y) = 15*y**2 - 8*y - 7. Let j be x(-3). Let r be 4/3*(0 + -66). Let l = j + r. Does 15 divide l?
False
Is 18 a factor of (2712/5)/((-100)/(-750))?
True
Let r = 22 - 17. Suppose 2*w = 3*h - h - 2, 3*w - 29 = -r*h. Suppose w*i - i = 20. Is i a multiple of 3?
False
Let z = 415 - 390. Is z a multiple of 2?
False
Let i = -1 + 0. Let a be 2/i + (18 - 2). Does 23 divide 4/a + (-383)/(-7)?
False
Suppose -z + 2 = 0, -4*n + 4*z = -926 - 4430. Is 64 a factor of n?
False
Suppose l + z - 6 - 3 = 0, 2*l + 5*z = 21. Let n be (-2)/(-8) - 18/l. Does 17 divide 2 + 1 + n - -57?
False
Let q be ((-1)/3 - -1)/((-1)/(-144)). Suppose 7*p - 3*p = q. Is p a multiple of 6?
True
Let v(q) = 8*q - q**3 + 6*q**2 - 22 + 4*q + 7. Is v(7) a multiple of 18?
False
Let h = 9 - 5. Let v be (4 - (-2 + h)) + -9. Let t(k) = -12*k + 15. Is 27 a factor of t(v)?
False
Suppose 3*y - 12 = 0, 3*y + 0 = 2*s + 12. Suppose -27 = -5*t - 2. Suppose t*u - 17 = 4*c, 2*u + 3*c - 17 + 1 = s. Is u even?
False
Let v be (-2)/8 + 6/24. Suppose v = s - j - 54, -s + 5*s - 219 = j. Does 5 divide s?
True
Is -5 - (-2 + 4)*(-8355)/10 a multiple of 119?
True
Let d(v) = v**2 + 20*v - 12. Is 31 a factor of d(8)?
False
Suppose -2*c + c - 18 = -2*i, -3*c - 22 = -2*i. Suppose -i*p + 242 = -142. Is 3 a factor of p?
True
Let p(m) = 4*m**2 - 30*m + 2. Let y be p(-5). Suppose n + y = 10*n. Is n a multiple of 4?
True
Suppose 15*c = 6*c + 9639. Does 26 divide c?
False
Let u = 169 - -9. Does 11 divide u?
False
Let s(p) = 42*p**3 - p + 1. Let d be s(1). Let i(x) = -5*x - 1. Let y be i(-1). Suppose -d = -w - 5*k - 17, -3*k = -y*w + 77. Does 7 divide w?
False
Let s(a) = 84*a - 4. Let q be s(1). Let g = -55 + q. Is 25 a factor of g?
True
Let q be 3/12 - 2004/16. Let i = 181 + q. Is 8 a factor of i?
True
Suppose 3*f - 2*m + m + 3 = 0, 0 = f + 4*m + 14. Does 19 divide 19*2*(-1)/f?
True
Suppose -7*k - k = -40. Suppose -k*q = 5*p - 90, 3*p + 3*q - 10 = 2*p. Does 11 divide p?
True
Let i be -4*4/(-16) + (610 - -2). Suppose 6*l = i + 125. Is l a multiple of 19?
False
Suppose 3*h + t = 442, 2*t - 296 = 23*h - 25*h. Is h even?
False
Let s = 94 + -94. Suppose s = 6*v + 78 - 1446. Does 38 divide v?
True
Suppose 0 = 2*z - 2*o + 10, 2*z - 4*o = -3*z - 20. Suppose -5*m + 4*s = -74, -5*m - 2*s = -11 - 57. Suppose z*b = -b + m. Does 8 divide b?
False
Let o = -983 + 1499. Is o a multiple of 25?
False
Is 57 a factor of 1303/5 + (-14)/(70/3)?
False
Suppose -2*r - j - 1 + 7 = 0, 0 = 5*r + 4*j - 9. Suppose 0 = -4*c, z - 6*z + 425 = 3*c. Is 27 a factor of 6/r*z/2?
False
Let a(x) = x**3 - 8*x**2 + 11*x - 19. Let f be a(7). Does 8 divide f/3 + 63 + 4?
False
Let h(d) = -2*d**2 + d + 10. Let s be h(-5). Let v = s + 85. Does 10 divide v?
True
Suppose 5*a - 1 - 19 = 0. Suppose -3*d = -a*d - 3. Is 8 a factor of 24/(18/(-8) - d)?
True
Suppose -3*k + 15 = 6. Suppose -c - k*c + 4*o = 0, -16 = -4*c - 4*o. Suppose -4*z + 15 = -7*z, -5*a - c*z = -265. Does 13 divide a?
False
Suppose 3*i = 5*c - 67, -4*c + 5*c = 5*i + 31. Let b = c - -21. Suppose -w = -b - 19. Does 14 divide w?
False
Let m = -200 + 257. Is 29 a factor of m?
False
Let y = -6212 - -8769. Is 16 a factor of y?
False
Suppose 0 = -5*g - 10, 3*g - 123 + 127 = f. Let z(w) = 3 - 6*w + w + 2*w. Is 9 a factor of z(f)?
True
Suppose -20 - 35 = 5*w. Let r(l) = 5*l + 24. Let c be r(w). Let m = 36 + c. Is 2 a factor of m?
False
Suppose -187 = -3*g - 25. Is 43 a factor of g?
False
Let o(f) = f + 3. Let a be o(0). Suppose -a*k - 2*p