10 = -3*x - 11. Let h(r) = r**2 - 16*r + 26. Let j(a) = x*h(a) + 3*m(a). Is j(17) prime?
True
Is (5 + (-17)/3)/((-4)/6486) a composite number?
True
Let m(b) = 96*b**2 - 2*b - 1. Let l(a) = -a**3 + 2*a**2 + 4. Let i be l(0). Suppose i*f - 2*h - 3 = 1, f = 5*h + 19. Is m(f) a composite number?
False
Suppose 12 = 2*t - 0*t - 5*s, t - 6 = 3*s. Suppose m = 2*i + t*m - 22, 4*i = m. Let l(q) = 203*q**2 - q + 1. Is l(i) composite?
True
Let p(r) = -3*r**3 - r**2 + 5*r + 12. Let b be p(-5). Let m = b + -208. Is m composite?
True
Suppose -m + v = -25702, -58900 - 43904 = -4*m + 2*v. Is (m/(-4))/(-5) + 0 prime?
False
Suppose -t - 13619 = 5*w, 2*t + 3*w - 14413 = -41686. Is (2/(-6))/(4/t*3) a prime number?
True
Suppose -27*l - 318110 = -37*l. Is l prime?
False
Let b = 3 - 2. Is 3 + 1290 - b - (-2 + 0) prime?
False
Let l = -33 - -27. Let v be (-8)/(-6)*(-9)/l. Let s(n) = 273*n - 5. Is s(v) prime?
True
Let i(m) = 6*m + m**3 + 23 + 20 + 9*m**2 - 36. Suppose -w + 2*s - 12 = 0, 3*w - 2*s = -29 + 5. Is i(w) a prime number?
True
Let l(f) = f**3 - f**2 + 3*f - 2. Let x be l(2). Suppose 0 = -4*p - y - 2*y + x, 2*y = -5*p + 10. Let z(a) = 4*a**2 - 2*a - 1. Is z(p) a prime number?
True
Let i be 5 + 2 + -4 - (-1 + -1). Suppose 0 = -i*w - 2*p - 0*p + 2853, 4*p = -5*w + 2851. Is w a prime number?
True
Suppose -2*o = -0*o + 3*g - 1285, o - 642 = -g. Is o a prime number?
True
Suppose -4*g - 2*s + 13 = 7, -5*s = 3*g - 15. Suppose 2*l - 10 = g, -5*l + 504 = n - 0*n. Is n a composite number?
False
Suppose 0 = 5*c - 2*a - 29, c - 2*c = 3*a - 16. Let v(g) = g**3 + 2*g**2 + g - 2. Let f be v(c). Let u = f + -237. Is u prime?
False
Suppose 13*o - 11*o - 4*z = 890, 1326 = 3*o + 3*z. Is o composite?
False
Suppose -4*z - 7568 + 45916 = 0. Is z a prime number?
True
Suppose 350 = 11*c - 6*c. Let z = 301 + c. Is z a composite number?
True
Suppose -20 = -2*t + 7*t. Is 3 - (4 + -374 + t) a composite number?
True
Suppose 9*i + 13308 = 179889. Is i composite?
True
Let m = 3904 - 2129. Let a = -996 + m. Is a a prime number?
False
Let t(c) = 242*c**2 - 26*c + 19. Is t(-12) composite?
True
Suppose -3*p = 3*x - 3, x + 1 = -p - 2*p. Let f(h) = 3*h**2 + 6*h**3 + 5*h - 5 - h**x - 5*h**3. Is f(3) prime?
False
Suppose -1750 = 4*i - 2*q, -4*i = -4*q - 0*q + 1760. Let p = i - -915. Suppose -4*c + p = -2*w - 84, 0 = 2*c - 2*w - 278. Is c a composite number?
True
Let m(h) = 17*h**3 + 8*h**2 - 2*h + 1. Is m(6) prime?
False
Let l(k) = -k + 18. Let g be l(14). Suppose 55 = g*u - 69. Is u composite?
False
Let o(z) be the third derivative of -z**6/120 + 17*z**5/60 - z**4/6 - z**3/2 + 11*z**2. Is o(11) a composite number?
True
Suppose -75*w + 77*w = 8362. Is w a prime number?
False
Let c = -184 + 374. Let a = c - -203. Is a prime?
False
Is (-12)/((-72)/21)*(-13994)/(-7) a composite number?
False
Suppose 8*r = -r - 23472. Let d = 409 - r. Is d composite?
True
Let f be (0 + 0)/(-15 - -13). Suppose -2*v + 1006 + 1356 = f. Is v a composite number?
False
Suppose 6*s - 1 - 11 = 0. Suppose -3*g - g = 5*h - 861, 0 = 2*g + s*h - 428. Is g composite?
True
Let t = 7636 + -5421. Let i = t - 1248. Is i a prime number?
True
Let j be (-2)/(-4)*6*1. Suppose j*s + 9 = -0*s, t - 2*s - 62 = 0. Suppose -3*p + 689 - t = 0. Is p a composite number?
False
Let q be (8/(-2))/((-3)/6). Let p(g) = -g**3 + 16*g**2 - 12*g - 5. Is p(q) prime?
False
Let l(u) be the second derivative of 235*u**3/6 + 3*u**2/2 - 9*u. Let t be l(5). Suppose t = 5*y + 223. Is y a prime number?
True
Let t = 4897 + -2922. Suppose -t = -3*s - 4*z, -s + 669 = 4*z - 0*z. Is s composite?
False
Let u(d) = -6*d**3 - 7*d**2 - 2*d + 6. Let q be u(-5). Suppose -3*n + n - v + q = 0, -566 = -2*n + 4*v. Is n composite?
False
Let c(j) = 42*j**2 - 6*j. Let m be c(7). Suppose m = 2*l - 3*a - 1771, -3*l = 5*a - 5690. Is l prime?
False
Let k(h) = -73*h**3 - 32*h**2 + 9*h + 20. Let g(z) = -24*z**3 - 11*z**2 + 3*z + 7. Let b(x) = 17*g(x) - 6*k(x). Is b(4) prime?
True
Suppose s - 2*v + 46 = -23, -5*s - v = 323. Let r = s + 152. Is r prime?
False
Is (-6 - -4 - (5 + -6))*-4721 a prime number?
True
Let j(u) = 30*u - 3. Let h(t) be the third derivative of -t**6/120 + t**5/10 + 7*t**4/24 + 3*t**3/2 + 5*t**2. Let g be h(7). Is j(g) prime?
False
Is -7*18/(-819) + 49281/13 a composite number?
True
Suppose 503 = -7*j - 50. Let f = -138 - -332. Let a = f + j. Is a a prime number?
False
Let h(u) = -5643*u + 94. Is h(-1) a prime number?
True
Let p(y) = y**2 - 23*y + 24. Let x be p(10). Let t = -68 - x. Is t prime?
False
Suppose i + 1039 = 2*i. Is i a prime number?
True
Suppose -2*i = -5 + 3. Suppose -m + 0 - i = 0. Is 1/(2*m/(-332)) a composite number?
True
Let y be (30/(-12) - -2)/((-1)/(-2168)). Let z = y + 1797. Is z prime?
False
Let p be 4/(-22) - 2/(-11). Suppose 4*m - 2*w - w = 242, 5*w + 10 = p. Is m composite?
False
Let w = 1225 - 860. Suppose l + w = -1515. Let s = -1129 - l. Is s a composite number?
False
Let r(s) = 27*s**2 - 17*s - 31. Is r(15) a prime number?
False
Let a = -32 - -90. Let q = 52 + a. Is q/6 - (-34)/51 a prime number?
True
Suppose -18*l = 8*l - 276926. Is l prime?
True
Let a be (-2 - (-24)/9) + 7096/12. Suppose 0 = -5*s - 4*y + 2465, -5*y - a = -3*s + 887. Is s composite?
True
Let v(m) = -3*m + 22. Let g(s) = -s + 7. Let k(i) = -7*g(i) + 2*v(i). Let r be k(7). Suppose -5*h + 4*w + 426 = -3*h, w - r = 0. Is h composite?
True
Suppose -t + 2*h + 9461 = 0, 5*h - 5280 = -2*t + 13642. Is t composite?
False
Let x(g) = 0*g - 4*g - 9 - 3*g + 6*g**2 - 2*g**2. Let q be x(-6). Suppose -2*i = -5*r - 139, 3*i = -2*r - r + q. Is i prime?
False
Is ((-27)/18)/(4 - (-629771)/(-157442)) composite?
False
Suppose -24 = -5*t + 6. Let k(u) = -t + 5*u + 13*u + 31*u. Is k(5) a composite number?
False
Let x = 163 + -50. Let c = x - 76. Is (-1 - -1)/(-2) + c composite?
False
Suppose 0 = 2*p + 4*i - 20, 6*p + 3*i = p + 22. Let w be 4 - (-2 + p - -4). Suppose -4*z + 497 = -w*o + 5*o, -2*z = 4*o - 394. Is o a composite number?
False
Let k = 104 + -105. Let l(g) be the first derivative of 835*g**3/3 + 1. Is l(k) a prime number?
False
Suppose 2*q + 4*j + j = 3031, 5*q - 4*j = 7561. Is q prime?
False
Let t = 1247 + 2504. Suppose -7*w - t = -15210. Is w prime?
True
Is 145/58*((-100076)/(-5) - 2) a composite number?
False
Let n = -11 + 17. Let w be n/(-8) - 207/(-36). Suppose 32 + 83 = w*v. Is v prime?
True
Let c(x) = 87*x - 38. Is c(11) a composite number?
False
Let l = 15 - 15. Suppose 0 = 3*h - l - 15. Suppose h*d - d = 1172. Is d composite?
False
Let f = -6 - -6. Is f*2/(-6) + 669 composite?
True
Let c = 30 - 26. Suppose -c*q = -6*q. Let z(i) = 2*i**2 + i + 1597. Is z(q) a composite number?
False
Let p be (-24)/(-14) + (-4)/(-14). Let s be 36*(-12)/(-10)*(2 - -3). Suppose -5*b = 3*h - 376, s = p*h - b - 39. Is h prime?
True
Let g(x) = -12*x**2 + 7*x + 10. Let r be g(-3). Suppose 3*f - 2*f = -538. Let i = r - f. Is i composite?
False
Let m = 3016 + -1751. Suppose 5*h = -s + 253, -5*s + 0*h = -4*h - m. Is s composite?
True
Let a(k) = 25*k**3 + 2*k**2 - 3*k + 3. Let o = 32 - 30. Is a(o) composite?
True
Let q = -3 - -5. Suppose -4 = -q*z + z. Suppose -3*f = -z*f + 9. Is f composite?
True
Let x be (5873 + -3)/(-3 + 4). Suppose 4*m - x - 3506 = 0. Suppose -2*z - 606 = -m. Is z prime?
False
Is ((-2)/8)/(33/(-406428)) prime?
True
Let v be (-2)/((-15)/(-6) + -3). Suppose -4*s - 1067 = -v*n - 43, -5*s - 276 = -n. Is n a prime number?
True
Let u(q) = -2*q**3 - 6*q**2 + q - 1 + 3*q**3 - 13*q. Is u(8) composite?
False
Let y = 2637 - 498. Is (-1)/(-6) + y/18 prime?
False
Let t(n) = -5*n**3 + n**2 - 655. Let y(g) = 11*g**3 - 2*g**2 + 1310. Let x(k) = -13*t(k) - 6*y(k). Is x(0) prime?
False
Suppose 14*o + 0 = 266. Is o + -4 + (3 - -1) a composite number?
False
Let f = -30 + 48. Suppose -14*x = -f*x + 296. Is x prime?
False
Let m(l) = -2*l**3 + 3*l**2 - 3*l + 2. Suppose 0 = t + y - 1, -2*t - 3*y - 3 = 3*t. Let r be m(t). Let j = r - -87. Is j a composite number?
False
Let v = 58 + -59. Is 608 + -5*v*(-9)/(-15) prime?
False
Suppose -5*q + 29 = 94. Let h(m) = -22*m - 27. Is h(q) a composite number?
True
Suppose 0 = 3*y - 10*y + 6559. Is y composite?
False
Suppose -4*s + 26338 = 5*f + 1706, 0 = -4*s + 2*f + 24660. Is s composite?
False
Let p(t) = -47*t**3 - t**2 - t + 1. Let h be p(2). Let i = 889 + h. Suppose 