 - 3*k + 2. Is s(1) composite?
False
Let v(g) = -g**3 - 7*g**2 - 5*g. Let k be -5*(36/(-10))/(-3). Let x be v(k). Is 148/(-6)*9/x a prime number?
True
Suppose 87 = a - 1. Suppose a - 5 = o. Is o composite?
False
Let h(r) = 5*r - 1. Let b be h(1). Suppose 0*f + d - 652 = -4*f, -3*f = b*d - 489. Is f a composite number?
False
Suppose -3*a = -0 - 12, -3*v - a = 98. Let y = v + 101. Is y a prime number?
True
Suppose 3*y - 97 = 134. Suppose 3*k = -w - 31, -5*k - w = -4*w + 61. Is (2/(-1))/(k/y) a prime number?
False
Suppose 112 + 390 = 2*r. Is r composite?
False
Let d(j) = 20*j**2 - 2 + 4*j + 2*j + 1 - 5*j. Let i be d(2). Suppose -z + i = 28. Is z a composite number?
False
Suppose 0*c + 8 = 3*i + 2*c, -4*i + 2*c - 8 = 0. Suppose r - 2*k - 11 = 0, k + i = -4. Is -1 + (-150)/(r*-1) composite?
True
Let o = -564 - -1357. Suppose -o = -5*z - 3*x, 0 = -3*z - 4*x + 227 + 240. Is z a composite number?
True
Suppose x - 215 = -5*v, -3*x + 2*v + 462 = -183. Is x prime?
False
Suppose 31*n - 1017 = 22*n. Is n composite?
False
Let x = 242 + -173. Is x prime?
False
Let y = 2 - 2. Suppose 4*l = -4*i - 12, y*l + 3*l = -5*i - 13. Is 39/4 + l/(-4) a prime number?
False
Is 1/3*(9776 + 1) prime?
True
Let c = -7 - -1. Is (-12099)/(-45) - c/45 a composite number?
False
Suppose 3*n - 346 = 8. Is n a composite number?
True
Let x = -252 - -99. Let a = -14 - x. Is a prime?
True
Suppose -4*d + d + b + 18 = 0, -3*d = -3*b - 18. Is (1 - 9/d)*-182 composite?
True
Suppose 0 = i - 2*r - 1661, 10*r + 8295 = 5*i + 5*r. Is i a composite number?
False
Let x(y) = 1 - y**3 - 14*y**3 - y**2 + 0*y**2. Let v be x(-1). Suppose 0*g = -g + v. Is g prime?
False
Let u(w) be the first derivative of w**2/2 - w - 4. Let v be u(3). Is 3/v - 225/(-6) prime?
False
Let w = 164 - 115. Is w a composite number?
True
Let i(k) = -k**2 - k. Let n be i(0). Let g(m) = -m**3 + 118. Let w be g(n). Suppose 378 = 4*o + w. Is o a prime number?
False
Suppose -5998 + 17080 = 6*b. Is b composite?
False
Let y(q) = q + 219. Let t be y(0). Let d = t - 153. Suppose 4*n - n = d. Is n prime?
False
Let z = -502 + 765. Is z a prime number?
True
Let h(z) = -41*z + 6. Let f be ((0 - 1) + 2)*5. Suppose -w + f*i + 5 = 0, 5*w + 2*i = i - 27. Is h(w) a composite number?
False
Let w = 219 + -100. Is w composite?
True
Is (24/36)/((-2)/(-213)) prime?
True
Suppose 5*z - 8*r = -3*r - 5, 5*z - 2*r - 7 = 0. Suppose -7 = -z*v + 2. Suppose -8 = -4*a, 3*u - 11 - v = -4*a. Is u prime?
True
Let b(u) = 14*u + 5. Let d(j) = 13*j + 5. Let t(q) = 3*b(q) - 4*d(q). Is t(-4) composite?
True
Suppose -2*j = -2*n - 426, -4*n + 9 = -7. Is j a prime number?
False
Let f(g) = 3*g**2. Let r be f(1). Let h be 1 - (3 + 0) - r. Is (h + 2)*(-34)/3 composite?
True
Let t(i) = 11*i**2 - 2*i + 1. Let s(a) = 34*a**2 - 5*a + 2. Let c(h) = 3*s(h) - 8*t(h). Is c(3) a composite number?
False
Suppose 5*r = 3*l - 2, 3*l + 19 = -r - 3. Let j = l - -12. Is j composite?
True
Let f(j) = -2 + 2 - 3 - 5*j - j**2. Suppose 5*x = 2*x - 9. Is f(x) a composite number?
False
Suppose -5*i = 5*a - 3990, 3989 = 5*a + 5*i - i. Is a prime?
True
Let c = 288 - 204. Let w = c - 20. Suppose 3*k - w - 227 = 0. Is k a prime number?
True
Let r(p) = p**2 + p + 74. Let n(a) = -a**2. Let u be n(0). Suppose -3*l = -u*l. Is r(l) composite?
True
Let m(k) = k + 5. Let o be m(-5). Let q = -15 + 16. Is 76 - ((q - 2) + o) a prime number?
False
Let h(j) = j**3 - 5*j**2 + 2*j - 6. Let m be ((10*-1)/(-1))/2. Let l be h(m). Suppose 0 = 4*v + 8 - 4, l*v + 99 = g. Is g composite?
True
Suppose 4*v - 10*v = -4062. Is v a composite number?
False
Let u(z) = z**2 - 13*z + 5. Is u(-9) a prime number?
False
Let g(p) = p**3 - p**2 - 33. Let x be g(0). Let v be 2/8 + x/(-12). Suppose -d = -2*c - 124 + 43, v*d - 279 = -3*c. Is d composite?
False
Let i(c) = 2*c**2 + 2*c - 5. Suppose -3*a + 115 = z + 3*z, z - 2*a = 26. Suppose 4 = 4*n + 3*l + 32, 4*l + z = -3*n. Is i(n) a prime number?
True
Let p(q) = -6*q**3 - 5*q**2 - 3*q + 3. Is p(-4) a composite number?
True
Suppose 3*u - 371 = 2*x + 834, 0 = 4*u - 2*x - 1606. Is u composite?
False
Let w(m) = -4*m**2 + m**3 + 2*m - 3*m**3 + 4*m**2 - 1. Let q be w(1). Is -19*-5*(q - -2) a composite number?
True
Suppose -80 = -u - k, 4*u - 4*k - 196 - 108 = 0. Suppose 2*h - 4*f - 10 = 34, 3*h = 3*f + u. Let q = h + -19. Is q prime?
True
Suppose -y + 161 = 2*m, 0 = m - y - 3*y - 58. Let d = 97 - 30. Let j = m + d. Is j a prime number?
False
Let p(k) = 30*k + 7. Is p(10) composite?
False
Let r(g) = -22*g**3 - 5 + 8*g**3 + 2*g + 10*g**3. Is r(-5) a prime number?
False
Suppose -134 = -3*m - r, 4*m - 4*r = -7*r + 172. Suppose -4*k + m = -94. Is k a composite number?
True
Let k = 577 - 394. Is k a composite number?
True
Let o(u) = u**3 + 5*u**2 + 2*u - 3. Let k be o(-4). Suppose 3*q + 197 + 203 = 5*x, -2*q = -k*x + 405. Is x composite?
False
Let r be 137 - (0/2 - (12 + -11)). Suppose -2*c - 7 = -3*u, 3*c + 1 = 4. Suppose -3*d + b + r = 5*b, -u*d + 138 = b. Is d a prime number?
False
Suppose 5*r + 8 = -2*p, 8 = -4*r + 3*r - 2*p. Let t = r - -2. Suppose -3*q - 11 = -t*c, 3*c + q = 3*q + 29. Is c composite?
False
Let i(u) = -u - 4. Let b be i(-8). Suppose 0*x + 2*x + 5*k = 30, 0 = -2*x - b*k + 30. Is x prime?
False
Let j(k) be the second derivative of 53*k**4/6 + k**3/6 + k**2/2 - 3*k. Is j(-1) a composite number?
True
Let f(s) be the third derivative of 29*s**5/30 + s**4/24 + s**3/3 - 3*s**2. Is f(-1) prime?
True
Let w(v) = 2*v**2 - 5*v + 1. Let o be (-8 + 3)*8/10. Is w(o) composite?
False
Suppose -7*l + 5347 = -2*l - k, -5*k - 1079 = -l. Is l composite?
False
Let a(k) = 165*k + 4. Let j be a(6). Let u = j - 686. Suppose -2*h + 6*h = u. Is h composite?
True
Let t = -94 - -156. Let i = -20 - t. Let o = -47 - i. Is o prime?
False
Suppose 4*l - 8*l - 8 = 0. Let v be 2 - (2 + l + 3). Is -1 - -33 - (v + 2) prime?
True
Let s be 2/(-4) + 9/6. Let x be (-3 + s - -2)/(-1). Suppose x = l + l - 44. Is l a prime number?
False
Suppose 5*y - 16967 - 11148 = 0. Is y a composite number?
False
Let i be (5 - (3 + 0))*1. Suppose -4*g + i*j = g - 1013, -g + 202 = -j. Is g prime?
False
Suppose 12*x + 717 = 15*x. Is x prime?
True
Is 0 - (18/6 - 910) a prime number?
True
Let a = 71 - 20. Is a a prime number?
False
Let a = 17 - 12. Suppose y + 15 = -2*c, -c = a*y - 3*c + 111. Is (-1023)/y + 2/7 a prime number?
False
Suppose 5*o - 14 + 4 = 0. Suppose 4*c = -o*t + 140, 5*c - 2*t - 105 = 2*c. Is c prime?
False
Let d(j) = j**2 + 4*j + 2. Let c be d(-7). Suppose 0 = b + 3*b - 76. Suppose 0*s + 4*s - 5*r - b = 0, -r - c = -4*s. Is s composite?
True
Let a(u) = u**3 + 9*u**2 + 6*u. Let d(p) = -2*p**3 - 18*p**2 - 13*p + 1. Let t(o) = 5*a(o) + 3*d(o). Let g be -6*1*(-8)/(-6). Is t(g) prime?
True
Suppose 2*q = -2*h + 1674 - 244, 4*q - 2856 = -2*h. Is q a composite number?
True
Suppose 0 = 14*b - 8421 - 3017. Is b a prime number?
False
Let w(z) be the first derivative of z**7/840 - z**6/90 + z**5/120 + z**4/6 + 2*z**3/3 - 1. Let i(c) be the third derivative of w(c). Is i(5) prime?
False
Suppose 5*w - 3*w = -4*u + 3546, 4*w + 4439 = 5*u. Is u composite?
False
Is (-1)/2*1 - 669/(-2) a prime number?
False
Let x(p) = 3590*p**2 + 2*p - 2. Let h be x(1). Suppose 0 = 4*a - 7*c + 2*c - h, 3*c = 4*a - 3586. Is a prime?
False
Let s = -853 - -3386. Is s a composite number?
True
Let s(c) be the third derivative of 53*c**4/24 - c**3/2 - 2*c**2. Let f be s(4). Suppose 4*q - 2*k - 4 = 198, 0 = 4*q + 5*k - f. Is q composite?
True
Suppose 0 = 5*h - a + 2*a + 21, 0 = 5*h - 4*a + 41. Let c = h + 3. Is (-3 - c)/(3/(-429)) a prime number?
False
Let f(j) be the second derivative of -j**4/12 + 94*j**2 + j. Let t be f(0). Suppose -5*o + o = -t. Is o composite?
False
Suppose -7*m - 6 = -5*m, 292 = 5*n + m. Suppose 0 = k - 0*k - 4. Suppose -v - 2*s = -n, v - k*s - 34 = -s. Is v a prime number?
False
Is (465/(-20))/(1/(176/(-12))) a prime number?
False
Is 15 - 6/(-9)*6 prime?
True
Let w(s) be the second derivative of s**4/12 + 5*s**3/3 + 6*s**2 + 4*s. Let m be w(-9). Is (-1 - 1 - -34) + m composite?
True
Let q(h) = 45*h**2 + 1. Let i be q(-1). Let b = 89 - i. Is b a prime number?
True
Suppose 2*s = -0*s - 96. Let g = 97 + s. Suppose g = 5*f - 16. Is f a prime number?
True
Let o be -1 + 2 - 12/(-6). Suppose 0 = -o*y - y + 16. Suppose 3*i = 2*f - 23, f +