*s, 3*s - 5*m - w = 0. Suppose t + s + 91 = c, 0 = 4*t - 4. Is c prime?
True
Let h(m) = -m**3 + 13*m**2 - 4*m + 8. Suppose -3*x + 12 + 18 = 0. Let o be h(x). Suppose 2*w + 2*w - o = 0. Is w a prime number?
True
Let a(s) = 79*s**2 - 1. Let y be a(1). Suppose 4*i = i + y. Is i prime?
False
Let j = 409 - 114. Is j a prime number?
False
Is (2 - 2) + 786 + -8 composite?
True
Let i(x) = -x**2 - x + 1. Let j(w) = -2*w + 2. Let t(f) = -3*i(f) + 2*j(f). Suppose 0 = 2*b + 2 + 2. Is t(b) prime?
False
Suppose 2*q = 2*c - 6446, -5*c + 2*q = -q - 16123. Is c prime?
False
Suppose 6*t - 3*k = 2*t + 3502, k = 4*t - 3506. Is t prime?
True
Let i = 1511 - 997. Is i prime?
False
Let u be ((-30)/(-9))/((-1)/3). Let h = -15 - -14. Let y = h - u. Is y prime?
False
Is (-4 + 0)/(-4)*31 a composite number?
False
Let j(t) be the first derivative of 55*t**4/2 - t**2 + t + 1. Suppose -2 - 2 = -4*n. Is j(n) prime?
True
Let w = 552 - 320. Suppose 5*o + 321 = 2*v + 2*v, -5*o = 3*v - w. Is v composite?
False
Suppose 237 = -2*n + 3*n. Is n a composite number?
True
Suppose -9*i + 10290 = -3039. Is i composite?
False
Let o(t) = -t**3 - 8*t**2 - 6*t - 3. Let m be o(-7). Let a be 15/m*16/(-6). Suppose a*v - 85 = 63. Is v a prime number?
True
Let h(a) = -8*a + 4. Let f(s) = -7*s + 4. Let w(l) = -3*f(l) + 4*h(l). Is w(-3) composite?
False
Suppose 0 = -0*o - 2*o + 66. Let x be (32/12)/(4/(-78)). Let f = o - x. Is f a composite number?
True
Let i = -1 + 3. Let o be i*(-1)/((-2)/23). Suppose q - 91 = -4*s, -o = -5*s + 2*q + 94. Is s prime?
True
Suppose 4771 = 3*t - s, s + 4 + 0 = 0. Is t composite?
True
Let f = -2 - -5. Suppose -3*l - 180 = -6*l - 2*j, -4*l = -f*j - 223. Is l/3 - (-1)/(-3) a composite number?
False
Let f = 318 + -227. Is f prime?
False
Let w be 336/(-40)*(-170)/3. Let c = 1023 - w. Suppose 26 = -s - 2*h + 141, -5*s + 4*h + c = 0. Is s a composite number?
True
Let p(k) = 12*k + 3. Let g(i) = -23*i - 7. Let n(d) = 6*g(d) + 13*p(d). Is n(7) a composite number?
True
Let f(i) = -i**3 + 12*i**2 + 13*i - 17. Is f(12) a composite number?
False
Let q(u) = -u**2 - 7*u + 7. Let n be q(8). Let p = 270 + n. Is p prime?
True
Let m(u) be the first derivative of 3*u**4/4 - 2*u**3/3 + u**2/2 + u + 1. Is m(2) prime?
True
Suppose 3*u - 10 + 34 = 0. Is (-1)/(-4) + (-278)/u a prime number?
False
Suppose -5*c = 2 - 22. Let m = c - 2. Suppose n - 75 = -m*n. Is n prime?
False
Suppose -n - 15 = 2*n. Let j(h) = 8*h - 1. Let x(g) = -7*g. Let w(u) = n*j(u) - 6*x(u). Is w(7) a prime number?
True
Suppose -744 = -3*h - h. Let v = 263 - h. Suppose 3*o = -4*b + 215, -3*b = 4*o - 240 + v. Is b a composite number?
False
Let c(k) = -199*k + 76. Is c(-9) prime?
True
Suppose -1 - 3 = -n + 4*p, n = -5*p + 13. Let g = -4 - n. Is (-392)/g*(-6)/(-4) prime?
False
Let v(j) = -j**2 + 1 - 1 + 2*j. Let d be v(2). Suppose 7 = 2*n + 3, d = 4*i - 4*n - 84. Is i a composite number?
False
Let n(c) = -c**3 - 5*c**2 - 5*c + 2. Let k be n(-4). Suppose -445 = -4*w + 443. Is 4/k*w/4 prime?
True
Suppose -p + 587 = -993. Suppose -4*s + p = -0*s. Is s a composite number?
True
Suppose -11 + 35 = -4*z. Is (2/(-3))/(z/981) a composite number?
False
Suppose 2*c = -c + 9. Suppose 5*l - 4*o - 41 = 0, -12 = -l + c*o + 5. Suppose 5*i - 35 + l = 0. Is i prime?
False
Suppose 16 = -2*u - 4*n - 8, -5*n = -2*u - 42. Is (483/(-12))/(4/u) a composite number?
True
Let x = 10 - 5. Suppose -x*f + 12 = 2. Suppose f*s = 3*s - 3. Is s a prime number?
True
Suppose 0*m + 4*m = -4*k + 28, 5*k + 5 = 5*m. Let l(v) = v**2 - 4*v + 1 + 0 - k. Is l(5) a prime number?
True
Let n be -237 + (-6 - -2)/4. Let q(p) = 10*p**2 + 5*p + 5. Let g be q(-6). Let m = n + g. Is m composite?
False
Suppose 4*y - 21 = 7*y. Let h(k) = -2 - 9*k + 3 + 1. Is h(y) a prime number?
False
Is 83797/35 - (-4)/5 a composite number?
True
Let g(n) = n**3 + 2*n**2 + 2*n - 4. Let d be g(-3). Let r = d - -230. Is r a composite number?
False
Let w be 1/(-2) + (-268)/(-8). Suppose 90 = g - w. Is g prime?
False
Suppose f - 23108 = -5*a, 4*a + a - f = 23102. Is a prime?
True
Let l(v) = v + 6. Let d be l(0). Let b(c) = 6*c + 3. Let t be b(-3). Is (-153)/(-5) - d/t a composite number?
False
Suppose 131 = 2*v - 63. Is v a prime number?
True
Let f(s) be the second derivative of s**3/3 - 3*s**2/2 + 2*s. Let o be f(3). Suppose 5*u - 77 = -4*p, -3*p - o*u = 2*u - 64. Is p composite?
False
Suppose -l - l + 4 = 0. Suppose -u - 29 + 201 = 4*n, 0 = -l*n + 4*u + 86. Is n a composite number?
False
Let t(p) = p**2 + 4*p + 4. Let o be t(-4). Suppose 27 = 3*g - 2*i, 6 = -g - 3*i + o. Is g a composite number?
False
Let i(q) = -q**2 + 7. Let s = 5 + -5. Is i(s) prime?
True
Suppose -r = -3 - 0. Is r + -2 + (2 - -7) a prime number?
False
Suppose -4*u = 4*y, 0 = -2*y - 7 + 3. Let k(b) = -7*b + 0*b - u + 1 - 3. Is k(-5) a composite number?
False
Let w(y) = -y + 1. Let h be w(2). Let l = 3 - h. Suppose -78 = -l*r + 78. Is r prime?
False
Let h(d) = -23*d - 4. Let a be 1/((-22)/10 - -2). Let s be h(a). Suppose s = -c + 4*c. Is c a composite number?
False
Let t(i) = -4*i - i + 3*i**2 - 5*i + 4*i + 6. Is t(5) composite?
True
Let u(s) = s - 44. Suppose -y = -5*y + 24. Let j(p) = -p + 43. Let m(v) = y*u(v) + 7*j(v). Is m(0) composite?
False
Let s(y) be the second derivative of -y**3 + 11*y**2/2 + 2*y. Is s(-7) a prime number?
True
Let n = -2632 + 4113. Is n prime?
True
Suppose -7*l = -l - 342. Is l composite?
True
Suppose -2*p - 4*n + 30 = 0, 3*p - 25 = 2*n - 4*n. Is (-1)/p + (-131)/(-5) composite?
True
Suppose 4*t - 4*v = 340, 0 = 5*v - 0*v - 25. Let q = -53 + t. Is q a prime number?
True
Let k be 2/4 - (-1)/2. Let z be (1 - 1 - 6)*-4. Let l = k + z. Is l prime?
False
Let y = 443 + -120. Is y a composite number?
True
Let x(m) = -36*m + 36. Let t(d) = -7*d + 7. Let v(l) = 21*t(l) - 4*x(l). Is v(-4) prime?
False
Let t be 1 + 1 - (-3)/(-1). Let w = t + 5. Suppose -w*v + 438 = 5*b - 853, -3*b + 781 = -4*v. Is b composite?
True
Let u(g) = -g**3 - 3*g**2. Let i be u(-3). Suppose t = -i - 2. Let f = t - -15. Is f a prime number?
True
Is (368/(-6))/(-8) + 4/(-6) a composite number?
False
Let n(z) = 46*z**2 - 12*z - 3. Is n(8) composite?
True
Suppose -2*j - 30 = 3*j. Is 422/j*24/(-8) a prime number?
True
Let h(o) = -o + 14. Let m be h(11). Suppose -k = 0, -5*k = m*s - s - 134. Is s a composite number?
False
Let o(v) = 11*v**2 + 2*v - 1 - 1 + 0 - 4*v**2. Is o(-3) prime?
False
Let g(o) = -13*o + 9. Let n be g(5). Let s be 21/2*(-4)/2. Let t = s - n. Is t a prime number?
False
Suppose -4*p = -5*y - 645, -127 = 2*y + 4*p + 103. Suppose 5*w + 1099 = b, -342 = 3*w + 2*b + 320. Let c = y - w. Is c composite?
True
Let x(a) = 24*a**2 - 7. Is x(3) a composite number?
True
Suppose -5*z = 4*f - 1943 - 526, f = 4*z - 1971. Is z a prime number?
False
Suppose 5 - 19 = 2*i. Let p = i - -28. Is p a composite number?
True
Suppose 91 = -2*p + a, -8 = p - 4*a + 27. Let u = -33 - 0. Let g = u - p. Is g prime?
False
Let i(o) = 3*o**2 + 5*o - 5. Is i(-13) composite?
True
Suppose 4 + 1 = m, 3*c - 3*m + 3 = 0. Suppose 3*a + 77 = -c*f + 207, 4*f + 2*a = 128. Suppose 3*h = -5*v + 124, 4*h - f = 4*v + 81. Is h a composite number?
True
Suppose -3*j + 1 + 272 = 3*w, -w + 467 = 5*j. Is j composite?
True
Let k(h) = h**2 - 4*h. Let p be k(5). Suppose 983 = 6*i - 2*i - p*l, -2*i + 5*l = -489. Is i prime?
False
Suppose 2*j + 3*b - 871 = 6*b, -5*b + 25 = 0. Is j a prime number?
True
Suppose 0 = -2*m + 3 + 1. Is 1947/4 + m/8 a prime number?
True
Let b = 220 + -648. Let a = b - -723. Suppose 2*q - a = -3*q. Is q composite?
False
Let c be -3 + 13 + (-2)/2. Suppose -5*n + c*n - 532 = 0. Is n a prime number?
False
Suppose -5*d - 3*k = 0, 5 = -5*d - 0*k - 2*k. Let u be 5 + -3 - d/(-1). Is (236/(-8))/(u/2) a composite number?
False
Is 2552/(-32)*4*-1 composite?
True
Suppose 3*i = i + 6. Suppose -i*t = 2*t. Suppose 2*n + n - 21 = t. Is n prime?
True
Suppose 1 = 3*c - 2*n - 16, -5*c + 20 = -5*n. Is ((-444)/c)/(4/(-6)) composite?
True
Let g = 561 + -388. Let j = -28 + 16. Let l = g + j. Is l prime?
False
Let c = -1 + 4. Suppose c*m = -m. Suppose b + 2 - 9 = m. Is b a composite number?
False
Let n be (-8790)/(-18) + (-4)/(-6). Suppose -2*o + n = o. Is o composite?
False
Let b be (-17 - -3)*30/(-7). Suppose -4*x + b = -d + 5*d, 5 = -x + 3*d. Suppose 4*r + x = 38. Is r a com