 = 0. Is z composite?
True
Let z(v) = 6*v**3 - 2*v**2 - 2*v + 3. Let h be 9/4 + (-5)/20. Is z(h) composite?
True
Is -236*(1 - 28/16) composite?
True
Suppose 6 = -4*f - 2. Let l = 148 + 78. Is -2 - f/(4/l) prime?
False
Let a be (-12)/4 + -1 + 4. Suppose -4*d = -h + 6*h - 4429, a = -2*h + 2*d + 1786. Is h a prime number?
False
Suppose -5*u + 4*w + 2277 = -52, 0 = 2*u - w - 934. Is u a prime number?
False
Suppose 6*r - p - 1657 = 2*r, -3*p + 839 = 2*r. Is r a composite number?
True
Suppose p - 5*t = 658, 3*p - 4*t - 2054 = -91. Is p a prime number?
True
Let d(j) = 7*j - 13. Let g be d(10). Let l = 131 - g. Is l prime?
False
Let c(s) = -463*s**3 - s + 1. Let x be c(1). Let h = 654 + x. Is h prime?
True
Let b(n) = 70*n - 57. Is b(19) a prime number?
False
Suppose x - 4 = -2. Let w(q) = -q + q**2 - 7 + x*q + 0*q. Is w(5) prime?
True
Suppose 2*q - 4*w = -8, 2 = -4*w + 10. Let y(t) = 6*t**3 - t. Let n be y(1). Suppose q*a - 95 = -n*a. Is a prime?
True
Let l(p) = -p**3 + p**2 + p. Let z be l(0). Suppose 4*u - 5*s = -7 + 34, 27 = 5*u - 4*s. Suppose z = -y + 4, 0 = -u*v + 3*y + 1 + 368. Is v prime?
True
Suppose 0 = -2*p + 2*h - 6*h + 78, 5*h = -25. Is p a composite number?
True
Let c = -453 - -922. Is c prime?
False
Suppose c - 4*c + 3*t = 0, 16 = 4*c + 4*t. Suppose 2*w - 20 = -c*w. Suppose -2*u + h = 0, h - 6 - 8 = -w*u. Is u a composite number?
False
Let n(r) = -r**3 - 6*r**2 - r - 2. Let i be n(-6). Suppose -i*p + 2*q - 53 = -7*p, -4*q = 4*p - 64. Suppose -2*m = 7 - p. Is m a composite number?
False
Let u = -363 - -519. Suppose -5*w - 3*r + 0*r = -690, -3*r = -w + u. Is w a composite number?
True
Suppose -5*x + 17 + 3 = 0. Suppose x + 2 = -2*m. Let y(s) = -2*s**3 - 3*s**2 - 4*s - 4. Is y(m) a composite number?
True
Let d be -1 + 3 + (-6)/6. Let a be d*-4 + (6 - 8). Let n(z) = z**2 + z + 7. Is n(a) a prime number?
True
Let r be 4/((-20)/18 + 1). Let b = 69 + r. Suppose 0 = 3*m + 2*f - b, f - 25 = -4*m + 24. Is m a composite number?
False
Let k = 5093 + 168. Is k composite?
False
Let a(w) = -w**2 - 4*w. Let t be a(-3). Is 333/(-6)*(-2)/t prime?
True
Let g(w) = -w**3 - 7*w**2 - 7*w + 4. Let r be g(-6). Let q = 43 - r. Is q prime?
False
Let s = -16 + 15. Let p(w) = -19*w**3 + w + 1. Is p(s) a composite number?
False
Suppose 0 = 4*z - 1490 - 266. Is z a composite number?
False
Let n(q) = -4*q**2 + 5*q + 4. Let p be n(-4). Let i = p + 163. Is i a prime number?
True
Suppose 7*w - 10 = 2*w. Let y = -17 + 20. Suppose 3*x - x - 20 = w*c, y*c = x - 4. Is x a composite number?
False
Let y = 173 + -69. Let g = y - 70. Is g composite?
True
Let q be 5*(-4)/(-4) - 3. Suppose 0 = -w + 4*l + 343, -q*w = 2*l - 855 + 199. Is w composite?
False
Suppose -4*f = n + 10, 0 = 2*n + 4*f - 6 + 14. Let t be 8 - 3 - (2 - n). Suppose -3*z + 2*z - t*r = -151, 5*z - 5*r = 635. Is z composite?
False
Let m = -4 + 7. Suppose m*y + 5*b = -y + 543, -b = 5. Is y a prime number?
False
Suppose 0 = -2*u + 1772 + 1690. Is u a prime number?
False
Let t be 4/18 + (-76)/18. Let j be t/(-6) - (-29)/(-3). Is (-6)/j*3 + 17 prime?
True
Is 1*-1*3/6*-1454 prime?
True
Suppose -7*v + 5*v = 0, 4*v + 3076 = 4*y. Is y a composite number?
False
Let s(q) = -8*q**3 + 14*q**2 + 5*q - 9. Let g(n) = 7*n**3 - 14*n**2 - 4*n + 9. Let b(v) = -7*g(v) - 6*s(v). Is b(10) a prime number?
False
Let m = -10 - -14. Suppose 2*o + 3*r - 1599 = -598, m*r = -4. Is o prime?
False
Let s be (180/(-70))/((-2)/224). Suppose 2*u = 86 + s. Is u composite?
True
Let y(d) = 172*d - 33. Is y(10) a prime number?
False
Is -2*(4 + 267/(-2)) composite?
True
Let s(a) = -2*a**2 - 7*a - 4. Let g be s(-4). Let d(j) = j**3 + 7*j**2 - 12*j - 9. Let l be d(g). Suppose -l = 4*p - 5*w - 116, -2*p - 2*w = -42. Is p prime?
False
Let s(q) = -2*q**3 + q**2 - 4*q - 4. Let m be s(4). Let p be m/(2/1) + 2. Let g = 89 + p. Is g composite?
True
Is (-10)/(-30) + (-2920)/(-6) composite?
False
Let k = 92 + 131. Is k composite?
False
Let k(s) = -s - 5. Let d be k(-7). Let o(a) = -5*a**d - 2 + 23*a**3 - 24*a**3 + 5 + a. Is o(-6) composite?
True
Let y(n) be the third derivative of n**4/24 - 5*n**3/2 - 2*n**2. Let o be y(11). Is (o/6)/((-6)/1341) prime?
True
Let b(m) = 93*m**2. Let a be b(-1). Let z = 7 + -7. Suppose -q + a = -z*q. Is q composite?
True
Let s(f) = -69*f + 10. Is s(-9) composite?
False
Let x = 106 + -63. Let g = x - 22. Is g composite?
True
Suppose -o + 8 + 15 = 2*t, 0 = -5*o - 4*t + 91. Let r be 203/6 + (-2)/(-12). Is (r/(-5))/((-3)/o) composite?
True
Is (2 - 21/6)*-214 prime?
False
Suppose 2*j + 671 = k, -j + 2336 = 3*k + 295. Is k a composite number?
True
Let r = -8 + 8. Suppose r = 3*t - 4*t + 10. Is t a composite number?
True
Let d(l) = 7*l - 4. Let u be d(-3). Let o = u - -35. Is o prime?
False
Let x be 3/(-1) + -2 + 45. Let z = 117 - x. Is z a prime number?
False
Let q(h) = 2*h**2 + 2*h - 1. Let u be q(-2). Suppose m - 9 = -2*m + u*g, 4*m - 12 = -g. Let z = m + 28. Is z prime?
True
Suppose 3*l + u + 8 = 0, 5*u = 2*l + 3*l + 40. Let y(s) = -4*s + 5*s + 6*s**2 - 1 + s**3 + 2*s. Is y(l) a composite number?
False
Let p(m) = 3250*m**2 + 10*m - 9. Is p(1) composite?
False
Let f = -24 - -31. Let n = 2 - -1. Suppose -f*z = -n*z - 44. Is z composite?
False
Let h be (-42)/8*(8 + -4). Let f(q) = -2*q**3 + 2*q**2 - 3*q. Let s be f(2). Let g = s - h. Is g prime?
True
Suppose -7 = 3*m - 0*m + 2*q, -4*q + 4 = 0. Let s(i) = -i**3 - i**2 + 3*i - 4. Let a be s(m). Let t = 32 + a. Is t composite?
False
Is 3 + (3 - (-85 - 0)) composite?
True
Let w be -1*(0 + 1)*5. Let y(r) = -6 + 0 - r**3 + 0*r**2 + 0 + r - 4*r**2. Is y(w) a composite number?
True
Let w(m) = m**3 + 11*m**2 + 11*m + 10. Let n be w(-10). Is (n + -443)*(1 + -2) composite?
False
Let k(v) = 2*v**2 - 7*v - 1. Let a be k(9). Suppose -3*w + a = 29. Is w composite?
False
Suppose -5*k = -0*k - 45. Is ((-2)/(-3))/(1/k) a composite number?
True
Suppose 3*h + h + 2*x = -1042, 2*x = 5*h + 1325. Let m = 382 + h. Let d = -84 + m. Is d a prime number?
False
Let x(o) = -o**2 - 14*o - 11. Let u be x(-10). Is u/4*(-2 + 30) prime?
False
Let s = 64 - -193. Is s composite?
False
Suppose 5*f + 0*f = -5. Let j be (111/5)/(f/(-5)). Suppose 0 = 2*v - v - 2*o - j, 225 = 2*v - o. Is v a prime number?
True
Let s(p) = -p**3 - p**2 - 2*p + 1. Let t(m) = -m**2 - 4*m + 2. Let j = 8 + -13. Let x be t(j). Is s(x) a composite number?
True
Let j be (-6)/(-9) - (-10)/3. Suppose 0*r = -5*u + 2*r + 1731, j*u = 4*r + 1392. Suppose u = 6*p - p. Is p a prime number?
False
Suppose -2*g + 6*g = 12. Is (-83)/(1*(2 - g)) prime?
True
Let r be (6/(-15))/(1/(-10)). Let n be (56/(-6))/r*3. Is n/(-2) + (-1)/(-2) a composite number?
True
Let z(k) = -k - 10. Let p be z(-6). Let a = 10 - p. Is a a composite number?
True
Let n(v) = v**2 + 2*v + 127. Is n(0) a prime number?
True
Let u(k) = -9*k. Let z(o) = -19*o - 1. Let g(y) = y**3 + 3*y**2 - 4*y + 5. Let l be g(-4). Let c(n) = l*u(n) - 3*z(n). Is c(4) prime?
False
Suppose 0 = 5*z - 2591 - 89. Let f = -333 + z. Is f a composite number?
True
Let c = -3 - -7. Let v be -4 - (3 + (-24)/4) - -309. Suppose 64 + v = c*g. Is g composite?
True
Let v(x) = -125*x - 4. Let f be v(4). Is 1/(f/508 + 1) prime?
True
Suppose 2*s - 130 = -0*s. Is s - -1 - (1 + 0) composite?
True
Suppose 0 = -4*d + 9*d - 545. Is d composite?
False
Suppose -4*k - k + 4*y = 27, 0 = -k - 3*y - 13. Let z = k + 10. Suppose -3*d + 2*l = -197, -d + z*d - l = 132. Is d a composite number?
False
Let v(b) = b**3 + 4*b**2 - 6*b - 5. Let c be v(-5). Suppose 3*p - 27 = -2*t + 42, -3*p - 3*t + 66 = c. Is p a prime number?
False
Suppose -3*o + 2937 = -2*m, 0*m = 5*o + 2*m - 4879. Is o a prime number?
True
Suppose 0 = s - 8. Let h(u) = 5*u + 7. Is h(s) a prime number?
True
Let x be -2 + 3 + 10 + -1. Let g = x + -2. Suppose 0 = -r + 31 + g. Is r composite?
True
Let c(f) be the first derivative of 12*f**3 + f**2 - 3*f - 2. Let u be c(2). Let n = u + -68. Is n composite?
True
Let n = 976 + -135. Is n a prime number?
False
Suppose 8*k = 5*k. Suppose -5*s + j + 1672 = k, -196 = -s - 4*j + 130. Is s a prime number?
False
Suppose 0 = 4*t + 17 + 11. Let j(g) = g**2 - 5*g + 7. Is j(t) composite?
True
Suppose 5*k - 17394 = -349. Is k a prime number?
False
Let q be (-364)/12 + (-6)/9. Let s = -12 - q. Let f = s - -136. Is f prime?
False
Suppose 4*y - 55 = -y. S