 d = 156. Is n a composite number?
True
Is (-26874)/(-1) - (-14 + (13 - -8)) prime?
False
Let u = -34 - -36. Suppose -3*g = -n + 1721, 3*g - 6884 = -4*n - u*g. Is n a composite number?
False
Let z(n) = 0*n + 5*n**2 - n**2 - n - 2. Let c be -13 - (-56)/4 - (2 + 6). Is z(c) a prime number?
False
Let w = 29 - 14. Let m = w - -130. Suppose -2*k + 677 = -m. Is k composite?
True
Suppose -8*q - 5105 + 27097 = 0. Is q composite?
False
Let y(g) = 91*g + 4 + 0 + 1 - 5*g. Is y(6) a prime number?
True
Let r be 18/(-45) + 47/5. Suppose 465 = 3*g + 5*j + r, g + 3*j - 148 = 0. Is g composite?
False
Let k(t) = -t**3 - t**2 - 29*t - 33. Is k(-20) prime?
True
Let t = -13 + 17. Suppose 0*c = t*g - c - 5903, 7410 = 5*g + 5*c. Is g composite?
True
Let l(r) = -r**3 - 4*r**2 - 5*r - 4. Let h be l(-3). Suppose 2*q - 2 = 0, 2*j - h*q - 330 = 254. Is j prime?
True
Let d(c) = 3*c**3 + 7*c**2 + 6. Let s be d(-3). Is (-2)/s*92*(-105)/(-14) prime?
False
Suppose -31*g = -36*g + 21325. Is g a composite number?
True
Let c = -16 - -19. Suppose c*y = 6*y + h - 1322, 0 = -y + 4*h + 458. Suppose 2*j - 60 - y = 0. Is j a prime number?
True
Let l = 327 - 164. Is l a prime number?
True
Is ((-1970)/15)/(2/(-87)) prime?
False
Suppose k - 11446 = -3*p, 4*k + 15567 = -3*p + 61342. Is k a prime number?
True
Let p = 28 + -29. Is p*436/4*-2 a prime number?
False
Let a = -744 - -3642. Let g be a + (-3 - -2) + 4. Suppose 32 + g = 7*v. Is v a prime number?
True
Let r(a) = 3*a**2 + 6 + 11*a - 2*a**2 - 13*a. Suppose 11 = 5*s + 3*p, -p = 2*s + p - 2. Is r(s) a prime number?
False
Let h(a) = a**2 + 23*a + 36. Let c be h(-22). Let u(k) = 3*k**3 - 34*k**2 - 4*k + 19. Is u(c) composite?
False
Let g(d) = 28*d**2 + 28*d + 47. Is g(32) prime?
False
Let u = 33 + -36. Is -1 + -2 - -507 - (u - -4) a composite number?
False
Let s be (0/3 - -18)*3141/(-18). Let i = 5324 + s. Is i a prime number?
False
Is (-5)/(1/11 - (-15792)/(-172986)) prime?
False
Suppose 0 = 4*g - 3*y - 25687, -5*y - 25689 = -2*g - 2*g. Is g a composite number?
False
Let j(q) = -q**2 + 17*q + 8. Let s(z) = -9*z - 4. Let y(u) = -3*j(u) - 7*s(u). Suppose 7*h - 4*r = 2*h + 73, 2*r = -4. Is y(h) prime?
False
Is (-1)/((-15)/(-2694))*400/(-32) composite?
True
Let z be (-51)/9*1*3567. Is z/(-6) + ((-51)/(-18))/17 a composite number?
True
Suppose -4*o - 15*n + 10*n = -5051, -2*o + 2533 = 5*n. Is o a prime number?
True
Suppose 3*k - 4676 = r + r, 2*k = -2*r - 4686. Let f = r - -3315. Is f composite?
True
Let l(h) = h**2 - 33*h + 55. Is l(51) a prime number?
False
Let t = -29 + 27. Is 4*66 + 1 + t a prime number?
True
Suppose 4*g + 2482 = -4*h + 21266, 5*g = 25. Is h prime?
True
Let f = 668 + 6279. Is f composite?
False
Suppose -4*k - 689 = -z, 0 = -5*z - 0*z + 5*k + 3385. Is z a prime number?
True
Is ((-262)/(-8))/((-244)/(-48) - 5) a prime number?
False
Suppose -3*t = 2*l - 251, -3*t - 32 = -2*l - 279. Suppose 25 = 4*k - t. Is ((-99)/k)/((-1)/15) a composite number?
True
Let d(c) = -1440*c + 8. Let r be d(-3). Suppose 7*a = -a + r. Is a prime?
True
Suppose 0*k + k = 0. Suppose -3*g + 0*g + 978 = k. Is g composite?
True
Suppose -9*i = -45322 - 20189. Is i prime?
False
Suppose 4*c + 9 = n - 25, -5*c - 25 = 0. Suppose -n*v = -10*v - 2204. Is v a composite number?
True
Suppose -z + 0*z = -21. Suppose -4*j = -j - z. Let q = 72 - j. Is q composite?
True
Let m(y) = 9*y**2 - 27*y + 10. Let z(r) = 4*r**2 - 14*r + 5. Let b(i) = 3*m(i) - 7*z(i). Is b(5) a prime number?
False
Let q = -6 + 1. Let l be (-9)/(-1) - (-15)/q. Is (-1 + -3)*(-213)/l a composite number?
True
Let o = -1 - 5. Let f(r) = 3*r**3 + r**2 - 2*r + 2. Let h be f(3). Is 12/o - (1 - h) prime?
True
Suppose -v + 74 = -256. Suppose -3*d - v = -8*d. Suppose -d - 29 = -w. Is w prime?
False
Suppose 2*p = 5*w - 0*w - 36, -3*p = -3*w + 27. Suppose -2*b = -w, 0 = -s + b + 2*b - 6. Suppose -726 = -5*n + f, 5*n - 2*f = s*n + 292. Is n a prime number?
False
Suppose -2*c = -0*c - 10, -c - 270 = -5*j. Suppose s = 106 + j. Is s a composite number?
True
Let l be ((-3)/6)/(2/48). Let y be (-4)/6 + (-68)/l. Suppose y*k - 3246 = -2*o + 735, -5*o = 3*k - 2381. Is k composite?
False
Let i = -19 - -21. Suppose -5 = i*p - 2*q + 11, 2*p = -5*q - 23. Let a = -7 - p. Is a composite?
False
Let y(v) = 4*v**2 - 3*v + 2. Let n be y(2). Suppose h = -n + 33. Let k = 74 + h. Is k composite?
True
Let p(r) be the third derivative of 11*r**5/60 - 13*r**4/12 + 7*r**3/6 + r**2 - 17*r. Is p(-8) composite?
False
Let j(o) = o**3 + o**2 + o + 6. Let u be j(0). Suppose u - 2 = k. Suppose t + k*d - 143 = 0, -2*t - 3*t - d = -791. Is t prime?
False
Let s(n) = 907*n**2 + 2*n - 8. Is s(3) prime?
True
Let d = 250 + -140. Let q(u) = -18*u - 1. Let x be q(3). Let p = x + d. Is p prime?
False
Let x = 14047 + 4072. Is x prime?
True
Let j(a) = -a**3 + 9*a**2 + 7*a + 2. Let f(w) = -w**2 + 14*w + 1. Let n be f(13). Let x = -7 + n. Is j(x) a composite number?
False
Let j(q) = 3 + 28*q - 2 + 71*q + 558*q. Is j(2) prime?
False
Let c(a) = -149*a - 2. Let k be c(-7). Let d = k - 190. Is d composite?
True
Let j(i) = -193*i + 904. Is j(-51) composite?
True
Let h(b) = -b. Let n be h(-1). Let p be -2 + n - (-4 + -2). Suppose -d - 5 = 4*d, -p*r + 1830 = -5*d. Is r prime?
False
Let r(n) = 11*n**3 - 2*n**2 + 2. Let z be r(-2). Let c = z + 356. Is c composite?
True
Let h(x) = -152*x + 5. Let m(o) = -303*o + 9. Let b(k) = 9*h(k) - 4*m(k). Is b(-2) a prime number?
False
Suppose 4*a - 24 + 8 = 0. Suppose -a*o - 144 = -380. Is o a prime number?
True
Let c(z) = 22*z**2 + 6*z + 7. Let f be c(5). Suppose f = 4*x - 1473. Is x a prime number?
False
Let d(m) = -m**3 + 6*m**2 - 5*m + 2. Let z be d(5). Suppose -1239 - 175 = -z*a. Is a prime?
False
Let l(i) = 2*i + 4*i - 2*i - 3*i. Let r be l(11). Suppose 0 = -r*w + 6*w + 710. Is w composite?
True
Suppose -22 = -7*l + 13. Suppose 381 = c - l*v, -2*v + 1905 = 5*c - 6*v. Is c composite?
True
Suppose -124*h + 27996 = -112*h. Is h composite?
False
Let q = -278 + 613. Suppose 2*g + 2*y - 670 = 0, 4*y + q = g + 6*y. Is g a prime number?
False
Is (1 - -1)*45/(-108)*-6366 prime?
False
Suppose -k + 20 = 4*y, 0 = 5*k + 5*y - 61 - 24. Suppose 0 = 21*l - k*l - 175. Is l a composite number?
True
Let r be (-2)/(-6) - 1*(-44)/12. Suppose 4*y = 7*y - 12, 4*y + 9724 = r*m. Is m composite?
True
Suppose 0*j + 339 = -3*j. Let p be 170/(-1)*(54 + -55). Let i = j + p. Is i a composite number?
True
Is (9/(-6))/((-3)/5262) prime?
False
Let n = -426 - -422. Let o(b) be the second derivative of b**4/6 - b**3/6 - 3*b**2/2 - b. Is o(n) prime?
False
Suppose -4*r + 173 = -19. Let g = r - 33. Is g composite?
True
Suppose -4*h - 5*b - 1 = -3, 0 = h + 3*b + 3. Suppose r - 4*w = 5*r - 736, -h*w - 3 = 0. Is r a prime number?
False
Let g be (-3)/6*2*-2. Suppose 5*f - g*f = 9. Suppose -f*s + s = -374. Is s a composite number?
True
Let h(j) = -11*j - 113*j**2 + 7*j - 6 + 4*j. Let z(a) = 56*a**2 + 3. Let l(w) = 4*h(w) + 9*z(w). Is l(2) prime?
True
Let v = -63 - -19. Let a = 141 + v. Let c = 64 + a. Is c composite?
True
Let f(v) = v + 15. Let x be f(-9). Suppose -x*u = -4*a - 4*u + 4044, -3019 = -3*a - 2*u. Is a a composite number?
False
Let y = -1737 - -10000. Is y prime?
True
Let f = -5234 - -25797. Is f composite?
False
Let f(v) = -4*v**3 + v**2 - v. Let i(q) = 3*q**3 - 2*q**2 + 2*q. Let z(c) = -6*f(c) - 5*i(c). Let x be z(3). Let a = x - 56. Is a composite?
False
Let d(z) = -53*z**2 - 6*z - 7. Let v = -9 + 4. Let h be d(v). Let y = -749 - h. Is y prime?
False
Let u be ((-4)/(-10)*3)/(2/5). Suppose -2517 = -2*h + q, -h = -u*h - 4*q + 2522. Is h composite?
False
Let m(y) = 732*y + 31. Is m(5) composite?
False
Let u = -99 - -231. Let w(d) = d**2 + 5*d + 1. Let h be w(-6). Let b = h + u. Is b composite?
False
Is (-64206)/(-10) + (15 - (-219)/(-15)) prime?
True
Suppose t = -2*j, -t + 4 = -2*t. Let f = 10 + -5. Suppose f*w - 369 = j*w. Is w composite?
True
Let q = 42 + -21. Let f = q - 13. Is (6/f - 0)*188 composite?
True
Is ((-102)/(-36))/17*147666 a composite number?
False
Let k(p) = p**2 - p + 4. Let s be k(0). Suppose 4*n - z - 994 = s*z, 3*n = -4*z + 761. Is n a prime number?
True
Let s = -11390 - -30493. Is s composite?
True
Let a = -20052 + 28099. Is a a prime number?
False
Let q be (-3)/(-6)*10 + -3. Suppose -1347 = -q*w + 1039. Is w a prime number?
