 + 5*p**2 - 4*p + 1. Let f be o(-6). Let l = f - h. Is l a composite number?
True
Suppose m + 2*m = 6. Suppose -m*k - 4*g + 1822 = 0, -5*g - 4600 = -6*k + k. Is k a prime number?
False
Let k be (0 - 3) + (4 - -1). Suppose -140 = -k*h + 18. Is h a prime number?
True
Suppose -11*n + 7*n + 11236 = 0. Is n a prime number?
False
Let i(q) be the first derivative of q**3/3 + q**2 + 2*q - 1. Suppose -5*n = -3*h - 31, -4*h - 2 = -5*n + 26. Is i(n) composite?
True
Suppose -32*b + 29*b + 237 = 0. Is b a composite number?
False
Let b(w) = -w**3 + 11*w**2 - 9*w - 7. Let u(m) = 5*m**2 + 2*m + 1. Let o be u(-2). Suppose -2*x + o = -1. Is b(x) composite?
True
Let f(i) = i**2 + 5*i + 14. Let u be f(7). Suppose 0*l - 4*l + 3*x = -144, 2*l + 5*x = u. Is l a prime number?
False
Let x(i) = 9*i**2 + 7*i + 21. Let t be x(-8). Suppose t - 36 = w. Is w a composite number?
True
Let a(u) = u**2 - 2*u. Let x be a(2). Suppose j - 7*p + 1 = -3*p, x = -4*p + 4. Suppose 2*f - 992 = l + 180, 1763 = j*f + l. Is f composite?
False
Let s(f) = 27*f + 4. Let z(q) = -80*q - 11. Let w(y) = -8*s(y) - 3*z(y). Is w(17) composite?
False
Let o(w) = 6*w**2 + 4*w + 7. Let f be o(-5). Is 3*(f - 0) + 2 prime?
False
Suppose -6*s + 38 + 4 = 0. Suppose 7428 = s*z - z. Is z a composite number?
True
Let y(d) = -d + 13. Let a be y(11). Suppose -2 = 4*s + 5*j + 7, 0 = -a*s - 2*j - 6. Let i(g) = g**3 + 13*g**2 + g + 8. Is i(s) prime?
False
Let o = -1656 + 4469. Is o a composite number?
True
Let a be 40/16 - 6659/(-2). Suppose -3*g + 5*y + 13349 = g, 3*y = g - a. Is g a composite number?
True
Let b = 6 + -6. Suppose b = -2*z + 1001 + 125. Let u = 1092 - z. Is u a prime number?
False
Suppose -1664 = -4*x + 4*l, -2*x - 3*x + 2064 = -l. Suppose 2*s - j = 3 - 5, -s = -5*j + 10. Suppose o - t - x = -4*t, -o + 4*t + 377 = s. Is o a prime number?
True
Let h(y) = -28*y + 5. Suppose -3*o + 32 + 7 = 0. Suppose 5*d + o = -2. Is h(d) a composite number?
False
Let r(x) = -3*x**3 + x**2 + 2*x - 29. Is r(-11) a prime number?
False
Is (-9523)/2*(-19)/((-19)/(-2)) a composite number?
True
Let m(n) = 1124*n**3 + 7*n**2 - 16*n + 9. Is m(2) a composite number?
True
Let z(i) = 21*i - 4 + 65*i + 0 + 57*i. Let c be z(3). Suppose -4*r = r - c. Is r composite?
True
Suppose -4*o - 26 - 14 = 0. Let n = o - -27. Is n/(((-5)/7)/(-5)) composite?
True
Suppose 328 - 4784 = -8*i. Is i composite?
False
Is 2/8 - (-350)/(-56) - -959 a prime number?
True
Let z be (-3 - -2)*(-2 + -2). Let l = z - -363. Is l composite?
False
Suppose 43187 = 2*u + z - 41253, z = 5*u - 211107. Is u composite?
False
Let c(q) = -1146*q - 15. Let y be c(-11). Suppose -3*h + y = 6*h. Is h a prime number?
True
Let n = -10033 + 39856. Is n prime?
False
Suppose -463*b + 467*b - 83444 = 0. Is b a prime number?
False
Let r = 21 - 16. Let j(u) = u**2 + 9*u + 5. Let i(g) = g**2 + 10*g + 6. Let k(b) = r*j(b) - 4*i(b). Is k(-8) a composite number?
True
Suppose 9 = 10*x + 9. Suppose x*y + 3*f + 4733 = y, -5*y + f = -23693. Is y a composite number?
True
Suppose 0 = 6*n - 4065 - 1953. Is n a prime number?
False
Let y(a) = a**2 - 4*a + 9. Let k be y(3). Suppose -5*x + 2179 = 4*d, -8*d + 1076 = -k*d - 2*x. Is d prime?
True
Let x(j) = 2724*j**2 - 1. Let a be x(1). Let q = -4139 + a. Is (2/(-8))/(6/q) a composite number?
False
Suppose -4*o + 22 = 14. Is 5/(-30)*-4*8457/o a composite number?
False
Let f be 0 + 1 + 3/(2 - -1). Is 157 + (-1 + f)*(4 - 4) a composite number?
False
Let n(h) = 114*h - 17. Let m be n(10). Let b = m + -596. Is b prime?
False
Suppose 49*b - 53*b = 180. Is ((-8)/(-28) - b/14)*194 composite?
True
Is (-2)/2*8/((-56)/83363) a prime number?
True
Let k be (2/(-6))/(5/195). Let p = 16 + k. Suppose -113 = -p*c - 38. Is c prime?
False
Suppose -2*f + 4 = -2. Let d = f - 1. Suppose -3*v - 2 = -4*v, d*b - v = 284. Is b prime?
False
Let f(x) = -25*x + 1. Let n be f(-19). Suppose n - 2573 = -3*g. Let u = g + -364. Is u prime?
False
Let l(y) = 592*y - 35. Is l(4) prime?
True
Let r be -13*((-3)/1)/1. Let k = r + -4. Is k a composite number?
True
Suppose 3*w + 4*t = 416, 5*w - 425 = 2*w + 5*t. Let a = -217 + w. Is 14/a - (-1170)/22 composite?
False
Let t be 10 + 1 - 0/(-6 + 2). Suppose -2*c = -x + 1009, -t*c - 1009 = -x - 15*c. Is x a prime number?
True
Suppose -3*r + 8 = -5*b, 0 = 4*b - 3*b - 3*r - 8. Let m be -4 + 4 + b/(-4). Is -6 - -269 - (-1 + m) a prime number?
True
Let z = 153 - 99. Is 9/z + (-5986)/(-12) composite?
False
Let j = 8342 + -3945. Is j prime?
True
Suppose -2435 = -2*s - 5*v, 4852 = 2*s + 2*s + 4*v. Let p = s - 815. Suppose 6*m - p = m. Is m composite?
False
Suppose 3*y - x + 2*x + 1655 = 0, -545 = y - x. Let l = -254 - y. Let m = l + -153. Is m a composite number?
True
Let f(c) = 4*c**2 + 10*c + 23. Is f(-4) a prime number?
True
Suppose 3*l = 5*u - 13, u - 8*l + 11 = -4*l. Suppose 3*h + 2 = 5, 1082 = 3*j + u*h. Is j a prime number?
True
Suppose 66*b - 61817 = 8077. Is b composite?
True
Let u = -2353 - -3615. Is u composite?
True
Suppose 20*b - 13*b - 232799 = 0. Suppose 17*n + 906 = b. Is n a composite number?
True
Suppose -8*n + 1121 = 153. Is n a prime number?
False
Suppose 343 + 112 = 5*q. Let c = q - 44. Is c a composite number?
False
Let l be ((-148)/(-6))/((-3)/(-387)). Let a = -1209 + l. Is a a prime number?
True
Suppose 5*v + 5680820 = 25*v. Is v a prime number?
True
Suppose 5*h - 20*i + 24*i = 119589, -5*h - 2*i + 119587 = 0. Is h a prime number?
True
Let n(c) = -100*c**3 + 3*c**2 - 18*c + 90. Is n(-7) prime?
False
Let q(p) = p**2 + 2*p - 5. Let w(n) = n**3 - n**2 - n + 6. Let f(m) = -m + 12. Let j be f(8). Let k(d) = j*q(d) + 3*w(d). Is k(3) prime?
True
Is -7386*(-1)/7 + (-1)/7 a composite number?
True
Suppose 0 = 2*s + 2*s + 20. Let t(a) = a**3 + 4*a**2 - 5*a. Let k be t(s). Suppose 0 = 5*d - k*d + 2*u - 101, d - 23 = u. Is d a composite number?
True
Suppose -5*g + 4235 = -4*u - 0*u, 5*g + 3*u - 4270 = 0. Is g a composite number?
True
Let u be 10/3 + 2/3. Let a(h) = 87*h + 9. Let b be a(u). Suppose b = 3*m - 0*m. Is m a composite number?
True
Suppose -4*d + 28 = 3*j, -2*d = -5*d - 2*j + 22. Suppose 0 = -d*o + 8*o + 1940. Suppose -o = 6*c - 8*c. Is c a prime number?
False
Let c(w) = -926*w**3 + w**2 - 5*w + 5. Is c(-3) composite?
False
Suppose -d - 5*r + 36800 = 4*d, 0 = -5*d - r + 36804. Is d prime?
False
Suppose -83208 = -23*w + 259561. Is w a composite number?
True
Suppose -k = -4, -3*s + 5*k - 11 = 3. Suppose -s*a = a - 1410. Let v = a + -253. Is v composite?
True
Let r(d) = 21*d**2 + 21*d - 37. Is r(12) composite?
True
Let b(g) = 111*g. Let f be b(1). Suppose j = i - 487, 5*j - 132 + 142 = 0. Suppose i = 2*w + 5*y - f, -y - 584 = -2*w. Is w prime?
True
Suppose -12*m - 2*m = -15218. Is m a composite number?
False
Let s(n) be the second derivative of 31*n**3/3 - 7*n**2/2 + n. Let f be s(4). Suppose 0 = 5*b + 4*t - 415, 0 = -3*b - t - 3*t + f. Is b prime?
False
Suppose 5*y = 0, -2*s - 3*y = -4*s + 10. Suppose s*l + 541 = w + 2*l, -4*w - 4*l = -2164. Is w prime?
True
Suppose -r + 0*x = -5*x + 2, -r + 2 = -x. Let w = -48 + 3. Is r/(-6)*(w - 1) a prime number?
True
Let v(y) = 11*y**3 + y**2 + 4*y - 3. Let h be v(3). Suppose -4*r + 1897 = -h. Is r composite?
True
Suppose l - 14 = 4*z - 0*z, z = -5*l + 7. Let u = 6 + z. Suppose u*w - 301 = 2*m - 85, -3*w - 4*m = -234. Is w prime?
False
Let z = 3546 + -1295. Is z a prime number?
True
Let g(h) be the first derivative of -h**4/4 - 2*h**3/3 - 21*h**2 - 3*h - 33. Is g(-13) a prime number?
False
Is (14/(-2))/((-37)/252451) a composite number?
True
Let i(o) = -831*o + 144. Is i(-7) prime?
False
Let r(p) be the first derivative of 22*p**2 - 29*p + 14. Is r(14) prime?
True
Is ((-6)/10 + 2)/((-17)/(-603755)) a prime number?
False
Suppose 0 = -63*j + 61*j + 203690. Is j prime?
False
Let x = 1439 + -685. Is x/3 + 1/(-3) a prime number?
True
Let o be (-188)/(-28) + -7 + 73238/14. Suppose 2*w = 4871 + o. Is w a composite number?
False
Let y = -26 + 14. Let f(q) = -3*q**2 + 12*q - 15. Let o be f(y). Let b = o + 848. Is b prime?
True
Let y = 48 + -54. Let h = 47 - y. Is h prime?
True
Suppose 4*j = -9 + 25. Let f be 35345/10 + 4/8. Suppose f = k + j*k. Is k a prime number?
False
Let m be ((-3 - -3)/2)/(-1). Is (m + 3/6)*1042 a composite number?
False
Let w(y) = 13*y + 4*y**2 - y**3 - 1 - 12 - 16*y**2 - 2*