) composite?
True
Let u(d) = 36*d**2 - 2*d - 1. Let b = -11 + 10. Is u(b) prime?
True
Let m(r) = -7*r**2 + 4*r + 5. Let z(g) = 7*g**2 - 4*g - 5. Let s(i) = 6*m(i) + 7*z(i). Let v = 19 + -13. Is s(v) a prime number?
True
Let g(p) be the third derivative of p**4/24 - 5*p**3/6 - p**2. Let t be g(6). Is t/(-2) - (-75)/10 composite?
False
Suppose d = 5*t - 3114, 3*t - 1019 - 852 = -2*d. Is t a prime number?
False
Suppose 3*o + 3*n + 3 = 0, 0 = -n - 4*n - 10. Let y = 90 - o. Is y composite?
False
Suppose 4*r = 674 + 1346. Is r a composite number?
True
Let f = 38 + -25. Suppose 4*j - 71 - f = 0. Is j composite?
True
Let c = 75 + 6. Let z = 126 - c. Suppose 4*s - 47 = z. Is s a composite number?
False
Let m be (-16)/((-3)/(-24)*-2). Let o = -43 + m. Is o a prime number?
False
Suppose 0 = -3*v + 5*v - 5138. Is v prime?
False
Suppose -5*c = -6 - 4. Let x = 11 + -8. Suppose -x*i + 191 = -c*i. Is i composite?
False
Let r(f) = -5*f + 1. Is r(-14) a prime number?
True
Suppose 5*r + 47 = 4*t - 6*t, -3*t + 5*r - 83 = 0. Let c be t/(-10) + 2/5. Suppose -2*z - 53 = -3*f, -c*f + 8*f - 3*z - 89 = 0. Is f prime?
True
Suppose -3*n = n + 80. Is (n/6)/(6/(-117)) prime?
False
Suppose 4*s = 2*s - 12. Is s - -7 - (-26 - -1) a composite number?
True
Let g = -168 - -100. Let h = -33 - g. Is h a prime number?
False
Suppose 8 = -4*j, -a - j + 21 = -1627. Let u = a + -1087. Is u a prime number?
True
Is (-906)/(-4) - (-3)/(-6) composite?
True
Let r = 27 - -58. Is r a composite number?
True
Suppose -9*m = -4*m. Suppose b - 6*b + 565 = m. Is b prime?
True
Let d(f) = -f**2 + f - 1. Let c(k) = -6 + k**2 + 7*k - 3*k**2 + 4*k**2. Let h(v) = c(v) + 3*d(v). Is h(8) prime?
True
Let b(p) = 19*p**2 + p + 1. Suppose 1 = f - 1. Suppose f*i - 2 = i. Is b(i) a prime number?
True
Suppose -2*s + 5*a = -604, 0*s + 911 = 3*s - 5*a. Is s a prime number?
True
Let b = -186 - -271. Is b composite?
True
Let c(y) = y**2 + 1. Let j(v) = v**2 - 5*v - 1. Let d be j(5). Let o be c(d). Suppose -o*m = 3*m - 445. Is m a composite number?
False
Let n(g) = g**3 + g**2 + g + 1. Let i be n(-1). Suppose 3*v + v - 56 = i. Is v composite?
True
Suppose 3*c + 40 = -2*c. Let x be (5 - -1)*(-8)/3. Is (102/c)/(4/x) a composite number?
True
Let p(l) be the third derivative of -l**6/120 + 7*l**5/60 - l**4/8 + l**3/6 - l**2. Let q = 8 + -2. Is p(q) composite?
False
Let n(m) = -m + 4. Let u be n(4). Let h(z) = z**2 - 7*z - 2. Let v be h(4). Is v*(10/(-4) + u) a prime number?
False
Let k(j) = j. Let h be k(4). Suppose 5*l = 2*f + h*l - 128, 5*f - 317 = 4*l. Is f a composite number?
True
Let y(v) = -2*v**3 + 2*v**2 + v + 2. Let m be y(2). Is (2 + 604/m)*-1 prime?
True
Let i = -871 - -1328. Is i a composite number?
False
Suppose -5*l + 1070 = 3*f, 2*l + 1 = -3*f + 438. Is l a prime number?
True
Let v be 4/22 + (-192)/(-33). Let p = v - 6. Suppose -3*y + 2*y + 3*c + 77 = p, 4*y - 291 = -5*c. Is y a composite number?
True
Let a be (-1)/(-3) - (-730)/15. Let r = 6 + a. Is r a composite number?
True
Let q = 81 + -85. Suppose 2 = 2*n - 2, -5*n + 18 = 4*m. Is ((-38)/q)/(1/m) prime?
True
Let r(j) = -j + 3. Let d be r(5). Is (-1)/d*(179 + -1) a prime number?
True
Let l(j) = j**2 + 3*j - 5. Let q be l(-4). Let v be 90*3*(-1)/(-6). Is (-2)/(-1) - v*q a composite number?
False
Suppose 0 = -3*s - 12*s + 29235. Is s a prime number?
True
Suppose -2*k = -4*p + 242, 5*p = 2*k + 338 - 38. Suppose -37 = -b + 5*c + p, 3*c = 4*b - 448. Is b a prime number?
False
Suppose t = 767 + 1332. Is t a composite number?
False
Let c(i) = -i**3 + 8*i**2 - 6*i - 2. Let j be c(7). Suppose -2*o + 245 = 5*m, -5*o - 102 - 108 = -j*m. Is m a prime number?
True
Suppose 0 = -2*c + 5*d + 253, 2*c + 0*c + 3*d - 245 = 0. Let o = 51 - c. Let h = o - -138. Is h prime?
False
Let v(i) = -588*i**3 - i**2 - 2*i - 2. Is v(-1) composite?
False
Let n = 7 - 3. Let o be (-2)/((-8)/(-15))*n. Let m = o + 28. Is m prime?
True
Let s = 810 - 407. Is s composite?
True
Suppose 0 = -5*k + c + 228, 0 = 4*k - 5*c + c - 192. Let d = -13 + k. Suppose -24 = -4*y + d. Is y a prime number?
False
Let h = 137 + -116. Is h prime?
False
Let n = 222 - 99. Is n composite?
True
Suppose 2*z - 3*z + 3*i = -91, 166 = 2*z - 2*i. Is z a prime number?
True
Suppose o = 415 + 76. Is o a prime number?
True
Let z be ((-8)/(-10))/((-6)/(-15)). Let f(x) = 12*x**2 - 15*x + 2. Let p(u) = -6*u**2 + 8*u - 1. Let i(v) = 6*f(v) + 11*p(v). Is i(z) a composite number?
True
Suppose 6*z = z. Is (z - -1)/((-7)/(-259)) prime?
True
Suppose 3*h = h + 292. Is h composite?
True
Suppose 0 = 3*v + v + 20, 2*v + 12 = f. Suppose 5*r + 0*m - 379 = -f*m, -2*r = 3*m - 145. Is r prime?
False
Suppose 0 = -5*b - 6470 - 7905. Is 6/(-9) + b/(-15) composite?
False
Suppose 3*w - 18 = 3*j, 3*w + j - 26 = 2*j. Suppose 2*q + w = 0, 58 + 13 = 2*d + q. Suppose l = 3*l - d. Is l a prime number?
True
Let h be 2/16 - 90/(-48). Is 2 + (h - 0) + 259 a composite number?
False
Is (-12)/(-18) + (-1399)/(-3) a prime number?
True
Let k be -3*(1 - 10/6). Suppose 9 = -3*h, -3*j - k*h = -0*j - 387. Is j prime?
True
Let w(s) = 18*s**3 + 2*s**2 - 11*s - 4. Is w(3) composite?
False
Suppose g + 158 = 3*g. Suppose 5*l = 21 + g. Let y = l - -17. Is y a composite number?
False
Let x(g) = 3*g**2 - g - 5. Is x(11) prime?
True
Let a(l) = 2*l - 5. Let n be a(4). Suppose 5*b - 40 = 5*w, -b - 2*b - n*w + 42 = 0. Is b a composite number?
False
Suppose 3*a = -2*i + 801, -a - 1342 = -6*a - i. Is a prime?
True
Let t be (2 - (3 - 1))*1. Let u be (0/(t - 1))/(-2). Is 4 + u - (0 + 1) a composite number?
False
Let t(w) = -3*w**2 - w - 5. Let r be t(4). Let c(f) = 3*f + 3. Let h be c(-9). Let a = h - r. Is a composite?
True
Suppose -5*n + 279 = -1651. Is n composite?
True
Let l(g) = -g**3 - 7*g**2 - 2*g + 9. Let d be l(-7). Let p = 23 + d. Let m = p + -23. Is m prime?
True
Let c = 14 + -20. Is 3/6*c + 56 a prime number?
True
Is ((-4)/8)/((-1)/586) prime?
True
Suppose -4*i = 2 + 2, 8 = 3*b + i. Suppose 317 + 310 = b*d. Is d composite?
True
Let d(k) = 5*k. Let i be d(11). Let y = 103 - i. Suppose 4*g - 3*m - 114 - y = 0, -8 = 4*m. Is g prime?
False
Is (-89*1)/((-2)/14) a composite number?
True
Suppose 3*s = -3*f + 984, 528 = 3*f + s - 462. Suppose 4*t - 217 = f. Let h = -84 + t. Is h prime?
True
Suppose -a + 4*k = 14, 0*a - 2*k - 2 = a. Is -230*(-3)/a*-1 composite?
True
Is 12/(-20) - (4 + (-20952)/20) a prime number?
False
Let n = -180 - -127. Let f = n + 90. Is f a composite number?
False
Let q = -83 - -302. Is q composite?
True
Let l = 4 + -4. Suppose l = -f + 4*n - 58, -n - 123 = 2*f - 2*n. Is (f/(-4))/((-4)/(-8)) composite?
False
Let h(f) = 3*f**3 - 7*f**2 - 4*f + 7. Is h(6) composite?
False
Is 3766/26 + (6/39 - 0) a composite number?
True
Suppose 5*j = 11 + 14. Suppose -j*s = -145 - 30. Is s prime?
False
Let a be (-32)/(-6) - 2/6. Let r be ((-1341)/12)/(9/(-12)). Suppose -2*q = 2*u - 264, -a*u + 23 = -q + r. Is q composite?
False
Let s(n) = 2*n**2 - 2*n - 2. Let h be s(-4). Let f = h + -1. Is f prime?
True
Let i(o) be the third derivative of o**5/30 - o**4/6 + 3*o**3/2 + 6*o**2. Is i(-5) composite?
False
Let o(d) = d**2 - 7*d + 4. Let p be ((-28)/(-16))/(2/8). Let f be o(p). Suppose -f*h - 3*z = -5*z - 140, -2*h = -5*z - 54. Is h a prime number?
True
Let z(o) = 54*o**2 - 3*o - 1. Let j(l) = l**2. Let g(u) = -4*j(u) + z(u). Is g(-2) composite?
True
Suppose n - 239 = -q, -7*q - 3*n + 1187 = -2*q. Suppose 5*k + q = 870. Is k composite?
False
Let w = -6 - -9. Suppose -v = 4*o - 4, -2*v - 5*o + 5 = -0*o. Suppose 0 = -v*i + w*i - 12. Is i a composite number?
True
Let f be ((-2)/(-3))/(3/(-9)). Suppose 16 = -2*v + 3*p, 4 + 36 = -5*v + 4*p. Is f*(-22)/v*-14 a composite number?
True
Let k(u) = -u**2 - 23*u + 19. Is k(-10) a prime number?
True
Let t(s) = -s + 16. Let l be t(14). Suppose -91 + 22 = -w. Suppose 5*q = l*q + w. Is q prime?
True
Let k(l) = l**3 - l**2 - l + 5. Let y be k(0). Let q(n) = 3*n**3 - 4*n**2 + 7*n - 3. Is q(y) a prime number?
True
Let t = 2591 - 200. Is t a composite number?
True
Suppose -2*t + 1 + 5 = 0, 4*r + 5*t = 191. Suppose -k + 4*i - r = -2*k, -242 = -5*k + 2*i. Suppose 5*f = 2 + k. Is f prime?
False
Let c(m) = -2*m**3 + m**2 - m. Let k be c(3). Let n = k + 135. Is n prime?
False
Let x(g) = 82*g - 1. Is x(11) a prime number?
False
Suppose 0*h = -4*h + 20