True
Suppose d + 4*d - 1003 = -2*t, -2*t + 5*d = -1053. Is t composite?
True
Let c(d) = 2*d**3 + d - 89. Let b(o) = 5*o**3 + 3*o - 267. Let q(g) = -3*b(g) + 8*c(g). Is q(0) a prime number?
True
Suppose -5*y - 25 - 24 = -4*q, -3*q = 2*y - 8. Suppose -q*b + 4*b + 334 = 0. Is b a prime number?
True
Let v(g) = 576*g + 37. Is v(9) a prime number?
False
Let q be 3 - (-1 + 1 + 0). Suppose -r = -q*r + 18. Let d = -2 + r. Is d composite?
False
Suppose -995 = -3*v - 44. Is v prime?
True
Let r = 2 - 3. Let u be r + 2 + (21 - -1). Suppose -142 - u = -5*i. Is i a composite number?
True
Let b be (4 - 1)/3*2. Suppose 0 = y + 4*d - 29 + 2, -b*y = 4*d - 46. Is y a composite number?
False
Let s(x) = 153*x**2 + 3*x - 1. Let q be s(2). Let w = -324 + q. Is w prime?
True
Let v(n) = 8*n - 9. Is v(5) prime?
True
Let l = 5 - 2. Let c = l + -3. Suppose 2*q - 39 = -y - 0*q, c = -3*y + 2*q + 93. Is y a composite number?
True
Let t(z) = z**2 - 4*z. Let n be t(4). Is 948/24*(n + 2) prime?
True
Let i = 48 + -29. Let c = i - 9. Is c a composite number?
True
Suppose 0*h = -3*h + 9. Suppose h*m = -m + 60. Is m a composite number?
True
Let q(s) = s**3 + 6*s**2 - 3*s + 2. Let w be q(-3). Suppose -3*r - 2*r + 10 = 0. Suppose 0 = -r*h + 4*h - w. Is h a prime number?
True
Suppose -55 = -2*v + 5. Suppose -3*j + 4 = j, 0 = z - 5*j - v. Is z a composite number?
True
Suppose -s + 167 = -140. Is s prime?
True
Is (4/(-8))/(2/(-16)) - -783 composite?
False
Is 387/7 + 4/(-14) a composite number?
True
Let n = -617 - -943. Is n prime?
False
Let f(z) = -z**3 + 11*z**2 - 11*z + 13. Let v be f(10). Let n(b) = b**3 - 2*b**2 - b + 1. Let h be n(v). Suppose 4*t - h = 469. Is t composite?
True
Let a be 128/24 + (-4)/(-6). Suppose -a*k = -7*k + 123. Is k prime?
False
Let t(i) = -69*i**3 + 3*i**2 + i + 1. Is t(-2) a prime number?
True
Let v be (18/15)/(6/20). Suppose -160 = -5*k - 8*b + 3*b, -17 = -k - v*b. Is k - 2 - (0 + -2) composite?
False
Suppose -544 = -5*z + 511. Is z a prime number?
True
Let n(y) = -y**3 + 4*y**2 - y - 4. Let g be n(3). Is 3*g/3 - -37 prime?
False
Let q(k) = -5*k - 7. Let u be q(-8). Let y = 56 - u. Let m = 44 - y. Is m prime?
False
Suppose u + 37 + 28 = 2*s, -4*s = -u - 127. Is s prime?
True
Let a be 1/(-3)*(-21)/(-7). Is (67/1*a)/(-1) a prime number?
True
Suppose -q + 6*q - w - 490 = 0, -179 = -2*q - 3*w. Is q a prime number?
True
Let f(n) = n. Let w be f(-1). Let m = w - -8. Is m prime?
True
Let r(s) = -14*s**3 + 2*s**2 - 1. Let c be r(-1). Suppose 0 = -2*t + 139 + c. Is t a composite number?
True
Suppose 0 = 3*n + l - 294, 1 = l - 2. Is n prime?
True
Let g = -961 + 1424. Is g a prime number?
True
Let m = 228 - 101. Is m a prime number?
True
Suppose -d = d - 12. Suppose -5*n + 9 = -2*m, -4*n + 2*n - d = -4*m. Suppose m*p - f - 127 = -5*f, 156 = 4*p + 2*f. Is p prime?
True
Let c = -756 - 302. Let g = -711 - c. Is g prime?
True
Let q(p) = 27 + p**3 - 5*p - 28 + 4*p**2 + 2*p. Is q(3) composite?
False
Let s be (114/(-12))/(1/(-6)). Suppose h = 2*h - s. Is h prime?
False
Let u = 213 - 147. Suppose 0 = -3*p + u - 12. Is 1 + p + (-2)/(-1) a composite number?
True
Suppose -137 = -i - 2*k, -35 = i - k - 157. Is i prime?
True
Suppose 3*n + d - 3025 = -d, -n + 3*d + 990 = 0. Let k = n - 336. Suppose -4*r + k = -r. Is r a composite number?
False
Suppose 4*f + j - 75 = 0, -2*f + 5*j = -5*f + 69. Let w = -3 + f. Is w composite?
True
Is 409 + (-3 - -1) + 0 composite?
True
Let w(u) = -u**3 - 7*u**2 - 7*u - 7. Let a be w(-6). Is (-24)/4*-14 - a prime?
False
Suppose 21 = 3*n - 0*n. Let t(x) = x**3 - 6*x**2 - 7*x + 2. Let w be t(n). Is (w - (-2 - -1))*11 prime?
False
Suppose -2*c - 3*j + 277 - 5 = 0, -c + 129 = 5*j. Is c a prime number?
True
Suppose -3*r = r - 96. Is (-410)/(-12) + (-4)/r a prime number?
False
Suppose -5*d - 2 = 3. Is 193 - ((-2)/(-2) - d) a prime number?
True
Suppose -5*a = -a - 8. Let g(x) = -x**3 - 7*x**2 - x - 9. Let u(p) = -5*p**3 - 35*p**2 - 5*p - 46. Let w(d) = a*u(d) - 11*g(d). Is w(-6) a prime number?
True
Is ((-3)/(9/10))/((-4)/30) composite?
True
Suppose -4*r + 3*r + 18 = 0. Let v = 29 - r. Is v prime?
True
Let c(r) = 12*r - 3. Let m be c(6). Let u = m + -46. Is u prime?
True
Let w(x) be the third derivative of x**4/6 - x**3 + x**2. Let p be 20/(-3)*(-96)/80. Is w(p) a prime number?
False
Is (-2 + 1)/(2 - 1)*-485 a prime number?
False
Suppose r - 3*w - 50 = 0, 5*w = 2*r - 0*r - 104. Suppose 4*c + 8 = -2*d - 4, 0 = -d - 3*c - 7. Is (r/d)/(2/(-4)) prime?
True
Let m(d) = d**2 - 4. Let k(s) = 6*s**3 - 2*s**2 + s. Let b(r) = -r**3 + 6*r**2 + r - 5. Let j be b(6). Let q be k(j). Is m(q) a prime number?
False
Suppose -2*g - 2232 = -5*g - 5*s, 3*g - 5*s = 2202. Is g prime?
True
Let h(l) = 4*l**3 - 2*l + 3. Is h(2) a composite number?
False
Suppose 2*t - 1873 = 85. Is t a prime number?
False
Let w be (-9)/(1 + 2) - -10. Let j(p) = -p**3 + 9*p**2 + 5*p - 6. Is j(w) a prime number?
True
Suppose 4811 - 904 = d. Is d a composite number?
False
Suppose 4*u = 4*o + 20, 15 = o - 6*o. Let x(s) be the third derivative of 7*s**4/6 + s**3/6 - 7*s**2. Is x(u) a composite number?
True
Let d = 8 - 3. Suppose 3*n = 2*h - 13, -n + 47 = -2*h + d*h. Is h composite?
True
Let b be 442/5 + 2/(-5). Suppose 3*w - b = 329. Is w a composite number?
False
Suppose -3*x + 95 + 53 = -4*r, -5*x - 5*r + 270 = 0. Let z = x - 3. Is z prime?
False
Let r(m) = -m - 2. Let w be r(-3). Let s be 4*((-2)/2)/w. Let o = 61 - s. Is o composite?
True
Suppose 0*d + 3*n - 22 = -d, d - 19 = -4*n. Is d composite?
False
Let f(a) = -a**2 + 19*a + 2. Let t be f(19). Suppose 0 = -t*u - u, 5*u - 1585 = -5*w. Is w composite?
False
Let y = 3 + -7. Let v = 0 - y. Suppose -f + v*f = 111. Is f composite?
False
Let d = -45 + 29. Let q be 18/8*d/6. Let t(n) = -n**3 - 6*n**2 - n + 7. Is t(q) a composite number?
False
Let w = -45 - 27. Is (-1123)/(-6) - (-12)/w prime?
False
Suppose -2*z + z = -131. Suppose -314 = -5*p + z. Is p a composite number?
False
Let j = 153 + 878. Is j a composite number?
False
Let h = -6 + 3. Is ((-6)/(-10))/(h/(-15)) a composite number?
False
Suppose 4*b = -0*b + 1604. Let t = -274 + b. Is t a composite number?
False
Suppose 4*g + k - 740 = -k, g - 191 = k. Is g prime?
False
Let t be (-1 - -3)*(-5)/(-5). Let a = -2 + t. Suppose 5*x + 5*j - 105 = a, -x + j = -6*x + 97. Is x a prime number?
True
Suppose -8 = 5*f + 22. Let n(k) = 3*k**2 + 8*k - 5. Is n(f) composite?
True
Let w(c) = -7*c**3 - 3*c**2 - 3*c - 1. Is w(-2) composite?
True
Let c(h) = -10*h**3 + 2*h**2 - h - 1. Suppose -5*o - 6 = 4. Is c(o) a composite number?
False
Let k = 2208 - 1165. Is k composite?
True
Suppose -10 = -o - 3. Let r be (-4 - 10) + (0 - 0). Let d = o - r. Is d prime?
False
Let k(a) be the first derivative of a**6/180 + 11*a**5/120 - a**4/12 + a**3 + 1. Let s(u) be the third derivative of k(u). Is s(-8) a prime number?
False
Let d(m) = 2*m**2 - 2*m - 2. Let v be d(2). Suppose v*o - 9 = -o. Is o a composite number?
False
Let b(q) = -q**2 - 3*q + 1. Let v be b(-4). Let i(x) = -x**2 - 7*x + 1. Let g be i(-6). Is g/(-2 + (-7)/v) a composite number?
True
Let g be (18/(-6))/(0 - 1). Suppose -15 - 15 = 5*f. Is (f - -8)/(2/g) a prime number?
True
Suppose 0 = 4*r - 8, -25 + 4 = -3*o - 3*r. Suppose 0 = -0*y + o*y - 465. Let j = y + -56. Is j a composite number?
False
Is ((-3)/6)/((-2)/52) composite?
False
Let w(z) = z**3 + 2*z**2 - 1. Let y be w(1). Suppose y*r = 3*u + 56, -r + 7*u = 3*u - 28. Let q = 39 - r. Is q a composite number?
False
Let k be 8 - -2*1/(-2). Let u(r) = r + 5. Let h be u(k). Is 776/h*(-3)/(-2) prime?
True
Let m(l) = -11*l + 5 - 2 - 8*l. Suppose 4*k + v = 5*v - 24, -3*k = 4*v + 4. Is m(k) a prime number?
True
Let z(o) = -2*o - 11. Let k be z(-6). Is k + 1 - 64/(-2) prime?
False
Let b = 155 - -168. Is b composite?
True
Suppose -4 = 2*z - 4*z. Let l(o) = 3*o**2 - o**2 - 4 - 3*o**z + 4*o + 8*o. Is l(7) a prime number?
True
Let f(z) = 297*z - 2. Is f(1) prime?
False
Let v(z) = -6*z**3 - z**2 - 2*z. Let g be v(-3). Suppose -g = -4*r + 349. Is r a composite number?
False
Is ((-402)/2)/(-1 - 0) a composite number?
True
Let o be (-26)/(-5) + (-4)/20. Let p be ((-233)/2 - 1)*-2. Suppose o*r = p + 1090. Is r prime?
False
Let l(d) = 5*d**2 - 6*d + 6. Is l(-7) composite?
False
Suppose -d + 318 = 5*y + 56, 0 = 3*d + 3*y - 774. Is d