s p composite?
True
Let h(o) = -o**2 + 33*o - 9. Is h(13) composite?
False
Let t(q) = -3*q**2 - 2. Let j(i) = i**2 + i + 1. Let f(c) = 5*j(c) + t(c). Is f(-8) prime?
False
Let r(k) = -3*k**3 - 10*k**2 - 7*k + 11. Let j(q) = -q**3 - q. Let s(i) = 2*j(i) - r(i). Let m(n) = -2*n - 8. Let x be m(0). Is s(x) composite?
True
Let b(o) = o**2 + 6*o + 7. Let j be b(-5). Suppose 3*z - 431 + 104 = 3*c, j*c - 573 = -5*z. Is z prime?
True
Let t = 1 + -1. Suppose t*s + 4 = s. Suppose 5*v - 254 = -3*i, -3*v + 2*i - 55 = -s*v. Is v prime?
False
Let d(k) = 3*k**2 - k. Let v be d(1). Suppose 0 = 2*l - 3*a - 33, -l - v*a + 20 = 7. Suppose l = -4*y + 219. Is y a prime number?
False
Suppose -v = -2*f - 9 - 1, 3*v - 21 = 3*f. Let o(d) = -d**2 - d + 10. Let z be o(0). Let m = f + z. Is m prime?
True
Let f(o) = 191*o**2 + o - 1. Let y = 18 - 17. Is f(y) a composite number?
False
Suppose u - 2*u + 1 = 0, -3*u + 3 = 5*j. Suppose k + 3*f - 30 - 15 = j, 2*f = -8. Is k a prime number?
False
Let v = 0 - -1. Let z be (-1 - (v - 3)) + -2. Is 9 - (-1 - z/1) a composite number?
True
Let g = 82 - 36. Let y(q) = -q + 2. Let o be y(4). Is -2*(g/(-4) - o) a prime number?
True
Let n(s) = s**3 - 13*s**2 + s - 16. Let q be n(13). Is 83*(-1)/(q + 2) a prime number?
True
Let n = -185 - -271. Is n composite?
True
Let i(h) = -h**3 - 2*h**2 + 18*h + 14. Is i(-9) prime?
True
Suppose 25 = 4*u + u + 5*i, -2*u - i = -5. Suppose -5*t + 85 - 10 = u. Is t composite?
True
Let h(y) = -85*y + 18. Is h(-11) a composite number?
False
Suppose 2*l = k + k - 318, -3*k = -4*l - 481. Let m = k + -223. Let s = -22 - m. Is s a prime number?
False
Let b = 1138 + -551. Is b a prime number?
True
Suppose -2*l - l + 9 = 3*x, 2*l - 14 = -4*x. Is -1 + 3 - (-860)/x prime?
False
Suppose 0 = 3*k + 2*j - 62, -92 = -4*k - 3*j - 10. Is k a composite number?
True
Let q(x) = -x**2 + 10*x + 11. Let y be q(11). Suppose y = 8*v - 4*v - 444. Is v a prime number?
False
Suppose 221 = 6*l + 23. Is l a composite number?
True
Suppose -2*t + 216 = 5*q, -30 = 5*t - 2*q - 570. Let l be (-1)/(2 + -3) + 2. Suppose 3*n - 3*v - t + 27 = 0, l*v = -5*n + 103. Is n a composite number?
False
Let k(u) = -12*u + 1. Let j(g) = -3*g**2. Let o be j(-1). Is k(o) prime?
True
Suppose 0 = 3*a - 12*a + 2034. Is a prime?
False
Let a = -16 - -2. Is (4/6)/(a/(-483)) composite?
False
Suppose -3*l + 4*g + 617 = 0, -1047 = -0*l - 5*l + 2*g. Let m = l + -126. Is m composite?
True
Let a be -3 - -1*(122 + 0). Suppose -10*v + a = -9*v. Is v prime?
False
Let n(c) = 5*c**2 + c - 1. Let k be 2/(-3)*45/6. Let p = k + -4. Is n(p) a prime number?
False
Suppose 19*y + 8973 = 22*y. Is y a composite number?
True
Let n = 32 + -18. Let p = n + -8. Is 2/p + (-16)/(-6) a prime number?
True
Suppose 38810 = 13*a - 9173. Is a a prime number?
True
Suppose 3 = 3*n + 9. Let y(d) = 20*d**2 + 2*d + 1. Is y(n) a prime number?
False
Suppose 0 = b - 3*y + 26, b + 4*b = 5*y - 120. Let z be (-4)/22 + 168/(-44). Let r = z - b. Is r composite?
False
Let a(b) = -b - 4. Suppose 16 = i - 3*i - 2*t, -5*t = -3*i. Let s be a(i). Is (-1)/s + (-4 - -14) a prime number?
False
Let c = 651 - 446. Is c a composite number?
True
Let h be 3 + (116 - (-4 - -1)). Let n = h - 57. Is n a composite number?
True
Suppose 4*i = -4*o + 84, 36 - 171 = -5*i + o. Suppose -i = -2*p + p. Is p a composite number?
True
Let b(t) = -t**2 - 4*t - 4. Let g be b(-4). Suppose 0*f - 10 = -f. Let z = g + f. Is z prime?
False
Suppose 16*b - 11*b - 1235 = 0. Is b a prime number?
False
Let f be 17/3 + 1/3. Let g be ((-146)/f)/((-2)/(-6)). Let k = 132 + g. Is k a composite number?
False
Is ((-12)/(-3))/12*1329 a prime number?
True
Let p(r) = -r**2 + 17*r + 9. Is p(10) a composite number?
False
Suppose -2*j - 3*j = -3*x + 5, 2*x = -2*j - 18. Is (-160)/(-1) + x/5 a composite number?
True
Let n = -92 - -279. Is n prime?
False
Suppose 4*y - 4844 = -0*y. Is y a composite number?
True
Let p(n) = n**2 - n + 8. Let m be p(-6). Suppose -2*w + m = -48. Is w a composite number?
True
Is (-12144)/(-32)*(-1)/6*-4 composite?
True
Let x = 10 + -10. Suppose 3*q + 2*q + 3*z = 65, x = -2*q + 2*z + 10. Is q a composite number?
True
Let c(x) = 9*x**3 + 5*x**2 - 4*x - 1. Is c(6) a composite number?
False
Suppose 2*x - 7 - 1 = 0. Suppose 3*j - 391 = -u, u + x*u = -10. Is j a prime number?
True
Let o(b) = -2*b**3 + 3*b**3 + b + 49 - b**2 + 2*b**2. Let w be o(0). Suppose 2*s - i = 27, -4*s + w = 2*i + i. Is s a prime number?
True
Let v = 1682 - 897. Is v a prime number?
False
Let l be (-6)/(-2) - (1 + 635). Is (-3)/9*1*l a prime number?
True
Let q = 3513 + -2334. Suppose -5*i + m = 330 - 1806, -q = -4*i - m. Is i a composite number?
True
Let v(s) = 127*s - 7. Let b be v(7). Suppose 0 = 3*m - 5*m - 6, 3*j = m + b. Is j a prime number?
True
Suppose -2*g = 4*f - 116, -5*g - 3*f + 227 = -g. Suppose -4*a + 4 = -g. Suppose 0 = b - 4 - a. Is b a composite number?
False
Let a(t) = -t + 2. Let q be a(-5). Suppose 0*h + h - q = 0. Is h prime?
True
Is (-997 + 4/(-4))*2/(-4) prime?
True
Let m(d) = 7*d**2 - d - 3. Let g be m(3). Is 5 + g - 3*1 composite?
False
Suppose 2*t + t = -m - 4, -m + 2*t + 11 = 0. Let v(h) be the third derivative of -h**6/120 + 2*h**5/15 - h**4/6 - h**2. Is v(m) a prime number?
False
Let f = 1572 + -211. Is f prime?
True
Let r = 12 - 8. Let l(f) = -f + 9. Let c be l(r). Suppose -4*d + 584 = -x + 57, -650 = -c*d + 3*x. Is d composite?
True
Is 3257 + ((-16)/(-20))/((-3)/(-15)) a prime number?
False
Suppose -q + 3 = -2. Let b be (q/(-3))/(1/(-3)). Suppose 376 + 549 = b*l. Is l a composite number?
True
Let i be (2 - (6 + 1))/(-1). Let v = 43 - i. Is v prime?
False
Let p(o) = -o**3 - 8*o**2 - o - 11. Let f be p(-8). Let r(c) = -19*c**3 + 2*c**2 - c. Let i be r(1). Is (f/9)/(2/i) composite?
False
Let h(n) be the second derivative of n**4/6 - n**3/2 + n**2/2 - 2*n. Is h(2) prime?
True
Let d(m) = 252*m**2 + 1. Let b(j) = j + 6. Let n be b(-7). Is d(n) composite?
True
Let j(n) = -6*n**3 + n**2 + 8*n - 3. Let d(f) = -11*f**3 + 2*f**2 + 17*f - 6. Let l(i) = 4*d(i) - 9*j(i). Is l(2) composite?
False
Let u(k) = 6*k**2 + 8*k + 2. Let a be u(-7). Suppose 2*j - 104 = -g, 21 = 5*j + 2*g - a. Is j a composite number?
False
Suppose -9481 = -9*i - 1048. Is i composite?
False
Let u(x) = -17*x**2 + x + 2. Let k(f) = f**2 + f + 1. Let n(z) = 3*k(z) - u(z). Let w(i) = i - 3. Let q be w(2). Is n(q) a composite number?
False
Let i = 0 + 4. Suppose 5*y + 8 = -2*d, -5*y - i - 2 = 4*d. Let f = 12 + d. Is f prime?
True
Suppose -4*c - 2*b - 8 = 0, 5 = 2*b + 13. Suppose -3*m = j - 9, 2*m - 4*j = -c - 8. Is m - ((-54)/3 + 1) a composite number?
False
Suppose 0 = -5*s + 6 - 1. Let k be 2/(-2)*-1 + s. Suppose -k*i + 39 = -3. Is i a prime number?
False
Let g = 10 - 7. Suppose -q + 26 = b, -q + 2 + g = 0. Is b prime?
False
Let c = -138 + 295. Is c prime?
True
Suppose 6 = 5*q - 4. Suppose -7*a = -p - 2*a + 1, -q*p = -2*a - 10. Let z(n) = -n**3 + 8*n**2 - 5. Is z(p) a composite number?
False
Is ((-1)/2)/(6/(-2004)) prime?
True
Let s = 198 + 413. Is s a composite number?
True
Let c(p) = 10*p - 1. Let w be c(2). Suppose 3*b + w - 4 = 0. Let g = 14 - b. Is g prime?
True
Suppose -3*q + z + 111 = 0, -4*z - 58 = -2*q + 26. Let x be q/8*(-124)/(-6). Let b = x - 56. Is b prime?
True
Suppose 5*t + 7 = 4*k, 0 = 4*k - 0*t + 2*t - 14. Let z(g) = -g - 10. Let j be z(-10). Suppose -5*p + 4*a + 67 = j, -p + a - k*a = -19. Is p prime?
False
Let a = 5962 - 3605. Is a prime?
True
Let o = 13 + -20. Let j be (-1)/(o/(-4) + -2). Suppose j*u - 5*u + 53 = 0. Is u composite?
False
Let g be 8/(-2) - 4/(-1). Suppose -2*d + 856 + 1242 = g. Is d prime?
True
Let i(c) = 25*c**2 + 6. Is i(-5) a composite number?
False
Let y be -1 - 37*2/(-2). Suppose -33 = 4*f + 23. Let r = f + y. Is r composite?
True
Is (-1 - (2 + -2))*-139 a prime number?
True
Let o = 5 - 3. Suppose -q - 18 = o*q. Is (3 + -1)*(-141)/q a prime number?
True
Suppose 7890 = 7*x + 3*x. Is x prime?
False
Suppose -2*y = -6*y + 16. Suppose -y*g - 12 = 0, -c + g + 22 = -12. Is c prime?
True
Let s(p) = -10*p**2 + 5*p + 1. Let u be s(-5). Let t = -117 - u. Is t a prime number?
True
Let l = -51 + 161. Suppose -3*r + l + 157 = 0. Is r prime?
True
Suppose 10 = -z + 3*z. Suppose -z*x + 51 + 14 = 0. Is x a prime number?
True
Suppose -9*m + 530 = -7*m. Is 