4 - 1). Let r(w) = 18*w**3 - w + 1. Let f be r(k). Let x = f - -274. Is x composite?
True
Let k(q) = 30*q**3 - 8*q**2 - 4*q + 1. Is k(4) composite?
False
Suppose -5*s = -2*q + 2, -5*s - 22 = 6*q - 3*q. Is 474/q*(-2)/3 prime?
True
Suppose 3407 = 6*h - h - 4*b, 5*h - 3413 = b. Is h prime?
True
Suppose 4*f = o + 3, -f - 4*o + 13 = -9. Let a(h) = h**3 + 7*h**2 + 2*h + 6. Let w be a(-6). Suppose 0 = f*m - 40 - w. Is m prime?
False
Suppose -3*f = -5*f + 8. Suppose 6*a - 3*a + 2*o - 272 = 0, 208 = 2*a - f*o. Is a a composite number?
True
Let b = 13 - 8. Let y(m) = -m**2 + 6*m - 2. Let x be y(b). Suppose 40 = x*n - 251. Is n a prime number?
True
Let o(m) = 3*m - 20. Is o(14) composite?
True
Let b(r) = -18*r**3 - r**2 - r - 1. Let z be b(-1). Let h = z - 42. Let q = h + 110. Is q prime?
False
Suppose 0 = 7*y - 396 - 73. Is y composite?
False
Let p(t) = -7*t**3 - 2*t**2 - 8. Let q(y) = -y**3 - y**2 - 1. Let h(a) = p(a) - 6*q(a). Let o be h(4). Is (o/(-6))/((-1)/(-159)) prime?
True
Let k = 628 + -335. Is k a prime number?
True
Let g = 8 + -4. Is 87 + 0 + g/2 prime?
True
Let u(n) = 5*n**2 - 2*n + 3. Is u(2) composite?
False
Let n(t) be the second derivative of t**7/70 - t**6/720 - t**4/12 - t. Let m(w) be the third derivative of n(w). Is m(-1) a composite number?
False
Let c = 3 - 0. Suppose l + 2*x - 30 = 0, c*l - 36 = l + 4*x. Is 46/(-2 - l/(-11)) prime?
False
Let a(f) = f**2 + 1. Let i(s) = -s**3 + s**2 - s - 4. Let k(p) = -2*a(p) - i(p). Let x be k(3). Suppose -v + 79 = x*b, -4*v + 2*b - b + 316 = 0. Is v composite?
False
Suppose 0 = a - 7 - 18. Let v = 40 - a. Is v prime?
False
Suppose -5*l + 1904 - 449 = 0. Is l a prime number?
False
Suppose -2*u - u = -627. Let n be 8/36 + 2596/(-18). Let v = u + n. Is v composite?
True
Suppose p = -3*j + 16, 3*p - 4*j + 0 = -4. Suppose 21 = -o - 5*z, -z - 2*z - 33 = p*o. Is (-885)/o - (-3)/2 prime?
True
Suppose -12 = -m - 2*m. Let y be 39/(m - (-6)/(-2)). Let p = y + 10. Is p prime?
False
Suppose -2*w - x = w - 12, 2*w + 2*x = 4. Suppose 164 = -w*p + 609. Is p prime?
True
Let q(b) be the second derivative of 37*b**3/3 + b**2/2 + 17*b. Suppose -15 = -3*z, 3*t - 26 = z - 5*z. Is q(t) a prime number?
True
Is 252 - ((-4 - -2) + 5/1) a composite number?
True
Suppose -3*v = -4*w + 35, 5*w - 3*w - 2*v = 18. Let j be w/(-36) - (-129)/(-27). Let r(g) = g**2 - g + 3. Is r(j) composite?
True
Let i(j) = 2*j**2 - 1. Let n(b) = b**3 + 6*b**2 + 8*b + 7. Let a be n(-5). Is i(a) composite?
False
Suppose 2 = k + 4. Suppose -2*v + 5 = 17. Is ((-47)/k)/((-3)/v) a prime number?
True
Suppose -p + 3*c + 5 = -0*p, 8 = 5*p + 2*c. Is p/(-10) - 312/(-10) composite?
False
Suppose 0 = -n - 3*k + 5*k + 2, 5*n - 3 = 3*k. Suppose z = -3*s + 2 + 11, n = -s - 4. Is z a composite number?
True
Suppose -f + 2 = 0, 5*f = -5*s + 3*f - 11. Is s*340/(-12) - 2 composite?
False
Let k = 5 + -7. Is 3/k*44/(-6) composite?
False
Suppose 1659 - 280 = c. Is c composite?
True
Suppose -2373 = 4*i - 11*i. Is i composite?
True
Let d(s) = -s**3 - 2*s**2 + 7*s - 7. Let o = -23 - -14. Is d(o) prime?
False
Suppose -q - 1531 - 412 = -2*m, -5*m + 4895 = 5*q. Is m composite?
True
Let z = 878 + -485. Is z prime?
False
Let y = 4 - 2. Let q(c) = 7*c**2 - 7*c. Let n be q(6). Suppose -p - y*p - n = -4*r, 2*p = -3*r + 149. Is r composite?
True
Suppose 0*w + 2*w - 6 = 0. Is 2516/6 + w/(-9) a composite number?
False
Let y = 4 + -5. Let m be (80 - (-1 + y)) + 0. Suppose -3*f + 2*t = -53, m - 32 = 2*f - 5*t. Is f prime?
False
Is (2 + -1)/(1/347) a composite number?
False
Let v be 2418/(-15) + 1/5. Let q = v + 238. Is q composite?
True
Suppose -4*j - 5*b = -0*j - 307, -j + 4*b = -103. Suppose 0 = -0*z + z - j. Is z a prime number?
True
Let c be (3/(-6))/(1/6). Let f = c + 5. Suppose 10 + 56 = f*u. Is u composite?
True
Let v(f) = -1 + 11*f + 4*f**2 + 3 - 4. Is v(-9) composite?
False
Let b(h) = -14*h + 7. Let m be (-2 - (-3 - -3)) + 2. Suppose y + 5 + m = 0. Is b(y) composite?
True
Suppose -2 = -2*v, 0*s - 3*v = 3*s - 150. Suppose 469 = 2*h - s. Is h a composite number?
True
Let m be 4/6 + 6/(-9). Let n = -4 + 6. Let v = n + m. Is v prime?
True
Is (3 + (-12)/3)/(3/(-753)) a composite number?
False
Let k be 4 - (-1)/((-2)/2). Suppose -k*t = -t - 22. Is t composite?
False
Let m = -26 - -44. Suppose 4*r - 26 = m. Is r prime?
True
Let g(i) = -11*i**2 + 6*i + 8. Let t be g(-6). Let u = -167 - t. Is u a composite number?
False
Let h be -1 + 1 + 850 - 0. Let s = h - 169. Is s composite?
True
Let b(j) = 9*j**3 - 2*j**2 + j - 4. Let v be b(3). Let a = 477 - v. Suppose -3*l = 4*r - a, -63 = -l - 0*r + 4*r. Is l a prime number?
True
Let h(i) = 45*i**2 - i - 1. Is h(-3) a prime number?
False
Suppose -2*q - 4*m + 684 + 142 = 0, 3*m = 4*q - 1685. Is q prime?
True
Suppose -8*h + 14*h - 36138 = 0. Is h prime?
False
Suppose 3*k = -2*i + 102, 0 = k + 2*k + 5*i - 93. Suppose 3*x - 5*m = -4, -2*x - 3*m = x - k. Is x prime?
True
Let h be (153/(-6))/(6/36). Let o = 244 + h. Is o a composite number?
True
Let i = -2 + 0. Let l be (-1)/i*8/4. Let k = 8 + l. Is k composite?
True
Suppose -2*c = -3*c + 4201. Is c prime?
True
Suppose p = 3*o + 18 - 1277, p = 4*o - 1678. Is o a composite number?
False
Let b = 884 - 191. Suppose 0 = -3*k - 78 + b. Is k composite?
True
Let m(l) = -5*l + 161. Let z(p) = -2*p + 80. Let v(y) = -3*m(y) + 7*z(y). Is v(0) a prime number?
False
Suppose -2605 = -5*i - 0*i. Is i a composite number?
False
Suppose -2*p = j - 257, -782 = -3*j + p + 4*p. Is j composite?
True
Suppose -1285 = -5*s - 5*q, 5*s + 4*q = 5*q + 1297. Is s composite?
True
Let m = 361 + -252. Let i = 48 + m. Is i prime?
True
Suppose 3*j = -3 + 9. Suppose m - 582 = -j*m. Is m a prime number?
False
Suppose n + 3*d = 3*n - 388, 5*n + d = 953. Is n a composite number?
False
Let j(w) = -w**3 - w + 1. Let l be 4/6*(-9)/(-6). Let p be j(l). Let f(b) = -54*b + 1. Is f(p) a prime number?
False
Suppose -z + 1830 = 5*d, -4*z + 308 = d - 77. Is d prime?
False
Let q(z) = z**3 + 4*z**2 + z. Let u be q(-4). Let k = u + 5. Is (-338)/2*(k + -2) composite?
True
Let u(w) = -10*w**3 + 7*w**2 + 7*w + 6. Let j be u(-4). Let i = j + -328. Is (2/(-3))/((-4)/i) a composite number?
False
Let z = -1228 + 492. Let p = -1245 - z. Let s = -360 - p. Is s a prime number?
True
Let w = 193 - 82. Is w a prime number?
False
Suppose 4*s - 447 = s. Is s composite?
False
Suppose w = -2*w + 6. Suppose -w*t + 107 = -83. Is t a composite number?
True
Let p(u) = u**3 + 5*u**2 + u - 5. Let d = -23 - -36. Suppose -d + 33 = -5*q. Is p(q) prime?
True
Let a = -456 - -1351. Is a composite?
True
Let y be 18 + (9/3)/(-3). Let c = y + -12. Suppose 203 = c*w - 62. Is w a composite number?
False
Is 1 + 1 + (-141)/(-1) composite?
True
Is (-4730)/(-18) + 28/126 a prime number?
True
Suppose -2*i - 17 = -5. Is (98/i)/(3/(-9)) a prime number?
False
Let y(k) = -k - 4. Let m be y(-6). Is (m/2)/(3/114) composite?
True
Suppose 93 - 595 = -2*x. Let u = -425 + x. Is (-2 + u/(-8))*4 a composite number?
False
Let j = 295 - 133. Suppose 4*h - j = 122. Is h composite?
False
Let v(h) = -h**2 + 5*h - 3. Let k be v(3). Is k - (111/(-3) + 2) a composite number?
True
Let b be 7*102 + 0 + 0. Suppose 5*p = 3*p + b. Suppose 7*z - 4*z - p = 0. Is z composite?
True
Let o(z) = 2*z**2 - 5*z + 2. Let q be o(3). Suppose 3*k - 508 = -2*c - 0*c, 3*c + q*k - 762 = 0. Is c a composite number?
True
Suppose 3*g + 5*a - 16 = 0, -2*g + a = -3*a + 26. Let j be (8/3)/((-2)/g). Suppose -j - 11 = -5*s. Is s composite?
False
Let v be 0/(((-2)/1)/2). Suppose 3*y + s - 3*s = 103, -s + 4 = v. Is y a composite number?
False
Suppose 7*n = -12834 - 4687. Let l = -1616 - n. Is l prime?
True
Suppose -415 = 5*x - 6*x. Suppose 0 = -t + 6*t - x. Is t prime?
True
Suppose 3 = -u - 1. Let k(s) be the first derivative of -5*s**2/2 - s + 1. Is k(u) a prime number?
True
Suppose 0 = 5*k + 2*j - 32249, -k + 2*j + 1680 = -4765. Is k a composite number?
False
Is 1974/(-12)*-1*2 composite?
True
Let s = -2 - -4. Suppose 0 = 2*z + s. Is z/(-2)*(94 - 0) a prime number?
True
Let k be 6/(-33) + (-163)/11. Let b = -5 - k. Suppose b = 2*m - 28. Is m a prime number?
True
Let n(i) = -i**3 - 6*i**2 + 7*i + 1. Let q be n(-7). Suppose 3*p = -2 - q. Let g = p + 23. Is g composite?
True
Let t be 8*(10/4 + -2). Let l be -2 - (2 - 3)*t. Suppose -l*p