a = -1 + 3. Suppose -n = -a*n + s. Is n a composite number?
False
Suppose 2*q + 18 = -5*o + q, 0 = -5*o + 2*q - 9. Let m(v) = -v**3 + 5*v + 2. Is m(o) a prime number?
False
Let w(x) = 29*x - 17. Is w(12) a composite number?
False
Suppose 3*h + 1794 + 1282 = 5*i, -2*h + 2452 = 4*i. Is i prime?
False
Suppose 0*q = 2*q - 2930. Is q a prime number?
False
Suppose 2*n = 9 + 27. Is (n/(-4) + 4)*-818 prime?
True
Suppose -5*w + 126 = x, 6*w = 4*x + w - 429. Is x composite?
True
Is -1 + (-5 + 1 - -28) a composite number?
False
Suppose -m + 3 = -q, -3*m + 12 = -5*q + 3*q. Let h(l) = 26*l - 7. Is h(m) a composite number?
False
Let t be (-4*(-28 + 2))/(-1). Is (-1992)/t - (-4)/(-26) a composite number?
False
Let o = -11 + 15. Suppose -o*y + 63 = -125. Is y prime?
True
Let q(i) = -i**3 + 21*i**2 + i + 10. Let f(j) = -j**3 + 11*j**2 + j + 5. Let t(c) = 5*f(c) - 3*q(c). Is t(-6) a prime number?
True
Let l = 85 - 18. Let g = 90 + l. Is g composite?
False
Suppose 3*h - 210 = 3*i + 90, h - 3*i = 106. Suppose 0*o = -o + h. Is o prime?
True
Suppose -4*z - 3*j + j + 1604 = 0, -3*j = -5*z + 2027. Is z a composite number?
True
Let d = -17 + 26. Suppose d = 4*a - 3. Is a prime?
True
Suppose 4*s = -o + 1029, o = 2*s + 148 + 899. Is o a composite number?
True
Let v(m) = m**3 - 2*m**2 + m. Let g be v(1). Suppose 0 = 2*c + 3*f - 36, g*c + c = -5*f + 18. Let b = 33 - c. Is b composite?
True
Let l be (-2)/6 - (-39)/9. Suppose -2*m - 235 = -3*r, 0*m + 304 = l*r + 2*m. Suppose f + r = 2*f. Is f a prime number?
False
Suppose 3*m = -4*l + 132, 4*m - l - 148 = 3*l. Let y = 65 - m. Is y a prime number?
False
Let w(l) = -l**3 - 14*l**2 + 12*l + 1. Is w(-15) prime?
False
Let x(f) = 24*f**2 - 2*f + 3. Is x(4) prime?
True
Let z(u) = -u - 2. Let q be z(6). Let y be ((-15)/(-10))/((-6)/q). Suppose 0 = -5*a - 3*b + 4*b + 271, 0 = y*a + 2*b - 118. Is a a prime number?
False
Suppose 0*f + 885 = 5*f. Is f a composite number?
True
Suppose -20*m + 57637 = -23143. Is m a prime number?
False
Let b be -7*(-4 + 9/3). Is (-18)/(-6)*b*1 a composite number?
True
Let x be (3 - (-1 - -2))*2. Suppose i + 874 = 2*y - 4*i, 16 = -x*i. Is y composite?
True
Let b(c) = -2*c + 2. Let w be b(7). Let v = 95 + w. Is v prime?
True
Suppose -7 + 1 = 5*i + 4*g, 4 = -2*i - 2*g. Let w(c) = 93*c - 1. Is w(i) composite?
True
Suppose -5*u - 19 + 34 = 0. Suppose -3*x + 3*k + 711 = 0, 0 = -3*x - u*k + k + 701. Is x composite?
True
Let r(q) be the third derivative of 3*q**2 + 1/24*q**4 + 0*q + 0 + 157/6*q**3. Is r(0) a prime number?
True
Let a(c) = 28*c + 1. Is a(3) a prime number?
False
Let o = 26 + -75. Let c(s) = s - 12. Let m be c(0). Let j = m - o. Is j a composite number?
False
Suppose -11 = -k - 0*k. Let a be (-40)/2*(-4)/(-10). Let c = k + a. Is c a prime number?
True
Suppose -1563 = 2*b - 5*b. Is b a prime number?
True
Let d(y) = 46*y - 1. Let g be d(1). Suppose -c = 2*c - g. Is c a prime number?
False
Let s = 0 - -4. Let w(j) = 3*j**2 - 7. Let y be w(-6). Suppose s*n - 35 - y = 0. Is n prime?
False
Let v(n) = -n**2 - 7*n - 1. Let y be v(-6). Let h(c) = 0*c**3 - y*c + 7 + 10*c**2 - 2*c**2 - c**3. Is h(6) prime?
False
Suppose 0 = -4*v + 12. Suppose 0 = -2*g + 2*p + 46, v*g - 2*p = -4*p + 64. Is g composite?
True
Suppose 4*v + 5*l - 3*l + 114 = 0, 2*l = 3*v + 82. Let p = v - -47. Is p prime?
True
Suppose -a - 20 = -214. Is a composite?
True
Let m(t) = 378*t**2 + 1. Is m(-1) composite?
False
Let v be 228/(-8)*(-1 - -3). Let p(m) = -m**2 - 7*m + 2. Let a be p(-6). Is (v/6)/((-4)/a) a prime number?
True
Let o(s) = 4*s**2 - 13*s + 26. Is o(13) prime?
False
Suppose 3*d + 6*k + 16 = k, 20 = -5*d - 5*k. Let n be 3/d*8/(-6). Suppose 0 = n*h - 4*h + 238. Is h composite?
True
Let c be (467*3 + 1)*2. Suppose 0 = -5*m + 551 + c. Suppose 3*i + m = 5*b, 3*b - 126 - 283 = 5*i. Is b a composite number?
True
Let l = 86 + 0. Is (-3)/((-261)/l - -3) composite?
True
Let u = 16 + -16. Is ((-290)/(u + -1))/2 a prime number?
False
Suppose 3*b - u - 599 = -2*b, -b + 4*u + 135 = 0. Is b a prime number?
False
Let k be ((-27)/(-18))/((-1)/(-6)). Let o = k - -29. Let p = 117 - o. Is p composite?
False
Suppose z - 1961 = -200. Is z a prime number?
False
Suppose 0 = -21*i + 12*i + 2259. Is i prime?
True
Let g(q) = -8*q**2 + 10*q - 5. Let s(a) = 15*a**2 - 19*a + 10. Let y(f) = 11*g(f) + 6*s(f). Is y(-4) prime?
True
Let y = 14 - 16. Is y + 2 + 146 + -3 composite?
True
Suppose -p = -2*p + 337. Let b = -126 + p. Is b a composite number?
False
Let d(s) = s**3 + 3*s**2 - 4*s - 3. Suppose c + 9 = -c + n, -3*c = 3*n + 9. Let o be d(c). Is 762/9 + (-1)/o composite?
True
Let y = 19 + -19. Suppose y = 2*g - 0*g - 574. Is g composite?
True
Let n(f) = -80*f**2 - f - 1. Let k be n(-1). Let x be (4/(-10))/(1/k). Suppose 5*o - x = -4*b + 67, 0 = 4*o - 2*b - 74. Is o composite?
False
Suppose -h = -3*r + 133, 2*r = -r - 2*h + 130. Let g = r + -29. Is g a prime number?
False
Let v(f) = f**3 + 5*f**2 + 4*f + 2. Let r be v(-4). Suppose 10 = 7*j - r*j. Suppose 0 = -2*h + 14 - j. Is h composite?
True
Let p(z) = 15*z**3 + 2*z**2 + 5. Is p(4) composite?
False
Suppose 2*y = 2*j + 14, 3*j + 4*y = -0*y + 7. Let k be -3*((-16)/j)/4. Is (-10)/k*(2 + 8) a composite number?
True
Let t(s) = -s**3 - 2. Let a be t(0). Let j(h) = -h + 1. Let r(c) = c**2 + c - 1. Let l(m) = 5*j(m) + 4*r(m). Is l(a) composite?
False
Let a(l) be the third derivative of l**5/60 + 3*l**4/8 - l**3 + 5*l**2. Is a(-10) a composite number?
True
Suppose 0 = -5*w + 14 + 11. Suppose -g - w*f = 27, 23 = -g - 3*g - 3*f. Is ((-1)/g)/(4/104) a composite number?
False
Suppose -98 - 1434 = -2*r. Suppose -2*n + r = 2*o, -2*o - n = -5*n - 766. Let y = o + -234. Is y prime?
True
Let h be (-1)/2*(4 - 4). Suppose h = -4*j - 88 + 32. Let w = j + 93. Is w composite?
False
Let m = -997 - -1832. Is m a composite number?
True
Suppose 9*j - 2*j - 6349 = 0. Is j a composite number?
False
Let y(v) = 5*v**3 + 6*v**2 + 4*v - 1. Let q(o) = 11*o**3 + 12*o**2 + 9*o - 2. Let x(m) = 4*q(m) - 9*y(m). Let z be x(-6). Is ((-14)/(-5))/(z/5) a prime number?
False
Let k = 6 - 12. Let t be (-4 - -3)/(1/k). Is (-2)/3 - (-502)/t composite?
False
Let m(q) = -q - 9. Let c be m(-7). Is c/(((-4)/(-154))/(-1)) composite?
True
Let m(c) = -c - 9. Let n be m(-7). Let s be n + 1/2*0. Is 645/21 - s/7 a composite number?
False
Suppose 2*p - 3 = -2*z + 13, -4*p + 17 = z. Suppose u = z*u + 5*f - 1454, 0 = -4*u + 4*f + 1436. Is u a composite number?
True
Let y = -214 - -311. Is y prime?
True
Let r(j) = 5*j**2 - 6*j - 1. Is r(6) a composite number?
True
Suppose 3*z + 5*f = 4486, 0*f - 2 = 2*f. Is z a prime number?
False
Suppose -r + 5 + 0 = 0. Is 816/r - (-1)/(-5) composite?
False
Let a = -182 - -591. Is a a prime number?
True
Let c(l) = 20*l**2 - 2*l - 1. Let i be c(-1). Let y be i/(-2 + (3 - 0)). Suppose 4*k = 0, k + y + 56 = n. Is n a composite number?
True
Suppose 3*u = 85 + 164. Is u a prime number?
True
Suppose -215 - 245 = -5*c. Suppose -3*x + 5*z = -0*z - 163, -2*x - 5*z + c = 0. Is x a composite number?
True
Let o = 12 + -6. Let h be (o/(-9))/((-1)/6). Suppose 3*j - h*x = 145, 0*j + 2*j - 2*x = 100. Is j prime?
False
Suppose 5*o + 36 = -u, -5*o + u + 22 = 66. Let p(t) = -t + 2. Let m be p(o). Suppose 0 = c + c + m, -5*b - 3*c + 100 = 0. Is b prime?
True
Let p = -5 - -3. Let x(k) = 4*k**2 - 2*k**2 - 4*k**2 + 2 + 5*k**2. Is x(p) a composite number?
True
Suppose -2*i + 2*f + 672 = 0, -525 = -2*i + 4*f + 137. Is i prime?
False
Suppose -2*f = 214 + 958. Let v = -399 - f. Is v a composite number?
True
Let o(p) be the second derivative of 5*p**4/12 + p**3/2 + 3*p**2/2 + 3*p. Is o(-3) a composite number?
True
Let q(w) = 393*w**3 + 2*w**2 - 3*w - 3. Is q(2) prime?
False
Let i be (-420)/8*(-48)/10. Let n = i - 133. Is n prime?
False
Let j = 495 - 252. Suppose -4*d - 2*z = -0*z - 338, 0 = -3*d + 2*z + j. Is d a composite number?
False
Let c(m) = -m - 1. Let z be c(7). Let g(n) = -n + 5. Is g(z) a composite number?
False
Suppose 0 = -j + 5*j. Suppose 3*g = -j*g + 18. Is 8/(-12) - (-82)/g composite?
False
Suppose -5*j = 25, -c - 3*j = -0*c + 36. Let q be -3 - -1*c/(-3). Suppose -265 = -3*s - 4*o, q*s - 411 = -2*o - 61. Is s prime?
False
Let t be 23/4 - (-3)/12. Let v(g) = -8*g + 9. Let o(k) = k - 1. Let s(x) = -4*o(x) - v(x). Is s(t) composite?
False
Suppos