ite number?
True
Let b(a) = 73*a + 3. Let z be b(4). Let o = z + -168. Is o composite?
False
Suppose -2*r - h = -6*h + 4, 0 = -3*r + 5*h - 11. Let x(o) = o**2 - 5*o + 1. Is x(r) composite?
True
Let i(a) = 2*a**2 + 4*a + 3. Let o = -1 - 2. Let k be i(o). Let j = k + 4. Is j composite?
False
Suppose 3*c - 4 = 2*l, c + 3*c + 2*l = -18. Is (391/c)/(3/(-6)) prime?
False
Let j(r) = 7*r**2 + 0 + 4*r - 3*r - r**3 - 3. Let y = 7 + -3. Is j(y) composite?
True
Suppose -243 = -2*j + 257. Let b = -87 + j. Is b composite?
False
Let j(l) = l**3 + 10*l**2 + 2. Let b be j(-10). Suppose -4*v + 526 = b. Is v a prime number?
True
Let h(w) = 34*w - 11. Let t be h(8). Suppose 2*b - 211 = -2*b + 5*d, 5*d = -4*b + t. Is b composite?
False
Let v = 68 + 15. Is v composite?
False
Suppose 5*g = -415 + 1320. Is g composite?
False
Suppose -3*z = -c - 2208, 0 = z - 2*z - 5*c + 752. Is z composite?
True
Let l = 1944 - 1368. Let a = -365 + l. Is a prime?
True
Suppose -356 = -i + 3*l - 6*l, 5*i - 2*l - 1763 = 0. Is i a composite number?
False
Suppose -g - 1588 = -5*g. Is g a prime number?
True
Let n = 6 + -2. Let r be n*15/24*2. Suppose -r*x - 543 = -2*v, 4*v + 4*x = 5*v - 279. Is v a composite number?
True
Let j be ((-6)/15)/(2/(-60)). Suppose 5*b - y = -25 + 264, -3*y = j. Is b a prime number?
True
Let h be (-3)/6*(-12 + 0). Let x = 2 + h. Let u = x - 5. Is u prime?
True
Let g(p) = 9 + 8*p + 3 - p**2 + 0. Let y be g(9). Suppose -2*f = -y*f + 13. Is f prime?
True
Let z be 34/8 - (-2)/(-8). Suppose 4*q = -z, 2*q - 626 = -2*o - 2*o. Is o a composite number?
False
Suppose 0 = -w - 4*w. Suppose -2*z + 302 = -w*q - 4*q, -3*q + 582 = 4*z. Suppose 2*x + 2*x + 5*r = z, r - 3 = 0. Is x a prime number?
False
Let a(i) = i**3 - 3*i**2 - i - 2. Let f be a(3). Let v = f + 19. Is v prime?
False
Let i(f) = -f**3 + f**2 + 6*f + 2. Let z be i(-9). Suppose 2*r - z = -0*r. Is r prime?
True
Suppose -3*u + 21 = -4*r, u + 0*r - 3*r = 12. Suppose 123 = u*f - 666. Is f composite?
False
Let t = 4 - 1. Suppose 0 = t*r, 4*z + 8 = 6*z + 3*r. Is z a prime number?
False
Suppose 0 = q - 6*q. Suppose -2*x + 2*n + 0*n + 148 = q, -5*x = 2*n - 391. Is x a prime number?
False
Let l = 18 - 85. Suppose -4*o + 202 = -286. Let r = l + o. Is r prime?
False
Suppose 5*r - 2*u = -6 - 52, 3*r = -5*u - 41. Let i = r + 139. Is i a composite number?
False
Let x(z) = -z**2 - 7*z - 7. Let h be x(-6). Let r = 2 + -3. Is ((r - h) + -1)*-157 prime?
True
Let q = -367 + 846. Is q composite?
False
Let k(i) = 92*i**2 - i - 1. Let c be k(-1). Let d = c - -69. Is d prime?
False
Let s(p) = -8*p**3 + 3*p**2 + 10*p + 1. Is s(-4) prime?
True
Let f = -18 - -10. Let x be 27/(-12) - 2/f. Is 23 + x/(-2) + 1 a composite number?
True
Let j(a) = 22*a + 5. Is j(9) prime?
False
Let a be 16/6 - (-2)/(-3). Is a*((-62)/(-4) - 0) composite?
False
Suppose -l = 9*l - 1290. Is l a composite number?
True
Suppose 2*z = 6*z, -2*u + 5*z = 12. Let c = 0 - u. Is c a prime number?
False
Let p(c) = c**2 + c - 3. Let w be p(-3). Suppose -3 - w = -2*d. Suppose 5*b - 159 = -5*f - 49, -5*f + 68 = d*b. Is b a prime number?
False
Suppose 0 = 2*f + 4*o + 272, -4*f - 4*o + 2*o - 556 = 0. Let t = f - -211. Is t composite?
False
Let q(m) = 11*m**2 - 1. Let i be q(-1). Let t = i + 9. Suppose t = z + 4. Is z composite?
True
Let l(s) = -s - 6. Let m be l(-9). Suppose 3*h = -4 - 11, m*i = -h - 5. Suppose -5*p = 5*c - 10*p - 315, i = -4*c - 3*p + 280. Is c prime?
True
Suppose 3*q + 6*b - 2*b - 26 = 0, 0 = 3*q - b - 1. Suppose 4*r - 9 = -c, 0*c + 3*c = q*r + 83. Is c composite?
True
Suppose -l - 2 = 7. Is (0 - -11)/(l/(-27)) a prime number?
False
Is 1 + 3/(-3) + 139 composite?
False
Let j(b) = -42*b - 4. Let q be j(-6). Let l = q - 146. Suppose -s + l = 2*s. Is s a composite number?
True
Let s(k) = -11*k + 5*k - k - 3. Is s(-6) composite?
True
Let c(j) = 70*j**2 + 6*j. Let p be c(-5). Suppose 3*x = -0*x + v + p, 0 = -v - 1. Is x a composite number?
True
Is 14787/5 + 4/(-10) a composite number?
False
Let z = -3143 - -4654. Is z prime?
True
Let d be 653 + ((-2)/(-1) - -1). Let w = 1029 - d. Is w a composite number?
False
Suppose s - 20 = -4*s. Suppose -j - 5*b = -342, -4*j + 0*b = -s*b - 1248. Is j a prime number?
True
Let d(o) = 2*o**2 - 5*o + 2. Let l be d(3). Suppose l*c - 44 = -n, 5*n - 289 = c - 3*c. Is n composite?
False
Let b(z) be the third derivative of z**4/12 - z**3 - 3*z**2. Is b(5) prime?
False
Suppose -9*c + 8*c = -89. Is c prime?
True
Let w(q) = -q**3 + 18*q**2 - 19*q + 4. Let t be w(13). Let d = t + -391. Is d a prime number?
True
Let z = -490 - -779. Suppose 832 = 3*b + z. Is b composite?
False
Let c(i) = -5*i**3 - i**2 - i + 1. Suppose -3*l = 2*t + 7, -5*l - 5*t = -2*l + 22. Let k be c(l). Let r = k - -12. Is r composite?
True
Is 8/48 + 274/12 a composite number?
False
Suppose 5*i - 7 - 18 = 0. Let d = -2 + i. Suppose -5*t = d*v - 453 + 116, -2*v + 2*t = -246. Is v a prime number?
False
Let z = -1322 - -860. Let f = z + 749. Is f a composite number?
True
Let w = -11 - -10. Is 81 - 1 - w/(-1) prime?
True
Let j(y) = 2*y**2 - 21*y + 17. Is j(14) a composite number?
True
Let h = 10 - 7. Suppose -34 = -h*d + 2*d. Is d prime?
False
Let p be 1/(-2) - (-234)/4. Let j = p + -35. Is j composite?
False
Let i be 0*4/4 + -3. Is ((-381)/2)/(i/2) composite?
False
Let v be (-35)/(-10) + (-1)/2. Suppose 3*f + 53 = 7*f - 3*p, 4*p = v*f - 45. Is f a composite number?
False
Suppose 7 - 64 = -3*s. Suppose -3*h + s = -176. Is h composite?
True
Let p = 18 + -16. Is ((-848)/24)/(p/(-3)) a composite number?
False
Let u(y) = 16*y - 9. Let k be u(13). Let x = k + -42. Is x a composite number?
False
Let t = -5 - -17. Let o = 22 + t. Is o composite?
True
Let l(z) = 2*z**3 + 2*z**2 - z + 2. Let n be l(-2). Let x = -4 - n. Suppose x = -j + 25 + 64. Is j a composite number?
False
Suppose -4*t + t + 6 = 0. Is (5 - 18)*(-10)/t prime?
False
Suppose -3*f - z + 9 = 0, 0*f + 5*z = -5*f + 5. Let w be 2 + f*3/6. Suppose 0*o + o + 9 = -5*m, w = -m. Is o prime?
True
Let d = 76 - 4. Let s = d - 26. Is s prime?
False
Let z(c) = 27*c**2 - 2*c - 6. Let p be z(3). Suppose 5*s - 434 - p = 0. Is s a composite number?
True
Let s(r) = 14*r**3 - 7*r**2 + 5*r - 4. Is s(6) composite?
True
Let p = 1342 - 769. Is p a composite number?
True
Let x(t) = t**3 + 5*t**2 - 5*t + 6. Let d be x(-6). Suppose -12 = -4*o - d*o. Suppose -4*i + o*w + 88 = 0, -5*i - 2*w = -w - 110. Is i prime?
False
Let i be 814 + 2/(-4)*6. Is i/4 + 7/28 prime?
False
Suppose -18*w + 21*w = 1947. Is w prime?
False
Suppose c = -0 + 4. Suppose -95 = -c*a + 9. Is a a prime number?
False
Let a be ((-2)/5)/(2/10). Let f be -40*(12/(-5) - a). Let w = 83 - f. Is w a composite number?
False
Suppose 2 = 2*g - 4. Suppose l + g*l + 144 = 0. Is l/(-3) - (1 - 0) prime?
True
Let t(q) be the first derivative of -q**4/2 - q**3/3 - 3*q**2/2 - q - 2. Let a be (-4)/18 + (-150)/54. Is t(a) a composite number?
False
Suppose -5*c + 3*c = -644. Let x = c + -203. Is x composite?
True
Let m(a) be the third derivative of -a**6/120 + a**5/12 + 7*a**4/24 + a**3/2 + 2*a**2. Let x(d) = d**3 + 4*d**2 - 2*d - 2. Let z be x(-4). Is m(z) composite?
True
Suppose -431 = 12*r - 13*r. Is r prime?
True
Let m(a) = -a**3 + 8*a**2 - 5*a - 4. Let p be m(7). Suppose 0*u - 2*l = u - p, -5*l + 20 = 2*u. Is u prime?
False
Suppose -3*a + 1044 = 3*a. Is a*((-4)/(-12) - 0) composite?
True
Suppose -2*a = 4*f - 1106, 4*a + f = -0*f + 2184. Is a composite?
True
Let t = -103 - -192. Is t composite?
False
Let g(y) = 26*y + 1. Is g(3) composite?
False
Suppose 4*k - 57 = 247. Let q = k - 53. Is q composite?
False
Let u = -62 - -66. Suppose 5*k - 7 - 3 = 0. Suppose k*p - 2*d = 2*d + 258, u*p - 4*d = 512. Is p prime?
True
Suppose 4*n - 4*x = 5*n - 2021, -4*x = -5*n + 10153. Is n composite?
False
Let h(o) = -15*o + 37. Is h(-6) composite?
False
Suppose -h - 307 = -2*h. Is h prime?
True
Let j be ((-27)/3)/(-3) - -317. Suppose -j + 1193 = p. Suppose 397 + 249 = 3*q - 5*o, 4*q = -5*o + p. Is q a composite number?
True
Let n be (1 + -2 - -2)*0. Suppose 6*b - b - 35 = n. Is b prime?
True
Suppose -2*u + 866 = 5*r + 261, 5*u + 394 = 3*r. Is r a prime number?
False
Let r = 11 - 2. Is ((-942)/r)/((-4)/6) prime?
True
Let t be 2/(-4) + (-276)/(-8). Suppose -3*a = -35 - t. Is a a prime number?
True
Let y(m) = -m**3