2 - k + 2. Let x be b(2). Suppose 0 = 3*t + v + 2776, x = -2*t + 5*v + 986 - 2814. Let f = t + 1967. Is f a composite number?
True
Let g = -13225 + 23708. Is g composite?
True
Suppose 7*l - 54633 = 27988. Suppose -2*p - 9*p = -l. Is p composite?
True
Let b be (-73)/7*(-15)/45*21. Suppose 4*r + n = 1, -4 = 3*r - r - 4*n. Suppose r = -2*i + 93 + b. Is i prime?
True
Suppose 4*z + k - 30 = -0*k, 32 = 3*z - 4*k. Suppose 18*j - z*j = 35130. Is j a prime number?
False
Let f(k) = -481*k + 46. Let t be f(-22). Suppose l + q = 4544, -3*l = -5*q - t - 3028. Is l a composite number?
False
Suppose 3*a - 185072 = -3*v + 208564, 2*a + 3*v - 262423 = 0. Is a composite?
False
Let c(y) = y - 1. Let q(m) = 599*m**2 - 7*m + 9. Let g(a) = 2*c(a) + q(a). Let k = -5568 - -5570. Is g(k) prime?
True
Is 11/1 + -2048*66410/(-116) prime?
True
Let m be 120/(-3 + 1)*-15. Let l = m + 251. Is l a composite number?
False
Let w(z) = 202*z**3 + 17*z**2 - 52*z - 39. Is w(8) composite?
True
Suppose -34 + 4 = 5*a - 2*o, 2*a = -2*o - 26. Let s(h) = -h**3 + 8*h**2 - 5*h + 4. Let v be s(5). Is v/(-24) + 3 + (-10770)/a a prime number?
False
Is (29/((-812)/(-4305588)))/((-3)/(-11)) a prime number?
False
Is (-65)/(-5) + (816454 + 4 - 4) a prime number?
False
Suppose 0 = -c + 8 - 3. Suppose c*j + 2184 = 6079. Suppose -s = -j + 288. Is s prime?
True
Suppose 4*y - 2 = -3*r, -11 + 3 = -2*y + 2*r. Suppose -y*a = -10, q + 4*q = 2*a + 11145. Suppose d = 2*c - q, -5*c + 5*d = d - 5573. Is c prime?
True
Let x be 6*(-3*28/24 - -4). Suppose 0*c - x*c + 4*v = -3427, 2*c + 4*v - 2298 = 0. Is c prime?
False
Suppose -6 = -2*q, 19*z - 14*z + 5*q = 15. Let a(f) = -f**2 - 4*f + 1717. Is a(z) prime?
False
Suppose l = -l - 3*d + 4, -2*l - d = 0. Is 0 + l - 0 - -588 a prime number?
True
Suppose -5*x + 5*k = 35, 0 = -5*k + 21 - 1. Is x - (-16957 + (-25)/(2 - 7)) composite?
True
Is 32 + (-468)/18 - 626662/(-2) a composite number?
True
Let d = -8839 - -12477. Suppose 3*v = -3, -4*q + 11443 = -v + d. Is q composite?
False
Let t(x) = -10*x**3 + 13*x**2 - 30*x - 9. Let y be t(-8). Suppose 5*u - 11272 = y. Is u a prime number?
True
Suppose 10 = -5*p, 0*a + 26 = 2*a - 3*p. Suppose 0 = -a*c + 11*c - 3163. Is c composite?
False
Let n = -36207 + 209494. Is n composite?
True
Let u be 3/(-12) - (-107415)/28. Let y = 1430 - u. Is y/(-4)*(-20)/(-6) a prime number?
False
Let r(p) = -318*p + 46. Let x be r(-5). Suppose a + m = x, 1085 = -5*a + 3*m + 9273. Is a composite?
False
Let l be ((-430)/100*-15)/(1/18). Suppose 0 = -5*o - 11*p + 12*p + 5760, 2*p + l = o. Is o a prime number?
True
Suppose -4*t + 4*q + 3677 = -2207, 0 = 4*t - 5*q - 5878. Is t composite?
True
Suppose 2 + 30 = 4*k - 3*c, 0 = -5*k - 4*c + 9. Suppose 2*g + j = 10454, -5*g = k*j + 4877 - 31012. Is g a composite number?
False
Is (2632240/39)/4 - (-5)/(30/(-14)) prime?
True
Suppose 199*a = 198*a + 3. Is 24/(-36) - (a + (-24531)/9) prime?
False
Is ((-33175461)/(-22))/(15/2 + -6) composite?
False
Let f(w) = 37*w**2 - 10*w + 4. Let v = -84 + 89. Let o be f(v). Suppose 7*n + o = 8*n. Is n prime?
False
Let n(m) = -m**3 - 7*m**2 + 2*m - 1. Let o be (-6)/(-7)*14/3. Suppose 17 = o*l + 53. Is n(l) a composite number?
True
Let q(t) = 144*t**2 - 303*t + 242. Is q(-19) a prime number?
False
Suppose -d - 7 = 4*y - 23, y + 4 = 0. Let g = d - 41. Is g/(-27) - (-1184)/3 composite?
True
Is (-2640505)/(-119) - (-42)/(-357) prime?
True
Suppose 25*q + 35*q = 6*q + 25974. Is q composite?
True
Suppose -w = 5*s - 4467108, -1662*s - 4*w = -1658*s - 3573664. Is s composite?
True
Suppose -8*q - 2*q + 5*q = 0. Suppose 0 = 3*t - t + k - 4, t + 2*k + 4 = q. Suppose -34 - 286 = -4*j + t*w, 5*j - 427 = -4*w. Is j a composite number?
False
Let b(x) = 29*x**2 - 13*x - 25. Let n(a) = a**2 + a + 1. Let l(r) = b(r) - 4*n(r). Is l(-13) a prime number?
False
Let m(a) = 11*a**3 - 4*a + 5*a**3 + 20*a**2 - 14*a**3 - 11 + 2*a**2. Is m(11) prime?
False
Let r(t) = t**3 + 41*t**2 + 33*t + 448. Is r(-39) a prime number?
True
Let s(m) = m**2 - m - 22. Suppose -5*h - 45 = 5*o, 0*h + 26 = -2*h - 4*o. Let y be s(h). Let q(l) = -l**3 + 15*l**2 - 7*l + 9. Is q(y) composite?
False
Let s(b) be the third derivative of 7*b**5/60 - 17*b**4/24 - 3*b**3/2 + 14*b**2 - b. Is s(10) a composite number?
False
Suppose -2*w + 4*p = -51638, 26*w = 31*w - 4*p - 129095. Is w a composite number?
False
Let c = -719 - -1223. Suppose -36*f - c = -293796. Is f prime?
True
Let o(q) = -8107*q + 7247. Is o(-38) prime?
True
Let b(y) = y**2 + 10*y - 12. Let l be b(5). Let f be (-14)/l + -2 + 20/9. Suppose 4*s = -f*s - p + 267, -3*s + 2*p + 203 = 0. Is s a prime number?
True
Let b = 3 + 0. Suppose -g = -i + b*g - 21, i + 2*g - 9 = 0. Let m(a) = 366*a**2 + 7*a + 8. Is m(i) composite?
False
Let l = -2182 - -4432. Suppose -l = -6*n + 29712. Is n prime?
False
Suppose -2130*c + 2137*c + 4041114 = 0. Is ((-2)/(-4))/((-33)/c) composite?
False
Let k(g) = 8209*g**3 + g**2 + 9*g - 10. Suppose 0 = 4*s + 12*s - 16. Is k(s) prime?
True
Let c(i) be the second derivative of 457*i**5/20 + i**4/4 - 3*i**3/2 + 9*i**2/2 - 100*i. Is c(2) a composite number?
False
Suppose 0 = -22*r + 27*r - 560. Let y = -118 + r. Is (y/(-4))/(1/(-2)) + 2942 composite?
False
Suppose 15*b - 16*b + 14530 = 0. Let n = -8607 + b. Is n composite?
False
Let q = 13 - 2. Let u(v) = -18*v**2 - 15*v + 2*v**2 + 4*v**2 + 13 + 6*v**2 + 9*v**2. Is u(q) composite?
False
Let g be 8*(-5052)/(-9)*(-36)/(-64). Suppose -2*d + 984 = s, s - 59 = 5*d - g. Is d a composite number?
True
Let m be 12/(-36)*30/(-2). Suppose c - 2*k = 799, m*c + 12*k - 3995 = 8*k. Is c composite?
True
Is (94550/12200)/(5/2*(-2)/(-184420)) a composite number?
True
Let u be 1/1 + (5 - 1). Suppose u*b - 3 - 17 = 0. Suppose -f - b*v + 667 = 0, 0*f - v = -f + 657. Is f prime?
True
Let v = 203 + -198. Suppose 3*h - v*c = 5706, -4*h + 5*c + 9520 = h. Is h composite?
False
Is (-130)/(-390)*(551548 + -1) composite?
True
Let h be (-6)/15 - (-63)/(-5). Let k(y) = 15 - 20*y**2 + 54*y**2 - 22*y**2 - 26*y**2 - y**3 - 12*y. Is k(h) composite?
False
Suppose 0 = f - 4*x - 23, -3*x + 27 = 5*f - 42. Is (22*(-5)/f)/((-2)/843) prime?
False
Let n(r) = 955*r + 43. Let t be n(8). Suppose 5*x + y + y = t, x = -y + 1536. Is x prime?
False
Suppose 6*n + 49*n - 138655 = 0. Is n a prime number?
True
Let c be (-12)/30 + 346/(-10). Let u = c + 72. Suppose -r - 5*j + 37 = -u, -3*r + 276 = -3*j. Is r prime?
True
Suppose 44*k = 66*k + 7348. Suppose 4*c - 1965 = c. Let b = k + c. Is b a prime number?
False
Is (-22)/(-8)*(-3 + 224201 + (-63 - -77)) composite?
True
Suppose 0 = -h - 3*h - 5*u + 584393, -2*u - 438335 = -3*h. Is h prime?
False
Let o(i) = 31378*i + 87. Let h be o(-6). Is 4/14 + h/(-441) composite?
True
Let f(q) be the second derivative of 235*q**4/4 + 7*q**3/6 - 13*q**2/2 + 133*q. Is f(3) a composite number?
False
Suppose 85*j - 53147797 = -72*j. Is j prime?
False
Suppose o + 3589 = 3*x, -137*x + 5983 = -132*x - 2*o. Is x a prime number?
False
Suppose -5*b + 16*b - 74672 = -5*b. Is b prime?
False
Suppose -171143609 + 105296393 + 935299137 = 351*k. Is k composite?
False
Suppose -z = -3*o + 5, -o = -z - 3 - 4. Let d(a) = a**3 + 12*a**2 + 13*a + 19. Let q be d(z). Let v = q - -308. Is v prime?
True
Let b be (-123)/82*(-3 - -1). Suppose -4*y - 418 + 2766 = -3*q, -3*q + 1761 = b*y. Is y prime?
True
Suppose 0 = -5*b + 5 + 5. Let c be ((-33)/((-396)/22416))/((-1)/(-1)). Suppose b*x - c - 230 = 0. Is x composite?
False
Let w = 354654 + -247751. Is w prime?
True
Let n = -166 + 171. Suppose -n*w - 3923 = -2*v, 17*v - 9760 = 12*v + 3*w. Is v composite?
False
Suppose 7*p - 51836 = 2099. Suppose 7715 = 5*t + 4*f - 3*f, 0 = -5*t - 3*f + p. Let a = -958 + t. Is a prime?
False
Let s(j) = 2*j**3 - 50 + 67 + 5*j - j + 3*j**2. Let a be s(8). Suppose a = 2*l - 5*w + 399, 3*l - 1337 = -2*w. Is l a composite number?
False
Let k be ((-93)/62)/((-1)/2). Suppose -4*g - 20 = 0, -2*n = -k*n - 5*g + 3238. Is n prime?
False
Let q(d) = 811*d**3 + 7*d**2 - 32*d + 17. Is q(7) composite?
True
Let v(k) = 572*k**2 + 14*k - 403. Is v(-19) a prime number?
True
Suppose -3*m = 2*x + 18976, x + 2*m + 28459 = -2*x. Is (x/28)/(4/(-16)) a composite number?
True
Is (-18733814)/(-44) + -2 - (-2)/4 a prime number?
False
Suppose 5*x - 15 = 0, 0*u + 2*x = 5*u - 9. Suppose 4*q + u*k - 32