. Is c prime?
True
Let b(h) = -5 - 7*h**2 - h**3 + h**2 - h**3. Let a = 3082 - 3088. Is b(a) a composite number?
False
Let x = -150 + 257. Let k = -65 - -9. Let y = k + x. Is y composite?
True
Suppose 5*d - 5 - 5 = 0, -4*k = 4*d - 205276. Is k composite?
True
Suppose -12*s - 495483 = -r, 0 = r + 5*s + 68284 - 563767. Is r a composite number?
True
Is 3/27 - (-17255280)/135 a prime number?
True
Let t = 20242 - 12352. Suppose -19*j + t = -9*j. Is j composite?
True
Let p be 4 - (-8)/(-7 + 3). Suppose -u + 94638 = 4*u - 4*c, -18924 = -u + p*c. Is (1 - 0)*(u/(-5))/(-6) composite?
False
Let o(w) = w**3 + 25*w**2 - 13*w. Let l be o(-19). Suppose 2*t + l = 3*t. Is t a composite number?
True
Let p(m) = m**3 - 63*m**2 - 132*m + 138. Let t be p(65). Let h = 5 - -170. Suppose -h = 3*l - t*l. Is l a prime number?
False
Let k(c) = -22*c + 14 + 14*c + 9*c. Let j be k(-4). Suppose -108255 = -5*x - j*x. Is x a prime number?
False
Let j be (-63)/(-42)*(-8)/(-3). Suppose -4*y = -5*f - 81138, 6*f + 81144 = 4*y + j*f. Is y composite?
False
Let q be 126/(-33) + 40/22 + -2. Let h = q - -8. Suppose 4*t - 793 = -3*n, 3*n + h*t - 526 = n. Is n composite?
True
Let j be 1/2*(5 + 1). Suppose 3*d = 2*v - 291, j*d + 194 = d + 5*v. Let s = 198 - d. Is s a prime number?
False
Let f = 12 + -8. Let c be (-3)/(1/(f/(-6))). Is 399 + ((-7)/1 - -3)/c a prime number?
True
Let o(l) = -l**2 - 6*l - 3. Let k be o(-5). Let a(d) = 5*d**2 - 16*d - 4*d**k + 51 + 16*d. Is a(0) a prime number?
False
Let t(b) = -b + 3. Let c be t(-22). Suppose 26*u - 506 = c*u - 3*m, -3*u + 2*m + 1573 = 0. Is u composite?
False
Let c(x) = x**3 - 7*x**2 - 14*x - 31. Let b be c(9). Suppose b*z + 7606 + 6937 = 4*p, -z + 14549 = 4*p. Is p composite?
False
Suppose 393*d - 392*d - 4187 = 0. Let t = d + -676. Is t prime?
True
Let w(t) = -t + 19. Let r be w(-4). Suppose -6*z - 5 = -r. Suppose -5*c = 4*d - 1891, 0 = -z*d + 6*c - c + 1462. Is d prime?
True
Suppose 5*c = -3*f + 4888422 + 235411, -3*c + 5*f = -3074327. Is c prime?
False
Let a(j) = 5*j**2 - 121*j + 615. Is a(112) a composite number?
False
Let u = -935 - -1607. Suppose -679*r + u*r = -10745. Is r prime?
False
Let m(i) = 4*i - 62. Let f be m(18). Suppose x + 1 = 0, f*h = 15*h + 2*x - 305843. Is h a prime number?
True
Let r = 34 - 34. Is r/(-2) - (-1856 + 1 - -4) a prime number?
False
Is (8/(-108)*-3 - (-69530)/18) + 2 a composite number?
True
Let x(q) = 6*q**2 + 179*q + 244. Is x(41) a prime number?
True
Let g = 197 - 203. Let m(d) = -2363*d - 529. Is m(g) composite?
False
Let h be (-98)/735 - (-1075157)/15. Suppose 7589 + h = 22*k. Is k prime?
False
Suppose 2*w + a = 56194, 28097 = w + 9*a - 11*a. Is w prime?
True
Is 2621276/8 + (2/(-7))/(32/56) a prime number?
False
Let s be 68*(3479/(-21))/(2/(-3)). Let t = s + -7251. Is t composite?
True
Suppose 0 = -2*l - 9*l + 231. Suppose 3786 = -15*a + l*a. Is a a composite number?
False
Let y be (-1 - -1)*75/225. Suppose p = 5*b - 54593, -5*p - 16 + 26 = y. Is b prime?
False
Suppose -8 = -18*i - 62. Is ((-61806)/2)/(i + 2) + 4 composite?
True
Let h = -70067 - -152220. Is h composite?
False
Suppose 2*d - d - 85 = 0. Let w = d + -22. Is -2 + w - 4/1 a composite number?
True
Suppose 0 = 2*k + 2*z - 1624, -3*k + 4*k - 809 = 2*z. Let v = k - -3178. Is v prime?
True
Let b = -3097 + 9329. Suppose -c = -3*d - b, 8*d - 9*d - 6238 = -c. Is c composite?
True
Let c = 12505 - -108624. Is c composite?
True
Let q be (618/56 - 40/140)*836. Let r be 4/2*(-7)/(-2). Suppose -r*k - 174 = -q. Is k a composite number?
False
Let r be ((-10)/15)/((16/(-6))/(-4)). Is (21183/(-46))/(r/2) a prime number?
False
Let h be (-30)/(-9) + 5 + (-4)/(-6). Is 523 - 3*12/h composite?
True
Suppose -640*t - 434186 = -702*t. Is t prime?
False
Let i be ((-2184)/(-390))/((-2)/(-265)). Suppose -10 = q - 6*q. Suppose q*n + 4*x = 2228, 4*n + 4*x - i = 3714. Is n a composite number?
True
Suppose 4*v - 11375 = 3*h, 4*v + 511*h - 509*h = 11370. Is v prime?
True
Let t(z) = 85*z**3 + z**2 + 46*z - 133. Is t(3) a composite number?
False
Is ((-53267)/(-3) - 4)*45/75 prime?
True
Suppose 2*p + 8*y = 11*y + 338521, -4*y = -2*p + 338522. Is p a prime number?
True
Let i(u) = -1752*u + 11. Is i(-30) prime?
True
Let p(t) = 552*t**2 + 22*t - 15. Let o be p(-9). Let w = o + -15710. Is w a prime number?
True
Let s(j) = 47*j - 801. Let d be s(17). Suppose 40 = 3*g + g. Is (-694*(-3)/(-10))/(d/g) a composite number?
True
Let f be (2 + 724)*(-91)/26. Let t = f - -6806. Is t prime?
False
Suppose -5*m - 5*s = -1905, 3*m - 12*s + 13*s - 1143 = 0. Suppose -l + 4441 = -m. Is l a composite number?
True
Let w(h) be the second derivative of 5/6*h**3 - 25*h + 35/4*h**4 - 7/2*h**2 + 0. Is w(4) composite?
False
Suppose -4*t + 1033869 = -w, 1292333 = 5*t - 618*w + 620*w. Is t prime?
False
Let l = -429 + 434. Let h be -1 - 0 - -43*1. Suppose w + 2*w = -l*g + 116, g = -w + h. Is w a composite number?
False
Let t = 2014 + -7954. Let z(g) = -39*g**3 - 18*g**2 + 73*g + 37. Let c be z(6). Let r = t - c. Is r composite?
False
Is 3720/(-1116)*(2/(-1) + 66525/(-6)) a prime number?
False
Let m(c) be the first derivative of 4421*c**2/2 - 84*c - 248. Is m(7) prime?
False
Suppose -3*f = -3, -3*f + 16 = 4*v + f. Suppose -1 = -v*m + 5. Let h(i) = 30*i**3 - 2*i**2 + 2*i - 3. Is h(m) composite?
False
Suppose 4*f - 6*f + 6 = 0, -4*q + 2*f + 2590 = 0. Let s = 2166 - q. Is s composite?
True
Let z(u) = -26 - 349*u - 13*u + 13. Is z(-3) a prime number?
False
Suppose 0*r + r - 4 = 0, 3*n - 346365 = 3*r. Is n a composite number?
False
Suppose 0 = -89*l + 93*l - 2*n - 55494, -4*l - 2*n = -55490. Is l composite?
False
Suppose -t + 3*r + 99547 = 0, 5*t - 497807 = -3*r - 0*r. Is t composite?
False
Let k be (18 - 16)/(1/4). Suppose 0 = 4*n - k. Suppose 16 + 238 = n*u. Is u composite?
False
Let z(x) = 74*x**2 - 61*x - 451. Is z(-10) prime?
True
Is ((1/(-5))/((-130)/650))/((-1)/(-629203)) prime?
True
Let u = 37907 - -93660. Is u a composite number?
True
Suppose q = 2 + 3. Let o(g) = -g**3 + 60*g**2 - 40*g - 409. Let x be o(58). Suppose 3935 = 5*l - q*w, 0 = -5*l + 2*w + x - 64. Is l a prime number?
True
Suppose 21 = 806*p - 799*p. Let a(f) be the third derivative of 3*f**6/10 + f**5/20 - 5*f**4/24 + 3*f**3/2 + f**2. Is a(p) composite?
True
Suppose 22*z = -1551231 + 5250025. Is z composite?
False
Let w be (-2 + -5 - -4)*4/(-3). Let r = 11 + -3. Is 0 - (-150)/w - (-4)/r a prime number?
False
Let b(g) = -29691*g + 404. Is b(-3) prime?
True
Suppose -4665 = -i + 5*q, 0*i - i - 3*q = -4697. Is i a composite number?
True
Suppose 0 = -5*p + g + 99787, 6*p + g - 90050 = 29712. Is p composite?
True
Let v = 3313 + 22157. Suppose -c = -10*c - v. Let s = 3987 + c. Is s a composite number?
True
Let q(l) = -l**3 - 18*l**2 + l + 18. Let j be q(-18). Suppose -5*n - 1140 = 5*u, j*u + u + 4*n = -213. Let d = -106 - u. Is d prime?
True
Suppose 0 = -5*z - 3*o - 19, 5*z - o = -2*o - 23. Is (((-10)/3)/z + 1)*501 a prime number?
False
Let b(g) = -g**3 + 33*g**2 + 17*g + 69. Let r be b(29). Let i = 6853 - r. Is i composite?
False
Let h = -188 + -32. Let z = 17 - h. Is z composite?
True
Let o(q) = -q**3 - q**2 + q. Let r(j) = -5*j**3 - 3*j**2 + 11*j - 12. Let x(n) = -2*o(n) + r(n). Let d(m) = -m + 1. Let i(h) = -6*d(h) - x(h). Is i(3) prime?
False
Let l(t) = -38729*t + 103. Is l(-4) a prime number?
False
Suppose 1785964 = 5*v - 4*l + 599629, 5*v - 3*l - 1186340 = 0. Is v a prime number?
True
Let w be 4/(-8 + 6) - (4053 + -1). Let z = -1905 - w. Is z a composite number?
True
Let f = -151 + 337. Suppose -f = -a - 0*z - z, 0 = 5*a - 3*z - 922. Suppose 2*v - a = 249. Is v a composite number?
True
Let p(d) = -2*d**2 - 6*d - 626. Let i(w) = -3*w**2 - 7*w - 623. Let f(x) = 3*i(x) - 4*p(x). Suppose -2*t - 2*t = 0. Is f(t) composite?
True
Let a(k) = -k**3 + 7*k**2 + 6*k + 16. Let l be a(8). Suppose -5 = -2*f - 5*h + 8, 4*f + 5*h - 11 = l. Is (3 - (-3833)/(-1))/f + 3 prime?
True
Let x be 498 - (-9 + 5 + 3). Let j = x - -618. Is j a prime number?
True
Is ((-2)/6)/((-534)/232358886) prime?
True
Let p(a) = 5*a**2 - 6*a - 12. Suppose -2*z - 2*n + 20 = 0, 8*z - 4*n - 23 = 3*z. Suppose 25*s - z = 24*s. Is p(s) a composite number?
False
Suppose 5*o = -k + 617, -o - 577 = -k + 4*o. Let y = 1391 - k. Is y prime?
False
Is 26160928/224 - 24/28 a prime number?
True