Let o be k(-5). Is o/(-9) - 2/(-3) a composite number?
True
Suppose 6*z = 3*z - 3*k + 126, -3*k - 22 = -z. Is z a prime number?
True
Let m = -4 - -6. Suppose 0 = -a + m*a. Let u = a - -14. Is u a prime number?
False
Let v(p) = -2*p**3 - 8*p**2 + 10*p - 13. Is v(-7) a composite number?
False
Suppose 4*s = 2*q + 774 + 14, -5*s - q + 999 = 0. Let v = 344 - s. Is v a prime number?
False
Let r be ((-18)/6)/(1/(-153)). Let i = -53 - r. Let k = i + 735. Is k prime?
True
Suppose -2*g - o = 3*g - 9, -23 = -3*g - 5*o. Is 106 + -10 + g + -4 prime?
False
Let w be 0*3/(-12) - -20. Is (0 - -157) + w/(-10) a prime number?
False
Let g be 96*2/8*2. Let t = g + -11. Is t prime?
True
Let j(l) = -7*l**2 - 5*l - 3. Let z(g) be the first derivative of -g**3/3 - g**2/2 + g + 3. Let k(c) = -j(c) + 2*z(c). Is k(5) a composite number?
True
Let u(b) be the first derivative of b**3/3 - 3*b**2/2 + 1. Let c be u(3). Suppose c = -2*h - 0*h + 5*z + 50, -3*z = -4*h + 128. Is h a composite number?
True
Suppose -3*u = -y + 2*u + 718, 0 = -u - 1. Is y a prime number?
False
Let u be (-4)/20 + 2/10. Suppose -3*k + u*k + 21 = 0. Let l(d) = d**2 + 10. Is l(k) prime?
True
Suppose -2*m = 3*q + 72, -136 = 4*m + 5*q - q. Let s = -10 - m. Suppose -s = -2*v + 10. Is v a prime number?
False
Let t(m) = m**2 + 5*m + 3. Let x be t(-2). Let h(c) = 9*c**2 - 3*c + 15. Let n(u) = 4*u**2 - u + 7. Let k(b) = -3*h(b) + 7*n(b). Is k(x) composite?
False
Suppose 19 = 5*x - 1, 0 = 5*h - x - 3391. Is h a composite number?
True
Let o = 312 + -177. Let d = -80 + o. Is d a composite number?
True
Let j = 342 + -103. Is j prime?
True
Let m(a) be the second derivative of 3*a**4/4 + a**3/6 + 5*a**2/2 - 3*a. Is m(-4) composite?
True
Let i(b) be the second derivative of 2*b**2 + 0 + 1/2*b**3 - 2*b. Is i(6) prime?
False
Let q be 2 + -1 + 8*1. Is (q/6)/(6/56) composite?
True
Suppose 0 = 5*x - o - 1787, 4*x - 1447 = 2*o - 7*o. Is x prime?
False
Suppose 5*l = 20, -p - 2*p - l = -10. Suppose 7 + 1 = -p*r. Is r - -4 - (0 - 95) a prime number?
False
Let p(r) = -r**2 - 2*r + 347. Is p(0) a composite number?
False
Let z(b) = -78*b + 1. Is z(-3) prime?
False
Let p(f) = -f**3 - 6*f**2 - f - 7. Let v be p(-6). Is ((-182)/4)/(v/2) prime?
False
Let c(k) = k**3 - 11*k**2 - 11*k - 9. Let b be c(12). Suppose -p = b, 76 = l + 4*p - 3*p. Is l a prime number?
True
Let h = -7 + 6. Let x be h/(1/(1 - 3)). Suppose -4*m - 586 = -5*f - 0*m, x*m = -3*f + 356. Is f a composite number?
True
Let u = -93 - -178. Let s = -34 + u. Let j = s - 16. Is j prime?
False
Suppose -2 = -2*n + 4. Suppose n*l = -6, 4*l - 27 = 4*h - 111. Is h a composite number?
False
Let a = 5 - -103. Suppose -4*b - m - 3*m = -a, 19 = b + 3*m. Is b a prime number?
True
Suppose 4*i - 7*k + 5*k = 300, -3*i + 3*k = -219. Suppose i = 2*f + 3. Is f composite?
False
Suppose f = 254 - 91. Is f prime?
True
Let i(x) = 332*x**2 + 3*x + 9. Is i(4) a composite number?
False
Let m be (-80)/(-15) - 2/6. Suppose -4*y + s = -393, m*y - 470 = -7*s + 4*s. Is y prime?
True
Let l(d) = d**3 - 5*d**2 + 5*d - 3. Let b be l(4). Is (11 + -10)*97*b composite?
False
Let a(q) = 12*q**2 + q + 5. Let z be a(8). Is z/2 + 9/(-6) a composite number?
False
Let h(q) = -23*q + 7. Is h(-6) a composite number?
True
Is 66/12 - (-1)/2 a prime number?
False
Is (-2)/(3 + (-3524)/1172) composite?
False
Suppose 0 = 5*a + 5*w - 1500, -2*w + 205 = a - 100. Is a a prime number?
False
Let p(h) = -16*h**3 - h**2 - 2*h - 1. Is p(-2) composite?
False
Let r = -32 - 205. Let m be 0 + -1 + (-1 - r). Suppose 3*u + 3*y - 41 = m, 4*y = 2*u - 154. Is u prime?
False
Let y = -5423 + 7849. Is y prime?
False
Suppose 568 = v + 5*c - 48, c + 3 = 0. Is v a prime number?
True
Let d(x) = -578*x**3 + 2*x + 1. Is d(-1) a composite number?
False
Let f(k) = 459*k - 14. Let j(m) = -153*m + 5. Let s(c) = -4*f(c) - 11*j(c). Is s(-2) a prime number?
True
Suppose 7*o - 907 = 654. Is o prime?
True
Suppose -3*c + 2*k = 2*c - 6799, 6811 = 5*c + 2*k. Is c a prime number?
True
Let p(t) = -4*t + 1. Let d be p(-1). Let k(o) = o + 8. Let l be k(-5). Suppose -n - 22 = -3*n + 2*m, n - d = l*m. Is n prime?
False
Is (-3453)/(-7) + (-2)/7 prime?
False
Let u = 1783 - 3415. Is u/(-28) + 4/(-14) a prime number?
False
Let h(a) = -a + 5. Let n be h(3). Suppose -12 = 3*v + 3*t, 0 = v + 2*v - n*t - 8. Suppose -4*b + m + 28 = 0, v*b + 4*b - 4*m - 28 = 0. Is b composite?
False
Suppose -3*d - 1389 = 3*w, -4*d + 3*d = -5*w + 481. Let h(o) = o**2 - o - 22. Let b be h(0). Is d/b - 2/11 composite?
True
Let j = -9 - -12. Suppose -j*k + 325 = 2*k. Is k composite?
True
Is 4 - (-388 - (1 + -4)) composite?
False
Is 2 - 6 - (-3 + -12942) composite?
False
Let f(q) = 2*q**2 + 2*q - 1. Let h be f(1). Let v be (h/2)/(4/(-8)). Let u(m) = m**3 + 3*m**2 - 3*m + 2. Is u(v) composite?
False
Let l(k) = -k**2. Let z be l(2). Let p be z - (1 - 1) - -2. Let j(s) = 4*s**2 + s + 1. Is j(p) a composite number?
True
Let i(g) = -g**3 - 7*g**2 + 3*g - 4. Let o be i(-9). Suppose 0 = -2*s + s + o. Is s a prime number?
True
Suppose -a + 1 = -1. Suppose a*l = 73 + 69. Let k = l + -32. Is k composite?
True
Suppose -3*o - 3*c - c - 19 = 0, 0 = 5*o - 4*c + 21. Let j(d) = -5*d + 3. Let k be j(o). Let h = k + 7. Is h a composite number?
True
Let j(z) = 38*z - 5. Let o be 2*5/(10/(-4)). Let q(d) = -38*d + 4. Let l(g) = o*q(g) - 3*j(g). Is l(1) a prime number?
True
Suppose 21 = -5*y + 2*x + 7, 3*y = -4*x + 2. Is (7/14)/(y/(-52)) a prime number?
True
Let y(c) be the first derivative of c - 5/2*c**2 + 2. Is y(-4) a prime number?
False
Let b(j) = j**2 + 2*j. Suppose 0*n = -4*t + 3*n - 26, 0 = -5*n + 10. Is b(t) prime?
False
Suppose -x + 3386 = 1206. Suppose -3*z = z - x. Is z a prime number?
False
Suppose 0*q = q - 8. Let z = -1 + 3. Suppose -34 - q = -z*k. Is k a prime number?
False
Let q be 11/(-6) + 4/(-24). Suppose -4*m + 9 + 11 = 0. Is (158/10 - q)*m a composite number?
False
Let q(a) = -a**2 + a + 1. Let y be q(0). Suppose -8 = -3*x + y. Suppose 0 = 4*b - 3*b - 5*g - 12, x*b = -2*g + 70. Is b prime?
False
Let v = -40 - -93. Is v a composite number?
False
Suppose 2*p - 2 = -0. Suppose 5*f - 131 = -p. Let l = -16 + f. Is l prime?
False
Let f(d) = 83*d - 42. Is f(19) composite?
True
Let j(b) = 38*b**2 + 5*b - 11. Is j(-6) a composite number?
False
Let a be ((-4)/(-6))/(2/(-36)). Suppose -g = -3*d - 48, -d + 3*d = -3*g + 89. Let u = g + a. Is u composite?
True
Suppose 0 = 4*x - 5*n + 62, -4*x - 5*n - 96 = -14. Let y = 85 + x. Is y a composite number?
False
Let t = 120 + -69. Is t composite?
True
Suppose -4*b = 5*s + 33, 5*s - 4*b + 23 = -3*b. Let k(h) = -h**2 - 7*h - 7. Let p be k(s). Suppose 0 = p*c - 4*c + 22. Is c a composite number?
True
Suppose -2*b - 3*b + 15 = 0. Suppose 9 = -b*j + 3*m, j + 3 = -2*j + m. Suppose 3*a - 4*v - 28 = j, a + a - 2*v = 16. Is a a prime number?
False
Suppose -2*n + 3*k - 3 = 0, -4*n + 5*k + 3 = 2*k. Suppose -a + 2*a = n. Is a a prime number?
True
Let c be 30/8 - 2/(-8). Suppose -7 = -c*l + 5. Is -1 + (1 - l) - -92 prime?
True
Suppose 3 = -3*r - 0. Is 3 + r - (-1 - 34) a composite number?
False
Suppose -17*y + 12*y = 0. Suppose -2*h - 5*t + 70 = 0, 3*h - h - 5*t - 70 = y. Is h prime?
False
Let v = 23 + -21. Suppose -5*m + 471 = -v*m. Is m prime?
True
Let u(b) = -10*b + 6 - 6*b + 1 + b. Is u(-8) a prime number?
True
Let i be 1/2*2 + 1. Suppose -414 = -i*h + 4*j, 0*j = 3*j - 15. Is h prime?
False
Suppose 6*j = 4*j + 518. Is j composite?
True
Let d(w) = -w**2 + 4*w - 2. Let x be d(5). Let i(p) = -13*p + 2. Is i(x) a composite number?
True
Let g(u) = -u - 2. Let v be g(6). Let j(a) = a**2 + 2*a + 9. Let t be j(v). Let c = 110 - t. Is c a prime number?
True
Let h(v) = -2*v + 5. Let n be h(6). Let o be 4/14 + (-12)/n. Is o/(-8) - 123/(-12) a composite number?
True
Let h(g) = g**2 - 13*g + 34. Is h(12) a composite number?
True
Let o = -1658 - -2391. Is o a composite number?
False
Let c(y) = 4 + y - y**3 - 2*y**2 + 10*y**2 + 7*y. Let m be c(9). Is (-67)/3*(2 + m) prime?
True
Suppose -353 - 940 = -3*h. Suppose 123 - h = -4*r. Is r prime?
False
Suppose -8 + 2 = 3*k + 4*y, -2*y = -3*k - 6. Let p be (10 - k)*(-1)/(-3). Let o = p + 7. Is o prime?
True
Let w(d) be the third derivative of -11*d**4/6 - d**3/6 - 6*d**2. Is w(-2) composite?
True
Let x(b) = -3*b**2 + 2*b + 1. Let c(d) = 2*d*