Let r be k(9). Is 2084/6*18/r composite?
False
Let c = -2094 - -4071. Is ((-5)/((-15)/c))/1 a prime number?
True
Let h = 72350 + -48129. Is h a prime number?
False
Suppose 4*p - 28 = 5*j, -j = 4*p - 5*j - 24. Suppose -2*s = 3*q - 4*s - 6, -4*s = -3*q + 12. Suppose q = -5*y - l + 179, 132 = 4*y - 0*l - p*l. Is y prime?
False
Let p = -49 + 107. Let s = 11 - p. Let z = 32 - s. Is z a composite number?
False
Suppose -8*y + 20 = -4*y. Let q(v) = 154 - 157 + 39*v - 13*v. Is q(y) composite?
False
Suppose n - 3*t = 1769, -5*n + 1348 + 7442 = -4*t. Suppose 4*q = 5*s - n, s + q = -0*q + 358. Suppose -8*z + 6*z + s = 0. Is z composite?
True
Let a = -2 - -8. Let h(l) = -a*l - 2 + 9*l**2 + 11 - 4*l**3 - 2 + 5*l**3. Is h(-8) prime?
False
Let m(c) = c**2 + 1. Let u(o) = 177*o**2 - o + 3. Let r(y) = -5*m(y) + u(y). Is r(3) composite?
False
Let o(v) = -v**3 - 2*v**2 - 5*v - 20. Let n be o(-3). Let w = 7 - 4. Suppose -4*p - p - n*d + 143 = 0, 0 = -5*p + w*d + 164. Is p a prime number?
True
Let r be -3*(-1 + 2)*-1. Suppose -4*i + 5*z = -31, -21 = -r*i + 2*z + z. Suppose -3*o - 3*v + 384 = -i*v, -3*o - 3*v + 396 = 0. Is o a composite number?
True
Let m(x) = -372*x + 29. Suppose y = 2*y + 5. Is m(y) composite?
False
Suppose 3*t = -2*a + 3425, -a - 2*t + 5135 = 2*a. Is a a composite number?
True
Suppose -97609 = -131*j + 128*j - 4*r, -j = 4*r - 32547. Is j a prime number?
True
Let z be (-26)/(-78) + (3670/(-3) - -1). Let c = -117 - 314. Let f = c - z. Is f a prime number?
False
Let c = 2884 + -897. Is c composite?
False
Is 8924/(-8)*(-3 + 0 + 1) prime?
False
Suppose 188440 = 5*l + 3*l. Suppose 8*b = b + l. Is b a prime number?
False
Let j(t) = 23*t**2 - 3*t - 13. Let a(g) = g + g - 3 - 3*g. Let z be a(-8). Is j(z) composite?
False
Let y(s) = -3*s - 15. Let h be y(-7). Suppose n - 4*n - h = 0. Is (-213 + n)*(-2 + 1) prime?
False
Let t = 16678 - 11715. Is t prime?
False
Suppose 5*n - 2*q = -7096, 3*n - 3*q - q = -4252. Is (n/15)/((-6)/9*1) a prime number?
False
Suppose 10*s - 20369 - 4341 = 0. Is s a composite number?
True
Suppose -3*c - 3*c + 18 = 0. Suppose 3*f - f - 5*k = 2917, -4*k - 4365 = -c*f. Is f a prime number?
True
Suppose 0 = -b + 3*b - 932. Suppose -3*d + b = 5*z - 1008, -3*z + 5*d = -864. Is z composite?
False
Let y = -11 - -13. Let j(s) = -10 - y*s + 31*s**2 + s**3 - 4 - 28*s**2. Is j(6) prime?
False
Let i = 1609 + 342. Is i composite?
False
Let b(j) = 4942*j**2 - 32*j + 7. Is b(3) composite?
False
Suppose 0 = 2*f - 3 - 9. Let q = -120 - -173. Let p = f + q. Is p a prime number?
True
Suppose 0 = -18*i + 11*i - 3353. Let y = 1005 - i. Suppose 31*l - 27*l - y = 0. Is l a prime number?
False
Let i(z) = -140*z - 6. Let c be i(-6). Suppose 0*b - c = -6*b. Is b a composite number?
False
Let u(m) = 42*m**2 - 4*m + 7. Suppose 3*y - 9 = -3*w - 0*w, 0 = 5*w - 4*y - 24. Suppose 2*v + w = -2*i + 6, 2*v = -5*i - 4. Is u(v) a composite number?
False
Let l = -49089 - -91448. Is l a prime number?
True
Let z = 18 + -22. Let b = -1 - z. Suppose 0 = -y + b*y - 22. Is y a composite number?
False
Let t(g) = -g**3 - 8*g**2 + 16*g + 24. Let q be (1 + -5)*(-6 - (-175)/20). Is t(q) a prime number?
True
Let x be -15*(-2)/3 - -2. Let k be (-38)/(10/x + -1). Suppose -j + k = 3*j. Is j composite?
True
Suppose -509644 = -5*r - m, -305786 = 24*r - 27*r - m. Is r a composite number?
False
Suppose -r + 5*r = -228. Let j = r + 14. Let f = 10 - j. Is f a composite number?
False
Suppose 0 = l - 2 - 1. Suppose -10*p + 18144 = 1644. Suppose -4*t = -6*t - 3*a + 639, -p = -5*t + l*a. Is t prime?
False
Let n = -3 + -3. Is ((-2121)/n)/((-3)/(-6)) a composite number?
True
Let m(r) = 54*r - 6. Let u(y) = -11*y + 1. Let z(t) = 4*m(t) + 21*u(t). Let c(h) = -h - 8. Let b be c(-4). Is z(b) a composite number?
True
Suppose 4*l = 7*l - 54. Let d be 6836/l + 6/27. Suppose b + 190 = 2*q, 2*q + 2*q + b = d. Is q prime?
False
Suppose 0 = -2*c + 2*a + 5704, 5*c - 14270 = a + 2*a. Is c prime?
True
Let o be (56/9 - 1) + (-14)/63. Suppose 5*f - 763 = -7*w + o*w, 0 = -w + 3*f + 398. Is w a composite number?
False
Suppose 0 = 5*x + 4*n - 0*n + 10, 0 = -x - 4*n - 18. Let t be (-998)/(-4) - (-3)/x. Suppose u + 0*u - t = 0. Is u a prime number?
True
Suppose 0 = 5*z, 2*x - 5*z - 42 = 2. Suppose 3*o + 41 = -x. Let s = o - -76. Is s composite?
True
Let l(p) = -2732*p. Let b(a) = -911*a. Let o(w) = -11*b(w) + 4*l(w). Is o(-1) composite?
False
Let x(m) = -72735*m**3 + 3*m**2 - 1. Is x(-1) a composite number?
True
Suppose -204 = -4*o + 3760. Let r = -405 + o. Is r prime?
False
Let w be 6 - ((2 - -2) + -4). Is -11*w/(18/(-51)) prime?
False
Let m(k) = -4227*k + 34. Is m(-5) a composite number?
False
Suppose -g - g = -2*d + 2, -5*d - 2*g + 40 = 0. Let h = 15 - d. Suppose 3*m + 462 = h*m. Is m prime?
False
Let v(x) = 229*x - 11. Let y(s) = -114*s + 5. Let u(w) = 6*v(w) + 11*y(w). Is u(9) composite?
False
Let h be ((-1)/(-2))/(14/3836). Let v = 286 - h. Is v a composite number?
False
Let a = 17156 + -9163. Is a a prime number?
True
Suppose 0 = 6*q + 2168 - 194. Let h = 306 - q. Is h a prime number?
False
Let h(x) = 13*x**2 + 3*x - 4. Let d be h(7). Suppose -3*p + d = -12. Suppose 2*z - 8*z + p = 0. Is z a composite number?
False
Let j(a) = 17*a**2 + 9*a + 20. Let x be -3 - ((-18)/(-3) + -2). Let t be j(x). Suppose -7*n = -5*n - t. Is n prime?
False
Let n be -4*(-3)/(12/7). Let d(w) be the first derivative of w**4/4 - w**3 + 4*w**2 + 5*w + 405. Is d(n) a prime number?
True
Let s = -8 + 5. Let j(x) = -76*x + 9. Is j(s) a prime number?
False
Let i = -13 + 14. Let t be ((-4)/(-8))/(i/6). Suppose -7*j + t*h = -3*j - 184, 2*h = j - 41. Is j a prime number?
False
Suppose 100 = -28*q + 29*q. Suppose -103*x + 4107 = -q*x. Is x prime?
False
Let c = 7178 + -5011. Is c a prime number?
False
Let b be (-11)/(-11) - 2*5. Let z = 11 + b. Let k(o) = 7*o + 1. Is k(z) composite?
True
Let q(a) = 3*a + 5. Let n be q(4). Suppose 0 = -21*u + 26*u - 180. Let p = u + n. Is p composite?
False
Suppose 5 = -0*v + 5*v. Suppose -y + 5 = v. Is (-2)/y + (-142)/(-4) a composite number?
True
Let i = 1240 + -69. Suppose 3*c - i = 2*c. Is c composite?
False
Let p = 70672 - 33609. Is p a composite number?
True
Let p be -34*((-14)/(-4))/(13 - 12). Let i = p - -1006. Is i a prime number?
True
Suppose 10489 = -2*o + 2*h - 1461, 2*h = -2. Let p be (-2)/(-10) + o/(-20). Suppose -p = k - 2*k. Is k prime?
False
Suppose -4*z = 5*i - 3*z - 268, 2*z = 4*i - 206. Suppose 4*b + y = -2, -2*y = b - 0*y + 4. Let q = i - b. Is q a composite number?
False
Suppose -22337 = -4*i - 5*g + 4*g, 20 = 4*g. Is i a prime number?
False
Let i = -12 + 15. Is 4/i + (-16435)/(-15) a composite number?
False
Suppose 0 = 5*c - 0*c. Suppose c*m + 4*k - 20 = -m, 0 = -m + 5*k - 16. Suppose -m*v - 430 = -6*v. Is v a composite number?
True
Let d(h) = -25*h**3 - 8*h**2 + 9*h + 11. Is d(-8) a composite number?
False
Let y = 153 + -86. Is y composite?
False
Let n be ((-3)/(0 - -3))/(1/(-307)). Is n/4*(-12)/(-3) composite?
False
Suppose 253*o - 255*o = -3766. Is o a prime number?
False
Let x = -10 - -28. Is 14/(-63) + 11038/x composite?
False
Let j = -7 - -9. Suppose -j*n + k = -525, 0*n - 786 = -3*n + 3*k. Is n a prime number?
True
Let g(p) be the second derivative of -p**7/280 - p**6/180 + p**5/24 + p**4/8 + p**3 + 3*p. Let k(f) be the second derivative of g(f). Is k(-3) composite?
True
Let v(j) = 733*j**2 + 3*j + 4. Is v(-1) prime?
False
Suppose -4*c - 213 = 95. Is c/(-44)*(-184)/(-2) + -4 composite?
False
Suppose -5*a - 3*h + 2426 = 0, 4*a = 2*a - h + 970. Suppose 2*q - 5*d + 248 = 4*q, -4*d - 212 = -2*q. Suppose 148 = 2*o - l, q = -5*o - l + a. Is o prime?
False
Let m(n) = 2*n + 35. Let h be m(-15). Suppose -h*i - i = -3972. Is i prime?
False
Suppose 0 = -21*s + 362922 + 72471. Is s a composite number?
True
Let s(z) = -6*z**2 + 2*z + 4. Let w be s(-2). Let b be ((-3012)/9)/(8/w). Suppose 7*v - b = 3*v. Is v a composite number?
False
Suppose 0 = 12*b - 18*b + 56670. Is b composite?
True
Is 18199/2*(-17)/((-238)/28) prime?
True
Let c(m) = -5*m - 16 + m**3 + 8*m - 2*m + 9*m**2. Is c(-5) a prime number?
True
Let t(c) = 14*c**2 + c - 1. Let q be t(1). Let s = -34 + q. Is (s - 2)/(2/(-107)) composite?
True
Suppose 5*j = 3*z - 42327, -6*z + 42351 = -3*z + 3*j. Is z a composite number?
True
Let q = -1