t**2/2 + 7*t. Is b(c) a composite number?
False
Let t = 9 + -7. Suppose t*l - 3*d - 164 = 0, 5*l - 205 = -2*d + 186. Is l composite?
False
Let v = 352 + -203. Is v a prime number?
True
Suppose -76*f - 12603 = -79*f. Is f a prime number?
True
Let f = -8 + 12. Suppose -f*i + 2*i + 932 = 0. Suppose 5*n - 3*n - i = 0. Is n a composite number?
False
Is (-62)/(2/(-172)*4) composite?
True
Let o(x) be the second derivative of -x**5/20 - x**4 - 4*x**3/3 - 9*x**2/2 + 5*x. Is o(-12) a prime number?
False
Suppose 4*z - 3*b - 789 = 0, -2*z - 3*b + 618 = z. Is z a composite number?
True
Suppose u = 2, 0 = -s - s - u + 424. Is s composite?
False
Is (0 - 67)/((9/369)/(-1)) prime?
False
Let d = -2 + 6. Is (6/d)/((-9)/(-90)) prime?
False
Let y = -358 - -711. Is y a composite number?
False
Let i = -274 + 405. Is i a composite number?
False
Let c be (-60)/(-9)*12/(-5). Let t be 2/(-10) - c/5. Suppose 0 = -t*u + 1 + 164. Is u prime?
False
Let o = -298 + 419. Is o a composite number?
True
Let j be 2058/4 - (-2)/4. Is j/2 - 2/4 a composite number?
False
Let w = 678 + 1307. Is w a prime number?
False
Suppose 8*r = 4*r - 2*p + 9854, 3*r - 2*p - 7408 = 0. Is (-1)/2 + r/12 a composite number?
True
Suppose -5*k + 260 = -j + 3*j, -3*j - 285 = -5*k. Suppose -4*l + 131 = -l - 4*u, -2*l - 4*u + k = 0. Is l a composite number?
False
Suppose 0 = 5*v + 3*f - 41 - 281, 3*v - 3*f = 198. Is v a prime number?
False
Is ((-9)/(-36))/(2/4328) prime?
True
Let b(a) = -62*a + 35. Is b(-11) prime?
False
Suppose -v - b + 0*b - 1 = 0, v + 1 = -4*b. Is (-115)/((1 - v) + -3) prime?
False
Suppose 0 = 13*s - 6148 - 3433. Is s composite?
True
Let d = 0 - 63. Let a(y) = -y**3 + 9*y**2 + 8. Let m be a(6). Let c = m + d. Is c composite?
False
Let o(q) = 3*q**2 - q. Let c be o(1). Suppose s - 21 = -c*s. Is s a composite number?
False
Is (1/(2 + -3))/((-2)/4198) composite?
False
Suppose 0 = -g + 3*g - 5*b + 29, -33 = 4*g - 5*b. Let m = g - 3. Let r = 122 - m. Is r a prime number?
True
Suppose -2*k + 200 = -62. Is k a prime number?
True
Suppose 4*k = -4*n + 40, 2*n - 42 = -4*k - 0*n. Let t = 12 + k. Is t composite?
False
Suppose 2*g = 516 + 122. Is g a prime number?
False
Let s be ((-13)/(-3))/((-1)/(-9)). Suppose -4*o + m = -628, -m = -5*o - 0*m + 786. Let w = o - s. Is w prime?
False
Let n = 5 - 3. Suppose -n*o = -3*q + 185, -q - 345 = -6*q - 4*o. Is q a prime number?
False
Suppose 3*x + 590 = 3*p - 679, 0 = -5*p + 2*x + 2112. Is p a prime number?
False
Let q(p) = -p**2 - 8*p + 3. Let y be q(-8). Let i be 24/3*y/6. Suppose 4*t + 56 = -i*a + 380, a = 3*t - 259. Is t prime?
False
Suppose n + 4*d - 18 = 0, -3*n + 13 + 25 = 4*d. Let y(x) be the first derivative of -x**3/3 + 11*x**2/2 + 9*x + 2. Is y(n) a composite number?
False
Suppose 7*s - 4 = 3*s. Let k = s - -1. Suppose -5*j + 88 = 3*g, 0 = -g + 2*g - k*j - 11. Is g a prime number?
False
Let v(u) = -u**3 - 5*u**2 - 4*u + 4. Let c be v(-4). Let y(f) = f**2 + 2*f + 1 - f + c*f. Is y(-6) a prime number?
True
Is 4 + 399 + -6 + -1 + -1 composite?
True
Suppose 5*r - 3*r + 108 = 0. Let t = 13 - r. Is t prime?
True
Let s(v) = -3*v**3 - 2*v**2 - 1. Let p(n) = -6*n**2 + 17. Let x(z) = 2*z**2 - 6. Let k(a) = 6*p(a) + 17*x(a). Let g be k(1). Is s(g) prime?
False
Let y(w) = w**2 - w + 51. Let q(z) = z + 6. Let u be q(0). Let v(d) = d - 6. Let c be v(u). Is y(c) composite?
True
Let c = 1 - 0. Let l be -4 - -2 - 1/c. Let v(w) = -w**3 + 4*w**2 + 2*w - 4. Is v(l) prime?
True
Let a = 5 + -2. Suppose 7 - a = c. Suppose -x + 3*z - 24 = -c*x, -4*x + z = -47. Is x composite?
False
Suppose 69 = g - 28. Is g prime?
True
Suppose -p + y + 327 = p, 3*p = -3*y + 468. Is p composite?
True
Suppose 40*t = 39*t + 1151. Is t a prime number?
True
Suppose 3*d = 4*d - 3. Suppose -c + 6*c - 3056 = -3*g, 4*g = d*c - 1851. Is c a prime number?
True
Let b(r) = 1 - 2 + 0*r**2 - r**2 + 6*r. Let j be b(4). Is j*14 - (-2 + 3) a composite number?
False
Suppose -4*w = w - 110. Is w a composite number?
True
Let j(z) = z**2 + 1. Let y be j(0). Is -10*(55/(-2) + y) composite?
True
Let b be (3 - 1)/(2 + 0). Let v be (-5)/((-3)/(b + 2)). Is 3732/20 + 2/v composite?
True
Suppose 16768 + 11362 = 10*c. Is c composite?
True
Suppose 13 + 8 = 3*o. Let q(n) = 0*n**2 + 2*n**2 + 0*n**2 - n**2 - 4*n - o. Is q(9) a composite number?
True
Let w(c) = -74*c**3 + 6*c**2 - 7. Is w(-3) a prime number?
False
Let c = 1 - -4. Suppose c = -5*j + 900. Is j composite?
False
Suppose 2*i - f = 514, 2*i - i - 3*f = 247. Is i a composite number?
True
Let j(n) = -n**3 + 4*n**2 + 6*n - 1. Let g be j(4). Let r = g - -194. Is r prime?
False
Suppose 2*k + 3*j - 983 = -54, -5*k + 2*j + 2294 = 0. Suppose i = 5*i - k. Is i composite?
True
Suppose 0 = 4*r - 0*d - d - 603, 3*d + 441 = 3*r. Let f = r + 71. Let i = f + -156. Is i a prime number?
True
Let v be ((-22)/4)/(1/(-4)). Suppose -v - 11 = -w. Is w a prime number?
False
Let a(l) = -l. Let k be a(-3). Suppose -k*u - u + y + 381 = 0, y = -5. Is u prime?
False
Let q(i) = -i**3 - 2*i**2 - 3*i - 6. Let a be q(-4). Suppose 301 = r + a. Is r composite?
False
Suppose -2132 = 5*p - 9*p. Is p composite?
True
Suppose 0 = 4*l - 0*l + 3*g - 632, -4*g = 5*l - 789. Is l composite?
True
Let a be (-27)/(-6) - (-1)/(-2). Let l be 2/4 + 18/a. Suppose l*x = 15, 3*n - 2*x = -21 + 93. Is n composite?
True
Let p = 6 - 7. Let d be 1/((-2)/4 - p). Is (-383)/(-7) - d/(-7) a composite number?
True
Let i be (-2)/7 - (-4)/14. Suppose 0*u + 5*u - 20 = i. Is (u - 3)*19*1 a prime number?
True
Let t(f) = -f**3 + 8*f**2 - 7*f + 5. Let y be (7*1)/(1 - 0). Let r(v) = v**3 - 7*v**2 + 2*v - 8. Let b be r(y). Is t(b) a prime number?
False
Let k be -1137 - 1/(-3 - -4). Let q = -807 - k. Is q prime?
True
Suppose -4*d = -6*d + 30. Suppose -3*w + 5*l + 76 = 0, 7 = w - l - d. Suppose i - 2 = w. Is i a prime number?
True
Let q = 5 + -8. Let t be (-2)/q + (-178)/6. Let m = t - -52. Is m prime?
True
Suppose -97 = -11*p + 79. Let r = 7 - 4. Suppose p = l + r. Is l composite?
False
Let u = 1 - -3. Suppose u*g - 25 = -g. Suppose -7 - 16 = -p - s, -g*p - 4*s = -113. Is p composite?
True
Let o be 2 + 4/2*1. Let a(r) = -r**2 - 7*r + 10. Let w be a(-8). Suppose -92 = -5*k - x, -w*x + 7*x = -k + o. Is k a prime number?
True
Let o = -7 + 7. Let j be 1 + (2 + o - 1). Suppose -j*z + 65 = -0*z - r, -2*z + 50 = 4*r. Is z a composite number?
False
Let k be (-1)/4 + 6722/8. Suppose -2*r - j = -6*r + k, 5*r + 5*j = 1075. Is r composite?
False
Let z(r) = -4*r + 2189. Is z(0) a composite number?
True
Suppose -2*m = -0*m - 4. Suppose 181 = q + m*t, -2*q + 3*t + 206 = -q. Is q prime?
True
Suppose 4*a - 3212 = 5*t, 5*a - 4*a - 2*t = 803. Is a a prime number?
False
Suppose 1464 = 2*k + 2*y, 5*k + 0*y - 3628 = 3*y. Suppose 0 = w - 2*s - 259, -4*w + k = -4*s - 328. Is w a composite number?
False
Let t(k) = 1362*k**3 - k**2 - k + 1. Is t(1) a prime number?
True
Suppose 0 = 2*w - 99 - 49. Is w a prime number?
False
Let r(t) = 585*t + 4. Is r(2) prime?
False
Suppose -12*n + 14*n = 982. Is n a composite number?
False
Let h be 12 + -10 - (-2 + 1). Suppose -h*s = 4*b - 1769, 2*s - 1397 = 4*b - 231. Is s a composite number?
False
Let t(m) = m - 2. Let i be t(6). Let o = i - -79. Is o prime?
True
Let y(s) = -2*s**2 + 2*s. Let v be y(-4). Let r = v + 151. Is r prime?
False
Suppose 0 = i - 377 - 62. Is i composite?
False
Let u(g) = g**3 - 11*g**2 - g + 5. Let l be u(11). Let c be 4/6 - l/(-9). Suppose 0 = -o - c*o + 71. Is o prime?
True
Suppose -5*w + 0*w = 710. Let j = -68 - w. Is j a prime number?
False
Let n(d) = 2*d**3 - 5*d**2 + 2*d - 1. Let l be 12 + -1 + (1 - 3). Let k = l - 5. Is n(k) a composite number?
True
Let l = 2 + -2. Let b be (l + -14 + 1)/1. Let p = b + 20. Is p a composite number?
False
Let r = 3216 + -1801. Is r composite?
True
Suppose 0*p = 2*p + 22. Let u = 20 + p. Is u prime?
False
Suppose 0 = o + 4*q - 14, 7*q = -3*o + 3*q + 26. Let z(x) = -19*x + 3. Let f be z(o). Is ((-1)/1)/(3/f) composite?
False
Suppose 3*c - 5*c = -12. Let r(n) = n**2 - 2*n - 5. Is r(c) prime?
True
Let h(o) = -o**3 + 13*o**2 + 14*o + 1. Is h(11) composite?
False
Let v = -64 + 121. Suppose v + 55 = 4*q. Let t = -5 + q. Is t a composite number?
False
Let k(p) = -3*p**2 + 3*p**3 + 10*p**2 - 2*p**3 + 2 + 0*p**2 - 2*p. Is k(-5) composite?
True
Let n(o) be the third 