 n a prime number?
True
Let f(k) = 2*k - 1 - 1 - k**2 + 56*k**2 + 30*k**2. Is f(1) a prime number?
False
Let q be (-8)/36 - (-10590)/27. Let j = 595 - q. Is j a composite number?
True
Let c = -6 + 107. Suppose 3*l - c = 2*j, 0 = -5*l + 2*j - 6*j + 139. Is l composite?
False
Let d(i) = 39*i - 2. Let u be d(4). Suppose 42 = 4*w - u. Let g = -18 + w. Is g prime?
True
Suppose -o = 4*m - 1232, 3*o = -5*m - 0*m + 1540. Let a = m + 73. Is a a composite number?
True
Let a(d) = -d**3 - d**2 + 2. Let o be a(0). Suppose -2*q = -2*n + 12, o*n - 3 = -n - 2*q. Is n a prime number?
True
Let p be (-6 - -5) + -1*443. Let o = -241 - p. Is o a prime number?
False
Is (-6708)/(-18) + (-1)/(-3) a prime number?
True
Suppose -4*a = -d + 2*d + 15, -10 = 5*a + 3*d. Let o(r) = -17*r - 5. Let v(u) = 8*u + 3. Let j(m) = a*v(m) - 2*o(m). Is j(-6) prime?
True
Let m = 18 - 12. Is m - (-6)/(-2) - -88 a composite number?
True
Suppose 2*q = -h - 19 + 224, 0 = 5*h + 4*q - 1043. Is h composite?
False
Is 93 + (10/(-2))/(-5) a prime number?
False
Let l = 4 + -10. Let t be (-48)/27 + (-2)/9. Is (0 - t)/(l/(-21)) a composite number?
False
Suppose -4*d + 9*i = 10*i - 4234, -3*d = i - 3175. Is d prime?
False
Let q = 2678 + -1047. Is q a prime number?
False
Let u(t) = t - 1. Let o(d) = -2*d**2 + 6*d - 2. Let i(j) = o(j) + 2*u(j). Let x be i(9). Let b = x + 173. Is b prime?
True
Suppose -5*b + 35 = -0*b. Is 2/(9/b + -1) a prime number?
True
Let r(o) = -74*o + 4. Let h be r(-5). Suppose -4*w + 308 + h = 2*j, j - 169 = -w. Suppose -3*t + 28 = k, t + 49 - w = -4*k. Is k composite?
False
Suppose -12*u + 8936 = -4*u. Is u a prime number?
True
Is -5*(796/(-20) - -4) a composite number?
False
Let a(n) = -n**2 - 4*n. Let f be a(-4). Is 1/(-4)*(-212 + f) composite?
False
Let z be 2 + 2/((-2)/(-3)). Let n(w) = 2*w**3 + 6*w**2 - 2*w + 5. Is n(z) composite?
True
Suppose -15 = -5*y - 3*x, -y + 3*x = -4*y + 15. Suppose 4*z = 3*j + 75, 0 = -5*z - 4*j - y*j + 86. Suppose 0 = 3*l - 3*f - 63 + 3, -l = f - z. Is l prime?
True
Suppose -7*z + 285 = -2*z. Is z prime?
False
Let i be 6/1 - 1/(-1). Let m(v) = 5*v - 3*v + v - i. Is m(7) a prime number?
False
Let p = 8052 + 3995. Is p prime?
False
Let a = -6 - -15. Is 2121/a + (-6)/9 a prime number?
False
Let x(d) = 11*d**2. Let z be x(2). Is (z/(-10))/(3/(-15)) a prime number?
False
Suppose v = -2*v. Suppose 3*n - 12 = 3*a, -2*a = -v - 2. Suppose -2*j + 10 = d + 3*j, -n*d = -4*j - 195. Is d a composite number?
True
Let f(q) = -9*q - 13. Let p(z) = -10*z - 14. Let b(t) = -5*f(t) + 4*p(t). Is b(10) a composite number?
False
Let q = 371 - -1022. Is q composite?
True
Let q = 31 + -1. Suppose 3*y - 5*s = -q, -5*y - 4*s = -2*y + 30. Let b(o) = -11*o - 15. Is b(y) a composite number?
True
Let p = -10 - -21. Let i = p - -26. Is i composite?
False
Let w = -19 + 14. Let z(d) = 11*d**2 - 2 - 2*d - 3*d**2 + 3. Is z(w) composite?
False
Suppose r - 51 = -0. Is r prime?
False
Is ((-5048)/(-12))/((-6)/(-9)) a prime number?
True
Let o(q) = q**3 - 11*q**2 + 7*q + 10. Let m be o(10). Is (-1148)/m + (-2)/5 composite?
True
Let y = 2186 - 1481. Suppose -4*a = -7*a + y. Is a prime?
False
Let j(m) = 141*m**2 + 2*m. Is j(-1) a composite number?
False
Let z = -1 + -19. Let f = 11 - z. Suppose -k - f = -2*k. Is k a composite number?
False
Suppose 0 = -2*h - 3*h. Let n be 0 + h - (0 + -1). Is 1/(n/19 + 0) prime?
True
Is 2/(1891/(-631) - (-6)/2) a prime number?
True
Let q be (-3)/12 - 11931/(-12). Suppose -4*l - 3*j + q = 0, -749 = -3*l - 4*j - 0*j. Is l a prime number?
False
Let c = 355 - -52. Is c composite?
True
Let t = -8 + 4. Suppose 2*s - 5*b = 4, 4*s - 5*b + 17 = 5*s. Let d = t + s. Is d a prime number?
True
Let r = 62 + -16. Let c = 83 - r. Is c composite?
False
Let w(a) = -a**2 + 8*a - 9. Let o be w(6). Suppose g = o*g - 106. Is g a prime number?
True
Let i(t) = -5*t**2 - 29*t + 5. Let r(b) = -2*b**2 - 14*b + 2. Let a(w) = 3*i(w) - 7*r(w). Let f = 14 + -8. Is a(f) prime?
True
Suppose 5*l = 4*l + 307. Is l a prime number?
True
Is -1*((-447)/3 - 0) a composite number?
False
Let p(l) = -l**2 + 6*l - 1. Let i(a) = -2*a + 5. Let u be i(-7). Suppose 5*s = 1 + u. Is p(s) a composite number?
False
Let j(n) = -n**3 - 4*n**2 + 7*n - 13. Is j(-9) a composite number?
True
Let s = 1846 - 1289. Is s prime?
True
Suppose -4*i = -2821 - 1099. Suppose 5*m = i + 75. Is m a prime number?
True
Suppose -4*k + 701 = 3*u, 0 = u - 0*k - 3*k - 251. Is u a composite number?
False
Suppose 7*z - 20 = 2*z. Suppose -4*f = 4*i - 3*f - 144, -i + 51 = z*f. Is i composite?
True
Let w = -160 + 373. Suppose 2*a = -a + w. Is a prime?
True
Suppose 0 = -10*p + 12*p - 2422. Is p a prime number?
False
Suppose -3*b - y = -5*b + 10, 4*b + y - 20 = 0. Suppose -t + 2*v = -v - 10, -b*t + 74 = -3*v. Let c = -9 + t. Is c a prime number?
True
Suppose 0 = 3*n + c + 40, 0 = -0*n + 2*n + 3*c + 36. Is 16569/54 + (-2)/n a prime number?
True
Suppose 0 = -4*r + 2*r. Is 113 + r + 4/2 composite?
True
Let t = 317 + -156. Is t a composite number?
True
Let n(i) = -2*i**3 - 9*i**2 - 5*i + 8. Let w be n(-7). Let a = 447 - w. Is a a composite number?
True
Let f = -5 - -3. Is 23*(-2 + 9) - f a prime number?
True
Let r = -392 + 2031. Is r composite?
True
Suppose -2*k + 754 + 2250 = 0. Suppose -7*f - k = -9*f. Is f composite?
False
Let u be (-2 + (-12)/(-8))*0. Suppose u*k + 281 = 3*k - 2*y, -y = -2*k + 187. Is k a prime number?
False
Let v(s) be the second derivative of -5*s**3/6 - 3*s**2/2 - 2*s. Let c be v(6). Let k = c - -70. Is k prime?
True
Suppose 2*i = 3*a - 2263, -790 = 5*a + 4*i - 4569. Let g = 1086 - a. Is g prime?
True
Let c(y) = -11*y**3 + y**2 + y + 2. Suppose -5*s + 1 = -4*k - 0*k, 0 = -4*k - 16. Is c(s) prime?
False
Let g(s) = -s**3 + 7*s**2 + 14*s - 5. Let b(u) = 2*u**3 - 13*u**2 - 27*u + 10. Let f(h) = 3*b(h) + 5*g(h). Let x be f(7). Suppose -x = -8*i + 3*i. Is i prime?
False
Suppose 5*c = 5*y + 2760, -1105 = 3*c - 5*c + y. Is c a prime number?
False
Suppose -163 - 318 = -3*l - c, 4*l - 632 = c. Is l a prime number?
False
Let m = 779 - 520. Is m composite?
True
Let t be -2 + 5 + (2 - 5). Suppose t*c - c = -74. Is c composite?
True
Let x(d) = 444*d - 1. Is x(1) prime?
True
Let p(v) = v**3 + v**2 - 3*v + 1. Let x = -5 + 9. Is p(x) prime?
False
Let g = 319 + 660. Is g composite?
True
Suppose -8*n = -13*n + 4535. Is n a prime number?
True
Let c be (1638 - -1) + 0/(-1). Suppose 2*w + c = 5*r, -r - w + 9 = -323. Suppose 3*k + 0*i - 4*i - r = 0, 3*k + 4*i = 337. Is k composite?
True
Let t be 7/((-1)/(1 + -2)). Suppose r - 12 = t. Is r prime?
True
Let x(p) = -p**3 + 9*p**2 - 3*p - 4. Let t be x(8). Let b = t + 17. Is b a composite number?
False
Suppose -4*d + 466 = 2*r, d - 5*r = -4*d + 620. Is d prime?
False
Let n = 5 + -4. Is (-134)/(-4)*(3 - n) a prime number?
True
Let x(m) = 96*m - 1. Let p be x(3). Let g = p + -160. Is g a composite number?
False
Let q(w) = -2*w**2 + 3*w + 13. Let i(m) = -m**2 + m + 6. Let z(y) = 7*i(y) - 4*q(y). Is z(9) composite?
True
Let u(x) be the third derivative of -21*x**4/4 + x**3/6 - 5*x**2. Is u(-1) a prime number?
True
Is 4/1 + 1 + -4 + 1150 a composite number?
False
Let x(k) be the first derivative of -k**4/2 + 11*k**3/3 + 7*k**2/2 - 7*k - 5. Is x(5) a prime number?
True
Is 381/12*1*4 a prime number?
True
Suppose -5*h + q = -827, -2*h + 4*q + 92 = -246. Let z = h - 116. Is z prime?
False
Let z = 5 + -1. Let w = 8 - z. Suppose 2*q = w*q - 118. Is q composite?
False
Suppose 2*l - 3 = l. Let o(k) = -k**3 - 5*k**2 + k + 6. Let p be o(-5). Let g = l + p. Is g composite?
True
Suppose 0 = -2*x - 13 + 5. Let y be 2 - (-1)/(2/x). Suppose 5*l - 2*l - 69 = y. Is l composite?
False
Let y(k) = -5*k + 2*k**3 - 9 - k**3 + 3*k**2 - 5*k. Let p be y(-6). Let w = p + 96. Is w a composite number?
True
Let t = -9 - -17. Let k = t + -4. Suppose -3*h - k*x + 53 = 0, -3*h + 30 + 19 = 5*x. Is h a prime number?
True
Suppose 2 = 3*t - 10. Suppose 308 = 2*h + 2*h - t*y, 3*h + 3*y = 243. Is h composite?
False
Let w = 322 + 109. Is w composite?
False
Suppose 2 = 3*h - 10. Let j = -2 - -7. Suppose 0*c + h*c - 119 = -5*i, 0 = -j*c + 5. Is i prime?
True
Let m(j) = j**3 - 5*j**2 + 5*j - 7. Let y be 21/4 + (-6)/(-8). Is m(y) composite?
False
Let n be 2*((-2)/2 + 3). Suppose -88 = -0*i - n*i. Is i a prime number?
False
Is (-4 - -2)*(-5