 Let f be o(-6). Let z(s) be the second derivative of 23*s**4/12 - 2*s**2 - 13*s. Is z(f) composite?
True
Let s(v) = v**2 - 4*v + 7. Let m = -33 - -49. Let n = 26 - m. Is s(n) a composite number?
False
Let d = -192 + 135. Let f = d + 176. Is f a prime number?
False
Suppose 5*j - 703 = 312. Let l = -106 + j. Is l a composite number?
False
Suppose -27*q - 67357 = -202924. Is q composite?
False
Suppose 2363 + 2895 = 2*h + r, 4*r = 3*h - 7909. Is h prime?
False
Let t = 95 + 892. Let p = 1559 - t. Suppose -2*g = 2*g - p. Is g a composite number?
True
Let o = -926 - -571. Is 8/(-2) - o - -4 a composite number?
True
Let z = -1989 - -7940. Is z composite?
True
Suppose 32 = -j + 5*j. Suppose 0 = j*u - 2*u - 2382. Is u composite?
False
Let t = 4147 - 2886. Is t composite?
True
Let k(l) = l**3 - 9*l**2 + 9*l + 2. Let u be k(8). Let v(i) = 2*i**3 - 17*i**2 - 6*i - 3. Is v(u) prime?
False
Let m be (-3 - 27/(-12))*-1184. Let r = m - 130. Let c = -507 + r. Is c a prime number?
True
Let t be (3 - 0) + (1 - 1). Is ((-328)/20)/(t/(-195)) + 1 composite?
True
Let p(f) = 103*f**3 - 3*f**2 + 3. Is p(4) a composite number?
False
Let y(l) = -l + 3. Let a be y(-1). Suppose 0 = -a*g - w + 10440, -g + 2*w = g - 5210. Is g a prime number?
True
Let x(n) = n**2 + 73. Let z be x(0). Suppose -z = -6*a + 137. Is a a prime number?
False
Let i(x) = 2*x - 12. Let b be i(8). Suppose -5*f = 4*s - b, 2 = 2*f + f + 2*s. Suppose 209 = -f*u + u. Is u composite?
True
Let h(j) = 8732*j - 565. Is h(7) composite?
True
Is ((-105864)/9 - -5)/((-5)/15) a composite number?
True
Suppose b = -4*b - 5360. Let n = b - -1951. Is n a prime number?
False
Let j(h) = 21*h**2 - h - 31. Let q be j(13). Suppose -5*y + q = -0*y. Is y composite?
False
Let t = -9346 - -15017. Is t a prime number?
False
Is (2 + 0)/(222600/(-111307) + 2) composite?
False
Let t(l) = -39*l**3 + 2*l**2 + 2*l + 6. Suppose 15 = 3*n + 6. Let m be t(n). Is m/(-22)*(-4)/(-3) a prime number?
False
Let i(k) = 10*k**3 + k**2 + 1. Let n(a) = -a**3 + a + 1. Let l(p) = -i(p) + 2*n(p). Is l(-2) prime?
True
Let s(a) = a**3 - 5*a**2 + 5*a + 4. Let t be s(4). Suppose 3*y = n + 12, 2*y = -n + y + t. Let k(c) = 7*c**2 + c + 1. Is k(n) a prime number?
True
Let g(q) = q**3 - 21*q**2 - q + 181. Is g(30) composite?
True
Suppose 8*i = i + 5943. Suppose -215 = -d + 4*g, 4*d - i = 4*g + g. Is d composite?
False
Let u(z) = -2551*z + 317. Is u(-6) composite?
True
Suppose 27*u = 9*u + 12438. Is u prime?
True
Suppose -2*y + 95489 = -5*f, y - 6*y = -2*f - 238691. Is y prime?
True
Suppose 0*r - 4*r + 16 = 0. Is r/(-10) + (-59562)/(-30) prime?
False
Suppose 3*r - 8344 = -5*r. Is r a prime number?
False
Let c(m) = m**3 + 13*m**2 - 7*m - 12. Let t be 3 - 70/(10 + -5). Is c(t) composite?
False
Let k(g) = 2 - 4 + 403*g + 1000*g + 4. Is k(3) a prime number?
True
Suppose 4*z - 2 = 3*z. Let h = -52 + 57. Suppose -3*u + 2*c = -301, z*u = -3*u + h*c + 495. Is u composite?
False
Suppose -4*h + 28 = -3*o, -15 = 4*o + 1. Suppose -h*z - 374 = -j + 1007, 3*j + 3*z - 4203 = 0. Is j prime?
False
Is (2 + (-14379)/15)*(7 + -12) composite?
False
Let r(p) = 91*p**3 - 2*p**2 + 2*p. Let l(z) = -z**2 + 3*z**3 + 9*z**3 - 1 - 11*z**3. Let i(h) = 2*l(h) - r(h). Is i(-1) a composite number?
False
Let b(m) = -4*m + 1. Let l(h) = h. Let g(q) = -b(q) - 5*l(q). Let y be g(-6). Is y/20 + (-662)/(-8) composite?
False
Suppose -26 = -4*q + 2*q - 2*w, -q = -3*w + 3. Let j = q + -44. Is 6/(-21) - 115/j prime?
True
Suppose 0 = -4*c + 3*a - 260, 3*a + a = c + 78. Let i = -42 - c. Suppose 3*t = 91 + i. Is t a composite number?
False
Let t = -3138 - -5870. Suppose 0 = -9*c - t + 16565. Is c composite?
True
Let y = 10 - 1. Let p(s) = s**2 - 10*s + 2. Let q be p(y). Is (q/2)/((-6)/12) a prime number?
True
Let i = -1253 + 2770. Suppose -9*a = -i - 310. Is a composite?
True
Let c = 39 - 38. Is c + (-2 - -1) - -1135 composite?
True
Suppose 3*r - 2*t = 7, -2*r + 4 + 4 = 2*t. Suppose r*g - b - 3618 = 2*b, 2427 = 2*g + b. Is g a prime number?
False
Let x(u) = -2*u**2 + 9*u + 9. Let n be x(-6). Let a = n + 564. Is a a prime number?
False
Let z(a) = -10*a + 9 - 2*a - 4 - a**2. Is z(-8) composite?
False
Let a = 2026 - 551. Let x = a + -637. Is x prime?
False
Let x(t) = -t**2 + 6*t - 1. Let r be x(5). Suppose -5*h = -2345 + 90. Suppose 0 = 3*w + 15, 5*b - r*w + 46 - h = 0. Is b a composite number?
True
Suppose -16*m + 143814 = -146090. Is m composite?
False
Let u(v) = 623*v - 27. Is u(2) a composite number?
True
Let g(f) = 12*f**2 + 15*f + 22. Let k be g(-3). Suppose 2*b - b - 2369 = 0. Suppose 4*m + k = b. Is m a prime number?
True
Is (24/(-9) - -3)/((-1)/(-34791)) a composite number?
False
Let m = 140513 - 82222. Is m a prime number?
False
Is 1*(-2 + 1859) + (-3)/(-3) a prime number?
False
Suppose 0 = -10*c + 44719 - 4829. Is c a prime number?
True
Let w(g) = -2087*g + 8. Is w(-1) composite?
True
Let d(f) = 78*f**3 - 19*f**2 + 11*f - 5. Is d(11) a prime number?
False
Is 1*(9 - (10 + -46440)) prime?
True
Suppose -1210 = -15*o + 4*o. Let a(n) = n**3 + 4*n**2 + 5*n - 7. Let l be a(-5). Let k = l + o. Is k a composite number?
False
Let l = -62 + 35. Let r(m) = m + 12. Let f be r(-8). Is (-1)/(f/8) - l composite?
True
Suppose 106*x - 102*x + 8 = 0. Is (-8)/16 - 4299/x prime?
False
Let c(u) = -1 - 9*u - 6*u**2 + 15*u**2 - u**3 - 6. Let n be c(8). Let r = -2 - n. Is r a composite number?
False
Let a be (-313)/(-4) + 33/44. Let d = a - -150. Let h = d + -162. Is h composite?
False
Suppose 0 = 10*f - 14*f - 2*q + 26920, f = -4*q + 6723. Is f a composite number?
True
Suppose -4*t - 9*q = -4*q - 45, 0 = -t - 5*q + 15. Suppose 0 = -3*r + 46 + 14. Is (-4)/r + 1272/t a prime number?
True
Suppose 10 - 35 = -5*o. Suppose 656 = o*u - 0*u + 4*i, 248 = 2*u - 2*i. Suppose 2*h = 2*j + u, 3*j + 23 - 176 = -2*h. Is h a prime number?
False
Let m(i) = -4*i**3 + 12*i**2 - 4*i + 14. Let r(t) = 11*t**3 - 35*t**2 + 13*t - 41. Let w(a) = 8*m(a) + 3*r(a). Is w(10) a composite number?
True
Is (-2 - (-3)/6) + (-60305)/(-10) a composite number?
False
Let g = -16 - -359. Suppose 5*c - 4*h - 579 = 0, 3*c + 2*h - g = -0*h. Is c composite?
True
Suppose 34*l = 4160 + 11106. Is l composite?
False
Is 14201/2 - (-5)/2 composite?
False
Suppose 6*b - 3*b = 15. Let u be (2 + 42/(-15))*b. Is (-13 + 15)*(-26)/u a prime number?
True
Suppose 49 = 5*i - 16. Let b(x) be the second derivative of 11*x**3/6 - 5*x**2 - 134*x. Is b(i) prime?
False
Let u(s) = -65*s**2 + 2*s + 6. Let p be u(-8). Let f = -1943 - p. Is f a prime number?
False
Suppose 0*y = y. Suppose -57260 = 3*q + 4*d, -q - 2*q - d - 57245 = y. Is q/(-16) - 1/(-2) a composite number?
False
Let v(m) be the first derivative of -m**4/2 + 3*m**3 + m**2 + 5*m + 18. Is v(-6) composite?
True
Let j(v) = 941*v + 55 - 29 - 29. Is j(4) composite?
False
Suppose -64*n + 100802 + 470270 = 0. Is n a composite number?
False
Suppose 0 = 78*p - 3318469 - 269141. Is p a prime number?
False
Suppose -w - 3*w + 16 = 0. Suppose -183 - 989 = -w*h. Is h prime?
True
Suppose -5*u + 11039 = 3*i, 0*u + 4*i + 4400 = 2*u. Suppose 0*t = -t - u. Let x = 3357 + t. Is x composite?
False
Let w = -22 + 7. Is ((-514)/3)/(10/w) a composite number?
False
Let x(b) = -2906*b - 3. Is x(-2) a prime number?
False
Suppose 31*z - 25206 = 25*z. Is z a prime number?
True
Let s = -25 + 32. Suppose -s*n + 4*n - 375 = 0. Let f = n - -208. Is f prime?
True
Let l(j) = 504*j**2 - 6*j - 73. Is l(-8) composite?
True
Suppose -7 - 13 = -2*q. Is (-4886)/(-6) + q/15 prime?
False
Let f(x) be the third derivative of 97*x**5/60 + x**4/6 - x**3/2 + 2*x**2 + 3*x. Let b(c) = c**3 - c**2 - c + 2. Let v be b(0). Is f(v) a composite number?
True
Suppose 0*s = -7*s + 17591. Is s a composite number?
True
Suppose 27 = -5*u + 2*c, -3*u = -3*c + 3 + 6. Let o(m) = -7*m - 8. Let v be o(u). Let i = v - 16. Is i prime?
False
Let f = -17 + 119. Let d(z) = -z**2 - 15*z - 9. Let p be d(-14). Suppose 4*o - 2*s - f = 0, p*s - 70 = -3*o - 0*o. Is o a composite number?
True
Let j be (-2 - -6) + 4 - -4. Let u be 6/j*(-2 - -5796). Suppose 0 = -5*f - 4*i + u, f + f = i + 1164. Is f composite?
True
Let z = -2018 + 27115. Is z composite?
False
Suppose -4*p - 13050 + 44650 = 2*b, 3*p - b - 23705 = 0. Is p prime?
True
Suppose -5*d - 3*j + 662 = 0, 396 = 3*d + j + 2*j. Let b be (-9)/((-5