. Suppose -z + n*k = -90, -5*k + 19 = -1. Suppose 107*r - z*r - 2901 = 0. Is r a composite number?
True
Suppose 0 = 18*z - z - 51. Suppose -z*a = -o - 9329, 1602 = -5*a - o + 17145. Is a prime?
True
Let l(t) = 268*t + 72. Let b be l(16). Let h = 13997 - b. Is h prime?
False
Suppose 1565755 = 67*k - 640622. Suppose 4*q + 34 = -2*m, -3*m - 26 - 13 = 4*q. Is (-1)/((q/k)/(2/3)) a composite number?
False
Suppose -14*t + 9*t + 3*u + 131317 = 0, 5*u + 20 = 0. Is t prime?
True
Suppose 27*b - 29*b - 64475 = -3*v, -b = 2*v - 42967. Is v a composite number?
False
Let v(p) = -p - 111. Let w be v(9). Is 76*(6 + 5/(w/(-10038))) prime?
False
Suppose 33*b + 198570 = -45*b + 14207604. Is b prime?
True
Let h(f) = -f**3 - 6*f**2 + 18*f + 10. Let p be h(-8). Let c(o) = 45*o**2 + 8*o + 2. Is c(p) prime?
False
Suppose 114*y = 109*y + 51655. Is y prime?
True
Suppose 0 = d - 5*d + 8. Suppose -d*y = -5*k + 66, 3*k + y - 14 = 19. Suppose -7301 = 5*t - k*t. Is t a composite number?
True
Let r = 337 - 332. Suppose -r*q + 3*v = -7715, -2*v + v = 0. Is q prime?
True
Suppose 0 = 2*p - 5*k - 22776, 98*k = 96*k + 4. Is p a prime number?
True
Let d(z) = 2*z**3 + z**2 + 4*z - 1. Let q(w) = w**3 - 24*w**2 + 22*w + 29. Let r be q(23). Is d(r) prime?
True
Let b be (3/(-5))/(5/125). Let f(m) = -81*m + 47. Is f(b) prime?
False
Let g be 4/9*(5/10 + 4). Suppose 3424 = 2*v + j - 3*j, -g*v - 2*j + 3444 = 0. Suppose 5*x - 238 = v. Is x prime?
False
Let q(i) = 406*i + 425*i - 709*i - 43. Is q(13) a prime number?
True
Let h(s) = 84*s**2 + 44*s + 321. Is h(-35) composite?
False
Let p(b) = -b**2 - 6*b + 19. Let z be p(-8). Suppose 32 = -z*w + 407. Suppose 4*l = 5*t + 3752, -5*t - 1048 + w = -l. Is l prime?
False
Let u = -1584 + 5793. Let y = 6772 - u. Suppose -y = -0*d - d. Is d a prime number?
False
Let o(p) = -p**2 - 25*p - 112. Let x be o(-6). Suppose q = -x*y + 3115, 2*y + 13 = 19. Is q prime?
True
Let h be (-19)/(114/(-36)) + 5529. Is (1 - h/(-6))*(3 + -1) a prime number?
True
Let c = 427837 - 213396. Is c a prime number?
False
Let b be (6/3)/((-4)/(-6)). Suppose 5 + b = 4*i. Suppose -4*q = 2*m - 1866, -4*m + i*q = -2*q - 3768. Is m prime?
False
Let j(t) = 449*t**2 + 10*t + 539. Is j(24) a prime number?
False
Let y(q) = 2*q + 6. Let b be y(-1). Suppose 0 = -b*g + 29*g - 129275. Is g a prime number?
True
Is 2 - (3 + -656213) - (-164 - -155) composite?
False
Let r = -75 + 288. Suppose -2*b - 3*q = -153, -b - 2*b + q = -r. Suppose 0 = -b*j + 69*j + 1977. Is j a prime number?
True
Let q(t) = -1397 - t**2 + 365 - 605 + 2*t + 0*t**2. Let p be q(0). Let z = 512 - p. Is z composite?
True
Suppose 4*p = 2*s + 8, -p + 3*s - 16 = -2*s. Suppose -h - 5*c + 3*c = 3, 4*c = -p*h. Suppose 2*q - 25 = -t, 0 = -h*q + 7*q - 2*t - 62. Is q composite?
True
Let t(x) = 6 - 2*x**2 + 5 + 49*x**3 - 2*x + 10 - 24. Let i be t(3). Let z = i - -361. Is z prime?
True
Suppose 22 = 3*w - 5*i, 0 = 4*i - 5*i - 2. Is 6326*w/16*(4 + -2) a prime number?
True
Suppose -p = 2*h - 4, -2*h + p = -2*p + 12. Suppose h = 6*n - 4938 + 618. Let d = n + 47. Is d a composite number?
True
Let i = -233 - -215. Is ((-15018)/(-4))/(i/(-12)) prime?
True
Let k = -286 + 168. Let v = k - -118. Is 1181*(v - 2/(-2)) a prime number?
True
Let y = -34 - -34. Suppose -3*a + 19 = b - y*b, 5*b = -4*a + 40. Suppose a*c - 1969 = 4*f, 6*c + 4*f = c + 2001. Is c prime?
True
Let j be -4*(-3)/9 - (-10)/6. Suppose -j*g = 2*z - 1242 - 250, -3*z - 5*g = -2239. Is z composite?
False
Is ((-178)/890)/(3/5)*-1359807 prime?
True
Suppose -q = 4*p - 7709, 3*p = -3*q + 4988 + 18139. Suppose -3*j - q = -109088. Is j prime?
False
Let p be 32/(-40)*75/2. Let s = 31 + p. Let f(q) = 1364*q**2 - 4*q + 1. Is f(s) a prime number?
True
Let f(t) = 1 + 3 - 18*t + 71*t - 1. Let c be f(4). Suppose 0*d + 4*d = 2*b - 438, d = b - c. Is b composite?
False
Suppose g - 4*g + f = -15, 0 = -3*g + 4*f + 24. Suppose m = -3*s - g*m + 1971, 3*m = -9. Is s prime?
False
Let b(x) = 9*x**2 + 1392*x - 93. Is b(66) prime?
False
Suppose 59 = 5*o + 54. Let y be 9/3 + o + 1. Suppose -2*w = -y*w + 4965. Is w a prime number?
False
Suppose -8*w + 13684 = 14*w. Suppose i - 115 = w. Is i a composite number?
True
Suppose -6498 = 11*d + 5*d + 22*d. Suppose 5*c - 1793 = 1457. Let o = c + d. Is o a composite number?
False
Let h be ((-5)/(10/(-4)))/(7/(-98)). Let o be 3 + 52018/(-14) + 12/h. Let j = -1276 - o. Is j a prime number?
True
Suppose -20*s + 3900572 = 32*s. Is s a composite number?
False
Let i = -1202014 - -2595845. Is i a prime number?
True
Let p(r) = 3*r - 114. Let z be p(40). Suppose -z*q + 4831 = -8159. Is q a prime number?
False
Is (5683681/(-174)*-6)/(2 - 1) prime?
False
Suppose 4*b = r - 63221, -945*b + 940*b + 126364 = 2*r. Is r composite?
False
Let x(l) = -l**3 - 7*l**2 - 6*l - 2. Let f be x(-6). Let h be (-99433)/102 + f/12. Let d = 1466 + h. Is d prime?
True
Let a(f) = 3285*f + 1892. Is a(27) prime?
False
Let m(d) = 132*d + 2. Let r be m(-12). Suppose 0 = -4*z - 2*v - 2606, -6*z + 3*z + 4*v - 1927 = 0. Let t = z - r. Is t composite?
True
Let f(d) = 250*d + 1. Let a(z) = z**3 + 4*z**2 - 7*z - 6. Let o be a(-5). Let n = o - 3. Is f(n) prime?
True
Let h(a) = -10*a**2 - 11*a + 7. Let w be h(-9). Let u be (5 - 2)/(39/11141). Let z = u - w. Is z a composite number?
True
Let l(v) = 120*v**2 + 130*v - 1397. Is l(-47) prime?
False
Suppose -93*b + 99*b - 42 = 0. Let w(f) = 462*f + 117. Is w(b) composite?
True
Suppose r - 57137 = -3*n, 39*n = 44*n + 20. Is r a composite number?
False
Suppose -241*q + 58*q = 47*q - 1699010. Is q a prime number?
False
Let t(a) = a + 3. Let v be t(6). Let q be (-12)/(-4) - (v + -1). Let s(r) = 18*r**2 - r - 1. Is s(q) a composite number?
True
Let h be (-21)/(-2)*34/51. Suppose 10*p - 2*d - 767 = h*p, 0 = 4*p - 5*d - 1018. Is p a prime number?
True
Let t = -31814 + 44847. Suppose -243*c + 244*c = t. Is c a prime number?
True
Let u(a) = 9562*a + 6 + 3 - 10 - 2 + 0. Is u(2) a composite number?
False
Let j = -24854 - -38961. Is j a composite number?
False
Suppose -17*b = -34 - 34. Is b - ((-31997)/7 - -2) prime?
False
Suppose c - 3306 = -r, 117*r - 114*r - 16528 = -5*c. Is c composite?
True
Let w = 882066 + -604643. Is w prime?
False
Suppose 20 = -3*r + 5*i, 2*i = -0*r - 2*r + 8. Suppose r = -3*q + 5*b + 6876, 2*b - 2281 = -q - 0*q. Suppose 2*v - q = v. Is v a prime number?
True
Let x = 83 + -66. Suppose -5*c + 60 = -x*c. Let w(a) = -290*a - 45. Is w(c) a composite number?
True
Is 278690 - (13 + -14)*-11 composite?
True
Let o = -49 - -58. Let i = 13 - o. Suppose i*d - 106 = 2*d. Is d prime?
True
Let b(t) be the first derivative of -25*t**2 - 33*t - 39. Is b(-16) a prime number?
False
Let o be (-11)/8 + 1 + 9/24. Let k(p) = 4*p + 19679. Is k(o) a composite number?
True
Let n(t) = t**3 - 5*t**2 - t - 24. Let y be n(7). Suppose u - 4*q = y, 113 = 5*u - 3*q - 239. Is u prime?
True
Suppose -3*p + p - 3 = -b, 3*b = 3*p + 9. Suppose p = -31*r + 29*r + 1166. Is r prime?
False
Suppose 12*r = 277312 - 73036. Is r composite?
True
Suppose -5*k + 34 = 3*i, k - 5 - 3 = -i. Suppose -16326 = -6*g - i*g. Is g composite?
True
Suppose 157*h - 25895721 = 38904302. Is h a prime number?
True
Let o be (4/(-5))/(2 + (-64)/30). Let t be -2*((-8)/o + 1/(-6)). Is ((4 - 1) + t - 3) + 344 a prime number?
True
Let f(q) = 280*q - 16. Let y be f(-21). Let m = 3754 - y. Is 4/6 + m/15 + 5 a composite number?
True
Let w(x) be the second derivative of -347*x**5/20 - x**4/6 - 8*x**3/3 - 5*x**2/2 + 35*x. Is w(-4) a prime number?
False
Let l(m) = -271*m + 84. Let i(f) = -54*f + 17. Let y(u) = -11*i(u) + 2*l(u). Let q(o) = 4*o**2 - 11*o + 5. Let z be q(3). Is y(z) composite?
False
Let t = -7905 - -88. Is (-2)/(13/26*4/t) a prime number?
True
Is (-8)/(-6) - (-5 - (-5778422)/(-39)) composite?
False
Let u be (-1 - (-5)/10)*-8. Is ((-94216)/6)/u*-9 prime?
False
Suppose 5*y + 2*y = 0. Suppose -2*z + y*z = 6. Is (5 + z)*(-141)/(-6) a prime number?
True
Let n = 4676651 - 2534085. Is n a prime number?
False
Suppose z + 3*z - 28 = 0. Let m(o) be the second derivative of 7*o**3 + 13*o**2/2 + 186*o. Is m(z) a composite number?
False
Let r = -73562 - -113985. Is r composite?
False
Let w(q) = -q**3 - 25*q**2 + 57*q - 32. Suppose 5*g + 178 = -4*i + 3*i, -50 = g + 5*i. Is w(g) prime?
True
Suppose 0 = -58*p - 121460 + 733882. 