q be j(-4). Let t(c) = 18*c**2 + 1. Is t(q) a prime number?
True
Let q(b) = b**3 - 8*b**2 - b + 6. Let i be q(8). Let u be 133/(-3) + i/(-6). Let g = -25 - u. Is g a composite number?
False
Let s(r) = 206*r + 9. Is s(5) composite?
False
Suppose 4*w = -2*d + 1500, 1307 = 4*w - 5*d - 165. Is w a composite number?
False
Let v = 8 - 11. Let y = v + 4. Let o(d) = 7*d**2. Is o(y) a prime number?
True
Let o be 2 + (2 - 3) + 0. Let z(r) = 162*r**2 - 2*r + 1. Let l be z(o). Let a = -78 + l. Is a a composite number?
False
Let p(o) = o**3 + 6*o**2 + 5*o + 3. Let i(b) = b - 1. Let v be i(6). Let k(h) = h**2 - 7*h + 5. Let u be k(v). Is p(u) a composite number?
False
Let x(u) = 2360*u**2 + 2*u + 1. Is x(-1) composite?
True
Let t be 5/3*(-3)/1. Let z = t - -132. Is z prime?
True
Let d(s) = -s**3 - 4*s**2 - 2*s. Let l be d(-3). Is (129 + 2)*(l - -4) a composite number?
False
Let s be 0 + (-1*4 - -2). Is 0 + (-2)/(s/79) prime?
True
Let x = 16 - 11. Suppose 0 = x*m - 695 - 50. Is m a prime number?
True
Let f be (1 + -1 + -2)/1. Let j be -9*(f + (-24)/9). Suppose 5*k - 3*a = -0*k + j, 3*a = -3*k + 6. Is k a composite number?
True
Is (-3090)/(-25) + (-3)/5 prime?
False
Suppose -8 = -4*c + 3*f + f, -f = 5*c - 34. Let d = c - 2. Suppose 255 = -d*k + 7*k. Is k composite?
True
Let w(j) = j**3 - 7*j**2 + j + 3. Let f be w(7). Let u = -21 + f. Is (1/3)/(u/(-1518)) a prime number?
False
Suppose 3*c - 644 - 421 = 0. Is c a prime number?
False
Suppose -3 = l - 8. Suppose l*n - 2*k = 339, -82 = -n + 3*k - 9. Is n a composite number?
False
Suppose -4*r = -4*d - 1 - 3, 0 = -2*r + 4*d + 10. Is (r/(-6))/(2/212) composite?
False
Let w(s) = -5*s + 4. Let j(z) = 3*z + 2*z + 1 - 7*z. Let k be j(7). Is w(k) a composite number?
True
Let m(u) = -445*u - 2. Is m(-1) prime?
True
Let m be 0/(1 - 1 - -1). Suppose 2*f + f - 93 = m. Is f a prime number?
True
Let c(w) = -w + 13. Let x be c(8). Suppose -20 = -0*k - x*k. Suppose -3*u = k*y - 367, -87 = -y - 2*u + 6*u. Is y a prime number?
False
Suppose 1230 = 16*y - 10754. Is y a composite number?
True
Let y(s) = -s. Let j be y(-2). Let v be (-3)/(j*(-6)/8). Is (v + -1)/((-1)/(-161)) prime?
False
Let q = 117 - -89. Is q prime?
False
Let f = 14 + 23. Is f a composite number?
False
Suppose 0 = -0*y + 3*y - 252. Suppose h - y = -h. Let s = h + 7. Is s a prime number?
False
Let r(n) = 5*n**2 + 3*n + 5. Suppose t - c - 4 = 0, -4*c + 1 = -t + 5. Is r(t) a composite number?
False
Suppose r + 5*a - 991 = -263, -a - 3510 = -5*r. Is r a prime number?
False
Let r = 4 - 4. Suppose -i + r*i = -476. Suppose 3*f = -f + i. Is f a prime number?
False
Let u(s) = -3*s**2 - 2*s + 2. Let i = -6 - -10. Let l(o) = 4*o**2 + o - 2. Let x(k) = i*l(k) + 3*u(k). Is x(-3) composite?
False
Is 558 - ((2 - 5) + 4) prime?
True
Let f(y) = -96*y - 47. Is f(-21) a composite number?
True
Let z = -418 + 1001. Is z a prime number?
False
Let z(k) = k**2 + 1. Let g be z(2). Suppose -4*i + 4 = -2*i + g*v, 11 = i - 2*v. Is i a composite number?
False
Suppose 3*y + 539 = 2588. Is y a prime number?
True
Let d be 15 + -1 + (-1)/1. Suppose d*v - 17*v + 988 = 0. Is v a composite number?
True
Suppose -3*j - 112 = -979. Is j composite?
True
Suppose -4*p + p - 1473 = -3*a, 0 = 3*a + 5*p - 1441. Is a composite?
False
Let o = 1 - 1. Suppose 60 = v + 2*d, o = -3*v + 5*d + 53 + 83. Let c = v - 5. Is c a prime number?
True
Suppose 5*q - 3*z - 1560 = 206, -1414 = -4*q + 2*z. Let x = q - 134. Is x composite?
True
Is (-7102)/(-8) + (-18)/24 a composite number?
False
Let f(q) = -16*q + 7. Let t be f(11). Let r = -118 - t. Is r a composite number?
True
Suppose -a - 2648 = -9*a. Is a a composite number?
False
Let v = -1402 - -234. Let j = -611 - v. Is j composite?
False
Suppose 4*w - 2301 = -313. Is w prime?
False
Suppose 5*y + 2*v = -95, 0*y + v = -3*y - 58. Let x = -32 - 42. Let h = y - x. Is h prime?
True
Let c be 4*(5/2)/5. Let i be c/(-2 - 468/(-237)). Let n = -10 - i. Is n a composite number?
True
Let a = -55 - -177. Suppose -4*b + 474 = -a. Is b prime?
True
Suppose -6*d = -5*d - 143. Is d a composite number?
True
Let t = -70 - -45. Is 0 - (2 + t)*2 prime?
False
Suppose -11*m + 17*m - 3798 = 0. Is m a composite number?
True
Let p = 2270 - 975. Let g = p - 183. Suppose 5*m = 4*h + 259 - g, 4*m + 205 = h. Is h composite?
True
Let v(u) = 4*u - 3. Let a be v(2). Let j = -4 + 8. Suppose -67 = -a*f + j*f. Is f composite?
False
Let i = 295 + -90. Is i prime?
False
Is 12/(12/4) + 1057 composite?
False
Suppose -k - 4 = 0, 0*w - 2*k = -w + 12. Suppose -3*g = -2*s + 15, 0 = w*s - g - 15 - 0. Is (-610)/(-8) + s/4 a prime number?
False
Suppose 0 = -5*g - 30 + 80. Let p be (-435)/(-6)*8/g. Let j = p - 23. Is j a composite number?
True
Suppose k = -4*u - k + 604, 4 = k. Is u a prime number?
True
Is 2/2*((-1152)/(-8) + -5) composite?
False
Let x = -1772 + 3309. Is x composite?
True
Let z(v) be the third derivative of -1/12*v**4 + 0*v - v**2 - 2/3*v**3 + 1/60*v**5 + 0. Is z(5) composite?
False
Suppose 0 = -5*d + 6 + 14. Suppose y - 3*y = -2*m - 88, -d*y - 3*m + 190 = 0. Is y composite?
True
Let s(v) = 2*v**2 - 3*v. Suppose 0 = -2*b + 5 + 5. Is s(b) a composite number?
True
Suppose 0 - 11 = 3*v + 5*y, -2*v = -y - 10. Suppose 10 = -2*h, -2*i - v*i = -3*h. Is 65*i/9*-3 a composite number?
True
Let p = 1012 + -529. Let k be 7/2 + (-1)/(-2). Suppose k*a = a + p. Is a prime?
False
Let j = 7216 - -307. Is j composite?
False
Let w(m) = -m**3 - 4*m**2 - 2*m + 3. Let v be w(-3). Suppose v = -5*a + 25, 6*a = 3*i + 3*a - 78. Is i prime?
True
Let m(h) be the third derivative of -h**7/1260 - h**6/240 + h**5/60 + 2*h**2. Let b(i) be the third derivative of m(i). Is b(-10) composite?
False
Let w be (-9 - -7)*6/(-4). Is -13*4*w/(-6) a prime number?
False
Let f(u) = u. Let y(p) = 55*p + 7. Let b(i) = -6*f(i) + y(i). Is b(6) a composite number?
True
Suppose -7*d = -8*d + 631. Is d a composite number?
False
Let l(s) = 0 - 2*s**2 + 0 + 1 - 3*s**3 - 3*s. Let c be l(-6). Suppose -5*z + 0*z = -c. Is z composite?
True
Let d be 2/(-2) + -4 + 3. Let b be 64 + (1 - (-2 - d)). Suppose -3*v - b = -8*v. Is v a composite number?
False
Suppose 0*t = 3*t - 1044. Let i = t - -51. Suppose y - 4*y + i = 0. Is y a composite number?
True
Let d(i) = 2*i**2 - 5*i + 6. Is d(5) prime?
True
Let w(u) = 119*u**3 + u**2 - 2*u - 2. Let a be w(-2). Is a/(-8) + (-2)/8 prime?
False
Suppose -2*p - 2*p = -844. Is p prime?
True
Suppose f + 7 = -5*o, -o + 2*o + 1 = 0. Is 6/9*(-39)/f a composite number?
False
Suppose -2*i + 3*i + 2*s - 519 = 0, -s = -4*i + 2085. Is i a prime number?
True
Suppose -3*y = -5*r + 32, 3*r - 2*y - 22 = -2. Suppose 2*l = -r - 2. Is 76 + (9/l - -4) prime?
False
Let i = 0 - -2. Let o = i + 1. Is o a prime number?
True
Suppose -5*f + 2456 = -f. Is f a composite number?
True
Let n be ((-42)/9)/((-4)/66). Suppose 0 = -4*u + 5*c + 167, 4*u - 2*c = n + 105. Suppose u - 196 = -4*y. Is y composite?
False
Let m(z) = -z + 1. Let j be m(4). Is (j + 2)*-37*1 prime?
True
Let w be 20/((-1 - -1) + -1). Let k be -3 + 1/2*-2. Is 652/10 - k/w a prime number?
False
Let m(t) = 4*t - 10. Let k(c) be the first derivative of 3*c**2/2 - 7*c - 1. Let u(w) = 8*k(w) - 5*m(w). Is u(4) prime?
False
Is (20/30)/((-2)/(-14727)) prime?
True
Let g(n) be the third derivative of n**6/120 + 3*n**5/20 + n**4/12 + 3*n**3/2 + n**2. Let q(i) = i**3 - 6*i**2 - 8*i - 1. Let o be q(7). Is g(o) a prime number?
False
Let f(k) = -k + 2. Suppose -z - z = 2*a, 36 = 5*z - 4*a. Let n be (-9)/z - (-1)/4. Is f(n) composite?
True
Is (50/(-40))/((-2)/16) a composite number?
True
Let n(g) = 98*g - 31. Is n(8) composite?
True
Let l(i) = -23*i - 2. Suppose 3*f = 7*f + 2*d + 2, -2*f = -3*d + 21. Is l(f) a prime number?
True
Suppose 231 = 3*m + 81. Suppose -g = -2*g + m. Let f = -15 + g. Is f composite?
True
Let y = 10472 - 3669. Is y composite?
False
Let v(b) = 32*b - 7. Is v(6) a prime number?
False
Let r(j) = j**2 - j + 11. Suppose -g + 4*g + 33 = 0. Is r(g) a composite number?
True
Let s = -14 + 20. Suppose -s = -5*m + 19. Suppose -5*t + 70 = -m*z, -t - 3*z + 16 = -2. Is t prime?
False
Suppose b = 3*y + 35, 2*b + 0*b = y + 20. Is (-12)/(-15) + (-142)/y prime?
False
Let s(g) = -g - 1. Let j(d) = 3*d**2 - 3*d - 4. Let p(i) = j(i) - 5*s(i). Let a be p(-1). Suppose 5*h - 85 = -a*v - 16, 73 = 2*v 