ite?
True
Let s(r) = -9*r**3 - r**2 + 8*r - 3. Let z be s(5). Is z/2*2/(-3) a prime number?
False
Let d(s) = -s**3 - 6*s**2 - 10*s - 9. Is d(-6) composite?
True
Let m(j) = 21*j**2 - 89*j + 13. Is m(17) a prime number?
False
Let r = 12 + -10. Is (r*1)/((-6)/(-615)) composite?
True
Let u(m) = 30*m - 41. Is u(12) a composite number?
True
Suppose 5*a + 2*j - 825 = 0, -a + j = -211 + 53. Is a a prime number?
True
Let l be (0 + -13)/(1/19). Let i be (-105)/25*(-3 - 2). Is (-6)/i - l/7 a prime number?
False
Suppose 5*l - 25 = -5. Suppose 2*x + 0*w - 10 = -2*w, w = l*x - 10. Is x a prime number?
True
Let x be (-5)/10 + 1377/2. Is (-4)/(-12) + x/6 a prime number?
False
Let v(g) = 228*g - 47. Is v(11) prime?
False
Let g(p) = -p**2 + 8*p - 4. Let k(q) = -q. Let v(o) = g(o) - 2*k(o). Let b be v(5). Suppose -5*y + b + 74 = 0. Is y prime?
True
Suppose -2*s = 18 + 48. Let j = s - -47. Is j prime?
False
Suppose -4*u - 381 = -7*u. Is u prime?
True
Let k be (2 + 15)/((-1)/4). Let c = -3 - k. Is c composite?
True
Suppose 4*u = 2*a - u, 4*a + 32 = 2*u. Is 102/15*a/(-2) a prime number?
False
Let o = -33 - -84. Suppose -y + 32 = -o. Is y a composite number?
False
Let f = 234 - 33. Is f a composite number?
True
Let u(z) be the third derivative of z**6/120 + z**5/30 - z**4/24 - 2*z**3/3 - 4*z**2. Let l be u(5). Let v = l + -33. Is v composite?
True
Let w = 171 + -22. Is w a composite number?
False
Let n = -9 + 6. Let g(t) = -6*t**3 - t**2 - t + 1. Is g(n) a composite number?
False
Let v(i) = -102*i + 35. Is v(-15) a prime number?
False
Let b = 19671 + -9244. Is b prime?
True
Let r = -1 - -5. Suppose -2*k + 1 + 3 = 0. Suppose -r*y = 20, d + k*y = -y + 22. Is d a prime number?
True
Let c = 860 + 47. Is c a prime number?
True
Let h = -695 - -1334. Let y be -2*(-2)/((-12)/h). Is 8/20 - y/5 composite?
False
Let d = 161 + -82. Is d composite?
False
Let f(j) = 2*j**3 - j**2 + 3*j - 4. Let i be f(3). Suppose 5*g - g - i = 2*c, -4*c - 65 = -g. Let y = c - -30. Is y prime?
False
Let y = 108 - -19. Is y prime?
True
Suppose 0 = 3*n + 12 + 6. Is ((-1)/4)/(n/1608) a composite number?
False
Let o(b) = -b + 1. Let d(t) = -15*t - 3. Let z(a) = -d(a) - 2*o(a). Let n be z(2). Suppose 3*u - n = 76. Is u prime?
True
Let m = -159 - -250. Is m composite?
True
Suppose 2 + 8 = 5*t. Suppose -6*l + t*l = -84. Suppose 0 = -3*z + 4*z - l. Is z a prime number?
False
Let v be (-1 + 0 - -2) + 1. Let u(x) = -1 + 11*x + x - 1. Is u(v) a composite number?
True
Let z(l) = l**2 - 5*l + 7. Is z(-12) a prime number?
True
Let y(t) = 33*t + 1. Suppose -2*a - 2*v = 0, a - 2*a + 4 = -v. Is y(a) a prime number?
True
Let w(f) = -9*f**3 + f**2 - 2*f - 3. Suppose -u - u = 0. Suppose u*m = 4*m + 8. Is w(m) a composite number?
True
Let m(t) = t**2 + 2*t - 3. Let k be m(-3). Suppose q = 4*s - k*q - 145, 5*s = -2*q + 191. Suppose -5*i = w - 68, 81 + s = 2*w + 4*i. Is w a composite number?
False
Suppose 2*b + 1247 = 5*a, -4*a + 2*b = -860 - 138. Let j = a - -268. Is j a prime number?
False
Suppose 2*a + 3 = -9. Is (74/(-6))/(2/a) a composite number?
False
Let a = -59 + 22. Let b = 52 + a. Suppose 5*i - 4*i = b. Is i a composite number?
True
Suppose -2*n = -k + 3*n + 111, -5*k - 3*n = -611. Suppose -5*z - 22 = -2*t + 45, 3*z = -4*t + k. Is t prime?
True
Let b(q) = -q**2 - 5*q - 3. Let l be b(-3). Suppose l*w - 3*v - v = 269, 5*v - 58 = -w. Is w a composite number?
False
Suppose v = -4, 5*v - 24 = -4*m + 2*m. Let y be m/8 + (-1)/(-4). Suppose 0 = -z - 8*g + y*g + 67, -12 = -3*g. Is z a composite number?
False
Let n be -8*((-2)/4 - 0). Suppose -4*p - n*q - 77 = -209, -4*q - 164 = -4*p. Is p a composite number?
False
Suppose 382 = 4*g - 5*i, 8*g = 3*g + 5*i + 480. Suppose -4*v + 6*v + g = 0. Is 0 - ((1 - -2) + v) a prime number?
False
Let v = -310 + 521. Is v a prime number?
True
Let n be ((-1)/(-3))/(1/3). Let p(j) = 138*j**2 + j - 1. Let o be p(n). Let s = o - 73. Is s prime?
False
Let v = 45 - 17. Let w = 15 + v. Is w a composite number?
False
Let x(g) = g**3 + 7*g**2 + 6*g + 6. Let a be x(-6). Let o(p) = 18*p - 2. Let b be o(a). Suppose 0 = -6*r + 4*r + b. Is r a composite number?
False
Let i = 132 + -5. Is i a composite number?
False
Is (-2)/(-8) + (-2975)/(-20) a composite number?
False
Let z(t) = -t**3 + 2*t - 4. Let p be z(-3). Suppose -a + b = -29, b - p = -a - b. Is a a prime number?
False
Let d(p) = 0*p**2 + 14*p + 14*p**2 + p**3 + 0 + 5. Is d(-10) prime?
False
Suppose -388 = -s - 3*s. Is s a composite number?
False
Suppose -4*s = 4*a - 5 - 3, -5*s = -5*a - 40. Suppose 0 = -5*m - 0*m - 3*l + 185, -s*m - 4*l = -190. Is m prime?
False
Let w(i) = i**3 + 6*i**2 + 1. Let f be w(-6). Let z be ((-12)/16)/(f/(-4)). Is -1 - z/((-3)/11) a prime number?
False
Let j = 16 + 52. Let i = j - 45. Is i a prime number?
True
Let l = 2154 - 386. Suppose -3*k + k = -l. Suppose -5*f + 3*f = -8, -4*o - 4*f = -k. Is o a composite number?
True
Suppose 0 = -2*c - 4*l + 8, 3*l + 4 = 10. Let j be c + 2 + 4 + -2. Is -1*14*(-22)/j a composite number?
True
Suppose 0 = -h + 2*s + 229 + 132, -s - 1108 = -3*h. Is h composite?
True
Suppose a = 2*a - 242. Suppose -5*c = 72 - a. Is c a prime number?
False
Let u = 52 - 13. Is u a composite number?
True
Let x(v) = 1 + 3*v - 10 - 10 + 2. Is x(12) composite?
False
Let s be 2/(-7) - (-2724)/28. Suppose 32 - s = -3*a - 4*q, 5*q + 5 = 0. Is a a prime number?
True
Suppose -10*q + 237 = 17. Is q composite?
True
Let o be 5/2*(-4)/(-2). Suppose 169 = o*z - 136. Suppose 249 = 4*k + z. Is k a prime number?
True
Let g(v) = 6*v**2 - 2*v + 5. Let k = 5 + 1. Let a be g(k). Suppose 0 = -5*f + 954 - a. Is f a composite number?
False
Suppose 2*y = p, -y - 4 = 2*p - 6*y. Let c(f) = 2*f**2 - 10*f - 1. Is c(p) a composite number?
False
Let a(z) = z**2 - z - 32. Let h be a(0). Let i(m) = m**3 - 5*m**2 - 8*m + 5. Let r be i(6). Let b = r - h. Is b composite?
True
Is (5/15)/(1/993) prime?
True
Let w = -1 - -7. Is 380 + w/2 - 2 a composite number?
True
Let h be (2 - 0) + 0 + 3. Suppose -h*y + 1 = -24. Let q(f) = 3*f**2 + 7*f + 1. Is q(y) composite?
True
Let o(x) = -x**3 + x**2 + 86. Let z be o(0). Suppose -3*g = -g - z. Let k = g - 28. Is k prime?
False
Let y = 6 + 13. Is y a prime number?
True
Let s(x) = x**2 - 9*x - 4. Suppose 5*p - 48 = -z - 3, 0 = -5*z. Let m be s(p). Is (-53)/((3 + m)*1) a prime number?
True
Let s = 656 + -277. Is s prime?
True
Let f = -1783 - -2614. Is f a prime number?
False
Suppose -2*y + 956 = -772. Suppose -2*j - 5*z + 557 = -0*z, 3*j = 2*z + y. Suppose 4*n - 558 = j. Is n composite?
False
Let o(y) = -18*y**2 + 7*y + 6. Let z(a) be the second derivative of 3*a**4/2 - a**3 - 5*a**2/2 + a. Let w(p) = 4*o(p) + 5*z(p). Is w(2) prime?
True
Suppose -24 = -3*l + 6*t - 2*t, 3*t - 7 = -4*l. Suppose -2*f + l*p = -f - 27, 2*f = 4*p + 58. Is f a composite number?
False
Suppose -3*v = -v + 3*a - 119, 4*a = -2*v + 120. Is v composite?
True
Let r(o) = -2*o**3 - 7*o**2 - 6*o - 2. Suppose 5*m + 26 = 2*c, 5*c - 31 = 2*m + 2*m. Is r(m) prime?
False
Let b be -38*5/(15/(-42)). Suppose -3*u = -15, b = -2*z + 5*z - u. Is z composite?
False
Let v(a) = -a - 7. Let r be v(0). Let s(h) = h**2 + 6*h - 5. Let b be s(r). Is b/(-4) + (-116)/(-8) a composite number?
True
Suppose 0 = -0*a - a - 4. Let y(k) = -4*k - 5. Let t be y(a). Suppose -4*p + t = -5*u - 9, 4*p + 3*u - 52 = 0. Is p prime?
False
Let l(k) = 2*k**2 + 2*k + 7. Let p be l(5). Suppose -5*b - p + 262 = 0. Let r = 61 - b. Is r a composite number?
True
Let p(q) = 15*q - 2. Let j be p(-1). Let f = j + 108. Is f a composite number?
True
Suppose s = 4 + 1. Suppose -2*f - 4*m = -2*m - 26, s*m = -f + 25. Is f prime?
False
Let c = -20 + 70. Let b = 89 - c. Suppose -2*x = -b - 95. Is x a prime number?
True
Let i(y) = 324*y - 47. Is i(4) composite?
False
Let d(y) = y**2 - 4*y - 1. Let j be d(5). Suppose 3*p - 3*k = 237, j*p + 0*p = -4*k + 300. Is p prime?
False
Suppose -b = -4*j + 7, 15 = 4*j + 2*b - 7. Let o be (18/15)/((-6)/(-20)). Suppose -5*w = 5*u + 5, -j*u = -3*w - 23 - o. Is u a prime number?
False
Let d be (152/10)/((-6)/(-345)). Let s = d + -590. Suppose 3*n = -n + s. Is n a composite number?
False
Let r(i) = 152*i**2 - 4*i + 5. Is r(3) prime?
True
Let r be (-2)/(-4) + (-51)/(-34). Suppose 0*x - 2*x + 8 = 3*v, -5*v - x = -4. Suppose 3*b - 83 = -5*s, 0 = b - v*b 