. Suppose d - 5*d = g - 28, 0 = -2*d + f*g. Suppose -d*z = -9*z + 111. Is z a prime number?
True
Suppose 13*z + 34 = 502. Suppose -13118 = -z*g + 22*g. Is g a composite number?
False
Let u = 3181 + -1906. Suppose 2*v = -3*x + 4975, v = -4*x + u + 5355. Is x prime?
True
Suppose 0 = -z - 7*z + 13560. Suppose 2*o = 5*o - z. Is o a prime number?
False
Suppose 13*y - 2235850 = -37*y. Is y a prime number?
False
Let d(b) = -b**2 - 3*b + 72. Let a be d(-10). Suppose -5*g + 0*g + 13730 = 5*l, 3*g - a*l = 8213. Is g prime?
True
Suppose -10 = -5*g + f, g + 14 + 8 = 5*f. Suppose x = 4*j + g*x - 6614, -5*j = -4*x - 8235. Is j prime?
False
Suppose -f + 5299 + 1393 = 0. Let x = -2609 + f. Suppose -3*d + x - 634 = 4*k, 4*d + 5*k - 4599 = 0. Is d prime?
True
Let c(z) be the second derivative of 989*z**4/12 - 4*z**3/3 + 3*z**2/2 - 12*z + 2. Is c(2) prime?
True
Let i = -12 - -15. Let q(m) = 48*m + 4. Let o be q(i). Let k = o - -223. Is k a prime number?
False
Let y(v) = 0*v**2 + 23*v - 3 - 23*v + 156*v**3 - 8 - 2*v**2. Is y(4) a composite number?
False
Let c(p) be the third derivative of 299*p**6/120 + p**5/20 - 23*p**4/24 + 7*p**3/6 - 186*p**2. Is c(3) composite?
True
Suppose 131*t - 127*t = 3640684. Is t composite?
False
Let w = -436 + 765. Let r = w + 103. Suppose -2*f - 2*a = -3*a - r, 0 = 5*f + 5*a - 1095. Is f a composite number?
True
Let n(i) = 2186*i**2 + 26*i + 50. Let j be n(-8). Is (j/3)/((-52)/(-26)) prime?
True
Let v(z) = 226*z**2 - 47*z - 133. Is v(-3) composite?
True
Suppose -149363 = -2*t + d, -208206 - 165197 = -5*t + 4*d. Suppose -12*z + t = -881. Is z a composite number?
True
Is (-12595840)/(-256)*3*(-2)/(-15) a composite number?
False
Let f be (3 - 0)/(6/836). Let d be 46/138 - (-4150)/6. Suppose 0*s - f = -3*v + s, 0 = 5*v + 3*s - d. Is v composite?
False
Suppose 15*c - 13*c = -16. Is 4/((-16)/8882)*16/c a composite number?
False
Let h(l) be the first derivative of 3*l**3 - l**2 - 16*l - 8. Let a(j) = j**2 - 1. Let x(o) = -3*a(o) + h(o). Is x(7) a prime number?
False
Let b(m) = -10 + 18 + 10*m + 16 - 11*m**2 - 3*m. Let k be b(-5). Is -3 - 30/(-5) - k a composite number?
True
Let x = -73 + 77. Let v(k) = 15*k**3 - 2*k**2 + 9*k - 9. Is v(x) prime?
False
Let s = -28 + 30. Suppose 2*r + 7 = s*t - 11, -24 = -t - 2*r. Let j(c) = 2*c**3 - 19*c**2 - 9*c - 1. Is j(t) a prime number?
True
Suppose 226*c - 28926716 + 14888632 = 126439674. Is c a composite number?
False
Let q = -115 - -118. Is (18/(-12))/(q/(-268)) a composite number?
True
Let d = -782 + 777. Let g(c) = -9631*c - 138. Is g(d) composite?
False
Let u = -5954 - -10051. Is u prime?
False
Let f = 1307152 - 837725. Is f prime?
False
Suppose 0 = -67*u + 75*u + 54648. Let x = u - -16430. Is x a prime number?
False
Let p(i) = 46*i**2 + 153*i + 994. Is p(55) composite?
True
Let l = 343 - -4121. Let b = l - 1031. Is b a composite number?
False
Let j = -34 - -34. Suppose 2*q - 2 = -j*k + 3*k, 0 = 2*q - 5*k + 2. Suppose -583 = -q*n - 51. Is n prime?
False
Let t(p) = -1336*p**3 + p**2 - 11*p - 17. Let z be t(-2). Let m = z + -7456. Is m a prime number?
False
Suppose 4*m - 6*m - 4 = -2*z, 2*m = 2. Suppose z*y - 4372 = 4406. Let l = y - 857. Is l prime?
True
Let i be (-1184)/10 + 2/5. Let f = i - -116. Is 1055/f*(1 + 1)/(-1) composite?
True
Let j be 1477/1*(-1 + (6 - 4)). Let o = -570 + j. Is o a prime number?
True
Let a(t) = -t**3 - 2*t**2 + 4*t - 2. Let w be a(-4). Suppose 7*o = w + 14. Suppose 0 = -u - 4*r + 1693, 0 = 8*u - 3*u - o*r - 8417. Is u prime?
False
Suppose -2 = j, 3*j + 0*j + 2 = -2*y. Suppose -2*f + 6762 = 2*h, -y*h = -5*f + 2800 - 9534. Is h a prime number?
False
Let j(c) = -c**3 + 7*c**2 - 7*c - 10. Let z be j(5). Suppose z*b - b - 7836 = 0. Is b a prime number?
False
Suppose 19*s + 55 = 24*s. Is -4*(10 - s)*(-7309)/(-4) a prime number?
True
Let b(w) = -9840*w**3 + w**2 - 3*w - 3. Let a be (-2)/(-7 + 4 + 5). Is b(a) a prime number?
False
Suppose -28*z + 1618282 + 9213546 = 0. Is z a composite number?
False
Suppose -5*l = -7*j + 4*j - 32, 2*j + 4*l + 14 = 0. Let u = j - -67. Is u prime?
False
Let a = 62 + -38. Suppose 5*v - v - a = 0. Suppose -3*j + 3*s = v*s - 2154, -2*s = -3*j + 2149. Is j prime?
False
Suppose -14 = -4*k - n, -8 = -8*n + 4*n. Suppose 0 = -k*d - 3*h + 20439, -9*h + 7*h - 13630 = -2*d. Is d a composite number?
True
Let d = 274242 - 105485. Is d prime?
False
Is 72/6 + 29882 + 9 a composite number?
True
Is (-4 + (-3044216)/(-48))*(-36)/(-6) composite?
False
Let w = 41615 - 9306. Is w prime?
True
Let b = -17396 + 34213. Is b composite?
True
Let d(w) = -69*w - 23. Suppose 4*a - 12*a + 32 = 0. Suppose a*b = 4*u - 40, -2*b - 4*u - 8 = -3*u. Is d(b) prime?
False
Suppose 5*b = -32 - 43. Let c(n) = -4*n**3 - 2*n**2 - 3*n + 18. Let p(o) = -3*o**3 + o**2 - 4*o + 17. Let a(l) = 4*c(l) - 5*p(l). Is a(b) composite?
False
Suppose 5*x = 2*c + 28, -4*x = x - 3*c - 32. Suppose -x*w = -3*f - 223, -20 - 69 = f - 5*w. Let s = f + 280. Is s a prime number?
True
Let b = 5745 + -3836. Let y = -216 + b. Is y a composite number?
False
Let g(h) = 84629*h**3 + 15*h**2 - 17*h + 2. Is g(1) a prime number?
True
Is 1*(5 - (-33)/(-6))*-15278 a composite number?
False
Let l(d) = d**3 - 9*d**2 + 7*d - 8. Let g be l(11). Let v = 613 - g. Let q = 33 + v. Is q composite?
True
Let y(b) = 37*b**3 - 10*b**2 + 6*b - 1. Let i be y(5). Suppose -4*z + 18509 - i = 3*w, 5*w + 10586 = 3*z. Is z a prime number?
True
Let w = 3341 - -4232. Is w a composite number?
False
Let x be 12129/234 - 2/(-12). Suppose -6771 = -55*q + x*q. Is q a composite number?
True
Suppose -4*r = 4*y - 1512, -8*r - 6 = -6*r. Is y composite?
True
Is 4609464/96 - ((-2)/(-5) - (-301)/(-140)) a composite number?
False
Suppose 55*a = 330*a - 1506495925. Is a a prime number?
True
Let g(s) = -455068*s - 563. Is g(-3) composite?
True
Let b(u) = 33*u**2 + 19*u + 147. Let r be b(25). Let n = r + -11280. Is n a composite number?
False
Let z(u) = 3*u**3 - 9*u**2 + 17*u - 7. Let t be z(8). Let d = 16 + -8. Is 4/(d/(-2)) + t + -1 a composite number?
False
Let u(t) be the first derivative of 631*t**2/2 - 3*t + 88. Is u(2) a composite number?
False
Suppose 13*x - 6*x + 42 = 0. Let o be ((-40)/30)/(4/x). Suppose -5*y = -2*u + 840, -12*u + o*y = -9*u - 1249. Is u a composite number?
True
Let f(p) = -2*p**2 - 27*p - 29. Let s be f(-13). Let q(t) = -t**3 - 18*t**2 - 46*t - 39. Is q(s) prime?
False
Is ((-1)/4 - 2/(-8)) + -375 + 96524 prime?
True
Suppose -233*r + 235*r = 3*z + 618422, 5*r = 5*z + 1546075. Is r a composite number?
False
Let u = -6592 + 12833. Is u a composite number?
True
Let h be ((-11)/(33/10326))/(-2). Let a = 187 - 859. Let p = a + h. Is p a composite number?
False
Suppose -2*g - 4 = 2, g = -j - 1. Let i be (4 - 6)*(-228)/304*(-8)/(-3). Suppose 0 = j*q - 4*a - 1294, -i*a - 4 = -5*a. Is q a prime number?
False
Suppose -3*q + 4*n = -7*q - 16, q + 2*n = -2. Let v(f) be the third derivative of -4*f**4 + 5*f**3/6 + 2*f**2. Is v(q) a prime number?
False
Suppose 135275 = 3*p + 2*n - 3*n, -2*p + 4*n + 90190 = 0. Suppose -1123 + 28176 = 3*g + v, -5*g = v - p. Is g a composite number?
True
Suppose -9*v + 18 + 27 = 0. Suppose 7 = v*z + 17. Is z + 69/(-6)*50*-1 prime?
False
Suppose 3*b - b - 123 = 3*m, 0 = 5*m - 25. Let v = 988 - b. Is v a composite number?
False
Suppose l + 77 - 67 = 0. Is 1800 + l/(-2)*9/(-9) prime?
False
Let d(l) be the first derivative of 41*l**3/3 + 27*l**2/2 + 125*l - 32. Is d(-11) prime?
True
Let i(t) = -32*t + 3397. Let q(c) = -c - 3. Let p(k) = i(k) + 4*q(k). Is p(0) composite?
True
Suppose 8*o + 10 = 10*o. Suppose -20 = -o*f - 0*f. Suppose -67 = 3*a - f*a. Is a a composite number?
False
Let d be 36/(-28) + (-4)/(-14) + 22295. Let m be d/(-10) + (26/(-10) - -2). Is 15/(-5) - m/5 composite?
False
Suppose 18*p - 114 = 21*p. Let u = 161 - p. Is u a composite number?
False
Let c(t) = -7*t**2 + 33*t**2 + 75*t + 54 - 53 + 27*t**2. Is c(-12) prime?
True
Let l(g) = 8*g**2 - 10*g - 113. Let i = -349 - -327. Is l(i) composite?
True
Suppose -y + 23 = p, 6*p - 7*p - 3*y + 31 = 0. Let o(l) = 4*l**2 + 24*l - 101. Is o(p) composite?
True
Suppose 5*f - 4*r = -3*r + 40, 3*r = -15. Suppose -2*q = -4*n + 4, -f*n + 3*q = -3*n - 4. Is n*(0 - 298/(-2)) composite?
False
Let y = -27 + 25. Let t(b) = -137*b**3 - 6*b**2 - 5*b - 3. Let v be t(y). Let l = 