-2*y. Let i(p) = p**3 - 4*p**2 - 7*p - 8. Let o be i(6). Let q = o + y. Is 4 a factor of q?
True
Let p be 8/14 + (-8721)/(-63). Suppose 213 = 4*k - p. Suppose 4 - k = -7*q. Is q even?
True
Let r(j) be the second derivative of j**4/12 - 9*j**2/2 - 8*j. Let z be r(-7). Let f = 106 - z. Does 20 divide f?
False
Let u = -22 + 27. Suppose w + 2*g - 81 = 64, w + u*g = 130. Is w a multiple of 28?
False
Suppose -q + 14 = -6. Suppose -5*a - 5*p - 5 = -q, -a + 15 = -5*p. Suppose 2*v + 34 = 4*v + a*t, 0 = 5*v + 5*t - 85. Is 10 a factor of v?
False
Let o be 2 + (4 - -359) + -4. Is 18/(-54) + o/3 a multiple of 30?
True
Suppose 0 = 2*m - 163 - 33. Is 14 a factor of m?
True
Let s(a) = -4*a**3 + 15*a**2 - 20*a - 18. Let k(w) = -3*w**3 + 14*w**2 - 20*w - 17. Let z(t) = 3*k(t) - 2*s(t). Is 6 a factor of z(9)?
True
Let d(o) = o + 13. Let r be (-92)/10 + (-28)/35. Let c be d(r). Suppose 5*u - u - 29 = -c*x, -23 = -x + 2*u. Is x a multiple of 11?
False
Does 28 divide (5/2 + -2)/((-234)/(-298584))?
False
Let b be -3*6/(-27)*3. Suppose b*a - 3*s + 2*s - 36 = 0, -2*a + 24 = 2*s. Let p = a - -2. Does 18 divide p?
True
Let t be 3 + 1 + -10 + 0. Let q(f) = -7*f**2 + 10*f - 1. Let n(z) = 8*z**2 - 11*z. Let d(y) = t*n(y) - 7*q(y). Is d(6) a multiple of 19?
True
Let t(s) = -s**2 - 11*s - 5. Let f be t(-6). Let x = 58 - f. Is x a multiple of 31?
False
Let a(v) = 14*v**2 - 34*v + 74. Is a(12) a multiple of 58?
True
Let w = 55 - 50. Suppose -3*z + 5*j + 111 = 0, -z + 3*j - j + 38 = 0. Suppose 5*d - f = -6*f + 40, -z = -3*d + w*f. Is d even?
False
Let t be ((-2)/(-6))/(6/54). Suppose 3*b + t = 21. Does 16 divide (4/(-6))/(b/(-171))?
False
Suppose 3*o + 4*p = -13, 4*p = p - 12. Is 16 a factor of (o - 49)*((-16)/(-12))/(-4)?
True
Let z(p) = p - 1. Let n(x) = 32*x - 5. Let y(k) = n(k) - 3*z(k). Is y(3) a multiple of 17?
True
Suppose 0 = -5*z - 2708 + 4478. Is z a multiple of 8?
False
Let g be (-1344)/(-49)*7/1. Let t(i) = -i**2 + 7*i - 2. Let f be t(6). Does 18 divide (6/8)/(f/g)?
True
Suppose 0 = -5*b - 0*b - 25. Let p(j) = -j**3 - 11*j**2 - j - 3. Let g(a) = 3*a**3 + 32*a**2 + 3*a + 8. Let c(u) = -6*g(u) - 17*p(u). Does 8 divide c(b)?
True
Let s(n) = -18*n + 71. Is 42 a factor of s(-14)?
False
Let b(h) = 3*h**2 + 4*h - 3. Let d be b(2). Let o be 11/3 - 1/(-3). Suppose 0 = -o*z - d + 153. Is 16 a factor of z?
False
Is (16/32)/((-1)/(-116)) a multiple of 3?
False
Let d = 563 + -552. Does 3 divide d?
False
Let f(v) = v**3 + 15*v**2 - 15*v + 20. Let n be f(-16). Let k(r) = 9*r + 2. Does 8 divide k(n)?
False
Let p(o) = o**3 - o**2 + o + 10. Let i = 0 + 0. Let x be p(i). Does 16 divide 8/x - 1355/(-25)?
False
Let s be 1/(4/288*-3). Let m = s - -27. Suppose 0 = -2*f - m*l + 254, l + 39 - 567 = -4*f. Is f a multiple of 38?
False
Suppose 3*z = z + 6. Suppose -5*t - 629 + 52 = p, -z*t + 2*p = 341. Is 13 a factor of (-19)/114 - t/6?
False
Let b(s) = 11 + 11 - 31 + 17 - 2*s. Suppose 56 = -3*m + 20. Is b(m) a multiple of 13?
False
Is 2 a factor of (-70)/(10/(-15) + 0) + -4?
False
Let x(v) = v + 24. Let g = -1 + -1. Let o be (-4 + g)*2 - -3. Is x(o) a multiple of 4?
False
Suppose 3*y = 4*j + 109, -3*y = -5*y + 4*j + 70. Let d = -3 - y. Does 7 divide (d/8)/((-21)/56)?
True
Let t(q) = -10*q + 1. Let z be t(1). Let m be (-2)/3 + (-33)/z. Suppose -5*w = -m*j + 72, -2*j + 2*w + 17 + 35 = 0. Is 6 a factor of j?
False
Suppose 7*v - 10*v + 99 = 0. Let y(n) = n**3 + n**2 + 3. Let z be y(-3). Let s = v + z. Is 18 a factor of s?
True
Let j be 24/(-16)*16/(-6). Let u = 4 + j. Suppose a = u*a - 280. Does 8 divide a?
True
Does 30 divide (12/(24/(-109)))/((-1)/6)?
False
Let f be (0 + 1)/(7/3066). Let b = f - 221. Does 39 divide b?
False
Suppose 5*w + 22 = 62. Suppose -w = 6*o - 2*o. Is 15 a factor of (2/6)/(o/(-102))?
False
Let f be (-3)/12 + 642/8. Suppose 0 = 3*h - g + 2*g - 74, -f = -3*h + 5*g. Is h a multiple of 2?
False
Let h(q) = q**3 + 11*q**2 + 12*q + 10. Let y be h(-10). Let x = -7 - y. Is 2 a factor of x?
False
Suppose 4*l - 9*l + 2125 = 3*f, -5*l + 2*f + 2125 = 0. Suppose -4*k - 5*x - 162 + 607 = 0, 4*k + x - l = 0. Does 15 divide k?
True
Let b(o) = -o**3 + 6*o**2 - 3*o - 7. Let f = 15 - 10. Let t be b(f). Is (t - (-17 + 2)) + 1 a multiple of 6?
False
Let m be ((-54)/8)/((-9)/(-36)). Let x = m - -31. Is x a multiple of 2?
True
Let k(z) = -66*z + 45. Is k(-6) a multiple of 27?
False
Suppose 0 = -g - 3, 2*u = -g + 12 + 173. Let t = u + -14. Does 16 divide t?
True
Let f = -3465 + 4936. Is 63 a factor of f?
False
Let u(p) = -34*p**3 + 6*p**2 - 3*p - 7. Let o(n) = 11*n**3 - 2*n**2 + n + 2. Let w(l) = 7*o(l) + 2*u(l). Let v(g) = -g + 6. Let x be v(5). Does 5 divide w(x)?
False
Let u(z) = 8*z**2 + 13*z - 457. Does 12 divide u(17)?
True
Is 33 a factor of (-5 - 27/(-9))/(2/(-132))?
True
Let n be 242/(-4)*-1 + (-12)/24. Let m(x) = -x**3 + 4*x**2 + 6*x + 2. Let v be m(6). Let h = v + n. Is h a multiple of 8?
False
Let r(h) = 5*h + 1. Let o be r(1). Suppose c = o*c, 4*d = -4*c + 376. Suppose -4*n - 2*y = -0*n - d, 36 = n - 2*y. Is n a multiple of 13?
True
Suppose -2*s + 343 = 275. Is s a multiple of 2?
True
Suppose -19 - 29 = -16*b. Is 22 a factor of (-24)/9 + b + 658/6?
True
Let i = -646 - -926. Does 40 divide i?
True
Let s be (-1304)/4*(1 - 2). Suppose -5*y + 3*y = -s. Suppose 0 = -4*t + 13 + y. Is 17 a factor of t?
False
Let q(y) = 2*y - 4. Let d be q(6). Suppose -3*f + 3*z - 12 = 0, 3*f = -z + 2*z - d. Is f - 2/(-1) - -39 a multiple of 20?
False
Let k = -62 - -58. Does 17 divide (3 + -1)*((-22)/k + 3)?
True
Let n = 293 - 197. Is n a multiple of 6?
True
Suppose -2*x - 10 = -s, 35 = -2*s + 6*s - 3*x. Suppose 0 = -2*m + 3*u + 61 - s, -5*m + 160 = -2*u. Does 17 divide m?
True
Let m(f) = f - 3. Let h be m(7). Suppose 2*k + 6 = 4*t, -5*k + 0*k - h*t + 41 = 0. Suppose 3 + k = 2*n. Is n even?
True
Suppose 0 = -a + 28 - 0. Let k = 77 - a. Is k a multiple of 49?
True
Let n(v) = 4*v**2 + 0 + 8*v - 5 - 1. Let d be n(-6). Suppose 0*t - 3*t = -d. Is 10 a factor of t?
True
Let p = -599 - -419. Let o = p - -273. Is 31 a factor of o?
True
Is 5 + -547*(4 - 5) a multiple of 12?
True
Suppose 4*l - 3 = -3*g - 1, 0 = -g - 4*l + 14. Does 10 divide -5 + -21*28/g?
False
Let d be ((-6)/(-9))/((-6)/(-90)). Let b(h) = d - h + 4 - 2*h + 0*h. Is b(-6) a multiple of 8?
True
Suppose -4*g + 5 + 7 = 0. Suppose 56 = -3*l + 2*u + g*u, -4*l - 5*u - 98 = 0. Let j = l - -48. Does 13 divide j?
True
Let v be 10/4*(-66)/(-5). Suppose 55 + v = c. Is c a multiple of 10?
False
Suppose 0 = 4*r - 4*w + w + 487, 5*r - 3*w + 608 = 0. Let o = -33 - r. Is 22 a factor of o?
True
Is 6 a factor of 41 - (-2 - (-10)/10)?
True
Is 6 a factor of 8420/26 - 2/(-26)*2?
True
Let h(i) be the third derivative of i**5/60 - i**4/6 + 4*i**2. Suppose 4*j + 25 = -3*s, -2*s - 1 - 5 = 0. Is h(j) a multiple of 14?
False
Let w be (-126)/56 - (-1)/4. Let s be (-1 - w) + 149/1. Let i = s + -107. Is 14 a factor of i?
False
Does 24 divide 389 + (3 + (-9)/4)*-4?
False
Let o = -85 - -116. Let d = 0 + -5. Let z = o - d. Is z a multiple of 12?
True
Suppose -21*m - 15*m + 12096 = 0. Is m a multiple of 13?
False
Let c(j) = -3*j + 10. Let b be c(11). Let d = b - -27. Does 17 divide 117/(((-18)/d)/(-3))?
False
Let p(y) = -13*y + 3. Let d be p(6). Let i(s) = -s**3 - 7*s**2 + 2*s + 9. Let r be i(-6). Let m = r - d. Is m a multiple of 12?
True
Let u(p) = -p**2 + 31. Let l be u(0). Let f(m) = -m**3 - 6*m**2 - 5*m + 1. Let g be f(-7). Suppose -g + l = -2*i. Is i a multiple of 9?
True
Suppose 4*g - 5*m = 434, 4*g + m - 418 = -2*m. Let j = g - 56. Does 10 divide j?
True
Let k = -4 + 6. Suppose -4*w = -6*w + 76. Suppose n - w = k. Is n a multiple of 20?
True
Suppose 12*f - 7*f + d - 456 = 0, -4*f + 5*d = -388. Does 12 divide f?
False
Let z(i) = i**2 + i + 3. Let y be z(-1). Suppose 0 = 2*d - 2*a - 214, y*d + a - 202 = 131. Does 48 divide d?
False
Suppose 15 = -4*y - 5*u, 11 = 3*y - 3*u + 2. Suppose -17*v + 12*v + 1185 = y. Does 31 divide v?
False
Suppose 6*d - d = -255. Let h = d + 63. Is h a multiple of 6?
True
Suppose -66 = -5*p + 2*p. Suppose -10 - p = 2*z. Let m = -8 - z. Does 6 divide m?
False
Suppose 24*a = 8293 + 8555. Is 27 a factor of a?
True
Suppose -6*t = 5*t - 8360. Is 40 a factor of t?
True
Let o be (2 + (-3)/2)*0. Suppose -z = -o*z. Suppose 0 = 2*g - 18 - z. Does 3 divide g?
Tr