pose 4*d = -0*d + 12. Let o(w) = -4*w**2 + w + 7*w**3 + 2*w**2 - 4*w**d. Is o(1) even?
True
Let p = 290 + -182. Is p a multiple of 12?
True
Suppose z - 23 = -5*x, 4*x = -0*z + 5*z + 1. Suppose -3*d = x*f + 42 - 150, -100 = -4*f - d. Is f a multiple of 8?
True
Suppose 5*a + 38 = 4*y, 2*y - 4*a - 16 = -0*y. Is y a multiple of 3?
True
Does 28 divide 3 - (-198)/(6/2)?
False
Let n be (37/(-4))/((-3)/12). Let w = n - 12. Is w a multiple of 7?
False
Suppose 4*j - 742 = p, 428 = 4*j + 5*p - 326. Is 7 a factor of j?
False
Let w be (-4)/(-10) + 13/5. Suppose -w*r = -r. Suppose 4*x = -r*x + 208. Is x a multiple of 26?
True
Let m(h) be the first derivative of -h**3/3 - 9*h**2 - 4*h - 1. Let w be m(-7). Suppose -4*z + 4*k + 140 = 0, -3*z - 4*k - k = -w. Is 21 a factor of z?
False
Let w = 16 - 12. Suppose 94 = 5*f - 4*c, f - w - 16 = 2*c. Is f a multiple of 9?
True
Is 52 a factor of (-1455)/(-4) - ((-126)/24 + 5)?
True
Let v be 2/4*0/4. Suppose -4*z + 1 = -r, v*r + 31 = 2*r + 3*z. Is r a multiple of 4?
False
Suppose -2*f - 3*f + 560 = 0. Suppose -33 = -5*o + f. Does 10 divide o?
False
Suppose -73*u = -66*u - 1197. Is u a multiple of 9?
True
Suppose 0 = 5*a - 5, 2*t + 2*a - 6*a - 10 = 0. Suppose -49 = -5*o + t*d - 3*d, 4*o = 2*d + 44. Does 13 divide o?
True
Let c be 4/18*6*87. Suppose 3*y = y + c. Does 26 divide y?
False
Let c = -9 + 28. Let m(p) = p**3 - 4*p**2 - 5*p + 1. Let l be m(5). Does 10 divide 1 + c + (l - 1)?
True
Suppose 0 = -q - 3, 3*g + 3*q - 495 = 0. Is g a multiple of 21?
True
Does 6 divide 43/(-9) + 5 - (-1202)/18?
False
Suppose 0 = -5*b - 8 - 12. Is 3 a factor of -8*(1 + 7/b)?
True
Let g be (-6)/15 + (-84)/15. Let t be (-128)/12 + 2/g. Let m = t + 19. Is m a multiple of 8?
True
Let z(f) = 0*f**2 + 4*f + 0*f**2 + 5*f**2 - 2*f**2 - 1. Is z(4) a multiple of 16?
False
Suppose 0 = 4*a + 2*b + 2*b + 264, b = 2*a + 132. Is 508/11 + 12/a a multiple of 23?
True
Let u = -3 + 8. Suppose -5*v = -2*v - 96. Let k = v + u. Is k a multiple of 11?
False
Let g be 1 + -1 + -5 + 47. Suppose 2*v - 102 + g = 0. Is v a multiple of 15?
True
Does 21 divide (-594)/(-14) + (-9)/21?
True
Let o(h) = -5*h**2 - 2*h + 2. Let w(x) = 9*x**2 + 5*x - 4. Let n(z) = -5*o(z) - 2*w(z). Let s(v) = v**3 - 5*v**2 + 5*v - 2. Let g be s(4). Does 13 divide n(g)?
True
Let k = 45 + -33. Does 12 divide k?
True
Is 5/(-1 + 11)*8 a multiple of 4?
True
Let y(k) = 4*k**2 + 2*k + 2. Does 29 divide y(-4)?
True
Let a = -2 - 15. Let z be a/(-5) - 6/15. Suppose 4*c - z*c - 2 = 0. Does 2 divide c?
True
Let z = -24 + 78. Is z a multiple of 36?
False
Let g(m) = -9*m - 2. Suppose 13 = -o + 9. Is 17 a factor of g(o)?
True
Let i(g) = -2*g - 6. Let o = 2 - 6. Let j be i(o). Suppose -j*k + 50 = 3*k. Is k a multiple of 5?
True
Let a = 29 - -27. Does 14 divide a?
True
Let q = 3 - 2. Let n = -7 + q. Is (-2)/(-6)*-2*n a multiple of 2?
True
Let x(c) = c**2 + 9*c. Let b be x(-9). Suppose -3*w = -b*w - 84. Does 15 divide w?
False
Suppose -3*d = -5*a - 105, 0*a + d = -a - 29. Is 21 a factor of a/(-18)*(-153)/(-6)?
False
Let y(v) = v**2 - 2*v + 3. Let k be y(3). Let z = -1 + k. Suppose -11 = -z*t + 49. Is t a multiple of 6?
True
Let j be 4/(-2)*(-2 - -1). Suppose 2*z - 3*z + j = 0, 0 = -4*p - 5*z + 42. Is 8 a factor of p?
True
Let w(d) = -d - 5. Is w(-12) a multiple of 7?
True
Let u be 0/1 - 16/(-8). Suppose 0 = -u*o - 3*n + 4*n + 68, -5*n - 102 = -3*o. Is 17 a factor of o?
True
Let a be ((-2)/(-8))/(2/8). Let b be a/(-3) + (-4)/6. Is (-48)/(-3) + 2*b a multiple of 7?
True
Suppose 2*g + 4*d = -0*d + 16, -4*d - 4 = 0. Is g a multiple of 10?
True
Does 7 divide 54/8 - ((-10)/8 + 1)?
True
Let i(b) = 17*b - 4. Is 23 a factor of i(7)?
True
Suppose 11 = k - 2*l, 3*k + 0*l - 21 = 3*l. Let x(y) = -y**3 - 3*y**2 - y + 1. Let g be x(-2). Does 15 divide (k/2)/(g/(-10))?
True
Let d(z) = 206*z**2 - 1. Is 23 a factor of d(-1)?
False
Let d(t) = 7*t**2 - 3*t - 6. Let x be d(-4). Suppose -4*i + x = 38. Is i a multiple of 8?
False
Suppose 0 = -2*k + 2. Let v(y) be the second derivative of 5*y**4/3 - y**3/6 + y**2/2 - y. Does 10 divide v(k)?
True
Let q = -8 + 1. Let t = 4 + q. Let d = 6 + t. Is d a multiple of 2?
False
Suppose 77 + 7 = 4*o. Does 20 divide o?
False
Let x(t) = 4 - 2 + 5*t - 4*t. Let z be x(0). Suppose -20 = -z*l - 4*y, -2*y + y = 5*l - 50. Does 10 divide l?
True
Let a be 6/9 - 26/(-6). Let q = 4 + a. Suppose 0*c - c = -q. Is 5 a factor of c?
False
Suppose 0 = -2*f + 19*h - 14*h + 161, 299 = 3*f + 4*h. Does 24 divide f?
False
Suppose 2*k = 4*i - 36, -13 = -i - 2*k - 4. Is 9 a factor of i?
True
Suppose -3*p + 77 = -4. Is p a multiple of 9?
True
Let i be (-75)/(-20) - (-1)/4. Suppose 2*r = 3*r + 2, i*d = r + 46. Suppose -v + d = 5. Is v a multiple of 3?
True
Let a(i) = 6*i + 4. Let z be a(4). Suppose q - z = -11. Does 7 divide q?
False
Let n(i) = 3*i + 3. Let m(x) = -3*x - 4. Let j(t) = -4*m(t) - 5*n(t). Does 5 divide j(-3)?
True
Let y(m) = 2*m**2 + m + 5. Let i be y(-7). Let b(t) = t**2 - 6*t + 7. Let x be b(5). Suppose i = 3*k - 3*f, -x*k - 5*f = -5*k + 104. Is 9 a factor of k?
False
Let f(y) = y**3 + 5*y**2 + 5*y - 5. Let c be f(-5). Let n be ((-1)/(-2))/((-5)/c). Suppose 0 = -n*l + 78 - 9. Is 9 a factor of l?
False
Let n = -1 - -13. Suppose -4*t = -3*t - n. Is t a multiple of 6?
True
Is 2 a factor of (1 - 0)/((20/150)/2)?
False
Let x = 70 - 62. Is x even?
True
Suppose 4*s - 137 = 35. Suppose 5*x - s - 12 = 0. Does 11 divide x?
True
Let m(q) = -1 + 3 + 2*q + 2*q. Is 14 a factor of m(9)?
False
Let o(n) = 2*n**2 + 2*n + 5. Let v be o(-9). Suppose g = -4*y + v, -117 = -3*y + g - 0*g. Is y a multiple of 19?
True
Let v be ((-8)/10 + -1)*-5. Suppose 3*w + v = 0, k - w - w + 51 = 0. Let b = k + 82. Is b a multiple of 16?
False
Let o be -1 + 5 + (10 - 12). Let z(w) = 8*w**3 - 4*w**2 + 4*w - 4. Is 14 a factor of z(o)?
False
Let f = -21 + 41. Suppose -3*x + f = -67. Does 12 divide x?
False
Let r be (3/(6/(-2)))/(-1). Does 3 divide -1 - -12 - -1*r?
True
Suppose -5*g = -3*v + 42, -61 = -4*v + g - 22. Is v a multiple of 6?
False
Suppose -2*s - 3*s = -30. Suppose s*n - 4*n = 6. Does 10 divide 2/n + (-98)/(-6)?
False
Suppose -5*v = -96 - 129. Does 15 divide v?
True
Let q be ((-18)/(-5))/(21/(-140)). Let d = q - -28. Does 4 divide d?
True
Let l be 6*(9/(-6))/(-3). Does 5 divide 2 + 9 + l + -5?
False
Let w(h) = h**2 - 6*h + 3. Suppose 2*f - 5*k - 15 = 0, -4*f - 4*k + 0*k + 16 = 0. Let n be w(f). Is (12 - (n + 0))/2 a multiple of 4?
False
Let w = 104 + -62. Does 7 divide (w/4)/((-8)/(-16))?
True
Suppose 3*p - 8 = p. Let n be (-1 - 1)*(-10)/p. Suppose -d = -3*k - 8, n*d + 5*k - 32 = d. Does 6 divide d?
False
Let t(u) = u**3 + 5*u**2 + 4*u - 2. Let d be t(-4). Let c be -2 - (-2 - d) - -4. Let b(i) = i**2 + 2*i - 3. Is 2 a factor of b(c)?
False
Let n(w) = w**2 - 7*w + 3. Let p be n(7). Suppose p*c = c + 8. Suppose -5*r = 4*j + 5, -j - c*r - 40 = -5*j. Does 5 divide j?
True
Let n(v) = 2*v + 4. Let y = 0 - -5. Does 10 divide n(y)?
False
Let x(g) = 19*g**2. Let n be (-16)/4 + 1*2. Let y be ((-6)/4*n)/3. Is 14 a factor of x(y)?
False
Let d(q) = 5*q**2 + 4*q - 4. Is d(6) a multiple of 24?
False
Let b(n) be the first derivative of 1/3*n**3 - 2 + 8*n + 5*n**2. Does 8 divide b(-10)?
True
Let a = 2 - 4. Is 11 a factor of (-12)/9*33/a?
True
Let k be ((-6)/12)/((-1)/8). Suppose p + k*z = 28, 3*p - 4*p + 3*z = -28. Is 14 a factor of p?
True
Let b = 24 + -6. Suppose 2*q = b + 6. Is 6 a factor of q?
True
Suppose -9*l = 318 - 1182. Is 8 a factor of l?
True
Let o = -52 - -40. Suppose -2*i + q - 46 = -q, 4*q = -i - 8. Let l = o - i. Is 8 a factor of l?
True
Let k(r) = -r**2 + 5*r**2 - 2 - 5*r**2 - 3*r**3. Let w(u) = -u**3 + u. Let p(x) = 2*k(x) - 4*w(x). Is 20 a factor of p(-3)?
False
Suppose 0 = 2*s - 77 - 43. Is s a multiple of 12?
True
Suppose -11 = m - 3*i - 4, -m = 3*i - 11. Let a(c) = 3*c**3 + 2*c**2 - 1. Let x be a(1). Suppose -x*k + m = -150. Does 17 divide k?
False
Let h be -2 + -1 + (-2 - -12). Let b = h + 24. Is 14 a factor of b?
False
Let g(n) be the first derivative of n**4/4 + 3*n**3 + n**2 + 11*n + 5. Does 19 divide g(-8)?
False
Let o(l) = -30*l - 5. Does 32 divide o(-4)?
False
Suppose m = -3*a - 0*a + 49, 79 = 5*a - m. Does 8 divide a?
True
Let m(i) = i**3 - 14*i**2 + 22*i - 16. Does 10 divide m(13)?
False
Let k = -16 - -10. Let d = k - 