 = -1 - p. Is (-4)/(l/(-251)) + 0 prime?
True
Let l be 5950/40*((-2)/(-2) + 3). Suppose w - 802 - l = 0. Is w composite?
True
Is (-27)/36 + (26759/4)/1 composite?
False
Let y = 15 + -2. Let o(a) = 2*a**2 + 0*a**2 - y + 2*a - 2*a. Is o(-9) a composite number?
False
Let x(m) = -2*m**3 + 2*m**2 - 4*m + 65. Is x(-10) composite?
True
Let t = 183 - 80. Is t composite?
False
Suppose 0 = -4*j + 4*m + 12, 12 = -j + 3*j + m. Suppose 2*x - j*x + 1245 = 0. Is x prime?
False
Let q be ((-60)/(-25))/((-1)/5). Let w = 0 + q. Let f(d) = -d**3 - 9*d**2 + 14*d - 5. Is f(w) a prime number?
False
Suppose 2*a = 3*z - 6*z + 33547, -3*z = -4*a - 33571. Is z composite?
True
Suppose t = 5*t + 40. Let y = 12 + t. Suppose 0 = -2*q - p + 69, -3*q + 2*p + 177 = y*q. Is q prime?
False
Let h be (-1*18/(-8))/(12/32). Is (-4)/(-2) + 7254/h prime?
False
Suppose -4*s = m - 8, -5*s + 10 = m + 4. Let z = -7 - m. Let q = z - -102. Is q composite?
False
Let k = -666 - 634. Let q = -709 - k. Suppose -q - 874 = -5*i. Is i a composite number?
False
Let x(k) = -188*k**3 - 4*k**2 - 11*k - 5. Is x(-4) composite?
False
Let y(f) = -85*f + 38. Let x be y(5). Let v = x - -1196. Is v a prime number?
True
Let r(f) = f**2 + 14 + 6 - 3*f**2 - 7 - 15*f + f**3. Is r(11) a composite number?
False
Suppose -22*z - 14*z = -142056. Is z a composite number?
True
Is (6 - 11045/5)*-1 a composite number?
False
Is 14777 - 14 - (-1 + 3) a composite number?
True
Suppose 0 = 3*a - 64 + 1033. Let s = a - -1012. Is s composite?
True
Suppose 39 = x + 3*u, -u - 77 = -3*x - 0*x. Let v = x + 43. Is (-2 - -1)/((-2)/v) prime?
False
Suppose 44 = -5*t - 3*a - a, 0 = -5*t + a - 39. Let r be 1 - (t/(-2) - -1). Is (-630)/r + 3/(-6) a prime number?
True
Let g = 16 - 10. Suppose g*f - f - 1020 = 0. Is f/21 + (-12)/(-42) composite?
True
Suppose 0 = -5*u - 5*f + 9*f + 192362, 2*f = 4*u - 153892. Is u a prime number?
False
Let g = 573 - -128. Is g a composite number?
False
Suppose -15*c = -23*c + 128. Suppose c*k + 11764 = 39108. Is k composite?
False
Suppose 4*g + 4*s = 1112, -3*s = -2*s + 3. Let m = g - 150. Is m a prime number?
True
Suppose -5*t - f - 918 = -7401, -6481 = -5*t - 2*f. Is t a composite number?
False
Suppose -21 = 2*a - 1. Suppose 50*b + 5 = 49*b. Is (-6912)/a - b/(-25) a composite number?
False
Let o(z) = z**3 + 10*z**2 - 10*z + 14. Let j be o(-10). Suppose -s + 132 + j = 0. Let t = s - 103. Is t prime?
False
Let m(q) = -5603*q + 354. Is m(-5) composite?
True
Suppose 3*s = 14211 - 4434. Is s a composite number?
False
Suppose -4*y - 24147 = o - 131516, 3*y - 3*o - 80538 = 0. Is y prime?
False
Suppose -4*c + 3*u + 1980 = 0, -3*c + 0*u - 3*u = -1506. Suppose 2*o = -o + c. Suppose 4*p = -26 + o. Is p a composite number?
True
Let r(b) = b**2 + 5*b - 1. Let z be r(-5). Is ((-1195)/(-5))/z*-5 a composite number?
True
Let g(k) = 174*k - 14. Let y be g(4). Let c = -1546 + y. Let s = c + 1651. Is s a composite number?
False
Let x = 95 - 144. Let n = x - -113. Suppose k - 145 = n. Is k a composite number?
True
Let r(z) = 12 - 3 - 3 - 60*z + 5. Is r(-6) prime?
False
Suppose u - 4*g - 14944 = 0, g + 5843 + 9116 = u. Is ((-3)/(-6))/(6/u) a composite number?
True
Let j be 3/12 - (-316)/16. Let i = -29 + j. Let p(f) = -f**3 - 6*f**2 - 8*f + 4. Is p(i) a prime number?
False
Let c(a) = 2*a**3 + a**2 - a + 38585. Is c(0) a composite number?
True
Suppose -3*z - 2*z + 10 = 0. Suppose 5*h = -f + 489, -z*h + 1892 = 4*f + 2*h. Is f composite?
True
Suppose 0 = 4*p - 5*u - 2, 5*u - 3*u = -4*p + 16. Suppose 4*n - 76 = p*i + 25, -4*i + 2*n - 128 = 0. Let s = 68 + i. Is s prime?
True
Let u(d) be the second derivative of 19*d**3/3 + 4*d**2 - 16*d. Is u(3) a prime number?
False
Suppose -25*t = -10*t - 8355. Is t composite?
False
Suppose -r + 2 + 1 = 0. Let y be (-569)/(-9) - 1*4/18. Suppose r*n = y + 636. Is n a prime number?
True
Suppose -3*q + 2*q - 4*x = -33, -3*q + 77 = x. Suppose q = -5*p, 4*m - 5*p + 2*p = 23. Suppose -m*h = -5*h + 2037. Is h composite?
True
Suppose 3*z - 3*h = 444, 3*z - 300 - 104 = -5*h. Suppose 0 = -13*l + 145 - 353. Let y = z - l. Is y a composite number?
True
Let u = 2255 - 1211. Suppose 0 = 5*g + 10, 0*g = -2*b + g + u. Is b prime?
True
Let y be 2/(-4)*(13 - 17). Suppose h = -2*c + 302, 0 = -c + y*h + 20 + 121. Is c a prime number?
True
Suppose 8*t + 4 = m + 3*t, -3*m + 3*t = -12. Suppose -2*w + 0*w + 10 = 0. Suppose -m*a + q = -566, -w*a + q = -q - 706. Is a prime?
False
Let s(n) = -n + 13. Let m be s(3). Is 12/m*5/1 a composite number?
True
Is -9257*10/4*(21 - 23) prime?
False
Suppose 0 = -4*g - 3*f + 1927, -3*g - 3*f = -1097 - 349. Let l = 978 - g. Is l prime?
False
Let o be (1 + 0)*1*0. Suppose 5*s = -o*s + 3225. Suppose 3*m = 1224 + s. Is m composite?
True
Suppose 0 = 4*p - 36*n + 39*n - 8419, -3*n = p - 2116. Is p composite?
True
Suppose 1152423 = 48*w - 194025. Is w a composite number?
False
Let l(u) = 0 + 3 + 2 - 65*u. Let p(f) = f**3 + 3*f**2 - 3*f. Let s be p(-4). Is l(s) a composite number?
True
Suppose 15*b - 121100 = 41365. Is b a composite number?
False
Let o = -65 + -42. Let n = 25 + o. Let h = n - -128. Is h a composite number?
True
Suppose 2 = 5*x + 32. Let i(p) = p**3 + 6*p**2 - 2. Let a be i(x). Is (1/a)/((-4)/2312) a composite number?
True
Suppose 3*y = 2*c + 6, 4*c - 32 = -8*y + 3*y. Suppose 3*q - 245 = -2*n, -247 = -2*n - y*q - q. Is n a prime number?
False
Suppose -8 = -4*b - 0. Suppose -2*u + 7*u - 151 = -4*v, 0 = 2*v + 5*u - 83. Suppose 4*z + w - 594 = 0, -b*z = 5*w - v - 254. Is z a prime number?
True
Suppose 15 = 3*x, -y + 2*x - 3*x + 4827 = 0. Is y a composite number?
True
Let r(m) = m**2 - 2. Let l be r(-2). Let c(p) = -113*p**2 + 5*p + 6. Let x(j) = 56*j**2 - 2*j - 3. Let q(a) = 6*c(a) + 13*x(a). Is q(l) a composite number?
True
Suppose 0 = -5*p + o + 37006, -3*o + 14816 = 3*p - p. Is p prime?
False
Suppose -2*h - 4*p = -2*p - 13682, -5*p + 13667 = 2*h. Suppose 12*d - h = 23550. Is d prime?
False
Is (0 + -3)/((-3)/(-1838)*-2) a composite number?
False
Let y = -43 - -49. Suppose -113 = 5*l - y*l - 2*p, 8 = -2*p. Is l a prime number?
False
Suppose -2*c = h + 3*c - 12274, -h - 3*c = -12282. Let x be (2/4)/(9/h). Suppose 6*p + z = 2*p + 2762, p + 4*z - x = 0. Is p prime?
True
Suppose 4*h + 2*c = 96, h - 34 = c - 4*c. Suppose -18*n = -h*n + 6028. Is n a prime number?
False
Let a(q) = -4 + 9*q**2 + q**3 - q**2 + 4 + 8*q - 5. Let l(y) = -2*y**2 + 5*y - 3. Let k be l(3). Is a(k) prime?
True
Suppose 4*i - 148688 = -4*t - 0*t, 3*i = 5*t + 111508. Is i prime?
True
Suppose -2*u + 99 = u. Is (-6)/u - 50652/(-44) composite?
False
Let y = -4 - -3. Let i(u) = -4*u - 1. Let x be i(y). Suppose 5*o = -5*b + 535, -2*b + 313 = x*o + 3*b. Is o composite?
True
Let j(n) = 4*n + 5. Let x be j(0). Let p be 20/(-6*(-3)/9). Is p/(-25) + 172/x a prime number?
False
Let o(l) = -15*l**2 - 1 + 7*l**2 - 21*l**2 + 0 + 17*l. Let y(c) = -14*c**2 + 8*c - 1. Let m(j) = 6*o(j) - 13*y(j). Is m(-9) a prime number?
True
Suppose 7*j - 3*s = 10*j - 72576, -3*j + 72568 = -5*s. Is j composite?
True
Let d(g) = 106*g**3 + 13*g - 2. Is d(3) prime?
False
Suppose p = 13810 - 801. Is p a composite number?
False
Suppose 2*u - 184 = -5*n, -u + 56 = 5*n - 41. Is u composite?
True
Let o(u) = -10*u + 136. Is o(-31) composite?
True
Suppose -4*k = k - 10. Let l(a) = -a**3 - 4*a**2 + 3. Let r be l(-5). Suppose -r = -k*q - 8. Is q a composite number?
True
Let b be -1*(13/4 + 4/(-16)). Is (b/24*-134)/((-3)/(-12)) a prime number?
True
Suppose -s + 30 = c, -3*s - 132 = -7*s - c. Suppose -4*g - 4*d + 11072 = 0, 2*d = g - 2799 + s. Is g a composite number?
False
Suppose 3*t + n - 8 = -88, 0 = 3*t - 3*n + 84. Let l = 41 + t. Suppose -2*v - 3*v + 25 = 4*o, -2*v = 2*o - l. Is o prime?
False
Let b be (143 - -17)*(1 + -2 - -2). Let w = -11 + b. Is w a composite number?
False
Let g = -70007 - -98394. Is g composite?
False
Let q(j) = j**2 + 5*j - 13. Let d(v) = v**3 + 7*v**2 - 9*v + 10. Let p be d(-8). Suppose 6*g - p = -72. Is q(g) a prime number?
True
Let z(b) = 22*b**3. Let u be z(1). Suppose -23*s = -u*s - 587. Is s prime?
True
Let t be (910 - 3) + (-9)/(-3). Suppose -5*x + 2*b = -951, 5*x = 4*b + t + 37. Is x a prime number?
True
Suppose 2*f - 3*p = 919, 7*p = f + 2*p - 463. Is f composite?
True
Let g(x) be the third derivative of x**5/10 + x**4