Let s = 74 - a. Is s prime?
False
Suppose -k = 5*c + 2, 4*k = k + 4*c + 13. Is -254*((-18)/4)/k a composite number?
True
Let n be (-5)/10 + (-25)/2. Let h = 0 - n. Is h a prime number?
True
Let m = 7 - 7. Suppose q - 2*j - 66 = m, q + 0*q + 4*j - 90 = 0. Is q composite?
True
Let l(w) = -w**3 - 5*w**2 - w - 6. Let b be l(-5). Let p = -3 - b. Is ((-39)/12)/(p/8) a prime number?
True
Let j = 21 - 46. Let r = j - -58. Is r composite?
True
Suppose 0*t - 4*t + 3*n = 9, n - 3 = -4*t. Suppose -u + t*u + 149 = 0. Is u a composite number?
False
Let o(u) = 2*u**3 - 4*u**2 - 2*u + 3. Let c(s) = 3*s**3 - 4*s**2 - 2*s + 4. Let v(z) = 3*c(z) - 4*o(z). Let w be v(-2). Is ((-84)/(-8))/(2/w) a prime number?
False
Let d = -8 - -22. Is d a prime number?
False
Let d(n) = 3*n**2 - 5*n + 3. Is d(9) a prime number?
False
Suppose 3*b - 80 = 454. Is b composite?
True
Let n(q) be the second derivative of q**5/5 + q**4/12 - q**3/6 + 3*q. Is n(2) composite?
True
Let r = -285 + 583. Is r a prime number?
False
Let h(d) = 28*d**2 + 7*d + 7. Let c be h(-6). Suppose -2*j + c = -a, 4*j = -j - 5*a + 2410. Is j prime?
False
Let c(x) = -4*x. Let w be c(-2). Suppose -813 = -5*k - w. Is k a composite number?
True
Suppose 184 = 2*z - 386. Suppose -5*k - 5*q = -z, -3*q = -3*k + 181 - 34. Is k a composite number?
False
Suppose 3*l = 2*d + 199 + 436, -4*l = -d - 845. Is l prime?
True
Suppose -m + 5*m = 0. Suppose m = -4*s - 77 + 345. Is s a composite number?
False
Let p(v) = -v**3 - 5*v**2 - 3. Let m be p(-5). Let t = m - -6. Is t composite?
False
Suppose 5*w = 2*a + 481, a + 5*w = -2*a - 759. Let t = a + 433. Suppose -9*k + 4*k + t = 0. Is k a composite number?
False
Suppose n - 130 = 6*n. Let x = n - -45. Is x composite?
False
Let x(f) = 242*f**3 + f**2 - f - 1. Let t be x(-1). Let n = t - -338. Is n a composite number?
False
Let o = -156 + 319. Is o prime?
True
Let o be 3/12 + (-217)/4. Let p = -23 - o. Is p composite?
False
Let q = 218 - 94. Suppose s - 25 = -4*s. Suppose -5*y + q = -3*x, 3*x = -s*y + y + 83. Is y a composite number?
False
Let x be 6/(-8) - (-189)/12. Suppose 0 = -k - x + 276. Suppose -3*f = -0*f - k. Is f a composite number?
True
Let o(s) = s**2 + 5*s - 8. Let b be o(-6). Let d = -52 - -84. Let f = d - b. Is f composite?
True
Let v = -441 - -762. Let k be (1 - -5)*(-86)/3. Let o = k + v. Is o prime?
True
Suppose 4*y + 2*o + 1 - 9 = 0, 0 = 3*y - 3*o + 12. Let a be 19 - -2 - (1 - y). Suppose -a = -3*j + 19. Is j prime?
True
Suppose 0 = -3*m + 7*m + 3*l, 5*l - 17 = -m. Is 92 - -1*m/(-1) prime?
False
Suppose -2*p = 5*w - 192, 4*p - 143 = -2*w + 209. Is p a composite number?
True
Suppose 4*c + 15 = 5*n, c - 5*n = -0*c + 15. Let r(h) = -10*h - 3. Is r(c) composite?
False
Suppose -18*x = -26*x + 67736. Is x composite?
False
Suppose -a - 6 = 21. Let d be 1 + a/3 - 0. Is d/20 - 374/(-10) prime?
True
Let k = -179 - -1738. Is k prime?
True
Suppose 4*q - 12 = -0*q. Suppose q*b - 4 = x, 11 - 3 = 2*b + 2*x. Suppose 0 = -b*k - 2*p + 3 + 25, -3 = 3*p. Is k a prime number?
False
Let n(p) = 12*p**3 - 2*p**2 + 7*p + 1. Is n(6) a prime number?
False
Let x be (6/8)/((-3)/504). Let c = 389 + x. Is c a composite number?
False
Let v(k) = -59*k + 30. Is v(-19) a composite number?
False
Let t = 28 + -44. Let u = t - -23. Suppose -3*x + 224 = 5*y, u*x + 2*y = 4*x + 239. Is x composite?
False
Let f = -7 - -9. Suppose 2*t - 836 = -f*t. Is t prime?
False
Let f = 12442 - 2909. Is f prime?
True
Suppose -3*n + 1376 = o, -6870 = -5*o - 0*o - 5*n. Is o a prime number?
True
Let z(i) = -8*i - 1. Let m(y) = -y**2 + 9*y - 2. Let j be m(8). Let g(c) = c**2 - 8*c + 5. Let h be g(j). Is z(h) composite?
True
Let u = -68 + 157. Is u composite?
False
Suppose -116 = -5*m + 34. Let q = 64 - m. Is q a prime number?
False
Suppose 4*j = 3 + 1. Let a be (-20)/(-4)*j/1. Suppose a*d - 20 = 3*d. Is d a prime number?
False
Let x(f) = 3*f**2. Let w be x(1). Let l(g) = -w*g + 6 + 0 - 14*g - 2. Is l(-5) a composite number?
False
Let d = -28 - -222. Is d prime?
False
Let j be (-15)/(-6) + 3/6. Suppose j*i + 0*i + 295 = s, 5*i = -2*s + 568. Is s a composite number?
True
Suppose 0 = 5*z - 4*y - 28, 2*z + y - 4 = 2. Suppose 0*x = -3*x + 84. Suppose -z*q = -0*q - x. Is q composite?
False
Let h(c) = 4*c**2 + 2*c - 4. Let y(m) = -5*m**2 - 2*m + 5. Let f(u) = 6*h(u) + 5*y(u). Let r be f(-2). Is (-7)/2*(r - -1) prime?
False
Let x(a) = -59*a**3 + a**2 + 2*a + 1. Is x(-1) a composite number?
False
Let z(j) = j**2 + 2*j - 1. Let p be z(1). Suppose b - 75 + 14 = p*y, 0 = b - 5*y - 70. Is b prime?
False
Suppose -4*c - 12 = -7*c + a, -2*a - 21 = -5*c. Let q(n) = 4*n**3 + 2*n**2 + 1. Is q(c) a composite number?
False
Suppose -6*s + 556 = -2*s. Is s a composite number?
False
Let m(x) = -x**2 - 8*x - 2. Let i be 20/9 - (-2)/(-9). Let z = i - 5. Is m(z) prime?
True
Is (2/3)/(2/165) composite?
True
Let m(t) be the third derivative of -t**6/40 + t**5/60 + t**4/8 - 2*t**3/3 - 4*t**2. Let z = 0 + -3. Is m(z) a composite number?
True
Let g be ((-4)/(-10))/((-2)/(-20)). Suppose -370 = g*p - 5*p + y, 0 = 4*p + 4*y - 1504. Is p prime?
True
Let q = 1396 - 453. Is q prime?
False
Suppose 0 = -3*b - 15, 4*s + 124 = -5*b - 333. Let g = s + 230. Is g prime?
False
Let r(a) be the first derivative of 5*a**2/2 - 3. Let n be r(-4). Let w = n - -39. Is w a prime number?
True
Let y = -11 + 15. Suppose -y*b + 4*z - 7*z + 368 = 0, b + 5*z - 75 = 0. Is b a composite number?
True
Suppose 0 = -3*l + f + 13 - 5, 3*f + 4 = 4*l. Suppose 124 = 5*y - 2*x, -3*x - 83 - 12 = -l*y. Is y + -1 - 4/2 a prime number?
True
Suppose -4*m + 12 = 0, 3*m = 3*l + 2*l - 176. Is l a prime number?
True
Suppose -4*u - 2*j - 2*j - 8 = 0, -5*j = -5*u + 20. Let b = 0 - u. Is b/1 + 3*8 composite?
False
Let w(q) be the third derivative of -q**5/120 + q**3/6 - 2*q**2. Let v(m) be the first derivative of w(m). Is v(-2) composite?
False
Suppose 0*m - 4*m + 1408 = 0. Suppose -2*j + 4*u + m = 0, -5*j = -4*u - 1221 + 323. Suppose -q = q - j. Is q a composite number?
True
Suppose 5*d + 461 = 2*k, k - 5*k - d = -889. Is k a prime number?
True
Suppose -4*h = -5*l + 5, 1 = 3*l - 14. Suppose -2*p + 2*s = 3*s + 29, -4*p - 73 = h*s. Let r = -2 - p. Is r prime?
False
Suppose q + 15 = 4*q. Suppose w = 56 - q. Is w a prime number?
False
Let h(x) = -x**3 - 4*x**2 - 3*x - 1. Let r be h(-2). Is ((-1)/r)/((-2)/(-114)) a composite number?
False
Let v(k) = k**3 + 3*k**2 + k - 2. Let r be v(-2). Suppose -3 = -m, r = 2*q - q + 4*m - 481. Is q a prime number?
False
Let k(o) = -o**3 - 7*o**2 - 2*o - 10. Let s be k(-7). Suppose -3*x + 210 = s*z, 3*z - z + 210 = 3*x. Suppose -2*r + 0*r + x = 0. Is r a composite number?
True
Let q = 174 - 114. Suppose q + 2 = 2*s. Is s composite?
False
Let a(n) = 3*n + 7. Is a(6) a prime number?
False
Let l = 379 + -106. Suppose 4*o + 2*j - l = -o, -3 = 3*j. Is o composite?
True
Suppose -k + 41 = -32. Suppose -5*v + k = 4*y - 124, -v + 25 = -4*y. Is v a composite number?
False
Let t(b) = 135*b**2 + 4*b + 3. Suppose -5*z - 7 = 3. Is t(z) a prime number?
False
Suppose 4*s = -0*s - 632. Let k = -91 - s. Is k a prime number?
True
Let l(o) = 7*o - 1. Let q(v) = v**3 + 2*v**2 + 2. Let a be 2/5*20/(-4). Let r be q(a). Is l(r) composite?
False
Let q(y) = y**2 - 5*y + 4. Let i be q(5). Is (-2021)/(-17) + i/34 a composite number?
True
Suppose -g = -5*g + 1892. Is g prime?
False
Suppose 5*i = -4*r + 5226, 4*i - 2670 - 1482 = 4*r. Is i composite?
True
Let z(h) = 11*h**2 - 17*h - 3. Is z(8) composite?
True
Let b(s) = s**3 - 4*s**2 - 16*s - 1. Is b(16) a prime number?
False
Suppose -1111 = -3*a - 76. Suppose 8*v - 5*v = a. Is v composite?
True
Let t(v) = v**3 + 7*v**2 - 6*v + 5. Is t(-6) composite?
True
Suppose 4*u - 41 = u + 4*h, 2*u + 4*h + 6 = 0. Let w(f) = 2*f - 4. Let p be w(u). Let y = p - -15. Is y a prime number?
False
Let w(p) = p**3 - p**2 - p + 69. Let f be w(0). Suppose 5*a = 2*a - f. Is (-3)/6 - a/2 a composite number?
False
Suppose 3*a - 2*f = a + 62, -a - 5*f + 55 = 0. Is a prime?
False
Let y be (924/(-48))/((-2)/8). Suppose -5*b = -y - 308. Is b composite?
True
Suppose 0 = 4*t + 3*i - 2556, 5*t - 4*t - 662 = 5*i. Let n = 1169 - t. Is n composite?
True
Suppose k - 4*k - 3*y = 9, -2*y - 10 = 0. Let t = -14 + 3. Is (t - -1)*(-11)/k composite?
True
Let i(a) = -a**2 + 4*a + 54 - 3*a + 1