Let k be (3 + a)/(2/(-8)). Is 3/2*k/(-15) a composite number?
True
Is (203/58)/(3 + (-65297)/21766) prime?
False
Suppose 4*s + 2315 + 4858 = p, -3*p + 21498 = -5*s. Let h be p/22*10/3. Suppose 10*q = 5*q + h. Is q a composite number?
True
Let i(a) = 2634*a - 855. Is i(34) prime?
False
Let r(a) = 2859*a - 1121. Is r(6) a composite number?
False
Suppose 3*m = -u + 31690, -63370 = -2*u + 3*m + m. Is u a composite number?
False
Suppose 0 = -z + 72 + 146. Suppose -5*j + z = d - 37, -3*d + 3*j + 693 = 0. Is d a composite number?
True
Suppose 3*m + 4*p = 21045, 881 - 21941 = -3*m + p. Is m a prime number?
True
Let c(d) = -31*d - 7. Let u be c(13). Let i = 1403 + u. Is i prime?
False
Let o(x) = 2*x**2 + x + 18. Is o(-4) prime?
False
Suppose -14 = -2*u + 2. Let v be (2 + (-348)/9)/(16/(-792)). Suppose u*l - 3*l = 4*y - 1454, 5*y - 5*l = v. Is y composite?
True
Suppose -3*y - 2*v + 494 = 0, -658 = -4*y - 0*v - 3*v. Let x = y - 97. Is x a prime number?
False
Let i(d) = 57*d**2 - 4*d + 3. Suppose 7*m - 10 = 2*m. Is i(m) composite?
False
Let v(k) = -552*k - 8. Let p(q) = -q - 1. Let l(a) = -10*p(a) + v(a). Let d be l(6). Is (-1)/8 + d/(-16) a prime number?
False
Let a(g) = -6*g**2 - 14*g - 7. Let y(t) = -19*t**2 - 42*t - 22. Suppose -3*i + 2 = -2*i. Let h(c) = i*y(c) - 7*a(c). Is h(-9) prime?
False
Let m(q) = -41*q - 225. Is m(-10) prime?
False
Suppose 3*u - 34729 + 6130 = 0. Is u a prime number?
True
Let l be 2 + 0 + (-6 - -10). Suppose 7*g = l*g + 125. Let d = g + -36. Is d a prime number?
True
Let b(r) = -160*r**2 + 10*r + 2*r**3 + 7 + 148*r**2 - r**3. Let m be b(11). Is ((-67)/m)/((-1)/(-28)) a prime number?
False
Let i(n) = 16*n**2 + 3. Let a be i(-6). Suppose -5*d + 6 - 1 = 0, 3*d = 3*p + a. Let m = 355 + p. Is m a composite number?
False
Let n = 3979 - -1008. Is n a prime number?
True
Suppose 0 = -2*c - 0 - 2, -2 = 2*m - 2*c. Is 7468/12 + m/(-3) a composite number?
True
Suppose -101*x + 79*x = -245498. Is x a composite number?
False
Let v be 4 + -2 + (3 - 5). Let d(s) = s**3 - s**2 + 555. Let f be d(v). Let j = -268 + f. Is j composite?
True
Suppose -5*f - 2*v = -3*f - 3674, 0 = 4*f + v - 7345. Let c = 461 + 46. Suppose -f = -3*d - c. Is d composite?
False
Suppose 12 = -5*t + 8*t. Is (-5)/((354/87 - t)/(-2)) composite?
True
Is (12/6)/(10/215) a composite number?
False
Let n = -71077 - -129615. Is n prime?
False
Let t = -88147 - -130184. Is t composite?
True
Let v be (-9 + 6)/(6/(-8)). Suppose 0 = 7*z - v*z + f - 10684, -4*z - 4*f = -14232. Is z composite?
True
Let j(v) = 122*v**2 + 27*v + 134. Is j(-15) a composite number?
False
Suppose 0 = -b + 2, -5*b + 5 = v - 10. Suppose -v*h - 4*h = -4869. Is h a prime number?
True
Suppose 0 = -d + 4*w + 351, -d + w - 255 + 609 = 0. Is d a prime number?
False
Let j be ((-14)/49)/((-1)/7). Is (-9234)/(-5) - j/(-10) composite?
False
Suppose 0 = -3*y - 2*y + 7400. Suppose 2*g = 5*l + 5*g - y, 5 = -g. Is l a prime number?
False
Let t(d) = -2*d - 2. Let n be t(-2). Suppose 0*v = n*v - 92. Is v a prime number?
False
Let k(a) = 2*a**3 - 12*a**2 + 8*a + 5. Let r = -42 - -51. Is k(r) prime?
True
Let q be 2*(-3)/(-8) + (-160)/(-128). Suppose 4*s - 538 = -n, s + q*s - 5*n - 392 = 0. Is s a prime number?
False
Let a(w) = 18*w**2 + 6*w - 7. Let p be (80/28)/(4/(-14)). Is a(p) composite?
False
Suppose 5*h = 4*k - 2625, 0 = -2*h - 3 - 7. Suppose -4*j + k = -186. Is j a prime number?
False
Suppose 4*y = -5*p + 50624, -63321 = -4*y - y + 4*p. Is y composite?
True
Let t(x) = -4*x**3 + 14*x**2 - 13*x - 24. Is t(-13) a prime number?
True
Let b(u) = -u**3 + 12*u**2 + 11*u + 1. Let z be b(11). Suppose -2*a + 4*f = -0*f - 104, -f - z = -4*a. Is a a prime number?
False
Let j(n) = -2*n + 4. Let c be j(0). Suppose 0*d + 1260 = 4*y + 2*d, c*d = 2*y - 650. Is y composite?
False
Let d be ((-5448)/16)/(3/(-4)). Let h = 851 - d. Is h prime?
True
Let w be -5 - (-4 - (-3 - -2)). Let t be (-129)/(-27) - w/9. Suppose 0*q - 3245 = -t*q. Is q prime?
False
Let i be 18/(-2)*8/(-24). Suppose -i*p - 15 = -93. Is p a prime number?
False
Let q be (6/12)/((-2)/(-12)). Suppose -8*t + q*t + 305 = 0. Let m = t - 15. Is m composite?
True
Suppose 0 = -2*n - 2*j + 3631 + 4311, -3*j + 7946 = 2*n. Is n a prime number?
True
Suppose 4*z - 5*q = 12283, -5*z = -2*q - 3858 - 11483. Is z prime?
True
Suppose 6*i - 22337 - 871 = 0. Is (2/8)/(1/i) a prime number?
True
Suppose -5*p = -3*d - 5564, 5*p + 66*d - 63*d = 5576. Is p a prime number?
False
Let g(j) = j - 1. Let c(p) = 5*p - 4. Let i(y) = -c(y) + 4*g(y). Let l be i(-10). Suppose -3*z + l + 22 = 2*b, -5*b + 4*z = -103. Is b a composite number?
False
Let w(v) = 1655*v**2 + v + 1. Let q be w(-1). Suppose 0 = -4*d + 1 + 3. Is q/(-10)*(-2)/d a composite number?
False
Let a(z) = z**3 - 3*z**2 - 7*z - 5. Let b(p) = p**2 - p - 1. Let x(g) = a(g) - 2*b(g). Is x(8) composite?
False
Let u be (4 - -2)/(-2) - -576. Suppose n - 3*t - 555 = 0, 0 = -4*n - t + u + 1595. Suppose 5*x + 158 - n = 0. Is x a prime number?
False
Let s = -346 + 676. Let v(b) = 2*b**2 - 6*b + 1. Let l be v(-6). Let n = s - l. Is n prime?
False
Suppose -418 = -2*q + r, 0 = 7*q - 2*q + 5*r - 1075. Is q a prime number?
True
Let p(v) = 34*v**2 - 207*v + 19. Is p(54) a prime number?
False
Let g = -113 - -131. Suppose -3827 - 4795 = -g*s. Is s a prime number?
True
Let g(c) = 166*c - 3. Let t be g(2). Let h = t + -116. Suppose n - 4*n = -h. Is n composite?
False
Let x = -19179 - -39506. Is x a prime number?
True
Suppose 3*f + m = 1899, 0*f + 4*m = -5*f + 3165. Let l = f - -286. Is l prime?
True
Let z(c) = -3*c**2 + 2*c + 2579. Let x(w) = -7*w**2 + 5*w + 5158. Let y(d) = -2*x(d) + 5*z(d). Is y(0) a composite number?
False
Let r(d) = d**3 - 5*d**2 - 10*d + 3. Let k = 27 + -20. Let y be r(k). Suppose 4*z = 4*g - y - 65, 5*z + 101 = 4*g. Is g composite?
False
Suppose -3*z + 4*x = -524, -2*x - 690 = -4*z - x. Let g be ((-135)/45)/((-1)/39). Let s = z - g. Is s composite?
True
Let y(s) = -3*s - 15. Let z be y(-12). Let x = -21 + z. Is x + 4 + 22 - 3 a composite number?
False
Let l(d) = -d - 3. Let z be l(-8). Suppose 5*k - 11*k = 0. Suppose k = 10*x - z*x - 4595. Is x prime?
True
Let d = 8779 - -39624. Is d a composite number?
True
Let b(q) = 4*q**2 - 2*q + 1. Let o(l) be the first derivative of l**2/2 + 2. Let m be o(3). Is b(m) a composite number?
False
Let t be (-4)/(-10) - (-39)/15. Suppose y + t = 1. Is -1 + 0 + y + 680 prime?
True
Let p(u) be the first derivative of 5*u**3 - u**2 - 3. Suppose 0*t + 7*t + 21 = 0. Is p(t) a prime number?
False
Suppose 5*g - 2*g - 897 = 5*d, -2*g = 2. Let b = -137 - d. Is b composite?
False
Let q(s) = 3*s**2 + 4*s + 4. Let k be q(5). Suppose -126 = -5*w + k. Let j = 104 - w. Is j composite?
False
Let p(c) = 2*c**2 + 1. Let r be p(-1). Suppose -5*g + 3005 = -2*y, -5*y + 1202 = 2*g - 2*y. Suppose r*t + 5*o - 45 = 554, -3*t + g = 4*o. Is t a prime number?
False
Let x(p) = p - 9. Let b be x(-7). Let z be 5/(-1)*b/(-40). Is z - 11*(0 + -11) a prime number?
False
Suppose -10*i + 2*y - 21882 = -14*i, 4*y + 21888 = 4*i. Is i a composite number?
False
Suppose -2*u = 2*t + 6 - 4, -4*t - 5*u - 5 = 0. Suppose t = -20*m + 23*m - 5235. Is m a prime number?
False
Is (-48900)/(-2) - 5/(7 + -6) a composite number?
True
Let o(d) = 204*d - 36. Let y be o(-9). Let p = -755 - y. Is p composite?
False
Let c = 29 + -22. Suppose 3*s - 2 - c = 0. Suppose -6*z + z = -4*q + 867, 1130 = 5*q + s*z. Is q prime?
True
Let g = 4 + 5. Suppose -t - g*t = -15430. Is t a prime number?
True
Suppose 0 = 2*x + 2*d - 1078, -4*d + 232 + 316 = x. Suppose -x - 432 = -8*w. Is w a composite number?
True
Suppose -5*a - 53 = 2. Let b = -8 - a. Let l(r) = 43*r + 5. Is l(b) prime?
False
Let k(q) = -q**2 + 7*q + 8. Let i be k(7). Suppose i = 5*p - 17. Suppose -p*x + 30 = -2*x. Is x prime?
False
Suppose 2*y = -4*m - 2142, -3*y - 408 - 2797 = 4*m. Let z = 560 - y. Is z prime?
False
Let c be (27/12)/((-3)/(-32)). Suppose -c = g - 3. Let l = 18 - g. Is l a composite number?
True
Suppose u = 2 - 6, 2*m = -2*u + 4814. Is m prime?
True
Let t = -1322 - -3047. Let w = t - 912. Is w composite?
True
Let t be (-898)/((-1)/((-5)/(-2))) - 4. Let a = 4138 - t. Is a prime?
False
Is (843672/108)/(1/9) prime?
False
Suppose 0 = -o - 5*o + 13236. Is o prime?
False
Let p = 44 + -37. Let g(f) = 2*f