. Suppose -3*r + 3*s = -6*r + 390, k*r - 242 = 4*s. Is r a composite number?
False
Let s(m) = -m**3 + 6*m**2 - 5*m + 4. Let q be s(5). Suppose -3*w + 82 - 15 = -5*n, 0 = q*w + 5*n - 66. Is w a composite number?
False
Let s(k) = -k**3 + 12*k**2 + 5*k + 11. Is s(9) prime?
False
Let u = 7 - 5. Let s(r) be the second derivative of 19*r**4/12 + r**3/2 - 3*r**2/2 - 3*r. Is s(u) a composite number?
False
Let q = -1 + -2. Let t be 5/q + (-1)/3. Is (-29)/t - (-1)/2 a composite number?
True
Let l(u) = 45*u + 1. Let q be l(3). Suppose 4*r + 0*r = q. Is r a prime number?
False
Suppose 0 = -3*g - g + 152. Suppose -5*q + 27 = -g. Is q a prime number?
True
Suppose -k + 3978 = 2*k. Suppose -6*a + 3*a = -k. Suppose 2*l = 4*n + a, -3*n - 450 = -2*l - 7*n. Is l prime?
True
Suppose 5*b = -4*b + 7263. Is b prime?
False
Let w = 9 - 4. Is (1 + 0)*(w + 2) prime?
True
Suppose 0 = 3*b - 4*b - 4*n + 126, 5*b - 4*n = 606. Is b composite?
True
Suppose b - 55 = -2*x - 3, x = -2*b + 29. Suppose -c + 40 = -x. Is c a prime number?
False
Let v(s) = -s + 2. Suppose 3*k + 12 = -k. Let w be v(k). Suppose 2*d + 322 = 4*x, -w*x + d = 4*d - 430. Is x prime?
True
Let j be (-28)/49 - 3466/(-14). Let c = -170 + j. Is c prime?
False
Suppose 3*l - 4*l = -2*x - 25, -4*l - 3*x = -155. Let r = 87 - -69. Let y = r - l. Is y composite?
True
Let r = 7 - 1. Let u = r + 13. Is u a composite number?
False
Suppose -m + 119 - 19 = -3*q, 4*m = 2*q + 450. Let i = m - 82. Suppose -3*n = 3*y - 123, -n + 0*y = -y - i. Is n a prime number?
True
Suppose 2*f + k - 14 = 0, -f - 2*k + 13 = -0*f. Suppose 0*c - 450 = -c + f*q, -4*q - 1339 = -3*c. Is c a composite number?
True
Suppose 0 = 29*s - 19*s - 5730. Is s composite?
True
Let m(v) = v**3 + 9*v**2 + 11. Is m(-9) prime?
True
Is 185 + 24/(10 - 6) composite?
False
Suppose 20*j = 24*j - 1628. Is j composite?
True
Suppose 0 = 3*n - 2*i - 22197, 12573 = 4*n - 3*i - 17022. Is n a composite number?
True
Let m = 64 - -135. Suppose -4*g = -0*g - 3*c - m, 4*g = -3*c + 169. Is g composite?
True
Let d(y) = 2*y**2 - y - 8. Let o be 4/(-16)*-2*-14. Is d(o) composite?
False
Let k = 1471 + -752. Is k prime?
True
Suppose 5*p = 4*x + 39, 3*p - 23 = -0*p + 2*x. Suppose 2*d = 5*v - p, v - 1 = 2*d - 6. Suppose h - v*f - 24 = -0*f, h + f = 12. Is h a composite number?
True
Let l = 0 - -12. Suppose 5*a + k + l + 98 = 0, -2*a - 36 = 2*k. Let y = a + 45. Is y composite?
True
Let d(r) = 2*r**3 - 6*r**2 - r + 20. Is d(5) prime?
False
Let n = -1401 + 3107. Is n composite?
True
Let q(y) = y - 11. Let x be q(9). Let p = 2 + x. Suppose p = 3*w - 0*w - 4*u - 379, -2*w + 5*u = -241. Is w prime?
False
Suppose 5*v - 427 = -37. Let u = 171 - v. Is u a composite number?
True
Let q be 1 - (2 + -3)*403. Let s = q + -285. Is s a composite number?
True
Suppose -551 - 1053 = -4*c. Is c a prime number?
True
Let s(c) = -863*c + 7. Is s(-4) a prime number?
False
Suppose -3 = -4*l + 1. Is -85*(l + (-21)/15) a prime number?
False
Let t = -236 + 332. Suppose -3*r = -927 - t. Is r a prime number?
False
Is 4 + 2*-4 + 243 composite?
False
Suppose -k + 4*w = 13, -2*k - w + 0 + 1 = 0. Suppose 7*i = 2*i + 50. Let o = i - k. Is o composite?
False
Let v(w) = -2*w**2 + 3*w. Let i(t) = t**2 - 9*t - 6. Let f be i(9). Let q be v(f). Let h = -56 - q. Is h prime?
False
Suppose -2*v + 1 = -1. Suppose 11 = 5*q + 4*h + v, -2*q = 4*h - 4. Suppose q*s - 70 = 36. Is s a prime number?
True
Suppose -4*a = -b + 577, b - 585 = -5*a + a. Is b prime?
False
Suppose -974 = -p - p. Is p a composite number?
False
Is (1 - (-63)/(-4))*(-14 - 30) a prime number?
False
Let x(f) = -f**3 - 3 - 1 + 1 + 9*f**2 + 11*f. Is x(8) a composite number?
False
Let y(f) = f**3 - 8*f**2 + 11*f - 10. Let l be y(9). Suppose 5*n - l = -2*b, 0*n = 4*b - 2*n - 388. Is b composite?
True
Suppose -26*n + 628 = -22*n. Is n a composite number?
False
Suppose 12*l - 793 = 1427. Is l composite?
True
Suppose -5*b + 25 = 0, 5*b = 5*z + b. Suppose -4*k - 19 = -u, 5*u + z*k = 2*u + 137. Is u composite?
True
Let q(a) be the first derivative of 49*a**2/2 - 2. Let t be q(3). Suppose 5*x - t = 308. Is x a prime number?
False
Let v(m) = -m**3 - 4*m**2 + 4*m - 7. Let j(b) = 2*b + 3. Let x be j(-4). Let g be v(x). Is 3 + g - 174/(-3) composite?
False
Let o = 441 - 254. Is o composite?
True
Let m(k) = 3*k**2 + 2*k - 3. Let j(f) = f**3 - 7*f**2 + 6*f - 4. Let h = 1 - -5. Let x be j(h). Is m(x) composite?
False
Let n = -1594 - -2285. Is n composite?
False
Suppose -2*w = 3*p - 643, -3*p = -5*w + 1183 + 477. Is w composite?
True
Suppose -3*p + 5*p - 150 = -4*r, -2*p + 2*r = -162. Is p prime?
True
Let w(k) = -k**3 - 7*k**2 - 7*k - 3. Let q be w(-6). Suppose 0*m - 3*a = -m + 376, -2*m + 785 = 5*a. Suppose -q*v = 2*v - m. Is v a prime number?
False
Let q = 239 - 130. Is q a prime number?
True
Let c = -2 + 11. Let v(x) = x + 4. Let d(h) = -h - 5. Let k(z) = 2*d(z) + 3*v(z). Is k(c) prime?
True
Let g = 9 - 11. Is (1/g)/(2/(-424)) composite?
True
Let h = 4 - 2. Let t be (h/(-4))/(4/(-24)). Let a(d) = d**2 + 2*d + 4. Is a(t) composite?
False
Let v(i) = 4*i**2 + 4*i**2 + 4 - 5 - 6*i**2 - 9*i**3. Let b be v(-1). Is b*((-39)/(-2))/3 a composite number?
True
Suppose 0 = -12*m + 10*m + 1082. Is m a composite number?
False
Is (3 + 1724)/1*1 prime?
False
Let o(w) = 5*w**3 + 5*w**2 - 5*w + 4. Let y(k) = k**3 + k**2 - k + 1. Let n(c) = -2*o(c) + 9*y(c). Is n(-2) a composite number?
False
Let f(z) be the second derivative of -z**6/180 - z**5/60 - z**4/6 - 3*z. Let q(l) be the third derivative of f(l). Is q(-2) a composite number?
True
Let t(j) = -63*j + 1. Let o be t(-3). Let p = o + -119. Is p prime?
True
Suppose 4*h - 4 = 0, s + 2*h = h - 1. Let g(f) = -f**3 - f**2 - 1. Let j be g(s). Is 2 - (-112 + j + 2) a prime number?
True
Suppose 5*u - 8*u = 0. Suppose -1207 = -3*p - 2*h, u*p - 4*p + 4*h = -1596. Is p prime?
True
Is -1 + -1 + 4 + 175 composite?
True
Let d = 41 - 10. Is d composite?
False
Let n be -4*(2 - 0) + 0. Is (-4)/n*-4 - -23 prime?
False
Suppose -5*x - d + 12 = -3*d, -x - 5*d = -24. Let u(m) be the third derivative of m**5/10 - m**4/4 + 5*m**3/6 - m**2. Is u(x) prime?
False
Suppose -5*w - 19 = 21. Let j(b) = -16*b - 1. Is j(w) prime?
True
Suppose 5*f - 14 = 2*u, -5*u = 2*f + f - 27. Suppose u*g - v = -3*v + 77, -4*v + 4 = 0. Is g prime?
False
Suppose -19 = -2*f - 2*q + 3, -3*f + 3*q + 15 = 0. Let l(c) = 32*c**2 + c - 3. Let u(d) = 21*d**2 + d - 2. Let y(p) = f*u(p) - 5*l(p). Is y(-3) a prime number?
False
Let h = -396 + 6535. Is h composite?
True
Suppose -4*s + s - 1 = -u, 0 = -2*u - 3*s + 2. Let x(q) = 20*q + 7. Let y(f) = 41*f + 15. Let v(o) = 13*x(o) - 6*y(o). Is v(u) a composite number?
True
Let b = -1 - -1. Suppose b*d + 154 = 2*d. Is d a prime number?
False
Suppose -2*c + c = 16. Let k = c - -24. Is ((-55)/4)/((-2)/k) a composite number?
True
Let x = 33 - -320. Is x composite?
False
Let s(p) = -38*p - 1. Let d be s(-2). Suppose 0 = -11*g + 8*g + d. Is g a prime number?
False
Suppose 0 = j - 0*j - 4. Suppose j*u = -u + 510. Suppose 4*s - 2*l = 148, -5*s + 53 = 5*l - u. Is s composite?
True
Let x(g) = g + 7. Let h be x(-6). Let j = h + -27. Let o = j - -40. Is o a composite number?
True
Suppose c = -i + 38, 33 - 10 = c + 4*i. Is c a prime number?
True
Let l(z) = -2*z - 9. Is l(-11) composite?
False
Is 5868/10 + 2/10 a prime number?
True
Let z = -6928 - -11231. Is z a composite number?
True
Let f = 248 - 121. Is f prime?
True
Let c(n) = -3*n - 1. Let o be c(1). Let y = o - -8. Suppose -s = -d + 17, 5*s - s = -y*d + 52. Is d composite?
True
Suppose 2*o - 12 = -o - 3*x, 0 = -x - 3. Let r(z) be the first derivative of z**2 - 7*z - 2. Is r(o) composite?
False
Is 1 + 1/((-1)/(-117)) a prime number?
False
Suppose 8 - 2506 = -2*a. Is a composite?
False
Suppose 5*r = -3*z + 8 + 325, -5*r = 0. Is z a prime number?
False
Let z be ((-82)/8)/1*-12. Let y be ((-4)/(-3))/(2/z). Let t = y - 39. Is t prime?
True
Let i = 328 - -9. Suppose 4*q - 5*q + i = 0. Is q prime?
True
Let n(g) = 6*g**2 - 5. Is n(6) prime?
True
Let f be 22*4 + 3/(-1). Suppose -f = 3*p - 454. Is p a composite number?
True
Is 4 + 2/(-6 + 4) composite?
False
Let h(c) be the first derivative of -c**2/2 + 35*c - 1. Let l be h(0). Let a = -9 + l. Is a a composite number?
True
Is (46 - 0/1)*1 prime?
False
Suppose 0 = -6*b + 2*b