Is d composite?
False
Let v(c) = -c - 1. Let m(h) = -h**2 - 8*h - 9. Let z(b) = m(b) + 4*v(b). Is z(-9) prime?
False
Suppose -4*a + 4 = -3*a. Is a prime?
False
Suppose -4*o + 92 = h - 5*h, h = 0. Is o composite?
False
Let r(b) = -2*b + 2. Let j(w) = w**2 - 9*w + 6. Let u be j(8). Let g be r(u). Is (0 - (-20)/g)*3 composite?
True
Let z = 56 - 29. Suppose q = -5*h + z, q = -q - h + 72. Is q prime?
True
Let f(h) = 2*h**3 + 6*h**2 - 9*h - 1. Let d(l) = -17*l + 1 - 2 + 0 + 12*l**2 + 3*l**3. Let g(o) = 3*d(o) - 5*f(o). Is g(4) composite?
True
Suppose -4*o = 5*y - 8535, y - o + 2*o = 1706. Is y prime?
False
Suppose -5*b - 1 = 19. Let r(q) = 16*q**2 - 2*q + 1. Is r(b) a prime number?
False
Suppose 4*r = 4*t + 1468, r + 729 = 3*r - 3*t. Let z = -207 + r. Suppose 3*k - z = -2*k. Is k a composite number?
True
Suppose 0 = 5*w - 14*w + 225. Is w a composite number?
True
Let x be (16/(-10))/(6/(-15)). Is (2 + 0)*226/x prime?
True
Let h(n) = -6*n**2 - n**3 - 1 + 2*n**3 - 4*n + 16*n**2. Is h(-6) a prime number?
True
Is 3164/21*((-27)/6)/(-3) a composite number?
True
Is 299 + (-2)/4*0 a composite number?
True
Suppose 2*f = -a + 483, 792 = a + f + 310. Is a a prime number?
False
Let t = 24 + -21. Suppose t*p = 2*p + 177. Is p a composite number?
True
Suppose -d + 2*y - 9 = -2*d, -4*d + 3 = -3*y. Suppose 0 = -4*g - 0*p + d*p + 832, 207 = g - p. Is g a composite number?
False
Is -1 + (-6)/(-3) + (-798)/(-1) composite?
True
Let u = -6 - -2. Let c(s) = 10*s**2 + 3*s - 5. Let g be c(u). Suppose -2*a = -5*l - 247, -a - 7*l + g = -3*l. Is a prime?
True
Let r(b) = -b**3 + 9*b**2 + b + 11. Is r(8) composite?
False
Suppose 3*t = 4*l - 3158, -1803 - 560 = -3*l + 5*t. Is l composite?
True
Let b(g) = 8*g**3 - 3*g**2 - 4*g. Suppose -q + 2*x = 5, -2*q - 4 + 2 = -2*x. Is b(q) prime?
False
Let h(x) = 109*x - 13. Let k be h(-7). Let y = k - -1171. Is y composite?
True
Let t(r) = -11*r**3 + 2*r**2 - r - 1. Suppose -5*k = 15 - 5. Is t(k) a prime number?
True
Suppose -2*i = -81 - 817. Is i prime?
True
Let p(u) = 73*u - 4. Is p(15) a prime number?
True
Let p(g) = 20*g - 3. Is p(17) prime?
True
Let j = -20 - -136. Suppose 4*o = j - 28. Is o prime?
False
Suppose 2*q = -2*y + 10, -5*y - 3*q + 9 + 18 = 0. Let x be y/9*(-1 - 2). Is (-7)/(x/(-4)*-2) composite?
False
Suppose 5*i - 2*w + 21 = 0, 0 = 5*i + 5*w - 0*w. Let x be -77 - ((-3 - i) + 1). Let f = x - -209. Is f composite?
False
Let m(a) = a. Let j be m(-2). Let b be 88/j + 6 + -3. Let y = 162 + b. Is y prime?
False
Suppose i = -10 + 4. Is i/(-21) - (-2708)/28 prime?
True
Let c(n) = 18*n**2 + 4*n + 21. Is c(-4) prime?
True
Suppose 3*l = x - 169, 0 = -5*x + 2*x + 2*l + 535. Is x a prime number?
True
Let k be 1/(-3*2/(-54)). Let x(r) = 24*r - 5. Is x(k) a composite number?
False
Let r be (-1*1)/(5/155). Let f = 165 + r. Is f a composite number?
True
Let z = -31 + 39. Let c(d) = -11 - d + 0*d + 2*d**2 - 5*d. Is c(z) prime?
False
Let q = 83 - -176. Is q a prime number?
False
Let t = -29 + 100. Is t a composite number?
False
Let h be 4/(-8) - (-3)/(-2). Is h/(-4) - 354/(-4) prime?
True
Let f(g) be the second derivative of -11*g**3/3 + g**2/2 + 2*g. Let l be f(1). Is (-2)/7 - 1035/l a prime number?
False
Let s(a) = 59*a**3 + 3*a**2 + 3*a. Suppose 8 = 4*m - 4*t, -5*m - 7 + 1 = -t. Let x be s(m). Is x/(-12) - 1/(-6) a composite number?
True
Let l(v) = 3*v**2 - 4*v - 4. Let z be l(4). Suppose 6 + 4 = 2*u. Let o = u + z. Is o prime?
False
Suppose -4*q - 3*w - 9 = 0, 5*q + w + 45 = 4*w. Let a = q + 8. Is a/(-2) + -3 + 43 a composite number?
True
Let p = -8 + 47. Let k = p - 17. Is k a prime number?
False
Let n(l) be the first derivative of l**2/2 + 9*l - 1. Is n(-7) prime?
True
Suppose -5*w + 2*x - 27 = 0, -6*x + 30 = -5*w - x. Let s = w - -15. Is s prime?
False
Suppose -5*c = -3797 + 352. Is c a prime number?
False
Suppose 8 = -q + 2*a - 58, 299 = -4*q + a. Let d = 253 + q. Suppose -2*g + 9 = -d. Is g a composite number?
True
Suppose -5 = 2*j - 27. Suppose -4*a + 93 = -j. Is a composite?
True
Suppose -4*u = 2*g - 3086, -3*g + 0*u = 3*u - 4617. Is g composite?
True
Let f = 8 - 6. Suppose 3*q - 662 = -f*q - p, 3*p + 126 = q. Let w = q - 89. Is w a prime number?
True
Let x = 492 - 73. Is x a composite number?
False
Let h = -6 - -5. Is h + 3 - (-78 + 1) a composite number?
False
Let h(r) = -5*r**3 + 3*r**2 - 3*r - 15. Is h(-6) a prime number?
False
Let c(s) = -s**3 + 6*s**2 + 5*s + 4. Let t be c(7). Suppose 0 = 4*w - 4*x + 272, 2*w = -2*w + 3*x - 267. Let p = t - w. Is p a composite number?
False
Let n be -2 - ((-1)/(-1) - 8). Suppose n*r = 40 + 150. Suppose 3*c = 2*c + r. Is c a prime number?
False
Let m = -1108 + 4737. Is m a composite number?
True
Suppose 5*x + 17 = -8. Let w(b) = -b**3 + 2*b**2 - 6*b + 6. Is w(x) composite?
False
Let h(q) = 2*q**3 - q**2 + q - 7. Is h(5) a composite number?
False
Is 6/(-33) + (-3942)/(-22) a composite number?
False
Is 1*-1*(-89)/1 prime?
True
Let j = -12 + -6. Is j/27 - 1313/(-3) a composite number?
True
Let a = 29 - -117. Is a a prime number?
False
Suppose 3*x = 606 + 2031. Is x a composite number?
True
Let k(q) = -q**2 + q + 4. Let f be k(3). Let w = -5 + 43. Is f*(0 - w/4) prime?
True
Suppose -2*z - z + 12 = 0. Suppose z*q - 216 = -4*u, -4*q + 0*u + u + 211 = 0. Is q composite?
False
Let b(o) = 152*o**3 + 3*o**2 + 3*o - 1. Is b(3) a composite number?
False
Is -2 - 17294/(-10) - 8/20 prime?
False
Let h be (12/(-4))/((-3)/2). Suppose 3*u = -3*t + 15, h*t = -5*u + 1 + 9. Suppose -30 = -5*a - 3*b, t*b = 4*a + 9 - 70. Is a composite?
True
Let h = 460 - -1011. Is h composite?
False
Is (-7748)/(-16) - -3 - (-8)/(-32) composite?
False
Let p = -4 - 0. Is (63/(-6))/(2/p) a composite number?
True
Suppose -4*o = 21 + 19. Is (5 - 1)*(-265)/o composite?
True
Let b(i) = -3*i**2 - 2*i - 1. Let u be b(-1). Is 2 + u/(2/(-219)) a composite number?
True
Suppose 0 = 4*b + 4 - 12. Suppose 3*g = -b + 17. Suppose -75 + g = -5*x. Is x prime?
False
Let b = 46 + 37. Is b a composite number?
False
Let t(y) = 8 + 14*y + y**2 + 2*y + 1 - 5*y. Is t(-12) a composite number?
True
Let f be (-38)/(-14) + (-4)/(-14). Suppose f*d - 1 + 28 = 0. Is (-400)/(-3) + 3/d a composite number?
True
Suppose -5*z + 25 = 4*m, 0 = -3*z - 0*m - 3*m + 18. Let j(d) = 209*d**2 - d. Let w be j(z). Let u = w + -131. Is u a prime number?
False
Let u(v) = -v**3 + 10*v**2 + 10*v + 13. Let k be u(11). Suppose -k*z + 161 = -o, -3*z + 285 - 36 = -4*o. Is z a composite number?
False
Suppose 13*u - 14*u = 21. Is (-2926)/u + 2/(-6) composite?
False
Suppose 0 = 2*h + 11 - 1, -5*z + 4*h + 55 = 0. Let y be z + (-1)/1 + 0. Is y/15 + (-549)/(-15) composite?
False
Suppose -3*y + 0*y = 33. Let c(j) = j**3 + 11*j**2 - 2*j + 15. Is c(y) a composite number?
False
Let y(n) = n**2 + 4*n + 2. Let u be y(-3). Let a be (-5)/(15/6) - u. Is ((-1)/a)/(1/53) composite?
False
Is 1928/24 - (-4)/(-3) composite?
False
Suppose -1797 - 1096 = -3*b + 4*h, 5*h - 1944 = -2*b. Is b a composite number?
False
Let s be (-2)/(-4) + 39/2. Suppose -w = 4*w - s. Suppose -4*x - w = 0, -n - 2*x + 3*x + 11 = 0. Is n composite?
True
Let k(f) = 73*f - 42. Is k(5) prime?
False
Let k be (-6)/(-2) - (-4 - -97). Let u = 343 + k. Is u prime?
False
Let v(z) = 16*z - 1. Let f(r) = -r**2 - 4*r - 2. Let m be f(-2). Let p be v(m). Let o = 6 + p. Is o prime?
True
Suppose 3*z = 2*z. Suppose z = -y - 3 + 22. Is y composite?
False
Suppose 2*o + 3793 = -2*d + 3*d, 0 = -5*d - 4*o + 18951. Is d prime?
False
Let s(a) = -55 - 38 - a + 25. Let k be s(0). Let d = k - -99. Is d a prime number?
True
Is (9 + -10)*(-6031 - 0) composite?
True
Let a = -3 + 1. Let k = a - -5. Is (-1902)/(-9) - 1/k a prime number?
True
Let z be 48*12/(-8)*-3. Suppose -z = -3*w - 3*p, 4*p = -w - p + 52. Is w prime?
False
Suppose -4*q = -5*q + 485. Is q a prime number?
False
Suppose -6*d + 15 + 15 = 0. Let f be 526/3 - (-6)/9. Suppose -a = 2*a - d*x - 97, -4*a = 5*x - f. Is a a prime number?
False
Let b(d) be the third derivative of d**6/60 - d**5/10 - d**3/3 - 2*d**2. Let k be b(5). Let y = k + -21. Is y prime?
False
Let n(g) = 7*g - 59. Let b(i) = 6*i - 58. Let w(q) = -6*b(q) + 5*n(q). Is w(0) a prime number?
True
Let k(w) = -4*w + 7. Let f = 8 - 13. Let p(t) = -6*t + 10. Let v(o) = f*p(o) + 7*k(o). Is v(11) prime?
False
Let a(k) = 6*k**2 - 7. Let z = 