s) = 3*s**3 + s - 1. Let f be u(1). Suppose -c = f - 17. Is c a prime number?
False
Let t be 4*((-1)/2 + 1). Suppose -t = -2*v - 0. Let j(x) = 54*x + 1. Is j(v) prime?
False
Let c = -425 - -1973. Suppose 0 = 3*q - c + 462. Suppose -q = -5*h + 23. Is h prime?
False
Is (-15)/4*-298*12/18 a composite number?
True
Suppose -73*t - 511 = -74*t. Is t a composite number?
True
Let h(f) = 4*f**2 - 5*f + 3. Let c(d) = 2*d**3 - 2*d**2 - 3*d + 2. Let a be c(2). Is h(a) a composite number?
False
Let v(y) = y**3 - 6*y**2 + 6*y - 4. Let g be v(5). Let i(m) = -1. Let c(t) = -6*t**2 + 4*t - 4. Let z(k) = g*i(k) - c(k). Is z(2) prime?
True
Suppose 19 = 5*t + 9, 0 = -5*p - 4*t + 3943. Is p composite?
False
Let w(k) = -2*k + 467. Is w(0) composite?
False
Let y = 3564 + -2397. Is y a prime number?
False
Let u(s) = 146*s - 17. Is u(8) a composite number?
False
Let j(s) = -s**2 + 1. Let c(x) = -2*x**2 + x + 1. Let k(t) = -4*c(t) + 7*j(t). Is k(8) prime?
False
Let p = -963 + 1348. Suppose 3*s = 8*s - p. Is s composite?
True
Let z = 5 - 6. Let r(w) = -170*w**3 - 2*w**2 - 2*w - 1. Is r(z) prime?
False
Let m(r) be the third derivative of -1/10*r**5 + 0*r + 0 + 1/120*r**6 - 5/6*r**3 + 3/8*r**4 + 3*r**2. Is m(6) a prime number?
False
Let k be 1/((9/3)/6). Is (-1)/k*-6 + 3 composite?
True
Let m = 394 - 159. Suppose 4*f = -51 + m. Is f prime?
False
Is 2/(-2) + (8 - -1270) a composite number?
False
Let c(j) = j**3 + j**2 + 1. Let x be c(-2). Is 70/x*12/(-8) prime?
False
Let z(p) = p**3 + 5*p**2 + 3*p. Let x be z(-4). Suppose -3*c + 8 = -x. Suppose -c*o = 8, 3*o - 12 = y - 49. Is y a prime number?
True
Let t = -2934 - -9913. Is t prime?
False
Let b = 13 - 3. Suppose 5*u = -b - 15, 0 = 3*w + 2*u + 187. Let g = 8 - w. Is g prime?
True
Suppose -c + 4 = c. Let i(a) = 42*a + 2. Is i(c) composite?
True
Let t(d) = -d**2 - 4*d + 7. Let b be t(-5). Let r = 4 - b. Suppose 9 = r*f + f. Is f composite?
False
Let w(u) = 389*u - 13. Is w(4) composite?
False
Let o = -49 - -77. Is 1044/o + 4/(-14) a prime number?
True
Suppose -4*o + 17 = 3*b, -o = -4*o - 4*b + 18. Let n be 150/9*3/o. Suppose -n + 103 = 2*f. Is f composite?
True
Suppose -4 = c + 3. Let x = -4 - c. Suppose x*b - 368 - 13 = 0. Is b prime?
True
Suppose -5*j - 4*n - 364 = -4631, 0 = j - 3*n - 842. Is j composite?
True
Let t(d) = -d - 3. Let u be t(-6). Suppose -r = 2*f - 17, 4*f - u = f. Is r composite?
True
Let t be (-2 + 2 - 0)/1. Let f(s) = -s**3 - s**2 - s + 15. Is f(t) a composite number?
True
Suppose -8 = -4*i - 0. Is ((-1)/3)/(i/(-546)) prime?
False
Let i(h) = -h + 1. Let m(o) = -12*o. Let l(a) = -5*i(a) + m(a). Let t be (-56)/10 - (-4)/(-10). Is l(t) prime?
True
Let d = -414 - -859. Is d a prime number?
False
Let n(s) = -s + 11. Let y be n(5). Suppose d - 9 = r, 3*d + r - 35 = y*r. Suppose i = d*i - 100. Is i prime?
False
Let o(m) = -4*m**3 - m. Let j be o(1). Suppose 0*h - 15 = 5*h. Let b = h - j. Is b a prime number?
True
Let p(f) = 4*f**3 + 2*f**2 - 9*f - 13. Is p(6) a composite number?
True
Let s = -281 - -429. Suppose -t - s = -5*t. Is t a prime number?
True
Let a(t) = -t**3 + t**2 - 125. Let i be a(0). Let f = -32 - i. Let x = -58 + f. Is x a prime number?
False
Let g = 37 - 16. Let z = g + -15. Is (-2)/z - 274/(-3) a composite number?
True
Let j be ((-3)/(-1))/(2/4). Let y = -5 + j. Is (y + -172)*(-5)/15 composite?
True
Let h(c) = c**2 + 7*c - 3. Let r be h(-8). Suppose -p = r*g - 1266, 3*p - 129 - 113 = -g. Is g a composite number?
True
Suppose -2*a + 15 = -q + 1, 2*a = 4*q + 20. Suppose 0*i = 3*i - a, 5*h - 121 = 2*i. Is h composite?
True
Let b = 2 - 0. Suppose -5*h - 410 = -5*z, -4*h = b*z + 3*z - 437. Is z a composite number?
True
Let y be 2/4 - (-9)/6. Suppose -231 = -y*g - g. Is g prime?
False
Let o be 24/(-10)*330/9. Is (o/(-6))/((-12)/(-18)) prime?
False
Suppose -15551 = -3*d + 2590. Is d composite?
False
Let z(a) = -2*a**3 + 26*a**2 - 15*a - 14. Is z(12) a composite number?
True
Suppose r = u - 21, 4*r - 77 = -5*u + 2*u. Let p = 3 - 3. Let i = u - p. Is i a composite number?
False
Suppose 0 = -5*j - 110 + 995. Let a = 6 + -3. Suppose a*i - j = -0*i. Is i prime?
True
Let u(p) = p**2 + 5*p + 1. Let x be u(-4). Let a be (24/10 + x)*-10. Is (3/a)/(2/628) a prime number?
True
Let r be 8/6 + 3/(-9). Let t be (r - 1)*2/(-4). Suppose 5*i + t*i = 445. Is i a prime number?
True
Let m(c) be the first derivative of c**2/2 + 12*c - 2. Let d be m(-10). Suppose 6*a - 276 = d*a. Is a a prime number?
False
Let i = -988 + 1574. Is i a composite number?
True
Let i(z) = 11*z**3 - 2*z - 1. Let h be i(-1). Let x be (-2)/(-10) - (-22)/h. Is 3545/45 + x/(-9) a prime number?
True
Suppose -11014 - 6370 = -8*x. Is x a composite number?
True
Let b(o) = -o - 2. Let a be b(-6). Let h(l) = l**3 + 6*l**2 - 7*l + 3. Let q be h(-7). Suppose -a*k + 6 + 298 = 4*s, 3*s + 234 = q*k. Is k a prime number?
False
Suppose 5 - 2 = 3*c. Let z(y) = 83*y. Is z(c) a prime number?
True
Suppose 4*a - 4*p + 7 = -a, 3*p = 3*a + 3. Let w(i) = -16*i**2 + 2*i + 4. Let v be w(a). Let t = -81 - v. Is t a composite number?
True
Let a(x) = -109*x + 1. Let k be a(-4). Suppose 2*t = 5*p - k, -40 - 389 = -5*p + 4*t. Is p composite?
False
Let a = -10 - -5. Is (2/(-6))/(a/1035) a composite number?
True
Let x = 638 + -441. Suppose 4*t - 3*w = 641, -4*t + x = 3*w - 426. Is t prime?
False
Let z(y) = -115*y**3 + y**2. Let v be z(-1). Suppose 0 = -4*g + 4*u + v, 59 = -0*g + 2*g - u. Suppose 4*s + 2 = g. Is s a prime number?
True
Let f = -6 + 10. Let i(c) = c**2 + 3*c - 4. Let h be i(f). Is (h/(-20))/(1/(-5)) composite?
True
Suppose -23 = -2*w - 5*p, w = 5*p + 5 - 1. Suppose -3*t + 3 = -w. Suppose t*y - 6*y - 4*k = -24, 61 = 4*y - 5*k. Is y a prime number?
False
Let a(z) = -158*z - 15. Is a(-2) prime?
False
Suppose 4*p = -2*r + 16, r + r - 1 = p. Suppose -p*c = -6*c + 12, 0 = 3*i + 5*c - 1151. Is i prime?
False
Let t(s) = 53*s**2 + s + 1. Let f be 2*(-1 + 0) - -1. Is t(f) a prime number?
True
Let n = 2 - -2. Suppose n*o + 5*x = 583, 2*o - 5*x = -0*o + 329. Suppose 4*t = -2*s + o, -s + 99 = 4*t - 51. Is t a composite number?
False
Let i(t) = 1366*t**2 - 4*t + 7. Is i(-3) a prime number?
False
Let k = 158 + -101. Is k a composite number?
True
Let k(w) = w**3 - 4*w**2 - w + 9. Let c(z) = z**3 - 6*z**2 + z + 1. Let g be c(6). Is k(g) a prime number?
True
Let b(n) = 49*n**2 - 4*n + 7. Is b(-6) a prime number?
False
Suppose 0 = g + 5 - 0. Let n(j) = -j**2 - 4*j - 6. Let h be n(g). Let o = h + 22. Is o a prime number?
True
Let j(p) = 52*p**3 + 6*p**2 - p - 10. Is j(5) a prime number?
False
Let l = 33 - 9. Suppose 4*g - 159 - 61 = 0. Let d = g + l. Is d composite?
False
Let u be 1/((-4)/924)*-1. Let s = -120 + u. Is s a prime number?
False
Let k be (-106)/(0 - 4/8). Let n be (-4)/(-14) + 2547/(-21). Let l = k + n. Is l composite?
True
Let d = 192 + -15. Is d a prime number?
False
Let m be 162/24 - (-1)/4. Let g(c) = 12*c + 1. Is g(m) prime?
False
Let z(v) = -v**2 - 8*v + 2. Let i be z(-8). Suppose 2*y = -i*g - 3 + 1, 0 = 4*y + 4. Suppose 3*x + 5*f = 57, -2*x - 2*x + 5*f + 76 = g. Is x composite?
False
Let d be -4*((1 - -3) + -3). Let u be (-2)/(-3 - 10/d). Suppose -u*c - 40 = 2*j - 176, 60 = 2*c - 3*j. Is c composite?
True
Let o(h) = 3*h**2 - 3*h - 1. Is o(6) a prime number?
True
Suppose 0 = -d - 3*b - 111 + 493, 0 = d - 2*b - 377. Is d composite?
False
Let q(n) = -n - 6. Let z be q(-6). Suppose 3*l - 217 - 92 = z. Is l a prime number?
True
Suppose -4*l = -0*l - 12. Suppose l*h - 1099 + 142 = 0. Is h a composite number?
True
Let p be 1/(-1) - (-3 - -9). Suppose -17 - 3 = 5*k. Let f = k - p. Is f composite?
False
Let g(q) = 168*q**2 + 2*q + 1. Is g(-3) a composite number?
True
Let v = 65 - 6. Is v a prime number?
True
Suppose -12 = -3*z + 2*z. Suppose -2 = y - z. Is y composite?
True
Let q = 222 - -35. Is q prime?
True
Suppose -5*u + 2*a = -929, 2*u = -3*u + a + 932. Is u composite?
True
Let o be 1/(-4) + 43/(-4). Let b(i) = i**2 + 12*i + 16. Let n be b(o). Suppose -262 = -n*u + q, 2*u - 61 = 2*q + 39. Is u composite?
False
Let w(g) = 8*g**2 - 7*g - 39. Let f(m) = 7*m**2 - 6*m - 39. Let r(x) = -7*f(x) + 6*w(x). Let n be 1*-3 - 24/(-8). Is r(n) a composite number?
True
Let m(h) = -h**3 + 13 - 2*h + h + 11*h**2 - 2*h**2. Let a be m(9). Suppose 10 = 2*y - a. Is y prime?
True
Let o b