12 = k*z. Let g = -6 - z. Does 4 divide g?
True
Let c(o) = -16*o**3 - 1. Let v be c(1). Let x = v + 24. Does 7 divide x?
True
Let c be (3/1 + -2)*-2. Let x = 1 + -34. Is 8 a factor of (-1)/c + x/(-2)?
False
Let c(d) = 81*d - 16. Is c(5) a multiple of 19?
False
Let x = 47 - 41. Does 2 divide x?
True
Let f(m) = 2*m - 2. Let o be f(11). Suppose o = 3*q - 4. Is q a multiple of 8?
True
Let h = -8 + 8. Suppose -5*o - 19 = -3*n + 11, h = n + o - 10. Is n a multiple of 9?
False
Suppose 5*z + 5*i - 30 = 0, -5*z + 3*i + 27 = 7*i. Suppose 3*w = -l + 12, -z*l - 16 = l - 4*w. Suppose l = -2*a + a + 10. Does 5 divide a?
True
Suppose 2*v + g - 61 = -v, -v + 31 = -5*g. Is v a multiple of 21?
True
Suppose 10*h - 10 = 5*h. Suppose h*p - 15 = -p. Suppose -5*z = o - 21, 3*o - 2*z - 7 = p. Is o a multiple of 2?
True
Let j(v) = v**3 + 2*v**2 + 25. Does 2 divide j(0)?
False
Let m(s) = 5*s**2 - 4*s + 5. Does 11 divide m(3)?
False
Let c = 227 + -125. Is 11 a factor of c?
False
Suppose -87 + 22 = -r. Let n = r + -30. Let l = -18 + n. Is 6 a factor of l?
False
Let b = 40 + -22. Is b a multiple of 8?
False
Let w = 5 - -11. Is w a multiple of 6?
False
Let x be (12/(-10))/(3/15). Let s = x + 3. Is 2 + 10 - (2 + s) a multiple of 13?
True
Let g(h) = -13*h**2 - 8*h - 9. Let c(x) = 9*x**2 + 5*x + 6. Let n(s) = 7*c(s) + 5*g(s). Let y be n(-3). Does 5 divide (-42)/(-4)*(-8)/y?
False
Suppose -58*w - 924 = -61*w. Does 43 divide w?
False
Let p(a) be the first derivative of -a**5/60 + 5*a**4/12 + 7*a**3/3 + a**2 - 2. Let k(l) be the second derivative of p(l). Is k(11) a multiple of 2?
False
Suppose 0*j - 5*k + 17 = 2*j, -2*k = -4*j - 26. Let b = j + 8. Suppose -b*w + 48 = -0*w. Does 6 divide w?
True
Suppose 5*s + 2*w - 34 = 0, 5*s + 0*s + 5*w = 40. Suppose s*l = -2*q + 2*l + 52, 4*l = 12. Is q a multiple of 9?
False
Suppose -5*i + 27 = 2*z, 3*i + 4*z - 9 = z. Is i even?
False
Let s be 21 - (1 + (-4)/2). Suppose 0 = -l + s - 6. Is l a multiple of 8?
True
Let d = 5 - 1. Suppose d*o - 53 = 67. Is (-2)/(-4) + o/4 a multiple of 8?
True
Is (-12 - -14 - (-14)/(-10))*215 a multiple of 17?
False
Let r be 9/2*6/(-9). Let j = r - -6. Is 15 a factor of (-20)/j*9/(-2)?
True
Suppose 5*q - 20 = -5*x, -2*q + q + x = 2. Let a be (20/8)/(q/2). Suppose d - a*d = -40. Does 4 divide d?
False
Let t be (1 - (-3)/(-2))*-8. Suppose -t*f + 35 = q, f + q = 3*f - 13. Is f a multiple of 4?
True
Suppose -2*d - 2*d + 10 = -2*h, -15 = 2*d + 3*h. Suppose d = a - o - o + 2, -4*o = -8. Is ((-25)/10)/(a/(-12)) a multiple of 15?
True
Let d(y) = -17*y - 37. Does 21 divide d(-7)?
False
Let c = -1 + -17. Let r = c - -33. Does 12 divide r?
False
Suppose -2*q - 3*c + 9 + 2 = 0, 4*c = -4. Let v = q + 6. Is 5 a factor of v?
False
Is 7 a factor of -124*4/(-8) + 1 + 2?
False
Let z(v) = v**2 - v + 2 - 2*v**2 - 3*v. Let t = 19 + -22. Does 4 divide z(t)?
False
Let j = 5 - 1. Suppose x + 7 = l - j, 4*x = -16. Is l a multiple of 7?
True
Let b(u) = -8*u + 7*u**2 - 2*u + u + 7 + u**3 + 0*u. Let q be b(-7). Suppose -5*k = -0*k - q. Is k a multiple of 7?
True
Let n = 63 - 31. Does 16 divide n?
True
Let h = -17 - -35. Let i = h - 13. Is (6 - -1) + -3 + i a multiple of 6?
False
Let a(v) = -v**3 + v - 6. Let h be a(0). Let d(i) = -i**3 - 4*i**2 - i - 5. Let n be d(h). Suppose 52 = 4*b - 4*y, -5*b - 5*y + 42 = -n. Does 9 divide b?
True
Let l be ((-4)/6)/(4/(-18)). Suppose l*o + i = 81, 2*o - 2*i - 90 = -o. Is o a multiple of 14?
True
Let b(o) = o**2 - 3. Let p be b(0). Does 2 divide (7/p)/(1/(-3))?
False
Is 3*(7 - (2 - -1)) a multiple of 12?
True
Let g(a) = a**2 + 6*a + 4. Let n be g(-6). Suppose -5*q + 5*f = -55, -n*q + 36 = -q - 4*f. Is 3 a factor of (-46)/(-11) + q/(-44)?
False
Let r(q) be the second derivative of -q**8/6720 + q**7/420 + q**6/90 - q**5/60 - q**4/12 + q. Let x(i) be the third derivative of r(i). Is 2 a factor of x(7)?
False
Let v(j) be the second derivative of -37*j**3/6 - 2*j**2 + j. Let i be v(-3). Suppose -12 = -2*t + 2*u + 34, 5*t = 3*u + i. Is t a multiple of 9?
False
Let p(o) = -5*o. Suppose -3*t = -0*t - 15. Let f be p(t). Let b = -16 - f. Is b a multiple of 9?
True
Let o(g) = g**2 + 3*g - 2. Let j be o(-4). Is 11 a factor of (33/2)/(j/4)?
True
Let n(l) = -l + 17. Let i be n(15). Let r = 81 - 56. Suppose i*o = -3*o + r. Is 2 a factor of o?
False
Let x(t) = -t + t - t + 0*t. Let l be x(-6). Is 19 a factor of 166/l - (-4)/(-6)?
False
Let x = -9 + 19. Let b(l) = l**2 - 9*l + 10. Let g be b(x). Suppose 2*f - 28 = 2*y, -g = -3*y - y. Is 17 a factor of f?
False
Suppose -3*w = k + 2 - 24, 5*k = -4*w + 33. Let r = 50 + w. Does 19 divide r?
True
Suppose -25 - 14 = 3*s + 3*t, -4*s + 3*t = 31. Let r = -1 - s. Is r a multiple of 9?
True
Is (-6)/(-10)*(-50)/(-15) even?
True
Suppose -5*r = -7*r. Let w(h) = 6*h - 22. Let q(z) = 7*z - 22. Let o(c) = 5*q(c) - 6*w(c). Does 6 divide o(r)?
False
Let f = -54 - -154. Let l = f - 68. Does 12 divide l?
False
Let h(d) be the second derivative of -d**3/6 + 45*d**2 + 3*d. Let y be h(0). Suppose 0*l + y = 3*l. Is 15 a factor of l?
True
Suppose d - 92 = 4*u, -275 - 42 = -4*d - u. Is 23 a factor of d?
False
Does 13 divide (-2 - -487)*(-6)/(-15) - 0?
False
Suppose -18*n = -14*n + 20. Let z(r) = r**3 + 6*r**2 + r - 7. Does 9 divide z(n)?
False
Does 4 divide (-126)/(-33) - (-10)/55?
True
Let y(m) = 2*m**3 - 3*m**2 + m - 1. Is y(3) a multiple of 16?
False
Suppose 0 = 10*k - 8*k - 152. Suppose y = -y - 76. Let a = y + k. Is a a multiple of 15?
False
Let u = -17 - -33. Suppose 0*z = -2*p + 2*z + 6, 4*p = 3*z + u. Does 6 divide p?
False
Let m(c) = -8*c. Let w be m(-1). Suppose -12 = -3*z - 0. Suppose 3*t - z*k - 74 = 0, w = -4*t - 3*k + 65. Is 11 a factor of t?
False
Let w = -14 - -23. Suppose -5*v - w = -5*o + 6, 0 = -o + 5*v - 13. Does 7 divide o?
True
Let v(d) = -d - 4. Let u be v(-7). Let f = u + 0. Does 17 divide 2*f*(-45)/(-10)?
False
Let l(x) = 4*x - 25. Is 7 a factor of l(8)?
True
Suppose -4*u - 4*k + 464 = -0*k, -5*k = u - 100. Suppose 6*q - q = u. Is q a multiple of 12?
True
Let b = -1 + 16. Is b a multiple of 4?
False
Let l(h) = h**2. Let k be l(-2). Suppose p - 15 = z - 0*z, -k*z = p - 40. Is p a multiple of 10?
True
Let f be (-2)/(4/(-6)) - 1. Suppose -f*j + 5*j = 72. Is j a multiple of 15?
False
Does 18 divide -2 - (0 - 2 - 33)?
False
Let x(b) = -3*b - 6. Let g = -13 + 7. Let l be x(g). Is (6/(-4))/(l/(-64)) a multiple of 8?
True
Suppose 0*q = -2*q + 4. Suppose r + 3 = p, 0 = q*p + r - 5 - 1. Suppose -h = p*h + 12, 4*w + 5*h - 157 = 0. Is w a multiple of 18?
False
Let a be 1/4 - 75/(-4). Let h = a + 13. Is 12 a factor of h?
False
Is (2 - -28)*(-8)/(-12) a multiple of 20?
True
Let u be (-10 + -1)*2 - -1. Let s(d) = -2*d**2 + 2*d + 15. Let o be s(6). Let w = u - o. Is w a multiple of 9?
False
Suppose -3*o + h = -2*h + 3, h + 11 = 5*o. Suppose 0 = 2*y + o*y - 130. Is y a multiple of 13?
True
Let x be (6/(-2))/((-3)/2). Let h be 53 - (0 + 3 - 6). Suppose x*c + h = 6*c. Does 9 divide c?
False
Let t(a) be the third derivative of a**5/60 + 5*a**4/12 - 8*a**3/3 - a**2. Let y be t(-12). Let l(o) = -o**3 + 7*o**2 + 10*o + 7. Is 13 a factor of l(y)?
False
Let l(k) = k**2 + 4*k + 3. Let d(o) = -9*o**2 + 2*o - 1. Let r(b) = -19*b**2 + 4*b - 3. Let w(s) = 5*d(s) - 2*r(s). Let f be w(-1). Does 25 divide l(f)?
False
Let t = -129 - -282. Suppose 2*y = 5*i + 83, i - t = -4*y - 20. Is 9 a factor of y?
False
Suppose 0 = 3*s + 2*s - 100. Suppose 25 + 11 = n. Let x = n - s. Is x a multiple of 6?
False
Let f be (-80)/15 + (-2)/(-6). Let v(d) = 6*d**3 - d**2. Let p be v(-1). Let o = f - p. Does 2 divide o?
True
Let v(i) = i**2 + 5*i - 19. Is 13 a factor of v(8)?
False
Suppose 0 = 5*z - 2*y - 163 - 39, -z = -3*y - 30. Is 14 a factor of (-5 + 6)/(1/z)?
True
Let a be 3*4/8 + 15/(-10). Suppose 2*n + 120 = 7*n. Let x = a + n. Is x a multiple of 8?
True
Suppose 5*v + 9 = s + 1, 0 = -3*s + v + 10. Suppose 2 = -m - s. Let w(n) = n**3 + 5*n**2 - 5*n - 6. Does 9 divide w(m)?
False
Is 34 a factor of (-2 + -66)/(2*2/(-6))?
True
Let f(c) = 2*c**2 + c - 1. Let r be f(1). Suppose -r*k + 16 = -6*k. Let n(p) = -8*p + 1. Does 14 divide n(k)?
False
Is 2*(-2 - 6/(-2)) - -106 a multiple of 14?
False
Let h be 7 - 6 - 1/1. Let k be h/((-3)/((-9)/6)). Suppose -q + 23 + 11 = k. Is q a multiple of 18?
False
Suppose -x + 5 = -2*t, -