5. Suppose 2*j - 1013 = -l*z, -108 = 5*z + j - 1787. Is z a composite number?
True
Let t = 289 + -286. Let p be (-34)/((1/(-2))/(-1)). Is (-1 + t/(-4))*p a composite number?
True
Let v(i) = 39 - 43 - 7*i**2 - i**3 - 2*i**2. Let y be v(-9). Is 2589*((-26)/(-6) + y) a prime number?
True
Is (-9)/(-6)*(3 - 4614/(-18)) prime?
True
Suppose 2*r = -4*b + 108, b + b - 6 = 0. Let n(z) = -z - 24. Let m be n(3). Let f = r + m. Is f a prime number?
False
Let y = -14677 - -20816. Is y a composite number?
True
Let u(d) = 558*d**2 - 1. Let r = 29 - 28. Is u(r) a composite number?
False
Let t(l) = 30*l + 5. Let r(f) = 30*f + 4. Let c(n) = -3*r(n) + 2*t(n). Is c(-4) a composite number?
True
Let u be (45/10)/((-3)/(-4)). Let c be (-640)/(-6) - 4/u. Is c/3*(-12)/(-8) a prime number?
True
Let x(i) = -i**2 + 2*i + 5. Let g be x(3). Let a(d) = 10*d + 1. Let q be a(g). Is 4437/q - (-4)/(-14) prime?
True
Let g = -5 - -8. Suppose -2*h - 2*l = -4*l - 12, 2*h = 4*l + 16. Suppose v + 492 = g*v - h*i, 3*i - 774 = -3*v. Is v a prime number?
False
Suppose 4*w - 15783 = 66869. Is w a prime number?
True
Suppose 2*y + 2*p = 8, 5*y + 0*p - 11 = -2*p. Suppose -u = g + 1223, -2*g + 3*g = -2*u - 1218. Is (-3)/9*(y + g) a composite number?
False
Let d(z) = 6991*z - 637. Is d(5) prime?
False
Is (-1)/(1/4971*-3*1) composite?
False
Suppose 3*f - 38078 = -4*c, 567*c - 571*c = 5*f - 38074. Is c a composite number?
False
Let d(y) = -14*y - 1. Let i(r) = -r**2 - 10*r - 8. Let u be i(-6). Suppose g - 3*h = -0*g + 8, 3*g + u = -h. Is d(g) composite?
True
Suppose 0 = l - 2*n + 5, -3*l + 4*n - 1 = -4*l. Let i be (-1)/l - (-5)/(-15). Suppose i = -0*o + 3*o - 417. Is o composite?
False
Suppose -7*n + 2844 = -5*n. Suppose -n = -6*h + 1560. Is h a prime number?
False
Let o(b) = 282*b**2 - 3*b + 1. Let k be o(2). Suppose k = 5*t + g, 0 = t - 2*t - 2*g + 221. Suppose 4*m - 644 = -3*r, -2*m + 3*r + 97 = -t. Is m a prime number?
False
Let a = 207 + -210. Let z(w) be the third derivative of -w**6/24 - w**5/20 - w**4/12 + 2*w**3/3 - w**2. Is z(a) composite?
True
Suppose -4*t = -5*p + 64025, -3*t = 2*t - 25. Is p composite?
False
Let p(x) = x**2 - 8*x - 5. Let d be p(9). Let b = 5 + -9. Is 361*(b + d + 1) a composite number?
True
Let w = 135 + 440. Let x = -178 + w. Is x composite?
False
Is (-12226)/4*11/(-66)*12 a prime number?
True
Let c = -9 - -3. Let x(j) = 49*j - 3. Let f(h) = 1. Let z(i) = c*f(i) - x(i). Is z(-1) a prime number?
False
Let x(d) = 16*d**3 + 47*d**2 - 6*d + 14. Is x(7) composite?
True
Let l(z) be the first derivative of 5 + 1/3*z**3 + z**2 + z - 51/4*z**4. Is l(-1) composite?
True
Let x(n) = 271*n**3 - n - 1. Let j be 4/12 - 8/6. Let u be x(j). Let v = 36 - u. Is v prime?
True
Suppose -3*q = -s - 6 - 1, 6 = 4*q - 2*s. Suppose -f - q*f = -635. Is f prime?
True
Let n = -24 - -18. Let l be (-9)/(-6) + 21/n. Is l/3 - (-3777)/9 a prime number?
True
Let g(n) = -188*n - 1. Let f(z) = z - 7. Let m be f(4). Is g(m) composite?
False
Is (-4365)/(35/(-7)) - -4 prime?
True
Let m be ((-34052)/(-8) + 4)*-2. Is -1*2/7 - m/7 a composite number?
False
Let m = 13206 + -4073. Is m a composite number?
False
Suppose -61957 = -6*i + 73265. Is i a composite number?
True
Suppose 0 = 11*c - 6*c - 15. Suppose 2*k - 6*k + 2512 = 4*r, -k + c*r + 640 = 0. Is k a prime number?
True
Let k = 16 + -16. Suppose -632 = -k*a - 2*a. Suppose -4*g = -208 - a. Is g a prime number?
True
Let n = -56 - -274. Is -3 + 6 + n + 2 prime?
True
Let r(h) = h**2 + 3*h + 4. Let n be r(-4). Suppose 15016 = -4*y + n*y. Let d = y + -2417. Is d composite?
True
Let n(k) = 328*k**2 + 10*k + 9. Is n(4) composite?
False
Let u(x) = 1276*x**3 + x**2 - x + 1. Suppose 8*k - 6*k - 2 = 0. Is u(k) a composite number?
False
Suppose 2*d + 2*d + 3*b + 6 = 0, -2 = -4*d + b. Suppose 2*k = -k - 5*c + 3478, d = 4*c - 20. Is k composite?
False
Suppose 5*k - 21595 = -5*d, 2*d = 2*k - 4054 - 4592. Is k a prime number?
False
Let o = -21416 + 34993. Is o a composite number?
False
Suppose 0 = -26*j - 7*j + 157839. Is j a composite number?
False
Let f be -93 + -2 + 6/2. Let h be 6/4*f/3. Let c = -24 - h. Is c composite?
True
Let d(v) = -51*v - 3. Let f be ((-120)/(-36))/(4/(-6)). Let k be f*8/(-60)*-6. Is d(k) composite?
True
Suppose 10 - 3 = 4*i + 3*h, 5*i + 2*h = 14. Suppose 5 = -i*q + 3*o + 4104, 4*q - 4096 = 4*o. Is q a prime number?
False
Suppose 3*q - 385 = 4*q. Is ((-4)/7)/(10/q) prime?
False
Suppose -8*g + 2376 = -4096. Is g composite?
False
Let p be (4/(-6))/(2/15) - -142. Suppose 3*t - 4*v = -154, 12 = -5*v - 13. Let g = t + p. Is g a prime number?
True
Let q(o) = o**3 - 14*o**2 + 19*o - 13. Let s be q(13). Is 2/10 + 20592/s prime?
True
Suppose 15*q - 25879 = 8*q. Is q a prime number?
True
Let q(a) = -9*a - 72. Let k be q(-8). Suppose k = h - 81 - 233. Is h composite?
True
Let k(j) = j**2 - 21*j + 23. Let b be k(20). Suppose -i + b*i = 1954. Is i a prime number?
True
Suppose 2*m - 28814 = -3*t, 3*t - 8*t = -m + 14407. Suppose 0 = -4*s + w + 11729, 5*s - 243 = 5*w + m. Is s a prime number?
False
Let x = 654 - 380. Let y = x + 679. Is y a prime number?
True
Let w(d) = -646*d + 18. Let k be w(-9). Suppose -4*j + k = 2*t - 1632, -t + 7462 = 4*j. Is j a prime number?
False
Let g = -23840 + 61093. Is g a prime number?
True
Suppose 5*z - 15 = 5*b, -4*z - 6*b + 3*b + 33 = 0. Is ((26/z)/((-2)/102))/(-1) prime?
False
Suppose -2*c - 3*s + 8 = 0, 4*c + 4*s - 5*s = 16. Suppose 0 = -5*j, c*k - 1172 = -6*j + 5*j. Is k prime?
True
Let g be -1 + 1 - (-4342 + -3). Let x = -3481 - -5219. Suppose 2*k - x = -9*d + 4*d, -5*k = 3*d - g. Is k a composite number?
True
Is (-784012)/(-10) + 60/(-300) composite?
False
Suppose 0 = -4*y - 1 + 21. Suppose 14 = y*l + 9. Is l/(888/886 + -1) prime?
True
Let g(n) = n**3 + 7*n**2 - n - 7. Let k be g(-7). Suppose t + t - 6 = k. Suppose -3*y = t*x - 195, -3*x - 288 = 4*y - 8*y. Is y composite?
True
Let j(y) be the second derivative of 5*y**4/4 - 3*y**3/2 + 8*y**2 - 15*y. Is j(5) prime?
False
Suppose -k = -3*k. Suppose 0 = 2*p - 5*w - 65, -3*p + k*w + 104 = -w. Is p prime?
False
Let f be ((-10)/3)/(10/(-285)). Is (f + -2 + 4)*1 a composite number?
False
Suppose 13*d - 14*d = -11. Is -12 + d - (-2 + (-3000)/2) prime?
False
Suppose -c + 3*t = -211, 0*t = 4*t - 16. Is c prime?
True
Let d(b) = 14*b**2 - b - 42. Let i be d(-10). Suppose -3*r + 4*s + 1015 = 0, 2*r = -2*r - 2*s + i. Is r prime?
False
Suppose 0*w + w = 2. Suppose 0 = -2*q - w*q + 1040. Suppose -x - 522 = -2*z, -q = -4*z + 4*x + 776. Is z composite?
False
Let k be (-2)/((-25)/15 + 1). Let c(x) = 26*x**3 - 2*x**2 + 3*x - 4. Is c(k) prime?
False
Suppose -15 - 5 = -3*j + 5*h, 0 = -4*h - 16. Let b be (1 + 1/(-2))/((-5)/(-20)). Suppose -4*n - n = 4*w - 147, j = 2*n + b. Is w prime?
False
Let s(p) = 36*p**2 - 31*p - 18. Is s(11) prime?
False
Suppose 9 = h + 2*h. Suppose -2*g - h*x + 141 = g, 0 = g + 2*x - 49. Suppose 3*v - 252 = -g. Is v a composite number?
True
Let w(s) = 23*s**2 - 9*s - 55. Is w(14) a composite number?
False
Let q(t) = -52232*t**3 - 4*t**2 - t. Is q(-1) composite?
True
Let u(z) be the second derivative of z**5/10 - z**3/6 - 5*z. Let p be u(1). Is (68/(-2))/(0 - p) composite?
True
Let x be 10*(6/(-2) + (-216)/(-60)). Suppose x*g - 4450 = -4*g. Is g prime?
False
Let c = 1762 + -853. Suppose d = 4*j - 0 + 4, -5*d = 2*j - 20. Suppose j = 5*t + 4*b - c, 0 = -2*t + b + 300 + 74. Is t a prime number?
False
Let m = -160 + 800. Suppose -x - 4*q = -3*x + m, 4*x - 1298 = 2*q. Is x a composite number?
True
Suppose 2*g - 9 - 11 = 0. Suppose 25 = -c - g. Let x = c - -68. Is x a prime number?
False
Let y = 835 + -1439. Is ((-98)/(-56))/((-1)/y) composite?
True
Is 3/(-12) - (6 - (-82225)/(-20)) composite?
True
Suppose 17*u = 7097 - 1674. Is u a prime number?
False
Let j = 1357 + -936. Let h = j - 216. Is h a prime number?
False
Let p be 150/(-45)*6/(-4). Let r = -216 - -391. Suppose 2*b = -p*v - 0 + r, 2*v - 2*b - 84 = 0. Is v composite?
False
Suppose -x + 50239 = -4*u, -72645 - 78042 = -3*x - 3*u. Is x composite?
False
Let q(k) = 8*k**2 - 14*k + 1. Let l be q(-6). Suppose -v - v = -5*i - 746, -v - 3*i = -l. Is v prime?
True
Let u = 13 - 0. Let p = 13 - u. Suppose -s + 117 = -2*i - i, -4*i + 8 = p. Is s a prime number?
False
Suppose 3 - 4 = -m. Let n be (3 - -629) + (1 - m). Suppose n