e -17*n = -11*n - 22794. Is n a prime number?
False
Let n = 7957 + -5126. Is n prime?
False
Suppose 3*u = -3*h + 27, -2*h - 6*u = -2*u - 22. Let a(b) = 2*b + h*b**3 - 4*b**2 - 6*b + 5*b**2 + 4*b**2 + 1. Is a(3) a composite number?
False
Let t(b) = b**3 + 41*b**2 + 36*b + 15. Is t(-22) composite?
False
Suppose -c + 2*h = -9, 0 = -3*c - c - 4*h. Suppose -y + 0*n + 60 = -3*n, 0 = 3*y + c*n - 216. Is y prime?
False
Let c = 48031 - 14550. Is c prime?
False
Let h(d) = d**2 + 3*d. Let w be h(11). Suppose -5*u + w = -1111. Is u a composite number?
True
Let d(p) = p**2 - 8*p + 6. Let u be d(6). Let j = u - -11. Suppose j*o - 253 = 92. Is o a composite number?
True
Let d(c) = 121*c + 2. Let f = 1 + -9. Let y be d(f). Let g = y + 1645. Is g composite?
True
Let x(p) = p**2 + 5*p + 2. Let v be x(-5). Let z = v - -1. Suppose -3*h + c = -1349, 2*c - 11 = -z. Is h composite?
True
Let j = 98 + 2117. Suppose -j = -5*q - 0*q. Is q a prime number?
True
Let n = -1650 - -2545. Suppose n = -5*x - 145. Let o = x + 419. Is o a composite number?
False
Let b = 100112 + -56073. Is b prime?
False
Suppose 3*j = 3*n + 6, 0 = 5*n + j - 0*j + 16. Let u be (7 + -25)*(-5)/n. Let z = u + 85. Is z composite?
True
Suppose 0 = -16*v - 7527 + 1975. Let u = v + 1701. Is u composite?
True
Suppose -3*g + 881 + 4503 = -y, 4*g - 7157 = -3*y. Suppose g + 3722 = 5*c. Is c composite?
False
Suppose p - 5938 = -2*w, -3*p + 7*p + 11864 = 4*w. Let l = w - 505. Is l a prime number?
False
Let h(v) = -v**3 + 6*v**2 + 7*v + 4. Let p be h(7). Suppose 0 = -p*f - 3*k + 2*k + 2008, 2*k - 1511 = -3*f. Is f composite?
True
Let h(s) = 425*s + 33. Is h(8) prime?
True
Suppose -12*g + 2221 = -41855. Suppose -5*h + 3*n + 8369 = 2202, -3*h - 5*n = -g. Is h a composite number?
False
Suppose -11403 = 3*q - 6*q. Let p = q + -2638. Is p prime?
True
Suppose -2*j - 24 = -6*j. Let c(d) = 44*d - 2. Let z(b) = 44*b - 3. Let u(f) = j*c(f) - 5*z(f). Is u(2) a composite number?
True
Let i(j) = j + 7. Let t be i(-5). Let d(p) = -97*p**2 + 3*p + 0*p + 13 + 6*p - p**3 + 113*p**t. Is d(15) prime?
True
Is 26/(-351) - 148313/(-27) a prime number?
False
Suppose 0 = 8*x + 4*x - 93096. Suppose 3*y + x = 9*y. Is y a composite number?
True
Suppose -m = -2*f - 0*f - 8, 3*m + 2*f = 8. Suppose m*l + 0*l - 1713 = -5*b, 5*b - 1709 = -2*l. Is b prime?
False
Let l(v) = -25*v - 7 + 5 + 21*v - 37*v. Is l(-5) a prime number?
False
Let l(z) = -17 - 6 + 6 - 126*z. Let d be l(4). Let i = d + 943. Is i a composite number?
True
Suppose -78 = 4*d + 2*b - 0*b, 3*b = 9. Is (7/d)/((-3)/693) composite?
True
Let l be 30/(-1)*(-3 - -2). Suppose -2*x + 264 = l. Suppose -x = -y + 28. Is y a prime number?
False
Suppose 0 = -2*p + 446 + 842. Let o = p + 915. Is o prime?
True
Suppose b + 104*p - 100*p = 8683, 0 = -2*b - p + 17331. Is b a prime number?
True
Let m(f) = -f**3 + 3*f**2 + f - 1. Let u be m(3). Let r be -3 + 0/((-8)/u). Is 1/(r*1/(-993)) a prime number?
True
Let i = -23851 + 33438. Is i a prime number?
True
Suppose 0 = -4*x + 3*a - 45, 4*x + 15 + 38 = -5*a. Is ((-1)/x*8)/((-4)/(-2118)) prime?
True
Suppose -3*x = 12, 4*c + 14*x = 9*x + 103256. Is c composite?
False
Suppose 0 = 23*f + 1674 - 52665. Is f a prime number?
False
Let y be ((-2 - -2) + -71)*15. Let w = y - -1984. Is w a prime number?
True
Let i(t) = -t**3 + 3*t**2 + 3*t - 7. Let x be i(3). Suppose 1286 = 3*y + 4*n, x*y - 570 - 278 = 2*n. Suppose -4*l - 2*l + y = 0. Is l a prime number?
True
Let q(v) = -v**2 + 7*v. Let r be q(7). Suppose r = 4*a - 0*a + 64. Is 2*3/2 - a a prime number?
True
Let c(b) = 14*b**2 - b - 1. Let u be c(-1). Let r(d) = -10*d**2 - 5 + 1886*d - 1903*d + d**3 + 0*d**3. Is r(u) a composite number?
False
Let d = 493 + 138. Is d prime?
True
Let u(k) = -k**2 + 8*k + 9871. Is u(0) a composite number?
False
Let v(h) be the first derivative of -2 - 1 + 32*h - 31*h + 443*h**2. Is v(1) composite?
False
Let y be 4/(-14) - 3518/(-14). Suppose -u = 3*u - 5*v + y, -5*u = 3*v + 323. Is ((-208)/u)/((-2)/(-328)) composite?
True
Let h be 3 - ((-10)/(-8) + (-3)/12). Let l = 0 + -4. Is -3 + h + l + 340 a prime number?
False
Let b(p) = 3060*p**2 + 3*p + 8. Is b(-3) composite?
False
Let u = 90 - 100. Is 4*(11605/u)/(-11) composite?
True
Suppose -3*j = j - i + 12, 5*j = i - 16. Is j + -6 + 4 + 299 a composite number?
False
Suppose -5*p + 113845 = -2*r, 11*p - 9*p - 2*r = 45538. Is p a composite number?
False
Suppose u - 5*j - 3852 = 0, 5*j - 1601 = -5*u + 17629. Is u a composite number?
False
Let z(d) be the first derivative of 5*d**4/8 + 2*d**3/3 + 5*d**2/2 + 3. Let w(o) be the second derivative of z(o). Is w(6) prime?
False
Let j = -67 - -144. Suppose 2*k - 68 = -2*k. Let w = j + k. Is w composite?
True
Suppose 5*t - 59919 = -2*x, 0 = 3*x - t - 2*t - 89826. Is x prime?
True
Suppose -5*k + 2691 = 296. Is k prime?
True
Suppose -m + 3*m = 10. Let o(l) = -2*l + l + 5*l - 2*l**3 + l**3 - 3*l + 2 + 11*l**2. Is o(m) prime?
True
Suppose -6094 = -18*u + 38600. Is u a composite number?
True
Let h(y) = 13*y**3 + 3*y**2 - 5*y - 1. Let v be h(3). Suppose 0 = -3*t + 2269 + v. Is t prime?
True
Suppose 0 = -h + 24 + 14. Let u = 41 - h. Suppose -4*w - 5*m + 220 = -u*m, 2*m - 167 = -3*w. Is w composite?
False
Let f(n) = -72*n + 5. Let w(v) be the first derivative of v**2/2 - 6*v + 3. Let d be w(4). Is f(d) prime?
True
Let h = -18 - -21. Suppose -h*x = -4*p + 119, 4*p - 33 - 12 = x. Let l = x - -164. Is l prime?
True
Is 39/((-10)/((-3160)/12)) a prime number?
False
Let b(z) = -8*z**3 - z**2 - 2*z - 12. Let n(p) = 8*p**3 + p + 13. Let i(a) = 6*b(a) + 5*n(a). Is i(-4) prime?
False
Suppose -3*z - 3 = -j + 5*j, -z - 1 = 0. Suppose 3015 = 3*i - 2*l, j = -3*i - l - 0*l + 3024. Is i prime?
False
Let c(r) = r**2 + 10*r + 12. Let p be c(-9). Let y be 2485/p + 2/(-6). Is -2*(-2 - y/8) a composite number?
False
Let g = -604 - -896. Suppose q - g = 25. Let s = 584 - q. Is s prime?
False
Let v(t) = -4*t**3 - 5*t**2 - 6*t + 4. Let p(u) = u - 23. Let m be p(18). Is v(m) composite?
False
Let d = 1398 - 515. Let h = -394 + d. Suppose -r + t = -170, -3*r + t + h = 5*t. Is r a composite number?
False
Let f(z) = 2*z**3 + 56*z**2 + 49*z - 42. Is f(-25) a composite number?
True
Suppose -5*i = -29626 - 37269. Is i composite?
True
Let c(p) = 2*p + 37. Let b be c(-16). Suppose 0 = -b*h + 9*h - 268. Is h composite?
False
Suppose -2*j - 8 = 0, -c + 3*j = -6*c - 342. Let h = c - -157. Is h composite?
True
Suppose z - 41*j + 42*j = 175, 0 = 5*z - 2*j - 903. Is z a prime number?
True
Suppose 0 = -5*y - 0*y + 100. Let j = y + 101. Is j a composite number?
True
Suppose 38*k = 33*k + 9745. Is k composite?
False
Let f be (-7952)/(-10) - (-4)/(2 - 22). Let y = f - 502. Is y prime?
True
Suppose 4*a + i - 45400 = 0, 0*a - a + 11375 = -6*i. Is a a prime number?
True
Suppose 19790 + 13645 = 9*y. Is y a composite number?
True
Let y = 39 - 37. Suppose -6*x = -2*x + 2*n - 72, -34 = -2*x - y*n. Is x a composite number?
False
Let c = 1435 - 731. Let f = c + -483. Is f prime?
False
Suppose 4*y - 5*m = 67017, -30*m + 35*m - 33501 = -2*y. Is y a prime number?
False
Let k(u) = -u**3 + 41*u**2 - 40*u - 29. Is k(24) composite?
False
Let b(h) = 11*h - 4. Let r be b(-7). Suppose -2*w - 666 = -6*w - 5*f, 3*f - 170 = -w. Let i = w + r. Is i composite?
False
Let u(w) = -w**2 + 5*w + 8. Let x be u(6). Is x/6 - (-48862)/33 a composite number?
False
Is ((-23755)/15)/((-39)/9 - -4) composite?
False
Suppose 11646 = 53*y - 52961. Is y prime?
False
Let c be (-9)/6*(-20)/6. Suppose -23 = -c*t - 8. Suppose -i - t*i = -4244. Is i a prime number?
True
Suppose -3*m - 2 = 2*s + 2*s, 0 = -2*m + 5*s - 32. Let y be (-577)/m + 9/(-54). Suppose 4*d + 5*j - y = -24, 2*d - 5*j = 66. Is d a composite number?
False
Let r be 1233/6 - 5/10. Suppose -4*g - 44 - 146 = -2*y, g - r = -2*y. Let c = 101 + y. Is c a prime number?
False
Let x be ((-7)/(-1) - 0) + -3. Let c(y) = -64*y + 64*y + 6*y**2 + 1. Is c(x) prime?
True
Let v(z) = 65*z**2 - 13*z + 5. Is v(-7) composite?
True
Let q(s) = s**2 - 6*s + 1399. Is q(0) a composite number?
False
Suppose -5*y = -4*b + 18984, 0*b = -b + 4*y + 4735. Is b prime?
True
Let d(x) = -4*x**2 + 3*x + 1. Let k be d(-2). Let j = 29 + k. Suppose o - j*o = -469. Is o prime?
True
Let r(l) = 13*l**3 - 7*l**2 + 8*l + 3. Suppose -4*j + 7 = -o - 5, -3*o = -3*j