e 0 = -4*v - 3*l + 9754, -5*v + 7054 = -5*l - 5121. Is v composite?
False
Suppose 0 = -4*v + 4*y + 2503 + 801, 0 = 2*y. Suppose 4*o - 3*o - p = 207, v = 4*o - 5*p. Is o a prime number?
False
Suppose 109 = k + 18. Is k a prime number?
False
Suppose 2*z - 12 = -z, 0 = 3*n + 5*z - 1535. Is n a prime number?
False
Suppose 0 = 11*q - 8405 - 12660. Is q a prime number?
False
Suppose 5*b = 2*b + 6. Let j(p) = -p + 7*p**b + 1 - p + 2*p - p. Is j(1) a prime number?
True
Is (-15102)/6*2/(-2) composite?
True
Suppose a - 6*a + 1090 = 0. Is a composite?
True
Let j be 12/(-8) + (-261)/(-2). Suppose -d = d - 4. Suppose -d*f + 5*f = j. Is f a prime number?
True
Let l(a) = 31*a**3 + 3*a**2 - 3*a + 5. Is l(2) a prime number?
False
Suppose 3*h - 1561 = -h - 3*i, -4*h = -4*i - 1568. Is h a composite number?
True
Suppose 3*m = 71 + 7. Is m prime?
False
Is 30/(-195) + 19088/(-26)*-1 a prime number?
False
Suppose -3*j - 5*d + 2309 = 0, -2*d = 5*j - d - 3885. Is j a prime number?
False
Let w = 270 + 127. Is w prime?
True
Let t(v) = -2*v**2 + v + 1361. Is t(0) a prime number?
True
Let m(d) = -4*d**3 - 2*d**2 - d + 3. Let z be m(-4). Is 3/((-3)/(-2)) + z prime?
True
Suppose 0 = -4*c - 4*p + 20, 2*c - 6 = p + 1. Suppose 3*y - c*w = 245, -27 = 4*y - 4*w - 355. Is y a composite number?
False
Let w(m) = -7*m - 28. Is w(-11) prime?
False
Let k(y) = -3*y**3 - 5*y**2 - 3*y + 4. Let v be k(-3). Suppose 0*i - 5*i = 120. Let n = i + v. Is n composite?
True
Let z be 1/((2/2)/(-3196)). Is (-4)/(-18) - z/36 a prime number?
True
Suppose -5*b + t + 9414 = 0, 3*b - 5654 = -8*t + 3*t. Is b composite?
True
Suppose -5*a = -3042 - 2473. Is a prime?
True
Let b = 6173 - 1890. Is b a prime number?
True
Suppose 0*a + 30 = -5*a. Suppose 44*o + 86 = 46*o. Let p = o + a. Is p a composite number?
False
Suppose -5*m = -5*j + 740, j + 5*m = -0*j + 154. Suppose 6*h - 467 = 3*h + u, 2*u = h - j. Is h a composite number?
False
Let j(p) be the first derivative of 5*p**2/2 - 5*p + 3. Is j(8) prime?
False
Let j(h) = -46*h**3 + 4*h**2 + h - 3. Is j(-2) composite?
False
Let p(w) = w + 3. Let g be p(-3). Let h(j) = -j**2 + j + 641. Is h(g) prime?
True
Suppose 1438 = 4*r - 2*r. Is r prime?
True
Let x be -3 + 1 + -1 + -97. Let y = -13 - x. Is (28/(-6))/((-2)/y) composite?
True
Let n(o) = -8*o**3 - 2*o**2 - 2*o - 1. Let q be -3 - (6 - 3 - 9). Suppose -2*g = q*g + m + 3, -4*g + 6 = 5*m. Is n(g) prime?
True
Suppose -1446 - 979 = -5*o. Let x = o - 112. Is x a composite number?
False
Let b = -31 - -51. Suppose -b = y - 5*f, 0 = -2*y + y + 4*f - 16. Suppose y = 5*m - 17 - 168. Is m prime?
True
Suppose 3*q = 5*h + 287, 5*q - 5*h + 2*h = 457. Is q a composite number?
False
Let m(n) = n**3 - 7*n**2 + 7*n - 6. Is m(7) a prime number?
True
Let t(g) be the first derivative of -1 + 4/3*g**3 - 3/2*g**2 - 1/4*g**4 + 2*g. Is t(3) composite?
False
Let y = -2 + 2. Suppose 4*j + y*j - 172 = 0. Is j composite?
False
Is 2631/(8/44 + (-45)/(-55)) composite?
True
Let k(q) = -249*q + 14. Is k(-5) a prime number?
True
Let b(d) = d**3 + 9*d**2 - 11*d + 12. Is b(-9) a composite number?
True
Suppose 0 = 5*g - 13 + 3. Suppose 0 = -h + 2*r + 13, -3*h - r = g*r + 6. Suppose -110 = -h*n + n. Is n a prime number?
False
Let s(c) = -479*c. Is s(-1) a composite number?
False
Suppose 5*c - 515 = -3*d, -6 = 5*d + 2*c - 858. Let u = 256 + 3. Suppose -u = -3*l - 5*v, v = -2*l - v + d. Is l composite?
False
Is (((-50480)/(-12))/(-10))/((-2)/3) a prime number?
True
Let t = -21 + 15. Is (-30)/(-4)*(-8)/t prime?
False
Let s(h) = 109*h - 1. Is s(2) a prime number?
False
Suppose 0*c = -c + 37. Is c a prime number?
True
Let u = 81 - -37. Is u composite?
True
Suppose 3*k + 2*k = 0. Suppose j + 5*l + 16 = k, 0 = -0*j - 3*j + 5*l + 32. Suppose -j*n + 44 = -0*n. Is n prime?
True
Suppose -5*a = -720 - 1175. Is a a composite number?
False
Let k be (-6)/4*(-8)/6. Suppose g - 66 = -3*r, k*g = 6*g. Is r composite?
True
Suppose -2*x + 0*j + 2 = 2*j, 0 = 5*x + 2*j - 11. Suppose x*h = 7*h + 4, 0 = -4*q + 2*h + 222. Is q a prime number?
False
Is 128/5 + (-9)/15 composite?
True
Let c(j) be the second derivative of j**7/252 + j**6/360 + j**5/120 + j**4/6 + 3*j. Let b(i) be the third derivative of c(i). Is b(-2) prime?
True
Suppose u - 7 = 2*u. Let j(d) be the third derivative of -d**6/120 - 7*d**5/60 - d**4/12 + 7*d**3/6 + d**2. Is j(u) a composite number?
True
Is -6 - -1 - (-9664)/4 composite?
False
Suppose 6*c - 3*c = 78. Is c prime?
False
Let c be 3/((-2)/((-168)/2)). Let b = -29 + c. Is b prime?
True
Let x(y) = -y**2 + 3 + 4*y + 4 + 2*y. Let o(l) = -l + 1. Let c be o(-5). Is x(c) a prime number?
True
Let q(n) be the second derivative of 7*n**3/6 + 7*n**2/2 - 2*n. Let o be q(-7). Let x = o + 95. Is x composite?
False
Is (-110)/5*(-1 - 0) a composite number?
True
Let y be (-1 + 0)/(1/(-5)). Suppose -4*s - 2*f + 37 = -3*f, y*s + 4*f = 41. Suppose 5*h + 4*n = 102, -2*h - s = 4*n - 45. Is h a prime number?
False
Let s(q) = 172*q**2 - 2*q + 1. Is s(2) a composite number?
True
Let a = 0 - 0. Let u be (a/3)/3 + 0. Is 2 - (-20 + (u - 0)) composite?
True
Suppose 0 = 2*n - 1325 - 455. Let w = -583 + n. Is w a composite number?
False
Suppose -2*t + 4431 = t. Is t prime?
False
Let c = -89 - -53. Let s = 17 - c. Is s a composite number?
False
Let h = -4 + 1. Let z be h*(-1 - 4/6). Let r(y) = 39*y - 4. Is r(z) composite?
False
Suppose 0 = -x - 2*x - 246. Let c = -5 - x. Is c prime?
False
Let c be (-4 - -11)*(1 + 0). Let j(d) = 12*d + 3. Is j(c) a prime number?
False
Suppose 2*t - 3*t + 1897 = 0. Is t composite?
True
Is (-2221*2/(-8))/((-4)/(-16)) prime?
True
Suppose 3*d + 80 = 2*i, -3*i + 2*d = 7*d - 101. Let x(a) = -a**2 - a + 3. Let l be x(0). Suppose f + 3*k = i, -f + 148 = l*f + 2*k. Is f a prime number?
True
Suppose 0 = -3*q - 0*q + 2*v - 16, -4*v = 5*q - 10. Is 9/3 - -34 - q prime?
False
Is 4/(1 - 5)*-103 composite?
False
Let y = -1 + 0. Let b = 1 - y. Suppose b*m + m = 147. Is m composite?
True
Let c(h) = 19*h**2 - h + 11. Is c(-6) a composite number?
False
Let j(m) = 9*m**3 + 3*m**2 + m - 1. Let p be j(-2). Let v = p - -114. Is v composite?
True
Suppose 0 = 3*i - 5*b - 1608, 0 = -i + 6*i - 4*b - 2693. Is i a composite number?
False
Let p(z) be the second derivative of -z**3/3 - z**2/2 - z. Let x = -3 - -1. Is p(x) prime?
True
Let r(a) = -17*a - 7. Is r(-10) composite?
False
Suppose -5*j - 662 = -4*s, -4*s + 3*j + 444 = -214. Is s a prime number?
True
Let v = -1305 + 2902. Is v a composite number?
False
Let p(g) = 7*g**2 + 4*g - 7. Let b be p(9). Suppose -n + 40 = 4*n. Suppose -b = -n*l + 4*l. Is l a prime number?
True
Let z = -52 - -125. Suppose 0 = 3*m - z + 1. Let c = 43 - m. Is c a prime number?
True
Suppose 2*h = 1006 - 244. Is h composite?
True
Suppose 0 = -u + 5. Suppose -3*w + 4*w = 36. Suppose u*p + g = 69, -4*g = 3*p - 2 - w. Is p composite?
True
Is (-1145)/(-10)*(-1 - -15) prime?
False
Let x(o) = 3*o**2 - 13*o - 10. Let i be x(12). Suppose 4*r - 50 = i. Is r a prime number?
True
Suppose -11*x + 5115 = -3542. Is x composite?
False
Let w(k) = 6*k**2 - 3*k - 4. Let x be w(3). Suppose t + 2*u - x = 102, -t - 4*u + 137 = 0. Is t a prime number?
True
Let r = 1016 - -149. Is r prime?
False
Suppose -3*s = -2*c - 2*s + 655, 0 = 2*s + 10. Suppose 5*m - c = -80. Is m prime?
False
Let t(h) = -11*h - 9. Is t(-5) a composite number?
True
Suppose -2*w - 12 = -0*w - 4*i, 4*w + 4 = 4*i. Suppose 8*c = w*c - 4. Let d = 54 - c. Is d a composite number?
True
Suppose 3*w - w - 370 = 0. Is w a composite number?
True
Suppose 5*p + 4*x = 9, -2 = -3*p - 3*x + 4. Suppose s + p = 10. Is 205/s + 6/27 composite?
False
Suppose 0 = 2*o - 2146 + 96. Suppose -5*c + o = -5*q - 0*q, 4*c - 816 = 3*q. Is c a prime number?
False
Let i(v) = 13*v - 84. Is i(31) composite?
True
Suppose 9915 = 5*o - n + 6*n, 3*o + 2*n - 5953 = 0. Is o a composite number?
False
Suppose 0 = 4*f + 3*o + 1 + 6, -3*o = 3*f + 6. Is f/(-3) - 200/(-3) a prime number?
True
Suppose 0 = -6*d + 331 + 1571. Is d a prime number?
True
Let n = 8 - 5. Let d(t) = 5*t**2 - 4*t. Let g be d(-3). Suppose 4*h + o - 2*o - 89 = 0, -n*o - g = -2*h. Is h composite?
True
Suppose -3*h - h = -28. Suppose 2*n = n. Suppose m - 2 = n, m = -f + 3*m + h. Is f a prime number?
True
Let m = 80 - 49. Suppose 5*a - m = -1. Is a a composite number?
True
Let