. Is c a prime number?
False
Suppose 157373 = 5*q + 22158. Is q prime?
True
Let p(y) = 33*y**2 - 5*y + 25. Let u be (0 - 36)/4*-1. Is p(u) a composite number?
True
Let o be -2*(-2424)/(-32)*(-2958)/9. Suppose -3*s + o = -n, -2*s = 5*n - n - 33186. Is s prime?
False
Let g(r) = r + 22. Suppose -6*c - 49 = 11. Let u be g(c). Let p(i) = 2*i**3 - 8*i**2 + 5. Is p(u) prime?
True
Suppose -5*x + 0*x = 0. Let p(i) = -276*i + 508. Let z be p(-4). Suppose -g - 5*h = -z, x = -2*g - h - 2*h + 3259. Is g composite?
False
Let k = -548 + 598. Is (-211351)/(-70) + (-15)/k composite?
False
Suppose 5*i = 5*a - 15, -4*a + i = -8*a + 7. Suppose x - m = 869, 10*m + 1738 = a*x + 5*m. Is x prime?
False
Let u be ((-10)/(-15))/((-16)/(-91128)). Suppose u + 3337 = 6*n. Is n a composite number?
True
Let t be 1*12596/4 + -4. Suppose 0 = 5*g - t - 4150. Is g a composite number?
False
Suppose 3*m + 5 = 5*w, -5*m + 0*m - 5*w = -45. Let g be (6 - (m + -3)) + -11. Is (-1)/(2/g - 4462/(-15666)) a composite number?
True
Suppose -3*l - 5*f = -11, -l - l + 4*f = 22. Let c = 331 + -129. Is c + (2/l)/(8/(-36)) a prime number?
False
Let q(r) = 354*r**3 - r**2 - 8*r + 10. Let h be 2/(6/15) + -2. Is q(h) composite?
True
Is ((136/(-272))/((-1)/31942*1))/1 composite?
False
Let o be (1 + (-84)/91)*13. Is o + (5779 - (8 + -7)) prime?
True
Suppose 0 = -q - 8*r + 3*r + 29, 4 = 2*r. Suppose 0 = -q*k + 2725 - 10002. Let n = 1338 + k. Is n a composite number?
True
Suppose 54*s + 198856 = 13628814 + 7357936. Is s composite?
False
Let g = -813 - -475. Let x = g + 66. Let d = 415 + x. Is d a composite number?
True
Let d(w) = -w**3 + 4*w**2 + 10*w + 10. Let k be d(5). Let j = -36 + k. Is 1503*(4 - j)/15 a prime number?
False
Let v(w) = -3*w - 265*w**3 - 7*w**2 + 266*w**3 + 3*w**2. Let s be v(5). Is 1/(4/s*2/1348) a composite number?
True
Let g(p) = -9319*p - 44. Let l be g(6). Let y = -26625 - l. Is y a prime number?
True
Let t(k) = 1776*k**2 + 3*k + 18. Let u be t(6). Is ((-8)/12)/(4/u*-3) composite?
True
Suppose -1 = s, -j + 1 = -2*s + s. Suppose 4*m = m - 2*x + 12102, 2*m - 2*x = 8078. Is j - 3/((-12)/m) composite?
False
Let l = 227892 - 123085. Is l a composite number?
True
Let p = 48654 - 27521. Is p prime?
False
Let z(y) = -y**3 - 2*y**2 + 9*y - 11. Let q = -429 - -423. Is z(q) a prime number?
True
Let f = -30667 + 73293. Is f composite?
True
Let p = -6944 - -3047. Let v = p + 14194. Is v a prime number?
False
Let v(u) = 2681*u - 232. Is v(5) a prime number?
False
Suppose -q - 4*r = -6 - 28, -5*r = -2*q + 107. Let t = 42 - q. Is (3 - 5)*278/t prime?
True
Let u(w) = 15*w**2 + 634*w + 100. Is u(-79) composite?
True
Let h(b) = 85*b**3 + 4*b**2 + 2*b - 5. Suppose -44*z + 66 + 110 = 0. Is h(z) prime?
True
Let r(x) = 6717*x - 1645. Is r(8) prime?
False
Let y(p) be the second derivative of 3602*p**4/3 + 3*p**3/2 - 3*p**2/2 + 154*p. Is y(1) composite?
True
Let c(b) = -5*b**2 + 2*b + 22. Let g be c(6). Let q = g - -541. Is q a composite number?
True
Let s(g) = g**2 - 4*g. Let j be s(-1). Suppose 0 = -7*q + 3*q + 5*h + 38952, 5*q - 48695 = j*h. Is q composite?
False
Let y = -12 + -3306. Let f = 5884 + y. Is f a prime number?
False
Let y = 328 + -324. Suppose y*w = 10172 + 4200. Is w prime?
True
Let l = -7160 - -12559. Is l composite?
False
Let i(u) = u**3 - 8*u**2 + 6*u + 21. Let b be i(7). Suppose 4*m - 3*o - 24 = 0, m + b = 3*m - 2*o. Is (m - (-5468)/(-8))/((-2)/4) a prime number?
True
Let j(z) be the first derivative of 1264*z**2 - 50*z - 21. Let q be j(-18). Is q/(-18) - (160/(-72))/10 prime?
True
Let f(q) = 3*q + 26. Let d be f(-8). Let u(z) = 794*z**3 - 5*z**2 + 5. Is u(d) composite?
False
Suppose -5*p = 4*d + 181, -2*p + 2*d - 58 = -0*p. Let q(a) = a**3 + 39*a**2 - 27*a + 26. Is q(p) prime?
True
Let l(s) = 398885*s**2 + 49*s + 51. Is l(-1) a composite number?
False
Let o(l) be the second derivative of -1375*l**3/6 - 21*l**2/2 - 40*l. Is o(-1) a composite number?
True
Let c(u) be the first derivative of u**4/4 + 8*u**3/3 - 65*u**2/2 - 29*u - 250. Is c(27) a prime number?
False
Let h be 48026/(-6) - (-2)/6. Suppose 3*y = 4*d + 17764, -4*y + 8882 = -2*d - 6*y. Let g = d - h. Is g a composite number?
True
Let f(r) = 2*r**3 + 20*r**2 + 154*r + 37. Is f(40) composite?
True
Suppose -78*c + 65*c + 26 = 0. Suppose 0 = s + c*r - 24207, 0 = -4*s + 7*r - 9*r + 96834. Is s a composite number?
True
Let j = -1974 + 1112. Is -1 + (0 - j) - 8 a prime number?
True
Let a(w) = 12*w**2 + 53*w - 1051. Is a(42) prime?
True
Let n = -168 - -170. Suppose 8*p - 10*p + 3*k = -27706, -41585 = -3*p - n*k. Is p prime?
True
Let s be (0 - (-5722)/4)*-20. Is 42/12*s/(-35) composite?
False
Let x(i) = i + 2521. Suppose 132 = 9*q - 111. Let v = q - 27. Is x(v) prime?
True
Suppose 33374 = -0*z + 2*z - 2*o, 4*z = -3*o + 66776. Suppose 5*b = 17414 + z. Is b prime?
False
Suppose 0*i = 3*i + t - 26, 2*i = -t + 17. Suppose i*y - 11732 = 5*y. Is y prime?
False
Suppose 3*m + 120 = -4*o, -15 = -o + 5*m - 45. Let x = 30 + o. Suppose -9817 = -2*v - s, x = 3*v + v - s - 19637. Is v a prime number?
True
Let p(j) = 10*j**3 - 7*j - 18*j**3 + 4*j**3 + 0*j - j**2. Let l be p(-3). Suppose -752 = -4*z - l. Is z a prime number?
False
Suppose -27*j + 7370 - 107 = 0. Suppose -7*w = -j - 4428. Is w a prime number?
False
Let s be 20/(-8)*12/(-15) + 897. Let w = s - 490. Is w composite?
False
Suppose 0 = -3*r + y + 237619, -29*r + 2*y + 237617 = -26*r. Is r composite?
True
Suppose 58*w - 63*w + 35 = 0. Suppose w*f - 6934 - 409 = 0. Is f prime?
True
Let x(i) = 4 + 1 - 1890*i**2 - 2 - 41*i + 44*i. Let w be x(-2). Is w/(-12) + (-3)/(-4) a prime number?
True
Suppose 132 = l - 2*g, 0*l + 4*l - 5*g = 534. Let q = l - 71. Suppose 2*k + q = 7*k. Is k a composite number?
False
Suppose 0 = -5*v - 2*j + 17, -5 = -34*j + 29*j. Suppose -2*k - 3*b = -181, 3*k + 4*b - v*b = 268. Is k a composite number?
False
Let o(b) = 28*b**2 + 12*b + 5 + 10*b - 21*b. Suppose 0 = 3*i - t - 32 - 4, -5*i + 2*t + 60 = 0. Is o(i) a composite number?
False
Let w(t) = t**3 + 69*t**2 - 51*t - 673. Is w(-33) a prime number?
False
Let c = 37 + -34. Suppose 2*r = -c*u + 697, -4*u - 346 = -r - 6*u. Suppose -b + 5*p = b - r, -5*p - 173 = -b. Is b a composite number?
True
Let x = -12384 - -22391. Is x composite?
False
Let c = -109089 - -159790. Is c prime?
False
Let z = 24 - -48. Let k = z - 69. Is 64/(-96) - (1 + (-710)/k) composite?
True
Is 1620174/18*(-93 - -9)/(-4) a composite number?
True
Let r = 3297 - 1765. Is r/(-6)*(0 - (-84)/(-8)) a composite number?
True
Suppose 5*x + 4*m + 1000 = 0, -3*x + m - 281 - 302 = 0. Let p = 201 - x. Is p prime?
True
Let r(a) be the second derivative of -23*a**5/20 - 17*a**4/24 + 3*a**3 + 9*a. Let x(d) be the second derivative of r(d). Is x(-5) composite?
False
Let p(d) = 6764*d**2 + 92*d + 557. Is p(-7) a prime number?
True
Let f = -29 - -32. Suppose -f*d + 612 = -882. Suppose -7*x + 2435 = -d. Is x composite?
False
Suppose 0 = w + 3*m - 12, 0 = 2*m - 7*m + 20. Suppose w = -4*o + 18318 + 29038. Is o composite?
False
Let r = -882685 - -2872258. Is r a prime number?
False
Let w = 28106 - -19983. Is w a composite number?
True
Let r = 209 - 321. Let k = r - -108. Is 2 - (-6993)/(k + 7) a composite number?
False
Suppose -m + 283 + 493 = 0. Suppose -m = 3*r + 103. Let j = r + 2332. Is j composite?
False
Let i = -382 + 385. Let x(h) = 12*h**3 - 2*h**2 + 3*h + 2. Is x(i) prime?
True
Let d = 23 - 46. Let x = d + 24. Is x/(3/9) - (-1722)/7 prime?
False
Suppose 212 = o + 2*i, -913 = 2*o - 6*o + 5*i. Suppose -2*t + o = -656. Is t a prime number?
True
Let x(r) = 43774*r**2 + 106*r - 429. Is x(4) composite?
True
Suppose -2*s = -4*l - 24, -3*s - s - 4 = 5*l. Let t = s + 11. Is 7022/14 - 1/((-35)/t) prime?
False
Suppose 146*v - 17271039 = 10746215. Is v a composite number?
False
Let u = 2654 + 3297. Is u a prime number?
False
Suppose -5*o + 291 = -74. Let r = 48 - o. Is (177 - r)*3/((-12)/(-46)) a composite number?
True
Let q be (-16 + 13)*(1 + (-11)/3). Suppose 7*d - q*d + 5*n + 1023 = 0, -n + 4 = 0. Is d a composite number?
True
Let v be 0 - 2/1 - (10 - 23). Let f = v + 0. Is (f - 0/(-1))*3 a composite number?
True
Let y(z) = -1433*z - 2848. Is y(-97) composite?
True
Let i = 69700 + -43551. Is i composite?
True
Suppose 30 = 7*n - 26. Let x(r) = r + 1 + n - 32*r**3 + 6*r