q + 12*q - 1473 = 0. Is q prime?
True
Suppose -79*i - s + 91553 = -76*i, 3*i + 4*s - 91550 = 0. Is i composite?
True
Let y(t) be the third derivative of -t**4/8 - 29*t**3/6 - t**2. Is y(-16) prime?
True
Let n be 13*((-2)/(-13) - (-74)/26). Is (-8813)/(-4) - (-3 - n/(-12)) composite?
False
Suppose -4*w = 3*k + 4350, 2*w + 0*w + 2176 = -2*k. Let c = w - -1857. Is c composite?
True
Let c(o) = 55*o**2 - 20*o - 4. Let z = -70 + 79. Is c(z) prime?
True
Suppose -3*s - 6 = -6*s. Suppose -3 = p + s*p. Is 10 - 6 - p*49 prime?
True
Is (-35)/21 + 1 + 253232/21 composite?
True
Let c be 10/6 - 90/54. Suppose c = 16*r - 10783 + 2095. Is r a composite number?
True
Suppose 2 = -b + 37. Suppose 0 = -n - t + b + 386, -4*n - 2*t + 1686 = 0. Is n a prime number?
False
Let m(y) = -y**2 + 8*y - 1. Let i be m(7). Let n(v) = 102*v**2 - 3*v - 11. Is n(i) a prime number?
True
Suppose -t = -3*w - 6719, -2818 = -3*t + 3*w + 17363. Is t a prime number?
False
Let a(k) = -19*k**3 + 5*k**2 - 3*k + 19. Is a(-6) a composite number?
True
Let s(h) = 4*h - 19. Let o be s(6). Suppose -4*x = -o*u + 1585, u - 5*x = 485 - 189. Is u a composite number?
True
Let z(f) = -4*f - 293. Let s(h) = -3*h - 293. Let b(w) = 5*s(w) - 6*z(w). Is b(0) a composite number?
False
Is (-9036)/(-6) - (-7 + -4) prime?
False
Let q(b) = -129*b - 37. Let k(i) = -4*i. Let o be k(1). Is q(o) composite?
False
Let h be (4/(-12))/(1/(-15)). Let j(k) = 10*k**2 - 10*k + 12. Let d be j(h). Let m = d - 85. Is m a composite number?
False
Let t = 948 + -358. Suppose -h = -3*h + t. Suppose 2*i - h = -3*i. Is i a prime number?
True
Let r(g) = 4*g**3 - 10*g**2 - 18*g + 7. Is r(10) a prime number?
False
Is ((-30)/6)/((-2 + -2)/20044) composite?
True
Let d(g) = -g**3 - 5*g**2 - g - 4. Let p be d(-5). Let i be (1568/5 - 0) + 232/580. Is (p/2)/(1/i) composite?
False
Let d(l) = -323*l**3 - l**2 - 2*l - 29. Is d(-4) a prime number?
False
Let t = -10399 - -25562. Is t composite?
True
Let k = -37789 - -93096. Is k a composite number?
True
Suppose -51*z + 361027 + 179012 = 0. Is z composite?
False
Let f be 50/(-7) + (-2)/(-14). Let s(m) = -13*m + 16. Let o(q) = -12*q + 17. Let i(k) = f*s(k) + 6*o(k). Is i(5) a prime number?
False
Let h = 6 + -2. Suppose -h*a + a = -2235. Suppose -3*t + 8*t - a = 0. Is t a prime number?
True
Let z be ((-51)/18)/17*0. Suppose 6*x - x - 1815 = 5*s, 3*x = -s + 1081. Let c = z + x. Is c a prime number?
False
Let l(m) = -m**2 - m - 2. Let s be l(-1). Let n be (1063/2)/(s/(-4)). Suppose -x + 4*d + 250 = -24, -5*d = -4*x + n. Is x a composite number?
True
Let m = -6326 + 12159. Is m composite?
True
Let j(l) = l**2 - 4*l + 1. Let s be j(-3). Suppose -82 = -4*c - s. Suppose k + c = 66. Is k a composite number?
True
Let d(v) = 7*v**2 + 20*v + 71. Is d(-14) a prime number?
True
Suppose 5*p + 5*t = 610, -t + 125 - 384 = -2*p. Is p prime?
True
Suppose 2*h - 7 = 3*l, 3*h - 2*h + 3 = -5*l. Is 1310*1/(-2)*l composite?
True
Let f(d) = 8*d**3 + 3*d**2 - d + 3. Let n(j) = 9*j**3 + 3*j**2 + 3. Let k(a) = 5*f(a) - 4*n(a). Is k(3) a prime number?
False
Let y(v) = 94*v - 6. Let d be y(-5). Let m = 1363 + d. Is m a composite number?
False
Let i(l) = -55*l + 3. Let x be i(3). Let n = -113 - x. Is n a composite number?
True
Suppose -1 + 26 = 5*z - 4*a, -2*a = 5*z - 25. Suppose -4*o - o = 2*s - 438, s - z*o = 234. Let k = s - 13. Is k a prime number?
True
Is ((-4)/(-36)*3)/((-4)/(-223284)) composite?
True
Let x be -2 - (-3 + 2 - 1). Suppose x = 2*q + 3*q - 890. Let d = -87 + q. Is d a composite number?
True
Let k = 29 - 14. Let j(u) = u**3 - 14*u**2 - 12. Is j(k) prime?
False
Is (8 + 214084)/9 - -13 a prime number?
True
Let t(y) = -142*y + 1. Suppose -2*w + 28 = -0*w. Suppose 12 = 2*p + w. Is t(p) a composite number?
True
Is (-196)/21*32931/(-12) composite?
True
Let y be (1 - 3283) + (1 - 3/(-1)). Let p = -279 - y. Is p prime?
True
Let d be (3/(-2))/((-1)/194). Let j = d + -180. Is j prime?
False
Suppose 5*r = 3*f - 4798, -r + 956 = f - 630. Is f a composite number?
True
Suppose 5*g + 2872 = 9107. Let s = g + -859. Suppose -f + s = 3*f. Is f a composite number?
False
Let o = -1734 + 2729. Suppose -5*k = -o - 1050. Is k composite?
False
Let p(r) = -161*r + 155. Is p(-16) composite?
False
Let m(h) = -11*h**3 + 2*h**2 + 6*h - 8. Let k(c) = 5*c**3 - c**2 - 3*c + 4. Let f be ((-4)/6)/((-10)/30). Let b(n) = f*m(n) + 5*k(n). Is b(3) prime?
True
Let y(n) = 6*n**2 + 6*n - 1. Let w(a) be the third derivative of -a**6/120 - a**5/60 + a**4/12 + 2*a**3/3 + 6*a**2. Let o be w(0). Is y(o) a composite number?
True
Let l(q) = -q**2 + 48. Let v be l(0). Let f(j) = 15 + 2*j**2 + 234 + j - 3*j**2 - v + j**3. Is f(0) a prime number?
False
Let z(j) = -2*j**3 - 58*j**2 + 39*j - 29. Is z(-35) prime?
False
Suppose -5*u + 16943 = 3*o - o, 0 = -o - 1. Is u a composite number?
False
Suppose 0*l - 3*l - 327 = 0. Let n be (l + 1)*(-27)/(-6). Let a = 723 + n. Is a composite?
True
Let d(b) = b**2. Let n be d(4). Suppose -4*h = n + 4. Let u(q) = -25*q + 2. Is u(h) a composite number?
False
Let k be ((-6 + 3)/(-6))/((-7)/(-84)). Suppose -k*w + 4080 + 1026 = 0. Is w a prime number?
False
Suppose 5*y - 5*x - 20 = 0, -3*y - 5 = 5*x - 1. Is 4/(-18) + (-21370)/(-18) + y prime?
False
Suppose -3*w - 3 = 0, w = -4*p + p + 8. Suppose -2*y + 335 = p*y. Suppose 4*a - z = y + 421, a + z = 117. Is a a prime number?
False
Suppose 5*n + 3*i - 29665 = 0, n + 5*i + 1570 = 7481. Let v = n + -4035. Is v a prime number?
True
Let o(b) = b**3 - 2*b**2 + 11*b - 5. Let q be o(9). Suppose 3*f - q = 794. Is f prime?
False
Let q(o) be the third derivative of -6*o**4 + 13*o**3/2 - 36*o**2. Is q(-7) a composite number?
True
Suppose 0 = 22*a + 2136 - 14258. Is a composite?
True
Suppose 0 = -i + 2 - 1. Let t(h) = -h**3 - 3*h**2 + 6*h - 16. Let c be t(-9). Is (c - (-3)/1)/i prime?
True
Let w(i) = -589*i + 7. Let k be w(-3). Suppose 2*j = -4*b + j + 3536, 2*j - k = -2*b. Is b prime?
True
Let n = 18 - 26. Let w = 10 + n. Suppose -143 = -w*o - 3*g, -140 = -0*o - 2*o - 2*g. Is o composite?
False
Is ((-3)/5 + 1)*1368245/34 a composite number?
False
Let m(d) = d**2 + 5*d - 13. Suppose -1 = -q - 10. Let v = -1 + q. Is m(v) a composite number?
False
Let o(t) = -108*t**3 + 4*t**2 - 2*t + 6. Let l be o(3). Let b = l - -4147. Is b composite?
True
Let j(t) = -t**3 - 4*t + 4*t - 1 - t + t**2. Let c(h) = -3*h**3 - 4*h**2 - 5*h - 9. Let u(x) = c(x) - 2*j(x). Is u(-6) a prime number?
True
Suppose 7 = -4*h - 5. Is (-4)/12 - 2335/h prime?
False
Suppose 14 = -3*c + 4*g, -3*c + g + 4 = -6*c. Let a(n) be the second derivative of 14*n**4/3 + n**3/3 + 3*n**2/2 - 4*n - 22. Is a(c) a composite number?
False
Suppose 3*h - 7 = -5*l, -2*h = -0*l + l. Suppose w - 155 = k - 474, l*k - 620 = -4*w. Suppose 0*n + n - 79 = 2*p, 2*p + k = 4*n. Is n a composite number?
False
Suppose -w = -2*j + 140, 3*j - 5*w - 350 = -2*j. Suppose -5*b + j = 2*b. Is b a composite number?
True
Is (-49425)/(-11) - (10 + 324/(-33)) prime?
True
Let w be (-40)/(-15)*(-6)/(-2). Suppose w*s - 304 - 10888 = 0. Is s composite?
False
Let r(k) = 2588*k**2 - 4*k + 9. Is r(-2) a composite number?
False
Let s be 4/32 - ((-1659)/(-24))/(-7). Let z = 87 - s. Is z composite?
True
Suppose 0 = -32*s + 62*s - 48690. Is s prime?
False
Let b(c) be the first derivative of -c**4 - 4*c**3/3 + c**2 + 7*c + 1. Let w be (-3*(-3 + 2))/(12/(-16)). Is b(w) prime?
True
Let w(s) = s**3 + 11*s**2 - 4*s + 11. Let o be w(-11). Suppose -2*n = -z + 163, -2*n + o = 3*z - 418. Is z a composite number?
True
Suppose r - f = -1332, 0 = 2*r - 5*f + 3408 - 732. Let x = -793 - r. Is x a composite number?
True
Suppose -5*l + 14215 = m - 6*m, m = 2*l - 5682. Is l a composite number?
True
Suppose -5*a + 153698 = -0*a + h, 8*a + 4*h = 245924. Is a a composite number?
True
Let j(t) = -15*t**3 - 70*t**2 + 21*t + 9. Is j(-13) a composite number?
True
Let j(u) = 4*u + 5. Let y be j(6). Suppose -3 + 22 = 5*t + n, -3*t + y = 5*n. Suppose -t*b + 6*b = 465. Is b a prime number?
False
Let h(p) = 78*p**2 - 105*p + 755. Is h(8) prime?
False
Let o(c) be the second derivative of -701*c**3/6 - 23*c**2 - 13*c. Is o(-7) composite?
False
Suppose -20 = -4*m, -2*a + 3*a + m - 7 = 0. Suppose -4*b = -3*p - 4595, 0 = -a*b + 4*p - 1454 + 3744. Is b a prime number?
True
Suppose -4*n + 409 = x, 4*n = 2*x - 163 