t**2 - 2*t**2 + 8 + a*t**2. Is y(13) a composite number?
True
Is (-4 + 6 + -4)*27689/(-2) a composite number?
False
Is 48540/33 + (-2)/(-22) a composite number?
False
Let s = 2449 + -1548. Is s prime?
False
Let t(m) = 178*m. Let i(f) = -f**2 + 14*f - 12. Let w be i(13). Let k be t(w). Let o = 265 - k. Is o prime?
False
Suppose 7*c - 8*c + 8794 = 5*z, -3*z + 4*c = -5281. Is z prime?
True
Suppose s + 17 = 4*j, 4*j - 2*s - 6 - 16 = 0. Suppose j*m = 5*m + 4*u + 274, -5*u - 134 = m. Let v = -28 - m. Is v prime?
False
Let y(r) = r - 13. Let z be y(9). Is 7080/3 + (z - -5) composite?
True
Suppose 28 = 3*r + 7. Is r/28 - 307/(-4) a composite number?
True
Let r = 169 + 96. Let w = r - -429. Is 12/(-18) + w/6 a composite number?
True
Let y(s) be the first derivative of -s**2/2 - 5*s - 1. Let f be y(-10). Suppose f*g = -136 + 771. Is g a prime number?
True
Is (5 + -3 + -1)/(1/50311) a prime number?
True
Suppose 5*x - 3*q + 1498 = -5*q, 3*x + 878 = 4*q. Let u = 9 - 12. Let n = u - x. Is n composite?
True
Suppose 2*d - q + 615 = -2*q, 5*d + 1534 = q. Is (1*d)/(18 - 19) a prime number?
True
Suppose 5*i = -3150 + 22825. Is i a composite number?
True
Let j(i) = i**2 - 6*i + 5. Let m be j(6). Let x(o) = m*o - o**2 - 4 + 5*o**2 + 8. Is x(-5) composite?
False
Let u(b) = -2*b + 1. Let j be u(1). Let x be j/5 - (-52)/10. Suppose 257 = x*h + 2*s, -s - 50 = -h - 0*h. Is h composite?
True
Let a be (-2)/(-7) + (-2056)/(-56). Suppose -1 = -2*h + a. Is h composite?
False
Let i = 7 + 2. Let u = i - 4. Suppose -4*n = 2*d - 166, -121 = -u*n + 3*d + 103. Is n prime?
True
Let s be (10/4)/((-15)/(-30)). Suppose s*h + 575 = 2*t + 3*t, 5*t = -h + 551. Suppose 3*m = 2*x - 2*m - t, -x = 3*m - 50. Is x prime?
True
Suppose 8*i - 165525 = 202131. Is i a composite number?
True
Suppose 5*z - a = -0*a + 32, 5*a = -3*z + 8. Let g be (1 - 9)/(4/z). Is (222/g)/(2/(-20)) a prime number?
False
Let c(t) = -501*t**3 + t**2 - t - 1. Suppose 10*f - 9*f = -1. Is c(f) a composite number?
True
Suppose 2*d = -2*d + 1364. Suppose 105 = k - d. Suppose -2*n + k = -0*n. Is n a prime number?
True
Suppose -2*f + c = -379, -3*f - c + 104 + 467 = 0. Suppose -4*d + 1854 + f = 0. Is d composite?
True
Let o(q) be the second derivative of -2*q**5/5 + q**4/12 - q**2/2 + 4*q. Let j be o(-1). Let t(m) = -m**3 + 10*m**2 - 7*m - 5. Is t(j) a composite number?
False
Let j = 823 + 186. Is j a prime number?
True
Let j be -5 + 4/8*2. Let q(v) = 4*v**2 - 3*v - 7. Is q(j) composite?
True
Let z(m) = -694*m + 163. Is z(-16) a composite number?
True
Let w(x) = 51*x**3 + 3*x**2 - x + 1. Let o = -18 + 20. Is w(o) composite?
False
Let g be 1/3 + 6/9. Let f = g - 1. Suppose -2*r + 45 = y, 3*r = -f*y - y + 42. Is y a prime number?
False
Let p(n) = -n**3 + 5*n**2 + 8*n + 7. Let q be p(-7). Let d be q + (0 - (-4 + 7)). Suppose -2*o - 2*o + t + 521 = 0, 4*o = -4*t + d. Is o a composite number?
False
Let m = 6649 + -3242. Is m prime?
True
Is ((-5)/(-2))/((-7)/(-80906)) a prime number?
False
Let f(j) = -j**3 + 5*j**2 + 8*j - 4. Let k be f(6). Suppose 4*z = k*z - 1228. Is z a composite number?
False
Let y(i) = -680*i**3 + 7*i + 11. Is y(-2) a composite number?
False
Let t(z) = 9 + 27*z - 4*z**2 + 12*z**2 - 20. Is t(-12) composite?
True
Let o = 68981 + -29790. Is o prime?
True
Suppose -9*o + 5809 = -8*o. Is o prime?
False
Let m be 12*(2 - 10/6). Suppose 0 = v + m*d - 105, 2*v + 3*d - 217 = 2*d. Is v prime?
True
Suppose -224*c = -221*c - 10167. Is c prime?
True
Let z = 226 + -159. Is z prime?
True
Let m = -109924 - -159587. Is m a prime number?
True
Suppose 46*r + 2245 = 51*r. Is r a composite number?
False
Let k(x) = -x - 1. Let s be k(-4). Suppose 25*z + 105 = 28*z. Suppose -s*w + 76 = -z. Is w composite?
False
Let q(n) = n**3 + 11*n**2 - 2. Let g be q(-11). Let i(v) = 22*v**2 - 3. Is i(g) prime?
False
Let k be 6/27 - -260*186/108. Suppose -5*m - 504 = -2*u, -u - m + 0*m = -259. Let h = k - u. Is h a prime number?
True
Let y(k) = -k**3 - 29*k**2 - 68*k - 71. Is y(-31) composite?
True
Let y(z) = -2*z + 22. Let k be y(9). Is 4190/k*(2/5)/1 a composite number?
False
Suppose q - 155197 = -3*h, 3*h + 23427 - 178616 = -5*q. Is h composite?
True
Let b(p) = p**2 - 12*p - 18. Let a be b(14). Let i = -5 + a. Suppose 0 = -5*l - 3*m + 1064, -2*m - 510 = -i*l + 539. Is l a composite number?
False
Suppose 4*f = -0*f. Suppose v = -3*q + 3, -15 = -6*v + v - 2*q. Suppose -5*n = 3*r - 178, v*r + 4*n + 39 - 212 = f. Is r composite?
True
Suppose 0*b + 2*b - 173214 = -2*f, 4*f = -16. Is b a prime number?
False
Suppose 0 = -5*q - 10. Let p = 1 - q. Let k(w) = 27*w - 4. Is k(p) a composite number?
True
Let t = 22522 + 7709. Suppose g + 8*g - t = 0. Is g a prime number?
True
Let s(k) = -671*k**2 - 5*k. Let x(c) = 672*c**2 + 4*c - 1. Let p(w) = 2*s(w) + 3*x(w). Is p(1) composite?
False
Is 2*((-1)/12 - (-135320)/96) composite?
False
Suppose -14*b + 1680 = 28. Suppose b*i - 120*i + 2726 = 0. Is i a composite number?
True
Let n = -13 + 11. Let r(o) = -26*o**3 + 5*o**2 + 4*o - 2. Is r(n) prime?
False
Let t(x) = -1772*x + 5. Is t(-4) a prime number?
False
Let r = -13 + 15. Suppose 4*p = -4*q + 708, -r*p - 3*p - 2*q = -870. Suppose 1707 = 5*f + p. Is f prime?
True
Let q = -1420 - -2501. Is q prime?
False
Is 13/((-52)/8) - (-2 + -3946) prime?
False
Suppose 3*q - 5*n - 17 = 0, 6 = 2*q - 2*n + 4*n. Is q/(-12) + (-256)/(-3) a prime number?
False
Let c(i) be the second derivative of 0 + 1/2*i**3 - 1/2*i**2 + 29/12*i**4 + 6*i. Is c(-3) a composite number?
False
Suppose -32 = 4*j + 5*i, 0 = 4*j + 4*i + 24 + 4. Is (-3)/(j/(-4666))*(-19)/38 a prime number?
True
Is (9 - (-89420)/8)*2 composite?
True
Let w(o) = -109*o**3 - 2*o**2 - 3*o**2 + 1 - 85*o**3 + o**2. Is w(-2) prime?
False
Let q(w) be the second derivative of 7*w**4/4 - w**3/6 - w**2 - 2*w. Let n be q(-4). Let t = n + -127. Is t prime?
True
Let m(p) = 221*p**3 + 6*p**2 + 11*p + 11. Let d(v) = -110*v**3 - 3*v**2 - 6*v - 6. Let t be (12/18)/((-4)/30). Let i(f) = t*d(f) - 3*m(f). Is i(-2) prime?
False
Let y(v) be the second derivative of -27*v**3/2 + 10*v**2 - 10*v. Is y(-7) a prime number?
True
Let v(r) = r**2 + 23*r + 65. Let k be v(-20). Suppose 4*c = -k*t + 3812, -c - 953 = -2*c - 3*t. Is c a prime number?
True
Suppose 7*o - 4*o - 15159 = -4*n, -4*o - 12 = 0. Let v be 2/(-6) - 1/(-3). Suppose 0 = 2*z + 5*s - 1931, v = 4*z + s - 5*s - n. Is z composite?
False
Let g be (2 + 0)*(-1 + 8). Suppose 4*a - 5*v = 61, -5*a - v + 54 = g. Is a - 2*(4 - 6) a composite number?
False
Let f = 12 + -7. Suppose -3 = -l - f. Is ((-6)/l)/(-3) + 98 prime?
True
Let q be -4 - (1 - -1)*-3. Is ((-4)/8)/(q/(-5140)) composite?
True
Let v(y) = -89*y + 107. Is v(-6) composite?
False
Suppose 0 = 5*v - 5233 - 3372. Is v composite?
False
Let r(b) = 341*b - 23. Let h be (-8)/12*1*-24. Is r(h) a prime number?
False
Let f(h) = 6 + 56*h**3 + 53*h**3 + 4*h**2 - 111*h**3 + 25*h. Is f(-7) composite?
True
Let b(j) = -j**3 + 30*j**2 - 18. Is b(19) composite?
True
Let s(p) be the third derivative of p**4/24 - 11*p**3/6 + p**2. Let h be s(15). Suppose h*g - 480 = 2*n, -234 = g - 3*g + 4*n. Is g a prime number?
False
Let v = -12 - -12. Suppose 4*c + h - 50 = v, -2*c + 3*h = -40 + 8. Suppose p = c + 132. Is p composite?
True
Let j(m) = -835*m**3 + 5*m**2 + 11*m + 5. Is j(-4) prime?
False
Let n = 4 - 0. Suppose -n*m - 5*y = -84, m - 21 = 5*y - 0*y. Suppose -26*o + 2225 = -m*o. Is o a composite number?
True
Let h(m) = 2*m**3 + 2*m**2 + 2*m - 41. Is h(10) a composite number?
False
Let h = 77755 + -36592. Is h a composite number?
True
Let l(a) = -4*a + 34. Let o be l(8). Suppose -k - 3*m = -83, -104 = -2*k - o*m + 70. Is k a prime number?
True
Suppose 53*j = 66*j - 91819. Is j a composite number?
True
Let y(m) be the first derivative of 16/3*m**3 - 3*m**2 - 9 - 2*m. Is y(-4) a prime number?
False
Let z be 72/(-90) - 108/(-10). Let w(b) = b**3 - 4*b**2 - 10*b - 15. Is w(z) composite?
True
Is (1327810/165)/(2/3) a composite number?
False
Suppose 0 = 3*d - 5*m - 14492, 7722 = -5*d - 5*m + 31902. Is d a prime number?
False
Let k(b) = -84*b - 5. Let t = 9 - 8. Let a(u) = u + 1. Let d(j) = t*k(j) + 4*a(j). Is d(-1) prime?
True
Suppose 0 = -2*w - 2*b + 16404, 2*b + 29003 = 5*w - 11972. Is w prime?
False
Let r(k) = -k. Let m(j) = -4*j + 0 + 3 - 2*j + 7*j**2. Let a(q)