
Let s(i) = i - 4. Let v be s(3). Let m be v/4 + (-1)/(-4). Is m + (220 - (-7 - -4)) a prime number?
True
Let d be (-3 - -3) + 179 + 1. Let c = d + -84. Suppose -3*a = 2*b - c, -a = -b - 0*b - 37. Is a a composite number?
True
Let h(n) = 5*n - 2 - 11*n - 13*n - 21*n - 5. Let p(l) = -2*l. Let a be p(3). Is h(a) prime?
True
Suppose -2*w = 4*w - 2340. Let y = w - 189. Is y prime?
False
Let q be 2 - (2 + 2) - -987. Suppose -o - 5*s + 423 = o, -q = -5*o + 2*s. Let x = 390 - o. Is x prime?
True
Let l(n) = 66*n**2 - 29. Is l(5) prime?
True
Let n(g) = g - 8. Let d be n(8). Let x(w) = -w**2 + 5. Let f be x(d). Suppose -5*b + 650 = -f*m, -m - 1 - 2 = 0. Is b a composite number?
False
Let u(r) = 2*r**2 - 3*r + 1. Let h = -36 - -24. Let n = h - -14. Is u(n) composite?
False
Let q(h) = -h**3 - 6*h**2 - 5*h + 2. Let o be q(-5). Suppose -y = o*z - 470, z + 4*z - y = 1189. Suppose z = -7*l + 2974. Is l a composite number?
True
Is (-6)/(-14) - 1775902/(-469) prime?
False
Let k = -2 + 7. Suppose 4*a - 16 = 0, -13 = -k*u - 3*a + 4. Is (117 - u)/(2 + 0) composite?
True
Let p = 20 + -16. Suppose -3*w + 22 + 161 = v, -263 = -p*w + 5*v. Suppose -w - 203 = -5*g. Is g a composite number?
False
Let g be ((-1)/(-2))/(8/16). Is (g/(-2))/(1*4/(-5464)) prime?
True
Suppose 0 = 99*g - 97*g - 16. Suppose 3*b - g*s - 1949 = -6*s, -3249 = -5*b + 4*s. Is b prime?
False
Let h = -284 - -527. Let m = -132 + h. Is m prime?
False
Let f be (-4)/(-2) + 15/3. Suppose y = -f + 13. Suppose -y*j + j = -165. Is j composite?
True
Suppose 0*t + 8*t - 35544 = 0. Is t a prime number?
False
Let u = -19 - -28. Suppose 4*w - 3 = -k, 5*w - 3*k - 16 = u. Suppose x - 1119 = -5*r + w*x, 5*x - 426 = -2*r. Is r a prime number?
True
Let z(a) = a**2 + 2*a - 8. Let r be z(-6). Suppose r*m = 1896 + 19720. Is m prime?
False
Suppose -2156 = -0*u + 7*u. Let a = u - -577. Let d = -78 + a. Is d a prime number?
True
Suppose -9669 = 4*o - 34945. Is o a prime number?
False
Suppose 2*s - 2 - 4 = 0. Let l(n) = -14*n**s - 6*n + 3 + 2*n - n**2 + 0 + 36*n**3. Is l(2) a prime number?
True
Let m(j) = -517*j - 17. Let s be m(-5). Suppose -4*i + s = 4*i. Is i a composite number?
True
Is (1 + -5)*384282/(-72) composite?
True
Let m(b) = b**3 - 12*b**2 - 14*b + 7. Let u be m(13). Is ((-4869)/18)/(-2 - 9/u) a prime number?
True
Suppose -21*q - 3*q = -135336. Is q a prime number?
True
Let n = 7123 - 1028. Suppose 5*c = c + 12, -4*x = c - n. Is x prime?
True
Is ((-29076)/(-9))/(44/99) a prime number?
False
Let q(m) = -m**3 + m**2 + 6*m - 5. Let s(j) = 2*j - 3*j - 1 - 2 - 7. Let i be s(-5). Is q(i) composite?
True
Let k(o) = 5*o - 15. Let i be k(6). Let x be 6/i + (-24)/10. Is (-10)/(-5)*(-178)/x composite?
True
Let y(c) = -16*c**3 + 3*c**2 - 5*c - 5. Is y(-4) a prime number?
True
Let w(x) = -5*x - 17. Let o be w(-4). Suppose 0 = 2*n + 2*h - 3386, -5*n + 2*n + o*h = -5079. Is n prime?
True
Suppose -2*s + 8 = 2. Suppose 0*z = s*z - 381. Is z prime?
True
Suppose -238 = -6*q + 434. Let v = 191 - q. Is v a prime number?
True
Let c(u) = -u**2 + 26*u + 23. Let l(n) = -3*n - 46. Let k be l(-22). Is c(k) a composite number?
True
Let i = 18 - 9. Suppose -14*o + 13945 = -i*o. Is o a prime number?
True
Let h(f) = -f**2 + 4*f + 8141. Is h(0) a prime number?
False
Suppose 35*w = 42*w + 42. Let v(n) = -n + 2*n + 3*n**2 - 2 - 5. Is v(w) a prime number?
False
Suppose -m + 6761 = 4*q, -3*q = -2*m - 647 - 4432. Is q prime?
False
Let n = 15 + -477. Let x = 1111 + n. Is x a composite number?
True
Suppose -5*t = -x - 2*x - 46, 0 = -5*t - 2*x + 61. Let v(a) = -2*a**2 - 26*a - 12. Let d be v(-13). Let p = t - d. Is p composite?
False
Suppose 3*g - 11 - 24 = 5*r, -5*r = -2*g + 30. Let q = 7 - 2. Suppose 4*s + 116 = 3*d - 533, -g*d = q*s - 1140. Is d prime?
True
Let c(r) = 17*r**2 + 9*r + 2. Let k be c(8). Suppose 39*n - 32*n - k = 0. Is n a composite number?
True
Let u(j) = -48*j**2 + 9*j + 3. Let o(p) = -47*p**2 + 10*p + 4. Let x(y) = 5*o(y) - 6*u(y). Let n(s) be the first derivative of x(s). Is n(5) a prime number?
False
Let j(w) be the second derivative of 235*w**4/2 + w**3/3 - w**2/2 + 28*w. Is j(1) prime?
False
Suppose 2*n - 1 = 5. Suppose -x - 5*t = -n*t + 3, 3*x - 3*t - 27 = 0. Suppose 5*j + 791 = x*f + 31, 2*f + 3*j = 289. Is f a composite number?
False
Let c be (-1 + (-320)/(-2))*(0 + 1). Let g = 92 + c. Is g a prime number?
True
Let w = -2350 - -4929. Is w composite?
False
Let d(k) = -k**3 - k**2 - 3*k - 9. Let t be d(0). Is (-69895)/(-45) + 2/t prime?
True
Let t = 809 - -2850. Is t a composite number?
False
Let s be (1/2)/((-12)/(-1584)). Let o = s + 13. Is o a prime number?
True
Suppose 0 = -j - 0 - 2. Is 124674/(-88)*j/3*2 a composite number?
False
Let x = 4123 - 2454. Is x a composite number?
False
Let o(u) = -u**3 + 20*u**2 - 44*u - 43. Is o(14) a prime number?
False
Let k(u) = -420*u**3 + 2*u**2 - 13*u - 35. Is k(-4) prime?
False
Let n(h) = -3*h + 3. Let s(w) = 7*w - 6. Let v(a) = 9*n(a) + 4*s(a). Let o be v(5). Suppose -2*g - o = -60. Is g prime?
False
Suppose 2*f + 5*c - 281 = -f, 2*f + 3*c = 186. Let m = f - -544. Is m a composite number?
False
Suppose 3*y + 5*i = 2 + 77, 3*y = i + 49. Let p(d) = 2*d**2 - 25*d - 7. Is p(y) composite?
False
Is 10 + 18343*(-5 - -6) prime?
True
Suppose 5*y = 2*m - 8 - 0, 0 = 3*y + 3*m - 12. Suppose b + 4*c = -3*b + 24, -4*b - 3*c + 20 = 0. Suppose 422 = -y*z + b*z. Is z a prime number?
True
Suppose 3*d + 38 = s, 0*d - 134 = -3*s + 5*d. Suppose 0 = -p + 6 + s. Suppose 0*i = 3*i, t = -4*i + p. Is t prime?
True
Is (-8)/32 + 183659/28 a prime number?
False
Suppose 0 = 4*d - 2*d. Suppose 4 = -4*z + c, -3*z + c = -5*z - 2. Is d + z*26/(-1) a prime number?
False
Let l(c) = -12*c - 11. Suppose 0*i - 96 = 6*i. Let g be (i/6)/((-1)/(-3)). Is l(g) a prime number?
False
Let x = -5 + 8. Suppose -3*t = 3*a - 15, -5*t - x*a = -0*t - 15. Suppose 5*f - 371 + 26 = t. Is f a prime number?
False
Let a be 0 - (-15)/20*-4. Is (633/9)/(a/(-45)) prime?
False
Suppose 1 = -3*l - 5. Let d be l - (2 + -58)/(-4). Let s = d + 73. Is s a prime number?
False
Is (-20418)/(-15) - ((-12)/(-10) + -1) a composite number?
False
Let s(a) be the third derivative of a**4/24 - 7*a**3/6 + 8*a**2. Let f be s(9). Is 10/(-20)*(f + -780) prime?
True
Suppose -2*l - 2 = 2. Let i(z) be the third derivative of -31*z**6/120 + z**5/60 + z**4/12 + z**3/2 + 2*z**2 + 33*z. Is i(l) a prime number?
True
Let n = -1096 + 19535. Is n composite?
False
Suppose -19279 + 3831 = -8*v. Is v a prime number?
True
Let m = -43 + 28. Let o(q) = -q - 12. Let t be o(m). Suppose 4*v + 5*u = 6*u + 1274, 6 = t*u. Is v composite?
True
Let p(y) = -y**3 - 7*y**2 - y + 5. Let x be p(-7). Suppose -2*t - 4*v = -0*v - x, 4*t + v = 3. Suppose t*n + 5245 = 5*n. Is n prime?
True
Let n = 5129 - 2692. Is n composite?
False
Let p = -63 + 68. Suppose 5*j + p*x - 401 = 3*x, x = -2*j + 161. Is j prime?
True
Is (-2239525)/(-261) - (-8)/18 composite?
False
Suppose -5*b = -3*c - 26, -2*b - 22 = -6*b + 3*c. Suppose 3628 = b*r - 0*r. Is r a composite number?
False
Let q(y) be the second derivative of -19*y**5/20 - y**4/6 + y**3/3 + y**2 - y. Let m be q(-2). Suppose -z + m = z. Is z prime?
True
Suppose -649*b = -655*b + 63834. Is b composite?
False
Let h(d) = d**3 - 7*d**2 - 23*d - 32 - 3*d**2 + 11*d. Is h(13) a composite number?
True
Let y be 334*(0 - 2/(-4)). Let w = -98 + y. Suppose 4*u = -w + 689. Is u a prime number?
False
Suppose -h + 4*y = h + 812, 2*h + 797 = y. Let c(o) = -616*o + 1. Let t be c(-1). Let d = h + t. Is d prime?
False
Let k be (-10)/25 - (81946/10 - 3). Let r = -4497 - k. Is r composite?
True
Suppose m - 622 = 5*r + 845, 0 = -3*r - m - 877. Let x = -172 - r. Is x composite?
True
Let b = 43 - 85. Let r = 76 + b. Let h = 1 + r. Is h composite?
True
Let o(g) = -154*g**2 + 9*g - 17. Let h(k) = k**2. Let d(x) = -h(x) - o(x). Is d(4) composite?
True
Let t be -5*(0 + -2 + (-112)/(-35)). Is (t + 192/9)*(-174)/(-4) prime?
False
Let r(o) = -o**3 - 10 - 5*o + 12 + 7*o**2 + 13*o. Let x be r(8). Suppose 141 = -2*u + 3*n + 461, x*n = -4*u + 656. Is u composite?
False
Let j(d) = -2*d - 6. Let a be j(5). Let k = a + 16. Suppose -4*t - 3*h + 1574 = k, 3*h = -3*t + 1911 - 732. Is t prime?
False
Suppose -7*z + 3*z - 36 = 0. Let a(r) = -13*r**2 - 8*r - 35. Let v(t) = -6*t**2 - 4*t - 17. Let n(h