/(-8))*-38 a composite number?
True
Let p(y) = -y**3 + 5*y**2 + 6*y. Let u be p(6). Suppose 2*d - 2 = u, 6*d - 4*d + 1084 = 3*b. Let r = -177 + b. Is r prime?
False
Let l = 58 + -46. Suppose l*x - 18321 = -1737. Is x a composite number?
True
Let n(f) = -178*f + 6. Let p be n(9). Let j = -419 - p. Is j prime?
False
Let b = 48 - 46. Is (1485 - 0) + (-8)/b composite?
False
Let c = 587 - 1085. Let g = -239 - c. Suppose -5*h + g + 126 = 0. Is h a composite number?
True
Suppose -3*g + 3*w + 45 = 0, 0*w = 2*g + 2*w - 50. Let i = g - -13. Let s = i + 434. Is s composite?
False
Let p(i) = -19*i - 7. Let q be p(8). Let o = q - -316. Is o composite?
False
Let t(v) = -v**3 - 3*v**2 - v. Suppose 4*z - 13 = -5*f, -1 = 4*z + 3*f - 4. Let d be t(z). Suppose 4 = d*w - 65. Is w a prime number?
True
Let z(m) = m - 3. Let n be z(0). Suppose 7*q - 7275 = 2*q. Is ((-2)/n)/(10/q) composite?
False
Let v(q) = 10*q**2 + 20*q - 253. Is v(9) a prime number?
False
Let y = 156 - 162. Is (-25826)/y + 12/(-9) a composite number?
True
Let r = 38 - 32. Suppose 4*c + i - 61 = r*i, i + 73 = 4*c. Is c prime?
True
Is (3 - 2) + (579 - -7) prime?
True
Let j = 4455 - 2626. Let r = j + -876. Is r composite?
False
Let p = -118 - -388. Let u be (-17)/(-5) + 2/(-5). Suppose -2*y = -3*d - 266, p = 2*y - u*d - d. Is y a prime number?
True
Suppose 14*f - 19*f + 228250 = 5*u, 3*f - 2*u - 136935 = 0. Is f a composite number?
True
Let r = 292 - 65. Let m = 327 - r. Suppose 15 - m = -z. Is z prime?
False
Let x = 14 - 14. Suppose -39 = -4*u - q, -4*u = -x*u + 2*q - 38. Suppose 5*i = -u + 120. Is i a composite number?
True
Suppose -5*w - 3*i + 72 = 0, 0 = -w - 0*i + 2*i + 4. Let g be 4/w - 1/3. Suppose -2*p + 145 = 3*p - 3*q, g = -3*p + q + 83. Is p a prime number?
False
Let g(r) = 0*r + 7 - 3*r - 19 + 2*r. Let h be g(-8). Is (127/(-2))/(2/h) a composite number?
False
Is ((-96)/72)/(20/(-5391615)) prime?
True
Suppose -15 = 3*y - 111. Suppose 0 = -h - 4*l + y + 127, -3*h - 3*l = -477. Is h prime?
False
Let p(l) = 3*l - 649. Let z be p(0). Let i = 234 - z. Suppose -6*u = -623 - i. Is u a prime number?
True
Let c(n) = -7*n**2 + n. Let a be c(-1). Is 1 + 2396/6 + a/(-12) prime?
True
Let p(t) = 4*t**3 + 3*t**2 - 2*t + 4. Let m(z) = -4*z**3 - 2*z**2 - 3*z - 2. Let h be m(-1). Is p(h) a prime number?
False
Let p = -14 + 19. Let b(s) = -10*s - p*s + 1 + 2*s. Is b(-1) composite?
True
Let n = 61292 - 41135. Is n composite?
True
Let k(w) = -9*w**3 + 83*w**2 + 12*w - 76*w**2 + 21 - 22*w**3. Is k(-7) a prime number?
False
Let c(r) be the third derivative of -3*r**6/40 - r**5/15 + r**4/6 - r**3/2 - 2*r**2 - 9. Is c(-4) a composite number?
True
Let r be ((-6)/2)/((-855)/213 + 4). Let q = r + -95. Is q prime?
False
Suppose 0 = -27*x - 4*x + 1034191. Is x prime?
False
Let x(v) = v**3 + 17*v**2 - 166*v + 39. Is x(-20) composite?
True
Suppose 3*r - 10 = -7. Let h(z) = 2*z + 3 - r - z. Is h(11) a composite number?
False
Let u = 153 - 1091. Let o = -224 - u. Suppose o + 751 = 5*i. Is i a prime number?
True
Let k(d) = -77*d**3 + 10*d**2 + 23*d - 17. Is k(-6) prime?
False
Suppose -14 = -r - 3. Let l = -8 + r. Is l + (-7)/((-21)/138) a prime number?
False
Let m be 266/11 + (-16)/88. Is (1773 - 0) + m/6 composite?
False
Let z(q) be the third derivative of -q**6/20 - q**5/30 - 7*q**4/24 + 11*q**3/6 - 27*q**2. Is z(-5) a composite number?
True
Suppose -4*t + 21824 = 4*k, 0 = 2*t - 15*k + 18*k - 10907. Is t a prime number?
False
Suppose 5*a - s = 211503, -2*a + 38097 = 3*s - 46511. Is a prime?
False
Suppose 2*x - 4101 = -5*n, 4*x + n = -0*x + 8211. Is x a prime number?
True
Let t(m) = m**3 + 58*m**2 + m - 17. Is t(-44) prime?
True
Let c(l) = l**2 + 2*l + 2. Let o be c(-2). Suppose 0 = -o*u + 4 + 4. Suppose 0*j + 212 = j - t, -u*j - 2*t = -842. Is j a composite number?
False
Is 7*9/441 - (-353065)/7 prime?
False
Suppose -4*f + 11 = -o, -3*o + 2*f + 9 = 2. Suppose 2*w - 393 = o*w. Let v = -80 - w. Is v composite?
True
Let i(r) = r - 1. Let h(u) = u**2 - 2*u - 17. Let j(y) = h(y) + 2*i(y). Is j(-14) a prime number?
False
Let x = -492 + 5545. Is x composite?
True
Suppose 4*m = -x + 5805, 5*x - 4*m + 29073 = 10*x. Suppose -8*w + x = 2081. Is w a composite number?
False
Suppose -8*d + 5*d - i = -27331, 2*d = -i + 18220. Is d prime?
False
Let c be 4/(-6) + (-25)/3. Let a = 13 + c. Suppose j = a*j - 27. Is j composite?
True
Let q = -196 - -334. Suppose m + 4*m = -315. Is (q/9)/((-6)/m) composite?
True
Let o = -7007 - -15396. Is o prime?
True
Suppose -3*t + x + x + 1295 = 0, x = 5. Suppose 29 = 2*j - t. Suppose 0 = 4*s - 8*s + j. Is s prime?
False
Is (-2)/(-5) + 3/15*23753 a prime number?
True
Suppose 0 = -3*h + 2*x + 24, 2*h - 6 = 4*x + 2. Let y = 15 - h. Suppose 0 = -l + 8 - 4, -5*m - y*l + 12585 = 0. Is m prime?
False
Let o(r) = 4*r**2 - 3*r + 4. Let q(x) = -5*x**2 + 7*x + 3. Let p(t) = -11*t**2 + 15*t + 6. Let s(c) = 4*p(c) - 9*q(c). Let d be s(3). Is o(d) composite?
True
Let l(a) = -1. Let d(x) = -x**3 + 6*x**2 - 8*x - 3. Let i(q) = -d(q) + 2*l(q). Suppose 3*m - m - 12 = 0. Is i(m) composite?
True
Let o = -14905 + 24648. Is o a prime number?
True
Suppose -16099 = -4*j - 6*i - 1569, -3*j + 2*i = -10891. Is j a composite number?
False
Let b = -6 - -13. Let h(o) = o**2 - 8*o + 9. Let y be h(b). Suppose -4*s + 655 = 5*c - 2*s, -y*c - s + 261 = 0. Is c composite?
True
Suppose 7 + 1 = -v. Let l = -2 - -1. Is l/4*23*v prime?
False
Suppose 39*l = 35*l + 33412. Is l a composite number?
False
Let p(f) = -f + 1. Suppose 2*o - 9 = -3*k - o, -4*k + 4*o = 20. Let m be p(k). Suppose -5*h - 2*d = -335, -m*h + h = -2*d - 79. Is h composite?
True
Let j(s) = -s**3 - 16*s**2 - 15*s + 4. Let o be j(-15). Suppose 2*b = 4, 2*b + 0*b + 388 = o*w. Suppose g = w + 125. Is g a prime number?
True
Suppose -2*z = 0, 0 = 2*y - z + 3*z + 2. Let h be (4/(0 - y))/2. Let a(l) = 15*l**2 + 2*l + 1. Is a(h) prime?
False
Let s be 7656/(-6)*(1 + -2). Suppose 16*j - s = 12*j. Is j a composite number?
True
Suppose 31*o - 5199 = 28*o. Is o a composite number?
False
Let s = -8 + 15. Is 14/s - (-1193 + 2) prime?
True
Let h(w) = w**3 - 4*w**2 + 5*w - 3. Let y be h(3). Suppose y*z - 8*z = -2390. Is z composite?
True
Let i = -19 - -22. Suppose 2*s = m - 777, i*m + 3*s - 3937 = -2*m. Is m composite?
True
Let a = 408 - -1301. Let d = 2750 - a. Is d prime?
False
Let p = 11107 - 2960. Is p composite?
False
Let q be 6/8 + (-132)/48. Let c be q + 3 - (-1)/1. Suppose -x + 39 = -4*n, 2*x + x - c*n = 167. Is x prime?
True
Let f(o) = 3*o**2 + 47*o + 13. Is f(-31) prime?
True
Let g(v) = 3*v**2 + 32*v + 29. Let u(y) = y**2 + 11*y + 10. Let k(f) = -3*g(f) + 8*u(f). Let o be k(-6). Suppose -422 = -o*s + 3*s. Is s prime?
True
Let s = 2069 - 1620. Is s composite?
False
Let o(m) = 4*m**3 + 3*m**2 - 2*m + 3. Let d be o(2). Suppose 0 = -d*h + 42*h + 233. Is h a prime number?
True
Suppose -4*c + 2*c + 10 = 0. Suppose -4*r + c*z + 2356 = 0, 3*r - 5*z - 243 = 1524. Is r a composite number?
True
Let g = -1464 + 2431. Is g/6 + (-15)/90 a prime number?
False
Let p(u) = u**2 - 2*u + 2. Suppose -5*h = 2*m - 13, m - 3*h = 6*m - 23. Let w be p(m). Is -2 + (-5)/(w/(-182)) a prime number?
True
Let k(x) = -5*x**2 - 12*x - 30. Let h be k(-13). Is (h/2)/((-3)/6) prime?
True
Suppose 0 = -4*x + 3*x - 3. Is ((-1573)/(-33))/((-1)/x) + -2 composite?
True
Let f = -18 + 33. Let w(q) = -f*q + 0 + 2 - 158*q. Is w(-7) prime?
True
Suppose 138 + 434 = 4*f. Suppose u - f = 48. Is u a composite number?
False
Let r(i) be the second derivative of 1/3*i**3 + 77/2*i**2 + 0 + 10*i. Is r(0) composite?
True
Let d = -13 - -14. Is d/(4/5036 - 0) a prime number?
True
Let i(y) = 803*y**2 - 6*y - 3. Is i(-2) composite?
False
Let k(c) = -519*c - 353. Is k(-48) a composite number?
True
Suppose -12 = -2*v - 2*j, -v + 5*j = 4*v. Suppose 5*t - v = 7. Suppose -4*o = 2*i - 1777 - 19, -o = -t*i - 449. Is o prime?
True
Let u be 1/(4/8292*1). Suppose -2*d - d + u = 0. Is d a prime number?
True
Let z = 1318 - -16822. Suppose 0 = 6*s - 10*s + z. Is s composite?
True
Is (-2)/(-7) + (4 - 596513/(-119)) a composite number?
True
Let k = 29123 + -10002. Is k a composite number?
False
Suppose -s - s + 86 = 0. Let k(z) = -2*z**2 - 43*z + 20. Let o be k(-20). Let w = o - s. Is w composite?
False
Let k(i) be the first derivative of -i**4 + i**3/3 + 