y**3 + 1. Let f(x) be the third derivative of n(x). Is f(5) composite?
False
Let n(r) = 9*r**2 + r + 1. Let h(y) = -2*y - 12. Let g be h(-5). Is n(g) composite?
True
Let u = -490 - -1081. Is u prime?
False
Suppose -3*p = p + 8. Let l(c) = -16*c**3 - 3*c**2 - 2*c - 1. Let s be l(p). Suppose -u + s - 6 = 0. Is u composite?
False
Suppose -62 = -2*t + 2*o, -t + 4*o = 4*t - 150. Let l = 53 + t. Is l a prime number?
True
Let j(x) be the third derivative of x**4/3 + 2*x**3 + 2*x**2. Let i be j(-8). Let n = i + 91. Is n prime?
False
Let t(u) = u + 22 - 7*u + 7*u. Suppose 0 = 2*w + 2*w. Is t(w) a prime number?
False
Suppose -q + 2*u = -5*q + 22, 0 = -5*q + 5*u + 20. Is 2/(q + -1)*78 a prime number?
False
Let f be (-4 - -5)/(1/(-7)). Let b = f + 12. Suppose -24 - 46 = -b*u. Is u a prime number?
False
Suppose -4*n + 12 = -156. Suppose -227 = -5*g - n. Is g a prime number?
True
Let l = 15 - 8. Let q = 4 + l. Is q a prime number?
True
Suppose 0 = -4*j + b - 271, 6*j - j = 5*b - 335. Is (-2 - -1)*(j - 3) prime?
True
Let y(i) = -23*i**2 + 7*i - 5. Let b be y(4). Is ((-21)/(-9))/((-5)/b) a prime number?
False
Is (-4)/(-6) - 366/(-18) a composite number?
True
Let c(n) = -2*n**2 + 1 + 4 + 3*n**2 + 4*n. Is c(10) prime?
False
Let t be (-1 + (-4)/(-2))*3. Suppose -2*p - 75 = -s, 10*s - 5*s - 347 = t*p. Is s a prime number?
True
Suppose -2*f + 800 = -0*f. Suppose 5*w - 3*a - 2*a = f, 2*w = 4*a + 164. Is 2/(-4) - w/(-4) prime?
True
Is (20/(-3) + 1)*-15 a prime number?
False
Let c = -5 + 7. Is 31 + 2 + (-4)/c composite?
False
Suppose 4*p = -5*x + 20, 4*p - 5*x = -p - 20. Suppose a = -3*l + 2 - p, -l = 2*a - 19. Is a prime?
True
Let o be 4/1 + (-2)/(-2). Suppose 0 = -o*j + 3*j + 186. Let m = 34 + j. Is m composite?
False
Let f = 527 - 168. Is f composite?
False
Suppose 4*l = 2*y - 6 - 12, 3*l + 31 = 5*y. Suppose -460 = -5*t + y*d, 0 = -0*t + 3*t - d - 266. Is t composite?
True
Let o(t) be the third derivative of 11*t**4/12 - 5*t**3/6 + 3*t**2. Is o(6) a prime number?
True
Let x = -21 + 20. Is (-2 + -539)*(x - 0) a prime number?
True
Suppose -7*s + 1057 - 140 = 0. Is s prime?
True
Let k = -10 - -10. Suppose k = 3*v + v - 508. Is v prime?
True
Let w(f) = 88*f**2 - 2*f - 1. Let o(a) = a**2 - 6*a - 1. Let v be o(6). Is w(v) a composite number?
False
Let s(p) be the first derivative of 12*p**3 - 2*p**2 - p - 3. Is s(-3) a prime number?
False
Is (-43)/(-3) + (-2)/(-3) a composite number?
True
Suppose 4*f - k - 2717 = 0, 0 = -4*f + 5*k + 1271 + 1450. Is f composite?
True
Let k(d) = -85*d + 7. Let v(z) = z. Let g(s) = k(s) + 5*v(s). Is g(-6) composite?
False
Suppose -2*m + 185 = -v - 61, 0 = 5*v. Is m composite?
True
Let n(f) = 9 + 0*f**2 - 2*f**2 - 3*f**2 + 6*f**2 + 3*f. Suppose 4*j = 44 - 16. Is n(j) a composite number?
False
Let x(g) = -g**3 - 4*g**2 + 2*g - 1. Suppose 3*d + m - 36 = -0*m, 0 = 2*m. Let a = d + -17. Is x(a) prime?
False
Suppose v - 783 = 102. Suppose 0 = -6*c + 3*c + v. Is c a composite number?
True
Let v(b) be the second derivative of 2*b**4/3 + b**3/2 - b**2/2 + 6*b. Is v(4) prime?
True
Let z(l) be the first derivative of -39*l**4/4 - l**3 - 3. Let r be z(-2). Suppose 0 = -3*f + 7*f + 4*h - r, -5*h = -3*f + 241. Is f composite?
True
Let t(k) = k - 4. Let c be t(4). Suppose c*q + 852 = 4*q. Is q a composite number?
True
Let h(p) = -3*p**3 + 4*p**2 + 23*p - 7. Is h(-10) prime?
True
Let i = -14 + 27. Let o = 22 + i. Is o a prime number?
False
Let w(t) = -t**3 - 5*t**2 - 3*t + 7. Is w(-5) prime?
False
Let d(g) = 4*g + 3. Let o(h) = -3*h + 2. Let v be o(-2). Is d(v) a composite number?
True
Is 4/4 + (65 - 1) composite?
True
Let g(f) = f**3 - 7*f**2 + 25*f - 9. Is g(10) prime?
True
Let x = -4357 - -2837. Is 5/(-15) + x/(-6) prime?
False
Let p be 21 + 2 + -2 - 3. Is (824/24)/(2/p) composite?
True
Suppose 4*f + 0*f - 188 = -4*b, 4*f - 4*b - 164 = 0. Is f/6*(-21)/(-2) prime?
False
Let b(u) = 2*u - 18*u + u. Let o be b(-1). Let v = o + -9. Is v prime?
False
Suppose -331 = 5*g - 1266. Is g a composite number?
True
Suppose a - 3 = -4. Let l(g) = -2*g**3 - g**2 + g + 1. Let s be l(a). Is -1*(s + 1) + 21 prime?
True
Let y = -1833 + 20. Is (y/21)/(2/(-6)) a composite number?
True
Let s be ((-1)/2)/(3/(-6)). Let r(h) = 13*h - 1. Let p be r(s). Suppose -4*f + 8 = -p, 4*c - 61 = 3*f. Is c a composite number?
False
Let s(m) = -m**2 - 2*m + 4*m**2 - 2*m**2 + 0 + 2*m**3 + 3. Let i(a) = -a**2 + a + 2. Let p be i(0). Is s(p) prime?
True
Let r(n) = -49*n - 1. Let d(l) = -98*l - 3. Let z(u) = -4*d(u) + 9*r(u). Is z(-4) a composite number?
False
Let g(i) = 4*i**2 + 24*i + 31. Is g(18) prime?
True
Suppose -f + 1 = -4. Let q(j) = -5*j - 1. Let o be q(-7). Suppose z - f = -v + o, 3*z - v = 101. Is z prime?
False
Let u(x) = x**2 - 10*x + 6. Let f be u(9). Let r = f + 80. Is r a prime number?
False
Let k = 442 - -91. Is k prime?
False
Suppose -3*y + 374 = 4*v + 2*y, y - 94 = -v. Let r = -55 + v. Let d = 96 - r. Is d a composite number?
True
Is (-4)/(-26) + 86445/117 a prime number?
True
Let y be (12/(-2) - 0)*2. Let l(x) = x**2 + 7*x + 17. Is l(y) prime?
False
Let u(w) = w**2 - 4*w - 3. Let b be u(-9). Let k = b + 15. Let o = -82 + k. Is o a composite number?
False
Is 1719/12 + 1/(-4) composite?
True
Let i = -4 - -5. Is 1/(0 - i/(-25)) prime?
False
Let q be 2/8 + (-1460)/16. Suppose -2*i + 546 = i. Let y = i + q. Is y a composite number?
True
Let x = 12 - 7. Suppose 6*z - 3*z - x*n = 17, z + 2*n - 24 = 0. Is z prime?
False
Let s(x) = x - 3. Let w be s(5). Suppose -a + w*a + 4*v + 17 = 0, 0 = 2*a - v + 25. Let i = a - -72. Is i composite?
False
Let s(h) = 1 + h - 24*h**3 + 0*h - 62*h**3 + h. Let y be 1/(-1) - (-1 + 1). Is s(y) a prime number?
False
Is (-1)/((-3)/(-1923))*(-1 - 0) a prime number?
True
Let r = -110 - -595. Is r a prime number?
False
Let q(f) = f. Let j be q(-2). Is ((-39)/(-9))/(j/(-12)) composite?
True
Suppose l = 4*l - 69. Is l prime?
True
Let x = -41 + -96. Let q = x - -252. Suppose -273 = -4*m + q. Is m a composite number?
False
Suppose 345 = 6*v - v. Let k = v - 35. Is k composite?
True
Suppose 0*s - 2*s + 1016 = 0. Let g = s + -273. Is g prime?
False
Let l(g) = 11*g - 4. Let v be l(-5). Let b = 234 - v. Is b composite?
False
Let d(t) = 159*t**2 - 3*t + 2. Is d(1) composite?
True
Let a = -12 - -4. Let o = 19 + a. Is o a prime number?
True
Suppose 0*n - 5*n + 797 = -3*c, -c = 5*n + 279. Let x = -12 - c. Is x composite?
False
Let r(w) = w + 5*w - 3*w + 9*w**2 + 3 + w. Is r(4) prime?
True
Suppose -41 = x - 2*x + 4*t, 0 = 4*x + 3*t - 221. Is x prime?
True
Suppose -2*k + 4 = -0*k. Is k a composite number?
False
Let h(m) = -148*m + 11. Let a be h(-6). Let c = -10 + a. Is c prime?
False
Let k = -3 + 2. Let c(x) = -42*x - 1. Let t be c(k). Let i = -16 + t. Is i prime?
False
Let j(h) = h**2 + 5*h - 10. Let d be j(-7). Let r = -6 - -10. Suppose 0*p + 3*p + 5*f = -14, r*p + d*f + 8 = 0. Is p a composite number?
False
Let x be ((-4)/(-6))/((-2)/(-3)). Let q = x - -2. Suppose -q*r = -6*r + 21. Is r a prime number?
True
Suppose 4*s - 1917 = -5*g, -11 + 5 = -2*s. Is g a composite number?
True
Let i = -28 + 155. Is i a prime number?
True
Suppose 4*a + d = -0*a + 1789, -2*d + 1343 = 3*a. Is a a prime number?
False
Let v(n) = 4*n**2 - 4*n - 3. Let u be (-2)/(8/5 - 2). Let p be v(u). Is p/2*(1 + 1) a prime number?
False
Let y = -2 - -5. Let s(h) = -h**3 + 3*h**2 + 5*h - 2. Let d be s(y). Suppose -c + d = -18. Is c a prime number?
True
Suppose 2*y - 2*k - 236 = 0, y - 6 = 5*k + 96. Is y composite?
True
Let v be 12/(-8)*20/(-6). Suppose v*f = 20, -5*f = 2*x - 7*x + 515. Suppose -97 = -4*h + x. Is h a prime number?
False
Let p = 680 - 339. Is p composite?
True
Let r = 72 + 335. Is r a prime number?
False
Suppose -2*y = -4, 0 = i - 4*y + 2 - 18. Let d be 0 - 1 - (-1 + 14). Let s = d + i. Is s composite?
True
Let q be ((-36)/(-9))/((-2)/(-146)). Suppose 4*i + 4*b - q = 0, 3*i + b - 5*b = 205. Is i a prime number?
True
Let c = -223 + 121. Is c*1*1/(-2) composite?
True
Suppose 8 - 60 = -4*a - 2*r, -3*a = -r - 44. Let k be (-1)/(-2) - (-63)/a. Is 173/k - 8/(-20) prime?
False
Suppose -5*b + 1256 = 3*q, -q + 5*b = q - 804. Let d be (-5)/(60/171)*20. Let x = q + d. Is x prime?
True
Let n(x) = -1. Let o(y) = 15*y**2 - 3*y + 3. Let c(f) = 2*n(f) + o(f). Is c(3) a prime number?
True
Suppose 0 =