 - 3*v = -177661. Is n a composite number?
True
Let c = 3172 - -2973. Let l = -2558 + c. Is l composite?
True
Let y(a) = a**2 - 2*a + 2. Suppose 3*f - 5 = 4. Let d be y(f). Suppose -d*c + 256 + 549 = 0. Is c composite?
True
Let b = -478 + 4082. Suppose c + 3*p = b, 4*c + 7*p - 5*p - 14366 = 0. Is c a prime number?
False
Suppose -6*i = -19*i + 26. Is (((-171)/i)/(-3))/((-7)/(-14)) prime?
False
Let l(x) = -9*x + 1. Let s be l(-1). Let n = -952 - -3207. Suppose s*a = 5*a + n. Is a a prime number?
False
Suppose -22*u - 34 = -20*u. Let f = u - -19. Suppose f*g = -2*y + 980, -5*g + 4005 = 4*y + 1552. Is g prime?
False
Suppose 47*d + 80*d = 140*d - 4133441. Is d prime?
True
Let c = -59755 - -93452. Is c composite?
True
Let x(r) = -r**3 + 29*r**2 + 30*r - 26. Let p be x(30). Let c(u) = -17*u + 37. Is c(p) composite?
False
Suppose -5*a + 71 = i, 2*i + 38 = 9*a - 7*a. Suppose 5*b = a*b - 33890. Is b a prime number?
True
Let w = -60019 - -99932. Is w a prime number?
False
Let y(i) = 1. Let t(h) = 1519*h - 71. Let z(j) = t(j) + 2*y(j). Is z(4) a composite number?
False
Let o(z) = 2*z**3 + 9*z**2 + 3*z + 10. Let d be o(-5). Let v be 6146/(-56) + (-6)/(-8). Is (v/d - 22/165)*326 a composite number?
True
Let h be -7 + ((-20)/(-5))/2 + 1. Let s(y) = -69*y**3 - 2*y**2 - 5*y + 2. Is s(h) a prime number?
False
Is (2*(-5)/50)/((-17)/49189415) composite?
True
Is (-13701501)/18*-7*(-12)/(-126) composite?
True
Let h = 15643 + 4645. Suppose -4*s = 2*g - h, -2*s - 3*g = -5*s + 15207. Is s composite?
True
Suppose -32*c = -19*c - 52. Suppose 0*a + 790 = 2*r + c*a, 0 = -5*r + 3*a + 1988. Is r composite?
False
Suppose 4*o = -3*b + 2*o + 17, -o = -1. Suppose b*x - 9940 - 20585 = 0. Is (-2)/(-7) - x/(-21) composite?
True
Let p = 47382 - -17785. Is p prime?
True
Let l = 342 + -345. Let o be 3/(-6)*(-365 + -1). Is o - -5 - l/(-3)*-3 composite?
False
Let i(o) = -o**3 - 6*o**2 - o + 2. Let n be i(-6). Let j = -4286 - -6846. Suppose n*m - 1528 = j. Is m composite?
True
Suppose -4*s = 4, 0 = 2*g - 7*g + s + 1. Let m be (g + -8)/(-1 - 1). Is ((-546)/(-4) - -2) + m/8 a composite number?
False
Is -3 - (6/6*-1 + -16513 + 4) a prime number?
False
Let a be (4*2)/(6 + (-2 - 2)). Let g be (a/8)/((-1)/(-12)*3). Suppose 0 = -2*k + g, 5*r - 2*k - 11971 = 2*k. Is r a composite number?
True
Suppose 0 = 5*r - q - 329523 - 708573, 3*r - 622852 = -5*q. Is r prime?
True
Let m(n) = -69*n - 9. Let j(b) = 139*b + 19. Let y(g) = -2*j(g) - 5*m(g). Let h(q) = -359*q + 2155. Let s be h(6). Is y(s) prime?
False
Let f = 19 + -14. Suppose 0 = -f*n + 10*n - 1180. Let u = 1331 + n. Is u a prime number?
True
Suppose -35*t + 2525226 = 31*t. Is t a prime number?
True
Let g = -1090 + 1708. Suppose 630 = 4*t - 2*c, -c = 4*t + c - g. Is 17520/26 - 8/t*-3 prime?
False
Let x be (-3 - -2) + 15 - (7 - 4). Let v(t) = -4*t**2 + 14*t + 15. Let j be v(x). Let n = 564 - j. Is n a prime number?
False
Suppose 0 = 2*r - 5*c - 15481, 7*c - 31002 = -4*r + 9*c. Suppose 3*u = -2*a - 4756 + 16405, -2*u = -3*a - r. Is u a composite number?
False
Let y(l) = 177*l**3 - l**2 - 10. Let j be y(3). Let h = 10390 - j. Let g = h - 2141. Is g a prime number?
False
Suppose -c - c = -0*c. Let p be c/1 - -736 - (-1 - -1). Suppose -p - 892 = -4*q. Is q a composite number?
True
Let l(q) = -3*q + 10. Let a be l(0). Let u = -8 + a. Suppose u*m = -2*v + 842, -5*v - 3*m + 2101 = -0*m. Is v a prime number?
True
Let t(s) = -841*s**2 + 12*s - 62. Let x(u) = -420*u**2 + 6*u - 31. Let n(z) = -4*t(z) + 7*x(z). Is n(-12) a composite number?
True
Let p = 8979 - 7006. Is p a prime number?
True
Let t(b) = 8*b**3 + 200*b**2 + 123*b - 27. Is t(28) composite?
False
Let h(b) = -509*b - 4100. Is h(-21) composite?
True
Suppose -66 - 330 = -9*t. Suppose t*l - 41*l - 11859 = 0. Is l composite?
True
Suppose 0*i = 5*i, 4*g = 4*i + 16. Suppose 5*v = -2*m + 4*v - 6933, -g*m - 13862 = -2*v. Is ((-1)/(-2)*m)/(-1) a composite number?
False
Suppose 5*d = -3*c + 8, -3*d + 5*c = -6 - 26. Suppose l + 4*o = d*l - 7843, -5*l + 13125 = 4*o. Is l prime?
True
Let o(q) = 584*q**3 - 12*q + 147*q**2 - 147*q**2 + 6 - 586*q**3. Let h = -14 - -6. Is o(h) composite?
True
Let c(f) = -2*f**3 + 5*f**2 + 87*f - 27. Let g be c(12). Let v = g + 3470. Is v a composite number?
True
Let f(w) = w**3 - 6*w**2 - 23*w + 11. Let t be f(11). Let o = -96 + t. Suppose 8*r - o = 5*r. Is r composite?
False
Let b(c) = 4*c + 64. Let i be b(-15). Is (4/i - 11277)*(-5)/20 prime?
True
Suppose -n + 26*g = 23*g - 97376, 4*n - 4*g - 389480 = 0. Is n a prime number?
True
Let y = -5049 + 5054. Suppose 2*i - 5*q = 5, -2*i + 3*i = -5*q - 5. Suppose i = 5*h - 10, -y*b + 9 = h - 58. Is b composite?
False
Suppose 3*x + 106 = -4*y, -6*x = 2*y - x + 46. Let a = y - -27. Is (a - -1533)*(-11)/(-22) composite?
True
Let k(l) = -24*l - 7*l**3 + 19*l**2 + 6*l**2 + 20 - 39*l**2. Is k(-11) composite?
False
Let l = 210422 - 141867. Is l prime?
False
Let x be ((-22)/6)/((-87)/(-45) - 2). Let d = x + -51. Suppose -2*t - 2794 = -d*t. Is t a composite number?
True
Let k = 1455 + -2623. Let t = k - -35937. Is t a prime number?
False
Is 5413030*(-13)/(-169) - 6/(-78) a composite number?
False
Suppose -8*v - 3 = 5. Is (48740/(-120))/(v/6) a prime number?
True
Let s be 4/(-3)*15498/(-28). Suppose 370 = 2*l - s. Is l a composite number?
True
Suppose -2*d = -14, -2*f + 361749 = 2*d - 554039. Is f prime?
False
Suppose 5*g = 9 + 16, 2*m = -2*g + 89036. Suppose 16*u - m = -4657. Is u composite?
True
Let m = 1344724 + -896049. Suppose -38*x + 13*x + m = 0. Is x composite?
True
Let w = 4671 - 2442. Suppose 436 = 5*b + 4*h + 3398, 2348 = -4*b + 4*h. Let f = w + b. Is f a composite number?
True
Let q = 65842 - 30641. Is q prime?
True
Let m = -17769 - -434716. Is m a prime number?
True
Let i = -62559 + 89830. Is i prime?
True
Let i be (18/15)/1*-5. Let p(n) = 16*n**2 + 12*n + 7. Let l be p(i). Suppose 2*m + l - 1773 = 0. Is m composite?
False
Let x be -36*(-4 - -12)/(-16). Let y = 55 - x. Is y composite?
False
Let o(i) = 1574*i**2 - 62*i + 107. Is o(7) composite?
True
Let a(f) = -10*f**3 - 7*f**2 - 2*f + 11. Let s be 16/(-6)*(-36)/(-16). Is a(s) composite?
False
Suppose -5*s - 2*n = -905517, -5*n - 78840 = -4*s + 645567. Is s a composite number?
True
Let z(o) = -1650*o - 825. Let d(a) = 824*a + 412. Let c(f) = -7*d(f) - 3*z(f). Is c(-10) a composite number?
True
Let l be -1*((-2)/(-3))/(20/(-30)). Is (-1)/(-2) + l + (-44860)/(-40) a composite number?
False
Let s = -5261 - -5264. Let j be (-2)/5 + 4/10. Suppose s*f - 7476 = -3*z - 2850, j = z + 5*f - 1538. Is z prime?
True
Let c be (0 - 4 - -2)/(-1 - 0). Let l(h) = -1690*h - 2 + 1 + 2 + c. Is l(-1) prime?
True
Is 84/154 - 563680/(-88) a composite number?
True
Let n(l) = l**2 + 9*l - 30. Let a be n(-10). Suppose -5*y - 5*q = -40, -y - y + 13 = -q. Is (-4)/10 - (y + 2988/a) prime?
False
Suppose -74 = -4*c + 3522. Let z = -1285 + 2481. Suppose c + z = 5*r. Is r prime?
True
Suppose 0 = m + 3*p - 5, -m + 5 = -p + 6*p. Suppose -5*f + 30 = -m*n, 0*n = -f - 3*n - 10. Suppose -f*l - 2 = 0, -l + 982 + 282 = 5*x. Is x composite?
True
Suppose 4*k - 88 = 3*k + 5*l, -2*l = -4*k + 316. Let y = 80 - k. Is (y/(-4))/(4/16) - -881 composite?
True
Let k = -161 - -165. Suppose h = k*y + y + 2983, 5918 = 2*h + 2*y. Is h prime?
True
Let a = -14 + 31. Is (1/6)/(a/255306) a prime number?
True
Let m(j) be the third derivative of -j**6/120 - j**5/20 + 5*j**4/24 + 2*j**3/3 + 10*j**2 + 1. Let p be m(-4). Suppose p = -0*l - 3*l + 1497. Is l prime?
True
Let m = 54877 - 32090. Suppose -m - 57020 = -13*l. Is l a composite number?
True
Let n(m) = 38510*m**2 + 8*m + 5. Is n(-4) a prime number?
False
Suppose 77*w + 86696 = 81*w. Is w composite?
True
Let q = 273 + 105. Let s = 555 - q. Is s a composite number?
True
Let k = 27 + -51. Let m(s) = -s**3 - 25*s**2 - 24*s + 3. Let j be m(k). Is (j - -1) + (-606)/((-4)/2) a prime number?
True
Suppose -182 - 86 = -4*m. Let s(c) = -17*c**3 + 3*c**2 + 4*c + 2. Let w be s(-3). Let q = w - m. Is q composite?
False
Let r(x) = -15*x + 58. Let z be r(9). Is (-346632)/z + 2/7 composite?
True
Let z = -186733 - -364754. Is z a prime number?
True
Suppose 0 = 30*s - 32*s. Let j be (14 - 14) + (-1)/(-2)*10. Suppose s = -j*z + 2*a + 3*a + 4050, -3*z = 4*a - 2409. Is z a prime number?
False
Suppose 34*a = 