Suppose -z*r - 8133 = -9*r. Let u = -766 + r. Is u a composite number?
True
Let z = -12 - 13. Suppose 7*w - 91 = -889. Let a = z - w. Is a prime?
True
Is (4/(-2))/((-7)/(73787/2)) a composite number?
True
Let u be (6*4/36)/(3/54). Suppose 0 = -4*b + u, 2231 = 2*v - 0*v - 5*b. Is v a prime number?
True
Let n(y) = -345*y - 283*y - 2 - 891*y. Is n(-1) a prime number?
False
Suppose 143162 + 32178 = 44*a. Is a prime?
False
Let o = -13396 + 58962. Is o composite?
True
Is (11 - 92196712/(-120)) + (-1)/(-15) composite?
True
Let n(p) = p**2 + 9*p - 7. Let o be n(-10). Let v(l) = 9*l - 16. Let j be v(o). Suppose -j*w = -6711 - 8128. Is w prime?
False
Let p(j) = -3*j**3 + j**2 + 3*j + 2. Let s be p(-1). Suppose 0 = 4*m + s*t + 1289, -2*t + 456 + 178 = -2*m. Is ((-2)/2 - m) + 0 a prime number?
False
Suppose -331901 = -37*c + 1958658. Is c prime?
False
Let r = 5284453 - 3753786. Is r prime?
True
Suppose 8*t - 12*t - 164469 = -3*y, -5*t = y - 54842. Is y a composite number?
True
Let t be -1 + (-3)/(-6)*10. Let l(x) = x**2 - 2*x**2 + 1 + 10*x**2 + 5*x - 20. Is l(t) a composite number?
True
Suppose 0 = -q + 429*m - 434*m + 22002, -87928 = -4*q - 4*m. Is q prime?
True
Suppose -5*j = -n + 22416, -140*n + 22434 = -139*n + j. Is n a composite number?
True
Suppose -3*u - 20*i + 25*i = -91293, -2*u - i + 60849 = 0. Suppose -3*y - 4*a + 45689 = -0*a, 2*y - u = 4*a. Is y a composite number?
True
Suppose -5*d - 2*j = -23, 4*d - 4*j - 18 = -22. Is 6877/12 - d/(-36)*-1 a prime number?
False
Let k(z) = -3*z**2 + 8*z + 11. Suppose 2*q = 7*q + 45. Let t be k(q). Let d = t + 482. Is d composite?
True
Let v be (-2)/16*1 - 1915125/24. Let f = v - -114932. Is f a composite number?
True
Let f be 4/2 + 7 + (1 - 5). Is 1/((-4)/(-2476))*f prime?
False
Suppose 0 = -3*y - 2*g + 4*g + 341, 0 = 2*y - 3*g - 234. Let h(a) = -406*a - 26. Let c be h(-1). Suppose -y + c = z. Is z composite?
False
Let f(x) = x**3 + 10*x**2 - 4*x + 27. Let n be f(-10). Suppose 58*t = n*t - 22131. Is t a composite number?
False
Let y(a) = -35*a**2 + 14*a + 8. Let p(h) = h**2 - 2*h + 3. Let z(o) = -4*p(o) - y(o). Is z(9) prime?
True
Let s be ((22 + 2)/3)/((-1)/(-2)). Suppose 9*o = o + s. Suppose o*r - 379 - 95 = 0. Is r composite?
True
Let w = -39648 + 74933. Is w a prime number?
False
Suppose 0 = p - 2*f - 65, 2*p - 27 = 5*f + 106. Let k = p + 27. Let j = 63 + k. Is j composite?
False
Let i be 4/10 - 8624/(-40). Suppose -u = i + 53. Let x = u + 576. Is x a composite number?
False
Let u(i) = 780*i + 2. Let m be u(-11). Let v = 12773 + m. Is v a composite number?
True
Let j(c) = -10299*c**2 - 2*c + 1. Let i be j(-1). Is -1 - (i + -3) - 1 composite?
True
Suppose 304*g = 303*g - 342. Let a = -223 - g. Is a a composite number?
True
Let h(g) = 1853*g**2 - 3. Let k be h(-5). Let x = k + -30505. Is x prime?
True
Let f(j) be the first derivative of 615*j**2/2 - 21*j + 1. Let z be f(17). Suppose -4*o + z = 2*y, -3 = 2*y - 1. Is o prime?
True
Let u(m) = 3194*m**2 + 129*m - 891. Is u(8) composite?
False
Let f(o) = 5*o**3 + 170*o**2 - 122*o - 1. Is f(20) a composite number?
True
Is (10 - 12) + (6 - -760572) + (-6)/2 a composite number?
True
Let i(r) = -54182*r + 217. Is i(-2) a composite number?
True
Is (16/(-48))/(2/(-1241958)) a prime number?
True
Let v be (-2)/(-22) + 11592/22. Let x(s) = -s**3 - 5*s**2 - 10*s + 8. Let l be x(-8). Let f = v - l. Is f composite?
True
Let f = 20151 + -11684. Is f a composite number?
False
Suppose 50*r - 7205952 = 14322598. Is r a composite number?
False
Let r be -14 + 32/6 + (-2)/6. Let t(a) = -7 - a**3 + 0*a - 7*a**2 + 2*a + 6*a. Is t(r) composite?
False
Let j = -9876 + 17235. Suppose -9*m + 2082 + j = 0. Is m a prime number?
True
Suppose -2*u = -82 - 108. Let f = u + -83. Suppose 22 = v + p, f*v + p = 7*v + 114. Is v prime?
True
Let z(f) = -5*f**2 - 37*f - 5. Let s be z(-7). Let t be s/81 + (1655/9 - -1). Suppose 0 = 3*h, -4*r - h = r - t. Is r composite?
False
Suppose 0*o = -10*o + 60. Let r(s) = s**2 + 1. Let f(c) = 4*c**3 - c**2 - 13*c + 1. Let m(t) = o*r(t) + f(t). Is m(8) a prime number?
False
Let j = 32937 - 20878. Suppose j = 7*p - 12378. Is p a composite number?
False
Suppose 0 = -36*i + 38*i - 6. Suppose 5*d + 15 = i*f, 2*d = 2*f - 0*d - 10. Suppose -t + 930 = f*t. Is t a composite number?
True
Suppose -4*c = -t - 19, 19 = -t + 2*c - 0*c. Let q = -12 - t. Let h(o) = 12*o**2 + 8*o + 23. Is h(q) a composite number?
True
Let v = 13 + 17. Let d be (-3)/(2/(-8)*v/(-18535)). Let i = -3635 - d. Is i composite?
False
Let r be 610/25 + (0 - 4/10). Suppose -4*a = -u + 4*u + 28, -2*a - r = -u. Let t(c) = -c**3 - 10*c**2 - 14*c - 9. Is t(a) composite?
False
Let m = 113 - 129. Let i be 4/18 - 222/27. Is ((-3346)/(-4))/(i/m) prime?
False
Let f(n) = -32 - 17 + 41 + 115*n**2 + 5*n. Is f(3) a composite number?
True
Let v(a) = 6*a**2 + 7*a - 17. Let p be v(-7). Let s be (3 - 25/2)/((-1)/p). Let r = s + -1379. Is r composite?
False
Let s(z) = z**3 + 14*z**2 - 5*z - 7. Let c(f) = f**3 + 29*f**2 - 9*f - 13. Let l(w) = -3*c(w) + 5*s(w). Let v be l(12). Let n = v - 705. Is n a prime number?
True
Let m(o) = -o**3 - o**2 + 3*o - 3. Let q(g) = -g**3 + 2*g - 2. Let w(k) = -2*m(k) + 3*q(k). Let r be w(0). Suppose r = -4*i - 177 + 2069. Is i prime?
False
Let u be -2 + (-4)/(-8)*(-3 + 1). Is 3/(u + 81990/27327) a prime number?
True
Suppose -3*w - j = -6*w + 12, 0 = 4*w + 3*j - 3. Suppose 2*s - 2240 = -c + 773, c = w*s + 3028. Is c composite?
False
Suppose 4351799 = 12*r - 2374849. Is r a composite number?
True
Let v be (8 + -3 + 2488)*5. Let y = v - 8288. Is y a composite number?
False
Is 608052/(-14)*1953/(-558) prime?
False
Let k(x) = x**3 + 75*x**2 + 149*x + 523. Is k(-72) a composite number?
False
Let v = -6 + 5. Suppose -32*z + 5*r = -34*z - 1743, 3*r = -3. Is (-4 - (v - 0)) + (3 - z) a prime number?
False
Suppose 36*g = 82867 + 4642097. Is g a composite number?
False
Let u(h) = 13334*h**2 - 42*h - 25. Is u(-3) composite?
True
Is 4*(-143)/(-44) + 284834 composite?
True
Let m(t) = 2*t**2 + 45*t - 7. Let b be m(14). Suppose 2*o = -h + b + 2882, 0 = 2*o + 10. Is h a composite number?
False
Let m = 1328 + -691. Let w = m + -369. Suppose -w - 352 = -4*b. Is b composite?
True
Suppose 322*k - 95212 = 318*k + 4*w, 0 = 5*k - 4*w - 119015. Is k prime?
False
Let k(j) = -2*j**3 + j**2 - 3*j - 2. Let d be 0 + 1 + (-4 - (-4 + 2)). Let a be k(d). Is a/(-7) - (-86785)/35 a prime number?
False
Let f(d) = -129*d + 40. Let s be f(4). Let c = s - -1117. Is c a prime number?
True
Suppose 3*n - 18 = -5*h + 11, 24 = 4*n + 3*h. Suppose 6*l - l + 5*c = 10165, -5*c - 6067 = -n*l. Is l a prime number?
True
Let n(f) = 14*f**3 + 5*f**2 + 13*f - 2. Let x be n(5). Is (-134)/(-3)*x/76 composite?
True
Suppose -14*i + 8*i = -42. Is (i - 0)*(7 + 570) a composite number?
True
Is ((-927603)/(-30))/(2943/(-270) + 11) composite?
True
Let q(i) = 4984*i**3 - 9*i**2 + 2. Is q(5) a composite number?
False
Suppose -27*y - 126 = -36*y. Let i(o) = -34*o**3 - o**2 + 2*o + 1. Let z be i(-2). Let h = z - y. Is h a composite number?
False
Let t(x) = 73*x**2 - 22*x - 62. Let l be t(-12). Let y = l - 5372. Is y a prime number?
False
Suppose -4*k + 428744 = 8*z, 5*z - 267935 = 143*k - 138*k. Is z a prime number?
True
Let c(k) = 79*k - 4. Let j(y) = y**3 + 42*y**2 + y + 77. Let p be j(-42). Is c(p) a composite number?
True
Suppose -5*k = 3*v - 0*k + 20, -4*k = -5*v + 16. Suppose v = o - 4*y - 11 + 3, 20 = 4*o - 4*y. Suppose 5*u - 1228 = -q - 0*q, o*q - 3*u - 4889 = 0. Is q prime?
True
Suppose -15 = 2*l + l. Let s(o) = 92*o - 35*o - 19*o - 21*o - 37*o - 13. Is s(l) composite?
True
Suppose 22370 - 1083 = 7*h. Let u = h + -1992. Is u a prime number?
True
Let k(v) = -956*v - 33. Is k(-10) a composite number?
True
Let t(n) = 289*n**2 - 3*n - 15. Let q be t(-2). Let i = q + -270. Is i a composite number?
False
Is 6/(-99) - 2051777067/(-3069) a prime number?
False
Suppose -5*g = -54 - 7301. Is g a composite number?
False
Let i(s) = 3789*s**2 + 53*s - 779. Is i(14) a composite number?
False
Suppose -3*v + 4*c + 34 = 0, 0 = -4*v - 5*c - 0*c + 4. Suppose -o + v*o + 5*u - 18790 = 0, -4*u + 7522 = 2*o. Is o composite?
True
Let i(j) = 77*j**2 - 9*j - 3. Let d be i(7). Let n = d - 888. Is n a prime number?
True
Suppose 2*h + 4*m - 205902 = 0, 4*m = 10 - 14. Is h 