 a be 1 + p + -2 + 1. Is k(a) a prime number?
True
Let v be ((-4)/5)/((-4)/990). Let z = 313 - v. Is z prime?
False
Suppose 0*c + 5 = 5*c. Suppose 5 - c = 2*h. Suppose -h = r - 37. Is r a prime number?
False
Let o = -3 - -8. Suppose k = 4*n - k - 556, 4*n - 3*k - 554 = 0. Suppose -x + n = o*b, 0*b = -5*x + b + 570. Is x prime?
False
Let n(o) = o + 117. Let j be n(0). Suppose 0 = 3*i - 5*i + 124. Let g = j - i. Is g a prime number?
False
Suppose -24 = -2*m - m. Suppose 0 = -2*c - 3*n + 25, -3*c - 5*n + 29 = -m. Is c prime?
False
Let u = -34 - -48. Let n = -9 + u. Suppose 0 = -n*c - 64 + 229. Is c a prime number?
False
Let l = -1685 - -2472. Is l a prime number?
True
Let q = 0 - -4. Suppose -q*b = 3*o + 11 - 4, -b + 2*o + 12 = 0. Suppose 0 = b*r, -3*j + 11 = 3*r - 142. Is j a composite number?
True
Let i(h) = -2 + 3*h**2 - 2*h**2 + 10. Let v be i(0). Let z = v + -5. Is z prime?
True
Is (2/3)/(14/6951) prime?
True
Suppose -3*d - 5*a + 1928 = 0, -a - 2563 = -3*d - d. Is d prime?
True
Let b(h) = -4*h - 10 + 18 - 9. Is b(-6) prime?
True
Let x be 342/42 + (-2)/14. Let h = 157 - x. Is h a prime number?
True
Is (159/(-6))/((-5)/10) a composite number?
False
Let m = 290 + -135. Is m a composite number?
True
Let m(i) = 151*i**2 - 4*i + 5. Is m(-4) a prime number?
True
Let b(v) = -v**3 + 8*v**2 - 3*v - 1. Let y(r) = 2*r - 2. Let t be y(6). Let d = -4 + t. Is b(d) prime?
True
Let a = 3838 + -2181. Is a composite?
False
Let o be (-1)/(-3) + 5/3. Suppose -o*s + 5*s - 15 = 0. Suppose 4*v = 5*m + 168, -s*m = -v - 0*v + 27. Is v a composite number?
False
Let r be 1*4 + (-12)/12. Suppose r*w - 3*t = 572 - 227, -4*w = -3*t - 458. Is w a prime number?
True
Suppose w - 5*u + 16 = 0, 5*w - u + 6*u - 40 = 0. Suppose 0 = y + w*d - 83, 0 = 2*y - 0*d + 4*d - 150. Is y composite?
False
Suppose -4*w = 2*y + 2*y + 12, -5*y = 3*w - 1. Let u = w - 5. Let s = u - -39. Is s a composite number?
True
Suppose 15 = 2*v - 2*q + 3*q, 3*q = -5*v + 35. Is v a prime number?
False
Let z(a) = 4*a**2 + 4*a - 2. Let u be z(-6). Let c = 209 - u. Is c prime?
False
Let l = -143 - -354. Is l a prime number?
True
Let x(w) = -5 - 2 + 2 - 72*w + 2. Is x(-2) composite?
True
Suppose 10*w - 6*w = 1524. Is w a composite number?
True
Suppose -s + 103 = -i + 2*i, -5*s - 2*i = -518. Suppose -2*z + 206 = -s. Is z a composite number?
True
Let n be (18/(-3))/((-3)/2). Let g be -25*(-3 - (3 + -5)). Suppose n*y - 315 = -y + 4*q, 5*q = -g. Is y a prime number?
True
Let j(d) = -d**2 + 5*d + 8. Let f be j(9). Is 4/(-2) - (f - 0) a prime number?
False
Let t be 12*(2 + (-9)/6). Suppose -2*x - x = -t. Suppose -2*d + 148 = x*d. Is d a prime number?
True
Let y(s) = -42*s**2 + 3*s + 4. Let h be y(3). Let c = -202 - h. Is c a composite number?
False
Suppose 4*g + 5 = 13. Suppose 0 = -g*k - 4 - 10. Let o(d) = d**2 + d - 5. Is o(k) composite?
False
Suppose 4 - 12 = -2*u. Suppose u*f + 20 - 592 = 0. Is f a composite number?
True
Suppose 0 = -x + 3*n + 31 - 2, -64 = -4*x - n. Suppose -25 - x = -2*u. Is u prime?
False
Is 4/4*(1 + 222) prime?
True
Suppose 0 = 4*x - 0*x. Suppose -3*a + 0 + 30 = x. Is a a composite number?
True
Is (-2 - -3)/(2/2954) composite?
True
Is ((-177)/12)/(1/(-28)) composite?
True
Suppose 0 = 4*q - 3 - 33. Let w(a) = a**2 + 8. Let v be w(6). Let k = v - q. Is k a prime number?
False
Suppose b - i - 3*i + 11 = 0, -5*b + 2*i = 1. Let j = 139 + -57. Let l = j + b. Is l composite?
False
Let k be 26394/15 - 2/(-5). Suppose -h = 3*h - 5*n - k, n = 2*h - 886. Suppose h = 8*g - 3*g. Is g a composite number?
False
Let m = -10 + 16. Let a = 10 - m. Suppose -54 - 86 = -a*r. Is r prime?
False
Suppose -2*q + 289 + 129 = 0. Is q a composite number?
True
Suppose -22 + 1225 = 3*f. Is f prime?
True
Is (18410/(-15))/(5/(15/(-2))) a composite number?
True
Let c(x) = 29*x + 34. Is c(12) prime?
False
Suppose -6*i + 249 = -81. Is i composite?
True
Suppose -2*u + 53 + 35 = 0. Suppose 0*j = -2*j + u. Is j a composite number?
True
Suppose 0 = -3*w - 2*h + 6, -2*h = 4*w - 3*w - 2. Suppose 0 = 2*o - 6*o + w*y + 504, 2*o = -5*y + 264. Is o a composite number?
False
Is 3 - (-2930 - 6/1) a composite number?
False
Suppose 2*y - 177 = -2*c - 15, 0 = y + 3*c - 83. Let k = 207 - y. Is k composite?
False
Suppose -2*s + 5 = -s. Suppose 5*x - 930 = 2*q + 3*q, -4*x + s*q = -743. Is x a composite number?
True
Suppose 0 = -12*o + 7*o + 5930. Is o a prime number?
False
Let f be 2/9 - (-36039)/27. Suppose 4*k - f = -k. Suppose 6*s = 3*s + k. Is s a prime number?
True
Suppose -2*i + 9*h = 4*h - 831, 0 = -3*h - 3. Is i prime?
False
Let f = 1561 + -974. Is f prime?
True
Let c be 3/(-6)*0/3. Suppose -3*u + 292 + 125 = c. Is u composite?
False
Let x(g) = 1028*g**2 - 6*g + 5. Is x(1) a prime number?
False
Suppose -4*z = 4*u - 120, 5*u - z - 55 - 65 = 0. Suppose o = u + 52. Is o composite?
True
Suppose -d - 4*d + 165 = 0. Let x = 3 - 3. Suppose w = -x*w + d. Is w prime?
False
Let g = -405 + 584. Let t = -2 - -2. Suppose -2*v + 203 + g = t. Is v a composite number?
False
Let r(f) = f**2 - 5*f - 1. Let z be r(-8). Suppose -232 = -5*i + z. Is i a prime number?
True
Suppose 0 = -3*k - 2*o + 1753, -k + 1759 = 2*k + 5*o. Is k a prime number?
False
Let w(g) = 2*g**3 - 3*g**2 + g + 1. Let c = 3 + -1. Let b be w(c). Suppose s - 2*s = -b. Is s composite?
False
Suppose -218 = -m - 15. Is m composite?
True
Is (6 + -5)/(3*(-2)/(-858)) prime?
False
Let p(x) = 23*x**2 + 5*x + 5. Is p(-6) prime?
False
Suppose 0*i + 4*i = 12. Is (4/1 - i) + 52 composite?
False
Let d be 4/(-6)*6/4. Let p(h) = -10*h**3 + h**2 + 2*h + 1. Let b be p(d). Suppose t - b = 3. Is t a prime number?
True
Let w(h) = 102*h - 3. Suppose -3*k - 3*y = 0, 4*k - 3*y + 6*y - 2 = 0. Is w(k) a prime number?
False
Is (-4 + (-52)/(-12))*573 a composite number?
False
Suppose -3*o + 3 = -3. Suppose -3*s - o = 5*z, z - 2*z + s + 6 = 0. Suppose z*u = -3*u + 235. Is u composite?
False
Let p be (-3)/(3 + -2) + 217. Suppose p = 4*q - q + 5*u, 0 = 2*u + 8. Is q/8 + 2/8 a composite number?
True
Suppose 104 + 387 = i. Is i prime?
True
Let l(c) = c**2 + 4*c + 4. Suppose 20 = -8*d + 3*d. Let o be l(d). Is -2 + (2 - -2)*o composite?
True
Let f(z) = 479*z**2 - z + 1. Is f(1) a composite number?
False
Suppose 4*a - 3*v - 2273 = 1077, -a - 4*v = -847. Is a a prime number?
True
Let t(m) = 27*m - 3. Let r be t(7). Let v = -45 + r. Is v composite?
True
Let s be (-4436)/(-6) + (-6)/(-9). Suppose -5*o + 5*c + s = 0, 2*o - 3*c - 90 = 205. Is o composite?
False
Let l = 2443 - 1607. Suppose 0 = -5*i + 3*p + l, 5*p + 66 = 2*i - 257. Suppose -5*j = 4*n + n - 295, 3*n = -j + i. Is n a prime number?
False
Let s = 58 - -97. Let d = -108 + s. Is d composite?
False
Suppose -2*q + 772 = v - 688, 0 = 3*q - 3*v - 2208. Let t = -359 + q. Is t prime?
True
Suppose n - 984 = -11*n. Is n composite?
True
Let f = 268 + -149. Suppose 8 = i - f. Is i a composite number?
False
Let o = 129 + -83. Is o a composite number?
True
Let b(w) = -12*w - 1 + 3*w + 29*w. Is b(13) a prime number?
False
Suppose 2*p - 2*l = l + 473, 0 = 5*p - 5*l - 1180. Is p a prime number?
False
Suppose -4*p - z = -190, 2*p + 2*z - 44 = p. Suppose -y - f - p = -2*y, f + 142 = 3*y. Is y a composite number?
False
Suppose 0 = w + 73 + 50. Let f = w + 236. Is f a prime number?
True
Let l(g) = g**2 - 7*g - 5. Is l(-9) a composite number?
False
Let z be (8/10)/((-4)/(-1380)). Let o = z + -149. Is o prime?
True
Suppose -20*f = -5*f - 51630. Is f a prime number?
False
Suppose 0 = 3*w - l - 481 + 97, 249 = 2*w - 3*l. Suppose -w = 3*x - 402. Is x composite?
True
Let z(j) = 5*j**2 - j - 8. Let w be z(-8). Suppose -2*c - x = -3*x - 162, 4*c = 5*x + w. Is c a composite number?
True
Suppose 0 = -i + 5*c + 17, -c + 0 - 9 = -3*i. Suppose i*z - 5 = 21. Is z a prime number?
True
Let i(m) = 16*m**2 - 57*m - 11. Is i(8) a prime number?
True
Suppose -2*o = 5*y - 263, 6*y + 3*o - 267 = y. Is y a prime number?
False
Suppose 2*k = 148 + 146. Suppose -2*q - q = -k. Is q a composite number?
True
Let m(d) = 154*d**2 + 2*d + 1. Is m(3) prime?
False
Let v = -14 - 2. Is 3432/v*(-2)/3 prime?
False
Let o(r) = -r**3 + r**2 - r + 39. Let i be -2*2 - -3 - -1. Is o(i) a prime number?
False
Is (3004/24)/(4/24) a prime number?
True
Let z = 5 + -11. Let j(q) = 7*q + 4 + 0*q**3 - q**3 - 5*q**2 + 6 - 1. Is j(z) a