ppose 3*h - 16 = -2*l + 5, 35 = 5*h + k*l. Is h prime?
True
Let c = 1204 + 5149. Is c prime?
True
Let s(q) = 6*q**2 + 11*q - 1. Let c(o) = o**2 + o. Let k(l) = 22*c(l) - 2*s(l). Let d be k(3). Let v = 183 - d. Is v prime?
False
Is 175*82/18 + (-2)/9 a composite number?
False
Let r(a) = 5*a**2 - 6*a + 10. Let m be r(-8). Suppose 4*w - 398 = 2*f, 0 = -w + 5*w + 2*f - m. Is w prime?
True
Let j(f) = f**3 - 9*f**2 - 29*f + 13. Is j(14) a composite number?
False
Suppose 3*r + 89 = -2*c + 3*c, 4*c - 356 = -3*r. Let k = 31 - 14. Let a = c + k. Is a a composite number?
True
Suppose -7 = 3*a - 1. Let i be (0 + -1)/(a/4). Is (3 + -2)*(i - -1) prime?
True
Suppose 9*r = -20 + 92. Let s(x) be the first derivative of 6*x**2 - 3*x + 1. Is s(r) prime?
False
Let c be (-2072)/10 + (-5)/(-25). Let r = -16 - c. Is r composite?
False
Let o(a) = 4*a. Let d be o(1). Let p(k) = k**3 - 2*k**2 - 7*k + 7. Is p(d) a prime number?
True
Let f = 11 + -7. Suppose f*j = -2*o + 578, o - 3*o = j - 584. Is o a prime number?
True
Suppose -3*s = l - 4 + 2, 2*l + 3*s = -2. Is -3*(1048/6)/l a composite number?
False
Suppose -s + 4*s = -6. Let u be 4/10*10/s. Is (21/6)/(u/(-20)) composite?
True
Let y(w) = 8*w**2 - 4*w - 2. Is y(5) a composite number?
True
Suppose 3*j + 2546 = 4*q + 999, -2*q - j + 781 = 0. Is q a composite number?
False
Let c = 456 - 169. Is c prime?
False
Let p(s) = 3*s**2 - 11*s + 18. Is p(8) composite?
True
Suppose u + 20 = 5*u. Suppose 4*j + u*f = 301, 2*j = 3*j + 4*f - 89. Is j a composite number?
True
Suppose -2*h - 2*h + 8 = 0. Suppose h*o - 5*u - 52 = 0, -o + 27 = -u - u. Is o a prime number?
True
Suppose o + 5464 = 4*u - 2*o, 4*u + 3*o = 5440. Is u a composite number?
True
Let h be 2 + 13 + 6/(-2). Let f = 33 - h. Is f a prime number?
False
Suppose 4*p - 3*p - 26 = 0. Is p composite?
True
Let u be -2 - -125*(-4 - -1). Let l = u - -588. Is l a composite number?
False
Suppose 0 = -2*a + 3*a - 403. Is a prime?
False
Suppose 0 = 2*b - 5*b + 285. Let h = b - 48. Is h a prime number?
True
Suppose 0 = -k + 3*x - 15, -k - 5*x + 25 = 0. Suppose -m - 2*m - 9 = k. Let i = m + 13. Is i a prime number?
False
Let g be (4 - 1)*7/(-3). Let w = 11 + -15. Let s = w - g. Is s composite?
False
Suppose 4*a - 2729 = -b, 4*a - 3*b - 2914 = -173. Is a a composite number?
False
Suppose -v - 21 = -h + 5*h, 2*v = -h. Let t = 10 + h. Suppose 3*q = -2*q - t*k + 131, q = -5*k + 43. Is q a prime number?
True
Let s(p) = p**2 - 7*p. Let u be s(5). Let w(m) = -17*m - 7. Is w(u) a prime number?
True
Suppose 4 + 30 = 2*j. Suppose -x + 16 = -j. Is x a prime number?
False
Suppose 0*h - 6 = -3*h. Suppose -4*l - h*s + 1 = -5, 3*s - 9 = 3*l. Is -2 - l - (-42)/2 a composite number?
False
Suppose 3*w + 9 = 294. Is w prime?
False
Suppose -j = -4*j + 381. Is j prime?
True
Let h(u) = 9*u**2 - 3*u + 45. Is h(11) prime?
False
Suppose -3*x + 8*n + 19 = 3*n, 2*n + 20 = -5*x. Let w be 3/(21/6 + x). Suppose -v + 2*s = -4, -w*v - 3*s = 2*v - 71. Is v composite?
True
Suppose 0 = -n + 4*m - 62 + 195, 5*n - m = 665. Is n prime?
False
Let h be (-6)/(-18) + ((-10)/3)/1. Suppose 0 = -z + 3*z + 6. Is (-104)/z + h/(-9) a composite number?
True
Let y be (-3)/((-1)/((-834)/(-9))). Let o = y + -159. Is o prime?
False
Is (-12)/(-84) + (-21824)/(-14) prime?
True
Is 1126*((-5)/2)/(-5) composite?
False
Suppose -5*h - 1390 = -5985. Is h prime?
True
Suppose -5*x + 154 + 322 = 2*t, -3*t - 4*x = -721. Suppose 0 = 3*k - 762 + t. Suppose -2*j = 5*c - 195, c - 5*j = 5*c - k. Is c prime?
True
Let t be -5*(6/15 - 2). Let f = t + 47. Is f a composite number?
True
Suppose -575 = -2*s + y, 3*y = s - y - 305. Let a = s + -100. Is a composite?
True
Let u(k) = 37*k**2 + 6*k + 9. Is u(-4) a composite number?
False
Let c = -2 + 0. Is c*((-25)/2 + 3) a composite number?
False
Let x = 130 + -69. Suppose -5*l - u = -329, -x = 3*l - 4*l - 5*u. Suppose 3*i + 3*g = 255, 0 = -i + g + 15 + l. Is i a prime number?
True
Is (-3 - -1)*(-4)/8*235 a prime number?
False
Let u = 1 - -3. Suppose r = -u*f + 691, 2307 + 1094 = 5*r + 2*f. Is r composite?
True
Let l be ((-3)/(-9))/(2/642). Suppose l = -t + 438. Is t a composite number?
False
Suppose 4 = 4*f - 8. Suppose -3*a + 5*i + 24 + 690 = 0, -a + 242 = -f*i. Is a a composite number?
False
Suppose -15496 = -4*d - 4*d. Is d prime?
False
Let l = -2 - -2. Let k(h) = -h**3 - h. Let f(x) = -4*x**3 - x**2 - 6*x - 53. Let i(t) = -f(t) + 5*k(t). Is i(l) a composite number?
False
Let z(y) = y**2 + 2*y. Let v = -1 - 2. Let p be z(v). Suppose 0 = 3*s + 5*x - 212, -x + 136 = p*s - 96. Is s a prime number?
True
Suppose -6 = -0*m - 3*m. Suppose m*k = -3*k + 335. Is k composite?
False
Let f be 4/2*(5 - 3). Suppose 0 = 4*s + f*p - 48, 3*s + 0*p - 48 = 3*p. Is s a composite number?
True
Let h(q) = q**3 - 6*q**2 + 6*q - 3. Let m be h(5). Suppose m*f = 5*f - 879. Is f prime?
True
Let z = 939 + -448. Is z composite?
False
Suppose 3*y = 3967 - 328. Is y composite?
False
Let r = 3 + -7. Let z(f) = -f**3 - 2*f**2 - 4*f - 2. Is z(r) prime?
False
Let w(b) = 8*b + 9*b + 0*b - 1. Let j = 9 - 7. Is w(j) a composite number?
True
Let a be (2 + -3 + 1)/1. Suppose -t - 4*t + 41 = 2*w, a = -w - 4*t + 22. Suppose 0*g = 3*g - w. Is g a prime number?
False
Suppose 2 = -3*q + 4*q. Suppose q*x - 4*y = 16, -5*y = 3*x - 4*y + 4. Is x + 0 + 190/2 composite?
True
Suppose 3*n - 4*m - 20 = 10, -33 = -5*n + m. Let v(t) = -t + 11. Let y be v(n). Suppose -5*w + d + 3*d + 90 = 0, -y*w = 2*d - 120. Is w a composite number?
True
Let p be (4/6)/(8/(-12)). Is 2 + (35 - (-1 + p)) prime?
False
Suppose q = -2*q - 2*p - 4, 0 = 5*q + p + 9. Is 156/18*(-39)/q prime?
False
Let n(j) = 3*j + 6*j - 2 + 0 - 3. Let i = -5 - -9. Is n(i) composite?
False
Let c(x) = -16*x - 4. Let o(t) = -16*t - 5. Let u(f) = 4*c(f) - 3*o(f). Is u(-2) a prime number?
True
Suppose 7*p - 2*p + 31 = 2*x, -4*p - 23 = -x. Suppose -7*i + 76 = -x*i. Is i prime?
True
Suppose -i + 3 = 4*s - 2*i, -s + 4 = 3*i. Let v = s - -46. Is v a composite number?
False
Let o = -15 - -6. Is (-760)/(-6) - 3/o a prime number?
True
Is ((-28)/(-16) - 0)*20 a prime number?
False
Is -316*(-1)/(-4)*-1 prime?
True
Let p = -8 + 0. Let y(g) = 2*g**2 + 8*g - 7. Is y(p) prime?
False
Let p(m) be the second derivative of -m**5/20 + 5*m**4/12 + m**3/6 - 2*m**2 - 3*m. Let t be p(6). Let s = t - -73. Is s a prime number?
False
Let u be 3/(-12) + (-2)/(-8). Is (-67)/(u + (-3)/9) composite?
True
Let x be (2/6)/(2/(-246)). Let j = 436 + x. Is j a prime number?
False
Let r = -8 - -12. Let t be (1/2)/(r/664). Is (0 - (-1)/1)*t composite?
False
Suppose -2*s = -5*s - 6. Is (-111)/s + (-2)/4 composite?
True
Is -4 - -4 - (1 - 294) a prime number?
True
Let z = 3 + -3. Suppose 4*x = 0, -f - x + 20 = -z*f. Let o = f + -9. Is o a composite number?
False
Suppose 4*p - 840 = 4*y, -3*p - y = p - 845. Is p composite?
False
Let n = 0 - 0. Suppose -s - 6 = -n. Let a(m) = -m**3 - 4*m**2 + 8*m - 3. Is a(s) composite?
True
Let j = -9 - -16. Let i = j - 4. Suppose 128 - 599 = -i*p. Is p a composite number?
False
Suppose 0 = 4*a - 9*a + 100. Is 526/10 + 8/a prime?
True
Suppose 4*d + 19 = -0*i + 3*i, 3*d = -5*i + 22. Let h = -9 + 13. Suppose -63 = -2*f + i*k, h*f + 3*k = -f + 80. Is f a prime number?
True
Suppose p - 73 = -3*o + 5*p, 5*o - 140 = 3*p. Is o composite?
False
Let k(l) = -6*l - 9. Suppose 35 = -i - 4*i. Is k(i) a composite number?
True
Suppose 0*s - 903 = -s. Is s*2*2/12 prime?
False
Let z = -657 + 3794. Is z composite?
False
Let p = 19 + -12. Suppose -2*x - 1 = -p. Suppose -3*r = s - 755, -4*r = -x*s + 5*s - 1004. Is r a prime number?
False
Let r = 37 - 22. Let p = r + -21. Let k(f) = -f**3 - 4*f**2 + 2*f + 7. Is k(p) a composite number?
False
Suppose -4*u + 238 = -2*u. Is u composite?
True
Let m(k) be the third derivative of -k**6/120 + k**5/12 - 5*k**4/24 + 5*k**3/3 + 2*k**2. Is m(4) prime?
False
Let b(x) = 3*x**3 - 3*x**2 + 7*x + 13. Let y(r) = -r**3 + 2*r**2 - 3*r - 7. Let t(z) = -2*b(z) - 5*y(z). Is t(-7) a composite number?
False
Let z be (-18)/(-4) + 2/(-4). Suppose 596 = -0*j + z*j. Is j a prime number?
True
Is 3*(-4)/36*-1401 a composite number?
False
Let q(t) = -2*t + 0 + 1 - 3*t**2 + 65*t**3 + 4*t**2. Let r be q(1). Suppose 2*d - r = d. Is d a prime number?
False
Suppose -3*a = -543 + 69. Is a prime?
False
Let s = 680 - 7. Is 