omposite number?
True
Let q(c) = -c**3 + 3*c**2 + 4. Let h be q(3). Suppose -h*n - 944 = -4*a, 4*a + 2*n - 254 = 672. Is a prime?
True
Let a(x) = -91*x - 10. Let t be a(-7). Let z = -334 + t. Is z a prime number?
True
Is 16 - -2 - 4/(-1) a prime number?
False
Suppose 0*z + x = -2*z + 599, 2*x + 1194 = 4*z. Is z a composite number?
True
Let w(h) = 3*h**2 + 5*h + 2. Let x be w(-4). Let j = -5 + 6. Is x + (j - -1) + 1 composite?
True
Let b be 1 + (3 - 2) + 1. Let f(s) = s - s**b - 2*s**2 + 58*s**3 + 2*s**2. Is f(1) prime?
False
Suppose 3*y + 4*k = 1 + 12, 0 = 3*y + 5*k - 14. Suppose y*u - 2*u = 85. Is u a prime number?
False
Suppose -5*d - 35 = -5. Let b(v) = 5*v**2 + 6*v - 6. Let r be b(d). Is 10/2*r/10 a prime number?
False
Suppose 5*z - 347 = 668. Is z composite?
True
Suppose 0 = n - 3*k - 63, -2*n + 126 = -2*k - 3*k. Suppose 3*j - 4*g = 24, -g = -4*j - 6*g + n. Is 2*-2*(-237)/j composite?
False
Let j(n) = 1392*n + 5. Is j(1) composite?
True
Let d(o) = -o + 6. Let q be d(5). Let c be 3 + 0 - 2 - q. Suppose 3*y - 65 = -4*v, -3*v = -c + 3. Is y a prime number?
True
Let a(k) = -k**3 - 3*k**2 - 3*k. Let n be ((-4)/12)/((-1)/(-6)). Let h be a(n). Suppose 0 = y - 5*g - 171, -y - y - h*g = -390. Is y composite?
False
Let h = -7 - -18. Is (h - 13)*586/(-4) a prime number?
True
Let t be 2/(-4) + 3/(-2). Let a = 1 - t. Is a*(219/9 - 2) composite?
False
Let d(y) = -y**3 - 6*y**2 + 7*y + 8. Let n be d(-7). Suppose 0 = -n*i + 6*i + 14. Is i prime?
True
Suppose 34 - 14 = 5*b, -2*u - 42 = -3*b. Let r = u + -44. Let l = r - -138. Is l a prime number?
True
Let m(b) = -3*b**2 + 4*b**2 + 6 - 2 - 2*b - 2. Is m(6) a prime number?
False
Suppose -3*r - 4*o = -7, -4*r + o = -o - 24. Suppose -4*b = -r*b + 224. Suppose 191 = 5*t - b. Is t prime?
True
Suppose -4*i + 8 = 0, 3*d - i - 77 = 338. Is d composite?
False
Suppose -3*t + 238 = 4*j, -4*j - t + 234 = 4*t. Suppose -j - 94 = -5*u. Is u prime?
True
Let o(q) = 6*q + 1. Suppose -4*s + 3 = 7. Let g be ((-15)/6 - s)*-2. Is o(g) composite?
False
Suppose -312 = -3*d - 2*h + 479, -4*d - 4*h + 1048 = 0. Suppose 0 = 6*s - 43 - 89. Suppose 5*r + 2*t = d, -273 = -5*r + 5*t + s. Is r prime?
False
Let x(i) = 32*i + 7. Suppose 5*h - 4*o - 64 = 0, 3*o = -3*h + 1 + 32. Is x(h) a composite number?
True
Let l be (-15)/(-4)*416/12. Suppose -5*q - b - l = 0, 0 = 2*q - q - 5*b. Let g = q + 35. Is g a composite number?
True
Suppose 5*k = 4*k + 2*w + 2437, 2*k = w + 4883. Is k prime?
False
Let m(v) = v**3 - 3*v**2 - 2*v + 2. Let c be m(3). Let t be (c/6)/((-1)/(-3)). Is (15/4 + t)*20 a prime number?
False
Suppose -5*t + 22 = -3*n, 4 = 5*n - 1. Suppose 0*w - 15 = -t*w. Is (11*21)/w - 0 prime?
False
Let q be 268/((0 - -3)/6). Let f = -269 + q. Is f a prime number?
False
Suppose 0 = 6*b - b. Let t(o) = -3*o**2 - 3*o - 58. Let f(v) = -v**2 - v - 19. Let n(w) = 11*f(w) - 4*t(w). Is n(b) composite?
False
Suppose -2*z = -m - 16, 3*z = -3*m - 2*z + 7. Let s(r) = 5*r + 12. Let t(y) = 3*y + 6. Let k(h) = m*s(h) + 11*t(h). Is k(7) prime?
False
Suppose -4*r = 3*h - 545, r - 131 = 5*h - 4*h. Is r composite?
True
Is ((-3)/(-6))/((-3)/(-24)) composite?
True
Let a(r) = 3*r**3 + 7*r**2 + 4*r + 10. Let m be a(-7). Let k = 93 - m. Is k composite?
False
Let v = 2 + 1. Suppose 2*q - f = 19, 2*q + 0*q - 34 = 4*f. Suppose -q*k + v*k = -148. Is k composite?
False
Let j(r) = -r**3 + 6*r**2 + r. Suppose -5*x + 0*x - 5*g = -5, -2*g - 22 = -2*x. Is j(x) prime?
False
Suppose 5*w = 1013 + 662. Is w composite?
True
Let r(c) = 7*c + 1. Let t be r(-1). Let b be 2/3 + (-116)/t. Suppose 5*p + b - 195 = 0. Is p a composite number?
True
Suppose -12 = -2*m + 6. Suppose m = 3*y - 3. Is ((-147)/14)/((-2)/y) a prime number?
False
Let o(f) be the third derivative of f**6/120 - 11*f**5/60 + f**4/6 - 3*f**3/2 + 6*f**2. Is o(11) composite?
True
Let p be -225*(-1)/((-9)/(-24)). Suppose -4*c + p = 92. Is c a composite number?
False
Suppose -x - 1 = 3*o + 3, 3*x + 2*o = 2. Is x a prime number?
True
Suppose 0*z + 4*z - 276 = 0. Suppose 0 = 5*m + d - z, -m - 3*d = -0*m - 11. Suppose 0 = 2*h - h - m. Is h composite?
True
Suppose t + 0*t = 3. Suppose 20 = -5*j, l + t*l - 2*j = 256. Is l a composite number?
True
Let g(b) = -b**3 + 2*b**2 + 4*b - 3. Let y be g(3). Suppose 0 = -q - y*f + 4*f + 14, 0 = -f - 2. Let k = 5 + q. Is k composite?
False
Suppose m - 324 = 89. Is m prime?
False
Suppose 4*k + 5*j = 40, 3*k - j - 23 = 26. Suppose 0 = -5*q - 148 - 42. Let r = k - q. Is r a composite number?
False
Let m(c) = 3493*c. Is m(1) a prime number?
False
Suppose -3*c = -9, -g = -0*g + 5*c - 17. Suppose -v - 80 = -s, 418 = 3*s + g*s + v. Is s composite?
False
Let g(u) = 28*u**2 + u + 1. Is g(-4) a prime number?
False
Let q = 1292 - 249. Is q prime?
False
Suppose 0 = y - 0*y - 2. Let l = -15 - -39. Suppose 0 = y*t - 4 - l. Is t a composite number?
True
Let x be 10624/10 + (-12)/(-20). Let n = x + -692. Is n prime?
False
Let s = 277 + -156. Is s a composite number?
True
Let u = -3 - -9. Let t(l) be the third derivative of l**5/30 + 5*l**3/6 - l**2. Is t(u) a prime number?
False
Let j = 2 + -3. Let n be (-1)/j*(3 + -3). Suppose n = w - 4, 2*t - 2*w = -0*w + 14. Is t a composite number?
False
Let o(k) = 5 - 10*k + 3*k**2 - 2 - 7. Is o(-11) prime?
False
Suppose -6*f + 7 = -29. Is (-190)/(-15)*f/4 a composite number?
False
Let c = -74 + 132. Suppose 5*g - 517 - c = 0. Is g prime?
False
Suppose -3*a - 506 = 757. Let s = 88 - a. Is s a prime number?
True
Let h(k) = 4*k + 3*k**2 - 3*k**2 + k**2 + 2. Let a be h(-4). Suppose -66 = -2*v + 2*u, 0*u = 4*v - a*u - 132. Is v prime?
False
Let w = 62 - -15. Is w composite?
True
Let b(v) be the first derivative of v**3/3 + 35*v + 5. Is b(0) composite?
True
Let h(i) = 2*i**3 - i**2 - i - 7. Let f = -18 + 25. Is h(f) a composite number?
True
Suppose 4*s - 9 = 3, -4*f - s + 1175 = 0. Is f a prime number?
True
Let s(q) = -q**2 + 8*q - 4. Let y be s(8). Let w be y/(-12) + (-8)/(-3). Suppose w*o - 242 = -77. Is o prime?
False
Is 2/(16/(-11444))*-2 a prime number?
True
Let j be (-1)/(-2) + 292/8. Suppose j = x - 918. Is x composite?
True
Let s(p) be the second derivative of p**4/6 + 4*p**3/3 + 7*p**2/2 - p. Is s(-9) prime?
True
Let s(w) = -2*w**3 - 7*w**2 + 2*w + 2. Is s(-5) a prime number?
True
Suppose 2*h - 12 = -h, 3*j + 5*h = 14. Let f = 23 + j. Is f a prime number?
False
Let y = 237 + -60. Is y prime?
False
Suppose -3*h = 5*o - 229, 3*o + 348 = 3*h + 111. Is (0 - -1) + h + 0 a composite number?
False
Is 2 + 2278*(-4)/(-8) a composite number?
True
Let g be -3 + 6 - 0/2. Is (-75)/g*(-1 + 0) composite?
True
Suppose -2476 = -k - 3*k. Is k a composite number?
False
Let w = -4 - -6. Let r(x) = 53*x. Is r(w) a composite number?
True
Suppose -2*z - 16 = -6*z. Suppose 4*q = -q - 4*b + 261, z*q = 3*b + 215. Is q a prime number?
True
Suppose -x - 2*l = -28, 4*x - 2*l + 0*l = 102. Is 568/x + 2/13 composite?
True
Is -34*2/8*-46 a prime number?
False
Let o(w) = 0 - 2 - 4*w + 0 + 0*w**2 + w**2. Suppose -7 = -z + 3*g, -30 = -5*z + 3*g + 5. Is o(z) a composite number?
False
Let j = -577 - -74. Let w = j + 870. Is w a prime number?
True
Let d(o) = -o**2 + 8*o + 5. Let g be d(8). Suppose -3*m = 3*h - g*m - 211, -5*h - 3*m = -358. Is h prime?
True
Suppose -4 = 3*h + 23. Let i(u) = -11*u - 39*u**2 + 4 + 38*u**2 - 15. Is i(h) composite?
False
Suppose -3*w = -10*w - 7. Let t(c) = -c - 71*c**2 + 215*c**2 + 70*c**2. Is t(w) a composite number?
True
Is (2/(8/(-268)))/(-1) composite?
False
Let f be (-178)/(-4) - (-2)/4. Suppose 0 = 3*o - 348 - f. Is o a composite number?
False
Suppose -m + 4*c = -3457, 3*m - 2*c + 13738 = 7*m. Is m composite?
True
Let k be -1 - (3 + 0/(-3)). Is 4/k*257/(-1) prime?
True
Suppose -5*n = -x - 4022 + 87, 3*x - 1574 = -2*n. Is n composite?
False
Let b be (30/(-25))/(3/(-10)). Suppose -p + 9 = -b. Is p composite?
False
Let z(j) = -4 + 2*j**2 + 3 + 0*j**2 - 18*j. Suppose h - 4*h = -4*y - 42, -5*h + 5*y = -70. Is z(h) composite?
False
Let n be -4 + 0 - 3/1. Let t = n - -7. Suppose -4*g - 141 + 793 = t. Is g a prime number?
True
Let t(p) = 14*p**2 - 6*p - 9. Is t(8) a composite number?
False
Suppose 2*v = 5*v + 432. Let z = v - -203. Is z a composite number?
False
Let w(n) be the first derivative of 6*n**3 + n**2 + n + 7. Is w(3) a prime number?
False
Let l(t) = -124*t