ative of -y**6/120 + y**5/60 + 5*y**4/24 - 2*y**3/3 - 3*y**2. Is u(-5) a composite number?
True
Let u be (-2 + 2 - -3) + 114. Suppose -5*a - u = -602. Is a prime?
True
Let t be (0 + 0)*9/(-18). Let n(m) = -m**3 - 4*m**2 + 3. Let f be n(-4). Is 74*f/(t + 6) composite?
False
Is -2*(-4)/(-16) + 310/4 prime?
False
Let g = 3409 + -967. Let n = g + -1652. Suppose r = -5*m + 2*r + 1314, -n = -3*m - r. Is m prime?
True
Let m(z) = -z**3 - 3*z**2 + 4*z - 1. Let p be m(-4). Let i(h) = 8*h**2 - 1. Is i(p) composite?
False
Let y(x) = -x**3 - 4*x**2 - 4*x - 3. Let k = -6 - -4. Let s be y(k). Is 52 - (-1 - s) - -3 a prime number?
True
Suppose -5*q = 2*o + o - 17, -13 = -3*o - q. Suppose -3*p - o*b = 2, 0 = -2*p + 3*p + b. Suppose p*s + 18 - 56 = 0. Is s prime?
True
Let w = -536 + 927. Is w prime?
False
Suppose 3*k + 4*b = 2*k + 150, 5*b - 15 = 0. Suppose 8*d + r - 139 = 4*d, -4*d - 2*r + k = 0. Is d a prime number?
False
Suppose 5875 = 12*a - 19913. Is a prime?
False
Let v(t) = 41*t - 10. Let q(s) = 41*s - 9. Let x(a) = 6*q(a) - 5*v(a). Is x(3) a prime number?
False
Let g(r) = -r + 18. Let h be g(15). Suppose -2*p = -5*k + h, -p - 33 = -5*p - 3*k. Is p composite?
True
Let i(h) = -h**3 + 16*h**2 + 7*h - 23. Let v = 11 - -5. Is i(v) prime?
True
Let l(t) = -t**2 - 5*t + 3. Let j be l(-6). Is 292/8 + j/(-6) prime?
True
Let c(f) = f + 238. Let b(j) = -1. Let v(l) = 2*b(l) + c(l). Let m be v(0). Suppose x - 103 = -4*k, 0 = -2*x + 3*k - k + m. Is x a prime number?
False
Suppose -4 = 4*i, -3*i = -3*k - 0*i - 9. Let s(r) = r**3 + 12*r**2 - 2*r - 3. Let y(o) = o**2 - 1. Let q(c) = k*y(c) + s(c). Is q(-6) composite?
True
Suppose 2*h - 207 = -c, -3*h + 0*c + 310 = c. Is h a prime number?
True
Let s(z) = z**3 - 2*z - z + 7 - 2*z**2 - z. Is s(6) a composite number?
False
Let i = 790 + -303. Is i prime?
True
Suppose 3*u = 69 + 42. Suppose 129 = 2*s + u. Suppose -4*w - 371 + 122 = -5*p, -p + s = 3*w. Is p a composite number?
True
Suppose 15 = -3*z + 4*x, -2*x = -0*z - 5*z - 11. Let y = 170 + z. Is y composite?
True
Let x = 2758 - 981. Is x a composite number?
False
Let h(t) = 3*t**3 - 9*t**2 + 12*t. Let s be h(5). Suppose -3*w - d = 2*d - s, 0 = -5*w - 2*d + 347. Is w composite?
True
Suppose -c - 4*s = -94, 4*c + 4*s - 5*s = 376. Suppose -3*v - 5*p + 272 = -6*p, -v + p = -c. Is v prime?
True
Let r(x) = x - 3 + 4 + 7. Let u be r(-5). Suppose 134 = 5*l + 2*y + 31, 5*l - u*y = 83. Is l a prime number?
True
Let z(c) = 0 - 1 + 5*c - c**2 + 2*c**2. Is z(4) a prime number?
False
Let z(q) = -31*q + 3. Is z(-4) composite?
False
Suppose -2*l + 853 = 3*y + 188, 0 = -y - 2*l + 219. Is y a prime number?
True
Is (-26)/((-2)/(-2) - 3) a composite number?
False
Suppose 3*s + 0*o - 355 = -2*o, -595 = -5*s - 5*o. Suppose d - s = 26. Is d composite?
True
Let f be 2/(8/3)*-4. Let a(b) = -b - 3. Let q be a(f). Suppose -n + 59 = -q*n. Is n a prime number?
True
Let s(j) = j**2 + 4 + 10*j - 4 - 7 - 7. Is s(11) prime?
False
Suppose 7*r - 877 = 6*r. Is r a composite number?
False
Let v(y) = -88*y - 7. Is v(-3) composite?
False
Let c(j) = 840*j**2 + j - 2. Is c(1) a composite number?
False
Let x = -72 - -195. Suppose -1 = -k - x. Let i = k - -207. Is i prime?
False
Let o(g) = -g. Let n be o(0). Suppose -4 = -2*t - n*t. Let f(d) = 6*d**3 - 3*d + 1. Is f(t) a composite number?
False
Let y = -182 - -673. Is y a prime number?
True
Suppose 385 = n - 298. Is n a prime number?
True
Let p = 6 + -11. Let w be 16/2 - 0/(-1). Is p/(-20) + 374/w a composite number?
False
Suppose 3*q - 9 = 4*c, -2*c + q = 3*q + 8. Is (92/c)/(18/(-27)) a prime number?
False
Let x = -255 - -470. Is x a prime number?
False
Let q be 2/5 - (-24)/15. Suppose 6*y - q*y = 1204. Is y composite?
True
Let h = 18 - 13. Suppose n + 7 = h*j - 6, -5*n - 3*j = -47. Is n composite?
False
Suppose 3*k + 5 = 8*k. Let a(b) = 47*b - 1. Is a(k) composite?
True
Let p = 18 - 12. Is p a prime number?
False
Let m(j) = 5*j**3 - 2*j**2 - j - 2. Let u be m(-2). Let a = 11 - u. Is a a prime number?
True
Let x(t) = -33*t - 11. Let y(g) = -g**2 + 4*g - 1. Let q be y(5). Is x(q) prime?
False
Let d = 155 + -91. Suppose -3*r - 209 = -4*i - 61, 2*i - d = -r. Is i a prime number?
False
Is 12/16 - 98/(-8) a prime number?
True
Let b = 1083 + -566. Is b composite?
True
Let k = 169 + 88. Is k composite?
False
Suppose -w = 1218 - 3119. Is w composite?
False
Suppose 3*n = 2*s + 12, -s + 5 + 3 = 2*n. Suppose 0*o - 2*o = 10, n*o = -5*k - 25. Is ((-4)/10)/(k/15) a prime number?
False
Suppose -2*p + 142 = -3*r - 146, 2*p + 3*r = 312. Suppose 14 = -4*m + p. Is m a prime number?
False
Suppose 4*j = 4*i + 19148, -3119 = 2*j - 5*i - 12705. Is j a composite number?
False
Suppose 0*p + 102 = p. Suppose 5*g + p = 287. Is g a composite number?
False
Let f(d) = -2*d**3 - 10*d**2 - 14*d + 5. Is f(-6) prime?
False
Suppose -4*o = 5*t - 3702, 0 = -4*o - 3*t - 1151 + 4849. Suppose 522 + o = 5*m. Is m a composite number?
True
Let f = -4 - -6. Suppose -c + 1878 = -f*k + 6*k, k - 467 = c. Is k prime?
False
Let y(z) = 2 + 190*z - 1 - 3 + 4. Let u be y(2). Let m = u - 259. Is m composite?
True
Suppose 2*r - 89 = 3*v, -2*r = 7*v - 3*v - 96. Suppose q + 12 = -2*q. Is (r/q)/(2/(-4)) composite?
False
Is (-4 + 0 + -3)*-53 composite?
True
Let i be ((-60)/(-14))/((-3)/(-21)). Let v be (-3)/(15/6 - 1). Is i + (-1 - (-4 - v)) a composite number?
False
Is (-2)/(-8) - (-10160)/64 a composite number?
True
Let d be ((-16)/(-12))/(4/6). Suppose -2*v + 4 = -d. Suppose -v*q + 62 = -7. Is q prime?
True
Let o(i) be the second derivative of 2*i - 1/3*i**3 - 3*i**2 + 1/12*i**4 + 0. Is o(-8) a prime number?
False
Let k(c) = c**2 - 4*c - 6. Let u be k(7). Let w = u + -25. Is (-12)/w*30/4 prime?
False
Let y = 8 + -2. Is (-1255)/(-10) - y/(-4) a prime number?
True
Let r be (-42)/28 + 95/2. Suppose -2*p + 28 = -r. Is p a prime number?
True
Let b(a) = -26*a**3 + 2*a**2 + 2*a + 1. Let y be b(-1). Suppose -4*v = -0*v - 5*t - 99, -5*t + y = 2*v. Is 3429/v - 2/7 prime?
True
Is (452/(-8))/(1*3/(-6)) a prime number?
True
Suppose -3*z + 696 = g, 4*z + 311 = g - 364. Is g a composite number?
True
Suppose 0*n = -2*n + 4*j + 326, j = -2*n + 326. Is n prime?
True
Is 483/14*2/3 a composite number?
False
Let r(d) = -d**2 - 14*d + 6. Is r(-14) composite?
True
Suppose -3*n = -15, 6*n + 300 = 5*d + 3*n. Let t = d + -18. Let w = 37 + t. Is w a composite number?
True
Suppose 561 = -2*l + 5*l. Suppose v - l = -0*v. Is v prime?
False
Let o(v) = -4*v + 4. Let w = 12 + -8. Let t be o(w). Is 3380/16 - (-3)/t prime?
True
Suppose -5 = -3*t + 7. Let s(d) = 4*d**2 + 2*d + 5. Is s(t) prime?
False
Let o be 0/(-3 - (-2)/2). Suppose -4*n + 3*n = o. Suppose -4*z + 5*d + 82 = n, -3*z + 8*z = d + 113. Is z a composite number?
False
Suppose 0 = t + 52 + 21. Let s = t + 144. Is s composite?
False
Suppose 0 = -2*d - 5*r - 24, 2*d - r = -3*r - 12. Let v be (d/(-6))/((-3)/(-9)). Is 14 + (2 - 2) + v composite?
True
Let p(s) be the second derivative of 1/20*s**5 - 7/2*s**2 + 2/3*s**3 + 0 + 3/4*s**4 + s. Is p(-8) a prime number?
False
Let y(j) = -j**3 + 6*j**2 - 7*j + 7. Let p be y(5). Let r be 4/6 - 64/p. Suppose -u = 3*s - 120 - r, 0 = 4*s - 3*u - 185. Is s composite?
False
Suppose 270 = -0*u - 5*u. Let r = -124 + 31. Let w = u - r. Is w composite?
True
Suppose -s + 18 = s - 4*p, 5*p = -s + 16. Is s prime?
True
Is ((-7)/((-28)/2000) - -3)/1 a prime number?
True
Let t be (-2)/(-10) + (-1184)/(-5). Is -1 + (t - -2 - 3) prime?
False
Let q = -301 + 632. Is q a composite number?
False
Let w(m) = 60*m - 53. Is w(9) prime?
True
Let b(c) = -3*c**2 + 5*c + 5. Let y(v) = -3*v**2 + 4*v + 4. Let x(q) = 2*b(q) - 3*y(q). Is x(-5) prime?
True
Let i(f) = -f**3 - 17*f**2 - 2. Let r be i(-17). Suppose 0 = -3*z - 1 - 5. Is (115 + r)*(-2)/z a prime number?
True
Suppose -b - 10 = i, 3*i + 22 = -2*b + 2*i. Let u(x) = -x**2 - 11*x + 10. Let k be u(b). Is (-15)/k*6 - -2 a prime number?
True
Suppose -4*d - 2*v = -22, -19 = -5*d - 5*v + 21. Let s = 5 - d. Suppose s*o - 2*a = 10 + 62, -3*o = -5*a - 110. Is o a prime number?
False
Suppose 2*x = -47 + 1089. Is x a prime number?
True
Let m = 2633 - 816. Is m prime?
False
Let s(j) = -2*j - 6. Let m be s(-4). Let f be 38*2/8*82. Suppose -m*r = 5*t - f, -t + 5*r = -0*t - 145. Is t a composite number?
True
Let s(p) = -p**3 - 9*p**2 - 6*p 