**3/3 - 7*j**2 - 11*j. Is h(-7) composite?
True
Let b(c) = c**2 - 4*c - 3. Let o be b(6). Let n(u) be the first derivative of u**3/3 + 3*u**2/2 - 11*u - 173. Is n(o) prime?
True
Let u = 41 + -26. Is 1 - (-3726)/15 - 6/u a composite number?
True
Suppose 0 = -5*b - 5*r, -b + 3*r + 12 = -8. Suppose 0 = b*p - p - 8, -5*z = -5*p - 23205. Is z a prime number?
True
Let v = 2471 - 972. Is v composite?
False
Let p(w) be the third derivative of -w**6/60 - 11*w**5/30 - 13*w**4/12 + w**3/2 - 27*w**2. Is p(-14) a prime number?
True
Suppose -3*c = 16 + 161. Let l = -36 - c. Is l prime?
True
Let c(k) = -k**2 - 7*k - 2. Let f be c(-6). Is 7968/(f - 0) - -2 prime?
False
Let y(g) = -5*g**2 - 2*g - 2. Let u be y(-3). Let o = u + 66. Let j = o - 18. Is j a prime number?
True
Let q = -225 - 8. Let p = q + 401. Suppose 0 = 3*o + 15 - p. Is o composite?
True
Suppose 55 = 3*q - 20. Let f = 25 - q. Suppose f*m - 5*x = m - 541, 4*x = 0. Is m a prime number?
True
Let z(a) = -8 + 3*a**2 - 26*a + 13*a**2 - a**3 + 45*a. Is z(13) prime?
False
Let p(t) = 6*t - 9. Let y be p(6). Let m be 131/(-3 + 159/54). Is m/y*3/(-2) prime?
True
Let j(n) = n**3 - 9*n**2 + 3*n + 10. Let q be j(8). Let c = 4 - q. Is c prime?
False
Suppose -3*y - 3*z + 420 = 0, 233 + 179 = 3*y - 5*z. Is y a composite number?
False
Suppose 2*q = -9*q + 4114. Suppose 83*d - q = 81*d. Is d prime?
False
Let u = -674 + 988. Is u composite?
True
Suppose c = 5*f - 3*c - 2259, 3*f - 1349 = 4*c. Let y be 4*1 + 2 + -2. Suppose -d + f = y*d. Is d a composite number?
True
Let x(i) = 5*i**2 - 24*i - 22. Is x(-27) a prime number?
True
Suppose 50*t - 1500616 = 1048834. Is t a composite number?
False
Let z(y) = -2*y**3 - 22*y**2 + 8*y - 121. Is z(-18) prime?
True
Suppose 9*d = 8*d - 3*c + 32001, 5*d - c = 159941. Is d a composite number?
True
Let u(x) = -192*x + 102*x + 13 - 192*x - 144*x. Is u(-3) a prime number?
True
Let y be (-12)/3 + -12697 - -1. Is (-2)/(-7) - y/140 a composite number?
True
Let g(l) = l**3 + 12*l**2 + 7. Let n be g(-12). Suppose -n*j + 361 = -6*j. Is j composite?
True
Let l be ((-16)/20)/(2/(-70)). Suppose i + 1 = l. Suppose -22*w = -i*w + 3455. Is w composite?
False
Let z(g) = -g**3 + 5*g + 5. Let b be z(-5). Let a be (-2)/(313/b + -3). Is (12/(-15))/((-6)/a) a prime number?
False
Suppose 3*o = 6*o - 4*z - 10703, -2*z = -3*o + 10699. Suppose -p + 6*p = o. Is p composite?
True
Suppose -3*j + 1349 = -256. Let z = 794 + j. Let f = z - 910. Is f composite?
False
Let k(q) = -7*q**2 + 3*q + 3. Let p be k(-1). Let x(y) = y**3 + 10*y**2 + 9*y + 3. Is x(p) composite?
True
Let q(s) = 2*s**3 + 5*s**2 + 14*s - 8. Is q(5) composite?
True
Let l(n) = 9*n + 3. Let r be l(-1). Let k(h) = h**3 + 8*h**2 + 11*h - 1. Let i be k(r). Suppose 2*g - i*g = -534. Is g prime?
False
Suppose 0 = -b - 1 + 2. Suppose 2*r - 11 + b = 0. Suppose -5*n + r*k + 10 = 0, 0 = -n - k - 3*k + 27. Is n a composite number?
False
Suppose -2*v - 3*v = -20. Suppose 6*s - v*s - 1958 = 0. Is s composite?
True
Suppose 8*r - 26366 = -5758. Is r/4 - (-3)/1 composite?
False
Let w be 99/(-36) - (-1)/(-4). Let v be 7 + (7 - 1)/w. Suppose -2*n + 580 = 4*j - v*n, -725 = -5*j - 3*n. Is j composite?
True
Suppose 8*n - 3*n - 10 = 0. Suppose m - 3*u = -8, -2*m - 4*u = -6 - 28. Suppose -m*v + 775 = -n*v. Is v prime?
False
Suppose 7*b = -7277 + 26786. Is b a composite number?
True
Suppose 0 = 2*h + 4*y - 12, -3*h + 2*y + 1 = -1. Is 0 + (-950 + h)/(-4) a composite number?
True
Suppose 4*y - 1061 = o + 1138, 4*y = -2*o + 2214. Is y composite?
True
Suppose -6*g + 3*g = 2*q + 8, 0 = -3*g + 3*q + 12. Let x(j) = 5*j**2 - 9*j - 7. Let b be x(-8). Suppose g = -2*t - 3*t + b. Is t a composite number?
True
Suppose -5*z - 3*g - 3395 = 0, 0 = -5*z + 3*z - 3*g - 1358. Let m = z + 1788. Is m a composite number?
False
Suppose -11*l = -18*l + 40117. Is l prime?
False
Let x = -54 + 56. Suppose 74 = -0*g + x*g. Is g a composite number?
False
Let m(n) = -4*n**2 - 1 - 5*n**2 - n**2 + 4*n**3 - 4. Is m(7) prime?
True
Let y be -2 + 1 - (26 - 31). Suppose u + 7320 = 5*a + 6*u, -a + 1469 = -y*u. Is a composite?
True
Suppose -3*q - 12 = -2*z, 4*q + 1 + 15 = -5*z. Suppose -p = -z*p - 74. Suppose 0 = -5*t + 2*w + p, 0 = t + 2*t + 2*w - 38. Is t a composite number?
True
Suppose 3*j + 5769 = -j - 3*m, -2*j = m + 2885. Let g = j + 2110. Is g prime?
False
Suppose 0 = 3*h - 0*h + 771. Let j be 3/((4/h)/(-4)). Let n = -352 + j. Is n prime?
True
Suppose t = 2*t + 4*b - 22, -4*b = -4*t + 8. Is ((-3)/(t/(-662)))/1 a prime number?
True
Let u(w) = -w**3 + 10*w**2 + 4*w + 13. Let g be u(9). Suppose 1712 = 6*z - g. Is z composite?
False
Let y(s) = 6*s**2 + 13*s - 35. Let v be ((-3)/(-9)*-14)/(3/9). Is y(v) a prime number?
False
Let b(j) = -j**3 + 4*j**2 - 5*j. Let p = 30 - 26. Let h be b(p). Let i = h - -211. Is i prime?
True
Suppose 2*g = -2*c + 18174, -4*g + 0*g + 27257 = 3*c. Is c a composite number?
False
Let h(l) = l**3 + 7*l**2 + 5*l - 4. Let b be h(-6). Suppose -b*s = -6*s + 20. Suppose -6*w = -s*w - 119. Is w a composite number?
True
Suppose 0 = -2*m - 3*f - 13, -f + 5 = -2*m - 2*m. Is 1 + 443 + 3 + m a prime number?
False
Let r(o) = 10*o**3 - 5*o**2 + 4*o. Let t be r(2). Let g be (-1*1)/((-17)/t). Suppose g*h - 188 = -8*x + 4*x, 145 = 3*h + x. Is h composite?
True
Suppose 2*m - 21734 = -5*p, 4*m + 4*p = 3*p + 43468. Suppose m + 7127 = 6*a. Is a a composite number?
False
Let o = -3 - -58. Suppose -3*m + 5*r + 11 = -2*m, -4*r = -3*m + o. Is m composite?
True
Suppose 3*l - 6522 + 1095 = 0. Let q = l - 787. Suppose 0 = b - q + 279. Is b prime?
True
Let s(j) = 306*j + 457. Is s(40) a composite number?
False
Suppose 0*q + 4*q = -12. Let y be 4 + q + (-1)/(-1). Let r(v) = 39*v + 1. Is r(y) a composite number?
False
Let z(o) = -2*o - 5. Let s be 5/(1*(2 - 3)). Let h be z(s). Suppose -n + 194 = -h*a - 205, 1159 = 3*n + 4*a. Is n prime?
True
Let o(m) = -139*m - 96. Is o(-65) a prime number?
False
Let l = 3168 + 57. Let j = -1194 + l. Is j a composite number?
True
Let s(g) = 38*g + 47. Is s(9) a prime number?
True
Let a(l) = 34*l**3 + l**2 - 1. Let p be a(1). Suppose 25*i = -11*i + 2484. Let v = i - p. Is v prime?
False
Let p(w) = w + 12. Let x be p(-12). Let f be x/(-5 - 8/(-2)). Suppose 3*s - 6*s - 12 = f, 3*i + 5*s = 154. Is i a composite number?
True
Let f(a) = 1917*a + 7. Is f(3) a prime number?
False
Let h(s) = 30*s + 10*s - 12*s + 3*s - 3. Let y(x) = x**3 + 3*x**2 + 2. Let f be y(-3). Is h(f) a composite number?
False
Let n(i) = -i**3 + 6*i**2 - 3*i - 5. Let l be n(5). Suppose 1043 = l*h - 72. Is h prime?
True
Is ((-43841)/28)/((-9)/108) a prime number?
False
Let m(t) = -5*t + 25. Let b be m(-7). Is 494*(-17)/(-6) - 40/b a prime number?
True
Suppose 17*b = 535 + 9444. Is b a composite number?
False
Suppose 12*n + 48191 = 25*n. Is n a prime number?
False
Suppose -5*b = 20, -2*k + 2969 = 2*b - 24093. Is k a composite number?
True
Suppose 243 = 4*v - 165. Is (v/(-8))/(16/(-64)) prime?
False
Suppose 8*w - 4*w = -8. Is (-6)/(-24)*987 - w/8 a composite number?
True
Let g(y) = -188*y + 35. Is g(-9) a composite number?
True
Let u(q) = 316*q**2 + 3*q - 161. Is u(10) composite?
False
Let c = 374 - -49. Suppose -2*h - 3*h - c = -3*v, 2*v - 295 = -h. Is v prime?
False
Let b = 71 + -74. Let h(p) = 3 - 3*p**2 - 2 - 8*p**3 - 4*p - 10*p**3 + p**3. Is h(b) a prime number?
False
Let r be (-133)/(-35) + 2/10. Is 7592/18 + r/18 a composite number?
True
Let r = -204134 + 289181. Is r composite?
True
Let x = 15 - 13. Suppose -x*y + 60 = -6*y. Is (-522)/y + (-1)/(-5) a prime number?
False
Is (-2)/(5/(238010/(-4))) a prime number?
True
Suppose 5*b - 2*x = 6683, -2669 = 3*b - 5*b + 5*x. Is b a prime number?
False
Let n be 38 - 1 - (1 + 2). Let s = 23 + n. Suppose 0 = 3*m + s - 330. Is m a composite number?
True
Let i(c) = 3*c - 17 + c - 3*c + 2*c. Suppose -4*m = -5*h - 47, -h - 31 = -3*m + 7. Is i(m) a prime number?
False
Let o(h) be the second derivative of -1/6*h**3 + 1/12*h**4 + 337/2*h**2 + 6*h + 0. Is o(0) composite?
False
Let m(t) = -t - 1. Let f be m(-8). Suppose -2*x - 48 = 5*h, -4*h + f*h = 5*x - 4. Is 82 + 4*(-2)/h a prime number?
True
Let b(i) = 844*i + 87. Is b(14) a prime number?
True
Suppose 2*i - 3 - 3 = 0, 5968 = 5*o + i. Is o a composite number?
False
Is 0 + ((-18)/30 - (-373)/5) a prime number?
False
L