= 2*s + y, 2*s - p*j = 203. Is s a prime number?
True
Let u = -22 - -25. Suppose s - 388 = -u*s. Is s a composite number?
False
Let d(o) = -18327*o**3 + 3*o**2 - o - 2. Is d(-1) a composite number?
False
Let g(x) = 21 + 20*x + 15*x**2 + 13*x**2 - 6*x - 21*x**2. Is g(14) prime?
False
Let c(l) = l**3 + l + 973. Let k(n) = -n - 8. Let r be k(-8). Is c(r) composite?
True
Let s(q) = -23*q**2 + 1. Let c be s(-1). Let v = 32 + c. Suppose -v*f = -5*f - 645. Is f a composite number?
True
Suppose 4*g - 2*o + 6*o - 4848 = 0, -g - 4*o + 1212 = 0. Let s = -701 + g. Is s a prime number?
False
Is (37844/8)/((-20)/(-280)) prime?
False
Let c = 56 + 157. Let r = c - 28. Is r prime?
False
Let b(l) be the second derivative of 102*l**3 + l**2/2 - 13*l. Is b(3) a prime number?
False
Let t(l) = l + 9. Let w = -2 + -2. Let y be t(w). Let x = 36 - y. Is x a prime number?
True
Let q = -6 + 0. Let z = q - -11. Suppose -4*o + 12 = 0, o = z*b - 4*o - 1580. Is b a composite number?
True
Suppose 6*n = -18 + 12. Is (417*(n - 0))/(-1) a composite number?
True
Suppose -9*h + 11816 = -12061. Is h a prime number?
False
Let q be 8 - 8 - (-1 + -4). Suppose 0 = -r + q*p + 300, 6*p + 890 = 3*r + p. Is r a composite number?
True
Suppose 5*v = -5*k + 21120, 5*v - 5*k - 12656 = 2*v. Is v composite?
True
Let t(x) = 37073*x**2 - 68*x. Is t(-1) a composite number?
True
Is 1*32/8 + 0 - -116253 composite?
False
Let a = -26 + 35. Suppose a = -2*b + 13. Is b + -6 + 4 + 211 composite?
False
Let l(q) = 29*q - 134. Is l(27) a prime number?
False
Let i = -3841 + 2271. Let z = -311 - i. Is z a composite number?
False
Let x be (19/(-4))/(6/(-24)). Let r(l) = l**2 + 23*l + 11. Is r(x) a prime number?
True
Let j be (654/(-4))/(4/8). Let v = j - -105. Is v/(-15) + 2/10 prime?
False
Suppose -5*r + 11349 = 4*c, 0*r - 6808 = -3*r - c. Is r a prime number?
True
Suppose 0 = -2*k + 6. Suppose -k*d = -0*d - 102. Is d prime?
False
Suppose -3*g + g = 2758. Let t(y) = -8*y**3 - 8*y**2 - 4. Let l be t(6). Let m = g - l. Is m a composite number?
False
Let h(x) = 6*x - 4529. Let b be h(0). Let w = b - -6522. Is w a composite number?
False
Let f(r) = r**3 - 3*r**2 + 4*r - 3. Suppose 19 = 5*z - x - 24, -z - 2*x = -2. Suppose -c + z - 3 = 0. Is f(c) prime?
True
Suppose 13608 = 3*w + 3*o - 8433, 3*o = 4*w - 29353. Is w a composite number?
True
Let d be (1710 - -1) + (-3 - -6). Suppose 848 + d = 3*v. Suppose -5*k + v = -l + 4*l, -4*k - 20 = 0. Is l composite?
False
Let z = 118 - 233. Is ((-105018)/z)/(2/5) prime?
False
Suppose 2*t = 4*c - t - 36, 20 = 4*c + t. Is (-958)/4*(-6)/(c + -3) a composite number?
False
Let z = 14773 + -10110. Is z a composite number?
False
Let y(n) = 9*n**2 + n + 4. Let s(k) = 3*k - 5. Let r be s(5). Suppose -i - 3*j - 6 = 0, 0 = -0*i - 5*i + 5*j - r. Is y(i) prime?
False
Let l = -68 + 72. Suppose -l*p + 3249 = -3307. Is p a prime number?
False
Suppose 8*m + 97 = -71. Let l(h) = h**2 + 12*h - 8. Is l(m) prime?
True
Suppose 0 = -3*i - 0*i + 51. Let s be 60/(-140) + i/7. Is s/8 + 8110/40 a composite number?
True
Let w be (5/(-1))/((-17)/(-136)). Let p = 37 - w. Is p composite?
True
Suppose 0*q + 4*q - 15 = -c, 0 = 4*c + q. Let g be 6 + 3 + c + -2. Suppose 0 = -a + g*f - 2*f + 79, 0 = -4*a - 5*f + 400. Is a composite?
True
Let d(i) = -5 + 15*i**2 + 3 - 3 - 2*i - i**3. Is d(13) prime?
True
Let a(q) = -5*q + 4. Let h be a(2). Is 375 - 8*3/h a composite number?
False
Let g(o) = -o**3 - o**2 + o + 2. Let a = -14 - -7. Is g(a) a composite number?
True
Suppose 7*m - 3*m - 26189 = x, 4*m + 3*x = 26185. Is m a composite number?
False
Let h be (-8*3/(-30))/((-2)/(-15)). Suppose -h*w + 251 + 271 = 0. Is w composite?
True
Let f(r) = r**2 - 4*r + 2. Let c(i) = i**2 - 4*i + 3. Let d(h) = 2*c(h) - 3*f(h). Let x be d(4). Is 2 + x + 40 + 1 prime?
True
Let m(s) = s**3 + 2*s**2 - 2*s - 2. Let b be m(-2). Suppose 0 = b*h - 17610 + 2214. Suppose -3*n = -9*n + h. Is n prime?
True
Let y = -73 - -1434. Is y prime?
True
Let w = -537 - -2716. Is w a composite number?
False
Suppose -18*r = -17*r + 1, 5982 = n - r. Is n prime?
True
Let y = 3400 - 1263. Is y prime?
True
Let c = -121 + 55. Is (-5226)/c - (-4)/(-22) a composite number?
False
Suppose 4*m - 2780 = 6764. Suppose -27*l + m = -25*l. Is l a prime number?
True
Suppose 11348 = 19*q - 17*q. Is q a composite number?
True
Suppose -3*o + 20 = -3*s + 83, 3*s - 4*o = 62. Is s a composite number?
True
Is 8938001/402 + (-5)/6 composite?
True
Suppose 3*l + 5 = 194. Is (84/l)/(4/42) a composite number?
True
Suppose 4*r = 6*r. Suppose -p - 2*p + 9 = r. Suppose -4*d + 135 = -3*o + 4*o, -5*o + 709 = p*d. Is o composite?
True
Let m(a) = -6108*a + 905. Is m(-7) a composite number?
False
Let n = 39 - 35. Suppose -138 = -n*v + v. Is v composite?
True
Let l(m) be the first derivative of -2*m**3/3 + 7*m**2 + 2*m + 9. Let z be l(7). Suppose -z*q = -176 - 476. Is q a prime number?
False
Let h be 4*(-2)/(-8) - (-24)/3. Suppose -h*u + 0*u = -12249. Is u a composite number?
False
Suppose 0 = 12*t - 4*t - 408. Let f = 372 - t. Is f a composite number?
True
Let x(r) = 260*r**2 - 7*r + 14. Suppose -9*m + m + 24 = 0. Is x(m) prime?
True
Is (-437)/(11/(-9) - 2/(-9)) a composite number?
True
Let d be -5 + 30 + (-2 - -2). Let c = d + -18. Suppose 6*p - 5*p = c. Is p composite?
False
Let h(z) = -4*z**2 + 13*z + 4. Let c(t) = 12*t**2 - 38*t - 11. Let y(x) = 3*c(x) + 8*h(x). Is y(9) a prime number?
True
Let j = 28 + -13. Let a = j - 16. Is a/(0 + 4/(-40)) a composite number?
True
Let r(d) = -2*d - 10. Let p be r(0). Let v = -7 - p. Is (-36)/8*(-254)/v prime?
False
Let w(c) be the first derivative of -c**4/4 + 3*c**3 + 5*c**2 + 7*c + 15. Is w(9) composite?
False
Suppose -3*m + 309 = -3*z, -7 + 4 = -z. Let i = -51 + m. Let x = i + -33. Is x a composite number?
True
Let j = 6143 - 4124. Is j a composite number?
True
Let z(s) = -167*s + 2. Let l be z(-1). Suppose -l - 9683 = -2*b. Suppose -4*u = 2*u - b. Is u a prime number?
True
Suppose -1560 = -5*z - c, c + 0*c + 5 = 0. Let n be 7476/78 - (-2)/13. Let h = n + z. Is h prime?
True
Let h = 4 + -1. Let v be 168 + 3 + -2 + 1. Suppose -v = -2*g + 4*t, -h*t + 17 = -g + 106. Is g prime?
False
Let w(n) = 1016*n + 9. Is w(7) a prime number?
True
Suppose -2*i + 3*f = -23, 3*i - 4*f - 21 = 15. Let k be 76/i + 1/4. Suppose -3*d - 86 = -0*m - k*m, 0 = 2*m + 4*d - 50. Is m composite?
False
Let r(k) = k**3 - 24*k**2 - 13*k + 17. Is r(29) prime?
False
Suppose -33*r = -29*r + 3716. Let l = 1792 + r. Is l a composite number?
False
Let z(b) = 73*b + 3. Let h be (-30)/30 + 2/(2/17). Is z(h) prime?
True
Let b be ((-4)/(-10))/((-9)/(-90)). Suppose 0 = b*t - 15 - 41. Suppose -668 = -16*q + t*q. Is q prime?
False
Let b = -67 + 22. Let f = b - -13. Let d = 23 - f. Is d a prime number?
False
Let w(p) = -p**3 + 60*p**2 + 72*p + 79. Is w(60) prime?
False
Let u(a) = 42*a**3 - 6*a**2 - 6*a - 5. Let l(r) = -84*r**3 + 13*r**2 + 13*r + 10. Let c(s) = -4*l(s) - 9*u(s). Is c(-3) composite?
False
Let m = 19 - 16. Suppose -m*i - 10 + 271 = 0. Suppose i = 2*r - 47. Is r a composite number?
False
Let k = -310 - -467. Suppose -3*v - 7*v - 660 = 0. Let b = k + v. Is b composite?
True
Let v(t) be the second derivative of t**4/12 + t**3/2 - 3*t**2/2 + 2*t. Suppose -27 = -4*r - 5*r. Is v(r) composite?
True
Let u = -445 + 317. Let l = -61 - u. Is l composite?
False
Let a(l) = l**3 + 3*l**2 + 6. Let p be a(0). Let w(v) = 30*v**2 + 5*v + 4. Is w(p) composite?
True
Let y(r) = -r**2 - 10*r + 1. Suppose 0*d - 3*d = -78. Suppose 4*w = -4*b - 22 - d, 2*b = -10. Is y(w) a prime number?
False
Suppose 8 = -5*i - a - 21, -3*i = -4*a + 22. Is 354*2/4 - i/6 a composite number?
True
Let r be (-157)/3 + (-2)/3. Let u = r + 274. Is u composite?
True
Suppose -j - r - 25034 = 4*j, -3*r = -5*j - 25018. Let p = j - -7713. Is p a prime number?
True
Suppose 0 = 3*c + 4*t - t - 4869, -8150 = -5*c + 2*t. Suppose 2*u - c = 882. Is u a composite number?
True
Let c(k) = -k - 2. Let z be c(-9). Let w(a) = -a**3 + 7*a**2 + 2*a - 10. Let b be w(z). Suppose -i = b*i - 2035. Is i a composite number?
True
Suppose 293 + 447 = 4*j. Is j composite?
True
Suppose 868 = 3*c - 5084. Suppose -5*m + c = -5591. Is 1/2 + m/6 a prime number?
False
Suppose -2*h + 5*u + 4026 = -2945, 3*u - 9 = 0. Is h a prime number?
False
Suppose 94571 +