 d(i) = -i**2 - 10*i - 6. Let m be d(-6). Let v(k) = -k**3 - 6*k**2 - 2*k - 8. Let y be v(-6). Suppose 0 = -f + m - y. Is f a prime number?
False
Is (-183)/(-9) - 6/(-9) composite?
True
Suppose 0 = -0*s - 2*s - 16. Let m be (s/(-6) + 0)*3. Suppose 0 = -n + m*n - 201. Is n a composite number?
False
Let q(v) = -160*v + 5. Is q(-8) a prime number?
False
Let d(c) = 2*c - 10. Let h be d(7). Suppose 0 = -g - h*g + 70. Is g prime?
False
Let z = 618 + -380. Let u = z + -77. Is u prime?
False
Suppose 0 = -2*w + 15 - 3. Suppose w*h - 290 = 4*h. Is h a composite number?
True
Is (-94*(-3)/(-12) - 0)*-14 composite?
True
Suppose -3*h - 200 = -4*s, 0*h - 143 = -3*s + 4*h. Is s a composite number?
False
Let s(z) = 2*z**2 + 4*z + 2. Let f be s(-2). Suppose 2*d = -d + 12. Suppose 0 = -f*k + d*o - 1 + 27, -15 = -5*o. Is k prime?
True
Let l(b) be the first derivative of b**4/4 - 4*b**3/3 - 4*b**2 - 5*b - 3. Suppose 0 = 4*a - 10 - 14. Is l(a) a composite number?
False
Is 14*((-1431)/6)/(-9) a prime number?
False
Let s = 0 - -2. Suppose -s*w = w - 3. Suppose 0 = r - 9 - w. Is r a prime number?
False
Let i(k) = -16*k**3 - k**2 - k - 1. Let y be i(-1). Let h(m) = -m**3 + 18*m**2 + 3*m + 1. Is h(y) prime?
False
Suppose -5*i = -3*q - 2089, 5*i - i - 1674 = q. Is i composite?
False
Let t(i) = -i**3 + 6*i**2 + 8*i - 4. Let j be t(7). Suppose -3*y + 108 = 3*c, 3*y - 2*c + j*c = 106. Is y prime?
False
Suppose -2*h + 2 + 0 = -2*k, 4*k = -5*h - 4. Suppose 2*o + 4*u - 2 = 0, h*u = -4*o - 2*u + 10. Suppose 79 + 20 = o*p. Is p composite?
True
Is (3 - 2)*3 + 152 a prime number?
False
Let z(n) = -n**3 + 11*n**2 - 8*n - 14. Let r be z(10). Suppose 3*g + 6 = 5*l, -l - r = -3*g - 0*g. Is l a prime number?
True
Let m be ((-248)/4)/(3 + -1). Let i = m - -68. Is i prime?
True
Let k(a) = a**2 - a. Let d be k(-4). Let q = d - 29. Is (-192)/q - 2/(-3) composite?
True
Let r(q) = 2*q + 12. Let m be r(-6). Suppose 2*x = -3*x + 4110. Suppose -5*c - 4*k + x = 0, 2*k + 170 = c - m*c. Is c composite?
True
Suppose 0*s = -2*n - s + 538, 0 = -5*n - 5*s + 1335. Is n prime?
True
Suppose 342 = 2*f + f. Let h = f - 17. Is h composite?
False
Suppose -4*h + 4*m = 16, -2*h - 5*m + 18 + 2 = 0. Suppose -5*f - 2*u - u + 1230 = h, 0 = 3*f + 2*u - 737. Is f prime?
False
Let m = 6 - 5. Is (-462)/3*m/(-2) a prime number?
False
Suppose 0*y = 2*y + 542. Let j = y - -398. Is j prime?
True
Suppose 9326 = 4*i + 3*u - 0*u, 0 = -2*i - 5*u + 4656. Is i composite?
False
Suppose -p = 6*p - 6937. Is p a prime number?
True
Suppose 0 = 4*y - 5*y + 10. Let q = y - 16. Is (-7)/(-21) + (-388)/q a prime number?
False
Suppose 0 = -4*d + 3*d + 381. Is d a composite number?
True
Let q(z) = -8*z - 4. Let r be q(-7). Let p(c) = -c**3 + c**2 + 5*c - 6. Let u be p(-5). Let v = u - r. Is v a composite number?
False
Is 38385/60*(-8)/(-6) a prime number?
True
Let y(f) be the first derivative of f**4/4 - 2*f**3/3 + 2*f**2 - 5*f + 5. Is y(6) a composite number?
False
Suppose 3*d - 3*k = 1758, 0*d - 3*d + k = -1760. Is d a prime number?
True
Suppose -5*w + 5*o + 329 = -371, -w - 3*o = -124. Suppose 5*r = r + w. Is r composite?
True
Let l(f) = 4*f**2 - 4*f - 13. Is l(-4) prime?
True
Suppose 3 = v, -4*v = 4*b + 10 + 2. Let k(x) = 2*x**2 - 6*x - 15. Is k(b) a composite number?
True
Let j(f) be the second derivative of f**4/12 - f**3/2 - 5*f**2/2 - f. Suppose -3*s - 3*m + 9 = 0, 3*s - 2*s - 9 = m. Is j(s) composite?
False
Let m(z) = 42*z**2 - z + 2. Is m(1) composite?
False
Let x(t) = 12*t**2 - t + 2. Is x(-5) prime?
True
Suppose -3*s = s. Suppose -4*r + r + 114 = s. Suppose -3*l = -3*y + 114, -2*y - 4*l + r + 32 = 0. Is y composite?
False
Suppose -2 = n, -5*i - 2*n - 2*n = -1742. Suppose 0 = f - 3*f + 4*t + i, 5*t - 25 = 0. Is f a prime number?
False
Let q be (-10598)/(-10) + 5/25. Suppose -4*f = 104 - q. Is f composite?
False
Let t be (-12)/18*1*-3. Suppose t*l + 2 = 6. Is l + (0 - -2) + 18 a composite number?
True
Suppose 2*a + 15829 = 13*a. Is a a prime number?
True
Is 6407/15 - 6*6/270 prime?
False
Suppose 0*g + 5*g = 5305. Is g prime?
True
Let g = 103 - -8. Suppose 2*k - g = -k. Let q = k + -14. Is q a prime number?
True
Let y be -57 + 1 - (8 - 5). Let l = y - -208. Is l a composite number?
False
Let u be (2/4)/((-2)/(-8)). Let n be ((-2)/6)/(u/(-186)). Is (2 - n/3)*-3 prime?
False
Let y(q) = q**2 + 6*q + 1. Let r be y(-6). Let m = r - 1. Suppose 6*i - i - 185 = m. Is i a composite number?
False
Let h(o) = o + 5. Let m be h(0). Suppose 0*n = -m*n + 30. Is 3/n*22 + 0 composite?
False
Let x(r) = 392*r**3 - r**2. Is x(1) prime?
False
Let u be -2*(24/(-2))/3. Suppose 11 = 3*h - 2*j - 8, -h + j = -u. Suppose 4*b = -4*r, h*b - 4*r = -b + 24. Is b a prime number?
True
Suppose 973 = -0*w + 7*w. Is w composite?
False
Let o(m) = 3*m + 11. Is o(8) a composite number?
True
Let b = -40 + -5. Is (-125)/b + (-4)/(-18) a composite number?
False
Suppose -2*f + 4*f - j = 323, 0 = 5*j - 15. Is f prime?
True
Suppose 224 - 844 = -5*v + 3*s, 0 = -2*s - 10. Let f = v - -36. Is f a prime number?
True
Let w be -7 - -12 - (3 + 0). Let d(v) = -22*v**2 + 3*v + 3. Let k(f) = -22*f**2 + 4*f + 3. Let g(l) = -6*d(l) + 5*k(l). Is g(w) composite?
False
Let h = -9 + 6. Let w be h*(-6)/27*3. Is 26 + (-2)/(0 + w) prime?
False
Suppose 156 = 3*d - 597. Is d prime?
True
Suppose 0 = -o - 4, 0 = -6*d + d + 2*o + 1903. Is d a composite number?
False
Suppose 0 = 2*d - 4*d. Let c be (-2)/8 + (-34)/(-8). Let z = d + c. Is z a prime number?
False
Suppose -4 = -3*o + 4*k - 18, -5*k = 2*o - 29. Suppose 67 = o*j - 43. Is j a prime number?
False
Let z = 687 + -470. Is z a prime number?
False
Let y(i) = -2*i - 4. Let h(k) = -k**2 + k - 1. Let j be h(2). Let m be y(j). Suppose -m*f - 3*f + 105 = 0. Is f prime?
False
Let g be -13*(-3)/((-9)/(-21)). Let f be 5/(-20) + g/(-4). Is f/2*(-8 + 2) a prime number?
False
Suppose -3*u = 473 + 103. Is u/(-9) - (-2)/(-6) prime?
False
Let x(y) = y**2 + 2*y - 3. Let w be x(2). Let q be (-13)/(-3) + 8/12. Suppose 0 = -4*v - w*r + 82, -3*r = -5*v - q*r + 111. Is v composite?
False
Suppose -3*v + 1019 = 2*c, v - 110 - 899 = -2*c. Is c prime?
False
Suppose 0 = -4*d + 1 - 13. Let b be (1 - d)*(-4)/(-8). Suppose 0 = -2*q - 4*l + 14 - b, 0 = -5*l - 20. Is q a prime number?
False
Let k = 403 - 96. Suppose l - k = -5*a, -6*l - 4*a = -l - 1535. Is l prime?
True
Let t(g) = -72*g**2 - 2*g - 7. Let y be t(-5). Let j be y/(-6)*1*2. Suppose -j = -3*c - 4*v + 540, -4*v + 766 = 2*c. Is c a composite number?
False
Suppose 2*d = -1 - 1. Let x be (6/15)/(d/(-20)). Is 666/8 + (-2)/x prime?
True
Is ((-1)/3)/(1 - 944/942) composite?
False
Let k be -7*1/((-21)/6). Suppose 2*t = -10, 12 = k*m - 4*t - 110. Is m a prime number?
False
Let f = 43 + 59. Suppose -10*j = -7*j + 189. Let q = f + j. Is q a prime number?
False
Is -1 + (1 - (1 + -1)) - -263 prime?
True
Let x(k) = k**3 - 5*k**2 + 4*k + 4. Let h be (-1)/2 + (-52)/(-8). Let g(i) = -i**3 + 5*i**2 - 5*i - 4. Let c(v) = h*x(v) + 5*g(v). Is c(6) a composite number?
True
Suppose 4*z = -z + 285. Is z composite?
True
Let t(n) = 7*n**2 - 4*n - 22. Is t(-9) a prime number?
False
Let r = -7 - -8. Is 209 - 4/(-1 - r) a prime number?
True
Let u = 935 - 642. Is u a prime number?
True
Suppose -q - h - 26 = 2*h, -4*h = -q - 5. Let z = 21 - q. Is z composite?
True
Let v = 1008 + -523. Is v composite?
True
Let x = -5 + 37. Suppose 16 + 24 = 3*s - 5*u, 3*s = u + x. Is s a prime number?
False
Let x = 2 - 0. Suppose -2*r + 3*d = -35, -4*r + 16 = -3*r - x*d. Is r a composite number?
True
Suppose 4*o = 74 + 10. Let m be (14/o)/(2/153). Let s = -14 + m. Is s composite?
False
Suppose -3*p = -w + 45, -3*w + 119 = -2*p - 3*p. Let q = -23 + w. Is q composite?
True
Is (1747/5)/(4/20) prime?
True
Let a(p) = -p**3 - 6*p**2 + 4. Let i be a(-6). Let c(g) = 3*g - i - 1 - 10*g. Is c(-6) prime?
True
Let n(v) = -10*v**3 + 2*v**2 - 1. Let h be n(1). Let u be -1*3*(-6)/h. Is (-156)/(-7) + u/7 prime?
False
Let u be (0 + 1)/(5/35). Suppose 3*c - 5 - u = 0. Is c/10 - 443/(-5) a prime number?
True
Let c(h) = -h**3 + 6*h**2 - 1. Let f be (-40)/(-12)*(-12)/(-10). Is c(f) prime?
True
Let g(u) = 130*u**2 - 26*u - 15. Let m(t) = -87*t**2 + 17*t + 10. Let b(a) = -5*g(a) - 8*m(a). Is b(-3) prime?
False
Suppose 0 = 5*f + 4*g + 30, -2*f + 16 - 56 = -4*g. Suppose -2*s + 7 +