Let d = 177 - g. Is d a prime number?
True
Suppose 0 = -4*i - i + 45. Let j = -2 + 4. Let b = i + j. Is b a composite number?
False
Let y = 2 + 0. Let l(n) = n**3 - 2*n**2 + n + 2. Let h be l(y). Suppose -52 = -h*i + 4*c, -2*i - 2*c = 2*i - 34. Is i a composite number?
True
Let m(f) = 2*f. Suppose -3*k - 43 = 5*s, 0*k + 21 = -k + 5*s. Let n = k + 23. Is m(n) prime?
False
Let n = 3 + -3. Let f(h) = -h - 7. Let d be f(n). Let b = 12 - d. Is b a composite number?
False
Let n = 32 + -11. Is n prime?
False
Suppose 12*c = 13*c - 1123. Is c composite?
False
Suppose -2*k + s = -7*k + 2668, -527 = -k + 2*s. Let h = k - 202. Is h a prime number?
True
Let y = 0 - 3. Let z(x) = -2*x**3 - 4*x**2 + 2*x + 2. Is z(y) a composite number?
True
Let x = 15 - 10. Let c(l) = -3*l - 12. Let v(o) = -4*o - 13. Let q(d) = 6*c(d) - 5*v(d). Is q(x) prime?
True
Let x be (-1 - 2 - -2) + 6. Suppose 3*t - 159 + 53 = p, -x*t = -4*p - 165. Is t a prime number?
True
Suppose -b + 44 + 35 = 0. Is b prime?
True
Let q(z) = -187*z + 1. Let a = 1 - 4. Let m be q(a). Let h = m - 299. Is h prime?
True
Suppose 716 = 2*g + 130. Is g composite?
False
Is (-2013)/(-13) - 6/(-39) a composite number?
True
Let t(y) = -3*y**3 - y. Let p = -4 + 3. Let j be t(p). Suppose -3*m = -5*k - 5*m + 37, 0 = j*k - 3*m - 25. Is k a prime number?
True
Suppose 4*s - 11 - 41 = 0. Is s prime?
True
Let p = -3 + 3. Suppose p*b = -b + 37. Let q = b - 16. Is q a composite number?
True
Suppose 5*n + 14 = -3*d, 0 = -4*d - d + n + 14. Suppose -2*t - 38 = -3*t - q, 4*t - 146 = -d*q. Is t composite?
True
Let x = -334 + 673. Is x a composite number?
True
Is (-2)/(0 - (-2)/(-259)) a prime number?
False
Let o(q) be the first derivative of -q**3/3 - 13*q**2/2 - 5*q - 3. Is o(-6) a prime number?
True
Let d(j) = 63*j + 14. Is d(15) a composite number?
True
Let p = -1 - -4. Suppose -4*a - 4*c + 6*c + 86 = 0, -c = 4*a - 77. Suppose p*r = r + a. Is r a composite number?
True
Suppose 5*j - 27 = z, z - 1 - 7 = -2*j. Suppose p = j*p - 308. Is p composite?
True
Let b(a) = 0*a**3 - 6 - a**3 - 7*a - 8*a**2 + a**2. Let c be b(-6). Suppose 3*k - 7*k + 140 = c. Is k prime?
False
Let g = 9 - 7. Suppose 0 = n + h - 0*h - 65, 65 = n + g*h. Is n prime?
False
Let u(g) = -g**2 + 10*g + 13. Let v(s) = 46*s**2 - 2*s + 1. Let q be v(1). Suppose q = -0*l + 5*l. Is u(l) prime?
False
Let r(k) = -42*k + 1. Let p be (4/(-3))/(2/(-27)). Suppose -5*g + f - p = 0, -5*f = -3*g - 4*f - 12. Is r(g) prime?
True
Let g = 8 - 6. Suppose 0 = 16*u + 3*u - 38. Suppose 122 = u*o + 5*x, -g*o + 225 = o - 3*x. Is o composite?
False
Let h = -55 + 132. Suppose -5*y + h = -1348. Suppose -2*f + 124 = -0*f - 3*b, -5*f - 5*b + y = 0. Is f a prime number?
True
Let s(x) = -x + 1. Let y(z) = 5*z - 2. Suppose 2*w + 0*w - 7 = -3*p, -p - 2 = 5*w. Let m(k) = w*y(k) + 4*s(k). Is m(-7) a composite number?
True
Let r = -3 - 6. Let k(a) = -8*a + 5. Is k(r) composite?
True
Let s = -263 - -710. Suppose 2*n = 2, s = 5*h + n + n. Is h a composite number?
False
Let k(y) = -84*y - 1. Is k(-2) a composite number?
False
Suppose -3*t + 0 + 12 = 0. Is t/((-12)/9) + 80 composite?
True
Let n = -2 - -5. Suppose -v = -n*v + 1918. Is v a composite number?
True
Let v(m) = -m**3 - 8*m**2 + 5*m + 13. Is v(-10) prime?
True
Suppose 2*f + 3*b = 18, -2*f + 7*f = 4*b + 45. Suppose -3*i + f = 0, 3*h = 8*h - 5*i - 40. Is h a composite number?
False
Suppose -8*a = -4*a - 532. Is a a prime number?
False
Suppose -8*z + 10*z = 3386. Is z composite?
False
Let v(c) = c**2 + 2*c - 4. Let q be v(-4). Suppose 0 = q*h - 5*t - 202, -h + 0*h = -3*t - 54. Let r = h - 25. Is r prime?
True
Suppose 0 = -4*p + 5*v + 147, 3*p - 4*v = -0*p + 111. Is p a composite number?
True
Suppose 3*x - 2 - 34 = 0. Let t(j) = j**2 + 12*j - 1. Is t(x) a composite number?
True
Let m be 5 + -3 + (-1 - -1). Let k(j) = 2 + 0*j - m*j - 3*j. Is k(-7) a composite number?
False
Let u = 33 - 20. Let v(m) = -m**2 + 30*m - 10. Is v(u) composite?
False
Suppose 7 = 2*j - 5*q, -2*q = -j - 6*q - 3. Let p(g) = 6*g**2 + 1. Is p(j) a prime number?
True
Let t(i) = 3551*i + 212. Let a(w) = -50*w - 3. Let u(d) = -212*a(d) - 3*t(d). Is u(-5) prime?
False
Suppose 5*t = 76 + 94. Is t a composite number?
True
Let w(g) = g**3 - 8*g**2 - 9*g + 13. Is w(9) composite?
False
Let t be (-68)/(-8)*70*2. Suppose 3*x - 3*q - t = -2*x, -q - 1180 = -5*x. Is x prime?
False
Let l = 1442 - 465. Is l a prime number?
True
Suppose 3*d = -d - 4. Is -1 - -54 - (d - -3) composite?
True
Let v be 1*2 + (2 - 1). Suppose 2*t + 0 = 4*d - 4, v*d = 2*t + 1. Suppose 6*h - 99 = d*h. Is h a prime number?
False
Let i(m) be the second derivative of -m**5/20 + 2*m**4/3 + m**3/6 - 3*m**2 - 4*m. Is i(8) composite?
False
Let z be (0 - 3)*10/(-6). Suppose j - z*j = 88. Let g = 35 + j. Is g prime?
True
Let b(g) be the second derivative of 0 + 1/2*g**2 - g - 3*g**3. Is b(-5) a composite number?
True
Let n be 3*(-1)/5*-5. Let c be (-33)/5 + (-21)/(-35). Is (-2)/c*n*4 prime?
False
Let s(n) = -n - 1. Let o be s(-4). Suppose 2*j - 60 = -2*j + 4*u, -o*u = -2*j + 27. Is j*(2 + 3) - 1 composite?
False
Let v(x) = 35*x + 2. Is v(5) a prime number?
False
Let r = -275 + 406. Is r a prime number?
True
Let r(s) = -14*s - 27. Is r(-11) composite?
False
Let f = -142 + 281. Is f composite?
False
Let i be (-3 + 3)/2*1. Suppose -5*d + i*d = -95. Is d composite?
False
Let b = 3 - 1. Let w(s) = 9*s - 3. Is w(b) a composite number?
True
Let d(b) = b**2 + 685. Is d(0) composite?
True
Let r(t) = t**3 - 5*t**2 + 3. Suppose 9 + 21 = 5*f. Is r(f) prime?
False
Let p = 721 + -224. Is p prime?
False
Suppose 0*c + 3*c - 26 = 2*o, -32 = -4*c + 4*o. Let w = c + 0. Let v = w + 1. Is v prime?
True
Let p(t) = 5*t**3 + 7*t**2 + 5*t + 23. Let n(r) = 4*r**3 + 6*r**2 + 4*r + 23. Let v = 7 - 1. Let w(c) = v*n(c) - 5*p(c). Is w(0) a composite number?
False
Suppose -6*k = -2*k. Let a(c) = 20 - c + 19 + k*c. Is a(0) a prime number?
False
Suppose -y - 5*o - 8 = 0, 3*o + 8 = y - 0*y. Suppose -3*t = -5*w - 176, y*w = 2*t + 3*t - 325. Is t a composite number?
False
Let d(w) = w. Let x be d(4). Suppose 62 = -x*n + 626. Is n a composite number?
True
Let v(a) = a - a**2 + a + 68 + 143 - a. Is v(0) prime?
True
Suppose 2*p - 984 = -p - 5*w, 3*p - 2*w - 963 = 0. Suppose -147 = -5*l - m + p, l - 103 = -2*m. Is l a composite number?
True
Suppose 4*r = -4*t + 836, -t = r - 2*r + 213. Is r composite?
False
Let c(v) = -v**2 - 11*v - 12. Let r be c(-9). Suppose -r = -d + 16. Is d a composite number?
True
Suppose 5*z - 1172 = z. Is z prime?
True
Let s(v) = -v**3 - 3*v**2 - 7*v + 7. Suppose 3*j = j - 12. Let o be s(j). Suppose -4*z = -o + 17. Is z a composite number?
True
Let b(c) = 16*c**2 - c - 2. Let j = -3 - -2. Is b(j) a composite number?
True
Suppose 5*d - 76 - 664 = 0. Suppose o + 3*o = d. Is o prime?
True
Let u = -322 - -184. Is (u/(-4))/((-2)/(-4)) a composite number?
True
Let l(g) = -7*g**2 + 17*g + 0 - 25*g + 7 - 3*g**3. Is l(-7) a prime number?
False
Let p be 114/(-22) - (-2)/11. Let k(u) = -u**3 - u**2 - u. Let f(l) = -5*l**3 - 2*l**2 + 6. Let j(v) = f(v) - 4*k(v). Is j(p) prime?
False
Let j(w) = -8*w + 2. Let z be j(-3). Let s be (z - 1)*4/10. Suppose s - 101 = -p. Is p prime?
False
Let j(c) = -c**2 + c. Let n be j(0). Suppose -4*t = -g + 271, -3*t + 167 + 111 = g. Suppose n = -3*u - 2*u + g. Is u composite?
True
Suppose 5*s - 3091 = -896. Is s composite?
False
Let j(t) = t**2 - 5*t**2 + 0*t**2 + 3 - t + 3*t**2. Let g be j(-7). Let o = 122 + g. Is o a composite number?
False
Let f = 20 + -5. Suppose u = 107 - f. Let d = u + 3. Is d composite?
True
Suppose 5*n = 2*m - 4*m + 187, 0 = 4*m + 4*n - 368. Is m composite?
True
Let g(f) = 5*f**2 + 25*f - 3. Is g(11) a prime number?
True
Let a(z) = -1. Let m(d) = -12*d + 1. Let g(u) = -2*a(u) - m(u). Is g(3) prime?
True
Let n be (1/3)/(11/(-33)). Let b(v) be the second derivative of -11*v**5/20 + v**3/3 + v**2/2 + v. Is b(n) composite?
True
Let z = 290 - 193. Is z composite?
False
Let b = -31 + 21. Let k(g) = -g**2 - 11*g - 12. Let v be k(b). Is ((-39)/(-6))/(v/(-12)) prime?
False
Let d(c) = c**3 + 3*c**2 + 8*c - 3. Let f be d(6). Let z = f + -212. Is z a composite number?
False
Let n = -40 + 26. Let y be 1*(2 + n) + -2. Is (-2)/(2/y*2) a prime number?
True
Suppose -5*o = -3*o. Suppose o = -t - 1 + 23. Supp