, 5*z + 4*m - 14320 = -789. Is z a prime number?
True
Let s be (-9*(-3)/18)/((-12)/(-1376)). Suppose -399 = -g + s. Is g a prime number?
True
Suppose -4*a = -o + 521136, 2*o - 3*a - 892743 = 149539. Suppose -24*q - 107888 = -o. Is q prime?
False
Suppose -v + 607 = 63. Suppose h - v = -3*n, -h + 2*n = -0*h - 539. Is h composite?
False
Let k be -15*8/(-40) - (-86454)/2. Let i = k - 24963. Is i prime?
False
Is (4 - (-8 - -6)) + -4 + 678653 composite?
True
Let b = -188 + 201. Let r(a) = 96*a + 151. Is r(b) prime?
True
Let a(n) = n**3 - 13*n**2 - 2*n + 26. Let o be a(13). Suppose o = 4*u - 7*f + 2*f - 774, -2 = f. Is u a composite number?
False
Let k = -32718 - -82295. Is k composite?
True
Suppose x + 446819 = 5*r, 38*x - 43*x + 357432 = 4*r. Is r a composite number?
False
Let t be (57/95)/(2/(-110)). Let y = t - -48. Suppose 3*q = y, 5*l - q - 1545 = -3*q. Is l prime?
True
Suppose 12*c = 2*c. Suppose -5*g + 15136 = 2*z, 4*z - 30282 = -c*z - 5*g. Is z composite?
False
Let d be (0 - 1)*(120 - 16). Let i = d - -1191. Is i a composite number?
False
Let c = -3 + 5. Suppose 6*w = -15 + 945. Suppose -c*x + w = 3*x. Is x composite?
False
Suppose 0 = 5*p - p. Let c(w) = 459 - 3*w + 4*w + 105 + 291 + 428. Is c(p) composite?
False
Let l(a) = -18*a**3 - 6*a**2 + 7*a - 20. Let m(s) = -53*s**3 - 17*s**2 + 21*s - 61. Let p(i) = 8*l(i) - 3*m(i). Is p(10) prime?
False
Suppose t = 3*y + 36832, 5*t + 11*y - 12*y = 184132. Is t prime?
False
Let g = 154873 + -77834. Suppose -g = -3*z - 2*s, -28*z + 4*s = -31*z + 77041. Is z prime?
True
Let h be 39 + -1 + -2 + -4. Let m(r) = 2*r**2 - 51*r + 149. Is m(h) a prime number?
False
Let n(g) = 55303*g - 5. Let p be n(3). Is p/112 - (-6)/(-21) prime?
True
Is (-3 - (-1380741)/30 - 1) + (-6)/(-20) composite?
False
Let x be 1235283/18 + 8 - 1/(-6). Is (x/14 + -6)/(4/8) a composite number?
True
Suppose -3*v - 83865 = c - 208049, 2*v - c = 82786. Suppose 17*d - v = 48349. Is d composite?
False
Let r = 167178 - 54437. Is r a composite number?
False
Let z be (-28)/42 - ((-26)/(-3))/(-1). Suppose 0 = z*a - 9872 - 8936. Is a prime?
True
Let z = -108516 + 173353. Is z composite?
True
Let u be (2 + 0)*-1*-4. Let h(p) be the second derivative of 13*p**4/4 + 7*p**2/2 - 15*p. Is h(u) composite?
False
Let n = -1109 - 1104. Is (-2)/(4428/n - -2) a prime number?
True
Suppose 3*c = -p + 8*c + 112797, 4*c - 225566 = -2*p. Is p composite?
False
Is 17498100/748 - (8 - 2)*6/198 a prime number?
False
Let m = -1923104 + 3959917. Is m prime?
False
Let f(v) be the first derivative of -8*v**2 - 95*v - 4*v**2 - 3 + 96*v. Is f(-4) prime?
True
Let v = 833 - 835. Is 8 - 13 - (v + -1 + -2779) composite?
False
Let m be 1008/39 - (-12)/78. Suppose -m = 3*y + 4. Is 1 - -6 - (y/(-5))/2 a prime number?
False
Suppose 2*c - 1120 = q + 397, -3*c = -4*q - 2288. Suppose -3*m + c = -681. Is m composite?
False
Suppose 276681 = -2*t + 2*c + 1146347, -6 = 3*c. Is t composite?
False
Let k = -27984 - -50273. Is k composite?
True
Let t = 3344 + -3341. Let v = -8 - -13. Suppose 2*g - 366 = -b + g, v*g + 1138 = t*b. Is b a composite number?
True
Let y(v) = -v + 8. Let d be y(8). Suppose 0 = -6*t - 587 + 11915. Suppose -2*i = c - d*c - 946, -4*i + t = c. Is i composite?
True
Suppose -38*j + 65 = -25*j. Suppose 4*x = j*a - 1121, a + 7*x - 209 = 4*x. Is a a prime number?
False
Suppose 995*v - 10153032 = 971*v. Is v prime?
True
Let r = 75868 - 21027. Is r composite?
True
Suppose -9581 = -3*h + 4*p + 12199, -p = -3. Suppose 7*w - 4237 - h = 0. Is w prime?
False
Let s(l) = 2*l**3 - 28*l**2 + 21*l - 791. Is s(18) a composite number?
False
Suppose -53*i = -48*i - 139840. Let x = i + 1155. Is x a composite number?
False
Suppose -8*f - 10069 + 44725 = 0. Let d = -2431 + f. Is d a prime number?
True
Let y be (8 + -10)/(1/5). Let c(v) = v**3 + 16*v**2 + 28*v + 15. Is c(y) composite?
True
Let r(d) = -2*d**3 - 87*d**2 + 57*d + 105. Is r(-47) a prime number?
True
Suppose 0 = -52*p - 31*p + 390349. Is p a prime number?
True
Let o be -4 + -8*(-9)/12. Suppose 0 = -7*k + 4*k + a + 70199, -o*k + 46810 = -6*a. Is k prime?
True
Let j = -136931 + 362212. Is j composite?
True
Suppose -4*r = -15 + 3. Suppose -12494 = -5*o + r*j, -4*o + 9997 = -0*o - 3*j. Is o a prime number?
False
Suppose -53*t + 16*t = -3000478. Is (8 + (-105)/14)*t a prime number?
False
Suppose -5*u + 3*o - 9138 = -26375, 3*o = -5*u + 17213. Is u + ((-52)/(-14) - (-4)/14) a composite number?
False
Suppose -74 = -23*x - 5. Suppose w = -x*c + 1620, 202 = -3*c + 2*w + 1831. Is c a prime number?
True
Let y(b) = 144*b**2 - 63*b + 907. Is y(12) prime?
True
Let f = -94237 + 337526. Is f a prime number?
False
Let d = -956 + 1923. Suppose -p + 3*p = 0, -4*p = m - d. Is m a prime number?
True
Suppose 2*o - 20 = -3*o. Suppose 455 = o*r - 633. Suppose -r = -10*n + 58. Is n composite?
True
Suppose 4*w - 62 - 6 = 0. Let p(q) = 523*q - 3. Let m(s) = 174*s - 1. Let c(y) = w*m(y) - 6*p(y). Is c(-3) a composite number?
False
Suppose w = -2*p + 78, -2*p + 102 = 2*w - 7*w. Suppose p*d = -10*d + 3315. Is d a prime number?
False
Let a be (2 - -2) + 2/2. Let i(q) = 6*q**3 - 40*q**3 + 3 + 4 + 5*q + a*q**2. Is i(-3) composite?
True
Let d(z) = -4*z + 4. Let q(j) = j - 2. Let l(c) = d(c) + 3*q(c). Let u be l(-4). Suppose -1077 = -u*t - r, t - r - 510 = 27. Is t prime?
False
Suppose -3*w = -h - 9*w + 258241, 2*h - 516524 = -5*w. Is h a composite number?
False
Suppose 3*n = -5*b + 123468, -26*n - 123492 = -29*n + 3*b. Is n a prime number?
True
Let l(b) = 97*b**2 - 94*b + 1032. Is l(11) composite?
True
Suppose 4*w + 5*v = -3 - 5, 3*v + 9 = -w. Is (295/w)/(((-35)/(-7))/15) prime?
False
Let d = 123 - 76. Suppose 42*g = d*g - 25. Suppose -2*k = -0*k + g*c - 1157, 4*k = c + 2369. Is k prime?
False
Let a = -10500 - -24139. Is a a prime number?
False
Suppose -28054 = -8*o - 1030. Let z = -493 + o. Is z a prime number?
False
Let v(f) = 212*f**2 + 166*f + 73. Is v(38) composite?
False
Let n = -34 - -36. Let g(c) = c + 2. Let b be g(n). Suppose b*s + 345 = 1621. Is s composite?
True
Let w(d) = 1072*d**2 - 7*d + 1. Let k be w(5). Suppose -17*h - k = -139289. Is h a prime number?
True
Suppose -r + 920 = n - 2215, -3*r - 5*n = -9401. Is r composite?
False
Let z(k) = k**2 + 15*k - 4. Let r be z(-16). Let i(h) = 5*h - 17. Let t be i(r). Suppose -f + 250 = -t. Is f prime?
True
Suppose 4*n - 5*b = 2062 - 701, -5*b = -n + 344. Let h = n + -1209. Let x = -229 - h. Is x prime?
True
Let m(x) = -382*x + 125. Is m(-66) composite?
True
Let r(a) = -a**2 + 15*a - a**2 + 3 + a**2 - 10*a. Let c be r(5). Suppose c*f + 98 = 2*s, -2*f + 8 - 196 = -4*s. Is s prime?
False
Suppose -2*o = 2*b - 12, -b = 30*o - 25*o + 10. Let d(y) = -92*y + 17. Let w(r) = -92*r + 16. Let q(l) = 3*d(l) - 4*w(l). Is q(b) a composite number?
False
Let g = -8358 + 37810. Suppose -125401 = -9*k - g. Is k a prime number?
False
Is (3 + 13319)*(405/(-18))/(-9) a prime number?
False
Let f(a) = -39*a**3 + 2*a**2 - a - 3. Let g(i) be the second derivative of -i**4/12 + 4*i**3/3 - i**2 + 27*i. Let l be g(8). Is f(l) prime?
False
Let t(g) = 101*g**3 - 44*g**2 + 22*g - 2. Is t(5) a composite number?
False
Suppose 4*a + 4*c = 40, 3*a - 3*c = -0*c + 42. Let k(l) = l**2 - 11*l - 12. Let s be k(a). Is 885/3 - s - 0 a prime number?
False
Let u(r) be the second derivative of 10*r**5/3 + r**4/12 + r**3/6 + 21*r**2 - 19*r. Let l(j) be the first derivative of u(j). Is l(-1) a composite number?
False
Let a(p) = 1112*p**2 + 21*p - 64. Is a(3) prime?
True
Let g = 589 + -580. Let i(w) = 225*w - 6. Is i(g) a composite number?
True
Let o be ((-8)/(-6))/(28/(-588)). Is (-2)/(o/2) + (-1084)/(-7) a prime number?
False
Suppose -4*f + 130002 = 5*l, 4*l + 8*f = 4*f + 104000. Is l prime?
False
Suppose -14*v = -10*v + b + 25, -5 = b. Is (-1*v/(-15))/(4/(-43644)) a prime number?
True
Let a be (0 - -3 - 6) + (-48)/3. Let l = -18 - a. Is 15 - 14 - -1*l*46 prime?
True
Suppose -2*x + 3*z = 9820, x - 3*z + 0*z + 4910 = 0. Suppose 3*g + 0 = -9, 13 = -2*k - 3*g. Is x/(-10)*(-1 - k) a composite number?
False
Let x = 178 + -176. Suppose -3*w + 15 = 0, 5*l + x*w - 66862 - 643 = 0. Is l composite?
False
Suppose 3*z + 2 = -4, 0 = v - z - 2. Let t = 0 - -2. Suppose v = -s - 5*w - 222 + 1226, t*s - 1948 = 2*w. Is s composite?
True
Let d = -7 - -37. Suppose 4*s