97 = 6*k - s. Is k a composite number?
True
Let i = -151 + 287. Suppose -426 - i = -g. Is g a composite number?
True
Suppose 5*g + 354768 = 2*g. Is 6/45 + 1 + g/(-30) a composite number?
False
Let o(w) = -2*w**2 - 4*w - 4. Let z be o(-3). Let a = -6 - z. Suppose 4*t + 5*q = 325, -a = 3*q + 5. Is t a prime number?
False
Let f = -18 + 6. Suppose 25*p = 15*p + 26960. Is (p/f)/(2/(-3)) prime?
True
Suppose 69768 = -17*p + 601477. Is p a prime number?
True
Let x(a) = 1560*a**3 - 10*a**2 + 6*a - 3. Is x(4) a composite number?
True
Let p = 1030 - 658. Suppose -7*a + 1637 + p = 0. Is a a composite number?
True
Let h = -1565 + 8206. Is h a composite number?
True
Let r = 44 - 41. Suppose 5*x + r*t - 6058 = 4*t, 0 = 4*x + 5*t - 4829. Is x a prime number?
False
Let j(h) = -4*h**3 + 4*h**2 - 5*h + 4. Let t(u) = 5*u**3 - 3*u**2 + 4*u - 4. Let z(l) = -3*j(l) - 4*t(l). Is z(-3) a prime number?
True
Suppose -9*l = -16429 - 38237. Is l a composite number?
True
Let q(b) = 2*b**2 - 15*b + 19. Suppose -5*o + 92 = 2*t, 3*o - 2*t - 19 = 33. Is q(o) a composite number?
False
Let c = 289 + -80. Suppose -3*p = -22 + 7. Suppose -n - p*t = -56, -2*n - 5*t = 2*n - c. Is n a prime number?
False
Suppose 0 = -7*o + 4*o. Suppose u - 40 - 4 = o. Is (-1)/4 + 2871/u prime?
False
Let f = 13376 + -4233. Is f composite?
True
Let l(x) = x**2 + 12*x - 15. Let d be l(-12). Let a be d/4 + (-3)/12. Is (51 - (2 + a))*7 a composite number?
True
Let b(a) = 14*a**2 + 0*a + a + 32 - 7*a**2. Is b(-5) prime?
False
Let p(u) = 153*u - 23. Let r(x) = 2*x + 22. Let a be r(-4). Is p(a) prime?
False
Let c be -1 - 348 - (8 + -4 - 8). Let b = -134 - c. Is b a prime number?
True
Suppose -2*n = 3*i - 24127, 7*n - 48264 = 3*n - 4*i. Is n a composite number?
False
Let g(o) = o**2 + 8*o - 2. Let k be g(-5). Let t(j) = -28*j - 5. Is t(k) a composite number?
True
Suppose 22 = -4*z + 2*y + 80, 3*z - 2*y = 45. Suppose -686 = -z*v + 3123. Is v composite?
False
Suppose -5*c + 356 = -1029. Suppose 2*t + 3*z + 567 = 5*t, -5*z = 5*t - 935. Let w = c - t. Is w a composite number?
False
Suppose 22 = 3*k - 5. Suppose k*o = 4*o + 6235. Is o composite?
True
Let p(l) = 4*l**2 + 14*l + 0*l**2 + 13 + 0*l**2 + 10. Is p(-15) a prime number?
False
Let p(b) be the second derivative of 5*b**3/2 + 8*b**2 - 12*b. Is p(5) a prime number?
False
Let c(b) = -7427*b + 71. Is c(-4) a prime number?
False
Suppose 4*y + 147 - 3416 = -u, 5*y = -5*u + 16315. Is u composite?
True
Suppose -3*z - 9 = 0, -2*o + 849 = 4*z - 301. Is o a composite number?
True
Let c(r) = 1021*r**3 + r**2 - r. Let j be c(-2). Is 1/(-3) - j/6 - -1 prime?
True
Suppose 20 = -2*r + 3*r. Let x(k) = -6*k + 149. Let y be x(25). Is 915/r - y/4 a composite number?
True
Let p = 2743 - -4596. Is p a composite number?
True
Suppose 4*s + 1256 = -2*h - h, 0 = -3*h - 2*s - 1252. Is h/(-12) + (-4)/(-12) a prime number?
False
Let a(b) = b**2 - 2*b + 2. Let v be a(2). Suppose v*k = -5*d + 17, k - 6 = -d - d. Suppose 4*m - 3*t - 64 = 0, -m - 4*m + d*t = -75. Is m a composite number?
False
Let q = -692 + 2773. Let y = q - -98. Is y prime?
True
Suppose 8*v = 3*v + 15. Suppose 131 = 3*j - 4*a, -v*a + 2 = 17. Suppose -4*l - 3*c = -91, 2*c = 3*l - 2*c - j. Is l a prime number?
True
Let l(i) = -i**3 + 5*i**2 - 2*i - 3. Let a be l(4). Suppose -43 = -a*u - 3333. Let t = -267 - u. Is t a prime number?
False
Suppose 0*j + 6 = -2*j - 4*n, 4*n + 26 = 2*j. Suppose 0 = -0*d + j*d - 3475. Is d a composite number?
True
Let x be (0/(-3))/(3/3). Let o = 2 - x. Suppose 0 = -l - 2*n + 197, 397 = o*l + 5*n - 0*n. Is l composite?
False
Let l(t) = 10*t**2 + 8*t - 14. Let o(f) = -9*f**2 - 7*f + 13. Let h(k) = -4*l(k) - 5*o(k). Is h(4) prime?
True
Suppose 5*l - 2*h - 19355 = 0, l - h = 3*h + 3889. Suppose 3*j - l - 5068 = 0. Is 4/(-6)*j/(-6) prime?
True
Let p = 16 + -16. Suppose -g - g - 2892 = p. Is g/(-3) + 1 + 2 composite?
True
Is 50/(-250) - (-889892)/10 prime?
False
Let x(d) = -457*d**3 + 13*d**2 + 16*d + 13. Is x(-5) a composite number?
False
Suppose g - 4*j + 3*j + 440 = 0, 3*j + 1326 = -3*g. Is 4 + -5 + (5 - g) a composite number?
True
Let c(i) = -21*i - 12. Let p be c(-16). Let s = 464 + 104. Suppose -4*m + p + s = 0. Is m a composite number?
False
Suppose -2 + 2 = 8*a. Suppose a = 17*g - 3672 - 8789. Is g prime?
True
Let y = -1336 - -10299. Is y composite?
False
Let y = -26230 - -36749. Is y composite?
True
Let b(w) = -17*w + 5. Let z(y) = -4*y**2 - 3*y + 1. Let o be z(1). Let j be b(o). Let k = j - 22. Is k a prime number?
False
Let m be (0 + (-1)/2)/(3/18). Is ((-1)/(-4))/(m/(-33204)) a prime number?
True
Let k(l) = l - 3. Let m be k(8). Suppose -2694 = -2*f + m*f. Is f/(-1) + -9 + 6 a prime number?
False
Let s = 1531 - 590. Is s composite?
False
Let x = 2128 + -1277. Is x composite?
True
Let k(y) = -1823*y**3 + 2*y + 2. Is k(-1) composite?
False
Let p(q) = -14*q**3 + 7*q**2 + q + 5. Suppose 2*h = -0*h + 4, -2*h = 4*l + 20. Let c be p(l). Suppose -14*w = -9*w - c. Is w a prime number?
False
Suppose -3*q = -q + 64. Let v = 363 + q. Is v prime?
True
Is 1 + (-6)/(-24) - (-27287)/4 composite?
False
Suppose 1 = b - 2. Suppose 16*x + 2408 = 18*x. Suppose b*w + w = x. Is w prime?
False
Suppose 5138 = 3*i + 14564. Let s be (-6)/(-12) - i/4. Suppose -9*p = -3*p - s. Is p composite?
False
Let s(y) = 338*y**2 + 13*y - 17. Is s(2) composite?
False
Let m(p) = -p**3 - 28*p**2 + 22*p + 61. Is m(-32) a composite number?
True
Suppose 2*n - 6 + 2 = 0, -u + 2*n + 2 = 0. Suppose -a = -1, 4*i + 2*a - 1632 = u*a. Is i composite?
False
Suppose 15 - 7 = -4*p. Let n(h) = -3683*h - 2. Let m be n(p). Is ((-1)/4)/((-7)/m) composite?
False
Suppose 0 = 14*a - 10*a - 19132. Is a a composite number?
False
Let j be (-2 - 1)*1 + -14. Let s = 1120 - j. Is s composite?
True
Suppose -70 = -9*i + 7031. Is i prime?
False
Suppose 5*u + 6000 = 4*p - 16397, 3*u = -p - 13428. Let h = 8286 + u. Is h composite?
True
Suppose o + 5*v = -o + 692, -5*v = -2*o + 652. Suppose -3*c = -327 - o. Is c composite?
True
Let r = 42599 + 4452. Is r prime?
True
Let b = 22 - 19. Suppose t = -5*i + 2*i + 3520, -4*t + b*i = -14035. Is t prime?
True
Is 8498/3 - (5 - (-32)/(-6)) composite?
False
Let a = -26 + 44. Let n(v) = -v**3 + 17*v**2 + 21*v + 3. Is n(a) prime?
False
Suppose -5*w = -4*h - 3634 - 2394, 4*w + 2*h = 4838. Suppose -4*l - w = -4*d, 312 = 5*d - 4*d + l. Is d composite?
False
Suppose -15999 = -6*s + 25995. Is s a prime number?
False
Let v = 3708 - -11083. Is v prime?
False
Suppose 0 = -2*l + h + 9, 5*l + 2*h - 16 = -7. Suppose -14 + 6 = -z + l*t, 5*z - 23 = -2*t. Let w(x) = 13*x**2 - 4*x - 7. Is w(z) a prime number?
False
Let j(s) = 49*s**2 - 12. Is j(-5) composite?
False
Let s(b) = -10634*b - 197. Is s(-2) a composite number?
True
Suppose 5*w - 27998 = 617. Is w a composite number?
True
Let x be 380/(-57) - 4/(-6). Is (-7 - (-416)/12)/((-2)/x) composite?
False
Suppose -4*t + 9 = -7. Suppose 0 = f - i - 2, t*i + 4 - 23 = -5*f. Suppose 4*m + b = -f*b + 492, 5*b - 10 = 0. Is m a prime number?
False
Suppose -s + 5 = 2*z, 3*s - 2*z + 6*z - 17 = 0. Is (-1)/s + (-3006)/(-21) a composite number?
True
Let g = -1970 + 6291. Is g prime?
False
Let k = -257 + -241. Let i = k + 706. Let y = i - 119. Is y a composite number?
False
Suppose 2*g = -r + 1115, -4*g + 2781 = g - 4*r. Is g a prime number?
True
Let o = 468 + 4079. Is o composite?
False
Let i(u) = -u**2 + 6*u + 1. Let a be i(6). Is -753*(21/(-9) + (3 - a)) composite?
False
Let c(n) = 5*n**2 + 12*n + 18. Let u be c(10). Suppose 0 = -5*g + 3*f + u, -4*g - 376 = -7*g - 5*f. Is g a prime number?
True
Let u(o) = -6*o**3 + 7*o**2 - 37. Is u(-6) a composite number?
False
Let u(j) be the third derivative of j**4/12 - 7*j**3/3 - j**2. Let b be u(9). Let k(v) = 36*v**2 + 3*v - 1. Is k(b) a composite number?
False
Let g be -2 - ((-7)/(-4))/((-11)/44). Suppose -k + g*o + 426 = 0, -5*k + 1373 = -2*k + 4*o. Is k a prime number?
False
Let p be (-6)/4*(-1 - (-35)/(-21)). Suppose -3*a + 4*a - 4*m = 327, -m - 1233 = -p*a. Is a prime?
True
Suppose -2*w - w = 5*i - 7284, -3*i = -3*w + 7260. Is w composite?
False
Let t(f) = -5 - 3*f**2 - f**3 - 3 - 5 - 10*f + 4*f**2. Is t(-6) a prime number?
False
Let u = -35 - -39. Suppose -u*p = -5*p + 267. Is p a prime number?
False
Is 2*15465/6*(-170)/(-50) prime?
False
Suppose 3*t