 + 52, 5*b = -2*k - 4. Suppose -t + 21 = k. Is t composite?
False
Suppose k + 2 = -x, 4*k = -2*x - 1 + 3. Let z(d) = 5 - 5 - 4 + 19*d. Is z(k) prime?
True
Suppose 2 = 4*j + 6. Is (-2)/j - -35*1 prime?
True
Let f(w) = -w - 3. Let z be f(-5). Let k(g) = 73*g - 1. Is k(z) a prime number?
False
Suppose -90 - 97 = -n. Is n a prime number?
False
Is ((-2386)/(-4) - 0)/((-7)/(-14)) a prime number?
True
Let l = -1 - -22. Is l prime?
False
Let m(z) = -z**2 - 28. Let x be m(0). Is 1/(-4) + (-4403)/x a composite number?
False
Let g = 225 + 74. Is g a composite number?
True
Suppose 11 = x - 5*q - 14, x - q - 9 = 0. Suppose x*h - 142 - 813 = 0. Is h composite?
False
Is (1573 - 1/(-1))/2 prime?
True
Let l(j) = -j**3 + 7*j**2 + j - 4. Let o be l(7). Let w = o + -4. Is (0 + w - -56)*1 a composite number?
True
Let h = 10 - 6. Suppose 3*r + 3*f - 8 = 1, 4*r - 13 = -3*f. Suppose r*w = -4*i + 72, -h*w - 3*i = 2*i - 76. Is w prime?
False
Let r(b) = -12*b + 2. Let x be r(1). Let f(g) = -4*g + 18. Is f(x) a composite number?
True
Let y be (1 + 14)*(-4)/(-6). Suppose x = -5*b + y - 5, 0 = -x - b + 1. Suppose x*v + v = 3*o - 19, 3*o - 4*v - 22 = 0. Is o a prime number?
False
Suppose 3*o - 4*h - 1022 = 30, 0 = 5*o - h - 1742. Let f be 2 + 1/2*0. Is 0 + (o/f)/2 a composite number?
True
Let w = -264 + 450. Suppose 0 = -2*u + k + w, 0*u - 2*u = -4*k - 174. Is u prime?
False
Is (-13)/((-65)/8070)*(-2)/(-6) a prime number?
False
Let k(c) = 5*c**2 - 3. Is k(4) a composite number?
True
Let g = -130 - -261. Let x = 246 - g. Is x a prime number?
False
Let a(r) = 224*r - 5. Is a(2) prime?
True
Let c be -4 - (-2)/(-4)*-2. Is -573*((-20)/6 - c) a prime number?
True
Suppose -15*t + 11*t = -15220. Is t composite?
True
Let z(s) = -4*s + 3*s**2 - 4 + 2*s + s**2 + 4*s**2. Is z(-3) a prime number?
False
Let m(a) = -a**2 + 8*a - 5. Let p be 0 + (-2*1 - 0). Let l be (-6)/((p + 3)/(-1)). Is m(l) prime?
True
Suppose -5 + 3 = -2*g, -2*h - 4*g + 8838 = 0. Is h composite?
True
Suppose 181 = o - 76. Is o a composite number?
False
Let d be ((-14)/7)/((-1)/(-866)). Let v = d - -1113. Let y = -362 - v. Is y prime?
True
Let s(r) be the second derivative of -r**5/20 + r**2 - r. Let o be s(0). Suppose q + j - 102 = 0, j = -o*q + 69 + 130. Is q a composite number?
False
Let c be 11/3*(1 - 4). Let y = c + 24. Is y prime?
True
Suppose o + 3*o = 140. Suppose 2*k + 2*z = 256, 2*z - o - 94 = -k. Is k a composite number?
False
Suppose 0 = 5*g - 3*y - 29, g = -2*g - 3*y + 3. Suppose -4*d - 2*c = -0*d - 198, -g*d = 4*c - 192. Is d a prime number?
False
Let q(m) = -1635*m + 2. Is q(-1) prime?
True
Let s be 2/(-2 + 1) + -4. Is 9/s*2 + 25 a composite number?
True
Let v(h) = h**2 - 5*h + 2. Let n be v(5). Suppose -197 = -4*q - j, q = -n*j + 34 + 17. Let s = q - -28. Is s a composite number?
True
Suppose 701 = 3*x + 236. Is x a prime number?
False
Let n(x) = 16*x**3 - 4*x**2 + x - 1. Is n(3) a prime number?
False
Suppose -k = -6*k + 450. Suppose 3*q - 2*q = -2*r + k, 0 = -5*q + 2*r + 450. Suppose -2*d + 64 = -q. Is d composite?
True
Let a(r) be the first derivative of r**4 - 7*r**3/6 - r**2 - 2. Let j(p) be the second derivative of a(p). Is j(5) a prime number?
True
Let u be (-1 - 2)/((-2)/(-4)). Let d(g) = g**2 + 7*g + 6. Let l be d(u). Suppose l = 5*r - 125 - 0. Is r prime?
False
Let h(z) = z**2 - 15*z + 15. Let m be h(10). Is (-7795)/m - 6/(-21) composite?
False
Let h(x) = -10*x + 3. Let l(a) = -a. Let z(q) = h(q) - 5*l(q). Let w be z(3). Is (14/(-4))/(2/w) composite?
True
Let m = 396 + -238. Let c = m + 47. Is c prime?
False
Suppose -12 = 2*c - 32. Let b be 220/3*12/c. Let f = -11 + b. Is f prime?
False
Let n(u) = -u**3 - 9*u**2 - 10*u - 5. Let h(d) = 0*d - d**2 + d + 1 + 7 - 4. Let b be h(4). Is n(b) a composite number?
False
Let n(i) = -5*i + 2. Let k be n(-7). Suppose -l + 4*x + k = -4, 2*x = -2. Is l composite?
False
Let a = 9 - 5. Suppose i - a = 3. Let g(p) = -p**2 + 7*p + 3. Is g(i) composite?
False
Suppose -3*h = -2*x - 343, 4*h - x - 41 - 413 = 0. Is h a prime number?
True
Let x(q) = 10*q - 3. Let p be x(-6). Let c = p - -112. Is c composite?
True
Let y(j) = j - 1. Let f(r) = -r**3 + 7*r**2 - 2*r + 6. Let u(x) = f(x) + y(x). Is u(4) a composite number?
True
Let w = -5 - -19. Let a = 47 - w. Suppose -5*g + 2*g = -a. Is g prime?
True
Suppose 5*a + 6 + 24 = 0. Let j be ((-37)/2 - -1)*a. Suppose 12 = 4*h - g - 72, 5*h - j = -5*g. Is h a composite number?
True
Let i(v) = v**3 + v - 3. Let m be i(0). Let a be (-2 + 3 - m)*1. Suppose -3*p = 2*f - 643, -686 = -a*p + 2*f + 148. Is p a composite number?
False
Suppose -4*n + 2*n + 4*h = 206, -4*n = -5*h + 415. Let t = n + 151. Is t prime?
False
Suppose -644 = 5*r - 9*r. Is r composite?
True
Suppose 4*s = 2*k - 930, -14 + 2 = -3*s. Is k prime?
False
Suppose 2340 = 5*v + 155. Is v prime?
False
Let v be (-55)/(-30) + (-1)/(-6). Is (-25 + 3)*(-3)/v a composite number?
True
Is 5/10*8 + (-2 - -261) prime?
True
Let z(w) = -48*w - 31. Is z(-4) a prime number?
False
Is 2/4*(-11)/((-66)/3012) a prime number?
True
Suppose -653 = -5*i + 2692. Is i a prime number?
False
Let u(i) = 255*i - 2. Is u(1) a prime number?
False
Let t(v) = 13*v - 3. Let o be t(-3). Let n = o + 81. Is n prime?
False
Suppose 2*p + 3*p = 0, -4*p = -2*n + 4. Is 254*n/4*1 prime?
True
Suppose -d + 1018 = -421. Is d prime?
True
Let g(v) = 69*v**2 + 12*v + 23. Is g(-6) prime?
False
Suppose -2*z = z - 15. Suppose 3*n + 2*x - 1119 = 6*x, -n + 373 = -z*x. Is n a composite number?
False
Let g(j) = -j. Let w be g(2). Let m(c) be the second derivative of c**4/3 + c**3/6 - c**2/2 + c. Is m(w) prime?
True
Suppose 0 = y - k - 9, 10*k - 45 = -5*y + 5*k. Suppose 21*i + 10 = 23*i. Suppose i*o - y = 26. Is o a prime number?
True
Let s be 2/(-6) - (-20)/6. Suppose s*a - 30 = -0*a. Is a a prime number?
False
Is 854*1 - 6/(-3 - -9) composite?
False
Let f(s) = 20*s + 1 + 1 + 1. Is f(8) composite?
False
Let l be 3/(-6) + (-2)/(-4). Let a = 2 + l. Suppose 0 = 3*b + a*b - 65. Is b composite?
False
Suppose -242 = -2*v - 66. Suppose 3*c - 36 = -3*p, -4*p - 2*c + v = -6*c. Suppose 8 + p = o. Is o prime?
False
Let s = -55 - -39. Let b = -10 - s. Is ((-2)/(-3))/(b/477) composite?
False
Let a(o) = o - 5. Let c be a(8). Suppose -c*r - l = -1409 + 415, -2*l - 660 = -2*r. Is r composite?
False
Suppose -15 = -2*h + y, -3*y = -5*h + 31 + 9. Suppose 5*g = -h*q + 2005, -2*g - 4*q + 623 + 179 = 0. Is g composite?
False
Is ((-18)/(-12))/(15/34330) a composite number?
False
Suppose -5*c + 9*c = 240. Let u = 99 - c. Is u a prime number?
False
Let s(i) = -i - 4. Let d be s(-4). Suppose d = -t + 5*t - 388. Is t prime?
True
Suppose 5*o - 1414 = -3*z, 5*z = -9 - 1. Let j = 439 - o. Is j a prime number?
False
Suppose -4*x + 3 + 13 = 0. Suppose 0*z - 18 = z. Let s = x - z. Is s prime?
False
Let j be (4 + -1)/(1/3). Let a = j - 5. Suppose a*h = -3*k + 829, h = 3*h + 2*k - 416. Is h a prime number?
False
Let a be (-2 - -89) + 0/(-1). Let f be ((-3)/3 + 1)/2. Suppose 2*p = 10, f*x + p + a = 4*x. Is x a composite number?
False
Suppose -q + 4459 = -6*t + 10*t, -2*q + 3*t + 8874 = 0. Is q a prime number?
False
Let x(u) = -u**3 + 6*u**2 - 7*u + 8. Let h be x(7). Let d = 169 + h. Is d prime?
True
Let h be 0/2*2/(-4). Suppose h = -d - 1. Is 1*d/2*-142 a composite number?
False
Let s = 23 - -14. Suppose 76 = x - s. Is x prime?
True
Let g be (-54)/(-3) + -1 + 1. Suppose -2*i + n + 2 = 10, -4*n = -i - g. Is 39*2 + 1 + i composite?
True
Suppose -t = 3*t - 124. Is t composite?
False
Let v(j) = 2*j**2 + 4*j - 6. Let o(b) = -b**2 - 5*b + 7. Let p(t) = 5*o(t) + 6*v(t). Let q be p(-1). Let d = -4 + q. Is d composite?
False
Suppose 0 = 6*y + 1124 - 11690. Is y prime?
False
Suppose -4*g + 8*g = 184. Is g prime?
False
Suppose 3*a = -3, -y - 5*a + 50 + 64 = 0. Is y a prime number?
False
Suppose -b - 5441 = -5*z + 100, -4*z - 4*b = -4452. Is z composite?
False
Suppose 0 = 4*o - 6*t + 2*t + 20, 0 = 2*o - t + 5. Suppose o*h = -h. Suppose -3*u + 7*u + 4*x - 136 = h, 0 = 3*u - 2*x - 107. Is u a composite number?
True
Suppose -3*q + 22 + 8 = 0. Let s(h) = -h**3 + 11*h**2 - 8*h - 14. Let y be s(q). Is (-2 - -256)/(y/3) a composite number?
False
Let v(n) = n**3 - 6*n**2 + 5*n. Let y be v(5). Let w be (-10 - 1) + (-2 - y). Let h = 82 + w. Is h a prime number?
False
Let i(r) =