te number?
True
Let x = 119 - -14276. Is x a prime number?
False
Suppose 12*f - 32 = 16732. Is f a prime number?
False
Let y = -1137 - 573. Let l = 2455 + y. Is l prime?
False
Let z = 189 + -98. Let u = 176 + z. Is u prime?
False
Let c = 1896 - -1734. Suppose -4*m - 2*d + d = -3629, -4*m + c = 2*d. Is m composite?
False
Let s(v) = -1 - 5*v - 4*v + 4*v + 6. Let i be s(4). Let n(j) = -j**3 - 14*j**2 + 8*j - 14. Is n(i) prime?
False
Suppose 3*h - 4*i = 5, -5 + 4 = -i. Suppose -3*k = k + h*y - 1423, -5*y - 15 = 0. Is k a prime number?
False
Let h(o) = 1. Let g(n) be the second derivative of 23*n**3/6 - 3*n**2 - 5*n. Let s(p) = g(p) + 6*h(p). Is s(3) prime?
False
Suppose 4*n = 3*l + 51, -17*l + 21*l = -20. Suppose 3*h = d + 7*h + 15, -5*d + h = 75. Is (-1254)/d + n/(-15) prime?
True
Suppose -t - t + 25 = 5*p, 4*p - 7 = t. Suppose -4*d + 48 - 40 = 0. Suppose 1470 = t*w - k, 308 = w - 5*k + d*k. Is w prime?
True
Let z(q) = 226*q + 47. Is z(60) composite?
True
Let j(z) = 99*z - 53. Is j(2) prime?
False
Suppose 2*d + 94 = q, -5*q + 143 + 306 = -3*d. Suppose -1588 = -4*f - q. Let x = -154 + f. Is x prime?
False
Let c(a) = 15*a**2 + 11*a + 17. Is c(-2) prime?
False
Let i(r) = r**3 + r. Let t(p) = -7*p**3 + 5*p + 7. Let u(v) = -i(v) + t(v). Is u(-3) composite?
False
Suppose 8*n - 9*n = 1. Is (-3 - n - -594) + 1 prime?
True
Suppose 4*a + 4*n - 20 = 0, 4*a + 3*n - 14 = n. Let k be 84 + 1*(5 + -7). Suppose -w = -a*w + k. Is w composite?
True
Suppose -8*p - 4*p + 54804 = 0. Is p a composite number?
False
Let b(v) = 5*v**3 - 17*v**2 + 32*v + 107. Is b(19) prime?
False
Let t = -3 - 5. Let c = 15 + t. Suppose 4*h - 2*n = 276, -4*n + 12 = -c*n. Is h composite?
False
Let s(n) = n**3 - 14*n**2 - 16*n + 17. Let i be s(15). Suppose -5*a + 3*j + 7631 = -j, -2*a + 3056 = i*j. Is a prime?
False
Suppose h = -3*p, -5*p = 5*h - 11 + 1. Suppose 375 = h*z - 3*y, 2*z - 170 = 3*y + 78. Is z prime?
True
Let o(s) = -2*s**2 + 4*s + 1270. Let n(f) be the third derivative of -f**5/60 + f**4/12 + 635*f**3/6 + 10*f**2. Let c(j) = 5*n(j) - 2*o(j). Is c(0) prime?
False
Let w be (1 - -1)*(-2005)/10. Let v = 622 + w. Is v composite?
True
Let g(a) = 72 - 127 - 3*a + 37*a + 4*a. Is g(16) a prime number?
False
Suppose -l - 4*t = -3555, -l + 4*t + 2065 = -1522. Is l composite?
False
Let m(p) = -612*p + 65. Is m(-3) a composite number?
False
Suppose 0 = -0*p - 4*p. Suppose p = q - 6*q + 10. Suppose 7*r - q*r - 760 = 5*i, 5*i - 432 = -3*r. Is r prime?
True
Suppose 5*i = -5*u + 15, u = -4*i + 4 + 2. Suppose 4*v = t + 11 - i, -4*t = v - 28. Is -31*(12/4 - t) a prime number?
False
Suppose 0 = -5*h + 44384 + 35661. Is h prime?
False
Suppose -v - 2 = -4. Let c be (2*v)/(16/12). Suppose -5*z + i - 2*i = -3934, c*z - 2*i - 2363 = 0. Is z prime?
True
Let t be (-264)/(-10) - (-46)/(-115). Suppose -1371 = -5*m - t. Suppose 4*i - 591 = m. Is i a composite number?
True
Let p(t) = -183*t - 104. Is p(-21) a composite number?
False
Let h = 17770 + 22051. Is h prime?
True
Suppose -11*y + 8*y = -4206. Is y a prime number?
False
Suppose -m - 5*u = 17, -2*m = -0*u - u + 1. Is 633/6*m/(-1) a composite number?
False
Let m(p) = -p**3 - 7*p**2 + 2*p + 19. Let k be m(-7). Is ((-1)/3)/(41456/8292 - k) composite?
False
Let f(n) = 52*n**2 + n - 12. Suppose -2*y - 8 = -2*b, -11 = b - 3*b + y. Is f(b) a prime number?
True
Let d(y) = 5*y - 10. Let k be d(-8). Let m = k - -210. Suppose 4*z + m - 636 = 0. Is z prime?
False
Suppose 5*c - 14 = x, -x = c + 3 - 1. Let o(w) = w**3 + 4*w**2 - w - 2. Let t be o(x). Suppose -3*p = r - 265, -3*p + 2*p = t*r - 85. Is p prime?
True
Suppose -2*h = -502 - 4456. Is h a prime number?
False
Is (48788/(-18))/((-40)/180) a composite number?
False
Let y(s) = s**2 - 5*s - 47. Let m(x) = -23*x - 3. Let o be m(-1). Is y(o) prime?
False
Suppose 3*w - 22*j + 24*j = 174633, -5*w + j = -291055. Is w prime?
True
Let c(v) = v**2 - 6*v - 5. Let t be c(7). Suppose -t = -d, 3*u - d = -u + 2082. Is u composite?
False
Let g(p) = 2*p**2 - p - 1. Let t = -12 + 11. Let l be g(t). Suppose 6*f - l*f = 2*q - 526, 1299 = 5*q - 2*f. Is q a prime number?
False
Suppose -4*r + 0*r = 40. Let b be 18*3 + (r - -8). Suppose 4*h + 3*q - 218 = q, 0 = -h - q + b. Is h a composite number?
True
Let m(h) = 9*h + 1. Let d(b) = -b**2 - 7*b - 2. Let u be d(-4). Let t be m(u). Let q = t - 14. Is q a prime number?
False
Suppose 0 = -4*r + 2*n + 7 + 9, 3*r - 4*n - 7 = 0. Suppose 5*y = 3*s - 512, r*s + 2*y - 4*y = 885. Is s a prime number?
True
Let d = 35 - 32. Suppose 5*w = -d*w + 712. Is w prime?
True
Let k = 11 + -3. Is -1 - (42 + -2)/(k/(-12)) a prime number?
True
Let b = -13 - -7. Is 122 - -2 - b/(-3) prime?
False
Let a(u) = u**2 + 2. Let g be a(0). Suppose -d + g*b = -10, 5*d - 22 = d - b. Is (34/(-4))/((-1)/d) prime?
False
Let z(o) = 20268*o - 537. Is z(3) a composite number?
True
Suppose 261596 + 134073 = 23*q. Is q a prime number?
True
Suppose -2*y + 12638 + 134281 = 5*w, 3*w - 88157 = -4*y. Is w a composite number?
False
Let h(v) = -44*v**3 + 8*v**2 - 3*v + 9 + 8*v - 3*v**2 - 6*v**2. Is h(-4) a prime number?
True
Let i(z) = 171*z + 18 - 11 + 5 + 1. Is i(4) composite?
True
Let d(b) = 341*b - 3. Let g(r) = -340*r + 2. Let p(y) = 5*d(y) + 4*g(y). Is p(2) a composite number?
False
Let c(u) = 2*u**3 - 2*u**2 + u + 2. Let f be c(-1). Let y(z) be the first derivative of -5*z**4/2 - z**3 + z**2 + 1. Is y(f) prime?
False
Is (-1 + -13996)*(-16 + 15) prime?
True
Let s(b) = -b**3 + 16*b**2 - 6*b - 16. Let y be s(13). Let f = 835 - y. Is 3/((-24)/f)*-4 composite?
False
Let u = 14268 - 5940. Is ((-3)/(-2))/(12/u) a prime number?
False
Suppose 6*l - 3 = 45. Suppose -3*w + l = -w. Suppose -w*z + 65 = -395. Is z a prime number?
False
Is 70126/(-84)*-12 + 0/1 composite?
True
Let g be (3 - 2)/(2/10). Suppose -g*n = -n - 140. Let d = n - -50. Is d composite?
True
Is 22/(-6)*(-7 + (-1236)/6) a prime number?
False
Suppose 0 = -8*v + 3*v + 2*g + 18, -4*g - 12 = -4*v. Suppose v*c - 99 = -1087. Is 10/15 - c/3 prime?
True
Let j(v) = v**3 - 27*v**2 - 68*v + 79. Is j(35) prime?
True
Let z be 2/(-3)*(-18)/12. Suppose -595 = -4*k + z. Is k composite?
False
Let w be 4 - 1 - (-9 - -10). Suppose -5*v + 4*j + j - 45 = 0, -16 = w*v - 3*j. Is (-2)/v + 9786/22 prime?
False
Is 2*(1 + 3741/6) prime?
True
Is -3 - -2 - ((-10)/(-2) + -11727) prime?
False
Is (1217 - 0)*(7 - 6) a composite number?
False
Let j = -2397 + 14294. Is j a prime number?
True
Let s(r) = r**3 + 3*r - 2. Let w be s(1). Is (-1)/(w/6) - (-151 - -21) a composite number?
False
Suppose -4*m = -4*x + 7552, 3*x + 7551 = 7*x - 5*m. Is x prime?
True
Suppose -24 = -2*s - 5*w, 5*s - 3*w + 2 = -0*w. Suppose f = -s*f + 6. Let k(c) = 19*c**3 + c**2 - c + 1. Is k(f) a composite number?
True
Is 1*841*(-5 - -6) prime?
False
Let n(v) = 232*v**2 - 2*v + 1. Suppose 3*u - 11 = 2*t - 6*t, -4*u - t = -6. Let d be n(u). Suppose d = j - z + 53, j + 5*z - 184 = 0. Is j a prime number?
True
Let j(c) = -c**3 - 7*c**2 - 9*c - 15. Let t be j(-6). Suppose -3*x + 53 = g, -t*g - 4*x + 159 = -2*x. Is g composite?
False
Is (1/(20/(-31810)))/((-2)/12) prime?
False
Suppose -2639 = -o - 0*o - 2*a, 5*o - 4*a = 13125. Is o a prime number?
False
Let o(n) = 75657*n - 154. Is o(1) a composite number?
False
Let f = 24 + -21. Suppose 5*s + 0*q + f*q = -15, 3*s + 2*q + 10 = 0. Suppose -4*r = 5*l - 1258, s*r = -4*l - 2*r + 1010. Is l prime?
False
Let p(u) = -u**2 + 9*u + 1259. Is p(0) a composite number?
False
Suppose -3*w - 42 = 3*w. Is (2 - w)*446*(-2)/(-12) composite?
True
Let b(w) = -16*w + 6. Let h be 68/(-16)*1*4. Let l(u) = 5*u - 2. Let f(q) = h*l(q) - 6*b(q). Is f(13) a composite number?
True
Let g = -52 - -34. Let f be 11732/g - (-8)/(-36). Let w = -387 - f. Is w prime?
False
Let w be 1/((-4)/(-120)*2). Let i be w/(-3 - 0) - 3. Is 598*((-28)/i - 3) a prime number?
False
Let c(y) be the second derivative of 0 + 1/2*y**2 - y - 2*y**3. Is c(-3) a composite number?
False
Let j = 2723 - 472. Is j a composite number?
False
Let t(g) = -93*g**3 - 4*g**2 + 6*g + 56. Is t(-3) composite?
True
Suppose 5 = 5*t - 20. Suppose 3 = -l - t. Is 2/8 + (-54)/l prime?
True
Suppose -9 = -3*z, 102*z - 103846 = -2*d + 106*z. Is d a prime number?
True
Let s(o) = -2*o + 15. Let z be s(-7). Is (z/(-87))/(1/(-1245) + 0) composite?
True
Let c(f) = 46*f**2 