= 17 - j. Is n(a) prime?
True
Let c(p) = p**3 + 8*p**2 + 5. Let u(k) = k**3 + k**2 + 2*k. Let q be u(-2). Let n be c(q). Is 1/5 + 574/n a prime number?
False
Is (8/16)/((-2)/(-508)) composite?
False
Let a = -11 - -18. Is a composite?
False
Suppose 0 = l + 5 - 3. Is 79/((l/6)/(-1)) composite?
True
Suppose 0 = 3*b - 1 - 2, 2*b = 4*t + 10. Is (-2)/(t - 180/(-93)) a prime number?
True
Let n = -170 + 297. Suppose -3*c + c + 4 = 0. Suppose c*q - n = q. Is q a composite number?
False
Let c(a) be the first derivative of 5*a**3/3 + 5*a**2 - 5*a - 7. Is c(8) a composite number?
True
Let f = -2 - -4. Suppose -4*i + 3*b - 48 = -238, 4 = f*b. Is i composite?
True
Let u = 6 + -4. Suppose 40 = 2*y - 3*f, -3*f - 54 = -y - u*y. Is y composite?
True
Suppose -3*p - 5*t + 8*t + 765 = 0, 0 = -2*t - 10. Suppose -p = -3*z + z. Suppose 3*n + 5*g = z + 141, -3*n = 3*g - 276. Is n a composite number?
False
Let b(d) = 4*d**2 - 2*d + 1. Let c be b(1). Let n = -8 + 15. Suppose 4*i - 344 = -4*a, a - 71 = -n*i + c*i. Is a a prime number?
False
Let y(m) = m**3 - 10*m**2 + 3*m - 12. Let p be y(9). Let o(v) = -4*v**3 + 2*v**2 + 3*v + 2. Let t be o(-3). Let x = t + p. Is x composite?
False
Let g(m) = 68*m + 1. Let l be g(1). Let q = l + -48. Is q prime?
False
Suppose n = -6*j + 3*j - 6, 2*n + j = 3. Is (20 - (3 - n))/2 composite?
True
Suppose 2*z = 4*y + 210, -5*z + 12 + 453 = 5*y. Is z a prime number?
True
Let r(n) = 294*n**2 - n. Is r(-1) prime?
False
Let g(d) be the second derivative of 0 - d + 1/3*d**3 - 4*d**2. Is g(7) a composite number?
True
Let d = 3 + -3. Suppose 6*q - q = d. Suppose 0 = -2*g - q*g + 110. Is g a prime number?
False
Is 78/4*(-116)/(-6) prime?
False
Let x(g) = -13*g**3 - g**2 + 4*g - 5. Let w be (4/6)/(14/105). Let s(o) = 7*o**3 - 2*o + 3. Let h(b) = w*s(b) + 3*x(b). Is h(-5) a prime number?
False
Let h(b) = 16*b**2 - 4*b + 26. Is h(-8) prime?
False
Let u(h) = -h**3 - 2*h**2 - 3*h - 3. Let z be ((-18)/3)/((-3)/2). Suppose 5*t = -3*o + t - 26, 2*t = -z*o - 18. Is u(o) prime?
True
Let w(u) = u. Let b be w(5). Suppose p - 38 = -0*p - b*f, 5*p - 164 = f. Is p composite?
True
Suppose -2*x + x - 4*w + 32 = 0, 3*x = 4*w + 48. Suppose -3*s = -7*s + x. Let i(a) = a**2 + 2*a - 4. Is i(s) composite?
False
Suppose 0 = -2*c + 10, 2*j + 6*c = 3*c + 85. Let g = j - -29. Suppose -20 = 4*q - g. Is q a prime number?
True
Suppose -3*c + 5 = -7. Suppose h = -c*h + 190. Suppose q - h = -m, -m - 153 = -5*m - 5*q. Is m a prime number?
True
Let x = 118 - 165. Let q be (-18)/6 - (x - -1). Suppose 0 = -2*f - 5*y - 0*y + 93, 5*y = 2*f - q. Is f prime?
False
Let k(m) = -31*m + 1. Is k(-6) composite?
True
Suppose -p - 2*p = -15. Suppose p*v - 1655 = -4*i, 5*v = -i + 404 + 1251. Is v composite?
False
Suppose y - 3*b = 143, 5*b + 147 = 2*y - 143. Suppose -h + 2*x - 8 = -2*h, 0 = 2*h + 5*x - 17. Suppose u + y = h*u. Is u prime?
True
Let z = 363 + -56. Is z composite?
False
Let w(k) = 230*k - 11. Is w(5) a composite number?
True
Let j(s) = s - 12. Let p be j(12). Suppose p = 2*q - q - 11. Is q a composite number?
False
Let s be 14 + -12 + -1*2. Suppose s = -3*x + 7*x - 212. Is x a composite number?
False
Let m be 1/(2/4 + 0). Suppose -2*v + 4*p = 4, 5*v - 6*v + 14 = m*p. Is (-705)/(-9) + 4/v prime?
True
Let b be (-8)/(1 + -5 - -2). Let m(o) = -43*o + 4. Let a be m(b). Let u = a + 247. Is u a composite number?
False
Let l = 268 - 77. Is l a prime number?
True
Let u = 12 - 18. Let h = -11 - u. Is h/5 + (-14)/(-2) a prime number?
False
Is (-72592)/(-48) - 4/(-6) composite?
True
Let j(v) = -v**2 - 3*v - 2. Let w be j(-3). Is -3 - 4/w - -132 a composite number?
False
Suppose -s + 8 + 30 = 5*i, 5*s - 3*i - 274 = 0. Is s prime?
True
Suppose -2*d - 96 = l + l, 3*l = -6. Let p = d - -5. Let a = -20 - p. Is a composite?
True
Suppose -4*z + 4*j + 480 = 0, 2*z - 381 = -3*j - 136. Is z composite?
True
Let t be (3/(-9))/((-2)/114). Let d be (-2 + -62)/((-4)/8). Suppose -t + d = y. Is y a composite number?
False
Let m = -2 - -4. Suppose j + 211 = m*j. Is j a prime number?
True
Suppose -a - 2*a = 4*u + 843, 2*u = -a - 423. Let t = u + 312. Suppose s - t = 106. Is s a prime number?
False
Let n = 4 + -2. Suppose 2*h + r = 5*r + 526, n*h = 5*r + 523. Suppose -16 = -3*k + h. Is k a composite number?
True
Let s = -14 - 4. Let w(l) = -3*l**2 - 3*l + 5. Let a be w(7). Let c = s - a. Is c a prime number?
False
Let u(m) = 2*m - 9. Let w(p) = -7*p**3 - 5*p**2 + 7*p + 5. Let s(x) = 14*x**3 + 9*x**2 - 13*x - 9. Let b(k) = 6*s(k) + 11*w(k). Let o be b(1). Is u(o) prime?
True
Suppose -4*m - 27 = 4*i - 7, 2*i + 5 = -m. Suppose -2*j + 5*j = 12. Suppose i = -5*z - j*u + 155, 5*z = z + 3*u + 124. Is z a composite number?
False
Suppose -21 = -4*k + 43. Suppose 6*i - i - 36 = -4*n, 0 = -5*i + n + k. Suppose x + 231 = i*x. Is x prime?
False
Let t = 8 - 8. Suppose t = -2*d + 257 + 975. Let f = d - 437. Is f a prime number?
True
Suppose -w + 26 = -3*s, -3*s + 2*s - 16 = -w. Suppose 14 + w = -5*r, -4*m + r + 25 = 0. Suppose -m*i + 415 = 20. Is i a prime number?
True
Let c(t) = t**3 - t**2 - t + 3. Let m be c(0). Suppose -324 = m*o - 1461. Is o prime?
True
Suppose -7133 = -5*b - 1788. Is b a composite number?
False
Suppose 2*s - 20 = 2*l, 4*s + l - 14 = 2*s. Let o be (-6)/4*s/3. Let c(v) = -v - 2. Is c(o) prime?
True
Suppose 0 = -4*k + 3*k + 145. Is k a composite number?
True
Let x(p) = -2*p**3 + 4*p**2 - 2*p - 2. Let j be x(4). Let z = j + 141. Is z composite?
False
Let k(t) = t**3 + 2*t**2 + 4*t - 14. Is k(6) prime?
False
Let c = 23 + 9. Suppose 63 = 5*m - c. Is m prime?
True
Let g = 234 + 106. Let j = -229 + g. Is j prime?
False
Let t(u) = -3*u + 10. Let p be t(7). Let x = p + 8. Is ((-58)/x)/((-4)/(-42)) composite?
True
Let j be (2/(-1))/(5/45). Let w = j - -107. Is w a prime number?
True
Let g(z) = z**3 - 2. Let k be g(-2). Let h = 14 + k. Suppose -c + h*c + 2*x - 41 = 0, -x = -4*c + 51. Is c prime?
True
Let m = 2 - 0. Let w(h) = -54*h + m + 3 - 4. Is w(-1) a prime number?
False
Let f(o) = -o**3 + 8*o**2 - 9*o + 3. Let j(y) = y**3 + 9*y**2 + 6*y - 10. Let n be j(-8). Let d = 0 + n. Is f(d) a composite number?
True
Suppose -3*v + 12 = v. Suppose 4*y - v*t = 578, 0*y + t = y - 145. Is y prime?
False
Suppose p + 0*p + 3*z - 34 = 0, 4 = 4*z. Is p composite?
False
Suppose -g + 2*g + h = 5, 0 = 4*h - 20. Suppose 4*o + 2*w - 2 = -4, -2 = -o + 2*w. Suppose o*j = j, g = 3*x - 3*j - 21. Is x prime?
True
Let k be (-1)/5 + 564/20. Suppose -k = -u + 49. Is u prime?
False
Let x = 3235 + -1458. Is x a prime number?
True
Suppose 2*z = -8, 13 = h - 4*h - z. Is (-3)/2*614/h composite?
False
Suppose y = 3*b + 4, -2*y - 5*b = -5*y - 8. Let u(w) = w + 22. Let q be u(y). Suppose 2*t - n - 10 = q, n - 18 = -t. Is t prime?
True
Let w(a) = 4*a**2 - 3*a + 1. Let q(k) = -9*k**2 + 6*k - 1. Let n(y) = -3*q(y) - 5*w(y). Is n(-4) composite?
True
Let x(l) = l**3 - 2*l**2 - 5*l + 7. Let u be x(5). Suppose k + 2*a - 86 = u, 3*k - 434 = -5*a. Suppose 5*b - 12 - k = 0. Is b a prime number?
False
Let g(y) = 6*y + 4. Let v be g(-7). Let q(p) = 59*p**2. Let b be q(1). Let x = v + b. Is x composite?
True
Suppose w = 2*w - 89. Is w a composite number?
False
Let z be (2/(-3))/(1/(-9)). Let t = z + -2. Is 617/t - (-15)/20 a prime number?
False
Let z(s) = -s + 1. Let d(v) = v - 1. Let c(n) = 6*d(n) + 7*z(n). Let q(h) = -40*h. Let g(b) = -c(b) + q(b). Is g(-2) composite?
True
Suppose 4*x - 4 - 4 = 0. Suppose -4*g + x*h + 149 = -29, -h = -5. Is g composite?
False
Suppose 0 = -a - 4*a + 45. Is (0 + (-3)/a)*-267 prime?
True
Let t(x) = 23*x**2 + 26*x - 4. Let s(f) = -8*f**2 - 9*f + 1. Let y(m) = 17*s(m) + 6*t(m). Is y(-6) composite?
False
Let o = 36 + -93. Suppose -400 = -5*x + 210. Let i = x + o. Is i a composite number?
True
Let c = 80 + -47. Is c a composite number?
True
Let i be (-6)/((-1 - 0)/(-6)). Let x = 50 + i. Is x a composite number?
True
Let t be (-6)/4*8/(-12). Is 469 - t/(-2)*0 prime?
False
Let f(r) = -r + 11. Let k be f(5). Let q be (-12)/8*4/k. Let j = 4 + q. Is j composite?
False
Let t = 7 + -5. Suppose t*o = a - 151, o - 3*o - 628 = -4*a. Suppose -b + a = 4*i, 5*b - 4*b - 5*i = 177. Is b a composite number?
False
Suppose -w = 5*i - 124, -i - 475 = w - 5*w. Is w a composite number?
True
Let f be (-1)/(-3) - 5/(-3). Is 37/1 - 0/f prime?
True
Let v =