2/2 + 5*b. Is y(-11) prime?
False
Suppose 3*j = j. Suppose 0 = -5*n - z + 130, j*n = n - 4*z - 5. Is n a composite number?
True
Let z(r) be the third derivative of -r**6/120 - r**5/5 + r**4/2 + 13*r**3/6 + 4*r**2. Is z(-13) a composite number?
True
Let z(g) = -g**3 + 11*g**2 - 9*g - 4. Let l be (-8 - -9) + (-1 - -10). Is z(l) prime?
False
Let n(v) = v**2 + 7*v - 7. Let x be n(-8). Let c be x/6 + 155/(-30). Is 3 + c + (83 - 2) prime?
True
Suppose 6 = 3*u - 0. Suppose 20 = u*d - 0*d. Is d prime?
False
Let v be ((-2)/2)/(2/(-4)). Let o = v + 1. Suppose o*k - 104 = -k. Is k a composite number?
True
Suppose -7*b + 5008 + 5863 = 0. Is b a composite number?
False
Let d(z) = 18*z - 1. Let m be d(2). Suppose y + 3*y + 22 = 2*x, -5*x + 5*y = -m. Suppose 0 = -x*n + 3 + 18. Is n composite?
False
Suppose -2*t - 2*t + 320 = 0. Let n be -1 + -1 - -3 - t. Let k = 134 + n. Is k a composite number?
True
Suppose a + g - 5*g = 181, 5*a + 5*g - 780 = 0. Let z = -76 + a. Is z a prime number?
False
Let g(f) = -f + 8. Let b be (0 - -1)/(2/(-12)). Is g(b) a prime number?
False
Suppose -2*q + 9251 = 5*d, -q + 8*d - 3*d = -4588. Is q composite?
True
Suppose 5*o + 33 = -2. Let m(f) = f**3 + 8*f**2 - 2*f - 10. Is m(o) a prime number?
True
Is (9 - 4)/(-5) - -754 composite?
True
Let w(i) = -3*i. Let u be w(-1). Suppose -4*m = u*a - 21, -2*m + 3*a = m. Suppose -3*o = -o + m*t - 50, 3*o = 5*t + 56. Is o prime?
False
Let y(x) = -1013*x + 53. Is y(-8) a composite number?
True
Suppose 3*i - 2*i - 244 = 3*j, -4*i + j = -1009. Is i a composite number?
True
Suppose -4*c + 80 - 20 = 0. Is c a composite number?
True
Suppose 0 = -5*x + 3*f + 599, 0*f - 3*f - 127 = -x. Is x a prime number?
False
Let a be 54 + -1 + (-1 - 2). Let t = a - -37. Is t prime?
False
Suppose 33531 = -12*f + 15*f. Is f a composite number?
False
Let d(r) = -31*r - 5. Let o be d(11). Suppose 0 = j + 3*s + 31, 2*s - 4*s = j + 30. Is (-8)/j - o/14 composite?
True
Suppose -2*h - 1 = -3*h. Let n be h/(-6) - (-1254)/(-36). Let m = -24 - n. Is m composite?
False
Let i = 324 + 443. Is i prime?
False
Suppose 0 = k + 2, 5*k = -n + 919 + 1704. Is n a composite number?
False
Suppose 0*l = l - 3. Suppose -550 = -l*y - d, -5*y + 4*d = -172 - 773. Is y composite?
True
Suppose 0 = -5*l - 0*l + 1455. Is (l + 7)/((-2)/(-1)) a composite number?
False
Suppose -2053 = -4*h + 5727. Is h a composite number?
True
Let q = 1128 + -307. Is q a prime number?
True
Suppose -8 + 2 = -2*b. Let n(m) = -2*m + 3 + 16*m**3 - b*m + m + m**2. Is n(2) prime?
True
Let t(u) = -u**3 + u**2 + u + 1. Let m(r) = 37*r**3 - 7*r**2 - 5*r - 4. Let f(k) = m(k) + 5*t(k). Let v = -17 - -18. Is f(v) composite?
False
Let z be 4/1*(2 + -1). Suppose -2*v = -z*v + 254. Is v composite?
False
Suppose 0 = m - 5*m + 2076. Is m a prime number?
False
Let j be (1/(-2))/(1/12). Is (-7)/(-21) + (-316)/j a composite number?
False
Let i be (-12)/(-8)*(-4)/(-2). Is 306/(-6)*(-2)/i a composite number?
True
Let w(v) = -4*v**3 - v**2 + 5*v + 1. Is w(-4) prime?
False
Let k(c) = 3*c**2 + 3*c - 13. Is k(-10) a prime number?
True
Suppose 4*a - 116 = -2*s + 162, -4*s = 3*a - 581. Is s a composite number?
False
Let r(f) = -f**3 + f**2 + 2. Let v be r(0). Suppose y - p - v*p = 8, -5*p - 18 = -4*y. Is y/14 - (-960)/42 prime?
True
Is ((-1914)/(-12))/((-4)/(-32)*4) composite?
True
Let b be 188 - (1 - 3)*1. Let p = b + 19. Is p a prime number?
False
Suppose -2*z + z = -37. Is z composite?
False
Let j be 4/(-6)*6/2. Suppose 5*t + 5*g = 45, 2*t - 15 = t - 3*g. Is (452/t)/(j/(-3)) prime?
True
Is 2/(-4)*-6 + 88 a composite number?
True
Let z be (13/(-13))/((-1)/(-332)). Let j = 155 - z. Is j a prime number?
True
Suppose -2*a + 328 = 3*k, 327 = 3*a - 4*k - 182. Suppose 4*j - 2*r = 322, 3*j = 5*j - 3*r - a. Is j prime?
True
Is 1320 + (-1)/(-2)*(14 - 16) a prime number?
True
Let f = 394 + -125. Is f prime?
True
Let j(s) = 2*s**2 - 4*s - 1. Let o be j(3). Suppose 260 = r + 2*v - 177, 869 = 2*r + o*v. Is r composite?
True
Let k be 2/6 + (-508)/3. Let u(r) = -r - 72. Let v be u(0). Let a = v - k. Is a prime?
True
Let o be -2 + (-2)/(-2 - 0). Is 40 + 8/(-4) + o a composite number?
False
Let p(v) = -v + 7. Let s be p(7). Let g be s/6 + -1*2. Is -1 - -36 - g*1 prime?
True
Let f(r) be the second derivative of -r**4/12 - 8*r**3/3 + r**2/2 + 3*r. Is f(-8) composite?
True
Let f = 16 + 18. Is f a composite number?
True
Let z(x) = -3*x + 391. Is z(0) a composite number?
True
Let r(k) = -8*k**3 + 2*k**2 + k - 1. Let f(t) = -9*t**3 + 2*t**2 + t - 1. Let l(q) = 3*f(q) - 4*r(q). Let y = 92 - 90. Is l(y) composite?
False
Suppose 1 = 2*g - 5. Let v be 3 - 3 - -108 - 3. Suppose v = g*a + 2*a. Is a a composite number?
True
Let q(m) = 2*m**3 + m**2 - 3*m + 3. Let d be q(4). Suppose -4*j + 373 = -d. Is j a composite number?
False
Let n = -410 - -819. Is n prime?
True
Suppose -17 = 2*n - 111. Is n a composite number?
False
Is 1950 + (-1 - -2)/(-1) a composite number?
False
Let g be ((-2)/4)/(1/(-6)). Is 41/3 + (-2)/g composite?
False
Let o(n) = -n**3 + 9*n**2 - 9*n + 5. Suppose -3*c - 36 = -4*r, -r + 0*r + 5*c + 26 = 0. Is o(r) prime?
True
Let c(k) = 29*k**2 - 10*k - 5. Is c(-4) a prime number?
True
Let f be 2/(-3)*(-1762 + 1). Let s = 1971 - f. Is s a prime number?
True
Is (-18)/63 + 1759/7 a composite number?
False
Suppose -3*q = -3, 0 = 3*s - 8*s - 4*q + 269. Is s composite?
False
Let j = -29 + 2. Let c = j - -40. Is c prime?
True
Is 26*(2 - (-95)/10) a composite number?
True
Let d = -87 + 184. Is d a prime number?
True
Suppose 3*j + j + 12 = 0. Let y be (2 + j + 1)/1. Is 18 + y/(-1) + 3 prime?
False
Suppose -2*q = -7*q + 30. Is q a prime number?
False
Suppose -6*f + 1263 = -f + g, 5*g + 1022 = 4*f. Is f composite?
True
Suppose -4*k = -6*k + 382. Is k a prime number?
True
Suppose -4 = -c, 0 = n - 0*c + c - 23. Is n composite?
False
Let x(l) = 2*l - 9. Let g be x(6). Suppose g*w = -0*w + 186. Is w a prime number?
False
Suppose -4*i + 26079 = -x, 14*i + 3*x = 16*i - 13027. Is i composite?
False
Let f(r) = 3*r**2 - r - 3. Let a be f(-7). Suppose 3*d - 1408 = -a. Is d a composite number?
False
Suppose -2*j + 2*k + 425 = 5*k, -4*j + k = -843. Is j prime?
True
Let i(l) = l**2 - 6*l + 10. Suppose -5*m - 25 = 0, 0 = -s - 5*m - 5 - 19. Let x be s/2*(20 - 2). Is i(x) prime?
True
Is 1491/9*(2 - -1) a prime number?
False
Let p(h) = -2*h**3 + 4*h + 6. Let r be p(-6). Suppose 2*b = -7 + 3, 5*w - r = 2*b. Is w a composite number?
True
Let k = 2 + -2. Let j = -187 + 315. Is j - k - -1 - 2 prime?
True
Let c(y) = -y**3 - y - y**3 - 2*y**2 + 14 - 7 - y**3. Is c(-5) a composite number?
False
Let i(k) = -k**3 - k**2 - 2*k + 3305. Is i(0) a composite number?
True
Let z = 18270 + -7903. Is z a prime number?
False
Let v(y) = 11*y**2 - 9*y + 5. Is v(6) a composite number?
False
Let c(b) = -5*b**2 + 14*b + 5. Let x(k) = -2*k**2 + 5*k + 2. Let t(o) = -4*c(o) + 11*x(o). Let w be t(4). Let m = -12 - w. Is m prime?
False
Suppose -5 = -3*t + 2*t. Suppose 0 = 3*f - t*l - 37, 4*f - l + 0 - 21 = 0. Suppose -f*s + 44 = -0*s. Is s composite?
False
Suppose -5*p = 20, -3*p = -r + 43 - 16. Is r composite?
True
Suppose 0 = -8*b + 1192 - 184. Suppose -145 = -2*f + 3*o, -4*f - 2*o = -4*o - 270. Suppose -b - f = -t. Is t a prime number?
True
Suppose -8 = -3*l + 19. Suppose -l + 30 = o - w, 3*o = -2*w + 73. Is o a composite number?
False
Suppose 116 - 26 = -3*q. Let n = q + 63. Is n prime?
False
Let r be (-44 - (0 - 1)) + 1. Let f = r - -107. Is f prime?
False
Let h(l) = l + 9. Let z be h(-7). Is z/1 + (-1 - -2) composite?
False
Suppose 4*r + x = -14, -2*r - 2*x - 4 - 6 = 0. Let b(p) = -3*p**3 + p**2 - p - 2. Is b(r) a prime number?
False
Let z(o) = o + 91. Let i(l) = -3*l - 272. Let p(h) = -6*i(h) - 17*z(h). Is p(0) composite?
True
Let m = 92 + 173. Is m composite?
True
Let r be -97*(2 + -3 + 2). Let x = r - -166. Is x composite?
True
Suppose 0 = -2*g + 3*b + 154, 5*g - 423 = -4*b + 2*b. Is g a composite number?
False
Suppose 1738 = -2*j + 4*j. Is j a prime number?
False
Suppose -5 = -q + b, -q + 3*q + 5*b = -4. Suppose 0 = -q*s - 48 - 24. Let n = -10 - s. Is n prime?
False
Suppose -2*r - 4 = -4*r. Let i(g) = 13*g + 1. Let j be i(2). Suppose r*y - j = 79. Is y composite?
False
Suppose 0*i = -4*i + 40. Is i composite?
True
Let n be 84/(-10) + (-4)/(-10). Let 