 -3*c - 4*j, c + j = -2*j + 641. Is c prime?
False
Let q(z) = -z - 10. Let o be q(-6). Let m = o - -4. Suppose m = -c + 3*n + 161, -c = -0*c - n - 161. Is c a prime number?
False
Suppose 4*q - 3 - 17 = 0. Let l = 8 - q. Suppose -2*o - l*k = -64, 44 - 5 = o - 2*k. Is o prime?
False
Let h(s) = s + 13. Let u be h(-10). Suppose -u*i + 8*i - 745 = 0. Is i composite?
False
Let d(v) = -449*v + 2. Is d(-13) a prime number?
True
Let r = 1090 - 621. Is r prime?
False
Suppose 22*g = 16*g + 1122. Is g prime?
False
Let v = 2148 - 1145. Is v composite?
True
Suppose 14 = -5*s + 34. Suppose 43 = -c + 4*c + s*f, -2*c - 2 = -5*f. Is c a composite number?
True
Let y(m) = -m**3 + 5*m**2 + 5*m + 8. Let x be y(6). Let p be (x - 1)/(2/16). Suppose g = p*z - 3*z + 10, -z = 4*g - 145. Is g composite?
True
Let r(z) = z + 2. Let v be r(0). Suppose -7 = -v*d - p, -3*p + p + 16 = 5*d. Suppose -10 - 16 = -d*h. Is h a composite number?
False
Let f = 15 - 12. Suppose 0 = -f*u + 6*u - 114. Is u a prime number?
False
Is 3630/14 - (-26)/(-91) prime?
False
Let a(f) = -f**3 + 2*f**2 + 2*f + 1. Let m be a(-1). Suppose -x - m*p + 87 = 2*p, -2*x + 154 = 4*p. Is x a composite number?
False
Let b(i) = -17*i - 6. Let c = -4 + -2. Let s be b(c). Suppose -2*n + 430 = s. Is n prime?
True
Let g = -4 - -11. Suppose u = -3*z - 1, -3*u - 3 = 5*z - 0*u. Suppose 2*b + g - 29 = z. Is b composite?
False
Let r(n) = 8*n**3 + 3*n**2 - 7. Let f be r(-4). Let z = 3 + -3. Is (1 - z)*f/(-3) composite?
False
Let a be 44/16 + (-9)/12. Suppose -26 = a*l - 128. Is l prime?
False
Suppose 3*v + y - 4 = 14, 0 = -3*v + 3*y + 6. Suppose 193 = 5*w - 5*l - 302, 0 = v*w + 5*l - 475. Is w composite?
False
Let n be (0 + -4)/(-6 + 4). Suppose -4*y + n*y - b = -15, 4*y = 5*b - 5. Suppose y*m = 104 + 281. Is m a composite number?
True
Let p = 10 - 6. Suppose -2*v + 31 = -5*b, -p*b + 67 + 60 = 5*v. Is v composite?
False
Let d(v) = -v**2 - 5*v + 1. Let s be d(-4). Suppose s*x + 0 = 20. Suppose k + 138 = x*n - 0*n, 2*n - 4*k = 76. Is n a prime number?
False
Let z(o) = 162*o**2 + 2*o + 2. Let j be z(-1). Let c(v) = 25*v - 3. Let i be c(4). Let m = j - i. Is m composite?
True
Let o(s) = s**3 + 9*s**2 + 29. Is o(-7) composite?
False
Suppose 3*a + a = 0. Let z = 14 + -7. Suppose a = s - 2*s + z. Is s a composite number?
False
Is -1*9976/(-12) - 2/6 a composite number?
True
Let m(s) be the second derivative of s**5/60 - s**4/8 - s**3/2 + s**2 - s. Let o(a) be the first derivative of m(a). Is o(-5) composite?
False
Suppose -c - 2 = q, -3*q + 2*c - 8 = q. Is q - -1 - (-149 + -1) a composite number?
False
Let u(v) = v + 7. Let g be u(-5). Is ((-16)/(-4))/(g/7) prime?
False
Let z be (0 + (-3)/(-6))*-8. Let r be z/(-14) - (-4)/(-14). Let x(l) = -l + 7. Is x(r) prime?
True
Suppose -j + 390 = 4*t, 4*j + 89 = t - 0*j. Is t a prime number?
True
Suppose 436 + 39 = 5*l. Is l a prime number?
False
Let j(s) = -s**3 - 8*s**2 + 2. Let w be j(-8). Suppose u + 21 = w*u. Suppose 0 = -2*z + u + 29. Is z composite?
True
Suppose 6054 = 4*g + 5*s, 0*g + 4*g + 3*s = 6050. Is g composite?
False
Let b(i) = -31*i + 5. Let o be (22/55)/(1/(-15)). Is b(o) a prime number?
True
Suppose 6*k - 6019 = -7*k. Is k a prime number?
True
Let h(x) = 3*x**2 - 2. Suppose 0*y = 4*y - 12. Suppose -4*q - 3*d - 7 = 15, y*d + 2 = q. Is h(q) composite?
True
Let s = -3 - -3. Suppose s*z = -2*u - z + 52, 2*z = 3*u - 85. Suppose -2*a = 1 - u. Is a a prime number?
True
Let w(f) be the second derivative of -3*f**5/10 + f**4/3 + f**3/6 - f**2/2 + 3*f. Is w(-3) composite?
True
Suppose 5*a - 5357 = 938. Is a prime?
True
Suppose 396 + 10943 = 17*i. Is i composite?
True
Suppose 0*g + 8202 = 6*g. Is g composite?
False
Suppose 3*b - 7 - 8 = 0. Suppose -h = -b*h + 5*w + 572, 0 = -2*h + 2*w + 286. Is h prime?
False
Let g = -48 + 68. Suppose 3*c + c - g = 4*v, 2*v = -5*c + 11. Is (1/3)/(c/441) prime?
False
Is (673/(-4))/((-2)/24*3) a prime number?
True
Let l(y) = 53*y + 13. Let u be l(-10). Let g = -330 - u. Is g composite?
True
Suppose -5*u + z + 0*z = -12, 0 = 5*u - 2*z - 9. Suppose -u*b - c = -206, -4 - 1 = 5*c. Is b a prime number?
False
Let r(f) = -9*f - 3. Let c(k) = -5*k - 2. Let h(w) = 7*c(w) - 3*r(w). Is h(-5) a prime number?
False
Let l be (-3)/(-2)*(-14)/(-3). Let q(k) = 5*k. Is q(l) a composite number?
True
Let o(d) = 4*d**2 - 7*d + 5. Is o(8) prime?
False
Suppose -3*q - q + 10200 = 0. Suppose -5*t - 1995 = -4*w, -2*w - 3*w - 5*t + q = 0. Is w composite?
True
Suppose 3*z - 10 = -a, z - 2*a - 15 + 0 = 0. Suppose 393 = 3*t + 3*p - 0*p, z*t = -3*p + 647. Is t composite?
False
Suppose 5*b = -2*f - 2*f - 145, 0 = f - 5*b + 55. Let i = 63 + f. Is i a prime number?
True
Let d(h) = h + 5. Let k be d(0). Suppose x = -o + 58, -4*x - k*o + 98 = -134. Is x a prime number?
False
Let k = -4 - -4. Suppose k*o - 3 = -o. Suppose 5*h - o*h - 98 = 0. Is h prime?
False
Let q = -25 - -35. Let z = -14 + 7. Let x = z + q. Is x a prime number?
True
Suppose 4*t - t - 3 = 0. Let p be -7*t*73 - 1. Is 2/(p/(-254) + -2) a prime number?
True
Let c be (3/(-6))/((-5)/1140). Let i = 1 + c. Is i a composite number?
True
Let x(r) = 20*r**3 - r**2 + 2. Let n be x(-2). Let l = 241 + n. Is l composite?
False
Let f(j) = -j + 335. Suppose 0 = a + 4*a. Is f(a) composite?
True
Is 10/(-15)*2037/(-2) composite?
True
Let l = 152 + -97. Let w = -24 + l. Is w prime?
True
Suppose -y = 4*v + 1, -v - 35 = -4*y - 4*v. Is y a prime number?
True
Is 237/2 + (-3 - (-7)/2) a prime number?
False
Let m = -554 - -1273. Is m a composite number?
False
Let k(l) = -l - 2. Let o be (2 + -12)/(1*2). Let r be k(o). Suppose 0 = 2*f + w - 47, -r*w = -4*f - f + 112. Is f prime?
True
Let g = 6 + -2. Let t be 34/g + 2/(-4). Suppose 3*j = t + 10. Is j composite?
True
Let p(u) = 8*u**2 - 8*u + 5. Let i be p(5). Is i*(-3 - 10/(-3)) prime?
False
Let h = 8 - 3. Let d be (4/(-5))/(1/h). Is (-1 - -2) + (-80)/d composite?
True
Let h be (2 - 1) + -1 + 4. Suppose 28 + 2 = 2*x + 5*k, 28 = 2*x + h*k. Is x a prime number?
False
Suppose 5*t + 3*s - 3253 = 0, -3*s - 1562 - 409 = -3*t. Is t a prime number?
True
Let o = 1106 + -621. Is o prime?
False
Let h = -6 - -8. Let d(i) = 3 + 3*i - h*i + 0*i. Is d(4) a composite number?
False
Suppose -j - 6*f = -f - 25, 5*j = 2*f - 10. Is 2*12 + (j - 2) prime?
False
Let x = 2 + -2. Suppose -b - 5*i + 1039 = 0, b - 4*i = -x*i + 1057. Is b a composite number?
False
Let u(a) = -2*a**2 - 4*a + 1. Let k be u(5). Is 4 - k - (-3 - -5) prime?
True
Let y(v) = -v. Let f be y(0). Let m be (-2)/(3 - (2 + f)). Let s = 17 + m. Is s composite?
True
Suppose 2*m = -3*t + 4891, -750 = -3*m - t + 6604. Is m composite?
True
Suppose -2*c + 80 = -0*c. Let u be 674/4 - (-9)/(-6). Let p = u - c. Is p a composite number?
False
Let s(z) = 4*z + 4 + 3 - 3. Let l be s(-4). Is (632/l)/((-4)/6) prime?
True
Let r = 8 + -6. Let j(i) = 29*i - 1. Is j(r) composite?
True
Suppose 5*k + 280 = 1035. Suppose 0 = -4*h + 2*f + k - 7, 4*h + f - 156 = 0. Is h a prime number?
False
Let o(c) = -2*c**3 - 3*c + 4*c - 7*c**2 + 0 + 0*c - 3. Suppose -25 = 3*q + 2*q. Is o(q) a composite number?
False
Suppose -19 = 2*v - 3*l - 2*l, 2*v + 4*l - 26 = 0. Let g(n) = v + n + 131*n**2 - 4 + 0. Is g(1) a composite number?
False
Suppose 0 - 2 = l. Let p = 9 - l. Is p prime?
True
Suppose 7 + 1 = 2*b. Let p(s) = 6*s + 3*s - 4*s - b. Is p(5) prime?
False
Let r(i) = 15*i - 23. Let o(v) = 7*v - 11. Let u(w) = 9*o(w) - 4*r(w). Let h be u(5). Let n = 45 - h. Is n a prime number?
True
Let b(h) = h**3 - h**2 - h. Let x(d) = -d**2 + 6*d - 5. Let s be x(6). Let k(w) = -4*w**3 + w**2 + 6*w + 2. Let n(f) = s*b(f) - k(f). Is n(2) composite?
True
Let u(h) = h**2 + 12*h + 10. Suppose 0 = o + 3*o + q + 52, -2*o - 20 = -q. Is u(o) prime?
False
Let h(s) = -3*s - 2. Let u(y) = -4*y - 1. Let k(c) = 3*h(c) - 2*u(c). Let q be k(-4). Suppose f - 3*f + 71 = n, -4*f + 3*n + 117 = q. Is f prime?
False
Suppose -110 = -10*p + 5*p. Suppose -2 = 4*a - p. Suppose -a*m + 56 = -9. Is m a prime number?
True
Suppose 0 = -q + 6*q. Suppose -5*k + q = 55. Let n = k + 18. Is n composite?
False
Let p = -5 - -7. Suppose -4*b = 2*j + 848, 5*j + 88 + 320 = -p*b. Is -2*(b/4 - 3) a composite number?
False
Suppose 0 = 5*o - 318 - 77. Is o composite?
False
Let u(p) = -p**2 + 4*p - 1. Let o be u(2). Suppose -5*n + 2 = -4*m, -