 - 8*y + 4. Let j be u(3). Is (26820/j)/(-9)*(-5 - -1) prime?
False
Let w = 3 - 2. Let s be 49/28*(21 - w). Suppose -x - 2 = 3, -5*x + s = 4*a. Is a a prime number?
False
Let p(w) = 789*w**2 + 2*w + 2. Let r be p(-1). Suppose 0 = -m - 4*f - 40 + 835, -m = f - r. Is m prime?
True
Let y = 3567 - 2436. Let u = y + -778. Is u a composite number?
False
Let l(t) = t - 1. Let f(o) = -1393. Let v(n) = -f(n) - 4*l(n). Is v(0) composite?
True
Let j(b) be the first derivative of 63/2*b**2 + 12*b - 13. Is j(5) composite?
True
Suppose 2*p = p - 2*t - 6, 2*t + 6 = -3*p. Suppose p = -z - 0*z + 1543. Is z prime?
True
Let i(c) = -156*c + 5. Let x be i(-6). Let a = x + -436. Is a composite?
True
Let j(s) be the third derivative of 1/60*s**5 - 1/24*s**4 + 2*s**2 + 0*s + 7/6*s**3 + 0. Is j(9) prime?
True
Let x = 34 - 31. Suppose 131 + x = 2*y. Is y a prime number?
True
Let x = -9 + 11. Suppose -x*k + 0 = 12. Is ((-16)/k)/(-4)*-21 a composite number?
True
Suppose -8 = -3*c + 4. Suppose -382 = -6*z + c*z. Is z a prime number?
True
Let y(r) = -6964*r + 85. Is y(-4) prime?
True
Let a(x) = 84*x**2 - 4*x + 1. Let n be a(2). Suppose -20 + n = w. Suppose l - 4*l = -w. Is l prime?
True
Suppose 1 + 2 = 3*z, 5*z = 5*u - 2190. Is u a composite number?
False
Suppose -6*m + 47 = 3*k - m, 3*m - 21 = -k. Is -4 + (41025/k - 4/(-6)) a composite number?
True
Suppose -4*v - 1174 = -k, -2*k + k + 2*v = -1172. Let j(y) = y**2 - 6*y - 7. Let x be j(7). Suppose x = -5*i - 355 + k. Is i composite?
False
Let t(z) = -3*z + 13. Let u be t(5). Is (-157)/u - 6/(-12) composite?
False
Let x be 146/6 + 1/(-3). Let q(y) = y**3 + 5*y**2 - y - 3. Let i be q(-5). Suppose x = i*o + 4. Is o prime?
False
Let x = 8973 + -5144. Is (14 + -13)*(x + 0 + 2) composite?
True
Let y = 97 - -651. Let m = y - 312. Suppose 5*g + 163 - m = 3*a, 61 = g + a. Is g prime?
False
Let m(n) = n + 24. Let g be m(-14). Suppose -13*h = -g*h - 759. Let o = 700 - h. Is o a prime number?
False
Is 116*(-6)/(-4)*(-51)/(-102) prime?
False
Let a(f) = -4 + 308*f**2 - 4*f**3 + 0*f**3 + 13*f - 316*f**2 + 11. Is a(-10) prime?
False
Suppose 480*l - 758 = 478*l. Is l a composite number?
False
Let d = 4211 + 716. Let m = 9218 - d. Is m prime?
False
Suppose 5*g + 5*c - 77 = -32, 4*g - 36 = -3*c. Is (413/(-1))/(g + -10) a prime number?
False
Suppose 8107 = 12*s - 27809. Is s composite?
True
Suppose 5*n + 6*u = 2*u - 5965, 1187 = -n - 2*u. Let i = -796 - n. Is i prime?
True
Let r(h) = 68 - 20*h + 61 - 132. Suppose 0 = 3*p + 15, -3*p - 2*p = 2*x + 29. Is r(x) prime?
True
Let u(m) = 1472*m**3 - 6*m**2 - 12*m + 25. Is u(3) prime?
True
Suppose 296 = n - 377. Is n composite?
False
Let g(m) = 29*m + 18. Let o be g(15). Let b = o + -82. Is b prime?
False
Is (0 - -4303) + (48/(-8) - -6) a composite number?
True
Suppose 0 = 9*x - x + 16. Is (5585/(-10))/(1/x) a composite number?
False
Let u(q) = 489*q + 5. Let l be u(5). Suppose 0 = -2*d - 3*d + l. Suppose -304 = -2*i + d. Is i a prime number?
True
Suppose 5720 = 5*c + 3*k - 10582, 0 = -5*c + 2*k + 16307. Is c a prime number?
False
Let c(s) = -s - 1. Let q be c(-5). Suppose -6825 = -q*j + j. Suppose 321 = 4*o - j. Is o prime?
False
Is (0 - 42/(-9))/((-2)/(-1257)) prime?
False
Suppose 0 = 11*f - 6772 - 18891. Is f a prime number?
True
Is ((-1)/2)/(1 + (-7917)/7914) prime?
True
Let c(g) be the first derivative of g**2/2 - g - 3. Let k(i) = 20*i + 13. Let z(o) = 6*c(o) + k(o). Is z(11) a composite number?
False
Let b(v) = -v**3 - 5*v**2 - 5*v - 1. Let i be b(-4). Is (4688/24)/(2/i) prime?
True
Let g be -2 - -3 - (-3)/(-1). Let j be (-1941)/(-6) + (-1)/g. Suppose -5*n = -l - 3*n + 85, 4*n = 4*l - j. Is l a prime number?
False
Let g(p) = -2*p**3 - 2*p**2 + p + 553. Suppose 0 = -7*a + 5*a. Is g(a) a composite number?
True
Is ((-8)/(-20)*10)/6*33591 a prime number?
False
Let w be 2/(-9) + (-508)/(-18). Let a = w + 149. Is a prime?
False
Suppose -5 - 19 = -k - 4*z, -5*k + 44 = z. Let o(s) = -s**3 + 13*s**2 + 10*s - 21. Is o(k) composite?
False
Let s be (-3)/1*24/18 + 8. Suppose 4*d + 1512 = s*a, 0*d + 1898 = 5*a + 3*d. Is a prime?
True
Suppose -2298 = -4*d + 8954. Is d a composite number?
True
Suppose -58 = d - 3*d. Suppose -2*p - 3*p = -7*p. Suppose 5*j - 66 - d = p. Is j composite?
False
Suppose 2*r + 0 - 22 = 0. Suppose 20 = -4*l, 3*k + 5*l = -r - 23. Is 1/((-2 + k)/(-2455)) prime?
True
Let w(g) be the second derivative of -g**4/6 - 4*g**3/3 + 3*g**2/2 + 2*g. Let o be w(-6). Is (-3132)/o - (-1)/(-7) prime?
True
Suppose -3*w = 4*c - 264151, w + 41*c - 45*c = 88029. Is w composite?
True
Suppose a - 34 + 30 = 0. Let k = a + 27. Is k a prime number?
True
Let k(w) be the second derivative of w**4/3 - 5*w**3/2 + 11*w**2 + 14*w. Is k(-11) a composite number?
True
Let j = -64 - -66. Let t(y) = 128*y**2 + 2. Is t(j) a prime number?
False
Let a(y) be the second derivative of -y**6/120 - y**5/4 - 3*y**4/4 + y**3/2 - 3*y**2/2 - y. Let x(s) be the first derivative of a(s). Is x(-14) composite?
False
Let x = -17017 + 32710. Is x composite?
True
Suppose -3*h = 6, 4*v + 6 = 2*v - 5*h. Suppose -5*r + 5*t = -1265, -3*r - t + 1253 = v*r. Is r prime?
True
Let v(n) = -5475*n**3 + 3*n**2 - n - 2. Let o be v(-1). Let c = -3256 + o. Is c a prime number?
True
Let g(b) = 214*b**3 + 127*b**2 + 11*b + 3. Is g(5) composite?
False
Let m = 1537 - 653. Suppose -z + 2143 = -2*b - m, -3*b = -3*z + 9096. Is z composite?
False
Let a(p) = -4*p + p + 3*p - 7 + 4*p. Suppose -5*i + 5*z + 78 = 3, 3*i - 2*z - 46 = 0. Is a(i) a composite number?
True
Suppose -3*a + 0*a = 660. Let b = 487 - a. Is b prime?
False
Let k(w) = 2*w**2 + 5*w + 1. Let x be k(-7). Suppose -x = -a - 22. Let y = a + -28. Is y a composite number?
True
Suppose u + 0*u + 3*o - 22 = 0, -5*u + 45 = 2*o. Is u + -3 + 0 + 243 a prime number?
False
Let o(b) = 33*b**2 - 3*b - 7. Let h(q) = -q**3 + 8*q**2 - 7*q + 5. Let p be h(7). Is o(p) a composite number?
True
Let q(u) = -270*u + 47. Is q(-11) prime?
False
Let v(p) = -13*p**2 + 3*p + 2. Let j(y) = 12*y**2 - 2*y - 3. Let s(f) = 3*j(f) + 2*v(f). Let l = 111 - 114. Is s(l) a prime number?
False
Let g = 11 + -7. Suppose -4*t + p + 2263 = 0, -4*t + 220 + 2052 = -g*p. Is t a prime number?
False
Suppose 2*o = 6*o. Suppose o*h - 12 = -2*h. Suppose h*v - v - 745 = 0. Is v prime?
True
Suppose -n + 2*i - 192 = 4*i, -2*i = -n - 172. Let w = 501 + n. Is w prime?
False
Let h(k) = 47*k + 37. Let p be h(15). Suppose -556 = -3*y - d, -y = 3*y + 2*d - p. Is y a composite number?
True
Let n be (3/2)/((-2)/(-8)). Suppose n*v = 5*v - 9. Is (1 - -2)/(v/(-33)) a composite number?
False
Let g(h) = 2*h. Let f be g(2). Suppose 2*a + 2*m + 2 = 0, -3*a - 26 = -2*a - f*m. Is (-2)/6 - 392/a composite?
True
Is (7 + -3)*3*79877/84 a composite number?
False
Suppose -41802 = -h + 31379. Is h a composite number?
False
Let c = -5 - 0. Is c/(-10) + (-2714)/(-4) a composite number?
True
Suppose 2*g - 28 = 4*q, 3*g - 29 = -q + 20. Suppose 0 = 4*k + g, -4*k + 8 - 23 = -w. Is (w - 3) + 1 + 334 prime?
True
Suppose 12*c - 14*c + 7877 = -3*x, 3*c = -x + 11810. Is c composite?
True
Let r(x) = -589*x - 10. Let g be (1/(-2))/((-6)/(-36)). Is r(g) a prime number?
False
Let u be (-3)/5 - 128142/(-45). Let a = u - 238. Is a a composite number?
False
Suppose 40 - 12 = 7*s. Suppose j = -z + 6*j + 459, -s*z + j = -1798. Is z a prime number?
True
Let c(o) be the second derivative of o**5/20 + o**4/6 + 5*o**3/2 - 17*o**2/2 + 4*o. Is c(12) a prime number?
True
Let b = -1675 + 6168. Is b a prime number?
True
Let z = -480 + 5501. Is z a prime number?
True
Is (5 - 4)*(20886 + -13) a prime number?
True
Let v be 4616/48 - 2/12. Let t = -57 + v. Is t prime?
False
Let g be 0 - 4/(3 - 4). Suppose 5*p + 0*d + g*d - 6909 = 0, -2*p = -d - 2774. Is p prime?
False
Let r(u) = -16*u + 451. Is r(-21) a prime number?
True
Let h = -268 + 7. Let s = -550 - h. Is ((-9)/3)/3*s a prime number?
False
Suppose 0 = 4*p + p - 1670. Suppose -340 - 183 = -2*u - j, -5*j = -u + 267. Suppose -4*o + p = -u. Is o composite?
False
Suppose 5*l - 1445 + 490 = 0. Suppose -19*b - 600 = -13*b. Let k = b + l. Is k a composite number?
True
Let x(f) = 6*f**3 - 26*f**2 + f + 53. Is x(12) prime?
True
Let y be 21064*(1 - (-3)/(-6)). Suppose 4*q - q + 5*n = y, 4*q = -n + 14054. Is (-4)/(-22) - q/(-154) composite?
False
Suppose k = 