5*v + 17 + 13. Let f(s) = -s**3 - 12*s**2 + 12*s - 12. Let n be f(-13). Is n/v - 115/(-6) a composite number?
False
Suppose 0 = -3*j + 82 + 77. Is j a composite number?
False
Suppose 9 = 3*u - 12. Let w(n) = n**3 - 6*n**2 - 2*n - 9. Let o be w(u). Let a = -12 + o. Is a composite?
True
Let a(z) = 2*z - 6. Let o be a(4). Suppose r - 109 = -o*r - n, -r + 5*n = -47. Is r a prime number?
True
Suppose -2*l + 122 = -0*l. Suppose -2*g + l = f, f + 4*f - 277 = -3*g. Is f composite?
False
Let c = -45 + 66. Is 91 - 7/(c/6) a composite number?
False
Suppose 138 - 5 = 7*r. Is r composite?
False
Let h(a) = -3*a**2 + 4*a + 7. Let c(p) = -p**2 - p. Let m(t) = -2*c(t) + h(t). Let v be m(7). Suppose 5*s + 0*s - 15 = v. Is s a prime number?
True
Suppose -2 = g - 2*g. Suppose 0 = -3*m + g*m + 19. Is m composite?
False
Suppose -5*q = -3*q - 5*y - 30, 3*y + 12 = 0. Suppose -4*i - 2*t - 55 = -7*t, -56 = q*i - 2*t. Is (-1)/(-2) + i/(-4) a composite number?
False
Let l = 3128 + -1435. Is l a composite number?
False
Let x = 5764 + -2350. Suppose -3*f + x = 5*a + 902, -1512 = -3*a + 3*f. Is a a composite number?
False
Let n(k) = k**2 - 11*k + 2. Let m(b) = -3*b**2 + 21*b - 5. Let v(g) = -6*m(g) - 11*n(g). Let i be v(7). Is (i/(-6))/(4/(-6)) composite?
False
Let p = 71 + -1. Let n = 93 + p. Is n a composite number?
False
Let o = 1 - -1. Suppose 16 = 5*r + 3*l, r + o*l - 5 = 1. Suppose 2*i = -r*i + 636. Is i a prime number?
False
Let r(f) = -f - 7. Let c be r(-7). Let w = c - -8. Let o(s) = 15*s + 7. Is o(w) a composite number?
False
Suppose -x = 8*x - 9441. Is x composite?
False
Suppose -w = 4*i - 3*w - 272, 4*i - 260 = -4*w. Is i a composite number?
False
Suppose 5*g - 2*f = 471, 34 = 2*g + 5*f - 137. Is g prime?
False
Let q = -139 + 257. Is q a composite number?
True
Suppose d = 4*d. Suppose s = -3, d = -u + s + s + 263. Is u prime?
True
Let f(l) = l + 7. Let z be f(-5). Suppose 3*x = -4*k - z*x + 113, 5*k - 5*x - 85 = 0. Is k prime?
False
Let u = -20 - -47. Suppose s - u = -5*g, 6 = g + 1. Suppose -5*c + 187 = w + 3*w, 5*c - 181 = -s*w. Is c prime?
False
Let o = -8 + 10. Suppose o*f + f = 5*j - 15, 4*j - 14 = 2*f. Is j prime?
False
Let o = 3 + 3. Let y(z) = z**2 - 9*z + 2. Let u(r) = -r - 1. Let f(x) = -5*u(x) - y(x). Is f(o) composite?
True
Let u(c) = 45*c + 5. Let x be u(-4). Let h be 2/4 + x/(-10). Is (-708)/h*(-6)/4 a composite number?
False
Suppose 0*o = o. Suppose o = g - 1 + 7. Let t(i) = -3*i - 4. Is t(g) a prime number?
False
Let p(g) be the first derivative of -14*g**2 - 2*g - 3. Let w be p(-6). Suppose m = -m + w. Is m a prime number?
True
Suppose 0 = 5*l - k - 16, 4*l - 16 + 1 = 3*k. Suppose -9 = -l*z, 48 = -3*m - z + 12. Let v = 23 + m. Is v composite?
True
Suppose 7*m - 260 = 3*m. Suppose 0 = -2*l + 13 + m. Is l a prime number?
False
Let i be (-1)/(-4) + 23/4. Suppose -o - 435 = -i*o. Is o a composite number?
True
Let w = -12 - -22. Suppose w*k - 53 = 9*k. Let v = 102 - k. Is v prime?
False
Let s be -4*(183/6 - -2). Is 1/2 - s/4 a prime number?
False
Suppose -2*v + 7*v + 16 = -3*n, 0 = 3*v + 5*n. Is 55/22*(-446)/v a composite number?
False
Suppose -5*r - 1 = 9. Let b be 1/r*(0 - 0). Suppose 5*i = 15, b = 5*z + i + 2*i - 84. Is z composite?
True
Is 10/35 - 26676/(-28) prime?
True
Is 9/3*335/15 a composite number?
False
Suppose -5*d + 2*d - 2532 = 0. Let a be 10/(-45) - 22730/18. Let t = d - a. Is t a composite number?
False
Let i(o) = -2*o - 13. Suppose -36 = 4*t + 12. Is i(t) a prime number?
True
Is (0 + (-2)/4)*(-401 + 3) prime?
True
Let h be (-25)/(-2)*(-4)/(-5). Suppose h*f - 11 = 5*f + k, -5*f - k = -9. Suppose f*n - 9 = -1. Is n a prime number?
False
Let r(h) = -5*h - 11. Is r(-6) a composite number?
False
Let p be 3 - (-3)/(-2)*2. Suppose a - 3 = -r - 0*r, -2*r - 4*a + 14 = p. Is 1/r*(0 + -13) prime?
True
Let f be ((-3)/(-2))/(9/24). Let j(t) = t**2 + 1. Let k be j(4). Suppose 491 + k = f*s. Is s prime?
True
Let f(v) = -v**3 - 3*v**2 - 8*v + 6. Let m be f(-7). Is (-2 - -1) + 0 + m a composite number?
False
Let m = 122 + 132. Is m a composite number?
True
Let z = 50 - -84. Let p = 16 + z. Suppose 5*a = 5, 5*r - 2*a = p + 323. Is r a prime number?
False
Let k be 108/(-42)*-1*7. Suppose -4*j = -2*h + 16, k = 5*h - 2*j - 62. Suppose 5*i - 177 - h = 0. Is i composite?
True
Suppose 3*a + 5*t = 748, -256 = -a - t + 6*t. Is a prime?
True
Suppose -8*r + 3658 - 402 = 0. Is r composite?
True
Let p = -224 + 805. Is p a composite number?
True
Let w be (-2)/4*-8 + -1. Suppose 5*h = w*h + 262. Is h prime?
True
Let f = 32 + 198. Suppose -7*b + 5*b = -f. Is b prime?
False
Suppose -1 - 1 = -2*n. Is (n + 125/2)*2 composite?
False
Let t be 3/(3/2)*1. Suppose -2*i - t*i = -364. Is i composite?
True
Let h = -968 - -1613. Suppose 2*u + 3*i - 212 - 427 = 0, 0 = -2*u + 3*i + h. Is u a composite number?
True
Let u be 2/(-9) + 80/36. Let d be -9 - 3/u*-2. Let z = d - -21. Is z prime?
False
Let t(c) = c**3 - 6*c**2 + 2. Let n be t(6). Let y be n + -4 - (68 - 0). Let d = y + 159. Is d prime?
True
Let z = 693 - 138. Suppose 3*v + 90 - z = 0. Is v a composite number?
True
Let o = -336 + 923. Is o prime?
True
Let j be -8*4/(64/(-4)). Is j/(-12) - 806/(-12) a composite number?
False
Let p = -367 - -836. Is p prime?
False
Let u = 460 + -162. Is u a prime number?
False
Suppose 3*m - 2*m = -30. Is (23/3)/((-2)/m) a composite number?
True
Suppose 5*z + o + 2*o - 404 = 0, 3*z = -5*o + 252. Is z a composite number?
False
Let w be 4 - (6/2 - 1). Is 25/1 - (0 + w) a composite number?
False
Let g be 6/21 + 330/21. Is 916/g + (-2)/8 a prime number?
False
Is 3/6 - (-1 - 255/2) a composite number?
True
Let d(z) = z - 3. Let t be d(3). Suppose p + 54 - 317 = t. Is p a composite number?
False
Let l = 921 + -612. Is l prime?
False
Let y(n) be the first derivative of n**4/2 - 2*n**3 - 9*n**2/2 + 6*n + 10. Is y(7) prime?
False
Let k(o) = -89*o**2 + o. Let h be k(-1). Let c(p) = -19*p**3 + p**2 - 2*p - 3. Let l be c(-2). Let i = h + l. Is i a prime number?
True
Let h(l) = 8*l**3 + 3*l + 2. Let y be h(-2). Let x = y + 149. Suppose -4*g = 4*d - 148, 4*g + 3*d - 69 = x. Is g a prime number?
False
Let t(w) = 23*w**2 + 4*w + 1. Let y be t(-3). Let r = -138 + y. Is r prime?
False
Suppose -3*i + 2*q = -10, 3*q - 20 = -4*i + 4*q. Suppose -13 = -2*c - n, -i*c + n + 11 = -2*c. Suppose -c*t + 88 = -52. Is t a prime number?
False
Let m(b) = -20*b**2 + b + 8. Let d(a) = 39*a**2 - 2*a - 15. Let r(p) = 4*d(p) + 7*m(p). Is r(-3) prime?
False
Suppose 13*g = 6129 + 5402. Is g prime?
True
Let a(b) = 12*b**2 - 2*b - 2. Suppose 5*u = v + 2*v - 22, -3*u = v + 2. Let j be a(u). Suppose 8*c - 30 = 5*c - 2*z, -5*c + 2*z = -j. Is c prime?
False
Let m(w) = 6*w + 2. Let g(s) = s + 7. Let p be g(-3). Is m(p) a composite number?
True
Let k(r) = -17*r - 3. Suppose -3*g - 10 = 2*g. Is k(g) a prime number?
True
Let c(b) = -6 + 56*b - 2 + 4. Let g be c(4). Suppose 3*h - 621 = -4*u, -4*h + 3*h + g = -3*u. Is h prime?
True
Suppose 4*n + 97 - 32 = -3*i, -2*n - 15 = 5*i. Let h be 1/(-5) - 24/n. Is 2/(((-6)/(-633))/h) a prime number?
True
Let p(b) = b**2 + 2. Let z be -2 - (-1 - 1) - -12. Suppose -4 = -a, 5*h + 2*a - 11 = z. Is p(h) a composite number?
False
Let n = -3575 + 6798. Is n a composite number?
True
Let p(u) = -u**3 + u**2 - 1. Let k be p(-3). Let s = k + 156. Is s a composite number?
False
Is 229*28/20 + (-4)/(-10) prime?
False
Let j(k) = k**2 - 7*k + 4. Let w be j(6). Let u = -1 + w. Is (u/(-4))/((-2)/(-8)) a composite number?
False
Suppose -3*w + 2648 = 5*w. Is w a prime number?
True
Let n be (-2)/9 + 29/9. Is (2 - (4 - n))*79 a prime number?
True
Is ((-242)/(-4))/((-8)/(-16)) composite?
True
Suppose 0 = 5*f - 8*f + 633. Is f composite?
False
Is -3*(-10)/(-18)*-159 prime?
False
Let m(u) = -3*u**3 + 2*u**2 - 1. Let f be m(-1). Let o(b) = 45*b. Let w be o(4). Suppose 0 = f*s - w + 56. Is s a prime number?
True
Let h = 3 + 0. Suppose h*w - 6*w - 3 = 0. Is w/(-3 + (-384)/(-129)) composite?
False
Let n be 1/(3/789) - -2. Let p(o) = o**3 + 5*o**2 - 3*o - 11. Let m be p(-5). Suppose 0 = -b - m*b + n. Is b prime?
True
Let x = -2 - -3. Let p(b) be the third derivative of 7*b**6/12 - b**5/30 + b**4/12 - b**3/6 + 5*b**2. Is p(x) a prime number?
False
Suppose 0 = 3*j - 8*j + 15. Suppose j*l = 1 + 236. Is l a prime number?
True
Let