= 4*x - 2*h + 10, 0 = x - 3*h - 3. Is (-69)/(0 - x/(-6)) prime?
False
Let y(w) be the second derivative of 5*w**4/24 - 2*w**3/3 - w**2 + 2*w. Let v(u) be the first derivative of y(u). Is v(5) composite?
True
Let l(g) = -g**3 + 13*g**2 + 4*g - 51. Is l(12) prime?
False
Suppose -4*t - 28 = -4*y, -2*y = -t + y - 17. Let q be t/((24/(-15))/4). Suppose 0 = 2*c - q*v - 12, 5*c - 5*v - 24 = c. Is c a prime number?
False
Let f(l) = -13*l - 3. Let s(r) = -r**2 + 2*r + 1. Let j be s(3). Is f(j) composite?
False
Let k(x) = x + 1077. Is k(0) a composite number?
True
Suppose -6*w + 5*w = -16. Let l(z) = -13 + 12 + w*z + 6*z. Is l(3) a prime number?
False
Suppose 0*z + 291 = 3*z. Is z a composite number?
False
Let t(z) = -8*z + 7*z + 3 + 14*z. Is t(4) prime?
False
Let n(p) = 13*p**2 - 3*p + 1. Is n(6) composite?
True
Let d = 643 - 145. Let j be d/18 - (-4)/(-6). Let c = j + 38. Is c a prime number?
False
Is 4 - 988/((-16)/4) a composite number?
False
Let s be (-4 - 0)*206 - 2. Let d = s + 1172. Is d composite?
True
Let r(w) = -w**2 - 7*w + 3. Let u be r(-8). Let s = u - -7. Is (-249)/6*(-4)/s prime?
True
Suppose 7*k - 21 = 4*k. Let v(g) = g**2 - 6*g + 6. Let l be v(k). Let y = l - 7. Is y prime?
False
Let o(r) = 8*r**2 - 5*r - 4. Let w be o(-6). Let c = w + 23. Is c a composite number?
False
Suppose -5*g = -8*g - 3. Is g/(-5) + (-1452)/(-15) a composite number?
False
Let o = 703 + 1038. Is o composite?
False
Suppose 0 = 3*u + 3 - 18. Suppose 0*q + u*q - 675 = 0. Let d = q + -82. Is d prime?
True
Let p(n) = 110*n**2 - n. Is p(1) composite?
False
Is 25668/15 + 3/(-15) a prime number?
False
Let k be (-9)/12 - (-7)/4. Let g be (1/k)/((-1)/(-27)). Suppose g = u - 22. Is u a composite number?
True
Let p = -24 - 14. Let t be (p/(-3))/((-1)/(-6)). Is t/6*(-3)/(-2) composite?
False
Suppose -2*g - 102 = -4*g. Is g a prime number?
False
Suppose -12*i = -16*i + 136. Is i a composite number?
True
Let t = 2 - -2. Suppose 3*c = t*c + 217. Is 3/4 + c/(-4) composite?
True
Let f(u) = -377*u + 2. Is f(-1) composite?
False
Suppose -4*n - 3*g + 494 + 1499 = 0, -5*g = -4*n + 2033. Suppose z = -z + n. Is z prime?
True
Is 7662/((-48)/(-20) - 4/10) composite?
True
Suppose -3*u - x = -0*u - 2362, 0 = 5*x - 5. Is u a composite number?
False
Let u be 7 + -2*(2 + -1). Suppose -u*m + g + 21 = 0, -g - 2*g + 7 = -m. Suppose 4*n = 2*c + 96 + 50, -m = -5*c. Is n composite?
False
Let o be (27/(-2))/((-3)/4). Suppose -s = 3*s - 16. Suppose 130 + o = s*a. Is a composite?
False
Let y be ((-1)/2)/(2/8). Let w be y*(-34)/(-8)*-6. Suppose 0 = -5*j + w + 74. Is j a composite number?
True
Let f = -47 + 126. Is f composite?
False
Let a(d) be the first derivative of -5*d**4/2 - 2*d**3/3 - d**2 + 4*d + 5. Is a(-3) a composite number?
True
Is (-12)/60 - (-416)/5 a prime number?
True
Is -517*1*(-2 + 1) a prime number?
False
Suppose 2*i - 4*i = -2*x - 260, -5*i + 690 = 5*x. Is i prime?
False
Let s be (-15)/4 + (-2)/8. Let w = s + 8. Suppose 0 = -9*j + 4*j + 5*f + 365, -247 = -3*j - w*f. Is j composite?
True
Let s(q) = q**3 + 11*q**2 + 11*q - 5. Let p be s(-9). Suppose 4*f = 4, x + 2*x - p = -f. Is x a prime number?
True
Suppose -1766 = -4*c - d + 1002, 5*c = -2*d + 3463. Is c a prime number?
True
Let s(a) = -2*a - 2. Let i be s(-3). Suppose 4*b = -12, 7*t - i*t - 18 = 2*b. Suppose -4*c + t = 0, g + 4*g - 52 = -2*c. Is g composite?
True
Suppose 0*o + 18*o - 168930 = 0. Is o prime?
False
Is 3 - ((0 - -4) + -192) a prime number?
True
Suppose 2*b - 5*p = 16, 0 = 2*b + 2*b + 2*p - 56. Let d be -1*8 + 0 + 2. Let g = b + d. Is g prime?
True
Let a be -1 - (-7 + 0 + -2). Let m(j) = -j**3 + 8*j**2 + 2*j + 6. Is m(a) a composite number?
True
Let k(z) = 7*z**2 + 4*z + 5. Let y be k(-2). Is (-10)/y - 1327/(-5) composite?
True
Suppose -6*y + 3*y - 5*o = 19, 2*y - 4*o - 24 = 0. Let a be (7 - y)/(2 + -1). Suppose -139 = -a*n + 36. Is n a composite number?
True
Suppose 0 = 2*y - 5*t + 29, 4*y - y - 3*t + 30 = 0. Let r(l) = -2*l**3 - 8*l**2 + 5*l. Is r(y) composite?
True
Let a = 201 + -118. Is a a composite number?
False
Suppose -3*p - p = 8. Let w be 2 + -3 + p/(-2). Suppose w = -8*f + 3*f + 575. Is f prime?
False
Suppose 2*s - 4*s = -148. Is s a composite number?
True
Let k = -50 - -17. Let v = k - -12. Is (10/(-2))/(3/v) composite?
True
Let j(h) = 3*h**2 - 4*h - 1. Suppose -3*m + 6 = -3*a, 2*m = -3*m + 2*a + 16. Is j(m) prime?
True
Let c(b) = -b + 1. Let w(q) = -3*q + 10. Let v(z) = 10*c(z) - 2*w(z). Is v(-11) a composite number?
True
Suppose 4*a = -0*a + 1412. Is a composite?
False
Let q(h) = -h + 3. Let i be q(5). Let t = 0 + i. Is t/((-6)/147) - 2 a composite number?
False
Suppose 0 = i - 2, 2*l + l - 5*i = -4. Suppose r - 73 = 4*h, -l*h = 3*r - 5*h - 228. Is r composite?
True
Let c be 5/(5/4) + 0. Let i be (1 - 9) + (c - 2). Let r = 39 + i. Is r composite?
True
Suppose -4*u + 443 = -m, 0*m - 4 = -4*m. Is u a prime number?
False
Let b(n) = 6*n**2 - 5*n - 2. Let r(g) = 7*g**2 - 5*g - 1. Let z(h) = 3*b(h) - 2*r(h). Is z(5) a prime number?
True
Let w = -90 - -64. Let p = w + 65. Is p composite?
True
Suppose -2*z + i + 1 + 17 = 0, -5*i + 15 = 5*z. Let g = z - 7. Suppose -5*x - 3 - 7 = g, d - x = 115. Is d a composite number?
False
Suppose 11*c = 17*c - 126. Is c composite?
True
Let j(n) = -n**3 - n**2 - n + 3. Let b be j(0). Suppose 0 = -3*r + r - b*s + 152, s = -5*r + 393. Is r composite?
False
Let t = 1105 - -256. Is t a composite number?
False
Let k = 44 + -11. Is k a prime number?
False
Suppose -y + 210 = -5*m, 5*m = -2 - 3. Is y a composite number?
True
Suppose -2*c + 20 = 4*g + 2*c, -5*c + 1 = -g. Suppose -106 = 4*s + s - g*v, 2*s - 4*v = -52. Is (-2)/9 + (-670)/s prime?
True
Let r(c) = 23*c - 7. Is r(4) composite?
True
Let g = -332 - -711. Is g prime?
True
Let c(z) = -z**2 - 6*z - 4. Let n be c(-4). Let g(y) = 12*y**2 - 2*y - 5. Is g(n) composite?
False
Suppose 4*d = 4, d + d - 553 = -n. Is n prime?
False
Let q = 584 - 171. Is q a prime number?
False
Let a(h) = -6*h + 4*h**2 + 22 - 19 + 2*h. Is a(-4) prime?
True
Let j = 145 - 86. Is j a prime number?
True
Let b(g) = g + 2. Let m be b(0). Suppose -m*y = -50 - 122. Is y composite?
True
Let k(y) be the second derivative of 5*y**4/12 - y**3/6 + 5*y**2/2 + y. Suppose 4*l = -10 - 6. Is k(l) a prime number?
True
Let f = -1 - -4. Is 15*-2*f/(-9) prime?
False
Let k(h) be the second derivative of -h**5/20 - h**4/4 + 4*h**3/3 - 13*h**2/2 - 2*h. Is k(-7) prime?
True
Suppose -q + 0*q - 4 = 0, q = -2*i + 12. Suppose -4*p = -20 - i. Is 2/((-5)/p + 1) composite?
False
Let n(r) = -2*r**3 - 4*r**2 - 5*r + 9. Let l be n(-7). Is (28/8)/(3/l) composite?
True
Let r(f) = -6*f - 5 - f**2 + 4*f**2 + f**3 + 4*f**2. Is r(-6) a prime number?
True
Let b = 1 - -4. Is 70/b*(-2)/(-4) a composite number?
False
Let h be 5/15*(2 - -1). Let o = 4 - h. Is 652/6*o/2 composite?
False
Let f = -2 + 4. Let h(m) = -m**3 + 4*m**2 - m - 2. Let i be h(f). Suppose -j + i*j - 145 = -4*u, 2*j - 3*u - 125 = 0. Is j a prime number?
False
Suppose -5*d + 0*i - 2*i = -23, 0 = 5*d - 5*i - 30. Suppose c + d = 0, -9 = 3*u + 4*c + 5. Suppose v - 111 = -u*v. Is v composite?
False
Let i be 230/(1/(-2) + 1). Suppose 0 = 3*w + 4*g - 279, 0*w = 5*w + 5*g - i. Is w a prime number?
True
Suppose -63*d = -60*d - 2937. Is d a prime number?
False
Let r(g) = -3462*g - 9. Is r(-1) composite?
True
Let z be 443 + 0/(8 + -4). Suppose z = -0*h + h. Is h prime?
True
Let z = 10 - 7. Suppose -4*v + 261 = -v - z*i, -4*v + 2*i + 340 = 0. Is v prime?
True
Let q(u) = -6*u**2 - 9*u - 3. Let m(t) = -5*t**2 - 9*t - 3. Let h(r) = -7*m(r) + 6*q(r). Let g be h(9). Suppose -c + 40 = g. Is c a composite number?
False
Let x(d) = 7*d**3 + 7*d**2 + 5*d + 2. Let r(l) = 8*l**3 + 8*l**2 + 5*l + 3. Let b(s) = 5*r(s) - 6*x(s). Is b(-4) prime?
False
Suppose 16 = 4*g - 232. Is g a prime number?
False
Suppose -128 + 23 = -3*x. Is x prime?
False
Suppose -a + 114 = -267. Is a a composite number?
True
Is (-8273)/(-9) - (-1 - (-77)/63) prime?
True
Let k(a) be the third derivative of -2*a**2 + 0*a + 1/3*a**4 - 1/6*a**3 + 0. Is k(4) a composite number?
False
Let d be (0/(-1 - 1))/1. Suppose -5*a = -d*a - 805. Is a composite?
True
Let h be 0 + 0 + 2 + 3. Suppose -3*n + p = -847, 3*p = -7 - h. Let c = -90 + n. Is c a composite number?
False
Suppose 5*t = s + 44, -2*