s m composite?
True
Let u = -13027 - -22026. Is u composite?
False
Let t be (153/204)/((-3)/(-824)). Let g(y) = 2*y**2 + 4*y - 7. Let x be g(6). Suppose -x = -5*i + t. Is i prime?
True
Suppose -4*c = -4*m - 18892, 2*c + m + 23607 = 7*c. Is c prime?
True
Let c(x) = 136811*x**3 - x**2 + 17*x - 16. Is c(1) a composite number?
False
Suppose -2*n - 14 = -4*n. Let y(c) = c**3 - 8*c**2 + 6*c + 3. Let p be y(n). Is (9 + p)/(2/58) a prime number?
False
Is 5 + -1 - (9/3 + -6) composite?
False
Suppose -90*w + 739185 = -1416945. Is w prime?
True
Let m be (183 + -1)*25/(-10). Let i = 996 + m. Is i a prime number?
True
Let o(m) = 2*m**2 - m - 2. Let r be o(2). Let a = -617 - -896. Suppose a = r*h + 11. Is h a prime number?
True
Suppose 0 = -5*j + 58 - 233. Suppose -k - 30 = -142. Let u = j + k. Is u composite?
True
Is (0 - 1)/(2/(-91978)) composite?
False
Let y(s) = 7*s**2 + 8*s + 116. Is y(-49) a composite number?
True
Suppose -3*o + 2 = -3*c + 5, -5*c - 4*o = -14. Let n(i) = 431*i**3 + 3*i**2 - 7*i + 11. Is n(c) composite?
False
Let c = -41 + 47. Let s(z) = z**3 - 5*z**2 - 6*z + 5. Let v be s(c). Suppose v*f = 10*f - 3515. Is f composite?
True
Suppose 13*z - 306 = 10*z. Suppose 212 = 2*r - z. Is r a composite number?
False
Let a(f) be the third derivative of -89*f**7/1680 - 7*f**6/720 - f**5/60 + 10*f**2. Let b(o) be the third derivative of a(o). Is b(-4) a prime number?
True
Let c = -7 - 8. Suppose 5*v - 3*v - 3382 = 2*x, 3*v - 5074 = 4*x. Is v/c*(-6)/4 prime?
False
Suppose 6 = 11*j - 13*j. Let b be (3/4)/(j/(-384)). Let o = b - -89. Is o a composite number?
True
Suppose 85*j - 2 = 86*j. Is (18/(-27))/(j/1611) a composite number?
True
Let o(i) = -115*i - 10 - 15*i + 11. Let b be o(-1). Is (-8)/(-28) - b/(-7) a prime number?
True
Let s(v) = v**3 - v**2 - v + 28. Let d be (-3)/(-3)*(-1 + 1). Let k be s(d). Suppose k = -2*g + 258. Is g composite?
True
Suppose 0 = -2*m + 8, y - m = 4*m - 22. Is (y - (702 + -1))/(-1) prime?
False
Suppose 11*k - 212 = 7*k. Let c = -13 + k. Let p = c - -19. Is p a prime number?
True
Let p(r) be the first derivative of -5*r - 6 + 3/2*r**2 + 16/3*r**3. Is p(-6) a prime number?
False
Let x = 7307 + -2472. Is x a prime number?
False
Suppose 3*h + 12*h - 30 = 0. Suppose 3*j - 8815 = -h*j. Is j prime?
False
Suppose -2*c - 8 = 4*s, -c - 1 = 3*s - 2*c. Is s*(-1904 - 1)/3 composite?
True
Let d = 10 + -4. Suppose 5*p = i - 132, -4*i - 3*p - 257 = -d*i. Is i composite?
False
Suppose 0 = -3*a + 4*w - w + 534, 5*a = 4*w + 889. Suppose -a = 2*f - 5*f. Is f composite?
False
Let p(a) = -9*a + 3*a + 4*a + 204*a**2 + 3*a. Is p(-1) a composite number?
True
Suppose -4*a - s = -3*a - 41219, 0 = -5*s - 10. Is a prime?
True
Suppose 3*g + 4*t = 1990, 0 = -5*g - 3*t + 2939 + 385. Suppose -14*z = -11*z - g. Suppose 473 + 82 = 5*y - 2*v, -v - z = -2*y. Is y a prime number?
False
Let p(t) = 3565*t + 242. Is p(3) a composite number?
False
Is -94157*(-14)/(-245)*-5 a prime number?
False
Let o(i) = -7*i**3 - 6*i**2 - 48*i - 8. Is o(-11) composite?
True
Suppose 3*f = -11 + 98. Let j = 157 + f. Suppose 2*a - 48 = -2*y + 332, y + 5*a - j = 0. Is y a composite number?
False
Suppose -y + 3635 = 4*y. Let x = 161 - y. Let b = -295 - x. Is b a composite number?
False
Suppose -3*y + 1692 = h, 5*h - 1680 = y - 4*y. Is y prime?
False
Suppose 0 = -10*z + 11763 + 12087. Let k = z - 1480. Is k prime?
False
Suppose -4*q - a + 5 = 0, -3 = -0*q - 2*q - a. Let c(n) = -113*n**2 - 2*n + 1. Let u be c(q). Let s = u + 203. Is s composite?
False
Suppose 5*s - 21 = 4. Is 87 - (s + 1)/3 a prime number?
False
Suppose h + 2*w = 6 - 3, 0 = -2*h + w - 4. Let i = h - -4. Suppose -2*n + 2*c + 424 = 0, -i*n = -4*n + 5*c + 192. Is n composite?
True
Suppose 11*g - 6*g + 3*p = 20944, -16763 = -4*g - 5*p. Is g a composite number?
True
Suppose 60742 = 9*i + 13*i. Is i prime?
False
Suppose d = -5*p - 2575, -d = 2*d - 4*p + 7820. Let m = d + 3793. Is m prime?
True
Let z(j) = 2*j + 5. Suppose -2*h - 32 = -6*h. Is z(h) prime?
False
Let i = -18 + 1389. Is i a prime number?
False
Suppose -2*k + 4195 = v, -3*v = v + 5*k - 16783. Suppose -5*x + w + w = -v, -3*x - 4*w + 2513 = 0. Is x composite?
False
Suppose 8083 = -2*f + 4*f - 5*s, -4*f + 16159 = -3*s. Is f a prime number?
False
Let j = 3454 - -5487. Is j a composite number?
False
Suppose 41*t = 27*t + 53858. Is t composite?
False
Suppose -206*d = -197*d - 57177. Is d composite?
False
Let z = -415 - -972. Is z a composite number?
False
Is 1/((-43245)/(-43242) + -1) a composite number?
True
Let s = 117 + 259. Let k be 2/(3/((-1785)/(-2))). Suppose 3*t = o + 4*o - k, 0 = -3*o - 2*t + s. Is o composite?
True
Suppose -6*b + 64 = -2. Suppose b*h - h = 11510. Is h a prime number?
True
Is ((-25)/(-10))/(1/194) a composite number?
True
Let x = 29 - -18. Suppose 4*c - 5*w = -2*w + 409, 4*w - 444 = -4*c. Let r = c - x. Is r a composite number?
False
Let h(f) = 2*f**2 + 12*f + 5. Let w be 69/(-115) + 27/(-5). Let o be h(w). Suppose 2*s + 140 = 2*t + 6*s, 3*s + 376 = o*t. Is t a composite number?
True
Let h = 2091 + 2158. Is h prime?
False
Let x = 13 - 19. Let o(m) = m**3 + 5*m**2 - 6*m + 3. Let k be o(x). Let b(s) = 17*s - 4. Is b(k) a composite number?
False
Suppose -x = 2*p - 31027, -10*p - 4*x + 77575 = -5*p. Is p a composite number?
False
Let p(a) = 73*a - 504. Is p(15) composite?
True
Let d(j) = j - 1. Let k be d(5). Let z(a) = 4 - 2 - a**2 + 8*a - 6 + 1. Is z(k) a prime number?
True
Suppose c - k = -4*k + 13, 4*k = 2*c + 4. Let y be (-272566)/(-126) + c/(-18). Suppose 5*x - y = 2*x. Is x composite?
True
Suppose 2*x + 3*q = 7*x - 99870, -3*x - q = -59908. Suppose 2*c = 11*c - x. Is c composite?
True
Suppose 0 = -4*t - 177 - 27. Is (-107005)/(-85) + (-6)/t prime?
True
Let x be 12 - (-1 + 1) - 2. Let b = -4541 + 1886. Is -6 + x - b/3 a composite number?
True
Let a(m) = m + 3. Let o be a(2). Suppose 202 = o*i - 433. Is i prime?
True
Suppose 137075 = 5*c + 5*b, -3*c - b - 82237 = -6*c. Is c a composite number?
True
Suppose -660 = -3*q + 6654. Suppose 2*w - z = 2*z + q, -2*w = -5*z - 2438. Is w a prime number?
False
Let k = 33177 + -22975. Is k prime?
False
Let y = -3 + 15. Suppose -2*b - 92 = -y. Let f = 95 + b. Is f a prime number?
False
Let d(s) = 64*s - 1 - 7 + 13 - s**2 + 28. Is d(24) a prime number?
False
Suppose 4*m - 5*c - 10008 = -235, -3*m + 4*c + 7331 = 0. Is m composite?
False
Suppose -c + 2*m - 15 - 23 = 0, 4*m + 148 = -5*c. Let g = c + 14. Let i = g - -27. Is i a composite number?
True
Suppose 7*h + 7 - 28 = 0. Suppose -k + y = 2*y - 864, 0 = 5*k - h*y - 4328. Is k composite?
True
Suppose -4*b - 4*n + 6544 = 0, 4*b + b - 4*n = 8207. Is b a composite number?
True
Let m(r) = -r**3 + 7*r**2 - 6*r + 2. Let p be m(6). Let l be p/(-3)*(-4839)/2. Suppose -5*t = 4*v - l, 2*v = v - 3*t + 412. Is v composite?
False
Let p = 19941 - 11932. Is p a prime number?
True
Let m be (7 + -8)*(-1 - 7). Suppose -5*r + m = -12. Suppose -2109 = -r*d + d. Is d a prime number?
False
Suppose -5 = 3*x - 2. Let j(a) = -1043*a**3 - 2*a**2 - a + 1. Is j(x) a prime number?
False
Is 2*(-1042)/3*(-12)/8 a composite number?
True
Let p(u) = -u**2 + 8*u + 12. Let b be p(9). Let q = b + -3. Suppose 186 = 3*i - q*i. Is i a prime number?
False
Let x be -1*((-2 - 2) + 10). Let g be (2/x)/(5/(-15)). Is (g - -2) + 25 + 41 prime?
False
Let q = -4600 - -9431. Is q a composite number?
False
Let f be 2/5 - 53496/40. Let k = 1894 + f. Is k composite?
False
Let d = 143 + -138. Suppose -d*f + 10*f - 16937 = 2*g, -2*f - 4*g + 6794 = 0. Is f a composite number?
False
Let y(j) = 1524*j**2 - 13*j + 32. Is y(3) a composite number?
False
Let b = 6932 + 8199. Is b a composite number?
False
Suppose -s - 5172 = -5*s. Suppose 0 = -5*j + 4*b + 1467, 0 = -5*j + 2*b + s + 178. Is j a prime number?
False
Let k = 21031 + -14262. Is k prime?
False
Let l(w) = w**3 - 11*w**2 + 9*w + 13. Let a be l(10). Suppose 4*k - n - 11 = 2*n, a*n = k - 5. Suppose 5*r - 1281 = k*r. Is r composite?
True
Suppose w + 1 = 0, 21 = -3*y - 2*w + 46. Suppose y*i = 8*i + 53. Is i a prime number?
True
Let d(j) = -2 + 3*j**2 + 2*j**2 + 7*j - j**2 - 1. Let y be d(5). Let c = -81 + y. Is c prime?
False
Suppose -1641 = -9*s + 6*s. Suppose 2*c - 4*a - 162 = 68, 4*a - s = -5*c. Suppose -5*p + c = 16. Is p composite?
False
Suppose 10*y = 12*