4 + o**3/6 + 3*o**2. Suppose 2*s - 7 = -19. Is y(s) prime?
True
Let l(q) = 14*q - 1. Is l(5) composite?
True
Suppose -3509 = -5*s + 2*t, 0 = 3*s + 3*t - 3277 + 1159. Is s a prime number?
False
Suppose 3*m - 5*k - 2747 = 0, 4*m - 4*k = 2107 + 1561. Is m composite?
False
Is (-292)/(-1) - (-2 + 1) prime?
True
Suppose 2*g + 0*g - 2*d - 44 = 0, -d = -4*g + 91. Let q = g - 1. Is q prime?
False
Suppose -3*j = -30 - 0. Is j/(-45) + 958/18 prime?
True
Let j(q) be the first derivative of 2*q**3/3 + 3*q + 3. Suppose 3*p = 7*p + 20. Is j(p) a composite number?
False
Let v = -16 + 10. Is (-1145)/(-15) + (-4)/v composite?
True
Suppose 1165 = 6*f - f. Suppose -2*a + a + f = 0. Is a composite?
False
Let h = 5 + 0. Let o = 7 - h. Suppose 3*l - 5*k = 74, o*k = 5*l - 2*k - 119. Is l prime?
True
Let z(s) = -32*s**2 - 15*s - 26. Let x(k) = -11*k**2 - 5*k - 9. Let q(i) = 17*x(i) - 6*z(i). Let t be q(-3). Let a = t + 0. Is a composite?
True
Let i = 1 - 0. Let d(s) = -1 + 7*s**2 + 198*s - 197*s + 6*s**2. Is d(i) a prime number?
True
Suppose 210 = 4*t - 2*u, -5*t + 89 = 5*u - 136. Let x = t + -29. Is x a prime number?
False
Suppose -8 - 7 = -5*t. Let y be (2 - 1)/((-1)/t). Is y/12 + (-125)/(-4) a prime number?
True
Suppose 9*b - 4*b = -4*q + 86, -4*q = -2*b - 100. Is 2720/q + (-2)/6 composite?
False
Let o(w) = w - 11. Let i be o(11). Suppose b - 3*s - 87 = i, 3*b = -b - s + 348. Is b a composite number?
True
Is ((-30)/25)/((-6)/105) composite?
True
Let d(r) = -10*r**2 - r - 4. Suppose 0 = 4*o + 3*g + 1 + 2, -3*g = 5*o. Let a be d(o). Let t = -62 - a. Is t a composite number?
True
Is (-1*1)/((-37)/42587) a prime number?
True
Suppose 5*g = 5*n + 2*g - 31874, -19116 = -3*n - g. Is n composite?
False
Let s(g) be the first derivative of -11*g**2/2 - 6*g + 2. Is s(-5) composite?
True
Suppose -4*c + 1574 = 4*h - 1226, 5*h = -4*c + 2801. Is c a prime number?
False
Let z = 21 + 886. Is z a prime number?
True
Let f(v) = 276*v**2 + 7*v - 3. Is f(2) prime?
False
Is 23/(-2)*(0 + -22) a composite number?
True
Suppose 2*z = -2*a + 1344, 5*z - 4*a = 2709 + 660. Is z prime?
True
Let c(v) = v**3 - 5*v**2 - 5*v - 1. Let j be c(6). Suppose -j*h + 321 = -1444. Is h a prime number?
True
Let x(j) = j**3 - 15*j**2 - 28*j + 47. Is x(19) composite?
True
Let s(n) = n**2 - 9*n + 15. Let w = -15 - -25. Is s(w) a prime number?
False
Suppose 0 = -c + 4*g - 15, 0 = 5*c - g + 6*g. Let p(x) = -21*x + 4. Let z(b) = 32*b - 6. Let s(t) = 8*p(t) + 5*z(t). Is s(c) a composite number?
True
Suppose 4*z = y - 1 + 5, -3*y + 3*z = -6. Let m be 147 - (-4 + y + -2). Suppose m = 5*b - 4*w, 2*w = 5*b + 3*w - 169. Is b prime?
False
Let b(j) = j**2 + 5*j + 7. Let g be (1 + -2)*0 + 1. Let n(d) = -4*d**2 - 2*d + 1. Let s be n(g). Is b(s) a prime number?
True
Let x(a) = a**3 + 3*a**2 - 2. Let g be x(-2). Is 2/(g/209*1) a prime number?
False
Let d = -4 + 7. Is (-370)/4*(-6)/d a composite number?
True
Let y(i) = i**3 - 5*i**2 + i - 2. Let n be y(5). Suppose -3 = g + n. Is ((-3)/g)/(3/42) a composite number?
False
Let g(z) = 4*z**3 - 1. Let o(t) = -2*t - 1. Let k be o(-1). Let q be g(k). Suppose -5 - 16 = -q*l. Is l composite?
False
Let j = 51 + -33. Suppose 0 = 4*a - 3*t + 19, -3*a - 16 = a - 4*t. Let p = j - a. Is p prime?
False
Let w(s) = 7*s**2 + 2*s + 1. Let b be w(-1). Suppose -3*r - 6 = -b*r. Let g(c) = 41*c - 3. Is g(r) a prime number?
True
Suppose 3*x + 27 = -93. Let f = x - -97. Suppose f = -o + 200. Is o a composite number?
True
Let d be 2/8 - (-2)/(-8). Suppose 6*p - 12 = 2*p + l, 4 = -l. Suppose -435 + 81 = -p*k - 4*x, d = 3*k + 3*x - 531. Is k a prime number?
False
Let k(i) = -8*i. Let d be k(-3). Suppose -2*n + 71 = -4*b - 1, b - d = -n. Let y = n - -99. Is y composite?
False
Let c be 4/(-6)*(-6)/4. Let i(b) = 62*b. Is i(c) composite?
True
Let z(n) = -6*n**3 + 5*n**2 + 5. Is z(-6) composite?
False
Let g = 874 - 357. Is g a prime number?
False
Suppose 3*m = -m + 388. Is m a composite number?
False
Let i be 2/10 + 48/10. Suppose 3*p + i*h - 1198 = 0, -3*h + 394 = p - 0*p. Suppose 0 = -0*v - 2*v + p. Is v prime?
False
Suppose 0 = -7*n + 4*n - 5*t - 13, 4*n - 4*t = -60. Let w = 15 + n. Suppose -2*q + 22 = w*y + 3*q, -5*q = y - 13. Is y prime?
True
Let o be (-4)/14 - 1496/56. Is (3 - 5)*o/6 a prime number?
False
Let d be -2*1*(-2188)/8. Suppose 4*w - 187 = -j + 12, 0 = 3*j + 2*w - d. Suppose 0 = -5*r - y + 490, -2*y - y = -2*r + j. Is r composite?
False
Suppose 4*w = 5*p + 484, 0 = -p - 3*p - 16. Suppose s + 4*s + w = 3*a, 5*a = -5*s + 180. Is a a prime number?
True
Suppose 2*j + 146 = 3*o, -4*j = 4*o - 0*o + 252. Let c = j - -122. Is c composite?
True
Let a(i) = 3*i**2 + 4*i + 3. Let j be a(-3). Suppose -v + 0*v = -j. Let h = v + 31. Is h a composite number?
True
Suppose 0 = s + 118 - 321. Is s prime?
False
Suppose -d - 4*q = -757, 3*q - 4*q = -4*d + 2943. Is d prime?
False
Let v(p) = -p**2 + 16*p - 13. Is v(12) prime?
False
Suppose 4*i = 6 + 10. Suppose -x + 185 = i*x. Is x composite?
False
Suppose 7*p - 4*p + 21 = 0. Let i(j) = -5*j - 4. Let l(r) = -11*r - 8. Let g(n) = -13*i(n) + 6*l(n). Is g(p) a prime number?
True
Let y be (-4)/(-14) - 2/7. Is 11 - (-1 + 2) - y a prime number?
False
Let y(b) = -14*b**2 - 7*b + 4*b**2 + b**3 - 3*b - 9. Let w be y(11). Suppose -w*t + t = -55. Is t prime?
False
Suppose 0 = 2*o - 5*v - 106, -7 = -3*o + 5*v + 142. Is o prime?
True
Is (-3)/(-27)*1149 - (-2)/(-3) composite?
False
Is (-74)/(-1*(-3)/339*-2) a prime number?
False
Let y(p) = -37*p - 4. Let g be y(-3). Suppose g - 32 = 5*o. Is o a prime number?
False
Let y be 18/30 - 3/5. Suppose 4*z + y*z - 236 = 0. Is z composite?
False
Let l(v) = 7*v - 24. Is l(10) prime?
False
Is (-4)/(-14) - (-19508)/28 prime?
False
Suppose -5*c + 1872 = 2*j + 386, 5*j = c + 3715. Is j prime?
True
Is (424 - 11) + 3 + -1 composite?
True
Is 11272/56 - 4/14 prime?
False
Suppose 5*b = 2*b + 6. Let u be -3*17*(-10)/b. Suppose 0 = -8*z + 3*z + u. Is z a prime number?
False
Suppose -h + 338 + 189 = 0. Is h a prime number?
False
Let o(m) = 2*m**2 + m - 1. Let w be o(1). Suppose w - 7 = -2*z - 5*x, 2*z = 3*x - 3. Suppose l + l + 2*h - 34 = 0, -3*l + 2*h + 71 = z. Is l a composite number?
True
Let u be (-26)/6 + 4/12. Let z be u + 4 - -1*2. Suppose z*l = 12 + 74. Is l composite?
False
Suppose -3*q = -q + 654. Is (-6)/(-21) + q/(-7) prime?
True
Let z = -4 + 2. Let b = z + 9. Is b a prime number?
True
Let v(k) = -k**3 + 10*k**2 + 5*k - 9. Let u be v(8). Let a = 320 - u. Is a a prime number?
False
Is 0 + 2/1 + 51 a prime number?
True
Let u(r) be the first derivative of 2*r**2 + 3. Let i be u(1). Suppose -4*v + 72 = -5*m, i*v + m - 80 = 4*m. Is v a composite number?
False
Let r be 1/(-4) + (-46)/8. Let d be (-22)/r*(1 - 4). Let z = d - -46. Is z a composite number?
True
Suppose r - 787 = -0*r. Is r a composite number?
False
Suppose 0 = m - 2*h - 1, 0 = 4*m - m + 3*h + 15. Let g be 1/(m/111)*-1. Suppose -2*u + 7 = -g. Is u a composite number?
True
Let p = 10 - 15. Is (14/8)/(p/(-260)) a prime number?
False
Let a = -52 + 114. Is a a composite number?
True
Let l be (-2)/8 + 52/16. Let i(j) = -j**l + j**2 + 5*j**2 + 0*j**3 - 4*j + 2. Is i(5) a composite number?
False
Suppose u = h - 0*h + 3, 5*h + 3 = -u. Suppose f = u - 5. Is (-3 - 0) + f + 91 a composite number?
True
Let q(a) = 16*a**3 + 5*a**2 - 14*a + 4. Is q(7) a prime number?
True
Let c = -23 + 5. Let f be (3/9)/((-1)/c). Let r(z) = -z**3 + 8*z**2 - z - 8. Is r(f) prime?
False
Let h be (-2)/6*(-3 - 0). Suppose 0 = -2*i + h + 5. Suppose 0 = 4*s + t - 38, 3*s = -i*t + 32 - 8. Is s prime?
False
Is -1*(-696 + 4 - -1) a composite number?
False
Let p(l) = 2*l**3 + l + 1. Let j be p(-1). Let m be (-1)/(-2) + 19/j. Let c = 13 + m. Is c a composite number?
True
Suppose 2*u + 2*t - 6 = -2, 3*u - 5*t - 14 = 0. Suppose u*q = 2*q + 118. Let z = q + -69. Is z a composite number?
True
Let b = -5 - 1. Let m = -3 - b. Suppose -m*k - k + 124 = 0. Is k a prime number?
True
Let a(q) = 7*q**3 - 2*q**2 + 2*q - 1. Let f be a(1). Is (-4 + f)*19/2 composite?
False
Let k(d) = -81*d - 7. Is k(-8) prime?
True
Let j(q) = q**3 - 9*q**2 + 8*q + 5. Let z be j(8). Suppose -5*t + 231 + 199 = z*k, -k = 4*t - 347. Is t prime?
False
Let q = 607 + -332. Suppose 5*z - q = -2*h, h = 2*z - 4*h - 139. Is z prime?
False
Suppose 9*l + 15685 = 14*l