*g + 5*h, 2922 = -2*g - h. Let d = -992 - g. Is d a composite number?
True
Let c(f) = 80*f + 6. Let g be 0 + 1 + (-108)/6. Let d be c(g). Let v = -825 - d. Is v composite?
True
Let x be (7/((-28)/(-12)) - 2)*45. Is (x/(-18) + 3)/((-1)/(-14438)) prime?
True
Suppose 9 = 2*p + 3. Suppose -11 = -p*g - 5. Suppose -2*v = g*y - 60, 0*y - 5*y + 190 = -3*v. Is y composite?
True
Let v(b) = 42*b**2 + 6*b + 7. Suppose -1 + 24 = 3*a + 4*s, -5*a + 29 = 2*s. Is v(a) prime?
True
Let j(b) = 10936*b**2 - 28*b - 27. Is j(-1) a composite number?
False
Let t = 310 + -284. Is t composite?
True
Let w = 25992 + -13601. Is w a prime number?
True
Let x(y) = -123*y + 50. Is x(-13) a prime number?
False
Let u(i) = -2059*i - 12. Is u(-2) prime?
False
Suppose -2*q = -4*f - f + 6, 0 = -2*q + 2*f. Let n be 0/(q - 0) + 4. Suppose -3 = -n*g + 9. Is g composite?
False
Let r = -56 + 61. Suppose -i = -c + 6012, r*c + 2*i - 30050 = 5*i. Is c a prime number?
True
Let r(l) be the third derivative of -1/2*l**3 + 0*l + 19/6*l**4 - 4*l**2 + 0. Is r(2) composite?
False
Let a = 89 + -116. Is (119430/a)/(2/(-3)) prime?
False
Let g = -20336 - -48723. Is g a prime number?
True
Let n(p) = -p**2 + 4*p + 1. Let m be n(3). Suppose 8 = 2*g, m*g - g - 226 = -w. Suppose w + 12 = k. Is k prime?
False
Let h = 17 - 13. Suppose -8*o + 3068 = -h*o. Is o a composite number?
True
Let o = 1257 + -850. Is o composite?
True
Let u = -166 - -544. Let i = 193 - 384. Let y = i + u. Is y a composite number?
True
Let c be 3 - (48 + 1)/(2 + -3). Suppose -2*l + 114 = c. Is l a composite number?
False
Let j(x) = x**2 + 14*x + 7. Let r = 23 + -36. Let q be j(r). Let n(m) = -40*m + 9. Is n(q) composite?
True
Let l(p) = -p**2 + 36*p + 15. Is l(28) a prime number?
True
Suppose 3*z = 3*d + 22536, 15015 = 2*z + 20*d - 19*d. Is z a prime number?
False
Let y(k) = -31 + 16*k**2 - k**3 - k - 6 + 6*k**2 + 8. Is y(12) a composite number?
False
Let y be (-13982)/(-10) + (-16)/(-20). Is y/((-4 - -1) + (4 - 0)) composite?
False
Let v(m) = 4*m**3 - m**2 - 8*m + 13. Let h = -89 + 99. Is v(h) prime?
True
Suppose o + 9 = 5. Let p(d) = 33*d**2 - 7. Is p(o) a composite number?
False
Let t(d) = d**2 - 3. Suppose -9 = -2*r - 25. Let c = r - -1. Is t(c) prime?
False
Let l = -43 - -35. Is l/12 + 1846/6 a prime number?
True
Is (14/119 - 415291/(-17)) + 2 a prime number?
False
Suppose -5*v - 36 = v. Is 16432/78 + (-2)/v prime?
True
Let s = 22 + -20. Let q(k) = 7*k**3 + k**2 - 2*k - 1. Let c be q(s). Let n = c + 208. Is n composite?
False
Is (-879744)/(-57) - 68/646 a prime number?
False
Let r = -5456 - -11013. Is r composite?
False
Let b(p) = -p**2 - 4*p + 9. Let h be b(-7). Let z = 7 - h. Is z a composite number?
False
Suppose -2871 = -4*q - 4*k + 4089, -1760 = -q - 5*k. Is q a prime number?
False
Let n(c) = 4*c**3 + 7*c**2 - 4. Suppose -3*i + 4 = 16, -5*j = -3*i - 37. Is n(j) a composite number?
True
Let x(n) = 171*n - 16. Is x(51) composite?
True
Let u(z) = 163*z + 15. Let l be u(-4). Let v = 204 - l. Is v a prime number?
False
Is 432784/32 + ((-3)/(-6) - 2) a prime number?
True
Let u(n) be the second derivative of 7*n**4/2 + n**3/6 - n**2 - 14*n. Is u(-5) a composite number?
True
Let s be 2/15 - (-41226)/(-45). Let z be (-3 + -1)*s/8. Let r = z - 247. Is r a composite number?
False
Let i(b) = 7*b**3 - 6*b**2 + 5*b + 1. Let r = -28 + 27. Let c(z) = -4*z. Let q be c(r). Is i(q) a composite number?
False
Suppose -12*b + 778702 = 22*b. Is b a prime number?
False
Suppose -y - 4*n = y - 5754, n + 8659 = 3*y. Is y composite?
True
Let h(s) = -s**3 - 5*s**2 - 8*s + 5. Let j = 9 - 15. Is h(j) prime?
True
Suppose -45*f = f - 63986. Is f prime?
False
Suppose -5*a - 1572 = 3*k, 4*k = 5*a - 0*k + 1579. Let b(u) = -113*u - 4. Let f be b(-6). Let d = f + a. Is d a composite number?
False
Let q(r) = 928*r**2 - 52*r - 251. Is q(-5) a prime number?
True
Let c(k) = 10528*k**2 + 1. Is c(-1) composite?
False
Let b(x) = -247*x**3 + 4*x + 5. Suppose -3*z = -4*d + 4, 0 = 3*d + 4*z + 4 + 18. Is b(d) a prime number?
True
Suppose 2*r = 3*r + 16. Let u = r - -19. Suppose u*g - 3*l - 12 = 0, 2*g - 13 = -l + 4. Is g composite?
False
Suppose -2 = -2*u - 4*k - 6, -2*u - 4 = 2*k. Is u*(-471)/6*3 a composite number?
True
Suppose 1534 = 2*l + 2*x - 4*x, 20 = -4*x. Suppose 5*o - 5*n = 945, -4*o + 4*n = 3*n - l. Is o composite?
False
Suppose 10*s + 280445 = 65*s. Is s a composite number?
False
Let j = 219 + -420. Let q = -110 - j. Is q a composite number?
True
Let q(o) = -o**2 + 17*o + 19. Let g = -11 + 13. Let s be -1 + 20 + -2 - g. Is q(s) a prime number?
False
Is 128938/8 + -4*6/96 a composite number?
True
Let m be 377 - (-1 - (3 + -2)). Suppose -u + m = v, 4*u = -v + 304 + 72. Suppose 0 = -3*k - 5*g + 411, 3*g + v = 5*k - 339. Is k a prime number?
False
Let h be -2 + (-2 - 10)/(15/(-25)). Let z(u) = 3*u**3 + u**2. Let s be z(1). Suppose -5*a + 2*a = -s*j - h, -2*a + 3*j = -12. Is a composite?
True
Let p = 11429 - 5910. Is p composite?
False
Suppose 0 = 23*y - 36926 - 2933. Is y composite?
False
Suppose -9*w + 2865 - 156 = 0. Is w composite?
True
Let t = -14187 + 6515. Let d = 10773 + t. Is d composite?
True
Suppose k = -4*m + 3390 + 533, 0 = -5*k - 2*m + 19669. Is k a composite number?
True
Suppose -686*a - 6022 = -688*a. Is a composite?
False
Let o(a) = -3*a**3 - 4*a**2 - 7*a - 8. Let n(t) = -2*t**3 - 3*t**2 - 7*t - 8. Let l(y) = -4*n(y) + 3*o(y). Let j be l(6). Let s = j + 263. Is s a prime number?
True
Suppose -3592 = -5*f + 3*p + 17382, 0 = 4*p + 12. Is f a prime number?
False
Let t be (-76)/8*(2 - (-3 + 7)). Suppose 15*l = t*l - 412. Is l composite?
False
Let f be -3 + (30/(-5))/(-2). Suppose -3*k + 126 + 435 = f. Is k a prime number?
False
Let v(a) = -a**3 + 30*a**2 - 30*a + 26. Let f be v(29). Let q(u) = -44*u**2 - 3*u. Let h(t) = -131*t**2 - 8*t - 1. Let d(n) = 2*h(n) - 7*q(n). Is d(f) prime?
True
Is ((-71144)/(-20))/((6/(-5))/(-3)) prime?
True
Suppose 3*z = 2*z - 3*b - 2, -3*b - 4 = 2*z. Let j be 912 - 6/(-4)*z. Let c = j + -502. Is c a composite number?
True
Suppose -5*l + j - 5 = 0, 5*l - 25 = -6*j + j. Suppose -2*a = -l*a - 442. Is a prime?
False
Let j(d) = -d**3 + 5*d**2 + 5*d + 4. Let a(t) = t**2 - 8*t + 6. Let i be a(8). Let c be j(i). Is -2 + c/2*-193 prime?
True
Let c(o) = 58*o**2 - 6*o + 3. Let p be (-3)/2*50/15. Let r be ((-2)/p)/(15/150). Is c(r) prime?
True
Suppose -b + 3 + 0 = 0. Suppose 2*i - 4*a = 18, 0 = i - 4*i - b*a. Suppose -i*j = -2*j - 89. Is j a prime number?
True
Suppose 65268 = 3*y + 5*g, 2*y - 30*g = -25*g + 43487. Is y prime?
True
Let r be -5*4/(-8)*(1 - -1). Suppose r*q = 2*q - 4*a + 2639, 0 = 5*a - 10. Is q a composite number?
False
Suppose 4341 = 3*m + 3*p, 0 = -2*p + 2 - 6. Suppose -3*q - 986 - m = -x, 4*x - q - 9718 = 0. Is x a composite number?
True
Let w(t) = 2*t**3 + 21*t**2 - 14*t - 18. Let x be w(-11). Is 2/(-2 - 0) + (x - -2085) a prime number?
True
Let s(p) = -22*p - 9. Let h be s(-3). Is 19/h - 26/(-3) a composite number?
True
Suppose 0 = 2*t - 3*b - 166589, -4*b - 136906 = 5*t - 553413. Is t prime?
True
Let u = -10 - -14. Suppose u*y - t = 596, 0 = -y - y - 4*t + 298. Is y a composite number?
False
Let r(d) = -8*d + 3. Let n(k) = 2*k + 16. Let y be (-2 + -20)*(-2)/(-4). Let s be n(y). Is r(s) prime?
False
Let n = -7460 + 10607. Is n a prime number?
False
Suppose -2276 = -6*l + 2*l. Suppose l + 91 = -5*h. Let i = 46 - h. Is i composite?
True
Suppose -1025 = -5*x - n + 11244, -5*x + 12249 = -4*n. Is x composite?
True
Let u be 1211 - 2/3*-3. Suppose 2*t = t + u. Is t a composite number?
False
Let z(r) = 129096*r**2 - 9*r + 8. Is z(1) prime?
False
Let x(h) = 482*h - 243. Is x(26) composite?
False
Let h be 6 - (-96)/(-15) - 12/(-5). Suppose 0 = -2*o + 8, 4*o = h*q - 0*o - 2222. Is q prime?
False
Suppose t + 4*p - 14 = 0, 13 = t + t + 3*p. Suppose t*q - 1022 = 52. Is q composite?
True
Suppose -2*o - 1 + 0 = 3*n, 3*n + 3*o = -3. Let y be n/8 - 14/112. Suppose 4*p - 2*i = -0*p + 452, y = 3*p - 2*i - 339. Is p a prime number?
True
Let i(c) = -52*c**3 - 5*c**2 - 8*c. Let r(y) = 103*y**3 + 10*y**2 + 15*y + 1. Let p(s) = -7*i(s) - 4*r(s). Is p(-3) prime?
True
Suppose 0 = h - 5*b + 6*b - 5507, 0 = h + 3*b - 5503. Is h prime?
False
Let q be (-4)/(-8) + (-3)/6. Suppose 3*a - 397 - 236 = q. Is a prime?
True
Suppose -3*s + 6*s - 3 = 0.