t s = x + 7. Let u(z) = -33*z + 1. Is u(s) a composite number?
True
Suppose 5*x = 2*s + 2963 + 190, 2*s = 2. Is x a prime number?
True
Let m = -180 - -238. Is m a composite number?
True
Let t = 21 - 9. Suppose -c + t = -3*c. Let p(o) = 3*o**2 + 8*o - 1. Is p(c) prime?
True
Let z = 8 - 4. Suppose u + r = -2*r + 8, -u - 6 = -z*r. Suppose 0 = -5*q - 3*p + 2592, -u*p - 360 = -q + 161. Is q a prime number?
False
Suppose -2*x = 3*n - 0*x - 12935, -3*x + 12930 = 3*n. Suppose 4*v = -v + n. Is v a composite number?
False
Let h = -69816 + 130979. Is h a prime number?
False
Is (2807/(-14)*2)/(-1) composite?
False
Let z be ((-6)/(-10))/(2/10). Let u be ((-8)/(-12)*z)/(-2). Let o(y) = 84*y**2 + 2*y + 1. Is o(u) a prime number?
True
Suppose 0 = -2*k - 2 + 10. Let t be -54 + (-1 + 4 - k). Is 603/5 + (-22)/t a prime number?
False
Suppose 2*p - 14 = p - x, p = 2*x - 1. Let q(z) = -32*z + 18 - 6 - p. Is q(-13) a composite number?
False
Let u(c) = -3*c**3 - 3*c**2 - 4*c - 3. Let b be u(-3). Let f be (-14)/(-3)*b/(-14). Let y = -14 - f. Is y prime?
True
Let c = -3 + 3. Let x(i) = 3*i + 3. Let p be x(c). Is 45 + (0 - (-6)/p) a prime number?
True
Suppose y + 0*y = 22. Let k = -29 + y. Is (6 + k)/((-2)/186) a prime number?
False
Let s(n) = 2*n**3 - 5*n**2 + 10*n - 37. Is s(12) a prime number?
True
Let s = 168 + -117. Is 2 + s - (1 - -1) prime?
False
Let i = -30 - -32. Let y = i + 12. Is y a prime number?
False
Suppose 9*m - 4688 = 5401. Is m prime?
False
Let f(x) be the first derivative of -x**4/4 + 4*x**3 + 3*x**2 + 15*x - 14. Is f(-8) a prime number?
False
Is (-6)/(-8) - (-6 + (-11300)/16) prime?
False
Let z be 1 + 0 + (-2 - -3). Suppose -z*n = -6*i + 3*i - 126, 3*n + 3*i - 159 = 0. Suppose c = n + 10. Is c composite?
False
Suppose 2 = -3*j + 11. Is (-1074)/(-3) - (-2 + j)/(-1) a composite number?
False
Suppose 0 = 4*c - 16 - 8. Suppose -o + 55 = 3*i, i - 5*o = c*i - 95. Let f = 44 - i. Is f a composite number?
True
Suppose -4*q - 34 = 5*d, -q + 2*d - 4*d = 10. Is (460/q)/(14/(-21)) a composite number?
True
Let z = 56 + -54. Suppose -5*v - z*i + 0*i = -1465, 3*i = -2*v + 586. Is v a composite number?
False
Suppose -4*l - 1836 + 4956 = 0. Suppose x - 3*x + l = -3*k, 4*x - k - 1570 = 0. Is x a prime number?
False
Let p be (-26 - 0)*2 + 1. Let r = p - -200. Is r a prime number?
True
Let v = -14 - -12. Is ((-499)/(-2))/(v/(-4)) prime?
True
Let r(h) = -9*h**3 - 5*h**2 - 7*h - 10. Let p = 99 + -103. Is r(p) a prime number?
False
Suppose 6*s + 2062 = 8500. Is s prime?
False
Let q(w) = -8*w - 5. Let m(t) = -8*t - 4. Let j(g) = 6*m(g) - 5*q(g). Let y be j(-8). Suppose 3*d - 4*d = -y. Is d prime?
False
Let q(s) be the second derivative of s**7/2520 + 17*s**6/720 + s**5/8 + s**4/3 + 5*s. Let h(v) be the third derivative of q(v). Is h(-18) composite?
True
Suppose 2*p + 3*c = 91, 3*p + 2*c - 186 = -p. Is p composite?
False
Suppose 0 = 2*v + 4*b + 18, -5*v = -5*b - 9 - 6. Let m = 71 + 79. Let o = m + v. Is o composite?
False
Let j(t) be the first derivative of 11*t + 1/2*t**2 + 71/3*t**3 - 9. Is j(4) prime?
True
Let g(h) be the third derivative of 11*h**5/60 + h**4/8 - 7*h**3/6 - h**2. Let j(r) = -r**2 + r. Let y(f) = g(f) + 2*j(f). Is y(4) composite?
False
Suppose 4*j - 77805 = 44503. Is j prime?
True
Let j = -2629 + 5000. Is j a prime number?
True
Suppose 3*i - 163 + 259 = 0. Is (-16)/i - (-3882)/4 a composite number?
False
Let p(q) = -18*q**3 - 6*q**2 - 5*q - 9. Let b be p(5). Let v = b + 3689. Is v prime?
False
Suppose 42*g - 3587667 + 270633 = 0. Is g composite?
False
Let p be (1 - 1) + 2/1. Let h(x) = 0 + 241*x - 6 + 3. Is h(p) prime?
True
Let i(d) = -16*d**3 - 3*d**2 - 5*d + 1. Let w(m) = -17*m**3 - 3*m**2 - 5*m + 2. Let n(s) = 5*i(s) - 4*w(s). Is n(-4) composite?
True
Let f(v) = 2*v**3 - 3*v**2 - v + 4. Let r be f(3). Let a = r - 21. Suppose -4*q = 16, -2*o + a*o = 5*q + 2355. Is o a prime number?
True
Suppose -9*r + 14*r - 1908 = -u, r = 3. Is u a prime number?
False
Let i be ((-6)/9)/((-4)/12). Suppose 4*k + 2*x = 3*x + 15, -10 = -i*x. Suppose 40 = k*m - m. Is m composite?
True
Is -1 + 385323/15 + (-1)/5 a prime number?
False
Let l(g) = g**2 + 21*g + 37. Is l(-30) a composite number?
False
Suppose 2*i + 5*b = -2*i + 340, -2*b = 3*i - 255. Suppose 3*j + 32 = -i. Is (8/(-12)*j)/1 prime?
False
Let n(c) = 83*c**2 - 124*c + 22. Is n(13) a composite number?
False
Suppose -25*v + 72882 = -7*v. Is v composite?
False
Let d be (2 + 344)*(-13)/(-26). Suppose 3*b = -4*m - d + 1041, -4*m = -4*b - 868. Is m prime?
False
Let p = 19 - -7320. Is p composite?
True
Suppose -4*j = -2*k + 21310, -2*j + 13744 = 2*k - 7536. Is k a prime number?
False
Let i be 0 + (-45)/10*12/(-27). Is (11888/12)/((-4)/3 + i) prime?
False
Let o(q) = 35*q**2 + 3*q + 17. Is o(-11) a composite number?
False
Let d(o) = -418*o**3 + 5*o + 1. Let q be d(-2). Let l be (-12 - -17)/((-10)/(-12)). Suppose l*s - q = s. Is s prime?
False
Suppose 3*v - 878 = 5*m, -v + 346 = -4*m + 44. Suppose 393 + v = 7*b. Is b prime?
True
Suppose 0 = r - 4*f - 18, -3*r + 22 = -2*r - 5*f. Let p be 2*1/(r/3). Suppose 208 = l + p*y, 0 = -5*l + 3*l - y + 421. Is l prime?
True
Let a(t) = t**3 + 14*t**2 - 9*t + 7. Let p be 7/(-7)*(7 + 0). Let j be a(p). Suppose 4*k + 73 - j = 0. Is k a composite number?
True
Is 5317 - (7 - 12/3) prime?
False
Let u = 941 - -420. Is u composite?
False
Suppose 3579 = r + 4*b - 0*b, 10713 = 3*r + 4*b. Let d = -1618 + r. Is d a prime number?
True
Is 13551/4 + 235/188 prime?
True
Let l(v) = 302*v + 87. Is l(8) prime?
True
Suppose 0 = -2*a + 4*a - 1832. Let f = 1571 - a. Suppose -5*c + 0*c - 5*d + f = 0, d - 393 = -3*c. Is c a composite number?
False
Let x = -700 - 63. Let m = 1303 + x. Suppose c - 1877 = -m. Is c a composite number?
True
Let i(z) = 636*z**2 + 17*z - 69. Is i(6) composite?
True
Let o(a) = 4050*a**2 - 12*a - 49. Is o(-4) a composite number?
True
Is (-580)/(-5)*86 + -9 a composite number?
False
Is 14/((-15)/(90/(-12))) prime?
True
Let d = 13859 + -5712. Is d prime?
True
Suppose 1491 = 7*m - 4*m. Let p = 1128 - m. Is p composite?
False
Let s = -2 + 8. Suppose 0 - s = 3*z. Is -4 + (1 - z) + 40 a prime number?
False
Let i(u) = 14*u**2 + 32*u - 28. Is i(15) a composite number?
True
Suppose 0*d = -5*s + 2*d + 3333, -2*s - 2*d = -1336. Is s prime?
False
Let u be 13/((5 + -1)/(-456)). Let y = -1046 - u. Suppose 520 = 4*o - y. Is o composite?
False
Suppose 0 = -4*n + 12. Suppose n*j = 1367 + 934. Is j prime?
False
Suppose 2*n + 0*n = -4*j + 28988, 3*j = 2*n + 21755. Is j prime?
False
Let a = 85121 + -48124. Is a prime?
True
Let a be (-97)/(5/(-3) - -2). Let s(y) = -132*y - 2. Let j be s(-4). Let p = a + j. Is p prime?
False
Let c(v) be the third derivative of 0 - 1/6*v**3 + 0*v - 6*v**2 - 1/8*v**4 + 1/12*v**5. Is c(-3) a composite number?
False
Let t(o) = -14*o - 1. Let q be t(-4). Let d(b) = -b**3 - 4*b**2 + 8*b + 11. Let i be d(-4). Let j = q + i. Is j a prime number?
False
Let m(i) = 13 + 0*i**3 - i + 19*i**2 + 26*i - 5*i + i**3. Is m(-17) composite?
False
Suppose -5*j - 49 = -5*m + 41, 0 = j + 4*m + 3. Suppose -3*x = -7*x - 320. Let i = j - x. Is i a composite number?
True
Let q(o) = 30*o + 295. Is q(-6) a composite number?
True
Let v(q) = -q**3 - 6*q**2 - 11*q + 11. Suppose -1 + 3 = 2*o. Suppose o = 2*s + 19. Is v(s) prime?
True
Let d be (6/9*-3)/(2/9). Let q(f) = f**3 + 13*f**2 + 17. Is q(d) composite?
True
Suppose -792 = 4*g - 5*r, 5*g - 6*g - 3*r - 215 = 0. Is (1/1)/(608/g - -3) a composite number?
True
Let h(g) = g**3 + 9*g**2 + 12*g + 18. Let v be h(-8). Let n(f) = -28*f + 77. Is n(v) prime?
False
Let o(n) = -2*n + 4*n + 0*n - 8. Let z be o(6). Suppose -z*q + 2*q + 134 = 2*t, 4*q - 337 = -5*t. Is t prime?
False
Suppose -5*y = -3*j + 15, 3*j + 4*y - 18 + 3 = 0. Let v(i) = 3*i**3 + i**2 + 3*i - 8. Is v(j) a prime number?
False
Let v = -198 - 165. Let l = -221 - v. Is l prime?
False
Let g = 4 - 4. Let a(m) = -m**3 - m + 5. Let j be a(g). Suppose 2*r = -d + r + 207, -1071 = -j*d + 4*r. Is d a composite number?
False
Let x = -420 - -829. Is x a composite number?
False
Let z(i) = 59*i - 3. Let u be (48/(-32))/((-3)/16). Is z(u) composite?
True
Let c(l) = -l**3 + 5*l**2 - 2*l - 9. Let b be c(4). Let t(i) = -38*i**3 + 2*i + 1. Is t(b) a composite number?
False
Let t = 11200 - 7649. Is t a composite num