m = 2*t + 2*m + 8. Suppose -t*n - 312 = -0*n. Let f = 457 - n. Is f prime?
True
Let l = -1405014 + 2053577. Is l prime?
True
Let j(g) = 19994*g**3 + 7*g**2 - 9*g - 1. Is j(3) a composite number?
True
Let i = -1173 + 21766. Is i a composite number?
False
Let w(n) = -330*n**3 - 8*n**2 - 6*n - 11. Let u be 8/(1/2*-4). Is w(u) a prime number?
False
Suppose -3837637 = 34*g - 1808566 - 15888389. Is g prime?
False
Suppose 1693 + 4493 = 3*p + 2*h, -5*h - 6207 = -3*p. Let c = p + -6441. Let m = -2084 - c. Is m prime?
True
Suppose 278724 + 156618 - 142458 = 12*n. Is n composite?
False
Is ((-6)/12)/((-12)/412696*(-2)/(-6)) composite?
True
Suppose 36515 = 2*s - 7779. Is s a prime number?
True
Let f(x) = 4*x + 9. Let d be f(-3). Let g(i) = 505*i**2 + 10*i + 32. Is g(d) composite?
False
Suppose -2*a - 4*d + 0*d + 17296 = 0, 5*a - d = 43262. Let r = a + -3043. Is r a composite number?
True
Let k(a) be the second derivative of 61*a**5/5 + a**4/12 - 2*a**3/3 - 5*a**2/2 - 110*a. Is k(2) a prime number?
False
Is (10120461/26)/(108/72) composite?
False
Let h = -4114 - -2672. Let l = 4513 + h. Is l composite?
True
Let j = 155 + -155. Suppose i - 3*t - 14261 = -2302, j = -3*t. Is i composite?
False
Suppose 0 = 8*z - 6*z - 4*t - 54, -z = t - 18. Suppose -44482 = z*h - 154963. Is h composite?
False
Suppose -j = 2*n - 37, -5*j = 4*n - 19 - 40. Let s be 38*(n/12)/7*394. Suppose -2*f + s = 2*h + h, -4*f + 7477 = 3*h. Is f a composite number?
False
Let f(k) be the third derivative of 3764*k**5/15 + k**4/24 + 17*k**2 - k. Is f(-1) prime?
False
Is 6 - (117/52 - 2)/(1/(-235748)) a prime number?
True
Suppose r = -5*r + 72. Suppose u + 4*k = r, -3*u - 2*k + 0 + 6 = 0. Suppose -5*c + 1916 = 4*t, -5*t + u*c + c + 2395 = 0. Is t composite?
False
Suppose 2*i - 2 = 5*c, 2*c - 12 = -i + 5*i. Let g(x) = -6*x**2 - 11*x**3 - x**3 - 6*x - 3 - 2. Is g(i) a composite number?
False
Suppose -b = 4*b. Suppose 0 = 17*v - b*v - 104771. Is v prime?
True
Let y be (-13 - -11)*(-1)/(-6)*3. Let u(x) = 36028*x**2 + 16*x + 17. Is u(y) a prime number?
False
Let y be ((-18)/15)/(((-16)/10)/4). Let f(r) = -3*r**2 - 7 - 51*r**3 - 63*r + 64*r + y*r**3. Is f(-3) a composite number?
False
Suppose 49*k = 2803744 + 8157507. Is k prime?
False
Let l(p) = 10905*p - 575. Is l(4) a prime number?
False
Suppose -3*i - 299 = -1727. Let t(p) = -p**3 - 13*p**2 - p - 16. Let q be t(-13). Is (-5 - i)*(q + 2) a composite number?
True
Let s = 33 + -33. Suppose -2*q + 4*q - 166 = 4*k, s = 2*k - 5*q + 63. Is (-3006)/(-14) + k/(-7) + -6 a composite number?
True
Suppose -27552 = 62*q - 74*q. Let j = -1305 + q. Is j composite?
False
Suppose -3*j - 2557 = -p, 15*p = 11*p + 5*j + 10172. Let n = -3475 - -2407. Let l = n + p. Is l a prime number?
False
Let g(t) = 1. Let p(z) = -51 - 337*z - 36 - 47*z + 63. Let f(j) = 3*g(j) - p(j). Is f(4) prime?
False
Let v(z) = 120*z**2 - 28*z + 27. Let f be 35/(7 - 2) + 4. Is v(f) composite?
True
Let f = 28922 - 19789. Suppose -2101 + f = 8*h. Is h prime?
False
Let b(k) = 2*k**3 - 5*k**2 - 5*k - 16. Let s be b(8). Let f = s + -449. Suppose f = 4*l - 3*n - 811, -4 = 2*n. Is l composite?
False
Let n(x) be the third derivative of x**5/60 - x**4/24 - x**3/6 + 4*x**2. Let f(r) = 5*r**2 - 6*r + 20. Let s(h) = f(h) + 4*n(h). Is s(5) a composite number?
False
Let x = 4262 + 8397. Is x a composite number?
False
Is 3 - 0 - (-21554 - 0/24) prime?
True
Suppose -12*o = -7499 + 20987. Is 7 - (o + 3) - 5/1 composite?
False
Let p(o) = -o**3 + 15*o**2 - 18*o - 4. Let u be p(15). Let i = u - -500. Is i composite?
True
Suppose 21*w - 91 = 14. Suppose -5*o + 62825 = w*t, -5*o - 12 = 8. Is t a prime number?
True
Let a(n) = n - 1. Let r be a(2). Let d be (-30)/(r/(3/(-6))). Suppose -d*p = -19*p + 4456. Is p a prime number?
False
Let t = 80979 - 47159. Let s = 53379 - t. Is s a composite number?
False
Suppose -7*n - 48852 = -113391 - 447938. Is n prime?
False
Let d be 67/13 + 6/(-39). Let c(q) = -q**3 + 5*q**2 - 4*q - 1. Let k be c(3). Suppose -k*g = p - 1284 - 1064, 2342 = d*g - p. Is g a composite number?
True
Let j = -27802 - -47369. Is j a prime number?
False
Suppose -4*c - 4*a - 17 = -33, -4*a = -4*c + 24. Suppose 46272 + 234703 = c*r. Is r composite?
True
Is 119126 + 1 + -4 + 12 composite?
True
Let i = 219101 - 19354. Is i composite?
True
Is 0 + -13 - (-29 - 14583) prime?
False
Is -3053290*7/(-14) - 12*(-8)/12 a composite number?
False
Let j(o) = -229*o**3 + 9*o**2 + 3*o - 8. Let i be 2/4*(-11 + 2 + 3). Is j(i) a prime number?
True
Let y = 262732 + -175193. Is y a prime number?
True
Suppose 7*i - 35213 - 15418 = 0. Is i composite?
True
Let i be 2*(-63567)/6*(-3)/(-9). Let d = -2910 - i. Is d a prime number?
True
Let l = -2460 - -1099. Is (l/(-2))/(2/4) composite?
False
Suppose g - 26 = -4*j - j, 23 = 5*j - 2*g. Suppose 0 = j*o + p - 3*p - 2009, 5*o = 4*p + 2003. Let f = -218 + o. Is f a prime number?
False
Let q(p) be the third derivative of 161*p**5/60 + 35*p**4/24 - 5*p**3/6 + 173*p**2. Is q(-9) prime?
True
Let c(k) = -2*k**3 + 24*k**2 - k + 12. Let r be c(12). Is (r - -1)*((-6 - -3) + 1000) prime?
True
Let b be ((21/(-9))/7)/((-3)/(-18)). Is 0 + b/4 + (-45101)/(-14) composite?
False
Suppose 4*w = 7*r - 3*r - 1704, -5*r = w + 408. Let f = 1096 + w. Is f a composite number?
False
Let b(c) = -13 + 37*c**2 - 33 + 35 + 72*c - c**3. Is b(34) composite?
True
Suppose 10*o - 6*o = -4. Is -278422*o/38 + 4/38 composite?
True
Let m be (6 + 116696/(-24))*-3. Let h = m - 8862. Is h a composite number?
True
Let j be 5259 - (-4)/3*(-21)/14. Suppose -j = -6*s - 1327. Is s composite?
True
Suppose 82*x - 81*x - 3 = 0. Suppose -x*y + 188 = -85. Is y composite?
True
Let f(c) = -c**3 + 3*c**2 + 6*c + 88. Let m(o) = 4*o**3 - 10*o**2 - 17*o - 309. Let s(u) = 7*f(u) + 2*m(u). Let k = 24 - 17. Is s(k) a prime number?
False
Let w(a) = 81461*a + 2761. Is w(6) prime?
True
Suppose 0 = 3*w - 2*p + 6, 0 = w - 6*w - 3*p - 29. Let x(t) = -1000*t + 7. Is x(w) prime?
True
Is (2936565/(-36))/((-26)/104) a composite number?
True
Suppose 17*a - 1 = 33. Suppose 0 = 4*j + a*q - 2920, -5*j + 3716 = 3*q + 67. Is j a composite number?
True
Let y = 59 - 45. Let x(b) = 4*b**2 + 9 - 3*b**2 + 5*b**2 - 41*b + 58*b. Is x(y) composite?
False
Let i = 44 + 20. Suppose i*q = 67*q - 16617. Is q a prime number?
False
Let v(m) = 22*m + 11. Let f be v(-4). Let s be (f/14 + 6)*3*2. Suppose a + s*l = 413, -a - 3*l = 2*l - 409. Is a a prime number?
True
Let w(s) = 416*s**2 + 10*s + 111. Is w(-25) a composite number?
True
Suppose -4*d = 5*u + 84, -5*u - 28 = 2*d - 6*u. Is ((-12)/d)/(2/1192) composite?
True
Let d(c) be the first derivative of 19*c**4/6 - c**3/3 + c**2/2 + 12*c - 9. Let j(z) be the first derivative of d(z). Is j(3) composite?
False
Suppose 5*x + 4977 = -3*z - 277, z = -x - 1052. Let i = 1410 - x. Is i a prime number?
True
Is ((-3)/30*8)/(70/(-802025)) a composite number?
True
Let y = 975080 + -142771. Is y prime?
True
Is (-10694)/(958/(-106) - 27/(-3)) a composite number?
True
Let a(n) = n**2 - 3. Let u(q) = 3*q**2 - q - 7. Let k(y) = -5*a(y) + 2*u(y). Let z be k(2). Is (2 - -2 - 1127)*z/(-1) composite?
False
Suppose 0 = -8*j + 153 + 7. Suppose -y = 3*y - j. Suppose y*t - 150 = -4*k, 5*t + 15 = -k + 60. Is k a prime number?
False
Let f be 2 + 21/7 + -3. Suppose 0 = -j + k + 9223 - 1984, -f*j - 5*k + 14506 = 0. Is j prime?
True
Let h(s) = -259*s**3 - 6*s**2 - 34*s - 214. Is h(-13) a composite number?
False
Let o = -18312 - -27019. Let k = 15654 - o. Is k a composite number?
False
Is (-15)/21 + 1 - 8080722/(-126) prime?
False
Suppose -99*y + 46106 = 8882. Suppose -1 = -o, 0 = -4*n + o - 3*o + 14. Suppose 5*r = n*p - 971, 2*p - 4*r - 274 - y = 0. Is p composite?
False
Suppose -3*k - 2*p - 3*p = -75, -4*k + 89 = 3*p. Let v(s) be the second derivative of s**5/20 - 17*s**4/12 - 9*s**3/2 + 13*s**2/2 + 5*s + 2. Is v(k) prime?
True
Let b(h) = 36*h**2 - 531*h - 64. Is b(49) composite?
False
Let n(y) = -260*y + 4. Let z be n(4). Suppose 0*t - 10*t + 647 = 6137. Let b = t - z. Is b a composite number?
False
Let t(r) be the first derivative of r**3 + 9*r**2/2 - 7*r - 27. Let g be t(6). Suppose -g = 8*y - 3315. Is y a composite number?
True
Let n(c) = 3*c + 3. Let g be n(2). Suppose 0 = i + 3, 8 = -4*q - 3*i - g. Is (q/10*134)/((-14)/35) a prime number?
True
Let 