*s - 1197. Is s a prime number?
True
Let t(p) = 61*p - 30. Let s be (8 - 4)*(2 - 9/12). Let o(w) = 62*w - 31. Let k(r) = s*o(r) - 4*t(r). Is k(9) composite?
True
Suppose -4*r + 121 = -231. Let n(i) = 125*i - 4*i + r*i + 87*i + 1. Is n(5) a prime number?
True
Let n be 60/(-16) + 4 - (-1)/(-4). Is 1031 + 2 + (0 - 2) + n a prime number?
True
Suppose -15*q + 5901 = -1569. Let k = q + -159. Is k prime?
False
Suppose -4*y - 4*w + 585948 = 0, -10*w + 6*w - 732417 = -5*y. Is y prime?
False
Suppose -64141112 = 116*w - 206688292. Is w composite?
True
Let s = 1154736 - -232127. Is s composite?
False
Suppose -d + 96 = -5*d. Let f = d + 19. Is (f + 4)/(-1)*377 prime?
False
Let q = 5336 - 1597. Is q prime?
True
Suppose v - 224709 = -30*r + 29*r, -r = -3*v + 674135. Is v a composite number?
False
Let d(l) = 14*l + 9. Let r be d(1). Let h(t) = 8*t**2 + 28*t + 55. Is h(r) a composite number?
False
Suppose -a + 702 - 24 = 0. Is (-10)/(-1 - -3)*(-5 - a) prime?
False
Let s = -31131 - -434888. Is s a composite number?
False
Suppose 86917 = 3*y - f, 8*y - 3*y - 144863 = f. Suppose -22*q + 15*q + y = 0. Is q prime?
True
Suppose -4*u + 14 = -c, -2*c + 6 = u - 2. Is u*(-2)/(-16)*16138 a composite number?
False
Let h(s) = -s**2 - 43*s - 114. Let o be h(-40). Suppose 9998 = -4*w + o*w. Is w a composite number?
False
Let c(y) = 478*y**3 - y**2 + 2*y. Suppose 0 = 5*u + 2*i - 109 - 162, -2*u + i + 103 = 0. Let r = u + -52. Is c(r) a prime number?
True
Suppose 33*u - 228670 = 285767. Suppose g - u = 4*v, 4*g - 62291 = -0*g + 3*v. Is g a composite number?
False
Let t(l) = -22343*l**2 + 2*l - 3. Let g be t(1). Let y = g - -34165. Is y a prime number?
True
Suppose -3*v - 5 = -2*v, o + 5*v = 676. Suppose -3*b + 4*h + 2605 = 0, -b + o = -h - 166. Is b a composite number?
False
Let p(a) = -254*a + 4. Let i be p(-3). Suppose 4*b + b = -2*b + 11417. Let h = b - i. Is h a composite number?
True
Let y = 49 + -43. Let n be ((-2092)/y)/((-6)/9). Suppose 3*m - n = 230. Is m a prime number?
True
Let d be (14 - 1)/(53433/6678 - 8). Suppose 0 = n + 3*f - d, 33*f - 38601 = -4*n + 38*f. Is n a prime number?
True
Let y be 2*14 - (13 + -8). Let f(m) = 12*m**2 + 60*m - 86. Is f(y) a composite number?
True
Suppose 2422 = 14*r + 798. Suppose r*d - 127*d = -57827. Is d a prime number?
False
Suppose -22*h - 557854 = -1833084. Is h a prime number?
False
Is 6386304/144 - 20/(-12) a composite number?
False
Suppose 5*o = 4*j - 20919, -3*o - 12548 = -33*j + 34*j. Let v = o + 11222. Is v prime?
True
Let y(a) = -59875*a - 256. Is y(-3) a prime number?
True
Suppose 2*y - 2 - 8 = 0. Suppose -4*f = y*s + 133, f + 3*s - 4*s = -40. Let l = f - -876. Is l a composite number?
False
Let w be (18/30)/(1 + (-4)/5). Suppose -y + 3*y = w*c + 272, 0 = -5*y + c + 706. Let i = y - -151. Is i a composite number?
False
Let d be -1*2 - (-6 + -1252). Suppose 0 = g + 387 - d. Is g prime?
False
Let r(c) = c**3 - 34*c**2 - 33*c - 67. Let i be r(35). Is 63265*(0 - i)*(-3)/45 a prime number?
True
Is (2 + 4 - 13) + (51165 - -2) + 3 composite?
True
Let h(o) = -911*o - 279. Let j be h(-28). Let t = -15642 + j. Is t prime?
True
Let x = 93 + -88. Suppose -x*o - 3*b - 2*b = -6855, b = 3*o - 4113. Is o prime?
False
Let o = 409057 + 686352. Is o a prime number?
False
Let z(k) = 47*k + 24. Let t(n) = 48*n + 24. Suppose -17 = 11*i - 61. Let a(r) = i*t(r) - 5*z(r). Is a(-13) prime?
False
Suppose 1026318 = 15*v + 93183. Is v a composite number?
True
Suppose -356*b + 351*b = -j - 3675702, 0 = -4*b - 3*j + 2940535. Is b prime?
True
Suppose 65*n - 13*n - 4*n - 27170064 = 0. Is n a composite number?
True
Let a(b) = b**3 + 7*b**2 - 2*b - 12. Let u be a(-7). Suppose c = -2, 707 = z + u*c + 36. Let t = 1672 - z. Is t prime?
True
Let m(w) be the first derivative of 60*w**3 + w + 37. Suppose -10 = 4*p - 2*t, 0 = -2*t + 1 + 1. Is m(p) composite?
True
Let u(a) = 104*a**2 + 10*a - 31. Let p be u(-7). Suppose b = 6*i - 8*i + 10008, 4*b + p = i. Is i prime?
True
Suppose -17*a = -19002 + 53345 - 245874. Is a a composite number?
True
Let y(l) = l**2 - 39*l. Let q be y(0). Suppose q = -6*k + 21763 + 3419. Is k composite?
True
Let w(i) = 10711*i**2 - 32*i - 55. Is w(-2) a composite number?
False
Let m = 84 - 84. Suppose 5*j + 4*b + 747 = m, -5*b + 132 = 3*j - 4*j. Let q = j + 554. Is q composite?
True
Let a(h) = -386*h + 9. Let v be (5/(-10))/(2/(15 - 3)). Is a(v) prime?
False
Let m = 832 + -827. Suppose 2*z + 59274 = 2*f, m*f + z = 82733 + 65440. Is f composite?
True
Let l(w) = -14*w**2 + 25*w + 14. Let j be l(-11). Let h = -108 - j. Is h a prime number?
True
Let u(a) = 249*a**2 - 86*a - 3526. Is u(-61) prime?
False
Suppose -9 - 5 = 2*l. Let j(y) = -196*y - 102. Let n(p) = 131*p + 68. Let t(d) = 5*j(d) + 7*n(d). Is t(l) composite?
True
Is 1126676/(-6)*(-30 + 456/16) a composite number?
False
Suppose 4*x - 12 = 0, 0*a + a + 16 = 4*x. Is a/(-24)*(2 + 2584) a prime number?
True
Let s = 3177 - 4788. Let a = s + 7046. Is a a composite number?
True
Is -5 - (4 + -88)*1844 a composite number?
True
Suppose 2*l = 4*v - 490502 - 115730, 0 = 5*v + 2*l - 757817. Is v prime?
True
Let j(r) = -8357*r - 3108. Is j(-25) a prime number?
True
Let n = -12 + 39. Suppose -n*y + 663 = -24*y. Suppose -p = -2*l - y, -222 = -p + l - 0*l. Is p prime?
True
Let n(c) = -c + 5. Let q(s) = -6. Let a(x) = 6*n(x) + 7*q(x). Let t be a(-5). Suppose 13*w + 8995 = t*w. Is w a composite number?
True
Suppose -6*h - 170874 = 77640. Let m = -26642 - h. Is m a prime number?
False
Let b = 63 - 58. Suppose -b*g + 904 = -2161. Is g a composite number?
False
Suppose j + 4 = 5*j. Let m be (-103983)/(-44) + (-5)/4. Is (7/7)/(j/m) composite?
True
Let o be (-70)/21*(-1)/((-20)/18672). Let r = o + 7403. Is r a prime number?
False
Let m be 6/(-15) - 120/(-50). Suppose 7*d = m*d + r + 5, 0 = -3*d - r + 3. Is 4 - d - -55*4 prime?
True
Suppose -m + 3783 = 2*a, -5*m = -9*m - 2*a + 15162. Let h = 6164 - m. Is h composite?
False
Suppose -x - 8*x = -45. Suppose -x*q = -242 - 1958. Is 6 + q/16 + (-6)/(-4) composite?
True
Let r(b) be the second derivative of -b**5/20 - 5*b**4/4 + 5*b**3/6 + 25*b**2/2 + 4*b - 1. Is r(-18) a composite number?
False
Suppose 546*n = -5*b + 543*n + 103445, -5*b = -3*n - 103445. Is b a composite number?
True
Let u be ((-45884)/3)/((-8)/6). Is (-105)/21*u/(-5) prime?
True
Let v(j) = -3193*j**3 + 4*j**2 - 3*j - 1. Let r(f) = 6387*f**3 - 7*f**2 + 7*f + 3. Let c(w) = -3*r(w) - 5*v(w). Is c(-1) a composite number?
True
Let g = 8 + -8. Suppose 0 = 3*z + 6, -4*i + g*z + 3*z = 10. Is ((-6)/(-4))/(-3*i/1272) prime?
False
Let h(f) = -5*f + 24. Let c be h(6). Let i(n) = n + 10. Let j be i(c). Suppose 0 = -3*o - 2*p + 2453, -3*o + 1662 = -o - j*p. Is o a composite number?
False
Suppose 3*f - 358 = -364, -q = -2*f - 84005. Is q a composite number?
True
Suppose 0 = -5*f - 36 + 46. Suppose 2743 = d + m, 4*d + f*m - 92 = 10876. Is d composite?
False
Let g = -154 + 156. Suppose -g*t + 3868 = 938. Is t a prime number?
False
Let h(l) = 74*l + 39. Let a(z) = 4. Let k(x) = -2*a(x) - h(x). Is k(-21) a prime number?
False
Let p(y) = 620*y + 45. Let b be p(-8). Let w = 8698 - b. Is w a prime number?
True
Let y(o) = 342*o**2 + 4*o - 21. Let c(w) = w - 2. Let k be c(-2). Is y(k) a prime number?
False
Let s(h) = 90349*h - 855. Is s(4) a composite number?
False
Suppose 0 = u - 1, -2*w + 4*u - 14 = -7*w. Suppose w*r - 51 = -3*d + 5*r, -r = 2*d - 19. Let y(a) = 3*a**3 - 15*a**2 + 18*a - 13. Is y(d) prime?
False
Let n be 3 + -1 + 1 + -4 + 2. Is n/((-1)/(20788/(-4))) prime?
True
Suppose 0 = s + 5, 534*l = 539*l - s - 3510960. Is l a composite number?
True
Let l(x) = x**2 + 11*x + 30. Let j be l(-7). Let k(r) = 49*r**2 - 2*r - 1. Let y be k(-2). Suppose -3*w = -i - y, j*w = -2*i + 86 + 52. Is w a prime number?
True
Let s(b) = b**2 - 15*b + 29. Let k be s(13). Suppose -f + 2208 = -k*y, 2*y + 8 = 4*y. Let q = f + -1501. Is q a composite number?
False
Is ((-39)/(-6) - 4)/((-275)/(-21402590)) a composite number?
False
Let w be 208/((-28)/(-7)) - (0 + 1). Suppose 81430 = w*s - 41*s. Is s a prime number?
False
Let t(h) = 12*h**2 + 2*h**3 + 12*h + 18*h**2 - 43*h**2 - 3*h**3 - 27. Let g be t(-14). Let x(b) = 4418*b**3 - 2*b**2 - b + 2. Is x(g) a composite number?
True
Let u(l) be the third derivative of -337*l**6/60 + 3*l**5/2