 (b - (-1 + 408)) prime?
True
Let x(s) = -245*s - 44. Is x(-9) composite?
False
Let h(r) = 25*r - 19. Let k be h(5). Is (k/(-3))/(8/(-12)) a prime number?
True
Suppose 8*j + 2*j - 9130 = 0. Is j a composite number?
True
Let g(z) = z**2 - 4*z + 3. Let d be g(4). Suppose -m - d*r = m - 373, -2*r = -2. Is m composite?
True
Let h = 60351 - 33489. Suppose h = 19*w - 8573. Is w composite?
True
Let k(c) = -25*c - 9. Suppose 68 = -8*m + 4. Is k(m) a composite number?
False
Suppose 0*p = 2*p - 12. Let k be (p/(-4))/((-9)/(-24)). Is (-2)/k + (-660)/(-8) a prime number?
True
Let y be 1/(2*2/(-8)) - -242. Suppose -5*c = 55 - y. Is c a composite number?
False
Let u(g) = g - 4. Let d be u(8). Let q = 186 - 83. Suppose -d*a = -165 - q. Is a a composite number?
False
Suppose -3*u - 4*n = 14, -u - 28 = 5*n - 5. Suppose 3*c = -w + 3, -6 = -0*c + c - u*w. Suppose 2*a - 209 = -h, 5*h - 4*a - 1059 = -c*h. Is h composite?
False
Suppose -2*x - 2 = -o - 10, 0 = 5*o - x + 49. Let j = 17 + o. Let u = j + 96. Is u a composite number?
False
Suppose 634 = u + i, -3*u - 2*i = 3*i - 1908. Let s be 3/2 - u/2. Let l = s - -517. Is l composite?
True
Suppose -4*w = 4*p - 16592, 2*w + 0*w = 4*p + 8278. Is w a composite number?
True
Is ((-1618)/(-10))/((-15)/(-75))*53 a prime number?
False
Let d(y) = -5 + 2*y - 2*y - 2*y + 20*y**2 + 3*y**2. Suppose 0 = 3*v - 4*v - 4. Is d(v) a composite number?
True
Suppose -59580 = -5*y + 6925. Is y a prime number?
False
Let c(r) = r. Let q be c(-1). Is (q + -13)/((-4)/14) a composite number?
True
Suppose 0 = 17*p - 3102 - 1709. Let a = 1002 - p. Is a prime?
True
Is (-1 + 125350/(-15))/(4/(-12)) prime?
True
Let y = 976 + 170. Suppose 0 = 3*x - 5*k - y, -451 = -5*x - 5*k + 1419. Is x composite?
True
Suppose 2*a - 2*n - 44236 = 0, -2*a - 3*n + 13362 + 30864 = 0. Is a/30 + 2/(-10) + 0 composite?
True
Let x = 123570 + -55133. Is x a prime number?
True
Let b(l) = -4*l**2 - 12*l**3 - 9*l**3 + 2*l + 22*l**3. Let m be b(3). Is 7/((-21)/(-438)) - m a composite number?
False
Let m(u) = u**2 + 23*u + 71. Is m(28) prime?
True
Suppose 3*u - 5*r = 40, -3*u - 2*r - 2*r = 5. Let y = -184 + 253. Suppose -46 - y = -u*w. Is w a composite number?
False
Let g(z) be the second derivative of 11*z**4/12 - 17*z**3/6 - 3*z**2/2 - 6*z. Is g(-9) a composite number?
True
Let r = -263 - -12702. Is r prime?
False
Let m = -2188 + 11129. Is m prime?
True
Let y = 30007 - 17226. Is y a composite number?
False
Suppose 23*j = 20*j + 22089. Is j composite?
True
Is 0 - -2 - (-1582 - (-35)/(-5)) composite?
True
Let l be (1852/16)/((-2)/(-8)). Suppose 0 = -14*s + 3*s. Suppose -l = -3*t - 2*c - s*c, -2*c = -t + 157. Is t composite?
True
Suppose o - 4 - 32 = 0. Let a be -22*1/((-8)/o). Let l = a + 28. Is l composite?
False
Let t(l) = 5*l + 47. Let m be t(-9). Suppose -m*v = -4*v + 5558. Is v a prime number?
False
Let z(x) = 5*x - 8. Let r be z(2). Let l(i) = 192*i**2. Let g be l(-1). Suppose -u + g = 4*p, 2*u + 155 = r*p + p. Is p composite?
True
Let y(d) = d**3 - 2*d**2 - 6*d + 4. Let h = -26 - -31. Is y(h) prime?
False
Suppose -k + 1004 = -0*k. Suppose 3*o - k = -o. Is o prime?
True
Let y(h) = -h**3 - 4*h**2 - 2. Let n(f) = -4*f**2 - 1. Let b be n(-1). Let o be y(b). Suppose -197 = -3*m - o. Is m a prime number?
False
Suppose 3*w - 297 = -3*b, -4*b + 0*w + 366 = -2*w. Suppose -b - 88 = -2*n. Is n a composite number?
True
Let w(v) = v**3 + 14*v**2 - 15*v + 6. Let i be w(-15). Let j(s) = -2*s + 4*s + 5 + s - i*s + 2*s**2. Is j(3) a composite number?
True
Suppose 5*w = -4*d + 12119, 3*w - d - 7267 = d. Is w composite?
False
Suppose 22 = 7*s - 3*s + 2*x, 5*s - 4*x = 8. Suppose -1778 = -s*j - 294. Is j a composite number?
True
Suppose -r = 3*x - 472, -r = 2*r - 2*x - 1405. Is r composite?
True
Suppose 6857 + 673 = 30*g. Is g prime?
True
Let s(c) = -c + 11. Let m be s(6). Suppose 339 = m*a - 1426. Is a prime?
True
Let d(s) = -7412*s**3 + s**2 - 77*s - 227. Is d(-3) a composite number?
True
Suppose 0 = 10*a + 58*a - 1799076. Is a a prime number?
False
Suppose 2*y - 126946 = 3*j, 18*y - 4*j - 190417 = 15*y. Is y composite?
False
Suppose 4*t - 3*v = 22, 8*v - 11*v = -t + 10. Suppose 2*d + 1309 - 5477 = -3*s, 5*d = -t*s + 10406. Is d a prime number?
False
Suppose -5*l + 1621 - 14688 = -3*a, 2*a - 2*l - 8706 = 0. Is a prime?
True
Let y(z) = -7620*z - 317. Is y(-12) a composite number?
True
Suppose 6*y - 1 = 4*o + 3*y, 25 = 5*o + 5*y. Let g = -1978 + 3673. Suppose -5*s = -2*l - 3163, 4*s - g = o*l + 837. Is s composite?
False
Let z = 701 + -695. Let d(j) = -4*j**3 + 11*j**2 + 3*j + 4. Let u(t) = 3*t**3 - 12*t**2 - 3*t - 3. Let f(i) = -2*d(i) - 3*u(i). Is f(z) a composite number?
False
Suppose -5*f + 2*f = 9. Let i = 22 + f. Is i a prime number?
True
Suppose -5*k + 2*q - 10 = -2*q, -3*q = 3*k - 21. Suppose -4*m = -k*v - 338, -m + 6*m - 5*v = 420. Suppose 352 = 3*g + m. Is g a prime number?
True
Let k(h) = h**2 + 2*h + 10. Let t be k(0). Suppose 0 = 4*i + i - 15, -r = -i - 22. Is 10/r - (-586)/t a prime number?
True
Is 6/5*-5 - -14855 a prime number?
False
Let c(o) = 5*o - 8*o + 16 + 7*o**2 - 13. Is c(-9) a prime number?
False
Let j(g) = -33*g + 16. Is j(-21) a composite number?
False
Let t(d) = d**3 + 6*d**2 + 3*d - 1039. Let g(a) = -a**3 - 7*a**2 - 3*a + 1039. Let j(y) = -5*g(y) - 6*t(y). Is j(0) a prime number?
True
Let x(m) = m**3 + m**2 + m. Let i(l) = 8*l**3 + 3*l**2 + 13*l - 1. Suppose 0 = -4*f - 20 - 0. Let o(a) = f*x(a) + i(a). Is o(8) a prime number?
True
Suppose 0 = -2*x + 2*n + 10, 0*x - 5*x + 2*n = -19. Let g(i) = 85*i + 2. Let j be g(x). Suppose 5*a - 18 = j. Is a composite?
True
Let v(p) = 9*p**2 + 13. Let w(z) = 6*z + 3 + 6*z - 2*z - 13 - z**2. Let u be w(8). Is v(u) prime?
True
Suppose -4*b + 247 = -5*i, 5*i - 2*i + b = -138. Let w = -71 - i. Is (-65492)/w - (-1)/6 composite?
False
Suppose -u - 4*j = -0*u + 3, -4*u = j - 63. Let a(t) = 174*t + 0 + 1 + u*t - 48*t. Is a(2) composite?
True
Let i(z) = 6310*z**3 + 2*z - 2. Let r be i(1). Let f = -13194 + r. Is f/(-36) + 6/(-27) a prime number?
True
Let y be 15/9 - (-2)/6. Suppose -5*s - 498 = -y*s. Is s/(-5)*(7 + -2) composite?
True
Let b = 10 - 7. Suppose 5 = 4*q - b*q. Suppose -q*t + 453 + 2722 = 0. Is t a prime number?
False
Let j be 6/(-3) - -7 - 2. Suppose -j = -a - 0*a. Suppose -2*n + a*n - 46 = 0. Is n composite?
True
Suppose 0 = 5*y - 2*y - 3*d + 714, 0 = -3*d + 15. Let h = y + 116. Let b = -66 - h. Is b a prime number?
False
Suppose -l + 2*l = -2. Is 643 + (-2 - -3)*l a prime number?
True
Let s(a) = a**3 + 17*a**2 - 11*a - 2. Suppose -12 = -4*n - 0*n. Suppose 45 = -4*t - 5*q, 0 = -0*t - t - n*q - 6. Is s(t) a composite number?
False
Let s(c) = c**2 - c - 2. Let l be s(-1). Let u = -16 + 18. Suppose u*r + 0*r - 4 = l, 2*h - 142 = -4*r. Is h composite?
False
Let b(n) = 4760*n**2 - 119. Let i(m) = -560*m**2 + 14. Let v(d) = 5*b(d) + 42*i(d). Is v(3) prime?
False
Suppose 0 = -67*g + 230262 - 41456. Is g a composite number?
True
Let r(n) = 14*n**3 + 3*n**2 + 2*n - 5. Let o be r(4). Suppose -m - m = 3*z - o, -2*m - z = -941. Is m composite?
True
Let w(c) = -233*c - 286. Is w(-25) prime?
False
Suppose -l = 2*l - 1428. Suppose 0 = -5*a - 5*j + 2864 + l, 2*a = -j + 1341. Is a composite?
False
Let z be 36/(-14)*112/(-12). Suppose -3*c = -c. Suppose 4*y - z - 68 = c. Is y a composite number?
False
Let f = 16 + -13. Suppose 0 = -f*a + 2*a. Suppose -5*h - u + 3414 = 0, -2*h = -a*h + 4*u - 1362. Is h a prime number?
True
Suppose -165274 = 48*r - 2044810. Is r a composite number?
False
Suppose -2*s - 349 = k, -2*s - 660 = -4*k - 2056. Let b = -204 - k. Is b a prime number?
False
Let f = 358 - 135. Is f a prime number?
True
Let z(h) = -h**2 + 18*h - 18. Let p = -1 - -15. Let s be z(p). Let x = 84 - s. Is x a prime number?
False
Let g = -706 + 1277. Suppose 336 = m - g. Is m prime?
True
Let r(p) = 9*p**2 + 28*p + 47. Is r(14) composite?
False
Suppose -1022 = 4*h - 8786. Is h a composite number?
True
Let a(y) = -131*y + 1. Let u be a(-3). Let h = u + 247. Is h a prime number?
True
Let h(j) = -j**2 - 10*j - 10. Let r(z) = z**2 + 15*z + 15. Let a(n) = -8*h(n) - 5*r(n). Let m be (-54)/(-7) + 2/7. Is a(m) prime?
False
Let t(i) = -2537*i - 6. Let c(v) = -v**2 - 10*v - 17. Let d be c(-8). Is t(d) a prime number?
True
Suppose -4*r - o + 1356 + 852 