 4*x = -8*t + 6*t + 64506. Is x composite?
True
Let o(i) = -114*i - 164. Let z(y) = -38*y - 55. Let r(h) = -6*o(h) + 17*z(h). Is r(20) a prime number?
True
Let u(g) = -2*g**3 + 7*g**2 + g - 3. Let l be u(5). Let m = l + 132. Is m a composite number?
False
Let m = -7334 - -11587. Is m a prime number?
True
Let p be 3 - (0 - -11)*(-1 - 0). Is (-10 + -204)*p/(-4) prime?
False
Let r be 2 + 8 + (-2 - 2). Let c(q) = 30*q**2 - 2*q + 5. Let g be c(r). Suppose -5*j - 3*v + g = 0, j + v - 225 = 3*v. Is j composite?
True
Let i be 0/((-10)/(-2) + -1). Suppose -2*b + 2 = i, 2*p + 5*b - 619 = -0*p. Is p a prime number?
True
Suppose -g - 2*f = -3*g + 26090, g - 13045 = -4*f. Is g composite?
True
Let q(h) be the third derivative of 7*h**4/6 + h**3/6 - 8*h**2. Is q(4) prime?
True
Let s be 1/(-4 + (-3594)/(-898)). Let g = s + 98. Suppose 4*h + 207 = g. Is h composite?
True
Suppose -1164 - 1996 = -2*g + 4*h, -2*g + 5*h + 3161 = 0. Let s = 3235 - g. Is s a prime number?
True
Let p(w) be the first derivative of -w**2/2 + 3*w + 9. Let c be p(4). Is ((c - 1) + -161)/(-1) a prime number?
True
Let d = 45 + -44. Is 0 + 873 + d + (-36)/(-12) prime?
True
Suppose -3*h = -7*h + 216. Let y = 76628 + -40250. Is y/h - (-2)/(-3) prime?
True
Let j(t) = 1 + 6*t + 4*t - 11*t - 2*t**2 + 6*t**3. Let l = 5 + -3. Is j(l) prime?
False
Let p = 21 + -23. Let x be (215 - 0) + 4 + p. Is x + (2 - 2) + -4 composite?
True
Suppose -3*d = 4*d - 1015. Suppose -d = 12*g - 13*g. Is g a prime number?
False
Let o(b) = 4*b - 5. Let g be o(2). Suppose 0 = g*v, 0 = -5*c + 4*v - 7*v + 1855. Is c a prime number?
False
Let b(u) = 132*u**2 - 16*u - 13. Is b(-12) composite?
True
Suppose -28*q + 23*q = -950. Let f = q + 19. Is f a prime number?
False
Let f = -1783 + 4856. Is f composite?
True
Suppose -3 = -2*r + 3. Suppose -r*j + 0*t - 279 = 3*t, 0 = -t - 2. Let x = j + 312. Is x composite?
True
Is ((-34)/(-9))/(3/27) a composite number?
True
Let u = 22742 - -54069. Is u a composite number?
True
Let p = 1091 - 624. Is p prime?
True
Let b(x) = 5*x**3 + x**2 - x + 3. Let g(n) = n**2 + 2*n. Let w be g(-3). Let j be b(w). Let d = j - -17. Is d prime?
False
Let i(u) = -3*u - 2. Let r be i(-3). Suppose -7 - r = -c. Is c a prime number?
False
Suppose -3*z + 25*v - 28*v + 12324 = 0, -3*v = -4*z + 16397. Is z a composite number?
True
Suppose 9418 = 2*d + 4*l, -16*d + 18*d - 9418 = -l. Is d prime?
False
Suppose -4*p + 4*k + 25 = 3*k, 5*k = -5*p. Suppose -2*x + 1161 = p*n, -3*n + 691 = 13*x - 9*x. Is n composite?
False
Suppose 0*n + n - 513 = -5*p, 5*p = -2*n + 1041. Let h = n + -147. Is h a composite number?
True
Let u be (3/2)/(15/20). Suppose -2*s + 4*o = -2494, -480 = -u*s + 5*o + 2010. Suppose 12*b = 7*b + s. Is b composite?
False
Let b = -42 - -97. Is b composite?
True
Let n(w) = -2*w**3 - 3*w**2 - 6. Let r be n(-5). Let k = r - 14. Is k composite?
True
Let h = 3359 + -1236. Is h prime?
False
Let l(d) = -1. Let w(b) = 51*b + 61. Let i(q) = 3*l(q) - w(q). Is i(-15) composite?
False
Suppose 0 = 90*i + 575418 - 3407628. Is i composite?
False
Let c be (2/4*237)/((-9)/288). Is -1 + c/(-18) - 4/6 composite?
True
Let b(y) = 3*y**2 - 33*y + 11. Is b(-20) prime?
True
Suppose -9*g = z - 12*g - 46225, 0 = -z + 2*g + 46229. Is z composite?
False
Let j(q) = -q - 10. Let w be j(-15). Suppose 7*i - 30 = w*i. Is (-2104)/(-10) - i/(-25) a composite number?
False
Suppose -14005 = -5*s - 3875. Suppose 7*u - s = 25. Is u prime?
True
Suppose -111105 = -9*d + 47934. Is d composite?
True
Let w = 62 - 44. Let m = 30 - w. Suppose 13*a - 113 = m*a. Is a a composite number?
False
Suppose 5*a + 4*b - 5728 = 0, 4582 = -0*a + 4*a + 3*b. Let d = a - 513. Is d composite?
False
Let k be 1 - 2 - 3 - -1. Let n be 1/(k + 5596/1864). Is n/2*(-3)/(-3) composite?
False
Let x = 209 - -593. Suppose -57*m + 55*m + x = 0. Is m composite?
False
Suppose 3*j + 3*a + 12 = 0, -2*j - 2*j - 3*a - 11 = 0. Is 1399 + (j - 2/2) a prime number?
True
Suppose 46*v = 63101 + 64365. Is v prime?
False
Let d(q) = -3*q + 8. Let l be d(3). Is (2 + -1)*222 - (l - 0) composite?
False
Suppose -162752 = -15*u + 307603. Is u a prime number?
True
Let i be (-2)/7 + 6341/119. Suppose i*s = 50*s + 3771. Is s composite?
True
Let c(h) be the third derivative of h**9/12096 - h**8/10080 + h**7/2520 + h**5/12 + h**2. Let u(a) be the third derivative of c(a). Is u(3) prime?
False
Let i(l) = -5*l**2 - 3*l - 2. Let s be i(-1). Is 821 + -4 + 2 + s prime?
False
Suppose 2*h - h = 0. Suppose -3*u - 2*u + 2*y = -475, h = -y + 5. Is u*(0 - (3 + -4)) a composite number?
False
Suppose -23 = -g - 21. Suppose w - 2880 = -4*m, -g*m - 5*w = 2*m - 2896. Is m a prime number?
True
Suppose 0 = 5*o - 10, 9*h - 4*o = 4*h + 4587. Is h prime?
True
Let x(d) = -d**3 - 12*d**2 + 16*d - 17. Let a be x(-13). Let b = 65 - a. Is b prime?
False
Suppose 8*q - 5*q = 4*o + 14039, -14024 = -3*q + o. Is q a prime number?
True
Let o be -1 - (1 + -61*22). Let f = o - 419. Is f prime?
False
Let s(a) = -a + 223*a**3 + 44*a**3 - 2*a + 8*a**2 - 1 - 4. Let h(m) = 178*m**3 + 5*m**2 - 2*m - 3. Let g(y) = 8*h(y) - 5*s(y). Is g(1) prime?
True
Suppose -3 = -5*s + 22. Suppose -3 = z - s. Suppose 2*u - 1040 = -5*x, z*u = 6*u + 2*x - 2064. Is u a prime number?
False
Let x(b) = b - 11. Let p be x(5). Let a(s) = 16*s**2 - 8*s - 1. Is a(p) a prime number?
False
Is (-1267333)/(-459) + 2/(-27) prime?
False
Suppose 1242 + 318 = 5*w. Suppose w = 3*a - 285. Is a a composite number?
False
Suppose -32 = 4*r - 124. Suppose 63 + r = j. Let l = j + -40. Is l a prime number?
False
Suppose -4*b - 4*s = -16, -5*s + 5 = 4*b - 14. Is ((-3530)/40)/(1*b/(-4)) prime?
True
Let g(r) = 80*r - 9. Let o(v) = -v + 9. Let i be o(10). Let y(b) = b - 1. Let n(w) = i*g(w) + 5*y(w). Is n(-9) a prime number?
False
Let c = -2 + 1. Let y(a) be the first derivative of -251*a**4/4 + a**3/3 + a**2/2 + 143. Is y(c) prime?
True
Let y(j) = j - 1. Let n be y(5). Suppose 0 = -2*h + n, 2*k + 4*h - h = 184. Is k a prime number?
True
Is 1*(-32)/(-8) - -14919 a composite number?
False
Suppose 3*q + 12 = 0, -q - 1032 = -4*k - 268. Suppose 5*c - 1356 = c. Let i = c - k. Is i composite?
False
Is (4/16)/(651764/130352 + -5) a composite number?
False
Let p(b) = 29*b**2 - 3*b - 15. Let i be p(8). Let a = i - 666. Is a prime?
True
Is -17 + 18 + 12225 + 2 + -1 prime?
True
Let t(v) = -9*v**3 - 44*v**2 + 30*v + 29. Is t(-18) composite?
True
Let u be (36/48)/((-2)/(-8)). Suppose 8*g = u*g + 4390. Is g prime?
False
Suppose -7855 + 577 = -6*c. Is c composite?
False
Let g(x) = 11*x**3 - x**2 - 3*x + 1. Let y = 22 - 14. Suppose -4*v + y = -0. Is g(v) a prime number?
True
Let f(h) = 13*h**2 - h - 3. Let j(z) = z**2 - 8*z + 12. Let c be j(7). Is f(c) composite?
False
Let s(u) = u**2 - 6*u - 5. Let f be s(7). Suppose -898 = 4*m + f*q + 1306, 0 = -3*q. Let x = -205 - m. Is x prime?
False
Let o(a) be the first derivative of 1120*a**3 - a + 43. Is o(-1) composite?
False
Suppose 2*q + 2*q + 4*p - 24 = 0, 0 = -2*q + 2*p. Suppose -q*u + 200 = -u. Suppose i - u = -3*s, 6*s + i = 5*s + 34. Is s composite?
True
Suppose -8 = -3*h + k + k, 5*h - 3*k = 15. Suppose 10*r - 892 = h*r. Is r a composite number?
False
Let g(d) = 830*d**3 - 2*d**2 - 3*d + 30. Is g(5) composite?
True
Suppose -5*u + 1413 = -4*y, -3*y = -0*u + 2*u + 1031. Let k = 288 - y. Is k a prime number?
False
Let x(o) = 14*o**3 + 2*o**2 + 2*o. Let y be x(-1). Let j = y - -127. Is j a prime number?
True
Let m be 2*(-3 + (-21)/(-2)). Suppose 12*b - m*b = -1623. Is b a prime number?
True
Suppose 0 = -4*d - 4*g + 44, -d - g - 3*g + 11 = 0. Suppose 5*x = d - 1. Suppose -770 + 108 = -x*f. Is f a prime number?
True
Let m = -28025 + 61918. Is m composite?
False
Suppose -6*k + 0*k + 48 = 0. Suppose 0*h - 2*h = -k. Suppose -h*b - 746 = -5*l + 205, b = -5*l + 931. Is l a composite number?
True
Let p(c) = -c**3 + 13*c**2 + c. Let m(h) = -h**3 + 6*h**2. Let r(q) = 5*m(q) - 2*p(q). Is r(-5) prime?
False
Suppose -11*l + 6744 + 65163 = 0. Is l a prime number?
False
Is (17/68)/(2/134024) composite?
True
Let u be (-22)/143 - (-67)/13. Let f(z) = 5*z**3 - z**2 + 4*z + 1. Let r be f(u). Suppose -4*n + 571 = g - r, -295 = -n - g. Is n a composite number?
True
Let h(d) = -2*d + 8. Let n be h(6). Let q be (2 + n)*2/(-4). Is 1/q*(-2 + 6) a composite number?
True
Let i(r