 first derivative of -q**4/4 + q**3/3 - q**2/2 + 2*q + 3. Let o be m(0). Is -1 - o/(2/(-219)) a prime number?
False
Let x(o) = 27*o**3 + 3*o**2 - 16*o + 9. Is x(3) a prime number?
False
Is (-14)/2 + 15581 + 30/(-6) prime?
True
Let f(r) = 21*r**2 + 4*r - 3. Suppose -2*c + 4 = x, 4*x + 3 = 4*c - 5. Let k be f(c). Is k + 4*1/(-2) composite?
True
Let i = -773 - -1896. Let a = i - 509. Is a composite?
True
Let c = -1609 - -3822. Is c prime?
True
Let h(d) = -d**2 + d. Let z(w) = -72*w**3 - 9*w**2 + 7*w - 3. Let r(a) = 3*h(a) - z(a). Is r(4) composite?
False
Suppose 25 = 5*s, -2*s + 16 = 3*w - 2*w. Suppose -3*p + o - 6*o + 174 = 0, -2*o = -w. Suppose -167 = -4*y + p. Is y prime?
False
Let u = 3460 - 1513. Is ((-6)/9)/((-2)/u) a prime number?
False
Let a be ((-18)/(-5))/(4/10). Let v(h) = -h**2 + 14*h - 8. Let s(r) = r + 1. Let i(k) = -3*s(k) + v(k). Is i(a) a prime number?
True
Suppose -30 + 78 = 6*j. Suppose -j*t + 24017 = -t. Is t a prime number?
False
Let t(w) be the first derivative of 5*w**2 - 2*w + 2. Let f be t(3). Let o = 5 + f. Is o prime?
False
Let q(g) = 148*g**3 - g**2 + 16*g - 21. Is q(2) composite?
True
Suppose u = 5*u - 8, 2*u - 5233 = -3*g. Suppose g = 6*i - 11943. Is i prime?
True
Suppose 9222 = 6*h - 25452. Is h prime?
True
Let f(a) = 4*a**2 - 37*a + 446. Is f(45) prime?
False
Is (2 - (-2 - 45031))*(-27)/(-135) a prime number?
True
Let p be (-2)/(24/21 + -1). Let i = p + 82. Suppose i = 5*j + 18. Is j composite?
True
Let s(a) = -1 + 3 + 0 - 128*a - 3. Is s(-1) a composite number?
False
Suppose 2*g + 8 = 3*w, -8 - 12 = 5*g + 4*w. Let j = g - -1. Is (2 - -53)*1 - j a prime number?
False
Suppose -52 = -8*b + 4*b. Let c = -13 + 17. Suppose 495 = c*q - b. Is q a prime number?
True
Is (3 + (-29907)/27)/((-2)/3) composite?
False
Let r be (-3158)/6 - 2/3. Let y be ((-3 - r)/4)/1. Suppose -j + y = -134. Is j a prime number?
False
Let l be (18/(-4))/((-1)/22). Suppose -5*h - 6 = -16. Suppose h*a = -f + l, -100 + 7 = -2*a - 3*f. Is a a prime number?
False
Suppose -146 - 1198 = 8*m. Let b = 370 + m. Is b a composite number?
True
Is (223*-2)/((-15)/((-390)/(-4))) prime?
False
Let b = 2189 - 686. Suppose -3*z = s - b, -2*z + z = 5*s - 487. Is z prime?
False
Let z be ((-78)/(-15))/((-1)/5). Let b = 795 + z. Is b composite?
False
Let b(c) = c**3 - 13*c**2 + 9*c + 2. Suppose q = -28 + 41. Is b(q) a composite number?
True
Let b(u) = -13*u + 2. Let p be b(-1). Suppose -p = 5*r + 15. Is -2*(-633)/r*-1 a prime number?
True
Let p(j) be the first derivative of 23*j**3/3 + 4*j**2 - 2*j - 18. Is p(-7) composite?
False
Let g(n) = 170*n**2 - 16*n - 37. Is g(-13) a composite number?
False
Suppose 0 = -z + 2*z - 2. Suppose x = 3*n - 680, -z*n + 5*x + 444 = 2*x. Suppose 125 = s - n. Is s a prime number?
True
Let a(u) be the first derivative of 149*u**3/3 + 3*u**2/2 + 3*u - 5. Let i(w) = -w**2 + 9*w - 9. Let j be i(8). Is a(j) a prime number?
True
Suppose 5934 = -4*l + 14566. Let q = l + -1287. Is q a composite number?
True
Let g(l) = 13*l**2 - 43*l + 95. Is g(37) composite?
False
Let l be (3 - 1)*(0 + 14). Let f = -14 + l. Let q = f - -171. Is q a composite number?
True
Let l(m) = 440*m**2 + 3*m + 2. Suppose 5 - 1 = -4*q. Is l(q) a composite number?
False
Suppose 0 = 6*a - 11*a. Let o(u) = -u**3 + 18*u**2 + 2*u - 33. Let q be o(18). Suppose -y + 3*t = q*y - 587, a = -4*y + t + 593. Is y a prime number?
True
Let o = 621 + 420. Suppose -3*c + 0*c + o = 0. Suppose r + c = 5*u, 3*u - 142 = u + 2*r. Is u a composite number?
True
Let v(j) = 58*j + 2. Let u(x) = x**3 - 3*x**2 - 6*x + 6. Let c be u(4). Let b be v(c). Is b/(-10) - (-6)/(-15) composite?
False
Let l = 2 - 7. Let k be (-1)/l + 1489/5. Suppose -k = 4*r - 1046. Is r composite?
True
Suppose 8 = -3*f + 5*f. Suppose 5*s + f*s = 3339. Is s a composite number?
True
Suppose 3*w - 28481 = -4*o + 5844, 2*o - w = 17155. Is o composite?
True
Let v be (-15 - (0 + -1))/(-2). Suppose v*k - 3*k = 16. Suppose -k*m = -133 - 1663. Is m a composite number?
False
Let m(d) = -20*d + 4. Let x be m(9). Let o be x/(-18) - 24/(-108). Suppose 0*v + 2*f = v - 339, o = -2*f. Is v a composite number?
True
Suppose -10*v + 30 = -5*v. Let m(k) = -10*k + v*k**2 + 17 - 31 + 15. Is m(-5) composite?
True
Let f(n) = -37*n + 9. Let x(v) = v**2 + 8*v + 11. Let b be x(-7). Suppose b*y + 4*s = -0*s - 16, 5*s - 16 = 4*y. Is f(y) composite?
False
Suppose 4*f - l + 3 = -2, 5*f = -3*l - 19. Is f/(-4)*(-11 + 7093) composite?
False
Is (-38 + 37)/((-2)/17234) composite?
True
Let x(j) = j**2 + 9*j - 12. Let r be x(-10). Is 917 + 0 + r + 2 prime?
False
Let h(j) = 13*j**2 + 2*j - 9. Let n be h(-7). Suppose -2*x = z + 410, 0*z - n = 3*x + z. Let u = 407 + x. Is u composite?
True
Suppose 4*p - 14 - 2 = 0. Let z be (-6)/(0 + -3) - -6. Suppose 3*d - d - p*c = 386, -z = 2*c. Is d prime?
False
Let m(j) = j**2 + 366. Let b be m(0). Suppose b + 995 = p. Is p a prime number?
True
Let o(s) = 3*s + 7. Let g be o(5). Is ((-236)/(-6))/(g/33) prime?
True
Let a(q) = -614*q**2 - 23*q - 27. Let g(m) = -409*m**2 - 15*m - 18. Let o(z) = 5*a(z) - 8*g(z). Is o(-4) composite?
False
Let w(g) = g**2 - g - 8. Let f be w(5). Suppose -6*c - f*c = -17694. Is c a composite number?
False
Suppose 7 = -4*t + 15. Is (-2)/((-8)/1380) + t prime?
True
Let z be (-2)/((-14)/4 - -3). Suppose z*i - 30 = -t + 93, 133 = t - i. Is t a prime number?
True
Suppose 11*s + 3730 = 17161. Let l = -784 + s. Is l prime?
False
Suppose 23*i = -2*m + 26*i + 3073, 4606 = 3*m - i. Is m prime?
False
Suppose 3*l = -j + 9799, -j - 9791 = -3*l - 0*l. Is l a prime number?
False
Suppose 39 = 4*s - 2*h - h, -4*s + 31 = 5*h. Suppose -l = -5 - s. Let b = l - -185. Is b prime?
True
Suppose 759*z - 761*z = -6478. Is z prime?
False
Let p be 5/((-15)/(-318)) - 1. Let g = p - 18. Is g prime?
False
Let m(w) = 104*w**2 - 136*w + 29. Is m(14) composite?
True
Is -8*(-2 + 3) - -18631 prime?
False
Suppose -772 = 8*y + 7684. Let n = y - -2066. Is n composite?
False
Is -5 + ((-18)/(-6) - -2775) composite?
True
Suppose -2*s + 4 = 3*g, -2*s = 3*s - 5*g - 35. Is (s + 0)*(224 - (5 - 4)) a composite number?
True
Let x(c) be the first derivative of -c**4/2 - 8*c**3/3 - 3*c**2/2 + 6*c - 2. Let h(m) = -2*m**3 + 30*m**2 - 29*m + 9. Let n be h(14). Is x(n) composite?
False
Suppose -3*g - 3*q = -225, -g - q - 2*q = -83. Let w = 229 - g. Is w prime?
False
Let g = 6 + -1. Suppose -2*k - 4*m = 126, m = g*k - m + 255. Is 2/(-4) + k/(-2) composite?
True
Let w be ((-24695)/(-10) + -4)*-2. Let k = w - -9752. Suppose -4*b + k = 113. Is b a prime number?
False
Let d(s) = -s**2 + 12*s + 29. Let c be d(13). Let f(l) = -l**3 + 18*l**2 + 7*l - 11. Is f(c) a prime number?
True
Let d = -25 + 17. Is 1*103*(-7 - d) a prime number?
True
Suppose 5*o - 5*i = 3*o + 16, -3*o = -2*i - 13. Suppose -10*b + 273 = -o*b. Is b prime?
False
Let q be (-5 + -4)*(-2)/3. Is q/4*4972/33 composite?
True
Let f = 2658 + -409. Is f prime?
False
Is (-7 + 2)*(-2)/10*19589 a prime number?
False
Is 4361038/74 - (-44)/814 a composite number?
True
Let r = 478 - -637. Is r composite?
True
Suppose 16*k = u + 17*k - 18530, -5*k = -2*u + 37081. Is u prime?
False
Suppose 0 = -0*a + 4*a - 556. Let r = a + -42. Is r prime?
True
Let t(q) = 354*q**2 + 6*q + 7. Let d be t(-3). Suppose -3*b + 4*y + d = 0, -b + 2132 = b + 5*y. Is b a prime number?
True
Suppose 3 + 5 = 4*i + 3*a, -a = i - 1. Suppose 4*v + 2*c + 16 = 0, -5*v = -3*c - 2*c + i. Is (1 + 82)/((-3)/v) a prime number?
True
Suppose -3*c + 12876 = -2*c. Suppose c = 10*f + 2*f. Is f prime?
False
Suppose 6919 + 19739 = 6*x. Suppose 4*z + z = -4*y + 5551, -x = -4*z - y. Suppose 965 + z = 6*w. Is w composite?
True
Is ((-2)/(-4))/(115/2282290) a composite number?
False
Let s be 18 + -15 + 47*4. Suppose -5*f - 5*j = -796 + s, -5*j = -10. Is f composite?
True
Let u(w) = -w**2 + 7*w - 1. Let k be u(6). Suppose 4*p = 0, -k*a + p + 1255 = 5*p. Is a a composite number?
False
Suppose -28*b = 33*b - 953369. Is b a prime number?
True
Let m(s) = -2124*s - 6. Let f be m(-3). Is ((-8)/(-12))/(4/f) a prime number?
True
Let a = 29 - 24. Suppose 0*j + a = j, 4*m + 5*j = 4173. Is m composite?
True
Let r = 2711 - 870. Is r a composite number?
True
Suppose 0*i = 2*i + 2*g - 2246, 5615 = 5*i + 2*g. Suppose -2*b + 2184 = -2*v, 0 = -5*b + v - i + 6563. Is b prime?
T