2*m**2 - 1. Is s(-1) a prime number?
True
Suppose 3*s + 42 - 327 = 0. Is s composite?
True
Let s(n) = -n**3 - 16*n**2 + 11*n - 13. Is s(-17) a prime number?
True
Let d be (8/10)/((-4)/(-150)). Is d/2*(0 + 1) a prime number?
False
Let f be (-65)/(-26)*(-6)/(-5). Suppose 3*v - 5*v = -12. Suppose l = f*l - v. Is l composite?
False
Let b(v) be the second derivative of 0 + 1/6*v**4 + 1/2*v**3 + 1/2*v**2 - v. Is b(-2) a prime number?
True
Let g(w) = -21*w. Let z(t) = -t + 3. Let y be z(5). Let k be g(y). Suppose 133 = 5*u - k. Is u a prime number?
False
Let t = 972 - 565. Is t prime?
False
Suppose -504 = -b + 3*g, 3*g = -2*b - 0*b + 999. Is b a composite number?
True
Let c be 3/(0 - 3/2). Let o be c/10 + 138/15. Suppose -o - 11 = -5*t. Is t a prime number?
False
Is (-2)/((-460)/(-156) - 3) prime?
False
Let l(p) = 35*p**2 - 1. Let g be l(1). Let c = 2 - g. Is 2/6 + c/(-3) a prime number?
True
Is 1*(4 + 176 - 1) composite?
False
Let p = 542 - 355. Is p a composite number?
True
Let t(l) = 17*l**2 - 4*l + 2. Suppose -5*b + 10 = -0. Let a be t(b). Let s = 141 - a. Is s composite?
False
Let a(t) = 26*t + 13. Is a(5) prime?
False
Is 3*((-1349)/(-3) - -4) a prime number?
True
Suppose -5*m = -3*m - 4. Suppose 3*x + 190 = -m*x. Is x*(2/4 - 1) composite?
False
Let x be -83 + -1*2/1. Let r = 234 + x. Is r a composite number?
False
Let y = -78 - -129. Is y prime?
False
Suppose 82 = 3*r - 299. Is r a prime number?
True
Suppose -20 = -5*u + 275. Let a = u - -20. Is a prime?
True
Let d be 62/3 - 4/(-12). Suppose 0 = -5*t - 2*x - 85 + 19, -3*x + 34 = -2*t. Let i = d + t. Is i a prime number?
True
Let z = 11 - 7. Let k(j) = 6*j + 2 - 1 + j**3 - 9*j. Is k(z) a composite number?
False
Let z = 1492 - 975. Suppose 2*r - 141 = z. Is r a prime number?
False
Let y be (-5 - -7)/(2/3). Let b(i) = 38*i - 1. Is b(y) a composite number?
False
Let s(h) = -6*h + 2. Let u(d) = -17*d + 6. Let r(f) = 8*s(f) - 3*u(f). Is r(3) composite?
False
Let i = -6 + 8. Suppose y + 5*h + i + 12 = 0, 3*y = -h. Is (y - 3) + (-3 - -26) prime?
False
Let s = 13 - 12. Let z(d) = 117*d**2 + 1. Is z(s) composite?
True
Let r(q) = q - 2. Let x be r(5). Let j be ((-9)/6)/((-2)/4). Suppose -x*p = 2*i - 637, -j*p + 48 = -3*i - 579. Is p composite?
False
Suppose -5*f = 2*s - 6*s - 7, -f + 9 = 3*s. Suppose -4*k = 4*r - 36, -13 = 5*k - 2*k - 5*r. Is (s/k)/((-1)/(-158)) a composite number?
False
Let g(w) = -w - 7. Let d be g(-7). Suppose d = q + q - 258. Is q a composite number?
True
Let k be ((-2)/(-6))/(3/9). Is 96 - k - 0/6 a composite number?
True
Let y be 74/(-14) + 2/7. Let w = y + 8. Suppose 0 = 5*c + 2*l - 42, 4*c - 14 = -w*l + 14. Is c a prime number?
False
Let v = 7 + -5. Suppose 0 = -z + v*z - 3. Is 222/4*2/z composite?
False
Suppose 3*n + 0*n = 1629. Let j = n + -380. Is j composite?
False
Let r(v) = 235*v - 4. Is r(9) composite?
False
Suppose 15*j = 14*j + 69. Is j a composite number?
True
Let o(i) = 11*i**2 + 5*i - 2. Let v be o(3). Let s = v - 75. Is s a prime number?
True
Let c be (24/9)/(2/(-6)). Let m = c - -43. Is m prime?
False
Let c = 15 + -15. Suppose c = t + g - 81, -3*t = 2*t + 4*g - 401. Is t a prime number?
False
Let m = 96 + 46. Let y be (-2)/(-3) + 86/6. Let h = m - y. Is h composite?
False
Let p = 274 + -35. Is p composite?
False
Suppose -2*s = -347 - 1235. Is s a composite number?
True
Suppose 5*c + 463 = 2708. Is c a composite number?
False
Let d = -52 - -32. Let u = -5 + d. Let n = u + 46. Is n a composite number?
True
Is (0 + (-3)/(-3))*(-4 - -41) a prime number?
True
Is -1 + (-34655)/(-35) + 2/(-14) composite?
True
Let y(v) = -18*v**3 + v**2 + 5*v + 5. Is y(-2) prime?
False
Suppose 6*u = 5*u + 65. Let q = -3 + 7. Suppose 3*s - q*s = -u. Is s a prime number?
False
Let k = -162 + 433. Is k a composite number?
False
Let a(c) = c**3 - 5*c**2 - 9*c + 15. Let k be a(12). Let q = k + -230. Is q composite?
True
Let a = 7 - 4. Suppose 2*h - a*k - 76 = h, 0 = -3*h + 3*k + 198. Suppose -4*s - h = -5*p - 26, -39 = -4*p + s. Is p a prime number?
True
Let l(i) = 335*i**2 - i - 1. Is l(-1) a prime number?
False
Let k = 0 + 11. Suppose 3*a = k + 4. Let m(o) = o**3 - 3*o**2 - 2*o - 7. Is m(a) composite?
True
Let x = 2 + 20. Is x composite?
True
Let g(p) = 68*p**2 - p. Is g(1) prime?
True
Let d = 4730 - 2511. Is d prime?
False
Let r(v) = 106*v**3 + 2*v - 1. Let a be r(1). Suppose -a = -5*k + 78. Is k prime?
True
Suppose 0 = -4*x + 12. Let h(w) = 11*w**3 + 5*w**2 - 3*w + 2. Is h(x) a prime number?
False
Let b(g) = 2*g + 7. Let k be b(-4). Let v(n) = 3*n**3 - 3*n**2 + 2*n - 3. Let a be v(2). Let m = a - k. Is m prime?
False
Let i(j) be the second derivative of j**8/6720 - j**7/1260 + j**6/120 - j**5/120 + j**4/6 + 2*j. Let n(d) be the third derivative of i(d). Is n(4) prime?
False
Is (-1)/(-5) - (-27564)/30 prime?
True
Let l be ((-1)/3)/(3/(-18)). Suppose 0 = -j + l*x + 109 + 160, -1315 = -5*j + 4*x. Is j a composite number?
True
Suppose -1230 = 2*d - 8*d. Is d prime?
False
Let h(n) = n + 1. Let d be h(1). Suppose 114 + 60 = d*w. Is w composite?
True
Let j(w) = -3*w**3 + 5*w**2 + 3*w - 2. Let f = 7 - 10. Is j(f) prime?
False
Let x(h) = -374*h**3 + h**2. Let c be x(-2). Suppose z + 3*z - c = 0. Is z a prime number?
False
Let a(c) = 6*c**2 + 13*c + 11. Let b(j) = 11*j**2 + 25*j + 22. Let z(h) = -5*a(h) + 3*b(h). Is z(-6) a prime number?
True
Let w = 123 + -227. Is (-9)/(-27) + w/(-3) prime?
False
Let s(m) = 4*m**2 - m + 1. Let o be s(1). Suppose 2*y + 74 = o*y. Is y a prime number?
True
Suppose 0 = -2*j - 0*j + 2596. Suppose -5*m + j + 317 = 0. Suppose 5*h + 78 + 416 = 3*n, 3*h - m = -2*n. Is n a prime number?
True
Let h(b) = -672*b**3 + 2*b**2 - b - 2. Is h(-1) prime?
True
Suppose f + 4*y + 49 + 51 = 0, -2*f + 2*y - 250 = 0. Is 16/f - 2417/(-15) a prime number?
False
Let l = 3 - 1. Suppose v + x - 33 = -3*x, 0 = l*x + 2. Is v a prime number?
True
Suppose -k - 2*m - 3 = 2*m, -4*m - 21 = -k. Is (6/k)/((-2)/(-255)) composite?
True
Let d(x) = 20*x**2 - 2*x + 1. Suppose -5*g - l + 7 = -2*g, -5*g - 11 = -4*l. Let t be g/(-2)*(-4)/2. Is d(t) composite?
False
Let a(p) = 3*p**2 + p + 7. Is a(5) a composite number?
True
Let x(a) = -113*a - 2. Is x(-3) prime?
True
Suppose 0 = 3*r - 7*r + 16. Suppose 7*l - 2*l - 100 = 0. Suppose -l = r*j - 168. Is j a prime number?
True
Suppose -13*l = -11*l - 110. Is l a composite number?
True
Let s(g) = -g**2 + 2*g + 5. Let z be s(4). Let n = z + -3. Is 2/n - 932/(-6) a prime number?
False
Let h(f) = -f**3 + 26*f**2 - 26*f + 47. Is h(25) a composite number?
True
Let g(j) = j**3 - 6*j**2 + 5*j - 6. Let t be g(6). Let v = -11 + t. Is v a prime number?
True
Let d(x) be the third derivative of 1/2*x**3 + 1/60*x**5 + 1/12*x**4 - x**2 + 0*x + 0. Is d(-3) prime?
False
Let a(i) = -i + 3. Let c be a(6). Let t(d) = 2*d**3 - d**2 + 2*d - 2. Let g be t(c). Let s = g - -104. Is s prime?
False
Is -4 + 2457 + 0 + -3 + 3 composite?
True
Let v be (-2 + 1)*(3 - 4). Let m(z) = -z**3 + 2*z**2 - 1. Let w be m(v). Suppose -l + 3*l - 106 = w. Is l composite?
False
Let p = -582 - -1087. Is p a prime number?
False
Let o(s) = 64*s**2 - 4*s + 5. Is o(2) a prime number?
False
Let b(u) = -u**3 + 9*u**2 - 4*u - 1. Let y be b(10). Let g = -56 - y. Is g a prime number?
False
Let l(t) = -20*t - 2. Let g be -3*(-3 - (0 - 2)). Let q = g + -6. Is l(q) composite?
True
Let h(t) = -2*t**3 - t**2 + t - 1. Let q be h(-2). Let v be -1 + q/(-6)*-2. Suppose 4*p - 54 = -v*s - 3*s, 3*s - p = 29. Is s prime?
False
Let x = -628 + 1119. Is x a prime number?
True
Let d(j) = 8*j**2 + 2*j - 3. Let l = -6 - -8. Is d(l) prime?
False
Let u(o) = -o + 7. Is u(-8) a composite number?
True
Let b(d) = 2*d**2 + 4*d - 11. Is b(7) a composite number?
True
Let a(k) = -3*k**3 - 6*k**2 - 12*k - 22. Is a(-7) a composite number?
False
Let t(z) = -z**3 + z**2 + 3*z - 11. Is t(-8) prime?
True
Let d(i) = -5*i**2 - 4*i + 7. Let x be d(-5). Let m = x + 141. Is m composite?
False
Let q be (-1 - 26/(-6))*3. Suppose 4*h + 3 = 5*x, -5*h + q + 2 = -x. Suppose 2*w - 103 = w - 4*p, x*p + 355 = 4*w. Is w a composite number?
True
Suppose -3*l - l + 204 = 0. Is l a prime number?
False
Suppose -p + 6*p - 5*m = 355, 5*p + 4*m = 373. Let u = -42 + p. Is u composite?
False
Let g(c) be the second derivative of -c**4/3 - 5*c**3/6 + c**2/2 - 2*c. Let s(v) be t