3*x + 12 - 78. Is k a composite number?
False
Let i(j) = 2*j**2 + 18*j + 17. Is i(-12) a composite number?
False
Suppose -2*i = -3*q - 886, -3*q + 8 = -q. Is i a prime number?
True
Let j(k) = k**3 + k + 18. Let z be j(0). Let v = z + -10. Suppose -o = -v - 5. Is o a prime number?
True
Suppose 366 = 5*p + 91. Let x = p - -106. Is x prime?
False
Suppose 0*h + 2*h - 6 = 0. Let y be (-31 + 3)/((-2)/17). Suppose 5*p = -i + 42, 0 = -6*i + i + h*p + y. Is i a composite number?
False
Let k(c) = c - 2. Let d be k(3). Let u = 36 + d. Is u a prime number?
True
Suppose -2*s = 3*s + 25, 4*y + 306 = 2*s. Let r = -14 - y. Is r a prime number?
False
Suppose 0 = 4*g - 5*b - 329, 4*g - 3*b - 325 = -2*b. Let q(j) = -j - 8. Let i be q(-4). Let l = g - i. Is l prime?
False
Let b(w) = 2*w - 6. Suppose -5*a = r - 5 - 30, a = -2*r + 34. Let h = r - 7. Is b(h) a prime number?
False
Suppose 2*y + 16444 = 4*s, s - y - 2*y - 4121 = 0. Is s prime?
False
Suppose 5*p + 16 = 4*p + 5*o, -2*p + 4*o = 8. Suppose -j + p*j - 447 = -3*f, -12 = -4*j. Is f a prime number?
False
Let y be (-10)/(-2) + 5 + -4. Suppose 3*c - y*c = -18. Let r = 9 - c. Is r prime?
True
Suppose -2*l = -3*q, 2*l - 7*l = 4*q + 23. Let y be -2 + 7 + q - -71. Suppose -o + 23 + y = 0. Is o prime?
True
Suppose 0 = -v - 3, 3*x + v = -6 - 0. Is -7*((-2 - 0) + x) a prime number?
False
Let l(x) = x**3 - 5*x**2 + 8*x - 7. Let j be l(5). Is 1 - 2 - -2*j a prime number?
False
Let n(f) = -f**3 + f**2 - f. Let m be n(0). Suppose m = w + w - 98. Is w a prime number?
False
Suppose i = -d + 6*i + 8, 2*d + 5*i = 1. Let t be 7/d - (-4)/6. Is 15 + 1 + (-3)/t composite?
True
Suppose 0 = -2*a - 0*a - 72. Let d = a + 26. Is (-2)/d + (-1152)/(-15) prime?
False
Let d(q) = 14*q - 1. Let l be (-4 + 5)/((-1)/(-11)). Suppose -23 = -4*y + z - 0*z, 4*y - l = -3*z. Is d(y) a composite number?
True
Let g(o) = 0 - 134*o + 95*o + 0. Is g(-1) a composite number?
True
Let v(b) = 5*b**3 + 7*b**2 - 4*b + 11. Is v(6) prime?
True
Let k be ((-6)/(-3))/4*458. Let z = 396 - k. Is z prime?
True
Suppose 3*n - 33 = 2*q, -q - 3*n - 2 = 1. Let y = q + 51. Is y a prime number?
False
Let d(j) = -j**3 + 10*j**2 - 6*j + 6. Is d(8) composite?
True
Let o = -7 - -21. Is o composite?
True
Suppose 638 + 1261 = 3*c. Is c a composite number?
True
Suppose 3*q = -0*q + 15. Suppose d = -h + 6, -q*h - 2*d + 28 - 1 = 0. Suppose h = -i + 82. Is i a composite number?
True
Suppose 5*p + 3*z - 83 - 168 = 0, 5*z - 206 = -4*p. Is p composite?
True
Suppose -4*c = -3*c. Suppose c = 5*q - 440 - 305. Is q a prime number?
True
Let o(s) = -s**2 - 14*s - 9. Let u be o(-12). Suppose 0 = 2*q + 3*q + u, 4*q = -5*i + 83. Is i a composite number?
False
Let t(o) = o**2 + o + 1. Let g be t(-2). Suppose -u = d - 4, 5*u - 8 = g*u + d. Suppose -u*q = p - 73, -q - 2*q + 60 = -p. Is q prime?
True
Suppose -4 = -4*n + 4. Let g(u) = -u**3 + 11*u**2 - 6*u - 8. Let l be g(9). Suppose 2*p + n*p - l = 0. Is p a composite number?
True
Suppose 4*l = 3*a - 565, -3*a - 3*l + 579 = -0*l. Is a prime?
True
Let s(o) be the first derivative of -o**5/24 - o**4/8 - 2*o**3/3 + 1. Let w(r) be the third derivative of s(r). Is w(-8) a prime number?
True
Let z = 6058 - 2457. Is z a composite number?
True
Suppose 2*s = -3*s. Suppose 3 = k - s*k. Is 1*(383 - 2)/k a composite number?
False
Suppose -2*u - u = 60. Let o = u - -39. Is o a prime number?
True
Let g(y) be the first derivative of y**3/3 + 3*y**2/2 + 4*y + 1. Let k = 11 - 16. Is g(k) a prime number?
False
Suppose 5*r - 28 = -73. Let h(t) = t**2 + 9*t + 7. Let g be h(r). Suppose 2*q = q + g. Is q a prime number?
True
Is (-9505)/(-45) + (-4)/18 composite?
False
Suppose 2*q + 0*q - 46 = 0. Let r = 45 - q. Is r composite?
True
Suppose -26 = -5*c + 4. Let s = 31 + c. Is s a composite number?
False
Let o(s) = 3*s**3 - 4*s**2 - 2*s + 2. Let k be o(3). Suppose -3*x + k = -58. Is x composite?
True
Suppose -2*v - 3*v + 1465 = 0. Is v prime?
True
Suppose -3*n = -16 + 1. Let v(g) = 12*g - 7. Is v(n) prime?
True
Suppose -4*c - 2*b - b = -898, 4*c = 4*b + 884. Is c prime?
True
Let s be 5/((-10)/(-68)) + 2. Suppose -n = -5*n - s. Is (-281)/(-9) + 2/n a composite number?
False
Suppose -42 = -4*i + 82. Is i composite?
False
Let o be 4/(-14) + (-122)/14. Let v be (2/(-6))/(3/o). Is 69/3 - 0/v a prime number?
True
Let h(l) be the second derivative of -l**5/5 - l**4/12 + l**3/6 - l**2/2 + l. Let o be h(1). Let x = o - -52. Is x a composite number?
False
Let r(j) = 2*j**2 + 3*j - 3. Let n be r(-3). Suppose -77 + n = -a. Is a prime?
True
Let p(q) = q**3 + 6*q**2 + q - 1. Let w(a) = a - 2. Let j be w(3). Suppose 5*y = -n - 26, 28 = -5*y - 2*n + j. Is p(y) a prime number?
True
Let j(u) = -6*u - 1. Let x(n) = -2*n**2. Let t be x(-1). Let r(k) = k**3 - k**2 - 2*k. Let o be r(t). Is j(o) prime?
True
Let r(c) = 21*c**2 - 3*c + 11. Is r(4) a composite number?
True
Let y be 23/(-2) + (-1)/2. Let u = 43 - 24. Let r = u - y. Is r a prime number?
True
Suppose o - 19 = -5*q, -4*q - 3 + 19 = 0. Is 9/(36/3832) - o a prime number?
False
Let q = 6 + -12. Let y(s) = -s**3 + 3*s**2 - 3*s + 5. Is y(q) composite?
False
Let c(q) be the second derivative of -9/2*q**2 + 3*q + 0 - 17/6*q**3. Is c(-8) composite?
False
Let z = 52 + 10. Suppose -3*v = -16 - z. Is v prime?
False
Let q(m) = -m**2 + 4*m. Let r be q(3). Let s(n) = 2 - 4*n + n**r + 2*n**3 - 4*n**3 - 5*n**2. Is s(-5) composite?
True
Let p(s) = -19*s - 1. Let f = 14 - 23. Let u be (-2)/10 - f/(-5). Is p(u) a prime number?
True
Let m(k) be the second derivative of k**5/20 - k**3/6 - 5*k**2/2 + 3*k. Is m(4) prime?
False
Let o = -67 + 104. Let r be o/(-2)*(-2 - -6). Let x = r + 127. Is x prime?
True
Let y(w) = -w**3 + 13*w**2 + 8*w - 1. Is y(9) a prime number?
False
Let j = -102 - -287. Is j composite?
True
Let n be 5*((-12)/(-5))/3. Suppose n*p - 45 = 11. Is p prime?
False
Let v(w) = -2*w - w + 2*w - 82*w**3 + 0*w. Is v(-1) a prime number?
True
Suppose -633 = -5*i - 38. Is 3 + -2 + (i - 1) a prime number?
False
Let v = 0 + 13. Suppose -i + 2 + v = 0. Is i prime?
False
Let t(v) = v**3 - 6*v**2 - 6*v - 5. Let x be t(7). Suppose -x*z - 3 = z. Is 11/((1 - z) + -1) a prime number?
True
Let c = -1 + 4. Suppose i - 4*i = 2*j - 2053, c*i - j = 2056. Is i composite?
True
Let m(z) be the second derivative of z**4/6 - 4*z. Let y be m(-1). Suppose -4*n + 128 = -5*d - 224, -y*d = 5*n - 473. Is n composite?
True
Let o(x) = x + 5. Let q be o(-10). Let m(y) = 9*y**2 + 7*y + 1. Is m(q) composite?
False
Let u = 1 - 1. Suppose 4*j - 626 = -3*p + 138, -4*j - p + 772 = u. Let s = j + -111. Is s a prime number?
True
Let q(f) = f**3 + 4. Let n be q(6). Let a = 407 - n. Is a composite?
True
Suppose 0 = -6*a + 4*a + 8. Suppose -q + 1672 = a*w, -372 = -2*w - 2*q + 458. Is w composite?
False
Suppose -29 = 2*n - 0*j + 5*j, n = 3*j + 13. Let g be 0/((-1 - 1)/n). Suppose -3*y + 210 = h + 2*h, g = -4*y + 2*h + 304. Is y composite?
True
Let k = -21 + 29. Let m = -4 + k. Suppose -5*j - 2 = 3, 3*v - m*j = 205. Is v composite?
False
Suppose 4*m = 8*m + 24. Let y = 47 - m. Is y prime?
True
Suppose -2*c = -i + 5, i - 4*c - 8 = -3*i. Let h(r) = -191*r**3 - r**2 - 3*r - 2. Is h(i) a prime number?
True
Suppose 0 = 4*g - 3*g - 4, -4*g + 40 = 4*f. Suppose 0 = -3*m + f*m - 21. Is m composite?
False
Suppose -5*k + p - 6*p + 10 = 0, -5*k + 10 = p. Suppose 0 = 4*z - 4*q + q - 579, 0 = 3*z - 2*q - 435. Suppose -k*d + z = -11. Is d composite?
False
Let k = -12 + 10. Is (3 - (483 - 2))/k composite?
False
Let s(q) = 57*q**2 + 10*q - 9. Let l be s(7). Let u = -1895 + l. Is u a prime number?
False
Let z(a) = 45*a - 4. Is z(5) a prime number?
False
Is (-738)/(-36)*(21 - -1) composite?
True
Suppose -4*d + 37 = -j, -2*j - 14 - 36 = -5*d. Suppose -4*a = -2*a - d. Suppose -a*h = -3*x + 217, 6*h - h = 2*x - 154. Is x prime?
True
Let d = 317 + 5982. Is d a prime number?
True
Let v be 46/(-4) + 3/6. Let p(a) = 5*a. Let l be p(5). Let h = v + l. Is h a composite number?
True
Suppose 0 = d + 2, -v = -d - 65 - 148. Is v a composite number?
False
Is -2 + (-453)/(-6)*14 a composite number?
True
Suppose 5 = p + h, -5*h + 18 = 3*p - 7. Suppose p = w - 0*w - 119. Is w composite?
True
Is (0 + 1)/(42/76566) a composite number?
False
Let u be (3 + 21)*(-4)/6. Let m = 0 - u. Let b = -6 + m. Is b a composite number?
Tr