 = w**3 - 2*w**2 - 4*w - 6. Is b(7) a composite number?
False
Let y(u) = -78*u + 11. Let l be y(-5). Let s = l + -178. Is s prime?
True
Suppose -3*i = i - 108. Let l = -14 + i. Is (l/(-4))/(3/(-12)) prime?
True
Let i be 932/18 - 8/(-36). Suppose 4*j - p - 231 + 4 = 0, i = j - 5*p. Is j prime?
False
Let b = 2224 - 1241. Is b a composite number?
False
Is 2*8/(-4) - -278 a composite number?
True
Let q(k) = 27*k**2 + 4*k + 4. Let t(v) = v**3 - 4*v**2 + 2*v. Let a be t(3). Is q(a) a prime number?
False
Let a be 8/(-4) - (-67 + -1). Let v = a - 119. Is (v + -2)*6/(-10) a composite number?
True
Suppose -3*u - u = -12. Suppose -4*v - u*k - 28 = 5, -3*v = -k + 28. Let t(g) = -g + 1. Is t(v) prime?
False
Is -1 - 2/((-6)/285) prime?
False
Suppose 0*s = 3*s. Let a = s - -2. Suppose 0 = -f - 4*i + 49, -a*f - 3*f + 3*i = -268. Is f composite?
False
Let k(r) = 2*r + 8. Let c be k(-6). Let u(b) = -52*b + 3. Is u(c) a composite number?
False
Let k(u) = u**2 - 3*u + 3. Let j be k(3). Suppose -j*a = 5*r - 2944, 3*r - 5*a - 1218 - 528 = 0. Is r composite?
False
Let c(b) = -b**3 - 8*b**2 + b + 8. Let s be c(-8). Suppose 0 = -0*h - 4*h - 24. Is ((-4)/h - s)*3 prime?
True
Let o(z) be the first derivative of z**4/4 + z**3/3 + z**2/2 + 53*z - 1. Is o(0) prime?
True
Let b be 4/3*3/2. Let p be ((-7)/b)/1*10. Is (p + 2 + 2)*-1 a composite number?
False
Suppose 0 = 2*u + u - 5199. Is u a prime number?
True
Suppose -3*a + a + 20 = -4*k, -3*k = 4*a - 18. Let t be 97/5 - a/15. Suppose f = 2*f - t. Is f a composite number?
False
Suppose -3*k = 5*h - 144, 3*h + h + 118 = 2*k. Is k composite?
False
Suppose -o = -4, -4*l + 4*o + 11 - 47 = 0. Let h = l + 36. Is h a prime number?
True
Suppose 0 = -2*l + 4*x + 770, 4*l + 3*x + 2*x - 1488 = 0. Is l composite?
True
Let k = -3 + 5. Let u be (-2 + 3)/(k/258). Suppose -u = -4*l + l. Is l prime?
True
Let h(r) = 2*r**2 + 7*r + 5. Let n be h(-5). Suppose 4*v - n = -v. Is 273/v - (-6)/8 prime?
False
Let g = 79 + -42. Let w = 348 + g. Suppose -5*i - w = -10*i. Is i a prime number?
False
Let o = -8 - -12. Let n(k) = -20*k - 4. Let h be n(o). Let p = -38 - h. Is p prime?
False
Let w be (1 + 0)*(-12)/(-6). Is (1524/(-8))/(w/(-4)) a composite number?
True
Suppose -5*g + 10*g = 25. Suppose -g*p - 18 = -3*p. Let i(o) = -15*o - 2. Is i(p) composite?
True
Suppose 8 - 20 = -4*n. Suppose 0 = n*a - 11 - 19. Is a a composite number?
True
Suppose -2*p = -3*p + 4. Suppose -p*i + 97 = -3*i. Is i a composite number?
False
Suppose a - 39 = 4*u, -5*u = -0*u - 5*a + 60. Let s = -1 + u. Is (-15)/s*106/3 a composite number?
False
Suppose -3*c + 9 = 3*t, 0*c = -4*t + 4*c + 28. Let l(r) = -t + 3 + 0 + 112*r**2 + 3. Is l(-1) composite?
False
Suppose 5*x - 544 = 166. Is x prime?
False
Let v(f) = -f - 1. Let z be v(-2). Let l be (-1 + 1 - z)*-1. Suppose 2*o + l - 45 = 0. Is o a prime number?
False
Let w(v) = 1235*v + 3. Is w(2) a prime number?
True
Suppose 2*s - 5*s = m - 11, -4*s - 2 = -2*m. Suppose -10 = -m*i - 5*g, 2*i + 3*g = 4*g + 10. Suppose i*w = 749 - 265. Is w prime?
False
Let y(s) = -s**2 + 2*s. Let r be y(0). Suppose r = 6*c - c - 215. Is c prime?
True
Let v(d) = -d**3 - 6*d**2 + 3*d - 9. Is v(-7) prime?
True
Suppose 40 = 3*p - 707. Suppose -3*i + 0*i = -p. Is i a prime number?
True
Suppose -9*n = -6*n - 915. Is n a composite number?
True
Let n = -660 - -320. Let m = n + 712. Is (m/30)/((-2)/(-5)) composite?
False
Suppose b = -5*g + 457, 0 = 5*b - 4*b - 4*g - 421. Is b composite?
True
Is -47*(-1 - 3) + 3 a composite number?
False
Suppose w - 4 = 4*w - j, -4*w + 4*j = 16. Suppose 5*o + 0*u - 273 = -u, 2*u + 4 = w. Is o composite?
True
Suppose 4*z = 5*m + 6*z - 10, -10 = -5*m - z. Let x(p) = -p - 4. Let h be x(-6). Suppose 0 = h*k, -m*k - 10 - 4 = -f. Is f a composite number?
True
Let h = -706 + 1353. Is h a composite number?
False
Let t be (3/(-9))/((-3)/36). Is 18/27*474/t prime?
True
Let l(y) = -2 - 53*y + 3 - 1 + 2. Is l(-3) composite?
True
Let a(y) = 25*y**3 - 9*y**2 + 11*y - 9. Let n(i) = 12*i**3 - 4*i**2 + 5*i - 4. Let t(p) = -6*a(p) + 13*n(p). Is t(3) composite?
False
Suppose 0 = 2*f - 2. Let h be (3 - f) + (81 - 1). Suppose 3*c = -4*q + 113, 0*q + 4*q - h = -2*c. Is c composite?
False
Let g be (1 - -9) + (3 - 1). Suppose -18 = -3*k + g. Suppose 2*x - 7*x = -k. Is x a composite number?
False
Let j = 7 - 4. Suppose -j*g - 4*q = -2*g - 177, 289 = 2*g - 5*q. Is g a composite number?
False
Let r(l) = -l**3 - 12*l**2 - 15*l + 2. Is r(-11) composite?
True
Let b = -242 + 573. Is b composite?
False
Let j be (-8 + 2)/(-2*1). Suppose -3*t = y - 3457, -3*t - j*y - y = -3469. Is t a composite number?
False
Let z = 330 - 28. Suppose -5*r + p = -z, 4*r + p - 256 = -3*p. Suppose -103 - r = -2*b. Is b prime?
False
Let r = -66 + 143. Suppose x = -0*x + r. Is x prime?
False
Suppose -4*m + 2 = -2. Is (-150)/(-3)*5 + m a prime number?
True
Let u = -7 + 6. Is 1 + 2 + (-30)/u composite?
True
Let j(g) = 330*g - 1. Is j(1) a prime number?
False
Suppose u + 4*u = -3585. Let b = u - -1132. Is b composite?
True
Let k = 318 - 479. Let n = -30 - k. Is n a composite number?
False
Let p = -289 + 692. Is p a prime number?
False
Suppose -r + 3777 = 2*r. Is r composite?
False
Let z = -930 - -1751. Is z prime?
True
Let a be ((-6)/4)/((-1)/2). Suppose -300 = a*o - 7*o. Suppose 0 = -0*y + 3*y - o. Is y a prime number?
False
Suppose 0 = -2*o - 2*a + 146, -3*o - 27 = -4*a - 274. Is o composite?
True
Let b(f) = 6*f**2 + 7*f + 9. Let h be b(-6). Suppose -h = -4*j + j. Suppose -5*n + j + 14 = 0. Is n composite?
True
Let q(n) = -n**3 + 2*n**2 - 3*n - 1. Let k be q(3). Let m = k - -41. Is m composite?
True
Suppose -2*m + 2*t = -22, 0 = 3*m - m + 4*t - 34. Let u = 19 - m. Suppose -2*y = 3*z - u, 5*y + 2*z - 15 = -2*z. Is y a composite number?
False
Suppose 0 = -o + 6 - 0. Suppose -o*m + m + 485 = 0. Is m a composite number?
False
Suppose 4*p + 2 - 10 = 0. Suppose -s + 0*s = -p. Suppose -5*y + s*y + 111 = 0. Is y prime?
True
Suppose 0 = -3*x - 6, -a + 1 + 10 = -4*x. Suppose 2*s - 2 = a*m - 15, 0 = 2*m - 6. Let p(g) = -41*g - 3. Is p(s) composite?
False
Suppose 4*u - 52 = 2*u. Suppose -2*g + 20 = -u. Is g prime?
True
Suppose -5*z - 4 = 2*o, -3*z = 4*o + 2*z - 2. Suppose -2*d = -o*u + 147, 3*d = 2*u - 49 - 54. Is u composite?
False
Is (-7 - -3)*541/(-4) a composite number?
False
Suppose 2*q = -5*s - 26, 5*q + 2*s - s + 19 = 0. Is q*(420/(-9) - -3) a composite number?
False
Let r(d) = d + 4. Let t be r(0). Suppose x - 1 = 2*b, -b - t = -5. Suppose -x*w - w + 92 = 0. Is w a prime number?
True
Suppose 3*k + 15 = 0, 3*n + 5*k + 41 = 4. Let l(x) = -4*x**3 - 3*x**2 + 2*x + 6. Let i be l(n). Suppose 4*j = 20, 5*o = -2*j + i + 94. Is o prime?
False
Let g(p) = -p + 10. Let s be g(9). Suppose 3*r = s + 8. Suppose r*t + t = 844. Is t a composite number?
False
Is 397 + (-1 - (-2)/(-2)) prime?
False
Let h(n) = 183*n - 1. Let y be h(1). Suppose -y = -2*r - 7*q + 4*q, -2*q = -3*r + 273. Is r prime?
False
Suppose -20*o - 116 = -4536. Is o composite?
True
Suppose 0*t - 4 = -u + t, 0 = 3*u - t - 22. Suppose -2*d = 3*j + 10, -j = d + 2*d + 1. Let a = d + u. Is a a prime number?
False
Let u = -859 - -539. Let a = -159 - u. Is a composite?
True
Let y be (-1 + -1 - -1) + 17. Suppose -2*v + y + 14 = 0. Is v composite?
True
Suppose -2*c = c - 138. Suppose 3*a - 157 + c = 0. Is a a composite number?
False
Is 3514/35*(-15)/(-6) prime?
True
Let y be 2/(-3)*(-36)/8. Suppose h = -y*h + 580. Let i = -86 + h. Is i composite?
False
Let b(i) = 143*i**2 - 5*i - 5. Is b(-5) prime?
False
Let t(z) = 7*z**2 + 6*z - 6. Let h be t(-6). Suppose -82 = -o - 5*b + h, 262 = o - b. Is o composite?
True
Let f(m) = -3*m**3 - 6*m**2 - 5*m + 7. Is f(-5) composite?
False
Is 0 + -4 + 1 - -56 composite?
False
Let a(d) be the third derivative of 2*d**5/15 - d**4/12 - d**3/6 - 2*d**2. Is a(-2) composite?
True
Let l(d) = d - 2. Let w be l(4). Suppose 2*r - 518 = -4*u, -w*u - 349 = -2*r + 163. Is r prime?
True
Let w = -1896 + 3925. Is w a composite number?
False
Suppose -5*s = -4*m + 43, -7*s - 8 = m - 2*s. Let p = 2 - m. Let w(z) = z**3 + 7*z**2 + 2*z - 3. Is w(p) prime?
True
Let q = 16 + -14. Is 380 - (-4 + q - -1) prime?
False
Let x be (-1931)/(-5) + (-1)/5. Suppose -4*k = -1150 + x. Is k composite?
False
Suppose -2*d = -4 + 6. Is (-1842)/12*d*2