7 + j = 0. Is d composite?
True
Suppose -4*a + 753 = -a. Is a composite?
False
Let r = -1 - 5. Let p = 9 + r. Suppose 0 = 6*z - p*z - 267. Is z composite?
False
Suppose -2*r + 2*q + 6 = -0, 5*q + 15 = -2*r. Let s be r*(9/6)/(-3). Suppose m + s*m = 87. Is m composite?
True
Suppose 0 = -5*n + 4656 + 589. Is n prime?
True
Suppose 3*v = -0*v + 114. Is v a composite number?
True
Let i(f) = 43*f + 7. Let g be i(5). Suppose 3*z = -0*z + g. Is z a composite number?
True
Suppose 8*g + 131 = 9*g. Is g composite?
False
Let y = 760 + -525. Is y composite?
True
Let p = 141 + -84. Suppose -p = -3*d + 2*u + 74, 2*u = 10. Is d prime?
True
Let j = 15 + 52. Is j composite?
False
Suppose 2*r = 2*b - 414, r = -0*r + 4. Is b a prime number?
True
Let g(l) = -l**3 - 6*l**2 - 6*l - 5. Suppose 5*b = 4*o + o + 50, -3*o + b = 20. Let v be g(o). Suppose 4*n + 0*r - 28 = 3*r, v = -4*r. Is n composite?
False
Let c(n) be the third derivative of n**6/120 + n**5/15 + n**4/24 - n**3/2 + 2*n**2. Let b be c(-3). Suppose 0 = -b*x - 2*x + 65. Is x a prime number?
True
Let s(w) = 33*w**2 - w - 1. Is s(3) a composite number?
False
Let f(o) = -2*o**2 - 3*o - 2. Let r be f(-2). Is 3/(-4) + (-31)/r prime?
True
Suppose -5*z + 2*z = -69. Suppose x = z + 32. Is x composite?
True
Let m = 71 + -34. Suppose -m = -3*i + 56. Is i a composite number?
False
Let a be 6/10 - 168/(-20). Suppose a*i = 5*i + 104. Is i a composite number?
True
Suppose 1129 + 2961 = 5*p. Is p a prime number?
False
Let n(h) = 2*h**2 - 2*h - 2. Let u be n(3). Suppose -u = 2*k - 0. Let p(t) = -2*t - 3. Is p(k) composite?
False
Suppose 0 = -5*o - 0*o. Suppose o = 2*v + 2*v - 488. Suppose -4*q + v + 90 = 0. Is q prime?
True
Suppose -11*u + 7*u + 4868 = 0. Is u prime?
True
Suppose -4*w + 5*n = -27307, w - 3*n + 6814 = 2*w. Is w a composite number?
False
Let n be 60/((-156)/80 - -2). Let j = n - 679. Is j prime?
True
Let p(u) = -37*u + 16. Let f be p(-12). Suppose 5*z + 0*z - f = 0. Let r = z + -3. Is r composite?
False
Suppose -a = 3*a - 424. Suppose 3*y = y. Suppose z = -z - p + a, z - p - 59 = y. Is z prime?
False
Let b = 135 + 344. Is b composite?
False
Suppose -4*a = -135 + 39. Suppose a*w - 1131 = 21*w. Is w a composite number?
True
Let b(x) = -x**3 - 2*x**2 + 6*x + 7. Let c be b(-5). Let a be -23 + (-6)/(-15)*5. Let q = c + a. Is q prime?
True
Suppose p = -2*t - p + 6, -1 = -3*t - p. Let v = t + -2. Is 24 + 9/(9/v) a prime number?
False
Suppose -d = 5*o + 7, 3*o + 15 = 4*d - 3. Is -237*(o - (-5)/3) a composite number?
False
Let j be 2/(-5) + (-2)/(-5). Is j/(-1) - -58*1 composite?
True
Suppose 0*z + 2*w = -2*z - 14, -2*z - 14 = -2*w. Is (21/6)/z*-170 a composite number?
True
Suppose p - 3*p = -404. Let n = p - 105. Is n a composite number?
False
Let h(w) = -2*w - 5. Let t(p) = -3*p - 6. Let r(z) = 4*h(z) - 3*t(z). Let s be r(-5). Let m(y) = y**2 - y - 7. Is m(s) a prime number?
False
Let z be (-4)/(-10)*37*15. Let p = -153 + z. Is p prime?
False
Let l = 8 + -4. Suppose l = h + 1. Suppose h*i = i + 18. Is i a prime number?
False
Let d = 2010 + -1429. Is d a composite number?
True
Let h be 0/(5/((-25)/5)). Let u be 6/4 - 3/(-6). Suppose z + h = u, -2*z + 289 = 3*t. Is t a composite number?
True
Suppose 5*z - 3*m + 107 = 0, -2*z + 4*z + 41 = 3*m. Let l be 2/((8/z)/(-4)). Let x = -15 + l. Is x a composite number?
False
Let j(h) = h**2 - 2*h. Let n be j(6). Let k be 1*(-9)/(9/(-3)). Suppose n = k*z + z. Is z composite?
True
Suppose -4*l - 2*j + 8 = -0*j, -20 = 3*l - 5*j. Let s be (-2 + l)/((-2)/2). Suppose -23 = -s*o - 1. Is o a prime number?
True
Let v = 91 + 162. Is v a prime number?
False
Let c(v) = 11*v - 2. Let d(j) = j**3 - 2*j**2 - j - 3. Let h be d(3). Is c(h) a composite number?
False
Suppose 1 - 28 = -x. Suppose 7*y - 4*y = -x. Let g = -2 - y. Is g a composite number?
False
Let y(w) = -5*w**3 + w**2 - 2*w + 1. Let b be y(1). Let m = 1 - b. Is m a composite number?
True
Let w(d) = 2*d**3 - 5*d**2 + 5. Let g be 3 + (0 - 1) - 11. Let o be -3*3/g + 3. Is w(o) a prime number?
True
Let t = 388 - 233. Let w = t - -174. Is w a composite number?
True
Let u = 563 - 272. Is u composite?
True
Suppose -2*y = -2*i + 10, -i - 5*y - 3 + 2 = 0. Suppose -6*c + c - 3*b = -340, i*b = -3*c + 215. Is c a composite number?
True
Let i = -5897 + 8332. Is i a prime number?
False
Let y = 51 - 36. Suppose -s + 70 = -2*o + 7*o, 3*s = -y. Is o a composite number?
True
Suppose -1504 - 7501 = -5*g. Is g a composite number?
False
Suppose -2*n - 3*n - v = 10, 10 = 2*v. Let g be 0 - n/1*1. Suppose g*s - 2*s = 22. Is s composite?
True
Let o be (-30)/9*(-6)/4. Suppose 4*m + 4*n + 1 - 13 = 0, -o*n + 12 = 4*m. Is m composite?
False
Suppose 153 = t - c, t - 68 - 97 = 4*c. Is t prime?
True
Let l(i) = i**2 - 7*i - 12. Let u be l(10). Suppose 3*r - u = 27. Is r a composite number?
True
Is 43 - -6*4/8 a prime number?
False
Let y(d) = d**3 + 7*d**2 - 12*d + 10. Is y(-7) prime?
False
Let m(o) = o**3 + 2*o**2 - 10*o - 6. Let t be m(-4). Let n = 2 - 2. Suppose -t*h + n*h = -138. Is h prime?
False
Let u = 15 + -23. Let o = 16 + u. Is 314/o + (-1)/4 prime?
False
Suppose 3*f - 5*f = 3*u - 2723, -2*u + 5*f = -1809. Is u composite?
False
Let y(v) = -v**2 - 16*v - 9. Is y(-11) a composite number?
True
Is 2/(-7) + 7047/189 prime?
True
Let w = -8 + 8. Suppose -3*v + 5*v - 4 = w. Suppose -f - 2*i + 33 = 0, 4*f + 0*f - v*i = 152. Is f prime?
True
Let o(w) = 6*w - 8. Let p be o(6). Let x = 39 + p. Is x a prime number?
True
Let r(o) be the first derivative of -o**5/60 + 3*o**4/8 - o**3/2 + o**2 + 2. Let b(u) be the second derivative of r(u). Is b(7) prime?
True
Suppose 5*c - 2*d - 3 = 0, 4*d - 3*d = -4*c + 5. Suppose -205 = -4*z - c. Let w = z - -2. Is w a composite number?
False
Suppose 0*g - g + 3*w = -203, 4*w + 971 = 5*g. Is g prime?
True
Let s(m) = 480*m**3 - m**2 + 3*m - 3. Is s(1) prime?
True
Let b(d) = 17*d + 2. Let r be b(-3). Let x = r - -86. Is x a composite number?
False
Let s(m) = 16*m**2 - 2*m - 7. Is s(5) composite?
False
Suppose -3*y + l - 4*l = -855, -2*l = -3*y + 880. Let d be (-2)/(-8) - (-2)/(-8). Suppose d = 3*q - q - y. Is q prime?
False
Let v = -1 + 19. Is ((-28)/(-6))/(12/v) a prime number?
True
Suppose -4*p + 7*p = -1275. Let f = -234 - p. Is f composite?
False
Let i(t) = 16*t - 17. Suppose -7 = -2*j - 3*z, -3 = -3*j - 0*z + 3*z. Suppose -j*q - p = -0*p - 26, 0 = 2*p. Is i(q) a prime number?
True
Let x = 369 + -206. Is x prime?
True
Let m = -2 - 53. Let q = 58 - m. Is q prime?
True
Suppose -17 + 67 = 5*x. Suppose -z + 11 = -x. Is z a prime number?
False
Let k = 7 - 1. Suppose 4*a + 3*f + 1402 = k*a, 4*a - 2*f - 2788 = 0. Is a composite?
True
Let f be 21/4*(0 + -4). Let o = f + 34. Is o a prime number?
True
Let m = -4 - -19. Is 3 + 6*m + -2 prime?
False
Let c(d) = d**2 + d + 13. Let j(w) = -w**3 - 5*w**2 + 7*w + 5. Let n be j(-6). Let q be n + 0 + 2 + -1. Is c(q) composite?
False
Suppose 0*z + 4*z - 16 = 4*t, 4*z = t + 1. Let p be 1*-1 + (-156)/z. Suppose 133 = 4*v + c, v + p = 6*v + 5*c. Is v prime?
False
Suppose 2*l - 27 = -5*s, -2*l - 13 = -4*s + 5. Let o(v) = v + 2*v - 2*v + 32*v**2 + 6*v**2. Is o(l) composite?
True
Suppose -p - 2*r = -149, -5*p - 4*r = -4*p - 139. Is p a composite number?
True
Is (1 - 1 - 1) + 248 a composite number?
True
Let o be 1*(-3)/6*-736. Suppose 5*s - 287 - o = 0. Is s a composite number?
False
Suppose 0 = o - 4*o + 75. Let a = o - 17. Is (969/(-12))/((-2)/a) a composite number?
True
Let s(o) = 7*o - 4*o + 5 - 9*o - 8*o. Is s(-9) composite?
False
Let d(o) = -o**3 - 6*o**2 - 5*o - 4. Let k be d(-5). Let r be 10/k*-2 - 2. Suppose -4 = c + r*f - 34, -2*f - 162 = -4*c. Is c composite?
True
Suppose 5*d = -4*a + 3*d + 4658, -4*d = -2*a + 2354. Is a prime?
False
Let t(i) = i**2 - i - 3. Let y be t(3). Let g = 0 + y. Suppose -g*w - 23 = -4*w. Is w a composite number?
False
Let i = 10 - 7. Let c = 40 + -37. Is 1/i*c*158 a composite number?
True
Let j(g) = g**2 - g + 107. Let c be (3 - 2)*(2 + -2). Let r be j(c). Suppose -4*o + r = -5*d, 6*o - 2*o - 3*d - 101 = 0. Is o prime?
True
Is (-5 - -1201) + 0 + -1 + -2 a composite number?
False
Let l = -8570 - -12141. Is l composite?
False
Suppose 2*h - 7 + 1 = 0. Let q = h - -46. Is q composite?
True
Let x be 4/(1*(-8)/(-44)). Let q = x + 29. Is q prime?
False
Let k(w) = 2*w**3 - 2*